Gevrey regularity of invariant curves of analytic reversible mappings
type: Item
instance of: scholarly article
title: Gevrey regularity of invariant curves of analytic reversible mappings
zbMATH Open document ID: 1237.37041
DOI: 10.1155/2010/324378
author: Dongfeng Zhang
author: Rong Cheng
published in: Advances in Difference Equations
publication date: 2011-02-08T00:00:00Z
review text: More than a decade ago, it was discovered by \textit{G. Popov} [Ann. Henri Poincaré 1, No. 2, 223--248 (2000; Zbl 0970.37050)] that KAM tori of real-analytic Kolmogorov non-degenerate nearly integrable Hamiltonian systems form a Gevrey-regular family (in the sense of Whitney). The result of the present paper lies in this area of research. The authors consider a real-analytic family of real-analytic maps of the annulus \(A_p(x,z;p)=(x_1,z_1;p)\), \(x_1=x+\omega(p) + f(x,z;p)\), \(z_1=z + g(x,z;p)\), reversible with respect to the involution \((x,y)\to (-x,y)\). Here \(x\in \mathbb R/2\pi \mathbb Z\) and \(z\in \mathbb R\) are the phase variables, and \(p\in \Pi\subset \mathbb R\) is a parameter, where \(\Pi\) is a bounded interval containing 0. It is assumed that \(\omega^{(j)}(0)=0\), \(0\leq j\leq m\), \(\omega^{(m)}(0)\neq 0\). Omitting all quantitative details, the main result can be presented as follows: Theorem: Fix arbitrary numbers \(\tau\geq m-1\), \(\tau+2< \mu <\tau+3\) and \(0<\alpha <1\). Then, for \(f\) and \(g\) sufficiently small, there exists a Cantor set \(\Pi_*\subset \Pi\) and a family of transformations \(x=\xi+p_*(\xi; p)\), \(y=\eta +q_*(\xi,\eta; p)\), defined for \(p\in \Pi_*\) and close to identity, with the following properties. The functions \(p_*\) and \(q_*\) are real-analytic in \((\xi,\eta)\) and Gevrey in \(p\) (in the sense of Whitney) with the Gevrey index \(\mu\). In the new coordinates, the family \(A_p\) takes the form \(\xi_1=\xi+\omega_*(p)+f_*(\xi,\eta;p)\), \(\eta_1=\eta + g_*(\xi,\eta;p)\), where \(f_*=O(\eta)\), \(g_*=O(\eta^2)\). The number \(\omega_*(p)\) is Diophantine: \(|k\omega_*(p)-2\pi l| \geq \pi\alpha |k|^{-\tau}\) for all non-zero integers \(k\), \(l\). Moreover, the Lebesgue measure of \((\Pi \setminus \Pi_*)\) does not exceed \(c\alpha^{1/m}\). Thus, for any \(p\in \Pi^*\), the mapping \(A_p\) admits a real-analytic invariant curve with rotation number \(\omega_*(p)\), and these curves depend on \(p\) in a Gevr…
reviewed by: Maria Saprykina
Mathematics Subject Classification ID: 37J40
Mathematics Subject Classification ID: 26E10
Mathematics Subject Classification ID: 37E40
Mathematics Subject Classification ID: 70H08
Mathematics Subject Classification ID: 70H33
zbMATH DE Number: 5847734
zbMATH Keywords: KAM tori
zbMATH Keywords: real-analytic maps
zbMATH Keywords: Gevrey-regular
zbMATH Keywords: invariant curve
Wikidata QID: Q59253426
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1155/2010/324378
OpenAlex ID: W1993311909
cites work: Invariant curves of quasi-periodic reversible mappings
cites work: Invariant curves of reversible mappings with small twist
cites work: Reversible systems
cites work: Q3294369
cites work: Invariant curves of analytic perturbed nontwist area preserving maps
cites work: Invariant curve theorem for quasiperiodic twist mappings and stability of motion in the Fermi-Ulam problem
cites work: A lecture on the classical KAM theorem
cites work: Invariant tori, effective stability, and quasimodes with exponentially small error terms. I: Birkoff normal forms
cites work: A note on Gevrey regular KAM theory and the inverse approximation lemma
cites work: Gevrey-smoothness of invariant tori for analytic nearly integrable Hamiltonian systems under Rüssmann's non-degeneracy condition
cites work: On elliptic lower dimensional tori for Gevrey-smooth Hamiltonian systems under Rüssmann's non-degeneracy condition
cites work: Gevrey-smoothness of elliptic lower-dimensional invariant tori in Hamiltonian systems under Rüssmann's non-degeneracy condition
cites work: KAM theorem for Gevrey Hamiltonians
cites work: Unfoldings of quasi-periodic tori in reversible systems
cites work: KAM-stable Hamiltonians
cites work: An Extension Theorem of Whitney Type for Non Quasi-Analytic Classes of Functions
cites work: Whitney's extension theorem for nonquasianalytic classes of ultradifferentiable functions
cites work: Convergence of differentiable functions on closed sets and remarks on the proofs of the ``converse approximation lemmas''
cites work: Invariant tori for nearly integrable Hamiltonian systems with degeneracy
description: scientific article; zbMATH DE number 5847734