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 .
The solution of the Dirichlet problem for a domain with a sufficiently smooth boundary can be represented by the integral formula
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 .
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):
which is generalization of formula (1). Here, is the harmonic measure of a set at a point .
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
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 .
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.
|||P.G.L. Dirichlet, Abh. Königlich. Preuss. Akad. Wiss. (1850) pp. 99–116|
|||C. Miranda, "Partial differential equations of elliptic type" , Springer (1970) (Translated from Italian) MR0284700 Zbl 0198.14101|
|||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)|
|||R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 2 , Interscience (1965) (Translated from German) MR0195654|
|||M. Brélot, "Eléments de la théorie classique du potentiel" , Sorbonne Univ. Centre Doc. Univ. , Paris (1959) MR0106366 Zbl 0084.30903|
|||M.V. Keldysh, "On the solvability and stability of Dirichlet's problem" Uspekhi Mat. Nauk , 8 (1941) pp. 171–231 (In Russian)|
|||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|
|||A.V. Bitsadze, "Boundary value problems for second-order elliptic equations" , North-Holland (1968) (Translated from Russian) MR0226183 Zbl 0167.09401|
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  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.
|[a1]||O.D. Kellogg, "Foundations of potential theory" , Springer (1929) (Re-issue: Springer, 1967) MR0222317 MR1522134 Zbl 0152.31301 Zbl 0053.07301|
|[a2]||P.R. Garabedian, "Partial differential equations" , Wiley (1964) MR0162045 Zbl 0124.30501|
|[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) MR0445088 Zbl 0224.35002|
|[a5]||O.A. Ladyzhenskaya, N.N. Ural'tseva, "Equations aux dérivées partielles de type elliptique" , Dunod (1969) (Translated from Russian) Zbl 0164.13001|
|[a6]||K. Yosida, "Functional analysis" , Springer (1980) MR0617913 Zbl 0435.46002|
|[a7]||S. Lang, "Complex analysis" , Springer (1985) MR0788885 Zbl 0562.30001|
|[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) MR0419799 Zbl 0248.31011|
Dirichlet problem. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Dirichlet_problem&oldid=15416