Claude Viterbo
email: viterbo@dma.ens.fr

Non-convex Mather's theory and the Conley conjecture on the cotangent bundle of the torus

The aim of this paper is to use the methods and results of symplectic homogenization (see [V4]) to prove existence of periodic orbits and invariant measures with rotation number depending on the differential of the Homogenized Hamiltonian.

Introduction

The symplectic theory of Homogenization, set up in [V4], associates to each Hamiltonian H(t, q, p) on T * T n a homogenized Hamiltonian, H(p), such that H k (t, q, p) = H(kt, kq, p) γ-converges to H(p), where the metric γ has been defined in previous works1 . In other words if we denote by ϕ t the flow associated to the Hamiltonian H, and by ϕ t the flow of H(p) -defined in the completion DH (T * T n ) of the group of Hamiltonian diffeomorphisms of T * T n for the metric γ -then ϕ t is the γ-limit of ρ -1 k ϕ kt ρ k where ρ k (q, p) = (kq, p) and ϕ t is the flow of the Hamiltonian vector field associated to H. The goal of this paper is to draw some dynamical consequences of the homogenization theorem, to prove existence of certain trajectories of the flow ϕ t and then of invariant measures. We also apply this to the Conley conjecture on T * T n . Symplectic Homogenization may be summarized as the following heuristic statement Symplectic Homogenization Principle: The value of any variational problem associated to H k will converge to the value of the same variational problem associated to H.

While the above sentence is vague and does not claim to be a mathematical statement, we hope it carries sufficient meaning for the reader to help him understand the substance of the method used in the present paper.

Notations: We denote by ϕ the time-one flow ϕ 1 , by Φ t the lift of ϕ t to the universal cover R 2n of T * T n . The action of a trajectory γ(t) = (q(t), p(t)) = ϕ t (q(0), p(0)) defined on [0, 1] is A(γ) = 1 0 p(t) q(t) -H(t, q(t), p(t))]dt

The average action for a solution defined on [0, T ] is

A T (γ) = 1 T T 0 p(t) q(t) -H(t, q(t), p(t))]dt
Our goal is to prove the following theorems. The Clarke subdifferential ∂ C H(p) will be defined in section 8.1 (see [Clarke 1]).

Theorem 1.1. Let H(t, q, p) be a compact supported Hamiltonian in S 1 × T * T n , and denote by H(p) its homogenization defined in [V4]. Let α ∈ ∂ C H(p). Then there exists, for k large enough, a solution of ϕ k (q k , p k ) = (q k + kα k , p k ) (with lim k α k = α) and average action

A k = 1 k k 0 [γ * k λ -H(t, γ k (t))]dt
where γ k (t) = ϕ t (q k , p k ). Moreover as k goes to infinity A k converges to

lim k A k = p, α -H(p)
Therefore for each α ∈ ∂ C H(p) there exists an invariant measure µ α with rotation number α and average action

A(µ α ) def = T * T n
[p ∂H ∂p (q, p) -H(q, p)]dµ α = p, α -H(p).

First of all, remember that a measure is invariant if (ϕ 1 ) * (µ) = µ. Of course the Liouville measure ω n is invariant, and since ϕ is compact supported, we may truncate ω n to χ(|p|) • ω n , where χ(r) equals 1 if the support of ϕ is contained in {(q, p) | |p| ≤ r}. This gives a large family of invariant measures. However, as explained in [Ma], page 176, the rotation number of such a measure is the element of H 1 (T n , R) given by duality by the map

ρ(µ) :H 1 (T n , R) -→ R λ -→ T * T n λ(q), ∂H ∂p dµ = T * T n n j=1 λ j ∂H ∂p j dµ
But for µ = χ(|p|)ω n , using Stoke's formula, and the fact that the support of H is contained in {(q, p) | χ(|p|) = 1}, we have

T * T n λ(q), ∂H ∂p ω n = T * T n n j=1
∂ ∂p j (λ j (q)H(q, p))ω n = 0 since H is compact supported. Therefore ρ(ω n ) = 0. Moreover the average action of this measure is given by

T * T n [p ∂H ∂p (q, p) -H(q, p)]ω n = T * T n n j=1
∂ ∂p j (p j H(q, p)) -(n + 1)H(q, p) ω n = -(n + 1) Cal(ϕ)

where Cal(ϕ) is the Calabi invariant of ϕ. We shall see that this is at most one of the many invariant measures we find. Indeed, if α = 0, A(µ 0 ) = -H(p 0 ), where p 0 is a critical point of H. If H(p 0 ) = -(n + 1) Cal(ϕ), a generic property, none of the measures given by the main theorem is of the form χ(p)ω n . Otherwise, at most one of them, µ 0 is of the form χ(p)ω n . We shall also need to define ∂ C H(p) since as we pointed out in [V4], we cannot hope that H is better than C 0,1 . It is thus important to figure out the set ∂H(p) when H is not differentiable at p. Remember also that H coincides with Mather's α function when H is strictly convex in p (see [V4], section 13.1), but in this case the set of values of ∂ C H(p) as p describes R n is the whole of R n , so we get any rotation number, as expected from standard Aubry-Mather theory (see [Ma]). This may be generalized to Corollary 1.2. Let H(t, q, p) be a coercive Hamiltonian on T * T n . Then H is coercive, so that for any α ∈ R n , we may find an invariant measure for the flow, with rotation number α.

The main idea of the proof is to formulate the existence of intersection points in Φ k ({q 0 } × R n ) ∩ ({q 0 + kα} × R n ) as a variational problem and apply our heuristic principle -i.e. that a variational problem involving H k must converge to the variational problem involving H.

Another consequence of our methods will be Theorem 1.3. Let us assume H(t, q, p) is a compact supported Hamiltonian on T * T n .

(a). Assume H ≡ 0. Then there exists infinitely many distinct non-contractible periodic orbits for ϕ 1 (b). Assume H ≡ 0. Then there exists infinitely many geometrically distinct contractible periodic orbits for ϕ 1 contained in the support of H, and moreover there exists a constant C such that

#{x ∈ supp(H) | ∃k ∈ [1, N ] | ϕ k (x) = x} ≥ CN
Note that both cases: non-existence of contractible non-trivial periodic orbits (think of the geodesic flow for the flat metric) and non-existence of noncontractible ones (for example if supp(H) is contractible) are possible. Our result could be considered a generalization of the main result in [BPS], where the first statement is proved under the assumption that H is bounded from below on a certain Lagrangian submanifold. But this assumption implies, according to [V4] that H is nonzero. The Conley's conjecture proved by N. Hingston on T 2n and on more general manifolds by V. Ginzburg (see [Hi], [Gi]) yields existence of infinitely many contractible periodic orbits for a Hamiltonian on (M, ω). For Lagrangian systems in the cotangent bundle of a compact manifold, the analogous statement was proved by Y. Long and G.Lu ([L-L]) for the torus and by G. Lu ([Lu]) in the general case (see also [A-F], and [Mazz]).

