Poisson kernel: Information from Answers.com

In potential theory, the Poisson kernel is an integral kernel, used for solving the two-dimensional Dirichlet problem. Specifically, it gives solutions to the two-dimensional Laplace equation, given Dirichlet boundary conditions on the unit disc. The kernel can be understood as the derivative of the Green's function for the Laplace equation. It is named for Siméon Poisson.

The Poisson kernel is important in complex analysis because its integral against a function defined on the unit circle — the Poisson integral — gives the extension of a function defined on the unit circle to a harmonic function on the unit disk. By definition, harmonic functions are solutions to Laplace's equation, and, in two dimensions, harmonic functions are equivalent to meromorphic functions. Thus, the two-dimensional Dirichlet problem is essentially the same problem as that of finding a meromorphic extension of a function defined on a boundary.

Poisson kernels commonly find applications in control theory and two-dimensional problems in electrostatics. In practice, the definition of Poisson kernels are often extended to n-dimensional problems.

1 Two-dimensional Poisson kernels
- 1.1 On the unit disc
- 1.2 On the upper half-plane
2 On the ball
3 On the upper half-space
4 See also
5 References

Two-dimensional Poisson kernels

On the unit disc

In the complex plane, the Poisson kernel for the unit disc is given by

$P_r(\theta) = \sum_{n=-\infty}^\infty r^{|n|}e^{in\theta} = \frac{1-r^2}{1-2r\cos\theta +r^2} = \operatorname{Re}\left(\frac{1+re^{i\theta}}{1-re^{i\theta}}\right), \ \ \ 0 \le r < 1.$

This can be thought of in two ways: either as a function of r and θ, or as a family of functions of θ indexed by r.

If $D = {z : | z | < 1}$ is the unit disc in C, and if f is a continuous function from the unit circle $\partial D$ into R, then the function u given by

$u(re^{i\theta}) = \frac{1}{2\pi}\int_{-\pi}^\pi P_r(\theta-t)f(e^{it}) \, \mathrm{d}t, \ \ \ 0 \le r < 1$

or equivalently by

$u(z) = \frac{1}{2\pi} \, \operatorname{Re}\left( \int_{-\pi}^{\pi} \frac{e^{it}+z}{e^{it}-z}f(e^{it}) \, \mathrm{d}t \right)$

is harmonic in D, and extends to a continuous function on $\bar{D}$ that agrees with f on the boundary of the disc.

It is common to restrict oneself to functions which are either square integrable or p-integrable on the unit circle. When one also asks for the harmonic extension to be holomorphic, then the solutions are elements of Hardy space. In particular, the Poisson kernel is commonly used to demonstrate the equivalence of the Hardy spaces on the unit disk, and the unit circle.

In the study of Fourier series the Poisson kernel arises in the study of Abel means for a Fourier series, and gives an example of a summability kernel (Katznelson 1976)

On the upper half-plane

The unit disk may be conformally mapped to the upper half-plane by means of certain Möbius transformations. Since the conformal map of a harmonic function is also harmonic, the Poisson kernel carries over to the upper half-plane. In this case, the Poisson integral equation takes the form

$u(x+iy)=\frac{1}{\pi}\int_{-\infty}^\infty P_y(x-t)f(t) dt$

for $y > 0$ . The kernel itself is given by

$P_y(x)=\frac {y}{x^2 + y^2}.$

Given a function $f\in L^p(\mathbb{R})$ , the L^p space of integrable functions on the real line, then u can be understood as the harmonic extension of f into the upper half-plane. In analogy to the situation for the disk, when u is holomorphic in the upper half-plane, then u is an element of the Hardy space $u\in H^p$ , and, in particular,

$\|u\|_{H^p}=\|f\|_{L^p}$

Thus, again, the Hardy space H^p on the upper half-place is a Banach space, and, in particular, a closed subspace of $L^p(\mathbb {R})$ . The situation is only analogous to the case for the unit disk; the Lebesgue measure for the unit circle is finite, whereas that for the real line is not.

On the ball

For the ball of radius r, $B r$ , in Rⁿ, the Poisson kernel takes the form

$P(x,\zeta) = \frac{r^2-|x|^2}{n\omega _{n-1}|x-\zeta|^n}$

where $x\in B_{r}$ , $\zeta\in S$ (the surface of $B r$ ), and $ω n - 1$ is the surface area of the unit sphere.

Then, if u(x) is a continuous function defined on S, the corresponding Poisson integral is the function P[u](x) defined by

$P[u](x) = \int_S u(\zeta)P(x,\zeta)d\sigma(\zeta).\,$

It can be shown that P[u](x) is harmonic on the ball $B r$ and that P[u](x) extends to a continuous function on the closed ball of radius r, and the boundary function coincides with the original function u.

On the upper half-space

An expression for the Poisson kernel of an upper half-space can also be obtained. Denote the standard Cartesian coordinates of Rⁿ⁺¹ by

$(t,x) = (t,x_1,\dots,x_n).$

The upper half-space is the set defined by

$H^{n+1} = \{ (t;\mathbf{x}) \in\mathbf{R}^{n+1} \mid t>0\}.$

The Poisson kernel for Hⁿ⁺¹ is given by

$P(t,x) = c_n\frac{t}{(t^2+|x|^2)^{(n+1)/2}}$

where

$c_n = \frac{\Gamma[(n+1)/2]}{\pi^{(n+1)/2}}.$

The Poisson kernel for the upper half-space appears naturally as the Fourier transform of the Abel kernel

K (t,ξ) = e - 2π t | ξ |

in which t assumes the role of an auxiliary parameter. To wit,

$P(t,x) = \mathcal{F}(K(t,\cdot))(x) = \int_{\mathbf{R}^n} e^{-2\pi t|\xi|} e^{-2\pi i \xi\cdot x}\,d\xi.$

In particular, it is clear from the properties of the Fourier transform that, at least formally, the convolution

$P[u](t,x) = [P(t,\cdot)*u](x)$

is a solution of Laplace's equation in the upper half-plane. One can also show easily that as t → 0, P[u](t,x) → u(x) in a weak sense.

References

Conway, John B. (1978), Functions of One Complex Variable I, Springer-Verlag, ISBN 0-387-90328-3 .
Axler, S.; Bourdon, P.; Ramey, W. (1992), Harmonic Function Theory, Springer-Verlag, ISBN 0-387-95218-7 .
Stein, Elias; Weiss, Guido (1971), Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press, ISBN 0-691-08078-X .
Weisstein, Eric W., "Poisson Kernel" from MathWorld.
Gilbarg, D.; Trudinger, N., Elliptic Partial Differential Equations of Second Order, ISBN 3-540-41160-7 .

This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)

Donate to Wikimedia

	Poisson (disambiguation)
	F. and M. Riesz theorem
	Poisson integral formula

	What is Poisson's ratio for steel? Read answer...
	What is Poisson's ratio for bronze? Read answer...
	What is the poisson's ratio for steel? Read answer...

	Which of the following kernels are developmental kernels?
	Cast iron Poisson ratio?
	Can animals get food poissoning?

Poisson kernel

Contents