A note on the analytic complete continuity property (Q5957742): Difference between revisions

For a complex Banach space \(X\) and \(1\leq p\leq \infty\), denote by \(H^p(\mathbb D,X)\) the Hardy space of all \(X\)-valued analytic functions defined on the open unit disc \(\mathbb D\subset \mathbb C\). For \( f\in H^p(\mathbb D,X)\) and \(0<r<1\) put \(f_r(t) = f(re^{it})\), \(t\in [0,2\pi]\), and define the \(p\)-Pettis norm by \[ |||f|||_p = \sup\left\{\left(\int_0^{2\pi}|\langle f(t),x^*\rangle |^p dt\right)^{1/p}: x^*\in B_{X^*}\right\}. \] A sequence \((f_n) \subset L^p(0,2\pi;X)\) is called \(p\)-Pettis-Cauchy if it is a Cauchy sequence w.r.t. the \(p\)-Pettis norm \(|||\cdot |||_p.\) One says that the space \(X\) has the analytic complete continuity property (ACCP) if for every \(f\in H^p(\mathbb D,X)\) and \(r_n\uparrow 1\), the sequence \((f_{r_n})\) is \(p\)-Pettis-Cauchy. The author proves that for a Banach space \(X\) and \(1\leq p<\infty\), the following conditions are equivalent: (i) \(X\) has the ACCP; (ii) for every \(f\in H^p(\mathbb D,X)\) and every \(r_n\uparrow 1\), the sequence \((f_{r_n})\) is \(p\)-Pettis-Cauchy; (iii) for every \(f\in H^\infty (\mathbb D,X)\) and every \(r_n\uparrow 1\) the sequence \((f_{r_n})\) is \(p\)-Pettis-Cauchy. As a consequence, one obtains that the space \(X\) has the ACCP iff the Lebesgue-Bochner space \(L^p (\Omega;X)\) has the ACCP for every \(1\leq p<\infty\) and every \(\sigma\)-finite measure space \((\Omega, \Sigma, \mu).\) For the case \(p=1\), similar results were obtained by \textit{M. A. Robdera} and \textit{P. Saab} [J. Math. Anal. Appl. 252, 967-979 (2000; Zbl 0979.46006)].