Rigorous enclosures of a slow manifold

SIAM Journal on Applied Dynamical Systems

Volumn 11, Issue 3, 2012, Pages 831-863

  Guckenheimer, John ^a   Johnson, Tomas ^a   Meerkamp, Philipp ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

Interval analysis; Invariant manifold; Slow fast system

Indexed keywords

FIRST-ORDER APPROXIMATIONS; INTERVAL ANALYSIS; INVARIANT MANIFOLDS; PROMINENT FEATURES; SLOW MANIFOLDS; SLOW-FAST SYSTEMS; TIME-SCALES; TWO TIME SCALE; VECTOR FIELDS;

DYNAMICAL SYSTEMS; HOPF BIFURCATION; TIME MEASUREMENT;

ENCLOSURES;

EID: 84866358097     PISSN: None     EISSN: 15360040     Source Type: Journal    
DOI: 10.1137/120861813     Document Type: Article

References (43)

1. Z. Arai and K. Mischaikow, Rigorous computations of homoclinic tangencies, SIAM J. Appl. Dyn. Syst., 5 (2006), pp. 280-292.
2. X. Cabŕe, E. Fontich, and R. de la Llave, The parameterization method for invariant manifolds. III. Overview and applications, J. Differential Equations, 218 (2005), pp. 444-515.
3. M. J. Capínski, Covering relations and the existence of topologically normally hyperbolic invariant sets, Discrete Contin. Dyn. Syst., 23 (2009), pp. 705-725.
4. M. J. Capínski and P. Zgliczýnski, Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds, Discrete Contin. Dyn. Syst., 30 (2011), pp. 641-670.
5. M. Desroches, J. Guckenheimer, B. Krauskopf, C. Kuehn, H. M. Osinga, and M. Wechselberger, Mixed-mode oscillations with multiple time scales, SIAM Rev., 54 (2012), pp. 211-288.
6. M. Desroches, B. Krauskopf, and H. M. Osinga, Mixed-mode oscillations and slow manifolds in the self-coupled FitzHugh-Nagumo system, Chaos, 18 (2008), 015107.
7. E. Doedel, A. Champneys, F. Dercole, T. Fairgrieve, Y. Kuznetsov, B. Oldeman, R. Paffenroth, B. Sandstede, X. Wang, and C. Zhang, AUTO: Software for continuation and bifurcation problems in ordinary differential equations, available at http://cmvl.cs.concordia.ca/auto/, 2010.
8. J. P. England, B. Krauskopf, and H. M. Osinga, Computing two-dimensional global invariant manifolds in slow-fast systems, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 17 (2007), pp. 805-822.
9. J. Guckenheimer, Phase portraits of planar vector fields: Computer proofs, Experiment. Math., 4 (1995), pp. 153-165.
10. J. Guckenheimer, Singular Hopf bifurcation in systems with two slow variables, SIAM J. Appl. Dyn. Syst., 7 (2008), pp. 1355-1377.
11. J. Guckenheimer, T. Johnson, and P. Meerkamp, Program files supplementing the paper, available at http://www.math.cornell.edu/?tjohnson.
12. J. Guckenheimer and C. Kuehn, Computing slow manifolds of saddle type, SIAM J. Appl. Dyn. Syst., 8 (2009), pp. 854-879.
13. J. Guckenheimer and P. Meerkamp, Unfoldings of Singular Hopf Bifurcation, preprint, http://arxiv.org/abs/1107.3185, 2011.
14. M. W. Hirsch, C. C. Pugh, and M. Shub, Invariant Manifolds, Lecture Notes in Math. 583, Springer-Verlag, Berlin, New York, 1977.
15. E. Hairer and G. Wanner, Solving Ordinary Differential Equations. II. Stiff and Differential-Algebraic Problems, 2nd ed., Springer Ser. Comput. Math., Springer-Verlag, Berlin, 1996.
16. E. M. Izhikevich, Neural excitability, spiking and bursting, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 10 (2000), pp. 1171-1266.
17. T. Johnson and W. Tucker, A note on the convergence of parametrised non-resonant invariant manifolds, Qualitative Theory of Dynamical Systems, 10 (2011), pp. 107-121.
18. T. Johnson and W. Tucker, On a computer-aided approach to the computation of Abelian integrals, BIT, 51 (2011), pp. 653-667.
19. T. Johnson and W. Tucker, On a fast and accurate method to enclose all zeros of an analytic function on a triangulated domain, in Proceedings of PARA 2008, Lecture Notes in Comput. Sci. 6126/6127, Springer-Verlag, 2011, to appear.
20. C. K. R. T. Jones, Geometric singular perturbation theory, in Dynamical Systems (Montecatini Terme, 1994), Lecture Notes in Math. 1609, Springer, Berlin, 1995, pp. 44-118.
21. A. Katok and B. Hasselblatt, Introduction to the Modern Theory of Dynamical Systems, Cambridge University Press, Cambridge, UK, 1995.
22. M. T. M. Koper, Bifurcations of mixed-mode oscillations in a three-variable autonomous Van der Pol-Duffing model with a cross-shaped phase diagram, Phys. D, 80 (1995), pp. 72-94.
23. B. Krauskopf, H. M. Osinga, E. J. Doedel, M. E. Henderson, J. Guckenheimer, A. Vladimirsky, M. Dellnitz, and O. Junge, A survey of methods for computing (un)stable manifolds of vector fields, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 15 (2005), pp. 763-791.
24. M. Krupa, N. Popovíc, and N. Kopell, Mixed-mode oscillations in three time-scale systems: A prototypical example, SIAM J. Appl. Dyn. Syst., 7 (2008), pp. 361-420.
25. C. Kuehn, On decomposing mixed-mode oscillations and their return maps, Chaos, 21 (2011), 033107.
26. R. de la Llave, A tutorial on KAM theory, in Smooth Ergodic Theory and Its Applications (Seattle, WA, 1999), Proc. Sympos. Pure Math. 69, AMS, Providence, RI, 2001, pp. 175-292.
27. R. Lohner, Einschließung der Lösung gewöhnlicher Anfangs-und Randwertaufgaben und Anwendungen, Ph.D. thesis, Universiẗat Karlsruhe, Karlsruhe, Germany, 1988.
28. S. Luzzatto and P. Pilarczyk, Finite resolution dynamics, Found. Comput. Math., 11 (2011), pp. 211-239.
29. R. E. Moore, Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ, 1966.
30. N. S. Nedialkov, VNODE-LP A Validated Solver for Initial Value Problems in Ordinary Differential Equations, available at http://www.cas.mcmaster.ca/? nedialk/Software/VNODE/VNODE.shtml.
31. N. S. Nedialkov and K. R. Jackson, An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation, Reliab. Comput., 5 (1999), pp. 289-310.
32. N. S. Nedialkov, K. R. Jackson, and G. F. Corliss, Validated solutions of initial value problems for ordinary differential equations, Appl. Math. Comput., 105 (1999), pp. 21-68.
33. N. S. Nedialkov, K. R. Jackson, and J. D. Pryce, An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE, Reliab. Comput., 7 (2001), pp. 449-465.
34. A. Neumaier, Interval Methods for Systems of Equations, Encyclopedia of Mathematics and Its Applications 37, Cambridge University Press, Cambridge, UK, 1990.
35. J. Ombach, Computation of the local stable and unstable manifolds, Univ. Iagel. Acta Math., 32 (1995), pp. 129-136.
36. S. Rump, INTLAB -the INTerval LABoratory, version 6, http://www.ti3.tu- harburg.de/rump/intlab/.
37. C. Siḿo, On the analytical and numerical approximation of invariant manifolds, in Les Ḿethodes Modernes de la Mećanique Ćeleste, D. Benest and C. Foeschĺe, eds., Editions Frontìers, Paris, 1990, pp. 285-329.
38. W. Tucker, Validated Numerics. A Short Introduction to Rigorous Computations, Princeton University Press, Princeton, NJ, 2011.
39. P. Zgliczýnski, C1 Lohner algorithm, Found. Comput. Math., 2 (2002), pp. 429-465.
40. P. Zgliczýnski, Covering relations, cone conditions and stable manifold theorem, J. Differential Equations, 246 (2009), pp. 1774-1819.
41. P. Zgliczýnski and M. Gidea, Covering relations for multidimensional dynamical systems, J. Differential Equations, 202 (2004), pp. 32-58.
42. D. Wilczak and P. Zgliczýnski, Computer assisted proof of the existence of homoclinic tangency for the H́enon map and for the forced damped pendulum, SIAM J. Appl. Dyn. Syst., 8 (2009), pp. 1632-1663.
43. Computational Geometry Algorithms Library, available at http://www.cgal.org/.