A characterization of the Poisson kernel associated with SU(1,n) (Q582446)

Let \(C^ n\) be an n-dimensional Hermitian linear space over C and the point of \(C^ n\) be ordered n-tuples \(\zeta =(\zeta_ 1,...,\zeta_ n)\) where \(\zeta_ k=\xi_ k+i\eta_ k\in C\) for \(1\leq k\leq n\). Let \(B(C^ n)\) be the open unit ball in \(C^ n\) and \(S(C^ n)\) the unit sphere in \(C^ n\). \(G=SU(1,n)\) is the group of linear transformations on \(C^{n+1}\) of determinant one which preserve the form \(-| \zeta_ 0|^ 2+| \zeta_ 1|^ 2+...+| \zeta_ n|^ 2.\) Let D be the Laplace-Beltrami operator on \(B(C^ n)\) which is invariant under the above action of G and given by \[ D=4(1-| \zeta |^ 2)\sum^{n}_{k=1}\frac{\partial^ 2}{\partial \zeta_ k\partial {\bar \zeta}_ k}-\sum^{n}_{k,l=1}{\bar \zeta}_ k\zeta_ l\frac{\partial^ 2}{\partial {\bar \zeta}_ k\partial \zeta_ l}, \] where \(\partial /\partial \zeta_ k=(1/2)(\partial /\partial \xi_ k- i\partial /\partial \eta_ k),\) \(\partial /\partial {\bar \zeta}_ k=(1/2)(\partial /\partial \xi_ k+i\partial /\partial \eta_ k)\) and \(| \zeta |^ 2=\sum^{n}_{k-1}\zeta_ k{\bar \zeta}_ k\) for \(\zeta =(\zeta_ 1,...,\zeta_ n)\) and \(\zeta_ k=\xi_ k+i\eta_ k\) (1\(\leq k\leq n).\) The Poisson kernel is given explicitly by the formula: \[ P(\zeta,u)=\frac{(1-| \zeta |^ 2)^ n}{| 1- <\zeta,u>|^{2n}}\quad for\quad (\zeta,u)\in B(C^ n)\times S(C^ n), \] where \(<\zeta,u>=\sum^{n}_{k=1}\zeta_ ku_ k.\) The authors prove the following results. Let F be a real valued \(C^ 2\) function on \(B(C^ n)\) satisfying the following conditions: \[ DF=0,\quad D(F^ 2)=8n^ 2F^ 2. \] Then there exist a point \(u\in S(C^ n)\) and a real constant c such that \[ F(\zeta)=cP(\zeta,u)\quad (\zeta \in B(C^ n)). \] This theorem generalizes the results from the paper of \textit{M. Chipot}, \textit{P. Eymard} and \textit{T. Tahani} [Symp. Math. 29, 111-129 (1987; Zbl 0646.58028)].