Dirichlet problem
To find a harmonic function which is regular in a domain
and which coincides with a given continuous function
on the boundary
of
. The problem of finding the solution of a second-order elliptic equation which is regular in the domain is also known as the Dirichlet or first boundary value problem. Problems connected with this task were studied as early as 1840 by C.F. Gauss, and then by P.G.L. Dirichlet [1].
The solution of the Dirichlet problem for a domain
with a sufficiently smooth boundary
can be represented by the integral formula
![]() | (1) |
where is the derivative in the direction of the interior normal at the point
of the Green function
, which is characterized by the following properties:
1) if
, or
![]() |
where is the distance between the points
and
,
is the surface area of the unit sphere in
,
is a harmonic function regular in
both with respect to the coordinate
and with respect to the coordinate
;
2) for
,
.
For the sphere, the half-space and certain other most simple domains the Green function is constructed explicitly, and formula (1) yields an effective solution of the Dirichlet problem. The formulas thus obtained for the sphere and the half-space are known as the Poisson formulas (cf. Poisson formula).
The Dirichlet problem is one of the fundamental problems in potential theory. It has served, up to this day, as a touchstone for new methods being developed which then contribute to a greater or lesser extent to the advances in the general theory of partial differential equations.
The following methods are employed in the study of the Dirichlet problem.
The variational method is based on the fact that of all functions defined in
and assuming given values on
, it is a harmonic function which minimizes the Dirichlet integral
![]() |
A special minimizing sequence is constructed for , after which convergence is demonstrated. Since for the sought solution
of the Dirichlet problem the existence of the integral
is required, the variational method is applicable only to functions
which are traces on
of functions
defined on
for which
exists and is bounded.
In the method of potentials (cf. Potentials, method of) the solution of the Dirichlet problem is sought as the double-layer potential of an unknown density defined on . With the aid of the jump formulas with respect to this density one obtains a Fredholm equation, from which the existence of the solution of the Dirichlet problem follows, taking into account that the uniqueness of this solution follows from the maximum principle. It is assumed that
.
In the Schwarz alternating method one considers two domains and
with a non-empty intersection
such that a manner of solving the Dirichlet problem is known for
and
separately. A process is then carried out to find the solution of the Dirichlet problem for
. The boundaries
and
are assumed to be piecewise smooth, and at all intersections points of
with
, both
and
are assumed to be smooth and intersecting at a non-zero angle. Sequences of harmonic functions regular in
and
and satisfying special boundary conditions are constructed; it is then shown that these sequences converge uniformly and that their limits coincide in
. The harmonic limit function is regular in
and is the sought solution of the Dirichlet problem. Schwarz's method may be employed for the union or the intersection of any finite number of domains.
The balayage method in the form in which it was originally introduced by H. Poincaré in 1890 is applicable to domains which can be exhausted by a denumerable set of spheres. The initial step in this method is the construction of the Newton potential which assumes the specified value at the boundary
, after which the problem is reduced to replacing this potential by a potential of masses located on
without changing the values of
on
, i.e. to balayage of masses. Such a balayage process for the sphere
is readily realized in an explicit manner using Poisson's formula. The denumerable number of balayages from spheres whose union exhausts the domain
of general form yields a certain potential of masses located on the boundary
, and hence also the solution of the Dirichlet problem.
The Perron method (or the method of upper and lower functions), which is applicable to domains of a fairly general kind, resembles the balayage method. It involves the construction of sequences of upper (superharmonic) and lower (subharmonic) functions, the common limit of which is the sought solution of the Dirichlet problem. In order for this solution to assume a specified value at a point
, it is necessary and sufficient that a local barrier
exists. The function
is continuous and superharmonic in the intersection
(where
is a sphere with its centre at the point
);
everywhere in
except at the point
, where it vanishes.
The points of for which a local barrier exists are known as regular points. If
consists exclusively of regular points, the solution of the Dirichlet problem obtained is continuous in
and assumes the specified values on
. However, irregular points may also exist on
. For instance, isolated points on
will be irregular in
, while the tip of a sufficiently thin cusp, entering inside
, will be irregular in
. A consequence of the presence of irregular points is that the Dirichlet problem is not solvable for all continuous functions
on
or else that the solution is unstable with respect to changes in the boundary data [6].
A generalized solution method of the Dirichlet problem, introduced in 1924 by N. Wiener, satisfies the following conditions: a) it is applicable to all domains; and b) it yields the classical solution of the Dirichlet problem if such a solution exists. Let a domain be the limit of a monotone increasing sequence of regular domains
such that
and such that any compact set
is contained in
if
. The generalized solution of the Dirichlet problem
is obtained as the limit of the sequence
of solutions of the Dirichlet problem for the domains
and a boundary function
continuously extended inside
. The solution
is independent of the choice of the exhausting sequence
and of the manner of continuous extension of
inside
.
A generalized solution of the Dirichlet problem may also be based on Perron's method. Let be the lower envelope of the family of all superharmonic functions
that satisfy the condition
![]() |
on . The inequality
applies to all domains
and functions
. If
, the function
is harmonic. It is known as the generalized solution of the Dirichlet problem, while the boundary function
is called resolutive. Any continuous function
is resolutive, and the behaviour of the generalized solution
at a point
will depend on whether
is regular or irregular.
The Wiener-generalized solution of the Dirichlet problem satisfies an integral representation (de la Vallée-Poussin formula):
![]() | (2) |
which is generalization of formula (1). Here, is the harmonic measure of a set
at a point
[5].
It follows that it is possible to consider the generalized Dirichlet problem for arbitrary boundary functions , and the boundary condition must be satisfied in some weaker form only. For instance, if
is a domain in
with sufficiently smooth boundary
and if the boundary function
has only discontinuity points of the first kind, the boundary condition need be satisfied at the continuity points of
only; the solution must be bounded at the discontinuity points in order to ensure uniqueness of the solution. N.N. Luzin generalized the Dirichlet problem for an arbitrary measurable almost-everywhere finite boundary function
on
. A possible boundary condition would be for the boundary values of the solution along the normal to
to exist and to coincide with
almost-everywhere on
.
The Dirichlet problem for the general second-order elliptic equation
![]() | (3) |
is a Fredholm problem. The solution sought must be regular in the domain and must assume given values on the boundary. The above methods for studying the Dirichlet problem for harmonic functions have also been generalized to equation (3).
For uniformly elliptic systems the Dirichlet problem may not merely prove to be a non-Fredholm problem, but may have infinitely many linearly independent solutions [8].
The Dirichlet problem is also studied for certain non-elliptic equations or degenerate equations. In such cases the Dirichlet problem sometimes turns out to be ill-posed.
References
[1] | P.G.L. Dirichlet, Abh. Königlich. Preuss. Akad. Wiss. (1850) pp. 99–116 |
[2] | C. Miranda, "Partial differential equations of elliptic type" , Springer (1970) (Translated from Italian) |
[3] | R. Courant, "The Dirichlet priciple, conformal mapping and minimal surfaces" , Interscience (1950) (With appendix by M. Schiffer: Some recent developments in the theory of conformal mapping) |
[4] | R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 2 , Interscience (1965) (Translated from German) |
[5] | M. Brélot, "Eléments de la théorie classique du potentiel" , Sorbonne Univ. Centre Doc. Univ. , Paris (1959) |
[6] | M.V. Keldysh, "On the solvability and stability of Dirichlet's problem" Uspekhi Mat. Nauk , 8 (1941) pp. 171–231 (In Russian) |
[7] | M.V. Keldysh, "On certain classes of degeneration of equations of elliptic type on the boundary of a domain" Dokl. Akad. Nauk. SSSR , 77 (1951) pp. 181–183 |
[8] | A.V. Bitsadze, "Boundary value problems for second-order elliptic equations" , North-Holland (1968) (Translated from Russian) |
Comments
The trace on a set of a function
defined on a domain
,
, is the function
on
that is the restriction to
of
, i.e.
.
The notation , used in the article above, is not standard. It appears in [2] and means: "the boundary G belongs to the family of sets that can locally be represented by functions having Hölder continuous first derivatives" (cf. Hölder condition).
An important tool for solving the Dirichlet problem for domains in is conformal mapping, since in
the theory of harmonic functions is closely related with the theory of analytic functions of a complex variable.
Sometimes solutions can be found in the form of Fourier series.
A weak solution of the Dirichlet problem
![]() |
with homogeneous boundary data can be defined as an element such that
![]() |
for any ,
being given in
(all symbols are standard). The definition can be easily extended to more general cases. In particular, the Laplace operator can be replaced by any elliptic operator
in divergence form. If
is uniformly elliptic (i.e. satisfies a coerciveness inequality) a fundamental result for establishing existence and uniqueness of a weak solution is the Lax–Milgram theorem.
References
[a1] | O.D. Kellogg, "Foundations of potential theory" , Springer (1929) (Re-issue: Springer, 1967) |
[a2] | P.R. Garabedian, "Partial differential equations" , Wiley (1964) |
[a3] | F. Riesz, B. Szökevalfi-Nagy, "Leçons d'analyse fonctionelle" , Gauthier-Villars (1968) |
[a4] | A. Friedman, "Partial differential equations" , Holt, Rinehart & Winston (1969) |
[a5] | O.A. Ladyzhenskaya, N.N. Ural'tseva, "Equations aux dérivées partielles de type elliptique" , Dunod (1969) (Translated from Russian) |
[a6] | K. Yosida, "Functional analysis" , Springer (1980) |
[a7] | S. Lang, "Complex analysis" , Springer (1985) |
[a8] | D. Gilbar, "Elliptic partial differential equations of second order" , Springer (1983) |
[a9] | L.L. Helms, "Introduction to potential theory" , Wiley (Interscience) (1969) |
[a10] | C. Constantinescu, A. Cornea, "Potential theory on harmonic spaces" , Springer (1972) |
Dirichlet problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dirichlet_problem&oldid=28182