Birkhoff's Theorem

Ask a natural question: how many ways can a spherically symmetric object warp the vacuum around it? In electromagnetism the answer is famously restrictive — a breathing charged sphere produces only the static Coulomb field and radiates nothing. Birkhoff's theorem is the exact, fully nonlinear gravitational counterpart, and its answer is even sharper: there is essentially one way. Every spherically symmetric solution of the vacuum Einstein equations $R_{\mu\nu}=0$ is locally a piece of the Schwarzschild geometry, carrying a single free number, the mass $M$ . What makes the result surprising is what you are not allowed to assume. Write the most general spherically symmetric metric with two unknown functions of both time and radius — leaving room for a throbbing, collapsing field — and feed it to the vacuum equations. The off-diagonal $R_{tr}$ quietly forces the radial function to be time-independent; a second equation forces the remaining time dependence to be pure gauge, removable by re-labelling the clock. Staticity, which Schwarzschild had to assume in 1916, falls out as a theorem: a fourth Killing vector, time translation, was hiding in the field equations all along. The consequences run deep. The exterior of any spherical star — static, pulsating, or collapsing to a black hole — is exactly Schwarzschild, so its orbits, redshifts, and light-bending depend only on the enclosed mass. The empty cavity inside a spherical shell is exactly flat Minkowski space, the relativistic Newton shell theorem. And because a spherical field cannot flex, perfectly spherical collapse and pulsation emit zero gravitational radiation — the reason LIGO listens for asymmetry, never for spheres.

Key takeaways

Birkhoff's theorem: any spherically symmetric solution of the vacuum equations $R_{\mu\nu}=0$ is necessarily static and asymptotically flat — it is the Schwarzschild geometry, with mass $M$ its only parameter.
Staticity is derived, not assumed: even the vacuum surrounding a radially pulsating or collapsing star is exactly Schwarzschild, frozen in time.
The engine of the proof is one equation, $R_{tr}=(2/r)\,\partial_t\beta=0$ , which kills the time dependence of the radial metric function; a clock redefinition removes the rest.
It is the gravitational analogue of "a spherical charge distribution radiates nothing" — spherically symmetric systems emit no gravitational waves, because the lowest radiative multipole is the quadrupole $\ell\ge2$ .
The cavity corollary makes the empty interior of a spherical shell exactly flat Minkowski space — Newton's shell theorem, promoted to full general relativity.
Key idea: spherical symmetry plus the vacuum Einstein equations force a fourth Killing vector (time translation); every spherically symmetric vacuum spacetime is locally the static, asymptotically flat Schwarzschild geometry, with mass as its only parameter.

The core insight

Spherical symmetry plus the vacuum Einstein equations force a fourth Killing vector (time translation): every spherically symmetric vacuum spacetime is locally the Schwarzschild geometry, static and asymptotically flat, with mass as its only parameter.

Where this lives today

Birkhoff's theorem is a working tool, not a museum piece. In gravitational-wave astronomy it is why detectors are tuned for asymmetry: a perfectly spherical collapse produces no signal, so LIGO, Virgo, and KAGRA search for merging compact binaries whose time-varying quadrupoles do radiate — and spherical collapse remains the canonical zero-output benchmark every numerical-relativity code must reproduce. In cosmology the cavity corollary underpins the Einstein–Straus "Swiss-cheese" construction: a spherical vacuum region embedded in an expanding universe matches to a Schwarzschild patch, which is why a bound cluster does not expand with the Hubble flow. In black-hole physics the charged and $\Lambda$ generalizations establish Reissner–Nordström and Schwarzschild–de Sitter as the unique static spherical solutions, the starting points for charged black-hole thermodynamics and for black holes in an accelerating universe. And in stellar astrophysics it is the silent justification behind treating the Sun or a neutron star as a point Schwarzschild mass: because the exterior depends only on $M$ , pulsations and slow accretion leave the orbital and lensing predictions untouched.

The physical picture

Spherical symmetry strips the gravitational field of every angular feature, leaving only its "monopole." In Maxwell's theory a pure monopole field must be the static Coulomb field: a radially breathing charged sphere holds a frozen exterior and radiates no light, because radiation needs a time-varying multipole of order $\ell\ge1$ . Birkhoff's theorem is the gravitational sharpening of exactly this fact — the spherical monopole geometry is forced to be static Schwarzschild, and a breathing mass cannot ripple spacetime. The first figure is the punchline made visual: a star can pulsate or collapse behind an exterior that never so much as flickers.

