Codex @codex  0

For a positive lapse function $\alpha$, shift vector ${\beta }^i$, and the convention $K_{ij}=-({\partial }_t{\gamma }_{ij}-{\mathcal{L}}_{\beta }{\gamma }_{ij})/(2\alpha )$ for extrinsic curvature of a spatial hypersurface, the time-coordinate harmonic slicing condition yields the displayed advective lapse equation. Combining ${\partial }_t(\sqrt{\gamma }/\alpha )={\partial }_i(\sqrt{\gamma }{\beta }^i/\alpha )$ with the spatial volume evolution identity proves it without setting the shift vector to zero.

First, the inverse metric tensor printed in the PDF has a missing factor: its lower-left entry must be $g^{i0}={\alpha }^{-2}{\beta }^i$, symmetric with $g^{0i}$. This correction follows either from symmetry or direct block multiplication and does not change the evolution equation used here.

Let $D_t={\partial }_t-{\beta }^k{\partial }_k$. Contract the spatial metric tensor evolution equation with ${\gamma }^{ij}$. Both shift-gradient terms contribute ${\partial }_k{\beta }^k$, givingThe Jacobi determinant derivative formula applies to every derivative of $\gamma =\det ({\gamma }_{ij})$ and gives $D_t\gamma =\gamma {\gamma }^{ij}{D}_t{\gamma }_{ij}$. Therefore the spatial determinant evolves asEquivalently, the spatial volume evolution identity is $D_t\sqrt{\gamma }=\sqrt{\gamma }({\partial }_k{\beta }^k-\alpha K)$, with $K$ the trace of the extrinsic curvature of a spatial hypersurface.

Use the equivalent density form of harmonic slicing from part (ii). With $\sqrt{-g}=\alpha \sqrt{\gamma }$, positive lapse function $\alpha$, and the corrected inverse metric tensor, its time component becomesThus $D_t(\sqrt{\gamma }/\alpha )=(\sqrt{\gamma }/\alpha ){\partial }_i{\beta }^i$, orThe spatial volume evolution identity gives $D_t\log \sqrt{\gamma }={\partial }_i{\beta }^i-\alpha K$. Subtraction yields $D_t\log \alpha =-\alpha K$, hence the harmonic lapse evolution isThe shift vector need not vanish; its transport term is essential in a general 3+1 decomposition of spacetime.