A Methodology for the Numerical Computation of Normal Forms, Centre Manifolds and First Integrals of Hamiltonian Systems
- 1 January 1999
- journal article
- research article
- Published by Taylor & Francis in Experimental Mathematics
- Vol. 8 (2) , 155-195
- https://doi.org/10.1080/10586458.1999.10504397
Abstract
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.Keywords
This publication has 34 references indexed in Scilit:
- Computing normal forms of nonseparable Hamiltonians by symbolic manipulationComputer Physics Communications, 1992
- A FORTRAN-based Poisson series processor and its applications in celestial mechanicsCelestial Mechanics and Dynamical Astronomy, 1988
- A survey of Poisson series processorsCelestial Mechanics and Dynamical Astronomy, 1988
- Construction of analytic KAM surfaces and effective stability boundsCommunications in Mathematical Physics, 1988
- Specialized celestial mechanics systems for symbolic manipulationCelestial Mechanics and Dynamical Astronomy, 1988
- A general precompiler for algebraic manipulationCelestial Mechanics and Dynamical Astronomy, 1983
- A note on a Lagrangian formulation for motion about the collinear pointsCelestial Mechanics and Dynamical Astronomy, 1980
- The quasi integralsCelestial Mechanics and Dynamical Astronomy, 1980
- A computer program for integrals of motionComputer Physics Communications, 1979
- A programming system for analytical series expansions on a computerCelestial Mechanics and Dynamical Astronomy, 1969