No label defined (Q4249044)

Let \(D\) be the open unit disc in the complex plane. For \(\varphi: D\to D\) an analytic function, let \(C_\varphi: H^p\to H^p\), be the composition operator: \(C_\varphi(f)= f\circ\varphi\). In the paper, necessary and sufficient conditions that a composition operator be a completely continuous operator, completing a result obtained by \textit{J. A. Cima} and \textit{A. Matheson} [Trans. Am. Math. Soc. 344, No. 2, 849-856 (1994; Zbl 0813.47032)]. Using a decomposition theorem of \textit{J. Bourgain} [Acta Math. 152, 1-48 (1984; Zbl 0574.46039)], it is proved that an operator \(U\in L(H^1,X)\) is completely continuous if and only if \(Ui_p: H^p\to X\) is compact for some and then all \(1\leq p<\infty\). Other results obtained are: Theorem. If \(p>1\) and \(C_\varphi\) is \(p\)-bounded, then it is completely continuous as an operator \(H_1\to H^p\) and if \(p<1\), then the complete continuity and compactness of \(C_\varphi: H^1\to H^p\) are equivalent. Theorem. Suppose that \(p\geq 1\) and \(C_\varphi\) is a \(p\)-bounded operator. \(C_\varphi\) is compact as an operator \(H^{{1\over p}}\to H^1\) if and only if it is weakly compact, this last theorem extends a well-known result of \textit{D. Sarason} [Lect. Notes Math. 1511, 75-79 (1992; Zbl 0776.47016)]. For the entire collection see [Zbl 0911.00033].