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
Here Δ is the Laplace–Beltrami operator. Equivalently, regarding a coordinate system as a local diffeomorphism φ : M → Rn, 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
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
and indeed, for any coordinate system at all,
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