Figure

A spherically pulsating or collapsing star with radius R(t): the exterior vacuum is frozen at the Schwarzschild geometry set by M alone, so the orbit and every equipotential outside stay fixed while the surface breathes. The scale is R_s = 2GM/c² = 2.95 km for the Sun.

Think about the proof mechanically. You hand the field equations two functions allowed to depend on time, expecting a rich family of dynamical solutions. The vacuum equations refuse: one component says the time derivative of the radial function is zero, and another says whatever time dependence is left is pure gauge — rename your clock and it vanishes. The freedom you thought you had collapses, what survives is rigidly Schwarzschild, and a time-translation symmetry you never asked for is handed back as a bonus. The second figure draws the most consequential corollary: because the spherical field cannot change, spherical sources are silent to gravitational-wave detectors, while asymmetric ones sing.

Figure

Why spheres are silent: a spherically pulsating source is a pure monopole ℓ=0 and its exterior is frozen Schwarzschild, so it emits no gravitational waves; a binary is a time-varying quadrupole ℓ=2, the lowest radiative multipole, so it radiates. The rule is that gravitational radiation requires ℓ ≥ 2.

The core equations

Everything begins with the most general metric a spherically symmetric spacetime can carry — deliberately time-dependent, so staticity is never smuggled in. Rotational symmetry fixes the angular part to $r^2\mathrm{d}\Omega^2$ ; a coordinate choice removes the $t$ – $r$ cross term, leaving two free exponents $\alpha,\beta$ that may depend on both $t$ and $r$ .

\mathrm{d}s^2 = -e^{2\alpha(t,r)}c^2\,\mathrm{d}t^2 + e^{2\beta(t,r)}\,\mathrm{d}r^2 + r^2\,\mathrm{d}\Omega^2 \qquad (1)

where: $\alpha(t,r)$ — sets the redshift (the time–time metric), free to depend on time; $\beta(t,r)$ — sets the radial stretching, free to depend on time; $r$ — the areal radius, defined so that $4\pi r^2$ is the area of the symmetry 2-sphere; $\mathrm{d}\Omega^2=\mathrm{d}\theta^2+\sin^2\theta\,\mathrm{d}\phi^2$ — the round metric on the unit sphere. Reading it: this is Schwarzschild's ansatz with the staticity assumption deleted — the widest possible spherical starting point. The whole theorem turns on a single component of the vacuum equations. For the diagonal ansatz (1), the only nonzero mixed Ricci component is $R_{tr}$ , and it is proportional to the time derivative of $\beta$ . Vacuum sets it to zero.

R_{tr} = \frac{2}{r}\,\partial_t\beta = 0 \;\;\Longrightarrow\;\; \partial_t\beta = 0 \qquad (2)

where: $R_{tr}$ — the time–radial component of the Ricci tensor; $\partial_t\beta$ — the time derivative of the radial metric function. Reading it: the radial function cannot depend on time, $\beta=\beta(r)$ . This one line is the engine of Birkhoff's theorem — the field equations forbid the radial geometry from evolving. Killing the time dependence of $\beta$ is only half the job; $\alpha$ can still, in principle, depend on time. The right combination of the two diagonal vacuum equations settles it by linking the two exponents.

R_{tt}+e^{2(\alpha-\beta)}R_{rr}=\frac{2}{r}e^{2(\alpha-\beta)}\,\partial_r(\alpha+\beta)=0 \;\;\Longrightarrow\;\; \partial_r(\alpha+\beta)=0 \qquad (3)

where: $\alpha+\beta$ — the sum of the metric exponents, now shown to be independent of $r$ , hence a function of $t$ alone. Reading it: since $\beta$ is already time-independent, $\alpha(t,r)=-\beta(r)+g(t)$ for some function $g$ of time only — all the leftover time dependence sits in a single additive piece $g(t)$ . That residual $g(t)$ is pure coordinate freedom. Redefine the time coordinate by $\mathrm{d}\tilde t=e^{g(t)}\mathrm{d}t$ and it disappears, leaving $\alpha=-\beta$ with both functions of $r$ alone. The metric is now manifestly static, and the remaining radial equation integrates to fix the lapse.

