Abstract
We show that a divergence-free vector field belongs to the {C}^{1}-interior of the set of divergence-free vector fields satisfying the orbital shadowing property when the vector field is Anosov.
MSC:37C10, 37C50, 37D20.
Advances in Difference Equations volume 2013, Article number: 132 (2013)
We show that a divergence-free vector field belongs to the {C}^{1}-interior of the set of divergence-free vector fields satisfying the orbital shadowing property when the vector field is Anosov.
MSC:37C10, 37C50, 37D20.
The shadowing theory is a very useful notion for the investigation of the stability condition. In fact, Robinson [1] and Sakai [2] proved that a diffeomorphism belongs to the {C}^{1}-interior of the set of diffeomorphisms having the shadowing property coincides the structural stability, that is, the diffeomorphism satisfies both Axiom A and the strong transversality condition. In general, if a diffeomorphism is Ω-stable, that is, a diffeomorphism satisfies both Axiom A and a no-cycle condition, then there is a diffeomorphism which does not have the shadowing property (see, [3]). However, for another shadowing property, if a diffeomorphism is Ω-stable, then the diffeomorphism has another shadowing property.
In this article, we study another shadowing property which is called the orbital shadowing property. It is clear that if a diffeomorphism has the shadowing property, then it has the orbital shadowing property. But the converse is not true. In fact, an irrational rotation map does not have the shadowing property, but it has the orbital shadowing property.
The orbital shadowing property was introduced by Pilyugin et al. [3]. They showed that a diffeomorphism belongs to the {C}^{1}-interior of the set of diffeomorphisms having the orbital shadowing property if and only if the diffeomorphism is structurally stable.
For a conservative diffeomorphism, Bessa [4] proved that a conservative diffeomorphism is in the {C}^{1}-interior of the set of all conservative diffeomorphisms satisfying the shadowing property if and only if it is Anosov. Lee and Lee [5, 6] proved that a conservative diffeomorphism is in the {C}^{1}-interior of the set of all conservative diffeomorphisms satisfying the orbital shadowing property if and only if it is Anosov. Also, for a conservative vector field, that is, a divergence-free vector field, Ferreira [7] proved that if a conservative vector field belongs to the {C}^{1}-interior of the set of all conservative vector fields satisfying the shadowing property, then it is Anosov. From the results, we study that if a conservative vector field belongs to the {C}^{1}-interior of the set of all conservative vector fields having the orbital shadowing property, then it is Anosov. Our result is a generalization of the main theorem in [7].
Let M be a closed, connected and smooth n(\ge 1)-dimensional Riemannian manifold endowed with a volume form, which has a measure μ, called the Lebesgue measure. Given a {C}^{r} (r\ge 1), vector field X:M\to TM, the solution of the equation {x}^{\mathrm{\prime}}=X(x) generates a {C}^{r} flow, {X}^{t}; on the other hand, given a {C}^{r} flow, we can define a {C}^{r-1} vector field by considering X(x)=\frac{d{X}^{t}(x)}{dt}{|}_{t=0}. We say that X is divergence-free (or a conservative vector field) if its divergence is equal to zero. Note that, by the Liouville formula, a flow {X}^{t} is volume-preserving if and only if the corresponding vector field X is divergence-free. Let {\mathfrak{X}}_{\mu}^{1}(M) denote the space of {C}^{r} divergence-free vector fields, and we consider the usual {C}^{1} Whitney topology on this space. Let X\in {\mathfrak{X}}_{\mu}^{1}(M). For any \delta >0 and T>0, we say that \{({x}_{i},{t}_{i}):{t}_{i}\ge T,i\in \mathbb{Z}\} is a (\delta ,T)-pseudo orbit of X\in {\mathfrak{X}}_{\mu}^{1}(M) if
for any {t}_{i}\ge T, i\in \mathbb{Z}. Define Rep as the set of increasing homeomorphisms h:\mathbb{R}\to \mathbb{R} such that h(0)=0. Fix \u03f5>0 and define \mathsf{Rep}(\u03f5) as follows:
Let \mathrm{\Lambda}\subseteq M be a compact {X}^{t}-invariant set. We say that {X}^{t} has the shadowing property on Λ if for any \u03f5>0, there is \delta >0 such that for any (\delta ,1)-pseudo orbit {\{({x}_{i},{t}_{i})\}}_{i\in \mathbb{Z}}\subset \mathrm{\Lambda}, let {T}_{i}={t}_{0}+{t}_{1}+\cdots +{t}_{i} for any 0\le i<b, and {T}_{i}=-{t}_{-1}-{t}_{-2}-\cdots -{t}_{i} for any a<i\le 0, there exist a point y\in M and an increasing homeomorphism h:\mathbb{R}\to \mathbb{R} with h(0)=0 such that
for any {T}_{i}<t<{T}_{i+1}. If \mathrm{\Lambda}=M, then {X}^{t} has the shadowing property. Now, we introduce the notion of the orbital shadowing property. For x\in M, we denote {\mathcal{O}}_{X}(x) to be the orbit of X through x; that is, {\mathcal{O}}_{X}(x)=\{{X}^{t}(x):t\in \mathbb{R}\}. We say that {X}^{t} has the orbital shadowing property if for any \u03f5>0 there is \delta >0 such that for any (\delta ,1)-pseudo orbit \xi =\{({x}_{i},{t}_{i}):{t}_{i}\ge 1,i\in \mathbb{Z}\} there is a point y\in M such that
where {B}_{\u03f5}(A) is the 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}^{{t}_{i}}(y) of an exact orbit {\mathcal{O}}_{X}(y) to be close ‘at any time moment’; instead, the sets of the points of X and {\mathcal{O}}_{X}(y) are required to be close. Let Λ be a closed {X}^{t}-invariant set. We say that Λ is hyperbolic if there are constants C>0 and \lambda >0 such that a continuous splitting {T}_{\mathrm{\Lambda}}M={E}^{s}\oplus \u3008X(x)\u3009\oplus {E}^{u} satisfying
for any x\in \mathrm{\Lambda} and t>0. If \mathrm{\Lambda}=M, then X is called Anosov.
Given a vector field X, we denote by Sing(X) the set of singularities of X, i.e., those points x\in M such that X(x)=\overrightarrow{0}. Let R:=M\setminus Sing(X) be the set of regular points. We know that the exponential map {exp}_{p}:{T}_{p}M(1)\to M is well defined for all p\in M, where {T}_{p}M(1)=\{v\in {T}_{p}M:\parallel v\parallel \le 1\}. Given x\in R, we consider its normal bundle {N}_{x}={\u3008X(x)\u3009}^{\perp}\subset {T}_{x}M and let {N}_{x}(r) be the r-ball in {N}_{x}. Let {\mathcal{N}}_{x,r}={exp}_{x}({N}_{x}(r)). For any x\in R and t\in \mathbb{R}, there are r>0 and a {C}^{1} map \tau :{\mathcal{N}}_{x,r}\to \mathbb{R} with \tau (x)=t such that {X}^{\tau (y)}(y)\in {\mathcal{N}}_{{X}^{t}(x),1} for any y\in {\mathcal{N}}_{x,r}. We say \tau (y) the first return time of y. Then we define the Poincarè map f by
Let \mathcal{N}={\bigcup}_{x\in R}{\mathcal{N}}_{x} be the normal bundle based on R. One can define the associated linear Poincaré flow by {P}_{X}^{t}(x):={\mathrm{\Pi}}_{{X}_{t}(x)}\circ D{X}^{t}(x), where {\mathrm{\Pi}}_{{X}^{t}(x)}:{T}_{{X}^{t}(x)}M\to {N}_{{X}^{t}(x)} is the projection along the direction of X({X}^{t}(x)).
Denote by int{\mathcal{OS}}_{\mu}(M) the set of divergence-free vector fields satisfying the orbital shadowing property.
Theorem 2.1 Let X\in {\mathfrak{X}}_{\mu}^{1}(M). If X\in int{\mathcal{OS}}_{\mu}(M), then X has no singularity and X is Anosov.
Let \mathrm{\Lambda}\subset M be a compact, {X}^{t}-invariant and regular set. We say that Λ is hyperbolic for {P}_{X}^{t} if {N}_{\mathrm{\Lambda}} admits a {P}_{X}^{t}-invariant splitting {N}_{\mathrm{\Lambda}}={\mathrm{\Delta}}_{\mathrm{\Lambda}}^{s}\oplus {\mathrm{\Delta}}_{\mathrm{\Lambda}}^{u} such that there is l>0 satisfying
for all x\in \mathrm{\Lambda}. The following is well known and one can find a proof in [8].
Theorem 3.1 Λ is a hyperbolic set of {X}^{t} if and only if the linear Poincaré flow {P}_{X}^{t} restricted on Λ has a hyperbolic splitting {N}_{\mathrm{\Lambda}}={\mathrm{\Delta}}^{s}\oplus {\mathrm{\Delta}}^{u}.
Consider a splitting N={N}^{1}\oplus \cdots \oplus {N}^{k} over Λ, for 1\le k\le n-1, such that all the subbundles have constant dimensions. This splitting is dominated if it is {P}_{X}^{t}-invariant, and there is l>0 such that for every 0\le i<j\le k, we have
for any x\in \mathrm{\Lambda}.
The following was proved in [9].
Theorem 3.2 [[9], Proposition 4.1]
If X\in {\mathfrak{X}}^{1}(M) admits a linear hyperbolic singularity of a saddle type, then {P}_{X}^{t} does not admit any dominated splitting over M\setminus Sing(X).
From the Theorem 3.2, we know that if a vector field X admits a dominated splitting, then Sing(X)=\mathrm{\varnothing}.
Franks’ lemma for divergence-free vector fields allows to realize the perturbations as perturbations of a fixed volume-preserving flow. Fix X\in {\mathfrak{X}}_{\mu}^{1}(M) and \tau >0. A one-parameter area-preserving linear family {\{{A}_{t}\}}_{t\in \mathbb{R}} associated to \{{X}_{t}(p);t\in [0,\tau ]\} is defined as follows:
{A}_{t}:{N}_{p}\to {N}_{p} is a linear map for all t\in \mathbb{R},
{A}_{t}=\mathit{id}, for all t\le 0 and {A}_{t}={A}_{\tau} for all t\ge \tau,
{A}_{t}\in SL(n,\mathbb{R}) and
the family {A}_{t} is {C}^{\mathrm{\infty}} on the parameter t.
The following result is proved in [[10], Lemma 3.2].
Lemma 3.3 Given \u03f5>0 and a vector field X\in {\mathfrak{X}}_{\mu}^{1}(M), there exists {\xi}_{0}={\xi}_{0}(\u03f5,X) such that for all \tau \in [1,2], for any periodic point p of period greater than 2, for any sufficient small flowbox \mathcal{T} of \{{X}_{t}(p);t\in [0,\tau ]\} and for any one-parameter linear family {\{{A}_{t}\}}_{t\in [0,\tau ]} such that \parallel {A}_{t}^{\mathrm{\prime}}{A}_{t}^{-1}\parallel <{\xi}_{0} for all t\in [0,\tau ], there exists Y\in {\mathfrak{X}}_{\mu}^{1}(M) satisfying the following properties:
Y is ϵ-{C}^{1}-close to X;
{Y}^{t}(p)={X}^{t}(p) for all t\in \mathbb{R};
{P}_{Y}^{\tau}(p)={P}_{X}^{\tau}(p)\circ {A}_{\tau}, and
Y{|}_{{\mathcal{T}}^{c}}\equiv X{|}_{{\mathcal{T}}^{c}}.
Remark 3.4 Let X\in {\mathfrak{X}}_{\mu}^{1}(M). By Zuppa’s theorem [11], we can find Y {C}^{1}-closed to X such that Y\in {\mathfrak{X}}_{\mu}^{\mathrm{\infty}}(M), {Y}^{\pi}(p)=p and {P}_{Y}^{\pi}(p) has an eigenvalue λ with |\lambda |=1.
A divergence-free vector field X is a divergence-free star vector field if there exists a {C}^{1}-neighborhood \mathcal{U}(X) of X in {\mathfrak{X}}_{\mu}^{1}(M) such that if Y\in \mathcal{U}(X), then every point in Crit(Y) is hyperbolic. The set of divergence-free star vector fields is denoted by {\mathcal{G}}_{\mu}^{1}(M). Then we get the following.
Theorem 3.5 [[12], Theorem 1] If X\in {\mathcal{G}}_{\mu}^{1}(M), then Sing(X)=\mathrm{\varnothing} and X is Anosov.
Thus, to prove Theorem 3.7, it is enough to show that if X is in the int{\mathcal{OS}}_{\mu}(M), then X\in {\mathcal{G}}_{\mu}^{1}(M).
Lemma 3.6 If X\in int{\mathcal{OS}}_{\mu}^{1}(M), then X\in {\mathcal{G}}_{\mu}^{1}(M).
Proof Let X\in int{\mathcal{OS}}_{\mu}(M). Then there is a {C}^{1}-neighborhood \mathcal{U}(X) of X such that for any Y\in \mathcal{U}(X), Y has the orbital shadowing property. Let p\in \gamma \in PO({X}_{t}) with {X}^{\pi}(p)=p and {U}_{p} be a small neighborhood of p. We will derive a contradiction. Assume that there is an eigenvalue λ of {P}_{X}^{\pi}(p) such that |\lambda |=1. By Remark 3.4, there is Y\in \mathcal{U}(X) such that Y\in {\mathfrak{X}}_{\mu}^{\mathrm{\infty}}(M), {Y}^{\pi}(p)=p and {P}_{Y}^{\pi}(p) has an eigenvalue λ with |\lambda |=1. We define the map f:{\phi}_{p}^{-1}({N}_{p})\to {\mathcal{N}}_{p} with the map being the Poincarè map associated to {Y}^{t}. Here {\phi}_{p}:{U}_{p}\to {T}_{p}M is a smooth conservative map with {\phi}_{p}(p)=\overrightarrow{0} (see, [13]). Let \mathcal{V} be a {C}^{1}-neighborhood of f. Here {\mathcal{N}}_{p} is the Poincarè section through p. By Lemma 3.3, we can find a small flowbox \mathcal{T} of {Y}^{[0,{t}_{0}]}, 0<{t}_{0}<\pi and there are Z\in {\mathcal{U}}_{0}(Y)\subset \mathcal{U}(X), g\in \mathcal{V} and \alpha >0 such that
{Z}^{t}(p)={Y}^{t}(p) for all t\in \mathbb{R}, {P}_{Z}^{{t}_{0}}(p)={P}_{Y}^{{t}_{0}}(p) and Z{|}_{{\mathcal{T}}^{c}}=Y{|}_{{\mathcal{T}}^{c}},
g(x)={\phi}_{p}^{-1}\circ {P}_{Y}^{\pi}(p)\circ {\phi}_{p}(x) for all x\in {B}_{\alpha}(p)\cap {\phi}_{p}^{-1}({N}_{p}), and
g(x)=f(x) for all x\notin {B}_{4\alpha}(p)\cap {\phi}_{p}^{-1}({N}_{p}).
By the notion of Lemma 3.3, we can assume that {P}_{Z}^{\pi}(p) has an eigenvalue |\lambda |=1. Firstly, we assume that \lambda =1 (the other case is similar). Then we can choose a vector v associated to λ such that \parallel v\parallel =\alpha /4, and we set {\mathcal{I}}_{v}=\{t\cdot v:0\le t\le 1\}. Since {\phi}_{p}^{-1}(v)\in {\phi}_{p}^{-1}({N}_{p})\setminus \{p\},
For 0<\u03f5<\alpha /8, let 0<\delta <\u03f5 be as in the definition of the orbital shadowing property of {Z}^{t}. Set {\mathcal{J}}_{p}={\phi}_{p}^{-1}({\mathcal{I}}_{v}). There is k\in \mathbb{N} such that {x}_{k}={\phi}_{p}^{-1}(v), {v}_{0}=p and |{v}_{i}-{v}_{i+1}|<\delta for 0\le i\le k-1, where {v}_{i}={t}_{i}\cdot v for 0\le i\le k-1. We construct a (\delta ,1) pseudo-orbit of {Z}^{t} belonging to {\mathcal{J}}_{p} as follows:
{x}_{i}={\phi}_{p}^{-1}({v}_{0}), {t}_{i}=\pi for i<0,
{x}_{i}=g({\phi}_{p}^{-1}({v}_{k})), {t}_{i}=\pi for 0\le i\le k-1, and
{x}_{i}={g}^{i-k}({\phi}_{p}^{-1}({v}_{i})), {t}_{i}=\pi for i\ge k.
Then \xi =\{({x}_{i},{t}_{i}):i\in \mathbb{Z}\} is a (\delta ,1)-pseudo orbit of {Z}^{t} and it is contained in {\mathcal{J}}_{p}. By the orbital shadowing property, we can take a point z\in M such that
If z\in {\mathcal{J}}_{p}, then we know that there is {T}_{0}>0 such that {Z}^{{T}_{0}}(z)\in {B}_{\u03f5}({x}_{0})\cap {\mathcal{J}}_{p}, and d({Z}^{{T}_{0}}(z),{x}_{k})=\alpha /32. Then
Thus {\mathcal{O}}_{Z}(z)\not\subset {B}_{\u03f5}(\xi ). This is a contradiction.
If z\in M\setminus {\mathcal{J}}_{p}, there is {T}_{1}>0 such that {Z}^{{T}_{1}}(z)\in {B}_{\u03f5}({x}_{0}). Then for some j=n\pi, we have
which is a contradiction.
Finally, we assume that λ is complex. By [[10], Lemma 3.2], there is Z\in \mathcal{U}(X) such that {P}_{Z}^{\pi}(p) is a rational rotation. Then there is l>0 such that {P}_{Z}^{l+\pi}(p) is the identity. Then, as in the previous argument, we get a contradiction. □
End of the proof of Theorem 3.7. By Lemma 3.6, X\in {\mathcal{G}}_{\mu}^{1}(M). Thus by Theorem 3.5, Sing(X)=\mathrm{\varnothing} and X is Anosov. □
By [7] and our main result, we have the following.
Corollary 3.7 Let X\in {\mathfrak{X}}_{\mu}^{1}(M). Then
where int{\mathcal{S}}_{\mu}(M) is the set of all divergence-free vector fields satisfying the shadowing property.
Robinson C: Structural stability of vector fields. Ann. Math. 1974, 99: 154–175. 10.2307/1971016
Sakai K: Pseudo-orbit tracing property and strong transversality of diffeomorphisms on closed manifolds. Osaka J. Math. 1994, 31: 372–386.
Pilygin SY, Rodionova AA, Sakai K: Orbital and weak shadowing properties. Discrete Contin. Dyn. Syst. 2003, 9: 287–303.
Bessa, M: {C}^{1}-stable shadowable conservative diffeomorphisms are Anosov. arXiv:1112.3466
Lee K, Lee M: Symplectic diffeomorphisms with orbital shadowing. J. Chungcheong Math. Soc. 2012, 25: 739.
Lee K, Lee M: Volume-preserving diffeomorphisms with orbital shadowing. J. Inequal. Appl. 2013., 2013: Article ID 18
Ferreira, C: Shadowing, expansiveness and stability of divergence-free vector fields, preprint
Doering C: Persistently transitive vector fields on three-dimensional manifolds. Pitmon Res. Notes Math. Ser. 160. Proceedings on Dynamical Systems and Bifurcation Theory 1987, 59–89.
Vivier T: Projective hyperbolicity and fixed points. Ergod. Theory Dyn. Syst. 2006, 26: 923–936. 10.1017/S0143385705000581
Bessa M, Rocha J:On {C}^{1}-robust transitivity of volume-preserving flows. J. Differ. Equ. 2008, 245(11):3127–3143. 10.1016/j.jde.2008.02.045
Zuppa C:Regularisation {C}^{\mathrm{\infty}} des champs vectoriels qui préservent lélément de volume. Bol. Soc. Bras. Mat. 1979, 10: 51–56. 10.1007/BF02584629
Ferreira C: Stability properties of divergence-free vector fields. Dyn. Syst. 2012, 27: 223–238.
Moser J: On the volume elements on a manifold. Trans. Am. Math. Soc. 1965, 120: 286–294. 10.1090/S0002-9947-1965-0182927-5
We wish to thank the referee for carefully reading of the manuscript and providing us with many good suggestions. This work is supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology, Korea (No. 2011-0007649).
The author declares that they have no competing interests.
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.
Lee, M. Divergence-free vector fields with orbital shadowing. Adv Differ Equ 2013, 132 (2013). https://doi.org/10.1186/1687-1847-2013-132
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2013-132