Differences of generalized composition operators on the Bloch space (Q442494)

Let \(H(\mathbb{D})\) be the space of holomorphic functions on the open unit disk \(\mathbb{D}\subset \mathbb{C}\), \(g\in H(\mathbb{D})\), and let \(\varphi\) be an analytic self-map of \(\mathbb{D}\). The generalized composition operator \(C_\varphi^g\) on \(H(\mathbb{D})\) is defined by \[ C_\varphi^g(f)(z)=\int_0^z f'(\varphi(\lambda))g(\lambda)\,d\lambda. \] Note that, if \(g=\varphi'\), then \(C_\varphi^{\varphi'}(f)(z)=C_\varphi(f)(z)-C_\varphi(f)(0)\), where \(C_\varphi(f):=f\circ\varphi\) is the classical composition operator. If \(\varphi(z)=z\), then we also obtain another interesting operator whose properties on different spaces have been studied by several authors. If \(f\) is a function in the Bloch space \(\mathcal{B}\), then \[ (1-|z|^2)|(C_\varphi^g(f))'(z)|\leq \|f\|_{\mathcal{B}}|\mathcal{D}_{\varphi,g}(z)|, \quad\text{where}\quad \mathcal{D}_{\varphi,g}(z)=\frac{(1-|z|^2)g(z)}{1-|\varphi(z)|^2}. \] Therefore, if \(\mathcal{D}_{\varphi,g}\) is a bounded function on \(\mathbb{D}\), then \(C_\varphi^g\) is bounded on \(\mathcal {B}\). It is also well known that \(C_\varphi^g\) is compact on \(\mathcal {B}\) if and only if it is bounded and \(\mathcal{D}_{\varphi,g}(z)\to 0\) as \(|\varphi(z)|\to 1\). The main results of the paper are the following: (1) The operator \(C_\varphi^g-C_\psi^h\) is bounded on \(\mathcal{B}\) if and only if the functions \(I_{\varphi,\psi,g}=\dfrac{\varphi-\psi}{1-\varphi\overline\psi} \mathcal{D}_{\varphi,g}\) and \(\mathcal{D}_{\varphi,g}-\mathcal{D}_{\psi,h}\) are bounded on \(\mathbb{D}\). (2) Assume that \(C_\varphi^g-C_\psi^h\) is bounded on \(\mathcal{B}\) and that neither of \(C_\varphi^g\), \(C_\psi^h\) is compact. Then, \(C_\varphi^g-C_\psi^h\) is compact if and only if the following conditions are satisfied: (i) \( \{\{z_k\}\subset \mathbb{D}: |\varphi(z_k)|\to 1\), \(|\mathcal{D}_{\varphi,g}(z_k)|\not\to 1\}= \{\{z_k\}\subset \mathbb{D}: |\psi(z_k)|\to 1\), \(|\mathcal{D}_{\psi,h}(z_k)|\not\to 1\}\neq \emptyset, \) (ii) for any sequence \(\{z_k\}\subset \mathbb{D}\) satisfying \(|\varphi(z_k)|\to 1\) and \(|\psi(z_k)|\to 1\), it follows that \(I_{\varphi,\psi,g}(z_k)\to 0\) and \((\mathcal{D}_{\varphi,g}-\mathcal{D}_{\psi,h})(z_k)\to 0\).