Remark 1.4. If ϕ t (x) is an orbit of period k, we denote by ν(x, ϕ) the vector obtained by considering the q component of 1 k (Φ k (q, p)-(q, p)) ∈ 1 k Z 2n . Then if H = 0, we shall prove that the set of limit sets of ν(x, ϕ) as x belongs to the set of k-periodic orbits is a subset Ω(ϕ 1 ) ⊂ R n of non-empty interior.

A final comment is in order. In the convex case, Aubry-Mather theory makes two Claims: (a). existence of the invariant measure with given rotation number (b). the support of this invariant measure is a Lipschitz graph over the base of the cotangent bundle While we believe that the present work gives the right extension of the first statement to non-convex situations (for the moment only in T * T n and not in a general cotangent bundle, see however [Vic1] for cotangent bundles and [Bi] for general symplectic manifolds), we say nothing close to the second statement. Of course starting from a convex Hamiltonian and applying a conjugation by a symplectic map, the support of the invariant measure will be the image by the conjugating map of a Lipschitz graph, and obviously this will not be -in general -a graph. However other statements could make sense. One plausible conjecture is to look at the action of ϕ t over L, the Humilière completion of the set L of Lagrangians submanifolds for the γmetric. Indeed, the group of Hamiltonian diffeomorphisms acts on this set (since a Hamiltonian diffeomorphism acts as an isometry for γ, over L, hence acts over its completion). If there is an element L, in L fixed by ϕ t , then L is not a Lagrangian, but u L (x) is a continous function, well-defined, and Lipschitz, hence differentiable a.e. The set of points (x, du L (x)) where u L is differentiable may then be invariant by the flow ϕ t . Note that the approach in this paper is very far from this conjecture, since we obtain the invariant measure as a limit of measures supported on trajectories, and there is no obvious way to make this into an element in L.

2 Aubry-Mather theory for non-convex Hamiltonians

Proof of theorem 1.1. 2 Remember that H(p) is the limit of h k (p) where h k (p) = c(µ q ⊗ 1 p , Γ k ), where Γ k = {(q, P k (q, p), p -P k (q, p), Q k (q, p) -q) | ϕ k (q, p) = (Q k (q, p), P k (q, p))} and ϕ k = ρ -1 k ϕ k ρ k and Γ k is a Lagrangian submanifold in T * (T n × R n ). Note that if S k (q, P, ξ) is a G.F.Q.I. for Γ k ⊂ T * (T n × R n ), h k (p)
is by definition the critical value associated to class µ q of (q, P ) → S k (q, P, ξ) (see [V4]). If the selector h k is smooth at P , i.e. there is a smooth map P → (q(P ), ξ(P )) such that ∂S k ∂q (q(P ), P, ξ(P )) = 0 = ∂S k ∂ξ (q(P ), P, ξ(P ))

and S(q(P ), P, ξ(P )) = h k (P ), we have

α k = dh k (P ) = ∂S k ∂P (q(P ), P, ξ(P ))
so that the point of Γ k corresponding to (q(P ), P, ξ(P )) is (q(P ), P, 0, α k ), which translates into ϕ k (q(P ), P ) = (q(P ) + α k , P ), hence ϕ k (k • q(P ), P ) = (k • q(P ) + k • α k , P ), and the trajectory γ k = {ϕ kt (q(P ),

P ) | t ∈ [0, 1]} yields a normalized measure µ k , such that |(Φ 1 ) * (µ k ) -µ k | ≤ 2 k . Now in general h k and H are not smooth at P . However if α k ∈ ∂ C h k (p k ),
we have that (α k , p k ) belongs to Conv x (Γ k ) (see lemma 8.3 for the definition of Conv x (Γ k ) and the proof of the statement), which means that there are α j k such that (q j (p k ), p k , 0,

α j k ) ∈ Γ k and α k is in the convex hull of the α j k . That is ϕ k (k • q j (p k ), p k ) = (k • q j (p k ) + k • α j k , p k ).
Note that by Caratheodory's theorem, we may limit ourselves to 1 ≤ j ≤ n + 1, and taking subsequences, we can assume that if α = lim k α k we have α j = lim k α j k , and α is in the convex hull of the α j . Now setting γ j k = {ϕ kt (q j (P ), P ) | t ∈ [0, 1]}, the 1 k [γ j k ] converge as measures to the probability measure µ j , with rotation number α j and action p ∞ , α j -H(p ∞ ), so the action of the convex hull of these measures contains a measure with rotation number α and action p ∞ , α -H(p ∞ ).

Strong convergence in Symplectic homogenization

The goal of this section is to improve the convergence result of [V4]. Remember that we defined the sequence

ϕ k = ρ -1 k ϕ k ρ k where ρ k (q, p) = (k • q, p). Note that ρ -1
k is not well-defined, but ϕ k is well defined if ϕ is Hamiltonianly isotopic to the identity, as the unique solution of ρ k ϕ k = ϕ k ρ k obtained by continuation starting from ϕ = ϕ k = Id.

Indeed instead of γ-convergence, we shall prove the following result that we call h-convergence (h stands for homological) and prove that Theorem 3.1. Let a < b be real numbers, L 1 , L 2 be lagrangian submanifolds Hamiltonianly isotopic to the zero section. There is a sequence (ε k ) k≥1 converging to zero, and maps

i a,b k : F H * (ϕ k (L 1 ), L 2 ; a, b) -→ F H * (ϕ(L 1 ), L 2 ; a + ε k , b + ε k ) and j a,b k : F H * (ϕ(L 1 ), L 2 ; a, b) -→ F H * (ϕ k (L 1 ), L 2 ; a + ε k , b + ε k )
such that in the limit of k going to infinity

i a+ε k ,b+ε k k • j a,b k : F H * (ϕ(L); a, b) -→ F H * (ϕ(L); a + 2ε k , b + 2ε k )
converges to the identity as k goes to infinity. Moreover the maps i a,b k , j a,b k are natural, that is the following diagrams are commutative for a < b, c < d

satisfying a < c, b < d F H * (ϕ k (L 1 ), L 2 ; c, d) i c,d k / / F H * (ϕ(L 1 ), L 2 ; c + ε k , d + ε k ) F H * (ϕ k (L 1 ), L 2 ; a, b) i a,b k / / F H * (ϕ(L 1 ), L 2 ; a + ε k , b + ε k ) F H * (ϕ(L), c, d) j c,d k / / F H * (ϕ k (L), c + ε k , d + ε k ) F H * (ϕ(L), a, b) j a,b k / / F H * (ϕ k (L 1 ), L 2 ; a + ε k , b + ε k )
where the vertical maps are the natural maps.

