Geodesic Deviation and Curvature

1. Setting the Stage: A Congruence of Geodesics

To study how nearby geodesics behave relative to one another, we need a way to describe a "family" or "congruence" of them. Imagine a smooth, two-dimensional surface embedded within our spacetime, where this surface is entirely "ruled" by geodesics. We can parameterize any point on this surface, $x^{\mu }$, using two parameters:

• $t$, an affine parameter that moves us along a single geodesic (like proper time). Each geodesic in our family is a curve of constant $s$.
• $s$, a parameter that labels which geodesic in the family we are on. Each curve of constant $t$ connects corresponding points across the geodesics.

This setup naturally defines two vector fields on this surface:

1. The Tangent Vector Field, $T^{\mu }$: This vector field is tangent to the geodesics. It represents the "velocity" along each path.

   $$T^{\mu }=\frac{\partial x^{\mu }}{\partial t}$$

2. The Connecting Vector Field, $S^{\mu }$: This vector field points from one geodesic to an adjacent one. It measures the infinitesimal separation between the curves.

   $$S^{\mu }=\frac{\partial x^{\mu }}{\partial s}$$

Our central question is: How does the separation vector $S^{\mu }$ change as we move along a reference geodesic (say, the one at $s=0$)? A constant $S^{\mu }$ would mean the geodesics remain perfectly parallel. A changing $S^{\mu }$ indicates deviation. We are particularly interested in the acceleration of this separation, as this is what signals a force in the Newtonian picture.

The following video provides an excellent and intuitive setup for this problem.

2. The Geodesic Deviation Equation

Our physical intuition tells us that "acceleration" is a second derivative. We therefore want to calculate the second covariant derivative of the separation vector $S^{\mu }$ along the direction of a geodesic, $T^{\mu }$. This quantity, ${\nabla }_T{\nabla }_T{S}^{\mu }$, represents the relative acceleration between geodesics.

The derivation is a beautiful application of the tools we have developed. We will use Sean Carroll's notes as our primary guide for this derivation, as they are exceptionally clear and concise.

Let's break down the derivation shown in Carroll's notes.

The Goal: Calculate $a^{\mu }={\nabla }_T{\nabla }_T{S}^{\mu }$.

Key Steps:

1. Commutator of Vector Fields: Since $s$ and $t$ act as coordinates on our 2D surface, their associated vector fields commute: $[T,S{]}^{\mu }=T^{\nu }{\partial }_{\nu }{S}^{\mu }-S^{\nu }{\partial }_{\nu }{T}^{\mu }=\frac{{\partial }^2{x}^{\mu }}{\partial t\partial s}-\frac{{\partial }^2{x}^{\mu }}{\partial s\partial t}=0$. For the torsion-free Levi-Civita connection, this implies that the covariant derivatives also commute when acting on a scalar, and more generally ${\nabla }_T{S}^{\mu }-{\nabla }_S{T}^{\mu }=T^{\nu }{\nabla }_{\nu }{S}^{\mu }-S^{\nu }{\nabla }_{\nu }{T}^{\mu }=[T,S{]}^{\mu }=0$. Therefore:

   $${\nabla }_T{S}^{\mu }={\nabla }_S{T}^{\mu }$$

2. The Calculation: We now compute the acceleration, making use of the above property and the definition of the Riemann tensor.

   $$\begin{array}{rlrl}{a}^{\mu }={\nabla }_T({\nabla }_T{S}^{\mu })& ={\nabla }_T({\nabla }_S{T}^{\mu })& & \text{(using }{\nabla }_{T}S={\nabla }_{S}T\text{)}\\ & ={\nabla }_S({\nabla }_T{T}^{\mu })+R^{\mu }{}_{\nu \rho \sigma }{T}^{\rho }{S}^{\sigma }{T}^{\nu }& & \text{(swapping covariant derivatives using the Riemann tensor definition)}\\ & ={\nabla }_S(0)+R^{\mu }{}_{\nu \rho \sigma }{T}^{\rho }{S}^{\sigma }{T}^{\nu }& & \text{(using the geodesic equation, }{\nabla }_T{T}^{\mu }=0\text{)}\\ & =R^{\mu }{}_{\nu \rho \sigma }{T}^{\rho }{S}^{\sigma }{T}^{\nu }& & \end{array}$$

This gives us the celebrated geodesic deviation equation:

This compact equation contains a profound physical insight. It is the GR equivalent of Newton's equation for tidal forces.

