(N
r
>
GENERIC HAMILTONIAN DYNAMICS
MARIO BESSA, CELIA FERREIRA, AND JORGE ROCHA
f^ Abstract. In this paper we contribute to the generic theory of Hamiltonians by proving
CN that there is a C^residual TZ in the set of C^ Hamiltonians on a closed symplectic
H manifold M, such that, for any H G TZ, there is an open and dense set S{H) in H{M)
^^ such that, for every e S S{H), the Hamiltonian level {H, e) is topologically mixing.
Keywords: Hamiltonian vector field, topological transitivity, pseudoorbits.
C/^ 1. Introduction
Q
1.1. Hamiltonians and their applications. The Hamiltonian systems form a fun
damental subclass of all dynamical systems generated by differential equations. Their
importance foUows from the vast range of applications throughout different branches of
science. In fact, the laws of physics are mostly expressed in terms of differential equations,
and a well understanded and successful subclasse of these differential equations, which
leave invariant a symplectic structure, are the Hamiltonian equations (see [5]).
0\ Generic properties of such continuoustime systems are thus of great importance and
1^ interest since they give us the typical behavior in an appropriate sense that one could
^^ expect from the class of models at hand (cf. [251 1131 E])
^ The main result of this paper (TheoremfTl) is the generalization of 17t[8] for Hamiltoni
O ans and states that "most" Hamiltonians have indecomposable energy levels in the sense
^ that we cannot split the energy level or, in other words, there is some orbit that winds
around the whole energy level. If we weaken the topology, and inspired on the Oxtoby
. !^ and Ulam theoremj^ (see [23]), we expect to obtain ergodicity in the energy level. On the
rN other hand, for stronger topologies, KAM theorem (see [27]) makes impossible to obtain
C^ the same result (due to the persistence of invariant tori).
There are, of course, considerable limitations to the amount of Information we can
extract from a specific system by looking at generic cases. Nevertheless, it is of great
utility to learn that a selected model can be slightly perturbed in order to obtain dynamics
we understand in a reasonable way.
Finally, our results are essentially C^type results and therefore the Information it
provides holds only in that topology. For instance, in mathematical physics the forces
are C* {s > 3) objects in its essence. Let us be more precise, a Hamiltonian of class C*
Date: February 27, 2013.
^As far as we know there is not available yet a version for Hamiltonians for this theorem.
2 M. BESSA, C. FERREIRA, AND J. ROCHA
generates a Hamiltonian flow of class C*~^, and forces involve a second derivative, thus,
the natural environment are C^ flows (or C^Hamiltonians) . Hopefully, it is evident that
this is not a weakness of our C^generic results but the counterweight to its undeniable
generality.
1.2. The Hamiltonian framework. Let (M^'^,a;) be a symplectic manifold, where
M = M'^'^ [d > 2) is an evendimensional, compact, boundaryless, connected and smooth
Riemannian manifold, endowed with a symplectic form u. Denote by C^lM, M) the set of
C*realvalued functions on M and call H G C*(Af , M) a C'^ Hamiltonian, for s > 2. From
now on, we set s = 2. Given a Hamiltonian H, we can define the Hamiltonian vector field
XHhj
(1) uj{XHip), u) = dpH{u), Vu e TpM,
which generates the Hamiltonian fiow X^. Observe that H is C^ if and only if Xh is C^
and that, since H is smooth and M is closed, Sing^Ku) 7^ 0, where Singi^Ku) stands for
the singularities of Xh or, in other words, the critical points of H .
A scalar e G H{M) C M is called an energy of H. An energy hypersurface £H,e is a
connected component of H~^{{e}), called energy level set.
The energy level set H~^{{e}) is said to be regular if any energy hypersurface of
H^^{{e}) is regular, i. e, does not contain any singularity. In this case, we can also say that
the energy e is regular. Observe that a regular energy hypersurface is a X^invariant,
compact and {2d — l)dimensional manifold. Consider a Hamiltonian H G C^(M, M),
an energy e G H(M) and a regular energy hypersurface £H,e The triplet {H,e,SH,e) is
called a Hamiltonian system and the pair [H, e) is called a Hamiltonian level. If {H, e)
is regular then H~^{{e}) corresponds to the union of a finite number of closed connected
components, that is, H~^{{e}) = ul'L^En^f.^i, for /g G N.
Fixing a small neighborhood W of a regular energy hypersurface £H,ei there exist a
small neighborhood U of the Hamiltonian H and e > O such that, for any H eU and for
any e G (e — e, e + e), we have H~^{{e}) r\W = Sfj^. The energy hypersurface Sg ^ is
called the analytic continuation oi Sh e
The next definition states when a Hamiltonian system is Anosov (see Definition 2.3): a
Hamiltonian system (if , e, £^_ff,e) is Anosov if SH,e is uniformly hyperbolic for the Hamilton
ian flow Xjj associated to H (see ^12j for further details on Anosov Hamiltonian systems).
1.3. Topological transitivity. The topological transitivity is a global property of a
dynamical system. As a motivation for this notion, we may think of a real physical
system, where a state is never measured exactly. Thus, instead of points, we should study
(small) open subsets of the phase space and describe how they move in that space. If
each one of these open subsets meet each other by the action of the system after some
time, then we say that the system is topologically transitive. Equivalently, if we take a
compact phase space, we may say that the system has a dense orbit. However, if the open
subsets remain inseparable after some time, by the iteration of the system, then we say
GENERIC HAMILTONIAN DYNAMICS
that the system is topologically mixing. Obviously, a topologically inixing system is also
a topologically transitive system.
The concept of transitivity goes back to Birkhoff fTEl \W\ . Throughout in this paper
transitive will always mean topologically transitive.
There exist a lot of transitive systems, as the irrational rotations of §^, the shift niaps
and the basic sets (see [IH]). It is also wellknown that C^~^"'Anosov conservative systems
{a > 0) are ergodic and so transitive (see [5]). In fact, the same holds for C^Anosov
conservative systems because, by Poincare recurrence, its nonwandering set equals the
whole manifold and by the Anosov closing lemma the periodic orbits are dense in the
nonwandering set ([26j). Then, using Smale spectral decomposition ([2S]), we get only
one piece which is transitive. Nevertheless, transitivity is not an open property.
Question 1.1. Can the transitivity property be generic?
Some authors have been working on this question. The first remarkable result on
this subject is due to Bonatti and Crovisier, in [TTj. They show that, C^generically, a
C^conservative diffeomorphism is transitive. Later, jointly with Arnaud, Bonatti and
Crovisier extend this result for C^symplectic diffeomorphisms defined on a symplectic
manifold (see [8]). Adapting the techniques used to prove these results to the continuous
time case, one of the authors proved an analogous result for C^divergencefree vector
fields. In fact, by a result due to Abdenur et al. (see pj), the first author was able
to show that, C^generically, a divergencefree vector field is topologically mixing (see
[TU]). Recently, the results in [T71 [S] get an upgrading in [2]. In the direction against
the abundance of transitivity (ergodicity) , but with a much more exigent smoothness
hypothesis, we recall the results of [2U] .
Our contribution to this issue is the statement and the proof of a result that is an
answer to Question 1.1 for Hamiltonian systems.
Definition 1.1. A compact energy hypersurface Eu^e is topologically mixing if, for any
open and nonempty suhsets of£H,e, say U and V , there zs r G M such that Xjj{U)nV ^ 0,
jor any t > t. A regular Hamiltonian level {H, e) is topologically mixing if each one of
the energy hypersurfaces of H~^{{e}) is topologically mixing.
Accordingly with this definition, we prove the following result.
Theorem 1. There is a residual TZ in C'^{M,M) such that, for any H &TZ, there is an
open and dense set S{H) in H {M) such that, for every e G S{H), the Hamiltonian level
{H, e) is topologically mixing.
The main tool to prove the previous result is a version for Hamiltonians of the Con
necting Lemma for pseudoorbits developed in [S] by Arnaud et al.. To state it, we need
the notions of resonance relations and of pseudoorbits, which we postpone to Section[23
Lemma 1 (Connecting Lemma for pseudoorbits of Hamiltonians). Take H G C'^{M,M)
and a regular energy e G H{M), such that the eigenvalues of any closed orbit of H do
4 M. BESSA, C. FERREIRA, AND J. ROCHA
not satisfy nontrivial resonances. Then, for any C'^ neighhorhoodU of H , for any energy
hypersurface £H,e C H^^{{e}) and for any x,y G £H,e connected by an epseudoorbit, for
e > O, there exist H & U and t > O such that e = H{x) and X^{x) = y on the analytic
continuation £ fj ^ of £H,e
To prove these results, we have to resume the arguments used by Arnaud et al. [SI Ej
and by one of the authors in [T^ and to adapt it to the Hamiltonian setting. Besides
the perturbation techniques, the core of the proofs is the need to restrict our attention to
the energy hypersurface, in order to perturb the Hamiltonian and keep the energy, when
analyzing the perturbations and their supports.
From Theorem [T we can derive the following result concerning on the honioclinic
class of a hyperbohc closed orbit 7 of if , which is the closure of the set of transversal
intersections between the stable and unstable manifolds of all points p in 7 (see Section
2.3 for more details).
Corollary 1. There is a residual set TZ in C'^{M,'R) such that, for any H eTZ, there is
an open and dense set S{H) in H {M) such that if e E O fixed, if \\H — H\\c^ < e, where \\H — H\\c^
denotes the C^distance between H and H.
GENERIC HAMILTONIAN DYNAMICS 5
Given a Hamiltonian level {H, e), let Q{H\£^ J be tlie set of nonwandering points of
H on the energy hypersurface SH,e, that is, tlie points x G £H,e sucli tliat, for every
neighborhood U oi x m S h, e, tliere is r > O sucli tliat X]j{U) fl ?7 7^ 0.
Fix a Hamiltonian level (if, e). We want H~^{{e}) to decompose into a finite number
of connected components, say H~^{{e}) = ul'L^£H,e,ii for /g G N. Let us look at the
foUowing exaniple.
Example 1: Write iJ : M^ ^ M sucli that
a;^ sin ( — 1 , a; 7^ O
H{x,y) = <^ yx
O , x =
It is immediate to see that, for the value of energy e = O, H^^{{e}) corresponds to an
infinite number of connected components. This construction can be made local (torus,
annulus). A direct consequence of the Implicit Function Theorem ensures that the absence
of singularities is enough to ensure a finite decomposition of H~^{{e}).
By Liouville's Theorem, the symplectic manifold {M, u) is also a volume manifold (see,
for example, [3j). This means that the volume form u"^ = u A u induces a measure /j, on
M, which is the Lebesgue measure associated to u^. Notice that the measure /i on M
is preserved by the Hamiltonian flow. So, given a regular Hamiltonian level [H, e), we
induce a volume form uj£^^ on each energy hypersurface Sn^e C H~^{{e}), where for all
P e £H,e
^£H,e '■ TpSH,e X TpSH,e X TpSH,e > ^
{u, V, w) I )■ u'^{dpH, U, V, w)
The volume form uJsne i^ X]:^invariant. Hence, it induces an invariant volume measure
fiSHe '^^ ^H,e that is finite, since any energy hypersurface is compact. Observe that, under
these conditions, we have that /i£^^a.e. x G £H,e is recurrent, by the Poincare Recurrence
Theorem.
Now we state the definition of transitive Hamiltonian level, which is weaker than the
definition of topologically mixing Hamiltonian level (Definition 1.1).
Definition 2.1. A Hamiltonian vector field Xh, restricted to a energy hypersurface Sn.e,
is transitive if, for any open and nonempty suhsets U and V of SH,e, there is t ^M. such
that X'^{U) nV y^ ^. A regular Hamiltonian level {H, e) is transitive if the Hamiltonian
vector field X H restricted to any energy hypersurface of H^^{{e}) is transitive.
2.2. Transversal linear Poincare flow and hyperbolicity. Let us begin with the
definition of the transversal linear Poincare How. After, we state some results using this
linear fiow.
M. BESSA, C. FERREIRA, AND J. ROCHA
Consider a Hamiltonian vector field Xh and a regular point x in M and let e = H{x).
Define A4 := N^ fl TxH~^{{e}), where T^H'^ {{e}) = Ker dH{x) is the tangent space to
the energy level set. Tlius, A4 is a {dim{M) — 2) dimensional bundle.
$^(x) : A4 ^ ^xIj{x)
Definition 2.2. The transversal linear Poincare flow associated to H is given by
where Ilj^t (^) : Txt (a;) M — )► A/^* [x) denotes the canonical orthogonal projection.
Observe tliat A4 is $^(a;)invariant.
It is wellknown (see e.g. [3]) that, given a regular point x G SH,e, tlien ^//(a;) is a linear
symplectomorphisni for the symplectic form U£^ ^ , that is,
U£j^^^{u,v) = uj£j^^{^Hi^) u,^Hi^) v) for any u, v e A^.
We recall that the set of symplectomorphisnis fornis a group under composition, denoted
by Sp{M,u), called symplectic group.
For any symplectomorphisni, in particular for $^(a;), we have the following result.
Theorem 2.1. (Symplectic eigenvalue theorem, [3]j Let f G Sp{M,uj), p E M and o an
eigenvalue of Dfp of multiplicity k. Then l/a is an eigenvalue of Dfp of multiplicity k.
Moreover, the multiplicity of the eigenvalues +1 and —1, if they occur, is even.
The proof of the following result can be found in [131 Section 2.3].
Lemma 2.2. Take a Hamiltonian H G C^(M, M) and let A be a X\jinvariant, regular
and compact subset of M . Then A is uniformly hyperbolic for X\j if and only if the
induced transversal linear Poincare flow $^ is uniformly hyperbolic on A.
So, we can define a unifornily hyperbolic set as follows.
Definition 2.3. Let H G C'^{M,M.). An X\jinvariant, compact and regular set A C M
is uniformly hyperbolic if M\ admits a (^^^invariant splitting M^^bM^I such that there
is i > O satisfying
\\^%{x)\ms\\ <  and \\^'J{X\x))\^u^^^J\ < , for any x e A.
We remark that the constant  can be replaced by any constant 9 G (0, 1).
2.3. Homoclinic classes, resonance relations and pseudoorbits. Given a hyper
bolic closed orbit of saddletype 7 of a Hamiltonian H, with period tt, and p G 7. We
define the stable and unstable manifolds of 7 by
W^r(7) = U ^niW^'^iP))
0 Q. A seguence
{xi}7=o ^'^ ^H,e, with n &N, is an epseudoorbit on £H,e if d{X}j{xi),Xi+i) < e, for any
i G {O, ...,n — 1}, where d{, ■) denotes the distance inherited by the Riemannian structure.
The length of the pseudoorbit is equal to n.
Remark 2.1. For divergencefree vector fields, and so for Hamiltonian vector fields, we
have that Q{H\£^J = £H,e Therefore, any x,y E SH,e are connected by an epseudoorbit,
for any e > 0.
8 M. BESSA, C. FERREIRA, AND J. ROCHA
2.4. Lift axiom. Fix p G Per{H) and a sinall neighborhood Up of p. By the Darboux
Theorein (see, for exaniple, [221 Theorein 1.18]), there is a smooth syinplectic change of
coordinates ipp : Up ^ TpM, such that (pp{p) = 0. Denote by Np^s the ball centered in
O at the normal fiber at p and with radius 6. For a given 6 > O depending on p we let
f H '■ 'fp^{Np,s) ^ Vx^i ( )(^xi (p)) be the canonical Poincare timeone arrival associated
toHE
In [21], when proving the closing lemma for Hamiltonians, Pugh and Robinson show
that the lift axioni is satisfied for Hamiltonians, and they obtain the closing from the
lifting. In rough terms, lifting is a way of pushing the orbit along a given direction by
a small Hamiltonian perturbation C^close to the identity. We point out that we never
have to push in the direction of increasing energies.
Furthermore, we recall the key point on the using of the C^ topology of the Hamiltonian
vector field: "...one can lift points p in prescribed directions v with results proportional
to the support radius" ([211 pp. 266]).
Lift Axiom for Hamiltonians. (cf. [211 §9 i^)]) Consider a Hamiltonian H G
C^(M, M) and let U he a. C^neighborhood of H. Then there are O < e < 1 and a
continuous function S: M \ Sing^Ku) —j (0, 1), both depending on H and on W, such
that, for any p and v G NpS{p) fl ipp{H^^{H{p))), there exists H eU satisfying:
• supp{Xfj — Xh) is contained in the flowbox T = Ute(oT) ^^(^IblKp))' where
B\\^\\{p) is taken in a transversal section of p and T = T{y) is such that T{p) = 1
and X^J^\y) G B\\^\\{Xh{p)), for any y G B\\^\\{p);
• If several such perturbations are made in disjoint fiowboxes, then their union
perturbation is also realizable by a Hamiltonian.
2.5. Perturbation flowboxes. Consider the Standard cube M^'^, tilled by smaller cubes
by homotheties and translations. Given a symplectic chart 0. We say that the pseudoorbit {xj}"^o ^'^ £H,e, with n G N,
fc=i
preserves the tiling in the injective flowbox
THiC,T)= U XJ,iC)
t6[0,T]
In fact, given a regular point p, we can chose any r > O less than its period, if p is periodic.
GENERIC HAMILTONIAN DYNAMICS
n
"^
1
1
iEX
J^ZL.
1

