Composition operators and vector-valued BMOA (Q2385094)

Let \(\varphi\) be an analytic self-map on the unit disk \(D = \{| z| <1\}\) of the complex plane. The composition operator \(C_\varphi\) is defined as \(C_\varphi (f) = f \circ \varphi\) for \(f\) analytic on \(D\). Compactness properties of \(C_\varphi\) have been extensively studied on Banach spaces of analytic functions on \(D\). Recently, the question of which composition operators are weakly compact has been investigated on various spaces of \(X\)-valued analytic functions, where \(X\) is some complex infinite-dimensional Banach space. In the paper under review, the author explores the weak compactness of \(C_\varphi\) on certain vector-valued BMOA spaces, which are \(X\)-valued generalizations of the classical space BMOA. Recall that BMOA is the space of analytic functions on \(D\) that have bounded mean oscillation on the unit circle \(T = \partial D\), or equivalently, that are Poisson integrals of functions having bounded mean oscillation on \(T\). If \(X\) is a complex Banach space, the space BMOA\((X)\) consists of the analytic functions \(f:D \to X\) such that \(\sup_{a \in D} \| f \circ \sigma_a - f(a)\| _{H^1(X)} < \infty\), where \(\sigma_a(z) = {a-z \over 1 - \overline{a}z}\) and \(\| \cdot \| _{H^1(X)}\) denotes the norm on the \(X\)-valued Hardy space \(H^1(X)\) given by \(\| f\| _{H^1(X)} = \sup_{0<r<1} \int_0^{2\pi} \| f(re^{i\theta})\| _{H^1(X)} \, {d\theta \over 2\pi}\). The space \(w\)BMOA\((X)\) consists of the analytic functions \(f:D \to X\) such that \(x^* \circ f \in\) BMOA for every functional \(x^* \in X^*\). The space BMOA\(_C(X)\) consists of the analytic functions \(f:D \to X\) such that \[ \sup_{a \in D} \int_D \| f'(z)\| ^2_X (1 - | \sigma_a(z)| ^2) \, {dA(z) \over \pi} < \infty . \] Equivalently, \(f \in\) BMOA\(_C(X)\) if and only if the measure \(\| f'(z)\| ^2_X(1-| z| ^2)\,dA(z)\) is a Carleson measure. The author shows that BMOA\(_C(X) = w\)BMOA\((X)\) if and only \(X\) is finite-dimensional. Finally, the Nevanlinna counting function of an analytic self-map \(\varphi\) of \(D\) is given by \(N(\varphi ,z) = \sum_{w \in \varphi^{-1}(z)} \log (1/| w| )\) \((z \in D \setminus \{\varphi (0)\})\), where each point in the preimage \(\varphi^{-1} (z)\) is counted according to its multiplicity. By using results or methods coming from J.\,Smith, J.\,H.\thinspace Shapiro, J.\,Bonet, P.\,Domański, M.\,Lind\-ström, P.\,Bourdon, J.\,A.\thinspace Cima, A.\,L.\thinspace Matheson, K.\,J.\thinspace Wirths, J.\,Xiao and M.\,Tjani, among others, the author proves the following statements, which in turn improve or extend some of the results of the mentioned authors: (a) Let \(\varphi :D \to D\) analytic. Then \(C_\varphi\) is compact on BMOA if and only if \[ \lim_{| w| \to 1} \sup_{\{a \in D: | \varphi (a)| \leq R\}} {N(\varphi \circ \sigma_a,w) \over \log (1/| w| )} = 0 \quad (0 < R < 1) \] and \[ \lim_{r \to 1} \sup_{\{a \in D: | \varphi (a)| > R\}} \sup_{0<| w| <1} N(\sigma_{\varphi(a)}\circ\varphi\circ\sigma_a,w)=0. \] (b) Let \(\varphi :D \to D\) analytic and \(X\) be a reflexive Banach space. If \(C_\varphi\) is compact on BMOA, then \(C_\varphi\) is weakly compact on BMOA\(_C(X)\).