Next Article in Journal
Multi-Attribute Decision-Making Method Based on Neutrosophic Soft Rough Information
Next Article in Special Issue
Equicontinuity, Expansivity, and Shadowing for Linear Operators
Previous Article in Journal
An Abstract Result on Projective Aggregation Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Type of the Shadowing Properties for Generic View Points

Department of Mathematics, Mokwon University, Daejeon 302-729, Korea
Axioms 2018, 7(1), 18; https://doi.org/10.3390/axioms7010018
Submission received: 15 November 2017 / Revised: 12 March 2018 / Accepted: 19 March 2018 / Published: 20 March 2018
(This article belongs to the Special Issue Shadowing in Dynamical Systems)

Abstract

:
We show that if a C 1 generic diffeomorphism of a closed smooth two-dimensional manifold has the average shadowing property or the asymptotic average shadowing property, then it is Anosov. Moreover, if a C 1 generic vector field of a closed smooth three-dimensional manifold has the average shadowing property or the asymptotic average shadowing property, then it satisfies singular Axiom A without cycles.

1. Introduction

The shadowing property is an important notion to study the stability systems in dynamical systems. Robinson [1] and Sakai [2] proved that a diffeomorphism f of a closed smooth manifold M has the C 1 robustly shadowing property if and only if it is structurally stable. However, Lewowicz [3] constructed examples of transitive diffeomorphisms with the shadowing property that are not Anosov. Thus, we know that the shadowing property does not imply hyperbolic systems. For these view points, Abdenur and Díaz [4] suggested the following problem; the shadowing property and hyperbolicity are equivalent in C 1 generic sense. Abdenur and Díaz [4] proved that, for a C 1 generic diffeomorphism f : M M , if a tame f has the shadowing property, then it is hyperbolic. However, if a C 1 generic diffeomorphism f is not tame, then the above problem is still open.
About this point, we consider a type of the shadowing property and hyperbolicity. The average shadowing property or the asymptotic average shadowing property are different types of the shadowing property. In fact, a Morse–Smale diffeomorphim has the shadowing property. However, the system has sinks or sources, and so it has neither the average shadowing property nor the asymptotic average shadowing property [5,6]. Many results were published about the relation between the shadowing properties and the hyperbolicity (see [1,2,7,8,9,10,11,12,13,14,15,16,17,18]). Among the results, we introduce some interesting results. Sakai [15] proved that if a diffeomorphism f of a surface has the C 1 robustly average shadowing property, then it is Anosov. Honary and Bahabadi [9] proved that if a diffeomorphism f of a surface has the C 1 robustly asymptotic average shadowing property, then it is Anosov. Lee and Park [10] proved that C 1 generically, if a diffeomorphism f has the average shadowing property or the asymptotic average shadowing property with every periodic points has intersection, then it is Anosov. Arbieto and Ribeiro [7] proved that if a vector field X of a closed smooth three-dimensional manifold has the C 1 robustly average shadowing property or the asymptotic average shadowing property, then it is Anosov. In any dimension, Ribeiro [16] proved that C 1 generically, if a vector field X has the average shadowing property or the asymptotic average shadowing property with every periodic orbits intersect each other, is Anosov. From these results, we show that if a diffeomorphism f or a vector field X has the average shadowing property or the asymptotic average shadowing property, then it is hyperbolic, in C 1 generic sense.

1.1. Diffeomorphisms

