 Research
 Open Access
 Published:
Vector fields with stably limit shadowing
Advances in Difference Equations volume 2013, Article number: 255 (2013)
Abstract
Let X be a vector field on a closed smooth manifold M. In this paper, we show that if X belongs to the ${C}^{1}$interior of the set of all vector fields having the limit shadowing property, then it is transitive Anosov.
MSC:37C50, 34D10.
1 Introduction
Discrete case dynamical system results can be extended to the case of continuous, but not always, in particular results which involve the hyperbolic structure. For instance, it is well known that if a diffeomorphism $f:M\to M$ has a ${C}^{1}$neighborhood $\mathcal{U}(f)$ such that every periodic point of $g\in \mathcal{U}(f)$ is hyperbolic, then the nonwandering set $\mathrm{\Omega}(f)$ is hyperbolic. However, the result is not true for the case of vector fields (see [1]). The notion of the limit shadowing property was introduced and studied by Eirola, Nevanlinna, and Pilyugin [2, 3]. It is different from the shadowing property (see [3]). Various shadowing properties are used in the investigation of the orbit structure. For instance, Sakai [4] and Robinson [5] proved that a diffeomorphism is structurally stable if and only if it belongs to the set of all diffeomorphisms having the shadowing property. For vector fields, Lee and Sakai [6] proved that if a vector field does not admit singularities, then the ${C}^{1}$interior of the set of all vector fields having the shadowing property coincides with the set of structurally stable vector fields. Recently, in [7], Pilyugin showed that a diffeomorphism belongs to the set of all diffeomorphisms having the limit shadowing property if and only if it is Ωstable, that is, Axiom A and the nocycle condition. From this, Carvalho [8] proved that the ${C}^{1}$interior of the limit shadowing property is equal to the set of transitive Anosov diffeomorphisms. Very recently, Ribeiro [9] proved that for ${C}^{1}$generic vector fields, if a vector field has the limit shadowing property in a closed isolated set, then it is a transitive hyperbolic set. Moreover, if the closed set is the whole space, then it is a transitive Anosov flow. In this result, we study the ${C}^{1}$interior of the set of all vector fields having the limit shadowing property, which extends the result of [8].
Let M be a closed $n(\ge 3)$dimensional smooth Riemmanian manifold, and let d be the distance on M induced from a Riemannian metric $\parallel \cdot \parallel $ on the tangent bundle TM, and denote by $\mathfrak{X}(M)$ the set of ${C}^{1}$vector fields on M endowed with the ${C}^{1}$topology. Then every $X\in \mathfrak{X}(M)$ generates a ${C}^{1}$flow ${X}_{t}:M\times \mathbb{R}\to M$; that is, a ${C}^{1}$map such that ${X}_{t}:M\to M$ is a diffeomorphism satisfying ${X}_{0}(x)=x$ and ${X}_{t+s}(x)={X}_{t}({X}_{s}(x))$ for all $s,t\in \mathbb{R}$ and $x\in M$.
For any $\delta >0$, a sequence $\{({x}_{i},{t}_{i}):{x}_{i}\in M,{t}_{i}\ge 1,\text{and}\mathrm{\infty}\le aib\le \mathrm{\infty}\}$ is a δpseudo orbit of X (or δchain of X) if $d({X}_{{t}_{i}}({x}_{i}),{x}_{i+1})<\delta $ for any $a\le i\le b1$.
For the sequence ${\{{t}_{i}\}}_{i\in \mathbb{Z}}$, we denote
We say that X has the shadowing property if for any $\u03f5>0$, there is $\delta >0$ satisfying the following property: given any δpseudo orbit $\{({x}_{i},{t}_{i}):{t}_{i}\ge 1,i\in \mathbb{Z}\}$ for all $i\in \mathbb{Z}$, there is a point $y\in M$ and an increasing homeomorphism $h:\mathbb{R}\to \mathbb{R}$ such that
for any $i\in \mathbb{Z}$ and for any ${S}_{i}\le t<{S}_{i+1}$.
A sequence $\{({x}_{i},{t}_{i}):{t}_{i}\ge 1,i\in \mathbb{Z}\}$ is a limit pseudo orbit of X if for ${t}_{i}\ge 1$, $i\in \mathbb{Z}$,
The following definition introduced by Yujin et al. [10] is different from the notion of Ribeiro [9]. We say that X has the limit shadowing property if for any $\{({x}_{i},{t}_{i}):{t}_{i}\ge 1,i\in \mathbb{Z}\}$, there is $y\in M$ and an increasing homeomorphism $h:\mathbb{R}\to \mathbb{R}$ with $h(0)=0$ such that for ${S}_{i}\le t<{S}_{i+1}$,
Denote by $\mathcal{LSP}(M)$ the set of all diffeomorphisms having the limit shadowing property. We say that X has the ${C}^{1}$stably limit shadowing property if there is a ${C}^{1}$neighborhood $\mathcal{U}(X)$ of X such that for any $Y\in \mathcal{U}(X)$, Y has the limit shadowing property.
Let Λ be an ${X}_{t}$invariant compact set. The Λ is called hyperbolic for ${X}_{t}$ if there are constants $C>0$, $\lambda >0$ and a splitting ${T}_{x}M={E}_{x}^{s}\oplus \u3008X(x)\u3009\oplus {E}_{x}^{u}$ such that the tangent flow $D{X}_{t}:TM\to TM$ leaves invariant the continuous splitting and
for $t>0$ and $x\in \mathrm{\Lambda}$. If $\mathrm{\Lambda}=M$, then X is Anosov.
A point $x\in M$ is called nonwandering of ${X}_{t}$ if for any neighborhood U of x, there is $t\ge 1$ such that ${X}_{t}(U)\cap U\ne \mathrm{\varnothing}$. The set of nonwandering points of X is denoted by $\mathrm{\Omega}(X)$. Then we know that $Sing(X)\cup P(X)\subset \mathrm{\Omega}(X)$. Here $Sing(X)$ is the set of singularities of X, and $P(X)$ is the set of periodic orbits of X. Define $Crit(X)=Sing(X)\cup P(X)$. Here, for any $\sigma \in Crit(X)$, σ is called the critical element of X. We say that $X\in \mathfrak{X}(M)$ is transitive if there is a point $x\in M$ such that ${\omega}_{X}(x)=M$, where ${\omega}_{X}(x)$ is the omega limit set of x. The following is the main result of this paper.
Theorem 1.1 Let $X\in \mathfrak{X}(M)$. If X belongs to the ${C}^{1}$interior of $\mathcal{LSP}(M)$, then X is transitive Anosov.
2 Proof of Theorem 1.1
Let M be as before, and let $X\in \mathfrak{X}(M)$. We say that a vector field $X\in \mathfrak{X}(M)$ is robustly transitive if there exists a ${C}^{1}$neighborhood $\mathcal{U}(X)$ of X such that for all $Y\in \mathcal{U}(X)$, Y is transitive. For robustly transitive vector fields, Doering [11] showed that if a compact manifold M is threedimensional, then every robustly transitive vector field is Anosov. In [12], Vivier proved that robustly transitive flows on the whole ndimensional compact without boundary manifold M must have a dominated splitting for the linear Poincaré flow and have no singularities.
Theorem 2.1 [[12], Theorem 1]
If X is a robustly transitive vector field, then X admits no singular points.
We say that a vector field $X\in \mathfrak{X}(M)$ is homogeneous on $U\subset M$ if there is a ${C}^{1}$neighborhood $\mathcal{U}(X)$ of X such that

