Maximal and area integral characterizations of Bergman spaces in the unit ball of \(\mathbb C^n\) (Q362746): Difference between revisions

Let \(\mathbb B\) denote the open unit ball in \(\mathbb C^n\) with boundary \(\mathbb S\). For \(\alpha\in\mathbb R\), let \(d\nu_\alpha(z) = c_\alpha (1-|z|^2)^\alpha d\nu(z)\) where \(\nu\) is Lebesgue measure on \(\mathbb B\) and \(c_\alpha =1\) for \(\alpha \leq -1\). For \(\alpha >-1\), \(c_\alpha\) is chosen so that \(\nu_\alpha\) is a probability measure on \(\mathbb B\). For \(\alpha = -(n+1)\) one obtains the invariant measure \(\tau \) on \(\mathbb B\). For \(\alpha >-1\) and \(p>0\), \(\mathcal A_\alpha^p\) denotes the set of holomorphic functions \(f\) on \(\mathbb B\) for which \(f\in L^p(\mathbb B,\nu_\alpha)\). Let \(\beta\) denote the Bergman metric on \(\mathbb B\), and for \(\gamma>0\), let \(D(z,\gamma)=\{w\in\mathbb B: \beta(z,w)<~\gamma\}\). For \(f\) holomorphic on \(\mathbb B\), \(\gamma>0\), and \(z\in\mathbb B\), set \((M_\gamma f)(z) = \sup_{w\in D(z,\gamma)} |f(w)|\). In Theorem 1 of the paper the authors prove that for \(0<p<\infty\), \(f\in \mathcal A^p_\alpha\) if and only if \( M_\gamma f \in L^p(\mathbb B, \nu_\alpha)\) with equivalence of norms. In Theorem 2 the authors obtain a characterization of \(\mathcal A^p_\alpha\) in terms of the radial area integral function \(A^{\gamma,q}_{\mathcal R}(f)\), the complex gradient area integral function \(A_\nabla^{\gamma,q}(f)\), and the invariant gradient area integral function \(A_{\widetilde\nabla}^{\gamma,q}(f)\). The radial area integral function is defined for \(1<q<\infty\) and \(\gamma>0\) by \[ A_{\mathcal R}^{\gamma,q}(z) = \left(\int_{D(z,\gamma)} |(1-|w|^2)\mathcal Rf(w)|^q d\tau(w)\right)^{1/q} \] with a similar definition for \(A_\nabla^{\gamma,q}(f)\). The invariant gradient area integral function is defined by \[ A_{\widetilde\nabla}^{\gamma,q}(f)(z) = \left(\int_{D(z,\gamma)} |\widetilde\nabla f(w)|^q d\tau(w)\right)^{1/q}. \] The main result of Theorem 2 is that \(f\in \mathcal A^p_\alpha\), \(0<p<\infty\), \(\alpha >-1\), is equivalent to each of the above functions being in \(L^p(\mathbb B,\nu_\alpha)\).