e^{2\alpha}=e^{-2\beta}=f(r)=1-\frac{2GM}{c^2 r} \qquad (4)

where: $f(r)$ — the Schwarzschild lapse function; $M$ — the single integration constant, identified as the gravitating mass; $G$ — Newton's constant; $c$ — the speed of light. Reading it: one constant of integration survives the entire calculation, and it is the mass. There is no room for a second free function — the solution is unique up to $M$ . Assembling the pieces gives the Schwarzschild line element as the unique spherically symmetric vacuum — with no staticity assumed anywhere in its provenance.

\mathrm{d}s^2=-\left(1-\frac{2GM}{c^2 r}\right)c^2\mathrm{d}t^2+\left(1-\frac{2GM}{c^2 r}\right)^{-1}\mathrm{d}r^2+r^2\mathrm{d}\Omega^2 \qquad (5)

where: $t$ — Schwarzschild time, the flow parameter of the emergent time-translation Killing vector; $r$ — the areal radial coordinate. Reading it: this is the endpoint of Birkhoff's argument, not its assumption — forced on us by the field equations alone. The staticity that emerged is precisely the statement that time translation is a symmetry — an extra Killing vector that was not part of the input.

\xi^\mu=(\partial_t)^\mu,\qquad \nabla_{(\mu}\xi_{\nu)}=0 \qquad (6)

where: $\xi^\mu$ — the timelike Killing vector for $r>2GM/c^2$ , whose very existence is the content of the theorem; $\nabla_{(\mu}\xi_{\nu)}$ — the symmetrized covariant derivative, whose vanishing is Killing's equation. Reading it: spherical symmetry gives three rotational Killing vectors for free; Birkhoff supplies a fourth, time translation, and its hypersurface orthogonality makes the solution static, not merely stationary. Finally, the integration constant $M$ is not an arbitrary label — it is a genuine geometric mass, captured by the Misner–Sharp quasi-local mass, which reduces to $M$ throughout the vacuum.

m(r)=\frac{c^2 r}{2G}\bigl(1-e^{-2\beta(r)}\bigr),\qquad m(r)\to M \;\text{ in vacuum} \qquad (7)

where: $m(r)$ — the Misner–Sharp mass enclosed within areal radius $r$ ; $M$ — its constant vacuum value, equal to the ADM/Schwarzschild mass. Reading it: in the exterior $e^{-2\beta}=1-2GM/(c^2r)$ , so $m(r)=M$ identically — the same conserved number at every radius, which is why the exterior cannot change when the interior does.

Derivation AStaticity emerges from the vacuum equations

The goal is to carry the Schwarzschild calculation through without ever assuming the field is static — starting from the fully time-dependent ansatz (1) — and to watch time-translation symmetry appear as a forced consequence of $R_{\mu\nu}=0$ . We compute the decisive Ricci components, use the off-diagonal equation to freeze the radial function, use a diagonal combination to link the two exponents, remove the last time dependence by a clock redefinition, and integrate the survivor to recover Schwarzschild with one free constant.

Step 1. Adopt the widest spherically symmetric metric, $\mathrm{d}s^2=-e^{2\alpha(t,r)}c^2\mathrm{d}t^2+e^{2\beta(t,r)}\mathrm{d}r^2+r^2\mathrm{d}\Omega^2$ , with both exponents free in $t$ and $r$ . Why this and nothing narrower: rotational invariance fixes the angular block to $r^2\mathrm{d}\Omega^2$ with $r$ the areal radius, and a redefinition of $t$ kills the $g_{tr}$ cross term — so this is the most general form, and crucially it contains no staticity assumption.

Step 2. Compute the mixed Ricci component and set it to zero. For the diagonal ansatz the only contribution to $R_{tr}$ is $\tfrac{2}{r}\dot\beta$ , where a dot denotes $\partial_t$ ; vacuum demands $R_{tr}=0$ , so $\dot\beta=0$ and $\beta=\beta(r)$ . Why this is the hinge: the off-diagonal equation directly forbids the radial metric function from evolving in time — the geometry's "size" degree of freedom is frozen before we look at anything else.

