Abstract
In this paper, we study some aspects of integrable magnetic systems on the two-torus. On the one hand, we construct the first non-trivial examples with the property that all magnetic geodesics with unit speed are closed. On the other hand, we show that those integrable magnetic systems admitting a global surface of section satisfy a sharp systolic inequality.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A magnetic system on a closed oriented surface \(\Sigma \) is a pair (g, b), where g is a Riemannian metric and \(b:\Sigma \rightarrow \mathbb {R}\) is a smooth function, which we refer to as the magnetic function. Every magnetic system yields a flow on \(\mathrm S\Sigma \), the unit tangent bundle of \(\Sigma \) with respect to g, by
where \(\gamma :\mathbb {R}\rightarrow \Sigma \) is the unique (g, b)-geodesic, that is, unit–speed curve satisfying the prescribed geodesic curvature equation
with initial conditions \((\gamma (0),\dot{\gamma }(0))=(q,v)\). Here \(\kappa _\gamma \) is the geodesic curvature of \(\gamma \) with respect to g and the given orientation of the surface. For every \(\lambda >0\), the solutions of (1.1) for the pairs \((\lambda ^2g,\lambda b)\) and (g, b) coincide. Moreover, changing simultaneously the orientation of \(\Sigma \) and the sign of b does not change the solutions of (1.1), therefore, we will assume throughout the paper that the average of b
is non-negative. Here, \(\mu _g\) is the area form given by g and the given orientation on \(\Sigma \), and \(\mathrm {area}(\Sigma ,g):=\int _\Sigma \mu _g\).
We readily see that, for every \(\lambda >0\), \((g,\lambda b)\)-geodesics correspond to \(\lambda ^{-1}\)-speed solutions of
where \(\nabla \) denotes the Levi-Civita connection, and \(\dot{\gamma }^\perp \) is given by rotating \(\dot{\gamma }\) by \(\frac{\pi }{2}\) in \({\mathrm {T}}_\gamma \Sigma \).
This enables us to study (g, b)-geodesics with symplectic methods. Indeed, solutions of (1.2) correspond, up to the isomorphism \({\mathrm {T}}\Sigma \rightarrow {\mathrm {T}}^*\Sigma \) given by the metric g, to the solutions of the Hamiltonian system on \({\mathrm {T}}^*\Sigma \) with kinetic Hamiltonian function
and twisted symplectic form
where \(\pi :{\mathrm {T}}^*\Sigma \rightarrow \Sigma \) is the bundle projection. Such Hamiltonian systems are of physical interest since they model the motion of a charged particle under the effect of the magnetic field \(b\mu _g\).
The easiest examples of magnetic systems are given by pairs \((g_{\mathrm {con}},b_{\mathrm {con}})\), where \(g_{\mathrm {con}}\) has constant Gaussian curvature \(K_{\mathrm {con}}\) and \(b_{\mathrm {con}}\) is constant. We see that, for
\((g_{\mathrm {con}},b_{\mathrm con})\)-geodesics are given by geodesic spheres with radius \(r=r(K_{\mathrm {con}},b_{\mathrm {con}})>0\). In particular, the corresponding flow \(\Phi _{g_{\mathrm {con}},b_{\mathrm {con}}}^t\) yields a free \(S^1\)-action on \(\mathrm S\Sigma \), whose quotient map associates to every geodesic sphere its center. We are prompted, therefore, to make the following general definition.
Definition 1.1
A magnetic system (g, b) is called Zoll, if \(\Phi _{g,b}^t\) yields a free \(S^1\)-action on \(\mathrm S\Sigma \).
Remark 1.2
If \(\Sigma \ne S^2\), the classification of Seifert fibrations yields that (g, b) is Zoll if and only if all (g, b)-geodesics are closed. For \(\Sigma =S^2\) there are instead examples where all (g, b)-geodesics are closed but the induced \(S^1\)-action on \(\mathrm SS^2\) is only semi-free [7]. \(\square \)
Remark 1.3
In the particular case \(b=0\), we retrieve the definition of Zoll metric on \(\Sigma \), and in this case, we necessarily have \(\Sigma =S^2\). The space of Zoll metrics on \(S^2\) has already been thoroughly investigated in the past century, and the local structure around \(g_{\mathrm {con}}\) is nowadays well understood: Every smooth one-parameter family \(s\mapsto \rho _s:S^2\rightarrow \mathbb {R}\) of functions with \(\rho _0=0\) yields a family of metrics \(s\mapsto g_s:=e^{\rho _s}g_{\mathrm {con}}\). Funk showed that if \(g_s\) is Zoll, then \(\frac{\mathrm {d}\rho _s}{\mathrm {d}s}(0)\) must be an odd function on \(S^2\) [10]. Conversely, using the Nash–Moser implicit function theorem, Guillemin proved that for every odd function \(f:S^2\rightarrow \mathbb {R}\) there is a deformation of Zoll metrics as above with \(f=\frac{\mathrm {d}\rho _s}{\mathrm {d}s}(0)\), see [11]. In particular, the space of Zoll metrics on \(S^2\) is infinite dimensional. We shall notice that already the space of Zoll metrics obtained from surfaces of revolutions in \(\mathbb {R}^3\) is infinite dimensional, as the very explicit examples constructed by Zoll in [15] demonstrate. \(\square \)
If (g, b) is Zoll, then (1.5) generalizes to
and (g, b)-geodesics belong to the class of closed curves \(\Lambda ^+(\Sigma )\) on \(\Sigma \) whose lift \((\gamma ,\dot{\gamma })\) on \(\mathrm S\Sigma \) is homotopic to an oriented fiber of \(\pi :\mathrm S\Sigma \rightarrow \Sigma \). Moreover, as shown in [8], Zoll magnetic systems are the protagonist of a sharp local magnetic systolic inequality as we now recall.
For any magnetic system, (g, b)-geodesics in the class \(\Lambda ^+(\Sigma )\) are critical points of the functional
where \(\ell _g\) is the g-length and \(\Gamma :D^2\rightarrow \Sigma \) is a capping disc for \(\gamma \) obtained projecting a homotopy between \((\gamma ,\dot{\gamma })\) and a \(\pi \)-fiber on \(\mathrm S\Sigma \). We denote by \(\Lambda ^+(g,b)\) the (possibly empty) set of (g, b)-geodesics in \(\Lambda ^+(\Sigma )\). Theorem 1.9 and Remark 1.12 in [8] show that if (g, b) is \(C^3\)-close to some Zoll \((g_0,b_0)\), then
with equality if and only if (g, b) is Zoll. As a special case, one recovers in a stronger topology the local systolic inequality for Zoll metrics on \(S^2\) proved in [1], see also [2].
The local magnetic systolic inequality leaves the door open to a number of interesting questions. First, for applications of the local inequality it urges us to know more about the space of Zoll magnetic systems. As Zoll did in the purely Riemannian case, one could start looking for non-trivial Zoll magnetic systems on \(S^2\) or \(\mathbb {T}^2\) which are rotationally symmetric, namely of the form
where a and b are functions of the x-variable only.
Second, one would like to understand if the systolic inequality holds true also for magnetic systems which are not close to a Zoll one. Already in the purely Riemannian case this is known to be false, as the Calabi–Croke sphere demonstrates; see [12]. Nevertheless, Abbondandolo, Bramham, Hryniewicz and Salomão did establish the global inequality in the space of rotationally symmetric metrics on \(S^2\), see [3]. Thus, also for this question, we are prompted to look at rotationally symmetric magnetic systems first.
2 Statement of Results
We can now present our contribution to the two questions above.
2.1 Zoll Magnetic Systems on Flat Tori
Our first result constructs non-trivial 1-parameter families of rotationally symmetric Zoll systems on certain flat tori. Throughout the paper, we will denote with \(\mathbb {T}^2\) the torus obtained by quotienting \(\mathbb {R}^2\) by the lattice \(\mathbb {Z}\times L\mathbb {Z}\subset \mathbb {R}^2\) for given \(L>0\), and with \(g_{\mathrm {con}}\) the corresponding flat metric. In addition, we define the countable dense set of positive numbers
where \(J_1\) is the first Bessel function of the first kind.
Theorem 2.1
Assume that \(b_{\mathrm {con}}=2\pi n/\xi \in {\mathcal {B}}\). Then, there exists a family \(s\mapsto b_s\) of magnetic functions \(b_s:\mathbb {T}^2\rightarrow (0,\infty )\), \(s\in (-b_{\mathrm {con}}^{-1},b_{\mathrm {con}}^{-1})\), depending only on the x-variable such that \(b_0= b_{\mathrm {con}}\), \(\langle b_s\rangle =b_{\mathrm {con}}\), and \((g_{\mathrm {con}},b_s)\) is Zoll for all \(s\in (-b_{\mathrm {con}}^{-1},b_{\mathrm {con}}^{-1})\). The deformation is non-trivial and unbounded:
If \(b_{\mathrm {con}}\notin {\mathcal {B}}\), then the only magnetic function b depending only on x with \(\langle b\rangle =b_{\mathrm {con}}\) such that \((g_\mathrm {con},b)\) is Zoll is given by \(b=b_{\mathrm {con}}\).
The examples given by Theorem 2.1 are very explicit since the symmetry yields a multivalued first integral \(I:\mathrm S\mathbb {T}^2\rightarrow \mathbb {R}/b_{\mathrm {con}}\mathbb {Z}\) that can be used to solve the equations of motion by quadratures. The exact expressions are given in Remark 4.3. In Figs. 1 and 2 we draw the \((g_{\mathrm {con}},b_s)\)-geodesics for \(b_{\mathrm {con}}=2\pi /\xi _1\) and \(b_{\mathrm {con}}=2\pi /\xi _2\) respectively, where \(\xi _1\) and \(\xi _2\) are the first two positive zeros of \(J_1\). In fact, as can be seen from the formulas for \(b_s\) obtained in (4.1) and (4.2), for every \(m\in \mathbb {N}\) the systems for \(b_{\mathrm {con}}\) and \(b'_{\mathrm {con}}=m b_{\mathrm {con}}\) are related by the covering map \((x,y)\mapsto (mx,my)\) of \(\mathbb {T}^2\) and so the corresponding geodesics have the same shape. Each plot in the two figures below corresponds to \(s=\tfrac{k}{5}b_{\mathrm {con}}^{-1}\) for \(k=0,\ldots ,5\). In each plot, we draw five \((g_{\mathrm {con}},b_s)\)-geodesics with different colors representing different values of the first integral I. For \(k=5\), we have \(b_s(0)=+\infty \), which causes the displayed curves to have a sharp edge there.
Let us briefly comment on the proof of Theorem 2.1. The argument hinges on the fact that the flow of Zoll magnetic systems with symmetry has a global surface of section. The Zoll condition can then be reformulated by asking that the return map is the identity or, equivalently, that all the Fourier coefficients of the map vanish. Using in an essential fashion that the metric is flat, we are able to compute such Fourier coefficients and show that there exist non-constant functions b with \(\langle b\rangle =b_{\mathrm {con}}\) and a return map with zero Fourier coefficients if and only if \(b_{\mathrm {con}}\in {\mathcal {B}}\). In such a case, the functions b with this property are parametrised by an open set of \(\mathbb {R}^{d(b_{\mathrm {con}})}\), where \(d(b_{\mathrm {con}})\) is the number of zeros \(\xi \) of \(J_1\) such that \(b_{\mathrm {con}}=2\pi n/\xi \). In particular, if \(d(b_{\mathrm {con}})=1\), then the examples of Theorem 2.1 are the only ones with flat metric and \(\langle b\rangle =b_{\mathrm {con}}\). We remark that \(d(b_{\mathrm {con}})=1\) for all \(b_{\mathrm {con}}\in {\mathcal {B}}\) if and only if the ratio of any two positive distinct zeros of \(J_1\) were irrational. Unfortunately, this property does not seem to be known.
Theorem 2.1 is only the first step in the investigation of Zoll magnetic systems. We do not know, for example, if explicit rotationally symmetric Zoll magnetic systems can be found on \(S^2\) or on \(\mathbb {T}^2\) for metrics g different from the flat one considered above. Leaving symmetry behind, one could try to generalize Guillemin’s approach to yield an infinite dimensional space of non-trivial Zoll deformations for \((g_{\mathrm {con}},b_{\mathrm {con}})\) on any surface. Such systems, however, will not be explicit as will be obtained from a Nash–Moser implicit function theorem. Having such a result will help us understand the local structure of Zoll magnetic systems at \((g_{\mathrm {con}},b_{\mathrm {con}})\). However, getting an intuition for what the global structure should be seems an even harder task. Is it true, for instance, that for every g there exists a magnetic function b making (g, b) into a Zoll magnetic system?
We conclude this subsection mentioning three results connected with Theorem 2.1. The first result is due to Tabachnikov, who constructs 1-homogeneous Lagrangians \(L:{\mathrm {T}}\mathbb {R}^2\rightarrow \mathbb {R}\), whose Euler–Lagrange solutions are Euclidean circles of given radius [13]. Since the lift to \(\mathbb {R}^2\) of the flow of a magnetic system on \(\mathbb {T}^2\) is the Euler–Lagrange flow of a particular 1-homogeneous Lagrangian, we see that Tabachnikov’s result is complementary to ours. In his case, the curves are fixed to be Euclidean circles and one lets the Lagrangian vary in a large class. In our case, we allow curves of different shapes (as soon as they are all closed) but we look only at Lagrangians coming from a magnetic system. We remark that the zeros of \(J_1\) play an important role also in Tabachnikov’s work, which suggests that the two constructions might be related.
The second result is due to Burns and Matveev and asserts that if we require that \((g_0,b_0)\) and \((g_1,b_1)\) have the same solutions of (1.1) and one among \(b_0\) and \(b_1\) is non-zero, then \((g_1,b_1)=(\lambda ^2g_0,\lambda ^{-1}b_0)\) for some \(\lambda >0\), see [9]. This means that the flexibility in Theorem 2.1 and in Tabachnikov’s result turns into rigidity, if we both want the curves to be fixed and the Lagrangian to be of magnetic type.
For the third result, we fix a subset \(C\subset (0,\infty )\) and look for metrics g on \(\Sigma \) and functions \(b:\Sigma \rightarrow \mathbb {R}\) such that \((g,\lambda b)\) is Zoll for all \(\lambda \in C\). This condition means that the magnetic Hamiltonian system with Hamiltonian (1.3) and symplectic form (1.4) is Zoll on every energy level in the set \(\tfrac{1}{2C^2}\). Lange and the first author showed in [5] that, for \(\Sigma =\mathbb {T}^2\) and \(C=(0,\infty )\), this condition implies that \((g,b)=(g_{\mathrm {con}},b_{\mathrm {con}})\), thus showing that trivial Zoll magnetic systems on \(\mathbb {T}^2\) exhibit some rigidity properties. This provides an interesting contrast with the flexibility proved in Theorem 2.1.
2.2 A Systolic Inequality for Symmetric Systems on the Torus
Our second result establishes the sharp systolic inequality for rotationally symmetric magnetic systems on \(\mathbb {T}^2\) possessing a global torus-like surface of section.
Theorem 2.2
Let \(\mathbb {T}^2\) be a two-torus with coordinates (x, y), and consider a symmetric magnetic system (g, b) with \(g=\mathrm {d}x^2+a(x)^2\mathrm {d}y^2\) and \(b=b(x)\), where \(a,b:\mathbb {R}/\mathbb {Z}\rightarrow \mathbb {R}\) are functions of the x-variable only. If the condition
is satisfied, then the systolic inequality
holds. The equality case occurs if and only if (g, b) is Zoll.
The importance of condition (2.2) will be thoroughly discussed in the next section. Here, we mention only two properties which are equivalent to it. The first is that no curve with constant x-coordinate is a (g, b)-magnetic geodesic. In particular, all symmetric Zoll magnetic systems must satisfy (2.2) since in this case all closed (g, b)-geodesics are contractible. The second is that for each \(\theta _0\in \mathbb {R}/2\pi \mathbb {Z}\) the embedding
is a torus-like global surface of section for the flow \(\Phi _{(g,b)}\) inside \(\mathrm S\mathbb {T}^2\), and the associated first-return map can be written explicitly in terms of the first integral I, a fact that will be central in the proof of Theorem 2.2.
A direction of future research will be to decide if (2.3) holds for symmetric systems not satisfying (2.2). In this more general case one can still construct annulus-like surfaces of section which are, however, not global. For this reason, already showing that \(\Lambda ^+(g,b)\ne \varnothing \) is an interesting problem.
2.3 Structure of the Paper
Section 3 is devoted to establishing basic properties of rotationally invariant magnetic systems on \(\mathbb {T}^2\) and ends with the proof of Theorem 2.2. In Sect. 4, we prove Theorem 2.1.
3 The First Integral I
As above we denote with (x, y) angular coordinates on \(\mathbb {T}^2=[0,1]\times [0,L]/\sim \), and consider a magnetic system (g, b) as in (1.7). We write \(a:\mathbb {R}/\mathbb {Z}\rightarrow (0,\infty )\) and \(b:\mathbb {R}/\mathbb {Z}\rightarrow \mathbb {R}\) for the warping and magnetic functions, respectively, which depend on the x-variable only. Up to rescaling the y-variable \((x,y)\mapsto (x,cy)\), which changes L to cL and a to a/c, we assume that the normalization
holds. This implies that
We define the function \(B:\mathbb {R}\rightarrow \mathbb {R}\) by the properties
so that
In view of this, we will also write \(B:\mathbb {R}/\mathbb {Z}\rightarrow \mathbb {R}/\langle b\rangle \mathbb {Z}\) for the corresponding quotient map. Here and below we use a prime to denote derivatives with respect to the x-variable.
From the formula for g, the embeddings \(\iota _{\theta _0}\) in (2.4) are well-defined and we have an angular function \(\theta :\mathrm S\mathbb {T}^2\rightarrow \mathbb {R}/2\pi \mathbb {Z}\) that yields the oriented angle between an element \(v\in \mathrm S\mathbb {T}^2\) and \(\partial _x\). If \(v=v_x\partial _x+v_y\partial _y\), then
On the other hand, the flow of \(\partial _y\) preserves both the metric g and the magnetic function b. Therefore, applying Noether’s Theorem, we get a multivalued conserved quantity along (g, b)-geodesics.
Lemma 3.1
The function
is constant along (g, b)-geodesics. The critical set of I can be expressed in the coordinates \((x,y,\theta )\) by
where
Finally, a (g, b)-geodesic parametrizes the circle \(\{x=x_0\}\) in the positive (respectively negative) y-direction if and only if \(x_0\) belongs to \(\mathrm {Crit}\, I_+\) (respectively to \(\mathrm {Crit}\, I_-\)).
Proof
The lifted flow of \(\partial _y\) to the twisted cotangent bundle \(({\mathrm {T}}^*\mathbb {T}^2,\Omega _{(g,b)})\), where \(\Omega _{(g,b)}\) is given by (1.4), is generated by the multivalued Hamiltonian \(p_y-B(x)\). Indeed,
Since the kinetic Hamiltonian H from (1.3) is invariant under the flow of \(\partial _y\), Noether’s theorem implies that \(p_y-B(x)\) is invariant under the Hamiltonian flow of H. As \(\Phi _{(g,b)}\) is the restriction of the Hamiltonian flow of H to \(\mathrm S\mathbb {T}^2\), after applying the metric isomorphism \({\mathrm {T}}\mathbb {T}^2\rightarrow {\mathrm {T}}^*\mathbb {T}^2\), and \(p_y=a(x)\sin \theta \) holds on \(\mathrm S\mathbb {T}^2\), we get that I is a first integral for \(\Phi _{(g,b)}\).
We compute
The second quantity is zero if and only if \(\cos \theta =0\). In this case, \(\theta =\pm \pi /2\) and the first quantity is zero if and only if x is a critical point of \(I_\pm \).
Finally, a (g, b)-geodesic parametrizes \(\{x=x_0\}\) if and only if the corresponding trajectory of the Hamiltonian flow of H is a reparametrization of a trajectory of the Hamiltonian flow of \(p_y-B(x)\). By the definition of Hamiltonian vector fields, this happens if and only if \(\mathrm {d}(p_y-B(x))\) and \(\mathrm {d}H\) have the same kernel at this orbit. Since \(\mathrm S\mathbb {T}^2\) corresponds to \(H^{-1}(1/2)\) and the restriction of \(p_y-B(x)\) to this level set corresponds to I, we see that the above conditions are equivalent to the fact that the orbit is contained in the critical set of I. By (3.4) the assertion follows. \(\square \)
Corollary 3.2
The equations of motion of a unit-speed (g, b)-geodesic \((x,y):\mathbb {R}\rightarrow \mathbb {T}^2\), whose tangent vector makes an angle \(\theta :\mathbb {R}\rightarrow \mathbb {R}/2\pi \mathbb {Z}\) with \(\partial _x\), read
Proof
The first two equations follow immediately from (3.3). The third equation is equivalent to
Let us assume by contradiction that this equation does not hold. Since I is a first integral, we compute using the first equation in (3.6)
Then, \(\cos \theta \equiv 0\) and \(x\equiv x_0\in \mathbb {R}/\mathbb {Z}\), \(\theta \equiv \pm \tfrac{\pi }{2}\). According to Lemma 3.1, this means that \(I_\pm \) has a critical point at \(x_0\). However, using the assumption that we want to contradict and the fact that \(\dot{\theta }=0\), we get
\(\square \)
As observed in Sect. 2, Lemma 3.1 implies that if (g, b) is Zoll, then \(\mathrm {Crit}I=\varnothing \). This prompts us to better investigate this condition.
Lemma 3.3
The following conditions are equivalent:
-
(1)
\(\mathrm {Crit}I=\varnothing \);
-
(2)
\(|a'|<ab\);
-
(3)
\(\frac{\partial I}{\partial x}<0\);
-
(4)
the function \(\theta \) is strictly monotone increasing along all (g, b)-geodesics;
-
(5)
\(-\mathrm {d}\theta \wedge \omega _{(g,b)}\) is a volume form on \(\mathrm S\mathbb {T}^2\), where \(\omega _{(g,b)}\) is the pull-back of \(\Omega _{(g,b)}\) on \(\mathrm S\mathbb {T}^2\);
-
(6)
for each \(\theta _0\in \mathbb {R}/2\pi \mathbb {Z}\) the torus embedding \(\iota _{\theta _0}\) from (2.4) is a global surface of section for \(\Phi _{(g,b)}\).
Proof
\((1)\Leftrightarrow (2)\): The critical set of I is empty if and only if the critical sets of \(I_-\) and \(I_+\) are empty. This means that \(\pm a'-ab\ne 0\). By continuity, we either have \(\pm a'-ab>0\) or \(\pm a'-ab<0\). However,
which implies that only the second possibility can hold.
-
\((2)\Leftrightarrow (3)\): \(|a'|<ab\) if and only if \(a'\sin \theta -ab<0\) for all \(\theta \). By (3.5) the conclusion follows.
-
\((3)\Leftrightarrow (4)\): It follows at once from (3.7).
-
\((3)\Leftrightarrow (5)\): We compute
Therefore, \(-\mathrm {d}\theta \wedge \omega _{(g,b)}=\tfrac{\partial I}{\partial x}\mathrm {d}\theta \wedge \mathrm {d}x\wedge \mathrm {d}y\) from which we see the desired equivalence.
\((4)\Rightarrow (6)\): If \(\theta \) is strictly monotone increasing along all flow lines of \(\Phi _{(g,b)}\), then for every \(\theta _0\in \mathbb {R}/2\pi \mathbb {Z}\) the torus \(\mathbb {R}/\mathbb {Z}\times (\mathbb {R}/L\mathbb {Z})\times \{\theta _0\}\) is a global surface of section.
\((6)\Rightarrow (1)\): Assume that \(\iota _{\theta _0}\) is a global surface of section. Then,
-
(i)
no orbit of \(\Phi _{(g,b)}\) can be entirely contained in \(\iota _{\theta _0}\);
-
(ii)
all orbits of \(\Phi _{(g,b)}\) must intersect \(\iota _{\theta _0}\).
If \(\theta _0\ne \pm \pi /2\), then (ii) is sufficient to see that \(\mathrm {Crit}I_\pm =\varnothing \). If \(\theta _0=\pi /2\) (the case \(\theta _0=-\pi /2\) being analogous), then from (i) we see that \(\mathrm {Crit}I_+=\varnothing \) and from (ii) that \(\mathrm {Crit}I_-=\varnothing \). \(\square \)
Remark 3.4
Condition (e) implies that the odd-symplectic form \(\omega _{(g,b)}\) is stable. Even if we will not make use of this in the present paper, let us observe that this has the consequence that an arbitrary magnetic system \((g_1,b_1)\) close to (g, b) satisfying (a) will also have an associated stable odd-symplectic form and therefore it will possess a contractible \((g_1,b_1)\)-geodesic according to [4]. \(\square \)
Remark 3.5
A sufficient but not necessary condition for \(\mathrm {Crit}I=\varnothing \) is the positivity of the magnetic curvature of (g, b). This phenomenon is analogous to the one ensuring that a convex Riemannian sphere of revolution admits exactly one equator (see also [6, Proposition 4.6] for the case of magnetic spheres). Let us recall that the magnetic curvature, which in general can be obtained from Jacobi fields along (g, b)-geodesics, in the symmetric setting takes the form
If we assume that \(K_{(g,b)}\) is everywhere positive, then we claim that all critical points of \(I_-\) and \(I_+\) must be non-degenerate maxima. This implies that the set of critical points of \(I_-\) and \(I_+\) is empty. To prove the claim, we take a critical point \(x_0\) for \(I_+\) (the other case being completely analogous) so that \(a'(x_0)-a(x_0)b(x_0)=0\). Using this equation, we see that the second derivative is negative
\(\square \)
From Lemma 3.3, we see that \(\mathrm {Crit}I=\varnothing \) yields some strong dynamical consequences. First of all, thanks to Condition (c), we have a function \(x:\mathbb {R}/\langle b\rangle \mathbb {Z}\times \mathbb {R}/2\pi \mathbb {Z}\rightarrow \mathbb {R}/\mathbb {Z}\), which is the unique solution of \(I=I(x(I,\theta ),\theta )\) for every \((I,\theta )\). Differentiating this relation with respect to \(\theta \) we get
Using the function x we can parametrize \(\mathrm S\mathbb {T}^2\) by the coordinates \((I,y,\theta )\). Moreover, by Condition (d), we can parametrize every (g, b)-geodesic by the angle \(\theta \). If we do so, then the only non-trivial differential equation in the \((I,y,\theta )\) coordinates is the one determining y. Thanks to (3.6) and (3.7), it reads
If we parametrize the global surfaces of section \(\theta ^{-1}(\theta _0)\) appearing in Condition (f) using coordinates (I, y), then we have a first return map of the form \((I,y)\mapsto (I,y+\Delta (I))\), where \(\Delta :\mathbb {R}/\langle b\rangle \mathbb {Z}\rightarrow \mathbb {R}\) is the function
Lemma 3.6
Assume that \(\mathrm {Crit}I=\varnothing \) and let \(\Delta \) be defined as above. Then,
where \(S:\mathbb {R}/\langle b\rangle \mathbb {Z}\rightarrow \mathbb {R}\) is the function
Proof
We define \({\tilde{S}}:\mathbb {R}\rightarrow \mathbb {R}\) by
where we identify x with its lift to \(\mathbb {R}\). It is clear that \({\tilde{S}}\) is a primitive of the lift of \(-\Delta \). We are left to prove that \({\tilde{S}}\) is the lift of S. Integrating by parts, we get
where we used (3.9) in the second equality. \(\square \)
We collect the main properties of S in the next lemma.
Lemma 3.7
Assume that \(\mathrm {Crit}I=\varnothing \) and let S be defined as above. Then
Moreover, an element \(I\in \mathbb {R}/\langle b\rangle \mathbb {Z}\) is a critical point of S if and only if the (g, b)-geodesics \(\gamma _I\) with integral I belong to \(\Lambda ^+(\mathbb {T}^2)\) (namely are contractible and with turning number \(+1\)). Moreover,
In particular, (g, b) is Zoll if and only if S is constant (and equal to \(\pi /\langle b\rangle \)).
Proof
We compute
where we used (3.1) and the fact that for every \(\theta \) the map \(I\mapsto x(I,\theta )\) reverses the orientation.
From the definition of the first-return map we see that \(\Delta (I)=0\) if and only if the (g, b)-geodesics with integral I are contractible (and with turning number \(+1\)). By Lemma 3.6, the correspondence between critical points of S and elements in \(\Lambda ^+(g,b)\) follows. It remains to compute
For the first term we use (3.7)
For the second term we use Stokes Theorem, the definition of the first integral and (3.10)
Putting the two pieces together yields the desired formula.
Finally, the assertion about Zoll systems is a consequence of \(\int _{\frac{\mathbb {R}}{\langle b\rangle \mathbb {Z}}}\mathrm {d}I=\langle b\rangle \). \(\square \)
Proof of Theorem 2.2
By the previous lemma, we have
The inequality is strict if and only if S is not constant, which happens if and only if (g, b) is not Zoll.
4 Construction of Symmetric Zoll Magnetic Systems on the Flat Torus
From the previous section, we know that a rotationally symmetric (g, b) on the two-torus is Zoll if and only if the function \(S:\mathbb {R}/\langle b\rangle \mathbb {Z}\rightarrow \mathbb {R}\) is constant (and equal to \(\pi /\langle b\rangle \)). This condition is equivalent to asking that the Fourier coefficients
vanish for all \(m\in \mathbb {Z}\setminus \{0\}\). These coefficients, although in general not computable, admit an explicit formula when the torus is flat, namely when \(a\equiv 1\). This formula involves the Bessel function (see [14])
The zeros of \(J_1\) are all simple and form a strictly increasing, divergent sequence \((\xi _k)_{k\in \mathbb {N}}\).
Lemma 4.1
Let \((g_\mathrm {con},b)\) be a rotationally symmetric magnetic system with \(\mathrm {Crit}I=\varnothing \). Then the function \(B:\mathbb {R}/\mathbb {Z}\rightarrow \mathbb {R}/\langle b\rangle \mathbb {Z}\) is invertible and we have
Therefore,
Proof
By Lemma 3.3, the condition \(\mathrm {Crit}I=\varnothing \) is equivalent to the positivity of b. Thus, B is invertible and from the definition of I, we get \(x(I,\theta )=B^{-1}(\sin \theta -I)\). Hence, (3.11) yields the desired formula for S. For the Fourier coefficients we compute:
The desired formula follows using \(e^{iz}=\cos z+i\sin z\) and \(\sin (\xi \sin (-\theta ))\cos ^2(-\theta )=-\sin (\xi \sin \theta )\cos ^2\theta \). \(\square \)
We are now in position to prove Theorem 2.1.
Proof of Theorem 2.1
We assume first that \(\langle b\rangle \) does not belong to the set \({\mathcal {B}}\) defined in (2.1). Then,
By Lemma 4.1, it follows that \(\hat{f}(-m)=0\) for all \(m\ne 0\), which implies that f, hence b, is a constant.
We assume now that \(\langle b\rangle \in {\mathcal {B}}\). Then, there exists \(m_0\in \mathbb {N}\) such that \(J_1(2\pi m_0/\langle b\rangle )=0\). Now, for all \(s\in \mathbb {R}\) such that the function
is positive, there exists an orientation preserving diffeomorphism
such that \(\tfrac{\mathrm {d}F_s}{\mathrm {d}u}=f_s\), and the function
makes the pair \((g_\mathrm {con},b_s)\) into a Zoll system. Indeed, \(\hat{f}_s(m)=0\) if \(m\ne 0,m_0\) and \(J_1(2\pi m_0/\langle b\rangle )=0\) ensure that \({\hat{S}}(m)=0\) for all \(m\ne 0\). It is now immediate to check that \(f_s\) is positive if and only if \(|s|<\langle b\rangle ^{-1}\) and that \(\inf f_s\) tends to 0 as \(|s|\rightarrow \langle b\rangle ^{-1}\). This last property implies that \(\max b_s\) diverges as \(|s|\rightarrow \langle b\rangle ^{-1}\). Moreover,
\(\square \)
Remark 4.2
The proof of Theorem 2.1 shows that the solution \(f_s\) constructed above is the only one giving rise to a Zoll pair if \(d(\langle b\rangle )=1\), namely if \(\langle b\rangle \) has the property that there exists a unique \(m_0\) such that \(2\pi m_0/\langle b\rangle \) is a zero of \(J_1\) (see the discussion after Fig. 1). Moreover, shifting the parameter \(u_0\) corresponds to shifting the x variable in b and so the associated \((g_\mathrm {con},b)\)-geodesics get also shifted in the x-direction.
Remark 4.3
Using the formula for \(F_s\) with \(u_0=0\) obtained above, we get an explicit expression for \((g_\mathrm {con},b)\)-geodesics \((x_I,y_I):\mathbb {R}\rightarrow \mathbb {T}^2\) parametrized by \(\theta \). Indeed,
Thus, we get
where we have used (3.10) to express \(y_I\). We used these formulas to produce Figs. 1 and 2 using Python.
Change history
14 July 2021
A Correction to this paper has been published: https://doi.org/10.1007/s12220-021-00731-z
References
Abbondandolo, A., Bramham, B., Hryniewicz, U.L., Salomão, P.A.S.: A systolic inequality for geodesic flows on the two-sphere. Math. Ann. 367(1–2), 701–753 (2017)
Abbondandolo, A., Bramham, B., Hryniewicz, U.L., Salomão, P.A.S.: Sharp systolic inequalities for Reeb flows on the three-sphere. Invent. Math. 211(2), 687–778 (2018)
Abbondandolo, A., Bramham, B., Hryniewicz, U.L., Salomão, P.A.S.: Sharp systolic inequalities for Riemannian and Finsler spheres of revolution, arXiv:1808.06995, preprint (2018)
Asselle, L., Benedetti, G.: The Lusternik–Fet theorem for autonomous Tonelli Hamiltonian systems on twisted cotangent bundles. J. Topol. Anal. 8(3), 545–570 (2016)
Asselle L., Lange, C.: On the rigidity of Zoll magnetic systems on surfaces, arXiv:1910.03285, preprint (2019)
Benedetti, G.: The contact property for symplectic magnetic fields on \(S^2\). Ergod. Theory Dyn. Syst. 36(3), 682–713 (2016)
Benedetti, G.: Magnetic Katok examples on the two-sphere. Bull. Lond. Math. Soc. 48(5), 855–865 (2016)
Benedetti, G., Kang, J.: On a systolic inequality for closed magnetic geodesics on surfaces, arXiv:1902.01262, preprint (2018)
Burns, K., Matveev, V.S.: On the rigidity of magnetic systems with the same magnetic geodesics. Proc. Am. Math. Soc. 134(2), 427–434 (2006)
Funk, P.: Über Flächen mit lauter geschlossenen geodätischen Linien. Math. Ann. 74(2), 278–300 (1913)
Guillemin, V.: The Radon transform on Zoll surfaces. Adv. Math. 22, 85–119 (1976)
Sabourau, S.: Local extremality of the Calabi–Croke sphere for the length of the shortest closed geodesic. J. Lond. Math. Soc. 82(3), 549–562 (2010)
Tabachnikov, S.: Remarks on Magnetic Flows and Magnetic Billiards, Finsler Metrics and a Magnetic Analog of Hilbert’s Fourth Problem, Modern Dynamical Systems and Applications, pp. 233–250. Cambridge Univ. Press, Cambridge (2004)
Watson, G.N.: A Treatise on the Theory of Bessel Functions, 2nd edn. Cambridge University Press, Cambridge (1944)
Zoll, O.: Ueber Flächen mit Scharen geschlossener geodätischer Linien. Math. Ann. 57(1), 108–133 (1903)
Acknowledgements
We thank Alberto Abbondandolo and Serge Tabachnikov for fruitful discussions, and Mattia Carlo Sormani for the precious help with the numerical integration. We are indebted to the referees for their valuable comments on the manuscript. Luca Asselle is partially supported by the DFG-Grant AS 546/1-1 “Morse theoretical methods in Hamiltonian dynamics”. Gabriele Benedetti was partially supported by the National Science Foundation under Grant No. DMS-1440140 while in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the Fall 2018 semester for the program “Hamiltonian systems, from topology to applications through analysis”.
Funding
Open access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The original online version of this article was revised: The article ‘Integrable Magnetic Flows on the Two-Torus: Zoll Examples and Systolic Inequalities’, written by Luca Asselle and Gabriele Benedetti, was originally published Online First without Open Access. After publication in volume 31, issue 3, page 2924–2940 the author decided to opt for Open Choice and to make the article Open Access publication. Therefore, the copyright of the article has been changed to \(\copyright \) The Author(s) 2021 and the article is forthwith distributed 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 articles 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/.
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., Benedetti, G. Integrable Magnetic Flows on the Two-Torus: Zoll Examples and Systolic Inequalities. J Geom Anal 31, 2924–2940 (2021). https://doi.org/10.1007/s12220-020-00379-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-020-00379-1