Multiscale KAM theorem for Hamiltonian systems

In this paper, we study the persistence of invariant tori in nearly integrable multiscale Hamiltonian systems with highorder degeneracy in the integrable part. Such Hamiltonian systems arise naturally in planar and spatial lunar problems of celestial mechanics for which the persistence problem connects closely to the stability of the systems. We introduce multiscale nondegenerate condition and multiscale Diophantine condition, comparable to the usual Diophantine condition. Using quasilinear KAM method, we prove a multiscale KAM theorem.