A necessary and sufficient condition for a twist map being integrable (Q1814841): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
 
(3 intermediate revisions by 2 users not shown)
Property / author
 
Property / author: Yi-Sui Sun / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Alois Klíč / rank
Normal rank
 
Property / author
 
Property / author: Yi-Sui Sun / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Alois Klíč / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 07:13, 6 March 2024

scientific article
Language Label Description Also known as
English
A necessary and sufficient condition for a twist map being integrable
scientific article

    Statements

    A necessary and sufficient condition for a twist map being integrable (English)
    0 references
    0 references
    0 references
    12 December 1996
    0 references
    The paper deals with an area preserving monotone twist diffeomorphism \(T: S^1 \times \mathbb{R} \to S^1 \times \mathbb{R}\). Let us choose a point \((x_0, y_0) \in \mathbb{R}^2\) and consider the trajectory \((x_n,y_n) = T^n(x_0, y_0)\), \(n \in \mathbb{Z}\). The sequence \(\{x_n\}\) is called a configuration. The authors firstly introduce the notion of Jacobi field: A sequence \(\{\xi_n\}\) is called Jacobi field along the configuration \(\{x_n\}\) if the following equations are satisfied for all \(n\in \mathbb{Z}\): \[ h_{12} (x_{n-1}, x_n) \xi_{n-1} + \bigl[h_{22} (x_{n-1}, x_n) + h_{11} (x_n,x_{n+1}) \bigr] \xi_n + h_{12} (x_n, x_{n+1}) \xi_{n+1} =0, \] where \(h: \mathbb{R}^2 \to \mathbb{R}\) is the generating function of \(T\) and \(h_{11}, h_{12}, h_{22}\) are the corresponding second order partial derivatives of \(h\) with respect to the first and second variable. Two points \(x_M\), \(x_N\) of a configuration are called conjugate if there is a nonzero Jacobi field vanishing at \(x_M\), \(x_N\). An area preserving monotone twist diffeomorphism is said to be one without conjugate points if there are no conjugate points along any configurations. Several properties of Jacobi fields are investigated. One of the important results is: Let \(\{x_n\}\) and \(\{x^*_n\}\) be two configurations of the map \(T\). There is a sequence of \(C^1\) functions \(\{f_n (t)\}\) defined on \([0,1]\) such that \(f_n(0) = x_n\), \(f_n(1) = x^*_n\) and for each \(t_0 \in [0,1]\), \(\{f_n (t_0)\}\) is a configuration of the map \(T\), and \(\{f_n' (t_0)\}\) is a Jacobi field along this configuration. Finally, the main result of the paper states: For an area preserving monotone twist diffeomorphism \(T\) the phase space \(\Omega = S^1 \times \mathbb{R}\) is foliated by continuous closed invariant curves not null homotopic on \(\Omega\) if and only if \(T\) has no conjugate points. This interesting paper is well written and organized.
    0 references
    twist map
    0 references
    invariant curves
    0 references
    Aubry-Mather sets
    0 references
    generating function
    0 references
    Jacobi field
    0 references
    0 references

    Identifiers