Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system
From MaRDI portal
Publication:4644665
Nonlinear ordinary differential equations and systems (34A34) Bifurcation theory for ordinary differential equations (34C23) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Attractors of solutions to ordinary differential equations (34D45) Dynamical systems with hyperbolic orbits and sets (37D05) Invariant manifold theory for dynamical systems (37D10) Complex behavior and chaotic systems of ordinary differential equations (34C28) Dynamical aspects of attractors and their bifurcations (37G35)
Abstract: We prove, by employing rigorous numerics, that Shimizu-Morioka system has a Lorenz attractor for an open set of parameter values. Using this result, we prove the existence of a discrete version of the Lorenz attractor for a class of three-dimensional polynomial diffeomorphisms.
Recommendations
- Computer assisted proof of chaos in the Lorenz equations
- Analytic proof of the existence of the Lorenz attractor in the extended Lorenz model
- A computer proof that the Lorenz equations have ``chaotic solutions
- Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values
- scientific article; zbMATH DE number 7703307
Cites work
- scientific article; zbMATH DE number 3762923 (Why is no real title available?)
- scientific article; zbMATH DE number 3798713 (Why is no real title available?)
- scientific article; zbMATH DE number 1434102 (Why is no real title available?)
- A rigorous ODE solver and Smale's 14th problem
- An example of a wild strange attractor
- Analytic proof of the existence of the Lorenz attractor in the extended Lorenz model
- Analytical search for homoclinic bifurcations in the Shimizu-Morioka model
- Asymptotic normal for equilibria with a triplet of zero characteristic exponents in systems with symmetry
- Beyond the Melnikov method: A computer assisted approach
- Birth of discrete Lorenz attractors at the bifurcations of 3D maps with homoclinic tangencies to saddle points
- Chaotic dynamics of three-dimensional Hénon maps that originate from a homoclinic bifurcation
- Computer-assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model
- Examples of Lorenz-like attractors in Hénon-like maps
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Geometric proof for normally hyperbolic invariant manifolds
- Homoclinic Bifurcation to a Transitive Attractor of Lorenz Type, II
- Homoclinic bifurcation to a transitive attractor of Lorenz type
- Homoclinic tangencies to resonant saddles and discrete Lorenz attractors
- Linear Stability of the Skyrmion
- NORMAL FORMS AND LORENZ ATTRACTORS
- Numerical proof of stability of roll waves in the small-amplitude limit for inclined thin film flow
- Numerical proof of stability of viscous shock profiles
- ON DIMENSION OF NON-LOCAL BIFURCATIONAL PROBLEMS
- On a homoclinic origin of Hénon-like maps
- On bifurcations of the Lorenz attractor in the Shimizu-Morioka model
- On global bifurcations in three-dimensional diffeomorphisms leading to wild Lorenz-like attractors
- Robust transitive singular sets for 3-flows are partially hyperbolic attractors or repellers
- Structural stability of Lorenz attractors
- THREE-DIMENSIONAL HÉNON-LIKE MAPS AND WILD LORENZ-LIKE ATTRACTORS
- The Lorenz attractor exists
- The structure of Lorenz attractors
Cited in
(22)- Doubling of invariant curves and chaos in three-dimensional diffeomorphisms
- On discrete homoclinic attractors of three-dimensional diffeomorphisms
- Persistent heterodimensional cycles in periodic perturbations of Lorenz-like attractors
- Chaos in the Lorenz equations: a computer-assisted proof
- On the birth of discrete Lorenz attractors under bifurcations of 3D maps with nontransversal heteroclinic cycles
- Analytic proof of the existence of the Lorenz attractor in the extended Lorenz model
- Lorenz type attractors from codimension one bifurcation
- Computer‐assisted analysis of chaos in a three‐species food chain model
- Multi-winged Lorenz attractors due to bifurcations of a periodic orbit with multipliers \((-1,i,-i)\)
- Validated Spectral Stability via Conjugate Points
- Computer-assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model
- Wild pseudohyperbolic attractor in a four-dimensional Lorenz system
- Lorenz attractors and the modular surface
- Monotonicity and non-monotonicity regions of topological entropy for Lorenz-like families with infinite derivatives
- On examples of pseudohyperbolic attractors in flows and maps
- Numerical study of discrete Lorenz-like attractors
- On hyperbolic attractors in a modified complex Shimizu-Morioka system
- On discrete Lorenz-like attractors
- Homoclinic orbits in three-dimensional continuous piecewise linear generalized Michelson systems
- Conjoined Lorenz twins -- a new pseudohyperbolic attractor in three-dimensional maps and flows
- A computer proof that the Lorenz equations have ``chaotic solutions
- On bifurcations of Lorenz attractors in the Lyubimov-Zaks model
This page was built for publication: Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644665)
