Rigorous computer-assisted application of KAM theory: a modern approach (Q1683736)

In this paper a general methodology for applying KAM theory to some special problems is presented. The main focus is the existence of real-analytic quasi-periodic Lagrangian invariant tori for symplectic maps. The purpose is to verify the hypotheses of a KAM theorem in an a posteriori format: for a given parametrization of an approximately invariant torus, it is necessary to check non-resonance (Diophantine) conditions, non-degeneracy conditions and certain inequalities. To check such inequalities it is necessary to control the analytic norm of some functions that depend on the map, the ambient structure and the parametrization. To this end an efficient computer-assisted methodology, based on fast Fourier transforms, is proposed.