A characterization of geodesics
by Willie Wong
Joseph O’Rourke’s question at MathOverflow touched on an interesting characterization of geodesics in pseudo-Riemannian geometry, which was apparently originally due to Einstein, Infeld, and Hoffmann in their analysis of the geodesic hypothesis in general relativity. (One of my two undergraduate junior theses is on this topic, but I certainly did not appreciate this result as much when I was younger.) Sternberg’s book has a very good presentation on the theorem, but I want to try to give a slightly different interpretation in this post.
Geodesics and variation
One of the classical formulation of the criterion for a curve to be geodesic is that it is a stationary point of the length functional. Let be a Riemannian manifold, and let $latex: \gamma:[0,1]\to M$ be a mapping. Define the length functional to be
A geodesic then is a curve that is a critical point of under perturbations that fix the endpoints $\latex \gamma(0)$ and .
One minor annoyance about the length functional is that it is invariant under reparametrization of , and so it does not admit unique solutions. One way to work around this is to instead consider the energy functional (which also has the advantage of also being easily generalizable to pseudo-Riemannian manifolds)
It turns out that critical points of the energy functional are always critical points of the length functional. Furthermore, the energy functional has some added convexity: a curve is a critical point of the energy functional if it is a geodesic and that it has constant speed (in the sense that is independent of the parameter ).
The standard way to analyze the variation of is by first fixing a coordinate system . Writing the infinitesimal perturbation as , we can compute the first variation of :
Integrating the second term by parts we recover the familiar geodesic equation in local coordinates.
There is a second way to analyze the variation. Using the diffeomorphism invariance, we can imagine instead of varying while fixing the manifold, we can deform the manifold while fixing the curve . From the point of view of the energy functional the two should be indistinguishable. Consider the variation , which can be regarded as a vector field along which vanishes at the two end points. Let be a vector field on that extends . Then the infinitesimal variation of moving the curve in the direction should be reproducible by flowing the manifold by and pulling back the metric. To be more precise, let be the one parameter family of diffeomorphisms generated by the vector field , the first variation can be analogously represented as
By the definition of the Lie derivative we get the following characterizing condition for a geodesic:
A curve is an affinely parametrized geodesic if and only if for every vector field vanishing near and , the integral
Noticing that , where is the Levi-Civita connection, we have that the above integral condition is equivalent to requiring
Using the boundary conditions and integrating by parts we see this also gives us, without passing through the local coordinate formulation, the geodesic equation
The Einstein-Infeld-Hoffmann theorem
The EIH theorem reads:
A curve is geodesic if and only if there exists a non-vanishing contravariant symmetric two tensor along such that for every vector field vanishing near and , the integral
(where is the induced length measure on ).
The EIH theorem follows immediately from the discussion in the previous section and the following lemma.
A contravariant symmetric two tensor that satisfies the assumptions in the previous theorem must be proportional to .
Proof: Choose an orthonormal frame along for such that is tangent to . Write . Suppose . Then there exists a vector field such that and the symmetric part of is equal to . (We can construct by choosing a local coordinate system in a tubular neighborhood of such that . Then can be prescribed by its first order Taylor expansion in the normal direction to .) Let be a non-negative cut-off function and setting we note that since vanishes along . Therefore we have that the desired integral condition cannot hold. q.e.d.
- Shlomo Sternberg, Curvature in Mathematics and Physics
- Einstein, Infeld, Hoffmann, “Gravitational Equations and the Problem of Motion”