Chaos in the Lorenz equations: a computer-assisted proof
- 1 January 1995
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 32 (1) , 66-72
- https://doi.org/10.1090/s0273-0979-1995-00558-6
Abstract
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 computer-assisted computations. As an application of these methods it is proven that for an explicit parameter value the Lorenz equations exhibit chaotic dynamics.Keywords
All Related Versions
This publication has 6 references indexed in Scilit:
- Conley index for discrete multi-valued dynamical systemsTopology and its Applications, 1995
- Isolating neighborhoods and chaosJapan Journal of Industrial and Applied Mathematics, 1995
- A computer proof that the Lorenz equations have “chaotic” solutionsApplied Mathematics Letters, 1994
- 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