Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields

DOI10.1007/s10884-014-9367-0zbMath1351.37107OpenAlexW2076033814MaRDI QIDQ2249804

Jean-Philippe Lessard, Christian Reinhardt, Jason D. Mireles James

Publication date: 3 July 2014

Published in: Journal of Dynamics and Differential Equations (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/20.500.11794/1408

zbMATH Keywords

invariant manifoldstransversalityconnecting orbitscontraction mappingparameterization methodcomputer assisted proof

Mathematics Subject Classification ID

Dynamics induced by flows and semiflows (37C10) Invariant manifold theory for dynamical systems (37D10) Numerical nonlinear stabilities in dynamical systems (65P40) Bifurcations connected with nontransversal intersection in dynamical systems (37G25)

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, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, A posteriori error bounds for two point boundary value problems: a Green's function approach, Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation, Spatially localized solutions of the Hammerstein equation with sigmoid type of nonlinearity, A computable criterion for the existence of connecting orbits in autonomous dynamics, Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence, Rigorous enclosures of solutions of Neumann boundary value problems, 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, Beyond the Melnikov method. II: Multidimensional setting, The parameterization method for center manifolds, Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model, Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem, Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem, 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., 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, Rigorous numerics for ODEs using Chebyshev series and domain decomposition, Complexity in a Hybrid van der Pol System, Automatic differentiation for Fourier series and the radii polynomial approach, Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families, High-order parameterization of (un)stable manifolds for hybrid maps: implementation and applications, Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach, Parameterization Method for Unstable Manifolds of Standing Waves on the Line, Validated computations for connecting orbits in polynomial vector fields, Finite element approximation of invariant manifolds by the parameterization method, Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications, Stationary Coexistence of Hexagons and Rolls via Rigorous Computations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
• Covering relations and the existence of topologically normally hyperbolic invariant sets
• Covering relations, cone conditions and the stable manifold theorem
• Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
• Numerical computation of heteroclinic orbits
• Rigorous chaos verification in discrete dynamical systems
• On locating connecting orbits
• Successive continuation for locating connecting orbits
• Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof
• Covering relations for multidimensional dynamical systems. II
• Transversal connecting orbits from shadowing
• A note on the convergence of parametrised non-resonant invariant manifolds
• Homoclinic shadowing
• The parameterization method for invariant manifolds. III: Overview and applications
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
• Verification methods: Rigorous results using floating-point arithmetic
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• The Numerical Computation of Connecting Orbits in Dynamical Systems
• Validated Continuation for Equilibria of PDEs
• A Lin's method approach to finding and continuing heteroclinic connections involving periodic orbits
• Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
• Connected Simple Systems, Transition Matrices and Heteroclinic Bifurcations
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
• The parameterization method for invariant manifolds II: regularity with respect to parameters
• Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
• Rigorous verification of chaotic behaviour of maps using validated shadowing
• Rigorous Computations of Homoclinic Tangencies
• The Newton-Kantorovich Theorem
• Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
• Lin's method for heteroclinic chains involving periodic orbits