Chaos in the Lorenz equations: a computer-assisted proof
Dynamical Systems
2016-09-06 v1
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.
Cite
@article{arxiv.math/9501230,
title = {Chaos in the Lorenz equations: a computer-assisted proof},
author = {Konstantin Mischaikow and Marian Mrozek},
journal= {arXiv preprint arXiv:math/9501230},
year = {2016}
}
Comments
7 pages