# Stably asymptotic average shadowing property and dominated splitting

- Manseob Lee
^{1}Email author

**2012**:25

https://doi.org/10.1186/1687-1847-2012-25

© Lee; licensee Springer. 2012

**Received: **22 October 2011

**Accepted: **5 March 2012

**Published: **5 March 2012

## Abstract

Let *f* be a diffeomorphism of a closed *n*-dimensional *C*^{
∞
} manifold. In this article, we show that *C*^{1}-generically, if *f* has the *C*^{1}-stably asymptotic average shadowing property on a closed set then it admits a dominated splitting.

**Mathematical Subject Classification:** 34D05; 37C20; 37D30.

## Keywords

## 1 Introduction

The notion of the pseudo-orbits very often appears in several branches of the modern theory of dynamical system. For instance, the pseudo-orbit property (shadowing property) usually plays an important role in stability theory In this article, we consider the asymptotic average shadowing property, which was introduced in Gu [1], is a special version of the shadowing property We find a relation between the stably asymptotic average shadowing property (on manifold) and the dominated splitting structure on the vector bundle. In differentiable dynamical system, dominated splitting on the vector bundle is a nature generalization of hyperbolicity and is investigated by many mathematicians [2–11].

*M*a closed

*n*-dimensional smooth manifold, and let Diff(

*M*) be the space of diffeomorphisms of

*M*endowed with the

*C*

^{1}-topology. Denote by

*d*the distance on

*M*induced from a Riemannian metric ||⋅|| on the tangent bundle

*TM*. Let

*f*∈ Diff(

*M*). A sequence ${\left\{{x}_{i}\right\}}_{i=-\infty}^{\infty}$ in

*M*is called an

*asymptotic average pseudo orbit*of

*f*if

*x*

_{ i }}

_{i∈ℤ}is said to be

*asymptotically shadowed in average by the point z*if

Given an invariant set Λ of *f*, we say *f* has the asymptotic average shadowing property on Λ if for any asymptotic pseudo orbit {*x*_{
i
}}_{i∈ℤ}, there exist a point *z* ∈ Λ which asymptotically shadows {*x*_{
i
}}_{i∈ℤ}.

Let *f* ∈ Diff(*M*), and let Λ be a closed *f*-invariant set. We say that Λ is *locally maximal* if there is a compact neighborhood *U* of Λ such that *∩*_{
n
}_{∈ℕ} *f*^{
n
} (*U*) = Λ. Now we can introduce a notion of *C*^{1}-stably the asymptotic average shadowing property on a locally maximal invariant set.

**Definition 1.1** *Let* Λ *be a locally maximal invariant set of f* ∈ Diff(*M*). *We say that f has the C*^{l}-*stably asymptotic average shadowing property on* Λ, ( *or* Λ *is C*^{l}-*stably asymptotic average shadowable with respect to f* ) *if there are a compact neighborhood U of f and a C*^{l}-*neighborhood* $\mathcal{U}\left(f\right)$ *of f such that* Λ = Λ_{
f
}(*U*) = *∩*_{
n
}_{∈ℤ} *f*^{
n
}(*U*) (*locally maximal*), *and for any* $g\in \mathcal{U}\left(f\right),g{|}_{{\Lambda}_{g}\left(U\right)}$ *has the asymptotic average shadowing property*, *where* Λ_{
g
}(*U*) = *∩*_{
n
}_{∈ℤ} *g*^{
n
}(*U*) *is the continuation of* Λ.

*M*be an

*f*-invariant closed set. We say that Λ admits a

*dominated splitting*if the tangent bundle

*T*

_{Λ}

*M*has a continuous

*Df*-invariant splitting

*E*⊕

*F*and there exist constants

*C >*0 and 0 < λ < 1 such that

for all *x* ∈ Λ and *n ≥* 0.

The following remark gives an equivalent definition of dominated splitting.

**Remark 1.2**

*Let*Λ

*be a closed f-invariant set*.

*A splitting T*

_{Λ}

*M*=

*E*⊕

*F is called a l-dominated splitting for a positive integer l if E and F are Df-invariant and*

*for all x* ∈ Λ, *where m*(*A*) = inf{||*Aυ*||: ||*υ*|| = 1} *denotes the minimum norm of a linear map A*.