Step 3. Form the diagonal combination $R_{tt}+e^{2(\alpha-\beta)}R_{rr}=\tfrac{2}{r}e^{2(\alpha-\beta)}\partial_r(\alpha+\beta)$ . With $\dot\beta=0$ already established, vacuum forces $\partial_r(\alpha+\beta)=0$ , so $\alpha(t,r)+\beta(r)=g(t)$ for some function of time alone, i.e. $\alpha(t,r)=-\beta(r)+g(t)$ . Why: this quarantines every remaining scrap of time dependence into a single additive term $g(t)$ that does not touch the radial structure — exactly the form a coordinate change can remove.

Step 4. Absorb $g(t)$ into the clock. Define $\mathrm{d}\tilde t=e^{g(t)}\mathrm{d}t$ ; then $e^{2\alpha}c^2\mathrm{d}t^2=e^{-2\beta}c^2\mathrm{d}\tilde t^2$ , so in the new time coordinate $\alpha=-\beta(r)$ and the metric coefficients no longer depend on time at all. Why this is legitimate: $g$ depends only on $t$ , so the redefinition is a genuine coordinate transformation, not a physical assumption — the time dependence was pure gauge, and $\partial_{\tilde t}$ is now a Killing vector by inspection.

Step 5. Integrate the surviving radial equation. With $\alpha=-\beta$ and everything a function of $r$ , the remaining independent vacuum equation reads $\tfrac{1}{r^2}\tfrac{\mathrm d}{\mathrm dr}\!\left[r(1-e^{-2\beta})\right]=0$ , which integrates immediately to $e^{-2\beta}=1-R_s/r$ with $R_s$ a single constant of integration, and $e^{2\alpha}=e^{-2\beta}$ follows from $\alpha=-\beta$ . Why only one constant appears: the equation is first order after one integration, so exactly one free parameter can survive — there is no second function to tune.

Step 6. Identify the constant by the Newtonian limit. Matching $g_{tt}\to-(1+2\Phi/c^2)$ with $\Phi=-GM/r$ gives $R_s=2GM/c^2$ , the Schwarzschild radius, and asymptotic flatness ( $f\to1$ as $r\to\infty$ ) is automatic. Why the match is unambiguous: far away the weak-field metric must reproduce Newtonian gravity, pinning the lone constant to the mass. *Verified: reproduces the Schwarzschild metric (5) with $R_s=2GM/c^2$ ; the emergence of $\partial_t$ as a Killing vector matches MTW §32.2, Wald §6.1 (and Problem 6.3), and Carroll §5.2.*

Go deeper · Derivation B · 1 minThe cavity theorem — no gravity inside a spherical shell

Derivation BThe cavity theorem — no gravity inside a spherical shell

The goal is to show that Birkhoff's theorem, applied to an empty spherical region that includes the centre $r=0$ , forces the geometry there to be exactly flat Minkowski space — the full relativistic version of Newton's shell theorem, in which a spherical shell exerts no net force anywhere in its hollow interior. The argument is short: the interior vacuum must be Schwarzschild with some mass, and regularity at the origin allows only zero.

Step 1. Apply the theorem locally to the cavity. The interior is spherical vacuum, so by Birkhoff it must be a piece of Schwarzschild, $f(r)=1-2GM/(c^2r)$ , for some mass parameter $M$ — the theorem fixes the functional form, not yet the value. Why we can invoke it here: Birkhoff's conclusion is local and needs only spherical symmetry and $R_{\mu\nu}=0$ , both of which hold in the empty cavity regardless of the surrounding shell.

Step 2. Impose regularity at the centre. As $r\to0$ the lapse $f(r)=1-2GM/(c^2r)$ diverges unless $M=0$ ; a nonzero $M$ places a genuine curvature singularity (the Kretschmann scalar $\propto M^2/r^6$ blows up) at the origin of a region that is supposed to be empty and smooth. Why this excludes $M\ne0$ : the cavity contains no matter and no singularity by assumption, so the only admissible Schwarzschild mass is the one with no source, $M=0$ .

