# Chain components with ${C}^{1}$-stably orbital shadowing

- Manseob Lee
^{1}Email author

**2013**:67

https://doi.org/10.1186/1687-1847-2013-67

© Lee; licensee Springer 2013

**Received: **4 October 2012

**Accepted: **1 March 2013

**Published: **21 March 2013

## Abstract

Let $f:M\to M$ be a diffeomorphism on a ${C}^{\mathrm{\infty}}$ *n*-dimensional manifold. Let ${C}_{f}(p)$ be the chain component of *f* associated to a hyperbolic periodic point *p*. In this paper, we show that (i) if *f* has the ${C}^{1}$-stably orbitally shadowing property on the chain recurrent set $\mathcal{R}(f)$, then *f* satisfies both Axiom A and no-cycle condition, and (ii) if *f* has the ${C}^{1}$-stably orbitally shadowing property on ${C}_{f}(p)$, then ${C}_{f}(p)$ is hyperbolic.

**MSC:**37C50, 34D10, 37C20, 37C29.

## Keywords

## 1 Introduction

Let *M* be a closed ${C}^{\mathrm{\infty}}$ *n*-dimensional 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 $\parallel \cdot \parallel $ on the tangent bundle *TM*. Let $f\in Diff(M)$. For $\delta >0$, a sequence of points ${\{{x}_{i}\}}_{i=a}^{b}$ ($-\mathrm{\infty}\le a<b\le \mathrm{\infty}$) in *M* is called a *δ*-*pseudo-orbit* of *f* if $d(f({x}_{i}),{x}_{i+1})<\delta $ for all $a\le i\le b-1$. Let $\mathrm{\Lambda}\subset M$ be a closed *f*-invariant set. We say that *f* has the *shadowing property* on Λ (or Λ is *orbitally shadowable*) if for every $\u03f5>0$, there is $\delta >0$ such that for any *δ*-pseudo-orbit ${\{{x}_{i}\}}_{i=a}^{b}\subset \mathrm{\Lambda}$ of *f* ($-\mathrm{\infty}\le a<b\le \mathrm{\infty}$), there is a point $y\in M$ such that $d({f}^{i}(y),{x}_{i})<\u03f5$ for all $a\le i\le b-1$. It is easy to see that *f* has the shadowing property on Λ if and only if ${f}^{n}$ has the shadowing property on Λ for $n\in \mathbb{Z}\setminus \{0\}$. The notion of pseudo-orbits often appears in several methods of the modern theory of a dynamical system. Moreover, the shadowing property plays an important role in the investigation of stability theory and ergodic theory. Actually, in [1, 2], the authors showed that every *f* satisfying both Axiom A and the strong transversality condition has the shadowing property. Since such a system is structurally stable, there is a ${C}^{1}$-neighborhood $\mathcal{U}(f)$ of *f* such that every $g\in \mathcal{U}(f)$ has the shadowing property because *f* satisfies both Axiom A and the strong transversality condition. And in [3], Sakai proved that if there is a ${C}^{1}$-neighborhood $\mathcal{U}(f)$ of *f*, for any $g\in \mathcal{U}(f)$, *g* has the shadowing property, then *f* satisfies both Axiom A and the strong transversality condition.

*f*through

*x*; that is, ${\mathcal{O}}_{f}(x)=\{{f}^{n}(x):n\in \mathbb{Z}\}$. We say that

*f*has the

*orbital shadowing property*on Λ (or Λ is

*orbitally shadowable*) if for any $\u03f5>0$, there exists $\delta >0$ such that for any

*δ*-pseudo-orbit $\xi ={\{{x}_{i}\}}_{i\in \mathbb{Z}}\subset \mathrm{\Lambda}$, we can find a point $y\in M$ such that

where ${B}_{\u03f5}(A)$ denotes the *ϵ*-neighborhood of a set $A\subset M$. *f* is said to have the *weak shadowing property* on Λ (or Λ is *weakly shadowable*) if for any $\u03f5>0$, there exists $\delta >0$ such that for any *δ*-pseudo-orbit $\xi ={\{{x}_{i}\}}_{i\in \mathbb{Z}}\subset \mathrm{\Lambda}$, there is a point $y\in M$ such that $\xi \subset {B}_{\u03f5}({\mathcal{O}}_{f}(y))$.

*ξ*and the point ${f}^{i}(y)$ of an exact orbit ${\mathcal{O}}_{f}(y)$ to be close ‘at any time moment’; instead, the sets of the points of

*ξ*and ${\mathcal{O}}_{f}(y)$ are required to be close. The weak showing property is a slightly weak version of the orbital shadowing property. The difference is that a set of points of a ‘sufficiently precise’ pseudo-orbit

*ξ*is required to be contained in a small neighborhood of some exact orbit ${\mathcal{O}}_{f}(y)$. We say that Λ is

*locally maximal*if there is a compact neighborhood

*U*of Λ such that

It is easy to see that *f* has the orbital shadowing property on Λ if and only if ${f}^{n}$ has the orbital shadowing property on Λ for $n\in \mathbb{Z}\setminus \{0\}$.

Now we introduce the notion of the ${C}^{1}$-stably orbitally shadowing property on Λ. We say that *f* has the ${C}^{1}$-*stably orbitally shadowing property* on Λ if there are a ${C}^{1}$-neighborhood $\mathcal{U}(f)$ of *f* and a compact neighborhood *U* of Λ such that (i) $\mathrm{\Lambda}={\bigcap}_{n\in \mathbb{Z}}{f}^{n}(U)$ (locally maximal), (ii) for any $g\in \mathcal{U}(f)$, *g* has the orbital shadowing property on ${\mathrm{\Lambda}}_{g}(U)={\bigcap}_{n\in \mathbb{Z}}{g}^{n}(U)$, where ${\mathrm{\Lambda}}_{g}(U)$ is the *continuation* of Λ. We say that *f* has the ${C}^{1}$-stably orbitally shadowing property if $\mathrm{\Lambda}=M$ in the above definition. It is known that if any structurally stable diffeomorphism *f* has a ${C}^{1}$-neighborhood $\mathcal{U}(f)$ of *f*, then for any $g\in \mathcal{U}(f)$, *g* has the shadowing property, hence *g* has the orbital shadowing property. In [4], the authors showed that if *f* has the ${C}^{1}$-stably orbitally shadowing property, then *f* satisfies both Axiom A and the strong transversality condition. Thus we can restate the above facts as follows.

