Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 309 / 2 / c

Since $t=u+r$, the hypersurface ${\Sigma }_t$ is an ordinary constant-Minkowski-time slice. Its future unit normal isin the $(u,r,\theta ,\varphi )$ basis. Lowering the index gives $n_a=(-1,-1,0,0)=-{\nabla }_{a}t$. Restricting the metric to $dt=du+dr=0$ gives the Euclidean spherical metricso its induced Riemannian volume form is

For $V=r{\partial }_r$, Cartan's magic formula giveswhereas contraction and exterior differentiation both vanish for $du,d\theta ,d\varphi$. ThusApplying the Lie derivative to
$g=-d{u}^2-2,du,dr+r^{2}d{\Omega }^2$ yieldsHere $n_a=-(du+dr{)}_a$ and $V_a=-r(du{)}_a$, so comparison with $2g$ givesUsing tracelessness from part (b)(i),by the dominant energy condition, because $n$ is future timelike and $V$ is future null.

The integrand defining $\epsilon (t)$ is nonnegative by the dominant energy condition, henceApply the spacetime divergence theorem to $J^a=T^{ab}{V}_b$ on the slab $S$. The flux through the cylinder at $r\to \infty$ vanishes by the stated decay. With the Lorentzian boundary orientation, the two spacelike boundary contributions givePart (ii) makes the right-hand side nonnegative, so for $t_1\ge t_0$,Therefore $\epsilon$ is a nonnegative monotone decreasing energy functional.