Mean Lipschitz conditions on Bergman space (Q481955)

For an analytic function \(f\) on the unit disc \(\mathbb{D}\), define \(r_t(f)(z)=f(e^{it}z)\) for any real number \(t\), and \(f_r(z)=f(rz)\) for \(0\leq r<1\). There are the rotation and dilation of \(f\), respectively. For \(1\leq p <\infty\), \(A^p\) denotes the usual Bergman space consisting of analytic functions \(f\) on the disc with norm given by \[ \|f\|_{A^p} = \Big(\int_{\mathbb{D}}|f(z)|^p\, dm(z)\Big)^{1/p} < \infty. \] Here \(dm\) is the normalized Lebesgue measure on \(\mathbb{D}\). It is well known and not hard to see that for any \(f\) in \(A^p\), one has \(r_t(f)\rightarrow f\) in \(A^p\) as \(t\to 0\) and \(f_r\rightarrow f\) in \(A^p\) as \(r\to 1^{-}\). The paper under review studies the relation between the convergence rates of these two limits and the growth of \(\|(f')_r\|_{A^p}\) as \(r\to 1\). More precisely, it is proved that for \(0<\alpha\leq 1\), the following statements are equivalent: (a) \(\|r_t(f)-f\|_{A^p} = O(|t|^{\alpha})\) as \(t\to 0\). (b) \(\|(f')_r\|_{A^p} = O((1-r)^{\alpha-1})\) as \(r\to 1^{-}\). (c) \(\|f_r-f\|_{A^p} = O((1-r)^{\alpha})\) as \(r\to 1^{-}\). Using this result, the authors also show that the analogous results hold for the Dirichlet space. The Hardy space analogues of the above conditions have been known to be equivalent by results of Hardy and Littlewood and of Storozhenko. The authors offer an elementary proof of the equivalence of (b) and (c) for the Hardy space as well as generalizations to weighted Lipschitz spaces.