Now we can state main results of this article.

**Theorem 1.3** *Let* Λ *be a closed set of f* ∈ Diff(*M*). *Then C*^{1}-*generically*, *if f has the C*^{1}-*stably asymptotic average shadowing property on* Λ *then it admits a dominated splitting*.

**Theorem 1.4** *Let* Λ *be a transitive set*. *If f has the C*^{1}-*stably asymptotic average shadowing property on* Λ *then it admits a dominated splitting*.

## 2 Proof of theorems

Theorems 1.3 and 1.4 are all base on the following proposition:

**Proposition 2.1** *Let* Λ *be a closed locally manximal invariant set of f*, *if f has the C*^{1}-*stably asymptotic average shadowing property on* Λ, *and there exist a sequence g*_{
n
} *goes to f and periodic orbits P*_{
n
} *of g*_{
n
} *which converges to* Λ *in Hausdorff limits*, *then* Λ *admits a dominated splitting*.

Firstly, we give the notation of *pre-sink* (*resp*. *pre-source*) which prevent the stably asymptotic average shadowing property. A periodic point *p* of *f* is called a *pre-sink* (*resp*. *pre-source*) if *Df*^{π(p)}(*p*) has a multiplicity one eigenvalue with modulus 1 and the other eigenvalues has norm strictly less than 1 (resp. bigger than 1).

**Lemma 2.2** *Let* Λ *be a closed set of f*. *Suppose that f*_{|Λ} *has the C*^{1}-*stably asymptotic average shadowing property*. *Let U and* $\mathcal{U}\left(f\right)$ *be given in the Definition* 1.1, *then for any* $g\in \mathcal{U}\left(f\right)$, *g has neither pre-sink nor pre-sources with the orbit staying in U*.

**Proof**. We prove the lemma by contradiction. Assume that there is $g\in \mathcal{U}\left(f\right)$ such that *g* has a pre-sink *p* with Orb(*p*) ⊂ *U*.

*g*at

*p*with respect to the exponential coordinates exp

_{ p }, i.e., after an arbitrarily small perturbation, we can get a diffeomorphism ${g}_{1}\in \mathcal{U}\left(f\right)$ such that there is ϵ

_{1}

*>*0 small enough with ${B}_{{\epsilon}_{1}}\left(\text{Orb}\left(p\right)\right)\subset U$ such that

for any 0 ≤ *i ≤* π(*p*) *-* 1.

Since *p* is pre-sink of *g*, *D*_{
p
}*g*^{π(p)}has a multiplicity one eigenvalue such that *|* λ*|* = 1 and other eigenvalues of *D*_{
p
}*g*^{π(p)}have moduli less than 1. Denote by ${E}_{p}^{c}$the eigenspace corresponding to λ, and ${E}_{p}^{s}$the eigenspace corresponding to the eigenvalues with modulus less than 1. Thus ${T}_{p}M={E}_{p}^{c}\oplus {E}_{p}^{s}$. If λ ∈ ℝ then dim${E}_{p}^{c}=1$, and if λ ∈ ℂ then dim${E}_{p}^{c}=2$.

At first, we consider the case dim ${E}_{p}^{c}=1$. For simplicity, we suppose that λ = 1, and ${g}_{1}^{\pi \left(p\right)}\left(p\right)=p$. The case of λ = -1 can be proved similarly. Since the eigenvalue λ = 1, there is a small arc ${\mathcal{I}}_{p}\subset {B}_{{\epsilon}_{1}}\left(p\right)\cap {\text{exp}}_{p}\left({E}_{p}^{c}\left({\epsilon}_{1}\right)\right)$centered at *p* such that ${g}_{1}^{\pi \left(p\right)}{|}_{{\mathcal{I}}_{p}}$is the identity map. Here ${E}_{p}^{c}\left({\epsilon}_{1}\right)$is the ϵ_{1}-ball in ${E}_{p}^{c}$center at the origin *O*_{
p
}.

There exist *D >* 0 such that for any *z* ∈ *B*_{
D
}(*p*), there exists $x\in {\mathcal{I}}_{p}$ such that ${g}_{1}^{n\pi \left(p\right)}\left(z\right)\to x$as *n* → ∞. Take two distinct points $a,b\in {\mathcal{I}}_{p}$ such that *d*(*a*, *b*) = *D*/4.

