Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
Open Access
- 1 July 1998
- journal article
- Published by American Mathematical Society (AMS) in Mathematics of Computation
- Vol. 67 (223), 1023-1046
- https://doi.org/10.1090/s0025-5718-98-00945-4
Abstract
Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique combines abstract existence results based on the Conley index theory with rigorous computer assisted computations. As an application of these methods it is proven that for some explicit parameter values the Lorenz equations exhibit chaotic dynamics.Keywords
This publication has 20 references indexed in Scilit:
- Computer assisted proof of chaos in the Rössler equations and in the Hénon mapNonlinearity, 1997
- Conley index for discrete multi-valued dynamical systemsTopology and its Applications, 1995
- Chaos in the Lorenz equations: a computer-assisted proofBulletin of the American Mathematical Society, 1995
- Rigorous verification of chaos in a molecular modelPhysical Review E, 1994
- The structure of isolated invariant sets and the Conley indexContemporary Mathematics, 1993
- The Wrapping Effect, Ellipsoid Arithmetic, Stability and Confidence RegionsPublished by Springer Nature ,1993
- A shooting approach to the Lorenz equationsBulletin of the American Mathematical Society, 1992
- Lorenz attractors through Šil'nikov-type bifurcation. Part IErgodic Theory and Dynamical Systems, 1990
- Leray functor and cohomological Conley index for discrete dynamical systemsTransactions of the American Mathematical Society, 1990
- Differentiable dynamical systemsBulletin of the American Mathematical Society, 1967