11.4 Raychaudhuri Equation: Precise Description of Geometric Focusing Effects
In Section 11.1, we found that the area deficit of the causal diamond edge directly encodes spacetime curvature . In Section 11.3, we established the connection between entanglement entropy changes and energy-momentum tensor flux. Now, to complete the derivation of gravitational dynamics, we need a differential equation that describes how geometric evolution responds to energy-matter.
This section will introduce one of the most important geometric identities in general relativity—the Raychaudhuri Equation. This equation not only precisely describes the focusing behavior of geodesic congruences, but is also the mathematical hub connecting geometry (curvature) with causal structure (light cone contraction). We will prove that in the framework of the generalized entropic variational principle (IGVP), the Raychaudhuri equation is the geometric preparatory form of Einstein’s field equations, forcing matter with positive energy density to cause gravitational focusing of spacetime.
11.4.1 Kinematic Decomposition of Geodesic Congruences
Consider a set of null (or timelike) geodesic congruences in spacetime, with tangent vector field (satisfying ). This set of geodesics can be viewed as a collection of worldlines of light rays or freely falling observers. To describe the geometric evolution of this bundle, we examine the change in transverse deviation vectors (Deviation Vector) .
Definition 11.4.1 (Expansion, Shear, and Vorticity)
We project the covariant derivative tensor of the tangent vector field onto the two-dimensional transverse cross-section (screen space) orthogonal to , and decompose it into irreducible components:
where:
-
Expansion Scalar : Describes the relative rate of change of cross-sectional area , .
-
Shear Tensor : Describes shape deformation of the cross-section (area-preserving), a traceless symmetric tensor.
-
Vorticity Tensor : Describes rigid rotation of the cross-section, an antisymmetric tensor. For hypersurface-orthogonal geodesic congruences (such as wavefronts), .
11.4.2 Derivation of the Raychaudhuri Equation
To obtain the rate of change of with respect to affine parameter , we differentiate along the geodesic:
Using the geodesic equation and the definition of the Riemann tensor, we obtain the evolution equation for . Taking its trace yields the Raychaudhuri equation.
Theorem 11.4.2 (Raychaudhuri Equation)
For vorticity-free () null geodesic congruences, the expansion scalar satisfies:
where is the Ricci curvature tensor.
Physical Interpretation:
The three terms on the right side of this equation determine the second-order change (acceleration) of the beam cross-sectional area:
-
: Always non-positive. This represents that once a beam begins to contract, it accelerates contraction (self-focusing).
-
: Always non-positive. Shear (shape deformation) always consumes transverse kinetic energy, causing beam focusing.
-
: This term is the direct contribution of spacetime geometry to focusing.
11.4.3 Focusing Theorem and Energy Conditions
The most profound corollary of the Raychaudhuri equation lies in its establishment of an inequality relationship between geometric curvature and matter energy.
Definition 11.4.3 (Null Energy Condition / NEC)
If for any null vector , the matter energy-momentum tensor satisfies , then matter is said to satisfy the null energy condition. This means that the energy density seen by any local observer (projected onto the light-speed flow) is non-negative.
If Einstein’s equation holds, then NEC implies the geometric term .
Combining with the expression for , we can conclude:
Theorem 11.4.4 (Classical Focusing Theorem)
If matter satisfies the null energy condition (NEC), then the expansion rate of null geodesic congruences monotonically decreases:
This means that gravity always manifests as attraction. Beams in gravitational fields always tend to converge, leading to the formation of caustics or singularities (the basis of the Penrose-Hawking singularity theorem).
11.4.4 Role in Entropic Variational Principle: From Geometry to Dynamics
In the IGVP framework constructed in this book, we have not yet assumed Einstein’s equations. Instead, we use the Raychaudhuri equation as a purely geometric tool to derive the field equations.
Consider a set of null generating lines of a small causal diamond. At (the maximal cross-section of the diamond), we can set the initial expansion rate (extremal surface condition).
According to the Raychaudhuri equation, the expansion rate at is:
This leads to second-order change in cross-sectional area :
This is precisely the differential form of the area deficit formula in Section 11.1.
Now, we combine this geometric fact with the first law of entanglement from Section 11.3:
-
Geometric Entropy Change: .
-
Matter Entropy Change: .
Entropic Equilibrium Condition:
Requiring the second-order variation of total entropy on any small causal diamond to vanish (or satisfy a specific conservation flow relation):
This will lead to:
Since is an arbitrary null vector, stripping yields the core part of Einstein’s field equations .
Conclusion
The Raychaudhuri equation is a rigid link connecting geometric deficit (area) with curvature tensor. It ensures that as long as we accept the holographic principle (entropy proportional to area) and the first law of entanglement (entropy change proportional to energy), the gravitational field equations are no longer assumptions, but inevitable corollaries of geometric statistical mechanics.
At this point, all geometric preparations for Part VII are complete. We have:
- Probe: Small causal diamonds (11.1);
- Potential function: Generalized entropy (11.2);
- Matter response: First law of entanglement (11.3);
- Geometric response: Raychaudhuri equation (11.4).
In the upcoming Chapter 12: Entropic Variational Principle (IGVP) and Field Equations, we will formally assemble these components to derive the complete Einstein field equations and their higher-order corrections.