Topological techniques for efficient rigorous computation in dynamics

Acta Numerica

Volumn 11, Issue , 2002, Pages 435-477

  Mischaikow, Konstantin ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85095836568     PISSN: 09624929     EISSN: 14740508     Source Type: Journal    
DOI: 10.1017/S0962492902000065     Document Type: Article

References (67)

1. M. Allili, S. Day, O. Junge and K. Mischaikow (2002), A rigorous numerical method for the global analysis of an infinite dimensional discrete dynamical system. In preparation.
2. L. Arnold, C. Jones, K. Mischaikow and G. Raugel (1995), Dynamical Systems (R. Johnson, ed.), Vol. 1609 of Lecture Notes in Mathematics, Springer.
3. A. Baker (1998), Topological entropy and the first homological Conley index map. Preprint.
4. E. Boczko, W. Kalies and K. Mischaikow (2002), Polygonal approximations of flows. In preparation.
5. M. Carbinatto and K. Mischaikow (1999), 'Horseshoes and the Conley index spectrum II: The theorem is sharp', Dis. Cont. Dyn. Sys. 5, 599-616.
6. M. Carbinatto, J. Kwapisz and K. Mischaikow (2000), 'Horseshoes and the Conley index spectrum', Erg. Theory Dyn. Sys. 20, 365-377.
7. K. A. Cliffe, A. Spence and S. J. Tavener (2000), 'The numerical analysis of bifurcation problems with application to fluid mechanics', in Acta Numerica, Vol. 9, Cambridge University Press, pp. 39-131.
8. C. Conley (1978), Isolated Invariant Sets and the Morse Index. Vol. 38 of CBMS Lecture Notes, AMS, Providence, RI.
9. C. Conley and R. Easton (1971), 'Isolated invariant sets and isolating blocks', Trans. Amer. Math. Soc. 158, 35-61.
10. T. Corman, C. Leiserson, R. Rivest, C. Stein (2001), Introduction to Algorithms, MIT Press.
11. M. Dellnitz and A. Hohmann (1997), 'A subdivision algorithm for the computation of unstable manifolds and global attractors', Numer. Math. 75, 293-317.
12. M. Dellnitz and O. Junge (2001), Set oriented numerical methods for dynamical systems, in Handbook of Dynamical Systems III: Towards Applications (B. Fiedler, G. Iooss and N. Kopell, eds), World Scientific. To appear.
13. M. Dellnitz, G. Froyland and O. Junge (2000), The algorithms behind GAIO: Set oriented numerical methods for dynamical systems. Preprint.
14. L. Dieci and T. Eirola (2001), Numerical Dynamical Systems. Notes.
15. E. J. Doedel, A. R. Champneys, T. F. Fairgrieve, Yu. A. Kuznetsov, B. Sandstede and X. J. Wang (1999), AUTO: Continuation and Bifurcation Software with Ordinary Differential Equations, User's Guide, Concordia University.
16. R. Easton (1975), 'Isolating blocks and symbolic dynamics', J. Diff. Equations 17, 96-118.
17. R. Easton (1989), 'Isolating blocks and epsilon chains for maps', Physica D 39, 95-110.
18. R. Easton (1998), Geometric Methods for Discrete Dynamical Systems, Oxford University Press.
19. M. Eidenschink (1995), Exploring global dynamics: A numerical algorithm based on the Conley index theory, PhD Thesis, Georgia Institute of Technology.
20. A. Floer (1987), 'A refinement of the Conley index and an application to the stability of hyperbolic invariant sets', Erg. Theory Dyn. Sys. 7, 93-103.
21. J. Franks and D. Richeson (2000), Shift equivalence and the Conley index. Trans. Amer. Math. Soc. 352, 3305-3322.
22. R. Franzosa (1986), 'Index filtrations and the homology index braid for partially ordered Morse decompositions', Trans. Amer. Math. Soc. 298, 193-213.
23. R. Franzosa (1988), 'The continuation theory for Morse decompositions and connection matrices', Trans. Amer. Math. Soc. 310, 781-803.
24. R. Franzosa (1989), 'The connection matrix theory for Morse decompositions', Trans. Amer. Math. Soc. 311, 561-592.
25. R. Franzosa and K. Mischaikow (1988), 'The connection matrix theory for semiflows on (not necessarily locally compact) metric spaces', J. Diff. Equations 71, 270-287.
26. R. Franzosa and K. Mischaikow (1998), 'Algebraic transition matrices in the Conley index theory', Trans. Amer. Math. Soc. 350, 889-912.
27. J. Hale and G. Raugel (2001), Regularity, Determining Modes and Galerkin Methods, Preprint.
28. T. Kaczyński and M. Mrozek (1995), 'Conley index for discrete multivalued dynamical systems', Topology Appl. 65, 83-96.
29. T. Kaczyński and M. Mrozek (1997), 'Stable index pairs for discrete dynamical systems', Canadian Math. Bull. 40, 448-455.
30. T. Kaczyński, K. Mischaikow and M. Mrozek (2001), Computing homology. Preprint.
31. T. Kaczyński, K. Mischaikow and M. Mrozek (2000), Computational Homology, Springer. In preparation.
32. C. McCord (1988), 'Mappings and homological properties in the homology Conley index', Erg. Theory Dyn. Sys. 8, 175-198.
33. C. McCord and K. Mischaikow (1992), 'Connected simple systems, transition matrices, and heteroclinic bifurcations', Trans. Amer. Math. Soc. 333, 379-422.
34. C. McCord and K. Mischaikow (1996), 'On the global dynamics of attractors for scalar delay equations', J. Amer. Math. Soc. 9, 1095-1133.
35. C. McCord, K. Mischaikow and M. Mrozek (1995), Zeta functions, periodic trajectories, and the Conley index, J. Diff. Equations 121, 258-292.
36. K. Mischaikow (1989), 'Transition systems', Proc. Roy. Soc. Edin. 112A, 155-175.
37. K. Mischaikow (1995), 'Global asymptotic dynamics of gradient-like bistable equations', SIAM Math. Anal. 26, 1199-1224.
38. K. Mischaikow and Y. Morita (1994), 'Dynamics on the global attractor of a gradient flow arising in the Ginzburg-Landau equation', Jap. J. Ind. Appl. Math. 11, 185-202.
39. K. Mischaikow and M. Mrozek (1995), 'Isolating neighborhoods and chaos', Jap. J. Ind. Appl. Math. 12, 205-236.
40. K. Mischaikow and M. Mrozek (1995), 'Chaos in Lorenz equations: A computer assisted proof', Bull. Amer. Math. Soc. (N.S.) 33, 66-72.
41. K. Mischaikow and M. Mrozek (1998), 'Chaos in Lorenz equations: A computer assisted proof, Part II: Details', Math. Comput. 67, 1023-1046.
42. K. Mischaikow and M. Mrozek (2001), Conley index, in Handbook of Dynamical Systems, Vol. 2 (B. Fiedler, ed.) Elsevier.
43. K. Mischaikow, M. Mrozek and A. Szymczak (2001), 'Chaos in Lorenz equations: A computer assisted proof, Part III: The classic case'. J. Diff. Equations 169 17-56.
44. M. Mrozek (1989), 'Index pairs and the fixed point index for semidynamical systems with discrete time', Fund. Mathematicae 133, 177-192.
45. M. Mrozek (1990), 'Leray functor and the cohomological Conley index for discrete dynamical systems', Trans. Amer. Math. Soc. 318, 149-178.
46. M. Mrozek (1996), 'Topological invariants, multivalued maps and computer assisted proofs in dynamics', Comput. Math. 32, 83-104.
47. M. Mrozek (1999), 'An algorithmic approach to the Conley index theory', J. Dyn. Diff. Equations 11 711-734.
48. M. Mrozek, M. Zelawski (1997), 'Heteroclinic connections in the Kuramoto-Sivashinsky equation', Reliable Computing 3, 277-285.
49. D. Norton (1989), A metric approach to the Conley decomposition theorem, PhD thesis, University of Minnesota.
50. J. Palis and F. Takens (1993), Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations, Cambridge University Press.
51. P. Pilarczyk (1999), Computer assisted method for proving existence of periodic orbits. Preprint.
52. M. Pózniak (1994), 'Lusternik-Schnirelmann category of an isolated invariant set', Univ. Jag. Acta Math. XXXI, 129-139.
53. J. Reineck (1988), 'Connecting orbits in one-parameter families of flows', Erg. Theory Dyn. Sys. 8, 359-374.
54. D. Richeson (1997), Connection matrix pairs for the discrete Conley index. Preprint.
55. J. W. Robbin and D. Salamon (1988), 'Dynamical systems, shape theory and the Conley index', Erg. Theory Dyn. Sys. 8, 375-393.
56. J. W. Robbin and D. Salamon (1992), 'Lyapunov maps, simplicial complexes and the Stone functor', Erg. Theory Dyn. Sys. 12, 153-183.
57. C. Robinson (1995), Dynamical Systems: Stability, Symbolic Dynamics, and Chaos, CRC Press.
58. C. Robinson (1977), 'Stability theorems and hyperbolicity in dynamical systems', Rocky Mount. J. Math. 7, 425-437.
59. D. Salamon (1985), 'Connected simple systems and the Conley index of isolated invariant sets'. Trans. Amer. Math. Soc. 291, 1-41.
60. J. Smoller (1980), Shock Waves and Reaction Diffusion Equations, Springer, New York.
61. E. H. Spanier (1982), Algebraic Topology, Springer. (McGraw-Hill 1966.)
62. A. M. Stuart and A. R. Humphries (1996), Dynamical Systems and Numerical Analysis, Vol. 2 of Cambridge Monographs on Applied and Computational Mathematics, Cambridge University Press.
63. A. Szymczak (1995), 'The Conley index for discrete dynamical systems', Topology and its Applications 66, 215-240.
64. A. Szymczak (1995), 'The Conley index for decompositions of isolated invariant sets', Fund. Math. 148, 71-90.
65. A. Szymczak (1996), 'The Conley index and symbolic dynamics', Topology 35, 287-299.
66. A. Szymczak (1997), 'A combinatorial procedure for finding isolating neighborhoods and index pairs', Proc. Roy. Soc. Edin. 127A.
67. P. Zgliczyński and K. Mischaikow (2001), 'Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation'. J. FoCM 1, 255-288.