A Methodology for the Numerical Computation of Normal Forms, Centre Manifolds and First Integrals of Hamiltonian Systems

REFERENCES

• Abraham , R. and Marsden , J. E. 1978 . Foundations of mechanics, , 2nd ed. Reading , MA : Benjamin/Cummings. . [Abraham and Marsden 1978]
   Google Scholar
• Arnol'd , V. I. 1964 . “Instability of dynamical systems with several degrees of freedom” . Dokl. Akad. Nauk SSSR , 156 : 9 – 12 . [Arnol'd 1964], In Russian; translated in Sov. Math. Dokl. 5:3 (1964), 581–585
   Google Scholar
• Arnol'd , V. I. 1978 . Mathematical methods of classical mechanics, , Second edition New York : Springer. . [Arnol'd 1978], Graduate Texts in Math. 60, 1989
   Google Scholar
• Arnol'd , V. I. and Avez , A. 1968 . Ergodic problems of classical mechanics New York : W. A. Benjamin, Inc. . [Arnol'd and Avez 1968]
   Google Scholar
• Arnol'd , V. I. , Kozlov , V. V. and Neishtadt , A. I. 1988 . Dynamical systems III, , Second edition Berlin : Springer. . [Arnol'd et al. 1988], Encyclopaedia of mathematical sciences 3, 1993
   Google Scholar
• Broucke , R. 1989 . “A Fortran-based Poisson series processor and its applications in celestial mechanics” . Celestial Mechanics , 45 : 255 – 265 . [Broucke 1989]
   Web of Science ®Google Scholar
• Broucke , R. and Garthwaite , K. 1969 . “A programming system for analytical series expansions on a computer” . Celestial Mechanics , 1 : 271 – 284 . [Broucke and Garthwaite 1969]
   Google Scholar
• Brumberg , V. A. , Tarasevich , S. V. and Vasiliev , N. N. 1989 . “Specialized celestial mechanics systems for symbolic manipulation” . Celestial Mechanics , 45 : 149 – 162 . [Brumberg et al. 1989]
   Web of Science ®Google Scholar
• Bruno , A. D. 1989 . Local methods in nonlinear differential equations Berlin : Springer Series in Soviet Mathematics, Springer. . [Bruno 1989]
   Google Scholar
• Celletti , A. and Chierchia , L. 1988 . “Construction of analytic KAM surfaces and effective stability bounds” . Comm. Math. Phys. , 118 ( 1 ) : 119 – 161 . [Celletti and Chierchia 1988]
   Web of Science ®Google Scholar
• Celletti , A. and Giorgilli , A. 1991 . “On the stability of the Lagrangian points in the spatial restricted three body problem” . Celestial Mechanics , 50 : 31 – 58 . [Celletti and Giorgilli 1991]
   Web of Science ®Google Scholar
• Díez , C. , Jorba , A. and Simó , C. 1991 . “A dynamical equivalent to the equilateral libration points of the Earth-Moon system” . Celestial Mechanics , 50 : 13 – 29 . [Díez et al. 1991]
   Web of Science ®Google Scholar
• Giorgilli , A. 1979 . “A computer program for integrals of motion” . Comp. Phys. Comm. , 16 : 331 – 343 . [Giorgilli 1979]
   Web of Science ®Google Scholar
• Giorgilli , A. , Delshams , A. , Fontich , E. , Galgani , L. and Simó , C. 1989 . “Effective stability for a Hamiltonian system near an elliptic equilibrium point, with an application to the restricted three-body problem” . J. Differential Equations , 77 ( 1 ) : 167 – 198 . [Giorgilli et al. 1989]
   Web of Science ®Google Scholar
• Gómez , G. , Llibre , J. , Martínez , R. and Simó , C. 1985 . “Station keeping of libration point orbits” [Gómez et al. 1985], Final Report, ESOC Contract 5684/83/D/JS (SC)
   Google Scholar
• Gómez , G. , Llibre , J. , Martínez , R. and Simó , C. 1987 . “Study on orbits near the triangular libration points in the perturbed restricted three-body problem” [Gómez et al. 1987], Final Report, ESOC Contract 6139/84/D/JS (SC)
   Google Scholar
• Gómez , G. , Jorba , A. , Masdemont , J. and Simó , C. “A dynamical systems approach for the analysis of the SOHO mission” . Proceedings of the Third International Symposium on Spacecraft Flight Dynamics . pp. 449 – 454 . Noordwijk , , Holland : ESA Publications Division, ESTEC. . [Gómez et al. 1991a]
   Google Scholar
• Gómez , G. , Jorba , A. , Masdemont , J. and Simó , C. “A quasiperiodic solution as a substitute of L4 in the Earth-Moon system” . Proceedings of the Third International Symposium on Spacecraft Flight Dynamics . pp. 35 – 41 . Noordwijk , , Holland : ESA Publications Division, ESTEC. . [Gómez et al. 1991b]
   Google Scholar
