The Einstein field equations are the ten coupled non-linear partial differential equations relating the curvature of spacetime to the distribution of matter and energy:

Rμν12Rgμν+Λgμν=8πGc4TμνR_{\mu\nu} - \tfrac{1}{2} R\, g_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu}

Here gμνg_{\mu\nu} is the Lorentzian metric on a 4-manifold, RμνR_{\mu\nu} is the Ricci tensor, RR is the scalar curvature, Λ\Lambda is the cosmological constant, GG is Newton’s gravitational constant, and TμνT_{\mu\nu} is the stress–energy tensor. Published by Einstein in November 1915, the equations are the mathematical heart of general relativity.

1. The geometric side

The left-hand side is pure geometry. It is constructed from the metric gμνg_{\mu\nu} and its derivatives through:

  • Christoffel symbols (connection coefficients): Γμνλ=12gλσ(μgνσ+νgμσσgμν)\Gamma^\lambda_{\mu\nu} = \tfrac{1}{2} g^{\lambda\sigma}(\partial_\mu g_{\nu\sigma} + \partial_\nu g_{\mu\sigma} - \partial_\sigma g_{\mu\nu})
  • Riemann curvature tensor: RσμνρR^\rho_{\sigma\mu\nu}
  • Ricci tensor: Rμν=RμρνρR_{\mu\nu} = R^\rho_{\mu\rho\nu}
  • Scalar curvature: R=gμνRμνR = g^{\mu\nu} R_{\mu\nu}

These are intrinsic: they depend only on the metric, not on any embedding into higher space. Every apparatus needed to state Einstein’s equations was built by Riemann and his successors between 1854 and the early 1900s — decades before physics needed it.

The combination Gμν=Rμν12RgμνG_{\mu\nu} = R_{\mu\nu} - \tfrac{1}{2} R\, g_{\mu\nu} is called the Einstein tensor and has a crucial property: its covariant divergence vanishes, μGμν=0\nabla^\mu G_{\mu\nu} = 0, automatically ensuring conservation of the matter side.

2. The matter side

The stress–energy tensor TμνT_{\mu\nu} encodes energy density, momentum density, and stresses (including pressure). Its components include:

  • T00T_{00}: energy density
  • T0iT_{0i}: momentum flux
  • TijT_{ij}: stress tensor (isotropic pressure plus shear)

Conservation μTμν=0\nabla^\mu T_{\mu\nu} = 0 expresses local energy–momentum conservation and is built into the structure of general relativity.

3. Famous exact solutions

  • Schwarzschild (1916) — spherically symmetric vacuum; black holes.
  • Kerr (1963) — rotating vacuum; rotating black holes.
  • Reissner–Nordström — charged spherically symmetric black holes.
  • FLRW metric — homogeneous isotropic cosmology (Friedmann equations).
  • Gravitational-wave plane waves — transverse-traceless perturbations.

Most physical situations require numerical relativity; the black-hole merger waveforms detected by LIGO in 2015 are solutions computed by supercomputer.

4. Mathematical structure

The equations are deeply related to the variational principle: they are the Euler–Lagrange equations of the Einstein–Hilbert action

S[g]=c416πGRgd4xS[g] = \frac{c^4}{16\pi G} \int R\, \sqrt{-g}\, d^4x

Adding the cosmological term corresponds to (R2Λ)gd4x\int (R - 2\Lambda) \sqrt{-g}\, d^4x.

The equations connect to many areas of pure mathematics:

  • Ricci flow (Hamilton, Perelman) — the parabolic PDE g/t=2Rμν\partial g / \partial t = -2 R_{\mu\nu} is an evolution equation whose fixed points are Einstein metrics.
  • Yamabe problem — existence of constant-scalar-curvature metrics in a conformal class.
  • Positive mass theorem (Schoen–Yau, 1979) — one of the landmark results of geometric analysis.

5. Open problems

  • Cosmic censorship — Penrose’s conjecture that singularities are always hidden behind event horizons; still unresolved.
  • Final state conjecture — what does a generic black-hole spacetime look like asymptotically?
  • Einstein manifolds — a full classification is far from complete even in dimension four.

Further reading

  • Wald, General Relativity — the standard graduate text.
  • Hawking & Ellis, The Large Scale Structure of Space-Time — classic on global methods.
  • Besse, Einstein Manifolds — the differential-geometric side.

Frequently asked

What mathematics does Einstein's equation live in?

Pseudo-Riemannian (Lorentzian) geometry on 4-manifolds. The Ricci tensor R_μν, scalar curvature R, and metric g_μν are all intrinsic geometric quantities of the manifold; the stress-energy tensor T_μν encodes matter and energy. The equations relate curvature to matter pointwise.

What is the cosmological constant Λ?

A term added to make static cosmological solutions possible. Einstein originally introduced it, removed it, then modern cosmology reinstated it as 'dark energy' to account for observed accelerating expansion. Its precise mathematical role is as a divergence-free covariantly constant term.

Why are these equations so hard to solve?

They are a coupled nonlinear system of ten partial differential equations for ten components of g_μν. Even in vacuum (T_μν = 0), exact solutions are rare and important: Schwarzschild (1916), Kerr (1963), and plane waves essentially exhaust the famous closed-form cases.