Free coursewareRewritten from MIT OpenCourseWareCC BY-NC-SA 4.0
Open CosmologyPhysics & cosmology: four years, plus a graduate year

Falling into a black hole

The geodesic equation applied to the Schwarzschild metric — an object dropped towards a black hole reaches the centre in finite proper time, yet seen from outside never even reaches the horizon.

You need this first

Full reading path (24 pages)
  1. Vectors (8.01)
  2. Position and velocity in one dimension (8.01)
  3. The Doppler effect and special relativity (8.286)
  4. Acceleration in one dimension (8.01)
  5. Motion in two dimensions and projectiles (8.01)
  6. Newton's laws of motion (8.01)
  7. The universal law of gravitation (8.01)
  8. The homogeneous expanding universe (8.286)
  9. Why a static universe cannot work (8.286)
  10. The expanding sphere and the equation for a(t) (8.286)
  11. The Friedmann equation (8.286)
  12. Open, closed and flat universes (8.286)
  13. The closed universe as a cycloid (8.286)
  14. The age of the universe and the Big Bang singularity (8.286)
  15. The age of a closed universe from H and Ω (8.286)
  16. The open universe and the age of any matter universe (8.286)
  17. Non-Euclidean geometry (8.286)
  18. The metric of a sphere and of a closed universe (8.286)
  19. Curvature and expansion — the Robertson–Walker metric (8.286)
  20. The geometry of open universes (8.286)
  21. The spacetime interval (8.286)
  22. The spacetime metric of the universe (8.286)
  23. The geodesic equation (8.286)
  24. Simplifying the geodesic equation (8.286)
On this page · 6 sections
  1. The Schwarzschild metric
  2. Setting up the radial fall
  3. Newton's law — with new meanings
  4. The view from outside
  5. Two times, two stories
  6. Summary

To try the geodesic equation on an example, Guth leaves cosmology for a lecture and turns to a metric he calls fun to talk about: the one around a black hole, where "the most surprises lie". (The Robertson–Walker case is left to the homework.) The calculation is short, the answer looks exactly like Newton's, and yet it contains a famous paradox.

The Schwarzschild metric#

Outside any spherically symmetric body of mass MM — a star, or a black hole — spacetime has the metric found by Karl Schwarzschild:

Schwarzschild metric
ds2≡−c2dτ2=−(1−2GMrc2)c2 dt2+(1−2GMrc2)−1dr2+r2(dθ2+sin⁡2θ dϕ2)ds^2 \equiv -c^2 d\tau^2 = -\left(1 - \frac{2GM}{rc^2}\right)c^2\,dt^2 + \left(1 - \frac{2GM}{rc^2}\right)^{-1}dr^2 + r^2\left(d\theta^2 + \sin^2\theta\,d\phi^2\right)
In words

ds squared is defined as minus c squared d tau squared equals minus (1 minus 2GM over rc squared )c squared dt squared plus (1 minus 2GM over rc squared ) to the power minus 1 dr squared plus r squared (d theta squared plus sine squared theta d phi squared )

Source: 8.286 Lecture 14 transcript, p. 13 (board); the inverse power was added on p. 14

Here θ\theta (from 0 at the north pole to π\pi at the south pole) and ϕ\phi (from 0 to 2π2\pi, like longitude) are ordinary polar angles. Some features:

  • No mass, no gravity. Set M=0M = 0 and this is the Minkowski metric of special relativity in spherical coordinates.
  • Only the mass matters. As in Newtonian gravity, the field outside a spherical body depends on its total mass, not on how the mass is spread out.
  • A special radius. The factor 1−2GM/(rc2)1 - 2GM/(rc^2) vanishes at the Schwarzschild radius
Schwarzschild radius
rs=2GMc2r_s = \frac{2GM}{c^2}
In words

r sub s equals 2GM over c squared

Source: 8.286 Lecture 14 transcript, p. 14 (board)

where the dt2dt^2 coefficient becomes 0 and the dr2dr^2 coefficient infinite.