Let M be a compact two-dimensional manifold without boundary, and let Diff ( M ) be the space of C 1 diffeomorphisms of M. For any δ > 0 , a sequence { x i } i Z M is a δ-pseudo orbit of f if the distance between f ( x i ) and x i + 1 is less than δ for all i Z . For a closed f-invariant set Λ , f Diff ( M ) has the shadowing property on Λ if, for every ϵ > 0 , there is δ > 0 such that for any δ -pseudo orbit { x i } i Z Λ , we can choose a point y M with the property d ( f i ( y ) , x i ) < ϵ for all i Z . If Λ = M , then we say that f has the shadowing property.
Blank [19] introduced the notion of the average shadowing property. For δ > 0 , a sequence { x i } i Z M is a δ-average pseudo orbit of f if there is K = K ( δ ) > 0 such that, for all n K and k Z , we have
1 n i = 0 n 1 d ( f ( x i + k ) , x i + k + 1 ) < δ .
Definition 1.
Let f Diff ( M ) . We say that f has the average shadowing property if for any ϵ > 0 there is a δ > 0 such that every δ-average pseudo orbit { x i } i Z M is ϵ-shadowed in average by the point z M , that is,
lim sup n 1 n i = 0 n 1 d ( f i ( z ) , x i ) < ϵ a n d lim sup n 1 n i = 0 n 1 d ( f i ( z ) , x i ) < ϵ .
Gu [5] introduced the asymptotic average shadowing property. A sequence { x i } i Z M is an asymptotically average pseudo orbit of f if
lim n 1 2 n + 1 i = n n d ( f ( x i ) , x i + 1 ) = 0 .
An asymptotically pseudo orbit { x i } i Z M is said to be asymptotically shadowed in average by the point z in M if
lim n 1 2 n + 1 i = n n d ( f i ( z ) , x i ) = 0 .
Definition 2.
Let f Diff ( M ) . We say that f has the asymptotic average shadowing property if every asymptotically average pseudo orbit { x i } M of f can be asymptotically shadowed on average by some point in M .
Remark 1.
In [20], the authors proved that the asymptotic average shadowing property implies the average shadowing property for continuous surjective topological dynamical systems. For convenience, we will provide information on the results of the asymptotic average shadowing property.
A point x M is chain recurrent if, for any η > 0 , there is a η -pseudo orbit { x i } i = 0 n ( n 1 ) such that x 0 = x and x n = x . Let CR ( f ) be the set of all chain recurrent points of f . An f-invariant closed set C ( f ) M is chain transitive if, for any δ > 0 and x , y C ( f ) , there is a δ -pseudo orbit { x i } i = 0 n ( n 1 ) C ( f ) such that x 0 = x and x n = y . We say that a diffeomorphism f is chain transitive if a chain transitive set C ( f ) = M .
Lemma 1.
Let f Diff ( M ) . If f has one of the following,
(a) 
the average shadowing property (see [6]),
(b) 
the asymptotic average shadowing property (see [5]),
then f is chain transitive.
A point p M is periodic if there is n > 0 such that f n ( p ) = p . Let P ( f ) be the set of all periodic points of f . We say that p P ( f ) is a sink if all the eigenvalues of the derivative of p, that is, D p f π ( p ) , are less than one, and p P ( f ) is a source if all the eigenvalues of D p f π ( p ) are greater than one, where π ( p ) is the period of p .
Lemma 2.
(Ref. [21] (Lemma 2.1)) If C ( f ) is a chain transitive set of f, then C ( f ) has neither sinks nor sources.
A subset R Diff ( M ) is said to be residual if it contains a countable intersection of open and dense subsets of Diff ( M ) . A dynamic property is called C 1 generic if it holds in a residual subset of Diff ( M ) . A closed f-invariant set Λ M is transitive if there is x Λ such that ω ( x ) = Λ , where ω ( x ) is the omega limit set of x . Crovisier [22] proved that for C 1 generic f Diff ( M ) , a chain transitive set C ( X ) is a transitive set Λ . Then, according to Pugh’s closing lemma, there is a sequence of periodic orbit P n of f such that lim n P n Λ . If f is chain transitive, then we can consider the periodic point in M . The result can be extended vector fields.
A closed f-invariant set Λ M is hyperbolic if the tangent bundle T Λ M has a D f -invariant splitting E s E u and there exists 0 < λ < 1 such that
D x f n | E x s λ n and D x f n | E x u λ n
for all x Λ and n 0 . We say that f is Anosov if Λ = M in the above notion. We say that f is Axiom A if the nonwandering set Ω ( f ) is the closure of P ( f ) and is hyperbolic. According to Mañé [23], we have the following.
Theorem 1.
(Ref. [24] (Theorem(Mañé)) There is a residual subset R Diff ( M ) such that for f R satisfies one of the following:
(a) 
f is Axiom A without cycles;
(b) 
f has infinitely many sinks or sources.
From Theorem 1, we have the following theorem, which is a main result of the paper.
Theorem 2.
There is a residual subset R Diff ( M ) such that for f R , if f has the following;
(a) 
the asymptotic average shadowing property, or
(b) 
the average shadowing property,
then f is Anosov.
Proof. 
Let f R have the asymptotic average shadowing property or the average shadowing property. According to Lemma 1, f is chain transitive. By Lemma 2, f has neither sinks nor sources. According to Theorem 1, f satisfies Axiom A without cycles. Finally, we show that Ω ( f ) = M . Since f is Axiom A without cycles, we have the nonwandering set Ω ( f ) is hyperbolic and Ω ( f ) = CR ( f ) . Since f is chain transitive, CR ( f ) = M and CR ( f ) is hyperbolic, and so f is Anosov. ☐
In the introduction, we mention that the asymptotic average shadowing property or the average shadowing property is not equal to the shadowing property. However, C 1 generically, in three-dimensional cases, if a diffeomorphism f has the asymptotic average shadowing property or the average shadowing property, then it has the shadowing property.
Corollary 1.
For C 1 generic f Diff ( M ) , if f has the asymptotic average shadowing property or the average shadowing property, then it has the shadowing property.
Proof. 
Let f R have the average shadowing property or the asymptotic average shadowing property. According to Theorem 2, f is Anosov. By [25], f has the shadowing property. ☐

1.2. Vector Fields

Let M be a compact three-dimensional manifold without boundaries. Denote by X ( M ) the set of C 1 -vector fields on M endowed with the C 1 -topology. Let X X ( M ) . The flow of X will be denoted by X t , t R . A point x M is singular of X if X t ( x ) = x for all t R . Denote by S i n g ( X ) the set of all singular points of X. A point p M is periodic if there is π ( p ) > 0 such that X π ( p ) ( p ) = p , where π ( p ) is the prime period of p . Let P e r ( X ) be the set of all closed orbits of X. Let C r i t ( X ) = S i n g ( X ) P e r ( X ) . It is clear that C r i t ( X ) Ω ( X ) , where Ω ( X ) is the set of all nonwandering points of X. For any δ > 0 , a sequence { ( x i , t i ) : x i M , t i 1 and i Z } is a δ -pseudo orbit of X if d ( X t i ( x i ) , x i + 1 ) < δ for any i Z . For vector fields, the average shadowing property was introduced by Gu et al. [26] and the asymptotic average shadowing property was introduced by Gu [27]. We say that a homeomorphism h : R R is a reparametrization of R if h is increasing and h ( 0 ) = 0 . Denote by Rep( R ) the set of reparametrizations of R . For ϵ > 0 , we define Rep ( ϵ ) as follows:
Rep ( ϵ ) = h Rep ( R ) : | h ( t ) t 1 | < ϵ .
For any δ > 0 , a sequence { ( x i , t i ) : x i M , t i 1 , and i Z } is a δ-average pseudo orbit of X if there is a T > 0 such that for any n T and k Z , we have
1 n i = 0 n 1 d ( X t i + k ( x i + k ) , x i + k + 1 ) d t < δ .
A δ -average pseudo orbit { ( x i , t i ) } i Z M is positively shadowed on average by the orbit of X through a point z M if there exists h Rep ( ϵ ) with h ( 0 ) = 0 such that
lim sup n 1 n i = 0 n 1 s i s i + 1 d ( X h ( t ) ( z ) , X t s i ( x i ) ) d t < ϵ ,
where s 0 = 0 , and s n = i = 0 n 1 t i ( i N ) . Analogously, we define negatively shadowed on average.
Definition 3.
Let X X ( M ) . We say that X has the average shadowing property if, for every ϵ > 0 , there is a δ > 0 such that every δ-average pseudo orbit { ( x i , t i ) } i Z M of X can be positively and negatively shadowed in average by the orbit of X through some point in M.
A sequence { ( x i , t i ) : x i M , t i 1 and i Z } is an asymptotically average pseudo orbit of X if
lim n 1 2 n + 1 i = n n d ( X t i ( x i ) , x i + 1 ) = 0 .
An asymptotically average pseudo orbit { ( x i , t i ) } i Z is positively asymptotically shadowed on average by the orbit of X through a point z M if there is h Rep ( ϵ ) with h ( 0 ) = 0 such that
lim n 1 n i = 0 n 1 s i s i + 1 d ( X h ( t ) ( z ) , X t s i ( x i ) ) d t = 0 ,
where s 0 = 0 , and s n = i = 0 n 1 t i ( i N ) . Analogously, we define negatively asymptotically shadowed on average.
Definition 4.
Let X X ( M ) . We say that X has the asymptotic average shadowing property if every asymptotically average pseudo orbit { ( x i , t i ) } i Z M of X can be positively and negatively asymptotically shadowed on average by some point in M.
A closed X t -invariant set Λ is transitive if O r b ( x ) ¯ = Λ for some x Λ , where A ¯ is the closure of set A . A compact X t -invariant C ( X ) M is chain transitive if, for any x , y C ( X ) and η > 0 , there is a η -pseudo orbit { ( x i , t i ) : t i 1 , f o r 0 i n } ( n 1 ) C ( X ) with x 0 = x , x n = y . Note that if a flow is transitive, then it is chain transitive. However, the converse is not true in general. A point x M is chain recurrent if, for any η > 0 , there is a finite η -pseudo orbit from x to x. Let CR ( X ) be the set of all chain recurrent points of X .
Lemma 3.
Let X X ( M ) . If X has one of the following,
(a) 
the average shadowing property (see [26]),
(b) 
the asymptotic average shadowing property (see [27]),
then X is chain transitive.
A periodic point p is a sink if the eigenvalues of D p f have absolute values of less than one, where D p f is the derivative of p and f is the Poincaré map of X . A source is sink for a vector field X .
Lemma 4.
(Ref. [7] (Lemma 6)) If C ( X ) is a chain transitive set of X, then C ( X ) has neither sinks nor sources.
A compact X t invariant set Λ is called hyperbolic for X t if there are constants C > 0 , λ > 0 and a splitting T x M = E x s X ( x ) E x u such that the tangent flow D X t : T M T M leaves the invariant continuous splitting and
D X t | E x s C e λ t and D X t | E x u C e λ t
for t > 0 and x Λ , where X ( x ) is the subspace generated by X. We say that X X ( M ) is Anosov if M = Λ in the above notion.
We say that Λ is partially hyperbolic if there is an invariant splitting T Λ M = E s E c and constants C > 0 , λ > 0 such that
(i)
D X t | E x s C e λ t , for all x Λ and t > 0 ,
(ii)
E s dominates E c , that is, E x s 0 , E x c 0 and D X t | E x s · D X t | E X t ( x ) c C e λ t , for all x Λ and t > 0 .
In the above definition, we say that the central bundle E c is volume expanding if the constants C > 0 and λ > 0 satisfy | J ( D X t | E x c ) | C e λ t , for all x Λ and t > 0 , where J ( · ) is the Jacobian.
A compact X t -invariant Λ is attracting if there is a neighborhood U of Λ such that Λ = t 0 X t ( U ) . A set Λ is an attractor if it is a transitive attracting set.
We say that Λ is singular hyperbolic if every singularity in Λ is hyperbolic and it is partially hyperbolic with a volume expanding central bundle. A singular hyperbolic attractor is an attractor that is also a singular hyperbolic set for X, and a singular hyperbolic repeller is an attractor that is a singular hyperbolic set for X . We say that X satisfies Axiom A if the nonwandering set Ω ( X ) = C r i t ( X ) ¯ is hyperbolic. Note that if X satisfies Axiom A, then we know that Ω ( X ) = Λ 1 Λ n , where each Λ i is a hyperbolic basic set of X (see [28])). A collection of basic sets Λ i 1 , , Λ i k of X is called a cycle, if there exist points x n Ω ( X ) ( 1 n k ) such that α ( x n ) Λ i n and ω ( x n ) Λ i n + 1 ( k + 1 1 ) . An Axiom A vector field X satisfies the no-cycle condition if there are no cycles among the basic sets of X. A vector field X is called singular Axiom A if there is a finite disjoint decomposition Ω ( X ) = Λ 1 Λ n , where each Λ i is a hyperbolic basic set, a singular hyperbolic attractor or a singular hyperbolic repeller, i = 1 , , n .
A subset G X ( M ) is called residual if it contains a countable intersection of open and dense subsets of X ( M ) . A dynamic property is called C 1 generic if it holds in a residual subset of X ( M ) . The following is found in ([29] (Thereom A)).
Theorem 3.
There is a residual subset G X ( M ) such that for X G , X satisfies one of the following:
(a) 
X is singular Axiom A without cycles;
(b) 
X has infinitely many sinks or sources.
According to Theorem 3, we have the following result, which is a main result in the paper and is a vector field version of Theorem 2.
Theorem 4.
There is a residual subset G X ( M ) such that, for X G , if X has the following:
(a) 
asymptotic average shadowing property, or
(b) 
average shadowing property,
then X is singular Axiom A without cycles.
Proof. 
Let X G have the average shadowing property or the asymptotic average shadowing property. According to Lemma 3, X is chain transitive. Since X is chain transitive, according to Lemma 4, X has neither sinks nor sources. Since X G , by Theorem 3, X is singular Axiom A without cycles. ☐
Corollary 2.
There is a residual subset G X ( M ) such that, for X G , if S i n g ( X ) = and X has the average shadowing property or the asymptotic average shadowing property, then X is Anosov.
Proof. 
Let X G have the average shadowing property or the asymptotic average shadowing property. As in the proof of Theorem 4, X is singular Axiom A without cycles. Since S i n g ( X ) = , X is Axiom A without cycles. Since X is chain transitive, the chain recurrence set CR ( X ) = M . Since X is Axiom A without cycles and S i n g ( X ) = , by ([30] (Theorem A)), CR ( X ) = Ω ( X ) . Thus, X is Anosov.  ☐
The following is similar to the proof Corollary 1. Thus, we omit the proof.
Corollary 3.
There is a residual subset G X ( M ) such that, for X G , if S i n g ( X ) = and X has the average shadowing property or the asymptotic average shadowing property, then X has the shadowing property.
Remark 2.
In Corollary 3, for C 1 generic X X ( M ) , if S i n g ( X ) , then the result is still open (see [17]). Thus, we will consider that, C 1 generically, if S i n g ( X ) , then does X have the shadowing property?