**Theorem 1.1** [4]

*Let* $f:M\to M$ *be a diffeomorphism*. *f* *has the* ${C}^{1}$-*stably orbitally shadowing property if and only if* *f* *is structurally stable*.

For any $x,y\in M$, we write $x\u21ddy$ if for any $\delta >0$, there is a *δ*-pseudo orbit ${\{{x}_{i}\}}_{i={a}_{\delta}}^{{b}_{\delta}}$ (${a}_{\delta}<{b}_{\delta}$) of *f* such that ${x}_{{a}_{\delta}}=x$ and ${x}_{{b}_{\delta}}=y$. The set of points $\{x\in M:x\u21ddx\}$ is called the *chain recurrent set* of *f* and is denoted by $\mathcal{R}(f)$. It is well known that $\mathcal{R}(f)$ is a closed and *f*-invariant set. If we denote the set of periodic points of *f* by $P(f)$, then $P(f)\subset \mathrm{\Omega}(f)\subset \mathcal{R}(f)$. Here $\mathrm{\Omega}(f)$ is the non-wandering set of *f*. We write $x\leftrightsquigarrow y$ if $x\u21ddy$ and $y\u21ddx$. The relation ↭ induces on $\mathcal{R}(f)$ an equivalence relation, whose classes are called *chain components* of *f*. Note that by [5], the map $f\mapsto \mathcal{R}(f)$ is upper semi-continuous. From the fact, we will show the following result.

**Theorem 1.2** *Let* $\mathcal{R}(f)$ *be the chain recurrent set of* *f*. *f* *has the* ${C}^{1}$-*stably orbitally shadowing property on* $\mathcal{R}(f)$ *if and only if* *f* *satisfies Axiom* A *and the no*-*cycle condition*.

Let *f* be an Axiom A diffeomorphism. Then, it is well known that $\mathrm{\Omega}(f)=\mathcal{R}(f)$ if and only if *f* satisfies the no-cycle condition. Hence, *f* has the ${C}^{1}$-stably orbitally shadowing property on $\mathcal{R}(f)$ and is characterized as the Ω-stability of the system by Theorem 1.2.

*hyperbolic*for

*f*if the tangent bundle ${T}_{\mathrm{\Lambda}}M$ has a

*Df*-invariant splitting ${E}^{s}\oplus {E}^{u}$ and there exist constants $C>0$ and $0<\lambda <1$ such that

for all $x\in \mathrm{\Lambda}$ and $n\ge 0$. If $\mathrm{\Lambda}=M$, then *f* is *Anosov*.

*U*of

*p*such that for all $g\in \mathcal{U}(f)$, there is a unique hyperbolic periodic point ${p}_{g}\in U$ of

*g*with the same period as

*p*and $index({p}_{g})=index(p)$. Here $index(p)=dim{E}_{p}^{s}$, and the point ${p}_{g}$ is called the

*continuation*of

*p*. The stable manifold ${W}^{s}(p)$ and the unstable manifold ${W}^{u}(p)$ are defined as follows. It is well known that if

*p*is a hyperbolic periodic point of

*f*with period

*k*, then the sets

are ${C}^{1}$-injectively immersed submanifolds of *M*.

Denote by ${C}_{f}(p)$ the chain component of *f* containing *p*. If *p* is a sink or source periodic point, then ${C}_{f}(p)$ is a periodic orbit itself. Therefore, in this paper, we may assume that all periodic points are the saddle type. Let $q\in P(f)$. We say that *p* and *q* are *homoclinic related*, and write $p\sim q$ if ${W}^{s}(p)\u22d4{W}^{u}(q)\ne \mathrm{\varnothing}$, and ${W}^{u}(p)\u22d4{W}^{s}(q)\ne \mathrm{\varnothing}$. It is clear that if $p\sim q$ then $index(p)=index(q)$.

Denote by ${H}_{f}(p)$ the homoclinic points associated with *p*, that is, ${H}_{f}(p)=\{x\in M:x\in {W}^{s}(p)\cap {W}^{u}(q)\}$, and let ${H}_{f}^{T}(p)$ be the transverse homoclinic points associated with *p*, that is, ${H}_{f}^{T}(p)=\{x\in M:x\in {W}^{s}(p)\u22d4{W}^{u}(p)\}$. Obviously, ${H}_{f}^{T}(p)$ and ${H}_{f}(p)$ are closed *f*-invariant sets, and it is clear that ${H}_{f}^{T}(p)\subset {H}_{f}(p)$. Note that by Smale’s transverse homoclinic point theorem, ${H}_{f}^{T}(p)$ coincides with the closure of the set of all $q\in P(f)$ such that $p\sim q$. It is known that ${H}_{f}^{T}(p)$ is a transitive set, and if ${H}_{f}^{T}(p)$ is not hyperbolic, then it may contain periodic points having different indices. Note that ${H}_{f}^{T}(p)\subset {H}_{f}(p)\subset {C}_{f}(p)$ (see [[6], examples and counter examples]). For the chain component ${C}_{f}(p)$, Lee, Moriyasu and Sakai [7] showed that *f* has the ${C}^{1}$-stably shadowing property on ${C}_{f}(p)$ if and only if the chain component ${C}_{f}(p)$ is a hyperbolic homoclinic class of *p*. From the fact, we consider the orbital shadowing property and the chain component. The following result is the main theorem in this paper.

**Theorem 1.3** *Let* *p* *be a hyperbolic periodic point of* *f*, *and let* ${C}_{f}(p)$ *be the chain component of* *f* *containing* *p*. *f* *has the* ${C}^{1}$-*stably orbitally shadowing property on* ${C}_{f}(p)$ *if and only if* ${C}_{f}(p)$ *is the hyperbolic homoclinic class of* *p*.

