3-part seminar series at the Departement of Mathematics “Tullio Levi-Civita” in Padova, focusing on the KAM theorem and rigorous computer-assisted applications to problems of Celestial Mechanics:

==================================================================**The challenge of the applicability of KAM theorem: a computer-assistedapproach**

==================================================================**Speaker: Chiara Caracciolo, Uppsala University**

==================================================================

In KAM theory, constructive techniques are essential in order to produce realistic results in physical problems, since there is usually a big gap between purely analytical results and numerical ones. Computer-assisted approaches are an effective way to make these techniques also rigorous. These seminars will be focused on the rigorous use of the normal form method in nearly-integrable Hamiltonian systems.

**Seminar 1, Lecture Room 2AB40, 20/2/2024 at 14.00**

*Proving the KAM theorem using a normal form approach*

This seminar will be dedicated to introducing the problem of the

applicability of KAM theorem and the use of normal forms techniques.

Specifically, I will focus on an algorithm that brings a Hamiltonian in

Kolmogorov normal form and that, consequently, can be used to prove the

existence of KAM tori in nearly-integrable Hamiltonian systems.

**Seminar 2, Lecture Room 1BC45, 22/2/2024 at 14.30**

*Computer-assisted proof of the KAM theorem*

In this second seminar, I will discuss the use interval arithmetic in order

to make the computations made by a computer rigorous. In particular, I will

stress out what do we need in order to make the proof of existence of KAM tori based on the normal form procedure rigorous and effective. I will describe how to check the hypotheses of the theorem, like the Diophantine condition for the frequency vector and the smallness condition on the perturbing parameter, using a set of computer-assisted estimates on the Hamiltonian function.

**Seminar 3, Lecture Room 2AB40, 27/2/2024 at 14.00**

*Some applications of a computer-assisted KAM theorem to planetarythree-body problems*

This last seminar is devoted to showing some example of rigorous application of the KAM theorem to realistic planetary problems. The first results concern a secular three-body problem, with parameters that are compatible with the observations of the Upsilon-Andromedae planetary system. This system is rather peculiar in view of its non-coplanar nature (with mutual inclination of around 30 degrees) and relatively large eccentricities (approximately 0.3). Secondly, I will present ongoing work in the framework of a realistic planar three-body problem. In particular, I will emphasize what is necessary in order to obtain a positive outcome, by providing examples of both successes and failures, depending on different parameters.

The results presented in these seminars are based on collaborations with U. Locatelli, M. Sansottera and M. Volpi, supported by the PRIN project “New Frontiers of Celestial Mechanics: theory and Applications”.