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

The reviewed work is devoted to the effective computation of normal forms, centre manifolds and first integrals in Hamiltonian mechanics. For simplicity of presentation the author restricts himself to analytic and autonomous Hamiltonian systems with three degrees of freedom, having a fixed point at the origin (with discussion of possible extensions to more general situation). The presented approach is based on the algebraic manipulation of formal series with numerical coefficients. Together with a very efficient software implementation it allows big savings in memory and execution time in comparison with the use of commercial algebraic manipulators. Related topics such as error analysis, efficiency are considered. The algorithms are discussed together with their C/C++ implementations with subsequent application to some concrete examples from celestial mechanics. In particular they allow to give explicit estimates on the diffusion time and to compute invariant tori.