Hyperbolic \(g\)-function and Bloch pullback operators (Q2566788): Difference between revisions

Let \(D\) denote the open unit disk in the complex plane, \(S=\partial D\), let \(H^p=H^p(D)\) be the usual Hardy space, and let \(L^p=L^p(S)\). For a holomorphic function \(f\) in \(D\), it is known that the \(g\)-function of Littlewood-Paley defined by \[ g_f(\zeta) = \left(\int_0^1 (1-r)| f'(r\zeta)| ^2\,dr\right)^{1/2}\,, \quad \zeta \in S \] satisfies the relation \(\| g_f\| _{L^p} \approx \| f-f(0)\| _{H^p}\), which means that each side is bounded by a constant multiple of the other side. Similar to \(H^p\), the space \(\varrho H^p\) consists of all holomorphic self maps \(\phi\) of \(D\) for which \[ \| \phi\| _{\varrho H^p} = \lim_{r \to 1}{\left(\int_S \varrho(\phi(r\zeta),0)^p\,d\sigma(\zeta)\right)^{1/p}} < \infty\,, \] where \(\varrho\) is the hyperbolic distance on \(D\) and \(d\sigma\) is the arc length measure on \(S\) normalized by \(\sigma(S)=1\). Setting \(\lambda(z) = \log{\frac{1}{1-| z| }}\), \(z \in D\), then for a holomorphic self map of \(D\), \(\lambda \circ \phi\) is subharmonic in \(D\), and the radial limit \(\phi^*(\zeta) = \lim_{r \to 1}{\phi(r\zeta)}\) exists for almost all \(\zeta \in S\), so that \(\phi \in \varrho H^p\) if and only if \(\lambda \circ \phi^* \in L^p(S)\). Now, the Littlewood-Paley type \(g\)-function is defined by \[ \varrho g_\phi(\zeta) = \int_0^1 (1-r)\left(\frac{| \phi'(r\zeta)| }{1-| \phi(r\zeta)| ^2}\right)^2\,dr\,, \quad \zeta \in S\,. \] The main result of this paper is the relation \(\| \varrho g_\phi\| _{L^p} \approx \| \lambda \circ \phi^*\| _{L^p}\) for all holomorphic self maps \(\phi\) of \(D\) with \(\phi(0)=0\). The author applies this result to estimate the operator norm of the Bloch pullback operator \(C_\phi\) which sends a Bloch function \(f \in \mathcal B\) to \(f \circ \phi\), where \(\phi\) is a fixed holomorphic self map of \(D\) such that \(f \circ \phi \in H^p\) for every \(f \in \mathcal B\).