Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 311 / 1 / c / Solution

Contracting the Einstein field equations with the null tangent eliminates the trace term and givesby the null energy condition. The screen metric is positive definite, so ${\hat{\sigma }}_{ab}{\hat{\sigma }}^{ab}\ge 0$. The Null Raychaudhuri equation consequently impliesWhile $\theta <0$ this is equivalent toIf $heta({\lambda }_0)={\theta }_0<0$, integration givesThe right-hand side reaches zero after affine distance $2/|{\theta }_0|$. A finite negative expansion cannot pass through this value, so $heta\to -\infty$ no later than that point. This is the null focusing theorem.