CHAOS IN THE LORENZ EQUATIONS - A COMPUTER-ASSISTED PROOF - PART II -DETAILS

Authors
MISCHAIKOW K MROZEK M
Citation
K. Mischaikow et M. Mrozek, CHAOS IN THE LORENZ EQUATIONS - A COMPUTER-ASSISTED PROOF - PART II -DETAILS, Mathematics of computation, 67(223), 1998, pp. 1023-1046
Citations number
29
Categorie Soggetti
Mathematics,Mathematics
Journal title
Mathematics of computation → ACNP
ISSN journal
00255718
Volume
67
Issue
223
Year of publication
1998
Pages
1023 - 1046
Database
ISI
SICI code
0025-5718(1998)67:223<1023:CITLE->2.0.ZU;2-P
Abstract
Details of a new technique for obtaining rigorous results concerning t he global dynamics of nonlinear systems is described. The technique co mbines abstract existence results based on the Conley index theory wit h rigorous computer assisted computations. As an application of these methods it is proven that for some explicit parameter values the Loren z equations exhibit chaotic dynamics.