A note on the KAM theorem for symplectic mappings (Q1591589)

This paper considers the existence of differentiable foliations by invarant tori for perturbations of exact symplectic mappings; it gives estimates for those perturbations maintaining a majority of the invariant tori, and for the invariant Liouville measure of the union of the invariant tori of the perturbed map. The estimates are given in terms of three parameters: \(\gamma\), \(\theta\) and \(\Theta\). The first of these satisfies \(|e^{i \langle k, \omega \rangle }|\geq \gamma / |k|^{\tau}\) where \(\omega \in \mathbb{Z}^n\) represents the frequencies of the tori, \(k \in \mathbb{Z}^n\) are integers not all zero, and \(\tau\) is a fixed constant. The other two parameters satisfy either \(\theta |p_1 - p_2|\leq |\omega_1(p) - \omega_2(p)|\leq \Theta |p_1 - p_2|\) or the weaker condition \(\theta |dp|\leq |d\omega(p)|\leq \Theta |dp|\) where \(\omega\) is now the frequency map, assumed analytic in some complex neighbourhood of the domain of the action variables. The estimate for the bound of the allowable perturbations is of the form \(\delta_0 \gamma^2 \theta \Theta^{-2}\) in the former case, and \(\delta_0 \gamma^2 \theta^2 \Theta^{-3}\) in the latter case, where \(\delta_0\) does not depend on the three parameters. The estimate for the Liouville measure of the complement of the union of the invariant tori is of the form \(c_0 \gamma (\theta \Theta^{-1})^{-n}\) in either case, where \(c_0\) does not depend on the parameters.