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

Perform the Legendre transform in mechanics, using ${\dot{h}}_{ij}=2N{K}_{ij}+D_i{N}_j+D_j{N}_i$. The trace contraction ${\pi }^{ij}{K}_{ij}=\sqrt{h}(K_{ij}{K}^{ij}-K^2)$ givesTo avoid differentiating a tensor density as though it were an ordinary tensor, set $p^{ij}={\pi }^{ij}/\sqrt{h}$. Integration by parts with the Levi-Civita connection of $h$ givesafter dropping the surface term. AlsoTherefore the requested Hamiltonian isVarying the lapse function and shift vector imposes the Hamiltonian constraint $\mathcal{H}=0$ and momentum constraint ${\mathcal{H}}_i=0$. The total canonical generator also contains multipliers for the vanishing lapse and shift canonical momenta. With an asymptotic boundary, surface terms must be restored to define the Arnowitt-Deser-Misner energy.