Arnold’s conjecture on generic Lyapunov instability
Determine whether, apart from the cases of two degrees of freedom and sign-definite quadratic part, elliptic equilibria of generic Hamiltonian systems are Lyapunov unstable.
References
Despite these strong stability properties, Arnold conjectured that they do not, in general, imply Lyapunov stability. More precisely, he conjectured that, apart from the two exceptional situations where the quadratic part of the Hamiltonian is sign-definite (equivalently, all frequencies have the same sign) and the two degrees of freedom case, elliptic equilibria of generic Hamiltonian systems should be Lyapunov unstable. The latter conjecture remains one of the central open problems in Hamiltonian dynamics and motivates the present work.
This issue is closely related to the conjectural density of locally integrable real analytic Hamiltonians, a problem for which a proof has recently been announced by Krikorian.