Einstein Field Equations

Core Idea

The Einstein field equations G_μν + Λg_μν = (8πG/c⁴) T_μν are the fundamental dynamical equations of general relativity, relating the curvature of spacetime (left side) to the distribution of matter and energy (right side). The Einstein tensor G_μν = R_μν - (1/2)g_μν R encodes the curvature, T_μν is the stress-energy tensor of matter and radiation, Λ is the cosmological constant, and 8πG/c⁴ is the coupling constant fixed by requiring consistency with Newtonian gravity in the weak-field limit. These are 10 coupled, nonlinear, second-order partial differential equations for the metric tensor g_μν. They embody Wheeler's summary: "Spacetime tells matter how to move; matter tells spacetime how to curve." The contracted Bianchi identity ∇^μ G_μν = 0 ensures automatic consistency with local energy-momentum conservation ∇^μ T_μν = 0.

Explainer

Einstein's field equations are the culmination of the mathematical framework developed in the preceding topics. On the left side sits the Einstein tensor G_μν = R_μν - (1/2)g_μν R, a symmetric, divergence-free (0,2) tensor constructed from the metric and its first and second derivatives. On the right side sits the stress-energy tensor T_μν, which encodes the energy density, momentum density, and stress of all non-gravitational matter and fields. The equation G_μν = (8πG/c⁴)T_μν states that the curvature of spacetime at each point is determined by the matter and energy at that point. The cosmological constant term Λg_μν, if included, acts as a uniform energy density of empty space.

The coupling constant 8πG/c⁴ is not arbitrary — it is uniquely fixed by demanding that the equations reproduce Newtonian gravity in the appropriate limit. For a static, weak gravitational field produced by a non-relativistic matter distribution with density ρ, the 00-component of the field equations reduces to ∇²Φ = 4πGρ, the Poisson equation of Newtonian gravity. The factor of 8π (rather than 4π or some other multiple) arises from the specific way the Ricci tensor relates to the Laplacian of the metric perturbation in this limit.

The equations are nonlinear in the metric, which is physically significant. In electromagnetism, Maxwell's equations in vacuum are linear: electromagnetic fields can be superposed and do not self-interact (photons do not scatter off each other at the classical level). In GR, the gravitational field carries energy, and energy sources gravity, so the field equations are nonlinear — gravity gravitates. Two gravitational waves passing through each other do interact, though typically weakly. This nonlinearity makes the equations enormously difficult to solve: only a handful of exact solutions are known (Schwarzschild, Kerr, Friedmann-Robertson-Walker, and a few others), and most practical problems require either perturbation theory or numerical relativity.

The contracted Bianchi identity ∇^μ G_μν = 0 is a mathematical identity — it holds for any metric, regardless of whether the Einstein equations are satisfied. When the field equations are imposed, it immediately implies ∇^μ T_μν = 0: local conservation of energy and momentum. This is not an additional assumption but a consequence of the geometric structure. It also means that only 6 of the 10 field equations are truly independent as evolution equations; the other 4 are constraints that must hold on an initial time-slice and are then automatically preserved by the evolution. These 4 constraint equations correspond exactly to the 4 degrees of coordinate freedom (diffeomorphism invariance) in choosing spacetime coordinates. The physical content of the gravitational field — its two propagating degrees of freedom — emerges only after this gauge freedom is accounted for.

The Einstein equations can also be derived from an action principle. The Einstein-Hilbert action S = (c⁴/16πG)∫R√(-g) d⁴x, when varied with respect to the inverse metric g^μν, yields the vacuum field equations G_μν = 0. Adding a matter action S_matter and varying the total action gives the full field equations with T_μν defined as the variational derivative of S_matter with respect to g^μν. This Lagrangian formulation connects GR to the broader framework of classical field theory and is the starting point for attempts to quantize gravity.