Composition operators on \(Q_{k}\) spaces (Q860629)

Let \(K\) be a nonnegative right-continuous nondecreasing function on \([0,\infty)\) such that \[ \int_1^\infty K(t)e^{-2t}dt<\infty \] and let \(Q_K\) (resp., \(Q_{K,0}\)) denote the Möbius invariant space of analytic functions such that \(\sup_{| a| <1}\int_{\mathbb D}| f'(z)| ^2K(\log\frac{1}{| \phi_a(z)| })dA(z)<\infty\) (resp., \(\lim_{| a| \to 1}\int_{\mathbb D}| f'(z)| ^2K(\log\frac{1}{| \phi_a(z)| })dA(z)=0\)) where, as usual, \(\phi_a(z)=\frac{a-z}{1-\bar a z}\). These classes include the BMOA, the Bloch space \(\mathcal B\), the Dirichlet space \(\mathcal D\) and the \(Q_p\) spaces as particular cases for particular choices of \(K\). The paper is devoted to study conditions symbols \(\phi\) such that \(\phi(Q_{K_1})\subset Q_{K_2}\) (resp., \(\phi(Q_{K_1})\subset Q_{K_2,0}\)) for the composition operator \(C_\phi\) to be compact between \(Q_{K_1}\) to \(Q_{K_2}\) (resp., \(Q_{K_2,0})\). The authors show that, whenever \(p\geq 2\) and \(q+s>-1\), \(C_\phi\) is compact from \(\mathcal D\) to \(F(p,q,s)\) if and only if \(\lim_{| a| \to 1}\| C_\phi(\phi_a)\| _{p,q,s}=0\), where \(F(p,q,s)\), \(0<p,s<\infty\), \(-2<q<\infty\), stands for the space of analytic functions with \[ \sup_{| a|<1}\int_{\mathbb D}| f'(z)|^p(1-| z|^2)^q\left(\log\frac{1}{|\phi_a(z)|}\right)^sdA(z)<\infty. \] .