A Modified Parameterization Method for Invariant Lagrangian Tori for Partially Integrable Hamiltonian Systems

DOI10.1016/J.PHYSD.2024.134127arXiv2304.10205MaRDI QIDQ6433730FDOQ6433730

Authors: Jordi-Lluís Figueras, A. Haro 

Publication date: 20 April 2023

Abstract: In this paper we present an a-posteriori KAM theorem for the existence of an $(n-d)$-parameters family of $d$-dimensional isotropic invariant tori with Diophantine frequency vector $omegainmathbb{R}^d$, of type $(gamma,au)$, for $n$ degrees of freedom Hamiltonian systems with $(n-d)$ independent first integrals in involution. If the first integrals induce a Hamiltonian action of the $(n-d)$-dimensional torus, then we can produce $n$-dimensional Lagrangian tori with frequency vector of the form $(omega,omeg{a}_p)$, with $omeg{a}_{p}inmathbb{R}^{n-d}$. In the light of the parameterization method, we design a (modified) quasi-Newton method for the invariance equation of the parameterization of the torus, whose proof of convergence from an initial approximation, and under appropriate non-degeneracy conditions, is the object of this paper. We present the results in the analytic category, so the initial torus is real-analytic in a certain complex strip of size $ho$, and the corresponding error in the functional equation is $varepsilon$. We heavily use geometric properties and the so called automatic reducibility to deal directly with the functional equation and get convergence if $gamm{a}^{-2}h{o}^{-2au-1}varepsilon$ is small enough, in contrast with most of KAM results based on the parameterization method, that get convergence if $gamm{a}^{-4}h{o}^{-4au}varepsilon$ is small enough. The approach is suitable to perform computer assisted proofs.

Mathematics Subject Classification ID

Dynamical aspects of finite-dimensional Hamiltonian and Lagrangian systems (37Jxx) Symplectic geometry, contact geometry (53Dxx) Hamiltonian and Lagrangian mechanics (70Hxx)

Cited In (2)

• Sun-Jupiter-Saturn system may exist: a verified computation of quasiperiodic solutions for the planar three-body problem
• A parametrization algorithm to compute lower dimensional elliptic tori in Hamiltonian systems

This page was built for publication: A Modified Parameterization Method for Invariant Lagrangian Tori for Partially Integrable Hamiltonian Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6433730)