The photon sphere and the innermost stable circular orbit
Statement
For a Schwarzschild black hole, circular photon orbits exist only at always unstable; circular massive-particle orbits are stable only for , marginally stable at and unstable for .
Why is it true?
Think of radial motion as a ball rolling in a one-dimensional potential well : circular orbits sit where the well is flat (), and they are stable only where the well curves upward () rather than downward. Because the relativistic potential has an extra term absent in Newtonian gravity, the well develops a maximum close to the black hole — inside that radius no stable circular orbit exists at all, no matter how fast the particle spins around; matter simply plunges in.
Proof sketch
Step 1 (conserved quantities and the radial equation). Along any geodesic (timelike , or null ) confined to the equatorial plane , the metric's independence of and gives two conserved quantities and (dot ). Substituting these into the normalization and simplifying yields, for timelike motion,
Step 2 (circular-orbit condition). Expanding gives A circular orbit has constant , i.e. at all times, which requires both and (so that does not drift away) :
Step 3 (solve for the angular momentum of a circular orbit). Multiplying through by and solving for gives the angular momentum needed to sustain a circular orbit at radius : This already carries information about the photon sphere: as from above, the denominator and — no finite angular momentum sustains a circular orbit that close, which is exactly the massless (photon) limit reached below.
Step 4 (marginal stability — the ISCO). As decreases from infinity, first decreases, reaches a minimum, then blows up at ; a circular orbit is stable exactly where increasing is needed to shrink further (precisely, stability turns on the sign of ). Differentiating Step 3's result, which vanishes at (excluded), , and nowhere else for . This single interior root is the marginally stable radius: For the orbit is stable (, larger needs more angular momentum, as in Kepler); for it is unstable.
Step 5 (the photon sphere from the null geodesic). For null geodesics the same substitution with gives instead with Setting the derivative of the bracket to zero, directly locates the unique radius of circular photon orbits, matching the limit found in Step 3, and it is unstable because the bracket has a local maximum, not minimum, there — any inward nudge sends the photon spiraling into the horizon, any outward nudge sends it escaping to infinity.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Charles W. Misner, Kip S. Thorne, John Archibald Wheeler (1973). Gravitation
- Roger Penrose (1965). Gravitational Collapse and Space-Time Singularities · DOI:10.1103/PhysRevLett.14.57
- B. P. Abbott et al. (LIGO Scientific Collaboration and Virgo Collaboration) (2016). Observation of Gravitational Waves from a Binary Black Hole Merger · DOI:10.1103/PhysRevLett.116.061102
- Event Horizon Telescope Collaboration (2022). First Sagittarius A* Event Horizon Telescope Results. I. The Shadow of the Supermassive Black Hole in the Center of the Milky Way · DOI:10.3847/2041-8213/ac6674
- Sergiu Klainerman, Jérémie Szeftel (2021). Kerr stability for small angular momentum · arXiv:2104.11857 [preprint, not peer-reviewed]
- Geoffrey Penington (2019). Entanglement Wedge Reconstruction and the Information Paradox · arXiv:1905.08255 [preprint, not peer-reviewed]