Step 3. Conclude flatness. With $M=0$ the lapse is $f(r)=1$ everywhere in the cavity, and the metric collapses to $\mathrm{d}s^2=-c^2\mathrm{d}t^2+\mathrm{d}r^2+r^2\mathrm{d}\Omega^2$ — exactly Minkowski. There is no tidal field, no acceleration, no redshift gradient inside the shell. Why this is the shell theorem, upgraded: Newton found the interior field of a spherical shell to be zero; Birkhoff shows the interior spacetime is not merely force-free but geometrically flat, tidal forces and all. *Verified: recovers exact Minkowski space; consistent with the Newtonian shell theorem in the weak-field limit; cf. Schutz §10.4, Hartle §23.6.*

Go deeper · Derivation C · 1 minWhy a spherical source cannot radiate gravitationally

Derivation CWhy a spherical source cannot radiate gravitationally

The goal is to turn the theorem into the statement that perfectly spherical dynamics — a pulsating star, a spherical supernova, spherical collapse to a black hole — emit precisely zero gravitational radiation, and to connect this to the rule that the lowest radiative moment in gravity is the quadrupole. The chain is short: the exterior is time-independent, and independently the mass monopole is conserved, so it cannot source waves.

Step 1. Fix the exterior with Birkhoff. Whatever the spherical source does internally, its exterior vacuum is Schwarzschild with the enclosed mass $M$ , and $M$ is conserved (equation 7 gives $m(r)=M$ at every radius). The exterior metric therefore never changes in time. Why this already forbids radiation: gravitational waves are propagating time-dependence of the vacuum metric, and here the vacuum metric is exactly static — there is nothing to propagate.

Step 2. Read off the multipole content. A spherically symmetric mass distribution has a nonzero mass monopole ( $\ell=0$ ) and vanishing higher moments; by mass–energy conservation the monopole is constant in time. Gravitational radiation, however, is sourced by the second time derivative of the mass quadrupole ( $\ell=2$ ), the lowest multipole that can radiate in general relativity. Why $\ell=0$ and $\ell=1$ are silent: the monopole is fixed by mass conservation and the mass dipole's second derivative vanishes by momentum conservation — so no $\ell<2$ moment can drive a wave.

Step 3. Contrast with electromagnetism to see the pattern. There the lowest radiative multipole is the dipole ( $\ell=1$ ), and a breathing spherical charge likewise radiates nothing; gravity is the same story shifted up by one, because the graviton is spin-2. Why the shift matters observationally: real gravitational-wave sources must be aspherical, which is why LIGO and Virgo hunt for merging compact objects rather than spherical explosions, and why spherical collapse is a standard zero-signal test for numerical-relativity codes. *Verified: consistent with the quadrupole formula (radiated power $\propto\langle\dddot{Q}_{ij}\dddot{Q}^{ij}\rangle$ , which vanishes for a spherical source); matches MTW §36.*

Limiting cases

Birkhoff's theorem both sharpens classical results and extends, in modified form, to richer field contents. The table collects the most important limits and generalizations.

Case	Result	Meaning
Newtonian / weak field	$\Phi(r)=-\dfrac{GM}{r},\quad g_{tt}\approx-\left(1+\dfrac{2\Phi}{c^2}\right)$	The unique weak-field spherical vacuum potential is the Newtonian monopole; the shell theorem is the Newtonian shadow of Birkhoff's cavity corollary.
Charged (Reissner–Nordström)	$f(r)=1-\dfrac{2GM}{c^2 r}+\dfrac{GQ^2}{4\pi\epsilon_0 c^4 r^2}$	The theorem extends to spherical electrovacuum: the unique solution is the static Reissner–Nordström metric, with charge $Q$ a second parameter.
Cosmological constant	$f(r)=1-\dfrac{2GM}{c^2 r}-\dfrac{\Lambda r^2}{3}$	With $\Lambda\ne0$ the unique spherical vacuum is Schwarzschild–(anti-)de Sitter, static within suitable horizons — a generalized Birkhoff theorem.
Higher dimensions	$f(r)=1-\left(\dfrac{r_s}{r}\right)^{D-3}$	In $D$ spacetime dimensions the spherical vacuum is the Schwarzschild–Tangherlini solution; Birkhoff's theorem continues to hold.
Inside the horizon	$\xi^\mu=(\partial_t)^\mu$ becomes spacelike	The emergent Killing vector is timelike only for $r>2GM/c^2$ ; the region $r<2GM/c^2$ is dynamical, though still spherical vacuum.

