Harmonic function
A real-valued function , defined in a domain
of a Euclidean space
,
, having continuous partial derivatives of the first and second orders in
, and which is a solution of the Laplace equation
![]() |
where are the orthogonal Cartesian coordinates of the point
. This definition is sometimes extended to include complex functions
as well, in the sense that their real and imaginary parts
and
are harmonic functions. The requirements of continuity and even of the existence of derivatives are not a priori indispensable. For instance, one of Privalov's theorems is applicable: A continuous function
in
is a harmonic function if and only if at any point
the mean-value property
![]() |
— where is the ball of radius
with centre at
,
is the volume of this ball and
is the volume element in
— is fulfilled for sufficiently small
.
If is unbounded with a compact boundary
, the definition of a harmonic function may be completed to include the point at infinity
, i.e. it may additionally be defined in domains in the Aleksandrov compactification of
. The general principle of such a completion of the definition is that, under the simplest transformations which preserve harmonicity (inversion if
, Kelvin transformations if
, cf. Kelvin transformation) and map a finite point
into
, a harmonic function in a neighbourhood of
becomes a harmonic function in a neighbourhood of
. On this basis, a harmonic function
is said to be regular at infinity for
if
![]() |
Thus, for a harmonic function which is regular at infinity one always has
if
. If
, the condition
![]() |
which implies the existence of a finite limit
![]() |
must be met. Harmonic functions in unbounded domains are usually understood to mean harmonic functions regular at infinity.
In the theory of harmonic functions an important role is played by the principal fundamental solutions of the Laplace equation:
![]() |
![]() |
where is the surface area of the unit sphere in
. If
, this is a harmonic function. The fundamental solutions may be used to write down the basic formula of the theory of harmonic functions, which expresses the values of a harmonic function
inside a domain
in terms of its values
on the boundary
and the values of its derivative in the direction of the exterior normal
towards
at the point
:
![]() |
![]() |
This Green formula is valid, for example, if the function and its partial derivatives of the first order are continuous in the closed domain
, i.e. if
, the boundary
of which is a piecewise-smooth closed surface or curve. It yields a representation of an arbitrary harmonic function
as the sum of single- and double-layer potentials (cf. Potential theory). The densities of these potentials, i.e. the boundary values
and
respectively, cannot be specified arbitrarily. There is an integral relationship between the two, in that the left-hand side of the last-named formula — the Green integral — must vanish for all points
outside
. The basic formula of the theory of harmonic functions is a direct analogue of the fundamental formula of the theory of analytic functions — the integral formula of Cauchy (cf. Cauchy integral). This formula also remains valid if the principal fundamental solution
in it is replaced by any other fundamental solution of the Laplace equation which is sufficiently smooth in
, e.g. belongs to
.
The fundamental properties of harmonic functions, on the assumption that the boundary of the domain
is piecewise smooth, are listed below. After suitable modification, many of them are also valid for complex harmonic functions.
1) If is a bounded domain and a harmonic function
, then
![]() |
2) The mean-value theorem: If is a harmonic function in the ball
of radius
with centre at
and if
, then its value at the centre of the ball is equal to the value of its arithmetical mean on the sphere
, i.e.
![]() |
where is the surface area of the sphere of radius
in
. If
is only continuous, this property may be taken as the definition of a harmonic function.
3) The maximum/minimum principle: Let be a domain in
not containing
as an interior point. If
is a harmonic function in
, and
, then
cannot attain a local extremum at any point
, i.e. in any neighbourhood
of any point
there exists a point
at which
and there exists a point
at which
(the maximum/minimum principle in local form). If, in addition,
, then the largest and the least values of
on
are attained only at the points of the boundary
(the maximum/minimum principle in global form). Consequently, if
on
, then
everywhere in
.
This principle may be generalized in various ways.
For instance, if is a harmonic function in a domain
not containing
and if
![]() |
for all points (boundary in
), then
everywhere in
.
4) The theorem on removable singularities: If is a harmonic function in a domain
,
, which satisfies the condition
![]() |
then there exists a finite limit
![]() |
and completed by the value
is a harmonic function in
.
5) If is a harmonic function throughout the space
,
, bounded from above or from below, then
.
6) If is a harmonic function in a neighbourhood of a point
, then
can be expanded in this neighbourhood into a power series in the variables
, i.e. all harmonic functions are analytic functions of the variables
; consequently, a harmonic function
has derivatives of all orders:
![]() |
which are also harmonic functions.
7) The uniqueness property: If is a harmonic function in a domain
and
in some
-dimensional neighbourhood of some point
, then
in
. If
is an analytic function of the real variables
in a domain
and if
is a harmonic function in some
-dimensional neighbourhood of an arbitrary point
, then
is a harmonic function in
.
8) The symmetry principle: Let the boundary of a domain
contain a set
that is open in the plane
, let
be a harmonic function in
such that
and continuous on
and let
be the domain symmetrical to
with respect to the plane
; then
can be harmonically extended into the domain
by the formula
![]() |
![]() |
9) Harnack's first theorem: If a sequence of harmonic functions in a bounded domain
, continuous in the closed domain
, converges uniformly on the boundary
, then it converges uniformly on
, and the limit function
![]() |
is a harmonic function in .
10) Harnack's second theorem: If a sequence of harmonic functions is monotone in a domain
and converges at least at one point
, then it converges everywhere in
towards a harmonic function
![]() |
See also Harnack inequality; Harnack theorem.
There exists a close connection between harmonic functions of two variables and analytic functions of the complex variable
. The real and the imaginary part of an analytic function are, possibly multi-valued, conjugate harmonic functions, i.e. they are connected by the Cauchy-Riemann equations. If a harmonic function
is defined in a neighbourhood of a point
, the simplest way of finding an analytic function
,
, for which
is given by the Goursat formula:
![]() |
where and
is an arbitrary real constant. Certain spatial problems in mathematical physics also involve multi-valued harmonic functions in domains in
,
.
The major importance of harmonic functions in mathematical physics is mainly due to the frequent occurrence of vector fields of the form . Such fields in domains not containing field sources must satisfy the conservation equation
, i.e. the Laplace equation, which means that in such domains
is a harmonic function.
Examples. If is the force vector of the gravity field,
is the Newton potential of the gravitational forces; if
is the field of velocities of a stationary motion of an incompressible homogeneous gas or liquid,
is the velocity potential; if
is the strength of an electrostatic field in a homogeneous isotropic medium,
is the potential of the electrostatic field; if
is the strength of a stationary magnetic field in a homogeneous isotropic medium,
is the scalar, usually multi-valued, potential of the magnetic field. In the case of steady propagation of heat in a uniform isotropic medium or a stationary distribution of diffusing particles, the harmonic function
is the temperature of the medium or the density of the particles at a point
, respectively. Many important problems in the theory of elasticity and in the theory of electromagnetic fields can also be reduced to solving problems concerning harmonic functions.
The boundary Dirichlet problem, or the first boundary value problem, is of special importance in the development of the theory of harmonic functions and mathematical physics. It consists in finding a function which is harmonic in a domain
and continuous on
, from given continuous values
on the boundary
. If the surface or line
is sufficiently smooth, the solution may be expressed by the Green function
:
![]() |
In the case of the simplest domains (spheres, half-spaces), when the normal derivative is readily expressed in explicit form, the Poisson integral is obtained. The second boundary value problem, or the Neumann problem, is also often encountered. It consists in determining a harmonic function from given values of its normal derivative on the boundary
. This problem can be solved using the corresponding Green function, but explicit expressions are much more complicated in this case. There are many more boundary value problems in the theory of harmonic functions, the formulations and solutions of which are more complicated. See also Balayage method; Robin problem.
A special place in the modern theory of harmonic functions is occupied by ill-posed problems, mainly those connected with the Cauchy problem for the Laplace equation. These include, for example, the following problem on the best majorant: If on the boundary of a domain
the function
and the conditions
,
are given, find the best possible estimate of
in the class of harmonic functions
in
[9], [10].
The study of the boundary properties of harmonic functions related with subharmonic functions (cf. Subharmonic function) and with the boundary properties of analytic functions is of importance. For instance, a harmonic function in the unit ball
of
usually has no radial limit values
![]() |
However, in the case of the class of harmonic functions defined by the condition
![]() |
where is the surface element of
,
, the radial boundary values exist almost-everywhere on
with respect to Lebesgue measure, and an
can be represented in the form of a Poisson–Stieltjes integral
![]() |
where
![]() |
is the Poisson kernel and is the Borel measure on
. The proper subclass
of the class
consisting of all harmonic functions
that can be represented in
by a Poisson–Lebesgue integral,
![]() |
is also of importance.
Substantial advances have been made in the axiomatic theory of harmonic functions and potentials in topological spaces (cf. Harmonic space; Potential theory, abstract).
References
[1] | A.F. Timan, V.N. Trofimov, "Introduction to the theory of harmonic functions" , Moscow (1968) (In Russian) MR0315142 |
[2] | N.M. [N.M. Gyunter] Günter, "Potential theory and its applications to basic problems of mathematical physics" , F. Ungar (1967) (Translated from Russian) MR0222316 Zbl 0164.41901 |
[3] | L.N. Sretenskii, "Theory of the Newton potential" , Moscow-Leningrad (1946) (In Russian) |
[4] | M. Brélot, "Eléments de la théorie classique du potentiel" , Sorbonne Univ. Centre Doc. Univ. , Paris (1959) MR0106366 Zbl 0084.30903 |
[5] | O.D. Kellogg, "Foundations of potential theory" , Springer (1967) (Re-issue: Springer, 1967) MR0222317 Zbl 0152.31301 |
[6] | V.S. Vladimirov, "Equations of mathematical physics" , MIR (1984) (Translated from Russian) MR0764399 Zbl 0954.35001 Zbl 0652.35002 Zbl 0695.35001 Zbl 0699.35005 Zbl 0607.35001 Zbl 0506.35001 Zbl 0223.35002 Zbl 0231.35002 Zbl 0207.09101 |
[7] | M.A. Lavrent'ev, B.V. Shabat, "Methoden der komplexen Funktionentheorie" , Deutsch. Verlag Wissenschaft. (1967) (Translated from Russian) |
[8] | A.I. Markushevich, "Theory of functions of a complex variable" , 2 , Chelsea (1977) (Translated from Russian) MR0444912 Zbl 0357.30002 |
[9] | M.M. [M.M. Lavrent'ev] Lavrentiev, "Some improperly posed problems of mathematical physics" , Springer (1967) (Translated from Russian) Zbl 0149.41902 |
[10] | S.N. Mergelyan, "Harmonic approximation and approximate solution of Cauchy's problem for the Laplace equation" Uspekhi Mat. Nauk , 11 : 5 (1956) pp. 3–26 (In Russian) |
[11] | I.I. [I.I. Privalov] Priwalow, "Randeigenschaften analytischer Funktionen" , Deutsch. Verlag Wissenschaft. (1956) (Translated from Russian) MR0083565 |
[12] | E.D. Solomentsev, "Harmonic and subharmonic functions and their generalizations" Itogi Nauk. Ser. Mat., Mat. Anal., Teor. Veroyatnost., Regulirovanie, 1962 (1964) pp. 83–100 (In Russian) |
Comments
Fundamental property 5) above is also called Picard's theorem (for harmonic functions).
The symmetry principle is also known as the Schwarz reflection principle (cf. Schwarz symmetry theorem). [a1] defines harmonic functions with respect to the fine topology.
References
[a1] | B. Fuglede, "Finely harmonic functions" , Springer (1972) MR0450590 Zbl 0248.31010 |
[a2] | W.K. Hayman, P.B. Kennedy, "Subharmonic functions" , 1 , Acad. Press (1976) MR0460672 MR0419791 MR0412442 MR0442324 Zbl 0419.31001 Zbl 0339.31003 Zbl 0328.33011 |
[a3] | L.L. Helms, "Introduction to potential theory" , Wiley (Interscience) (1969) |
Harmonic function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Harmonic_function&oldid=33914