1: \begin{abstract}
2: The KAM theorem for analytic quasi-integrable anisochronous Hamiltonian
3: systems yields that the perturbation expansion (Lindstedt series) for
4: any quasi-periodic solution with Diophantine frequency vector converges.
5: If one studies the Lindstedt series by following a perturbation
6: theory approach, one finds that convergence is ultimately related
7: to the presence of cancellations between contributions of the
8: same perturbation order. In turn, this is due to symmetries in the
9: problem. Such symmetries are easily visualised in action-angle
10: coordinates, where KAM theorem is usually formulated, by exploiting
11: the analogy between Lindstedt series and perturbation expansions
12: in quantum field theory and, in particular, the possibility of
13: expressing the solutions in terms of tree graphs, which are
14: the analogue of Feynman diagrams. If the
15: unperturbed system is isochronous, Moser's modifying terms
16: theorem ensures that an analytic quasi-periodic solution with the
17: same Diophantine frequency vector as the unperturbed Hamiltonian
18: exists for the system obtained by adding a suitable constant
19: (counterterm) to the vector field. Also in this case, one can
20: follow the alternative approach of studying the perturbation expansion
21: for both the solution and the counterterm, and again
22: convergence of the two series is obtained as a consequence of deep
23: cancellations between contributions of the same order.
24: In this paper, we revisit Moser's theorem, by studying the
25: perturbation expansion one obtains by working in Cartesian coordinates.
26: We investigate the symmetries giving rise to the
27: cancellations which makes possible the convergence of the series.
28: We find that the cancellation mechanism works in a
29: completely different way in Cartesian coordinates, and the
30: interpretation of the underlying symmetries in terms of tree graphs
31: is much more subtle than in the case of action-angle coordinates.
32: \end{abstract}
33: