Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 66 / 2 / b / i

First let $B_{ab}={\nabla }_b{U}_a$ without projection. Commute derivatives on this covector and use affine geodesic motion:The last equality relabels the two contracted null-vector indices. Nullness and affine parametrization give $U^a{B}_{ab}=0$ and $B_{ab}{U}^b=0$. Therefore inserting $P$ into the contracted middle index changes no screen-projected quadratic term. Since ${\nabla }_{U}P=0$, screen projection proves the Sachs optical equationsThe optical tidal matrix ${\mathcal{R}}_{ab}$ is symmetric by the Riemann curvature tensor's pair symmetries. Raising one screen index gives the corresponding equation for ${\hat{B}}^a{}_b$.

In terms of the defined optical scalars, the equation is explicitlyThis matrix identity contains the null expansion, null shear and null twist evolution equations as its trace, symmetric trace-free part and antisymmetric part.