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 — a star, or a black hole — spacetime has the metric found by Karl Schwarzschild:
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 )
Here (from 0 at the north pole to at the south pole) and (from 0 to , like longitude) are ordinary polar angles. Some features:
- No mass, no gravity. Set 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 vanishes at the Schwarzschild radius
In words
r sub s equals 2GM over c squared
where the coefficient becomes 0 and the 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, is special: it is the horizon. Anything that falls inside can never get out again (stated, not shown, in the lecture).
For the Sun, 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 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 and let it fall straight in. By symmetry it cannot drift in or , so only and change. Write . Dividing the metric by (with ) gives one equation relating the two rates:
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
So once is known, follows. For , take the component of the geodesic equation. The metric is diagonal, so only survives on the left, and on the right only and depend on :
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
with and . Expanding the left side, solving for and replacing by the previous equation is tedious, but a string of cancellations leaves something remarkably simple:
In words
d squared r over d tau squared equals minus GM over r squared
Newton's law — with new meanings#
This is Newton's law of gravity, letter for letter. But the symbols mean different things.
- is not the distance from the centre. For a black hole that distance isn't even defined: getting to means passing the singularity. What does measure is circumference: the angular part of the metric is , as in flat space, so a circle at fixed is around. That is why is called the circumferential radius.
- 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 (conservation of energy), and at the release point the bracket is . Hence
In words
dr over d tau equals minus the square root of 2GM (r sub 0 minus r) over r r sub 0
Separating variables and integrating gives the proper time to fall from to (the inverse, , has no closed form):
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) ]
It is 0 at and grows as the object falls. Nothing special happens at , and even at the answer is finite: by its own watch, the object falls through the horizon and reaches the centre in a finite time. There, 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 , 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, , with from the metric equation above:
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
Near the horizon blows up, and the term dominates the denominator. Then cancels, leaving (Guth gives only in magnitude; it is negative, since the object falls in)
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 )
(The approximation only holds near , so the lower limit of the integral is left open: only the behaviour as matters.) As approaches , the logarithm goes to and to . Seen from outside, the object never reaches the horizon; it creeps ever closer.
Dropped towards a ten-solar-mass black hole
An object is released from rest at 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
km, so the natural time unit is s. With the formulas need only .
To the centre
At the arctangent is and the second term vanishes: ms.
To the horizon
At : ms. So the trip from the horizon to the singularity takes only about 0.068 ms.
Outside
A distant observer sees the object reach after 5.27 ms and after 5.89 ms, and then slow to a crawl: every further factor of 10 closer to costs another 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 . In classical general relativity the black hole described here is stable, and the infalling object passes the horizon without incident.
Summary#
- The Schwarzschild metric , , describes spacetime outside any spherical mass.
- At (2.95 km for the Sun) the metric has a removable coordinate singularity; for a black hole it is the horizon. is a true singularity.
- Radial free fall gives : Newton's form, but with the faller's proper time and the circumferential radius.
- By its own watch the object reaches the centre in finite time, ; in the outside time it never reaches the horizon.