In general relativity, geodesic deviation describes the tendency of objects to approach or recede from one another while moving under the influence of a spatially varying gravitational field. Put another way, if two objects are set in motion along two initially parallel trajectories, the presence of a tidal gravitational force will cause the trajectories to bend towards or away from each other, producing a relative acceleration between the objects. Mathematically, the tidal force in general relativity is described by the Riemann curvature tensor, and the trajectory of an object solely under the influence of gravity is called a geodesic. The geodesic deviation equation relates the Riemann curvaturetensor to the relative acceleration of two neighboring geodesics. In differential geometry, the geodesic deviation equation is more commonly known as the Jacobi equation.
Mathematical definition
To quantify geodesic deviation, one begins by setting up a family of closely spaced geodesics indexed by a continuous variables and parametrized by an affine parameter τ. That is, for each fixed s, the curve swept out by γs as τ varies is a geodesic. When considering the geodesic of a massive object, it is often convenient to choose τ to be the object's proper time. If xμ are the coordinates of the geodesic γs, then the tangent vector of this geodesic is If τ is the proper time, then Tμ is the four velocity of the object traveling along the geodesic. One can also define a deviation vector, which is the displacement of two objects travelling along two infinitesimally separated geodesics: The relative accelerationAμ of the two objects is defined, roughly, as the second derivative of the separation vector Xμ as the objects advance along their respective geodesics. Specifically, Aμ is found by taking the directional covariant derivative of X along T twice: The geodesic deviation equation relates Aμ, Tμ, Xμ, and the Riemann tensorRμνρσ: An alternate notation for the directional covariant derivative is, so the geodesic deviation equation may also be written as The geodesic deviation equation can be derived from the second variation of the point particleLagrangian along geodesics, or from the first variation of a combined Lagrangian. The Lagrangian approach has two advantages. First it allows various formal approaches of quantization to be applied to the geodesic deviation system. Second it allows deviation to be formulated for much more general objects than geodesics.
Weak field limit
The connection between geodesic deviation and tidal acceleration can be seen more explicitly by examining geodesic deviation in the weak-field limit, where the metric is approximately Minkowski, and the velocities of test particles are assumed to be much less than c. Then the tangent vector Tμ is approximately ; i.e., only the timelike component is nonzero. The spatial components of the relative acceleration are then given by where i and j run only over the spatial indices 1, 2, and 3. In the particular case of a metric corresponding to the Newtonian potential Φ of a massive object at x = y = z = 0, we have which is the tidal tensor of the Newtonian potential.
