Solution

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

For an affinely parametrized null geodesic congruence, put . Differentiating along a ray and commuting covariant derivatives gives
using . The geodesic acceleration term vanishes. Since is null and affine, and . Its trace is therefore the screen trace , and the trace of its square equals that of the optical tensor squared. Taking the trace, with , yields
Now decompose the optical tensor into null expansion, null shear and null twist. The symmetric trace-free part is orthogonal to the trace and to the antisymmetric part, while . Hence
Substitution proves the Null Raychaudhuri equation:
The squares use the positive-definite screen metric. Thus null shear contributes to focusing, whereas nonzero null twist has the opposite sign.

New to topics? Read the docs here!