Harmonic coordinates


In Riemannian geometry, a branch of mathematics, harmonic coordinates are a coordinate system 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, 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

Overview

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 . They were then introduced into Riemannian geometry by and later were studied by. 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, a result which follows easily from standard results on the existence and regularity of solutions of elliptic partial differential equations. In particular, the equation
has a solution in a ball around any given point p, such that uj and 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. Harmonic mapping to generate harmonic coordinates in regions with boundary is one of the original well known methods for grid generation in the field of computational fluid dynamics. Here the goal is to find a harmonic map of a given region to a convex region with the additional requirement that the boundary map should be a homeomorphism.
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.