Resonances and Formal Stability Investigation in Hamiltonian Systems

This paper proposes a method for studying formal stability of equilibrium points in multiparameter Hamiltonian systems with three degrees of freedom. We detail a technique for the symbolic computation of resonance conditions, employing computer algebra and power geometry to represent the resonant variety as a rational algebraic curve and provide its polynomial parametrization. A non-trivial example of formal stability investigation is considered. An implementation of resonant variety calculations in the computer algebra system Maple is also discussed.