Normal forms for perturbations of systems possessing a Diophantine invariant torus

We give a new proof of Moser's 1967 normal-form theorem for real analytic perturbations of vector fields possessing a reducible Diophantine invariant quasi-periodic torus. The proposed approach, based on an inverse function theorem in analytic class, is flexible and can be adapted to several contexts. This allows us to prove in a unified framework the persistence, up to finitely many parameters, of Diophantine quasi-periodic normally hyperbolic reducible invariant tori for vector fields originating from dissipative generalizations of Hamiltonian mechanics. As a byproduct, generalizations of Herman's twist theorem and Russmann's translated curve theorem are proved.