Harmonic function

From Wikipedia, the free encyclopedia

This article is about harmonic in mathematics. For harmonic function in music, see diatonic functionality.

In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f : U → R (where U is an open subset of Rⁿ) which satisfies Laplace's equation, i.e.

$\frac{\partial^2f}{\partial x_1^2} + \frac{\partial^2f}{\partial x_2^2} + \cdots + \frac{\partial^2f}{\partial x_n^2} = 0$

everywhere on U. This is usually written as

$\textstyle \Delta f = 0$ and sometimes $\nabla^2 f = 0.$

[edit] Examples

Examples of harmonic functions of two variables are:

The real and imaginary part of any holomorphic function
The function

$\,\! f(x_1,x_2)=\ln ({x_1}^2+{x_2}^2)$

defined on $\mathbb{R}^2 \backslash \lbrace 0 \rbrace$ (e.g. the electric potential due to a line charge, and the gravity potential due to a long cylindrical mass)

The function $\,\! f(x_1,x_2)=e^{x_1} \sin x_2$

Examples of harmonic functions of n variables are:

The constant, linear and affine functions on all of $\mathbb{R}^n$ (for example, the electric potential between the plates of a capacitor, and the gravity potential of a slab)
The function $\,\! f(x_1,\dots,x_n)=({x_1}^2+\cdots+{x_n}^2)^{1-n/2}$ on $\mathbb{R}^n \backslash \lbrace 0 \rbrace$ for $n > 2$ .

Examples of harmonic functions of three variables are given in the table below with $r 2 = x 2 + y 2 + z 2$ . Harmonic functions are determined by their singularities. The singular points of the harmonic functions below are expressed as "charges" and "charge densities" using the terminology of electrostatics, and so the corresponding harmonic function will be proportional to the electrostatic potential due to these charge distributions. Each function below will yield another harmonic function when multiplied by a constant, rotated, and/or has a constant added. The inversion of each function will yield another harmonic function which has singularities which are the images of the original singularities in a spherical "mirror". Also, the sum of any two harmonic functions will yield another harmonic function.

Function	Singularity
$\frac{1}{r}$	Unit point charge at origin
$\frac{x}{r^3}$	x-directed dipole at origin
$-\ln(r^2-z^2)\,$	Line of unit charge density on entire z-axis
$-\ln(r+z)\,$	Line of unit charge density on negative z-axis
$\frac{x}{r^2-z^2}\,$	Line of x-directed dipoles on entire z axis
$\frac{x}{r(r+z)}\,$	Line of x-directed dipoles on negative z axis

[edit] Remarks

The set of harmonic functions on a given open set U can be seen as the kernel of the Laplace operator Δ and is therefore a vector space over R: sums, differences and scalar multiples of harmonic functions are again harmonic.

If f is a harmonic function on U, then all partial derivatives of f are also harmonic functions on U. The Laplace operator Δ and the partial derivative operator will commute on this class of functions.

In several ways, the harmonic functions are real analogues to holomorphic functions. All harmonic functions are analytic, i.e. they can be locally expressed as power series. This is a general fact about elliptic operators, of which the Laplacian is a major example.

The uniform limit of a convergent sequence of harmonic functions is still harmonic. This is true because any continuous function satisfying the mean value property is harmonic. Consider the sequence on ( $-\infty$ , 0)× R defined by $\scriptstyle f_n(x,y) = \frac1n \exp(nx)\cos(ny)$ . This sequence is harmonic and converges uniformly to the zero function; however note that the partial derivatives are not uniformly convergent to the zero function (the derivative of the zero function). This example shows the importance on relying on the mean value property and continuity to argue the limit is harmonic.

[edit] Connections with complex function theory

The real and imaginary part of any holomorphic function yield harmonic functions on R² (these are said a pair of harmonic conjugate functions). Conversely, any harmonic function $u$ on an open set $\Omega\subset \R^2$ is locally the real part of a holomorphic function. This is immediately seen observing that, writing $z = x + i y,$ the complex function $g (z): = u x - i u y$ is holomorphic in $Ω,$ because it satisfies the Cauchy-Riemann equations. Therefore, g has locally a primitive $f$ , and $u$ is the real part of $f$ up to a constant, as $u x$ is the real part of $\scriptstyle f\,^\prime=g$ .

Although the above correspondence with holomorphic functions only holds for functions of two real variables, still harmonic functions in n variables enjoy a number of properties typical of holomorphic functions. They are (real) analytic; they have a maximum principle and a mean-value principle; a theorem of removal of singularities as well as a Liouville theorem one holds for them in analogy to the corresponding theorems in complex functions theory.

[edit] Properties of harmonic functions

Some important properties of harmonic functions can be deduced from Laplace's equation.

[edit] Regularity theorem for harmonic functions

Harmonic functions are infinitely differentiable. In fact, harmonic functions are real analytic.

[edit] Maximum principle

Harmonic functions satisfy the following maximum principle: if K is any compact subset of U, then f, restricted to K, attains its maximum and minimum on the boundary of K. If U is connected, this means that f cannot have local maxima or minima, other than the exceptional case where f is constant. Similar properties can be shown for subharmonic functions.

[edit] Mean value property

If B(x,r) is a ball with center x and radius r which is completely contained in the open set $\Omega\subset\R^n$ , then the value $u (x)$ of a harmonic function $u :\Omega\to\R$ at the center of the ball is given by the average value of $u$ on the surface of the ball; this average value is also equal to the average value of $u$ in the interior of the ball. In other words

$u(x) = \frac{1}{n\omega_n r^{n-1}}\int_{\partial B(x,r)} u\, d\sigma = \frac{1}{\omega_n r^n}\int_{B (x,r)} u\, dy$

where $ω n$ is the volume of the unit ball in n dimensions and $σ$ is the n−1 dimensional surface measure. The mean value theorem follows by verifying that the spherical mean of u is constant:

$\frac{d}{dr} \frac{1}{n\omega_n r^{n-1}}\int_{\partial B(x,r)} u\, d\sigma = 0,$

which in turn follows by making a change of variable and then applying Green's theorem.

As a consequence of the mean value theorem, u is preserved by the convolution of a harmonic function u with any radial function η with total integral one. More precisely, if η is an integrable radial function supported in B(0,ε) and ∫η = 1, then

$u(x) = \eta * u(x)\,$

provided that B(x,ε) ⊂ Ω. In particular, by taking η to be a C^∞ function, the convolution η∗u is also smooth, and therefore harmonic functions are smooth throughout their domains (in fact, real analytic, by the Poisson integral representation). Similar arguments also show that harmonic distributions are, in fact, (smooth) harmonic functions (Weyl's lemma).

The converse to the mean value theorem also holds: all locally integrable functions satisfying the (volume) mean-value property are infinitely differentiable and harmonic functions as well. This follows for C² functions again by the method of spherical means. For locally integrable functions, it follows since the mean value property implies that u is unchanged when convolved with any radial mollifier of total integral one, but convolutions with mollifiers are smooth and so the C² result can still be applied.

[edit] Harnack's inequality

Let u be a non-negative harmonic function in a bounded domain Ω. Then for every connected set

$V \subset \overline{V} \subset \Omega,$

Harnack's inequality holds:

$\sup_V u \le C \inf_V u$

for some constant C that depends only on V and Ω.

[edit] Removal of singularities

The following principle of removal of singularies holds for harmonic functions. If f is a harmonic function defined on a dotted open subset $\scriptstyle\Omega\setminus\{x_0\}$ of R^n, which is less singular at $x 0$ than the fundamental solution, that is

$f(x)=o\left( \vert x-x_0 \vert^{2-n}\right),\qquad\mathrm{as\ }x\to x_0,$

then f extends to a harmonic function on $Ω$ (compare Riemann's theorem for functions of a complex variable).

[edit] Liouville's theorem

If f is a harmonic function defined on all of Rⁿ which is bounded above or bounded below, then f is constant (compare Liouville's theorem for functions of a complex variable).

[edit] Generalizations

[edit] Weakly harmonic function

A function (or, more generally, a distribution) is weakly harmonic if it satisfies Laplace's equation

$\Delta f = 0\,$

in a weak sense (or, equivalently, in the sense of distributions). A weakly harmonic function coincides almost everywhere with a strongly harmonic function, and is in particular smooth. A weakly harmonic distribution is precisely the distribution associated to a strongly harmonic function, and so also is smooth. This is Weyl's lemma.

There are other weak formulations of Laplace's equation that are often useful. One of which is Dirichlet's principle, representing harmonic functions in the Sobolev space H¹(Ω) as the minimizers of the Dirichlet energy integral

$J(u):=\int_\Omega |\nabla u|^2\, dx$

with respect to local variations, that is, all functions $u\in H^1(\Omega)$ such that $J(u)\le J(u+v)$ holds for all $v\in C^\infty_c(\Omega),$ or equivalently, for all $v\in H^1_0(\Omega).$

[edit] Harmonic functions on manifolds

Harmonic functions can be defined on an arbitrary Riemannian manifold, using the Laplace-Beltrami operator Δ. In this context, a function is called harmonic if

$\ \Delta f = 0.$

Many of the properties of harmonic functions on domains in Euclidean space carry over to this more general setting, including the mean value theorem (over geodesic balls), the maximum principle, and the Harnack inequality. With the exception of the mean value theorem, these are easy consequences of the corresponding results for general linear elliptic partial differential equations of the second order.

[edit] Subharmonic functions

A C² function that satisfies $\Delta f \ge 0$ is called subharmonic. This condition guarantees that the maximum principle will hold, although other properties of harmonic functions may fail. More generally, a function is subharmonic if and only if, in the interior of any ball in its domain, its graph lies below that of the harmonic function interpolating its boundary values on the ball.

[edit] Harmonic forms

One generalization of the study of harmonic functions is the study of harmonic forms on Riemannian manifolds, and it is related to the study of cohomology. Also, it is possible to define harmonic vector-valued functions, or harmonic maps of two Riemannian manifolds, which are critical points of a generalized Dirichlet energy functional (this includes harmonic functions as a special case, a result known as Dirichlet principle). These kind of harmonic maps appear in the theory of minimal surfaces. For example, a curve, that is, a map from an interval in R to a Riemannian manifold, is a harmonic map if and only if it is a geodesic.

[edit] Harmonic maps between manifolds

Main article: Harmonic map

If M and N are two Riemannian manifolds, then a harmonic map u : M → N is defined to be a stationary point of the Dirichlet energy

$D[u] = \frac{1}{2}\int_M \|du\|^2\,d\operatorname{Vol}$

in which du : TM → TN is the differential of u, and the norm is that induced by the metric on M and that on N on the tensor product bundle T^∗M⊗u⁻¹TN.

Important special cases of harmonic maps between manifolds include minimal surfaces, which are precisely the harmonic immersions of a surface into three-dimensional Euclidean space. More generally, minimal submanifolds are harmonic immersions of one manifold in another. Harmonic coordinates are a harmonic diffeomorphism from a manifold to an open subset of a Euclidean space of the same dimension.

[edit] See also

[edit] References

Evans, Lawrence C. (1998), Partial Differential Equations, American Mathematical Society .
Gilbarg, David; Trudinger, Neil, Elliptic Partial Differential Equations of Second Order, ISBN 3-540-41160-7 .
Jost, Jürgen (2005), Riemannian Geometry and Geometric Analysis (4th ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-25907-7 .
Han, Q.; Lin, F. (2000), Elliptic Partial Differential Equations, American Mathematical Society .

[edit] External links