2026-10-15T15:32:04Z https://data.mendeley.com/oai

oai:data.mendeley.com/jdx22ysh2s.1 2021-05-25T09:03:02Z

Locatelli, Ugo CAP4KAM2D: Computer-Assisted Proofs For demonstrating the existence of 2-Dimensional KAM tori Mendeley Data In the folder you can produce by uncompressing the attached zipped file (namely, that folder is called "CAP4KAM"), you should find everything you need in order to perform a complete computer-assisted proof of existence of invariant tori for a Hamiltonian that satifies three assumptions: (i) it describes a (Hamiltonian) system with two degrees of freedom; (ii) it is close enough to a Kolmogorov normal form (so fulfilling also both the non-resonance and non-degeneracy conditions usually adopted in the framework of KAM theory); (iii) its expansion in Taylor-Fourier series (in its action-angle canonical coordinates) is finite. The software included in the folder "CAP4KAM" refers to the following paper: [VL] Valvo L., Locatelli U.: "Hamiltonian Control of Magnetic Field Lines: Computer Assisted Results Proving the Existence of KAM Barriers", preprint (2021); available both at the web address https://arxiv.org/abs/2101.07785 and in a pdf copy you can find in the attachments. That work should not be too difficult to read for people working in the field of Hamiltonian perturbation theory and, in particular, it should clarify the three assumptions listed above. The software included in the folder "CAP4KAM" is designed to be in a "easy-to-use" layout. Moreover, it is probably not too difficult to be modified for people expert in programming (in C). Everything about the files included in the folder "CAP4KAM" is widely described in the README.txt, that contains also a careful explanations that is useful for running the codes, monitoring the results, modifying the input files, etc. Eventual corrections or remarks about the software package included in the folder "CAP4KAM" are more than welcome and can be sent to the author (Ugo Locatelli) at the following e-mail address: locatell@mat.uniroma2.it Low-Dimensional Dynamical Systems Hamiltonian Systems Perturbation Theory Dataset doi:10.17632/jdx22ysh2s.1 oai:data.mendeley.com/jdx22ysh2s.1 Creative Commons Attribution 4.0 International http://creativecommons.org/licenses/by/4.0 https://data.mendeley.com/datasets/jdx22ysh2s 2021-05-25T09:03:02Z