The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
From MaRDI portal
Publication:869955
DOI10.1007/s10208-005-0201-2zbMath1130.37415OpenAlexW2041811673MaRDI QIDQ869955
Publication date: 9 March 2007
Published in: Foundations of Computational Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10208-005-0201-2
Index theory for dynamical systems, Morse-Conley indices (37B30) Computational methods for bifurcation problems in dynamical systems (37M20) Homoclinic and heteroclinic orbits for dynamical systems (37C29) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Software, source code, etc. for problems pertaining to dynamical systems and ergodic theory (37-04)
Related Items (35)
Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ On computer-assisted proving the existence of periodic and bounded orbits ⋮ 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 ⋮ Recent advances in a rigorous computation of Poincaré maps ⋮ A new class of 3-dimensional piecewise affine systems with homoclinic orbits ⋮ Spatially localized solutions of the Hammerstein equation with sigmoid type of nonlinearity ⋮ Construction of a Class of Four-Dimensional Piecewise Affine Systems with Homoclinic Orbits ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Numerical validation of blow-up solutions of ordinary differential equations ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori ⋮ 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 ⋮ Shadowing of non-transversal heteroclinic chains ⋮ Computer‐assisted analysis of chaos in a three‐species food chain model ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Rigorous numerics for fast-slow systems ⋮ Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Multistability and Hidden Attractors in a Three-Dimensional Chaotic System ⋮ Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Shil'nikov chaos in the 4D Lorenz-Stenflo system modeling the time evolution of nonlinear acoustic-gravity waves in a rotating atmosphere ⋮ Singular cycles and chaos in a new class of 3D three-zone piecewise affine systems ⋮ On the existence of homoclinic orbits in some class of three-dimensional piecewise affine systems ⋮ Including homoclinic connections and T-point heteroclinic cycles in the same global problem for a reversible family of piecewise linear systems ⋮ On the construction of Lyapunov functions with computer assistance ⋮ Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Covering relations, cone conditions and the stable manifold theorem ⋮ Existence of homoclinic connections in continuous piecewise linear systems ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations ⋮ Competitive Modes for the Detection of Chaotic Parameter Regimes in the General Chaotic Bilinear System of Lorenz Type
This page was built for publication: The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
