 09215 Livia Corsi, Guido Gentile, Michela Procesi
 KAM theory in configuration space
and cancellations in the Lindstedt series
(743K, pdf)
Dec 18, 09

Abstract ,
Paper (src),
View paper
(auto. generated pdf),
Index
of related papers

Abstract. The KAM theorem for analytic quasiintegrable anisochronous Hamiltonian
systems yields that the perturbation expansion (Lindstedt series) for
any quasiperiodic solution with Diophantine frequency vector converges.
If one studies the Lindstedt series by following a perturbation
theory approach, one finds that convergence is ultimately related
to the presence of cancellations between contributions of the
same perturbation order. In turn, this is due to symmetries in the
problem. Such symmetries are easily visualised in actionangle
coordinates, where KAM theorem is usually formulated, by exploiting
the analogy between Lindstedt series and perturbation expansions
in quantum field theory and, in particular, the possibility of
expressing the solutions in terms of tree graphs, which are
the analogue of Feynman diagrams. If the
unperturbed system is isochronous, Moser's modifying terms
theorem ensures that an analytic quasiperiodic solution with the
same Diophantine frequency vector as the unperturbed Hamiltonian
exists for the system obtained by adding a suitable constant
(counterterm) to the vector field. Also in this case, one can
follow the alternative approach of studying the perturbation expansion
for both the solution and the counterterm, and again
convergence of the two series is obtained as a consequence of deep
cancellations between contributions of the same order.
In this paper, we revisit Moser's theorem, by studying the
perturbation expansion one obtains by working in Cartesian coordinates.
We investigate the symmetries giving rise to the
cancellations which makes possible the convergence of the series.
We find that the cancellation mechanism works in a
completely different way in Cartesian coordinates, and the
interpretation of the underlying symmetries in terms of tree graphs
is much more subtle than in the case of actionangle coordinates.
 Files:
09215.src(
09215.comments ,
09215.keywords ,
cgp1final.pdf.mm )