 Research
 Open Access
 Published:
Hamiltonian systems with orbital, orbital inverse shadowing
Advances in Difference Equations volume 2014, Article number: 192 (2014)
Abstract
We show that if a Hamiltonian system has the robustly orbitally shadowing property, then it is Anosov. Moreover, if a Hamiltonian system has the robustly orbitally inverse shadowing property with respect to the class of continuous methods, then it is Anosov.
MSC:37C10, 37C50, 37D20.
1 Introduction
The various shadowing theory (shadowing, orbital shadowing, inverse shadowing, orbital inverse shadowing property) is close to the stability theory. In fact, Sakai has shown in [1] that if a diffeomorphism belongs to the ${C}^{1}$interior of the set of all diffeomorphisms having the shadowing property, then it is a structurally stable diffeomorphism. Pilyugin et al. [2] proved that if a diffeomorphism belongs to the set of all diffeomorphisms having the orbital shadowing property, then it is a structurally stable diffeomorphism. It extends the result of the shadowing property. For the orbital shadowing property, we can find many results (see [2–8]).
The notion of the inverse shadowing property is a dual notion of the shadowing property which was introduced by Corless and Pilyugin in [9]. Pilyugin [10] and Lee [11] proved that if a diffeomorphism belongs to the set of all diffeomorphisms having the inverse shadowing property with respect to the class the continuous method then it is a structurally stable diffeomorphism. The qualitative theory of dynamical systems with the property was developed by various researchers (see [7–18]). The inverse shadowing property is related to topological stability. In fact, if a dynamical system is topologically stable then it has the inverse shadowing property with respect to the continuous method, but the converse does not hold in general. The following can be found in [12].
Example 1.1 Let f be a diffeomorphism on a manifold M. Then we consider the equivalence relation ‘∼’ defined by $(x,1)\sim (f(x),0)$ on $M\times [0,1]$, for $x\in M$. Set ${M}^{\prime}=M\times [0,1]/\sim $. We define a flow ${K}_{f}$ on ${M}^{\prime}$ by setting
for $(x,s)\in {M}^{\prime}$ and $t\in \mathbb{R}$, where $[t]$ denotes the greatest integer less than or equal to t. Then the flow ${K}_{f}$ on ${M}^{\prime}$ is called the suspension flow of f.
Let $f:{S}^{1}\to {S}^{1}$ be a diffeomorphism such that $f(x)=x+\u03f5{x}^{4}sin(\pi /x)$ for $x\ne 0$, and $f(x)=0$ for $x=0$, where $\u03f5>0$ is sufficiently small. Then we know that f has the shadowing property. By Lee and Park [16], it has the inverse shadowing property with respect to the continuous method. But the diffeomorphism is not topologically stable (see [19]). By Thomas [20], the suspension flow ${K}_{f}$ of f is topologically stable if and only if f is topologically stable. Thus the inverse shadowing is a general notion of topological stability. The notion of the orbital inverse shadowing property was introduced by [12]. It was proved in [12] that if a diffeomorphism belongs to the ${C}^{1}$interior of the set of all diffeomorphisms having the orbital inverse shadowing property with respect to the continuous methods, then it is a structurally stable diffeomorphism. For vector fields, Lee et al. [15] proved that if a vector field belongs to the ${C}^{1}$interior of the set of all vector fields having the orbital inverse shadowing property with respect to the continuous methods, then it is a structurally stable vector field.
In this paper, we study orbital shadowing and the orbital inverse shadowing property for a Hamiltonian system.
2 Hamiltonian systems
Let $(M,\omega )$ be a symplectic manifold, where M is a $2n(\ge 2)$dimensional, compact, boundaryless, connected, and smooth Riemannian manifold, endowed with the symplectic form ω. A Hamiltonian $H:M\to \mathbb{R}$ is a real valued ${C}^{r}$ ($r\ge 2$) function on M. Denote by ${C}^{r}(M,\mathbb{R})$ the set of ${C}^{r}$Hamiltonian on M. In this paper, we consider the ${C}^{2}$topology, thus we set $r=2$. Given a Hamiltonian H, we define the Hamiltonian vector field ${X}_{H}$ as follows: for all $v\in {T}_{p}M$
which generates the Hamiltonian flow ${X}_{H}^{t}$. Note that a Hamiltonian vector field ${X}_{H}$ is ${C}^{1}$ if and only if the Hamiltonian function H is ${C}^{2}$. There exists a formulation in terms of the Hamiltonian equations, that is, the usual Hamiltonian equations are
where $({q}_{i},{p}_{i})\in M$ and $i=1,\dots ,n$. Denote by $Sing({X}_{H})$ the set of all singularities of ${X}_{H}$. Since H is smooth and M is compact, $Sing({X}_{H})\ne \mathrm{\varnothing}$. A scalar $e\in H(M)\subset \mathbb{R}$ is called the energy of H. An energy hypersurface ${\mathcal{E}}_{H,e}$ is a connected component of ${H}^{1}(\{e\})$ called an energy level set. The energy level set ${H}^{1}(\{e\})$ is said to be regular if any energy hypersurface of ${H}^{1}(\{e\})$ is regular, which means it does not contain singularities. Clearly a regular energy hypersurface is a ${X}_{H}^{t}$invariant, compact, and $(2n1)$dimensional manifold. We say a Hamiltonian level $(H,e)$ is regular if the energy level set ${H}^{1}(\{e\})$ is regular. A Hamiltonian system is $(H,e,{\mathcal{E}}_{H,e})$, where H is the Hamiltonian, e is the energy, and ${\mathcal{E}}_{H,e}$ is a regular connected component of ${H}^{1}(\{e\})$. Then ${H}^{1}(\{e\})$ corresponds to the union of a finite number of closed connected components, that is, ${H}^{1}(\{e\})={\bigcup}_{i=1}^{n}{\mathcal{E}}_{H,e,i}$, for $n\in \mathbb{N}$. Note that Hamiltonian flows are symplectic and volume preserving, which is known as the Liouville theorem. Thus the 2nform ${\omega}^{n}=\omega \wedge \cdots \wedge \omega $ (ntimes) is a volume form and induces a measure μ on M, which is called the Lebesgue measure associated to ${\omega}^{n}$. Then the measure μ on M is invariant by the Hamiltonian flow. For a regular Hamiltonian level $(H,e)$, we define a volume form ${\omega}_{{\mathcal{E}}_{H,e}}$ on each energy hypersurface ${\mathcal{E}}_{H,e}\subset {H}^{1}(\{e\})$, where for all $x\in {\mathcal{E}}_{H,e}$,
where ${\omega}_{{\mathcal{E}}_{H,e}}:{T}_{x}{\mathcal{E}}_{H,e}\times {T}_{x}{\mathcal{E}}_{H,e}\times {T}_{x}{\mathcal{E}}_{H,e}\to \mathbb{R}$. The volume form ${\omega}_{H,e}$ is ${X}_{H}^{t}$invariant. Since any energy hypersurface is compact, it induces an invariant volume measure ${\mu}_{{\mathcal{E}}_{H,e}}$ on ${\mathcal{E}}_{H,e}$ which is a finite measure. Now we consider the transversal linear Poincaré flow. Given a Hamiltonian vector field ${X}_{H}$ and a regular point $x\in M$, let $e\in H(x)$. Define ${\mathcal{N}}_{x}={N}_{x}\cap {T}_{x}{H}^{1}(\{e\})$, where ${T}_{x}{H}^{1}(\{e\})=KerdH(x)$ is the tangent space to the energy level set. Then ${\mathcal{N}}_{x}$ is a $(dimM2)$dimensional bundle. The transversal linear Poincaré flow associated to H, ${P}_{H}^{t}(x):{\mathcal{N}}_{x}\to {\mathcal{N}}_{{X}_{H}^{t}(x)}$ given by ${P}_{t}(x)(v)={\mathrm{\Pi}}_{{X}_{H}^{t}(x)}\circ D{X}_{{H}_{x}^{t}}(v)$, where ${\mathrm{\Pi}}_{{X}_{H}^{t}(x)}:{T}_{{X}_{H}^{t}(x)}M\to {\mathcal{N}}_{{X}_{H}^{t}(x)}$, is the canonical projection. It is clear that ${\mathcal{N}}_{x}$ is ${P}_{H}^{t}(x)$invariant. Let $H\in {C}^{2}(M,\mathbb{R})$ and let $\mathrm{\Lambda}\subset M$ be a ${X}_{H}^{t}$invariant, closed, and regular set of M. We say that Λ is hyperbolic for ${P}_{H}^{t}$ if ${\mathcal{N}}_{\mathrm{\Lambda}}$ admits a ${P}_{H}^{t}$invariant splitting ${\mathrm{\Delta}}_{\mathrm{\Lambda}}^{s}\oplus {\mathrm{\Delta}}_{\mathrm{\Lambda}}^{u}$ such that for any $\lambda \in (0,1)$ there is $l>0$ such that
for any $x\in \mathrm{\Lambda}$. We say that a Hamiltonian system $(H,e,{\mathcal{E}}_{H,e})$ is Anosov if ${\mathcal{E}}_{H,e}$ is hyperbolic for the Hamiltonian flow ${X}_{H}^{t}$ associated to H.
3 Orbital shadowing
Let $(H,e,{\mathcal{E}}_{H,e})$ be a Hamiltonian system. For any $\delta >0$, a sequence $\{({x}_{i},{t}_{i}):{x}_{i}\in {\mathcal{E}}_{H,e},{t}_{i}\ge 1,\text{and}\mathrm{\infty}\le aib\le \mathrm{\infty}\}$ is a δpseudoorbit of H if $d({X}_{H}^{{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 $(H,e,{\mathcal{E}}_{H,e})$ has the shadowing property if for any $\u03f5>0$, there is $\delta >0$ that satisfies the following property: given any δpseudoorbit $\{({x}_{i},{t}_{i}):{t}_{i}\ge 1,i\in \mathbb{Z}\}$ for all $i\in \mathbb{Z}$, there is a point $y\in {\mathcal{E}}_{H,e}$ and an increasing homeomorphism $h:\mathbb{R}\to \mathbb{R}$ with $h(0)=0$ such that
for any $i\in \mathbb{Z}$ and for any ${S}_{i}\le t<{S}_{i+1}$.
Let A and B be closed sets of M. Then we can define the Hausdorff distance as follows:
We introduce the notion of the orbital shadowing property. For $x\in M$, we denote by ${Orb}_{{X}_{H}}(x)$ the orbit of H through x; that is, ${Orb}_{{X}_{H}}(x)=\{{X}_{H}^{t}(x):t\in \mathbb{R}\}$. We say that $(H,e,{\mathcal{E}}_{H,e})$ has the orbital shadowing property if for any $\u03f5>0$ there is $\delta >0$ such that for any $(\delta ,1)$pseudoorbit $\xi =\{({x}_{i},{t}_{i}):{t}_{i}\ge 1,i\in \mathbb{Z}\}$ there is a point $y\in {\mathcal{E}}_{H,e}$ such that
This means that
where ${B}_{\u03f5}(A)$ is a 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 pseudoorbit ξ and the point ${X}_{H}^{{t}_{i}}(y)$ of an exact orbit ${Orb}_{{X}_{H}}(y)$ to be close ‘at any time moment’; instead, the sets of the points of ξ and ${Orb}_{{X}_{H}}(y)$ are required to be close. We say that $(H,e,{\mathcal{E}}_{H,e})$ has the robustly orbitally shadowing property if there is a neighborhood U of $(H,e,{\mathcal{E}}_{H,e})$ such that every $({H}_{1},{e}_{1},{\mathcal{E}}_{{H}_{1},{e}_{1}})\in \mathcal{U}$ has the orbital shadowing property.
In [21], Bessa et al. proved that if a Hamiltonian system has the robustly shadowing property then it is Anosov. From this fact, we have the following result, which is more general than the result of [21].
Theorem 3.1 Let $(H,e,{\mathcal{E}}_{H,e})$ be a Hamiltonian system. If $(H,e,{\mathcal{E}}_{H,e})$ has the robustly orbitally shadowing property, then it is Anosov.
4 Orbital inverse shadowing
Let $H\in {C}^{2}(M,\mathbb{R})$, and let $(H,e,{\mathcal{E}}_{H,e})$ be a Hamiltonian system. A mapping $\mathrm{\Psi}:\mathbb{R}\times M\to M$ is called a $(\delta ,T)$method for H if for any $x\in M$, the map ${\mathrm{\Psi}}_{x}:\mathbb{R}\to M$ defined by
is a $(\delta ,T)$pseudoorbit of H. Ψ is said to be complete if $\mathrm{\Psi}(0,x)=x$ for any $x\in M$. Then a $(\delta ,T)$method for H can be considered as a family of $(\delta ,T)$pseudoorbit of H. A method Ψ for H is said to be continuous if the map ${\mathrm{\Psi}}^{\prime}:M\to {M}^{\mathbb{R}}$ given by ${\mathrm{\Psi}}^{\prime}(x)(t)=\mathrm{\Psi}(t,x)$ for $x\in M$ and $t\in \mathbb{R}$, is continuous under the compact open topology on ${M}^{\mathbb{R}}$, where ${M}^{\mathbb{R}}$ denotes the set of all functions from ℝ to M. The set of all complete $(\delta ,1)$methods for $H\in {C}^{2}(M,\mathbb{R})$ will be denoted by ${\mathcal{T}}_{a}(\delta ,H)$. Let ${\mathcal{T}}_{d}(\delta ,H)$ be the set of all complete continuous $(\delta ,1)$methods for H which are induced by Hamiltonian systems ${H}_{1}$ with ${d}_{{C}^{2}}(H,{H}_{1})<\delta $, where ${d}_{{C}^{2}}$ is the ${C}^{2}$ metric on ${C}^{2}(M,\mathbb{R})$. We say that a Hamiltonian system $(H,e,{\mathcal{E}}_{H,e})$ has the inverse shadowing property with respect to the class ${\mathcal{T}}_{d}$ if for any $\u03f5>0$ there is $\delta >0$ such that for any $(\delta ,T)$method $\mathrm{\Psi}\in {\mathcal{T}}_{d}(\delta ,H)$ and any point $x\in M$, there are $y\in M$ and an increasing homeomorphism $h:\mathbb{R}\to \mathbb{R}$ with $h(0)=0$ such that
Now we introduce the notion of the orbital inverse shadowing property with respect to the ${\mathcal{T}}_{d}$.
We say that $(H,e,{\mathcal{E}}_{H,e})$ has the orbital inverse shadowing property with respect to the class ${\mathcal{T}}_{d}$ if for any $\u03f5>0$ there is $\delta >0$ such that for any $(\delta ,1)$method $\mathrm{\Psi}\in {\mathcal{T}}_{d}(\delta ,H)$ and any point $x\in M$ there is $y\in M$ such that
where $Orb(y,\mathrm{\Psi})=\{\mathrm{\Psi}(t,y):t\in \mathbb{R}\}$. Note that if H has the inverse shadowing property with respect to the class ${\mathcal{T}}_{d}$, then H has the orbital shadowing property with respect to the class ${\mathcal{T}}_{d}$. But the converse is not true. Indeed, an irrational rotation map does not have the inverse shadowing property, and the map has the orbital shadowing property. We say that $(H,e,{\mathcal{E}}_{H,e})$ has the robustly orbitally inverse shadowing property with respect to the class ${\mathcal{T}}_{d}$ if there is a neighborhood $\mathcal{U}$ of $(H,e,{\mathcal{E}}_{H,e})$ such that for any $({H}_{1},{e}_{1},{\mathcal{E}}_{{H}_{1},{e}_{1}})\in \mathcal{U}$ has the orbital inverse shadowing property with respect to the class ${\mathcal{T}}_{d}$.
In [21], Bessa et al. proved that if a Hamiltonian system is robustly topologically stable then it is Anosov. Note that by the definition of topological stability, the inverse shadowing property with respect to the class of the continuous method is a general notion of topological stability. It means that if a system is topologically stable, then it has the inverse shadowing property with respect to the class of the continuous method, but the converse is not true. From these facts, we have the generalization results as follows.
Theorem 4.1 Let $(H,e,{\mathcal{E}}_{H,e})$ be a Hamiltonian system. If H has the robustly orbitally inverse shadowing property with respect to ${\mathcal{T}}_{d}$, then it is Anosov.
5 Proof of Theorem 3.1 and Theorem 4.1
A Hamiltonian system $(H,e,{\mathcal{E}}_{H,e})$ is a Hamiltonian star system if there is a neighborhood $\mathcal{U}$ of $(H,e,{\mathcal{E}}_{H,e})$ such that for any $({H}_{1},{e}_{1},{\mathcal{E}}_{{H}_{1},{e}_{1}})\in \mathcal{U}$, the corresponding regular energy hypersurface ${\mathcal{E}}_{{H}_{1},{e}_{1}}$ has all hyperbolic closed orbits.
In [22], Bessa et al. showed that if we have a Hamiltonian star system on a four dimensional manifold, then it is Anosov. Afterwards, Bessa et al. proved the following.
Lemma 5.1 [[23], Theorem 1]
If $(H,e,{\mathcal{E}}_{H,e})$ is a Hamiltonian star system, then it is Anosov.
To prove Theorem 3.1 and Theorem 4.1, it is enough to show that a Hamiltonian system $(H,e,{\mathcal{E}}_{H,e})$ is a Hamiltonian star system. For this, we need the following proposition.
Proposition 5.2 Let $(H,e,{\mathcal{E}}_{H,e})$ be a Hamiltonian system. If the following hold:

(a)
$(H,e,{\mathcal{E}}_{H,e})$ has the robustly orbitally shadowing property,

(b)
$(H,e,{\mathcal{E}}_{H,e})$ has the robustly orbitally inverse shadowing property with respect to the ${\mathcal{T}}_{d}$,
then $(H,e,{\mathcal{E}}_{H,e})$ is a Hamiltonian star system.
The next lemma is called a pasting lemma; it was established in [23].
Lemma 5.3 [[23], Theorem 5.1]
Let $H\in {C}^{r}(M,\mathbb{R}),2\le r\le \mathrm{\infty}$, and let K be a compact subset of M, and U a small neighborhood of K. Given $\u03f5>0$ there exists $\delta >0$ such that if ${H}_{1}\in {C}^{l}(M,\mathbb{R})$, for $2\le l\le \mathrm{\infty}$ is $\delta {C}^{min\{r,l\}}$close to H on U, then there exist ${H}_{0}\in {C}^{l}(M,\mathbb{R})$ and a closed set V such that

(a)
$K\subset V\subset U$,

(b)
${H}_{0}={H}_{1}$ on V,

(c)
${H}_{0}=H$ on ${U}^{c}$,

(d)
${H}_{0}$ is ϵ${C}^{min\{r,l\}}$close to H.
Let $x\in M\setminus Sing({X}_{H})$. We define ${X}_{H}^{[{t}_{1},{t}_{2}]}(x)=\{{X}_{H}^{t}(x):t\in [{t}_{1},{t}_{2}]\}$. Let ${\mathbf{N}}_{x}$ be a transversal section to the flow at x, a flow box associated to ${\mathbf{N}}_{x}$ is defined by $\mathcal{F}(x)={X}_{H}^{[{\tau}_{1},{\tau}_{2}]}({\mathbf{N}}_{x})$, where ${\tau}_{1}$, ${\tau}_{2}$ are taken small such that $\mathcal{F}(x)$ is a neighborhood of x foliated by regular orbits. The following lemma is a version of Frank’s lemma for Hamiltonians.
Lemma 5.4 [[24], Theorem 1]
Let $H\in {C}^{r}(M,\mathbb{R})$, $2\le r\le \mathrm{\infty}$, $\u03f5>0$, $\tau >0$ and $x\in M$. Then there is $\delta >0$ such that for any flowbox $\mathcal{F}(x)$ of an injective arc of orbit ${X}_{H}^{[0,t]}(x)$ ($t\ge \tau $) and a transversal symplectic δperturbation Ψ of ${P}_{H}^{t}(x)$, there is ${H}_{0}\in {C}^{l}(M,\mathbb{R})$ with $l=max\{2,k1\}$ such that

(a)
${H}_{0}$ is ϵ${C}^{2}$close to H,

(b)
${P}_{{H}_{0}}^{t}(x)=\mathrm{\Psi}$,

(c)
$H={H}_{0}$ on ${X}_{H}^{[0,t]}(x)\cup (M\setminus \mathcal{F}(x))$.
Let $(H,e,{\mathcal{E}}_{H,e})$ be a Hamiltonian system and let p be a periodic point in ${\mathcal{E}}_{H,e}$ with period $\pi (p)$. For a point $p\in {\mathcal{E}}_{H,e}$, ${\mathbf{N}}_{p}\subset M$ is transverse to the flow, that is, a local $(2n1)$submanifold for which ${X}_{H}$ is nowhere tangency. Define the $2n2$ symplectic submanifold ${\mathcal{N}}_{p}={\mathbf{N}}_{p}\cap {\mathcal{E}}_{H,e}$. For $x\in {\mathcal{N}}_{p}$, ${T}_{x}{\mathcal{E}}_{H,e}={T}_{x}{\mathcal{N}}_{p}\oplus \u3008{X}_{H}(x)\u3009$. Let $U\subset M$ be an open neighborhood of p and $V=U\cap M$. Let $f:V\to {\mathcal{N}}_{p}$ be the Poincaré map of ${X}_{H}^{t}$ to ${\mathcal{N}}_{p}$ such that $f(x)={X}_{H}^{\tau (x)}(x)$ for all $x\in V$, where $\tau (x)$ is the return time to ${\mathcal{N}}_{p}$ defined by the relation ${X}_{H}^{\tau (x)}(x)\in {\mathcal{N}}_{p}$ and $\tau (p)=\pi (p)$. Then f is a ${C}^{1}$symplectic diffeomorphism. The following lemma was established in [[23], Theorem 5.3].
Lemma 5.5 Let $H\in {C}^{\mathrm{\infty}}(M,\mathbb{R})$ be the Poincaré map f at a periodic point p. Then for any $\u03f5>0$ there is $\delta >0$ such that for any symplectic diffeomorphism g δ${C}^{3}$close to f there is a Hamiltonian ${H}_{1}$ ϵ${C}^{2}$close with a Poincaré map g.
A point $x\in {\mathcal{E}}_{H,e}$ is a nonwandering point of H if for any neighborhood U of x in ${\mathcal{E}}_{H,e}$ there is $T>0$ such that ${X}_{H}^{T}(U)\cap U\ne \mathrm{\varnothing}$. Denote by $\mathrm{\Omega}(H{}_{{\mathcal{E}}_{H,e}})$ the set of nonwandering points of H on the energy hypersurface ${\mathcal{E}}_{H,e}$. We say that $x\in {\mathcal{E}}_{H,e}$ is a periodic point of H if there is $T>0$ such that ${X}_{H}^{T}(x)=x$. Denote by $P(H{}_{{\mathcal{E}}_{H,e}})$ the set of all periodic points of H. Given $1\le k\le n1$, we recall that a kelliptic closed orbit has 2k simple nonreal eigenvalues of the transversal linear Poincaré flow at the period of norm 1, and the norm of its remaining eigenvalues different from 1. If $k=n1$ the elliptic closed orbits have all eigenvalues at the period of norm 1, simple and nonreal.
By Abraham’s and Marsden’s [25] resultthe symplectic eigenvalue theoremif λ is an eigenvalue of ${D}_{p}{f}^{\pi}$ of multiplicity k, then $1/\lambda $ is an eigenvalue of ${D}_{p}{f}^{\pi}$ of multiplicity k. Moreover, if the multiplicity of the eigenvalues 1 and −1, then it is even.
Recall that if we let $\mathcal{W}$ be a small neighborhood of a regular energy hypersurface ${\mathcal{E}}_{H,e}$, then there exist a small neighborhood $\mathcal{U}$ of the Hamiltonian H and $\u03f5>0$ such that for any ${H}_{1}\in \mathcal{U}$ and for any ${e}_{1}\in (e\u03f5,e+\u03f5)$, we have ${H}_{1}^{1}(\{e\})\cap \mathcal{W}={\mathcal{E}}_{{H}_{1},{e}_{1}}$. The energy hypersurface ${\mathcal{E}}_{{H}_{1},{e}_{1}}$ is called the analytic continuation of ${\mathcal{E}}_{H,e}$.
Remark 5.6 By Robinson’s version of the KupkaSmale theorem [26], a ${C}^{2}$generic Hamiltonian has all closed orbits of hyperbolic or elliptic type. Thus, we can see that there is a ${H}_{1}$ close to H such that ${H}_{1}$ has a kelliptic periodic orbit p of period $\pi (p)$. Therefore, there is a splitting of the normal subbundle ${\mathrm{\Delta}}_{p}^{c}$ along the orbit p into ksubspaces such that ${\mathrm{\Delta}}_{p}^{c}={\mathrm{\Delta}}_{1}^{c}\oplus \cdots \oplus {\mathrm{\Delta}}_{k}^{c}$, where $dim{\mathrm{\Delta}}_{i}^{c}=2$ for $i=1,\dots ,k$. Let ${\lambda}_{i}=exp({\theta}_{i}j)$ is an eigenvalue of ${P}_{{H}_{1}}^{\pi (p)}{}_{{\mathrm{\Delta}}_{i}^{c}}$. If ${\theta}_{i}$ is an irrational, then, by Frank’s lemma, there is ${H}_{2}$ ${C}^{2}$close to ${H}_{1}$ such that each appropriate restriction of the Poincaré map ${f}_{{H}_{2}}{}_{{\mathcal{N}}_{i}^{c}}$ is conjugate to a rational rotation, for $i=1,\dots ,k$.
The following is the proof of Proposition 5.2(a).
Lemma 5.7 Let $(H,e,{\mathcal{E}}_{H,e})$ be a Hamiltonian system. If $(H,e,{\mathcal{E}}_{H,e})$ has the robustly orbitally shadowing property then $(H,e,{\mathcal{E}}_{H,e})$ is a Hamiltonian star system.
Proof Let $p\in \gamma \in P(H{}_{{\mathcal{E}}_{H,e}})$ with ${X}_{H}^{\pi (p)}(p)=p$ ($\pi (p)>0$) associated to ${\mathcal{E}}_{H,e}$. Suppose that p is not hyperbolic for H. Then there is an eigenvalue λ of ${P}_{H}^{\pi (p)}(p)$ such that $\lambda =1$. Then by Lemma 5.3 and Lemma 5.4, we can find ${H}_{1}$ ${C}^{2}$close to H such that ${H}_{1}$ has a nonhyperbolic periodic point ${p}_{1}$ close to p with period $\pi ({p}_{1})$ close to $\pi (p)$. It is clear that ${p}_{1}$ is not the analytic continuation to p. Then as in the proof of the [[27], Theorem 4.3], we can make the Poincaré map f at ${p}_{1}$ associated to the Hamiltonian flow ${X}_{{H}_{1}}^{t}$ a ${C}^{\mathrm{\infty}}$ local symplectic diffeomorphism, that is, $f:{\mathcal{N}}_{{p}_{1},r}\to {\mathcal{N}}_{{p}_{1}}$ for some $r>0$. For simplicity, we assume that ${p}_{1}$ is 1elliptic. Then ${T}_{{p}_{1}}{\mathcal{N}}_{{p}_{1},r}={\mathrm{\Delta}}_{{p}_{1}}^{c}\oplus {\mathrm{\Delta}}_{{p}_{1}}^{s}\oplus {\mathrm{\Delta}}_{{p}_{1}}^{u}$, where ${\mathrm{\Delta}}_{{p}_{1}}^{c}$ is associated to λ, ${\mathrm{\Delta}}_{{p}_{1}}^{c}$ is associated to an eigenvalues less than 1 and ${\mathrm{\Delta}}_{{p}_{1}}^{u}$ associated to an eigenvalue greater than 1. By Lemma 5.4, Lemma 5.5 and the Darboux theorem, there are ${\u03f5}_{0}>0$ and a linear map $A:{N}_{{p}_{1}}\to {N}_{{p}_{1}}$ such that $g(x)={\phi}_{{p}_{1}}\circ A\circ {\phi}_{{p}_{1}}^{1}(x)$ for $x\in {B}_{{\u03f5}_{0}}({p}_{1})\cap {\mathcal{N}}_{{p}_{1},r}$ and $g(x)=f(x)$ for $x\notin {B}_{{\u03f5}_{0}}({p}_{1})\cap {\mathcal{N}}_{{p}_{1},r}$, where ${\phi}_{{p}_{1}}:{B}_{{\u03f5}_{0}}({p}_{1})\cap {\mathcal{N}}_{{p}_{1},r}\to {T}_{{p}_{1}}{\mathcal{N}}_{{p}_{1}}$ with ${\phi}_{{p}_{1}}({p}_{1})=\overrightarrow{0}$. It is clear that $g:{\mathcal{N}}_{{p}_{1},r}\to {\mathcal{N}}_{{p}_{1}}$ is the Poincaré map ${H}_{1}$. Using Lemma 5.4, λ can be taken as a rational rotation, that is, there is $l>0$ such that for any $x\in {\phi}_{{p}_{1}}^{1}({\mathrm{\Delta}}_{{p}_{1}}^{c})\cap {B}_{{\u03f5}_{0}}({p}_{1})\subset {\mathcal{N}}_{{p}_{1},r}$, we have ${g}^{l}(x)=x$. Put ${\mathcal{N}}_{{p}_{1}}^{c}={\phi}_{{p}_{1}}^{1}({\mathrm{\Delta}}_{{p}_{1}}^{c})\cap {B}_{{\u03f5}_{0}}({p}_{1})$. For simplicity, we may assume that ${g}^{l}=g$. Then x is a fixed point for g, and the orbit of x is periodic, that is, ${X}_{{H}_{1}}^{\pi (x)}(x)=x$, where $\pi (x)$ is the period of x. Let ${x}_{0}={p}_{1}$. Take $\u03f5=min\{{\u03f5}_{0}/16,r/8\}$, and let $0<\delta <\u03f5$ be the number of the orbital shadowing property. Take $y\in {\mathcal{N}}_{{p}_{1}}^{c}$ such that $d({p}_{1},y)=2\u03f5$. Now, we construct a δpseudoorbit $\{({x}_{i},{t}_{i}):{t}_{i}>0,i\in \mathbb{Z}\}\subset {\mathcal{N}}_{{p}_{1}}^{c}$ as follows: (i) ${t}_{i}=\pi ({p}_{1})$ for all $i\in \mathbb{Z}$, and ${x}_{n}=y$ for some $n\in \mathbb{N}$, (ii) ${x}_{i}={p}_{1}$ for $i\le 0$, (iii) $d(g({x}_{i}),{x}_{i+1})<\delta $ for $1\le i\le n1$, and (iv) ${x}_{i}=y$ for $i\ge n$. By the orbital shadowing property, there is $z\in {\mathcal{E}}_{{H}_{1},{e}_{1}}$ such that
If $z\in {\mathcal{E}}_{{H}_{1},{e}_{1}}\setminus {\mathcal{N}}_{{p}_{1}}^{c}$, then, by the hyperbolicity, there is $k\in \mathbb{Z}$ such that
This is a contradiction. Thus the orbital shadowing point $z\in {\mathcal{N}}_{{p}_{1}}^{c}$. Since $g(z)=z$, we have ${X}_{{H}_{1}}^{j\pi ({p}_{1})}(z)=z$ for all $j\in \mathbb{Z}$. By the orbital shadowing property, if there is ${x}_{k}\in \{({x}_{i},{t}_{i}):{t}_{i}=\pi ({p}_{1}),i\in \mathbb{Z}\}$ such that $d({x}_{k},z)<\u03f5$, then we can see that there is ${x}_{l}\in \{({x}_{i},{t}_{i}):{t}_{i}=\pi ({p}_{1}),i\in \mathbb{Z}\}$ such that
for some $j\in \mathbb{Z}$. Thus $\{{X}_{{H}_{1}}^{t}(z):t\in \mathbb{R}\}\not\subset {B}_{\u03f5}(\{({x}_{i},{t}_{i}):{t}_{i}=\pi ({p}_{1}),i\in \mathbb{Z}\})$, which is a contradiction. □
Let $p\in H$ be a nonhyperbolic periodic point. Then there is a Hamiltonian ${H}_{1}$ ${C}^{2}$close to H such that ${H}_{1}$ has a continuation of periodic points close to p. For a Hamiltonian system $(H,e,{\mathcal{E}}_{H,e})$ and a periodic point $p\in {\mathcal{E}}_{H,e}$ with period $\pi (p)$, let ${\mathcal{N}}_{p}^{c}$ be a submanifold ${\mathcal{N}}_{p}$ associated to p. Then we have the following.
Lemma 5.8 [[21], Lemma 6.1]
Let $(H,e,{\mathcal{E}}_{H,e})$ be a Hamiltonian system, and let $p\in {\mathcal{E}}_{H,e}$ be a nonhyperbolic periodic point. Then there is a Hamiltonian system $({H}_{1},{e}_{1},{\mathcal{E}}_{{H}_{1},{e}_{1}})$ ${C}^{2}$close to $(H,e,{\mathcal{E}}_{H,e})$ such that ${H}_{1}$ has a nonhyperbolic periodic point $q\in {\mathcal{E}}_{{H}_{1},{e}_{1}}$ close to p and every point in a small neighborhood of $q\in {\mathcal{N}}_{p}^{c}$ is a periodic point of ${H}_{1}$.
The following is the proof of Proposition 5.2(b).
Lemma 5.9 Let $(H,e,{\mathcal{E}}_{H,e})$ be a Hamiltonian system. If $(H,e,{\mathcal{E}}_{H,e})$ has the robustly orbitally inverse shadowing property with respect to the class ${\mathcal{T}}_{d}$, then $(H,e,{\mathcal{E}}_{H,e})$ is a Hamiltonian star system.
Proof Let $\mathcal{U}\subset {C}^{2}(H,\mathbb{R})$ be a ${C}^{1}$neighborhood of H. Suppose that $p\in {\mathcal{E}}_{H,e}$ is not a hyperbolic periodic point. By Lemma 5.8, there are ${H}_{1}\in \mathcal{U}$ and $\eta >0$ such that (i) ${H}_{1}$ has a nonhyperbolic periodic point $q\in {\mathcal{E}}_{{H}_{1},{e}_{1}}$, and (ii) every $\gamma \in {B}_{\eta}(q)\cap {\mathcal{N}}_{q}^{c}$ is a periodic point of ${H}_{1}$. Take $0<\u03f5<\eta /16$, and let $0<\delta <\u03f5$ be as in the definition of the orbital inverse shadowing property of ${H}_{1}$. Let ${f}_{{H}_{1}}$ be the Poincaré map at q associated to ${P}_{{H}_{1}}^{t}$. Since every $\gamma \in {B}_{\eta}(q)\cap {\mathcal{N}}_{q}^{c}$ is a periodic point of ${H}_{1}$, we know that ${f}_{{H}_{1}}(\gamma )=\gamma $.
Take $0<\tau <1$ such that it is sufficiently small. Then we define the Poincaré map ${g}_{{H}_{1}}$ near q by ${g}_{{H}_{1}}(x)=(\tau {x}_{1},{x}^{\prime})$ for $x\in {B}_{\eta}(q)\cap {\mathcal{N}}_{q}^{c}$ such that ${d}_{{C}^{3}}({f}_{{H}_{1}},{g}_{{H}_{1}})<\delta $, where ${x}_{1}$ is the 1component of x and ${x}^{\prime}$ is the other component. By Lemma 5.5, there is a Hamiltonian ${H}_{1}$ which is associated to the Poincaré map ${g}_{{H}_{1}}$, and ${d}_{{C}^{2}}({H}_{1},{H}_{2})<\delta $. Take $y\in {B}_{\eta}(q)\cap {\mathcal{N}}_{q}^{c}$ such that $d(y,q)=2\u03f5$. Then for any $z\in {\mathcal{E}}_{{H}_{1},{e}_{1}}$,
If $y=z$ then ${f}_{{H}_{1}}(y)=y$ and ${g}_{{H}_{1}}^{i}(y)=({\tau}^{i}{y}_{1},{y}^{\prime})$ for all $i\in \mathbb{Z}$. Then there is $k\in \mathbb{Z}$ such that for ${g}_{{H}_{1}}{}_{{\mathcal{N}}_{q}^{c}}$,
Then we know that ${d}_{H}(\overline{{Orb}_{{X}_{{H}_{1}}}(y)},\overline{{Orb}_{{X}_{{H}_{2}}}(z)})>\u03f5$. This is a contradiction, since ${H}_{1}$ has the orbital inverse shadowing property.
Finally we consider $y\ne z$. Set ${z}^{\prime}={X}_{{H}_{1}}^{{t}^{\prime}}(z)\in {B}_{\eta}(q)\cap {\mathcal{N}}_{q}^{c}$, where ${t}^{\prime}=min\{t:{X}_{{H}_{1}}^{t}(z)\in {B}_{\eta}(q)\cap {\mathcal{N}}_{q}^{c}\}$. Since
we have $d({X}_{{H}_{1}}^{t}(y),{g}_{{H}_{1}}^{i}({z}^{\prime}))<\u03f5$ for some $t\in \mathbb{R}$. Since ${d}_{{C}^{2}}({H}_{1},{H}_{2})<\delta $, we can choose a sequence $\{{g}_{{H}_{1}}^{i}({z}^{\prime})\}\subset {B}_{\u03f5}(q)\cap {\mathcal{N}}_{q}^{c}$ such that $d({f}_{{H}_{1}}^{i}(y),{g}_{{H}_{1}}^{i}(z))<\u03f5$ for all $i\in \mathbb{Z}$. By hyperbolicity, there is $k>0$ such that
Thus ${B}_{\u03f5}(\{{g}_{{H}_{1}}^{i}(z):i\in \mathbb{Z}\})\not\subset {B}_{\u03f5}(q)\cap {\mathcal{N}}_{q}^{c}$. This is a contradiction by the orbital inverse shadowing property. □
References
 1.
Sakai K: Pseudoorbit tracing property and strong transversality of diffeomorphisms on closed manifolds. Osaka J. Math. 1994, 31: 373386.
 2.
Pilygin SY, Rodionova AA, Sakai K: Orbital and weak shadowing properties. Discrete Contin. Dyn. Syst. 2003, 9: 287303.
 3.
Lee K, Lee M: Symplectic diffeomorphisms with orbital shadowing. J. Chungcheong Math. Soc. 2012, 25: 739745.
 4.
Lee K, Lee M: Volumepreserving diffeomorphisms with orbital shadowing. J. Inequal. Appl. 2013., 2013: Article ID 18
 5.
Lee, K, Lee, M: Generic diffeomorphisms with orbital shadowing. Preprint
 6.
Lee M: Robustly chain transitive sets with orbital shadowing diffeomorphisms. Dyn. Syst. 2012, 27: 507514. 10.1080/14689367.2012.725032
 7.
Lee M: Volumepreserving diffeomorphisms with inverse shadowing. J. Inequal. Appl. 2012., 2012: Article ID 275
 8.
Lee M: Symplectic diffeomorphisms with inverse shadowing. J. Inequal. Appl. 2013., 2013: Article ID 74
 9.
Corless R, Pilyugin S: Approximate and real trajectories for generic dynamical systems. J. Math. Anal. Appl. 1995, 189: 409423. 10.1006/jmaa.1995.1027
 10.
Pilyugin S: Inverse shadowing by continuous methods. Discrete Contin. Dyn. Syst. 2002, 8: 2938.
 11.
Lee K: Continuous inverse shadowing and hyperbolicity. Bull. Aust. Math. Soc. 2004, 67: 352359.
 12.
Choi T, Lee K, Zhang Y: Characterisations of Ωstability and structurally stability via inverse shadowing. Bull. Aust. Math. Soc. 2006, 74: 185196. 10.1017/S0004972700035632
 13.
Han Y, Lee K: Inverse shadowing for structurally stable flows. Dyn. Syst. 2004, 19: 371388. 10.1080/1468936042000269569
 14.
Lee K, Lee M: Stably inverse shadowable transitive sets and dominated splitting. Proc. Am. Math. Soc. 2012, 140: 217226.
 15.
Lee K, Lee Z, Zhang Y: Structural stability vector fields with orbital inverse shadowing. J. Korean Math. Soc. 2008, 45: 15051521. 10.4134/JKMS.2008.45.6.1505
 16.
Lee K, Park J: Inverse shadowing of circle maps. Bull. Aust. Math. Soc. 2004, 69: 353359. 10.1017/S0004972700036133
 17.
Lee M: Orbital shadowing property for generic divergencefree vector fields. Chaos Solitons Fractals 2013, 54: 7175.
 18.
Lee M:Orbital shadowing for ${C}^{1}$generic volume preserving diffeomorphisms. Abstr. Appl. Anal. 2013., 2013: Article ID 693032
 19.
Yano K: Topological stable homeomorphisms of the circle. Nagoya Math. J. 1980, 79: 145149.
 20.
Thomas R: Topological stability: some fundamental properties. J. Differ. Equ. 1985, 59: 103122. 10.1016/00220396(85)901408
 21.
Bessa M, Rocha J, Torres M: Shades of hyperbolicity for Hamiltonians. Nonlinearity 2013, 26: 28512873. 10.1088/09517715/26/10/2851
 22.
Bessa M, Ferreira C, Rocha J: On the stability of the set of hyperbolic closed orbits of a Hamiltonian. Math. Proc. Camb. Philos. Soc. 2010, 149: 373383. 10.1017/S0305004110000253
 23.
Bessa M, Rocha J, Torres M: Hyperbolicity and stability for Hamiltonian flows. J. Differ. Equ. 2013, 254: 309322. 10.1016/j.jde.2012.08.010
 24.
Vivier, T: Robustly transitive 3dimensional regular energy surfaces are Anosov. Institut de Math. de Bourgogne, Dijon. Preprint 412 (2005)
 25.
Abraham R, Marsden JE: Foundations of Mechanics. 2nd edition. BenjaminCummings, New York; 1980.
 26.
Robinson C: Generic properties of conservative systems. Am. J. Math. 1970, 92: 747817.
 27.
Arbieto A, Senos L, Sodera T: The specification property for flows from the robust and generic view point. J. Differ. Equ. 2012, 253: 18931909. 10.1016/j.jde.2012.05.022
Acknowledgements
This work is supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Science, ICT & Future Planning (No2014R1A1A1A05002124).
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 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
Keywords
 Hamiltonian systems
 Hamiltonian star systems
 shadowing
 orbital shadowing
 inverse shadowing
 orbital inverse shadowing
 Anosov