Acknowledgments

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

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Robinson, C. Stability theorem and hyperbolicity in dynamical systems. Rocky Mt. J. Math. 1977, 7, 425–437. [Google Scholar] [CrossRef]
  2. Sakai, K. Pseudo orbit tracing property and strong transversality of diffeomorphisms on closed manifolds. Osaka J. Math. 1994, 31, 373–386. [Google Scholar]
  3. Lewowicz, J. Lyapunov functions and topological stability. J. Differ. Equ. 1980, 38, 192–209. [Google Scholar] [CrossRef]
  4. Abdenur, F.; Díaz, L.J. Pseudo-orbit shadowing in the C1-topology, Discrete Contin. Dyn. Syst. 2007, 17, 223–245. [Google Scholar]
  5. Gu, R. The asymptotic average shadowing property and transitivity. Nonlinear Anal. 2007, 67, 1680–1689. [Google Scholar] [CrossRef]
  6. Park, J.; Young, Z. Average shadowing property on compact metric spaces. Commun. Korean Math. Soc. 2006, 21, 355–361. [Google Scholar] [CrossRef]
  7. Arbieto, A.; Ribeiro, R. Flows with the (asymptotic) average shadowing property on three-dimensional closed manifolds. Dyn. Syst. 2011, 26, 425–432. [Google Scholar] [CrossRef]
  8. Bess, M.; Ribeiro, R. Conservative flows with variuos types of shadowing. Chaos Solitons Fractals 2015, 75, 243–252. [Google Scholar] [CrossRef]
  9. Honary, B.; Bahabadi, A.Z. Asymptotic average shadowing property on compact metric spaces. Nonlear Anal. 2008, 69, 2857–2863. [Google Scholar] [CrossRef]
  10. Lee, M.; Park, J. Diffeomorphisms with average and asymptotic average shadowing. Dyn. Contin. Discret. Impuls. Syst. Ser. A 2016, 23, 285–294. [Google Scholar]
  11. Lee, M.; Wen, X. Diffeomorphisms with C1-stably average shadowing. Acta Math. Sin. Engl. Ser. 2013, 29, 85–92. [Google Scholar] [CrossRef]
  12. Lee, M. Asymptotic average shadowing in linear dynamical systems. Far East J. Math. Sci. 2012, 66, 37–44. [Google Scholar]
  13. Lee, M. Stably average shadowable homoclinic classes. Nonlinear Anal. 2011, 74, 689–694. [Google Scholar] [CrossRef]
  14. Lee, M. Average shadowing property on closed sets. Far East J. Math. Sci. 2011, 57, 171–179. [Google Scholar]
  15. Sakai, K. Diffeomorphisms with the average-shadowing property on two-dimensional closed manifolds. Rocky Mt. J. Math. 2000, 30, 1129–1137. [Google Scholar] [CrossRef]
  16. Ribeiro, R. Hyperbolicity and types of shadowing for C1 generic vector fields. Discret. Contin. Dyn. Syst. 2014, 34, 2963–2982. [Google Scholar] [CrossRef]
  17. Lee, K.; Sakai, K. Structurally stability of vector fields with shadowing. J. Differ. Equ. 2007, 232, 303–313. [Google Scholar] [CrossRef]
  18. Lee, M. Stably asymptotic average shadowing property and dominated splitting. Adv. Differ. Equ. 2012, 2012, 25. [Google Scholar] [CrossRef]
  19. Blank, M.L. Metric properties of ϵ-trajectories of dynamical systems with stochastic behaviour. Ergod. Theory Dyn. Syst. 1988, 8, 365–378. [Google Scholar] [CrossRef]
  20. Kulczycki, M.; Kwietniak, D.; Oprocha, P. On almost specification and average shadowing properties. Fundam. Math. 2014, 224, 241–278. [Google Scholar] [CrossRef]
  21. Lee, M. Robustly chain transitive diffeomorphisms. J. Inequal. Appl. 2015, 2015, 230. [Google Scholar] [CrossRef]
  22. Crovisier, S. Periodic orbits and chain transitive sets of C1 diffeomorphisms. Publ. Math. I’IHEŚ 2006, 104, 87–141. [Google Scholar] [CrossRef] [Green Version]
  23. Mañé, R. An ergodic closing lemma. Ann. Math. 1982, 116, 503–540. [Google Scholar] [CrossRef]
  24. Bonatti, C.; Díaz, L.J.; Pujals, E.R. A C1-generic dichotomy for diffeomorphisms: Weak forms of hyperbolicity or infinitely many sinks or sources. Ann. Math. 2003, 153, 355–418. [Google Scholar] [CrossRef]
  25. Bowen, R. Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms; Springer: Berlin, Germany, 1975; Volume 470. [Google Scholar]
  26. Gu, R.; Sheng, Y.; Xia, Z. The average-shadowing property and transitivity for continuous flows. Chaos Solitons Fractals 2005, 23, 989–995. [Google Scholar]
  27. Gu, R. The asymptotic average shadowing property and transitivity for flows. Chaos Solitons Fractals 2009, 41, 2234–2240. [Google Scholar] [CrossRef]
  28. Shub, M. Global Stability of Dynamical Systems; Springer: Berlin, Germany, 1987. [Google Scholar]
  29. Morales, C.A.; Pacifico, M.J. A dichotomy for three-dimensional vector fields. Erogid. Theory Dyn. Syst. 2003, 23, 1575–1600. [Google Scholar] [CrossRef]
  30. Franke, J.E.; Selgrade, J.F. Hyperbolicity and chain recurrence. J. Differ. Equ. 1977, 26, 27–36. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Lee, M. A Type of the Shadowing Properties for Generic View Points. Axioms 2018, 7, 18. https://doi.org/10.3390/axioms7010018

AMA Style

Lee M. A Type of the Shadowing Properties for Generic View Points. Axioms. 2018; 7(1):18. https://doi.org/10.3390/axioms7010018

Chicago/Turabian Style

Lee, Manseob. 2018. "A Type of the Shadowing Properties for Generic View Points" Axioms 7, no. 1: 18. https://doi.org/10.3390/axioms7010018

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop