Rigorous computer-assisted application of KAM theory: a modern approach

DOI10.1007/s10208-016-9339-3zbMath1383.37047arXiv1601.00084OpenAlexW2963867109MaRDI QIDQ1683736

Jordi-Lluís Figueras, Àlex Haro, Alejandro Luque

Publication date: 1 December 2017

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.00084

zbMATH Keywords

fast Fourier transformKAM theorycomputer-assisted proofRüssmann estimate

Mathematics Subject Classification ID

Related Items (33)

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Birkhoff averages and rotational invariant circles for area-preserving maps ⋮ A-posteriori KAM theory with optimal estimates for partially integrable systems ⋮ Non-radial solutions for some semilinear elliptic equations on the disk ⋮ Regions without invariant tori of given class for the planar circular restricted three-body problem ⋮ Escape times across the golden cantorus of the standard map ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Elliptic tori in FPU non-linear chains with a small number of nodes ⋮ Efficient and reliable algorithms for the computation of non-twist invariant circles ⋮ Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori ⋮ Computation of quasi-periodic normally hyperbolic invariant tori: algorithms, numerical explorations and mechanisms of breakdown ⋮ Computation of quasiperiodic normally hyperbolic invariant tori: rigorous results ⋮ Some questions looking for answers in dynamical systems ⋮ Computer-assisted estimates for Birkhoff normal forms ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Existence proof of librational invariant tori in an averaged model of HD60532 planetary system ⋮ Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\) ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation ⋮ Computer assisted proofs of two-dimensional attracting invariant tori for ODEs ⋮ Torus knot choreographies in the n-body problem ⋮ Finding the complement of the invariant manifolds transverse to a given foliation for a 3D flow ⋮ Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions ⋮ Efficient representation of invariant manifolds of periodic orbits in the CRTBP ⋮ A new method to compute periodic orbits in general symplectic maps ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs ⋮ A Parameterization Method for Lagrangian Tori of Exact Symplectic Maps of $R^2r$ ⋮ Flow map parameterization methods for invariant tori in Hamiltonian systems ⋮ Effective bounds for the measure of rotations ⋮ KAM quasi-periodic tori for the dissipative spin-orbit problem ⋮ KAM quasi-periodic solutions for the dissipative standard map ⋮ Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation ⋮ Hamiltonian control of magnetic field lines: computer assisted results proving the existence of KAM barriers

Uses Software

• MPFI
• CAPD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The parameterization method for invariant manifolds. From rigorous results to effective computations
• Finite time singularities for the free boundary incompressible Euler equations
• Differentiability at the tip of Arnold tongues for Diophantine rotations: numerical studies and renormalization group explanations
• Computation of whiskered invariant tori and their associated manifolds: new fast algorithms
• A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
• Kolmogorov theorem revisited
• Construction of invariant whiskered tori by a parameterization method. I: Maps and flows in finite dimensions
• Numerical computation of rotation numbers of quasi-periodic planar curves
• Estimates in the Kolmogorov theorem on conservation of conditionally periodic motions
• Converse KAM: theory and practice
• Construction of analytic KAM-surfaces and effective stability bounds
• Invariant curves of analytic perturbed nontwist area preserving maps
• On the stability of realistic three-body problems
• Double bubbles minimize
• Superexponential stability of KAM tori.
• On the break-down threshold of invariant tori in four-dimensional maps
• KAM theory in configuration space
• Area preserving nontwist maps: Periodic orbits and transition to chaos
• Critical invariant circles in asymmetric and multiharmonic generalized standard maps
• Around the stability of KAM tori
• A numerical method for computing initial conditions of Lagrangian invariant tori using the frequency map
• A KAM theory for conformally symplectic systems: efficient algorithms and their validation
• Convergent series expansions for quasi-periodic motions
• Quasi-periodic motions in families of dynamical systems. Order amidst chaos
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• Approximation of Invariant Surfaces by Periodic Orbits in High-Dimensional Maps: Some Rigorous Results
• Reliable Computation of Robust Response Tori on the Verge of Breakdown
• Collision of invariant bundles of quasi-periodic attractors in the dissipative standard map
• A KAM theorem without action-angle variables for elliptic lower dimensional tori
• Non-existence of invariant circles
• KAM stability and celestial mechanics
• Parameterization Method for Computing Quasi-periodic Reducible Normally Hyperbolic Invariant Tori
• Converse KAM theory for symplectic twist maps
• Regularity Properties of Critical Invariant Circles of Twist Maps, and Their Universality
• A computer-assisted proof of the Feigenbaum conjectures
• Generalized implicit function theorems with applications to some small divisor problems, II
• On a new proof of Moser's twist mapping theorem
• The Lorenz attractor exists
• KAM Theory and a Partial Justification of Greene's Criterion for Nontwist Maps
• The primitive function of an exact symplectomorphism
• KAM theory without action-angle variables
• Accurate strategies for small divisor problems
• A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification
• Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
• SMALL DENOMINATORS AND PROBLEMS OF STABILITY OF MOTION IN CLASSICAL AND CELESTIAL MECHANICS
• On the Theory of Quasiperiodic Motions
• How well does the finite Fourier transform approximate the Fourier transform?
• Invariant tori in the secular motions of the three-body planetary systems

This page was built for publication: Rigorous computer-assisted application of KAM theory: a modern approach