Inequalities for the gradient of eigenfunctions of the invariant Laplacian in the unit ball (Q807783): Difference between revisions

Let \(X_{\lambda}=\{f\in C^ 2(B):\) \({\tilde \Delta}\)f\(=\lambda f\}\), \(\lambda\in {\mathbb{C}}\), where \({\tilde \Delta}\) is the invariant Laplacian on the unit ball B in \({\mathbb{C}}^ n.\) The main result of this paper is the following Theorem 3.1. Let \(f\in X_{\lambda}\), \(\lambda\neq 0\) and \(-\infty <\alpha <\infty\), \(0<p\leq \infty\), \(0<q\leq \infty\). Then \(f\in L_{\alpha}^{p,q}\) if and only if (its ``invariant'' gradient) \({\tilde \nabla}f\in L_{\alpha}^{p,q}\), and there is a constant \(A=A(\alpha,| \lambda |)<\infty\) such that \[ A^{-1}\| f\|_{\alpha,p,q}\leq \| {\tilde \nabla}f\|_{\alpha,p,q}\leq A\| f\|_{\alpha,p,q}. \] Here \(L_{\alpha}^{p,q}\) is the set of vector-valued Borel functions f, for which the functions \(F(z):=(1- | z|^ 2)^{\alpha}\cdot M_ p(f,z),\) \(z\in B\), (where \(M_ p(f,\cdot)\) is integral mean) is in the Lebesgue space \(L^ q((1-| z|^ 2)^{-1}d\nu (z)).\) The \(L_{\alpha}^{p,q}\)-``norm'' of f equals, by definition, the \(L^ q\)-norm of F, and denoted by \(\| f\|_{\alpha,p,q}.\) In the case of \(\lambda =0\) the author obtains the generalization of well known theorems of Hardy and Littlewood.