MathLabs
TheoremProved

The photon sphere and the innermost stable circular orbit

Statement

For a Schwarzschild black hole, circular photon orbits exist only at rph=32rs=3GMc2r_{\text{ph}} = \dfrac{3}{2}r_s = \dfrac{3GM}{c^2} always unstable; circular massive-particle orbits are stable only for r≥rISCOr \ge r_{\text{ISCO}}, marginally stable at rISCO=3rs=6GMc2r_{\text{ISCO}} = 3r_s = \dfrac{6GM}{c^2} and unstable for 3rs/2<r<3rs3r_s/2<r<3r_s.

Why is it true?

Think of radial motion as a ball rolling in a one-dimensional potential well Veff(r)V_{\text{eff}}(r): circular orbits sit where the well is flat (dVeff/dr=0dV_{\text{eff}}/dr=0), and they are stable only where the well curves upward (d2Veff/dr2>0d^2V_{\text{eff}}/dr^2>0) rather than downward. Because the relativistic potential has an extra 1/r31/r^3 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 κ=−c2\kappa=-c^2, or null κ=0\kappa=0) confined to the equatorial plane θ=π/2\theta=\pi/2, the metric's independence of tt and ϕ\phi gives two conserved quantities E~=(1−rs/r)c2t˙\tilde E = (1-r_s/r)c^2\dot t and L~=r2ϕ˙\tilde L = r^2\dot\phi (dot =d/dτ=d/d\tau). Substituting these into the normalization gμνx˙μx˙ν=κg_{\mu\nu}\dot x^\mu\dot x^\nu=\kappa and simplifying yields, for timelike motion, (drdτ)2=E~2−(1−rsr)(c2+L~2r2)≡E~2−Veff2(r)\left(\frac{dr}{d\tau}\right)^2 = \tilde E^2 - \left(1-\frac{r_s}{r}\right)\left(c^2+\frac{\tilde L^2}{r^2}\right) \equiv \tilde E^2 - V^2_{\text{eff}}(r)

Step 2 (circular-orbit condition). Expanding gives Veff2(r)=c2−c2rsr+L~2r2−L~2rsr3V^2_{\text{eff}}(r) = c^2 - \frac{c^2 r_s}{r} + \frac{\tilde L^2}{r^2} - \frac{\tilde L^2 r_s}{r^3} A circular orbit has constant rr, i.e. dr/dτ=0dr/d\tau=0 at all times, which requires both E~2=Veff2(r)\tilde E^2=V^2_{\text{eff}}(r) and (so that rr does not drift away) dVeff2/dr=0dV^2_{\text{eff}}/dr=0: ddrVeff2=c2rsr2−2L~2r3+3L~2rsr4=0\frac{d}{dr}V^2_{\text{eff}} = \frac{c^2 r_s}{r^2} - \frac{2\tilde L^2}{r^3} + \frac{3\tilde L^2 r_s}{r^4} = 0

Step 3 (solve for the angular momentum of a circular orbit). Multiplying through by r4r^4 and solving for L~2\tilde L^2 gives the angular momentum needed to sustain a circular orbit at radius rr: L~2(r)=c2rsr22r−3rs\tilde L^2(r) = \frac{c^2 r_s r^2}{2r-3r_s} This already carries information about the photon sphere: as r→(3/2)rsr\to (3/2)r_s from above, the denominator 2r−3rs→0+2r-3r_s\to0^+ and L~2→+∞\tilde L^2\to+\infty — 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 rr decreases from infinity, L~2(r)\tilde L^2(r) first decreases, reaches a minimum, then blows up at r=3rs/2r=3r_s/2; a circular orbit is stable exactly where increasing L~2\tilde L^2 is needed to shrink rr further (precisely, stability turns on the sign of dL~2/drd\tilde L^2/dr). Differentiating Step 3's result, dL~2dr=2c2rs r(r−3rs)(2r−3rs)2\frac{d\tilde L^2}{dr} = \frac{2c^2 r_s\,r(r-3r_s)}{(2r-3r_s)^2} which vanishes at r=0r=0 (excluded), r=3rsr=3r_s, and nowhere else for r>3rs/2r>3r_s/2. This single interior root is the marginally stable radius: rISCO=3rs=6GMc2r_{\text{ISCO}} = 3r_s = \dfrac{6GM}{c^2} For r>3rsr>3r_s the orbit is stable (dL~2/dr>0d\tilde L^2/dr>0, larger rr needs more angular momentum, as in Kepler); for 3rs/2<r<3rs3r_s/2<r<3r_s it is unstable.

Step 5 (the photon sphere from the null geodesic). For null geodesics the same substitution with κ=0\kappa=0 gives instead (drdλ)2=E2−L2r2(1−rsr)≡E2−Vγ2(r)\left(\frac{dr}{d\lambda}\right)^2 = E^2 - \frac{L^2}{r^2}\left(1-\frac{r_s}{r}\right) \equiv E^2 - V^2_{\gamma}(r) with Vγ2(r)=L2(1r2−rsr3)V^2_\gamma(r) = L^2\left(\frac{1}{r^2}-\frac{r_s}{r^3}\right) Setting the derivative of the bracket to zero, ddr(1r2−rsr3)=−2r3+3rsr4=0  ⟹  r=3rs2\frac{d}{dr}\left(\frac{1}{r^2}-\frac{r_s}{r^3}\right) = -\frac{2}{r^3}+\frac{3r_s}{r^4}=0 \;\Longrightarrow\; r=\frac{3r_s}{2} directly locates the unique radius of circular photon orbits, rph=32rs=3GMc2r_{\text{ph}} = \dfrac{3}{2}r_s = \dfrac{3GM}{c^2} matching the limit found in Step 3, and it is unstable because the bracket 1/r2−rs/r31/r^2-r_s/r^3 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

  1. Charles W. Misner, Kip S. Thorne, John Archibald Wheeler (1973). Gravitation
  2. Roger Penrose (1965). Gravitational Collapse and Space-Time Singularities · DOI:10.1103/PhysRevLett.14.57
  3. 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
  4. 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
  5. Sergiu Klainerman, Jérémie Szeftel (2021). Kerr stability for small angular momentum · arXiv:2104.11857 [preprint, not peer-reviewed]
  6. Geoffrey Penington (2019). Entanglement Wedge Reconstruction and the Information Paradox · arXiv:1905.08255 [preprint, not peer-reviewed]