Composition operators from \(B^\alpha\) to \(F(p,q,s)\). (Q1809887)

Let \(A(\mathbb{D})\) be the space of analytic functions on the unit disc \(\mathbb{D}\). For \(a \in \mathbb{D}\), let \(g(z,a)\) be Green's function for \(\mathbb{D}\) with logarithmic singularity at \(a\). Consider the spaces \[ F(p,q,s):= \{ f \in A(\mathbb{D}): \;\sup_{a \in \mathbb{D}} \int_{\mathbb{D}} | f'(z)| ^p (1-| z| ^2)^q g^s (z,a) \, dA(z) < \infty \} \] and \[ F_0(p,q,s):= \{ f \in A(\mathbb{D}): \;\lim_{| a| \to 1} \int_{\mathbb{D}} | f'(z)| ^p (1-| z| ^2)^q g^s (z,a) \, dA(z) =0 \}, \] where \(0<p,s< \infty \), \(-2 <q<\infty \) and \(q+s >-1\). On the other hand, for \(0< \alpha < \infty \), we say that \(f \in B^\alpha \) (resp., \(B_0^\alpha \)) if \(\sup_{z \in \mathbb{D}} | f'(z)| (1-| z| ^2)^\alpha < \infty \) (resp., \(\lim_{| z| \to 1} | f'(z)| (1-| z| ^2)^\alpha =0 \)). In this paper, the authors characterize the composition operators \(C_\phi f =f \circ \phi \) that are bounded or compact from \(B^\alpha \) or \(B^\alpha_0\) to \(F(p,q,s)\) or \(F_0 (p,q,s)\), respectively. For instance, they show that \(C_\phi : B^\alpha \to F(p,q,s)\) is bounded if and only if \[ d\mu_{\phi, \alpha} := \frac{| \phi ' (z)| ^p}{(1-| \phi (z)| ^2 )^{\alpha p}} (1-| z| ^2)^{q+s} \, dA(z) \] is a bounded s-Carleson measure; and that \(C_\phi\) from \(B^\alpha \) (or \(B^\alpha_0\)) to \(F_0(p,q,s)\) is compact if and only if \(d\mu_{\phi, \alpha}\) is a compact s-Carleson measure.