If ${C}_{f}(p)$ is hyperbolic, then it is locally maximal, that is, there is a compact neighborhood *U* of ${C}_{f}(p)$ such that ${\bigcap}_{n\in \mathbb{Z}}{f}^{n}(U)={C}_{f}(p)$. By the local stability of a hyperbolic set, there is a ${C}^{1}$-neighborhood $\mathcal{U}(f)$ of *f* such that for any $g\in \mathcal{U}(f)$, ${\mathrm{\Lambda}}_{g}(U)={\bigcap}_{n\in \mathbb{Z}}{g}^{n}(U)$ is hyperbolic. Then we know that *g* has the shadowing property on ${\mathrm{\Lambda}}_{g}$, and so *g* has the orbital shadowing property on ${\mathrm{\Lambda}}_{g}(U)$. Thus we get the ‘if’ part. Thus, we need to show that *f* has the ${C}^{1}$-stably orbitally shadowing property on ${C}_{f}(p)$, then ${C}_{f}(p)={H}_{f}^{T}(p)$ is hyperbolic.

## 2 Proof of Theorem 1.2

Let *M* be as before, and for $\u03f5>0$, we denote by ${B}_{\u03f5}(A)$ the closed *ϵ*-ball $\{x\in M:d(x,A)\le \u03f5\}$ of a subset *A* of *M*.

**Proposition 2.1** *Let* $f\in Diff(M)$. *Suppose that* *f* *has the* ${C}^{1}$-*stably orbitally shadowing property on* $\mathcal{R}(f)$. *Then* *f* *satisfies Axiom* A *and the no*-*cycle condition*.

Denote by $\mathcal{H}(M)$ the set of homeomorphisms of *M*. For the proof of the following lemma, see [5].

**Lemma 2.2** *Let* $f\in \mathcal{H}(M)$, *and let* $\mathcal{R}(f)$ *be the chain recurrent set of* *f*. *For any* $\u03f5>0$, *there is* $\delta >0$ *such that if* ${\rho}_{0}(f,g)<\delta $ ($g\in \mathcal{H}(M)$), *then* $\mathcal{R}(g)\subset {B}_{\u03f5}(\mathcal{R}(f))$.

The following Franks’ lemma will play essential roles in our proofs.

**Lemma 2.3** [8]

*Let* $\mathcal{U}(f)$ *be any given* ${C}^{1}$-*neighborhood of* *f*. *Then there exist* $\u03f5>0$ *and a* ${C}^{1}$-*neighborhood* ${\mathcal{U}}_{0}(f)\subset \mathcal{U}(f)$ *of* *f* *such that for given* $g\in {\mathcal{U}}_{0}(f)$, *a finite set* $\{{x}_{1},{x}_{2},\dots ,{x}_{N}\}$, *a neighborhood* *U* *of* $\{{x}_{1},{x}_{2},\dots ,{x}_{N}\}$ *and linear maps* ${L}_{i}:{T}_{{x}_{i}}M\to {T}_{g({x}_{i})}M$ *satisfying* $\parallel {L}_{i}-{D}_{{x}_{i}}g\parallel \le \u03f5$ *for all* $1\le i\le N$, *there exists* $\stackrel{\u02c6}{g}\in \mathcal{U}(f)$ *such that* $\stackrel{\u02c6}{g}(x)=g(x)$ *if* $x\in \{{x}_{1},{x}_{2},\dots ,{x}_{N}\}\cup (M\setminus U)$ *and* ${D}_{{x}_{i}}\stackrel{\u02c6}{g}={L}_{i}$ *for all* $1\le i\le N$.

*f*with the property that every $p\in P(g)$ ($g\in \mathcal{U}(f)$) is hyperbolic. It is proved by Hayashi [9] that $f\in \mathfrak{F}(M)$ if and only if

*f*satisfies both Axiom A and the no-cycle condition. Let $\mathrm{\Lambda}\subset M$ be an invariant submanifold of

*f*. We say that Λ is

*normally hyperbolic*if there is a splitting ${T}_{\mathrm{\Lambda}}M=T\mathrm{\Lambda}\oplus {N}^{s}\oplus {N}^{u}$ such that

- (a)
the splitting depends continuously on $x\in \mathrm{\Lambda}$,

- (b)
${D}_{x}f({N}_{x}^{\sigma})={N}_{f(x)}^{\sigma}$ ($\sigma =s,u$) for all $x\in \mathrm{\Lambda}$,

- (c)there are constants $C>0$ and $\lambda \in (0,1)$ such that for every triple of unit vectors $v\in {T}_{x}\mathrm{\Lambda}$, ${v}^{s}\in {N}_{x}^{s}$ and ${v}^{u}\in {N}_{x}^{u}$ ($x\in \mathrm{\Lambda}$), we have$\frac{\parallel {D}_{x}{f}^{n}({v}^{s})\parallel}{\parallel {D}_{x}{f}^{n}(v)\parallel}\le C{\lambda}^{n}\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\frac{\parallel {D}_{x}{f}^{n}({v}^{u})\parallel}{\parallel {D}_{x}{f}^{n}(v)\parallel}\ge {C}^{-1}{\lambda}^{-n}$

for all $n\ge 0$.

*Proof of Proposition 2.1* First we suppose that *f* satisfies both Axiom A and the no-cycle condition. Then $\mathcal{R}(f)=\mathrm{\Omega}(f)=\overline{P(f)}$ is hyperbolic, and so $\mathcal{R}(f)$ is locally maximal. By the stability of locally maximal hyperbolic sets, we can choose a compact neighborhood *U* of $\mathcal{R}(f)$ and a ${C}^{1}$-neighborhood $\mathcal{U}(f)$ of *f* such that $\mathcal{R}(f)={\bigcap}_{n\in \mathbb{Z}}{f}^{n}(U)$, and for any $g\in \mathcal{U}(f)$, ${\mathrm{\Lambda}}_{g}(U)={\bigcap}_{n\in \mathbb{Z}}{g}^{n}(U)$ is hyperbolic for *g*. Since $\mathcal{R}(f)$ is hyperbolic for *f*, *f* has the shadowing property on $\mathcal{R}(f)$, and so *f* has the orbital shadowing property on $\mathcal{R}(f)$. Thus, we know that *f* has the ${C}^{1}$-stably orbitally shadowing property on $\mathcal{R}(f)$. Finally, we show that if *f* has the ${C}^{1}$-stably orbitally shadowing property on $\mathcal{R}(f)$, then *f* satisfies both Axiom A and the no-cycle condition. From the above facts, to complete the proof of the theorem, it is enough to show that if *f* has the ${C}^{1}$-stably orbitally shadowing property on $\mathcal{R}(f)$, then $f\in \mathfrak{F}(M)$.

