Computer assisted proof of chaos in the Lorenz equations

Physica D: Nonlinear Phenomena

Volumn 115, Issue 3-4, 1998, Pages 165-188

  Galias, Z ^a   Zgliczynski P ^b  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

^b JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

Chaos; Computer assisted proof

Indexed keywords

EID: 0001201892     PISSN: 01672789     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-2789(97)00233-9     Document Type: Article

References (32)

1. V.S. Afraimovich, V.V. Bykov, L.P. Shil'nikov, On the appearance and structure of Lorenz attractor, DAN SSSR, 234 (1977) 336-339.
2. V.S. Afraimovich, V.V. Bykov, L.P. Shil'nikov, On the structurally unstable attracting limit set of Lorenz type attractors, Tran. Moscow Soc. 2 (1983) 153-215.
3. X. Chen, Lorenz equations, Part III: Existence of hyperbolic sets, preprint, 1995.
4. C. Conley, Isolated Invariant Sets and the Morse Index, CBMS Regional Conf. Ser. Math., vol. 38, AMS, Providence, RI, 1978.
5. R. Easton, Isolating blocks and symbolic dynamics, J. Diff. Eqs. 17 (1975) 96-118.
6. R. Easton, Isolating blocks and epsilon chains for maps, Physica D 39 (1989) 95-110.
7. Z. Galias, Positive topological entropy of Chua's circuit: a computer assisted proof, Int. J. Bifurc. Chaos 7 (2) (1997) 331-349.
8. M.J. Greenberg, Lectures on Algebraic Topology, Benjamin, New York, 1973.
9. J. Guckenheimer, P. Holmes, Nonlinear Oscillations, Dynamical Systems and Bifurcations of Vector Fields, Springer, New York, 1983.
10. E. Hairer, S.P. Nørsett, G. Wanner, Solving Ordinary Differential Equations. I. Nonstiff Problems, Springer, Berlin.
11. B. Hassard, S. Hastings, W. Troy, J. Zhang, A computer proof that the Lorenz equations have "chaotic" solutions, Appl. Math. Lett. 7 (1994) 79-83.
12. S.P. Hastings, W.C. Troy, A shooting approach to the Lorenz equations, Bull. (New Series) Am. Math. Soc. 27 (1992) 298-303.
13. O. Knüppel, PROFIL - programmer's runtime optimized fast interval library, Technical University Hamburg-Harburg, Bericht 93.4, 1993.
14. R.J. Lohner, Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems, in: J.R. Cash, I. Gladwell (Eds.), Computational Ordinary Differential Equations, Clarendon Press, Oxford, 1992.
15. E. Lorenz, Deterministic non-periodic flow, J. Atmos. Sci. 20 (1963) 130.
16. K. Mischaikow, The Conley index theory: some recent developments, CIME Lectures, preprint.
17. K. Mischaikow, M. Mrozek, Chaos in the Lorenz equations: A computer assisted proof, Bull. Am. Math. Soi. 32 (1995) 66-72.
18. K. Mischaikow, M. Mrozek, Isolating neighborhoods and chaos, Jap. J. Ind. Appl. Math. 12 (1995) 205-236.
19. K. Mischaikow, M. Mrozek, Chaos in the Lorenz equations: A computer assisted proof. Part II: Details, preprint CDSNS95-222; Mathe. Comput., to appear.
20. K. Mischaikow, M. Mrozek, A. Szymczak, Chaos in the Lorenz equations: A computer assisted proof. Part III: The classical case, in preparation.
21. [21 ] J. Moser, Stable and Random Motions in Dynamical Systems, Princeton University Press, Princeton, NJ, 1973.
22. M. Mrozek, Leray functor and cohomological conley for discrete dynamical systems, Trans. Am. Math. Soc. 318 (1990) 149-178.
23. L.P. Shil'nikov, Chua's circuit: rigorous results and future problems, Int. J. Bifurc. Chaos 4 (3) (1994) 489-519.
24. S. Smale, Differentiable dynamical systems, Bull. Am. Math. Soc. 73 (1967) 747-817.
25. C. Sparrow, The Lorenz Equations, Springer, New York, 1982.
26. H. Spreuer, E. Adams, On the strange attractor and transverse homoclinic orbits for Lorenz equations, J. Math. Anal. Appl. 190 (1995) 329-360.
27. A. Szymczak, A combinatorial procedure for finding isolating neighborhoods and index pairs, Proc. Roy. Soc. Edinburgh, to appear.
28. R.J. Williams The structure of Lorenz attractor, Lecture Notes in Mathematics, vol. 615, Springer, Berlin, 1997, pp. 94-112.
29. P. Zgliczyński, Fixed point index for iterations of maps, topological horseshoe and chaos, Topolo. Methods Nonlinear Anal. 8 (1) (1996) 169-177.
30. P. Zgliczyński, Rigorous verification of chaos in the Rössler equations, Proceedings of SCAN-95, Math. Research, vol. 90, Akademie Verlag, Berlin, 1996, pp. 287-292.
31. P. Zgliczyński, Computer assisted proof of chaos in the Rössler equations and the Hénon map, Nonlinearity 10 (1) (1997) 243-252.
32. P. Zgliczyński, A computer assisted proof of the horseshoe dynamics in the Hénon map, Random Comput. Dyn., accepted.