(a)
for all $Y\in \mathcal{U}(X)$, there are no sinks nor sources in U,

(b)
every critical element of Y in ${\mathrm{\Lambda}}_{Y}(U)={\bigcap}_{t\in \mathbb{R}}{Y}_{t}(U)$ is hyperbolic, and

(c)
the index of the continuation on $\mathcal{U}(X)$ of every critical point does not change.
From the definition, we know the following theorem.
Theorem 2.2 [[13], Theorem 4.1]
Let $X\in \mathfrak{X}(M)$ be a robustly transitive homogeneous flow on an $n(\ge 3)$manifold M. Then X is Anosov.
Let Λ be a closed ${X}_{t}$invariant set. We say that Λ is attracting if $\mathrm{\Lambda}={\bigcap}_{t\ge 0}{X}_{t}(U)$ for some neighborhood U of Λ satisfying ${X}_{t}(\overline{U})\subset U$ for all $t>0$. An attractor of X is a transitive attracting set of X and a repeller is an attractor for −X. We say that Λ is a proper attractor or proper repeller if $\mathrm{\varnothing}\ne \mathrm{\Lambda}\ne M$.
Lemma 2.3 [[9], Proposition 3]
A vector field X is chain transitive in an isolated set Λ if and only if Λ has no proper attractor for X.
By Lemma 2.3, if $\mathrm{\Lambda}=M$, then we omit the isolated condition. Then we have the following.
Lemma 2.4 If X has the limit shadowing property, then X has no proper attractor.
Proof To derive a contradiction, we may assume that X has a proper attractor Λ. By definition, $\mathrm{\Lambda}\ne \mathrm{\varnothing}$ and $\mathrm{\Lambda}\ne M$. Since Λ is an attractor, there is $\eta >0$ such that $\mathrm{\Lambda}\subset {B}_{\eta}(\mathrm{\Lambda})$, where ${B}_{\eta}(\mathrm{\Lambda})$ is the ηneighborhood of Λ. Since $M\setminus \mathrm{\Lambda}\ne \mathrm{\varnothing}$, choose $x\in M\setminus {B}_{\eta}(\mathrm{\Lambda})$ and $y\in \mathrm{\Lambda}$. Then we can construct a limit pseudo orbit $\{({x}_{i},{t}_{i}):{t}_{i}\ge 1,i\in \mathbb{Z}\}$ as follows: for all $i\in \mathbb{Z}$, (i) ${X}_{i}(x)={x}_{i}$, ${t}_{i}=1$, $i>0$ and (ii) ${X}_{i}(y)={x}_{i}$, ${t}_{i}=1$, $i\le 0$. By the limit shadowing property, there are $z\in M$ and an increasing homeomorphism $h:\mathbb{R}\to \mathbb{R}$ with $h(0)=0$ such that for $i\in \mathbb{Z}$, $d({X}_{h(t)}(z),{X}_{t{S}_{i}}({x}_{i}))\to 0$ as $i\to \pm \mathrm{\infty}$. Then we can find $k\in \mathbb{N}$ such that
for ${S}_{k}\le t<{S}_{k+1}$. Thus, for all ${S}_{k}\le t<{S}_{k+1}$, ${X}_{t}({X}_{h(t)}(z))\in {B}_{\eta}(\mathrm{\Lambda})$ for all $t\ge 0$. Since ${B}_{\eta}(\mathrm{\Lambda})$ is an attracting neighborhood of Λ, for ${S}_{k}\le t<{S}_{k+1}$,
Since Λ is an ${X}_{t}$invariant set, we know that $z\in \mathrm{\Lambda}$. Thus we have that
This is a contradiction. □
We introduce the notion of chain transitive set, which is a weaker notion of transitive set. We say that a set Λ is chain transitive if for any $x,y\in \mathrm{\Lambda}$ and $\delta >0$, there is a δpseudo orbit $\{{x}_{0}=x,{x}_{1},\dots ,{x}_{n}=y\}$ with ${x}_{i}\in \mathrm{\Lambda}$ for any ${t}_{i}\ge 1$ and $0\le i\le n$. The following is a version of the vector fields of the result of Gu [14].
Lemma 2.5 [[14], Theorem 4.1]
Let $X\in \mathfrak{X}(M)$. If X has the limit shadowing property, then X is transitive if and only if X is chain transitive.
By Lemma 2.5, X is transitive, X does not contain sinks or sources. Thus, for $\gamma \in P(X)$, we just consider saddletype periodic orbits. Let γ be a hyperbolic closed orbit of a vector field $X\in \mathfrak{X}(M)$. We define the stable and unstable manifolds of γ by
Denote by $index(\gamma )$ the dimension of the stable manifold of γ.
Lemma 2.6 Let $\eta ,\gamma \in P(X)$ be hyperbolic orbits. If X has the limit shadowing property, then ${W}^{s}(\eta )\cap {W}^{u}(\gamma )\ne \mathrm{\varnothing}$.
Proof Let $\eta ,\gamma \in P(X)$ be hyperbolic orbits. Suppose that X has the limit shadowing property. Take $p\in \eta $ and $q\in \gamma $ such that ${X}_{\pi (p)}(p)=p$ and ${X}_{\pi (q)}(q)=q$, where $\pi (a)$ is the period of a. For $i\in \mathbb{Z}$, put ${X}_{i}(p)={x}_{i}$, ${t}_{i}=1$, $i\le 0$, and ${X}_{i}(q)={x}_{i+1}$, ${t}_{i}=1$, $i\ge 0$. Then
is a limit pseudo orbit of X. By the limit shadowing property, there are $y\in M$ and an increasing homeomorphism $h:\mathbb{R}\to \mathbb{R}$ with $h(0)=0$ such that for ${S}_{i}\le t<{S}_{i+1}$, $d({X}_{h(t)}(y),{X}_{t{S}_{i}}({x}_{i}))\to 0$ as $i\to \pm \mathrm{\infty}$. Then we can find $j\in \mathbb{Z}$ such that for $j\le t<j+1$,
Then, for ${S}_{j}\le t<{S}_{j+1}$, we have $d({X}_{h(t)}(y),{X}_{t{S}_{j}}({x}_{j}))=d({X}_{h(t)}(y),{X}_{t}(p))$. If $t\to \mathrm{\infty}$, then
Also, we can find $k\in \mathbb{Z}$ such that for $k\le t<k+1$,
Then, for ${S}_{k}\le t<{S}_{k+1}$, we have $d({X}_{h(t)}(y),{X}_{t{S}_{k}}({x}_{k}))=d({X}_{h(t)}(y),{X}_{t1}(p))$. If $t\to \mathrm{\infty}$, then
Thus ${\mathcal{O}}_{X}(y)\cap {W}^{u}(\eta )\cap {W}^{s}(\gamma )$, and so ${W}^{u}(\eta )\cap {W}^{s}(\gamma )\ne \mathrm{\varnothing}$, where ${\mathcal{O}}_{X}(y)$ is the orbits of y. □
A vector field $X\in \mathfrak{X}(M)$ is KupkaSmale if its critical orbits are all hyperbolic and their stable and unstable manifolds intersect transversely. It is well known that the KupkaSmale vector field is a residual subset in $\mathfrak{X}(M)$. Denote by $\mathcal{KS}(M)$ the set of all vector fields satisfying the KupkaSmale.
Lemma 2.7 [[15], Lemma 3.4]
Let $X\in \mathfrak{X}(M)$ be a KupkaSmale vector field, and let $\eta ,\gamma \in P(X)$ be hyperbolic orbits. If $dim{W}^{s}(\eta )+dim{W}^{u}(\gamma )\le dimM$, then ${W}^{s}(\eta )\cap {W}^{u}(\gamma )=\mathrm{\varnothing}$.
Lemma 2.8 Let X have the ${C}^{1}$stably limit shadowing property, and let $\mathcal{U}(X)$ be as in the definition. Then, for any $Y\in \mathcal{U}(X)$ and for any hyperbolic $\eta ,\gamma \in P(Y)$, $index(\eta )=index(\gamma )$.
Proof Suppose that X has the ${C}^{1}$stably limit shadowing property. Then there is a ${C}^{1}$neighborhood $\mathcal{U}(X)$ of X such that for any $Y\in \mathcal{U}(X)$, Y has the limit shadowing property. Let $\eta ,\gamma \in P(Y)$ be hyperbolic orbits. To derive a contradiction, we may assume that $index(\eta )\ne index(\gamma )$. Then we know that $dim{W}^{s}(\eta )+dim{W}^{u}(\gamma )<dimM$ or $dim{W}^{u}(\eta )+dim{W}^{s}(\gamma )<dimM$. Assume that $dim{W}^{s}(\eta )+dim{W}^{u}(\gamma )<dimM$. Since X has the ${C}^{1}$stably limit shadowing property, we can choose $Z\in \mathcal{V}(Y)\subset \mathcal{U}(X)\cap \mathcal{KS}(M)$ such that $dim{W}^{s}({\eta}_{Z})+dim{W}^{u}({\gamma}_{Z})<dimM$, where ${\eta}_{Z}$ and ${\gamma}_{Z}$ are the continuations of η and γ, respectively. Since $Z\in \mathcal{KS}(M)$, by Lemma 2.7, ${W}^{s}({\eta}_{Z})\cap {W}^{u}({\gamma}_{Z})=\mathrm{\varnothing}$. Since Z has the limit shadowing property, by Lemma 2.6 this is a contradiction. □
Lemma 2.9 [[15], Theorem 4.3]
Let $\mathcal{U}(X)$ be a ${C}^{1}$neighborhood of X. If $\gamma \in P(X)$ is not hyperbolic, then there is $Y\in \mathcal{U}(X)$ such that Y has two hyperbolic orbits ${\eta}_{1},{\eta}_{2}\in P(Y)$ with different indices.
Proof of Theorem 1.1 Let X have the ${C}^{1}$stably limit shadowing property. Then there is a ${C}^{1}$neighborhood $\mathcal{U}(X)$ of X such that for any $Y\in \mathcal{U}(X)$, Y has the limit shadowing property. To get the conclusion, it is enough to show that every $\gamma \in P(Y)$ is hyperbolic by Lemma 2.8. By contradiction, we may assume that $\gamma \in P(Y)$ is not hyperbolic. Then, by Lemma 2.9, there is $Z\in \mathcal{U}(X)$ such that Z has two hyperbolic periodic orbits ${\eta}_{1},{\eta}_{2}\in P(Z)$ with different indices. Since Z has the limit shadowing property, this is a contradiction by Lemma 2.8. □
Author’s contributions
The author carried out the proof of the theorem and approved the final manuscript.
References
 1.
