Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2011/ii/paper-4/36d/solution

Put . An incoming radial null ray has . The tortoise coordinate obeys , so is constant along such a ray. For this is exactly the printed logarithm. Substituting gives the metric in ingoing Eddington-Finkelstein coordinates
The radial null directions satisfy either or . Future-directed ingoing rays have decreasing on the first family. Outgoing rays increase outside the horizon, stay at on its generators, and decrease inside. Thus inside the horizon every future timelike trajectory also moves toward smaller .
The metric block has determinant minus one and is nonsingular at . The horizon is a null surface, not a curvature singularity. For example the Kretschmann scalar is finite there and diverges at .
Inside, set . For radial timelike motion, the Schwarzschild expression becomes , hence
Angular motion would only reduce the available proper time further. Integrating from the horizon to zero, with , gives
The bound is sharp for the zero-energy radial geodesic with constant Schwarzschild in the interior. For a geodesic arriving from the exterior with strictly positive conserved energy, the proper time is strictly smaller; is the supremum as that energy tends to zero. Thus the universally available horizon-to-singularity upper bound is , rather than a time attainable by every exterior infaller. Restoring units gives .

New to topics? Read the docs here!