Title:Moser's normal form and application to the spin-orbit problem in Celestial Mechanics

Abstract:In 1967 Moser proved the existence of a normal form for real analytic perturbations of vector fields possessing a reducible Diophantine invariant quasi-periodic torus. This normal form turns out to be a powerful tool in the study of dissipative systems. In this paper we present a proof of existence of this normal form in terms of an inverse function theorem in analytic class. In this more conceptual context it becomes natural to deduce some other particular normal forms, depending on the different structures of systems under study. As an application, by a technique of elimination of parameters set up by Rüssmann, Herman and other authors in the 80's, we prove a KAM-type result for the dissipative spin-orbit problem of Celestial Mechanics, a problem recently presented by Celletti-Chierchia and Stefanelli-Locatelli.