Double-null focusing identity (source code)

= Double-null focusing identity
{title2=$\partial_U(f^{-1}r_{,U})=-\frac{4\pi r}{f}T_{UU}$}

The <Null Raychaudhuri equation> and <Einstein field equations> give $\partial_U(f^{-1}r_{,U})=-rR_{UU}/(2f)=-4\pi rT_{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.