A computer proof that the Lorenz equations have “chaotic” solutions

✍ Scribed by B. Hassard; J. Zhang; S.P. Hastings; W.C. Troy

• Publisher: Elsevier Science
• Year: 1994
• Tongue: English
• Weight: 457 KB
• Volume: 7
• Category: Article
• ISSN: 0893-9659
• DOI: 10.1016/0893-9659(94)90058-2

✦ Synopsis

we describe a computerized proof, using methods of interval arithmetic and recent results of the authors, that the Lorenz equations support a form of chaos. We need to integrate fewer than 550 solutions of the equations numerically, compared with 700,000 for another recent result of this type.