--- address: - 'Paul Biran, School of Mathematical Sciences, Tel-Aviv University, Ramat-Aviv, Tel-Aviv 69978, Israel' - 'Leonid Polterovich, School of Mathematical Sciences, Tel-Aviv University, Ramat-Aviv, Tel-Aviv 69978, Israel' - 'Dietmar Salamon, Department of Mathematics, ETHZ, 8092 Zürich, Switzerland' author: - 'Paul Biran, Leonid Polterovich, and Dietmar Salamon' title: Propagation in Hamiltonian dynamicsand relative symplectic homology --- Introduction ============ Stable propagation {#sec:stable} ------------------ Let $M := U^*{{\mathbb{T}}}^n$ be the open unit cotangent bundle of the $n$-dimensional Euclidean torus ${{\mathbb{T}}}^n = {{\mathbb{R}}}^n/{{\mathbb{Z}}}^n$. We express the elements of $M$ in terms of the canonical coordinates $(q_1,\dots,q_n,p_1,\dots,p_n)$, where $q_i\equiv q_i+1$. Thus we identify $M$ with ${{\mathbb{T}}}^n\times{{\mathbb{D}}}^n$, where ${{\mathbb{D}}}^n = \{|p|<1\}$ is the open unit ball in ${{\mathbb{R}}}^n$ and $|v|$ stands for the Euclidean norm of a vector $v\in{{\mathbb{R}}}^n$. Consider the space ${{\mathcal H}}$ of all smooth compactly supported functions on $[0,1] \times M$. Every function $H \in {{\mathcal H}}$ gives rise to the Hamiltonian system on $M$ $$\label{eq:ham} \dot q = \frac{\partial H }{\partial p }(t,q,p),\qquad \dot p = -\frac{\partial H }{ \partial q}(t,q,p).$$ The flow $h_t$ which sends any initial condition $x(0)=(q(0),p(0))$ to the solution $x(t)=(q(t),p(t))$ at time t is called the <span> **Hamiltonian flow**</span> (or <span>**isotopy**</span>) generated by $H$, and the time-one-map $h_1$ is called the <span>**Hamiltonian diffeomorphism**</span> generated by $H$. The set of all Hamiltonian diffeomorphisms of $M$ form a group denoted by ${{\mathcal{D}}}$. Let $f_* = \{f_k\}_{k = 1,2,\dots}$ be an infinite sequence of Hamiltonian diffeomorphisms. We consider $f_*$ as a dynamical system as follows. Put $f^{(k)} = f_k\cdots f_1$. This sequence is called the <span>**evolution**</span> of $f_*$. The orbit $\{x_k\}_{k\in{{\mathbb{N}}}}$ of a point $x\in M$ is defined by $x_k = f^{(k)}x$. Classical dynamical systems (iterations of a single map $f$) correspond to constant sequences $f_k \equiv f$. Sequential systems arise naturally as perturbations of the classical ones. In a number of interesting situations stability has been observed in the sense that these perturbations inherit dynamical properties of the original system (cf. @PRud). In this paper we present a new stability phenomenon of this type – stable propagating behaviour – which we are going to describe next. Every Hamiltonian diffeomorphism $h$ has a <span>*canonical*</span> lift $\widetilde h$ to the universal cover $\widetilde M = {{\mathbb{R}}}^n \times {{\mathbb{D}}}^n$ of $M$. Throughout we denote $$Q := \left\{(q,p) \in \widetilde{M} \;{\big |} \; |p| < 1,\; \max_i |q_i| \le 1/2\right\};$$ this is a fundamental domain of the covering. <span>**Definition.**</span> <span>*A sequential system $f_*$ <span>**propagates to infinity with speed**</span> (at least) $c$ if for every vector $v \in {{\mathbb{R}}}^n$ with $|v| \leq c$ there exists a sequence of points $\widetilde x_k \in Q$ such that the sequence $(p_k,q_k):={\widetilde f}^{(k)}(\widetilde x_k)$ satisfies $$\lim_{k \to \infty} \frac{q_k}{k} = v.$$ In other words, the projection to ${{\mathbb{R}}}^n$ of ${\widetilde f}^{(k)}(Q)$ covers the Euclidean ball of radius $kc$ up to an error which is small with respect to $k$.*</span> Let us illustrate this notion in the following simple example. Consider a Hamiltonian function $H \in {{\mathcal{H}}}$ which depends on momenta variables only: $H=H(p)$. The lift of the corresponding Hamiltonian flow to the universal cover is given by ${\widetilde h}^t (q,p) = (q+t\nabla H(p),p)$. Therefore the projection of ${\widetilde h}^k(Q)$ to ${{\mathbb{R}}}^n$ coincides up to a bounded error with the set $kI$, where $I$ denotes the image of the gradient map $p\mapsto\nabla H(p)$. Assume now that $H(0) > c$ for some $c > 0$. We claim that $I$ contains the Euclidean ball of radius $c$ afernandez@example.org. Indeed, for every $v\in{{\mathbb{R}}}^n$ with $|v| \leq c$ the function $F(p) := H(p) - pv$ satisfies $F(0) > c$ and $F\leq c$ near $\partial{{\mathbb{D}}}^n=\mathbb{S}^{n-1}$. Therefore $F$ attains its maximum at a point $p_0\in{{\mathbb{D}}}^n$. Hence $\nabla H(p_0) = v$ and the claim follows. This shows that in our example we have propagation with speed $c$. The group ${{\mathcal{D}}}$ carries a remarkable <span>*biinvariant*</span> metric $\rho$ called <span>*Hofer's metric*</span> (see @HoferMetric). The corresponding geometry provides us with a suitable language for the study of various stable phenomena in Hamiltonian dynamics. Given a diffeomorphism $f \in {{\mathcal{D}}}$, write $\rho({{\rm id}},f)$ for $\inf (\max F - \min F)$ where the infimum is taken over all Hamiltonians $F \in {{\mathcal{H}}}$ generating $f$. Define Hofer's distance $\rho(f,g)$ between two elements $f,g \in {{\mathcal{D}}}$ as $\rho({{\rm id}},fg^{-1})$. <span>**Theorem A (Stable propagation).**</span> <span>*Let $0<a<c$ and suppose that $h$ is a Hamiltonian diffeomorphism generated by a Hamiltonian $H \in {{\mathcal{H}}}$ such that $H(t,q,0) \ge c$ for all $t$ and $q$. Let $f_*$ be any sequential system such that $\rho(f_i,h) < a$ for all $i\in{{\mathbb{N}}}$. Then $f_*$ propagates to infinity with speed $c-a$.* </span> Theorem A will be proved in Section \[sb: sdr\] below. Interestingly enough, such a propagating behaviour may be completely destroyed by an appropriate arbitrarily $C^{\infty}$-small dissipative perturbation even in the framework of classical dynamics. In Section \[sb: dis\] below we elaborate this in the case $n=1$. We show that every Hamiltonian diffeomorphism $h$ generated by the Hamiltonian $H=H(p)$ admits an arbitrarily small smooth perturbation $f$ such that the images $\widetilde{f}^k (Q)$, $k \in {{\mathbb{N}}}$, of the set $Q$ under the iterates of $\widetilde f$ remain in a compact part of $\widetilde M$. Note that Theorem A does not provide any information about propagation of <span>*individual*</span> trajectories on the universal cover (and we doubt that such information is available at all in this generality). The situation improves when one considers sequences $f_* = \{f_i\}$ which roughly speaking are uniformly distributed with respect to some "nice" measure on ${{\mathcal{D}}}$ whose support is close to $h$ in the sense of Hofer's metric. It turns out that such sequential systems have trajectories which propagate to infinity with constant velocity. We refer the reader to Section \[sb: sdr\] for the details. Noncontractible closed orbits {#sec:main} ----------------------------- The main tool for studying stable propagation as described in the previous section is an existence result for noncontractible periodic solutions of compactly supported Hamiltonian systems under quite robust assumptions on the Hamiltonian functions. This result is based on Floer homology filtered by the symplectic action and its proof is quite involved. A solution $x(t) =(q(t),p(t))$ of a Hamiltonian system generated by a function $H \in {{\mathcal{H}}}$ is called <span>**periodic**</span> if $p(1) = p(0)$ and $q(1) = q(0) + e$ for some integer vector $e \in {{\mathbb{Z}}}^n$. The lattice ${{\mathbb{Z}}}^n$ is identified in a natural way with the fundamental group of $M$, hence we refer to $e$ as the <span>**homotopy class**</span> of the solution. An important quantity associated to a periodic solution is its <span>**action**</span> $${{\mathcal A}}_H(x) = \int_0^1 \left( H(t,q(t),p(t)) - \sum_{i=1}^n p_i(t){\dot q_i}(t) \right)\,dt.$$ Denote by $Z\subset M$ the zero section $\{p=0\}$. <span>**Theorem B.**</span> <span>*For every compactly supported smooth Hamiltonian function $H\in{{\mathcal{H}}}$ and every $e\in{{\mathbb{Z}}}^n$ such that $$\label{eq:main} |e| \le c:=\inf_{[0,1]\times Z}H,$$ the Hamiltonian system (\[eq:ham\]) has a periodic solution $x(t)$ in the homotopy class $e$ with action ${{\mathcal A}}_H(x)\ge c$.*</span> The result above is <span>*sharp*</span> in the following sense. Firstly, the inequalities in Theorem B which guarantee the existence of periodic solutions in the class $e$ cannot be improved. For instance, for every ${{\varepsilon}}> 0$ it is easy to produce a Hamiltonian of the form $H = H(|p|)$ whose restriction to $[0,1]\times Z$ equals $1-{{\varepsilon}}$ and such that all periodic solutions are contractible (such a function $H(|p|)$ can be obtained from $1-|p|$ by an appropriate smoothing). Secondly, the zero section $Z$ in the inequality (\[eq:main\]) cannot be replaced by an arbitrary smooth section. Consider, for instance an arbitrary ${C^\infty}$-small perturbation $S = \{p=u(q)\} $ of $Z$ such that the 1-form $u(q)dq$ on ${{\mathbb{T}}}^n$ is <span>**not**</span> closed (in symplectic terms this means that the section $S$ is non-Lagrangian; this is only possible when $n\geq 2$). <span>**Theorem C.**</span> <span>*Given any $c>0$, there exists a Hamiltonian function $H \in {{\mathcal{H}}}$ such that $H(t,x)\ge c$ for every $t\in[0,1]$ and every $x\in S$ and such that every $1$-periodic solution of (\[eq:ham\]) is contractible.*</span> If one takes $S$ as the graph of <span>*an exact*</span> 1-form on ${{\mathbb{T}}}^n$, the assertion of Theorem B remains valid with $Z$ replaced by $S$. Thus the existence mechanism for noncontractible periodic solutions described in Theorem B is quite sensitive to the choice of a subset where the Hamiltonian is large enough. This phenomenon will be studied below in terms of a <span> *relative symplectic capacity*</span> (see Section \[sec:rel\]). On the other hand, the statement of Theorem B is <span>*robust*</span> from the following viewpoint: if the restriction of a Hamiltonian $H$ to $[0,1]\times Z$ is bigger than a certain positive number, (most of) the periodic solutions guaranteed by the theorem persist under $C^0$-perturbations of the Hamiltonian. This robustness plays a crucial role in the study of stable propagation. In Section \[sec:rel\] below we prove Theorem B and its generalization where the torus is replaced by a hyperbolic manifold. The proof uses Floer homology for the action functional on the space of noncontractible loops. The main difficulty we have to go round is as follows. Since we deal with compactly supported Hamiltonians, noncontractible solutions are "non-essential" from the viewpoint of Floer homology – they may not persist under deformations of the Hamiltonian. In brief, the idea of the proof can be described as follows. One can squeeze the Hamiltonian function $H$ between two more or less standard functions, $H_- \le H \le H_+$ where $H_-$ and $H_+$ depend only on $|p|$. The filtered Floer homologies of $H_-$ and $H_+$ as well as the natural morphism between them can be computed explicitly. This morphism turns out to be nontrivial, and since it factors through the Floer homology of $H$, we get nontrivial information about the noncontractible periodic solutions corresponding to $H$. The calculations are quite involved, hence we introduce a convenient algebraic tool – relative symplectic homology – which helps us perform them in a more organized way. Noncontractible orbits of Hamiltonian systems were studied earlier in a number of interesting situations. In a beautiful paper @GL Gatien and Lalonde considered the following setting. Let $L_0$ and $L_1$ be two disjoint closed Lagrangian submanifolds of a symplectic manifold. Assume that $H$ is an autonomous Hamiltonian function which is "small" on $L_0$ and "large" on $L_1$. It turns out that under certain additional assumptions of a topological nature one can prove the existence of noncontractible periodic orbits for the Hamiltonian flow generated by $H$. This result was the starting point for Theorem B. Another important idea of a symplectic capacity which feels the fundamental group is contained in Schwarz's work @Sc. We will develop it further in Section \[sec:rel\] below. Noncontractible orbits of autonomous Hamiltonians on cotangent bundles whose levels are starshaped were considered by a number of authors (see e.g. @Cieliebak-1). In contrast to our case, these closed orbits are homologically essential in the sense of Floer homology. Let us mention finally that the interest in noncontractible periodic orbits on cotangent bundles comes from classical mechanics where one considers Hamiltonians $H(t,q,p)$ which are convex with respect to the momenta variable $p$. In this case the existence of closed orbits in given homotopy classes can be derived with methods from the classical calculus of variations. <span>**Acknowledgment.**</span> We thank D. Burago and E. Gluskin for useful discussions. Stable propagation in sequential Hamiltonian dynamics ===================================================== In this section we study stable propagation along the lines mentioned in the Introduction. The main tool is Theorem B. Preliminaries on Hamiltonian diffeomorphisms {#sec:ham} -------------------------------------------- Let $M$ be an open manifold (i.e. $M$ is connected, noncompact and has no boundary) and denote by $$\pi:\widetilde M\to M$$ its universal cover. Let ${{\rm Diff}}_0(M)$ denote the group of compactly supported diffeomorphisms of $M$ that are isotopic to the identity by isotopies with compact support in $[0,1]\times M$. Then every $h\in{{\rm Diff}}_0(M)$ has a canonical lift ${{\widetilde h}}:\widetilde M\to\widetilde M$ to the universal cover. To see this, choose a compactly supported isotopy $[0,1]\to{{\rm Diff}}_0(M):[0,1]\mapsto h_t$ from $h_0={{\rm id}}$ to $h_1=h$. Given $\widetilde x_0\in\widetilde M$, lift the path $[0,1]\to M:t\mapsto h_t(\pi(\widetilde x_0))$ to a path $[0,1]\to\widetilde M:t\mapsto\widetilde x(t)$ such that $\widetilde x(0)=\widetilde x_0$ and define ${{\widetilde h}}(\widetilde x_0):=\widetilde x(1)$. The following remark shows that this definition is independent of the choice of the isotopy $t\mapsto h_t$. \[r: cl\] Let $t\mapsto{{\varphi}}_t$ and $t\mapsto\psi_t$ be two compactly supported isotopies such that ${{\varphi}}_1=\psi_1=h\in{{\rm Diff}}_0(M)$. Given a point $x\in M$, consider the paths $t\mapsto{{\varphi}}_t(x)$ and $t\mapsto\psi_t(x)$ connecting $x$ to $h(x)$. We claim that they are homotopic with fixed endpoints. To see this choose a path $[0,1]\to M:s\mapsto\gamma(s)$ such that $\gamma(0)=x$ and $\gamma(1)$ lies outside the support of the isotopies. Looking at $\varphi_t(\gamma(s))$ and $\psi_t(\gamma(s))$ it is easy to see that both paths $t\mapsto{{\varphi}}_t(x)$ and $t\mapsto\psi_t(x)$ are homotopic with fixed endpoints to the path $\Gamma$ obtained by going first from $x$ to $\gamma(1)$ along $\gamma$ and then from $\gamma(1)$ to $h(x)$ along $h(\gamma^{-1})$. Here $\gamma^{-1}$ stands for the reverse of $\gamma$. Now suppose that $M$ is equipped with a symplectic form ${{\omega}}$ and denote by ${{\mathcal D}}\subset{{\rm Diff}}_0(M)$ the group of Hamiltonian diffeomorphisms that are generated by compactly supported Hamiltonian functions on $[0,1]\times M$. Given a compact subset $A\subset M$ and a real number $c$ let us denote by ${{\mathcal D}}_c={{\mathcal D}}_c(M,A)\subset{{\mathcal D}}$ the subset of Hamiltonian diffeomorphisms that are generated by compactly supported Hamiltonian functions $H\in{C^\infty}_0([0,1]\times M)$ with $\inf_{[0,1]\times A}H\ge c$. As before denote by $\rho$ the Hofer metric on ${{\mathcal{D}}}$. \[P: hof\] Let $c > a$ be positive numbers, and let $f,g\in{{\mathcal{D}}}$ be Hamiltonian diffeomorphisms with $f\in{{\mathcal{D}}}_c$ and $\rho(f,g)<a$. Then $g\in{{\mathcal{D}}}_{c-a}$. This is an immediate consequence of the following product formula. If the functions $\Phi_t$ and $\Psi_t$ generate Hamiltonian flows ${{\varphi}}_t$ and $\psi_t$, respectively, then the product flow ${{\varphi}}_t\circ\psi_t$ is generated by the Hamiltonian $\Phi_t + \Psi_t\circ{{\varphi}}_t^{-1}$. In what follows we shall deal also with time periodic Hamiltonians, namely functions $H$ satisfying $H(t, \cdot)=H(t+1, \cdot)$. It is useful to think of these Hamiltonians as smooth functions $H:S^1 \times M \to \mathbb{R}$, where we identify $S^1\cong {{\mathbb{R}}}/{{\mathbb{Z}}}$. The following proposition shows that every $h\in{{\mathcal D}}_c$ can be generated by a periodic Hamiltonian bounded below by $c$ on $S^1\times A$. <span>**(Periodic Hamiltonians)**</span>\[prop:per\] Let $M$ be an open symplectic manifold and $A\subset M$ be a compact subset. Let $h$ be a Hamiltonian diffeomorphism of $M$ generated by a Hamiltonian $H\in{C^\infty}_0([0,1]\times M)$ with $\inf_{[0,1]\times A}H\ge c$. Then there exists a Hamiltonian $\overline H\in{C^\infty}_0(S^1\times M)$ with $\inf_{S^1\times A}\overline H\ge c$ that generates $h$. Let $h_t$ denote the Hamiltonian isotopy generated by $H$ and $f_t$ denote the Hamiltonian flow generated by a time independent compactly supported function $F:M\to{{\mathbb{R}}}$. Let $\tau:[0,1]\to[0,1]$ be a smooth nondecreasing function which equals $0$ near $t=0$ and equals $1$ near $t=1$. Then the Hamiltonian isotopy $$\overline h_t := f_{t-\tau(t)} \circ h_{\tau(t)}$$ is generated by the Hamiltonian functions $$\overline H_t := F + \tau'(t)(H_{\tau(t)}-F)\circ f_{\tau(t)-t}.$$ The function $\overline H_t$ equals $F$ near $t=0$ and $t=1$ and hence defines a smooth Hamiltonian on $S^1\times M$. Moreover, $\overline h_1=h_1=h$. If $F$ is chosen to be equal to $c$ in a neighbourhood of $A$, then $f_t$ is equal to the identity on $A$ and $H_{\tau(t)}-F$ is nonnegative on $A$, and hence $\inf_A\overline H_t\ge c$ for every $t$. In the remainder of this section we assume that $M=U^*{{\mathbb{T}}}^n$ is the open unit cotangent bundle and $A=Z={{\mathbb{T}}}^n\subset U^*{{\mathbb{T}}}^n$ is the zero section. Given $e\in{{\mathbb{Z}}}^n$, we denote by $T_e$ the deck transformation $(q,p)\to(q+e,p)$ of the covering. Note that 1-periodic solutions of the Hamiltonian system associated to $H$ are in one-to-one correspondence with the fixed points of $h$. The homotopy class of the periodic solution $x(t)$ corresponding to the fixed point $x \in M$ (or, in brief, <span>*the homotopy class of the fixed point*</span> $x$) can be determined as follows. Pick a lift $y$ of $x$. Then ${{\widetilde h}}(y) = T_e(y)$ for some $e\in{{\mathbb{Z}}}^n$ and this $e$ is the homotopy class in question. In this terminology Theorem B asserts that every diffeomorphism $h \in{{\mathcal{D}}}_c={{\mathcal D}}_c(U^*{{\mathbb{T}}}^n,{{\mathbb{T}}}^n)$ has a fixed point in the homotopy classes $e$ for every $e$ such that $|e|\le c$. It turns out that the same result allows us to get information on the fixed points of the iterates $h^k$ for $k\in{{\mathbb{N}}}$. \[P: iter\] If $h\in{{\mathcal{D}}}_c$ then $h^k\in{{\mathcal{D}}}_{kc}$ for every $c>0$ and every $k\in{{\mathbb{N}}}$. In particular, $h^k$ has a fixed point in every homotopy class $e\in{{\mathbb{Z}}}^n$ such that $|e|\le kc$. We have seen in Proposition \[prop:per\] that, for every $h\in{{\mathcal{D}}}_c$, one can find a function $H:{{\mathbb{R}}}\times M\to{{\mathbb{R}}}$ which is 1-periodic in time, satisfies $\inf_{{{\mathbb{R}}}\times A}H\geq c$, and generates $h$ as the time-$1$-map. It follows that the $k$th iterate $h^k$ is generated by $kH(kt,x)$, hence $h^k\in{{\mathcal{D}}}_{kc}$, and hence the result follows from Theorem B. Preliminaries from ergodic theory {#sec:ergodic} --------------------------------- Let $X$ be a compact metrizable topological space and $f:X\to X$ be a homeomorphism. Let ${{\mathcal M}}$ denote the set of Borel probability measures on $X$ and ${{\mathcal M}}(f)\subset{{\mathcal M}}$ denote the subset of $f$-invariant Borel probability measures. Both sets are convex and compact with respect to the weak-$*$ topology ($\mu_i\to\mu$ iff $\int u\,d\mu_i\to\int u\,d\mu$ for every continuous function $u:X\to{{\mathbb{R}}}$). An $f$-invariant measure $\mu\in{{\mathcal M}}(f)$ is called <span>**ergodic**</span> if every Borel set $\Lambda\subset X$ such that $f(\Lambda)=\Lambda$ has measure $\mu(\Lambda)\in\{0,1\}$. <span>**(Birkhoff's Ergodic Theorem @CFS)**</span> \[thm:birkhoff\] If $\mu\in{{\mathcal M}}(f)$ is an ergodic $f$-invariant Borel probability measure and $u\in C^0(X)$, then there exists a Borel set $Y\subset X$ such that $\mu(Y)=1$ and $$\int u\,d\mu = \lim_{N\to\infty}\frac{1}{N} \sum_{k=0}^{N-1}u(f^k(x))$$ for every $x\in Y$. \[rmk:extremal\] Let ${{\mathcal X}}$ be a Banach space and ${{\mathcal K}}\subset {{\mathcal X}}^*$ be a weak-$*$ compact convex subset of its dual space. A point $x^*\in{{\mathcal K}}$ is called <span>**extremal**</span> if, for all $y^*,z^*\in{{\mathcal K}}$ and all real numbers $t$, $$x^*=(1-t)y^*+tz^*,\quad 0<t<1 \qquad{\Longrightarrow}\qquad y^*=z^*.$$ The Krein–Milman theorem @ROYDEN [p. 242] asserts that every weak-$*$ compact convex subset of ${{\mathcal X}}^*$ is equal to the weak-$*$ closure of the convex hull of its extremal points. In particular, every compact convex subset ${{\mathcal K}}\subset{{\mathbb{R}}}^n$ with nonempty interior has at least $n+1$ extremal points. Namely, if there were less than or equal to $n$ extremal points then ${{\mathcal K}}$ would be contained in an affine subspace of dimension less than $n$ and so have empty interior. \[rmk:ergodic\] Every extremal point of ${{\mathcal M}}(f)$ is ergodic. To see this suppose that $\mu\in{{\mathcal M}}(f)$ is not ergodic. Then there exists an invariant Borel set $\Lambda=f(\Lambda)$ such that $0<\mu(\Lambda)<1$. Let $t:=\mu(\Lambda)$. Then $\mu=t\mu_\Lambda+(1-t)\mu_{X\setminus\Lambda}$ where $\mu_\Lambda\in{{\mathcal M}}(f)$ is defined by $\mu_\Lambda(A):=\mu(\Lambda\cap A)/\mu(\Lambda)$ and similarly for $\mu_{X\setminus\Lambda}$. Hence $\mu$ is not an extremal point of ${{\mathcal M}}(f)$. \[rmk:ue\] A homeomorphism $f:X\to X$ is called <span>**uniquely ergodic**</span> if ${{\mathcal M}}(f)$ consists of a single point, i.e. there exists a unique $f$-invariant Borel probability measure $\mu$ on $X$. In this case, by Remark \[rmk:ergodic\], the invariant measure $\mu$ is necessarily ergodic. \[ex:irrational\] Let $\alpha=(\alpha_1,\dots,\alpha_d)\in{{\mathbb{R}}}^d$ be a vector with rationally independent components. Then the homeomorphism ${{\varphi}}:{{\mathbb{T}}}^d\to{{\mathbb{T}}}^d$ induced by the map ${{\mathbb{R}}}^d\to{{\mathbb{R}}}^d:y\mapsto y+\alpha$ is uniquely ergodic and the unique ${{\varphi}}$-invariant measure is the Lebesgue measure (cf. @CFS). \[le:ergodic\] Let $f:X\to X$ be a homeomorphism of a compact metric space and $u:X\to{{\mathbb{R}}}^n$ be a continuous function. Consider the linear projection $${{\mathcal M}}(f)\to{{\mathbb{R}}}^n:\mu\mapsto R(\mu) := \int u\,d\mu.$$ Let $r$ be an extremal point of the compact convex set $K:=R({{\mathcal M}}(f))\subset{{\mathbb{R}}}^n$. Then there exists an ergodic $f$-invariant Borel probability measure $\mu\in{{\mathcal M}}(f)$ such that $ r = \int u\,d\mu.$ The set ${{\mathcal M}}_r(f):=\{\mu\in{{\mathcal M}}(f)\,|\,R(\mu)=r\}$ is a nonempty weak-$*$ compact convex subset of the dual space of $C^0(X)$. Hence, by the Krein–Milman theorem, it has an extremal point $\mu$ (Remark \[rmk:extremal\]). We prove that $\mu$ is an extremal point of ${{\mathcal M}}(f)$. To see this, suppose that $\mu=(1-t)\mu_0+t\mu_1$ such that $\mu_0,\mu_1\in{{\mathcal M}}(f)$ and $0<t<1$. We must prove that $\mu_0=\mu_1$. To see this, let $r_0:=R(\mu_0)$ and $r_1:=R(\mu_1)$. Then $r=(1-t)r_0+tr_1$ and $r_0,r_1\in K$. Since $r$ is an extremal point of $K$ it follows that $r_0=r_1=r$ and hence $\mu_0,\mu_1\in{{\mathcal M}}_r(f)$. Since $\mu$ is an extremal point of ${{\mathcal M}}_r(f)$ this implies that $\mu_0=\mu_1$. Thus we have proved that $\mu$ is an extremal point of ${{\mathcal M}}(f)$ and hence, by Remark \[rmk:ergodic\], it is an ergodic $f$-invariant Borel probability measure. Stable propagation revisited {#sb: sdr} ---------------------------- Let us now return to the case where $M=U^*{{\mathbb{T}}}^n$ is the open unit cotangent bundle of the $n$-torus and ${{\mathcal D}}$ is the group of compactly supported Hamiltonian diffeomorphisms of $M$. For $a > 0$ and $h\in{{\mathcal{D}}}$ denote by $$B(h,a) := \left\{f\in{{\mathcal D}}\,|\,\rho(f,h) < a \right\}$$ the open ball of radius $a$ in Hofer's metric. Recall that Theorem A states the following. Let $c >a >0$ be real numbers, $h \in {{\mathcal{D}}}_c$ be a Hamiltonian diffeomorphism, and $f_*$ be a sequential system such that $f_i\in B(h,a)$ for every $i\in{{\mathbb{N}}}$. Then $f_*$ propagates to infinity with speed $c-a$. We now prove Theorem A, assuming Theorem B. \[Proof of Theorem A\] Write $f_i = h\psi_i$ with $\rho({{\rm id}},\psi_i)<a$. Then the evolution of $f_*$ can be written as follows: $$f^{(k)} = (h\psi_kh^{-1})(h^2\psi_{k-1}h^{-2})\cdots (h^k\psi_1h^{-k})h^k.$$ Combining the fact that $\rho$ is biinvariant with the triangle inequality we get $$\rho(f^{(k)},h^k) < ka.$$ Now let $w\in{{\mathbb{R}}}^n$ be any vector such that $|w|\le c-a$ and choose a sequence $v_k\in{{\mathbb{Z}}}^n$ such that $$w = \lim_{k \to \infty}\frac{v_k}{k},\qquad |v_k| < k(c-a).$$ Since $h^k\in{{\mathcal{D}}}_{kc}$ (see Proposition \[P: iter\]) we obtain from Proposition \[P: hof\] that $f^{(k)}\in{{\mathcal{D}}}_{k(c-a)}$. Hence, by Theorem B, there exists a point $\widetilde x_k = (q_k,p_k) \in Q$ so that ${\widetilde f}^{(k)}(\widetilde x_k) = (q_k + v_k,p_k)$. Since the sequence $q_k$ is bounded, we have $\lim_{k\to\infty}(q_k + v_k)/k = w$, and hence $f_*$ propagates to infinity with speed $c-a$. Now we turn to the study of the long time behaviour of <span>*individual trajectories*</span>. We start with the following general definition. Consider the trajectory $x_k=f^{(k)}(x)$ of a point $x \in M$ under a sequential system $f_*$. Let $\widetilde x\in\widetilde M$ be a lift of $x$ and consider the lifted trajectory $ \widetilde x_k={\widetilde f}^{(k)}(\widetilde x) $ in the universal cover. <span>**Definition.**</span> <span>*A trajectory $x_k$ of a sequential system with a lift $\widetilde x_k=(q_k,p_k)\in\widetilde M$ is said to <span>**propagate with velocity vector**</span> $r\in{{\mathbb{R}}}^n$ if $$\lim_{k \to \infty} \frac{q_k}{k} = r.$$ The Euclidean norm of $r$ is called the <span>**speed**</span> of the trajectory $x_k$.* </span> As an illustration, let us mention that every $k$-periodic orbit of a Hamiltonian diffeomorphism $h$ in a nonzero homotopy class $e\in{{\mathbb{Z}}}^n$ propagates with velocity vector $e/k$. Note also that propagation in the universal cover $\widetilde M$ corresponds to "rotation" in $M$. In classical dynamics the velocity vector of a propagating orbit is called the rotation vector. Consider now the $d$-dimensional torus ${{\mathbb{T}}}^d = {{\mathbb{R}}}^d/{{\mathbb{Z}}}^d$. Fix a vector $\alpha = (\alpha_1,\dots,\alpha_d)$ whose coordinates are independent over the rationals. Let $g: {{\mathbb{T}}}^d \to {{\mathcal{D}}}$ be a map which is continuous with respect to the $C^0$-topology on ${{\mathcal{D}}}$. For a point $y \in {{\mathbb{T}}}^d$ define a sequential system $$f_* (y) := \{g(y + k\alpha)\}_{k\in{{\mathbb{N}}}}.$$ Roughly speaking, the sequence $f_*(y)$ is "random" – it is uniformly distributed on the subset $g({{\mathbb{T}}}^d)$. The next result is an improvement of Theorem A for (almost all) such sequences. \[T: rot\] Let $0 <a < c$ be real numbers and $h\in{{\mathcal{D}}}_c$ be a Hamiltonian diffeomorphism. Let $g:{{\mathbb{T}}}^d\to{{\mathcal D}}$ be a continuous map whose image is contained in $B(h,a)$. Then, for set of Lebesgue measure one of points $y \in \mathbb{T}^d$, the sequential system $f_*(y)$ has at least $n+1$ trajectories which propagate with speed at least $c-a$. In fact there exists a compact convex set $K\subset{{\mathbb{R}}}^n$ containing the closed ball of radius $c-a$ in $\mathbb{R}^n$ centered at the origin so that the following holds: for every extremal point $r\in K$ there exists a subset $Y_r\subset{{\mathbb{T}}}^d$ of Lebesgue measure one such that, for every $y\in Y_r$, the system $f_*(y)$ has a trajectory which propagates with velocity vector $r$. The basic feature of the irrational shift of the torus which is crucial for our purposes is unique ergodicity (see Example \[ex:irrational\]). The assertion of Theorem \[T: rot\] continues to hold, and the proof remains the same, if one replaces the torus ${{\mathbb{T}}}^d$ by an arbitrary compact metric space $Y$, the Lebesgue measure by any Borel probability measure $\sigma$, and the irrational shift by any $\sigma$-preserving uniquely ergodic homeomorphism of $Y$. \[Proof of Theorem \[T: rot\]\] Let $\overline{M}$ denote the closed unit cotangent bundle and $\widetilde M$ its universal cover. Write $Y := {{\mathbb{T}}}^d$ and ${{\varphi}}(y):=y+\alpha$ and denote by $\sigma$ the Lebesgue measure on $Y$. Consider the skew-product map $$\overline{M} \times Y \to \overline{M} \times Y: (x,y)\mapsto S(x,y) := (g(y)(x),{{\varphi}}(y))$$ and its canonical lift $\widetilde S$ to $\widetilde M\times Y$. There exist functions $u,v:M\times Y\to{{\mathbb{R}}}^n$ so that $$\widetilde S(q,p,y) = (q+u(q,p,y),v(q,p,y),{{\varphi}}(y)).$$ Here we slightly abuse notation and write $u(q,p,y)$ instead of $u(x,y)$, whenever $\widetilde x=(q,p)$. The function $u$ which measures displacement along the $q$-plane on $\widetilde M$ will play an important role below. Note that $u$ has compact support in $M\times Y$. Let ${{\mathcal{M}}}(S)$ denote the set of all $S$-invariant Borel probability measures on $\overline{M} \times Y$. This space is convex and weak-$*$ compact (see Section \[sec:ergodic\]). For a measure $\mu \in {{\mathcal{M}}}$ define its <span>**rotation vector**</span> $R(\mu)\in{{\mathbb{R}}}^n$ by $$R(\mu) := \int u\,d\mu \in {{\mathbb{R}}}^n.$$ The map $R:{{\mathcal{M}}}(S)\to{{\mathbb{R}}}^n$ is affine and continuous. Hence its image $K:=R({{\mathcal M}}(S))$ is a compact convex subset of ${{\mathbb{R}}}^n$. This set has all the properties formulated in the theorem. We prove that $K$ contains a ball of radius $c-a$. Pick a vector $v\in{{\mathbb{R}}}^n$ with $|v|\le c-a$ and a point $y \in Y$. Then, by Theorem A, there exists a sequence $x_k\in M$ such that $$\lim_{k\to\infty}\frac{1}{k}\sum_{i=0}^{k-1} u(S^i(x_k,y)) = v.$$ Denote by $\delta_{i,k}$ the Dirac measure on $\overline{M}\times Y$ concentrated at $S^i(x_k,y)$ and consider the sequence of measures $\mu_k$ on $\overline{M}\times Y$ defined by $$\mu_k := \frac{1}{k} \sum_{i=0}^{k-1} \delta_{i,k}.$$ By Alaoglu's theorem, this sequence has a limit point $\mu=\lim_{\nu\to\infty}\mu_{k_\nu}$ with respect to the weak-$*$ topology. Since $$\lim_{k\to\infty}\left( \int F\circ S\,d\mu_k - \int F\,d\mu_k\right) = \lim_{k\to\infty}\frac{F(S^k(x_k,y))-F(x_k,y)}{k} = 0$$ for every continuous function $F:\overline{M}\times Y\to{{\mathbb{R}}}$ the limit point $\mu$ is $S$-invariant. Moreover, it satisfies $$R(\mu) = \int u\,d\mu = \lim_{\nu\to\infty} \int u\,d\mu_{k_\nu} = \lim_{\nu\to\infty} \frac{1}{k_\nu}\sum_{i=0}^{k_\nu-1} u(S^i(x_{k_\nu},y)) = v.$$ Hence $v\in K$. We prove that the extremal points of $K$ satisfy the requirements of the theorem. Let $r$ be an extremal point of $K$. Then, by Lemma \[le:ergodic\], there exists an ergodic measure $\mu_r\in{{\mathcal M}}(S)$ such that $R(\mu_r) = r$. By Birkhoff's Ergodic Theorem \[thm:birkhoff\], there exists a Borel set $Z_r\subset \overline{M}\times Y$ such that $\mu_r(Z_r)=1$ and $$\lim_{N\to\infty}\frac{1}{N}\sum_{i=0}^{N-1} u(S^i(z)) = \int u\,d\mu_r = r$$ for every $z\in Z_r$. Note that $Z_r\subset M\times Y$. Let $Y_r\subset Y$ be the image of $Z_r$ under the obvious projection $\overline{M}\times Y\to Y$ and let $\sigma_r$ be the pushforward of the measure $\mu_r$ (i.e. $\sigma_r(B):=\mu_r(\overline{M}\times B)$ for every Borel set $B\subset Y$). Then $\sigma_r$ is a ${{\varphi}}$-invariant Borel probability measure on $Y$ and so, by unique ergodicity, equals $\sigma$. Hence $$\sigma(Y_r) = \sigma_r(Y_r) = \mu_r(\overline{M}\times Y_r) \ge \mu_r(Z_r) = 1.$$ Moreover, for every $y\in Y_r$ there exists a point $x\in M$ such that $(x,y)\in Z_r$. By definition of the set $Z_r$, the trajectory of the point $x$ under the system $f_*(y)$ propagates with velocity vector $r$. It is instructive to compare the proof above with Aubry–Mather theory for Hamiltonian diffeomorphisms of the annulus generated by a Hamiltonian which is convex with respect to the momentum $p$. Aubry and Mather constructed remarkable orbits which lie on special Cantor-type sets called cantori. These orbits propagate in our sense. Roughly speaking, these orbits are obtained as the limits of periodic ones. A crucial point for such a limiting procedure is the fact that, due to convexity, one can control the relative positions of closed orbits in phase space. In our setting the Hamiltonians are not assumed to be convex, and we have no information on the positions of the closed orbits. We went round this difficulty by using an idea which goes back to Mather @MinMeas – to look at limits of invariant measures which sit on periodic orbits provided by Theorem B. A dissipative counter-example {#sb: dis} ----------------------------- Assume $n=1$ so $M= S^1 \times (-1,1)$ is the annulus. Let $H:(-1,1)\to{{\mathbb{R}}}$ be any compactly supported function (which depends on the momenta variable only and has an arbitrarily large value at $p=0$). Then the corresponding Hamiltonian diffeomorphism $h$ has the form $$h(q,p) = (q+H'(p),p),$$ where $H'$ denotes the derivative of $H$. Recall that $Q$ denotes the fundamental domain $Q:=[-1/2,1/2]\times(-1,1)$ in the universal cover $\widetilde M={{\mathbb{R}}}\times(-1,1)$. We present an example of an arbitrarily small smooth perturbation $f$ of $h$ such that the images ${\widetilde f}^k(Q)$ under the iterates of $\widetilde f$ remain in a compact part of $\widetilde M$, thus the propagating behaviour disappears. Assume without loss of generality that the support of $H = H(p)$ is contained in the open interval $(-1/2,1/2)$ and let $\gamma:=\max_p|H'(p)|$. Let $u:[-1,1]\to[-1,1]$ be an orientation preserving diffeomorphism such that $u(s) > s$ for $-3/4 < s < 3/4$ and $u(s) = s$ for $|s|\geq 3/4$. Note that $u$ can be chosen arbitrarily close to the identity. Choose $N\in{{\mathbb{N}}}$ such that $u^N(-2/3) > 2/3$. Define a map ${{\varphi}}:M \to M$ by ${{\varphi}}(q,p) := (q,u(p))$ and let $f := {{\varphi}}h$. For a point $x=(q_0,p_0)\in Q$ consider its orbit $(q_i,p_i):={\widetilde f}^i(x)$. We claim that $|q_i-q_0| \le (N+1)\gamma$ for all $x \in Q$ and $i\in{{\mathbb{Z}}}$. This universal estimate means the absence of propagation. To prove this, note that $h$ preserves the $p$-coordinate, and ${{\varphi}}$ preserves the $q$-coordinate of each point. Moreover, the sequence $p_i$ is nondecreasing. If $|p_0|\ge 3/4$ then $(p_i,q_i)=(p_0,q_0)$ for all $i\in{{\mathbb{Z}}}$. If $|p_0|<3/4$ then $\lim_{i\to\pm\infty}p_i=\pm3/4$. In this case let $j_0\in{{\mathbb{Z}}}$ be the largest integer such that $p_{j_0} < -2/3$ and $j_1>j_0$ be the smallest integer such that $p_{j_1} > 2/3$. Then $|j_1-j_0|\le N+2$ and $q_i=q_{j_0}$ for $i\le j_0$ and $q_i=q_{j_1}$ for $i\ge j_1$. For every $i\in[j_0,j_1-1]$ we have $|q_{i+1}-q_i| = |H'(p_i)|\le\gamma$. Hence, for all $j,j'\in{{\mathbb{Z}}}$ such that $j'>j$, $$|q_{j'}-q_j| \le \sum_{i=j}^{j'-1}|q_{i+1}-q_i| \le \sum_{i=j_0}^{j_1-1}|q_{i+1}-q_i| \le (N+1)\gamma.$$ Relative symplectic topology {#sec:rel} ============================ Below we discuss existence and nonexistence results for noncontractible closed orbits in a more general topological framework. The main player in this section is a relative symplectic capacity – a symplectic invariant which provides a convenient language for thinking about these results. Using this language, we prove Theorems B and C as stated in the Introduction. Symplectic action {#sec:action} ----------------- This is a preparatory section in which we set notation. Let $(M,{{\omega}})$ be an open symplectic manifold. We assume throughout that the symplectic form ${{\omega}}$ is exact and fix a $1$-form $\lambda\in{{\Omega}}^1(M)$ such that $$d\lambda = {{\omega}}.$$ Let $S^1:={{\mathbb{R}}}/{{\mathbb{Z}}}$ and denote the free loop space of $M$ by $LM:={C^\infty}(S^1,M)$. We denote the set of free homotopy classes of loops in $M$ by $\widetilde{\pi}_1(M)$ and for $x\in LM$ we write $[x]\in\widetilde{\pi}_1(M)$ for its free homotopy class. Given a subset $\alpha\subset\widetilde{\pi}_1(M)$, we write $$L_\alpha M:= \left\{x\in LM\,|\,[x]\in\alpha\right\}.$$ We shall mostly consider single elements $\alpha\in\widetilde{\pi}_1(M)$, however, for some of our applications it is useful to consider more general subsets of $\widetilde{\pi}_1(M)$. We denote the space of compactly supported time dependent $1$-periodic Hamiltonian functions on $M$ by ${{\mathcal H}}(M):={C^\infty}_0(S^1\times M)$. We do not distinguish in notation between the function $H\in{{\mathcal H}}(M)$ and its lift $H:{{\mathbb{R}}}\times M\to{{\mathbb{R}}}$ and, for $H\in{{\mathcal H}}(M)$ and $t\in{{\mathbb{R}}}$, we define $H_t:M\to{{\mathbb{R}}}$ by $H_t(x):=H(t,x)$. Every Hamiltonian function $H\in{{\mathcal H}}(M)$ determines a $1$-periodic family of Hamiltonian vector fields $X_t=X_{t+1}\in{{\rm Vect}}(M,{{\omega}})$ via $\iota(X_t){{\omega}}=-dH_t$. The space of $1$-periodic solutions of the corresponding Hamiltonian differential equation representing a class in the set $\alpha\subset\widetilde{\pi}_1(M)$ will be denoted by $$\label{eq:P(H)} {{\mathcal P}}(H;\alpha) := \left\{x\in L_\alpha M\,|\, \dot x(t) = X_t(x(t)) \right\}.$$ The elements of ${{\mathcal P}}(H;\alpha)$ are the critical points of the symplectic action ${{\mathcal A}}_H:L_\alpha M\to{{\mathbb{R}}}$, defined by $$\label{eq:action} {{\mathcal A}}_H(x) := \int_0^1\left(H_t(x(t)) - \lambda(\dot x(t))\right)\,dt$$ for $x\in L_\alpha M$. The sole purpose of the $1$-form $\lambda$ is to fix a normalization of the symplectic action (which otherwise is only well defined up to an additive constant). Some of the invariants discussed in this paper do not depend on this normalization and this will be pointed out at the appropriate places. However, we do not indicate the dependence of ${{\mathcal A}}_H$ on $\lambda$ in the notation. \[rmk:action\] The notation in this section differs from the one used in Section \[sec:main\], where the Hamiltonian functions are not required to be periodic in the $t$-variable. Proposition \[prop:per\] shows that this does not effect the class of Hamiltonian diffeomorphisms to which the theory applies. It also does not effect the value of the symplectic action at the periodic orbits. To see this, fix a compactly supported, but not necessarily periodic, Hamiltonian function $H\in{C^\infty}_0([0,1]\times M)$ and let $[0,1]\times M\to M:(t,x)\mapsto h_t(x)$ be the Hamiltonian isotopy generated by $H$. Fix any point $x_0\in M$ and consider the path $x:[0,1]\to M$ given by $$x(t) := h_t(x_0).$$ Let $\gamma:[0,1]\to M$ be a smooth path such that $\gamma(0)$ lies outside of the support of $H$ and $\gamma(1)=x_0$. Differentiating the function $s\mapsto{{\mathcal A}}_H(x_s)$, where $x_s(t):=h_t(\gamma(s))$, we find $${{\mathcal A}}_H(x) = \int_0^1(h^*\lambda-\lambda)(\dot\gamma(s))\,ds.$$ Thus the action of $x$ depends only on $x_0$, $h$, and $\lambda$. A relative symplectic capacity ------------------------------ Let $M$ be an open symplectic manifold with symplectic form ${{\omega}}=d\lambda$ and $A\subset M$ be a compact subset. In this section we define a relative symplectic capacity $$C(M,A):2^{\widetilde{\pi}_1(M)} \times[-\infty,\infty) \to [0,\infty]$$ for the pair $(M,A)$. This capacity has the following feature: given $\alpha\subset\widetilde{\pi}_1(M)$ and $a\in{{\mathbb{R}}}\cup\{-\infty\}$ such that $C(M,A;\alpha,a) < \infty$, every $H\in{{\mathcal H}}(M)$ with $\inf_{S^1\times A}H > C(M,A;\alpha,a)$ must have a $1$-periodic orbit representing one of the homotopy classes in $\alpha$ with symplectic action ${{\mathcal A}}_H(x)\ge a$. Moreover, $C(M,A;\alpha,a)$ is the optimal bound for the existence of such an orbit. More precisely, for $c > 0$ let $${{\mathcal H}}_c(M,A) := \left\{H\in{{\mathcal H}}(M)\,|\, \inf_{S^1\times A}H \ge c\right\}.$$ For a subset $\alpha\subset\widetilde{\pi}_1(M)$ and a number $a\ge-\infty$ we define the <span>**relative symplectic capacity**</span> $C(M,A;\alpha,a)\ge 0$ by $$C(M,A;\alpha,a) := \inf \left\{c>0 \biggm| \forall H\in{{\mathcal H}}_c(M,A) \; \exists x\in{{\mathcal P}}(H;\alpha)\; \textnormal{ such that } {{\mathcal A}}_H(x)\ge a \right\}.$$ We use the convention that $\inf\emptyset=\infty$. The infimum in the definition of $C(M,A;\alpha,a)$ is always achieved (see Proposition \[P:inf\] below). In order to relax the notation we identify the single element subset $\{ \alpha\} \subset \widetilde{\pi}_1(M)$ with $\alpha \in \widetilde{\pi}_1(M)$. Also, for $a=-\infty$ we abbreviate $$C(M,A;\alpha) := C(M,A;\alpha,-\infty) = \inf\left\{c>0 \biggm| {{\mathcal P}}(H;\alpha)\ne\emptyset \mbox{ for every } H\in{{\mathcal H}}_c(M,A) \right\}.$$ Note that the invariant $C(M,A;\alpha)$ is independent of the choice of $\lambda$. It turns out that $C(M,A;\alpha)$ is <span>*finite*</span> in some interesting cases. To begin with lt us consider the case $A=\textnormal{pt}$. Then the invariant $C(M,A; \alpha)$, with $\alpha=\widetilde{\pi}_1(M)$, is analogous to the Hofer-Zehnder capacity @H-Z. The difference is that Hofer and Zehnder considered nonnegative and time-independent Hamiltonian functions. Lalonde @La suggested to consider more general subsets $A$. Here are some examples in which our capacity can be computed. Let $X$ be a closed (i.e. compact without boundary) connected Riemannian manifold. Denote by $$U^*X := \left\{v\in T^*X \bigm| |v| <1 \right\} \subset T^*X$$ the open unit cotangent bundle. This manifold is equipped with the canonical symplectic form $\omega_{{\rm can}}=d\lambda_{{\rm can}}$ of $T^*X$. We identify $X$ with the zero section of $U^*X$ and $\widetilde{\pi}_1(X)$ with $\widetilde{\pi}_1(U^*X)$. Moreover, in the case of the standard torus $X={{\mathbb{T}}}^n={{\mathbb{R}}}^n/{{\mathbb{Z}}}^n$ there is a natural isomorphism $$\widetilde{\pi}_1(U^*{{\mathbb{T}}}^n)\cong\widetilde{\pi}_1({{\mathbb{T}}}^n)\cong{{\mathbb{Z}}}^n.$$ We denote the Euclidean norm of an integer vector $k=(k_1,\dots,k_n)\in{{\mathbb{Z}}}^n$ by $$|k| := \sqrt{\sum_{j=1}^n k_j^2}.$$ \[T:cotangent\] <span>**(i)**</span> Let ${{\mathbb{T}}}^n={{\mathbb{R}}}^n/{{\mathbb{Z}}}^n$ be the flat equilateral torus with the metric induced by the standard metric on ${{\mathbb{R}}}^n$. Then, for every $k\in{{\mathbb{Z}}}^n\cong\widetilde{\pi}_1(U^*{{\mathbb{T}}}^n)$ and every $a\in{{\mathbb{R}}}$, $$C(U^*{{\mathbb{T}}}^n,{{\mathbb{T}}}^n;k,a) =\max\{|k|,a\}.$$ <span>**(ii)**</span> Let $X$ be a closed Riemannian manifold with negative sectional curvature. Then, for every $\alpha\in\widetilde{\pi}_1(X)\cong\widetilde{\pi}_1(U^*X)$ and every $a\in{{\mathbb{R}}}$, $$C(U^*X, X;\alpha,a) = \max\{\textnormal{length}(\gamma_\alpha),a\},$$ where $\gamma_\alpha:S^1\to X$ is the (unique up to time shift) closed geodesic that represents the homotopy class $\alpha$. Properties {#sec:axioms} ---------- In this section we establish some basic properties of the relative capacity and prove Theorems B and C, assuming Theorem \[T:cotangent\] (i). <span>**(Monotonicity)**</span> \[P: mon\] Let $A_2 \subset A_1 \subset M_1 \subset M_2$, where $M_1$ is an open subset of $M_2$. Let $\iota_*:\widetilde{\pi}_1( M_1)\to\widetilde{\pi}_1( M_2)$ denote the map induced by the inclusion $\iota:M_1 \subset M_2$. Then, for $\alpha_i\subset\widetilde{\pi}_1(M_i)$ and $a_i\ge-\infty$, we have $$\iota_*^{-1}(\alpha_2)\subset\alpha_1,\;\; a_1\leq a_2 \qquad{\Longrightarrow}\qquad C(M_1,A_1;\alpha_1,a_1)\le C(M_2,A_2;\alpha_2,a_2).$$ In particular, if $\iota_*$ is injective then for every $\alpha \subset \widetilde{\pi}_1(M_1)$ and $a_1\leq a_2$ we have $$C(M_1, A_1; \alpha, a_1) \leq C(M_2, A_2; \iota_*(\alpha), a_2).$$ Let $c>C(M_2,A_2;\alpha_2,a_2)$. Then every Hamiltonian function $H\in{{\mathcal H}}_c(M_2,A_2)$ has a $1$-periodic orbit representing a class in $\alpha_2$ with action at least $a_2$. In particular, for every $H\in {{\mathcal H}}_c(M_1,A_1)$ there exists a $1$-periodic orbit $x:S^1\to M_1$ such that $\iota_*[x]\in\alpha_2$ (and hence $[x]\in\alpha_1$) and ${{\mathcal A}}_H(x)\ge a_2\ge a_1$. This shows that $c\ge C(M_1,A_1;\alpha_1,a_1)$. Our next result provides a useful condition which guarantees that the relative capacity is trivial. <span>**(Displacement)**</span>\[P: disp\] Suppose there exists a compactly supported Hamiltonian isotopy $f_t:M\to M$, $0\le t\le1$, such that $f_1(A)\cap A = \emptyset$ and all 1-periodic orbits of $f_t$ are contractible. Then, for every constant $c>0$, there exists a Hamiltonian $H\in{{\mathcal H}}_c(M,A)$ such that ${{\mathcal P}}(H;\alpha)=\emptyset$ for every nontrivial class $\alpha\in\widetilde{\pi}_1(M)$. In particular, $C(M,A;\alpha) = \infty$ for every nontrivial class $\alpha$. Let $F\in{{\mathcal H}}$ be the Hamiltonian function generating $f_t$ and suppose that $U$ is a neighbourhood of $A$ such that $f_1(U)\cap U =\emptyset$. Choose a smooth function $G:M\to{{\mathbb{R}}}$ such that $${\rm supp}\,G\subset U,\qquad \inf_A G + \inf_{[0,1]\times M} F \ge c.$$ Let $g_t$ denote the Hamiltonian flow of $G$ and consider the Hamiltonian flow $h_t:=f_tg_t$. Since $f_1(U)\cap U=\emptyset$, the Hamiltonian diffeomorphisms $h_1$ and $f_1$ have the same fixed points. Hence all $1$-periodic orbits of the flow $h_t$ are contractible: they have the form $x(t)=x(t+1)=h_t(x_0)=f_t(x_0)$ for some $x_0\in M\setminus U$. The same holds for the conjugate isotopy ${{\varphi}}_t:=f_1^{-1}h_tf_1$. Moreover, ${{\varphi}}_1 = g_1f_1 = \psi_1$, where $\psi_t = g_tf_t$. Hence, by Remark \[r: cl\], all $1$-periodic orbits of the isotopy $\psi_t$ are contractible as well. Observe now that the flow $\psi_t$ is generated by the Hamiltonian functions $\Psi_t := G + F_t\circ g_t^{-1}$ and they satisfy $\inf_A\Psi_t \ge c$ for $x \in A$. By Proposition \[prop:per\], there is a periodic Hamiltonian in ${{\mathcal H}}_c(M,A)$ with the same time-$1$-map as $\Psi_t$ and, by Remark \[r: cl\], the $1$-periodic orbits of this periodic Hamiltonian are also contractible. Let us now look at the relative capacity from the geometric viewpoint. The group ${{\mathcal{D}}}$ of all compactly supported Hamiltonian diffeomorphisms of $M$ carries Hofer's metric (see Section \[sec:stable\] above). Denote by ${{\mathcal{D}}}_c\subset {{\mathcal{D}}}$ the subset consisting of all Hamiltonian diffeomorphisms generated by functions from ${{\mathcal H}}_c(M,A)$. Recall that every $h\in{{\mathcal D}}$ has a canonical lift to the universal cover and hence the homotopy class (in $\widetilde{\pi}_1(M)$) of a fixed point is independent of the choice of the compactly supported Hamiltonian generating $h$ (see Remark \[r: cl\]). <span>**(Stability)**</span> \[P: hof1\] <span>**(i)**</span> Suppose that $C(M,A;\alpha) \le c < \infty$ for some nontrivial class $\alpha\in\widetilde{\pi}_1(M)$. Let $f\in{{\mathcal{D}}}_{c+a}$ be a Hamiltonian diffeomorphism, where $a>0$. Then every compactly supported Hamiltonian diffeomorphism $h\in{{\mathcal D}}$ with $\rho(f,h) < a$ has a fixed point in the class $\alpha$. In particular, $\rho(f,{{\rm id}})\ge a$. <span>**(ii)**</span> Suppose that $$\lim_{\substack{a>0 \\ a\to 0}}C(M,A;0,a)=0$$ and let $c>0$. Then $\rho(f,{{\rm id}})\ge c$ for every $f\in{{\mathcal D}}_c$. We prove (i). Let $f\in{{\mathcal{D}}}_{c+a}$ and $h\in{{\mathcal D}}$ such that $\rho(f,h)<a$. Then, by Proposition \[P: hof\], $h\in{{\mathcal D}}_c$ and hence there exists a Hamiltonian isotopy $h_t$ with $h_1=h$ whose Hamiltonian function belongs to ${{\mathcal H}}_c(M,A)$. By definition of the relative capacity, this flow has a 1-periodic orbit in the class $\alpha$. In particular $h\ne{{\rm id}}$. This proves (i). We prove (ii). Suppose, by contradiction, that $\rho(f,{{\rm id}})<c$ for some $f\in{{\mathcal D}}_c$. Then, by Propositions \[P: hof\] and \[prop:per\], there exists a Hamiltonian function $H\in{{\mathcal H}}(M)$ that generates the identity and satisfies $\inf_{S^1\times A}H > 0$. By assumption, there exists a constant $a>0$ such that $C(M,A;0,a)<\inf_{S^1\times A}H$. Hence there exists a contractible periodic orbit $x\in{{\mathcal P}}(H;0)$ with action ${{\mathcal A}}_H(x)\ge a$. On the other hand, since $H$ generates the identity, every orbit is a contractible periodic orbit with action zero. This contradiction proves (ii). \[P:inf\] Let $\alpha\subset\widetilde{\pi}_1(M)$ and $a\ge-\infty$. Then every Hamiltonian $H\in{{\mathcal H}}(M)$ with $\inf_{S^1\times A}H \ge C(M,A;\alpha,a)$ must have a $1$-periodic orbit representing one of the homotopy classes in $\alpha$ with symplectic action ${{\mathcal A}}_H(x)\ge a$. In other words, the set $ \left\{c>0\,|\,\forall H\in{{\mathcal H}}_c(M,A) \; \exists x\in{{\mathcal P}}(H;\alpha)\; \textnormal{ such that } {{\mathcal A}}_H(x)\ge a \right\} $ is either empty or has a minimum. Without loss of generality we may assume that either $0 \not \in \alpha$ or $a>0$, since otherwise there is nothing to prove (all points $x$ outside the support of $H$ are constant periodic orbits in the class $0$ and with action $0$). Choose a compact subset $K\subset M$ such that $A \subset \textnormal{Int\,} K$ and $S^1\times K \supset \textnormal{supp} H$. Next, let $\sigma:M \to \mathbb{R}$ be a Hamiltonian function supported in $K$ and such that $\sigma|_A > 0$. Consider the sequence of Hamiltonians $H_n:=H+\frac{1}{n} \sigma$. Clearly $\inf_{S^1\times A} H_n > C(M,A;\alpha, a)$, hence for every $n$, $H_n$ has a $1$-periodic orbit $x_n$ with $[x_n] \in \alpha$ and ${{\mathcal A}}_{H_n}(x_n)\ge a$. Note that $x_n \subset K$ for every $n$ due to the assumption that either $0\not \in \alpha$ or $a>0$. Now $H_n$ converges to $H$ in the ${C^\infty}$ topology and $K$ is compact. Hence, replacing $H_n$ by a suitable subsequence if necessary, we obtain a sequence of periodic orbits $x_n$, that converges to a periodic orbit $x$ of $H$. If follows that, for $n$ sufficiently large, the loops $x_n$ all represent the same homotopy class. Hence $[x]=\lim_{n\to\infty}[x_n] \in \alpha$ and ${{\mathcal A}}_H(x) = \lim_{n\to \infty}{{\mathcal A}}_{H_n}(x_n)\ge a$. \[Proof of Theorem B\] Due to Proposition \[prop:per\] and the discussion on homotopy classes following its proof we may assume our Hamiltonians to be defined on $S^1\times U^*\mathbb{T}^n$ rather than on $[0,1]\times U^*\mathbb{T}^n$. Let $H:S^1\times U^*{{\mathbb{T}}}^n\to{{\mathbb{R}}}$ be a compactly supported Hamiltonian function and $k\in{{\mathbb{Z}}}^n$ an integer vector such that $$|k|\le c := \inf_{S^1\times{{\mathbb{T}}}^n}H.$$ By Theorem \[T:cotangent\] (i), $ C(U^*{{\mathbb{T}}}^n,{{\mathbb{T}}}^n;k,c) = c.$ It follows from the definition of our capacity and Proposition \[P:inf\] that there exists a periodic solution $x \in{{\mathcal P}}(H;k)$ of (\[eq:ham\]) such that $x$ represents the homotopy class $k$ and $ {{\mathcal A}}_{H}(x)\ge c.$ This proves the assertion of Theorem B for periodic Hamiltonian functions. The assertion in the non-periodic case follows from the periodic case, Proposition \[prop:per\], and Remark \[rmk:action\]. \[Proof of Theorem C\] Let $S\subset U^*{{\mathbb{T}}}^n$ be a non-Lagrangian section and $c>0$ be any real number. It is shown in @PFlo [@LSik] that there exists a Hamiltonian function $H:U^*{{\mathbb{T}}}^n\to{{\mathbb{R}}}$ such that the vector field $X_H$ is nowhere tangent to $S$: $$x\in S\qquad{\Longrightarrow}\qquad X_H(x)\notin T_xS.$$ We may assume without loss of generality that $H$ has compact support. Now let ${{\varphi}}_t:U^*{{\mathbb{T}}}^n\to U^*{{\mathbb{T}}}^n$ denote the flow generated by $X_H$. Then there exists an ${{\varepsilon}}>0$ such that $$0<t<{{\varepsilon}}\qquad{\Longrightarrow}\qquad {{\varphi}}_t(S)\cap S=\emptyset.$$ If $\delta$ is sufficiently small then the only $1$-periodic solutions of the Hamiltonian flow $t\mapsto{{\varphi}}_{\delta t}$ are constant and ${{\varphi}}_\delta(S)\cap S=\emptyset$. Hence, by Proposition \[P: disp\], there exists, for every $c>0$, a Hamiltonian function $F\in{{\mathcal H}}_c(U^*{{\mathbb{T}}}^n,S)$ such that ${{\mathcal P}}(F;k)=\emptyset$ for every nonzero integer vector $k\in{{\mathbb{Z}}}^n$. Existence of closed orbits on hypersurfaces {#sb:hyp} ------------------------------------------- As a by-product of our study of the relative capacity we obtain existence of closed orbits on hypersurfaces in various situations. \[T:Hyp1\] Let $X$ be either $\mathbb{T}^n$ or a closed negatively curved manifold and $H:T^*X \to \mathbb{R}$ a proper and bounded below Hamiltonian. Suppose that the sublevel set $\{ H < c\}$ contains the zero section. Then for every nontrivial homotopy class $\alpha \in \widetilde{\pi}_1( T^*X)$ there exists a dense subset $S_{\alpha} \subset (c,\infty)$ with the property that for every $s\in S_{\alpha}$ the level set $\{H=s\}$ contains a closed orbit $x_s$ in the class $\alpha$ and with $\int_{x_s} \lambda_{\textnormal{can}} > 0$. Fix a nontrivial homotopy class $\alpha \in \widetilde{\pi}_1(T^*X)$. To prove the statement of the theorem we shall show that for every $b>a>c$ there exists $s \in (a,b)$ such that the level set $\{H=s\}$ carries a closed orbit $x$ in the class $\alpha$ and with $\int_x \lambda_{\textnormal{can}} > 0$. Pick a Riemannian metric $g$ on $X$ which in case $X=\mathbb{T}^n$ is the flat equilateral metric, or in the other case has negative curvature. Denote by $U^*X \subset T^*X$ the unit cotangent bundle of $(X,g)$ endowed with the canonical symplectic structure. Let $b>a>c$. Due to a rescaling argument we may assume without loss of generality that the sublevel set $\{ H\leq b \}$ is contained in $U^*X$. Next, put $C_{\alpha} = C(U^*X, X; \alpha^{-1})$. Note that by Theorem \[T:cotangent\] the number $C_{\alpha}$ is finite (and in fact equals the length of a geodesic in the class $\alpha^{-1}$). Now choose a smooth function $\sigma: \mathbb{R} \to \mathbb{R}$ with the following properties: 1. $\sigma(r) = C_{\alpha}$ for $r\leq a$. 2. $\sigma(r) = 0$ for $r \geq b$. 3. $\sigma'(r) < 0$ for $a<r<b$. Consider the compactly supported Hamiltonian $F:U^*X \to \mathbb{R}$ defined by $F=\sigma \circ H$. As $F|_X = C_{\alpha}$ it follows from the definition of $C_{\alpha}$ that $F$ has a $1$-periodic orbit, say $y$, in the class $\alpha^{-1}$. Note that $y$ is nonconstant (because $\alpha$ is nontrivial). Therefore $y$ must lie on one of the level sets $\{F=\rho\}$ where $0< \rho < C_{\alpha}$. Since $\sigma$ takes the interval $(a,b)$ injectively onto $(0,C_{\alpha})$ there exists $s \in (a,b)$ such that $\{F=\rho\} = \{ H=s\}$, hence $y$ lies on the level set $\{H=s\}$. Applying to $y$ a suitable <span>*orientation reversing*</span> reparametrization will give us a closed orbit $x_s$ of $H$ in the class $\alpha$. This follows easily from the fact that $X_F = (\sigma' \circ H) X_H$ and $\sigma'(s) < 0$. Finally note that by Theorem \[T:cotangent\], the orbit $y$ has action ${{\mathcal A}}_F(y) \geq C_{\alpha}$, hence $$C_{\alpha} \leq \int_0^1\left(F(y(t)) - \lambda_{\textnormal{can}}(\dot y(t))\right)\,dt = \rho + \int_{x_s} \lambda_{\textnormal{can}} < C_{\alpha} + \int_{x_s} \lambda_{\textnormal{can}}.$$ Consequently $\int_{x_s} \lambda_{\textnormal{can}} > 0$. ### Symplectically convex boundaries Let $(M, \omega)$ be a symplectic manifold and $U \subset M$ a relatively compact domain with smooth <span>**convex**</span> boundary $Q=\partial \overline{U}$. Recall that this means, by definition, that there exists a Liouville vector field $Y$ (namely ${{\mathcal L}}_Y \omega = \omega$), defined on a neighbourhood of $Q$ in $M$, such that $Y$ points outside of $U$ along $Q$. Note that in this case $Q$ is a hypersurface of contact type since the vector field $Y$ gives rise to a contact form $\lambda_Q = (\iota(Y)\omega)|_{TQ}$ on $Q$ with $d\lambda_Q = \omega|_{TQ}$. Denote by $\mathcal{L}_Q = \ker (\omega|_{TQ}) \subset TQ$ the characteristic line field of $Q$. The Reeb vector field $R$ of $\lambda_Q$ is a nonvanishing section of ${{\mathcal L}}_Q$ and so defines an orientation on ${{\mathcal L}}_Q$. We call this the <span>**canonical orientation**</span> of ${{\mathcal L}}_Q$. It induces an orientation on each leaf of the characteristic foliation of $Q$ (namely the foliation corresponding to $\mathcal{L}_Q$). \[C:convex1\] Let $X$ be either $\mathbb{T}^n$ or a closed negatively curved manifold. Let $U \subset T^*X$ be a relatively compact domain containing the zero section, and with smooth convex boundary $Q=\partial \overline{U}$. Let $\mathcal{L}_Q$ be equipped with its canonical orientation. Then for every nontrivial homotopy class $\alpha \in \widetilde{\pi}_1(X)$ the characteristic foliation of $Q$ has a closed leaf $x \subset Q$ with $j_*[x] = \alpha$, where $j_*: \widetilde{\pi}_1(Q) \to \widetilde{\pi}_1(X)$ is the map induced by the composition $j: Q \subset T^*X \stackrel{\pi}{\longrightarrow} X$. We were informed by C. Viterbo that the above corollary should follow also from the variational techniques of @H-V. \[Proof of Corollary \[C:convex1\]\] Denote by $\omega$ the (canonical) symplectic form on $T^*X$ and let $\lambda_Q$ be the contact form on $Q$ induced by a local Liouville vector field $Y$ as described above. Since $U$ has convex boundary there exist a neighbourhood $W$ of $Q=\partial\overline{U}$ in $M$ and a diffeomorphism $\Phi:(-{{\varepsilon}},{{\varepsilon}})\times Q \to W$ such that (see @MS): 1. $\Phi(0,q) = q$ for every $q \in Q$. 2. $\Phi\big((-{{\varepsilon}},0)\times Q\big) \subset U$, and $\Phi\big((0,{{\varepsilon}})\times Q\big) \subset W \setminus \overline{U}$. 3. $\Phi^*\omega = d(e^{\tau}\lambda_Q)$, where $\tau$ is the coordinate on $(-{{\varepsilon}},{{\varepsilon}})$. Choose a smooth function $h:(-{{\varepsilon}},{{\varepsilon}}) \to \mathbb{R}$ with the following properties: 1. $h(\tau) = 0 $ for $\tau \leq -{{\varepsilon}}/2$, and $h(\tau) = 1$ for $\tau \ge {{\varepsilon}}/2$. 2. $h'(\tau) > 0$ for $-{{\varepsilon}}/2<\tau<{{\varepsilon}}/2$. Define now $H:W \to \mathbb{R}$ by $H(\Phi(\tau, q)) = h(\tau)$. Next, extend $H$ to a smooth function $H:T^*X \to \mathbb{R}$ in such a way that: 1. $H \equiv 0$ on $U \setminus W$. 2. $H \geq 1$ on $T^*X \setminus (U \cup W)$. 3. $H$ is proper. Pick $a,b$ with $0<a<b<1$. By Theorem \[T:Hyp1\], there exists an $s_0 \in(a,b)$ such that the level set $\{H=s_0\}$ carries a closed orbit of $H$, say $y$, with $\pi_*[y]=\alpha$. Since $0<s_0<1$, there exists $\tau_0 \in (-{{\varepsilon}}/2,{{\varepsilon}}/2)$ such that $\Phi^{-1}(\{H=s_0\}) = \tau_0\times Q$. Thus $\Phi^{-1}(y) = (\tau_0, x)$ where $x\subset Q$ is a closed curve. On the other hand $\Phi^{-1}(y)$ is a closed orbit for the Hamiltonian $h(\tau,q) = h(\tau)$ on $\Big( (-{{\varepsilon}},{{\varepsilon}}) \times Q, \, d(e^{\tau}\lambda_Q) \Big)$. A simple computation shows that the Hamiltonian vector field $X_h$ of $h$ is given along $\tau_0\times Q$ by $X_h|_{\tau_0 \times Q} = h'(\tau_0)e^{-\tau_0} R$, where $R$ is the Reeb vector field of $\lambda_Q$. This proves that $x\subset Q$ is a closed leaf of the characteristic foliation of $Q$. The orientation of $x$ agrees with the one of the characteristic foliation because $h'(\tau_0)>0$. Finally, the map $\Phi(\tau_0, \cdot): Q \to T^*X$ is homotopic to the inclusion $Q\subset X$, hence $j_*[x] = \pi_*[y] = \alpha$. The main point in the proofs of both Theorem \[T:Hyp1\] and Corollary \[C:convex1\] is that when $X$ is either $\mathbb{T}^n$ or a negatively curved manifold we have $C(U^*X, X; \alpha) < \infty$ <span>*for every*</span> $\alpha \in \widetilde{\pi}_1(X)$. This suggests the following definition. Let $X$ be a smooth closed manifold. We say that a nontrivial free homotopy class $\alpha \in \widetilde{\pi}_1(X)$ is <span> **symplectically essential**</span> if there exists a domain $U \subset T^*X$ containing the zero-section such that $C(U,X;\iota_*(\alpha)) < \infty$. Here $\iota_*:\widetilde{\pi}_1(X) \to \widetilde{\pi}_1(U)$ is the map induced by the inclusion $\iota:X \to U$
{'source': 'arXiv_out/math0108134_extract_propagation'}