A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: Numerical algorithms

Discrete and Continuous Dynamical Systems - Series B

Volumn 6, Issue 6, 2006, Pages 1261-1300

  Haro, A ^a   De La Llave, R ^b  

^a UNIVERSITY OF BARCELONA   (Spain)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Invariant manifolds; Invariant tori; Numerical methods; Quasi periodic systems

Indexed keywords

EID: 33750532700     PISSN: 15313492     EISSN: None     Source Type: Journal    
DOI: 10.3934/dcdsb.2006.6.1261     Document Type: Article

References (85)

1. A. Abad, A. Elipe, J. Palacián, and J. F. San-Juan, ATESAT: a symbolic processor for artificial satellite theory, Math. Comput. Simulation, 45 (1998), no. 5-6, 497-510.
2. R. A. Adomaitis, A note on spurious eigenvalues observed in the bifurcation analysis of invariant circle solutions to a noninvertible map. 2006. To appear in Int. Jour. Bif. and Chaos.
3. R. A. Adomaitis, I. G. Kevrekidis, and R. de la Llave, Predicting the complexity of disconnected basins of attraction for a noninvertible system, Systems Research Center Technical Report TR91-41, (1991). available at www.isr.umd.edu, To appear in Int. Jour. Bif. and Chaos.
4. Eugene L. Allgower and Kurt Georg, Introduction to numerical continuation methods, volume 45 of Classics in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, (2003). Reprint of the 1990 edition Springer-Verlag, Berlin;.
5. Wolf-Jürgen Beyn and Winfried Kleß, Numerical Taylor expansions of invariant manifolds in large dynamical systems. Numer. Math., 80 (1998), no. 1, 1-38.
6. H. W. Broer, H. M. Osinga, and G. Vegter, Algorithms for computing normally hyperbolic invariant manifolds. Z. Angew. Math. Phys., 48 (1997), no. 3, 480-524.
7. Henk Broer, Heinz Hanßmann, Àngel Jorba, Jordi Villanueva, and Florian Wagener, Normal internal resonances in quasi-periodically forced oscillators: a conservative approach. Nonlinearity, 16 (2003), no. 5, 1751-1791.
8. R. Broucke and K. Garthwaite, A programming system for analytical series expansions on a computer. Celestial Mech., 1 (1969), 271-284.
9. Xavier Cabré, Ernest Fontich, and Rafael de la Llave, The parameterization method for invariant manifolds. I. Manifolds associated to non-resonant subspaces. Indiana Univ. Math. J., 52 (2003), no. 2, 283-328.
10. Enric Castellà and Àngel Jorba, On the vertical families of two-dimensional tori near the triangular points of the bicircular problem. Celestial Mech. Dynam. Astronom., 76 (2000), no. 1, 35-54.
11. Carmen Chicone and Yuri Latushkin, Evolution semigroups in dynamical systems and differential equations. American Mathematical Society, Providence, RI, 1999.
12. R. de la Llave and R. Obaya, Regularity of the composition operator in spaces of Holder functions. Discrete Contin. Dynam. Systems, 5 (1999), no. 1, 157-184.
13. R. de la Llave and D. Rana, Accurate strategies for K.A.M. bounds and their implementation. In Computer Aided Proofs in Analysis (Cincinnati, OH, 1989), pages 127-146. Springer, New York, 1991.
14. Rafael de la Llave, A tutorial on KAM theory. In Smooth ergodic theory and its applications (Seattle, WA, 1999), volume 69 of Proc. Sympos. Pure Math., pages 175-292. Amer. Math. Soc., Providence, RI, 2001.
15. Michael Dellnitz, Gary Froyland, and Oliver Junge, The algorithms behind GAIO-set oriented numerical methods for dynamical systems. In Ergodic theory, analysis, and efficient simulation of dynamical systems, pages 145-174, 805-807. Springer, Berlin, 2001.
16. James W. Demmel, Applied numerical linear algebra. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1997.
17. André Deprit, Jacques Henrard, J. F. Price, and Arnold Rom, Birkhoff's normalization. Celestial Mech., 1 (1969/1970), 222-251.
18. Luca Dieci and Jens Lorenz, Computation of invariant tori by the method of characteristics. SIAM J. Numer. Anal., 32 (1995), no. 5, 1436-1474.
19. Luca Dieci, Jens Lorenz, and Robert D. Russell, Numerical calculation of invariant tori. SIAM J. Sci. Statist. Comput., 12 (1991), no. 3, 607-647.
20. Luca Dieci and Bryan Rasmussen, A geometrical method for the approximation of invariant tori. 2006. Preprint.
21. J.-P. Eckmann and D. Ruelle, Ergodic theory of chaos and strange attractors. Rev. Modern Phys., 57 (1985), no. 3, part 1, 617-656.
22. Timo Eirola and Jan von Pfaler, Numerical Taylor expansions for invariant manifolds. Numer. Math., 99 (2004), no. 1, 25-46.
23. L. H. Eliasson, Perturbations of stable invariant tori for Hamiltonian systems. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 15 (1988), no. 1, 115-147 (1989).
24. Corrado Falcolini and Rafael de la Llave, A rigorous partial justification of Greene's criterion. J. Statist. Phys., 67 (1992), no. 3-4, 609-643.
25. G. Gómez, À. Jorba, C. Simó, and J. Masdemont, Dynamics and mission design near libration points. Vol. III, volume 4 of World Scientific Monograph Series in Mathematics. World Scientific Publishing Co. Inc., River Edge, NJ, 2001. Advanced methods for collinear points.
26. G. Gómez, À. Jorba, C. Simó, and J. Masdemont, Dynamics and mission design near libration points. Vol. IV, volume 5 of World Scientific Monograph Series in Mathematics. World Scientific Publishing Co. Inc., River Edge, NJ, 2001. Advanced methods for triangular points.
27. G. Gómez, J. Llibre, R. Martínez, and C. Simó, Dynamics and mission design near libration points. Vol. I, volume 2 of World Scientific Monograph Series in Mathematics. World Scientific Publishing Co. Inc., River Edge, NJ, 2001. Fundamentals: the case of collinear libration points, With a foreword by Walter Flury.
28. G. Gómez, C. Simó, J. Llibre, and R. Martínez, Dynamics and mission design near libration points. Vol. II, volume 3 of World Scientific Monograph Series in Mathematics. World Scientific Publishing Co. Inc., River Edge, NJ, 2001. Fundamentals: the case of triangular libration points.
29. Andreas Griewank and George F. Corliss, editors, Automatic differentiation of algorithms, Philadelphia, PA, 1991. Society for Industrial and Applied Mathematics (SIAM). Theory, implementation, and application.
30. D. M. Hardcastle and K. Khanin, The d-dimensional Gauss transformation: strong convergence and Lyapunov exponents. Experiment. Math., 11 (2002), no. 1, 119-129.
31. À. Haro, Center and center-(un)stable manifolds of elliptic-hyperbolic fixed points of 4D-symplectic maps. An example: the Froeschlé map. In Hamiltonian systems with three or more degrees of freedom (S'Agaró, 1995), pages 403-407. Kluwer Acad. Publ., Dordrecht, 1999.
32. À. Haro, An algorithm to generate canonical transformations: application to normal forms. Phys. D, 167 (2002), no. 3-4, 197-217.
33. À. Haro, Computation of invariant manifolds and normal forms using automatic differentiation. Work in progress, 2004.
34. À. Haro and R. de la Llave, A parameterization method for the computation of whiskers in quasi periodic maps: numerical implementation and examples. Preprint, 2005.
35. À. Haro and R. de la Llave, Manifolds on the verge of a hyperbolicity breakdown. Chaos, 16 (2006), no. 1, 012130.
36. À. Haro and R. de la Llave, A parameterization method for the computation of invariant tori and their whiskers in quasi periodic maps: rigorous results. J. Differential Equations, 2006. to appear.
37. À. Haro and R. de la Llave, Spectral theory and dynamical systems. ftp://ftp.ma.utexas.edu/pub/papers/llave/spectrum-dynamics.pdf, 2006.
38. Morris W. Hirsch and Stephen Smale, On algorithms for solving f(x) = 0. Comm. Pure Appl. Math., 32 (1979), no. 3, 281-313.
39. M.W. Hirsch and C.C. Pugh, Stable manifolds and hyperbolic sets. In Global Analysis (Proc. Sympos. Pure Math., Vol. XIV, Berkeley, Calif., 1968), pages 133-163. Amer. Math. Soc., Providence, R.I., 1970.
40. M.W. Hirsch, C.C. Pugh, and M. Shub, Invariant manifolds. Springer-Verlag, Berlin, 1977. Lecture Notes in Mathematics, Vol. 583.
41. Mingyou Huang, Tassilo Küpper, and Norbert Masbaum, Computation of invariant tori by the Fourier methods. SIAM J. Sci. Comput., 18 (1997), no. 3, 918-942.
42. Russell A. Johnson and George R. Sell, Smoothness of spectral subbundles and reducibility of quasiperiodic linear differential systems. J. Differential Equations, 41 (1981), no. 2, 262-288.
43. A. Jorba, Numerical computation of the normal behaviour of invariant curves of n-dimensional maps. Nonlinearity, 14 (2001), 943-976.
44. À. Jorba, R. de la Llave, and M. Zou, Lindstedt series for lower-dimensional tori. In Hamiltonian Systems with Three or More Degrees of Freedom (S'Agaro, 1995), pages 151-167. Kluwer Acad. Publ., Dordrecht, 1999.
45. À. Jorba, R. de la Llave, and M. Zou, Lindstedt series for lower-dimensional tori. In Hamiltonian Systems with Three or More Degrees of Freedom (S'Agaro, 1995), pages 151-167. Kluwer Acad. Publ., Dordrecht, 1999.
46. À. Jorba, R. Ramírez-Ros, and J. Villanueva, Effective reducibility of quasi-periodic linear equations close to constant coefficients. SIAM J. Math. Anal., 28 (1997), no. 1, 178-188.
47. À. Jorba and C. Simó, On the reducibility of linear differential equations with quasiperiodic coefficients. J. Differential Equations, 98 (1992), no. 1, 111-124.
48. À. Jorba and C. Simó, On quasi-periodic perturbations of elliptic equilibrium points. SIAM J. Math. Anal., 27 (1996), no. 6, 1704-1737.
49. Cesar Ocampo Juan Senet and Antonio Capella, Low-trust variable-specific-impulse transfers and guidance to unstable periodic orbits. AIAA Journal of Guidance and Control Dynamics, 28 (2005), 280-290.
50. L. Kantorovitch and G. Akilov, Analyse fonctionnelle. Tome 2. "Mir", Moscow, 1981. Équations fonctionnelles. [Functional equations], Translated from the second Russian edition by Djilali Embarek.
51. I. G. Kevrekidis, R. Aris, L. D. Schmidt, and S. Pelikan, Numerical computation of invariant circles of maps. Phys. D, 16 (1985), no. 2, 243-251.
52. Donald E. Knuth, The art of computer programming. Vol. 2: Seminumerical algorithms. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont, third revised edition, 1997.
53. B. Krauskopf, H.M. Osinga, E.J. Doedel, M.E. Henderson, J.M. Guckenheimer, A. Vladimirsky, M. Dellnitz, and O. Junge, A survey of methods for computing (un)stable manifolds of vector fields. Int. J. Bifurcation & Chaos, 15 (2005), no. 3.
54. Bernd Krauskopf and Hinke Osinga, Growing ID and quasi-2D unstable manifolds of maps. J. Comput. Phys., 146 (1998), no. 1, 404-419.
55. Jeffrey C. Lagarias and Johan T. Håstad, Simultaneous Diophantine approximation of rationals by rationals. 3. Number Theory, 24 (1986), no. 2, 200-228.
56. J. Laskar, Manipulation des series. In D. Benest and E. Froeschle, editors, Modern methods in celestial mechanics. Editions Frontieres, Paris, 1989.
57. John N. Mather, Characterization of Anosov diffeomorphisms. Nederl. Akad. Wetensch. Proc. Ser. A 71 = Indag. Math., 30 (1968), 479-483.
58. Gerald Moore, Computation and parameterisation of invariant curves and tori. SIAM J. Numer. Anal., 33 (1996), no. 6, 2333-2358.
59. Jürgen Moser and Jürgen Pöschel, An extension of a result by Dinaburg and Sinai on quasiperiodic potentials. Comment. Math. Helv., 59 (1984), no. 1, 39-85.
60. Mercè Ollé, Numerical exploration of bifurcation phenomena associated with complex instability. In Numerical methods for bifurcation problems and large-scale dynamical systems (Minneapolis, MN, 1997), volume 119 of IMA Vol. Math. Appl., pages 319-326. Springer, New York, 2000.
61. Mercè Ollè and Daniel Pfenniger, Bifurcation at complex instability. In Hamiltonian systems with three or more degrees of freedom (S'Agarö, 1995), volume 533 of NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., pages 518-522. Kluwer Acad. Publ., Dordrecht, 1999.
62. E. Olmedo and À. Jorba, A parallel method to compute quasi-periodic solutions. In Proceedings of the International Conference on Differential Equations (Equadiff 2003), pages 181-183, Hasselt, 2005. World Scientific. Edited by F. Dumortier, H. Broer.J. Mawhin.A. Vanderbauwhede,S. Verduyn Lunel.
63. J. M. Ortega and W. C. Rheinboldt, Iterative solution of nonlinear equations in several variables, volume 30 of Classics in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2000. Reprint of the 1970 original.
64. Hinke M. Osinga and Ulrike Feudel, Boundary crisis in quasiperiodically forced systems. Phys. D, 141 (2000), no. 1-2, 54-64.
65. Jürgen Pöschel, On elliptic lower-dimensional tori in Hamiltonian systems. Math. Z., 202 (1989), no. 4, 559-608.
66. D. Rana, Proof of Accurate Upper and Lower Bounds to Stability Domains in Small Denominator Problems. PhD thesis, Princeton University, 1987.
67. A. Rom, The manipulation of algebraic expressions. Comm. Assoc. Comp. Machinery, 4 (1961), no. 9.
68. R. R.Ricklefs, W. Jefferys, and R. Broucke, A general precompiler for algebraic manipulation. Celest. Mech., 29 (1983), 179-190.
69. R.J. Sacker and G.R. Sell, Existence of dichotomies and invariant splittings for linear differential systems. II. J. Differential Equations, 22 (1976), no. 2, 478-496.
70. R.J. Sacker and G.R. Sell, Existence of dichotomies and invariant splittings for linear differential systems. III. J. Differential Equations, 22 (1976), no. 2, 497-522.
71. Frank Schilder, Hinke M. Osinga, and Werner Vogt, Continuation of quasi-periodic invariant tori. SIAM J. Appl. Dyn. Syst., 4 (2005), no. 3, 459-488 (electronic).
72. D. S. Schmidt, Polypak: an algebraic processor for computations in celestial mechanics. In Chudnovsky and Jenks, editors, Computer Algebra, pages 111-120. Marcel Dekker, 1989.
73. C. Simó, Effective computations in celestial mechanics and astrodynamics. In Modern methods of analytical mechanics and their applications (Udine, 1997), volume 387 of CISM Courses and Lectures, pages 55-102. Springer, Vienna, 1998.
74. Carles Simó, On the analytical and numerical approximation of invariant manifolds. In Daniel Benest and Claude Froeschlé, editors, Les Méthodes Modernes de la Mecnique Cleste (Course given at Goutelas, France, 1989), pages 285-329, Paris, 1990. Editions Frontières.
75. Caries Simó, Averaging under fast quasiperiodic forcing. In Hamiltonian mechanics (Toruń, 1993), volume 331 of NATO Adv. Sci. Inst. Ser. B Phys., pages 13-34. Plenum, New York, 1994.
76. Carles Simó, Effective computations in Hamiltonian dynamics. In Mécanique céleste, volume 1996 of SMF Journ. Annu., page 23. Soc. Math. France, Paris, 1996.
77. Steve Smale, Algorithms for solving equations. In Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Berkeley, Calif., 1986), pages 172-195, Providence, RI, 1987. Amer. Math. Soc.
78. E. Thoulouze-Pratt, Existence theorem of an invariant torus of solutions to a periodic differential system. Nonlinear Anal., 5 (1981), no. 2, 195-202.
79. E. Thoulouze-Pratt and M. Jean, Analyse numérique du comportement d'une solution presque périodique d'une équation différentielle périodique par une méthode des sections. Internat. J. Non-Linear Mech., 17 (1982), no. 5-6, 319-326.
80. Lloyd N. Trefethen and David Bau, III, Numerical linear algebra. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1997.
81. Manfred R. Trummer, Spectral methods in computing invariant tori. Appl. Numer. Math., 34 (2000), no. 2-3, 275-292. Auckland numerical ordinary differential equations (Auckland, 1998).
82. Robert L. Warnock, Close approximations to invariant tori in nonlinear mechanics. Phys. Rev. Lett., 66 (1991), no. 14, 1803-1806.
83. A. Weinstein, Lectures on Symplectic Manifolds, volume 29 of CBMS Regional Conf. Ser. in Math. Amer. Math. Soc., Providence, 1977.
84. Maciej P. Wojtkowski and Carlangelo Liverani, Conformally symplectic dynamics and symmetry of the Lyapunov spectrum. Comm. Math. Phys., 194 (1998), no. 1, 47-60.
85. Derin B. Wysham and James D. Meiss, Numerical computation of the stable and unstable manifolds of invariant tori, 2005.