Spherical null expansions in double-null coordinates (${\theta }_U=\frac{2r_{,U}}{fr},{\theta }_V=\frac{2r_{,V}}{fr}$)

For a four-dimensional spherically symmetric metric $d{s}^2=-2fdUdV+r^{2}d{\Omega }^2$, the affine null gradients are $f^{-1}{\partial }_V$ and $f^{-1}{\partial }_U$. Their null expansions are $2r_{,V}/(fr)$ and $2r_{,U}/(fr)$. Their null shear and null twist vanish because the transverse metric changes only by a common scale and the covectors are exact gradients.

The Null Raychaudhuri equation and Einstein field equations give ${\partial }_U(f^{-1}{r}_{,U})=-r{R}_{UU}/(2f)=-4\pi r{T}_{UU}/f$, with an exchanged-coordinate identity in $V$. Under the null energy condition, each rescaled radial derivative is nonincreasing along its corresponding future null direction.

In a regular double-null region satisfying the null energy condition, an initially negative $r_{,U}$ on a Cauchy hypersurface remains negative in its future domain of dependence. If both spherical null expansions are negative at one sphere, the exchanged-coordinate focusing inequality preserves the other sign along its future outgoing null direction. Every later sphere that still exists there remains a trapped surface.