On the convergence of an algorithm constructing the normal form for lower dimensional elliptic tori in planetary systems

Antonio Giorgilli, Ugo Locatelli, Marco Sansottera

We give a constructive proof of the existence of lower dimensional elliptic tori in nearly integrable Hamiltonian systems. In particular we adapt the classical Kolmogorov's normali…