Definition

For zDz\in\mathbb D and bS1=Db\in S^1=\partial\mathbb D, the hyperbolic Poisson kernel is

Pb(z)=1z2zb2.P_b(z)=\frac{1-|z|^2}{|z-b|^2}.

For fixed bb, it is positive and tends to infinity as zz approaches bb non-tangentially.

Boundary representation

If FF is suitable boundary data on S1S^1, its harmonic extension to the disk is obtained by integrating F(b)Pb(z)F(b)P_b(z) against normalized angular measure. This is the disk-model analogue of the .

Spectral powers

Complex powers Pb(z)1/2+irP_b(z)^{1/2+ir} are and solve the Laplace eigenvalue equation with spectral parameter rr.

References
  1. Sigurdur Helgason, Groups and Geometric Analysis, AMS, 2000. Publisher record.