Remarks 3.2. (a). ϕ(L) is not a Lagrangian, it is an element in the completion L for the γ-metric of the set L of Lagrangians Hamiltonianly isotopic to the zero section. We must prove that F H * (ϕ(L); a, b) makes sense in this situation. This was already noticed in [V2], and we shall be more precise about that in section 4.

(b). The results in [V4] imply that ϕ k × Id γ-converges to ϕ × Id, so if L is the graph of a Hamiltonian map, ψ, we get that the result in the proposition still holds with ϕ k (L) and ϕ(L) replaced by ϕ k ψ and ϕψ. To prove Theorem 3.1, we shall use Lisa Traynor's version of Floer homology as Generating function homology (see [Tr], and [V3] for the proof of the isomorphism between Floer and Generating Homology). We will in fact compare the relative homology of generating functions corresponding to ϕ(L) and ϕ k (L). For this we need to consider as in [V4] for S 1 (x, η 1 ), S 2 (x, η 2 ), GFQI respectively for L 1 and L 2 , and F k (x, y, ξ) a GFQI for ϕ k . This means that ϕ k is determined by

ϕ k x + ∂F k ∂y (x, y, ξ), y = x, y + ∂F k ∂x (x, y, ξ) ⇔ ∂F k ∂ξ (x, y, ξ) = 0 and G k (x; y, u, ξ, η) = S 1 (u; η) + F k (x, y, ξ) + y, x -u -S 2 (x, η 2 ) a generating function of ϕ k (L 1 ) -L 2 . Similarly if h k (y) = c(µ x ⊗ 1(y), F k )
and ϕ k the flow of the integrable Hamiltonian h k . we have the following "generating function" of

ϕ k (L 1 ) -L 2 G k (u; x, y, η) = S 1 (u; η 1 ) + h k (y) + y, x -u -S 2 (x, η 2 ) Remember from [V4] that the sequence (h k ) k≥1 C 0 -converges to H.
First of all we have Definition 3.3.

F k (x, y; ξ) = 1 k S(kx, p 1 ) + k-1 j=2 S(kq j , p j ) + S(kq k , y) + B k (x, y, ξ) -y, x = 1 k S(kx, p 1 ) + k-1 j=2 S(kq j , p j ) + S(kq k , y) + B k (x, y, ξ)
where

B k (q 1 , p k ; p 1 , q 2 , • • • , q k-1 , p k-1 , q k ) = and B k (x, y, ξ) = B k (x, y, ξ) -y, x . We then set h k (y) = c(µ x , F k,y ) = c(µ x ⊗ 1(y), F k ) where F k,y = F k (x, y; ξ). Lemma 3.4. Let Γ be a cycle in H * (G b k , G a k ).
Then there is a sequence ε k of positive numbers converging to 0 such that there exists a cycle

Γ × Y C - where C -= y C -(y) where C -(y) is a cycle homologous to T n x × {y} × E - k such that F k (x, y, ξ) ≤ h k (y) + aχ j δ (y) + ε k whenever (x, y, ξ) ∈ C -.
Proof. The proof of the lemma follows the lines of the proof of proposition 5.13 in [V4]. Let F k (u, y; ξ) be a GFQI for Φ k , and S j (u; η j ) a GFQI for L j , so that

G k (x; u, y, ξ, η) = S 1 (u; η 1 ) + F k (x, y; ξ) + y, x -u -S 2 (x, η 2 ) is a GFQI for Φ k (L 1 ) -L 2 , and similarly for G k (x; u, y, η) = S 1 (u; η 1 ) + h k (y) + y, x -u -S 2 (x; η 2 ) a GFQI for Φ k the time-one flow for h k (y), where h k (y) = c(µ x ⊗ 1(y), F k ), and lim k h k (y) = H(y) by assumption. Since h k (y) = c(µ x ⊗ 1(y), F k ), this means there exists a cycle C -(y) with [C -(y)] = [T n x × E - k ] in H * (F ∞ k,y , F -∞ k,y ), and h k (y) -ε ≤ sup (x,ξ)∈C -(y) F k (x, y, ξ) ≤ h k (y) + ε
Assume first, as we did in [V4] that we can choose the map y -→ C -(y) to be continuous. Set C -= y {y}×C -(y). Let then Γ be cycle representing

a nonzero class in H * (G b k , G a k ), and consider the cycle Γ × Y C -= {(x, u, y, ξ, η) | (x, ξ) ∈ C -(y), (x, u, y, η) ∈ Γ} Then G k (Γ × Y C -) ≤ b + ε and since ∂(Γ × Y C -) = ∂Γ × Y C -, we have G k (∂Γ × Y C -) ≤ a + ε so that Γ × Y C -represents a homology class in H * (G b+ε k , G a+ε k ). We must now prove that if Γ is a nonzero class in H * (G b k , G a k ) for k large enough, then [Γ × Y C -] is nonzero in H * (G b+ε k , G a+ε k ). Indeed, denoting by f ≥λ the set {x | f (x) ≥ λ}, let Γ be a cycle in H * (G ≥a k , G ≥b k ) such that Γ • Γ = k = 0. Such a cycle exists by Alexander duality. Let C + (y) be such that [C + (y)] = [pt × E + k ] so that C -(y) • C + (y) = {pt} and such that inf{F k (u, y, ξ) | (u, ξ) ∈ C + (y)} ≥ h k (y) -ε
We assume again that C + (y) depends continuously on y.

