The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof

DOI10.1007/S10208-005-0201-2zbMATH Open1130.37415OpenAlexW2041811673MaRDI QIDQ869955FDOQ869955

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

Recommendations

Symmetric homoclinic solutions to the periodic orbits in the Michelson system
Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
Shilnikov saddle-focus homoclinic orbits from numerics: higher dimensions
A proof that the Lorenz equations have a homoclinic orbit
Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems

Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Index theory for dynamical systems, Morse-Conley indices (37B30) Homoclinic and heteroclinic orbits for dynamical systems (37C29) Computational methods for bifurcation problems in dynamical systems (37M20) Software, source code, etc. for problems pertaining to dynamical systems and ergodic theory (37-04)

Cited In (41)

CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation
On computer-assisted proving the existence of periodic and bounded orbits
Including homoclinic connections and T-point heteroclinic cycles in the same global problem for a reversible family of piecewise linear systems
Competitive Modes for the Detection of Chaotic Parameter Regimes in the General Chaotic Bilinear System of Lorenz Type
On the construction of Lyapunov functions with computer assistance
A homoclinic orbit in a planar singular ODE -- a computer assisted proof
Rigorous verification of cocoon bifurcations in the Michelson system
Symmetric homoclinic solutions to the periodic orbits in the Michelson system
Recent advances in a rigorous computation of Poincaré maps
Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
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
On the existence of homoclinic orbits in some class of three-dimensional piecewise affine systems
Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
Singular cycles and chaos in a new class of 3D three-zone piecewise affine systems
Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
Computer‐assisted analysis of chaos in a three‐species food chain model
Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
Existence of homoclinic connections in continuous piecewise linear systems
A new class of 3-dimensional piecewise affine systems with homoclinic orbits
Spatially localized solutions of the Hammerstein equation with sigmoid type of nonlinearity
Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
Computation of maximal local (un)stable manifold patches by the parameterization method
The Tricomi problem for the Shimizu-Morioka dynamical system
Covering relations, cone conditions and the stable manifold theorem
Numerical validation of blow-up solutions of ordinary differential equations
Computer-assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model
Shadowing of non-transversal heteroclinic chains
Stationary coexistence of hexagons and rolls via rigorous computations
Construction of a class of four-dimensional piecewise affine systems with homoclinic orbits
Shil'nikov chaos in the 4D Lorenz-Stenflo system modeling the time evolution of nonlinear acoustic-gravity waves in a rotating atmosphere
Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof
Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
Multistability and hidden attractors in a three-dimensional chaotic system
Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems
Rigorous numerics for fast-slow systems
Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
Systematic computer-assisted proof of branches of stable elliptic periodic orbits and surrounding invariant tori

This page was built for publication: The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof

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