Solution

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

For the spherical null expansions in double-null coordinates, the cross-sectional area of a symmetry sphere is . For the two affine null geodesic congruences, the definition of null expansion therefore gives
There is no extra derivative of in these formulas: the null expansion differentiates the transverse area, not the normalization of the tangent. Equivalently, the projected metric is and its optical tensor is , or for the other congruence. It is purely trace, so both null shears vanish.
The null twist vanishes because the covector tangents are gradients of and , and hence their exterior derivatives vanish. Each congruence is orthogonal to a family of null hypersurfaces. This also identifies the Frobenius theorem reason for zero null twist.

New to topics? Read the docs here!