A metric component that is zero or infinite is called a singularity, but this one is removable: it is caused only by Schwarzschild's (sensible, simple) choice of coordinates. Other coordinates, best known today the Kruskal coordinates, show nothing singular there. Still, rsr_s is special: it is the horizon. Anything that falls inside can never get out again (stated, not shown, in the lecture).

For the Sun, rs≈2.95r_s \approx 2.95 km. But at 2.95 km from the Sun's centre you are deep inside the Sun, where the Schwarzschild metric does not apply, so the Sun has no horizon. Only a body squeezed inside its own rsr_s has one. Answering questions, Guth adds that a very dense spot inside a star could in principle form a horizon (it would not be stable: the material would fall in). A student points out that our Galaxy has a supermassive black hole at its centre, with matter outside it that keeps falling in, and Guth agrees.

Setting up the radial fall#

Release an object at rest at radius r0r_0 and let it fall straight in. By symmetry it cannot drift in θ\theta or ϕ\phi, so only rr and tt change. Write h(r)=1−rs/r=1−2GM/(rc2)h(r) = 1 - r_s/r = 1 - 2GM/(rc^2). Dividing the metric by dτ2d\tau^2 (with dθ=dϕ=0d\theta = d\phi = 0) gives one equation relating the two rates:

The metric along the path
c2=h(r) c2(dtdτ)2−h−1(r)(drdτ)2⟺c2(dtdτ)2=c2h−1(r)+h−2(r)(drdτ)2c^2 = h(r)\,c^2\left(\frac{dt}{d\tau}\right)^2 - h^{-1}(r)\left(\frac{dr}{d\tau}\right)^2 \quad\Longleftrightarrow\quad c^2\left(\frac{dt}{d\tau}\right)^2 = c^2 h^{-1}(r) + h^{-2}(r)\left(\frac{dr}{d\tau}\right)^2
In words

c squared equals h(r) c squared ( dt over d tau ) squared minus h to the power minus 1 (r) ( dr over d tau ) squared is equivalent to c squared ( dt over d tau ) squared equals c squared h to the power minus 1 (r) plus h to the power minus 2 (r) ( dr over d tau ) squared

Source: 8.286 Lecture 14 transcript, p. 18 (board)

So once dr/dτdr/d\tau is known, dt/dτdt/d\tau follows. For dr/dτdr/d\tau, take the μ=r\mu = r component of the geodesic equation. The metric is diagonal, so only ν=r\nu = r survives on the left, and on the right only grrg_{rr} and gttg_{tt} depend on rr:

The r component of the geodesic equation
ddτ[grr drdτ]=12 ∂rgrr(drdτ)2+12 ∂rgtt(dtdτ)2\frac{d}{d\tau}\left[g_{rr}\,\frac{dr}{d\tau}\right] = \frac12\,\partial_r g_{rr}\left(\frac{dr}{d\tau}\right)^2 + \frac12\,\partial_r g_{tt}\left(\frac{dt}{d\tau}\right)^2
In words

d over d tau [g sub rr dr over d tau ] equals one half partial sub r g sub rr ( dr over d tau ) squared plus one half partial sub r g sub tt ( dt over d tau ) squared

Source: 8.286 Lecture 14 transcript, p. 19 (board)

with grr=h−1g_{rr} = h^{-1} and gtt=−h c2g_{tt} = -h\,c^2. Expanding the left side, solving for d2r/dτ2d^2r/d\tau^2 and replacing dt/dτdt/d\tau by the previous equation is tedious, but a string of cancellations leaves something remarkably simple:

Radial free fall
d2rdτ2=−GMr2\frac{d^2 r}{d\tau^2} = -\frac{GM}{r^2}
In words

d squared r over d tau squared equals minus GM over r squared

Source: 8.286 Lecture 14 transcript, p. 20 (board)

Newton's law — with new meanings#

This is Newton's law of gravity, letter for letter. But the symbols mean different things.

  • rr is not the distance from the centre. For a black hole that distance isn't even defined: getting to r=0r = 0 means passing the singularity. What rr does measure is circumference: the angular part of the metric is r2(dθ2+sin⁡2θ dϕ2)r^2(d\theta^2 + \sin^2\theta\,d\phi^2), as in flat space, so a circle at fixed rr is 2πr2\pi r around. That is why rr is called the circumferential radius.
  • τ\tau is not Newton's universal time. It is the proper time along the geodesic: the time on the falling object's own watch.

