KAM-Type Theorem on Resonant Surfaces for Nearly Integrable Hamiltonian Systems

Summary. In this paper, we consider analytic perturbations of an integrable Hamiltonian system in a given resonant surface. It is proved that, for most frequencies on the resonant surface, the resonant torus foliated by nonresonant lower dimensional tori is not destroyed completely and that there are some lower dimensional tori which survive the perturbation if the Hamiltonian satisfies a certain nondegenerate condition. The surviving tori might be elliptic, hyperbolic, or of mixed type. This shows that there are many orbits in the resonant zone which are regular as in the case of integrable systems. This behavior might serve as an obstacle to Arnold diffusion. The persistence of hyperbolic lower dimensional tori has been considered by many authors 5], 6], 15], 16], mainly for multiplicity one resonant case. To deal with the mechanisms of the destruction of the resonant tori of higher multiplicity into nonhyperbolic lower dimensional tori, we have to deal with some small coefficient matrices that are the generalization of small divisors. Received December 18, 1997; revised December 30, 1998; accepted June 21, 1999