Solving the geodesic equations

Last updated

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.

Contents

The differential geodesic equation

On an n-dimensional Riemannian manifold , the geodesic equation written in a coordinate chart with coordinates is:

where the coordinates xa(s) are regarded as the coordinates of a curve γ(s) in and are the Christoffel symbols. The Christoffel symbols are functions of the metric and are given by:

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

As the manifold has dimension , the geodesic equations are a system of ordinary differential equations for the 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

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 to obtain the form

where the dot represents differentiation with respect to . 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

Related Research Articles

Kaluza–Klein theory Unified field theory

In physics, Kaluza–Klein theory is a classical unified field theory of gravitation and electromagnetism built around the idea of a fifth dimension beyond the common 4D of space and time and considered an important precursor to string theory. Gunnar Nordström had an earlier, similar idea. But in that case, a fifth component was added to the electromagnetic vector potential, representing the Newtonian gravitational potential, and writing the Maxwell equations in five dimensions.

In geometry, a geodesic is commonly a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line" to a more general setting.

Riemann curvature tensor Tensor field in Riemannian geometry

In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor is the most common way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold. It is a local invariant of Riemannian metrics which measures the failure of the second covariant derivatives to commute. A Riemannian manifold has zero curvature if and only if it is flat, i.e. locally isometric to the Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection.

Four-momentum

In special relativity, four-momentum is the generalization of the classical three-dimensional momentum to four-dimensional spacetime. Momentum is a vector in three dimensions; similarly four-momentum is a four-vector in spacetime. The contravariant four-momentum of a particle with relativistic energy E and three-momentum p = = γmv, where v is the particle's three-velocity and γ the Lorentz factor, is

In physics, in particular in special relativity and general relativity, a four-velocity is a four-vector in four-dimensional spacetime that represents the relativistic counterpart of velocity, which is a three-dimensional vector in space.

In the theory of relativity, four-acceleration is a four-vector that is analogous to classical acceleration. Four-acceleration has applications in areas such as the annihilation of antiprotons, resonance of strange particles and radiation of an accelerated charge.

In the special theory of relativity, four-force is a four-vector that replaces the classical force.

Einstein field equations Field equations in general relativity

In the general theory of relativity, the Einstein field equations relate the geometry of spacetime to the distribution of matter within it.

Einstein tensor Tensor used in general relativity

In differential geometry, the Einstein tensor is used to express the curvature of a pseudo-Riemannian manifold. In general relativity, it occurs in the Einstein field equations for gravitation that describe spacetime curvature in a manner that is consistent with conservation of energy and momentum.

Mathematics of general relativity Mathematical structures and techniques used in the theory of general relativity

When studying and formulating Albert Einstein's theory of general relativity, various mathematical structures and techniques are used. The main tools used in this geometrical theory of gravitation are tensor fields defined on a Lorentzian manifold representing spacetime. This article is a general description of the mathematics of general relativity.

Geodesics in general relativity Generalization of straight line to a curved space time

In general relativity, a geodesic generalizes the notion of a "straight line" to curved spacetime. Importantly, the world line of a particle free from all external, non-gravitational forces is a particular type of geodesic. In other words, a freely moving or falling particle always moves along a geodesic.

In general relativity, the metric tensor is the fundamental object of study. It may loosely be thought of as a generalization of the gravitational potential of Newtonian gravitation. The metric captures all the geometric and causal structure of spacetime, being used to define notions such as time, distance, volume, curvature, angle, and separation of the future and the past.

In general relativity, a black brane is a solution of the equations that generalizes a black hole solution but it is also extended—and translationally symmetric—in p additional spatial dimensions. That type of solution would be called a black p-brane.

In differential geometry and mathematical physics, a spin connection is a connection on a spinor bundle. It is induced, in a canonical manner, from the affine connection. It can also be regarded as the gauge field generated by local Lorentz transformations. In some canonical formulations of general relativity, a spin connection is defined on spatial slices and can also be regarded as the gauge field generated by local rotations.

Theoretical motivation for general relativity

A theoretical motivation for general relativity, including the motivation for the geodesic equation and the Einstein field equation, can be obtained from special relativity by examining the dynamics of particles in circular orbits about the earth. A key advantage in examining circular orbits is that it is possible to know the solution of the Einstein Field Equation a priori. This provides a means to inform and verify the formalism.

Maxwells equations in curved spacetime Electromagnetism in general relativity

In physics, Maxwell's equations in curved spacetime govern the dynamics of the electromagnetic field in curved spacetime or where one uses an arbitrary coordinate system. These equations can be viewed as a generalization of the vacuum Maxwell's equations which are normally formulated in the local coordinates of flat spacetime. But because general relativity dictates that the presence of electromagnetic fields induce curvature in spacetime, Maxwell's equations in flat spacetime should be viewed as a convenient approximation.

The harmonic coordinate condition is one of several coordinate conditions in general relativity, which make it possible to solve the Einstein field equations. A coordinate system is said to satisfy the harmonic coordinate condition if each of the coordinate functions xα satisfies d'Alembert's equation. The parallel notion of a harmonic coordinate system in Riemannian geometry is a coordinate system whose coordinate functions satisfy Laplace's equation. Since d'Alembert's equation is the generalization of Laplace's equation to space-time, its solutions are also called "harmonic".

In differential geometry, normal coordinates at a point p in a differentiable manifold equipped with a symmetric affine connection are a local coordinate system in a neighborhood of p obtained by applying the exponential map to the tangent space at p. In a normal coordinate system, the Christoffel symbols of the connection vanish at the point p, thus often simplifying local calculations. In normal coordinates associated to the Levi-Civita connection of a Riemannian manifold, one can additionally arrange that the metric tensor is the Kronecker delta at the point p, and that the first partial derivatives of the metric at p vanish.

Newton–Cartan theory is a geometrical re-formulation, as well as a generalization, of Newtonian gravity first introduced by Élie Cartan and Kurt Friedrichs and later developed by Dautcourt, Dixon, Dombrowski and Horneffer, Ehlers, Havas, Künzle, Lottermoser, Trautman, and others. In this re-formulation, the structural similarities between Newton's theory and Albert Einstein's general theory of relativity are readily seen, and it has been used by Cartan and Friedrichs to give a rigorous formulation of the way in which Newtonian gravity can be seen as a specific limit of general relativity, and by Jürgen Ehlers to extend this correspondence to specific solutions of general relativity.

Relativistic Lagrangian mechanics Mathematical formulation of special and general relativity

In theoretical physics, relativistic Lagrangian mechanics is Lagrangian mechanics applied in the context of special relativity and general relativity.

References