Common trapBirkhoff does not say spherical spacetimes are static

The theorem constrains spherically symmetric vacuum solutions, not spherical spacetimes in general. The interior of a pulsating or collapsing star, where $T_{\mu\nu}\ne0$ , is genuinely dynamical — it is only the empty region around it that is frozen Schwarzschild. Two further cautions. First, "static" here is local: the maximally extended Schwarzschild geometry is static only for $r>2GM/c^2$ ; inside the horizon the would-be timelike Killing vector $\partial_t$ becomes spacelike, so that region evolves even though it stays spherical vacuum. Second, the theorem forbids only radiative time dependence of the exterior — it does not forbid a black hole from forming; it says the exterior looks identical before, during, and after collapse, so the formation itself is gravitationally silent.

Worked examples

1 · A hollow shell — flat inside, but clocks still run slow (fully worked)

A rigid spherical shell of mass $M=1\,M_\odot=1.989\times10^{30}$ kg has radius $R=1\,\mathrm{AU}=1.496\times10^{11}$ m. What is the gravitational field, and the tidal field, at a point inside the hollow? And does a clock at the centre tick at the same rate as one far away?

Step 1. Apply the cavity theorem. The interior is spherically symmetric vacuum containing $r=0$ , so Birkhoff forces it to be flat Minkowski space: the enclosed Misner–Sharp mass is $M=0$ , and $f(r)=1$ throughout the cavity. The gravitational acceleration and every component of the tidal (Riemann) tensor are therefore exactly zero — a test mass released anywhere inside floats, and an extended body feels no stretching. This is Newton's shell theorem, promoted to the full curvature statement.

Step 2. Compute the redshift, which is not zero. Flat spacetime glued to a Schwarzschild exterior sits at a finite gravitational potential, so a clock inside runs slow relative to infinity by the lapse at the shell, $\sqrt{f(R)}=\sqrt{1-R_s/R}$ , with $R_s=2GM/c^2$ . Numerically $R_s=2(6.674\times10^{-11})(1.989\times10^{30})/(2.998\times10^8)^2=\mathbf{2.95\ km}$ , so $R_s/R=2953/(1.496\times10^{11})=1.97\times10^{-8}$ .

Step 3. Read off the fractional slowing: $1-\sqrt{1-R_s/R}\approx\tfrac{1}{2}R_s/R=\mathbf{9.9\times10^{-9}}$ . A central clock ticks slow by about one part in $10^8$ — a constant offset with zero gradient. That is the sharp lesson of Birkhoff's cavity: the potential inside a shell is nonzero and uniform (redshift), while its gradient — the force — is exactly zero (flatness). Inside: no force, no tides, but a uniform redshift of $9.9\times10^{-9}$ .

2 · A collapsing star's orbits do not notice (fully worked)

A spherical star of mass $M=10\,M_\odot=1.989\times10^{31}$ kg undergoes perfectly spherical collapse to a black hole. A test particle orbits in a circle at areal radius $r=1.0\times10^{9}$ m ( $10^6$ km) throughout. Does its orbital period change as the star collapses?

Step 1. Locate the orbit relative to the horizon. The star's Schwarzschild radius is $R_s=2GM/c^2=10\times2.95\ \mathrm{km}=\mathbf{29.5\ km}$ , so the orbit at $r=1.0\times10^9$ m sits at $r/R_s\approx3.4\times10^{4}$ — far outside, in clean vacuum, before and after collapse.

Step 2. Use the exact Schwarzschild result for circular orbits. Remarkably, the coordinate angular velocity of a circular geodesic obeys Kepler's third law exactly (not just approximately) in Schwarzschild coordinates: $\Omega^2=(\mathrm d\phi/\mathrm dt)^2=GM/r^3$ . Plugging in, $\Omega^2=(6.674\times10^{-11})(1.989\times10^{31})/(10^9)^3=1.33\times10^{-6}\ \mathrm{s^{-2}}$ , so $\Omega=\mathbf{1.15\times10^{-3}\ rad/s}$ and the period is $T=2\pi/\Omega=\mathbf{5.45\times10^3\ s}\approx\mathbf{91\ min}$ .

