- Research Article
- Open access
- Published:
Gevrey Regularity of Invariant Curves of Analytic Reversible Mappings
Advances in Difference Equations volume 2010, Article number: 324378 (2010)
Abstract
We prove the existence of a Gevrey family of invariant curves for analytic reversible mappings under weaker nondegeneracy condition. The index of the Gevrey smoothness of the family could be any number , where
is the exponent in the small divisors condition and
is the order of degeneracy of the reversible mappings. Moreover, we obtain a Gevrey normal form of the reversible mappings in a neighborhood of the union of the invariant curves.
1. Introduction and Main Results
In this paper we consider the following reversible mapping :
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ1_HTML.gif)
where the rotation is real analytic and satisfies the weaker non-degeneracy condition
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ2_HTML.gif)
where and
are real analytic and
periodic in
, the variable
ranges in an open interval of the real line
. We suppose that the mapping
is reversible with respect to the involution
, that is,
. When some nonresonance and non-degeneracy conditions are satisfied and
,
are sufficiently small, the existence of invariant curve of reversible mapping (1.1) has been proved in [1–3]. For related works, we refer the readers to [4–6] and the references there.
It is well known that reversible mappings have many similarities as Hamiltonian systems. Since many KAM theorems are proved for Hamiltonian systems, some mathematicians turn to study the regular property of KAM tori with respect to parameters. One of the earliest results is due to Pöschel [7], who proved that the KAM tori of nearly integrable analytic Hamiltonian systems form a Cantor family depending on parameters only in -way. Because the notorious small divisors can result in loss of smoothness with respect to parameters involving in small divisors in KAM steps, we can only expect Gevrey smoothness of KAM tori even for analytic systems. Gevrey smoothness is a notion intermediate between
-smoothness and analyticity (see definition below). Popov [8] obtained Gevrey smoothness of invariant tori for analytic Hamiltonian systems. In [9], Wagener used the inverse approximation lemma to prove a more general conclusion. Recently, the preceding result has been generalized to Rüssmann's non-degeneracy condition [10–12]. Gevrey smoothness of the family of KAM tori is important for constructing Gevrey normal form near KAM tori, which can lead to the effective stability [8, 13].
For reversible mappings, if , the existence of a
-family of invariant curves has been proved in [1, 2]. But in the case of weaker non-degeneracy condition (1.2), there is no result about Gevrey smoothness. In this paper, we are concerned with Gevrey smoothness of invariant curve of reversible mapping (1.1). The Gevrey smoothness is expressed by Gevrey index. In the following, we specifically obtain the Gevrey index of invariant curve which is related to smoothness of reversible mapping (1.1) and the exponent of the small divisors condition. Moreover, we obtain a Gevrey normal form of the reversible mappings in a neighborhood of the union of the invariant curves.
As in [7, 14, 15], we introduce some parameters, so that the existence of invariant curve of reversible mapping (1.1) can be reduced to that of a family of reversible mappings with some parameters. We write , and expand
around
, so that
, where
,
,
varies in a neighborhood of origin of the real line
. We put
,
,
and obtain the family of reversible mappings
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ3_HTML.gif)
Now, we turn to consider this family of reversible mappings with parameters , where
is a bounded interval.
Before stating our theorem, we first give some definitions and notations. Usually, denote by and
the set of integers and positive integers.
Definition 1.1.
Let be a domain of
. A function
is said to belong to the Gevrey-class
of index
if
is
-smooth and there exists a constant
such that for all
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ4_HTML.gif)
where and
for
.
Remark 1.2.
By definition, it is easy to see that the Gevrey-smooth functions class coincides with the class of analytic functions. Moreover, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ5_HTML.gif)
for .
In this paper, we will prove Gevrey smoothness of function in a closed set, so we give the following definition.
Definition 1.3.
A function is Gevrey of index
on a compact set
if it can be extended as a Gevrey function of the same index in a neighborhood of
.
Define
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ6_HTML.gif)
and denote a complex neighborhood of by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ7_HTML.gif)
Now the function is real analytic on
. We expand
as Fourier series with respect to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ8_HTML.gif)
then define
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ9_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ10_HTML.gif)
We write if
is analytic with respect to
on
and
-smooth in
on
.
Denote . Fix
and
, and let
and
. Let
.
Theorem 1.4.
We consider the mapping defined in (1.3), which is reversible with respect to the involution
, that is,
. Suppose that
satisfies the non-degeneracy condition:
,
,
. Suppose that
and
are real analytic on
. Then, there exists
such that for any
, if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ11_HTML.gif)
there is a nonempty Cantor set , and a family of transformations
,
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ12_HTML.gif)
satisfying , and for any
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ13_HTML.gif)
where , the constant
depends on
,
, and
. Under these transformations, the mapping (1.3) is transformed to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ14_HTML.gif)
where ,
at
. Thus, for any
, the mapping (1.3) has an invariant curve
such that the induced mapping on this curve is the translation
, whose frequency
satisfies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ15_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ16_HTML.gif)
Moreover, one has .
Remark 1.5.
From Theorem 1.4, we can see that for any , if
is sufficiently small, the family of invariant curves is
-smooth in the parameters. The Gevrey index
should be optimal.
Remark 1.6.
The derivatives in (1.13) and (1.15) should be understood in the sense of Whitney [16]. In fact, the estimates (1.13) and (1.15) also hold in a neighborhood of with the same Gevrey index.
2. Proof of the Main Results
In this section, we will prove our Theorem 1.4. But in the case of weaker non-degeneracy condition, the previous methods in [1, 2] are not valid and the difficulty is how to control the parameters in small divisors. We use an improved KAM iteration carrying some parameters to obtain the existence and Gevrey regularity of invariant curves of analytic reversible mappings. This method is outlined in the paper [7] by Pöschel and adapted to Gevrey classes in [13] by Popov. We also extend the method of Liu [1, 2].
KAM step
The KAM step can be summarized in the following lemma.
Lemma 2.1.
Consider the following real analytic mapping :
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ17_HTML.gif)
on . Suppose the mapping is reversible with respect to the involution
, that is,
. Let
,
, and
such that
. Suppose
, the following small divisors condition holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ18_HTML.gif)
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ19_HTML.gif)
Suppose that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ20_HTML.gif)
where the norm indicates
for simplicity. Then, for any
, there exists a transformation
:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ21_HTML.gif)
which is affine in , such that the mapping
is transformed to
:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ22_HTML.gif)
where the new perturbation satisfies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ23_HTML.gif)
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ24_HTML.gif)
where is defined in Theorem 1.4. Moreover, one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ25_HTML.gif)
Let , and denote
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ26_HTML.gif)
and . Then,
, it follows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ27_HTML.gif)
where such that
. Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ28_HTML.gif)
If , then
. Moreover, one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ29_HTML.gif)
Thus, the above result also holds for in place of
.
Proof of Lemma 2.1.
The above lemma is actually one KAM step. We divide the KAM step into several pats.
-
(A)
Truncation
Let ,
. It follows that
,
. Write
,
, and let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ30_HTML.gif)
By the definition of norm, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ31_HTML.gif)
-
(B)
Construction of the Transformation
As in [1–3], for a reversible mapping, if the change of variables commutes with the involution , then the transformed mapping is also reversible with respect to the same involution
. If the change of variables
is of the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ32_HTML.gif)
then from the equality , it follows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ33_HTML.gif)
In this case, the transformed mapping of
is also reversible with respect to the involution
.
In the following, we will determine the unknown functions and
to satisfy the condition (2.17) in order to guarantee that the transformed mapping
is also reversible.
We may solve and
from the following equations:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ34_HTML.gif)
where denotes the mean value of a function over the angular variable
. Indeed, we can solve these functions from the above equations. But the problem is that such functions
and
do not, in general, satisfy the condition (2.17), that is, the transformed mapping
is no longer a reversible mapping with respect to
. Therefore, we cannot use the above equations to determine the functions
and
.
Instead of solving the above equations (2.18), we may find these functions and
from the following modified equations:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ35_HTML.gif)
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ36_HTML.gif)
where denotes the mean value of a function over the angular variable
.
It is easy to verify that and
. So, by Lemma A.1, the functions
and
meet the condition (2.17). In this case, the transformed mapping
is also reversible with respect to the involution
.
Because the right hand sides of (2.19) have the mean value zero, we can solve ,
from (2.19). But the difference equations introduce small divisors. By the definition of
, it follows that
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ37_HTML.gif)
Let ,
be Fourier coefficients of
and
. Then, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ38_HTML.gif)
and ,
for
or
. Moreover,
is affine in
,
is independent of
.
-
(C)
Estimates of the Transformation
By the definition of norm, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ39_HTML.gif)
By Lemma A.1, it follows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ40_HTML.gif)
Using Cauchy's estimate on the derivatives of ,
, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ41_HTML.gif)
In the same way as in [1, 2, 4], we can verify that is well defined in
,
. Moreover, according to (2.24)–(2.25), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ42_HTML.gif)
where denotes the maximum of the absolute value of the elements of a matrix,
,
denotes the Jacobian matrix with respect to
.
-
(D)
Estimates of the New Perturbation
Let . We have
,
,
. Then, by the definition of
, it follows that (2.11) holds. Thus, the small divisors condition for the next step holds.
Let , then we have
. Due to
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ43_HTML.gif)
By the first difference equation of (2.19), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ44_HTML.gif)
From the reversibility of , it follows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ45_HTML.gif)
Hence, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ46_HTML.gif)
which yields that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ47_HTML.gif)
By (2.15) and (2.24)–(2.25), the following estimate of holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ48_HTML.gif)
Similarly, for , we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ49_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ50_HTML.gif)
If is sufficiently small such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ51_HTML.gif)
then combing with (2.32) and (2.34), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ52_HTML.gif)
Suppose . Then, by Cauchy's estimates, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ53_HTML.gif)
Let . Then,
.
Moreover, by the definition of and
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ54_HTML.gif)
Thus, this ends the proof of Lemma 2.1.
Setting the Parameters and Iteration
Now, we choose some suitable parameters so that the above iteration can go on infinitely.
At the initial step, let ,
,
. Let
satisfy
,
,
,
. Denote
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ55_HTML.gif)
Choose . Note that this choice for
is only for measure estimate for parameters and has no conflict with the assumption in Theorem 1.4, since we can use a smaller
.
Let and
. Assume the above parameters are all well defined for
. Then, we define
,
and
,
. Define
,
,
, and
in the same way as the previous step.
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ56_HTML.gif)
Denote and
for simplicity. By the iteration lemma, we have a sequence of transformations
:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ57_HTML.gif)
such that for any ,
, satisfying
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ58_HTML.gif)
where ,  
denotes the Jacobian matrix with respect to
.
Thus, the transformation is well defined in
and is seen to take
into
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ59_HTML.gif)
More precisely, if we write as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ60_HTML.gif)
and express in the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ61_HTML.gif)
then is transformed into
:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ62_HTML.gif)
satisfying
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ63_HTML.gif)
In the following, we will check the assumptions in the iteration lemma to ensure that KAM step is valid for all .
Since and
, if
is sufficiently small such that
, it follows that
. Thus
.
By the definition of , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ64_HTML.gif)
If is sufficiently small such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ65_HTML.gif)
then we obtain and so
,
.
Obviously, if is sufficiently small, the assumption (2.35) holds.
By , it is easy to see that
. If
is sufficiently small and so
is sufficiently large such that
, then we have
,
.
Suppose . Let
. Then, we have
.
By iteration, . Suppose
, then we have
. If
is sufficiently small such that
, then
.
Convergence of Iteration in Gevrey Space
Now, we prove convergence of KAM iteration. Let , and write
in the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ66_HTML.gif)
In the same way as in [4, 7], we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ67_HTML.gif)
where denotes the maximum of the absolute value of the elements of a matrix.
By Cauchy's estimate we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ68_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ69_HTML.gif)
Let and
. By
and the definition of
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ70_HTML.gif)
where . It is easy to see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ71_HTML.gif)
Thus, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ72_HTML.gif)
where ,
depends on
,
, and
.
In the same way, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ73_HTML.gif)
Note that ,
,
, as
. Let
,
and
. Since
is affine in
, these estimates (2.52)–(2.56) imply that
is uniformly convergent to
on
and satisfies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ74_HTML.gif)
Since , this proves (1.13).
Let . It follows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ75_HTML.gif)
Moreover, we have ,
,
, where
with
. Thus (1.15) and (1.16) hold.
Whitney Extension in Gevrey Classes
In this section, we apply the Whitney extension theorem in Gevrey classes [13, 17, 18] to extend as a Gevrey function of the same Gevrey index in a neighborhood of
.
Denote , then for any positive integers
,
, and
with
, we denote
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ76_HTML.gif)
In order to apply the Whitney extension theorem in Gevrey classes for function , we are going to estimate
. First, we suppose that
,
. Expanding in
the analytic function
,
, in Taylor series with respect to
at
, and using the Cauchy estimate, we evaluate
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ77_HTML.gif)
For , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ78_HTML.gif)
Then we obtain as above
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ79_HTML.gif)
and we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ80_HTML.gif)
where ,  
depends on
,
, and
. Similarly, for
, we obtain the same inequality.
Let and
. According to (2.64), the limit
satisfies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ81_HTML.gif)
Since satisfies (2.58) and (2.65), by Theorem 3.7 and Theorem 3.8 in [13], we can extend
as a Gevrey function of the same Gevrey index in a neighborhood of
. Thus, by the definition of Gevrey function in a closed set,
, satisfies the estimate (1.13) and (1.15) in a neighborhood of
.
Note that one can also use the inverse approximation lemma in [19] to prove the preceding Whitney extension for .
Estimates of Measure for Parameters
Now we estimate the Lebesgue measure of the set , on which the small divisors condition holds in the KAM iteration. By the analyticity of
and
,
, for almost all points in
,
. Without loss of generality, we suppose
,
. Then, by the KAM step, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ82_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ83_HTML.gif)
with .
By Lemma A.2, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ84_HTML.gif)
Since , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ85_HTML.gif)
References
Liu B: Invariant curves of quasi-periodic reversible mappings. Nonlinearity 2005,18(2):685-701. 10.1088/0951-7715/18/2/012
Liu B, Song JJ: Invariant curves of reversible mappings with small twist. Acta Mathematica Sinica 2004,20(1):15-24. 10.1007/s10114-004-0316-4
Sevryuk MB: Reversible Systems, Lecture Notes in Mathematics. Volume 1211. Springer, Berlin, Germany; 1986:vi+319.
Moser J: On invariant curves of area-preserving mappings of an annulus. Nachrichten der Akademie der Wissenschaften in Göttingen. II. Mathematisch-Physikalische Klasse 1962, 1962: 1-20.
Simó C: Invariant curves of analytic perturbed nontwist area preserving maps. Regular & Chaotic Dynamics 1998,3(3):180-195. 10.1070/rd1998v003n03ABEH000088
Zharnitsky Vadim: Invariant curve theorem for quasiperiodic twist mappings and stability of motion in the Fermi-Ulam problem. Nonlinearity 2000,13(4):1123-1136. 10.1088/0951-7715/13/4/308
Pöschel J: A Lecture on the classical KAM theorem. Proceedings of the Symposium in Pure Mathematics 2001, 69: 707-732.
Popov G: Invariant tori, effective stability, and quasimodes with exponentially small error terms. I. Birkhoff normal forms. Annales Henri Poincaré 2000,1(2):223-248. 10.1007/PL00001004
Wagener F: A note on Gevrey regular KAM theory and the inverse approximation lemma. Dynamical Systems 2003,18(2):159-163. 10.1080/1468936031000117857
Xu J, You J: Gevrey-smoothness of invariant tori for analytic nearly integrable Hamiltonian systems under Rüssmann's non-degeneracy condition. Journal of Differential Equations 2007,235(2):609-622. 10.1016/j.jde.2006.12.001
Zhang D, Xu J: On elliptic lower dimensional tori for Gevrey-smooth Hamiltonian systems under Rüssmann's non-degeneracy condition. Discrete and Continuous Dynamical Systems A 2006,16(3):635-655.
Zhang D, Xu J: Gevrey-smoothness of elliptic lower-dimensional invariant tori in Hamiltonian systems under Rüssmann's non-degeneracy condition. Journal of Mathematical Analysis and Applications 2006,323(1):293-312. 10.1016/j.jmaa.2005.10.029
Popov G: KAM theorem for Gevrey Hamiltonians. Ergodic Theory and Dynamical Systems 2004,24(5):1753-1786. 10.1017/S0143385704000458
Broer HW, Huitema GB: Unfoldings of quasi-periodic tori in reversible systems. Journal of Dynamics and Differential Equations 1995,7(1):191-212. 10.1007/BF02218818
Sevryuk MB: KAM-stable Hamiltonians. Journal of Dynamical and Control Systems 1995,1(3):351-366. 10.1007/BF02269374
Whitney H: Analytic extensions of differentiable functions defined in closed sets. Transactions of the American Mathematical Society 1934,36(1):63-89. 10.1090/S0002-9947-1934-1501735-3
Bruna J: An extension theorem of Whitney type for non-quasi-analytic classes of functions. The Journal of the London Mathematical Society 1980,22(3):495-505. 10.1112/jlms/s2-22.3.495
Bonet J, Braun RW, Meise R, Taylor BA: Whitney's extension theorem for nonquasianalytic classes of ultradifferentiable functions. Studia Mathematica 1991,99(2):155-184.
Li X, de la Llave R: Convergence of differentiable functions on closed sets and remarks on the proofs of the "converse approximation lemmas". Discrete and Continuous Dynamical Systems S 2010,3(4):623-641.
Xu J, You J, Qiu Q: Invariant tori for nearly integrable Hamiltonian systems with degeneracy. Mathematische Zeitschrift 1997,226(3):375-387. 10.1007/PL00004344
Acknowledgments
We would like to thank the referees very much for their valuable comments and suggestions. D. Zhang was supported by the National Natural Science Foundation of China Grants nos. (10826035)(11001048) and the Specialized Research Fund for the Doctoral Program of Higher Education for New Teachers (Grant no. 200802861043). R. Cheng was supported by the National Natural Science Foundation of China (Grant no. 11026212).
Author information
Authors and Affiliations
Corresponding author
Appendix
A. Some Results on Difference Equation and Measure Estimate?
In this section, we formulate some lemmas which have been used in the previous section. For detailed proofs, we refer to [1, 20].
In the construction of the transformation in Lemma 2.1, we will meet the following difference equation:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ86_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ86_HTML.gif)
Lemma A.1.
Suppose that l(x), g(x) are real analytic on , where
. Suppose
satisfies the Diophantine condition
,
, then for any
, the difference equation (A.1) has the unique solution
satisfying
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ87_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ87_HTML.gif)
Moreover, if , then
is odd in
if
,
is even in
.
Lemma A.2.
Suppose is mth differentiable function on the closure
of
, where
is an interval. Let
,
. If
for all
, where
is a constant, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ88_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F324378/MediaObjects/13662_2010_Article_1278_Equ88_HTML.gif)
where .
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Zhang, D., Cheng, R. Gevrey Regularity of Invariant Curves of Analytic Reversible Mappings. Adv Differ Equ 2010, 324378 (2010). https://doi.org/10.1155/2010/324378
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/324378