No label defined (Q4329593)

The hyperbolic space \(U(n,1;{\mathbb F})/U(n;{\mathbb F})\times U(1,{\mathbb F})\) (\({\mathbb F}={\mathbb R,C,H})\) is realized as the unit ball \(B\) in \({\mathbb F}^n\). For a function \(f\) defined on the boundary \(\partial B\), the Poisson transform \(P_{\lambda }f\) (\(\lambda \in {\mathbb C}\)) is defined by \[ (P_{\lambda }f)(x)=\int _{\partial B} \Bigl({1-|x|^2\over |1-\langle x,\omega \rangle |^2}\Bigr)^{i\lambda +\sigma \over 2} f(\omega) d\omega , \] where \(\sigma ={d\over 2}(n+1)-1\), \(d=\dim_{\mathbb R}{\mathbb F}\). The function \(F=P_{\lambda }f\) is an eigenfunction of the Laplace-Beltrami operator \[ \Delta F=-(\lambda ^2+\sigma ^2)F.\tag \(*\) \] The two main results of the paper are the following. The number \(\lambda \) is assumed to be real and nonzero. Let \(F\) satisfy \((*)\). (1) The function \(F\) is the Poisson transform of some function \(f\) in \(L^2(\partial B)\), \textit{i.e.} \(F=P_{\lambda }f\), if and only if \[ \sup _{t>0}{1\over t}\int _{B_t} |F(x)|^2 d\mu (x)<\infty , \] where \(B_t\) is the ball of radius \(t\) and centre 0, \(\mu \) is an invariant measure on \(B\). (2) Assume \(p\geq 2\). The function \(F\) is the Poisson transform of a function \(f\in L^p(\partial B)\) if and only if \[ \sup _{0\leq r<1}(1-r^2)^{-{\sigma \over 2}} \Bigl(\int _{\partial B}|F(r\theta)|^p d\theta \Bigr)^{1\over p}<\infty . \] The proof of (1) uses spherical harmonic expansions: \[ F(r\theta)=\sum _{p,q}\Phi _{\lambda ,p,q}(r)f_{p,q}(\theta). \] The functions \(\Phi _{\lambda ,p,q}\) are expressed as Gauss hypergeometric functions, and the authors use the following result due to Strichartz: \[ \lim _{t\to \infty }{1\over t}\int _{B_t}|\Phi _{\lambda ,p,q}(|x|)|^2(1-|x|^2)^{-\sigma -1} dm(x) =\gamma |c(\lambda)|^2, \] where \(c(\lambda)\) is the Harish Chandra \(c\)-function.