*f*has the ${C}^{1}$-stably orbitally shadowing property on $\mathcal{R}(f)$. Then there are a compact neighborhood

*U*of $\mathcal{R}(f)$ and a ${C}^{1}$-neighborhood $\mathcal{U}(f)$ of

*f*such that for any $g\in \mathcal{U}(f)$,

*g*has the orbital shadowing property on ${\mathrm{\Lambda}}_{g}(U)={\bigcap}_{n\in \mathbb{Z}}{g}^{n}(U)$, where ${\mathrm{\Lambda}}_{g}(U)={\bigcap}_{n\in \mathbb{Z}}{g}^{n}(U)$ is the continuation of Λ. Choose $\u03f5>0$ satisfying ${B}_{\u03f5}(\mathcal{R}(f))\subset U$. By Lemma 2.2, there is $\delta >0$ such that if ${\rho}_{1}(f,g)<\delta $ for $g\in \mathcal{U}(f)$, then

where ${\rho}_{1}$ is the usual ${C}^{1}$-metric on $Diff(M)$. Put ${\mathcal{U}}_{0}(f)=\{g\in \mathcal{U}(f):{\rho}_{1}(f,g)<\delta \}$. Then for each $g\in {\mathcal{U}}_{0}(f)$, $\mathcal{R}(g)\subset U$ and so $\mathcal{R}(g)\subset {g}^{n}(U)$ for all $n\in \mathbb{Z}$. This means that $\mathcal{R}(g)\subset {\bigcap}_{n\in \mathbb{Z}}{g}^{n}(U)={\mathrm{\Lambda}}_{g}(U)$ for $g\in {\mathcal{U}}_{0}(f)$. Since *g* has the orbital shadowing property on ${\mathrm{\Lambda}}_{g}(U)$, *g* has the orbital shadowing property on $\mathcal{R}(g)$.

*f*which is given by Lemma 2.3 with respect to ${\mathcal{U}}_{0}(f)$. Let $p\in P(f)$, and let

*k*be the period of

*p*. Let

where ${E}^{\sigma}(p)$, $\sigma =c,s,u$, are ${D}_{p}{f}^{k}$-invariant subspaces corresponding to eigenvalues *λ* of ${D}_{p}{f}^{k}$ for $|\lambda |=1$, $|\lambda |<1$ and $|\lambda |>1$, respectively. It is sufficient to show that each $p\in P(f)$ is hyperbolic. Suppose this is not true. Then there exist eigenvalues ${\lambda}_{1},\dots ,{\lambda}_{c}$ of ${D}_{p}{f}^{k}$ with $|{\lambda}_{j}|=1$ or ${\lambda}_{j}={e}^{i{\theta}_{j}}$, $j=1,2,\dots ,c$. Let ${\mathcal{U}}_{{\u03f5}_{0}}(f)\subset \tilde{U}(f)$ be the ${C}^{1}$ ${\u03f5}_{0}$-ball of *f*. Set $C={sup}_{x\in M}\{\parallel {D}_{x}f\parallel \}$. For $0<{\u03f5}_{1}<{\u03f5}_{0}$, we can obtain a linear automorphism $\mathcal{O}:{T}_{p}M\to {T}_{p}M$ such that

(a.i) $\parallel \mathcal{O}-\mathit{id}\parallel <\frac{{\u03f5}_{1}}{C}$,

(a.ii) keeps ${E}^{\sigma}$ invariant, where $\sigma =c,s,u$,

(a.iii) all eigenvalues of $\mathcal{O}\circ {D}_{p}{f}^{k}$, say ${\tilde{\lambda}}_{j}$, $j=1,2,\dots ,c$, are roots of unity.

*F*be a finite set $\{p,f(p),\dots ,{f}^{k-1}(p)\}$. Define

Observe that $\parallel {G}_{k-1}-{D}_{{f}^{k-1}(p)}f\parallel \le \parallel \mathcal{O}-\mathit{id}\parallel \parallel {D}_{{f}^{k-1}(p)}f\parallel <{\u03f5}_{0}$. Thus $\parallel {G}_{j}-{D}_{{f}^{j}(p)}f\parallel <{\u03f5}_{0}$ for all $j=0,1,\dots ,k-1$. By Lemma 2.3, we can find a diffeomorphism $g\in {\mathcal{U}}_{{\u03f5}_{0}}(f)$ and ${\delta}_{0}>0$ such that

(b.i) ${B}_{4{\delta}_{0}}({f}^{j}(p))\subset U$,

(b.ii) ${B}_{4{\delta}_{0}}({f}^{i}(p))\cap {B}_{4{\delta}_{0}}(p)=\mathrm{\varnothing}$, $0\le i,j\le k-1$, $i\ne j$,

(b.iii) $g=f$ on $F\cup (M-{\bigcup}_{j=0}^{k-1}{B}_{4{\delta}_{0}}({f}^{j}(p)))$, and

(b.iv) $g={exp}_{{f}^{j+1}(p)}\circ {G}_{j}\circ {exp}_{{f}^{j}(p)}^{-1}$ on ${B}_{{\delta}_{0}}({f}^{j}(p))$, $0\le j\le k-1$.

*p*; and if the eigenvalue is complex, then $dim({exp}_{p}({E}^{c}(p,4{\delta}_{1})))=2$ and ${exp}_{p}({E}^{c}(p,4{\delta}_{1}))$ is a disk ${\mathfrak{D}}_{\mathfrak{p}}$ centered at

*p*. We know that ${\mathfrak{I}}_{\mathfrak{p}}\subset \mathcal{R}(g)$ and ${\mathfrak{D}}_{\mathfrak{p}}\subset \mathcal{R}(g)$. By (1), we get

