弱いエネルギーの磁気軌道が必ず周期運動する条件

Let $(Q,g)$ be a Riemannian manifold equipped with a non-identically zero magnetic field represented by a closed $2$-form $\beta$. We allow $Q$ to be non-compact and do not assume that the metric $g$ is complete. We prove that if the magnetic strength, defined as the pointwise norm of $\beta$, attains a strict local maximum on a non-empty compact set $K$, then every sufficiently low energy level carries a contractible periodic magnetic geodesic of the pair $(g,\beta)$ localized near $K$. More precisely, such orbits exist in every neighborhood of $K$, and their lengths converge to zero with the energy. In particular, if $Q$ is compact, then every sufficiently small energy level carries a contractible periodic magnetic geodesic. We also show that, in general, neither the non-emptiness nor the compactness of $K$ can be omitted. Our proof relies on the calculus of variations of the Lagrangian action functional, and uses several new ideas. More precisely, we overcome: (i) the non-exactness of $\beta$ by restricting the minimax to the set of short loops; (ii) the non-completeness of $g$ by combining a compactification of $Q$ with Thom's Jet Transversality and a blow-up for sequences of magnetic geodesics with energy tending to zero; (iii) the possible non-compactness of Palais--Smale sequences by the positivity of the Ricci magnetic curvature for low energy established by the first-named author. Unlike previous work, Struwe's monotonicity argument cannot be used for our purposes, and we rely on a two-Lyapunov-function argument due to Abbondandolo and Majer.

40 pages; comments welcome!