Composition operator on Bloch type spaces (Q4454311)

Let \(D\) be the unit disk of the complex plane and let \(C_\varphi\) be the composition operator induced by a holomorphic self-map \(\varphi\) of \(D\). The author introduces the so-called Bloch type spaces and characterizes boundedness and compactness of a composition operator \(C_\varphi\) acting between various combinations of such Bloch type spaces. Given \(0<\alpha<\infty\), the \(\alpha\)-Bloch space \(B^\alpha\) is the space of all holomorphic functions on \(D\) such that \[ \| f\| _\alpha:=| f(0)| +\sup_{z\in D}(1-| z| ^2)^\alpha| f'(z)| <\infty \] and the little \(\alpha\)-Bloch space \(B_0^\alpha\) is the closed subspace consisting of functions \(f\in B^\alpha\) that satisfy additional boundary vanishing condition \(\lim_{| z| \to 1}(1-| z| ^2)^\alpha| f'(z)| =0\). The main results for boundedness are as follows: (1) \(C_\varphi:B^\alpha\to B^\beta\) is bounded if and only if \(\sup_{z\in D} (1-| z| ^2)^\beta(1-| \varphi(z)| ^2)^{-\alpha}| \varphi'(z)| <\infty\). (2) \(C_\varphi:B^\alpha_0\to B^\beta_0\) is bounded if and only if \(\varphi\in B^\beta_0\) and \(\sup_{z\in D} (1-| z| ^2)^\beta(1-| \varphi(z)| ^2)^{-\alpha}| \varphi'(z)| <\infty\). Similar (but somewhat technical) little-oh conditions give characterizations for compactness. These results extend earlier characterizations for \(0<\alpha=\beta\leq 1\) obtained by \textit{K. M. Maigan} [Proc. Am. Math. Soc. 119, 465--473 (1993; Zbl 0793.47037)] and \textit{K. M. Maigan} and \textit{A. Matheson} [Trans. Am. Math. Soc. 347, 2679--2687 (1995; Zbl 0826.47023)].