Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
From MaRDI portal
Publication:5700603
DOI10.1137/040611112zbMath1120.34033OpenAlexW2050992837MaRDI QIDQ5700603
Publication date: 28 October 2005
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/040611112
Symmetries, invariants of ordinary differential equations (34C14) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Dynamical systems in numerical analysis (37N30)
Related Items (22)
Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II ⋮ A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions ⋮ Existence of Homoclinic and Heteroclinic Connections in Continuous Piecewise Linear Systems ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Smooth Schur factorizations in the continuation of separatrices ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori ⋮ Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof ⋮ Existence of homoclinic orbit of Shilnikov type and the application in Rössler system ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation ⋮ Reversible periodic orbits in a class of 3D continuous piecewise linear systems of differential equations ⋮ Including homoclinic connections and T-point heteroclinic cycles in the same global problem for a reversible family of piecewise linear systems ⋮ Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields ⋮ Numerical computation of connecting orbits on a manifold ⋮ Covering relations, cone conditions and the stable manifold theorem ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ A Four-Leaf Chaotic Attractor of a Three-Dimensional Dynamical System ⋮ Existence of homoclinic connections in continuous piecewise linear systems ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations ⋮ Rich Bifurcation Structure in a Two-Patch Vaccination Model
This page was built for publication: Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
