Whiskered KAM tori of conformally symplectic systems (Q2147355): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Q330548 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Lennard F. Bakker / rank | |||
Revision as of 01:10, 14 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Whiskered KAM tori of conformally symplectic systems |
scientific article |
Statements
Whiskered KAM tori of conformally symplectic systems (English)
0 references
20 June 2022
0 references
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.].
0 references
existence
0 references
symplectic manifold
0 references
KAM theory
0 references
Diophantine frequency
0 references
invariance equation
0 references