Schwarzschild Black Hole

The Schwarzschild family is the unique spherically symmetric vacuum geometry with nonconstant areal radius, and its positive-mass member is the basic isolated, nonrotating black hole. It is exact in four-dimensional vacuum general relativity. Its use for a real compact object is an approximation that neglects spin, charge, surrounding matter, radiation, and cosmological curvature.

Schwarzschild geometry

Property	Value
Object class	Exact solution family
Theory	Four-dimensional vacuum general relativity, $R_{\mu\nu}=0$
Parameters	ADM mass $M$; black-hole branch $M\gt0$
Asymptotics	Asymptotically flat
Horizon topology	$S^2$
Physical status	Exact geometry; idealized astrophysical limit

With $m=GM$ and areal radius $r$, the static exterior metric is

$$ds^2=-f(r)dt^2+\frac{dr^2}{f(r)}+r^2d\Omega_2^2, \qquad f(r)=1-\frac{2m}{r}.$$

The parameter $M$ is fixed by the $1/r$ asymptotic field, not by the coordinate location of a surface. Birkhoff’s theorem makes the same local geometry apply in any spherically symmetric vacuum region, even if matter outside that region evolves. The historical solution and its coordinate interpretation are reviewed in Bičák 2000, §§ 2.1–2.4.

Horizon, singularity, and causal structure

The static Killing field $T=\partial_t$ becomes null at $r_h=2m$. The divergence of $g_{rr}$ there is removed with ingoing time $v=t+\int dr/f$:

$$ds^2=-f\,dv^2+2\,dv\,dr+r^2d\Omega_2^2.$$

Thus $r=2m$ is a regular future Killing horizon in this patch. The invariant

$$R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} =\frac{48m^2}{r^6}$$

is finite at the horizon but diverges at $r=0$, separating a chart boundary from the curvature singularity. The maximal analytic extension contains black-hole and white-hole regions and two exterior wedges; collapse normally realizes only the future black-hole portion, not the entire eternal diagram.

The horizon area, surface gravity for the asymptotically unit-normalized $T$, and angular velocity are

$$A_H=16\pi m^2, \qquad \kappa=\frac{1}{4m}, \qquad \Omega_H=0.$$

These satisfy the vacuum Smarr relation $M=\kappa A_H/(4\pi G)$ and the first law $dM=\kappa\,dA_H/(8\pi G)$. The normalization and geometric laws follow the framework of Bardeen, Carter, and Hawking 1973, complete article, printed pp. 161–170.

Geodesic and perturbative landmarks

For equatorial geodesics, an overdot denotes proper-time differentiation on timelike worldlines and differentiation with respect to a chosen affine parameter on null worldlines. Here $E$ and $L$ are specific energy and angular momentum in the timelike case; for null geodesics their common normalization follows that affine choice. Radial motion has the two distinct effective potentials

$$\begin{aligned} \dot r^2+V_{\rm null}(r)&=E^2, &V_{\rm null}(r)&=f(r)\frac{L^2}{r^2},\\ \dot r^2+V_{\rm timelike}(r)&=E^2, &V_{\rm timelike}(r)&=f(r)\left(1+\frac{L^2}{r^2}\right). \end{aligned}$$

The null circular orbit at $r=3m$ is unstable. Timelike circular orbits exist for $r\gt3m$ and are stable only for $r\geq6m$; the marginal case is the innermost stable circular orbit, with

$$r_{\rm ISCO}=6m, \qquad L^2=12m^2, \qquad E^2=\frac{8}{9}.$$

These distinct null and timelike landmarks organize lensing, accretion benchmarks, and perturbation boundary conditions without turning the exact vacuum metric into a complete astrophysical environment.

Linear vacuum perturbations separate into odd and even parity master equations. Their potentials are different but isospectral under appropriate boundary conditions. The absence of exponentially growing separated modes is an established mode-stability result, initiated by Regge and Wheeler 1957, complete article, printed pp. 1063–1069 and completed across parity sectors by Zerilli 1970, complete article, printed pp. 737–738. Mode stability is weaker than a full nonlinear decay theorem and says nothing about perturbations sourced by unspecified matter.

Reproduce the benchmarks

Run the dependency-free Schwarzschild verification script with Node and compare its results with the checked benchmark data. It reproduces the photon-orbit and ISCO values above. It also transforms the $(t,r)$ metric block to ingoing Eddington–Finkelstein form and verifies that its determinant remains $-1$ at $r=2m$, independently checking horizon regularity in that chart.

Invariant and physical diagnostics

Spherical symmetry supplies a coordinate-independent mass. For any symmetry sphere of areal radius $r$, the Misner–Sharp quantity is

$$M_{\rm MS}=\frac{r}{2G}\left(1-\nabla_a r\nabla^a r\right)=M.$$

The sign of $\nabla_a r\nabla^a r=f$ distinguishes untrapped exterior spheres from trapped or anti-trapped interior spheres, according to time orientation, and its zero locates the marginal surface at $r=2m$. This statement survives a change from static to horizon-penetrating coordinates and clarifies why a divergent $g_{rr}$ is not the definition of the horizon.

The uniqueness statement is conditional: it concerns a connected spherically symmetric vacuum region. It neither says that an arbitrary nonspherical exterior is Schwarzschild nor supplies the matter collapse that forms a horizon. During collapse, an exterior region can be locally Schwarzschild while matter remains inside its boundary; during ringdown, departures are radiative perturbations. These distinctions separate an exact local solution from a global formation history and an observational model.

Controlled limits

Zero-mass limit. At fixed $(t,r,\theta,\phi)$ with $M\to0$, $f\to1$ and the metric becomes Minkowski space in spherical coordinates. The horizon shrinks to the origin, while the curvature invariant vanishes at every fixed $r\gt0$.

Large-radius limit. For $r/m\to\infty$, the metric approaches Minkowski space with Newtonian potential $-GM/r$. This independently fixes the sign and normalization of the mass term.

Near-horizon limit. For a nonextremal Schwarzschild horizon, expanding $f\simeq(r-2m)/(2m)$ and passing to proper distance gives Rindler space times a sphere to leading order. Unlike extremal throats, this scaling does not produce a decoupled infinite AdS$_2$ region.

There is no regular extremal Schwarzschild member: $\kappa$ never vanishes at finite positive $M$. Negative $M$ remains a local vacuum solution but has no positive-radius horizon and exposes a naked singularity, so it is not a Schwarzschild black hole.

Connections to the detailed theory

Schwarzschild is an exact statement about vacuum geometry, not proof that a nonrotating object formed, remains isolated, or lacks an environment. The complete coordinate transformations and invariant identifications are developed in Schwarzschild Coordinate Atlas. Horizon regularity and mechanics are assembled in Schwarzschild Horizon Anatomy. The precise perturbative claim is treated in Mode Stability of Schwarzschild.

References

• Bardeen, James M., Brandon Carter, and Stephen W. Hawking. “The Four Laws of Black Hole Mechanics.” Communications in Mathematical Physics 31 (1973): 161–170. DOI.
• Bičák, Jiří. “The Role of Exact Solutions of Einstein’s Equations in the Developments of General Relativity and Astrophysics.” Lecture Notes in Physics 540 (2000): 1–126. arXiv.
• Regge, Tullio, and John A. Wheeler. “Stability of a Schwarzschild Singularity.” Physical Review 108 (1957): 1063–1069. DOI.
• Zerilli, Frank J. “Effective Potential for Even-Parity Regge–Wheeler Gravitational Perturbation Equations.” Physical Review Letters 24 (1970): 737–738. DOI.