Then [Γ × Y C + ] • [Γ × Y C -] = [(Γ • Γ) × Y (C + ∩ C -)] = {pt} × {pt} = 0 And since Γ × Y C + ⊂ G ≥a k and ∂(Γ × Y C + ) = (∂Γ × Y C + ) ⊂ G ≥b k we get that there is a class in H * (G ≥a k , G ≥b k ) such that it has nonzero intersection with the class [Γ × Y C -] in H * ((G b+ε k , G a+ε k )
. This implies that H * ((G b+ε k , G a+ε k ) = 0. This argument holds provided the cycles C ± (y) can be chosen to depend continuously on y, which is not usually the case. So our argument must be modified as we did in [V4]. Here is a detailed proof. As in [V4] we need the Lemma 3.5. Let F (u, x) be a smooth function on V × X such that there exists f ∈ C 0 (V, R) such that for each u ∈ V , there exists a cycle C(u) ⊂ {u} × V representing a fixed class in H * (X) with F (u, C(u)) ≤ f (u). Then for any ε > 0 there is a δ > 0 so that for any subset U in V , such that each connected component of V \ U has diameter less than δ, there exists a cycle C in H * (V × X) and a constant a, depending only on F , such that if we denote by

C(u) the slice C ∩ π -1 (u) (π : V × X -→ X is the first projection) we have [ C(u)] = [C(u)] in H * (X) and F (u, C(u)) ≤ f (u) + aχ U (u) + ε
Proof. Continuity of F implies that if we take C(u) to be locally constant in V \ U , the inequality F (u, x) ≤ f (u) + ε will be satisifed for (u, x) ∈ {u} × C(u 0 ), where u, u 0 are close enough. Assume first that V is one dimensional, so that we take for V \ U a union of simplices, and for U the neighbourhood of 0-dimensional faces (i.e. vertices). Assume C is defined over u ∈ T j , and denote by C j (u) the set C ∩ π -1 (u), where the T j are edges, but do not coincide on the intersections, for example on T 1 ∩T 2 . However on

u 0 ∈ T 1 ∩T 2 , we have that C 1 (u 0 ) = C 1 (u 0 ) while [ C 1 (u 0 )] = [ C 2 (u 0 )] in H * (X). We then write C 1 (u 0 ) -C 2 (u 0 ) = ∂C 1,2 (u 0 ) where F (u 0 , C 1,2 (u 0 )) ≤ a 1
We now repeat this procedure on any adjacent pair of edges, and write

C = u∈T j C j (u) i =j,u∈T i ∩T j C i,j (u) Clearly C ∩ π -1 (u) = C(u) for a generic u, and F (u, C(u)) ≤ f (u) + a 1 .
In the general case, we start with the top dimensional simplices, and argue by induction on the dimension of the simplices.

We thus return to our original problem, and consider C but now the inequality

h k (y) -ε ≤ sup (u,ξ)∈C -(y) F k (u, y, ξ) ≤ h k (y) + ε
only holds outside a set U 2δ , where U δ in a neighborhood of a fine grid in R n , while we have the general bound sup

(u,ξ)∈C -(y) F k (u, y, ξ) -h k (y) ≤ aχ δ (y) + ε
where χ δ is 1 in U δ and vanishes outside U 2δ . Now we consider different such continuous families, corresponding to function χ δ j , such that their supports U δ j have no more than n + 1 nonempty intersections.

We can then use F k to write a generating function for Φ k (L 1 ) -L 2 (see [V4]):

G ,k (x 1 ; v, x, y, ξ, η) = S 1 (u, η 1 ) + 1 j=1 F k ( x j , y j , ξ j ) + Q (x, y) + y -v, u -x 1 -S 2 (x 1 , η 2 )
where

Q (x, y) = Q (x 1 , y k ; y 1 , x 2 , • • • , x -1 , y -1 , x ) = -1 j=1 y j -y j+1 , x j -x j+1 + y , x 1
We then consider

G ,k (x 1 , u; x, y, η) = S 1 (u, η 1 ) + 1 j=1 (h k (y j ) + aχ δ j (y j )) + Q (x, y) + y -v, u -x 1 -S 2 (x 1 , η 2 )
From now on we shall assume ε << b -a. Let Γ be a cycle in a nonzero homology class in H * (G b ,k , G a ,k ), and consider the cycle ). We still have to identify the limit as k goes to infinity of

(Γ × Y C -[ ]) = (u; x, y, ξ, η 1 , η 2 ) | (u, x, y, η) ∈ Γ, ( x j , ξ j ) ∈ C - j (y j ) . It is contained in G b+ε ,k ,
H * (G b ,k , G a ,k ) with H * (G b , G a ). Let K δ ,k = 1 j=1 h k (y) + a k χ δ j (y) .
be a Hamiltonian with flow Ψ k, ,δ . Clearly G ,k is a generating function for Ψ k, ,δ (L 1 ) -L 2 . Now at most (n + 1) of the supports of χ δ j intersect, so that

|K δ ,k (y) -h k (y)| ≤
A and this difference goes to zero as goes to infinity and since h k (y) converges to H(y), thus for k, large enough, we have

|K δ ,k (y) -H(y)| ≤ ε k,
This classically implies ([V2], proposition 1.1 and Remark 1.2) that the map

F H * (Φ(L 1 ), L 2 ; a, b) -→ F H * (Ψ ,k,δ (L 1 ), L 2 ; a + ε, b + ε) H * (G b+ε ,k , G a+ε ,k
) is an isomorphism in the limit ε -→ 0, so we finally get a map

F H * (Φ(L 1 ), L 2 , a, b) -→ H * (G b+ε ,k , G a+ε ,k ) F H * (Φ k (L 1 ), L 2 ; a + ε, b + ε)
This concludes the construction3 of j a,b k . Now the same argument can be carried out replacing ϕ by ϕ -1 and exchanging L 1 and L 2 . Note that by Poincaré duality

F H * (ϕ -1 k (L 2 ), L 1 ; a, b) F H * (L 2 , ϕ k (L 1 ); a, b) F H - * (ϕ k (L 1 ), L 2 ; -b, -a)
One may check directly that the Floer complex associated to (L 2 , ϕ(L 1 )) is the same as the one associated to (ϕ(L 1 ), L 2 ) but the action filtration has the opposite sign, the indices also change sign, and the differential is reversed: the coefficients of δx, y now become those of δ * y, x : in other words we replace the matrix of the coboundary operator by its adjoint.

From the above construction, we have a map from

a,b k : F H * ((ϕ) -1 (L 2 ), L 1 ; -b, -a) -→ F H * (ϕ -1 k (L 2 ), L 1 ; -b + ε k , -a + ε k )
Note that here we use the fact that ϕ -1 = (ϕ) -1 , or equivalently -H = -H, a crucial point proved in [V4], proposition 5.14. The above map is in fact a map

a,b k : F H - * (ϕ(L 1 ), L 2 ; a, b) -→ F H - * (ϕ k (L 1 ), L 2 ; a -ε k , b -ε k )
Now we have the non degenerate Poincaré duality

F H * (Λ 1 , Λ 2 ; a, b) ⊗ F H - * (Λ 1 , Λ 2 ; a, b) -→ Z and we have for u, v ∈ F H - * (ϕ(L 1 ), L 2 ; a, b) the identity j a,b k (u), a,b k (v) = u, v and setting i a,b k = ( a,b k ) * we have j a+ε k ,b+ε k k • i a,b k : F H * (ϕ -1 (L); a, b) -→ F H * (ϕ(L); a + 2ε k , b + 2ε k )
converging to the identity as k goes to +∞.

Remark 3.6. In terms of barcodes (see [Z-C, PolShel, LNV]), this means that the barcodes of ϕ 1 k converge to the barcode of ϕ 1 .

4 Floer cohomology for C 0 integrable Hamiltonians

Let H(p) be a smooth integrable Hamiltonian. Then the corresponding flow is (q, p) → (q + t∇H(p), p). If we consider its graph {(q, p, Q, P ) | (Q, P ) = ϕ 1 (q, p)} and its image by (q, p, Q, P ) → (q, P P -p, q -Q) is Γ H = {(q, p, 0, ∇H(p))} and has S(x, y) = H(y) as generating function (with no fibre variable). In the following proposition, we refer to Appendix 8 for the definitions of ∂ C and d s .

Proposition 4.1. If α ∈ d s H(p) and c = H(p), we have

F H * (Γ Hα , 0 T n ×R n ; c + ε, c -ε) = 0
Proof. Indeed, since S(x, y) = H(y) is a generating function for Γ H , we have that S α (x, y) = H(y) -y, α is a generating function for Γ Hα . So we have F H * (Γ Hα , 0

T n ×R n ; c + ε, c -ε) = H * (H c+ε α , H c-ε α ). By definition this is non-zero if α ∈ d s H(p). Let u ∈ R n and set Λ u = {(x, y, X, Y ) | X = 0, Y = u}. Now let f u,C (x, y) = u, y χ( y C
) where χ(y) = 1 for |y| ≤ 1, and vanishes for |y| ≥ 2. Then ∂f u,C ∂x (x, y) = 0 and

∂f u,C ∂y (x, y)) = u for |y| ≤ C, so H u (y) = H(y) - f u,C (x, y) coincides with H u in {(x, y, ξ, η) | |y| ≤ C} Λ u = {(x, y, ∂f u,C ∂x (x, y), ∂f u,C ∂y (x, y)) | (x, y) ∈ T n × R n } coincides with Λ u in {(x, y, ξ, η) | |y| ≤ C}, so Λ u ∩ Γ H = Λ u ∩ Γ H , provided the Lipschitz constant of H is less than C.
The following is a consequence of the above remarks :

