, a Dirichlet problem
is the problem of finding a function
which solves a specified partial differential equation
(PDE) in the interior of a given region that takes prescribed values on the boundary of the region.
The Dirichlet problem can be solved for many PDEs, although originally it was posed for Laplace's equation. In that case the problem can be stated as follows:
- Given a function f that has values everywhere on the boundary of a region in Rn, is there a unique continuous function u twice continuously differentiable in the interior and continuous on the boundary, such that u is harmonic in the interior and u = f on the boundary?
This requirement is called the Dirichlet boundary condition. The main issue is to prove the existence of a solution; uniqueness can be proved using the maximum principle.
The Dirichlet problem
is named after Lejeune Dirichlet
, who proposed a solution by a variational method which became known as the Dirichlet principle
. The existence of a unique solution is very plausible by the 'physical argument': any charge distribution on the boundary should, by the laws of electrostatics
, determine an electrical potential
However, Weierstrass found a flaw in Dirichlet's argument, and a rigorous proof of existence was only found in 1900 by Hilbert. It turns out that the existence of a solution depends delicately on the smoothness of the boundary and the prescribed data..
For a domain
having a sufficiently smooth boundary
, the general solution to the Dirichlet problem is given by
where is the Green's function for the partial differential equation, and
is the derivative of the Green's function along the inward-pointing unit normal vector . The integration is performed on the boundary, with measure . The function is given by the unique solution to the Fredholm integral equation of the second kind,
The Green's function to be used in the above integral is one which vanishes on the boundary:
for and . Such a Green's function is usually a sum of the free-field Green's function and a harmonic solution to the differential equation.
The Dirichlet problem for harmonic functions always has a solution, and that solution is unique, when the boundary is sufficiently smooth and
is continuous. More precisely, it has a solution when
The solution is continuous on the closed unit disk and harmonic on
The integrand is known as the Poisson kernel; this solution follows from the Green's function in two dimensions:
where is harmonic
and chosen such that for
Dirichlet problems are typical of elliptic partial differential equations
, and potential theory
, and the Laplace equation
in particular. Other examples include the biharmonic equation
and related equations in elasticity theory
They are one of several types of classes of PDE problems defined by the information given at the boundary, including Neumann problems and Cauchy problems.
- S. G. Krantz, The Dirichlet Problem. §7.3.3 in Handbook of Complex Variables. Boston, MA: Birkhäuser, p. 93, 1999. ISBN 0-8176-4011-8.
- S. Axler, P. Gorkin, K. Voss, The Dirichlet problem on quadratic surfaces Mathematics of Computation 73 (2004), 637-651.