Rigorous verification of cocoon bifurcations in the Michelson system
From MaRDI portal
Publication:5421400
DOI10.1088/0951-7715/20/9/008zbMath1126.37035OpenAlexW1996476546MaRDI QIDQ5421400
Daniel Wilczak, Hiroshi Kokubu, Piotr Zgliczyński
Publication date: 22 October 2007
Published in: Nonlinearity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1088/0951-7715/20/9/008
Dynamical aspects of symmetries, equivariant bifurcation theory (37G40) Bifurcations of limit cycles and periodic orbits in dynamical systems (37G15) Algorithms with automatic result verification (65G20) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37)
Related Items (22)
Dynamics of conservative Bykov cycles: tangencies, generalized Cocoon bifurcations and elliptic solutions ⋮ Recent advances in a rigorous computation of Poincaré maps ⋮ Rigorous verification of saddle-node bifurcations in ODEs ⋮ Recent development in rigorous computational methods in dynamical systems ⋮ Topological conjugacy for Lipschitz perturbations of non-autonomous systems ⋮ Covering relations and Lyapunov condition for topological conjugacy ⋮ Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation ⋮ When chaos meets hyperchaos: 4D Rössler model ⋮ Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ Reversible periodic orbits in a class of 3D continuous piecewise linear systems of differential equations ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ On the construction of Lyapunov functions with computer assistance ⋮ On the Hopf-zero bifurcation of the Michelson system ⋮ Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof ⋮ On the periodic solutions of the Michelson continuous and discontinuous piecewise linear differential system ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Covering relations, cone conditions and the stable manifold theorem ⋮ Systematic computer assisted proofs of periodic orbits of Hamiltonian systems ⋮ Rigorous verification of Hopf bifurcations in functional differential equations of mixed type ⋮ Coexisting singular cycles in a class of three-dimensional three-zone piecewise affine systems ⋮ Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
This page was built for publication: Rigorous verification of cocoon bifurcations in the Michelson system