Gan S, Wen L: Nonsingular star flows satisfy Axiom A and the nocycle condition. Invent. Math. 2006, 164: 279–315. 10.1007/s0022200504793
 2.
Eirola T, Nevanlinna O, Pilyugin S: Limit shadowing property. Numer. Funct. Anal. Optim. 1997, 18: 75–92. 10.1080/01630569708816748
 3.
Pilyugin SY Lecture Notes in Math. 1706. In Shadowing in Dynamical Systems. Springer, Berlin; 1999.
 4.
Sakai K: Pseudo orbit tracing property and strong transversality of diffeomorphisms on closed manifolds. Osaka J. Math. 1994, 31: 373–386.
 5.
Robinson C: Stability theorems and hyperbolicity in dynamical systems. Rocky Mt. J. Math. 1977, 7: 425–437. 10.1216/RMJ197773425
 6.
Lee K, Sakai K: Structurally stability of vector fields with shadowing. J. Differ. Equ. 2007, 232: 303–313. 10.1016/j.jde.2006.08.012
 7.
Pilyugin SY: Sets of dynamical systems with various limit shadowing properties. J. Dyn. Differ. Equ. 2007, 19: 747–775. 10.1007/s1088400790732
 8.
Carvalho, B: Hyperbolicity, transitivity and the twosided limit shadowing property. arXiv:1301.2356v1. http://eprintatarXiv.org
 9.
