Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system
classification
🧮 math.DS
keywords
attractorlorenzexistenceproveshimizu-moriokasystemassistedclass
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.