MathLabs
TheoremProved

Einstein's light-deflection formula

Statement

A light ray passing a mass MM with impact parameter b≫rsb\gg r_s (closest approach far outside the horizon) is deflected, to leading order, by the angle Δϕ=4GMc2b\Delta\phi = \dfrac{4GM}{c^2 b} — exactly twice the Newtonian 2GM/(c2b)2GM/(c^2b) a naive corpuscular calculation would predict.

Why is it true?

Newtonian gravity, treated as a force on a fast-moving particle, predicts some bending, but it only accounts for the curvature of time (clocks run slow near mass). General relativity adds an equal contribution from the curvature of space (rulers shrink radially near mass), and the two effects add, doubling the deflection — the numerical factor that let the 1919 eclipse expedition distinguish Einstein's theory from Newton's.

Proof sketch

Step 1 (the orbit equation for light). For a null geodesic confined to the equatorial plane, the same conserved quantities E=(1−rs/r)c2t˙E=(1-r_s/r)c^2\dot t and L=r2ϕ˙L=r^2\dot\phi used for the photon sphere, substituted into gμνx˙μx˙ν=0g_{\mu\nu}\dot x^\mu\dot x^\nu=0 and converted from τ\tau-derivatives to a ϕ\phi-derivative of u≡1/ru\equiv1/r (using r˙=−L du/dϕ\dot r = -L\,du/d\phi), give after one more differentiation the standard light-bending orbit equation d2udϕ2+u=3rs2u2,u≡1r\frac{d^2u}{d\phi^2}+u = \frac{3r_s}{2}u^2, \qquad u\equiv\frac1r

Step 2 (zeroth order: the straight line). Dropping the right-hand side (setting rs=0r_s=0, flat spacetime) gives u0′′+u0=0u_0''+u_0=0, whose solution passing at closest distance bb at ϕ=π/2\phi=\pi/2 is the straight line u0(ϕ)=sin⁡ϕbu_0(\phi) = \frac{\sin\phi}{b} — the undeflected path in polar form.

Step 3 (first-order perturbation). Write u=u0+rsu1u=u_0+r_s u_1 and substitute into Step 1's equation, keeping only terms linear in rsr_s; the u0′′+u0=0u_0''+u_0=0 part cancels and what remains is a driven linear oscillator for u1u_1: u1′′+u1=32b2sin⁡2ϕu_1''+u_1 = \frac{3}{2b^2}\sin^2\phi A particular solution matching the symmetric bending expected on both sides of closest approach is u1(ϕ)=12b2(1+cos⁡2ϕ)u_1(\phi) = \frac{1}{2b^2}\left(1+\cos^2\phi\right) so the full first-order trajectory is u(ϕ)=sin⁡ϕb+rs2b2(1+cos⁡2ϕ)u(\phi) = \frac{\sin\phi}{b} + \frac{r_s}{2b^2}\left(1+\cos^2\phi\right)

Step 4 (extract the total bending angle). Flat space has u→0u\to0 exactly at ϕ=0\phi=0 and ϕ=π\phi=\pi; with the rsr_s correction, u→0u\to0 at ϕ=−δ1\phi=-\delta_1 and ϕ=π+δ2\phi=\pi+\delta_2 for small δ1,δ2\delta_1,\delta_2. Expanding u(−δ1)=0u(-\delta_1)=0 to first order in δ1\delta_1 and rsr_s gives −δ1/b+rs/b2=0-\delta_1/b+r_s/b^2=0, so δ1=rs/b\delta_1=r_s/b; the same computation at the other end gives δ2=rs/b\delta_2=r_s/b. The total angle by which the outgoing asymptote misses being exactly antiparallel to the incoming one is Δϕ=δ1+δ2=2rsb=4GMc2b\Delta\phi = \delta_1+\delta_2 = \frac{2r_s}{b} = \frac{4GM}{c^2 b} which, restoring rs=2GM/c2r_s=2GM/c^2, is the claimed formula.

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]