Abstract
We show that the Hamiltonian action satisfies the Palais–Smale condition over a “mixed regularity” space of loops in cotangent bundles, namely the space of loops with regularity \(H^s\), \(s\in (\frac{1}{2}, 1)\), in the base and \(H^{1-s}\) in the fiber direction. As an application, we give a simplified proof of a theorem of Hofer–Viterbo on the existence of closed characteristic leaves for certain contact type hypersufaces in cotangent bundles.
Similar content being viewed by others
1 Introduction
Let \((W,\omega )\) be a closed symplectic manifold, and let \(H:\mathbb {T}\times W \rightarrow \mathbb {R}\) be a smooth time-depending Hamiltonian, where \(\mathbb {T}:=\mathbb {R}/\mathbb {Z}\). With the pair \((H,\omega )\) we can associate a Hamiltonian vector field \(X_H\) by
and hence an induced Hamiltonian system by
One of the central problem in the theory of Hamiltonian systems is to find (one-)periodic solutions of (1.1). Such periodic solutions can be found as critical points of a suitable action functional: the Hamiltonian action of a contractible loop \(x:\mathbb {T}\rightarrow W\) is given by
where \({\bar{x}}:{\mathbb {D}}\rightarrow W\) is a map on the disk \({\mathbb {D}}\) coinciding with x on \(\partial {\mathbb {D}}\cong \mathbb {T}\). For an arbitrary \((W,\omega )\), the functional \({\mathbb {A}}_H\) is unfortunately not well-suited for finding critical points using classical Morse theory, and this has forced to develop new techniques to deal with it. One of the most powerful is certainly Floer theory: The Floer homology \(FH_*(W,\omega )\) of \((W,\omega )\) is the homology of a chain complex which is generated by contractible one-periodic solutions of (1.1). The boundary operator is defined by a suitable count of “negative \(L^2\)-gradient flow lines” of \({\mathbb {A}}_H\); these are cylinders \(u:\mathbb {R}\times \mathbb {T}\rightarrow W\) which are asymptotic to pairs of periodic orbits of \(X_H\) and solve the nonlinear perturbed Cauchy–Riemann equation
where \((J_t)\) is a given loop of \(\omega \)-compatible almost complex structures on W. As the notation suggests, \(FH_*(W,\omega )\) does not depend on the defining data H and J, and it is actually isomorphic to the singular homology of M with respect to suitable coefficient rings. This approach to the study of periodic orbits on general symplectic manifolds was introduced by Floer in the late 80’s [12,13,14] under additional assumptions, and later extended more and more by several authors, see e.g. [16, 23, 28]. Floer homology can be defined also for non-compact symplectic manifolds which are suitably convex at infinity. In this case, the theory requires the use of Hamiltonians having a suitable behavior at infinity and is a genuine infinite dimensional homology theory: for instance, the Floer homology of \(T^*M\), the total space of the cotangent bundle of a closed manifold M, is isomorphic to the singular homology of the free loop space of M, see [3, 5, 32].
On particular symplectic manifolds however, a Morse theory for the Hamiltonian action functional \({\mathbb {A}}_H\) can be obtained by more classical methods. This is the case of the torus \(\mathbb {T}^{2n}\), for which \({\mathbb {A}}_H\) admits a smooth negative gradient flow on the space of contractible loops of Sobolev class \(H^{1/2}\). The space of loops of class \(H^{1/2}\) in an arbitrary manifold does not have a good structure of an infinite dimensional manifold due to the fact that curves of class \(H^{1/2}\) might have discontinuities, but since \(\mathbb {T}^{2n}\) is a quotient of \(\mathbb {R}^{2n}\), the space of contractible \(H^{1/2}\)-loops on \(\mathbb {T}^{2n}\) can be identified with \(\mathbb {T}^{2n}\) times the Hilbert space of \(H^{1/2}\)-loops in \(\mathbb {R}^{2n}\) having zero mean. Although strongly indefinite (meaning that all its critical points have infinite Morse index and co-index), the functional \({\mathbb {A}}_H\) has good analytical properties on this space. By using finite dimensional approximations, the \(H^{1/2}\)-approach was used by Conley and Zehnder [9] to prove Arnold’s conjecture on \(\mathbb {T}^{2n}\) five years before the birth of Floer homology; see also [33] for a simplified proof. Another symplectic manifold which can be dealt with by similar methods is \(\mathbb {C}\mathbb P^n\), see [15].
In this and a follow up paper we aim at enlarging the class of symplectic manifolds such that the action functional \({\mathbb {A}}_H\) given by (1.2) induces a negative gradient flow with good compactness properties on a suitable space of free loops. In the present paper we will focus on cotangent bundles: the total space \(T^*M\) of the cotangent bundle over a closed manifold M carries a natural symplectic form \(\omega _{\mathrm {std}}\), which in local coordinates \((q,p)=(q_1,p_1,...,q_n,p_n)\) is given by \(\omega _{\mathrm {std}}= \mathrm {d}q \wedge \mathrm {d}p\). In this setting, the functional \({\mathbb {A}}_H\) reads
where \(\lambda _{\mathrm {std}}= p\mathrm {d}q\) is the Liouville one-form. As domain of definition of \({\mathbb {A}}_H\) we will take the bundle \({\mathcal {M}}^{1-s}\) over the Hilbert manifold of loops \(H^s(\mathbb {T},M)\), \(s\in (\frac{1}{2},1)\) whose typical fibre is given by the space of \(H^{1-s}\)-vector fields along \(\gamma \in C^\infty (\mathbb {T},M)\), and will endow \({\mathcal {M}}^{1-s}\) with a Riemannian metric which is naturally induced by the choice of a Riemannian metric on M. For more details we refer to Sect. 2. Another class of manifolds that we aim at studying is given by toric manifolds. In this case, the isotropic foliation given by the torus action will play the role of the fibers of \(T^*M\). We will address these question in a forthcoming paper.
We recall that a \(C^1\)-functional \(f:{\mathcal {H}}\rightarrow \mathbb {R}\), \({\mathcal {H}}\) Hilbert manifold endowed with a metric \(\langle \cdot ,\cdot \rangle \), satisfies the Palais–Smale condition if every sequence \((\gamma _n)\subset {\mathcal {H}}\) such that
admits a converging subsequence. Here \(\Vert \cdot \Vert \) denotes the (dual) metric on \(T^*{\mathcal {H}}\) induced by \(\langle \cdot ,\cdot \rangle \).
Theorem 1.1
Let M be a closed manifold, and let \(\pi :T^*M\rightarrow M\) be its cotangent bundle. Furthermore, let \(H:\mathbb {T}\times T^*M\rightarrow \mathbb {R}\) be a smooth time-depending Hamiltonian function satisfying the growth condition
where \(K\subset T^*M\) is a compact subset, \(|\cdot |\) is the norm induced by a Riemannian metric on M and \(c\in \mathbb {R}\) is some constant. Then, for every \(s\in (\frac{1}{2} ,1)\), \({\mathbb {A}}_H:\mathcal M^{1-s}\rightarrow \mathbb {R}\) satisfies the Palais–Smale condition.
The Palais–Smale condition is, as the natural replacement of compactness, a key property in infinite-dimensional critical point theory, and, as such, it is the starting point to obtain a “classical” Morse theory for the Hamiltonian action functional \({\mathbb {A}}_H\). Indeed, once one has a negative gradient flow with good analytical properties for a strongly indefinite functional, one can obtain a Morse theory e.g. using the Morse complex approach which is developed in [2] (see also references therein). In this approach, one constructs a chain complex looking at one-dimensional intersections of unstable and stable manifolds of pairs of critical points. The difference with respect to Floer homology is that the Cauchy–Riemann equation (1.3) is replaced by an ODE in an infinite dimensional manifold. We will address this problem in a forthcoming paper.
In this paper, we will apply Theorem 1.1 to give a simplified proof of a Theorem of Hofer and Viterbo [24] on the existence of closed characteristic leaves for certain contact type hypersurfaces in \(T^*M\). To this purpose, we recall that solutions of (1.1) for an autonomous (that is, time independent) Hamiltonian function \(H:T^*M\rightarrow \mathbb {R}\) are contained in a level set of H; indeed, for any solution \(x:I\rightarrow T^*M\) of (1.1) we have
We set \(\Sigma :=H^{-1}(\kappa )\), \(\kappa \in \mathbb {R}\), and suppose that \(\Sigma \) is compact, connected, and regular, that is, \(X_H\) is nowhere vanishing on \(\Sigma \). As it is well-known, the Hamiltonian dynamics on \(\Sigma \) essentially depends only on \(\Sigma \), meaning that the dynamics of two different Hamiltonians both defining \(\Sigma \) only differ by time-reparametrization: The symplectic form \(\omega _{\mathrm {std}}\) induces a line distribution on \(\Sigma \) via
and \(X_H |_\Sigma \in \ell _\Sigma \). The line distribution \(\ell _\Sigma \rightarrow \Sigma \) is usually called the characteristic line bundle over \(\Sigma \) and induces a foliation of \(\Sigma \) (whose leaves are unparametrized Hamiltonian trajectories), called the characteristic foliation of \(\Sigma \). In particular, finding periodic solutions to (1.1) with energy \(\kappa \) is equivalent to finding closed characteristic leaves on \(\Sigma =H^{-1}(\kappa )\). In what follows we say that an hypersurface \(\Sigma \subset T^*M\) is \(\mathbb O_M\)-separating if the bounded component of \(T^*M\setminus \Sigma \) contains the zero-section \({\mathbb {O}}_M\) of the bundle \(T^*M\rightarrow M\).
Theorem 1.2
Let \(\Sigma \subset T^*M\) be a compact connected \(\mathbb O_M\)-separating contact type hypersurface. Then there exists a closed characteristic leaf on \(\Sigma \).
The hypersurface \(\Sigma \subset (T^*M,\omega _{\mathrm {std}})\) is called of contact type, if there exists a one-form \(\alpha \in \Omega ^1(\Sigma )\) such that \(\omega _{\mathrm {std}}|_\Sigma = \mathrm {d}\alpha \) and \(\alpha \) does not vanish on \(\ell _\Sigma \), or, equivalently, if there exists a Liouville vector field Y on a neighborhood U of \(\Sigma \) (meaning that \(L_Y \omega _{\mathrm {std}}=\omega _{\mathrm {std}}\) on U, where L denotes the Lie derivative) which is everywhere transverse to \(\Sigma \) (c.f. [25, Section 4.3]). In contact geometry, one of the most famous open conjecture - universally known as the Weinstein conjecture - states that every closed contact manifold possesses a closed Reeb orbit (in our language, a closed charateristic leave). Such a conjecture was originally formulated by Weinstein in the late 1970’s [37] under the additional assumption that the cohomology do not vanish in degree one, and has received since then great attention. Nowadays, the conjecture is known to be true in dimension 3 [35]; in higher dimension, the conjecture is proved only in special cases. Theorem above can therefore be seen as a confirmation of the Weinstein conjecture for certain contact type hypersurfaces in cotangent bundles. To our best knowledge, the full Weinstein conjecture in cotangent bundles seems not to be known. In contrast, it is known to hold for compact contact type hypersurfaces in twisted cotangent bundles \((T^*M,\omega _{\mathrm {std}}- \pi ^*\sigma )\), provided the closed two-form \(\sigma \) does not vanish on \(\pi _2(M)\); see [31].
Theorem 1.2 will be an immediate consequence of a nearby/dense existence theorem of closed leaves for \(\mathbb O_M\)-separating hypersurfaces which are not necessarily of contact type. Roughly speaking, if the contact condition is dropped, then one cannot expect the existence of closed characteristic leaves on \(\Sigma \), as many explicit examples show (see e.g. [18,19,20]). However, one might hope to find closed characteristic leaves on hypersurfaces which are arbitrarily close to \(\Sigma \). To set the notation we define, following a suggestion of Kai Zehmisch, a thickening of \(\Sigma \) to be a diffeomorphism \(\Psi : (-a,a)\times \Sigma \rightarrow T^*M\), \(a\in \mathbb {R}\cup \{+\infty \}\), onto an open precompact neighborhood \(U\subset T^*M\) of \(\Sigma \) such that \(\Psi (0,\cdot ) = \imath _\Sigma :\Sigma \rightarrow T^*M\) canonical inclusion. For every \(\sigma \in (-a,a)\), we set \(\Sigma _\sigma := \Psi (\{\sigma \}\times \Sigma )\), and denote with \({\mathcal {P}}(\sigma )\) the set of closed characteristic leaves contained in \(\Sigma _\sigma \). Notice that, if \(\Sigma \) is regular and \({\mathbb {O}}_M\)-separating, then up to shrinking the interval \((-a,a)\) we can assume that each \(\Sigma _\sigma \) is regular and \({\mathbb {O}}_M\)-separating. Also, every thickening can be realized as the flow of some vector field on \(T^*M\) which is transverse to \(\Sigma \).
Theorem 1.3
Let \(\Sigma \subset T^*M\) be a compact, connected, \(\mathbb O_M\)-separating hypersurface, and let \(\Psi \) be a thickening of \(\Sigma \). Then there exists a sequence \(\sigma _n\rightarrow 0\) such that \({\mathcal {P}}(\sigma _n)\ne \emptyset \) for all \(n\in \mathbb {N}\). Moreover, we can find a constant \(\alpha =\alpha (\Psi )>0\) such that for every \(n\in \mathbb {N}\) there exists \(P_n\in {\mathcal {P}}(\sigma _n)\) with
Our proof of Theorem 1.3 follows closely the original argument of Hofer–Viterbo, nevertheless the new functional setting will enable us to strongly simplify the argument in its key technical parts. Indeed, Hofer–Viterbo’s setting corresponds in the notation above to the case \(s=1\), and it is well-known that in this case the Hamiltonian action \({\mathbb {A}}_H\) does not satisfy the Palais–Smale condition, because of the lack of compactness in the Hamiltonian part of the functional. Therefore, one has to introduce approximations of \({\mathbb {A}}_H\) to achieve compactness, and then pass to the limit for the approximations going to zero using a very delicate diagonal argument. In our case instead we can work directly with the functional \({\mathbb {A}}_H\), see Sect. 3.
Structure of the paper In Sect. 2, we introduce the necessary background on the Hamiltonian action \({\mathbb {A}}_H\) and on the functional setting, and prove Theorem 1.1. In Sect. 3, we show how Theorems 1.2 and 1.3 follow from an existence theorem of critical points for \({\mathbb {A}}_H\), which will be then proved in Sect. 4.
2 The Hamiltonian action functional
In this section, we introduce the functional setting for the Hamiltonian action \({\mathbb {A}}_H\) in (1.2) on the cotangent bundle \(T^*M\) of a closed manifold M and prove Theorem 1.1. We start recalling some well-known facts about Riemannian metrics on M which will be useful later on.
2.1 Bumpy metrics
A Riemannian metric g yields a flow on TM (the geodesic flow) by
where \(\gamma :\mathbb {R}\rightarrow M\) is the unique curve satisfying
Here, \(\nabla _{{\dot{\gamma }}}\) denotes the covariant derivative along \(\gamma \) associated with the Levi–Civita connection. The curve \(\gamma \) is called the geodesic through the point q with initial velocity v. It is well-known that periodic orbits of the geodesic flow are in one-to-one correspondence with the critical points of the energy functional
where \(|\cdot |:= \sqrt{g_{\gamma (t)}(\cdot ,\cdot )}\) is the norm induced by the Riemannian metric, and \(H^1(\mathbb {T},M)\) is the Hilbert manifold of loops in M of class \(H^1\), i.e. absolutely continuous loops with square integrable derivative. More details on the Hilbert manifold structure of \(H^1(\mathbb {T},M)\) and on the properties of the functional \({\mathbb {E}}\) can be found e.g. in [27] (see also [4]). Here we just recall that the functional \({\mathbb {E}}\) satisfies the Palais–Smale condition , meaning that any sequence \((\gamma _n)\subset H^1(\mathbb {T},M)\) such that
admits a converging subsequence. In particular, e is a critical value of \({\mathbb {E}}\). The next lemma is certainly well-known to the experts, however we include its proof here for the reader’s convenience.
Lemma 2.1
Let M be a closed manifold. Then there exists a Riemannian metric g on M such that the set of critical values of the associated energy functional is discrete.
Proof
Notice first that, for any Riemannian metric on M, zero is an isolated critical value for \({\mathbb {E}}\). Indeed, zero is a critical value since the set of constant loops \(\Lambda ^0M \cong M\) is the (non-degenerateFootnote 1; c.f. [27, Proposition 2.4.6]) critical manifold of global minima for \({\mathbb {E}}\), and on the other hand it is isolated because of the existence of a positive injectivity radius. Actually, for \(\epsilon >0\) sufficiently small the set \(\Lambda ^0M\) is a strong deformation retract of \( {\mathbb {E}}^{-1}([0,\epsilon ))\); see [27, Theorem 1.4.15].
A standard result in Riemannian geometry, orginally proved by Abraham [1] (see also [6]), asserts that the set of Riemannian metrics on M all of whose closed geodesics are non-degenerate (that is, the set of bumpy metrics) is residual in the set of all Riemannian metrics. Thus, pick one such bumpy metric g, and let \(e\in [0,+\infty )\) be a critical value for the corresponding energy functional \({\mathbb {E}}\). By the discussion above we can assume that \(e>0\). Since \({\mathbb {E}}\) satisfies the Palais–Smale condition, the set crit\(\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)\) is compact. Moreover, in virtue of the Morse Lemma for the functional \({\mathbb {E}}\) (c.f. [27, Corollary 2.4.8]), any connected component of crit\(\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)\) must be an isolated critical manifold. In particular, crit\(\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)\) consists of finitely many non-degenerate critical manifolds: indeed, suppose by contradiction that \(K_1,K_2,...\) are the connected components of crit\(\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)\), and for each \(k\in \mathbb {N}\) pick \(\gamma _k\in K_k\). Then, \((\gamma _k)\subset H^1(\mathbb {T},M)\) is a Palais–Smale sequence for \({\mathbb {E}}\) and hence, up to extracting a subsequence, it must converge to some \(\gamma \in \) crit\(\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)\). Therefore, the \(\gamma _k\)’s must eventually lie in the same connected component of crit\(\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)\).
Finally, since crit\(\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)\) consists of finitely many critical manifolds, it follows again from [27, Corollary 2.4.8] that e is an isolated critical value of \({\mathbb {E}}\). \(\square \)
2.2 The setting
Let M be a closed n-dimensional manifold. Hereafter we identify tangent and cotangent bundles of M by means of the musical isomorphism
induced by a fixed metric g on M. As we now recall, for \(s>\frac{1}{2}\) the fractional Sobolev space \(H^s(\mathbb {T},M)\) of \(H^s\)-loops in M has a natural structure of Hilbert manifold, and for any \(r\in \mathbb {R}\) there exists a vector bundle
over \(H^s(S^1,M)\), whose typical fiber is given by “vector fields of regularity \(H^r\)” along a smooth loop (for \(r<0\) these are actually elements in the dual space).
We denote by \(|\cdot |_q:= \sqrt{g_q (\cdot ,\cdot )}\) the norm induced by the Riemannian metric g on \(T_qM\). For \({{\mathbf {q}}}\in C^\infty (S^1,M)\), the metric g induces an \(L^2\)-scalar product on the space \(\Gamma ({{\mathbf {q}}}^*TM)\) of smooth vector fields along \({{\mathbf {q}}}\) by
The induced norm will be denoted by \(\Vert \cdot \Vert \) without further specifying the loop \({{\mathbf {q}}}\). Similarly, we denote by
Lemma 2.2
Let \({{\mathbf {q}}}\in C^\infty (S^1,M)\), and let \(0\le \lambda _0({{\mathbf {q}}})\le \lambda _1({{\mathbf {q}}})\le \lambda _2({{\mathbf {q}}})\le ...\) be the sequence of ordered eigenvalues of the self-adjoint operator
where \(\nabla _{{\dot{{{\mathbf {q}}}}}}\) denotes the covariant derivative along \({{\mathbf {q}}}\) and \(\nabla _{{\dot{{{\mathbf {q}}}}}}^*=-\nabla _{{\dot{{{\mathbf {q}}}}}}\) its adjoint operator. Then, there exist \(d=d(g,\Vert {\dot{{{\mathbf {q}}}}}\Vert _\infty )>0\), and \(c=c(g),C=C(g)>0\) such that
Moreover, any eigenvector \(\xi \) of \(-\nabla _{{\dot{{{\mathbf {q}}}}}}^2\) with \(\Vert \xi \Vert =1\) satisfies \(\Vert \xi \Vert _\infty \le \sqrt{2}\).
Proof
See Appendix A. \(\square \)
For \({{\mathbf {q}}}\in C^\infty (S^1,M)\) we denote by \(\{\lambda _j({{\mathbf {q}}})\}_{j\in \mathbb {N}}\) the set of ordered eigenvalues of \(\nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}}\), and with \(\{\xi _j({{\mathbf {q}}})\}_{j\in \mathbb {N}}\) the corresponding set of orthonormal eigenvectors. For all \(r\ge 0\) we set
and denote with \(H^{-r}({{\mathbf {q}}}^*TM):=(H^r({{\mathbf {q}}}^*TM))^*\) the dual space to \(H^r({{\mathbf {q}}}^*TM)\). Notice that we can interpret elements in \(H^{-r}({{\mathbf {q}}}^*TM)\) as formal series:
The self-adjoint operator \(\nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}}\) might have non-trivial (though finite dimensional) kernel, which is namely generated by 1-periodic parallel vector fields along \({{\mathbf {q}}}\). We set
so that \(\lambda _1({{\mathbf {q}}})=...=\lambda _{N({{\mathbf {q}}})}({{\mathbf {q}}})=0\) and \(\lambda _j({{\mathbf {q}}})>0\) for \(j>N({{\mathbf {q}}})\), and define
We also define for \(r\in \mathbb {R}\) the operator \(A^r=A^r({{\mathbf {q}}}):=(1+\nabla _{{\dot{{{\mathbf {q}}}}}}^*\nabla _{{\dot{{{\mathbf {q}}}}}})^{r/2}\) by
so that \(\Vert A^r {\mathbf {p}}\Vert _{2}= \Vert {\mathbf {p}}\Vert _r\) holds for all \({\mathbf {p}}\in H^r({{\mathbf {q}}}^*TM)\). Notice that, by Lemma 2.2 we have that:
-
for all \(r>r'\), the inclusion \(H^r({{\mathbf {q}}}^*TM) \rightarrow H^{r'}({{\mathbf {q}}}^*TM)\) is continuous and compact, and
-
for all \(r>\frac{1}{2}\), the inclusion \(H^r({{\mathbf {q}}}^*TM)\rightarrow C^0({{\mathbf {q}}}^*TM)\) is continuous and compact.
Lemma 2.3
For every \(r\in \mathbb {R}\) the operator \(A^r\) commutes with \(\nabla _{\dot{{\mathbf {q}}}}\).
Proof
It suffices to check that
By definition we have that
and hence
On the other hand \(\nabla _{{\dot{{{\mathbf {q}}}}}} \xi _j({{\mathbf {q}}})\) is again an eigenvector for \(-\nabla _{{\dot{{{\mathbf {q}}}}}}^2\) corresponding to the eigenvalue \(\lambda _j({{\mathbf {q}}})\), and hence
\(\square \)
For every \(q\in M\) we denote by \(\exp _q :T_qM \rightarrow M\) the exponential map, and choose \(\epsilon >0\) smaller than the injectivity radius of M. For every \({{\mathbf {q}}}\in C^\infty (S^1,M)\) let \(H^s({{\mathbf {q}}}^*\mathbb O_\epsilon )\subset H^s({{\mathbf {q}}}^*TM)\) be the space of \(H^s\)-vector fields along \({{\mathbf {q}}}\) whose image is entirely contained in the \(\epsilon \)-ball around the zero-section of \({{\mathbf {q}}}^*TM\), and define
Following [27, Sections 1.2-1.3], the differentiable structure on \(H^s(S^1,M)\) is given by declaring the collection \(\{({\mathcal {U}}^s_{{\mathbf {q}}}, (\text {Exp}_{{\mathbf {q}}})^{-1})\}\) to be an atlas of \(H^s(S^1,M)\). As it turns out, the inclusions
are continuous homotopy equivalences. Extending the definition of \(H^r({{\mathbf {q}}}^*TM)\) to any loop in \(H^s(S^1,M)\) by mean of the differential of the map \(\text {Exp}_{{\mathbf {q}}}\) yields now the desired vector bundle \(\pi _r:{\mathcal {M}}^r\rightarrow H^s(S^1,M)\). Such a bundle carries a natural Riemannian metric, which on the typical fiber is given by (2.2). We denote this metric again with \(\langle \cdot ,\cdot \rangle _r\), and observe that it can be equivalently written as
For our purposes, it will be convenient to define another metric for the bundle \(\pi ^r\), which will be denoted by \(\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r\); as it turns out, \(\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r\) is equivalent to \(\langle \cdot ,\cdot \rangle _r\) on every bundle chart, thus on every bounded set (see Lemma 2.5), but in general the two metrics are not globally equivalent (see Appendix 1). To define \(\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r\) we proceed as follows: By the isometric embedding theorem of Nash–Moser, (M, g) admits an isometric embedding into \(\mathbb {R}^N\) for some \(N\in \mathbb {N}\) large enough. This yields an equivalent definition of
as well as a scalar product \(\langle \cdot ,\cdot \rangle _r^\mathrm {emb}\) on \(\Gamma ({{\mathbf {q}}}^*TM)\) for every \(r\ge 0\) and every \({{\mathbf {q}}}\in C^\infty (S^1,M)\):
where \(\Delta \xi := \ddot{\xi }\). As usual, we denote the extension of (2.3) to any loop in \(H^s(S^1,M)\) again with \(\langle \cdot ,\cdot \rangle _r^\mathrm {emb}\).
For \({{\mathbf {q}}}\in C^\infty (S^1,M)\) we set
The operators \(L_0\) and \(L_1\) are self-adjoint and positive, and clearly \(L_0\ge L_1\), meaning that the difference \(L_0-L_1\) is a positive operator. It is a result known as the Löwner–Heinz theorem [21] (see also Kato [26]) that the function \(f(t)= t^r\) is, for every \(r\in [0,1]\), operator monotone over the interval \((0,+\infty )\), meaning that if \(A\ge B\) then \(A^r\ge B^r\). This implies that \(L_0^r\ge L_1^r\) for all \(r\in [0,1]\). Therefore, since the function \(t\mapsto - t^{-1}\) is operator monotone too [17], we obtain that \(L_0^{-r} \le L_1^{-r}\), which is equivalent to saying that
Recall that a sequence \(({{\mathbf {q}}}_n)\) is bounded in \(H^s(S^1,M)\) if there exists \(c>0\) such that
Lemma 2.4
Let \(({{\mathbf {q}}}_n)\) be a bounded sequence in \(H^s(S^1,M)\). Then up to passing to a subsequence we have that \({{\mathbf {q}}}_n\rightarrow {{\mathbf {q}}}\in C^0(S^1,M)\) uniformly.
Proof
We see \(({{\mathbf {q}}}_n)\) as a sequence in \(H^s(S^1,\mathbb {R}^N)\). By (2.4) we have that
Therefore,
for some constant \({\tilde{c}}>0\), where we used the fact that M is compact. In particular, the sequence \(({{\mathbf {q}}}_n)\subset H^s(S^1,\mathbb {R}^N)\) is \((s-\frac{1}{2})\)-Hölder equicontinuous [10, Theorem 8.2], and since \({{\mathbf {q}}}_n(\cdot )\subset M\) for all \(n\in \mathbb {N}\), this implies that the hypothesis of the Ascoli–Arzelá theorem are satisfied. Therefore, there exists \({{\mathbf {q}}}\in C^0(S^1,\mathbb {R}^N)\) such that \({{\mathbf {q}}}_n\rightarrow {{\mathbf {q}}}\) uniformly. Now, by pointwise convergence we readily see that \({{\mathbf {q}}}\in C^0(S^1,M)\). \(\square \)
We finish this section showing that the metrics \(\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r\) and \(\langle \cdot ,\cdot \rangle _r\) are equivalent on every bundle chart, and hence on every bounded set \(B\subset H^s(S^1,M)\).
Lemma 2.5
Let \(\mathrm {Exp}_{{\mathbf {q}}}:H^s({{\mathbf {q}}}^*{\mathbb {O}}_\epsilon )\rightarrow {\mathcal {U}}^s_{{\mathbf {q}}}\) be the local parametrization of \(H^s(S^1,M)\) around \({{\mathbf {q}}}\in C^\infty (S^1,M)\). Then, for every \(\gamma \in {\mathcal {U}}^s_{{\mathbf {q}}}\) the scalar products \(\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r\) and \(\langle \cdot ,\cdot \rangle _r\) are equivalent on \(H^r(\gamma ^*TM)\). As a corollary, for every \(B\subset H^s(S^1,M)\) bounded, the metrics \(\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r|_B\) and \(\langle \cdot ,\cdot \rangle _r|_B\) are equivalent.
Proof
Let \({{\mathbf {q}}}\in C^\infty (S^1,M)\). By [30, Proposition 5.6.1], there exists a constant \(\epsilon >0\) such that \(L_1\ge \epsilon L_0\), which in virtue of the Löwner–Heinz theorem implies that
that is, that \(\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r\) and \(\langle \cdot ,\cdot \rangle _r\) are equivalent in \(H^r({{\mathbf {q}}}^*TM)\).
Write now \(\gamma \in {\mathcal {U}}^s_{{\mathbf {q}}}\) as \(\gamma =\text {Exp}_{{\mathbf {q}}}(\xi )\). The assertion follows from the fact that the local representation of the metric \(\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r\) resp. \(\langle \cdot ,\cdot \rangle _r\) of \(H^r(\text {Exp}_{{\mathbf {q}}}(\xi )^*TM)\) in \(H^r({{\mathbf {q}}}^*TM)\) is equivalent to the Hilbert metric \(\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r\) resp. \(\langle \cdot ,\cdot \rangle _r\) in \(H^r({{\mathbf {q}}}^*TM)\) (see the proof of Theorem 1.4.5 in [27]), combined with the fact that \(\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r\) and \(\langle \cdot ,\cdot \rangle _r\) are equivalent in \(H^r({{\mathbf {q}}}^*TM)\).
The equivalence of the metrics on bounded sets follows now immediately from the fact that every bounded set \(B\subset H^s(S^1,M)\) can be covered by finitely many local charts. This follows from Lemma 2.4; the details are left to the reader. \(\square \)
2.3 The Palais–Smale condition
As in the previous section, let (M, g) be a closed Riemannian manifold. For \(s\in (\frac{1}{2},1]\) we consider the Hilbert-bundle \(\pi _{1-s}:{\mathcal {M}}^{1-s}\rightarrow H^s(S^1,M)\). Given a smooth time-depending Hamiltonian function \(H:\mathbb {T}\times TM\rightarrow \mathbb {R}\) such that
outside a compact set \(K\subset TM\), we can define the Hamiltonian action functional by
where \(\delta :TM \rightarrow \mathbb {R},\ \delta (q,p) = H(t,q,p)-\frac{1}{2} |p|_q^2\), is a smooth compactly supported function. We also set
To see that \({\mathbb {A}}_H\) is well-defined and of class \(C^{1,1}\) on \({\mathcal {M}}^{1-s}\), we embed M isometrically into \({\mathbb {R}}^N\). This induces an embedding of TM into \({\mathbb {R}}^{2N}\), as well as an embedding of \({\mathcal {M}}^{s-1}\) into \(\mathcal E:=H^{s}(S^1,{\mathbb {R}}^N) \times H^{1-s}(S^1,{\mathbb {R}}^N)\). We now extend \({\mathbb {A}}_H\) to \({\mathcal {E}}\) by extending \(\langle \dot{{{\mathbf {q}}}},{\mathbf {p}}\rangle \) with the same formula, and \(H:TM \rightarrow {\mathbb {R}}\) to any smooth Hamiltonian on \({\mathbb {R}}^{2N}\) which is quadratic at infinity. On \(T{\mathcal {M}}^{1-s}\) we consider the splitting into horizontal and vertical subbundles induced by the \(L^2\)-connection, which is nothing else but the Levi–Civita connection applied pointwise. Notice that such a splitting coincides with the splitting that one naturally obtains by embedding \({\mathcal {M}}^{1-s}\) into \(\mathcal E\). Denoting with \(\xi ^{\mathrm {h}}\) and \(\xi ^{\mathrm {v}}\) respectively the horizontal and vertical part of a tangent vector \(\xi \in T_{({{\mathbf {q}}},{\mathbf {p}})} {\mathcal {M}}^{1-s}\), we define a Riemannian metric on \({\mathcal {M}}^{1-s}\) by
Following [25, Section 3.3], and using the fact that the gradient of the restriction is the projection of the gradient, we obtain
Lemma 2.6
\({\mathbb {A}}_H\) is well-defined over \(\mathcal M^{1-s}\) and of class \(C^{1,1}\). Moreover, for \(s\in (\frac{1}{2} ,1)\), the operator \(\mathrm {d}\Delta \) is compact. Finally, critical points of \({\mathbb {A}}_H\) correspond to one-periodic solutions of Hamilton’s Equation (1.1). \(\square \)
We shall mention that, for \(s\in (\frac{1}{2},1)\), \({\mathbb {A}}_H\) is actually more regular than \(C^{1,1}\) even though it is in general not smooth. More precisely, arguing as in Appendix A.3 in [25] one can see that for every \(s\in (\frac{1}{2}, 1)\) there exists \(k=k(s)\in \mathbb {N}\) such that \({\mathbb {A}}_H:{\mathcal {M}}^{1-s}\rightarrow \mathbb {R}\) is of class \(C^k\), with \(k(s)\rightarrow +\infty \) as \(s\downarrow \frac{1}{2}\).
We recall that a sequence \(({{\mathbf {q}}}_n,{\mathbf {p}}_n)\subset {\mathcal {M}}^{1-s}\) is called a Palais–Smale sequence for \({\mathbb {A}}_H\) if \({\mathbb {A}}_H({{\mathbf {q}}}_n,{\mathbf {p}}_n)\rightarrow a\) for some \(a\in \mathbb {R}\) and \(\Vert \mathrm {d}{\mathbb {A}}_H({{\mathbf {q}}}_n,{\mathbf {p}}_n)\Vert \rightarrow 0\). Without loss of generality we can assume that both \({{\mathbf {q}}}_n\) and \({\mathbf {p}}_n\) are smooth. Here, with slight abuse of notation we denote with \(\Vert \cdot \Vert \) the dual norm on \(T^*_{({{\mathbf {q}}}_n,{\mathbf {p}}_n)}{\mathcal {M}}^{1-s}\) induced by the Riemannian metric \(\langle \cdot ,\cdot \rangle _{{\mathcal {M}}^{1-s}}\) given by (2.6). We are now in position to prove Theorem 1.1, which we reformulate for the reader’s convenience with the following
Proposition 2.7
For every \(s\in (\frac{1}{2},1)\) the functional \({\mathbb {A}}_H:{\mathcal {M}}^{1-s}\rightarrow \mathbb {R}\) satisfies the Palais–Smale condition.
The key step to prove the proposition is the following
Lemma 2.8
Let \(({{\mathbf {q}}}_n,{\mathbf {p}}_n)\) be a Palais–Smale sequence for \({\mathbb {A}}_H\). Then there exists a constant \(C>0\) such that \(\Vert {\mathbf {p}}_n\Vert _{1-s}\le C\) and \(\Vert \dot{{\mathbf {q}}}_n\Vert _{s-1}\le C\) for all \(n\in \mathbb {N}\).
Proof of Lemma 2.8
We divide the proof in several steps.
Step 1 \(\Vert {\dot{{{\mathbf {q}}}}}_n\Vert _{s-1}\) is uniformly bounded iff \(\Vert {\mathbf {p}}_n\Vert _{s-1}\) is uniformly bounded. For any \({\mathbf {v}}_n\in H^{1-s}({{\mathbf {q}}}_n^*TM)\) with \(\Vert {\mathbf {v}}_n\Vert _{1-s}\le 1\) we compute
and hence
where \(\jmath _{1-s}^*:L^2({{\mathbf {q}}}_n^*TM)\rightarrow H^{1-s}({{\mathbf {q}}}_n^*TM)\) is the adjoint operator to \(\jmath _{1-s}:H^{1-s}({{\mathbf {q}}}_n^*TM)\rightarrow L^2({{\mathbf {q}}}_n^*TM)\) canonical inclusion. A straightforward computation shows that
that is, \(\jmath _{1-s}^*=(1+\nabla _{{\dot{{{\mathbf {q}}}}}_n}^*\nabla _{\dot{{\mathbf {q}}}_n})^{s-1}.\) Moreover, with \(\displaystyle \dot{{\mathbf {q}}}_n=\sum _{j=1}^{+\infty } {\dot{{{\mathbf {q}}}}}_n^j \xi _j({{\mathbf {q}}}_n)\) we obtain
and similarly \(\Vert \jmath _{1-s}^*{\mathbf {p}}_n\Vert _{1-s}=\Vert {\mathbf {p}}_n\Vert _{s-1}\). The claim follows from (2.7).
Step 2 \(\Vert {\mathbf {p}}_n\Vert ^2 \le c (1+\Vert {\mathbf {p}}_n\Vert _{1-s}).\) We compute
which implies the claim.
Step 3 \(\Vert \nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {p}}_n\Vert _{-s}\) is uniformly bounded. We compute for \({\mathbf {h}}_n\in H^s({{\mathbf {q}}}_n^*TM)\):
from which we deduce that
Setting \({\mathbf {h}}_n := ((1+\nabla _{{\dot{{{\mathbf {q}}}}}_n}^*\nabla _{{\dot{{{\mathbf {q}}}}}_n})^{-s} \circ \nabla _{{\dot{{{\mathbf {q}}}}}_n} ){\mathbf {p}}_n\) and using Lemma 2.3 we obtain
which readily implies the claim.
Step 4 \(\Vert {\mathbf {p}}_n\Vert _{1-s}\) is uniformly bounded. We write \({\mathbf {p}}_n = {\mathbf {p}}_n^\mathrm {par}+ {\tilde{{\mathbf {p}}}}_n\), where \({\mathbf {p}}_n^\mathrm {par}\) is the parallel component
of \({\mathbf {p}}_n\) and
Clearly,
where we have used the fact that \(\Vert {\mathbf {p}}_n^\mathrm {par}\Vert _{1-s}=\Vert {\mathbf {p}}_n^\mathrm {par}\Vert \). In particular, it suffices to show that \(\Vert {\mathbf {p}}_n^\mathrm {par}\Vert \) and \(\Vert \tilde{\mathbf {p}}_n\Vert _{1-s}\) are uniformly bounded. We readily see that
and hence by Step 3
Step 2 implies now that
Substituting in (2.8) yields
which implies
Using again Step 2 we obtain
which implies that \(\Vert {\mathbf {p}}_n^\mathrm {par}\Vert \), thus by (2.9) also \(\Vert {\tilde{{\mathbf {p}}}}_n\Vert _{1-s}\), is uniformly bounded. \(\square \)
Proof of Proposition 2.7
Let \(({{\mathbf {q}}}_n,{\mathbf {p}}_n)\) be a Palais–Smale sequence for \({\mathbb {A}}_H\). By Lemmas 2.4 and 2.8 , up to extracting a subsequence we have that \({{\mathbf {q}}}_n\rightarrow {\bar{{{\mathbf {q}}}}}\) uniformly to some \({\bar{{{\mathbf {q}}}}}\in C^0(S^1,M)\). Therefore, up to neglecting finitely many n’s, we can suppose that all \(({{\mathbf {q}}}_n,{\mathbf {p}}_n)\) lie inside a bundle chart for \({\mathcal {M}}^{1-s}\) around a smooth loop \({{\mathbf {q}}}\), where for every \(r\in [-1,1]\) the metrics \(\langle \cdot ,\cdot \rangle _r\) and \(\langle \cdot ,\cdot \rangle _r^\mathrm {emb}\) are equivalent in virtue of Lemma 2.5.
From the proof of Lemma 2.8, Step 1, we see that
where \(\langle \text {Grad} \, \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n)^{\mathrm {v}},\cdot \rangle _{1-s} = \mathrm {d}_p \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n) [\cdot ]\) denotes the vertical part of the gradient of \(\Delta \). Since \(\mathrm {d}\Delta \) is a compact operator (see Lemma 2.6), up to a subsequence we have that \(\text {Grad}\, \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n)^{\mathrm {v}}\) converges in \(H^{1-s}\). Therefore, \(\jmath _{1-s}^*({\dot{{{\mathbf {q}}}}}_n-{\mathbf {p}}_n)\) converges in \(H^{1-s}\), which is the same as saying that \(\dot{{\mathbf {q}}}_n-{\mathbf {p}}_n\) converges in \(H^{s-1}\). Now, \({\mathbf {p}}_n\) converges in \(L^2\) (being bounded in \(H^{1-s}\)), and hence in particular converges in \(H^{s-1}\). This implies that \({\dot{{{\mathbf {q}}}}}_n\) converges in \(H^{s-1}\), which in turns yields the convergence of \({{\mathbf {q}}}_n\) in \(H^s\).
On the other hand, from Step 3 in the proof of Lemma 2.8 we have that
where \(\langle \text {Grad}\, \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n)^{\mathrm {h}},\cdot \rangle _s = \mathrm {d}_q \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n) [\cdot ]\) denotes the horizontal part of the gradient of \(\Delta \). Again, the compactness of \(\mathrm {d}\Delta \) yields that \(\jmath _s^* \nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {p}}_n\) converges (up to a subsequence) in \(H^s\), which is equivalent to saying that \(\nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {p}}_n\) converges in \(H^{-s}\). This implies that, in the notation of the proof of Lemma 2.8, \({\tilde{{\mathbf {p}}}}_n\) converges in \(H^{1-s}\). Since the kernel of \(\nabla ^*_{{\dot{{{\mathbf {q}}}}}_n} \nabla _{{\dot{{{\mathbf {q}}}}}_n}\) is finite-dimensional, we also have that \({\mathbf {p}}_n^{\mathrm {par}}\) converges up to a subsequence in \(L^2\) (and hence in \(H^{1-s})\). Therefore, \({\mathbf {p}}_n\) converges in \(H^{1-s}\). \(\square \)
3 Proof of Theorems 1.2 and 1.3
In this section we prove Theorems 1.2 and 1.3 on the existence of closed characteristic leaves for compact regular \({\mathbb {O}}_M\)-separating hypersurfaces in cotangent bundles. To this purposes we will employ the correspondence between one-periodic Hamiltonian orbits and critical points of the Hamiltonian action \({\mathbb {A}}_H\). As the Hamiltonian dynamics depends up to time reparametrization only on the hypersurface itself, we will choose a suitable one-parameter family of Hamiltonian functions, which we now construct, to perform the argument.
3.1 A special Hamiltonian function
We choose a bumpy metric g on M and pull-back the standard symplectic form \(\omega \) on \(T^*M\) to TM using the musical isomorphism. Given a compact regular \({\mathbb {O}}_M\)-separating hypersurface \(\Sigma \subset TM\) and a thickening \(\Psi :(-a,a)\times \Sigma \rightarrow TM\), we aim at proving that there is a sequence of hypersurfaces \(\Sigma _{\sigma _n}:=\Psi (\{\sigma _n\}\times \Sigma )\), \(\sigma _n\rightarrow 0\), each carrying a closed characteristic leaf.
By assumption we can find \(0<\rho _0<\rho _1<+\infty \) such that
where \(B_\rho ({\mathbb {O}}_M)\subset TM\) denotes the open disk bundle with radius \(\rho \) defined by g. We now fix \(0<\delta <a\) and choose a cut-off function \(\chi : (-1,1)\rightarrow \mathbb {R}\) such that
Furthermore, we pick a smooth function \(\varphi :\mathbb {R}\rightarrow \mathbb {R}\) such that
and define a smooth family of Hamiltonians \(H_r: TM \rightarrow \mathbb {R}\), \(r>0\), by
where B and \(U\!B\) are the bounded and unbounded component of \(TM\setminus \Psi ([-\delta ,\delta ]\times \Sigma )\) respectively. For each \(r\in (0,+\infty )\) we have an associated Hamiltonian action
whose critical points are the 1-periodic orbits of the Hamiltonian flow defined by \(H_r\) and \(\omega \). However, not all critical points of \({\mathbb {A}}_r\) are relevant for us, for we are looking for critical points lying in \(\Sigma _\sigma \) for some \(\sigma \in [-\delta ,\delta ]\). Therefore, it will be essential for our purposes to understand which kind of critical points can appear as critical points of the Hamiltonian action \({\mathbb {A}}_r\).
Before doing that we shall observe that periodic orbits with period \(T\ne 1\) for the Hamiltonian flow of \(H_r\) which are contained in some \(\Sigma _\sigma \) are detected as critical points of the Hamiltonian action \({\mathbb {A}}_{Tr}\). Indeed, let \({\mathbf {x}}:\mathbb {R}/T\mathbb {Z}\rightarrow TM\) be a T-periodic Hamiltonian orbit for \(H_r\) contained in \(\Sigma _\sigma \), and consider the reparametrized curve \(\tilde{{\mathbf {x}}}:\mathbb {R}/\mathbb {Z}\rightarrow TM, \ {\tilde{{\mathbf {x}}}}(t):={\mathbf {x}}(Tt)\). Then
On the other hand, on \(\Sigma _\sigma \) we have that
so that \(H_{Tr}=T\cdot H_r\) on \(\Sigma _\sigma \). Therefore,
that is, \(\tilde{{\mathbf {x}}}\) is a 1-periodic orbit for the Hamiltonian flow of \(H_{Tr}\), and hence belongs to the critical point set of \({\mathbb {A}}_{Tr}\). This shows that the family of Hamiltonians \(H_r\) detects all possible closed characteristic leaves contained in \(\Sigma _\sigma \), for \(\sigma \in [-\delta ,\delta ]\).
We now take a closer look at critical points of \({\mathbb {A}}_r\) by first noticing that critical points of \({\mathbb {A}}_r\) on non-regular energy levels are necessarily constant, and hence have non-positive \({\mathbb {A}}_r\)-action. Also, regular energy levels \(H_r^{-1}(a)\) are either of the form \(\Sigma _\sigma \) for some \(\sigma \in [-\delta ,\delta ]\), or (for \(a>r\)) sphere bundles over M, so that for every \(a>r\) projected Hamiltonian orbits are geometrically closed geodesics. However, the parametrizations do not coincide if \(r<a<r+2\rho _1^2\) with the usual parametrizations of closed geodesics, as the Hamiltonian \(H_r\) is not kinetic. We will refer to such critical points as fake closed geodesics. For \(a\ge r+2\rho _1^2\) critical points of \({\mathbb {A}}_r\) contained in \(H_r^{-1}(a)\) are instead of the form \((\gamma ,\dot{\gamma })\), for \(\gamma \) closed geodesic on (M, g) of length 1. Indeed, for \(a\ge r+2\rho _1^2\) we have that
For any critical point \(({{\mathbf {q}}},{\mathbf {p}})\) of \({\mathbb {A}}_r\) contained in \(H_r^{-1}(a), a\ge r+2\rho _1^2\), we additionally have
Our next step will be to show that, for r sufficiently large, fake closed geodesics cannot arise as critical points of \({\mathbb {A}}_r\) with non-negative action. Indeed, Hamilton equations for fake closed geodesics read
Therefore,
where we have used the fact that \(t\mapsto |{\mathbf {p}}(t)|\) is constant. Now set
and observe that, for all \(r\ge r_0\) and all fake closed geodesics we have \({\mathbb {A}}_r({{\mathbf {q}}},{\mathbf {p}}) \le -1\), for \(|{\mathbf {p}}(0)|\le 2\rho _1\). Summarizing, we have shown the following
Lemma 3.1
There exists \(r_0>0\) such that for all \(r\ge r_0\) critical points of \({\mathbb {A}}_r\) of non-negative action are either constants or closed geodesics, or are contained in \(\Sigma _\sigma \) for some \(\sigma \in [-\delta ,\delta ]\).
We end this section showing that Theorems 1.2 and 1.3 immediately follow from
Theorem 3.2
Let \(\Sigma \subset TM\) be a compact regular \({\mathbb {O}}_M\)-separating hypersurface, \(\Psi \) be a thickening of \(\Sigma \). Then, for every \(r>0\) there exists a non-constant critical point \(({{\mathbf {q}}}_r,{\mathbf {p}}_r)\) of \({\mathbb {A}}_r\) with \({\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r)\in [0,\alpha ]\), where \(\alpha =\alpha (\Psi )>0\) is some constant. Moreover, the function \(r\mapsto {\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r)\) is continuous and non-increasing.
Proof of Theorem 1.3
Let \(r_0\) be given by (3.4). By Lemma 3.1 we can assume that all the critical points of \({\mathbb {A}}_r\), \(r\ge r_0\), are closed geodesics with
Since g was chosen to be bumpy, by Lemma 2.1 the set of critical values of \({\mathbb {E}}\) is discrete, and hence
However, this would imply that \({\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r)<0\) for r large enough. Therefore, there exists \(R\ge r_0\) such that \(({{\mathbf {q}}}_{R},{\mathbf {p}}_R)\) is a critical point for \({\mathbb {A}}_{R}\) lying in \(\Sigma _\sigma \) for some \(\sigma \in [-\delta ,\delta ]\). If \(({{\mathbf {q}}}_R,{\mathbf {p}}_{R})(\mathbb {R})\subset \Sigma \) then we are done. Otherwise we claim that
where \(\alpha \) is the constant given by Theorem 3.2. Indeed, for all \(r\ge r_0\) smaller than the infimum above we have that \(({{\mathbf {q}}}_r,{\mathbf {p}}_r)\) is a closed geodesic and hence, using the uniform boundedness of \(r\mapsto {\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r)\) and Lemma 2.1, we obtain
which implies that
In particular, we can find \(R\le \alpha +2r_0\) such that \(({{\mathbf {q}}}_{R},{\mathbf {p}}_R)\) lies in \(\Sigma _\sigma \) for some \(\sigma \in [-\delta ,\delta ]\). This yields
The claim follows now by recursively choosing \(\delta >0\) such that
Observe that (3.5) yields the desired uniform estimate on the symplectic action of the sequence of closed characteristic leaves, for
where \(P_R\) is the characteristic leaf determined by \(({{\mathbf {q}}}_R,{\mathbf {p}}_R)\). \(\square \)
The proof of Theorem 1.2 given Theorem 1.3 is standard, however we include it here for completeness.
Proof of Theorem 1.2
Let Y be a Liouville vector field on a neighborhood of \(\Sigma \) such that \(Y \pitchfork \Sigma \), and let \(\varphi ^\sigma \) be its flow. Since \(\Sigma \) is compact, the map
is a diffeomorphism onto an open precompact neighborhood U of \(\Sigma \), for \(a>0\) sufficiently small. From \({\mathcal {L}}_Y \omega =\omega \) we have that
and hence, since \((\varphi ^0)^*=\text {id}\), we conclude that \((\varphi ^\sigma )^*\omega =e^\sigma \omega \). Assume now that \(v\in \ell _\Sigma (x)\); then for all \(w\in T_x\Sigma \) we have
Since \(\varphi ^\sigma \) is a diffeomorphism we conclude that \(T\varphi ^\sigma (x)[v]\in \ell _{\Sigma _\sigma (\varphi ^t(x))}\). Therefore, \(T\varphi ^\sigma :\ell _\Sigma \rightarrow \ell _{\Sigma _\sigma }\) is an isomorphism of line bundles; in particular, \(\varphi ^\sigma \) induces a one-to-one correspondence \(P\mapsto \varphi ^\sigma (P)\) between \({\mathcal {P}}(0)\) and \({\mathcal {P}}(\sigma )\) for all \(\sigma \in (-a,a)\). The claim follows now from Theorem 1.3. \(\square \)
Remark 3.3
An hypersurface \(\Sigma \subset T^*M\) for which a thickening as in the proof above exists is called stable. Obviously, Theorem 1.2 extends to compact stable hypersurfaces which are \({\mathbb {O}}_M\)-separating. It is worth noticing that the stability condition is in general weaker than the contact condition, see e.g. [8].
4 Proof of Theorem 3.2
In this section we prove Theorem 3.2. The proof is based on two key ingredients: one is essentially the Palais–Smale condition for the functional \({\mathbb {A}}_r\), the other is the fact that we have a transfer homomorphism in cohomology for the negative gradient flow of \({\mathbb {A}}_r\), as we now show. Hereafter we suppose that \(r>0\) is fixed.
4.1 The key propositions
We start recalling the minimax lemma for the Hamiltonian action \({\mathbb {A}}_r\). The proof follows from the Palais–Smale condition for \({\mathbb {A}}_r\) by standard arguments and will be omitted.
Proposition 4.1
Suppose that \({\mathcal {U}}\subset {\mathcal {M}}^{1-s}\) is an open neighborhood of
Then there exist \(\epsilon >0\) and \(t_0>0\) such that the following holds: for every \(t\ge t_0\)
where \(\phi ^t_r\) denotes the time-t-flow of \(\displaystyle -\frac{\mathrm {grad}\, {\mathbb {A}}_r}{\sqrt{1+\Vert \mathrm {grad}\, {\mathbb {A}}_r\Vert ^2}}.\)\(\square \)
In what follows C is an arbitrary compact subset of \(H^1(S^1,M)\subset H^s(S^1,M)\). This implies that
where with slight abuse of notation we denote the bundle projection \(\pi _{1-s}:{\mathcal {M}}^{1-s}\rightarrow H^s(S^1,M)\) with \(\pi \). Here, \(\alpha >0\) is some constant independent of r. Indeed, by construction we have
for some constant \(\beta >0\), and hence on \(\pi ^{-1}(C)\) we obtain
Notice that if C were compact in \(H^s(S^1,M)\) but unbounded in \(H^1(S^1,M)\) then the supremum above would be infinite. Since \({\mathbb {A}}_r\) satisfies the Palais–Smale condition, we can find \(\epsilon >0\) and \(\gamma >0\) such that
Therefore, for \(\gamma ':=\gamma + \frac{\alpha }{\epsilon ^2}+1\) we have that
where \({\mathbb {O}}_{H^s}\) denotes the zero-section of \({\mathcal {M}}^{1-s}\rightarrow H^s(S^1,M)\). Indeed, let \(({{\mathbf {q}}},{\mathbf {p}})\in \pi ^{-1}(C) \cap \{ \Vert {\mathbf {p}}\Vert _{1-s}\ge \gamma '\}\); then by the assumption on \(\gamma '\), \(\phi ^t_r({{\mathbf {q}}},{\mathbf {p}})\in H^s(S^1,M)\cap \{\Vert {\mathbf {p}}\Vert _{1-s}\ge \gamma \}\) for \(t\in [0,\frac{\alpha }{\epsilon ^2}+1]\), hence in particular is not contained in \({\mathbb {O}}_{H^s}\), and for \(t>\frac{\alpha }{\epsilon ^2}+1\) we have
that is, \({\mathbb {A}}_r(\phi ^t_r({{\mathbf {q}}},{\mathbf {p}}))<0\). For a given \(t_0>0\) we pick a cut-off function \(\varphi : [0,+\infty ) \rightarrow [0,1]\) such that
for some \(\gamma ''>\gamma '+1\) such that
and consider the truncated normalized negative gradient vectorfield
With a slight abuse of notation we denote the flow of \(V_r\) again with \(\phi ^t_r\). The next proposition states that \(\phi ^{t_0}_r\) induces a transfer homomorphism in cohomology; in particular, \(\pi ^{-1}(C)\) is not displaced from \({\mathbb {O}}_{H^s}\) by \(\phi ^{t_0}_r\). This represents the analogue of the intersection proposition [24, Proposition 1] in our setting; we also refer to [25, Chapter 3, Lemma 10] for an analogous statement in the linear setting. In what follows, \(H^*\) denotes the Alexander–Spanier cohomology with coefficients in some given commutative ring.
Proposition 4.2
There exists an injective group homomorphism \(\beta _{t_0}\) such that the following diagram commutes
where \(\imath :C\rightarrow H^s(S^1,M)\) denotes the canonical inclusion. In particular, if \(C\ne \emptyset \) then
The rest of this subsection will be devoted to the proof of Proposition 4.2. The key ingredient of the proof will be a representation lemma for the flow \(\phi ^t_r\) analogous to [24, Lemma 7].
If we denote by D the \(L^2\)-connection, then we readily see by working in local coordinates that
where R denotes the Riemann curvature tensor, hence in particular is a zero-order operator. Therefore,
is an operator of order 1. In particular
is an operator of order 1. Similarly one can show that, for every \(\ell \in \mathbb {R}\),
is an operator of order at most \(2\ell -1\) (c.f. [29, Lemma 2.11]).
Lemma 4.3
(Representation Lemma) Denote by \(\sigma ^t_r:= \pi \circ \phi ^t_r\) the projection to \(H^s(S^1,M)\) of the flow \(\phi ^t_r\), and by P(t, 0) the \(L^2\)-parallel transport along \(\sigma ^\cdot _r\) from \(H^{1-s}((\sigma _r^0(\cdot ))^*TM)\) to \(H^{1-s}((\sigma _r^t(\cdot ))^*TM)\). Then,
where:
-
\(a:\mathbb {R}\times {\mathcal {M}}^{1-s}\rightarrow (-\infty ,0]\) maps bounded sets into precompact sets and satisfies \(a(0,\cdot )\equiv 0\),
-
\(b:\mathbb {R}\times {\mathcal {M}}^{1-s}\rightarrow (0,+\infty )\) maps bounded sets into precompact sets and satisfies \(b(0,\cdot )\equiv 1\), and
-
\(K:\mathbb {R}\times {\mathcal {M}}^{1-s}\rightarrow {\mathcal {M}}^{1-s}\) is a “compact” fibre-preserving map such that \(K(0,\cdot ) \equiv 0\).
Remark 4.4
In the proposition above, by compact we mean that, for any compact set \(C\subset H^s(S^1,M)\) and any bounded set \(B\subset \pi ^{-1}(C)\) we have that \(K(t,B)\subset {\mathcal {M}}^{1-s}\) is precompact.
Proof
For \(t\in \mathbb {R}\) we denote by \(\dot{\sigma ^t_r}(\cdot )\in H^{s-1}( \sigma ^t_r(\cdot )^*TM)\) the tangent field to \(\sigma ^t_r(\cdot )\in H^s(S^1,M)\). Dropping the subscript \({\dot{{{\mathbf {q}}}}}\) from the covariant derivative and recalling that \(\jmath ^*_\ell = (1+\nabla ^*\nabla )^{-\ell }\) and
where \(\Delta :{\mathcal {M}}^{1-s}\rightarrow \mathbb {R}\) is given by (2.5) and \(\text {grad}\, \Delta \) is computed with respect to the \(\langle \cdot ,\cdot \rangle _{{\mathcal {M}}^{1-s}}\)-metric given by (2.6), we compute:
where
Therefore, we obtain
where
Similarly, we see that
where
The variation of constants formula yields now
and on the other hand
where
Subtracting (4.2) to (4.1) we obtain
It is straightforward to check that the functions a and b have the desired properties. Now set
We readily see that all the operators appearing in the functions \(\kappa _1\) and \(\kappa _2\) are compact, hence the fact that K is a compact fibre-preserving map follows from the fact that parallel transport “behaves well” with respect to compactness; for more details we refer to [24, Section 3]. \(\square \)
Proof of Proposition 4.2
In virtue of the representation Lemma 4.3 we see that the problem
is equivalent to finding solutions of
on \(\pi ^{-1}(C)\). We equivalently rewrite (4.3) as
where \(T:[0,t_0]\times \pi ^{-1}(C)\rightarrow \pi ^{-1}(C)\) is a fibre-preserving map mapping bounded sets into precompact sets and additionally satisfying
and
We are now in position to apply Dold’s fixed point transfer [11] (see also [22]). This yields a transfer homomorphism \(\text {tr}_t\), \(t\in [0,t_0]\), such that the following diagram is commutative
where with slight abuse of notation we denoted with \(\pi ^*\) the map induced in cohomology by
In particular, we obtain that \(\pi ^*\) is injective, and hence the desired homomorphism is given by
One now easily checks the commutativity of the diagram in the statement of Proposition 4.2. \(\square \)
4.2 The proof
Now we explain how Theorem 3.2 follows from Propositions 4.1 and 4.2 . If M is not simply-connected we choose \(C=\{\gamma \}\), where \(\gamma \in C^\infty (S^1,M)\) is a smooth non-contractible loop.
If M is simply connected the choice of C is more subtle, since for an arbitrary C we cannot exclude that the critical point of \({\mathbb {A}}_r\) coming from the minimax procedure be constant. We recall that Sullivan’s theory of minimal models for rational homotopy type [34, 36] guarantees that the rational cohomology groups of \(H^1(\mathbb {T},M)\) (thus, of \(H^s(\mathbb {T},M)\) since they are homotopically equivalent) do not vanish in arbitrary large degree. Moreover, for any \(k\in \mathbb {N}\) we can find a compact set \(C\subset H^1(S^1,M)\) such that the inclusion \(\imath :C\hookrightarrow H^1(\mathbb {T},M)\) induces an isomorphism in cohomology \(\imath ^*:H^* (H^1(\mathbb {T},M)) \rightarrow H^*(C)\) up to degree k (c.f. [7]). Therefore, we choose \(k>\dim M\) such that \(H^k(H^1(\mathbb {T},M))\ne 0\) and pick \(C\subset H^1(S^1,M)\) compact as above; notice that C is a fortiori compact in \(H^s(S^1,M)\).
In both cases, we obtain a bounded continuous non-increasing minimax function via
The fact that \(\theta \) is non-increasing and bounded is obvious. By Proposition 4.2 we also see that
thus \(\theta (r)\ge 0\). As far as continuity is concerned, we observe that for \(r_1\ge r_2\) and fixed \(t\ge 0\) we have (for sake of simplicity we assume that the both suprema are attained, say at \(({{\mathbf {q}}}_1,{\mathbf {p}}_1)\) and \(({{\mathbf {q}}}_2,{\mathbf {p}}_2)\) respectively)
where \(\Delta :{\mathcal {M}}^{1-s}\rightarrow \mathbb {R}\) and \(\delta :TM\rightarrow \mathbb {R}\) are as in (2.5). Therefore, we obtain (also here we assume for sake of simplicity that both infima are attained, say at \(t_1\) and \(t_2\) respectively)
and the claim follows. Theorem 3.2 finally follows from the next
Lemma 4.5
For every \(r>0\) there exists \(({{\mathbf {q}}}_r,{\mathbf {p}}_r)\in \mathrm {crit}\, {\mathbb {A}}_r\) non-constant with \({\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r)=\theta (r)\).
Proof
The fact that \(\theta (r)\) is a critical value for \({\mathbb {A}}_r\) follows from Proposition 4.1. In case M is not simply-connected, the fact that the corresponding critical point \(({{\mathbf {q}}}_r,{\mathbf {p}}_r)\) is non-constant follows from the fact that we are working on a connected component of non-contractible loops.
In case M is simply connected we need a more refined argument to exclude that \(({{\mathbf {q}}}_r,{\mathbf {p}}_r)\) be constant; this will make use of the assumptions on the compact set C. We first notice that \(({{\mathbf {q}}}_r,{\mathbf {p}}_r)\) is necessarily non-constant if \(\theta (r)>0\), as constant critical points have non-positive \({\mathbb {A}}_r\)-action. Therefore, we can assume that \(\theta (r)=0\) and that all critical points of \({\mathbb {A}}_r\) at level zero are constant.
We start noticing that a sufficiently small neighborhood \(\mathcal U\subset H^s(S^1,M)\) of the set \(\Lambda ^0M\) of constant loops (which we recall is diffeomorphic to M) cannot contain non-constant closed geodesics for (M, g). This follows from the fact that, since \(s>\frac{1}{2}\), \(H^s\)-closedness to a constant loop implies \(C^0\)-closedness, and the claim follows from the positivity of the injectivity radius of (M, g). In particular, the image of any loop in \({\mathcal {U}}\) is contained in a small Riemannian ball. From this we see that \(\Lambda ^0M\) is a strong deformation retract of \({\mathcal {U}}\): Indeed, we first “regularize” loops in \({\mathcal {U}}\) to obtain a set \(\{{\mathbb {E}}<\epsilon \}\subset H^1(S^1,M)\), \(\epsilon >0\) small enough, and then use the negative gradient flow of the energy functional \({\mathbb {E}}\), as recalled in the proof of Lemma 2.1, to deform \(\{{\mathbb {E}}<\epsilon \}\) into \(\Lambda ^0M\).
By assumption we now have that \({\mathcal {V}}:= \pi ^{-1}({\mathcal {U}})\) is a neighborhood of
Thus, Proposition 4.1 yields \(\epsilon >0\) and \(t_0>0\) such that for all \(t\ge t_0\)
Using the definition of \(\theta (r)\), we find \(t_1\ge 0\) such that
Therefore,
which implies that
Since \(\phi ^{t_0+t_1}_r (\pi ^{-1}(C)) \cap {\mathbb {O}}_{H^s}\ne \emptyset \) by Proposition 4.2, we deduce that
Using again Proposition 4.2 we obtain that the diagram
commutes. Thus, the fact that \(\beta _{t_0+t_1}\) is injective implies that the map
is non-zero and injective, and this contradicts the fact that
\(\square \)
Notes
A critical manifold \({\mathcal {C}}\) for \({\mathbb {E}}\) is called non-degenerate if the nullity of the Hessian of \({\mathbb {E}}\) at any \(\gamma \in {\mathcal {C}}\) equals the dimension of \(\mathcal C\).
References
Abraham, A.: Global analysis, volume 14, Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI (1970)
Abbondandolo, A., Majer, P.: A Morse complex for infinite dimensional manifolds—part I. Adv. Math. 197, 321–410 (2005)
Abbondandolo, A., Schwarz, M.: On the Floer homology of cotangent bundles. Commun. Pure Appl. Math. 59(2), 254–316 (2006)
Abbondandolo, A., Schwarz, M.: A smooth pseudo-gradient for the Lagrangian action functional. Adv. Nonlinear Stud. 9(4), 597–623 (2009)
Abbondandolo, A., Schwarz, M.: The role of the Legendre transform in the study of the Floer complex of cotangent bundles. Commun. Pure Appl. Math. 68(11), 1885–1945 (2015)
Anosov, D.V.: On generic properties of closed goedesics. Math USSR-Izvestiya 21(1), 1 (1983)
Bott, R.: Morse theory old and new. Bull. Am. Math. Soc. 7(2), 331–358 (1982)
Cieliebak, K., Frauenfelder, U., Paternain, G.P.: Symplectic topology of Mañé’s critical values. Geom. Topol. 14(3), 1765–1870 (2010)
Conley, C.C., Zehnder, E.: Morse-type index theory for flows and periodic solutions for Hamiltonian equations. Commun. Pure Appl. Math. 37(2), 207–253 (1984)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional sobolev spaces. Bull. Sci. Math. 136(5), 521–573 (2012)
Dold, A.: The fixed point transfer of fibre preserving map. Math. Z. 148, 215–244 (1976)
Floer, A.: Morse theory for Lagrangian intersections. J. Differ. Geom. 28(3), 513–547 (1988)
Floer, A.: Symplectic fixed points and holomorphic spheres. Commun. Math. Phys. 120(4), 575–611 (1989)
Floer, A.: Witten’s complex and infinite-dimensional Morse theory. J. Differ. Geom. 30(1), 207–221 (1989)
Fortune, C.: A symplectic fixed point theorem for C\(\text{ P }^n\). Invent. Math. 81, 29–46 (1985)
Fukaya, K., Ono, K.: Arnold conjecture and Gromov–Witten invariant. Topology 38, 933–1048 (1999)
Furuta, T., Mićić, J., Pecarić, J., Seo, Y.: Mond–Pecarić Method in Operator Inequalities. Inequalities for Bounded Self-adjoint Operators on a Hilbert Space. Element, Zagreb (2005)
Ginzburg, V.L.: On the existence and non-existence of closed trajectories for some Hamiltonian flows. Math. Z. 223, 397–409 (1996)
Ginzburg, V.L.: A smooth counterexample to the Hamiltonian Seifert conjecture in \(\text{ R }^6\). Int. Math. Res. Not. 13, 642–650 (1997)
Ginzburg, V.L., Gürel, B.Z.: A \(\text{ C }^2\)-smooth counterexample to the Hamiltonian Seifert conjecture in \(\text{ R }^4\). Ann. Math. 158, 953–976 (2003)
Heinz, E.: Beiträge zur störungstheorie der Spektralzerlegung. Math. Ann. 123, 415–438 (1951)
Hofer, H.: Lagrangian embeddings and critical point theory. Ann. Inst. H. Poincaré Anal. Non Linéaire 2(6), 407–462 (1985)
Hofer, H., Salamon, D.: Floer Homology and Novikov Rings, The Floer Memorial Volume, vol. 133. Birkhäuser, Basel (1995)
Hofer, H., Viterbo, C.: The Weinstein conjecture in cotangent bundles and related results. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (2) 15(3), 411–445 (1988)
Hofer, H., Zehnder, E.: Symplectic Invariants and Hamiltonian Dynamics. Basler Lehrbücher Advanced Texts. Birkhäuser Verlag, Basel (1994)
Kato, T.: Notes on some inequalities for lineaer operators. Math. Ann. 125, 208–212 (1952)
Klingenberg, W.: Lectures on closed geodesics, Grundlehren der Mathematischen Wissenschaften, vol. 230. Springer, Berlin (1978)
Liu, G., Tian, G.: Floer homology and Arnold conjecture. J. Differ. Geom. 49, 1–74 (1998)
Maeda, Y., Rosenberg, S., Torres-Ardila, F.: The Geometry of Loop Spaces I: \(\text{ H }^s\) Riemannian Metrics. Internat. J. Math. 26(3) (2015)
Masiello, A.: Variational Methods in Lorentzian geometry. Chapman and Hall, London (1994)
Merry, W., Groman, Y.: The symplectic homology of magnetic cotangent bundles (2020). arXiv:1809.01085
Salamon, D.A., Weber, J.: Floer homology and the heat flow. Geom. Funct. Anal. 16(5), 1050–1138 (2006)
Starostka, M., Waterstraat, N.: The E-cohomological Conley index, cup-lengths and the Arnold conjecture on \(\text{ T }^{2n}\). Adv. Nonlinear Stud. 19(3), 519–528 (2019)
Sullivan, D.: Diffential Forms and the Topology of Manifolds. University of Tokyo Press, Tokyo (1975)
Taubes, C.: The Seiberg–Witten equations and the Weinstein conjecture. Geom. Topol. 11(4), 2117–2202 (2007)
Vigué-Poirrier, M., Sullivan, D.: The homology theory of the closed geodesic problem. J. Differ. Geom. 11(4), 633–644 (1976)
Weinstein, A.: On the hypotheses of Rabinowitz’ periodic orbit theorems. J. Differ. Equ. 33, 353–358 (1979)
Acknowledgements
Open Access funding provided by Projekt DEAL. The authors warmly thank Alberto Abbondandolo, Thomas Bartsch, Marek Izydorek, and Kai Zehmisch for many fruitful discussions. Starting point for this paper were lectures given by the first named author at the Justus-Liebig Universität Gießen, Germany, and at the Politechnika Gdanska, Poland, on the classical paper by Hofer and Viterbo [24]. L.A. warmly thanks Marek Izydorek and Joanna Janczewska for their kind hospitality. This research is supported by the DFG-project 380257369 “Morse theoretical methods in Hamiltonian dynamics”. L.A. is partially supported by the DFG-grant CRC/TRR 191 “Symplectic structures in Geometry, Algebra and Dynamics”. M.S. is partially supported by the Beethoven2-grant 2016/23/G/ST1/04081 of the National Science Centre, Poland.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by P. Rabinowitz.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Proof of Lemma 2.2
In this section we give a proof of Lemma 2.2 on the growth rate of the eigenvalues of the self-adjoint operator \(\nabla _{\dot{{\mathbf {q}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}}\), for a given smooth loop \({{\mathbf {q}}}\in C^\infty (S^1,M)\). Moreover, we provide a uniform bound for the \(L^\infty \)-norm of the corresponding eigenvectors with \(L^2\)-norm equal one.
We consider a time-depending local chart \(\varphi :S^1 \times B_\epsilon (0)\rightarrow M\) with \(\varphi (\cdot ,0)={{\mathbf {q}}}\) and the induced map
In this setting we have
with
for some constant \(\alpha >0\) depending only on g. The quadratic form \(Q:C^\infty (S^1,\mathbb {R}^n)\rightarrow \mathbb {R}\) associated with the self-adjoint operator \(\nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}}\) reads
Using (A.1), (A.2), and the elementary inequality \((a+b)^2\le 2 (a^2+b^2)\), we compute
where \(D,E(\Vert {\dot{{{\mathbf {q}}}}}\Vert _\infty )>0\) are suitable constants depending respectively only on the metric g and on the metric and the \(L^\infty \)-norm of \({\dot{{{\mathbf {q}}}}}\). Similarly, employing the inequality \((a-b)^2 \ge \frac{1}{2} a^2 - b^2\) we obtain
where again \(d,e(\Vert {\dot{{{\mathbf {q}}}}}\Vert _\infty )>0\) are suitable constants. From the variational characterization of the eigenvalues of a self-adjoint operator T on a Hilbert space \({\mathbb {H}}\)
where Q is the associated quadratic form and \(S\subset {\mathbb {H}}\) is the unit sphere, we deduce that
and it is now an easy exercise to show that
Indeed, the operator associated with \(Q^-\) (the argument being analogous for \(Q^+\)) is given by
and hence its eigenvalues are given by \(d(4\pi ^2j^2 - e(\Vert \dot{{\mathbf {q}}}\Vert _\infty )\).
Let now \(\xi \) be an eigenvector of \(\nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}}\) with \(\Vert \xi \Vert _2 =1\), and let \(\lambda ^2>0\) be the corresponding eigenvalue, that is \(-\nabla _{{\dot{{{\mathbf {q}}}}}}^2\xi = \nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}} \xi = \lambda ^2 \xi \). We set
where \(\Gamma ({{\mathbf {q}}}^*TM)\times \Gamma ({{\mathbf {q}}}^*TM)\) is endowed with the product \(L^2\)-metric, and compute
It follows that the function \(t\mapsto |u(t)|\) is constant. In particular,
so that \(|\xi (t)|^2 \le |u(t)|^2 \le 2\) for all \(t\in [0,1]\), an the claim follows.
Appendix B. Non global equivalence of the metrics \(\langle \cdot ,\cdot \rangle _r\) and \(\langle \cdot ,\cdot \rangle _r^\mathrm {emb}\)
In this section we provide an example showing that the metrics \(\langle \cdot ,\cdot \rangle _r\) and \(\langle \cdot ,\cdot \rangle _r^\mathrm {emb}\) defined in Sect. 2 are not globally equivalent for every \(r\in (0,1]\) (notice that for \(r=0\) the two metrics coincide by construction).
Thus, let
be the unit circle endowed with the restriction of the euclidean metric. Set
For fixed \(n\in \mathbb {N}\), we observe that, for every \(t\in \mathbb {T}\), the vectors \({{\mathbf {q}}}_n(t)\) and \({\mathbf {p}}_n(t)\) form an orthonormal basis of \(T_{{{\mathbf {q}}}_n(t)}{\mathbb {R}}^2\), and \({\mathbf {p}}_n(t) \in T_{{{\mathbf {q}}}_n(t)}S^1\). In particular, \({\mathbf {p}}_n \in T_{{{\mathbf {q}}}_n} H^s(S^1,M)\). For any \({\mathbf {w}}\in \Gamma ({{\mathbf {q}}}_n^*TS^1)\) we have
Differentiating the identity \(\langle {{\mathbf {w}}}(t),{{\mathbf {q}}}_n(t)\rangle = 0\) we get
We can now estimate
that is, \(\Vert \cdot \Vert _1\) and \(\Vert \cdot \Vert _{1}^\mathrm {emb}\) are equivalent on \(\Gamma (u_n^*TS^1)\). By the Löwner-Heinz theorem, the norms \(\Vert \cdot \Vert _r\) and \(\Vert \cdot \Vert _r^\mathrm {emb}\) are equivalent on \(\Gamma ({{\mathbf {q}}}_n^*TS^1)\) for every \(r\in [0,1]\).
On the other hand, we readily see that, for \(r\in (0,1]\), there is no constant c independent of n such that \(\Vert \cdot \Vert _{r}^\mathrm {emb}\le c\Vert \cdot \Vert _r\). Indeed, for \({\mathbf {w}}= {\mathbf {p}}_n\) we have
where we used the fact that
Therefore,
In particular, the two norms are not globally equivalent.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Asselle, L., Starostka, M. The Palais–Smale condition for the Hamiltonian action on a mixed regularity space of loops in cotangent bundles and applications. Calc. Var. 59, 113 (2020). https://doi.org/10.1007/s00526-020-01762-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-020-01762-0