• Gómez , G. , Jorba , A. , Masdemont , J. and Simó , C. 1991 . “Study of refinement of semi-analytical halo orbit theory” [Gómez et al. 1991c], Final Report, ESOC Contract 8625/89/D/MD (SC)
   Google Scholar
• Gómez , G. , Jorba , A. , Masdemont , J. and Simó , C. 1993 . “Study of Poincaré maps for orbits near Lagrangian points” [Gómez et al. 1993a], Final Report, ESOC Contract 9711/91/D/IM (SC)
   Google Scholar
• Gómez , G. , Jorba , A. , Masdemont , J. and Simó , C. 1993 . “Study of the transfer between halo orbits in the solar system” . Adv. Astronautical Sci. , 84 : 623 – 637 . [Gómez et al. 1993b]
   Google Scholar
• Gómez , G. , Jorba , A. , Masdemont , J. and Simó , C. 1993 . “Study of the transfer from the Earth to a halo orbit around the equilibrium point L 1“ . Celestial Mechanics , 56 : 541 – 562 . [Gómez et al. 1993c]
   Web of Science ®Google Scholar
• Gómez , G. , Masdemont , J. and Simó , C. 1997 . “Lissajous orbits around Halo orbits”. ” . In Spaceflight Mechanics 1997 (Huntsville, AL, 1997) Edited by: Howell , K. C. 117 – 134 . San Diego : American Astronautical Society and Univelt. . [Gómez et al. 1997], Advances in the Astronautical Sciences 95
   Google Scholar
• Henrard , J. 1989 . “A survey of Poisson series processors” . Celestial Mechanics , 45 : 245 – 253 . [Henrard 1989]
   Web of Science ®Google Scholar
• Jorba , A. and de la Llave , R. “Regularity properties of center manifolds and applications” [Jorba and Llave ≥ 1999], In preparation
   Google Scholar
• Jorba , A. and Masdemont , J. 1998 . “Dynamics in the center manifold of the collinear points of the restricted three body problem” [Jorba and Masdemont 1998], preprint, To appear in Physica D.
   Google Scholar