Since *g* has the orbital shadowing property on $\mathcal{R}(g)$, *g* must have the orbital shadowing property on ${\mathfrak{I}}_{\mathfrak{p}}$ and ${\mathfrak{D}}_{\mathfrak{p}}$. Since ${\mathfrak{I}}_{\mathfrak{p}}$ and ${\mathfrak{D}}_{\mathfrak{p}}$ are normally hyperbolic, we can see that a shadowing point is in ${\mathfrak{I}}_{\mathfrak{p}}$ and ${\mathfrak{D}}_{\mathfrak{p}}$. Observe that ${({g}^{k})}^{m}=\mathit{id}$ on ${exp}_{p}({E}^{c}(p,4{\delta}_{1}))$. By our construction, ${({g}^{k})}^{m}$ is the identity on the arc ${\mathfrak{I}}_{\mathfrak{p}}$ as well as on the disk ${\mathfrak{D}}_{\mathfrak{p}}$. Since the identity map does not have the orbital shadowing property. Indeed, let $\xi ={\{{x}_{i}\}}_{i\in \mathbb{Z}}\subset {\mathfrak{I}}_{\mathfrak{p}}$ be a *δ*-pseudo orbit. Then, by the orbital shadowing property and normally hyperbolicity, there is a point $y\in {\mathfrak{I}}_{\mathfrak{p}}$ such that ${\mathcal{O}}_{g}(y)\subset {B}_{\u03f5}({\mathcal{O}}_{g}(y))$ and $\xi \subset {B}_{\u03f5}({\mathcal{O}}_{g}(y))$. But since *g* is the identity map on ${\mathfrak{I}}_{\mathfrak{p}}$ for all $n\in \mathbb{Z}$, ${g}^{n}(y)=y$. Thus we have $\xi \not\subset {B}_{\u03f5}({\mathcal{O}}_{g}(y))$. This is a contradiction. This completes the proof of Proposition 2.1. □

## 3 Proof of Theorem 1.3

Let $f\in Diff(M)$, and let $p\in P(f)$ be a hyperbolic saddle with period $\pi (p)>0$. Then there are the local stable manifold ${W}_{\u03f5}^{s}(p)$ and the unstable manifold ${W}_{\u03f5}^{u}(p)$ of *p* for some $\u03f5=\u03f5(p)>0$. It is easily seen that if $d({f}^{n}(x),{f}^{n}(p))\le \u03f5$, for all $n\ge 0$, then $x\in {W}_{\u03f5}^{s}(p)$, and if $d({f}^{n}(x),{f}^{n}(p))\le \u03f5$ for all $n\le 0$, then $x\in {W}_{\u03f5}^{u}(p)$. Note that the local stable manifold ${W}_{\u03f5}^{s}(p)\subset {W}^{s}(p)$ (resp. the local unstable manifold ${W}_{\u03f5}^{u}(p)\subset {W}^{u}(p)$).

**Lemma 3.1** *Let* *p* *be a hyperbolic periodic point of* *f*, *and let* ${C}_{f}(p)$ *be the chain component of* *f* *containing* *p*. *If* *f* *has the orbital shadowing property on* ${C}_{f}(p)$, *then* ${C}_{f}(p)={H}_{f}(p)$.

*Proof*We know that ${H}_{f}(p)\subset {C}_{f}(p)$. We now show that ${C}_{f}(p)\subset {H}_{f}(p)$. Let $x\in {C}_{f}(p)$. Then $x\u21ddp$ and $p\u21ddx$. Thus, for any $\eta >0$, there is a periodic

*η*-pseudo orbit ${\{{x}_{i}\}}_{i=-{n}_{1}}^{{n}_{2}}$ of

*f*such that ${x}_{-{n}_{1}}=p$, ${x}_{0}=x$ and ${x}_{{n}_{2}}=p$ for some ${n}_{1}={n}_{1}(\eta )$ and ${n}_{2}={n}_{2}(\eta )>0$. By [[10], Proposition 1.6], ${\{{x}_{i}\}}_{i=-{n}_{1}}^{{n}_{2}}\subset {C}_{f}(p)$. To simplify, we may assume that $f(p)=p$. Then we extend the pseudo orbit as follows:

- (i)
${x}_{i}={f}^{{n}_{1}+i}(p)$ for all $i\le -{n}_{1}$ and

- (ii)
${x}_{i}={f}^{i-{n}_{2}}(p)$ for all $i\ge {n}_{2}$.

*η*-pseudo orbit:

*p*is a hyperbolic periodic point of

*f*, we can take an $\u03f5(p)>0$ such that $d({f}^{i}(x),{f}^{i}(p))=d({f}^{i}(x),p)\le \u03f5(p)$ for all $i\ge 0$ implies $x\in {W}_{\u03f5(p)}^{s}(p)$ and $d({f}^{-i}(x),{f}^{-i}(p))=d({f}^{-i}(x),p)\le \u03f5(p)$ for all $i\ge 0$ implies $x\in {W}_{\u03f5(p)}^{u}(p)$. Take $\u03f5=min\{{\u03f5}_{0},d(x,p)/4\}$, and let $0<\delta =\delta (\u03f5)<\u03f5$ be the number in the definition of the orbital shadowing property for

*f*. From the above, we set $\eta =\delta $. Then we see that $\xi \subset {C}_{f}(p)$. Since

*f*has the orbital shadowing property on ${C}_{f}(p)$, there is $y\in M$ such that

There are ${l}_{1}>0$ and ${l}_{2}>0$ such that $d({f}^{-{n}_{1}}(p),{f}^{-{l}_{1}}(y))=d(p,{f}^{-{l}_{1}}(y))<\u03f5$, and $d({f}^{{n}_{2}}(p),{f}^{{l}_{2}}(y))=d(p,{f}^{{l}_{2}}(y))<\u03f5$.

Then $d(p,{f}^{-{l}_{1}-i}(y))<\u03f5$ for all $i\ge 0$, and $d(p,{f}^{{l}_{2}+i}(y))<\u03f5$ for all $i\ge 0$. Hence ${f}^{-{l}_{1}}(y)\in {W}_{\u03f5(p)}^{u}(p)$ and ${f}^{{l}_{2}}(y)\in {W}_{\u03f5(p)}^{s}(p)$. Therefore, we see that $y\in {W}^{s}(p)\cap {W}^{u}(p)$. Thus we can find $j\in \mathbb{Z}$ such that ${f}^{j}(y)\in {W}^{s}(p)\cap {W}^{u}(p)\cap {B}_{\u03f5}(x)\subset {H}_{f}(p)$. □

Let Λ be a closed *f*-invariant set. Note that if *f* has the orbital shadowing property on a locally maximal Λ, then the shadowing point can be taken from Λ.

**Lemma 3.2** *Suppose that* *f* *has the* ${C}^{1}$-*stably orbitally shadowing property on* Λ. *Then for every* $p\in \mathrm{\Lambda}\cap P(f)$ *is hyperbolic*.

