Solving the geodesic equations

Solving the geodesic equations is a procedure used in mathematics, particularly Riemannian geometry, and in physics, particularly in general relativity, that results in obtaining geodesics. Physically, these represent the paths of (usually ideal) particles with no proper acceleration, their motion satisfying the geodesic equations. Because the particles are subject to no proper acceleration, the geodesics generally represent the straightest path between two points in a curved spacetime.

The differential geodesic equation

On an n-dimensional Riemannian manifold [math]\displaystyle{ M }[/math], the geodesic equation written in a coordinate chart with coordinates [math]\displaystyle{ x^a }[/math] is:

[math]\displaystyle{ \frac{d^2x^a}{ds^2} + \Gamma^{a}_{bc}\frac{dx^b}{ds}\frac{dx^c}{ds} = 0 }[/math]

where the coordinates x^a(s) are regarded as the coordinates of a curve γ(s) in [math]\displaystyle{ M }[/math] and [math]\displaystyle{ \Gamma^{a}_{bc} }[/math] are the Christoffel symbols. The Christoffel symbols are functions of the metric and are given by:

[math]\displaystyle{ \Gamma^a_{bc} = \frac{1}{2} g^{ad} \left( g_{cd,b} + g_{bd,c} - g_{bc,d} \right) }[/math]

where the comma indicates a partial derivative with respect to the coordinates:

[math]\displaystyle{ g_{ab,c} = \frac{\partial {g_{ab}}}{\partial {x^c}} }[/math]

As the manifold has dimension [math]\displaystyle{ n }[/math], the geodesic equations are a system of [math]\displaystyle{ n }[/math] ordinary differential equations for the [math]\displaystyle{ n }[/math] coordinate variables. Thus, allied with initial conditions, the system can, according to the Picard–Lindelöf theorem, be solved. One can also use a Lagrangian approach to the problem: defining

[math]\displaystyle{ L = \sqrt{ g_{\mu \nu} \frac{d x^{\mu}}{d s} \frac{d x^{\nu}}{d s} } }[/math]

and applying the Euler–Lagrange equation.

Heuristics

As the laws of physics can be written in any coordinate system, it is convenient to choose one that simplifies the geodesic equations. Mathematically, this means a coordinate chart is chosen in which the geodesic equations have a particularly tractable form.

Effective potentials

When the geodesic equations can be separated into terms containing only an undifferentiated variable and terms containing only its derivative, the former may be consolidated into an effective potential dependent only on position. In this case, many of the heuristic methods of analysing energy diagrams apply, in particular the location of turning points.

Solution techniques

Solving the geodesic equations means obtaining an exact solution, possibly even the general solution, of the geodesic equations. Most attacks secretly employ the point symmetry group of the system of geodesic equations. This often yields a result giving a family of solutions implicitly, but in many examples does yield the general solution in explicit form.

In general relativity, to obtain timelike geodesics it is often simplest to start from the spacetime metric, after dividing by [math]\displaystyle{ ds^2 }[/math] to obtain the form

[math]\displaystyle{ -1 = g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu }[/math]

where the dot represents differentiation with respect to [math]\displaystyle{ s }[/math]. Because timelike geodesics are maximal, one may apply the Euler–Lagrange equation directly, and thus obtain a set of equations equivalent to the geodesic equations. This method has the advantage of bypassing a tedious calculation of Christoffel symbols.

See also

• Geodesics of the Schwarzschild vacuum
• Mathematics of general relativity
• Transition from special relativity to general relativity

References

• Einstein, A. (1961). Relativity: The Special and General Theory. New York: Crown. ISBN 0-517-02961-8. https://archive.org/details/relativityspecia00eins_0. 
• Misner, Charles; Thorne, Kip S.; Wheeler, John Archibald (1973). Gravitation. San Francisco: W. H. Freeman. ISBN 0-7167-0344-0. 
• Landau, L. D.; Lifshitz, E. M. (1975). Classical Theory of Fields (Fourth Revised English ed.). Oxford: Pergamon. ISBN 0-08-018176-7.