Abstract
We describe a new algorithm for the numerical verification of steepness, a necessary property for the application of Nekhoroshev’s theorem, of functions of three and four variables. Specifically, by analyzing the Taylor expansion of order four, the algorithm analyzes the steepness of functions whose Taylor expansion of order three is not steep. In this way, we provide numerical evidence of steepness of the Birkhoff normal form around the Lagrangian equilibrium points L4–L5 of the spatial restricted three-body problem (for the only value of the reduced mass for which the Nekhoroshev stability was still unknown), and of the four-degrees-of-freedom Hamiltonian system obtained from the Fermi-Pasta-Ulam problem by setting the number of particles equal to four.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have