Corollary 4.2. If u ∈ R n is such that u ∈ d s H(p), then F H * (Γ H , Λ u , c+ε, c-ε) = F H * (Γ H , Λ u , c+ε, c-ε) = F H * (Γ Hu , 0 T n ×R n ; c+ε, c-ε) = 0
5 A proof of the weak Conley conjecture on T * T n .

Proof. Let us consider now the case of periodic orbits and prove Theorem 1.3. Let α be a rational vector. We write α = u v with u ∈ Z n , v ∈ N * mutually prime. We need to find fixed points of Φ kv -ku that will yield periodic orbits of Φ of period kv and rotation number u v . This is equivalent to finding fixed points of ρ

-1 k Φ kv ρ k -u = Φ v k -u. If Γ v k is the graph of Φ v k that is Γ v k = (q, P k (q, p), P k (q, p) -p, q -Q k (q, p)) | (Q k , P k ) = Φ v k (q, p)}
and we look the points in

Γ v k ∩ Λ u where Λ u = {(x, y, X, Y ) | X = 0, Y = u}, as before, f u,C (x, y) = u, y χ( y C
) where χ = 1 for |y| ≤ 1, and vanishes for |y| ≥ 2, and

Λ u = {(x, y, ∂f u,C ∂x (x, y), ∂f u,C ∂y (x, y)) | (x, y) ∈ T n × R n } We claim that for C large enough, Γ v k ∩ Λ u ⊂ Γ v k ∩ Λ u ∪ 0 T n ×R n . Indeed, Λ u and Λ u coincide in {(x,
(Γ k , Λ u , c -ε, c + ε) = F H * (Γ v k , Λ u , c -ε, c + ε) we have a fixed point with action in [c -ε, c + ε]. Now F H * (Γ v , Λ u , a, b) = H * (v • H(y) -f u,C (x, y); a, b) = = H * (v • H u/v ; a, b) = H * (H u/v , a v , b v )
where

H u (y) = H(y)-u, y , hence H * (H u/v ; c/v-ε, c/v+ε) = 0 is equivalent to the existence of p such that d s H(p) = u/v and H u (y) = c/v according to Appendix 8.
Let us now consider a Hamiltonian H and let H be the homogenized Hamiltonian. We refer to [V1] for the defintion of the capacities c ± . Assume first that H = 0, this means in particular that lim k

1 k c ± (ϕ k ) = 0. But since c + (ϕ) = c -(ϕ) = 0 if
and only if ϕ = Id, there is an infinite sequence of k such that either c + (ϕ k ) > 0 or c -(ϕ k ) < 0. Replacing ϕ by ϕ -1 we may always assume we are in the first case. Then the fixed point

x k corresponding to c + (ϕ k ) is such that its action, A(x k , ϕ k ) = c + (ϕ k ). In case x k is the fixed point of ϕ, we get that A(x k , ϕ k ) = k • A(x k , ϕ). More generally if x = x pj = x pk we get 1 pj A(x, ϕ pj ) = 1 pk A(x, ϕ pk ), so 1 pj c + (ϕ pj ) = 1 pk c + (ϕ pk ), but since the sequence 1 k c ± (ϕ k
) is positive and converges to zero, it is non constant and takes infinitely many values. Thus, there are infinitely many fixed points. In particular, we may as in [V1] (prop 4.13, page 701) show that the growth of the number of fixed points is at least linear, that is for some constant C, we have

#{x | ∃k ∈ [1, N ] | ϕ k (x) = x} ≥ CN
Assume now that H = 0. Then the set {d s H(p) | p ∈ R n } has nonempty interior according to lemma 8.3 of section 8. There are thus infinitely many rational, non-colinear values of α such that we have a periodic orbit of rotation number α.

On the ergodicity of the invariant measures

We consider the subsets in R n+1 given by

R(H) = {(α, p, α -H(p)) | α ∈ ∂ C H(p)} and R(H) = {(α, A) | ∃µ, ρ(µ) = α, ϕ * H (µ) = µ, A H (µ)
= A} Note that it follows from the computations in the previous section that these definitions are compatible, that is

R(H) = R(H)
We proved in the previous sections that R(H) ⊂ R(H). Moreover for each element in R(H) there is a well defined measure µ α,A such that ρ(µ

α,A ) = α, ϕ * H (µ α,A ) = µ α,A , A H (µ α,A ) = A.
We want to figure out whether the measures thus found are ergodic, or whether we can find the minimal number of ergodic measures. Indeed, we assume there are ergodic measures µ 1 , ..., µ q generating all the measures we obtained. For this, we need the measures we found to be contained in a polytope with q vertices. Since we know that the projection of R(H) on R n contains an open set , we must have q ≥ n + 1. If moreover R(H) contains an open set in R n+1 , necessarily we shall have q ≥ n + 2. We could also consider a simpler question: among the invariant measures we found, which ones can be considered combination of others ? Clearly, we can consider the convex hull of R(H): then extremal points of this hull cannot be in the convex combinations of the same. This provides a lot of such measures, for example if R(H) is strictly convex.

The case of non-compact supported Hamiltonians

A priori our results only deal with compact supported Hamiltoanians. However the same truncation tricks as in [V4] allow one extend homogenization to coercive Hamiltonians and to prove the following statements whose proofs are left to the reader Theorem 7.1. Let H(t, q, p) be a coercive Hamiltonian in S 1 × T * T n , and denote by H(p) its homogenization defined in [V4]. Let α ∈ ∂ C H(p). Then there exists, for k large enough, a solution of ϕ k (q k , p k ) = (q k + kα k , p k ) (with lim k α k = α) and average action

A k = 1 k k 0 [γ * k λ -H(t, γ k (t))]dt
where γ k (t) = ϕ t (q k , p k ). Moreover as k goes to infinity A k converges to

lim k A k = p • α -H(p)
Therefore there exists an invariant measure µ α with rotation number α and average action

A(µ α ) def = T * T n [p ∂ C H ∂p (q, p) -H(q, p)]dµ α = p • α -H(p).
In particular for H(q, p) strictly convex in p, we have that H(p) is also convex in p and so for each α there exists a unique p α such α ∈ ∂H(p). Note that in this case Mather's theory is much more complete, and tells us that the measure obtained are minimal, and are the graph of a Lipschitz function over a subset of T n .

8 Appendix: Critical point theory for nonsmooth functions and subdifferentials of invariant measures to the values corresponding to regular points is not an option, since even in the convex case, the function H has generally dense subsets of non-differentiable values. We shall deal with two situations. The first one corresponds to Lipschitz functions: these occur as homogenization of C 1 (or Lipschitz) Hamiltonians, which are the only ones we encounter in practice. This is the subject of the first subsection, and uses analytic tools, basically a notion of subdifferential and a suitable version of the Morse deformation lemma. The second one applies to any continuous function. It is best suited to our general line of work, and in principle allows us to use the main theorem in the case of Hamiltonians belonging to the Humilière completion, even though one should formalize the notion of invariant measure for such objects.

Analytical theory in the Lipschitz case

While the critical point theory has been studied for (smooth and non-smooth) functionals on infinite dimensional spaces, we shall here restrict ourselves to the finite dimensional case. First assume f is Lipschitz on a smooth manifold M . Then we define Definition 8.1. Let f be a Lipschitz function. The vector w is in

∂ C f (x) the Clarke differential of f at x, if and only if ∀v ∈ E lim sup h→0,λ→0 1 λ [f (x + h + λv) -f (x + h)] ≥ w, v
The following proposition describes the main properties of Chang]). We have the following properties:

