Hamiltonian control of magnetic field lines: Computer assisted results proving the existence of KAM barriers

Abstract

<p style='text-indent:20px;'>We reconsider a control theory for Hamiltonian systems, that was introduced on the basis of KAM theory and applied to a model of magnetic field in previous articles. By a combination of Frequency Analysis and of a rigorous (Computer Assisted) KAM algorithm we prove that in the phase space of the magnetic field, due to the control term, a set of invariant tori appear, and it acts as a transport barrier. Our analysis, which is common (but often also limited) to Celestial Mechanics, is based on a normal form approach; it is also quite general and can be applied to quasi-integrable Hamiltonian systems satisfying a few additional mild assumptions. As a novelty with respect to the works that in the last two decades applied Computer Assisted Proofs into the framework of KAM theory, we provide all the codes allowing to produce our results. They are collected in a software package that is publicly available from the <i>Mendeley Data</i> repository. All these codes are designed in such a way to be easy-to-use, also for what concerns eventual adaptations for applications to similar problems.</p>

Invariant KAM tori: from theory to applications to exoplanetary systems

“…Rather curiously, the best way to translate the algorithm constructing the Kolmogorov normal form in a computer-assisted proof requires to join the convergence scheme of linear type (in order to explicitly perform on a computer the largest possible number R I of preliminary steps) with that of quadratic type (that provides a statement of KAM theorem that is very suitable to rigorously complete the proof). This is one of the main conclusions discussed in a recent work (see [40]).…”

A numerical criterion evaluating the robustness of planetary architectures; applications to the $\upsilon$ Andromedæ system

“…For the time being, so-successful results have been obtained for benchmark systems (mappings with or without additional dissipative terms) that are quite interesting but intrinsically simple. On the other hand, the application of CAPs to realistic models of physical interest highlights that there is still a gap to fill in order to approach the numerical threshold (see, e.g., [4] and [34]; see also [6] for the rigorous evaluation of an effective stability time, with a similar kind of CAP technique). This is the reason for which we were looking for initial conditions that were not only corresponding to an invariant torus (that could have been found by applying, e.g., the frequency analysis; see [19]), but also quite far from its breakdown threshold (which is somehow depending on the physical parameters characterising a planetary systems).…”

Existence proof of librational invariant tori in an averaged model of HD60532 planetary system

“…In order to rigorously prove that the KAM algorithm is convergent, we adopt a rigorous approach based on a computer-assisted proof. For this purpose, we follow the method which has been described in Celletti et al (2000) and further developed in Valvo and Locatelli (2022), where a publicly available software package 10 is provided as supplementary material. Such a package is designed for doing just this kind of computer-assisted proof for Hamiltonian systems having two degrees of freedom.…”