A Rigorous ODE Solver and Smale's 14th Problem

Foundations of Computational Mathematics

Volumn 2, Issue 1, 2002, Pages 53-117

  Tucker, Warwick ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

Auto validating algorithms; Dynamical systems; Lorenz attractor; Normal forms

Indexed keywords

COMPUTATION THEORY; DIFFERENTIAL EQUATIONS; DYNAMICAL SYSTEMS; ALGORITHMS;

DIRECTED ROUNDING; INTERVAL ARITHMETIC; LORENZ ATTRACTOR; NORMAL FORM; NORMAL FORM THEORY; RIGOROUS SOLUTION; SMALL PERTURBATIONS; STRANGE ATTRACTORS;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 0002061016     PISSN: 16153375     EISSN: 16153383     Source Type: Journal    
DOI: 10.1007/s002080010018     Document Type: Article

References (26)

1. C. Bonnati, A. Pumariño, and M. Viana, Lorenz attractors with arbitrary expanding directions, C. R. Acad. Sci. Paris Sér. 1325 (1997), 883-888.
2. L. H. de Figueiredo and J. Stolfi, Métodos Numéricos Auto-Validados e Aplicações, Braz. Math. Colloq., Vol. 21, IMPA, Rio de Janeiro, 1997.
3. Z. Galias and P. Zgliczyński, Computer-assisted proof of chaos in the Lorenz equations, Physica D 115 (1998), 165-188.
4. J. Guckenheimer, A strange, strange attractor, in: The Hopf Bifurcation and its Applications (J. E. Marsden and M. McCracken, eds.), Springer-Verlag, New York, 1976.
5. J. Guckenheimer and R. F. Williams, Structural stability of Lorenz attractors, Publ. Math. IHES 50 (1979), 307-320.
6. S. P. Hasting and W. C. Troy, A shooting approach to the Lorenz equations, Bull. Amer. Math. Soc. 27 (1992), 298-303.
7. M. W. Hirsch, C. C. Pugh, and M. Shub, Invariant Manifolds, Lecture Notes in Mathematics, Vol. 583, Springer-Verlag, New York, 1977.
8. O. Knüppel, PROFIL - Programmer's Runtime Optimized Fast Interval Library, Technical Report 93:4, Technical University Hamburg-Harburg, 1993. Available from http://www. ti3.tu-harburg.de
9. E. N. Lorenz, Deterministic non-periodic flow, J. Atmospheric Sci. 20 (1963), 130-141.
10. S. Luzzatto and W. Tucker, Non-uniformly expanding dynamics in maps with singularities and criticalities, Publ. Math. IHES 89 (1999), 179-226.
11. S. Luzzatto and M. Viana, Lorenz attractors without invariant foliations. In preparation.
12. K. Mischaikow and M. Mrozek, Chaos in the Lorenz equations: A computer-assisted proof, Bull. Amer. Math. Soc. 32 (1995), 66-72.
13. J. Milnor, On the concept of attractor, Comm. Math. Phys. 99 (1985), 177-195.
14. R. E. Moore, Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ, 1966.
15. R. E. Moore, Methods and Applications of Interval Analysis, Studies in Applied Mathematics, SIAM, Philadelphia, 1979.
16. J. Palis and F. Takens, Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations, Cambridge University Press, Cambridge, 1993.
17. D. Rand, The topological classification of Lorenz attractors, Math. Proc. Cambridge Philos. Soc. 83 (1978), 451-460.
18. C. Robinson, Dynamical Systems, 2nd ed., CRC Press, New York, 1995.
19. C. Robinson, Homoclinic bifurcation to a transitive attractor of Lorenz type, Nonlinearity 2 (1989), 495-518.
20. M. Rychlik, Lorenz attractors through a Sil'nikov-type bifurcation, Part 1, Ergodic Theory Dynamical Systems 10 (1989), 793-821.
21. C. L. Siegel and J. K. Moser, Lectures on Celestial Mechanics, Springer-Verlag, New York, 1971.
22. S. Smale, Mathematical problems for the next century, Math. Intelligencer 20, 2 (1998), 7-15.
23. C. Sparrow, The Lorenz Equations: Bifurcations, Chaos, and Strange Attractors, Springer-Verlag, New York, 1982.
24. M. Viana, Stochastic Dynamics of Deterministic Systems, Braz. Math. Colloq., Vol. 21, IMPA, Rio de Janeiro, 1997.
25. R. F. Williams, The structure of Lorenz attractors, Publ. Math. IHES 50 (1979), 321-347.
26. J. A. Yorke and E. D. Yorke, Metastable chaos: The transition to sustained chaotic oscillations in a model of Lorenz, J. Statist. Phys. 21 (1979), 263-277.