Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
From MaRDI portal
Publication:2871353
DOI10.1137/12088224XzbMath1330.37029OpenAlexW1970039091MaRDI QIDQ2871353
Jason D. Mireles James, Konstantin Mischaikow
Publication date: 22 January 2014
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/12088224x
high-order methodsconnecting orbitsstable manifoldsparameterization methodcomputer assisted proofvalidated computation
Invariant manifold theory for dynamical systems (37D10) Algorithms with automatic result verification (65G20) Numerical chaos (65P20) Homoclinic and heteroclinic orbits for dynamical systems (37C29)
Related Items (33)
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 (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation ⋮ 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 ⋮ Parameterization method for unstable manifolds of delay differential equations ⋮ Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations ⋮ Beyond the Melnikov method. II: Multidimensional setting ⋮ High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps ⋮ Homoclinic points of 2D and 4D maps via the parametrization method ⋮ Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model ⋮ Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof ⋮ Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Analytic enclosure of the fundamental matrix solution. ⋮ Validated Computation of Heteroclinic Sets ⋮ Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Computer assisted proofs of two-dimensional attracting invariant tori for ODEs ⋮ Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds ⋮ Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series ⋮ Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields ⋮ Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families ⋮ Recent results on the dynamics of higher-dimensional Hénon maps ⋮ Computer assisted proof of drift orbits along normally hyperbolic manifolds ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations ⋮ Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems
This page was built for publication: Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