*g*

_{1}as follows.

One can easily check that ξ = {*x*_{
i
}}_{i∈ℤ}is an asymptotic average pseudo orbit of *g*_{1}.

*g*

_{1}has the asymptotic average shadowing property on ${\Lambda}_{{g}_{1}}\left(U\right)$, we can find a point

*z*such that the point

*z*is shadows ξ = {

*x*

_{ i }}

_{i∈ℤ}in asymptotic average, i.e.,

*n*

_{0}

*>*0 such that ${g}_{1}^{{n}_{0}}\left(z\right)\in {B}_{D}\left(p\right)$. Hence there exists a point $x\in {\mathcal{I}}_{p}$ such that ${g}_{1}^{n\pi \left(p\right)+{n}_{0}}\left(z\right)\to x$, as

*n*→ ∞. From the choice of

*a*,

*b*and the fact that ${g}_{1}^{\pi \left(p\right)}{|}_{{\mathcal{I}}_{p}}=Id$, we have

This is a contradiction.

Finally, we consider the case dim ${E}_{p}^{c}=2$. There is a disk ${\mathcal{D}}_{p}\subset {B}_{{\epsilon}_{1}}\left(p\right)\cap {\text{exp}}_{p}\left({E}_{p}^{c}\left({\epsilon}_{1}\right)\right)$centered at *p* such that ${g}_{1}^{\pi \left(p\right)}{|}_{{\mathcal{D}}_{p}}$is a rotation. Note that $\mathcal{D}$ consists of ${g}_{1}^{\pi \left(p\right)}$-invariant circles. We take *a* and *b* in different circles. Then by similar arguments as above, we get the contradiction. We omit the details and finish the proof here.

Let *GL*(*n*) be the group of linear isomorphisms of ℝ^{
n
}. A sequence *ξ* : ℤ → *GL*(*n*) is called *periodic* if there is *k* > 0 such that *ξ*_{
j
}_{+k}= *ξ*_{
j
} for *k* ∈ ℤ. We call a finite subset $\mathcal{A}=\left\{{\xi}_{i}:0\le i\le k-1\right\}\subset GL\left(n\right)$ is a *periodic family* with period *k*. For a periodic family $\mathcal{A}=\left\{{\xi}_{i}:0\le i\le n-1\right\}$, we denote ${\mathcal{C}}_{\mathcal{A}}={\xi}_{n-1}\circ {\xi}_{n-2}\circ \cdots \circ {\xi}_{0}$.

**Definition 2.3** *We say that the periodic family* $\mathcal{A}=\left\{{\xi}_{i}:0\le i\le n-1\right\}$ *admits an l-dominated splitting*, *if there is a splitting* ℝ^{
n
}= *E* ⊕ *F which satisfies:*

(*a*) *E and F are* ${\mathcal{C}}_{\mathcal{A}}$ *invariant*, *i.e*., ${\mathcal{C}}_{\mathcal{A}}\left(E\right)=E$ and ${\mathcal{C}}_{\mathcal{A}}\left(F\right)=F$,

*b*)

*For any k*= 0,1,2,...,

*where E*_{
k
} = *ξ*_{
k-
}_{1} ○ *ξ*_{
k-
}_{2} ○ ⋯ ○ *ξ*_{0}(*E*) *and F*_{
k
} = *ξ*_{
k-
}_{1} ○ *ξ*_{
k-
}_{2} ○ ⋯ ○ *ξ*_{0}(*F*).

We know the following theorems for periodic family from [4] which is useful for our result.