*Proof* Suppose that *f* has the ${C}^{1}$-stably orbitally shadowing property on Λ. Then there exist a compact neighborhood *U* of Λ and a ${C}^{1}$-neighborhood $\mathcal{U}(f)$ of *f* such that for any $g\in \mathcal{U}(f)$, *g* has the orbital shadowing property on ${\mathrm{\Lambda}}_{g}(U)={\bigcap}_{n\in \mathbb{Z}}{g}^{n}(U)$. Take a ${C}^{1}$-neighborhood ${\mathcal{U}}_{0}(f)\subset \mathcal{U}(f)$ of *f* as in Lemma 2.3. Then arguing similarly as in the proof of Theorem 1.2, ${\mathcal{U}}_{0}(f)$ is seen to be a desired neighborhood of *f*. In fact, suppose $p\in {\mathrm{\Lambda}}_{g}$ is a non-hyperbolic periodic point for some $g\in {\mathcal{U}}_{0}(f)$. Observe that we can choose smaller ${\mathcal{U}}_{0}(f)$ if necessary so that $p\in intU$. Then, by making use of Lemma 2.3, we can construct a diffeomorphism $h\in {\mathcal{U}}_{0}(f)$ ${C}^{1}$-close to *g* which has the invariant hyperbolic small arc ${\mathfrak{I}}_{\mathfrak{q}}$ and disk ${\mathfrak{D}}_{\mathfrak{q}}$, centered at *q*, contained in ${\mathrm{\Lambda}}_{h}(U)$, where ${\mathrm{\Lambda}}_{h}(U)={\bigcap}_{n\in \mathbb{Z}}{h}^{n}(U)$. Note that ${h}_{|\mathfrak{J}}^{k}=\mathit{id}$ for some $k>0$, where either $\mathfrak{J}={\mathfrak{I}}_{\mathfrak{q}}$ or $\mathfrak{J}={\mathfrak{D}}_{\mathfrak{q}}$. Since the identity map does not have the orbital shadowing property and ${h}^{k}$ has the orbital shadowing property on ${\mathfrak{I}}_{\mathfrak{q}}$ as well as on ${\mathfrak{D}}_{\mathfrak{q}}$, we have a contradiction. This completes the proof. □

*f*-invariant set Λ admits a

*dominated splitting*if the tangent bundle ${T}_{\mathrm{\Lambda}}M$ has a continuous

*Df*-invariant splitting $E\oplus F$ and there exist $C>0$, $0<\lambda <1$ such that for all $x\in \mathrm{\Lambda}$ and $n\ge 0$, we have

**Remark 3.3** If Λ admits a dominated splitting ${T}_{\mathrm{\Lambda}}M=E\oplus F$ such that for any $x\in \mathrm{\Lambda}$, $dimE(x)$ is constant, then there are a ${C}^{1}$-neighborhood $\mathcal{U}(f)$ of *f* and a compact neighborhood *V* of Λ such that for any $g\in \mathcal{U}(f)$, ${\bigcap}_{n\in \mathbb{Z}}{g}^{n}(V)$ admits a dominated splitting ${T}_{{\bigcap}_{n\in \mathbb{Z}}{g}^{n}(V)}M={E}^{\prime}\oplus {F}^{\prime}$ with $dimE=dim{E}^{\prime}$.

From Lemma 3.2, for any $g\in \mathcal{U}(f)$, the family of periodic sequences of linear isomorphisms of ${\mathbb{R}}^{dimM}$ generated by *Dg* along the hyperbolic periodic points $q\in {\mathrm{\Lambda}}_{g}(U)\cap P(g)$ is uniformly hyperbolic (see [11]). Indeed, there is $\u03f5>0$ such that for any $g\in \mathcal{U}(f)$, $q\in {\mathrm{\Lambda}}_{g}(U)\cap P(g)$, and any sequence of linear maps ${L}_{i}:{T}_{{g}^{i}(q)}M\to {T}_{{g}^{i+1}(q)}M$ with $\parallel {L}_{i}-{D}_{{g}^{i}(q)}g\parallel <\u03f5$ for $i=1,2,\dots ,\pi (q)-1$, and ${\prod}_{i=0}^{\pi (q)-1}{L}_{i}$ is hyperbolic. Here $\mathcal{U}(f)$ is the ${C}^{1}$-neighborhood of *f*. Then we can apply Proposition 2.1 in [11] to obtain the following proposition.

**Proposition 3.4**

*Suppose that*

*f*

*has the*${C}^{1}$-

*stably orbitally shadowing property on*${C}_{f}(p)$.

*Then there exist a*${C}^{1}$-

*neighborhood*$\mathcal{U}(f)$

*of*

*f*,

*constants*$C>0$, $0<\lambda <1$

*and*$m\in {\mathbb{Z}}^{+}$

*such that*

- (1)
*for each*$g\in \mathcal{U}(f)$,*if**q**is a periodic point of**g**in*${\mathrm{\Lambda}}_{g}(U)={\bigcap}_{n\in \mathbb{Z}}{g}^{n}(U)$*with period*$\pi (q,g)$ ($\pi (q,g)\ge m$),*then*$\prod _{i=0}^{k-1}\parallel D{g}^{m}{|}_{{E}^{s}({g}^{im}(q))}\parallel <C{\lambda}^{k}\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\prod _{i=0}^{k-1}\parallel D{g}^{-m}{|}_{{E}^{u}({g}^{-im}(q))}\parallel <C{\lambda}^{k},$

*where*$k=[\pi (q,g)/m]$.

- (2)
${C}_{f}(p)$

*admits a dominated splitting*${T}_{{C}_{f}(p)}M=E\oplus F$*with*$dimE=index(p)$.

**Remark 3.5** By Proposition 3.4(2) and [[12], Theorem A], the homoclinic class ${H}_{f}(p)$ is the transverse homoclinic class ${H}_{f}^{T}(p)$. Thus if *f* has the ${C}^{1}$-stably orbital shadowing property on ${C}_{f}(p)$, then we see that ${H}_{f}^{T}(p)={H}_{f}(p)={C}_{f}(p)$.

*j*denote the $index(p)$, $0<j<dimM$, and let

