The condition for isoenergetic nondegeneracy for a Hamiltonian
is
which guarantees the existence on every energy level surface of a set of invariant tori whose complement has a small measure.
The condition for isoenergetic nondegeneracy for a Hamiltonian
is
which guarantees the existence on every energy level surface of a set of invariant tori whose complement has a small measure.
Weisstein, Eric W. "Isoenergetic Nondegeneracy." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/IsoenergeticNondegeneracy.html