**Theorem 2.4** *Given any* ϵ *>* 0 *and K >* 0, *there is positive integers n*_{2} *≥* 0 *and l ≥* 0 *which satisfies the following property: given any periodic family* $\mathcal{A}=\left\{{\xi}_{i}:0\le i\le n-1\right\}$ *which satisfies the period n ≥ n*_{2} *and* max $\left\{\u2225{\xi}_{i}\u2225,\u2225{\xi}_{i}^{-1}\u2225\right\}\le K$, *for all i* = 0,1,*...,n*-1, *if* $\mathcal{A}$ *does not admits any l-dominated splitting*, *then one can find a periodic family* $\mathcal{B}=\left\{{\zeta}_{0},{\zeta}_{1},...,{\zeta}_{n-1}\right\}$ *such that* $\text{max}\left\{\u2225{\zeta}_{i}-{\xi}_{i}\u2225,\u2225{\zeta}_{i}^{-1}-{\xi}_{i}^{-1}\u2225\right\}<\epsilon $*for any i* = 0,1,...,*n*-1, *and* $\text{det}\left({\mathcal{C}}_{\mathcal{A}}\right)=\text{det}\left({\mathcal{C}}_{\mathcal{B}}\right)$ *and the eigenvalues of* ${\mathcal{C}}_{\mathcal{B}}$*are all real*, *and have same modulus*.

To prove Theorem 2.4, we need another lemma about uniformly contracting family. Let $\mathcal{A}=\left\{{\xi}_{i}:0\le i\le k-1\right\}\subset GL\left(n\right)$ be a periodic family. We say the sequence $\mathcal{A}$ is *uniformly contracting family* if there is a constant *δ* > 0 such that for any *δ*-perturbation of $\mathcal{A}$ are sink, i.e., for any $\mathcal{B}=\left\{{\xi}_{i}:0\le i\le k-1\right\}$ with ||ζ_{
i
}- ζ_{
i
}|| *< δ*, all eigenvalue of ${\mathcal{C}}_{\mathcal{B}}$ have moduli less than 1. Similarly, we can define the *uniformly expanding periodic family*. The following theorem is well known.

**Theorem 2.5**[12]

*For any δ >*0

*and K >*0,

*there are constants C >*0,0

*<*λ

*<*1

*and positive integer m such that if*$\mathcal{A}=\left\{{A}_{0},{A}_{1},...,{A}_{n-1}\right\}$

*is a uniformly contracting periodic family which satisfies*

*for any i*= 0,1,...,

*n -*1

*and n > m*,

*then*

*where k* = [*n/m*].

Now we return to our main proposition, the Proposition 2.1. Let *P*_{
n
} be given as in

*p*

_{ n }∈

*P*

_{ n }, then we get a linear map sequence

**Lemma 2.6** [[10], Lemma 3.2.] *If* Λ *is not a periodic orbit and* ${\mathcal{A}}_{n}$ is given in above. *Then for any* ϵ *>* 0 *there exists an n*_{0}(ϵ) *>* 0 *such that for any n > n*_{0}(ϵ), ${\mathcal{A}}_{n}$ *is neither* ϵ-*uniformly contracting nor* ϵ-*uniformly expanding*.

Since the proof is essentially the same as that of [10], we omit the proof here. From the above lemma and main conclusion of [4], one can get the following lemma. The proof of the following can be found in [10].

**Lemma 2.7** [[10], Lemma 3.3.] *Let* Λ, *g*_{
n
} *and P*_{
n
} *be given as in the assumption of Proposition* 2.1. *Then for any* ϵ *>* 0 *there are n*(ϵ),*l*(ϵ) *>* 0 *such that for any n > n*(ϵ) *if P*_{
n
} *does not admit an l*(ϵ) *dominated splitting*, *then one can find* ${g}_{n}^{\prime}$*C*^{1}ϵ-*close g*_{
n
} *and preserving the orbit of P*_{
n
} *such that P*_{
n
} *is pre-sink or pre-source respecting* ${g}_{n}^{\prime}$.

From the above lemmas and the next property of dominated splitting, we can get Proposition 2.1.

**Lemma 2.8** [[3], Lemma 1.4.] *Let g*_{
n
} *converges to f and if* Λ_{
n
}*be a closed g*_{
n
}*-invariant set such that the Hausdorff limit of Λ*_{
n
}*equal to* Λ. *If* ${\Lambda}_{{g}_{n}}\left(U\right)$ *admits a l-dominated splitting respecting g*_{
n
}, *then* Λ *admits an l-dominated splitting respecting f*.

Now we can get our Theorems 1.3 and 1.4, Theorem 1.3 follows two results:

**Lemma 2.9** [1, 13] *Let* Λ *be a closed set of f* ∈ Diff(*M*). *If f has the asymptotic average shadowing property on* Λ *then* Λ *is a chain transitive set*.