where $0<i<dim(M)$. We write ${\mathrm{\Lambda}}_{i}(f)=\overline{{P}_{i}(f{|}_{{H}_{f}(p)})}$. Then we know that these are basic sets and ${\mathrm{\Lambda}}_{i}(f)={H}_{f}(p)$. In general, a non-hyperbolic homoclinic class ${H}_{f}(p)$ contains saddle periodic points with different indices. Since ${H}_{f}(p)\subset {C}_{f}(p)$, we know that the chain component ${C}_{f}(p)$ may contain saddle periodic points with different indices in general. However, if *f* has the ${C}^{1}$-stably orbitally shadowing property on ${C}_{f}(p)$, then such a case cannot happen. Thus we need the following proposition to prove Theorem 1.3.

**Proposition 3.6** *Suppose that* *f* *has the* ${C}^{1}$-*stably orbitally shadowing property on* ${C}_{f}(p)$. *Then for any* $q\in {C}_{f}(p)\cap P(f)$, $index(p)=index(q)$.

To prove Proposition 3.6, we need the following lemma.

**Lemma 3.7**

*Suppose that*

*f*

*has the orbital shadowing property on*${C}_{f}(p)$.

*Then*,

*for any hyperbolic*$q\in {C}_{f}(p)\cap P(f)$,

*Proof* Suppose that *f* has the orbital shadowing property on ${C}_{f}(p)$. Let $\u03f5(p)>0$ and $\u03f5(q)>0$ be as in the definition of ${W}_{\u03f5(p)}^{s,u}(p)$ and ${W}_{\u03f5(q)}^{s,u}(q)$ with respect to *p* and *q*. To simplify notation in this proof, we may assume that $f(p)=p$ and $f(q)=q$. Take $\u03f5=min\{\u03f5(p),\u03f5(q)\}$, and let $0<\delta =\delta (\u03f5)\le \u03f5$ be the number of the definition of the orbital shadowing property for *f*.

*δ*-pseudo orbit ${\{{x}_{i}\}}_{i=-n}^{n}$ ($n\ge 1$) such that

- (i)
${\{{x}_{i}\}}_{i=-n}^{n}\subset {C}_{f}(p)$, and

- (ii)
${x}_{-n}=q$, ${x}_{0}=x$ and ${x}_{n}=p$.

*δ*-pseudo orbit as follows: Put

- (i)
${x}_{-n-i}={f}^{i}(q)$ for all $i\ge 0$, and

- (ii)
${x}_{n+i}={f}^{i}(p)$ for all $i\ge 0$.

*δ*-pseudo orbit

*f*has the orbital shadowing property on ${C}_{f}(p)$, there is a point $y\in M$ such that

Then, we see that ${\mathcal{O}}_{f}(y)\cap {W}_{\u03f5}^{u}(q)\cap {W}_{\u03f5}^{s}(p)\ne \mathrm{\varnothing}$. Thus ${W}^{u}(q)\cap {W}^{s}(p)\ne \mathrm{\varnothing}$. The other case is similar. □

A diffeomorphism *f* is said to be *Kupka-Smale* if the periodic points of *f* are hyperbolic, and if $p,q\in P(f)$, then ${W}^{s}(p)$ is transversal to ${W}^{u}(q)$. It is well known that the set of Kupka-Smale diffeomorphisms is a ${C}^{1}$-residual set in $Diff(M)$.

*Proof of Proposition 3.6* Suppose that *f* has the ${C}^{1}$-stably orbitally shadowing property on ${C}_{f}(p)$. Let $\mathcal{U}(f)$ be a ${C}^{1}$-neighborhood of *f* and *U* be a compact neighborhood of ${C}_{f}(p)$ as in the definition. Note that ${C}_{f}(p)$ is upper semi continuous and ${H}_{f}(p)$ is lower semi continuous. By Lemma 3.1, ${C}_{f}(p)={H}_{f}(p)$, ${C}_{f}(p)$ is semi continuous. By the definition, ${C}_{g}({p}_{g})\subset {\mathrm{\Lambda}}_{g}(U)={\bigcap}_{n\in \mathbb{Z}}{g}^{n}(U)$. To derive a contradiction, we may assume that there is a point $q\in {C}_{f}(p)\cap P(f)$ such that for any $g\in {\mathcal{U}}_{0}(f)\subset \mathcal{U}(f)$, $q\in {C}_{g}({p}_{g})\cap P(g)$ and $index(p)<index(q)$, where ${p}_{g}$ is the continuation. By Lemma 3.2, for every $q\in {C}_{f}(p)\cap P(f)$ is hyperbolic. Then we know that $dim{W}^{s}(p)+dim{W}^{u}(q)<dimM$. Take a Kupka-Smale diffeomorphism $g\in {\mathcal{U}}_{0}(f)$. Then there are the ${p}_{g}$ and ${q}_{g}$ that are the continuations of *p* and *q* respectively, and ${q}_{g}\in {C}_{g}({p}_{g})\cap P(g)\subset {\mathrm{\Lambda}}_{g}(U)\cap P(g)$. Since $dim{W}^{s}({p}_{g})=dim{W}^{s}(p)$ and $dim{W}^{u}({q}_{g})=dim{W}^{u}(q)$, we know that ${W}^{s}({p}_{g})\cap {W}^{u}({q}_{g})=\mathrm{\varnothing}$, where ${W}^{s}({p}_{g})$ and ${W}^{u}({q}_{g})$ are the stable and the unstable manifolds of ${p}_{g}$ and ${q}_{g}$ with respect to *g*. On the other hand, since $g\in {\mathcal{U}}_{0}(f)$, *g* has the orbital shadowing property on ${\mathrm{\Lambda}}_{g}(U)$. Thus *g* has the shadowing property on ${C}_{g}({p}_{g})$. By Lemma 3.7, ${W}^{s}({p}_{g})\cap {W}^{u}({q}_{g})\ne \mathrm{\varnothing}$. This is a contradiction. □

*ϵ*-tubular neighborhood of ${\mathcal{O}}_{f}(x)$; that is,

Let ${\mathrm{\Sigma}}_{f}$ be the set of points $x\in M$ such that for any ${C}^{1}$-neighborhood $\mathcal{U}(f)$ and $\u03f5>0$, there are $g\in \mathcal{U}(f)$ and $\gamma \in P(g)$ such that $g=f$ on $M\setminus {B}_{\u03f5}(f,x)$ and $d({f}^{i}(x),{g}^{i}(\gamma ))\le \u03f5$, for $0\le i\le \pi (\gamma )$. The following lemma is in [11].

