Completely continuous multilinear mappings on \(L_1\) (Q6550280)

A \(k\)-linear mapping \(A\colon X_1\times\cdots\times X_k\to Y\) is said to be completely continuous if it maps weak Cauchy sequences in \(X_1\times \dots \times X_k\) to norm convergent sequences in \(Y\). The authors show that for any Banach space \(X\) and any \(k\)-linear mapping \(A\colon L_1\times\cdots\times L_1 \to X\) the following are equivalent: \N(a) \(A\) is completely continuous; \N(b) \(A\circ (i_p\times\cdots\times i_p)\colon L_p\times\cdots\times L_p\to X \) is compact for all \(1<p<\infty\) (\(i_p\) is the canonical inclusion of \(L_p\) into \(L_1\)); \N(c) \(A\circ (i_\infty\times\cdots\times i_\infty)\colon L_\infty\times \cdots\times L_\infty\to X \) is compact (\(i_\infty\) is the canonical inclusion of \(L_\infty\) into \(L_1\)); \N(d) \(A\circ (i_\infty\times\cdots\times i_\infty)\) is weak;y continuous on bounded sets; \N(e) \(A\circ (i\times\cdots\times i)\colon C[0,1]\times\cdots\times C[0,1]\to X \) is compact (\(i\) is the canonical inclusion of \(C[0,1]\) into \(L_1\)); \N(f) \(A\circ (i\times\cdots\times i) \) is weakly continuous on bounded sets. \NThe equivalence of (a), (b) and (c) above extends a classical result of \textit{J.~Bourgain} [Isr. J. Math. 37, 34--47 (1980; Zbl 0457.46017)] and \textit{H.~P. Rosenthal} [Convolution by a biased coin. University of Illinois (1976)] for linear mappings to multilinear mappings. \N\NGiven finite measure spaces \((\Omega_i,\Sigma_i,\mu_i)\) for \(1\le i\le k\) and a \(k\)-linear mapping \(A\colon L_1(\mu_1)\times\cdots\times L_1(\mu_k)\to X\) there is a naturally associated \(k\)-polymeasure \(\mathcal{G}\colon \Sigma_1\times\cdots\times\Sigma_k\to X\) defined by \(\mathcal{G}(E_1,\ldots,E_k)=A(\chi_{E_1},\ldots,\chi_{E_k})\) for \(E_i\in\Sigma_i\), \(1\le i\le k\). The authors show that \(A\) is completely continuous if and only if \(\mathcal{G}\) has relatively norm compact range.