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 valueSince , , 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 implyTherefore , , 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.
Articles by others on the same topic
There are currently no matching articles.