Chaos in the Lorenz equations: A computer assisted proof. Part II: Details

Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique 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.

• Type: Journal
• Year: 1998
• Where: MOC
• Authors: Konstantin Mischaikow, Marian Mrozek
• Keywords: Conley Index Theory, Global Dynamics, MOC 1998, Technique Abstract Existence