Poincaré–Treshchev Mechanism in Multi-scale, Nearly Integrable Hamiltonian Systems

Abstract

This paper is a continuation to our work (Xu et al. in Ann Henri Poincare 18(1):53–83, 2017) concerning the persistence of lower-dimensional tori on resonant surfaces of a multi-scale, nearly integrable Hamiltonian system. This type of systems, being properly degenerate, arise naturally in planar and spatial lunar problems of celestial mechanics for which the persistence problem ties closely to the stability of the systems. For such a system, under certain non-degenerate conditions of Russmann type, the majority persistence of non-resonant tori and the existence of a nearly full measure set of Poincare non-degenerate, lower-dimensional, quasi-periodic invariant tori on a resonant surface corresponding to the highest order of scale is proved in Han et al. (Ann Henri Poincare 10(8):1419–1436, 2010) and Xu et al. (2017), respectively. In this work, we consider a resonant surface corresponding to any intermediate order of scale and show the existence of a nearly full measure set of Poincare non-degenerate, lower-dimensional, quasi-periodic invariant tori on the resonant surface. The proof is based on a normal form reduction which consists of a finite step of KAM iterations in pushing the non-integrable perturbation to a sufficiently high order and the splitting of resonant tori on the resonant surface according to the Poincare–Treshchev mechanism.