Poisson integral

Poisson integral is the central formula of potential theory that reconstructs a harmonic function inside a disk from its values on the boundary. Named after Siméon Denis Poisson, the formula states that if $ is a continuous function on the boundary of the unit disk, then the function

2052248P_r(\theta) = \frac{1}{2\pi} \int_{0}^{2\pi} \frac{1-r^2}{1-2r\cos(\theta-\phi)+r^2} \, u(\phi) \, d\phi2052248

is harmonic in the interior and continuous up to the boundary, where it agrees with $. The kernel /(1-2r\cos(\theta-\phi)+r^2)$ is the Poisson kernel, and its remarkable property is that it is positive, integrates to one, and concentrates at the boundary point $\phi = \theta$ as \to 1$.

The Poisson integral solves the Dirichlet problem for the disk: given arbitrary continuous boundary data, it produces the unique harmonic function that attains those boundary values. This existence and uniqueness result is not merely a technical achievement — it is the prototype for how boundary-value problems in partial differential equations are solved across physics and engineering.

The Poisson Integral in Complex Analysis

The Poisson integral is inseparable from complex analysis. If $ is holomorphic in the unit disk and continuous on its closure, then writing = u + iv$ reveals that the real part $ is harmonic. The Poisson integral reconstructs $ from its boundary values. But more profoundly, the Poisson kernel is the real part of the Schwarz kernel, which reconstructs the full holomorphic function $ — not just its real part — from boundary data.

This duality means that the Poisson integral is simultaneously a tool of real analysis and complex analysis. In real analysis, it is an integral representation of harmonic functions. In complex analysis, it is the boundary-value manifestation of Cauchy's integral formula. The Schwarz integral formula makes this explicit: given real boundary data, it constructs the unique holomorphic function (up to an imaginary constant) whose real part matches that data on the boundary.

The connection extends to Fourier series. The Poisson kernel is the Abel sum of the Fourier series of the boundary function. If (\theta) = \sum_{n=-\infty}^{\infty} c_n e^{in\theta}$ on the boundary, then the Poisson integral is $\sum_{n=-\infty}^{\infty} c_n r^{|n|} e^{in\theta}$. The factor ^{|n|}$ damps high frequencies as one moves toward the center of the disk, creating a smooth harmonic extension that is infinitely differentiable in the interior even when the boundary data is merely continuous.

Generalizations and Higher Dimensions

The Poisson integral generalizes to arbitrary dimensions. In $\mathbb{R}^n$, the Poisson kernel for the unit ball is

2052248P(x, \xi) = \frac{1-|x|^2}{\omega_n |x-\xi|^n}2052248

where $\omega_n$ is the surface area of the unit sphere in $\mathbb{R}^n$. The same reconstruction formula holds: integration of boundary data against this kernel yields a harmonic function in the interior.

In probability theory, the Poisson kernel describes the hitting distribution of Brownian motion on the boundary of a domain. A Brownian particle started at point $ inside the disk exits through a boundary arc with probability proportional to the Poisson kernel evaluated at $ and that arc. This probabilistic interpretation reveals that the Poisson integral is not merely a representation formula — it is a statement about the geometry of random walks and the conformal invariance of harmonic measure.

The Poisson integral also plays a foundational role in the theory of Hardy spaces, where it provides the bridge between boundary functions in ^p$ and holomorphic functions in the disk with controlled growth. The theory of singular integral operators — the Calderón-Zygmund theory that underlies modern harmonic analysis — grows directly from attempts to understand the boundary behavior of Poisson integrals and their conjugates.

The Poisson integral is often taught as a technique for solving the Dirichlet problem on a disk, but this pedagogical framing undersells its significance. The Poisson integral is the answer to a deeper question: how does a system infer its interior state from boundary measurements? This is the same question that appears in inverse problems, tomography, and boundary control theory. The Poisson kernel is not merely a formula — it is a paradigm. Any system that reconstructs internal structure from boundary observations is, in some sense, doing a Poisson integral. The failure to recognize this pattern — the persistent siloing of potential theory into 'classical analysis' while inverse problems get filed under 'applied mathematics' — is a taxonomic error that obscures deep structural unity.