Because the form is Newtonian, the 8.01 trick works. The equation says ddτ[12(drdτ)2−GMr]=0\frac{d}{d\tau}\left[\frac12\left(\frac{dr}{d\tau}\right)^2 - \frac{GM}{r}\right] = 0 (conservation of energy), and at the release point the bracket is −GM/r0-GM/r_0. Hence

Infall speed
drdτ=−2GM (r0−r)r r0\frac{dr}{d\tau} = -\sqrt{\frac{2GM\,(r_0 - r)}{r\,r_0}}
In words

dr over d tau equals minus the square root of 2GM (r sub 0 minus r) over r r sub 0

Source: 8.286 Lecture 14 transcript, p. 21 (board)

Separating variables and integrating gives the proper time to fall from r0r_0 to rr (the inverse, r(τ)r(\tau), has no closed form):

Proper time of the fall
τ(r)=r02GM[r0tan⁡−1r0−rr+r (r0−r)]\tau(r) = \sqrt{\frac{r_0}{2GM}}\left[r_0\tan^{-1}\sqrt{\frac{r_0 - r}{r}} + \sqrt{r\,(r_0 - r)}\right]
In words

tau (r) equals the square root of r sub 0 over 2GM [r sub 0 inverse tan the square root of r sub 0 minus r over r plus the square root of r (r sub 0 minus r) ]

Source: 8.286 Lecture 14 transcript, p. 22 (board)

It is 0 at r=r0r = r_0 and grows as the object falls. Nothing special happens at rsr_s, and even at r=0r = 0 the answer is finite: by its own watch, the object falls through the horizon and reaches the centre in a finite time. There, r=0r = 0 is a true singularity. Approaching it, the tidal forces — the difference in pull between the front and back of the object — grow without limit and stretch it out along its motion: it is "spaghettified".

The view from outside#

