Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-52/2/a/ii/solution

Choose a local transverse three-dimensional section of the null geodesic congruence and a future unit timelike vector on it. Orient to the future and put . On that section define a parallel auxiliary null vector by the initial value
Since , , and , direct contraction gives and .
Extend along each generator by parallel transport, solving with those initial values. The geodesic equation and compatibility of the Levi-Civita connection imply
Therefore , , and hold throughout the local congruence. Smooth initial data and the transport equation give a smooth field up to the breakdown of the congruence at caustics. An arbitrary pointwise choice of away from the initial section would not automatically have this transport property.

New to topics? Read the docs here!