3. Physical Interpretation: Curvature is Tidal Force

Let's dissect the equation:

• The left-hand side, ${\nabla }_T{\nabla }_T{S}^{\mu }$, is the relative acceleration between two infinitesimally separated, freely-falling observers (or particles).
• The right-hand side shows that this acceleration is directly proportional to the Riemann curvature tensor.

This leads to the single most important physical interpretation of curvature:

Spacetime curvature manifests as the relative acceleration of nearby freely-falling bodies.

In a flat spacetime ($R^{\mu }{}_{\nu \rho \sigma }=0$), the equation becomes ${\nabla }_T{\nabla }_T{S}^{\mu }=0$. This means that two particles, initially moving on parallel paths, will have zero relative acceleration. Their separation vector will change at a constant rate, meaning they will remain "parallel" in the intuitive sense. This is a restatement of Euclid's parallel postulate.

In a curved spacetime ($R^{\mu }{}_{\nu \rho \sigma }\ne 0$), freely-falling particles will accelerate towards or away from each other. This is precisely what we call a tidal force.

Consider two particles dropped side-by-side towards the Earth. From a Newtonian perspective, they both accelerate towards the Earth's center. Because their paths converge, they accelerate towards each other. This horizontal acceleration is a tidal force. In GR, both particles follow geodesics. The geodesic deviation equation tells us that the curvature of spacetime around the Earth (produced by its mass-energy) causes these geodesics to accelerate towards each other. The GR description replaces the mysterious "force" of gravity with the geometry of spacetime.

Caption: Two balls falling towards the Earth. In the Newtonian view (left), a tidal force causes them to accelerate towards each other. In the GR view (right), they follow geodesics in curved spacetime which naturally converge, resulting in the same relative acceleration.

4. Connecting to Ricci and Weyl Curvature

In the previous lesson, we asserted that the Ricci tensor governs volume changes and the Weyl tensor governs shape changes. The geodesic deviation equation is the key to proving this.

While a full derivation is lengthy, we can outline the logic. By considering a small, spherical cloud of test particles, one can average the separation vector $S^{\mu }$ over all directions. The evolution of the volume of this sphere turns out to depend only on the Ricci tensor part of the Riemann tensor, specifically $R_{\mu \nu }{T}^{\mu }{T}^{\nu }$. This confirms that Ricci curvature is what makes a cloud of dust begin to contract (as in gravitational collapse).

Conversely, the evolution of the shape (or shear) of the sphere—its tendency to be stretched into an ellipsoid—depends only on the Weyl tensor part, $C_{\mu \nu \rho \sigma }$. This is the tidal distortion that stretches objects falling into a black hole.

This confirms the roles we assigned last time:

• Ricci Curvature: "Focusing" curvature. Causes volumes to shrink. Tied directly to the presence of local matter-energy.
• Weyl Curvature: "Tidal" or "shearing" curvature. Distorts shapes. Can propagate through a vacuum as a gravitational wave.

The following short paper provides an excellent, readable summary of these physical interpretations.

Conclusion

Today, we derived one of the most physically significant results in differential geometry: the geodesic deviation equation. This is our bridge from the abstract mathematics of curvature to the concrete physics of gravity.

Key Takeaways:

• The geodesic deviation equation, ${\nabla }_T{\nabla }_T{S}^{\mu }=R^{\mu }{}_{\nu \rho \sigma }{T}^{\rho }{S}^{\sigma }{T}^{\nu }$, describes the relative acceleration of nearby geodesics.
• Its core physical interpretation is that spacetime curvature is the source of gravitational tidal forces. In flat space, the Riemann tensor is zero and parallel geodesics remain parallel. In curved space, the non-zero Riemann tensor causes geodesics to accelerate relative to each other.
• This equation provides the rigorous foundation for understanding the roles of the Ricci and Weyl tensors: Ricci curvature causes the volume of a congruence of geodesics to change, while Weyl curvature causes its shape to distort.

We have now completed our mathematical tour of curvature. You have the essential geometric tools to understand General Relativity. In the next module, we will begin our formal study of the theory itself, starting by recasting Special Relativity in this powerful new language.

Preview of Next Lesson: We will formulate Special Relativity in the language of Minkowski spacetime as a manifold. This will involve defining the Minkowski metric and showing how the concepts of SR (like proper time and Lorentz transformations) fit naturally into our new framework, preparing the ground for the introduction of gravity.