∂ C f Proposition 8.2 ([Clarke 2,
(a). ∂ C f (x) is a non-empty convex compact set in T * x M (b). ∂ C (f + g)(x) ⊂ ∂ C f (x) + ∂ C g(x) (c). ∂ C (αf )(x) = α∂ C f (x) (d). The set-valued mapping x -→ ∂ C f (x) is upper semi-continuous. The map x -→ λ f (x) = min w∈∂ C f (x) |w| is lower semi-continuous. (e). Let ϕ ∈ C 1 ([0, 1], X) then f • ϕ is differentiable almost everywhere (according to Rademacher's theorem) hence h (t) ≤ max{ w, ϕ (t) | w ∈ ∂ C f (ϕ(t))}
Definition 8.3. Let f be a Lipschitz function. We define the set of critical points at level c as

K c = {x ∈ f -1 (c) | 0 ∈ ∂f (x)}. We set λ f (x) = inf w∈∂f (x) w } Definition 8.4.
Let f be a Lipschitz function. We shall say that f satisfies the Palais-Smale condition if for all c, a sequence (x n ) such that f (x n ) -→ c and lim n λ f (x n ) = 0 has a converging subsequence.

The crucial fact is the existence of a pseudo-gradient vector field in the complement of K c . We denote by N δ (K c ) a δ-neighbourhood of K c . Lemma 8.5 (Lemma 3.3 in [Chang]). There exists a Lipschitz vector field

v(x) defined in a neighborhood of B(c, ε, δ) = (f c+ε -f c-ε )\N δ (K c ) such that v(x) ≤ 1 and v(x), w ≥ b 2 for all w ∈ ∂f (x), where 0 < b = inf{λ f (x) | x ∈ B(c, ε, δ)}.
From this we see that following the flow of the vector field v, if c is a cycle representing a homology class in H * (U ∩ f c+ε , U ∩ f c-ε ) for ε small enough, then the flow of v applied to c shows that c is homologous to a cycle in U ∩ f c-ε , hence c is zero. This brings us to the following subsection.

Topological theory (according to [Vic2])

Let f be a continuous function on X. We define a strict critical point of f , as follows Definition 8.6. Let f be a continuous function. We define the set of strict critical points at level c as the set of points such that lim

U x lim ε→0 H * (U ∩ f c+ε , U ∩ f c-ε ) = 0 If f -1 (c) contains a critical point, it is called a critical level.
Other points are called weakly regular points.

For example even if f is smooth, this does not coincide exactly with the usual notion of critical and regular point. For example if f (x) = x 3 , the origin is critical but weakly regular, since there is not topological change for the sublevels of f at 0. . From the above lemma the first part of the following proposition follows Proposition 8.7. Let f be Lipschitz and satisfy the Palais-Smale condition above. Then strict critical points at level c are contained in K c . Moreover if f has a local maximum (resp. minimum) at x, then x is a strict critical point.

Proof. The second statement follows obviously from the fact that for a local minimum, that is a strict minimum in U , we have

H 0 (f c+ε ∩ U, f c-ε ∩ U ) = H 0 (f c+ε ∩ U, ∅) = 0 since f c+ε ∩ U is non-empty.
Definition 8.8. We denote by d t f (x) the set of p such that f (x) -p, x has a strict critical point at x. This is called the topological differential at x. The set of all limits of d t f (x n ) as x n converges to x is denoted by D t f (x).

Remark 8.9. The set D t f (x) coincides with ∂f (x) as defined in Definition 3.6 of [START_REF] Vichery | Homological differential calculus[END_REF].

Proposition 8.10. The set

D t f (x) is contained in ∂ C f (x) and the convex hull of D t f (x) equals ∂ C f (x).
Proof. This is theorem 3.14 and 3.20 of [START_REF] Vichery | Homological differential calculus[END_REF].

The above notion is analogous to the one defined using microlocal theory of sheafs of [K-S], as is explained in [START_REF] Vichery | Homological differential calculus[END_REF]. Indeed, the singular support of a sheaf is a classical notion in sheaf theory (see [K-S]), defined as follows:

Definition 8.11. Let F be a sheaf on X. Then (x 0 , p 0 ) / ∈ SS(F ) if for any p close to p 0 , and ψ such that p = dψ(x) and ψ(x) = 0 we have

RΓ({ψ ≤ 0}, F) x = 0 This is equivalent to lim W x H * (W, W ∩ {ψ ≤ 0}; F) = 0.
The connection between the two definitions is as follows. Consider the sheaf F f on M × R that is the constant sheaf on {(x, t) | f (x) ≥ t} and vanishes elsewhere. Then SS(F f ) = {(x, t, p, τ ) | τ D t f (x) = p}. It is not hard to see that as expected, SS(F f ) is a conical coisotropic submanifold.

It follows from the sheaf theoretic Morse lemma from [K-S] (Corollary 5.4.19, page 239) that Proposition 8.12. Let f be a continuous function satisfying the Palais-Smale condition above. Let us assume c is a regular level. Then for ε small enough, H * (f c+ε , f c-ε ) = 0.

Proof. Let k X be the sheaf of locally constant functions. Then according to the sheaf-theoretic Morse lemma,

RΓ(f c+ε ; k X ) -→ RΓ(f c+ε ; k X )
is an isomorphism, but this implies by the long exact sequence in cohomology that H * (f c+ε , f c-ε ) = 0.

Finally we have

Proposition 8.13. Let f be a continuous function satisfying the Palais-Smale condition above. Let us assume f -1 (c) contains an isolated strict critical point. Then for ε small enough, H * (f c+ε , f c-ε ) = 0.

Proof. This follows from the fact that if a sheaf is equal to a sky-scraper sheaf near U it has non-trivial sections. A more elementary approach is as follows. First notice that if we have two sets

B ⊂ A and open sets U ⊂ V and A ∩ ((V \ U ) = B ∩ ((V \ U ) then H * (A, B) = H * (A ∩ U, B ∩ U ) ⊕ H * (A ∩ (X \ V ), B ∩ (X \ V )
Now if x is an isolated critical point, of f according to lemma 8.5 (i.e. lemma 3.3 in [Chang]), we can deform

f c+ε to f c-ε in V \U , for some x ∈ U ⊂ U ⊂ V . Thus H * (f c+ε , f c-ε ) = H * (f c+ε ∩ U, f c-ε ∩ U ) ⊕ H * (f c+ε ∩ (X \ V ), f c-ε ∩ (X \ V ))
and since the first term of the right-hand side is non-zero, so is the left-hand side.

Note that if we have an open set Ω where f is flat, then any x ∈ Ω is a strict critical point, but this does not imply H * (f c+ε , f c-ε ) = 0. So the above proposition does not hold if the critical point is not isolated. Take as an example f (x) < 0 for x < -1, f (x) > 0 for x > 1 and f = 0 on [-1, 1]. Then H * (f b , f a ) = 0 for all a < b, while 0 ∈ d t f (0). This prompts the following definition Definition 8.14.

The real number c ∈ R is a strong critical value of f ∈ C 0,1 (X) if lim ε→0 H * (f c+ε , f c-ε ) = 0. If x ∈ f -1 (c), x is a strong critical point if lim ε→0 H * (f c+ε , f c-ε ) -→ lim ε→0 lim x∈U H * (f c+ε ∩ U, f c-ε ∩ U )
is non-zero. For X = R n , we say that the strong differential of f at x 0 is the set of α such that f α (x) = f (x) -α, x has a strong critical point at x 0 . We denote it by d s f (x 0 ). Finally we denote by D s f (x 0 ) the set of limits of strong differentials at x 0 , that is the set of limits of d s f (x n ) such that x n converges to 0.

An obvious application of Mayer-Vietoris implies Proposition 8.15. If c is a strong critical value, then f -1 (c) contains a strong critical point.

Clearly a strong critical point is a strict critical point, but the converse need not be true. Note that the notion of strong critical point is not purely local. However the converse holds if either the critical point si isolated, or the critical point is a local minimum (or a local maximum).

We now prove that for a smooth function, the various differentials coincide.

Corollary 8.16. For a smooth function we have

{D s f (x 0 ) | x 0 ∈ f -1 (c)} = {df (x 0 ) | x 0 ∈ f -1 (c)}.
Proof. It is clear that for a smooth function, if d s f (x) exists, it is equal to df (x). Now it is enough to show that if df (x 0 ) = 0, f (x 0 ) = 0, there is a sequence x n such that df (x n ) = α n , α n is an isolated solution of df (x) = α n and lim n f (x n ) = 0. But by Morse-Sard's theorem, the set of values of df at which d 2 f (x) is degenerate has measure zero, so we can find a sequence Proof. Indeed, this follows from the fact that

α n → 0 such that f (x) -α n , x is Morse, hence α n = d s f (x n ) = df (x n ) and df (x n ) → df (x 0 ). Proposition 8.17. Assume f k C 0 converges to f . Then if p ∈ d s f (x) there is x k such that for k large enough, p ∈ d s f k (x k ). In particular if U ⊂ Ū ⊂ V ,
H * (f c+ε , f c-ε ) = lim k H * (f c+ε k , f c-ε k ) so if H * (f c+ε p , f c-ε p ) = 0 the same holds for (f k ) p .

A lemma on the set of subdifferentials

We have Lemma 8.18. Let f be a compact supported function on R n . If f is nonconstant then the set of d s f (x) as x describes R n must contain a neighbourhood of 0. More precisely if supp(f ) ⊂ B(0, 1), we have

{d s f (x) | x ∈ B(0, 1)} ⊃ B(0, f C 0 /4)
Proof. Assume for simplicity that f vanishes outside the unit ball, B. Consider the function f p (x) = f (x) -p, x . We claim that for p small enough this function has either a local minimum or a local maximum and therefore p ∈ ∂f (x). Indeed, f = f 0 has either a strictly negative minimum or strictly positive maximum. Assume we are in the first case. Then f (x 0 ) ≤ -ε 0 ≤ min u∈∂B f (u) -ε 0 for some x 0 ∈ B and ε 0 > 0. For p small enough (take |p| ≤ ε 0 4 ), the same holds for f p with a smaller constant, that is

f p (x 0 ) ≤ min u∈∂B f p (u) - 1 2 ε 0
As a result f p must have a global minimum, which is necessarily a strong critical point.

Subdifferential of selectors

Let (L k ) k≥1 be a sequence of smooth Lagrangians Hamiltonianly isotopic to the zero section in T

* (N × M ) such that L k γ-converges to L ∈ L. Let u k (x) = c(α ⊗ 1 x , L k ) and u(x) = c(α ⊗ 1 x , L). Set Conv p (L k ) to
* N such that L k γ-converges to L ∈ L. We have ∂ C u k (x) ⊂ Conv p (L k ) and ∂ C u(x) ⊂ lim k Conv p (L k ).
Proof. The second result follows from the first part and from the fact that according to [V4], u k C 0 -converges to u, and according to [Clarke 1], for any sequence u k of functions converging to u, we have

∂ C u(x) ⊂ {lim k ∂ C u k (x k )} where x k converges to x.
Let us now prove the first part. Let L k be such that there exists Σ k of measure zero such that on N \ Σ k we have a G.F.Q.I. S k (q, x, ξ) of L k and S k (•, x, •) is Morse and has all distinct critical values, with critical points q r k (x), ξ r k (x) and 1 ≤ r ≤ p (p is only constant on each connected component of N \ Σ k ). This is generic for the C ∞ topology. Then we have on

N \ Σ k that c(α ⊗ 1 x , L k ) = S(q k (x), x, ξ k (x)) where x → q r k (x), ξ r k (x) for r ∈ 1, ...p is a smooth function on N \ Σ k . Now ∂S k ∂q (q r k (x), x, ξ r k (x)) = ∂S k ∂ξ (q r k (x), x, ξ r k (x)) = 0, so that d dx c(α ⊗ 1 x , L k ) = d dx S k (q r k (x), x, ξ r k (x)) = ∂S k ∂x (q r k (x), x, ξ r k (x)) ∈ L k for some r. Since L k is closed, and according to [Clarke 1], ∂ C u k (x) = {lim k du k (x l ) | x l → x, x l ∈ Ω}
where Ω is any set of full measure in the set of differentiability points of u k , we get, using alos that u k (x) = S k (q r k (x), x, ξ r k (x)) that for all k, ∂ C u k (x) ∈ Conv p (L k ). Now, clearly by C ∞ density, we can always perturb the L k so that they are generic in the above sense, and if u k,l → u k converges in the C ∞ topology as l goes to infinity , we have ∂ C u k = lim l ∂ C u k,l , and since lim k L k,l = L k we get ∂ C u k (x) ⊂ Conv p (L k ), as claimed.

Remark 8.20. Let us mention here a result of Seyfaddini and the author, that is mentioned in [START_REF] Vichery | Homological differential calculus[END_REF]. Let L k be a sequence γ-converging to a smooth Lagrangian L. Then L ⊂ lim k L k , that is for each z ∈ L there is a sequence z k ∈ L k such that lim k z k = z. Thuis is a trivial consequence of lemma 7 in [H-L-S]. This can be proved directly as follows. Indeed, if this was not the case, we would have B(z, r) such that B(z, r) ∩ L k = ∅.Then for any ϕ H with Hamiltonian supported in B(z, r), we have γ(L k , ϕ(L k )) = 0, hence γ(L, ϕ(L)) = 0. But it is easy to see by a local construction that this does not hold for all ϕ supported near z.

Questions and remarks

We may notice that our results should still hold for Hamiltonians in H (T * T n ) the γ-completion of H (T * T n ) or at least for H(t, q, p) of class C 0 . However, we do not know what the proper definition of "invariant measure" should be for such an object. Note that existence of points in Ψ({q}×R n )∩{q 0 +α}×R n could be defined as F H (Ψ({q} × R n ), {q 0 + α} × R n ) = 0 for some a < b, but this does not seem to help for invariant measures. Note however that inviariant measures are always limits of combinations of orbits, so this may be a useful tool.

Note also that it is probably the following convergence defining a stronger convergence as follows Definition 9.1. We say that ψ n h-converges to ψ if F H It would be interesting to understand the structure of µ α . In the convex case, the support of µ α is a graph of the differential of a Lipschitz function, hence is Lagrangian in a generalized sense. Here, the support of µ α cannot be a graph, since replacing H by H • ψ replaces µ α by ψ * (µ α ), hence supp(µ α ) is replaced by ψ(supp(µ α )).

Question 1. Can one replace the support of µ α by an invariant Lagrangian current, that is a current T α such that T α ∧ ω = 0 dim(supp(T α )) = n, and (ϕ t ) * (T α ) = T α ?

A question we did not answer until now is the location of the support of the metric with respect to the support of H. Proposition 9.2. For α = 0, the support of µ is contained in the interior of supp(H), that is µ α (interior(supp(H))) = 1.

Proof. Indeed, if a trajectory meets the complement of the support of H, it is constant. Therefore the γ k must all be contained in the support of H and since µ α is the limit of the 1 k [γ k ], the proposition follows. It is also not difficult to say more in the case that H is time-independent. Since the orbit of a point remains in a fixed energy level, and the same will be true for the limit of the measure supported on such orbits. As a result we get the followig result, proved in the Lagrangian situation in [DC] Proposition 9.3. Assume H is autonomous. Then, for any α the measure µ α is supported on a level set {(x, p) | H(x, p) = c}. Moroever A(µ α ) = p • α -c.

Proof. Indeed, each of the trajectories γ k is continaed in some H )1 (c k ). If we select a subsequence such that c k converges to some value c, then we hame that µ α is supported in H -1 (c). This implies that for α = 0, the measure is supported at a positive distance from the support.

Question 2. Is this still true for the time dependent case ?

  y, X, Y ) | |y| ≤ C}, but outside this set, Γ v k coincides with the zero section. There are actually two types of points in ( Λ u -Λ u )∩Γ v k the ones with action 0, the other with actionA u,C = f u,C (y u,C ) where f u,C (y u,C ) = 0 and y u,C is a non-trivial critical point of f u,C . Note that setting F = f u,1 we have f u,C (y) = kCF ( y C ). So, f u,C(y)= kF ( y C ) and y k,C = Cz where z is a non-trivial critical point of F , and f u,C (y u,C ) = kCF (z). Thus if f u,C (y k,C ) = 0 we have that for C large enough, the critical value is outside any given interval. Now since Γ v k c -→ Γ v , where Γ v is the graph of Φ v in the γ-completion L, and provided we have F H * (Γ v , Λ u , c -ε, c + ε) = 0, according to Theorem 3.1, this implies for k large enough F H * (Γ v k , Λ u , c -ε, c + ε) = 0 and as we saw that F H *

  where U, V are open, and U is contained in the set {d s f (x) | x ∈ N }, then the same holds for {d s f k (x) | x ∈ N } for k large enough.

  be the union of the convex envelopes of the L k ∩ T *x N . This is a closed convex (in p) set, and Conv p (L k ) the union of the convex enveloppes of f -1 k (c) ⊂ L k , where h k : L k -→ R is the primitive of pdq on L k . Note that both Conv p (L k ) and Conv p (L k ) are closed. The following can be considered as an extension of theorem 2.1 (4) page 251 of [Clarke 1] (for the case where α is the fundamental class of M ).Proposition 8.19. Let (L k ) k≥1 be a sequence of smooth Lagrangians Hamiltonianly isotopic to the zero section in T

  ψ -1 ) -→ R(a, b) where R(a, b) = H * (M ) for a < 0 < b and R(a, b) = 0 otherwise.that makes sense.9.1 The structure of µ α

  and its boundary is in G a+ε ,k . It thus represents a class in H * (G b+ε ,k , G a+ε ,k

see[V1], and the related Hofer metric in[Ho]. See also[Hu] for the study of this metric and its completion mentioned further.

The original version of this paper, from 2010 had a more complicated proof for 1.1, which relied on Theorem

3.1.

To be honest the construction is only made for a sequence going to infinity, but an argument similar to the argument in[V4], lemma 5.10 proves that any subsequence will have the same limit.

The aim of this section is to clarify the notions of differential that occur crucially in the previous sections. Indeed, restricting the set of rotation numbers