Whiskered KAM tori of conformally symplectic systems (Q2147355): Difference between revisions

This paper summarizes the results of two main theorems of the authors' paper [Nonlinearity 33, No. 1, 538--597 (2020; Zbl 1471.70017)]. Additionally it provides an efficient algorithm to construct whiskered tori. The first main theorem establishes the existence of whiskered tori in a one-parameter family \(f_\mu:{\mathscr M}\to{\mathscr M}\) of symplectically conformal maps for some choice \(\mu_0\) of the parameter. Here \({\mathscr M} = {\mathbb T}^n\times B\) is a symplectic manifold of dimension \(2n\) where \(B\subset {\mathbb R}^n\) is open. The frequency \(\omega\in {\mathbb R}^d\) of the tori is required to be Diophantine, and some nondegeneracy conditions are required as well. No global assumptions such as a twist are assumed, nor does the system need to be close to integrable. The proof of the first main theorem is based on invariance equation \(f_\mu \circ K = K \circ T_\omega\) where \(T_\omega:{\mathbb T}^d\to {\mathbb T}^d\) is the shift by \(\omega\) and \(K:{\mathbb T}^d\to {\mathscr M}\). A sketch of the proof is given in the paper. An efficient algorithm to construct whiskered tori is given, based on the proof of the first main theorem. The algorithm has less than 40 steps and uses standard function calls. The second main theorem shows that by introducing a complex parameter \(\epsilon\) to the family, \(f_{\mu,\epsilon}\), and supposing when \(\epsilon=0\) and \(\mu = \mu_0\) there is a solution \(K_0\) of \(f_{\mu_0} \circ K_0 = K_0 \circ T_\omega\), then the map \(f_{\mu_0,0}\) can be continued to \(f_{\mu_\epsilon,\epsilon}\) and \(K_0\) can be continued to \(K_\epsilon\) satisfying \(f_{\mu_\epsilon,\epsilon}\circ K_\epsilon = K_\epsilon \circ T_\omega\), where the domains of analyticity of \(K_0\) and \(u_\epsilon\) are obtained by removing from a ball centered at the origin a sequence of smaller balls whose centers lie on a union of curves and whose radii decrease rapidly as they approach the origin. For a proof of the second main theorem the reader is referred to the authors' paper in [loc. cit.].