Reliable Computation of Robust Response Tori on the Verge of Breakdown
From MaRDI portal
Publication:2913839
DOI10.1137/100809222zbMath1253.37077OpenAlexW2021356682MaRDI QIDQ2913839
Àlex Haro, Jordi-Lluís Figueras
Publication date: 21 September 2012
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2445/33852
invariant torinormally hyperbolic invariant manifoldsstrange nonchaotic attractorscomputer validations
Invariant manifold theory for dynamical systems (37D10) Computational methods for bifurcation problems in dynamical systems (37M20) Periodic and quasi-periodic flows and diffeomorphisms (37C55) Numerical problems in dynamical systems (65P99)
Related Items
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Computing stable hierarchies of fiber bundles ⋮ A note on the fractalization of saddle invariant curves in quasiperiodic systems ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Beyond the Melnikov method: A computer assisted approach ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Beyond the Melnikov method. II: Multidimensional setting ⋮ Collision of invariant bundles of quasi-periodic attractors in the dissipative standard map ⋮ Rigorous computer-assisted application of KAM theory: a modern approach ⋮ Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori ⋮ Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model ⋮ Accurate computations up to breakdown of quasi-periodic attractors in the dissipative spin-orbit problem ⋮ Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Transition state theory with quasi-periodic forcing ⋮ Geometric proof for normally hyperbolic invariant manifolds ⋮ Existence of non-smooth bifurcations of uniformly hyperbolic invariant manifolds in skew product systems ⋮ Efficient representation of invariant manifolds of periodic orbits in the CRTBP ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Effective bounds for the measure of rotations ⋮ A NUMERICAL STUDY OF UNIVERSALITY AND SELF-SIMILARITY IN SOME FAMILIES OF FORCED LOGISTIC MAPS ⋮ Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
Uses Software
