Hamiltonian perturbation preserving one regular level
ID: hamiltonian-perturbation-preserving-one-regular-level
For independent integrals , the Hamiltonian agrees with to first order on the common zero level. On a nonempty level , the vector-field difference is and is nowhere zero by independence of the differentials. Nonemptiness is necessary if one expresses the conclusion as inequality between restricted vector fields.
New to topics? Read the docs here!