On the KAM and Nekhoroshev theorems for symplectic integrators and implications for error growth

Nonlinearity

Volumn 17, Issue 1, 2004, Pages 67-83

  Moan, Per Christian ^a  

^a LA TROBE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347931879     PISSN: 09517715     EISSN: None     Source Type: Journal    
DOI: 10.1088/0951-7715/17/1/005     Document Type: Article

References (48)

1. Arnold V I, Kozlov V V and Neishtadt A I 1988 Mathematical aspects of classical and celestial mechanics Dynamical Systems III ed V I Arnold (Berlin: Springer)
2. Benettin G, Galgani L and Giorgilli A 1985 A proof of Nekhoroshev's theorem for the stability time in nearly integrable Hamiltonian systems Celestial Mech. Dyn. Astr. 37 1-25
3. Benettin G and Giorgilli A 1994 On the Hamiltonian interpolation of near-to-the-identity symplectic mappings with application to symplectic integration algorithms J. Stat. Phys. 74 1117-43
4. Cano B and Sanz-Serna J M 1997 Error growth in the numerical integration of periodic orbits, with application to Hamiltonian and reversible systems SIAM J. Numer. Anal. 34 1391-417
5. Calvo M P and Hairer E 1995 Accurate long-term integration of dynamical systems 7th Conf. on the Numerical Treatment of Differential Equations (Halle, 1994) Appl Numer. Math. vol 18, pp 95-105
6. Delshams A and Gutiérrez P 1996 Effective stability and KAM theory J. Diff. Eqns 128 415-90
7. Douday R 1982 Une démonstration directe de l'équivalance des théorèmes de tores invariants pour difféomorphismes et champs de vecteurs C. R. Acad. Sci. Paris Ser. I Math. 295 201-4
8. Estep D J and Stuart A M 1995 The rate of error growth in Hamiltonian-conserving integrators Z. Angew. Math. Phys. 46 407-18
9. Fasso F 1990 Lie series method for vector fields and Hamiltonian perturbation theory ZAMP 41 843-64
10. Fiedler B and Scheurle J 1996 Discretization of homoclinic orbits, rapid forcing and 'invisible' chaos Mem. Am. Math. Sov. 119
11. Benettin G, Fassó F and Guzzo M 1998 Nekhoroshev-stability of L4 and L5 in the spatial restricted three-body problem Regular Chaotic Dynamics 3 56-72
12. Gonzalez O, Higham D J and Stuart A M 1999 Qualitative properties of modified equations IMA J. Numer. Anal. 19 169-90
13. Hairer E and Lubich Ch 1997 The life-span of backward error analysis for numerical integrators Numer. Math. 76 441-62
14. Hairer E, Lubich Ch and Wanner G 2002 Geometric numerical integration. Structure-preserving algorithms for ordinary differential equations Springer Series in Computational Mathematics vol 31 (Berlin: Springer)
15. Hairer E, Lubich Ch and Wanner G 2003 Geometric numerical integration illustrated by the Störmer/Verlet method Acta Numerica 2003 (Cambridge: Cambridge University Press) pp 399-450
16. Haro A 2000 Interpolation of an exact symplectomorphism by a Hamiltonian flow Mathematical Physics Preprint Archive 2000 http://www.ma.utexas.edu/mp
17. Il'yashenko Yu S 1986 A criterion of steepness for analytic functions Uspekhi Mat. Nauk 41 193-4
18. Katok A B 1973 Ergodic perturbations of degenerate integrable Hamiltonian systems Math. USSR. Izv. 7 535-72
19. Kolmogorov A N 1954 On conservation of conditionally periodic motions for a small change in Hamilton's function Dokl. Akad. Nauk SSSR (NS) 98 527-30 (in Russian) Arnol'd V I 1961 The stability of the equilibrium position of a Hamiltonian system of ordinary differential equations in the general elliptic case Dokl. Akad. Nauk SSSR 137 255-7 (in Russian) Moser J 1962 On invariant curves of area-preserving mappings of an annulus Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II 1-20
20. Kolmogorov A N 1954 On conservation of conditionally periodic motions for a small change in Hamilton's function Dokl. Akad. Nauk SSSR (NS) 98 527-30 (in Russian) Arnol'd V I 1961 The stability of the equilibrium position of a Hamiltonian system of ordinary differential equations in the general elliptic case Dokl. Akad. Nauk SSSR 137 255-7 (in Russian) Moser J 1962 On invariant curves of area-preserving mappings of an annulus Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II 1-20
21. Kolmogorov A N 1954 On conservation of conditionally periodic motions for a small change in Hamilton's function Dokl. Akad. Nauk SSSR (NS) 98 527-30 (in Russian) Arnol'd V I 1961 The stability of the equilibrium position of a Hamiltonian system of ordinary differential equations in the general elliptic case Dokl. Akad. Nauk SSSR 137 255-7 (in Russian) Moser J 1962 On invariant curves of area-preserving mappings of an annulus Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II 1-20
22. Kuksin S and Pöschel J 1994 On the inclusion of analytic symplectic maps in Hamiltonian flows and its applications Seminar on Dynamical Systems (St Petersburg, 1991) Progr. Nonlinear Differential Equations Appl. vol 12 (Basel: Birkhauser) pp 96-116
23. Lichtenberg A H and Lieberman M A 1983 Regular and Stochastic Motion vol 38 (AMS) (Berlin: Springer)
24. Lochak P 1995 Stability of Hamiltonian systems over exponentially long times: the near-linear case Hamiltonian Dynamical Systems (Cincinnati, OH, 1992) IMA Vol. Math. Appl. vol 63 (New York: Springer) pp 221-9 Lochak P 1993 Hamiltonian perturbation theory: periodic orbits, resonances and intermittency Nonlinearity 6 885-904 Lochak P 1992 Canonical perturbation theory: an approach based on joint approximations Russian Math. Surveys 47 57-133
25. Lochak P 1995 Stability of Hamiltonian systems over exponentially long times: the near-linear case Hamiltonian Dynamical Systems (Cincinnati, OH, 1992) IMA Vol. Math. Appl. vol 63 (New York: Springer) pp 221-9 Lochak P 1993 Hamiltonian perturbation theory: periodic orbits, resonances and intermittency Nonlinearity 6 885-904 Lochak P 1992 Canonical perturbation theory: an approach based on joint approximations Russian Math. Surveys 47 57-133
26. Lochak P 1995 Stability of Hamiltonian systems over exponentially long times: the near-linear case Hamiltonian Dynamical Systems (Cincinnati, OH, 1992) IMA Vol. Math. Appl. vol 63 (New York: Springer) pp 221-9 Lochak P 1993 Hamiltonian perturbation theory: periodic orbits, resonances and intermittency Nonlinearity 6 885-904 Lochak P 1992 Canonical perturbation theory: an approach based on joint approximations Russian Math. Surveys 47 57-133
27. Moan P C 2002 On backward error analysis and Nekhoroshev stability in the numerical analysis of conservative systems of ODEs PhD Thesis University of Cambridge
28. Moan P C Symplectic Integration of Close to Integrable Hamiltonian Systems in preparation
29. Morbidelli A and Giorgilli A 1995 Superexponential stability of KAM tori J. Stat. Phys. 78 1607-17 Morbidelli A and Giorgilli A 1997 Invariant KAM tori and global stability for Hamiltonian systems Z. Angew. Math. Phys. 48 102-34
30. Morbidelli A and Giorgilli A 1995 Superexponential stability of KAM tori J. Stat. Phys. 78 1607-17 Morbidelli A and Giorgilli A 1997 Invariant KAM tori and global stability for Hamiltonian systems Z. Angew. Math. Phys. 48 102-34
31. Nekhoroshev N N 1979 An exponential estimate of the time of stability of nearly integrable Hamiltonian systems. II Trudy Sem. Petrovsk. 5-50 (in Russian) Nekhoroshev N N 1977 An exponential estimate of the time of stability of nearly integrable Hamiltonian systems Uspehi Mat. Nauk 32 5-66, 287 (in Russian)
32. Nekhoroshev N N 1979 An exponential estimate of the time of stability of nearly integrable Hamiltonian systems. II Trudy Sem. Petrovsk. 5-50 (in Russian) Nekhoroshev N N 1977 An exponential estimate of the time of stability of nearly integrable Hamiltonian systems Uspehi Mat. Nauk 32 5-66, 287 (in Russian)
33. Neǐstadt A I 1984 The separation of motions in systems with rapidly rotating phase J. Appl. Math. Mech. 48 133-9
34. Niederman L 2000 Exponential stability for small perturbations of steep integrable Hamiltonian systems Mathematical Physics Preprint Archive 2000 http://www.ma.utexas.edu/mp
35. Pöschel J 1993 Nekhoroshev estimates for quasi-convex Hamiltonian systems Math. Z. 213 187-216
36. Reich S 1999 Backward error analysis for numerical integrators SIAM J. Numer. Anal. 36 1549-70
37. Tang Y-F 1994 Formal energy of a symplectic scheme for Hamiltonian systems and its applications I Comput. Math. Appl. 27 31-9
38. Rüssmann H 1990 Nondegeneracy in the perturbation theory of integrable dynamical systems Stochastics, Algebra and Analysis in Classical and Quantum Dynamics (Marseille, 1988) Math. Appl. vol 59, pp 211-23
39. Saha P and Tremaine S 1992 Symplectic integrators for solar system dynamics Astron. J. 104 1633-40
40. Sanz-Serna J M 1991 Two topics in nonlinear stability Advances in Numerical Analysis vol 1, ed Will Light (Oxford: Clarendon)
41. Sevryuk M B The classical KAM theory at the dawn of the twenty-first century Moscow Math. J. to appear
42. Shang Z-J 2000 Resonant and diophantine step sizes in computing invariant tori of Hamiltonian systems Nonlinearity 13 299-308 Shang Z-J 1999 KAM theorem of symplectic algorithms for Hamiltonian systems Numer. Math. 83 477-96
43. Shang Z-J 2000 Resonant and diophantine step sizes in computing invariant tori of Hamiltonian systems Nonlinearity 13 299-308 Shang Z-J 1999 KAM theorem of symplectic algorithms for Hamiltonian systems Numer. Math. 83 477-96
44. Stoffer D 1998 On the qualitative behaviour of symplectic integrators. II. Integrable systems J. Math. Anal. Appl. 217 501-20
45. Pronin A V and Treschev D V 1997 On the inclusion of analytic maps into analytic flows Regul. Khaoticheskaya Din. 2 14-24
46. Trifonov S I 1986 Analytic diffeomorphisms as monodromy maps of analytic differential equations Vestn. Mosk. Univ. 70-2 (in Russian)
47. Perry A and Wiggins S 1994 KAM tori are very sticky: rigorous lower bounds on the time to move away from an invariant Lagrangian torus with linear flow Physica D 71 102-21
48. Wisdom J and Holman M 1991 Symplectic maps for the n-body problem Astron. J. 102 1528-38 Wisdom J and Holman M 1992 Symplectic maps for the n-body problem: stability analysis Astron. J. 104 2022-9