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 $B^a{}_b={\nabla }_b{U}^a$. Differentiating along a ray and commuting covariant derivatives givesusing $[{\nabla }_c,{\nabla }_b]V^a=R^a{}_{dcb}{V}^d$. The geodesic acceleration term vanishes. Since $U$ is null and affine, $B^a{}_b{U}^b=0$ and $U_a{B}^a{}_b=0$. Its trace is therefore the screen trace $\theta$, and the trace of its square equals that of the optical tensor squared. Taking the trace, with $R_{db}=R^a{}_{dab}$, yieldsNow 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 ${\hat{\omega }}_{ab}{\hat{\omega }}^{ba}=-{\hat{\omega }}_{ab}{\hat{\omega }}^{ab}$. HenceSubstitution 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.