Ribeiro, R: Hyperbolicity and types of shadowing for C1generic vector fields. arXiv:1305.2977v1. http://eprintatarXiv.org
 10.
Yujun Z, Jilian Z, Yanping G: Invariant properties of limit shadowing. Appl. Math. J. Chin. Univ. Ser. B 2004, 19: 279–287. 10.1007/s1176600400367
 11.
Doering C: Persistently transitive vector fields on three manifolds. Pitman Res. Notes 160. Dynam. Syst. Biff. Theory 1987, 59–89.
 12.
Vivier T: Projective hyperbolicity and fixed points. Ergod. Theory Dyn. Syst. 2006, 26: 923–936. 10.1017/S0143385705000581
 13.
Araujo V, Pacifico M: ThreeDimensional Flows. Springer, Berlin; 2010.
 14.
Gu R: Recurrence and the asymptotic pseudoorbit tracing property. Nonlinear Anal. 2007, 66: 1698–1706. 10.1016/j.na.2006.02.044
 15.
Arbieto A, Senos L, Sodero 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.022
Acknowledgements
We thank the referees very much for their helpful comments and suggestions. The second author 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. 20110007649).
Author information
Additional information
Competing interests
The author declares that they have no competing interests.
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
Received
Accepted
Published
DOI
Keywords
 hyperbolic
 limit shadowing
 shadowing
 chain transitive
 transitive
 Anosov