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

This paper deals with the effective computation of normal forms, centre manifolds and first integrals in Hamiltonian mechanics. These calculations are very useful since they allow us, among other things, to give explicit estimates on the diffusion time and to compute invariant tori. The approach presented here is based on the algebraic manipulation of formal series with numerical coefficients for them. This, together with a very efficient software implementation, allows big savings in memory and execution time in comparison with the use of commercial algebraic manipulators. The algorithms are discussed together with their C/C++ implementations, and they are applied to some concrete examples from celestial mechanics.

[1]  Carles Simó,et al.  Hamiltonian systems with three or more degrees of freedom , 1999 .

[2]  Luigi Chierchia,et al.  Construction of analytic KAM surfaces and effective stability bounds , 1988 .

[3]  Àngel Jorba,et al.  On the Persistence of Lower Dimensional Invariant Tori under Quasi-Periodic Perturbations , 1997 .

[4]  J. Masdemont,et al.  Nonlinear Dynamics in an Extended Neighbourhood of the Translunar Equilibrium Point , 1999 .

[5]  K. Meyer,et al.  The Stability of the Lagrange Triangular Point and a Theorem of Arnold , 1986 .

[6]  T. Uzer,et al.  Computing normal forms of nonseparable Hamiltonians by symbolic manipulation , 1992 .

[7]  Josep J. Masdemont,et al.  Dynamics in the center manifold of the collinear points of the restricted three body problem , 1999 .

[8]  Roger A. Broucke,et al.  A general precompiler for algebraic manipulation , 1983 .

[9]  L. Galgani,et al.  Effective stability for a Hamiltonian system near an elliptic equilibrium point, with an application to the restricted three body problem , 1989 .

[10]  P J Fox,et al.  THE FOUNDATIONS OF MECHANICS. , 1918, Science.

[11]  Antonio Giorgilli,et al.  A computer program for integrals of motion , 1984 .

[12]  David L. Richardson,et al.  A note on a Lagrangian formulation for motion about the collinear points , 1980 .

[13]  R. Llave,et al.  Canonical perturbation theory of Anosov systems, and regularity results for the Livsic cohomology equation , 1985 .

[14]  V. Arnold.  Mathematical Methods of Classical Mechanics , 1974 .

[15]  Carles Simó.  Effective computations in hamiltonian dynamics , 1996 .

[16]  Gerard Gómez,et al.  Study of the transfer from the Earth to a halo orbit around the equilibrium pointL1 , 1993 .

[17]  D. Armbruster,et al.  "Perturbation Methods, Bifurcation Theory and Computer Algebra" , 1987 .

[18]  V. Arnold,et al.  Dynamical Systems III , 1987 .

[20]  Bjarne Stroustrup,et al.  The C++ programming language (2nd ed.) , 1991 .

[21]  R. Broucke,et al.  A programming system for analytical series expansions on a computer , 1969 .

[22]  C. Marchal.  The quasi integrals , 1980 .

[23]  R. de la Llave,et al.  Accurate strategies for small divisor problems , 1990 .

[24]  R. Llave,et al.  Canonical perturbation theory of Anosov systems and regularity results for the Livsic cohomology equation , 1986 .

[25]  J. Henrard,et al.  A survey of Poisson series processors , 1988 .

[26]  R. Brockett,et al.  Foundations of mechanics, 2nd edition , 1981, IEEE Transactions on Automatic Control.

[27]  Angel Jorbayx,et al.  On the normal behaviour of partially elliptic lower-dimensional tori of Hamiltonian systems , 1997 .

[28]  Àngel Jorba,et al.  Numerical computation of normal forms around some periodic orbits of the restricted three-body problem , 1998 .

[29]  V. Szebehely,et al.  Theory of Orbits: The Restricted Problem of Three Bodies , 1967 .

[30]  Carles Simó,et al.  Averaging under Fast Quasiperiodic Forcing , 1994 .

[31]  Vladimir I. Arnold,et al.  Instability of Dynamical Systems with Several Degrees of Freedom , 2020, Hamiltonian Dynamical Systems.

[32]  A. Jorba,et al.  A dynamical equivalent to the equilateral libration points of the earth-moon system , 1990 .

[33]  A. Jorba,et al.  Effective Stability for Periodically Perturbed Hamiltonian Systems , 1994 .

[34]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[35]  J. Masdemont,et al.  The Bicircular Model Near the Triangular Libration Points of the RTBP , 1995 .

[36]  André Vanderbauwhede,et al.  Centre Manifolds, Normal Forms and Elementary Bifurcations , 1989 .

[37]  J. Kovalevsky,et al.  Lectures in celestial mechanics , 1989 .

[38]  A. Giorgilli,et al.  On the stability of the lagrangian points in the spatial restricted problem of three bodies , 1991 .

[39]  J. Villanueva,et al.  Effective Stability Around Periodic Orbits of the Spatial RTBP , 1999 .

[40]  Jan Sijbrand,et al.  Properties of center manifolds , 1985 .

[41]  A. D. Briuno,et al.  Local methods in nonlinear differential equations , 1989 .

[42]  Kenneth R. Meyer,et al.  Introduction to Hamiltonian Dynamical Systems and the N-Body Problem , 1991 .

[43]  R. Broucke,et al.  A FORTRAN-based Poisson series processor and its applications in celestial mechanics , 1988 .

[44]  C. Simó,et al.  Effective Computations in Celestial Mechanics and Astrodynamics , 1998 .

[45]  V. I. Arnolʹd,et al.  Ergodic problems of classical mechanics , 1968 .

[46]  M. Moutsoulas,et al.  Theory of orbits , 1968 .

[47]  Brian W. Kernighan,et al.  The C Programming Language, Second Edition , 1988 .