Superposition operators, Hardy spaces, and Dirichlet type spaces (Q1747058)

Let \(X\) and \(Y\) be two subspaces of the space \(H(\mathbb D)\) of holomorphic functions in the open unit disk \(\mathbb D\). For an entire function \(\varphi\), the superposition operator \(S_\varphi\) is defined as \(f\mapsto S_\varphi(f):=\varphi\circ f\). The authors describe for various Banach spaces \(X\) and \(Y\) the symbols \(\varphi\) such that \(S_\varphi\) maps \(X\) into \(Y\). Considered are the Bloch space \(B\), the Dirichlet space \(\mathcal D\), the space BMOA of functions of functions of bounded mean oscillation and the weighted Bergman, resp. Dirichlet-type spaces \(\mathcal D_{\alpha}^p\) of all \(f\in H(\mathbb D)\) for which \[ \int_{\mathbb D} (1-|z|^2)^{\alpha}|f ' (z)|^p d\sigma_2(z)<\infty, \] where \(p>0\) and \(\alpha>-1\). Also studied are the so-called \(Q_p\) spaces. The paper contains a wealth of interesting results. As a sample, let us mention the following ones: \(\bullet\)~~ \(S_\varphi(\mathcal D^p_{p-1})\subseteq \mathrm{BMOA}\) if and only if \(\varphi\) is constant; \(\bullet\)~~ For \(p\geq 2\), \(S_\varphi(\mathrm{BMOA})\subseteq \mathcal D^p_{p-1}\) if and only if the order of the entire function is either strictly less than one, or equal to one and of type zero. \(\bullet\)~~ For \(0<p<2\), \(S_\varphi(\mathrm{BMOA})\subseteq \mathcal D^p_{p-1}\) if and only if \(\varphi\) is constant. \(\bullet\)~~ If \(0<p\leq 2\) and \(\frac{p}{2}-1<\alpha< p-1\), then \(S_\varphi(\mathcal D)\subseteq \mathcal D^p_\alpha\) if and only if the order of \(\varphi\) is either strictly less than 2 or equal to 2 and of finite type.