Since , division of each population equation by gives
Define the Hamiltonian function
and the antisymmetric matrix
Then
The functional derivative of the action is
For the Hamiltonian function
and a time-independent Lagrangian,
Therefore
Hamiltonian Monte Carlo augments the position by an independent momentum and uses the Hamiltonian function
From the current , draw a fresh , apply a fixed number of leapfrog steps to approximate Hamiltonian flow, and obtain . The Metropolis–Hastings acceptance probability is
otherwise retain . Momentum negation may be included to make the proposal explicitly reversible. The leapfrog map is volume preserving and reversible, while the acceptance step corrects its discretization error, leaving invariant after the momentum is discarded.
Again take a symplectic two-sphere, but let be a small latitude bounding a cap of area strictly below half the total area. A rotation carrying that cap to a disjoint cap carries to a disjoint Lagrangian circle. Rotations of the symplectic sphere are flows of Hamiltonian vector fields; for rotation about an axis, a height function is a Hamiltonian function. Thus this rotation is a Hamiltonian isotopy, and is Hamiltonian displaceable.
For identical point vortices on the plane, use , , and . The generator of simultaneous counterclockwise rotations is , and is its moment map with the convention . In coordinates rotating with angular velocity , the Hamiltonian vector field is . Hence a collision-free configuration rigidly rotating at that velocity is exactly a critical point of the augmented Hamiltonian function . For , scaling all positions shows ; a rotating relative equilibrium therefore obeys . For this implies positive in the stated circulation convention. Reversing the contraction convention requires consistent changes to the Hamiltonian and rotation signs.