Why are elliptic solutions so smooth?

Elliptic operators have no real characteristic directions along which singularities can travel, so disturbances are not propagated but instead averaged out. Elliptic regularity theory makes this precise: smoothness of the coefficients and data forces smoothness of the solution.

What is the Dirichlet problem?

It asks for a function harmonic, or satisfying a given elliptic equation, inside a region and equal to prescribed values on the boundary. It models, for example, the steady temperature inside a body whose surface temperature is fixed.

Elliptic PDEs

Elliptic partial differential equations, exemplified by the Laplace and Poisson equations, describe equilibrium and steady-state phenomena and have remarkably smooth solutions.

Definition

An elliptic equation is a second-order partial differential equation whose leading coefficients form a definite quadratic form, the prototype being Laplace's equation; such equations model states in equilibrium with no preferred direction of propagation.

Scope

This topic covers harmonic functions and potential theory, the Dirichlet and Neumann boundary value problems, the maximum principle, mean value property, and Harnack inequality, fundamental solutions and Green's functions, and the interior and boundary regularity of solutions.

Core questions

What boundary data determine a unique solution of the Dirichlet or Neumann problem?
Why are solutions of elliptic equations smooth even when the data are not?
How do maximum principles constrain where extrema can occur?
How are Green's functions used to represent and estimate solutions?

Key theories

Maximum principle: A solution of an elliptic equation attains its extreme values on the boundary of the domain, which yields uniqueness, comparison results, and a priori bounds.
Mean value property and Harnack inequality: Harmonic functions equal their averages over spheres, and the Harnack inequality bounds the ratio of values of a nonnegative solution, forcing strong interior regularity.
Elliptic regularity: Solutions of elliptic equations with smooth coefficients and data are smooth in the interior, so singularities cannot form away from the boundary.

Clinical relevance

Elliptic equations describe electrostatic and gravitational potentials, steady heat distributions, incompressible flow, and elastic equilibrium, and their smoothing behavior underlies methods in image processing and the well-posedness of many engineering models.

History

Potential theory grew from Laplace's and Gauss's work on gravitation and electrostatics, and Green introduced the functions and identities now bearing his name. The Dirichlet problem and its rigorous solution, including Hilbert's vindication of the Dirichlet principle, were central to the development of modern analysis.

Key figures

Pierre-Simon Laplace
George Green
Carl Friedrich Gauss
David Hilbert

Seminal works

evans2010
gilbarg2001

Frequently asked questions

Why are elliptic solutions so smooth?: Elliptic operators have no real characteristic directions along which singularities can travel, so disturbances are not propagated but instead averaged out. Elliptic regularity theory makes this precise: smoothness of the coefficients and data forces smoothness of the solution.
What is the Dirichlet problem?: It asks for a function harmonic, or satisfying a given elliptic equation, inside a region and equal to prescribed values on the boundary. It models, for example, the steady temperature inside a body whose surface temperature is fixed.