Gevrey-smoothness of lower dimensional hyperbolic invariant tori for nearly integrable symplectic mappings (Q509974)

The motivation for this paper comes from the study of invariant tori of Hamiltonian systems and KAM theory This paper is concerned with the study of a class of symplectic mappings defined implicitly by generating functions. The author makes two assumptions on the generating functions: one is Rüssmann's non-degeneracy condition and the other is a hyperbolicity condition for lower-dimensional invariant tori. The main result of the paper (Theorem 1.1) states that under these assumptions one has persistence and Gevrey-smoothness of the invariant tori.