Composition operators: $N_α$ to the Bloch space to $Q_β$ (Q4494508)

Let \(\Delta\) be the unit disk \(\{z\in{\mathbb C}: |z|<1\}\), and \(H(\Delta)\) be the space of analytic functions on \(\Delta\). The author considers the composition operator \(C_\phi\), induced by an analytic map \(\phi: \Delta\to\Delta\), by \(C_\phi f=f\circ\phi\). Let \({\mathcal N}_\alpha\), \(\alpha\in(-1,\infty)\), be the weighted Nevanlinna space of functions \(f\in H(\Delta)\) satisfying \[ \|f\|_{{\mathcal N}_\alpha}= \int_\Delta[\log(1+|f(z)|)] (1-|z|^2)^\alpha dm(z)<\infty \] and let \({\mathcal B}\) be the Bloch space, i.e. the space of functions \(f\in H(\Delta)\) with \[ \|f\|_{\mathcal B}=|f(0)|+ \sup_{z\in\Delta}(1-|z|^2)|f'(z) |<\infty. \] Denote by \({\mathcal Q}_\beta\), \(\beta\in(-1,\infty)\), the class of functions \(f\in H(\Delta)\) with \[ \|f\|_{{\mathcal Q}_\beta}=|f(0)|+ \sup_{w\in\Delta} \biggl[\int_\Delta |(C_{\varphi_w}f)'(z)|^2 (1-|z|^2)^\beta dm(z) \biggr]^{1/2} <\infty, \] where \(\varphi_w\), \(w\in\Delta\), is a Möbius transformation: \[ \varphi_w(z)={w-z\over{1-\overline{w}z}}. \] The author obtains some criteria for boundedness and compactness of the composition operator \(C_\phi\) in the following three cases: \[ C_\phi:{\mathcal N}_\alpha\to{\mathcal B},\quad C_\phi:{\mathcal B}\to{\mathcal Q}_\beta,\quad C_\phi:{\mathcal N}_\alpha\to{\mathcal Q}_\beta. \] The paper contains three main results, each for one for the above mentioned cases. The first result is formulated in terms of the boundary behavior of \(\phi\). The second one contains some integral condition, where an integration over the Carleson box \[ S(I)= \biggl\{z\in\Delta: 1-{|I|\over{2\pi}}\leq|z|<1,\;{z\over{|z|}}\in I \biggr\} \] based on the arc \(I\subset\partial\Delta\) is used. The third main result requires additionally the Möbius invariant version of the generalized Nevanlinna counting function: \[ N(\beta,w,z,\phi)= \begin{cases} \sum_{\phi(v)=z}[1-|\varphi_w(v)|^2]^\beta, & z\in\phi(\Delta),\\ 0, & z\in\Delta\setminus\phi(\Delta).\end{cases} \] The author shows that the main results remain valid with \({\mathcal B}\) and \({\mathcal Q}_\beta\) replaced by their closed subspaces \({\mathcal B}_0\) and \({\mathcal Q}_{\beta,0}\) respectively. The author improves several results cited in the paper [see, for example, the article by \textit{W. Smith} and \textit{R. Zhao}, Analysis 17, No. 2-3, 239-263 (1997; Zbl 0901.47023)].