Validated numerics for continuation and bifurcation of connecting orbits of maps
DOI10.1007/s12346-018-0279-yzbMath1418.37123OpenAlexW2801063990MaRDI QIDQ2423701
Jason D. Mireles James, Ronald L. Adams
Publication date: 20 June 2019
Published in: Qualitative Theory of Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s12346-018-0279-y
dynamical systemsbifurcationscomputer assisted proofone-parameter familiestransverse connecting orbits
Bifurcations of singular points in dynamical systems (37G10) Computational methods for bifurcation problems in dynamical systems (37M20) Bifurcations connected with nontransversal intersection in dynamical systems (37G25) Hyperbolic singular points with homoclinic trajectories in dynamical systems (37G20)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Rigorous verification of saddle-node bifurcations in ODEs
- Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Computer-assisted equilibrium validation for the diblock copolymer model
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
- A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Computer-assisted proofs in analysis
- Numerical computation of heteroclinic orbits
- Numerical approximation of homoclinic chaos
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- \(C^1\) Lohner algorithm.
- On loops in the hyperbolic locus of the complex Hénon map and their monodromies
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- The parameterization method for invariant manifolds. III: Overview and applications
- Rigorous Numerics in Dynamics
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems
- Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
- Validated Computation of Heteroclinic Sets
- A computer-assisted proof of universality for area-preserving maps
- CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (II) : CYCLE-TO-CYCLE CONNECTIONS
- The Numerical Computation of Connecting Orbits in Dynamical Systems
- On Hyperbolic Plateaus of the Henon Map
- Validated Continuation for Equilibria of PDEs
- CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (I): POINT-TO-CYCLE CONNECTIONS
- Global smooth solution curves using rigorous branch following
- The Numerical Computation of Homoclinic Orbits for Maps
- 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
- High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Rigorous Computations of Homoclinic Tangencies
- A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
This page was built for publication: Validated numerics for continuation and bifurcation of connecting orbits of maps
