Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 311 / 3 / b / ii

For a regular causal curve, orient its tangent $Z$ toward the future; reversing its parametrization does not change $d\varphi /dt$. Since $dt(Z)>0$, use $t$ as parameter and set $\Omega =d\varphi /dt$. The causal inequality givesBoth transverse terms are nonnegative in the exterior, so necessarilyBecause $g_{\varphi \varphi }>0$ and the discriminant is $4D>0$, this is equivalent toEquality requires $dr/dt=d\theta /dt=0$ and a null tangent. The limiting vectors are the two local azimuthal null directions; a curve following one at constant radius need not be a null geodesic. For a curve with radial or polar motion these angular bounds are necessary, while the full causal inequality can impose stricter bounds.