Skip to content

Advertisement

  • Research
  • Open Access

Hamiltonian systems with orbital, orbital inverse shadowing

Advances in Difference Equations20142014:192

https://doi.org/10.1186/1687-1847-2014-192

  • Received: 26 February 2014
  • Accepted: 16 June 2014
  • Published:

Abstract

We show that if a Hamiltonian system has the robustly orbitally shadowing property, then it is Anosov. Moreover, if a Hamiltonian system has the robustly orbitally inverse shadowing property with respect to the class of continuous methods, then it is Anosov.

MSC:37C10, 37C50, 37D20.

Keywords

  • Hamiltonian systems
  • Hamiltonian star systems
  • shadowing
  • orbital shadowing
  • inverse shadowing
  • orbital inverse shadowing
  • Anosov

1 Introduction

The various shadowing theory (shadowing, orbital shadowing, inverse shadowing, orbital inverse shadowing property) is close to the stability theory. In fact, Sakai has shown in [1] that if a diffeomorphism belongs to the C 1 -interior of the set of all diffeomorphisms having the shadowing property, then it is a structurally stable diffeomorphism. Pilyugin et al. [2] proved that if a diffeomorphism belongs to the set of all diffeomorphisms having the orbital shadowing property, then it is a structurally stable diffeomorphism. It extends the result of the shadowing property. For the orbital shadowing property, we can find many results (see [28]).

The notion of the inverse shadowing property is a dual notion of the shadowing property which was introduced by Corless and Pilyugin in [9]. Pilyugin [10] and Lee [11] proved that if a diffeomorphism belongs to the set of all diffeomorphisms having the inverse shadowing property with respect to the class the continuous method then it is a structurally stable diffeomorphism. The qualitative theory of dynamical systems with the property was developed by various researchers (see [718]). The inverse shadowing property is related to topological stability. In fact, if a dynamical system is topologically stable then it has the inverse shadowing property with respect to the continuous method, but the converse does not hold in general. The following can be found in [12].

Example 1.1 Let f be a diffeomorphism on a manifold M. Then we consider the equivalence relation ‘’ defined by ( x , 1 ) ( f ( x ) , 0 ) on M × [ 0 , 1 ] , for x M . Set M = M × [ 0 , 1 ] / . We define a flow K f on M by setting
K f ( ( x , s ) , t ) = ( f [ t + s ] ( x ) , t + s [ t + s ] )

for ( x , s ) M and t R , where [ t ] denotes the greatest integer less than or equal to t. Then the flow K f on M is called the suspension flow of f.

Let f : S 1 S 1 be a diffeomorphism such that f ( x ) = x + ϵ x 4 sin ( π / x ) for x 0 , and f ( x ) = 0 for x = 0 , where ϵ > 0 is sufficiently small. Then we know that f has the shadowing property. By Lee and Park [16], it has the inverse shadowing property with respect to the continuous method. But the diffeomorphism is not topologically stable (see [19]). By Thomas [20], the suspension flow K f of f is topologically stable if and only if f is topologically stable. Thus the inverse shadowing is a general notion of topological stability. The notion of the orbital inverse shadowing property was introduced by [12]. It was proved in [12] that if a diffeomorphism belongs to the C 1 -interior of the set of all diffeomorphisms having the orbital inverse shadowing property with respect to the continuous methods, then it is a structurally stable diffeomorphism. For vector fields, Lee et al. [15] proved that if a vector field belongs to the C 1 -interior of the set of all vector fields having the orbital inverse shadowing property with respect to the continuous methods, then it is a structurally stable vector field.

In this paper, we study orbital shadowing and the orbital inverse shadowing property for a Hamiltonian system.

2 Hamiltonian systems

