Numeric Jungle

einstein

Einstein’s Equation and Black Hole Solutions: A Mathematical–Physics Overview

General relativity (GR) rewrote the foundations of gravitational physics by replacing Newton’s gravitational force with the geometry of spacetime. At its core is a compact but deeply rich differential equation—the Einstein field equation (EFE). In this post, we explore the mathematics behind the EFE and show how black-hole spacetimes emerge naturally as exact solutions.

1. The Einstein Field Equation

1.1 The Geometric Side: Curvature

Einstein’s equation is [ G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu}. ]

Each piece has a geometric or physical meaning:

  • (g_{\mu\nu}): metric tensor; encodes spacetime intervals [ ds^2 = g_{\mu\nu} dx^\mu dx^\nu. ]

  • (G_{\mu\nu}): Einstein tensor, [ G_{\mu\nu} = R_{\mu\nu} - \tfrac12 R g_{\mu\nu}, ] built from (i) the Ricci tensor (R_{\mu\nu}), and (ii) the scalar curvature (R).

  • (R_{\mu\nu}) and (R) are obtained from the Riemann curvature tensor [ R^\rho{}_{\sigma\mu\nu}. ]

Curvature is ultimately determined by derivatives of the metric.

1.2 The Matter Side: Stress–Energy

The stress–energy tensor (T_{\mu\nu}) describes all classical matter and fields: energy density, momentum flux, pressure, stresses. Local conservation of energy–momentum is encoded in [ \nabla^\mu T_{\mu\nu} = 0, ] which is guaranteed by the contracted Bianchi identity applied to (G_{\mu\nu}).

1.3 Vacuum Equations

Black-hole solutions are typically vacuum solutions, meaning [ T_{\mu\nu} = 0 \quad \Rightarrow \quad R_{\mu\nu} = \Lambda g_{\mu\nu}. ]

Most astrophysical-scale black holes are modeled with (\Lambda=0), giving [ R_{\mu\nu} = 0. ]

2. Solving the Einstein Equation for Spherical Symmetry

To find black-hole spacetimes, physicists impose symmetries and solve the resulting differential equations.

2.1 Schwarzschild Solution (Static, Spherically Symmetric Vacuum)

Assume a metric of the form [ ds^2 = -A(r) , c^2 dt^2 + B(r), dr^2 + r^2 d\Omega^2, ] where [ d\Omega^2 = d\theta^2 + \sin^2\theta, d\phi^2. ]

Applying (R_{\mu\nu}=0) yields two ODEs:

  • From (R_{tt}=0): [ \frac{d}{dr}\left(r(1 - B^{-1})\right) = 0, ]

  • From (R_{rr}=0): [ \frac{d}{dr}\left(\ln(AB)\right) = 0. ]

Solving these gives [ A(r) = 1 - \frac{2GM}{c^2 r}, \qquad B(r) = A(r)^{-1}. ]

Thus, the Schwarzschild metric:

[ ds^2 = -\left(1-\frac{2GM}{c^2 r}\right) c^2 dt^2

  • \left(1-\frac{2GM}{c^2 r}\right)^{-1} dr^2
  • r^2 d\Omega^2. ]

2.2 Schwarzschild Radius

The event horizon occurs when (g_{tt}=0): [ r_s = \frac{2GM}{c^2}. ]

This surface is not a curvature singularity—it is a coordinate singularity. The true physical singularity lies at (r=0), where curvature invariants diverge:

[ K = R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} = \frac{48 G^2 M^2}{c^4 r^6}. ]

3. Rotating and Charged Black Holes

3.1 Kerr Black Hole (Rotating)

If the object has angular momentum (J), axial symmetry replaces spherical symmetry and leads to the Kerr metric.

Using Boyer–Lindquist coordinates:

[ ds^2 = -\left(1 - \frac{2GMr}{\Sigma c^2}\right)c^2 dt^2

  • \frac{4GMar\sin^2\theta}{\Sigma c^2}, dt, d\phi

  • \frac{\Sigma}{\Delta} dr^2 + \Sigma d\theta^2
  • \left(r^2 + a^2 + \frac{2GMa^2 r \sin^2\theta}{\Sigma c^2}\right)\sin^2\theta, d\phi^2 ]

where [ a = \frac{J}{Mc},\qquad \Sigma = r^2 + a^2\cos^2\theta,\qquad \Delta = r^2 - \frac{2GMr}{c^2} + a^2. ]

Horizons: roots of (\Delta=0):

[ r_\pm = \frac{GM}{c^2} \pm \sqrt{\left(\frac{GM}{c^2}\right)^2 - a^2}. ]

The Kerr solution exhibits:

  • frame dragging,
  • an ergosphere where no static observers exist,
  • a ring singularity.

3.2 Reissner–Nordström and Kerr–Newman (Charged Solutions)

Adding electromagnetic stress–energy (T_{\mu\nu}^{(\text{EM})}) leads to:

  • Reissner–Nordström (non-rotating, charged): [ ds^2 = -\left(1 - \frac{2GM}{c^2 r} + \frac{GQ^2}{4\pi\epsilon_0 c^4 r^2}\right)c^2 dt^2 + \dots ]

  • Kerr–Newman (rotating, charged): similar to Kerr, but modified via the charge term.

These are exact electrovacuum solutions.

4. Black-Hole Thermodynamics and Geometry

4.1 Surface Gravity and Temperature

For stationary black holes, the surface gravity (\kappa) defines a temperature:

[ T_H = \frac{\hbar \kappa}{2\pi k_B c}. ]

For Schwarzschild: [ \kappa = \frac{c^4}{4GM}. ]

4.2 Horizon Area and Entropy

Bekenstein–Hawking entropy: [ S = \frac{k_B c^3 A}{4 G \hbar}. ]

Here [ A = 4\pi r_s^2. ]

These laws make black holes thermal objects and bridge GR with quantum theory.

5. Why Exact Solutions Matter

Black-hole solutions are not merely mathematical exercises—they:

  • explain astrophysical phenomena (accretion disks, gravitational waves),
  • enable precise predictions tested by LIGO, EHT, and satellite timing,
  • reveal deep connections between gravity, thermodynamics, and quantum mechanics.

Exact solution methods in GR also influence numerical relativity, cosmology, and attempts to unify gravity with quantum theory.