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

DOI10.1007/S10884-014-9367-0zbMATH Open1351.37107OpenAlexW2076033814MaRDI QIDQ2249804FDOQ2249804

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

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

Recommendations

• Validated computations for connecting orbits in polynomial vector fields
• Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
• A computable criterion for the existence of connecting orbits in autonomous dynamics
• Computer assisted proof of chaos in the Lorenz equations

zbMATH Keywords

contraction mappinginvariant manifoldstransversalityparameterization methodcomputer assisted proofconnecting orbits

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Newton-Kantorovich Theorem
• Verification methods: rigorous results using floating-point arithmetic
• 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. III: Overview and applications
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
• Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
• The Numerical Computation of Connecting Orbits in Dynamical Systems
• Rigorous chaos verification in discrete dynamical systems
• Validated Continuation for Equilibria of PDEs
• Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
• A note on the convergence of parametrised non-resonant invariant manifolds
• 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
• Covering relations and the existence of topologically normally hyperbolic invariant sets
• Covering relations, cone conditions and the stable manifold theorem
• Numerical computation of heteroclinic orbits
• Transversal connecting orbits from shadowing
• The parameterization method for invariant manifolds II: regularity with respect to parameters
• Covering relations for multidimensional dynamical systems. II
• Homoclinic shadowing
• Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
• Title not available (Why is that?)
• Shadowing in ordinary differential equations
• Title not available (Why is that?)
• Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
• Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
• A Lin's method approach to finding and continuing heteroclinic connections involving periodic orbits
• Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof
• Rigorous Computations of Homoclinic Tangencies
• Lin's method for heteroclinic chains involving periodic orbits
• Connected Simple Systems, Transition Matrices and Heteroclinic Bifurcations
• Rigorous verification of chaotic behaviour of maps using validated shadowing
• Title not available (Why is that?)
• On locating connecting orbits
• Successive continuation for locating connecting orbits

Cited In (38)

• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• Complexity in a Hybrid van der Pol System
• Finite element approximation of invariant manifolds by the parameterization method
• Validated computations for connecting orbits in polynomial vector fields
• Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
• The parameterization method for center manifolds
• Parameterization method for unstable manifolds of delay differential equations
• High-order parameterization of (un)stable manifolds for hybrid maps: implementation and applications
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
• Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications
• Computational methods in perturbation theory
• Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
• Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model
• Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families
• Automatic differentiation for Fourier series and the radii polynomial approach
• Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds
• Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
• A posteriori error bounds for two point boundary value problems: a Green's function approach
• Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
• Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
• Rigorous enclosures of solutions of Neumann boundary value problems
• 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
• Parameterization Method for Unstable Manifolds of Standing Waves on the Line
• Validated numerics for continuation and bifurcation of connecting orbits of maps
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
• A computable criterion for the existence of connecting orbits in autonomous dynamics
• Beyond the Melnikov method: A computer assisted approach
• Beyond the Melnikov method. II: Multidimensional setting
• Computation of maximal local (un)stable manifold patches by the parameterization method
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
• 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
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
• Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds

This page was built for publication: Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields

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