Let ( M , ω ) be a symplectic manifold, where M is a 2 n ( 2 ) -dimensional, compact, boundaryless, connected, and smooth Riemannian manifold, endowed with the symplectic form ω. A Hamiltonian H : M R is a real valued C r ( r 2 ) function on M. Denote by C r ( M , R ) the set of C r -Hamiltonian on M. In this paper, we consider the C 2 -topology, thus we set r = 2 . Given a Hamiltonian H, we define the Hamiltonian vector field X H as follows: for all v T p M
ω ( X H ( p ) , v ) = d p H ( v ) ,
which generates the Hamiltonian flow X H t . Note that a Hamiltonian vector field X H is C 1 if and only if the Hamiltonian function H is C 2 . There exists a formulation in terms of the Hamiltonian equations, that is, the usual Hamiltonian equations are
q i ˙ = H p i , p i ˙ = H q i ,
where ( q i , p i ) M and i = 1 , , n . Denote by Sing ( X H ) the set of all singularities of X H . Since H is smooth and M is compact, Sing ( X H ) . A scalar e H ( M ) R is called the energy of H. An energy hypersurface E H , e is a connected component of H 1 ( { e } ) called an energy level set. The energy level set H 1 ( { e } ) is said to be regular if any energy hypersurface of H 1 ( { e } ) is regular, which means it does not contain singularities. Clearly a regular energy hypersurface is a X H t -invariant, compact, and ( 2 n 1 ) -dimensional manifold. We say a Hamiltonian level ( H , e ) is regular if the energy level set H 1 ( { e } ) is regular. A Hamiltonian system is ( H , e , E H , e ) , where H is the Hamiltonian, e is the energy, and E H , e is a regular connected component of H 1 ( { e } ) . Then H 1 ( { e } ) corresponds to the union of a finite number of closed connected components, that is, H 1 ( { e } ) = i = 1 n E H , e , i , for n N . Note that Hamiltonian flows are symplectic and volume preserving, which is known as the Liouville theorem. Thus the 2n-form ω n = ω ω (n-times) is a volume form and induces a measure μ on M, which is called the Lebesgue measure associated to ω n . Then the measure μ on M is invariant by the Hamiltonian flow. For a regular Hamiltonian level ( H , e ) , we define a volume form ω E H , e on each energy hypersurface E H , e H 1 ( { e } ) , where for all x E H , e ,
ω E H , e ( u , v , w ) = ω n ( H x , u , v , w ) ,
where ω E H , e : T x E H , e × T x E H , e × T x E H , e R . The volume form ω H , e is X H t -invariant. Since any energy hypersurface is compact, it induces an invariant volume measure μ E H , e on E H , e which is a finite measure. Now we consider the transversal linear Poincaré flow. Given a Hamiltonian vector field X H and a regular point x M , let e H ( x ) . Define N x = N x T x H 1 ( { e } ) , where T x H 1 ( { e } ) = Ker d H ( x ) is the tangent space to the energy level set. Then N x is a ( dim M 2 ) -dimensional bundle. The transversal linear Poincaré flow associated to H, P H t ( x ) : N x N X H t ( x ) given by P t ( x ) ( v ) = Π X H t ( x ) D X H x t ( v ) , where Π X H t ( x ) : T X H t ( x ) M N X H t ( x ) , is the canonical projection. It is clear that N x is P H t ( x ) -invariant. Let H C 2 ( M , R ) and let Λ M be a X H t -invariant, closed, and regular set of M. We say that Λ is hyperbolic for P H t if N Λ admits a P H t -invariant splitting Δ Λ s Δ Λ u such that for any λ ( 0 , 1 ) there is l > 0 such that
P h l ( x ) | Δ x s λ and P H l ( X l ( x ) ) | Δ X l ( x ) u λ ,

for any x Λ . We say that a Hamiltonian system ( H , e , E H , e ) is Anosov if E H , e is hyperbolic for the Hamiltonian flow X H t associated to H.

3 Orbital shadowing

