Conference abstracts

Session B1 - Computational Dynamics

July 15, 15:30 ~ 16:00 - Room 111

Validation of KAM tori using a-posteriori formulation

Alejandro Luque

Instituto de Ciencias Matemáticas, Spain   -

In this talk we present a methodology to rigorously validate a given approximation of a quasi-periodic Lagrangia torus of an exact symplectic map. That is, we check the hypothesis of an a-posteriori KAM theorem and we prove the existence of a true invariant torus nearby. Our method is sustained in the a-posteriori KAM formulation developed in the last decade by R. de la Llave and collaborators.

To check the hypotheses of the theorem, we use rigorous fast Fourier transform in combination with a sharp control of the discretization error. An important consequence is that the rigorous computations are performed in a very fast way. Indeed, with the same asymptotic cost of using the parameterization method to obtain numerical approximations of invariant tori.

We will discuss the application of the method to the standard map and the Froeschlé maps.

Joint work with J.-Ll. Figueras, A. Haro.

View abstract PDF

FoCM 2017, based on a nodethirtythree design.