The following Lemma is in [14].

**Lemma 2.10** *There is a residual set* $\mathcal{G}\subset \text{Di}\left(M\right)$ *such that for any* $f\in \mathcal{G}$, *a compact f-invariant set* Λ *is a chain transitive set if and if* Λ *is a sequence* {*P*_{
n
}} *of periodic orbits of f with the Hausdorff topology*.

Theorem 1.4 follows the result:

**Lemma 2.11** [[11], Corollary 2.7.1.] *Let* Λ *be a transitive set*. *Then there are a sequence* {*g*_{
n
}} *of diffeomorphism and a sequence* {*P*_{
n
}} *of periodic orbits of g*_{
n
} *with period π*(*P*_{
n
}) → ∞ *such that g*_{
n
} *→ f in the C*^{l}-*topology and P*_{
n
} *→* _{
H
} Λ *as n →* ∞, *where →* _{
H
} *is the Hausdorff limit*, *and π*(*P*_{
n
}) *is the period of P*_{
n
}.

## Declarations

### Acknowledgements

The author wishes to express his deepest appreciation to the referee for his careful reading of the manuscript, critical comments and many valuable suggestions; the author want to thank Prof. W. Xiao for helpful conversations. This study was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (No. 2011-0007649).

## Authors’ Affiliations

## References

- Gu R: The asymptotic average shadowing property and transitivity.
*Nonlinear Anal*2007, 67: 1680–1689. 10.1016/j.na.2006.07.040MathSciNetView ArticleMATHGoogle Scholar - Abdenur F, Bonatti C, Corvisier S: Global dominated splitting and the
*C*^{1}-newhouse phenomenon.*Proc Am Math Soc*2006, 134: 2229–2237. 10.1090/S0002-9939-06-08445-0View ArticleMATHGoogle Scholar - Bonatti C, Díaz LJ, Pujals E: A
*C*^{1}-generic dichotomy for diffeomorphisms: weak forms of hyperbolicity or infinitely many sinks or sources.*Ann Math*2003, 158: 187–222.View ArticleMATHGoogle Scholar - Bonatti C, Gourmelon N, Vivier T: Perturbations of the derivative along periodic orbits.
*Ergodi Th Dyn Syst*2006, 26: 1307–1337. 10.1017/S0143385706000253MathSciNetView ArticleMATHGoogle Scholar - Gan S, Sakai K, Wen L:
*C*^{1}-stably weakly shadowing homoclinic classes. 2010, 27: 205–216.Google Scholar - Lee M: Transitive sets with dominated splitting.
*J Chung Math Soc*2010, 23: 65–71.Google Scholar - Lee M: Dominated splitting with stably expansive.
*J Chung Math Soc*2011, 18: 285–291.MathSciNetMATHGoogle Scholar - Lee k, Lee M: Stably inverse shadowable transitive sets and dominated splitting.
*Proc Am Math Soc*2012, 140: 271–226.MathSciNetMATHGoogle Scholar - Lee k, Lee M, Anh J: Stably periodic shadowing and dominated splitting.
*J Chung Math Soc*2011, 24: 735–743.Google Scholar - Lee k, Lu G, Wen X: C1-stably weak shadowing property of chain transitive sets (preprint).Google Scholar
- Yang D: Stably weakly shadowing transitive sets and dominated splitting.
*Proc Am Math Soc*2011, 139: 2747–2751. 10.1090/S0002-9939-2011-10699-3View ArticleMATHGoogle Scholar - Mãné R: An ergodic closing lemma.
*Ann Math*1982, 116: 503–540. 10.2307/2007021View ArticleMathSciNetMATHGoogle Scholar - Honary B, Bahabadi A: Asymptotic average shadowing property on compact metric spaces.
*Nonlinear Anal*2008, 69: 2857–2863. 10.1016/j.na.2007.08.058MathSciNetView ArticleMATHGoogle Scholar - Corvisier S: Periodic orbit and chain transitive sets of
*C*^{1}-diffeomorphisms.*Publ Math Inst Hautes tudes Sci*2006, 104: 87–141.View ArticleGoogle Scholar

## Copyright

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/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.