Harmonic coordinates

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In Riemannian geometry, a branch of mathematics, harmonic coordinates are a coordinate system (x1,...,xn) on a Riemannian manifold each of whose coordinate functions xi is harmonic, meaning that it satisfies Laplace's equation

\Delta x^i = 0.\,

Here Δ is the Laplace–Beltrami operator. Equivalently, regarding a coordinate system as a local diffeomorphism φ : MRn, the coordinate system is harmonic if and only if φ is a harmonic map of Riemannian manifolds, roughly meaning that it minimizes the elastic energy of "stretching" M into Rn. The elastic energy is expressed via the Dirichlet energy functional

E[\varphi]=\int_M |d\varphi|^2\,dV.

In two dimensions, harmonic coordinates have been well understood for more than a century, and are closely related to isothermal coordinates, the latter being a special case of the former. Harmonic coordinates in higher dimensions were developed initially in the context of general relativity by Einstein (1916) (see harmonic coordinate condition). They were then introduced into Riemannian geometry by Sabitov & Šefel (1976) and later were studied by DeTurck & Kazdan (1981). The essential motivation for introducing harmonic coordinate systems is that the metric tensor is especially smooth when written in these coordinate systems.

Harmonic coordinates are characterized in terms of the Christoffel symbols by means of the relation

g^{ij}\Gamma_{ij}^k = 0\,

and indeed, for any coordinate system at all,

\Delta x^k = - g^{ij}\Gamma_{ij}^k.

Harmonic coordinates always exist (locally), a result which follows easily from standard results on the existence and regularity of solutions of elliptic partial differential equations. In particular, the equation

\Delta u^j = 0\,

has a solution in a ball around any given point p, such that uj(p) and \partial u^j/\partial x^i(p) are all prescribed.

The basic regularity theorem concerning the metric in harmonic coordinates is that if the components of the metric are in the Hölder space Ck when expressed in some coordinate system, then they are in that same Hölder space when expressed in harmonic coordinates.

In general relativity, harmonic coordinates are solutions of the wave equation instead of the Laplace . This is known as the harmonic coordinate condition in physics.

References[edit]

  • Sabitov, I. H.; Šefel, S. Z. (1976), "Connections between the order of smoothness of a surface and that of its metric", Akademija Nauk SSSR. Sibirskoe Otdelenie. Sibirskii Matematičeskii Žurnal 17 (4): 916–925, ISSN 0037-4474, MR 0425855 .