• Jorba , A. and Masdemont , J. 1999 . “Nonlinear dynamics in an extended neighbourhood of the translunar equilibrium point”. ” . In Hamiltonian systems with three or more degrees of freedom (S'Agaro, Spain, 1995) Edited by: Simó , C. 430 – 434 . New York : Kluwer. . [Jorba and Masdemont 1999], NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 533
   Google Scholar
• Jorba , A. and Simó , C. 1994 . “Effective stability for periodically perturbed Hamiltonian systems”. ” . In Hamiltonian mechanics Edited by: Seimenis , J. 245 – 252 . New York : Plenum Press. . [Jorba and Simó 1994]
   Google Scholar
• Jorba , À. and Villanueva , J. 1997 . “On the normal behaviour of partially elliptic lowerdimensional tori of Hamiltonian systems” . Nonlinearity , 10 ( 4 ) : 783 – 822 . [Jorba and Villanueva 1997a]
   Web of Science ®Google Scholar
• Jorba , À. and Villanueva , J. 1997 . “On the persistence of lower-dimensional invariant tori under quasi-periodic perturbations” . J. Nonlinear Sci. , 7 ( 5 ) : 427 – 473 . [Jorba and Villanueva 1997b]
   Web of Science ®Google Scholar
• Jorba , À. and Villanueva , J. 1998 . “Numerical computation of normal forms around some periodic orbits of the restricted three-body problem” . Phys. D , 114 ( 3–4 ) : 197 – 229 . [Jorba and Villanueva 1998]
   Web of Science ®Google Scholar
• Jorba , A. and Villanueva , J. 1999 . “Effective stability around periodic orbits of the spatial RTBP”. ” . In Hamiltonian systems with three or more degrees of freedom (S'Agaro, Spain, 1995) Edited by: Simó , C. 628 – 632 . New York : Kluwer. . [Jorba and Villanueva 1999], NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 533
   Google Scholar
• Kernighan , B. and Ritchie , D. 1988 . The C programming language, , 2nd ed. Englewood Cliffs , NJ : Prentice-Hall. . [Kernighan and Ritchie 1988]
   Google Scholar
• Laskar , J. 1990 . “Manipulation des series”. ” . In Modern methods in celestial mechanics (Gif-sur-Yvette, 1989), , Second edition Edited by: Benest , D. and Froeschlé , C. Paris : Editions Frontières. . [Laskar 1990], 1992
   Google Scholar
• de la Llave , R. and Rana , D. 1990 . “Accurate strategies for small divisor problems” . Bull. Amer. Math. Soc. (N.S.) , 22 ( 1 ) : 85 – 90 . [Llave and Rana 1990]
   Web of Science ®Google Scholar
• de la Llave , R. , Marco , J. M. and Moriyón , R. 1986 . “Canonical perturbation theory of Anosov systems and regularity results for the Livšic cohomology equation” . Ann. of Math. (2) , 123 ( 3 ) : 537 – 611 . [Llave et al. 1986]
   Web of Science ®Google Scholar
• Marchal , C. 1980 . “The quasi integrals” . Celestial Mechanics , 21 : 183 – 191 . [Marchal 1980]
   Web of Science ®Google Scholar
• Meyer , K. R. and Hall , G. R. 1992 . Introduction to Hamiltonian dynamical systems and the N-body problem New York : Springer. . [Meyer and Hall 1992]
   Google Scholar
• Meyer , K. R. and Schmidt , D. S. 1986 . “The stability of the Lagrange triangular point and a theorem of Arnol'd” . J. Differential Equations , 62 ( 2 ) : 222 – 236 . [Meyer and Schmidt 1986]
   Web of Science ®Google Scholar
• Raines , P. E. and Uzer , T. A. 1992 . “Computing normal forms of nonseparable Hamiltonians by symbolic manipulation” . Comp. Phys. Comm. , 70 : 569 – 578 . [Raines and Uzer 1992]
   Web of Science ®Google Scholar
• Rand , R. H. and Armbruster , D. 1987 . Perturbation methods, bifurcation theory and computer algebra New York : Springer. . [Rand and Armbruster 1987], Applied Mathematical Sciences 65
   Google Scholar
• Richardson , D. L. 1980 . “A note on a Lagrangian formulation for motion about the collinear points” . Celestial Mechanics , 22 : 231 – 236 . [Richardson 1980]
   Web of Science ®Google Scholar
• Ricklefs , R. , Jefferys , W. and Broucke , R. 1983 . “A general precompiler for algebraic manipulation” . Celestial Mechanics , 29 : 179 – 190 . [Ricklefs et al. 1983]
   Web of Science ®Google Scholar
• Schelter , W. 1991 . “SCC: An extension of ANSI C” [Schelter 1991], See ftp://ftp.math.utexas.edu/pub/maxima/scc-3.tgz
   Google Scholar
• Siegel , C. L. and Moser , J. K. 1971 . Lectures on celestial mechanics New York : Springer. . [Siegel and Moser 1971], Die Grundlehren der mathematischen Wissenschaften 187, Reprinted 1995
   Google Scholar
• Sijbrand , J. 1985 . “Properties of center manifolds” . Trans. Amer. Math. Soc. , 289 ( 2 ) : 431 – 469 . [Sijbrand 1985]
   Web of Science ®Google Scholar
• Simó , C. 1989 . “Estabilitat de sistemes hamiltonians” . Mem. de la Real Acad, de Ciencias y Artes de Barcelona , 48 ( 7 ) [Simó 1989]
   Google Scholar
• Simó , C. 1990 . “Analytical and numerical computation of invariant manifolds”. ” . In Modem methods in celestial mechanics (Gif-sur-Yvette, 1989) Edited by: Benest , D. and Froeschlé , C. 285 – 330 . Paris : Editions Frontières. . [Simó 1990]
   Google Scholar
• Simó , C. 1994 . “Averaging under fast quasiperiodic forcing”. ” . In Hamiltonian mechanics (Toruń, 1993) Edited by: Seimenis , J. 13 – 34 . New York : Plenum. . [Simó 1994], NATO Adv. Sci. Inst. Ser. B Phys. 331
   Google Scholar
• Simó , C. 1996 . “Effective computations in Hamiltonian dynamics”. ” . In Mécanique céleste: Cent ans après les Méthodes Nouvelles de H. Poincaré 1 – 23 . Paris : Soc. Math. France. . [Simó 1996]
   Google Scholar
• Simó , C. 1998 . “Effective computations in celestial mechanics and astrodynamics”. ” . In Modern methods of analytical mechanics and their applications (Udine, Italy, 1997) Edited by: Rumyantsev , V. V. and Karapetyan , A. V. 55 – 102 . Springer. . [Simó 1998], CISM Courses and Lectures 387
   Google Scholar
• Simó , C. , Gómez , G. , Jorba , A. and Masdemont , J. 1995 . “The bicircular model near the triangular libration points of the RTBP”. ” . In From Newton to Chaos: modern techniques for understanding and coping with chaos in n-body dynamical systems Edited by: Roy , A. E. and Steves , B. A. 343 – 370 . New York : Plenum Press. . [Simó et al. 1995], NATO Adv. Sci. Inst. Ser. B Phys. 336
   Google Scholar
• Stroustrup , B. 1992 . The C++ programming language, , 2nd ed. Reading , MA : Addison Wesley. . [Stroustrup 1992]
   Google Scholar
• Szebehely , V. 1967 . Theory of orbits: the restricted problem of three bodies New York : Academic Press. . [Szebehely 1967]
   Google Scholar
• Vanderbauwhede , A. 1989 . “Centre manifolds, normal forms and elementary bifurcations”. ” . In Dynamics reported vol. 2 , 89 – 169 . Chichester : Wiley. . [Vanderbauwhede 1989]
   Google Scholar