1
1
: ■"
~
;
:


; —


1

1
1 1
II III
1 1
1
^/.
FiGURE 1. Representation of a tiled cube of the chart {U,ip).
a) Xo,Xn^J^H{C,T);
b) for any i G {1, ...,n — 1},
• ifxi&Tk then Xjj^{xi+i) E %, for some k G {l,...,m};
• if Xi G Xjj{C) then Xi^i = Xl[{xi), for some j G {1, ...,T — 1}.
FiGURE 2. Representation of a pseudoorbit preserving the tiling.
This definition asserts that the intersection of the pseudoorbit {xj}"^q with the
flowbox Fh{C,T) is an union of segments {a;^, ..., Xj+t} such that Xj G C and
X
j+fc = ^niUj): for every k G {1,...,T}, where i/j is a point in the same tile of Xj.
Observe that if a pseudoorbit preserves the tihng then we just have to take care about
the jumps of the pseudoorbit outside Uiefi tii ^ni^)
As Pugh and Robinson explained in pTi, §9 (a)], local perturbations on H do not change
the energy hypersurfaces in the bottom and top of the flowboxes where the perturbations
take place. So, we are allowed to push along the energy levels. This property motivates
the foUowing definition of perturbation flowbox.
Definition 2.6. Fix a Hamiltonian system {H,e,SH,e), e > O and an eC'^neighborhood
U of H. A tiled cube C is an eperturbation flowbox of length T for {H, U) if, for any
10
M. BESSA, C. FERREIRA, AND J. ROCHA
pseudoorbit {xj}"^q on Sn^e preserving the tiling in J^h{C,T), there is H ElA, such that
H = H outside J^h{C,T — 1), and a pseudoorbit {yj}Y=o on £^ ^, with m G N, such that:
• y o = xo and y m = x„;
• H{yj) = e, for any j G {O, ...,m};
• the intersection of the pseudoorbit {yj}^^Q with J^h{C, T) is an union of segments
{yi,...,yi+T} such that yi e C and yi+k = ^'^iVi), for every k G {1,...,T}. More
over, the segments of {/j}^q that do not intersect M X'^{C) are segments
te[i,Ti]
of the initial pseudoorbit {xi}^^Q, where the starting point belongs to Xjj{C) or
coincides with xq and the ending point belongs to C or coincides with x„.
FiGURE 3. Perturbation in a tiled cube.
The set supp{C) = M XJj{C) is called the support of the perturbation fiowboxC.
te[o,T]
The Hayashi Connecting Lemina is a key ingredient to prove the Connecting Lemma
for pseudoorbits of Hamihonians (Lemma [T]) and, as stated in f2E\ , it can be adapted
for Hamiltonians. From Definiton 2^, we can extract a shghtly stronger statement of the
Connecting Lemma for Hamiltonians in [281 Theorem E] , which can be seen as a theorem
of existence of perturbation flowboxes.
Theorem 2.4. Given a Hamiltonian system {H,e,£H,e) O'^d e > O, there exists T > O
such that if any tiled cube C on Sn^e is a fiowbox of length T then C is an eperturbation
fiowbox o f length T .
From the previous definitions and theorem, the following proposition foUows inimedi
ately.
Proposition 2.5. Consider a Hamiltonian system {H,e,SH,e) o^nd letlA be a C'^neigh
borhood of H . For any pseudoorbit {a;j}^^Q on SH,e preserving the tiling in a fiowbox,
there exist H E U and t > O, such that H{xq) = e and X*{xq) = Xn on Ef^ ^.
In fact, flowbox after flowbox, the Connecting Lemma for pseudoorbits of Hamiltonians
(Lemma [I]) erases all the jumps of the pseudoorbit. However, notice that the jumps of a
GENERIC HAMILTONIAN DYNAMICS
11
pseudoorbit have no reason to respect the tiling of soine perturbation flowbox. To deal
with this difficulty, we introduce the concept of covering families and of avoidable closed
orbits.
2.6. Covering families. Given a Hamiltonian system {H,e,SH,e), we want to cover the
orbits on Sn^e by a family of perturbation fiowboxes, with pairwise disjoint supports. Let
W be a C^neighborhood of H and let C denote a faniily of perturbation fiowboxes for
{H, U), with pairwise disjoint supports, and V denote a family of nonempty open subsets
of £H,e with pairwise disjoint supports.
m
Definition 2.7. The family C = \\Tk, for m gN, is a covering family o f S h, e if, for
k=l
any x G £H,e, there exist t > O and 1 < k < m such that X\j{x) G int{Tk)
FiGURE 4. Representation of a covering family of £H,e
In general, if SH,e contains closed orbits with small period then £H,e has not a covering
family. In fact, this kind of closed orbits is disjoint from the perturbation flowboxes. This
motivates the definition of covering families outside V = VSj^^Vj. The sets V j (1 < j < t)
are, in fact, neighborhoods of these closed orbits with small period.
The following definition is an adaption of [Hl Definition 3.2] for Hamiltonians.
Definition 2.8. Fix a Hamiltonian system {H,e,SH,e)! e > O and an eC'^neighborhood
U of H. A perturbation flowhox C for {H, U) is a covering family of Sn.e outside V
if there are
• t > O and e > 0;
• an open set W j and a compact set Fj, such that F j C W j C Vj, for every j G
{l,...,r};
finite family of compacts T) = \\ Di on £H,e, such that every Di is contained
m
i=l
the interior of a tile of C;
two parts Vaj and V o j of V such that the support of the tiles of C containing this
compacts is contained in Vj, for any j G {1, ...,r},
12
M. BESSA, C. FERREIRA, AND J. ROCHA
with length greater or egual than t
such that
a) any segment of any epseudoorbit on Sh,(
meets a compact Fj or a compact of 'D;
b) any segment of any epseudoorbit on Sn^e starting outside Vj and ending inside
W j meets a compact ofVaj, for any j G {1, ..., r};
c) any segment of any epseudoorbit on SH,e starting inside W j and ending outside
Vj meets a compact ofVoj, for any j G {1, ...,r};
d) for any j G {1, ...,r} and for any compact sets Da C Va,j and Do C ^oj, there
exists a pseudoorbit with jumps inside the tiles ofC, with starting point inside Da
and ending point inside Do
FiGURE 5. Covering family of £H,e outside V.
Roughly speaking, C is a covering family of En^e outside V if any pseudoorbit returns
regularly to a compact V C int{Tk), for some 1 < k < m, during the time it passes out
of V. If the pseudoorbit takes a long time to return to another compact set D d 'D,
it approaches some compacts F j C Vj. For this, the pseudoorbit must go through an
entrance compact Da C D and then through an exit compact D^ C D. Moreover, we can
even switch the segment of the pseudoorbit between Da and D^ by a pseudoorbit with
jumps inside the tiles of C.
2.7. Avoidable closed orbits. Consider a Hamiltonian system {H,e,SH,e) and a cfosed
orbit 7 of iJ on Sn^e Let U he a C^neighborhood of H and fix T > O and p G 7. The
next definition is adapted from [Hl Definition 3.10] for Hamiltonians.
Definition 2.9. A closed orbit 7 is avoidable for (U, T) if, for any neighborhood Vo
of 7 and for any t > O, there exist e > O, open neighborhoods W and V of 7, such that
W G V G Vq, and a perturbation fiowbox C for (H, U) of length T with disjoint supports,
such that:
a) the support of C is contained in V;
b) there exist two families of compacts 'Da and 'Do contained in the interior of the
tiles of C such that
GENERIC HAMILTONIAN DYNAMICS
13
• any segment of any epseudo orbit on SH,e starting outside V and ending
inside W has a point in a compact ofVa;
• any segment of any epseudoorhit on Sn^e starting inside W and ending out
side V has a point in a compact ofD^;
c) for any compacts Da G Va and Do G Vo, there exist a pseudoorhit on £H,e, with
jumps inside the tiles of C, starting in D a and ending in Do
d) for any x in C, the time taking by Xjj{x) to return to supp{C) is bigger than t.
/^..Ti
^ \ v 'T / ,' / '
\Wk
VoV,
''
FiGURE 6. Representation of an avoidable closed orbit 7.
Therefore, a closed orbit 7 is avoidable for (U,T), for fixed T > O, if, for any t > O,
there exists a family C of perturbation flowboxes for {H, U) of length T such that, given
a pseudoorbit with starting and ending points far from 7, but passing very close of 7, we
can exchange the segments of the pseudoorbit passing close of 7 by segments of another
pseudoorbit with jumps inside the tiles Tk {I < k < m).
A closed orbit can be even characterized as uniformly avoidable.
Definition 2.10. Let {H,e,SH,e) be a Hamiltonian system and U a C^ neighborhood of
H . The closed orbits of H on SH,e ore called uniformly avoidable if they are isolated and
there exists a constant T > O such that any closed orbit of H on She is avoidable for
(K,T).
This kind of orbits is used to derive perturbation flowboxes with disjoint supports, in
such a way that the pseudoorbits stay away from closed orbits with small period. We
anticipate that, if SH,e has no orbits with small period and has all the closed orbits uni
formly avoidable then we will be able to build a covering family of perturbation flowboxes
for SH,e, as shown in Proposition 3.4, in SectionjSJ
2.8. Perturbation results in the C^topology. In this section, we state two pertur
bation lemmas for the Hamiltonian setting, namely the Closing Leninia and the Pasting
Leninia.
The first perturbation result is a version of the Closing Lemnia for Hamiltonians that we
obtain by combining Arnaud's Closing Leninia (see [^) with Pugh and Robinson's Closing
14
M. BESSA, C. FERREIRA, AND J. ROCHA
Lemma for Hamiltonians (see [21] )• It states that the orbit of a nonwandering point can
be approximated, for a very long time, by a closed orbit of a nearby Hamiltonian.
Lemma 2.6. (Closing Lemma for Ham,iltonians) Fix Hi G C^(M, M). Let x E M he a
nonwandering point and e, r and r positive constants. Then, there exist H2 G C^(M, M),
a closed orbit 7 of H2 with period vr, p G 7 and a map g : [O, r] — )■ [0,7r], close to the
identity, such that:
• H2 is eC^ close to Hi;
• d(^XJ,^{x),X'£\p)'^ O, there
exists (5 > O such that if H2 G C^(M,M), /or 2 < s < 00, is 5 C'^'''^''^'^ close to Hi on U
then there exist H^ G C*(M, M) and a closed set V such that:
• K dV dU;
• if 3 = if 2 on V;
• ifs = ifi on U";
• H3 is eC"'"''^''^'^ close to ffi.
FiGURE 7. Perturbation given by the Pasting Lemma for Hamiltonians.
Proof. Consider {Ui, f/2} an open cover of M, such that Ui := U and U2 does not contain
K. Then, there is a smooth partition of unity {ai,a2}, subordinate to {Ui,U2}, such
that aj : M — )■ [0, 1] satisfies supp(ai) C Ui, for i = 1,2, and ai{x) + 0:2(3;) = 1, for any
X e M.
Letting V := [/ and H3 := aiH2 + (1 — ai)ifi, we have that:
 K cV CU;
GENERIC HAMILTONIAN DYNAMICS 15
 H^ = H2 on V , since ai{x) = 1 and a2{x) = O, for any x & V;
 H3 = Hi on W^, since ai{x) = O and a2{x) = 1, for any x G W^;
~ 11^3 — Hl\\^rnin{r,s} ^ niaXQfl (O;) j \\H2 — Hl\\^rnin{r,s} = 11^2 — H l\\ (,min{r,s} < O,
since, by hypothesis, H2 and ifi are SC'^'''^^^'^^close. So, for (5 > O sufiiciently sniall, we
are done. D
3. Proof of Theorem [1]
3.1. Proof of the Connecting Lemma for pseudoorbits. This section contains the
proof of the Connecting Lemma for pseudoorbits of Hamiltonians. Let (M, u) denote
a closed, symplectic 2(imanifold, for d > 2. Take H G C^(M, M) and a regular energy
e G H (M), such that the eigenvalues of any closed orbit of H do not satisfy nontrivial
resonances. Then, for any C^neighborhood U of H, for any energy hypersurface SH,e C
H~^{{e}) and for any x,y E SH,e connected by an epseudoorbit, for e > O, there exist
H E U and t > O such that e = H{x) and Xg{x) = y, on the analytic continuation Sg^^
of SH,e
perturbation
FiGURE 8. Perturbation given by the Connecting Lemma for pseudoorbits.
As explained in [Hl [17] and in [lOj, the proof of the Connecting Lemma for pseudo
orbits is sphtted in three main parts. The first step to prove Lemma [T] concerns on local
perturbations. These perturbations motivate the definition of perturbation boxes whose
support must be in the interior of small open sets, pairwise disjoint till a sufiiciently large
number of iterates. Separately, we need to analyze the dynamics near closed orbits with
small period because these orbits are not contained in any perturbation box. Finally, we
must analyze the global dynamics, in order to cover any orbit with perturbation flowboxes.
This strategy was firstly foUowed by Bonatti and Crovisier for diffeomorphisms (see
[T7]). Later, jointly with Arnaud (see [8]), these authors proceeded with this methodology
16 M. BESSA, C. FERREIRA, AND J. ROCHA
to get the proof of the Connecting Lemma for pseudoorbits of symplectomorphisins. The
main novelties in the syinplectoinorphisms context are the need for the perturbations to
be symplectic and also that the closed orbits can be stably elliptic. This means that the
symplectomorphisms case cannot be reduced to the one treated in [TTj, where the closed
orbits are assumed to be hyperbohc. That is why, in p] , the authors prove this result for
symplectomorphisms, by doing the necessary changes.
For the Hamiltonian case, recall that the transversal linear Poincare fiow is, is fact, a
symplectomorphism and observe that we are assuming the absence of singularities on the
energy hypersurfaces. Keeping in mind the strategy described in [8], the novelties in the
proof of the Connecting Lemma for pseudoorbits of Hamiltonian are the statement of
adequate definitions and, since the energy hypersurfaces are invariant by the Hamilton
ian fiow, the need for the pseudoorbit being completely contained in the same energy
hypersurface. Hence, we have to ensure the creation of symplectic perturbations without
leaving the initial energy hypersurface. Recall that the energy hypersurface is indexed to
the Hamiltonian. Thus, it may change when we perturb the Hamiltonian. That is why,
in the statement of Lemma [T we want the energy of the points in the pseudoorbit to be
kept constant, even if we C^perturb the Hamiltonian. However, since we are allowed to
push along the energy levels (see [211 §9(a)]), the arguments stated in [S] can be adapted
to the Hamiltonian case. At the end, we have a version of the Connecting Lemma for
pseudoorbits of Hamiltonians, where the condition on the persistence of the energy of
the pseudoorbit is trivially satisfied. Let us briefiy explain how to prove Lemma [ij
Arnaud et al. proved, in [8, Proposition 4.2], that if the eigenvalues of any closed orbit
of a symplectomorphism do not satisfy nontrivial resonance relations, then the closed
orbits are uniformly avoidable. Therefore, since the transversal linear Poincare fiow is a
symplectomorphism, the foUowing proposition follows directly for Hamiltonians.
Proposition 3.1. Consider a Hamiltonian H G C^{M,M.). If, for any closed orbit p of
H with period tt, the eigenvalues of ^'^{p) do not satisfy nontrivial resonances then the
closed orbits of H are uniformly avoidable.
As explained before, to prove this proposition, the authors take into account that the
closed orbits can be hyperbohc (case analyzed in [17]) but also completely elliptic or
elliptic.
Observe that, by the previous proposition, Theorem 2.3 implies that the closed orbits
of a C^generic Hamiltonian are uniformly avoidable.
Now, by Proposition 3.1, to prove the Connecting Lemma for pseudoorbits of Hamil
tonians it is enough to show the foUowing result.
Theorem 3.2. Consider a Hamiltonian system {H,e,£H,e) such that the closed orbits of
H on £H,e cire uniformly avoidable. Then, for any C"^ neighborhood U of H and for any
x,y E £H,e, there is H eU and t > O, such that H{x) = e and X^{x) = y, on the analytic
continuation Sg ^ of £H,e
GENERIC HAMILTONIAN DYNAMICS 17
It is obvious that Theorem 3.2 follows immediately if y G Oh{x). In fact, to prove
LemmafTl it is enough to show Theorem 3.2 for some kind of points x, y G Sh
Lemma 3.3. (]H1 Leinma 3.12]^ Consider a Hamiltonian system {H,e,SH,e) such that the
closed orbits on SH,e o,fS isolated. Toke any x,y & SH,e such that y ^ Oh{x). Then, there
exist X and y, arbitrarily close to x and y, such that either y G Oh{x), or else x and y
are not closed orbits.
Recall that a uniformly avoidable closed orbit is indeed isolated. So, by the previous
lemma, the proof of Lemma [T] is reduced to the proof of Theorem 3^, when x, y are not
closed orbits. In fact, ii y ^ OHix) and x or y are closed orbits, we just have to apply
Theorem 3. 2 to x and y, given by Lemma 3^ Then, a Hamiltonian perturbation of the
identity sends x, y into x, y, and it allows us to conclude the result for any x and y in
Recall that H satisfies the lift axioni and that any two distinct points x, y G SH,e
are connected by an epseudoorbit, for any e > 0. Therefore, by Lemma 3.3[ we can
reduce the proof of Theorem 3. 2 and so of the Connecting Lemma for pseudoorbits of
Hamiltonians, to the proof of Proposition 3.4 and Proposition 3.5 bellow.
Proposition 3.4. Take a Hamiltonian system {H, e, £H,e), such that H satisfies the lift ax
iom and any closed orbit of H on SH,e is uniformly avoidable. LetUo be a C"^ neighborhood
of H and x,y & SH,e be such that x,y ^ Per{H) and y ^ Oh{x). Then there exist a
neighborhood IA O and J^ h{x)djl{x) = 1. The flow
5':SxM — >SxM
X, r h^
kl X
R\x),r + S J2^(^'(^)n
i=0 ^
fc1 k
where k G Z is uniguely defined by y^ h{R\x)) < r + s < 2^ h{R\x)), is called a special
i=0 i=0
How. In fact, the flow S^ moves the point (x,r) to {x,r + s) at velocity one, until it hits
the graph of h. After this, the point returns to S and continues its journey.
The AmbroseKakutani Theorem states that a flow having the set of critical points with
zero Lebesgue measure is isomorphic to a special flow (see [4J/
Recall that any closed orbit of H on the regular energy hypersurface £H,e is uniformly
avoidable, and so isolated. Then, H has a finite number of closed orbits with small period.
Therefore, by AinbroseKakutani's Theorem in 1], X\j is equivalent to a special flow.
Now, foUowing Tll Section 3.6.1], with the obvious changes, we can build a topological
tower with very high towers in order to have enough time to perform a lot of small
nonoverlapped perturbations.
The next proposition, jointly with Proposition 3.4, finishes the proof of LemmajT}
Proposition 3.5. Consider a Hamiltonian system {H,e,£H,e) and a neighborhood U of
H. Let C denote a family of periurbation flowboxes for {H, U) covering £H,e outside a
family of open sets V. Take any x,y E £H,e outside the support of C and outside of any
y e V. Then there exist H E U and t > O, such that H{x) = e and Xg{x) = y, on the
analytic continuation Sfj ^ of Sn^e
By Proposition 2.5, if the hypothesis of the previous proposition ensure that a pseudo
orbit connecting x and y preserves the tiling of C, then we are done. In fact, as explained
in Section 2.6, given that the perturbation flowbox C covers £H,e outside V, every orbit
on SH,e spends a uniformly bounded time to return to the interior of any tile of C. It
is straightforward to see that the same holds for any epseudoorbit, with small e > 0.
Moreover, if we choose e > O even smaller, we can modify the pseudoorbit in such a way
that, whenever the pseudoorbit returns to the interior of some tile, we add at this time
all the next jumps of the pseudoorbit until the next return to a tile, defining, in this
way, a new jump. The final jump respects the tile and is small, because the number of
grouped jumps is uniformly bounded. In this way, we construct a pseudoorbit preserving
the tiling of C.
3.2. Auxiliary lemmas. In this section, we state the proof of some auxiliary results for
Hamiltonian systems defined on a 2(idimensional symplectic manifold, for d > 2. The
first one (Lemma 3.6) asserts that, C generically, the quotient between the period of two
GENERIC HAMILTONIAN DYNAMICS 19
distinct closed orbits of a Hamiltonian is irrational. After, in Leinina 3.7, we state that
^5
given a C^generic Hamiltonian H, there exists an open and dense set in H{M) such that
every energy taken in such a set is regular. Afterwards, we show that, given a C^generic
Hamiltonian H, there exists an open and dense set in H{M) such that, for every energy
e taken in such a set, the Hamiltonian level (if, e) is transitive (Lemma 3.8)
Lemma 3.6. There is a residual TZ in C^(M, M) such that, for any H eTZ, any distinct
p,q E Per (H), with periods Tip and TCg, satisfy — G ]R\Q.
ng
Proof. Fix n E N. By Robinson's results [25], the following set
An '■= {h g C^(M, m) : Sing{H) is hyperbolic and Pern{H) is hyperbolic or elliptic}
is open and dense in C^(M, M). Also, define the open set
Bn:= \h eAn. if p, g G Pern{H) andp^g then ^ ^ {ri}r=i
where {^j}^^ denote the positive rational numbers, with a fixed order.
Now, this proof follows the ideas stated in the proof of [ini Lemma 2.2], but using the
version of the Pasting Lemma for Hamiltonians, proved in Lemma 2.7[
Fix e > O and Hi G C^(M,]R). By density of An, there is H2 G An, eC^close to Hi.
Recall that, by Proposition 3.1[ the closed orbits with period less or equal than n of H2
are uniformly hyperbolic, and so isolated. So, Pern{H2) has a finite number of elements,
say {pi}^i, for fixed m G N.
Given a positive sequence {sj}™ ^, the vector field Xjj, = ^t^^j^/^j is also a Hamiltonian
vector field, for any 1 < i < m. Actually, by (fll), Xj[, is associated to the Hamiltonian
^qjiJ2 Observe that if we choose Sj arbitrarily close to O then H^ is eC^close to //2
For any 1 < i < m, consider tubular compact neighborhoods Ki oi Pi, sufiiciently small
such that sonie open neighborhoods Wj of Ki are pairwise disjoint. The idea now is to
apply, recursively, Lemma 2.7, in order to define Hm G C^(M, M) such that:
• Hm converges to H2 in the C^sense, as s j converges to 0;
• '^Hrn,P. = (1 + ^i)'^H2,pv for 1 < i < m.
By a good small choice of the sequence {sj}™^, we have that Hm G An and that
^^^ ^ {rj^^i, for i ^ J. Thus, H^ G S„.
Since Bn is open and dense in C'^{M,M.), for any n E N, the desired residual subset of
C^{M, R) is given by 7^ := n^eNBn. D
The following result is an immediate consequence of the fact that Morse functions are
C^open and dense among C^(M, M) ([21]).
20 M. BESSA, C. FERREIRA, AND J. ROCHA
Lemma 3.7. There is a C'^open and dense subset O in C^(M, M) such that, for any
H & O there exists an open and dense setS{H) of energies such that any energy e G S{H)
the Hamiltonian level {H, e) is regular.
Lemma 3.8. There is a residual set TZ in C'^[M,W) such that, for any H E 71, there is
an open and dense set S (H) in H (M) such that, for every e e S (H),
• H~^{{e}) is regular;
• the closed orbits of H in H^^{{e}) do not satisfy nontrivial resonances;
• the Hamiltonian level {H, e) is transitive.
Proof. Let 1Zq be the resid ual set given by Theorem 2.3 and consider O and S{H), for
H G O, as in Lemma 3.7 Observe that, if e G S{H) then H^^{{e}) = U^^^SH,e,i In
this case, let {Un}^ be a countable basis of open sets on M. Fix 1 < i < le and define
U^ = Un ri SH,e,i, whenever nonempty. So, {U^}^ is a countable basis of open sets on
SH,e,i We say that H G Vn,m,i,e if
Now, we define the residual set
7^ := 7^o n O n pi {Pn,m,i,e u ir~~eT) ,
n,m
where, given a set S, S stands for its closure and S'^ for its complementary.
Fix H E TZ, e E S{H) and 1 < i < le Thus, H~^{{e}) is regular and any closed orbit
of H in SH,e,i do not satisfy nontrivial resonances. Moreover, for all integers n and m,
we have that H G Vn,m,i,e or H E (Vn,m,i,eY Observe that if if G Vn,m,i,e, for all integers
n and m and any I < i < h, then {H, e) is transitive.
So, by contradiction, assume that there are some integers n and m and I < i < le such
all points x,y E £H,e,i
2.1
that H E Vn,m,i,e " ■ Choosc X E U^ and y E U^. By Remark
are connected by an epseudoorbit, for any e > 0. Moreover, since H E TZo, we can
apply the Connecting Lemma for pseudoorbits of Hamiltonians (Lemma [I]). So, for any
C^neighborhood U of H, there exists H eU nUanOn V^„,j^^ " such that e = B.{x),
where [/* and VL are elements of the basis of the welldefined analytic continuation Er, ~
of £H,e,i such that x E U^ and y E U^, and there is T > O such that Xg{x) = y on
^Hel. Then H E "P^^^e, which is a contradiction. Hence H E Vn,m,i,e, for all integers n
and m and for any 1 < i < le Therefore, {H, e) is transitive, for any H E TZ and any
e G S{H). D
3.3. Energy hypersurfaces as homoclinic classes. In this section, we want to prove
the foUowing coroUary of Lemma 3.8
GENERIC HAMILTONIAN DYNAMICS 21
Corollary 3.9. \b There is a residual set IZ in C^(M, M) such that, for any H E TZ,
there is an open and dense set S{H) in H{M) such that if e E O satisfying X^(y) n f/^ 7^ and X^^{V) n f/^ ^ 0, where {f/^}„ is a
countable basis of open sets on Sg ^j. By Hayashi's Connecting Lemma of Hamiltonians
(see [28] ), there exists a Hamiltonian H, C^close to H, such that H E Wn Hence, >V„
is dense on U, for any n E N. Therefore,
W := fl W„ = {^ G W : lyj(p^) = ^^,,,^}
neN
is a residual subset of U.
Fix iJ G 7^ n W and e G S (H). Let {f/^}n be a countable basis of open sets on the
energy hypersurface Sg ^^j of H~^{{e}). Fix n G N and a hyperbohc closed orbit pg of
iJ. Observe that any nonperiodic x G fZ* is an accumulation point of W^^{pg). By the
Connecting Lemma for Hamiltonians (see [28]), we construct homoclinic intersections on
f/* and, by a small C^perturbation, we turn it transversal. So, the set
Zn := {H eU r\TZ : p g has a homoclinic transversal intersection on [/^}
is open and dense on U, for any n G N. Therefore, the set
Z := fl Z„ = {iJ G W^7^ : H^^,^ = Sg^^;^
neN
is residual in U. Observe that this is valid for any small C^neighborhood U oi H E TZ.
So, the set
7^l := {H E C\M, M) n 7^ : H^^^h = Sn^eA
is residual in C^(M, M), for any I < i < le Thus, there is a residual set T^i in C^(M, M)
such that, for any H E TZi, there is an open and dense set S {H) such that, for e G S {H),
any energy hypersurface of i/~^({e}) is a homoclinic class. D
22 M. BESSA, C. FERREIRA, AND J. ROCHA
3.4. Generic topological mixing. In this section, we conclude the proof of TheoremjT}
Theorem 3.10. \B There is a residual IZ in C^(M, M) such that, for any H E TZ, there
is an open and dense set S{H) in H (M) such that, for every e G S{H), the Hamiltonian
level {H, e) is topologically niixing.
Proof. Let T^o be the residual set given by Lemma 3.6 T^i be the residual set given by
Lemma 3.8 and 7^2 be the residual set given by CorollaryjTJ Define
7^:=7^o^7^l^7^2.
Now, we follow the ideas on the proof of [H, Theorem B], making the necessary adap
tations to the Hamiltonian setting.
Fix H E TZ. Since H E TZi, by Lemma p3^, there is an open and dense set S{H) such
that, for any e E S{H), the Hamiltonian level {H, e) is transitive. So, to conclude the
proof of Theorem [II we just have to prove that, for any e E S (H), the Hamiltonian level
{H, e) is topologically mixing.
Fix e E S{H) and let SH,e,i be an energy hypersurface of if ~^({e}), for 1 < z < I^. Let
us prove that SH,e,i is topologically mixing, that is, for any open, nonempty subsets U
and V of £H,e,i, there is r e M such that Xjj{U) fl V^ 7^ 0, for any t > r.
Given that H E IZ2 and e E S{H), by Corollary [II £H,e,i is a homoclinic class. Since
hyperbolic closed orbits are dense in the homoclinic class and the index is constant and
equal to d, we can find two different hyperbolic closed orbits 71 and 72 of H, with period
Tip and Tig, where p G 71 and q E 72, such that m(i(7i) = ind{j2) = d and 71 fl [/ 7^ and
72 n l^ 7^ 0. Moreover, since H E TZo, we have that — E .
^g
Fix a; G 7i n f/, y G 72 n y and z E W'''{x) fl W" (y). Thus, there is ri > O such that
• lim X^("^+™"'')(z) = x.
m— >+oo
Then, there is ti > O such that X~^''^"'"''\z) E U and, therefore, z E X^+""^(f/), for
every m E N. Similarly, there is ^2 > O and a small e > O such that Xj^ "'^' '^(2;) G V, for
every n eN and s < e.
TT
Since — G M\Q, observe that the set {miTp + n7r„ + s : m,n E 1j,\s\ < e} contains an
interval of the form [T, +00), for some T > 0. This follows from the transitivity of the
future orbits of irrational rotations of the circle. Hence, for any t > ti+t2 + T, there are
m, rz G N and \s\ < e such that t = ti+t2+rmTp+nTCq+s. Then, Xj^ "''' ^{z) E Xjj{U)nV ,
for any t > ti + ^2 + ^^ So, SH,e,i is a topologically mixing energy hypersurface, for any
1 < i < le Therefore, the Hamiltonian level {H, e) is topologically mixing. D
GENERIC HAMILTONIAN DYNAMICS 23
ACKNOWLEDGEMENTS
The authors were partially supported by FCT  Fundagao para a Ciencia e a Tecnologia
through CMUP: PTDC/MAT/099493/2008. CF was supported by FCT  Fundagao para
a Ciencia e a Tecnologia SFRH/BD/33100/2007.
[1
[2'
[3'
[4;
[6'
[7;
[9
[10
[11
[12
[13:
[14
[15
[16
[17;
[18
[19
[20
[21
References
F. Abdenur, A. Avila and J. Bochi, Rohust transitivity and topological mixing for C^flows. Proc.
Amer. Math. Soc, 132, 3 (2003) 699705.
F. Abdenur and S. Crovisier, Transitivity and topological mixing for C^ diffeomorphisms, Preprint
ArXiv 2011.
R. Abrahani and J. E. Marsden, Foundations of Mechanics. The Benjamin/Cunimings Publishing
Company. Advanced Book Program, 2"'' edition (1980).
W. Ambrose and S. Kakutani, Structure and continuity of measurable flows. Duke Math. J., 9
(1942) 2542.
D. V. Anosov, Geodesic flows on closed Riemannian manifolds of negative curvature. Proc. Steklov
Math. Inst., 90 (1967) 1235.
A. Arbieto and C. Matheus, A pasting lemma and sonie applications for conservative systems.
Erg. Th. & Dyn. Syst., 27 (2007) 13991417.
M.C. Arnaud, Le "closing lemma" en topologie C^. Mcm. Soc. Math. Fr., Nouv. Scrie, 74 (1998)
1120.
M.C. Arnaud, C. Bonatti and S. Crovisier, Dynamigue sympletigues generigues. Erg. Th. & Dyn.
Syst. 25, 5 (2005) 14011436.
L. Arnold, Random Dynamical Systems, SpringerVerlag, New York, 1998.
M. Bessa, A generic incompressible flow is topological mixing. Coniptcs Rendus Matheniatique,
346 (2008) 11691174.
M. Bessa, The Lyapunov exponents of generic zero divergencefree three dimensional vector fields.
Erg. Th. & Dyn. Syst., 27, 6 (2007) 14451472.
M. Bessa, C. Ferreira and J. Rocha, On the stability of the set of hyperbolic closed orbits of a
Hamiltonian. Math. Proc. Camb. Phil. Soc, 149, 2 (2010) 373383.
M. Bessa and J. Lopes Dias, Generic Dynamics of 4Dimensional C^ Hamiltonian Systems. Com
mun. in Math. Phys., 281 (2008) 597619.
M. Bessa and J. Lopes Dias, Hamiltonian elliptic dynamics on symplectic 4^manifolds. Proc.
Amer. Math. Soc., 137 (2009) 585592.
G. BirkhoflF, CoUected Mathematical Papers 13 (New York, 1950).
G. BirkhofF, Dynamical Systems. Amer. Math. Soc. (Providence, RI, 1927).
C. Bonatti and S. Crovisier, Recurrence et genericite. Invent. Math. 158, 1 (2004) 33104.
C. Bonatti, L. Diaz and M. Viana, Dynamics beyond uniform hyperbolicity (SpringerVerlag, New
York, 2005, 288289).
R. Bowen, Eguilibrium States and the Ergodic Theory of Anosov Diffeomorphisms. Lecture Notes
in Math (SpringerVerlag, Berlin, 1975).
L. Markus and K. R. Meyer, Generic Hamiltonian dynamical systems are neither integrable nor
ergodic, Memoirs of the American Mathematical Society, 144. American Mathematical Society,
Providence, R. L, 1974.
Y. Matsumoto. An Introduction to Morse Theory. American Mathematical Society, 2002.
24 M. BESSA, C. FERREIRA, AND J. ROCHA
[22] J. Moscr and E. Zchndcr, Notes on dynamical systems. Courant Lecture Notes in Mathematics, 12.
New York University, Courant Institutc of Mathematical Sciences. Amer. Math. Soc. (Providcnce,
RI, 2005).
[23] J. Oxtoby and S. Ulam, Measurepreserving homeomorphisms and metrical transitivity. Ann. of
Math., 42(2):874920, 1941.
[24] C. Pugh and C. Robinson, The C^ closing lemma, including Hamiltonians. Ergod. Th & Dynam.
Sys. 3 (1983) 261313.
[25] C. Robinson, Generic properties of conservative systems I and II. Amer. J. Math., 92 (1970)
562603.
[26] M. Shub, Global stability of dynamical systems. SpringerVerlag, New York, 1987.
[27] J. C. Yoccoz, Travaux de Herman sur les Tores invariants, Asterisque, 206 Exp: 754, 4 (1992),
311344
[28] L. Wen and Z. Xia, C^ connecting lemmas. Trans. Amer. Math. Soc, 352 (2000) 52135230.
Departamento de Matematica, Universidade da Beira Interior, Rua Marques d'Avila
e bolama, 6201001 covilha portugal.
Email address: bessa@fc.up.pt
Departamento de Matematica, Universidade do Porto, Rua do Campo Alegre, 687,
4169007 Porto, Portugal
Email address: celiam@fc.up.pt
Departamento de Matematica, Universidade do Porto, Rua do Campo Alegre, 687,
4169007 Porto, Portugal
Email address: jrocha@fc.up.pt