# Poisson integral

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

An integral representation of the solution of the Dirichlet problem for the Laplace equation in the simplest domains. Thus, the Poisson integral for the ball in the Euclidean space , , of radius and with centre at the coordinate origin has the form (1)

where is a given continuous function on the sphere of radius , is the Poisson kernel for the ball, is the area of the sphere , and is the surface element on .

S.D. Poisson

arrived at formula (1) in the case as an integral formula for the sum of the trigonometric series where , are the Fourier coefficients of the function , and and are the polar coordinates of the points and , respectively; in this case the Poisson kernel has the form (2)

(for applications of the Poisson integral in the theory of trigonometric series see  and also Abel–Poisson summation method).

The Poisson integral for the half-space has the form (3)

where  is the volume element in , is a bounded continuous function on and is the Poisson kernel for the half-space. The formulas (1) and (3) are particular cases of the Green formula (4)

giving the solution of the Dirichlet problem for domains with smooth boundary using the derivative of the Green function in the direction of the interior normal to at the point . Sometimes formula (4) is also called the Poisson integral.

The basic properties of the Poisson integral are: 1) is a harmonic function of the coordinates of the point ; and 2) the Poisson integral gives the solution of the Dirichlet problem with boundary data in the class of (bounded) harmonic functions, that is, the function extended to the boundary of the domain by the values is continuous in the closed domain. Applications of the Poisson integral in classical mathematical physics are based on these properties (see ).

The Poisson integral understood in the sense of Lebesgue when is a summable function, for example on , is called a Poisson–Lebesgue integral; an integral of the form (5)

with respect to an arbitrary finite Borel measure concentrated on is called a Poisson–Stieltjes integral. The class of harmonic functions representable by an integral (5) is characterized by the fact that any function is the difference of two non-negative harmonic functions in . The class of functions representable by a Poisson–Lebesgue integral is a proper subclass of the class and contains all bounded harmonic functions in . For almost-all points with respect to Lebesgue measure on , a Poisson–Stieltjes integral (5) has angular boundary values coinciding with the values of the derivative of the measure with respect to Lebesgue measure. The theory of Poisson–Stieltjes and Poisson–Lebesgue integrals has also been constructed for the half-space (see ).

Various modifications of the Poisson integral play a large role in the theory of analytic functions of several complex variables and in its applications to quantum field theory. For example, the Poisson kernel for the polydisc in the complex space is obtained by multiplying the kernels (2): The corresponding Poisson integral with respect to the distinguished boundary of the polydisc gives a multi-harmonic function , , taking the continuous values on . Generalizations in the form of Poisson–Lebesgue and Poisson–Stieltjes integrals are also considered (see ).

In quantum field theory Poisson integrals are also applied to tube domains in the complex space over a convex open acute cone in the space (with vertex at the origin). These have the form  A Poisson integral of the form (3) for the half-plane when is a particular case of such Poisson integrals for tube domains; the Poisson integral for bounded symmetric domains in the space is the same as the Poisson integral for a tube domain in the space of matrices. Taking the density of the Poisson integral to be a generalized function and the Poisson integral itself to be the convolution of with the Poisson kernel one arrives at the important concept of the Poisson integral for certain classes of generalized functions (see ).

How to Cite This Entry:
Poisson integral. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Poisson_integral&oldid=18887
This article was adapted from an original article by E.D. Solomentsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article