**Lemma 3.8** [11]

*For any* *f*-*invariant probability measure* *μ*, *we have* $\mu ({\mathrm{\Sigma}}_{f})=1$.

*End of the Proof of Theorem 1.3* Suppose that *f* has the ${C}^{1}$-stably orbitally shadowing property on ${C}_{f}(p)$. Let ${\mathcal{U}}_{0}(f)$ be the ${C}^{1}$-neighborhood of *f* given by Proposition 3.4. To get the conclusion, it is sufficient to show that ${\mathrm{\Lambda}}_{i}(f)$ is hyperbolic, where ${\mathrm{\Lambda}}_{i}(f)=\overline{{P}_{i}(f{|}_{{C}_{f}(p)})}$, and *i* is the index of *p*. Fix any neighborhood ${U}_{i}\subset U$ of ${\mathrm{\Lambda}}_{i}(f)$. Note that by Proposition 3.6, ${\mathrm{\Lambda}}_{j}(f)=\overline{{P}_{j}(f{|}_{{C}_{f}(p)})}=\mathrm{\varnothing}$ if $i\ne j$.

*f*. If any $g\in \mathcal{V}(f)$ satisfies $q=f$ on $M\setminus {U}_{i}$, then $index(p)=index(q)$ for any $p,q\in {\mathrm{\Lambda}}_{g}(U)\cap P(g)$. Indeed, suppose not, then there are ${g}_{1}\in \mathcal{V}(f)$ and $q\in {\mathrm{\Lambda}}_{g}(U)\cap P({g}_{1})$ such that ${g}_{1}=f$ on $M\setminus {U}_{i}$ and $index(p)\ne index(q)$. Suppose that ${g}_{1}^{n}(q)=q$, $k=index(q)$, and define $\gamma :\mathcal{V}(f)\to \mathbb{Z}$ by

By Lemma 3.2, the function *γ* is continuous, and since $\mathcal{V}(f)$ is connected, it is constant. But the property of ${g}_{1}$ implies $\gamma ({g}_{1})>\gamma (f)$. This is a contradiction.

for all $x\in {C}_{f}(p)$, and thus, the splitting is hyperbolic.

*M*is a compact metric space. Thus

*f*-invariant measure. Let

and ${\mathrm{\Sigma}}_{f}$ = {$x\in M:d({f}^{n}(x),y)<\u03f5$, there exist $g\in \mathcal{U}(f)$ and $y\in P(g)$ such that $g=f$ on $M\setminus {B}_{\u03f5}(f,x)$ and $d({f}^{i}(x),{f}^{i}(y))\le \u03f5$ for $0\le i\le \pi (y)$}.

Note that if $x\notin P(f)$, $0\le \pi (y)=N$ such that $d({f}^{N}(x),{f}^{N}(y))=d({f}^{N}(x),y)\to 0$ as $N\to \mathrm{\infty}$, then $d(x,y)\to 0$. So, this is a contradiction.

By Proposition 3.4, this is a contradiction.

Thus, by Proposition 3.4, ${z}_{0}\notin P(f)$.

Then, by Mañé’s ergodic closing lemma, we can find $g\in {\mathcal{V}}_{0}(f)$ $g=f$ on $M\setminus {U}_{j}$ and ${r}_{g}\in {\mathrm{\Lambda}}_{g}\cap P(g)$ near by *r*.

*g*such that

for all $x\in {C}_{f}(p)$. Therefore, ${C}_{f}(p)$ is hyperbolic. This completes the proof of the ‘only if’ part of Theorem 1.3. □

## Declarations

### Acknowledgements

The author wishes to express his deep appreciation to the referee for his careful reading of the manuscript. This work 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

- Pilyugin SY Lecture Notes in Math. 1706. In
*Shadowing in Dynamical Systems*. Springer, Berlin; 1999.Google Scholar - Robinson C: Stability theorems and hyperbolicity in dynamical systems.
*Rocky Mt. J. Math.*1977, 7: 425-437. 10.1216/RMJ-1977-7-3-425MATHView ArticleGoogle Scholar - Sakai K: Pseudo orbit tracing property and strong transversality of diffeomorphisms on closed manifolds.
*Osaka J. Math.*1994, 31: 373-386.MATHMathSciNetGoogle Scholar - Pilyugin SY, Rodionova AA, Sakai K: Orbital and weak shadowing properties.
*Discrete Contin. Dyn. Syst.*2003, 9: 287-308.MATHMathSciNetView ArticleGoogle Scholar - Hurley M: Bifurcations and chain recurrence.
*Ergod. Theory Dyn. Syst.*1983, 3: 231-240.MATHMathSciNetView ArticleGoogle Scholar - Sakai K:${C}^{1}$-stably shadowable chain components.
*Ergod. Theory Dyn. Syst.*2008, 280: 987-1029.Google Scholar - Lee K, Moriyasu K, Sakai K:${C}^{1}$-stable shadowing diffeomorphisms.
*Discrete Contin. Dyn. Syst.*2008, 22: 683-697.MATHMathSciNetView ArticleGoogle Scholar - Franks J: Necessary conditions for stability of diffeomorphisms.
*Trans. Am. Math. Soc.*1971, 158: 301-308. 10.1090/S0002-9947-1971-0283812-3MATHMathSciNetView ArticleGoogle Scholar - Hayashi S:Diffeomorphisms in ${\mathcal{F}}^{1}(M)$ satisfy Axiom A.
*Ergod. Theory Dyn. Syst.*1992, 12: 233-253.MATHView ArticleGoogle Scholar - Shimomura T: On a structure of discrete dynamical systems form the view point of chain components and some applications.
*Jpn. J. Math.*1989, 15: 99-126.MATHMathSciNetGoogle Scholar - Mãné R: An ergodic closing lemma.
*Ann. Math.*1982, 116: 503-540. 10.2307/2007021MATHView ArticleGoogle Scholar - Wen L: Homoclinic tangencies and dominated splittings.
*Nonlinearity*2002, 15: 1445-1469. 10.1088/0951-7715/15/5/306MATHMathSciNetView 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.