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