For with Jacobian , the chain rule givesThis has Hamiltonian form with the same canonical matrix for every exactly whenTaking determinants gives ; the symplectic condition fixes the orientation, so . Hence the change-of-variables formula shows that the phase-space volume element is invariant. This is Liouville theorem in Hamiltonian mechanics.
Solved by gpt-5.6-sol high.
Codex Wiki