Step 3. Invoke Birkhoff. The orbit depends only on $M$ , and $M$ is conserved through spherical collapse (the exterior is frozen Schwarzschild, and spherical collapse radiates nothing to carry mass away). So $\Omega$ and $T$ are identical whether the star is a diffuse ball, a compact star, or a black hole of the same mass — the orbiting particle cannot tell that a black hole formed beneath it. The period stays $91$ min throughout the collapse; the exterior never flickers.

Physics of the portrait

Birkhoff's theorem carries the name of the American mathematician who put it in a 1923 textbook, but its history is a lesson in how attributions are made — the result was proved first, and arguably more clearly, two years earlier by a young Norwegian who died before anyone noticed.

Origins · 1 minGeorge David Birkhoff and how this was discovered

George David Birkhoff

1884–1944 · the uniqueness of the spherical vacuum

George David Birkhoff was the leading American mathematician of his generation, best known for the ergodic theorem (1931) and the Poincaré–Birkhoff "last geometric theorem" (1913). His contact with relativity came through his 1923 textbook Relativity and Modern Physics, written with Rudolph Langer, in which he stated and proved that a spherically symmetric solution of the vacuum field equations must be static and hence Schwarzschild — exactly the argument carried here, letting the metric functions depend on time and watching the field equations force time-independence. Birkhoff drew the sharp physical conclusion himself: a spherical mass cannot emit gravitational waves, the gravitational echo of the fact that a breathing charge does not radiate. History has since complicated the credit. The Norwegian physicist Jørg Toft Jebsen published essentially the same theorem in 1921, two years earlier, before dying of tuberculosis at thirty-three in 1922, and pieces of it were visible earlier to de Sitter and Weyl — which is why many authors now write "Jebsen–Birkhoff theorem." Whatever the attribution, the theorem remains one of the cleanest rigidity results in all of gravitation.

History

1916

— Schwarzschild derives the spherical vacuum metric, assuming from the outset that the field is static

1921

— Jørg Toft Jebsen proves that staticity need not be assumed — the first statement of the theorem

1923

— Birkhoff publishes the result in Relativity and Modern Physics, and the name attaches to him

2005

— Deser and Franklin give a one-line proof and press for the name Jebsen–Birkhoff

Going further

Texts. Misner, Thorne & Wheeler, Gravitation, §32.2 · Wald, General Relativity, §6.1 and Problem 6.3 · Carroll, Spacetime and Geometry, §5.2 · Hartle, Gravity, §23.6 · Schutz, A First Course in General Relativity, §10.4 · Birkhoff, Relativity and Modern Physics (1923).

Provenance. The proof follows the standard Schwarzschild derivation with the staticity assumption removed, as in MTW §32.2, Wald §6.1 (and Problem 6.3), Carroll §5.2, Hartle §23.6, and Schutz §10.4. A verifier should recompute: (1) the mixed Ricci component $R_{tr}=\tfrac{2}{r}\partial_t\beta$ for the general diagonal spherical ansatz; (2) that the diagonal vacuum equations give $\partial_r(\alpha+\beta)=0$ and integrate to $e^{-2\beta}=1-R_s/r$ with $\alpha=-\beta$ ; (3) the Newtonian-limit identification $R_s=2GM/c^2$ ; (4) the worked numbers — $R_{s,\odot}=2.95$ km, the cavity redshift $\tfrac12 R_s/R=9.9\times10^{-9}$ for a solar-mass shell at 1 AU, and the exact circular-orbit relation $\Omega^2=GM/r^3$ giving $T\approx91$ min at $r=10^9$ m around $10\,M_\odot$ . The priority of Jebsen (1921) over Birkhoff (1923) and the monopole/no-radiation analogy are historically and textbook standard.

Prerequisites. The Schwarzschild Metric · Derivation of the Schwarzschild Solution · Killing Vectors and Conserved Quantities in Schwarzschild · Coordinate vs Curvature Singularities. Leads to. The Schwarzschild Radius and the Geometric Mass · Gravitational Redshift in Schwarzschild Spacetime · Geodesics in Schwarzschild Spacetime.