Let ( H , e , E H , e ) be a Hamiltonian system. For any δ > 0 , a sequence { ( x i , t i ) : x i E H , e , t i 1 , and  a < i < b } is a δ-pseudo-orbit of H if d ( X H t i ( x i ) , x i + 1 ) < δ for any a i b 1 . For the sequence { t i } i Z , we denote
S i = { t 0 + t 1 + + t i 1 , if  i > 0 , 0 , if  i = 0 , t 1 t 2 t i , if  i < 0 .
We say that ( H , e , E H , e ) has the shadowing property if for any ϵ > 0 , there is δ > 0 that satisfies the following property: given any δ-pseudo-orbit { ( x i , t i ) : t i 1 , i Z } for all i Z , there is a point y E H , e and an increasing homeomorphism h : R R with h ( 0 ) = 0 such that
d ( X H h ( t ) ( y ) , X H t S i ( x i ) ) < ϵ

for any i Z and for any S i t < S i + 1 .

Let A and B be closed sets of M. Then we can define the Hausdorff distance as follows:
d H ( A , B ) = max { sup x A d ( x , B ) , sup y B d ( A , y ) } .
We introduce the notion of the orbital shadowing property. For x M , we denote by Orb X H ( x ) the orbit of H through x; that is, Orb X H ( x ) = { X H t ( x ) : t R } . We say that ( H , e , E H , e ) has the orbital shadowing property if for any ϵ > 0 there is δ > 0 such that for any ( δ , 1 ) -pseudo-orbit ξ = { ( x i , t i ) : t i 1 , i Z } there is a point y E H , e such that
d H ( Orb X H ( x ) ¯ , ξ ¯ ) < ϵ .
This means that
ξ B ϵ ( Orb X H ( y ) ) , and Orb X H ( y ) B ϵ ( ξ ) ,

where B ϵ ( A ) is a neighborhood of A.

Note that the orbital shadowing property is a weak version of the shadowing property: the difference is that we do not require a point x i of a pseudo-orbit ξ and the point X H t i ( y ) of an exact orbit Orb X H ( y ) to be close ‘at any time moment’; instead, the sets of the points of ξ and Orb X H ( y ) are required to be close. We say that ( H , e , E H , e ) has the robustly orbitally shadowing property if there is a neighborhood U of ( H , e , E H , e ) such that every ( H 1 , e 1 , E H 1 , e 1 ) U has the orbital shadowing property.

In [21], Bessa et al. proved that if a Hamiltonian system has the robustly shadowing property then it is Anosov. From this fact, we have the following result, which is more general than the result of [21].

Theorem 3.1 Let ( H , e , E H , e ) be a Hamiltonian system. If ( H , e , E H , e ) has the robustly orbitally shadowing property, then it is Anosov.

4 Orbital inverse shadowing

Let H C 2 ( M , R ) , and let ( H , e , E H , e ) be a Hamiltonian system. A mapping Ψ : R × M M is called a ( δ , T ) -method for H if for any x M , the map Ψ x : R M defined by
Ψ x ( t ) = Ψ ( t , x ) , t R ,
is a ( δ , T ) -pseudo-orbit of H. Ψ is said to be complete if Ψ ( 0 , x ) = x for any x M . Then a ( δ , T ) -method for H can be considered as a family of ( δ , T ) -pseudo-orbit of H. A method Ψ for H is said to be continuous if the map Ψ : M M R given by Ψ ( x ) ( t ) = Ψ ( t , x ) for x M and t R , is continuous under the compact open topology on M R , where M R denotes the set of all functions from to M. The set of all complete ( δ , 1 ) -methods for H C 2 ( M , R ) will be denoted by T a ( δ , H ) . Let T d ( δ , H ) be the set of all complete continuous ( δ , 1 ) -methods for H which are induced by Hamiltonian systems H 1 with d C 2 ( H , H 1 ) < δ , where d C 2 is the C 2 metric on C 2 ( M , R ) . We say that a Hamiltonian system ( H , e , E H , e ) has the inverse shadowing property with respect to the class T d if for any ϵ > 0 there is δ > 0 such that for any ( δ , T ) -method Ψ T d ( δ , H ) and any point x M , there are y M and an increasing homeomorphism h : R R with h ( 0 ) = 0 such that
d ( X h ( t ) ( x ) , Ψ ( t , y ) ) < ϵ , t R .

Now we introduce the notion of the orbital inverse shadowing property with respect to the T d .

We say that ( H , e , E H , e ) has the orbital inverse shadowing property with respect to the class T d if for any ϵ > 0 there is δ > 0 such that for any ( δ , 1 ) -method Ψ T d ( δ , H ) and any point x M there is y M such that
d H ( Orb X H ( x ) ¯ , Orb ( y , Ψ ) ¯ ) < ϵ ,

where Orb ( y , Ψ ) = { Ψ ( t , y ) : t R } . Note that if H has the inverse shadowing property with respect to the class T d , then H has the orbital shadowing property with respect to the class T d . But the converse is not true. Indeed, an irrational rotation map does not have the inverse shadowing property, and the map has the orbital shadowing property. We say that ( H , e , E H , e ) has the robustly orbitally inverse shadowing property with respect to the class T d if there is a neighborhood U of ( H , e , E H , e ) such that for any ( H 1 , e 1 , E H 1 , e 1 ) U has the orbital inverse shadowing property with respect to the class T d .

In [21], Bessa et al. proved that if a Hamiltonian system is robustly topologically stable then it is Anosov. Note that by the definition of topological stability, the inverse shadowing property with respect to the class of the continuous method is a general notion of topological stability. It means that if a system is topologically stable, then it has the inverse shadowing property with respect to the class of the continuous method, but the converse is not true. From these facts, we have the generalization results as follows.

Theorem 4.1 Let ( H , e , E H , e ) be a Hamiltonian system. If H has the robustly orbitally inverse shadowing property with respect to T d , then it is Anosov.

5 Proof of Theorem 3.1 and Theorem 4.1

A Hamiltonian system ( H , e , E H , e ) is a Hamiltonian star system if there is a neighborhood U of ( H , e , E H , e ) such that for any ( H 1 , e 1 , E H 1 , e 1 ) U , the corresponding regular energy hypersurface E H 1 , e 1 has all hyperbolic closed orbits.

In [22], Bessa et al. showed that if we have a Hamiltonian star system on a four dimensional manifold, then it is Anosov. Afterwards, Bessa et al. proved the following.

Lemma 5.1 [[23], Theorem 1]

If ( H , e , E H , e ) is a Hamiltonian star system, then it is Anosov.

To prove Theorem 3.1 and Theorem 4.1, it is enough to show that a Hamiltonian system ( H , e , E H , e ) is a Hamiltonian star system. For this, we need the following proposition.

Proposition 5.2 Let ( H , e , E H , e ) be a Hamiltonian system. If the following hold:
  1. (a)

    ( H , e , E H , e ) has the robustly orbitally shadowing property,

     
  2. (b)

    ( H , e , E H , e ) has the robustly orbitally inverse shadowing property with respect to the  T d ,

     

then ( H , e , E H , e ) is a Hamiltonian star system.

The next lemma is called a pasting lemma; it was established in [23].

Lemma 5.3 [[23], Theorem 5.1]

Let H C r ( M , R ) , 2 r , and let K be a compact subset of M, and U a small neighborhood of K. Given ϵ > 0 there exists δ > 0 such that if H 1 C l ( M , R ) , for 2 l is δ C min { r , l } -close to H on U, then there exist H 0 C l ( M , R ) and a closed set V such that
  1. (a)

    K V U ,

     
  2. (b)

    H 0 = H 1 on V,

     
  3. (c)

    H 0 = H on U c ,

     
  4. (d)

    H 0 is ϵ- C min { r , l } -close to H.

     

Let x M Sing ( X H ) . We define X H [ t 1 , t 2 ] ( x ) = { X H t ( x ) : t [ t 1 , t 2 ] } . Let N x be a transversal section to the flow at x, a flow box associated to N x is defined by F ( x ) = X H [ τ 1 , τ 2 ] ( N x ) , where τ 1 , τ 2 are taken small such that F ( x ) is a neighborhood of x foliated by regular orbits. The following lemma is a version of Frank’s lemma for Hamiltonians.

Lemma 5.4 [[24], Theorem 1]

Let H C r ( M , R ) , 2 r , ϵ > 0 , τ > 0 and x M . Then there is δ > 0 such that for any flowbox F ( x ) of an injective arc of orbit X H [ 0 , t ] ( x ) ( t τ ) and a transversal symplectic δ-perturbation Ψ of P H t ( x ) , there is H 0 C l ( M , R ) with l = max { 2 , k 1 } such that
  1. (a)

    H 0 is ϵ- C 2 -close to H,

     
  2. (b)

    P H 0 t ( x ) = Ψ ,

     
  3. (c)

    H = H 0 on X H [ 0 , t ] ( x ) ( M F ( x ) ) .

     

Let ( H , e , E H , e ) be a Hamiltonian system and let p be a periodic point in E H , e with period π ( p ) . For a point p E H , e , N p M is transverse to the flow, that is, a local ( 2 n 1 ) -submanifold for which X H is nowhere tangency. Define the 2 n 2 symplectic submanifold N p = N p E H , e . For x N p , T x E H , e = T x N p X H ( x ) . Let U M be an open neighborhood of p and V = U M . Let f : V N p be the Poincaré map of X H t to N p such that f ( x ) = X H τ ( x ) ( x ) for all x V , where τ ( x ) is the return time to N p defined by the relation X H τ ( x ) ( x ) N p and τ ( p ) = π ( p ) . Then f is a C 1 -symplectic diffeomorphism. The following lemma was established in [[23], Theorem 5.3].

Lemma 5.5 Let H C ( M , R ) be the Poincaré map f at a periodic point p. Then for any ϵ > 0 there is δ > 0 such that for any symplectic diffeomorphism g δ- C 3 -close to f there is a Hamiltonian H 1 ϵ- C 2 -close with a Poincaré map g.

A point x E H , e is a non-wandering point of H if for any neighborhood U of x in E H , e there is T > 0 such that X H T ( U ) U . Denote by Ω ( H | E H , e ) the set of non-wandering points of H on the energy hypersurface E H , e . We say that x E H , e is a periodic point of H if there is T > 0 such that X H T ( x ) = x . Denote by P ( H | E H , e ) the set of all periodic points of H. Given 1 k n 1 , we recall that a k-elliptic closed orbit has 2k simple non-real eigenvalues of the transversal linear Poincaré flow at the period of norm 1, and the norm of its remaining eigenvalues different from 1. If k = n 1 the elliptic closed orbits have all eigenvalues at the period of norm 1, simple and non-real.

By Abraham’s and Marsden’s [25] result-the symplectic eigenvalue theorem-if λ is an eigenvalue of D p f π of multiplicity k, then 1 / λ is an eigenvalue of D p f π of multiplicity k. Moreover, if the multiplicity of the eigenvalues 1 and −1, then it is even.

Recall that if we let W be a small neighborhood of a regular energy hypersurface E H , e , then there exist a small neighborhood U of the Hamiltonian H and ϵ > 0 such that for any H 1 U and for any e 1 ( e ϵ , e + ϵ ) , we have H 1 1 ( { e } ) W = E H 1 , e 1 . The energy hypersurface E H 1 , e 1 is called the analytic continuation of E H , e .

Remark 5.6 By Robinson’s version of the Kupka-Smale theorem [26], a C 2 -generic Hamiltonian has all closed orbits of hyperbolic or elliptic type. Thus, we can see that there is a H 1 close to H such that H 1 has a k-elliptic periodic orbit p of period π ( p ) . Therefore, there is a splitting of the normal subbundle Δ p c along the orbit p into k-subspaces such that Δ p c = Δ 1 c Δ k c , where dim Δ i c = 2 for i = 1 , , k . Let λ i = exp ( θ i j ) is an eigenvalue of P H 1 π ( p ) | Δ i c . If θ i is an irrational, then, by Frank’s lemma, there is H 2 C 2 -close to H 1 such that each appropriate restriction of the Poincaré map f H 2 | N i c is conjugate to a rational rotation, for i = 1 , , k .

The following is the proof of Proposition 5.2(a).

Lemma 5.7 Let ( H , e , E H , e ) be a Hamiltonian system. If ( H , e , E H , e ) has the robustly orbitally shadowing property then ( H , e , E H , e ) is a Hamiltonian star system.

Proof Let p γ P ( H | E H , e ) with X H π ( p ) ( p ) = p ( π ( p ) > 0 ) associated to E H , e . Suppose that p is not hyperbolic for H. Then there is an eigenvalue λ of P H π ( p ) ( p ) such that | λ | = 1 . Then by Lemma 5.3 and Lemma 5.4, we can find H 1 C 2 -close to H such that H 1 has a non-hyperbolic periodic point p 1 close to p with period π ( p 1 ) close to π ( p ) . It is clear that p 1 is not the analytic continuation to p. Then as in the proof of the [[27], Theorem 4.3], we can make the Poincaré map f at p 1 associated to the Hamiltonian flow X H 1 t a C local symplectic diffeomorphism, that is, f : N p 1 , r N p 1 for some r > 0 . For simplicity, we assume that p 1 is 1-elliptic. Then T p 1 N p 1 , r = Δ p 1 c Δ p 1 s Δ p 1 u , where Δ p 1 c is associated to λ, Δ p 1 c is associated to an eigenvalues less than 1 and Δ p 1 u associated to an eigenvalue greater than 1. By Lemma 5.4, Lemma 5.5 and the Darboux theorem, there are ϵ 0 > 0 and a linear map A : N p 1 N p 1 such that g ( x ) = φ p 1 A φ p 1 1 ( x ) for x B ϵ 0 ( p 1 ) N p 1 , r and g ( x ) = f ( x ) for x B ϵ 0 ( p 1 ) N p 1 , r , where φ p 1 : B ϵ 0 ( p 1 ) N p 1 , r T p 1 N p 1 with φ p 1 ( p 1 ) = 0 . It is clear that g : N p 1 , r N p 1 is the Poincaré map H 1 . Using Lemma 5.4, λ can be taken as a rational rotation, that is, there is l > 0 such that for any x φ p 1 1 ( Δ p 1 c ) B ϵ 0 ( p 1 ) N p 1 , r , we have g l ( x ) = x . Put N p 1 c = φ p 1 1 ( Δ p 1 c ) B ϵ 0 ( p 1 ) . For simplicity, we may assume that g l = g . Then x is a fixed point for g, and the orbit of x is periodic, that is, X H 1 π ( x ) ( x ) = x , where π ( x ) is the period of x. Let x 0 = p 1 . Take ϵ = min { ϵ 0 / 16 , r / 8 } , and let 0 < δ < ϵ be the number of the orbital shadowing property. Take y N p 1 c such that d ( p 1 , y ) = 2 ϵ . Now, we construct a δ-pseudo-orbit { ( x i , t i ) : t i > 0 , i Z } N p 1 c as follows: (i) t i = π ( p 1 ) for all i Z , and x n = y for some n N , (ii) x i = p 1 for i 0 , (iii) d ( g ( x i ) , x i + 1 ) < δ for 1 i n 1 , and (iv) x i = y for i n . By the orbital shadowing property, there is z E H 1 , e 1 such that
d H ( Orb X H 1 ( z ) ¯ , { ( x i , t i ) : t i = π ( p 1 ) , i Z } ¯ ) < ϵ .
If z E H 1 , e 1 N p 1 c , then, by the hyperbolicity, there is k Z such that
d ( X H 1 k π ( p 1 ) ( z ) , { ( x i , t i ) : t i = π ( p 1 ) , i Z } ¯ ) > ϵ .
This is a contradiction. Thus the orbital shadowing point z N p 1 c . Since g ( z ) = z , we have X H 1 j π ( p 1 ) ( z ) = z for all j Z . By the orbital shadowing property, if there is x k { ( x i , t i ) : t i = π ( p 1 ) , i Z } such that d ( x k , z ) < ϵ , then we can see that there is x l { ( x i , t i ) : t i = π ( p 1 ) , i Z } such that
d ( x l , X H 1 j π ( p 1 ) ( z ) ) = d ( x l , z ) > ϵ ,

for some j Z . Thus { X H 1 t ( z ) : t R } B ϵ ( { ( x i , t i ) : t i = π ( p 1 ) , i Z } ) , which is a contradiction. □

Let p H be a non-hyperbolic periodic point. Then there is a Hamiltonian H 1 C 2 -close to H such that H 1 has a continuation of periodic points close to p. For a Hamiltonian system ( H , e , E H , e ) and a periodic point p E H , e with period π ( p ) , let N p c be a submanifold N p associated to p. Then we have the following.

Lemma 5.8 [[21], Lemma 6.1]

Let ( H , e , E H , e ) be a Hamiltonian system, and let p E H , e be a non-hyperbolic periodic point. Then there is a Hamiltonian system ( H 1 , e 1 , E H 1 , e 1 ) C 2 -close to ( H , e , E H , e ) such that H 1 has a non-hyperbolic periodic point q E H 1 , e 1 close to p and every point in a small neighborhood of q N p c is a periodic point of H 1 .

The following is the proof of Proposition 5.2(b).

Lemma 5.9 Let ( H , e , E H , e ) be a Hamiltonian system. If ( H , e , E H , e ) has the robustly orbitally inverse shadowing property with respect to the class T d , then ( H , e , E H , e ) is a Hamiltonian star system.

Proof Let U C 2 ( H , R ) be a C 1 -neighborhood of H. Suppose that p E H , e is not a hyperbolic periodic point. By Lemma 5.8, there are H 1 U and η > 0 such that (i) H 1 has a non-hyperbolic periodic point q E H 1 , e 1 , and (ii) every γ B η ( q ) N q c is a periodic point of H 1 . Take 0 < ϵ < η / 16 , and let 0 < δ < ϵ be as in the definition of the orbital inverse shadowing property of H 1 . Let f H 1 be the Poincaré map at q associated to P H 1 t . Since every γ B η ( q ) N q c is a periodic point of H 1 , we know that f H 1 ( γ ) = γ .

Take 0 < τ < 1 such that it is sufficiently small. Then we define the Poincaré map g H 1 near q by g H 1 ( x ) = ( τ x 1 , x ) for x B η ( q ) N q c such that d C 3 ( f H 1 , g H 1 ) < δ , where x 1 is the 1-component of x and x is the other component. By Lemma 5.5, there is a Hamiltonian H 1 which is associated to the Poincaré map g H 1 , and d C 2 ( H 1 , H 2 ) < δ . Take y B η ( q ) N q c such that d ( y , q ) = 2 ϵ . Then for any z E H 1 , e 1 ,
d H ( Orb X H 1 ( y ) ¯ , Orb X H 2 ( z ) ¯ ) < ϵ .
If y = z then f H 1 ( y ) = y and g H 1 i ( y ) = ( τ i y 1 , y ) for all i Z . Then there is k Z such that for g H 1 | N q c ,
g H 1 k ( y ) = ( τ k y 1 , y ) B ϵ ( { f H 1 i ( y ) : i Z } ) .

Then we know that d H ( Orb X H 1 ( y ) ¯ , Orb X H 2 ( z ) ¯ ) > ϵ . This is a contradiction, since H 1 has the orbital inverse shadowing property.

Finally we consider y z . Set z = X H 1 t ( z ) B η ( q ) N q c , where | t | = min { | t | : X H 1 t ( z ) B η ( q ) N q c } . Since
d H ( Orb X H 1 ( y ) ¯ , Orb X H 2 ( z ) ¯ ) < ϵ ,
we have d ( X H 1 t ( y ) , g H 1 i ( z ) ) < ϵ for some t R . Since d C 2 ( H 1 , H 2 ) < δ , we can choose a sequence { g H 1 i ( z ) } B ϵ ( q ) N q c such that d ( f H 1 i ( y ) , g H 1 i ( z ) ) < ϵ for all i Z . By hyperbolicity, there is k > 0 such that
g H 1 k ( z ) B ϵ ( { f H 1 i ( y ) : i Z } ) .

Thus B ϵ ( { g H 1 i ( z ) : i Z } ) B ϵ ( q ) N q c . This is a contradiction by the orbital inverse shadowing property. □

Declarations

Acknowledgements

This work is supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Science, ICT & Future Planning (No-2014R1A1A1A05002124).

Authors’ Affiliations

(1)
Department of Mathematics, Mokwon University, Daejeon, 302-729, Korea

References

  1. Sakai K: Pseudo-orbit tracing property and strong transversality of diffeomorphisms on closed manifolds. Osaka J. Math. 1994, 31: 373-386.MathSciNetMATHGoogle Scholar
  2. Pilygin SY, Rodionova AA, Sakai K: Orbital and weak shadowing properties. Discrete Contin. Dyn. Syst. 2003, 9: 287-303.MathSciNetView ArticleMATHGoogle Scholar
  3. Lee K, Lee M: Symplectic diffeomorphisms with orbital shadowing. J. Chungcheong Math. Soc. 2012, 25: 739-745.View ArticleGoogle Scholar
  4. Lee K, Lee M: Volume-preserving diffeomorphisms with orbital shadowing. J. Inequal. Appl. 2013., 2013: Article ID 18Google Scholar
  5. Lee, K, Lee, M: Generic diffeomorphisms with orbital shadowing. PreprintGoogle Scholar
  6. Lee M: Robustly chain transitive sets with orbital shadowing diffeomorphisms. Dyn. Syst. 2012, 27: 507-514. 10.1080/14689367.2012.725032MathSciNetView ArticleMATHGoogle Scholar
  7. Lee M: Volume-preserving diffeomorphisms with inverse shadowing. J. Inequal. Appl. 2012., 2012: Article ID 275Google Scholar
  8. Lee M: Symplectic diffeomorphisms with inverse shadowing. J. Inequal. Appl. 2013., 2013: Article ID 74Google Scholar
  9. Corless R, Pilyugin S: Approximate and real trajectories for generic dynamical systems. J. Math. Anal. Appl. 1995, 189: 409-423. 10.1006/jmaa.1995.1027MathSciNetView ArticleMATHGoogle Scholar
  10. Pilyugin S: Inverse shadowing by continuous methods. Discrete Contin. Dyn. Syst. 2002, 8: 29-38.MathSciNetView ArticleMATHGoogle Scholar
  11. Lee K: Continuous inverse shadowing and hyperbolicity. Bull. Aust. Math. Soc. 2004, 67: 352-359.MathSciNetGoogle Scholar
  12. Choi T, Lee K, Zhang Y: Characterisations of Ω-stability and structurally stability via inverse shadowing. Bull. Aust. Math. Soc. 2006, 74: 185-196. 10.1017/S0004972700035632MathSciNetView ArticleMATHGoogle Scholar
  13. Han Y, Lee K: Inverse shadowing for structurally stable flows. Dyn. Syst. 2004, 19: 371-388. 10.1080/1468936042000269569MathSciNetView ArticleMATHGoogle Scholar
  14. Lee K, Lee M: Stably inverse shadowable transitive sets and dominated splitting. Proc. Am. Math. Soc. 2012, 140: 217-226.View ArticleMathSciNetMATHGoogle Scholar
  15. Lee K, Lee Z, Zhang Y: Structural stability vector fields with orbital inverse shadowing. J. Korean Math. Soc. 2008, 45: 1505-1521. 10.4134/JKMS.2008.45.6.1505MathSciNetView ArticleMATHGoogle Scholar
  16. Lee K, Park J: Inverse shadowing of circle maps. Bull. Aust. Math. Soc. 2004, 69: 353-359. 10.1017/S0004972700036133View ArticleMathSciNetMATHGoogle Scholar
  17. Lee M: Orbital shadowing property for generic divergence-free vector fields. Chaos Solitons Fractals 2013, 54: 71-75.MathSciNetView ArticleGoogle Scholar
  18. Lee M:Orbital shadowing for C 1 -generic volume preserving diffeomorphisms. Abstr. Appl. Anal. 2013., 2013: Article ID 693032Google Scholar
  19. Yano K: Topological stable homeomorphisms of the circle. Nagoya Math. J. 1980, 79: 145-149.MathSciNetMATHGoogle Scholar
  20. Thomas R: Topological stability: some fundamental properties. J. Differ. Equ. 1985, 59: 103-122. 10.1016/0022-0396(85)90140-8View ArticleMathSciNetMATHGoogle Scholar
  21. Bessa M, Rocha J, Torres M: Shades of hyperbolicity for Hamiltonians. Nonlinearity 2013, 26: 2851-2873. 10.1088/0951-7715/26/10/2851MathSciNetView ArticleMATHGoogle Scholar
  22. Bessa M, Ferreira C, Rocha J: On the stability of the set of hyperbolic closed orbits of a Hamiltonian. Math. Proc. Camb. Philos. Soc. 2010, 149: 373-383. 10.1017/S0305004110000253MathSciNetView ArticleMATHGoogle Scholar
  23. Bessa M, Rocha J, Torres M: Hyperbolicity and stability for Hamiltonian flows. J. Differ. Equ. 2013, 254: 309-322. 10.1016/j.jde.2012.08.010MathSciNetView ArticleMATHGoogle Scholar
  24. Vivier, T: Robustly transitive 3-dimensional regular energy surfaces are Anosov. Institut de Math. de Bourgogne, Dijon. Preprint 412 (2005)Google Scholar
  25. Abraham R, Marsden JE: Foundations of Mechanics. 2nd edition. Benjamin-Cummings, New York; 1980.Google Scholar
  26. Robinson C: Generic properties of conservative systems. Am. J. Math. 1970, 92: 747-817.MATHGoogle Scholar
  27. Arbieto A, Senos L, Sodera T: The specification property for flows from the robust and generic view point. J. Differ. Equ. 2012, 253: 1893-1909. 10.1016/j.jde.2012.05.022View ArticleMATHGoogle Scholar

Copyright

© Lee; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Advertisement