Now describe the same fall in the Schwarzschild coordinate time tt, the external time variable of the metric (far from the hole it runs at the rate of a distant observer's clock). By the chain rule, dr/dt=(dr/dτ)/(dt/dτ)dr/dt = (dr/d\tau)/(dt/d\tau), with dt/dτdt/d\tau from the metric equation above:

Rate of fall in outside time
drdt=dr/dτh−1(r)+c−2 h−2(r)(dr/dτ)2\frac{dr}{dt} = \frac{dr/d\tau}{\sqrt{h^{-1}(r) + c^{-2}\,h^{-2}(r)\left(dr/d\tau\right)^2}}
In words

dr over dt equals dr/d tau over the square root of h to the power minus 1 (r) plus c to the power minus 2 h to the power minus 2 (r) (dr/d tau ) squared

Source: 8.286 Lecture 14 transcript, p. 23 (board)

Near the horizon h−1=r/(r−rs)≈rs/(r−rs)h^{-1} = r/(r - r_s) \approx r_s/(r - r_s) blows up, and the h−2h^{-2} term dominates the denominator. Then dr/dτdr/d\tau cancels, leaving (Guth gives dr/dtdr/dt only in magnitude; it is negative, since the object falls in)

Near the horizon
drdt≈− c r−rsrs,t(r)≈−rsc∫rdr′r′−rs≈−rsc ln⁡(r−rs)\frac{dr}{dt} \approx -\,c\,\frac{r - r_s}{r_s}, \qquad t(r) \approx -\frac{r_s}{c}\int^{r}\frac{dr'}{r' - r_s} \approx -\frac{r_s}{c}\,\ln(r - r_s)
In words

dr over dt is approximately minus c r minus r sub s over r sub s , t(r) is approximately minus r sub s over c the integral of to the power r dr prime over r prime minus r sub s is approximately minus r sub s over c log (r minus r sub s )

Source: 8.286 Lecture 14 transcript, p. 24 (board)

(The approximation only holds near rsr_s, so the lower limit of the integral is left open: only the behaviour as r→rsr \to r_s matters.) As rr approaches rsr_s, the logarithm goes to −∞-\infty and tt to +∞+\infty. Seen from outside, the object never reaches the horizon; it creeps ever closer.

Both curves are computed exactly, using the cycloid form of the solution: r = (r₀/2)(1 + cos η), τ = √(r₀³/8GM)(η + sin η), and the matching closed form for t (checked against a numerical integration of dt/dr). For r₀ = 10 r_s the falling watch reads 48.99 r_s/c at the horizon and 49.67 r_s/c at r = 0. The outside time keeps growing: 53.5 at r = 2 r_s, 59.8 at 1.01 r_s, 62.2 at 1.001 r_s — about ln 10 ≈ 2.3 more for each factor of 10 closer, without end.
Worked example

Dropped towards a ten-solar-mass black hole

An object is released from rest at r0=10 rsr_0 = 10\,r_s outside a black hole of 10 solar masses. How long does the fall take by the object's own watch, to the horizon and to the centre? What does a distant observer see?

Scale

rs=2GM/c2=29.5r_s = 2GM/c^2 = 29.5 km, so the natural time unit is rs/c=9.85×10−5r_s/c = 9.85 \times 10^{-5} s. With 2GM=rsc22GM = r_s c^2 the formulas need only r/rsr/r_s.

To the centre

At r=0r = 0 the arctangent is π/2\pi/2 and the second term vanishes: τ=π2r03/(2GM)=π2r0cr0rs=49.67 rs/c≈4.89\tau = \frac{\pi}{2}\sqrt{r_0^3/(2GM)} = \frac{\pi}{2}\frac{r_0}{c}\sqrt{\frac{r_0}{r_s}} = 49.67\,r_s/c \approx 4.89 ms.

To the horizon

At r=rsr = r_s: τ=10 [10tan⁡−13+3]rs/c=48.99 rs/c≈4.83\tau = \sqrt{10}\,\left[10\tan^{-1}3 + 3\right]r_s/c = 48.99\,r_s/c \approx 4.83 ms. So the trip from the horizon to the singularity takes only about 0.068 ms.

Outside

A distant observer sees the object reach 2 rs2\,r_s after 5.27 ms and 1.01 rs1.01\,r_s after 5.89 ms, and then slow to a crawl: every further factor of 10 closer to rsr_s costs another (rs/c)ln⁡10≈0.23(r_s/c)\ln 10 \approx 0.23 ms. It never reaches the horizon.

Two times, two stories#

How can the fall be over in 5 ms for the object but never finish for the outside observer? In general relativity time is measured locally: you measure your time, I measure mine, and they need not agree — here, by an infinite amount.

According to classical general relativity, nothing special happens to the object as it crosses the horizon. In 2013 Guth called this "controversial": attempts to include quantum theory had suggested that something dramatic — a firewall — might happen at the horizon. That question was, in his words, not settled. Any such effect would be quantum mechanical, like Hawking's 1974 result that black holes evaporate, which Guth notes would vanish as ℏ→0\hbar \to 0. In classical general relativity the black hole described here is stable, and the infalling object passes the horizon without incident.

Summary#

  • The Schwarzschild metric ds2=−h c2dt2+h−1dr2+r2(dθ2+sin⁡2θ dϕ2)ds^2 = -h\,c^2dt^2 + h^{-1}dr^2 + r^2(d\theta^2 + \sin^2\theta\,d\phi^2), h=1−2GM/(rc2)h = 1 - 2GM/(rc^2), describes spacetime outside any spherical mass.
  • At rs=2GM/c2r_s = 2GM/c^2 (2.95 km for the Sun) the metric has a removable coordinate singularity; for a black hole it is the horizon. r=0r = 0 is a true singularity.
  • Radial free fall gives d2r/dτ2=−GM/r2d^2r/d\tau^2 = -GM/r^2: Newton's form, but with τ\tau the faller's proper time and rr the circumferential radius.
  • By its own watch the object reaches the centre in finite time, π2r03/(2GM)\frac{\pi}{2}\sqrt{r_0^3/(2GM)}; in the outside time t≈−(rs/c)ln⁡(r−rs)t \approx -(r_s/c)\ln(r - r_s) it never reaches the horizon.

Symbols on this page

Show the 21 symbols used here
θ\theta theta
Polar angle: measured from the north pole (0) to the south pole (π). Say it: “theta” (sounds like “thay-ta or thee-ta”).
μ\mu mu
A spacetime index, running over 0 (time) and 1, 2, 3 (space). Say it: “mu” (sounds like “myoo”).
ν\nu nu
A spacetime index, running over 0–3. Say it: “nu” (sounds like “new”).
π\pi pi
The ratio of a circle's circumference to its diameter, π ≈ 3.14159. Say it: “pi”.
τ\tau tau
Proper time: the time measured by a clock moving with the object. Say it: “tau” (sounds like “rhymes with cow”).
ϕ\phi phi
Azimuthal angle (longitude), running from 0 to 2π around the axis. Say it: “phi” (sounds like “fye”).
ℏ\hbar h-bar
The reduced Planck constant, ħ = h/2π ≈ 1.055 × 10⁻³⁴ J·s. Say it: “h bar”.
∞\infty infinity
Infinity: larger than any number. Say it: “infinity”.
≈\approx approximately equal
Is approximately equal to. Say it: “is approximately”.
≡\equiv identical to
Is defined as (or is identically equal to). Say it: “is defined as”.
→\to arrow
Goes to (tends to), or becomes. Say it: “goes to”.
⟺\Longleftrightarrow if and only if
If and only if: each statement implies the other. Say it: “is equivalent to”.
×\times times
Times (multiplication). Between two vectors: the cross product. Say it: “times”.
∂\partial partial
Partial derivative: the rate of change with one variable, holding the others fixed. Say it: “partial”.
∫\int integral
Integral: the sum of infinitely many small pieces, such as the area under a curve. Say it: “the integral of”.
sin⁡\sin sine
Sine of an angle. Say it: “sine”.
tan⁡\tan tangent
Tangent of an angle, sin/cos. Say it: “tan”.
ln⁡\ln natural logarithm
Natural logarithm (base e ≈ 2.718). Say it: “log”.
GG G
Newton's gravitational constant, G ≈ 6.674 × 10⁻¹¹ m³ kg⁻¹ s⁻². Say it: “G”.
cc c
The speed of light, c ≈ 2.998 × 10⁸ m/s. Say it: “c”.
rsr_{s} Schwarzschild radius
The Schwarzschild radius, 2GM/c²: the horizon of a black hole. Say it: “r s”.

Tap or click a symbol in a formula to see the same explanation. All symbols: symbols and notation.

Where this leads

Pages that build on this

Check your understanding

  1. What is the Schwarzschild radius of a body of mass MM?
  2. Why does the Sun have no horizon although its Schwarzschild radius is 2.95 km?
  3. For radial infall the geodesic equation gives d2r/dτ2=−GM/r2d^2r/d\tau^2 = -GM/r^2. How does this differ from Newton?
  4. An object is dropped from rest at r0=10 rsr_0 = 10\,r_s near a black hole of 10 solar masses (rs≈29.5r_s \approx 29.5 km). Roughly how long does it take, by its own watch, to reach r=0r = 0?
  5. Seen in the Schwarzschild time tt, how does the falling object approach the horizon?
0 of 5 answered

Flashcards

1 / 4

Credits and license

This page is a rewritten explanation based on MIT 8.286 Lecture 14: The Geodesic Equation from MIT 8.286 The Early Universe (Fall 2013), taught by Prof. Alan Guth, published on MIT OpenCourseWare under CC BY-NC-SA 4.0.

MIT readings used: 8.286 Lecture 14 transcript.

MIT and the instructors do not endorse this site. All diagrams and plots on this page are generated by this site. This page is licensed CC BY-NC-SA 4.0: you may share and adapt it for non-commercial use with attribution, under the same license.