Ask the tutor: Ask me to walk through the $R_{tr}=0$ step line by line, or to show exactly how the cavity theorem turns Newton's shell theorem into a statement about flat spacetime.

Does Birkhoff's theorem assume the spacetime is static?

No — that is the whole point. One assumes only spherical symmetry and the vacuum equations $R_{\mu\nu}=0$ , deliberately allowing the metric functions to depend on time. The off-diagonal equation $R_{tr}=(2/r)\partial_t\beta=0$ then forces the radial function to be time-independent, and a redefinition of the time coordinate removes the last time dependence in the other function. Staticity — the existence of a timelike Killing vector — is therefore a derived conclusion, not an input. This is exactly why the theorem is surprising: Schwarzschild had to assume staticity in 1916, and Birkhoff (following Jebsen) showed the assumption was unnecessary all along.

Why can a spherically symmetric source not emit gravitational waves?

Because Birkhoff's theorem makes its exterior the static Schwarzschild geometry, which carries no propagating time-dependence and hence no radiation. There are two equivalent ways to see it. Geometrically, the exterior metric simply does not change in time, so there is nothing to radiate. In multipole language, gravitational radiation is sourced by the second time derivative of the mass quadrupole ( $\ell=2$ ), the lowest radiative moment in a spin-2 theory; a spherical source has only a mass monopole ( $\ell=0$ ), which is constant by mass conservation. Either way the radiated power vanishes exactly — spherical collapse, spherical pulsation, and spherical supernovae are all gravitationally silent.

What is the single free parameter, and how is it fixed?

The solution has exactly one integration constant, the mass $M$ , appearing in the lapse $f(r)=1-2GM/(c^2r)$ . It is fixed in one of two equivalent ways: by matching the exterior vacuum to the interior matter distribution — $M$ equals the interior's total Misner–Sharp (equivalently ADM) mass — or by the Newtonian limit far away, where $g_{tt}\to-(1+2\Phi/c^2)$ with $\Phi=-GM/r$ . No second free function survives the field equations, which is precisely the rigidity Birkhoff's theorem asserts: fix $M$ and the entire spherical vacuum geometry is determined.

Is the maximally extended Schwarzschild spacetime static everywhere?

No. The timelike Killing vector $\partial_t$ that Birkhoff's theorem produces is timelike only in the exterior region $r>2GM/c^2$ . At the horizon it becomes null, and inside ( $r<2GM/c^2$ ) it becomes spacelike, so the interior is genuinely dynamical — $r$ plays the role of a time coordinate there, and the geometry evolves toward the singularity. Birkhoff's "staticity" is thus a local statement valid outside the horizon. The theorem still applies globally in the sense that the interior remains spherically symmetric vacuum and is uniquely fixed by the same mass $M$ ; it is just that "static" is the wrong word for it inside.

What exactly does the cavity corollary say about a hollow shell?

The empty interior of any spherically symmetric shell is exactly flat Minkowski space — not merely force-free, but geometrically flat, with vanishing Riemann tensor and hence zero tidal forces. Birkhoff makes the interior Schwarzschild with some mass parameter, and regularity at $r=0$ (no singularity in an empty cavity) forces it to zero. This is Newton's shell theorem upgraded to full general relativity. One subtlety: "no field" refers to the gradient. The interior sits at a nonzero, uniform potential, so clocks inside run slow relative to infinity by a constant redshift — a uniform offset with zero gradient, exactly what "flat but sunk in a potential well" means.

Does Birkhoff's theorem survive a cosmological constant or electric charge?

Yes, in generalized form. Add a spherical electromagnetic field and the unique static solution becomes Reissner–Nordström, $f(r)=1-2GM/(c^2r)+GQ^2/(4\pi\epsilon_0c^4r^2)$ , now with two parameters $M$ and $Q$ . Add a cosmological constant and the unique spherical vacuum is Schwarzschild–(anti-)de Sitter, $f(r)=1-2GM/(c^2r)-\Lambda r^2/3$ , static within the appropriate horizons; the theorem also extends to higher dimensions (Schwarzschild–Tangherlini). What breaks it is a field whose stress–energy is not tied to the geometry the same way — a massless scalar field, for instance, admits genuinely time-dependent spherical solutions, and no Birkhoff theorem holds.