A KAM theorem for a class of nearly integrable symplectic mappings (Q523089)

In this paper, the persistence of low-dimensional elliptic invariant tori of a class of nearly integrable twist symplectic mappings with generating functions is proved. The considered phase space is given by \((x,u,y,v)\in\mathbb{T}^n\times\mathcal{W}\times\mathcal{O}\times\mathcal{W},\) where \(\mathbb{T}^n=\mathbb{R}^n/2\pi\mathbb{Z}\), \(\mathcal{O}\subset\mathbb{R}^n\) is a bounded closed connected domain and \(\mathcal{W}\subset\mathbb{R}^m\) is a small ball centered in origin. The symplectic form is given by \(\sum_{i=1}^ndx_i\wedge dy_i+\sum_{j=1}^m du_j\wedge dv_j.\) The following symplectic mapping \(\Phi\) is considered: \[ \Phi :(x,u,y,v)\in\mathbb{T}^n\times\mathcal{W}\times\mathcal{O}\times\mathcal{W}\to (\hat x,\hat u,\hat y,\hat v)\in\mathbb{T}^n\times\mathbb{R}^m\times\mathbb{R}^n\times\mathbb{R}^m, \] \[ \hat x=\partial_{\hat y}H,\quad \hat u=\partial_{\hat v}H,\quad y=\partial_xH,\quad v=\partial_uH, \] where the generating function \(H(x,u,\hat y,\hat v)\) is a small perturbation of a normal form. Then, in some conditions, the symplectic mapping \(\Phi\) admits a family of invariant tori. The proof of this result is based on KAM theory for parametrized symplectic mappings. The same ideas as in two \textit{J. Pöschel}'s papers are used [Math. Z. 202, No. 4, 559--608 (1989; Zbl 0662.58037); Proc. Symp. Pure Math. 69, 707--732 (2001; Zbl 0999.37053)].