--- abstract: 'We study the structure of the stable norm of Finsler metrics on the 2-torus with a focus to points of irrational slope. By our results, the stable norm detects KAM-tori and hyperbolicity in the geodesic flow. Moreover, we study the stable norm in some natural examples.' address: | Faculty of Mathematics\ Ruhr University\ 44780 Bochum\ Germany author: - 'Stefan Klempnauer, Jan Philipp Schröder' title: 'The stable norm on the 2-torus at irrational directions' --- Introduction and main results ============================= In this paper we study properties of Finsler metrics $F:T{{\mathbb{T}^2}}\to{\mathbb{R}}$ on the 2-torus ${{\mathbb{T}^2}}={\mathbb{R}}^2/{\mathbb{Z}}^2$, see @BCS for information on Finsler metrics. The Finsler metrics are not assumed to be reversible, such that our results apply to general Tonelli Lagrangians $L:T{{\mathbb{T}^2}}\to{\mathbb{R}}$, see @cipp. Readers unfamiliar with Finsler metrics may think of the norm $F(v)=\sqrt{g(v,v)}$ of a Riemannian metric $g$ in ${{\mathbb{T}^2}}$. The object we study is the marked length spectrum ${\sigma}_F$. We write $$\textstyle l_F(c;[a,b]) = \int_a^b F(\dot c) dt$$ for the $F$-length structure. Identifying ${\mathbb{Z}}^2\cong \pi_1({{\mathbb{T}^2}})$ the <span>*marked length spectrum*</span> is defined as $${\sigma}_F:{\mathbb{Z}}^2\to{\mathbb{R}}, \quad {\sigma}_F(z) := \inf \left\{ l_F(c) : \text{the homotopy class of $c$ is } [c]=z \right\} .$$ Thus, ${\sigma}_F$ contains information on closed $F$-geodesics. We extend ${\sigma}_F$ to a norm on ${\mathbb{R}}^2$. By the results of Hedlund @hedlund (see Theorem \[morse periodic\] below), ${\sigma}_F$ is positively homogeneous: $${\sigma}_F(a \cdot z) = a \cdot {\sigma}_F(z) \qquad \forall z\in {\mathbb{Z}}^2,~ a \in {\mathbb{N}}_0 .$$ Moreover, using the fact that lifts of closed curves in linearly independent homotopy classes intersect in the universal cover ${\mathbb{R}}^2$, one infers $$z,w\in {\mathbb{Z}}^2 \text{ linearly independent} \quad \implies\quad {\sigma}_F(z +w) < {\sigma}_F(z)+{\sigma}_F(w) .$$ Extending ${\sigma}_F$ first homogeneously along lines of rational slope and then continuously to ${\mathbb{R}}^2$, we obtain a convex (in general non-reversible) norm $${\sigma}_F:{\mathbb{R}}^2\to{\mathbb{R}}$$ called the <span>*stable norm*</span> (see Section 2 of @bangert-minimal-geod). Note that ${\sigma}_F$ is related to <span>*Mather's $\beta$-function*</span> $$\beta_F:= \frac{1}{2}{\sigma}_F^2$$ of the "Tonelli" Lagrangian $L=\frac{1}{2}F^2$ (see Section 1 of @massart-thesis). Let us recall the classical result on ${\sigma}_F$ due to J. Mather @mather1, which is the starting point for our work. The theorem has a different proof due to V. Bangert @bangert1. (These authors prove the theorem for reversible Finsler metrics, while for non-reversible Finsler metrics the results are also true, see @paper1.) \[Mather, Bangert\]\[thm intro mather-bangert\] Let $F$ be any Finsler metric on ${{\mathbb{T}^2}}$ with stable norm ${\sigma}_F$ and $\xi=(\xi_1,\xi_2)\in {\mathbb{R}}^2-\{0\}$. (i) \[thm intro mather-bangert irrat\] If $\xi$ has irrational slope $\xi_2/\xi_1\in{\mathbb{R}}-{\mathbb{Q}}$, then the stable norm ${\sigma}_F$ is differentiable at $\xi$. (ii) \[thm intro mather-bangert rat\] If $\xi$ has rational or infinite slope $\xi_2/\xi_1\in{\mathbb{Q}}\cup\{\infty\}$, then the stable norm ${\sigma}_F$ is differentiable at $\xi$ if and only if there exists a foliation of ${{\mathbb{T}^2}}$ by shortest closed geodesics in the homotopy class $z$, where $z$ is the prime element in ${\mathbb{Z}}^2\cap {\mathbb{R}}_{>0}\xi$. There is a well-known rigidity phenomenon. Let us write $$S{{\mathbb{T}^2}}=\{F=1\}\subset T{{\mathbb{T}^2}}$$ for the unit tangent bundle and $$\phi_F^t:S{{\mathbb{T}^2}}\to S{{\mathbb{T}^2}}$$ for the geodesic flow of $F$. Then ${\sigma}_F:{\mathbb{R}}^2-\{0\}\to{\mathbb{R}}$ is $C^1$ if and only if the geodesic flow $\phi_F^t$ of $F$ is $C^0$-integrable in $S{{\mathbb{T}^2}}$, that is, $S{{\mathbb{T}^2}}$ is $C^0$-foliated by invariant graphs @massart-sorrentino. In the Riemannian case, the $C^0$-integrability of $\phi_F^t$ is equivalent to the flatness of the metric $F$ by a classical result of E. Hopf @hopf. In general, two Finsler or Riemannian metrics with the same stable norm need not be isometric. See also the discussion in Section 6 of @bangert1. Theorem \[thm intro mather-bangert\] suggests a deeper relationship between the structure of the geodesic flow $\phi_F^t:S{{\mathbb{T}^2}}\to S{{\mathbb{T}^2}}$ and the stable norm ${\sigma}_F$. As ${\sigma}_F$ is defined in terms of minimizers of a variational functional, we will look for relations to the minimal geodesics of $F$. Recall that a <span>*minimal geodesic*</span> is a geodesic $c:{\mathbb{R}}\to{{\mathbb{T}^2}}$ with the property that the lifts $\tilde c:{\mathbb{R}}\to{\mathbb{R}}^2$ to the universal cover minimize the length between any two of their points. Writing $d_F$ for the (in general non-symmetric) distance induced by the length $l_F$ on the universal cover ${\mathbb{R}}^2$, this means for the lifts $\tilde c$, that $$l_F(\tilde c;[a,b]) = d_F(\tilde c(a),\tilde c(b)) \qquad \forall a\leq b .$$ For a point $\xi\in S^1$ we define $${\mathcal{M}}(\xi)\subset S{{\mathbb{T}^2}}$$ to be the set of initial conditions of minimal geodesics $c:{\mathbb{R}}\to{{\mathbb{T}^2}}$ with asymptotic direction $\delta^+(c)=\xi$, where $$\delta^+(c) := \lim_{t\to\infty}\frac{\tilde c(t)}{|\tilde c(t)|} ,$$ $\tilde c:{\mathbb{R}}\to{\mathbb{R}}^2$ being any lift of $c$ and $|.|$ the euclidean norm on ${\mathbb{R}}^2$. It is known that the above limit exists for all minimal geodesics. We shall write ${\mathcal{M}}(a\cdot \xi)={\mathcal{M}}(\xi)$ for $a>0$. It is furthermore known that the shortest closed geodesics in the definition of ${\sigma}_F(z)$ lie in the set ${\mathcal{M}}(z)$ for $z\in{\mathbb{Z}}^2$. For these and more facts we refer to @hedlund and @bangert in the Riemannian case and to @zaustinsky and @paper1 for the general Finsler case. Motivated by Theorem \[thm intro mather-bangert\], we state the following problem. Relate the properties of ${\sigma}_F$ at a given point $\xi\in {\mathbb{R}}^2-\{0\}$ to the structure of the set ${\mathcal{M}}(\xi)\subset S{{\mathbb{T}^2}}$. A particularly nice structure of ${\mathcal{M}}(\xi)$ would be that it is a KAM-torus. \[def KAM intro\] Let $\phi^t:X\to X$ be a $C^\infty$-flow on a $C^\infty$-manifold $X$. A <span>*$C^k$-KAM-torus*</span> (of dimension $n$) is a $C^k$-submanifold ${\mathcal{T}}\subset X$, such that (i) ${\mathcal{T}}$ is invariant under $\phi^t$, (ii) there exists a $C^k$-diffeomorphism ${\mathcal{T}}\to \mathbb{T}^n = {\mathbb{R}}^n/{\mathbb{Z}}^n$ conjugating $\phi^t|_{\mathcal{T}}$ to a linear flow $\psi^t$ on $\mathbb{T}^n$ of the form $$\psi^t(x) = x+t\rho \mod {\mathbb{Z}}^n .$$ In our case $X=S{{\mathbb{T}^2}}$ and $\phi^t=\phi_F^t$ we consider only KAM-tori of dimension $n=2$ (half the dimension of the symplectic manifold $T^*{{\mathbb{T}^2}}$). Another possible structure of ${\mathcal{M}}(\xi)$ would be hyperbolicity. \[def hyp intro\] Let $\phi^t:X\to X$ be a $C^\infty$-flow on a $C^\infty$-manifold $X$. A subset $\Lambda\subset X$ is <span>*uniformly hyperbolic*</span> for $\phi^t$, if there exist constants $C,{\lambda}>0$ and distributions $\{E^s(x)\}_{x\in\Lambda},\{E^u(x)\}_{x\in\Lambda}$, such that (i) $\Lambda$ is compact and $\phi^t$-invariant, (ii) the distributions are $\phi^t$-invariant: $$D\phi^t(x)E^s(x) = E^s(\phi^t x) , \qquad D\phi^t(x)E^u(x) = E^u(\phi^t x) ,$$ (iii) the distributions together with the flow direction span the tangent spaces: $$T_xX = {\mathbb{R}}\cdot (\tfrac{d}{dt}\big|_{t=0}\phi^tx) \oplus E^s(x) \oplus E^u(x) ,$$ (iv) with respect to some Riemannian metric on $X$ we have contraction: $$\begin{aligned} & \| D\phi^t(x) v \| \leq C \cdot \exp(-{\lambda}t) \cdot \|v\| \qquad \forall t\geq 0, v\in E^s(x) , \\ & \| D\phi^{-t}(x) v \| \leq C \cdot \exp(-{\lambda}t) \cdot \|v\| \qquad \forall t\geq 0, v\in E^u(x) .\end{aligned}$$ We can now state our main result concerning the structure of the stable norm at points of irrational slope. \[main thm intro irrat\] Let $F$ be any Finsler metric on ${{\mathbb{T}^2}}$ with stable norm ${\sigma}_F$ and let $\xi \in {\mathbb{R}}^2-\{0\}$ have irrational slope $\xi_2/\xi_1\in {\mathbb{R}}-{\mathbb{Q}}$. (i) \[main irrat i\] If the set ${\mathcal{M}}(\xi)\subset S{{\mathbb{T}^2}}$ is a $C^3$-KAM-torus for the geodesic flow $\phi_F^t$, then the square of the stable norm ${\sigma}_F$ is strongly convex near $\xi$. More precisely, there exists a constant $C>0$, such that Mather's $\beta$-function $$\beta_F = \frac{1}{2} {\sigma}_F^2$$ satisfies for all $v\in{\mathbb{R}}^2$ the estimate $$\begin{aligned} \beta_F(\xi+v) - \beta_F( \xi) - D\beta_F( \xi)[ v]\geq C \cdot| v|^2 . \end{aligned}$$ (ii) \[main irrat ii\] Suppose that in each non-trivial free homotopy class of ${{\mathbb{T}^2}}$, there exists only one shortest closed $F$-geodesic. If the set ${\mathcal{M}}(\xi)\subset S{{\mathbb{T}^2}}$ is uniformly hyperbolic for the geodesic flow $\phi_F^t$, then the stable norm ${\sigma}_F$ is exponentially flat near $\xi$. More precisely, there exist constants $C,{\lambda}>0$, such that in all choices of rays $R \subset {\mathbb{R}}^2$ emanating from the origin there exist sequences $v_n\to 0, v_n\neq 0$, so that $$\begin{aligned} & {\sigma}_F(\xi+v_n) - {\sigma}_F(\xi) - D{\sigma}_F(\xi)[v_n] \leq |v_n|^{1/4} \cdot C \cdot \exp\left(-{\lambda}\cdot \frac{1}{| v_n |^{1/4}} \right) . \end{aligned}$$ Note that the differentiability of ${\sigma}_F$ and $\beta_F$ at $\xi$ follows directly from Theorem \[thm intro mather-bangert\] . In Main Theorem \[main thm intro irrat\] , we will also show that for some $C'>0$ and all $v$ $$\beta_F(\xi+v) - \beta_F( \xi) - D\beta_F( \xi)[ v] \leq C' \cdot |v|^2 .$$ As to part , note that by convexity we have $$\begin{aligned} & 0 \leq {\sigma}_F(\xi+v) - {\sigma}_F(\xi) -D{\sigma}_F(\xi)[v] . \end{aligned}$$ The function $$t> 0 \quad \mapsto \quad t^{1/4} \cdot C \cdot \exp\left(-{\lambda}\cdot \frac{1}{t^{1/4}} \right)$$ vanishes in $t=0$ to infinite order. If one draws the unit circle of ${\sigma}_F$ with a computer, it looks like a straight line near $\xi$, if ${\mathcal{M}}(\xi)$ is hyperbolic. If, on the other hand ${\mathcal{M}}(\xi)$ is a KAM-torus, it will look like a parabola as in the euclidean (integrable) case. We will give some examples of Finsler metrics together with their stable norms in Section \[section examples\] below. Intuitively, one sees that when perturbing the euclidean metric with the stable norm being again the euclidean metric, the convexity of the stable norm moves notably into vertices at rational directions, while at directions irrational slope the unit circle looks more and more like a straight line. Indeed, in Figure \[fig\_rivin\] below the unit circle of the stable norm in the case of a hyperbolic metric on the (punctured) torus looks polygonal, even though it is strictly convex. Theorem \[thm intro mather-bangert\] can be rephrased as - ${\sigma}_F$ is differentiable at a point $\xi\in {\mathbb{R}}^2-\{0\}$ of rational slope if and only if the set ${\mathcal{M}}(\xi)$ is a $C^0$-KAM-torus. The following problem arises. \[quest irrat\] Give a criterion on the stable norm ${\sigma}_F$ near a given irrational direction $\xi \in {\mathbb{R}}^2-\{0\}$, which is equivalent to the case where the set ${\mathcal{M}}(\xi)$ is a KAM-torus for the geodesic flow $\phi_F^t$. We saw in Theorem \[thm intro mather-bangert\] that the answer in the rational case was given in terms of the differentiability of ${\sigma}_F$, while for the irrational case this is not possible since ${\sigma}_F$ is always differentiable here. In this light, Main Theorem \[main thm intro irrat\] partially answers Problem \[quest irrat\] in terms of the flatness properties of ${\sigma}_F$ near $\xi$. However, there are several issues to discuss. Let us start with the condition in Main Theorem \[main thm intro irrat\] , that each free homotopy class contains only one shortest closed geodesic. This is certainly not fulfilled for every Finsler metric. \[def generic\] A property of Finsler metrics is said to be <span>*conformally generic*</span> if, given an arbitrary Finsler metric $F_0$ on ${{\mathbb{T}^2}}$, the property holds for all Finsler metrics $F$ of the form $$F(x,v) = f(x) \cdot F_0(x,v)$$ with $f$ belonging to a residual subset of $$\{ f: {{\mathbb{T}^2}}\to {\mathbb{R}}: \text{$f>0$ everywhere and $f$ is $C^\infty$} \}$$ in the $C^\infty$-topology. Here, a residual set in a topological space is a countable intersection of open and dense subsets. In the Lagrangian setting, the above notion of genericity is related via Maupertuis' principle to R. <span>Mañé</span>'s way of perturbing a Tonelli Lagrangian $L_0$ by a potential into $L(x,v)=L_0(x,v)+f(x)$, see @mane. The next proposition is proved in @generic-paper. \[generic-paper result\] The property to admit only one shortest closed geodesic in each free homotopy class is conformally generic. This shows that Main Theorem \[main thm intro irrat\] applies to "most" Finsler metrics on ${{\mathbb{T}^2}}$ without the extra condition in item . Next, let us see, what alternatives there are for the structure of ${\mathcal{M}}(\xi)$: (A) ${\mathcal{M}}(\xi)$ is a $C^3$-KAM-torus for $\phi_F^t$, (B) ${\mathcal{M}}(\xi)$ is uniformly hyperbolic for $\phi_F^t$, (C) none of the above two. First we note that case (A) occurs frequently by KAM-theory, if the Finsler metric $F$ is close to one with an integrable geodesic flow (e.g. the euclidean metric), see e.g. @moser, while we do not attempt to give a full overview on the literature on KAM-theory. The reason for us to use $C^3$-regularity is given in Remark \[remark kam torus c3\]. We will prove the following proposition concerning case (B). \[prop lecalvez intro\] The following property of Finsler metrics on ${{\mathbb{T}^2}}$ is conformally generic: - For an open and dense subset $U\subset S^1$, the sets ${\mathcal{M}}(\xi)$ are uniformly hyperbolic for all $\xi\in U$. The set $U$ strictly contains all $\xi\in S^1$ with rational or infinite slope. Put together, one expects that cases (A) and (B) occur quite frequently. Aiming at Problem \[quest irrat\], for conformally generic Finsler metrics, Main Theorem \[main thm intro irrat\] tells us when we are in one of the cases (A) or (B), while it is not able to distinguish case (C). Let us have a brief look at case (C). This case could be quite subtle and will be left for future research. See also the discussion in Section 10 of @mckay. This case contains the following situations: - ${\mathcal{M}}(\xi)$ is a $C^0$-KAM-torus, but not a $C^3$-KAM-torus, - ${\mathcal{M}}(\xi)$ is not a $C^0$-KAM-torus, but also not uniformly hyperbolic. As case (C) is excluded for rational $\xi$, if the Finsler metric is chosen generically (Proposition \[prop lecalvez intro\]), let us assume that $\xi$ has irrational slope. One might expect that case (CA) can be treated as a generalization of case (A) with some degeneracy to be expected. In case (CB) the set $\pi({\mathcal{M}}^{rec}(\xi))$ of recurrent minimal geodesics projected to ${{\mathbb{T}^2}}$ is nowhere dense in ${{\mathbb{T}^2}}$ @bangert. This case occurs for generic Finsler metrics, fixing $\xi\in S^1$ with slope $\xi_2/\xi_1$ a Liouville number, see @mather2 (for Diophantine numbers, KAM-tori can occur by KAM-theory). Here, it is known that homoclinic behavior of geodesics close to ${\mathcal{M}}^{rec}(\xi)$ occurs, i.e. one could expect some hyperbolicity. However, it is still possible that $\pi({\mathcal{M}}(\xi))={{\mathbb{T}^2}}$; also, one can have vanishing or non-vanishing Lyapunov exponents (non-uniform hyperbolicity). All these topics will not be treated here; let us in this connection only refer to the work of M. C. Arnaud: @arnaud, @arnaud-example, @arnaud [@non-hyp]. Finally, we will prove a theorem on the structure of ${\sigma}_F$ in rational directions. Recall that generically the set ${\mathcal{M}}(\xi)$ is hyperbolic for all $\xi$ with rational or infinite slope, see Proposition \[prop lecalvez intro\]. In this case, we can sharpen Theorem \[thm intro mather-bangert\] , obtaining an estimate analogous to Main Theorem \[main thm intro irrat\] . We write $$D^+{\sigma}_F(\xi)[v] := \inf_{t>0} \frac{{\sigma}_F(\xi+tv)-{\sigma}_F(\xi)}{t} = \lim_{t\searrow 0} \frac{{\sigma}_F(\xi+tv)-{\sigma}_F(\xi)}{t}$$ for the forward directional derivative of ${\sigma}_F$. The second equality holds due to convexity. \[intro rational hyp\] Let $\xi\in {\mathbb{R}}^2 - \{0\}$ with rational or infinite slope. Assume that the set of periodic minimal geodesics ${\mathcal{M}}^{per}(\xi)\subset S{{\mathbb{T}^2}}$ is uniformly hyperbolic for the geodesic flow $\phi_F^t$. Then there exist constants $C,{\lambda}, {\varepsilon}>0$, such that for all $v\in {\mathbb{R}}^2$ with euclidean norm $|v|\leq {\varepsilon}$ $$\begin{aligned} & {\sigma}_F(\xi+v) - {\sigma}_F(\xi) - D^+{\sigma}_F(\xi)[v] \leq |v| \cdot C \cdot \exp\left( -{\lambda}\cdot \frac{1}{|v|} \right) . \end{aligned}$$ Note that by convexity we have for all $v\in{\mathbb{R}}^2$ $$\begin{aligned} & 0 \leq {\sigma}_F(\xi+v) - {\sigma}_F(\xi) -D^+{\sigma}_F(\xi)[v] . \end{aligned}$$ Also note that the function $$t> 0 \quad \mapsto \quad t\cdot C \cdot \exp\left(-{\lambda}\cdot \frac{1}{t} \right)$$ vanishes in $t=0$ to infinite order. Note that, intuitively, there are relations of Theorem \[intro rational hyp\] and Main Theorem \[main thm intro irrat\] to @bressaus-quas in the setting of ergodic optimization. We close the introduction with a remark on the stable norm on higher genus surfaces. We saw that in the torus case, the stable norm contains much information on the dynamics of $\phi_F^t$. The natural question is, whether this is true also for higher genus surfaces. Here, there are results analogous to Theorem \[thm intro mather-bangert\] due to D. Massart @massart2 (note, however, the erratum @massart-erratum). In @min_rays the second author proves that a similar asymptotic object associated to $F$, namely the horofunction boundary is generically homeomorphic to that of a constant curvature metric. The following question should be an interesting topic for future research. <span>**Question.**</span> Are the differentiability properties of the stable norm of a generic Finsler metric $F$ on a closed orientable surface $M$ of genus at least two the same as those of the stable norm of a constant curvature Riemannian metric? <span>**Structure of this paper.**</span> Main Theorem \[main thm intro irrat\] is proved in Section \[section kam-case\]. The arguments for Main Theorem \[main thm intro irrat\] and Theorem \[intro rational hyp\] are contained in Section \[section hyp\]. In Section \[section lecalvez\], we sketch the proof of Proposition \[prop lecalvez intro\]; in Section \[section examples\] we study some natural examples of Finsler metrics and their stable norms. The case of a KAM-torus {#section kam-case} ======================= We fix the Finsler metric $F$. The associated sets ${\mathcal{M}}(\xi)$ can be seen as remnants of KAM-tori (recall Definition \[def KAM intro\] for the definition of a KAM-torus). More precisely, if a KAM-torus ${\mathcal{T}}\subset S{{\mathbb{T}^2}}$ is a Lipschitz graph over the base ${{\mathbb{T}^2}}$, then it is well-known (cf. Theorem 17.4 in @mather-forni or Section 3 in @diss) that ${\mathcal{T}}\subset {\mathcal{M}}(\xi)$ for some $\xi$. In this section we fix $\xi\in {\mathbb{R}}^2-\{0\}$ and in order to prove Main Theorem \[main thm intro irrat\] we assume that - the set ${\mathcal{T}}={\mathcal{M}}(\xi)$ is a $C^k$-KAM-torus for the geodesic flow $\phi_F^t$, while $\phi_F^t|_{\mathcal{T}}$ is conjugated via some diffeomorphism $\Phi:{\mathcal{T}}\to{{\mathbb{T}^2}}$ to the linear flow $\psi^tx=x+t\rho$. We shall call $\rho$ the <span>*frequency vector*</span> of ${\mathcal{M}}(\xi)$. The aim of this section is to study the stable norm ${\sigma}_F$ of $F$ close to $\xi$. We shall follow the ideas of K. F. Siburg, cf. @siburg-paper or Chapter 4 in @siburg. Note, however, that in our setting we do not need symplectic coordinate changes and the condition for our KAM-torus to be positive definite is fulfilled automatically, see below. \[lemma KAM-foliation\] If the set ${\mathcal{M}}(\xi)$ is a $C^k$-KAM-torus for the geodesic flow $\phi_F^t$ as assumed above, then there exists a $C^k$-diffeomorphism ${\varphi}:{{\mathbb{T}^2}}\to{{\mathbb{T}^2}}$, such that the push-forward $C^{k-1}$-Finsler metric ${\varphi}_*F$ admits the straight lines $$x + t \rho \mod {\mathbb{Z}}^2$$ as arc-length geodesics. \[remark kam torus c3\] For the push-forward ${\varphi}_*F$ to be a Finsler metric, it should be at least $C^2$ away from the zero section, hence the KAM-torus in Lemma \[lemma KAM-foliation\] should be at least $C^3$. First we observe that the canonical projection $\pi|_{{\mathcal{M}}(\xi)}:{\mathcal{M}}(\xi) \to {{\mathbb{T}^2}}$ is a bi-Lipschitz homeomorphism. Indeed, by assumption all orbits in ${\mathcal{T}}={\mathcal{M}}(\xi)$ are recurrent under $\phi_F^t$, while it is known that $\pi$ restricted to the set of recurrent minimal geodesics ${\mathcal{M}}^{rec}(\xi)\subset {\mathcal{M}}(\xi)$ is a bi-Lipschitz homeomorphism onto its image in ${{\mathbb{T}^2}}$; for this let us refer to @paper1, in particular in the non-reversible Finsler case, while the extensive literature on the subject starts already with @hedlund. The claim follows. As $\pi:T{{\mathbb{T}^2}}\to{{\mathbb{T}^2}}$ is smooth and the $C^k$-submanifold ${\mathcal{M}}(\xi)$ is a Lipschitz-graph (the image of $\pi|_{{\mathcal{M}}(\xi)}^{-1}:{{\mathbb{T}^2}}\to T{{\mathbb{T}^2}}$), we find that $\pi|_{{\mathcal{M}}(\xi)}:{\mathcal{M}}(\xi)\to{{\mathbb{T}^2}}$ is a $C^k$-diffeomorphism. Consider the $C^k$-diffeomorphism $\Phi:{\mathcal{M}}(\xi)\to{{\mathbb{T}^2}}$ conjugating $\phi_F^t|_{{\mathcal{M}}(\xi)}$ to the linear flow $\psi^tx=x+t\rho$. Then for the geodesic $c_v:{\mathbb{R}}\to{{\mathbb{T}^2}}$ corresponding to $v\in {\mathcal{M}}(\xi)$ we find $$\begin{aligned} c_v(t) & = \pi|_{{\mathcal{M}}(\xi)} \circ \phi_F^t(v) = \pi|_{{\mathcal{M}}(\xi)} \circ \Phi^{-1}\circ \psi^t \circ \Phi(v) \\ & = \pi|_{{\mathcal{M}}(\xi)} \circ \Phi^{-1}( \Phi(v) + t \rho) . \end{aligned}$$ This shows that the $C^k$-diffeomorphism $${\varphi}:= \Phi \circ \pi|_{{\mathcal{M}}(\xi)}^{-1} : {{\mathbb{T}^2}}\to{{\mathbb{T}^2}},$$ sends the $F$-geodesics from ${\mathcal{M}}(\xi)$ to the desired straight lines. We write $$\hat F := {\varphi}_*F :T{{\mathbb{T}^2}}\to{\mathbb{R}}$$ for the push-forward Finsler metric found in Lemma \[lemma KAM-foliation\]. Let us see how the stable norm ${\sigma}_F$ transforms under ${\varphi}$. \[lemma vf on sigma\] If ${\varphi}:{{\mathbb{T}^2}}\to{{\mathbb{T}^2}}$ is the diffeomorphism from Lemma \[lemma KAM-foliation\], then there exists a linear isomorphism $L_{\varphi}:{\mathbb{R}}^2\to{\mathbb{R}}^2$ with $${\sigma}_{\hat F} = {\sigma}_F \circ L_{\varphi}^{-1} .$$ Moreover, there exists ${\lambda}>0$ with $$\rho = {\lambda}\cdot L_{\varphi}\xi .$$ We defined ${\sigma}_F$ as a function on ${\mathbb{R}}^2$, while it could be equivalently defined on the first homology group $H_1({{\mathbb{T}^2}},{\mathbb{R}})\cong{\mathbb{R}}^2$ via $${\sigma}_F(h) = \inf\left\{ \sum_{i=1}^k r_i l_F(c_i) ~\bigg|~ r_i\in{\mathbb{R}}, c_i \text{ closed curve in ${{\mathbb{T}^2}}$}, h = \sum_{i=1}^k r_i [c_i] \right\} ,$$ see Section 2 of @bangert-minimal-geod. The diffeomorphism ${\varphi}:{{\mathbb{T}^2}}\to{{\mathbb{T}^2}}$ induces a linear isomorphism $$L_{\varphi}:H_1({{\mathbb{T}^2}},{\mathbb{R}})\to H_1({{\mathbb{T}^2}},{\mathbb{R}}) , \qquad L_{\varphi}[c] = [{\varphi}\circ c] ,$$ see Corollary 4.3 on p. 176 in @bredon. Using that $l_{\hat F}(c)= l_F({\varphi}^{-1}\circ c)$ for the length of curves, we find with the above definition of ${\sigma}_F$, that $$\begin{aligned} {\sigma}_{\hat F}(L_{\varphi}h) & = \inf\left\{ \sum r_i l_{\hat F}(c_i) ~\bigg|~ L_{\varphi}h = \sum r_i [{\varphi}\circ{\varphi}^{-1}\circ c_i] \right\} \\ & = \inf\left\{ \sum r_i l_F({\varphi}^{-1}\circ c_i) ~\bigg|~ L_{\varphi}h = \sum r_i L_{\varphi}[{\varphi}^{-1}\circ c_i] \right\} \\ & = \inf\left\{ \sum r_i l_F({\varphi}^{-1}\circ c_i) ~\bigg|~ h = \sum r_i [{\varphi}^{-1}\circ c_i] \right\} \\ & = {\sigma}_F(h), \end{aligned}$$ i.e. the first claim follows. Let now $v\in {\mathcal{M}}(\xi)$, then the $F$-geodesic $c_v$ is recurrent and there exists a sequence $T_n\to\infty$ with $c_v(T_n) \to c_v(0)$. We close $c_v|_{[0,T_n]}$ by a short segment ${\varepsilon}_n$ and write $\widetilde{c_v}:{\mathbb{R}}\to{\mathbb{R}}^2$ for some lift of $c_v$. It follows for the homology class of $c_v|_{[0,T_n]} * {\varepsilon}_n$ seen as a point in ${\mathbb{Z}}^2\subset{\mathbb{R}}^2$, that $$\begin{aligned} \label{eqn hom class of c_v} \lim_{n\to\infty} [ c_v|_{[0,T_n]} * {\varepsilon}_n ] - \widetilde{c_v}(T_n)-\widetilde{c_v}(0) = 0. \end{aligned}$$ By Birkhoff's ergodic theorem, the rotation vector $$\rho_0 := \lim_{T\to\infty} \frac{\widetilde{c_v}(T)}{T}$$ exists (at least for almost every $v\in {\mathcal{M}}(\xi)$), such that by definition of $\xi=\lim_{T\to\infty}\frac{\widetilde{c_v}(T)}{|\widetilde{c_v}(T)|}$, we find $$\begin{aligned} \rho_0 & = \lim_{T\to\infty} \frac{\widetilde{c_v}(T)}{T} = \lim_{T\to\infty} \frac{|\widetilde{c_v}(T)|}{T} \cdot \frac{\widetilde{c_v}(T)}{|\widetilde{c_v}(T)|} = : {\lambda}\cdot \xi . \end{aligned}$$ Moreover, by and the analogous statement for ${\varphi}\circ c_v(t) = x+t\rho$ $$\begin{aligned} L_{\varphi}\rho_0 & = L_{\varphi}\left(\lim_{T\to\infty} \frac{\widetilde{c_v}(T)}{T}\right) = L_{\varphi}\left(\lim_{n\to\infty} \frac{[ c_v|_{[0,T_n]} * {\varepsilon}_n ]}{T_n}\right) \\ & = \lim_{n\to\infty} \frac{[{\varphi}\circ c_v|_{[0,T_n]} *{\varphi}\circ {\varepsilon}_n ]}{T_n} = \lim_{n\to\infty} \frac{\rho\cdot T_n }{T_n} = \rho . \end{aligned}$$ This proves the second claim. In the following, we shall use the standard coordinates ${{\mathbb{T}^2}}\times {\mathbb{R}}^2$ for $T{{\mathbb{T}^2}}$. \[lemma hat F indep\] Let $\rho$ be the frequency vector of ${\mathcal{M}}(\xi)$ and suppose that $\xi$ has irrational slope $\xi_2/\xi_1\in {\mathbb{R}}-{\mathbb{Q}}$. Then $$\hat F (.,\rho) :{{\mathbb{T}^2}}\to{\mathbb{R}}, \qquad \frac{\partial \hat F}{\partial v}(.,\rho) :{{\mathbb{T}^2}}\to({\mathbb{R}}^2)^*$$ are constant. For the first claim note that the curves $x+t\rho$ are arc-length $\hat F$-geodesics, i.e. $\hat F(x,\rho)=1$ for all $x$. Now consider the Euler-Lagrange equation for $\hat F$, fulfilled by the $\hat F$-geodesics: $$\frac{d}{dt} \frac{\partial \hat F}{\partial v}(c,\dot c) = \frac{\partial \hat F}{\partial x}(c,\dot c) .$$ Then, for $c(t)=t\rho \mod {\mathbb{Z}}^2$ we find by $\hat F(.,\rho)=\operatorname{const.}$, that $$\frac{\partial \hat F}{\partial x}(c,\dot c) = \frac{\partial \hat F}{\partial x}(t\rho , \rho) = 0 .$$ Hence, by the Euler-Lagrange equation $$\frac{d}{dt} \frac{\partial \hat F}{\partial v}(t\rho,\rho) = 0 ,$$ such that $\frac{\partial \hat F}{\partial v}(t\rho,\rho)$ is independent of $t$. By the irrationality of $\xi$, the vector $\rho$ is also irrational (otherwise, ${\mathcal{M}}(\xi)$ would contain periodic orbits), such that the curve $c(t)= t\rho$ is dense in ${{\mathbb{T}^2}}$. The claim follows. In the next lemma, we obtain the desired estimates in Theorem \[main thm intro irrat\] for the Finsler metric $\hat F$. Recall the notation $$\beta_{\hat F} = \frac{1}{2} {\sigma}_{\hat F}^2 .$$ Also note that $\beta_{\hat F}$ is differentiable in $\rho$ by Theorem \[thm intro mather-bangert\] . \[Taylor for stable norm\] Let the regularity of the KAM-torus ${\mathcal{M}}(\xi)$ be $k\geq 3$ and let $\xi$ have irrational slope. Then there exists a constant $C\geq 1$, such that for all $h\in {\mathbb{R}}^2$ $$\begin{aligned} \frac{1}{C} |h-\rho|^2 \leq \beta_{\hat F}(h) - \beta_{\hat F}(\rho) - D\beta_{\hat F}(\rho)[h-\rho] \leq C |h-\rho|^2 . \end{aligned}$$ We consider the Lagrangian $L=\frac{1}{2}\hat F^2$. Then by a Taylor expansion, for some $t_*\in (0,1)$ $$\begin{aligned} L(x,v) & = L(x,\rho) + \frac{\partial L}{\partial v}(x,\rho)[v-\rho] \\ & \qquad \qquad + \frac{1}{2} \frac{\partial^2 L}{\partial v^2}(x,\rho+t_* (v-\rho))[(v-\rho),(v-\rho)] . \end{aligned}$$ As the Hessian $\frac{\partial^2 L}{\partial v^2}(x,\rho)$ is positive definite by the definition of a Finsler metric, we find a constant $C\geq 1$, such that $$\forall (x,v) \in T{{\mathbb{T}^2}}, w\in {\mathbb{R}}^2 : \qquad \frac{1}{C} |w|^2 \leq \frac{1}{2} \frac{\partial^2 L}{\partial v^2}(x,v)[w,w] \leq C |w|^2 .$$ Using Lemma \[lemma hat F indep\], the functions $$\begin{aligned} & L(x,\rho) = \frac{1}{2}\hat F(x,\rho)^2 , \\ & \frac{\partial L}{\partial v}(x,\rho)[w] = \frac{1}{2}\frac{d}{dt}\bigg|_{t=0} \hat F(x,\rho +tw)^2 = \hat F(x,\rho) \cdot \frac{\partial \hat F}{\partial v}(x,\rho)[w] \end{aligned}$$ are independent of $x\in{{\mathbb{T}^2}}$. Then consider the new Lagrangians $$\begin{aligned} L_0^-(v) &= L(x,\rho) + \frac{\partial L}{\partial v}(x,\rho)[v-\rho] + \frac{1}{C} |v-\rho|^2 , \\ L_0^+(v) &= L(x,\rho) + \frac{\partial L}{\partial v}(x,\rho)[v-\rho] + C |v-\rho|^2 \end{aligned}$$ satisfying $$\begin{aligned} \label{L_0 approx L} L_0^-(v) \leq L(x,v) \leq L_0^+(v) \end{aligned}$$ for all $(x,v)\in T{{\mathbb{T}^2}}$. We shall use to find an analogous estimate for $\beta_{\hat F}$. For any curve $c:[0,T]\to {\mathbb{R}}^2$ we obtain by the $L^2$-Cauchy-Schwarz inequality, that $$\begin{aligned} \label{CS-ineq} l_{\hat F}(c;[0,T])^2 & = \operatorname{\langle}1, \hat F(c,\dot c) \operatorname{\rangle}_{L^2}^2 \leq \|1\|_{L^2}^2 \cdot \|\hat F(c,\dot c)\|_{L^2}^2 \\ \nonumber & = T \cdot \int_0^T \hat F(c,\dot c)^2 dt = 2T \cdot \int_0^T \hat L(c,\dot c) dt , \end{aligned}$$ with equality if and only if $\hat F(c,\dot c)=\operatorname{const.}$. Let $z\in {\mathbb{Z}}^2$ and let $c:[0,T]\to{\mathbb{R}}^2$ for some $T>0$ be the shortest closed $\hat F$-geodesic in the homotopy class $z$ (i.e. $c(T)-c(0)=z$), parametrized to have constant $\hat F$-speed. Moreover, let $c_0:[0,T]\to{\mathbb{R}}^2$ be given by $c_0(t) = c(0) + t\frac{z}{T}$. If $L_0:T{{\mathbb{T}^2}}\to{\mathbb{R}}$ is any Tonelli Lagrangian independent of the base variable $x\in{{\mathbb{T}^2}}$, then fixing $T>0$ and the endpoints $c(0),c(T)\in {\mathbb{R}}^2$, it is known that the action $\int_0^T L_0(c,\dot c) dt$ is minimized by the curve $c_0$ with constant velocity vector (by Tonelli's Theorem there exist minimizers for fixed endpoints and fixed connection time, which have to be solutions of the Euler-Lagrange equation; by $L_0$ being independent of $x$, such minimizers have to be straight lines). It follows by and , that $$\begin{aligned} L_0^-(\tfrac{z}{T}) & = \frac{1}{T} \int_0^T L_0^-(c_0,\dot c_0) dt \leq \frac{1}{T} \int_0^T L_0^-(c,\dot c) dt \leq \frac{1}{T} \int_0^T L(c,\dot c) dt \\ & = \frac{1}{2T^2} l_{\hat F}(c;[0,T])^2 \leq \frac{1}{2T^2} l_{\hat F}(c_0;[0,T])^2 \leq \frac{1}{T} \int_0^T L(c_0,\dot c_0) dt \\ & \leq \frac{1}{T} \int_0^T L_0^+(c_0,\dot c_0) dt = L_0^+(\tfrac{z}{T}) . \end{aligned}$$ By $l_{\hat F}(c;[0,T]) = {\sigma}_{\hat F}(z)$ and homogeneity of ${\sigma}_{\hat F}$, we obtain $$L_0^-(\tfrac{z}{T}) \leq \beta_{\hat F}(\tfrac{z}{T}) = \frac{1}{2} {\sigma}_{\hat F}(\tfrac{z}{T})^2 \leq L_0^+(\tfrac{z}{T}) \qquad \forall z\in {\mathbb{Z}}^2, T>0 .$$ Using continuity it follows that $$\begin{aligned} L_0^- \leq \beta_{\hat F} \leq L_0^+ \end{aligned}$$ everywhere. Using the definition of $L_0^\pm$ one infers $$\begin{aligned} L(x,\rho) = \beta_{\hat F}(\rho) , \qquad \frac{\partial L}{\partial v}(x,\rho) = D\beta_{\hat F}(\rho) \end{aligned}$$ and the claim follows. We now translate Lemma \[Taylor for stable norm\] into a statement for the original Finsler metric $F$ and obtain the main result in this section, which is stated as item of Main Theorem \[main thm intro irrat\] in the introduction. \[thm KAM-torus\] If $\xi\in {\mathbb{R}}^2-\{0\}$ has irrational slope and if the set ${\mathcal{M}}(\xi)$ is a $C^3$-KAM-torus for the geodesic flow $\phi_F^t$, then the square of the stable norm ${\sigma}_F$ is strongly convex near $\xi$. More precisely, there exists a constant $C\geq 1$, such that for the function $$\beta_F = \frac{1}{2} {\sigma}_F^2$$ we have for all $h\in{\mathbb{R}}^2$ $$\begin{aligned} \frac{1}{C} \cdot| h- \xi|^2 \leq \beta_F( h) - \beta_F( \xi) - D\beta_F( \xi)[ h-\xi] \leq C \cdot | h- \xi|^2 . \end{aligned}$$ By Lemma \[Taylor for stable norm\], we find $$\begin{aligned} \frac{1}{C} |h-\rho|^2 \leq \beta_{\hat F}(h) - \beta_{\hat F}(\rho) - D\beta_{\hat F}(\rho)[h-\rho] \leq C |h-\rho|^2 . \end{aligned}$$ Using the first part of Lemma \[lemma vf on sigma\], $$\begin{aligned} & \beta_{\hat F} = \frac{1}{2} {\sigma}_{\hat F}^2 = \frac{1}{2} ({\sigma}_{F} \circ L_{\varphi}^{-1})^2 = \beta_F\circ L_{\varphi}^{-1} , \\ & D\beta_{\hat F}(\rho) = D\beta_{F}(L_{\varphi}^{-1}\rho) \circ L_{\varphi}^{-1} . \end{aligned}$$ Also observe for the operator norm $\|.\|$, that $$\begin{aligned} & |h-\rho|^2 \leq \|L_{\varphi}\|^2 \cdot |L_{\varphi}^{-1}h-L_{\varphi}^{-1}\rho|^2 , \\ & |L_{\varphi}^{-1}h-L_{\varphi}^{-1}\rho|^2 \leq \|L_{\varphi}^{-1}\|^2 \cdot|h-\rho|^2 . \end{aligned}$$ Summarizing, $$\begin{aligned} & \frac{1}{C\|L_{\varphi}^{-1}\|^2} |L_{\varphi}^{-1}h-L_{\varphi}^{-1}\rho|^2 \\ & \leq \beta_F(L_{\varphi}^{-1}h) - \beta_F(L_{\varphi}^{-1}\rho) - D\beta_{F}(L_{\varphi}^{-1}\rho) [L_{\varphi}^{-1}h-L_{\varphi}^{-1}\rho] \\ & \leq C \|L_{\varphi}\|^2 \cdot |L_{\varphi}^{-1}h-L_{\varphi}^{-1}\rho|^2 . \end{aligned}$$ The second part of Lemma \[lemma vf on sigma\] showed $L_{\varphi}^{-1}\rho = {\lambda}\cdot \xi$ for some ${\lambda}>0$. Replacing $C$ by a new constant and $L_{\varphi}^{-1} h$ by ${\lambda}\cdot h$ (as $h$ is arbitrary) yields $$\begin{aligned} \frac{1}{C} |{\lambda}\cdot h-{\lambda}\cdot \xi|^2 & \leq \beta_F({\lambda}\cdot h) - \beta_F({\lambda}\cdot \xi) - D\beta_{F}({\lambda}\cdot \xi) [{\lambda}\cdot h-{\lambda}\cdot \xi] \\ & \leq C \cdot |{\lambda}\cdot h-{\lambda}\cdot \xi|^2 . \end{aligned}$$ Finally, using $\beta_F({\lambda}\cdot h) = {\lambda}^2 \cdot \beta_F(h)$ and $D\beta_{F}({\lambda}\cdot \xi)= {\lambda}\cdot D\beta_{F}(\xi)$ due to homogeneity and dividing the estimates by ${\lambda}^2$, the claim follows. The hyperbolic case {#section hyp} =================== In this section we study the stable norm ${\sigma}={\sigma}_F$ of the Finsler metric $F$ near a direction $\xi\in S^1$ under the assumption, that the set ${\mathcal{M}}(\xi)\subset S{{\mathbb{T}^2}}$ of minimal geodesics with asymptotic direction $\xi$ carries hyperbolicity (see Definition \[def hyp intro\]). We shall again write ${\mathcal{M}}(a\cdot \xi)={\mathcal{M}}(\xi)$ for all $a>0$. The ideas in this section are motivated by the works of J. Mather, @mather2 and @mather1. The rational case {#section rational} ----------------- Let us first recall the structure of the set ${\mathcal{M}}(\xi)$ for the case where $\xi\in S^1$ has rational or infinite slope. For simplicity, we will in this subsection rescale $\xi$: $$z := a \cdot \xi \in {\mathbb{Z}}^2 , \qquad a := \min \{t>0 : t\xi \in {\mathbb{Z}}^2 \} .$$ In particular $z$ is prime, i.e. there does not exist $w\in {\mathbb{Z}}^2$ and some $n\geq 2$ with $z=n\cdot w$. The following theorem is due to H. M. Morse @morse and G. A. Hedlund @hedlund. The result has been generalized to non-reversible Finsler metrics by several authors, see e.g. @zaustinsky, @carneiro and @paper1. Let us write $${\mathcal{M}}^{per}(z) := \{ v\in {\mathcal{M}}(z) : c_v \text{ is $z$-periodic}\}.$$ Here, a $z$-periodic geodesic is a closed geodesic in the homotopy class $z \in {\mathbb{Z}}^2\cong \pi_1({{\mathbb{T}^2}})$; equivalently, the lifts $\tilde c:{\mathbb{R}}\to{\mathbb{R}}^2$ are invariant under the translation by $z$. \[Morse, Hedlund\]\[morse periodic\] Let ${\xi}\in S^1$ have rational or infinite slope and $z\in {\mathbb{Z}}^2$ as defined above. Then we have the following: (i) \[morse periodic item 1\] ${\mathcal{M}}^{per}(z) \neq \emptyset$ and ${\mathcal{M}}^{per}(z)$ determines a closed lamination of ${{\mathbb{T}^2}}$, i.e. no two $z$-periodic minimal geodesics intersect. Moreover, if $z=kw$ for some $w\in{\mathbb{Z}}^2$ and $k\geq 2$, then the $z$-periodic minimal geodesics are the $k$-th iterates of the $w$-periodic minimal geodesics. In particular, we can say that a pair $c_0,c_1:{\mathbb{R}}\to {\mathbb{R}}^2$ of minimal geodesics lifted from ${\mathcal{M}}^{per}(z)$ is <span>*neighboring*</span>, if in the strip between $c_0({\mathbb{R}}),c_1({\mathbb{R}}) \subset{\mathbb{R}}^2$ there are no further geodesics lifted from ${\mathcal{M}}^{per}(z)$. (ii) \[morse periodic item 3\] If $c_0,c_1:{\mathbb{R}}\to {\mathbb{R}}^2$ is a pair of neighboring minimal geodesics lifted from ${\mathcal{M}}^{per}(z)$, then there exist two minimal geodesics $c^-,c^+:{\mathbb{R}}\to{\mathbb{R}}^2$ lifted from ${\mathcal{M}}(z)-{\mathcal{M}}^{per}(z)$, which are heteroclinic between $c_0,c_1$ with opposite asymptotic behavior (see Figure \[fig\_structure-rational\]). ![Some geodesics from ${\mathcal{M}}(z)$ for $z\in {\mathbb{Z}}^2-\{0\}$. There are some strips foliated by $z$-periodic geodesics and in between them there are gaps overstretched by heteroclinics. On the right one can see a geometric situation generating closed and heteroclinic minimals. \[fig\_structure-rational\]](fig_structure-rational) It is known that ${\mathcal{M}}^{per}(z)$ consists precisely of the shortest closed geodesics in the homotopy class $z$. If the set ${\mathcal{M}}^{per}(z)$ is hyperbolic, then the heteroclinic connections between neighboring periodic minimals in Theorem \[morse periodic\] are parts of the (un)stable manifolds of the periodic orbits. For the rest of this Section \[section hyp\], whenever we speak of a minimal geodesic, we mean a lift to the universal cover ${\mathbb{R}}^2$. We introduce some further notation. For $\xi=(\xi_1,\xi_2)\in {\mathbb{R}}^2$ we write $\xi^\perp := i\cdot \xi = (-\xi_2,\xi_1)$. We let $k(z)\in {\mathbb{N}}\cup\{\infty\}$ be the number of $z$-periodic minimals in ${\mathbb{R}}^2$ in the strip between a $z$-periodic minimal $c_0$ and its translate $c_0+z^\perp$. \[remark bounds k\] (i) In the case $k(z)<\infty$, we can choose any $z$-periodic minimal $c_0:{\mathbb{R}}\to{\mathbb{R}}^2$ and have the $z$-periodic minimals in the strip between $c_0,c_0+z^\perp$ ordered as $$c_0 < c_1 < ... < c_{k(z)} = c_0+z^\perp ,$$ where we wrote $c_i<c_{i+1}$, if the image $c_{i+1}({\mathbb{R}})\subset{\mathbb{R}}^2$ lies left of $c_i({\mathbb{R}})$ with respect to the orientation given by the frame $(\dot c_i,(\dot c_i)^\perp)$. (ii) Assume that ${\mathcal{M}}^{per}(z)$ consists of a single orbit (this is conformally generic by Proposition \[generic-paper result\]) and let $c_0:{\mathbb{R}}\to{\mathbb{R}}^2$ be a (lifted) $z$-periodic minimal. This means that in the strip between $c_0,c_0+z^\perp$, the $z$-periodic minimals correspond to the $({\mathbb{Z}}^2+ c_0(0))$-points in that strip. The number $k(z)$ counts only the images of such minimals, so that using that $z$ is chosen to be prime one can easily show that $$k(z) = 1 + \operatorname{card}\left({\mathbb{Z}}^2 \cap Q(z) \right),$$ where we wrote $Q(z)$ for the interior of the square spanned by $z,z^\perp$. Combining this with Pick's theorem, we find $$k(z) = |z|\cdot |z^\perp| = |z|^2 ,$$ where $|.|$ is the euclidean norm on ${\mathbb{R}}^2$. (iii) If ${\mathcal{M}}^{per}(z)$ is assumed to be uniformly hyperbolic for the geodesic flow $\phi_F^t$, then ${\mathcal{M}}^{per}(z)\subset S{{\mathbb{T}^2}}$ is a finite union of closed orbits (by the lamination property in Theorem \[morse periodic\]). Letting $n$ be the number of distinct orbits in ${\mathcal{M}}^{per}(z)$ we find $$k(z) = n \cdot |z|^2 <\infty .$$ The aim of this subsection is to prove Theorem \[intro rational hyp\] from the introduction. For this we assume uniform hyperbolicity of the set ${\mathcal{M}}^{per}(z)$. As we noted after Theorem \[morse periodic\], the heteroclinic minimals $c^\pm$ between pairs of neighboring periodic minimals $c_0,c_1$ belong to the (un)stable manifolds. The hyperbolicity of ${\mathcal{M}}^{per}(z)$ will be used in the following form: There exist constants $C,{\lambda}>0$ and parameters $S^\pm,T^\pm\in {\mathbb{R}}$, such that for all $t\geq 0$ $$\begin{aligned} \label{eq hyperbolicity} \begin{cases} d_F(c_1(-t),c^-(S^- -t)) &\leq C \exp(-{\lambda}t) \\ d_F(c^-(T^-+t),c_0(t)) &\leq C \exp(-{\lambda}t) \\ d_F(c_0(-t),c^+(S^+ -t)) &\leq C \exp(-{\lambda}t) \\ d_F(c^+(T^++t),c_1(t)) &\leq C \exp(-{\lambda}t) \end{cases} .\end{aligned}$$ The notation will usually be that $c_1$ lies to the left of $c_0$ (using the orientation of the geodesics) and the choice of $c^-,c^+$ is such that the above inequalities hold. The following lemma is the key observation in order to recognize hyperbolicity in the stable norm ${\sigma}={\sigma}_F$ of $F$. Recall the definition $$\begin{aligned} D^+{\sigma}(\xi)[v] &:= \inf_{t>0} \frac{{\sigma}(\xi+tv)-{\sigma}(\xi)}{t} = \lim_{t\searrow 0} \frac{{\sigma}(\xi+tv)-{\sigma}(\xi)}{t} \end{aligned}$$ and note that, due to homogeneity of ${\sigma}$, for $a,b>0$ $$D^+{\sigma}(a \cdot \xi)[b \cdot v] = b \cdot D^+{\sigma}(\xi)[v].$$ \[lemma stable norm nz pm z perp\] Let $n\in{\mathbb{N}}$, $s\in \{-1,1\}$ and $z\in {\mathbb{Z}}^2-\{0\}$, such that ${\mathcal{M}}^{per}(z)$ is a hyperbolic set for the geodesic flow with hyperbolicity constants $C,{\lambda}$ (in the sense of ). Then for integers $n_i$ with $$0 = n_0 \leq n_1 \leq ... \leq n_{k(z)-1} \leq n_{k(z)} = n$$ there exists a continuous, piecewise $C^1$, $(nz +s z^\perp)$-periodic curve ${\gamma}$ with $$\begin{aligned} &\l_F({\gamma}) \leq {\sigma}(nz) + D^+{\sigma}(z)[s z^\perp] + 2C \sum_{i=1}^{k(z)} \exp\left(-\frac{{\lambda}{\sigma}(z)}{2} (n_i-n_{i-1}) \right) . \end{aligned}$$ We first consider the case $s=1$. Set $k=k(z)$, let $c_0,...,c_{k-1}$ be the ordered sequence of periodic minimals between $c_0$ and $c_k := c_0+z^\perp$. Consider heteroclinic minimals $c_i^+$ connecting $c_{i-1}$ to $c_i$ for $i=1,...,k$. By hyperbolicity, we find $C,{\lambda}>0$ and $T_1,...,T_k\in{\mathbb{R}}$ with $$\begin{aligned} \label{using hyp in lemma} \begin{cases} d_F(c_{i-1}(-t),c_i^+(-t)) & \leq C \exp(-{\lambda}t) \\ d_F(c_i^+(T_i+t),c_i(t)) & \leq C \exp(-{\lambda}t) \end{cases} \end{aligned}$$ for all $t\geq 0$. Here we change the parameter of the $c_i^+$ if necessary to have $T_i$ only in the second line. Set $\theta={\sigma}(z)$ and given the integers $n_i$, define $$S_i := \theta \cdot \frac{n_{i}-n_{i-1}}{2} \geq 0, \quad i=1,...,k , \qquad S_0:=S_k .$$ Consider minimal geodesic segments $\delta_i,{\varepsilon}_i$ for $i=1,...,k$, connecting $$\delta_i : c_{i-1}(-S_{i-1}) \to c_i^+(-S_{i-1}) , \qquad {\varepsilon}_i : c_i^+(T_i+S_i) \to c_i(S_i) ,$$ and set $$\begin{aligned} {\gamma}:= & ~ [~ n_{0} \cdot z + (\delta_1 * c_1^+|_{[-S_0,T_1+S_1]} * {\varepsilon}_1) ~] \\ * & ~ ... \\ * & ~ [~ n_{i-1} \cdot z + (\delta_i * c_i^+|_{[-S_{i-1},T_i+S_i]} * {\varepsilon}_i) ~] \\ * & ~ ... \\ * & ~ [ ~ n_{k-1} \cdot z + (\delta_k * c_k^+|_{[-S_{k-1},T_k+S_k]} * {\varepsilon}_k) ~] . \end{aligned}$$ Here we wrote $*$ for the concatenation of curves. By definition of $S_i$ and $\theta$ being the period of $c_i$ we have for $i=1,...,k-1$, that $$c_i(S_i)-c_i(-S_i) = (n_i-n_{i-1})\cdot z ,$$ showing $$n_{i-1} \cdot z + c_i(S_i) = n_i \cdot z + c_i(-S_i) .$$ Hence, the curve ${\gamma}$ is a continuous, piecewise $C^1$-connection from $c_{0}(-S_0)$ to $n_{k-1} \cdot z + c_k(S_k)$. Moreover, by $c_k=c_0+z^\perp$ and $S_0=S_k$ we have $$\begin{aligned} n_{k-1} \cdot z + c_k(S_k) & = n_{k-1} \cdot z + z^\perp + c_0(S_0) \\ & = n_{k-1} \cdot z + z^\perp + c_0(\theta \cdot(n_k-n_{k-1}) -S_0) \\ & = n_k \cdot z + z^\perp + c_0(-S_0) , \end{aligned}$$ i.e. with $n_k=n$ the curve ${\gamma}$ is $(n z + z^\perp)$-periodic. Using the hyperbolicity and $S_k=S_0$, we find $$\begin{aligned} \label{formula hyp in the proof} \nonumber {\sigma}(nz+z^\perp) & \leq l_F({\gamma}) = \sum_{i=1}^k \bigg[ T_i+S_i+S_{i-1} + l_F(\delta_i) + l_F({\varepsilon}_i) \bigg] \\ & \leq \sum_{i=1}^k T_i + 2 \sum_{i=1}^k S_i + C \sum_{i=1}^k \left(\exp(-{\lambda}S_{i-1})+\exp(-{\lambda}S_i)\right) \\ \nonumber & = \sum_{i=1}^k T_i + n\theta + 2C \sum_{i=1}^k \exp\bigg(-{\lambda}\theta \frac{n_{i}-n_{i-1}}{2} \bigg) . \end{aligned}$$ Note that $n\theta=n{\sigma}(z)={\sigma}(nz)$. To finish the proof we show $$\sum_{i=1}^k T_i \leq D^+{\sigma}(z)[z^\perp] .$$ Let ${\gamma}_n$ be a $(nz+z^\perp)$-periodic minimal. We find intersections (the $c_0,...,c_{k-1},c_k=c_0+z^\perp$ as before) $$\begin{aligned} & {\gamma}_n(S_{n,i}) \in c_i({\mathbb{R}}) \end{aligned}$$ and w.l.o.g. we have $$0 = S_{n,0} <S_{n,1} < ... < S_{n,k} = {\sigma}(nz+z^\perp)$$ and $${\gamma}_n(S_{n,i}) = c_i(0) ~ \forall i = 1,...,k-1 , \qquad {\gamma}_n(S_{n,k}) = c_k(n\theta).$$ Define for $i=1,...,k$ $${\gamma}_n^i(t) := \begin{cases} c_{i-1}(t) & : t\leq 0 \\ {\gamma}_n(S_{n,i-1} + t) & : 0 \leq t \leq S_{n,i}-S_{n,i-1} \\ c_i(t - [S_{n,i}-S_{n,i-1}]) & : t \geq S_{n,i}-S_{n,i-1} ~\&~ i < k \\ c_i(t - [S_{n,i}-S_{n,i-1}] + n\theta ) & : t \geq S_{n,i}-S_{n,i-1} ~\&~ i = k \end{cases} .$$ The ${\gamma}_n^i$ are heteroclinic curves connecting $c_{i-1}$ to $c_i$. For large $m$, the curve $c_i^+|_{[-m\theta, m\theta + T_i]}$ connects by approximately the point $$c_{i-1}(-m\theta) = {\gamma}_n^i(-m\theta)$$ to the point $$c_i(m\theta) = \begin{cases} {\gamma}_n^i(m\theta + [S_{n,i}-S_{n,i-1}]) & : i < k \\ {\gamma}_n^i((m-n)\theta + [S_{n,i}-S_{n,i-1}]) & : i = k \end{cases} .$$ By the minimality of the curves $c_i^+$ we find for all $n$ $$\begin{aligned} 0 & \leq \lim_{m\to\infty} \begin{pmatrix} \sum_{i=1}^{k-1} l_F({\gamma}_n^i;[-m\theta, m\theta + S_{n,i}-S_{n,i-1}]) \\ + l_F({\gamma}_n^k;[-m\theta, (m-n)\theta + S_{n,k}-S_{n,k-1} ]) \\ - \sum_{i=1}^k l_F(c_i^+;[-m\theta, m\theta + T_i]) \end{pmatrix}\\ & = \lim_{m\to\infty} \begin{pmatrix} \sum_{i=1}^{k-1} 2m\theta + S_{n,i}-S_{n,i-1} \\ + (2m-n)\theta + S_{n,k}-S_{n,k-1} \\ - \sum_{i=1}^k 2m\theta + T_i \end{pmatrix} \\ & = \lim_{m\to\infty} S_{n,k}-S_{n,0} - n\theta - \sum_{i=1}^k T_i \\ & = {\sigma}(nz+z^\perp)-{\sigma}(nz) - \sum_{i=1}^k T_i . \end{aligned}$$ The claim follows, observing that $$\begin{aligned} \label{formula d+sig mit n} D^+{\sigma}(z)[z^\perp] = \lim_{n\to\infty} \frac{{\sigma}(z+\frac{1}{n}z^\perp)-{\sigma}(z)}{\frac{1}{n}} = \lim_{n\to\infty} {\sigma}(nz+ z^\perp)-{\sigma}(nz) . \end{aligned}$$ The estimates for a $(nz-z^\perp)$-periodic curve, i.e. the case $s=-1$ follow by the same lines just using the heteroclinics $c_i^-$. In the proof of Lemma \[lemma stable norm nz pm z perp\] we showed $\sum T_i \leq D^+{\sigma}(z)[z^\perp]$. The reverse inequality also holds, which can be seen using the curve ${\gamma}$ associated to the integers $n_i = i \cdot \lfloor n/k\rfloor$ for $i<k$ and then applying the estimate to the formula . We need to refine Lemma \[lemma stable norm nz pm z perp\]. \[lemma stable norm nz + m z perp\] Let $a\in [-1,1]$ and $z\in {\mathbb{Z}}^2-\{0\}$, such that ${\mathcal{M}}^{per}(z)$ is a hyperbolic set with hyperbolicity constants $C,{\lambda}$ in . Then with the Gaussian bracket $\lfloor x \rfloor = \max\{n\in{\mathbb{Z}}: n\leq x\}$ $$\begin{aligned} & {\sigma}(z+ a z^\perp) \leq {\sigma}(z) + D^+{\sigma}(z)[a z^\perp] + 2C |a| k(z) \exp\left(-\frac{{\lambda}{\sigma}(z)}{2} \left\lfloor \frac{1}{|a|k(z)} \right\rfloor \right) . \end{aligned}$$ Consider integers $N\geq M\geq 1$ and write $k=k(z)$. We choose integers $n_i, n_i^*$ defined as $$\begin{aligned} & n_i := i\cdot \left\lfloor \frac{N}{Mk} \right\rfloor , \qquad i = 0,...,k ,&& \\ & n_i^*:= n_i , \qquad i = 0,...,k-1, && n_k^* := N-(M-1)\cdot n_k . \end{aligned}$$ Observe that by $N\geq M$ $$n_k^* = N-(M-1)\cdot k\cdot \left\lfloor \frac{N}{Mk} \right\rfloor \geq k\cdot \left\lfloor \frac{N}{Mk} \right\rfloor = n_{k-1}^* + \left\lfloor \frac{N}{Mk} \right\rfloor .$$ For $s\in \{-1,1\}$ let ${\gamma}$ be the $(n_kz+sz^\perp)$-periodic curve from Lemma \[lemma stable norm nz pm z perp\] associated to the integers $n_i$ and analogously ${\gamma}^*$ the $(n_k^*z+sz^\perp)$-periodic curve associated to the integers $n_i^*$. Consider the new curve $$\begin{aligned} \Gamma := ~ & {\gamma}* ({\gamma}+ [n_k z + sz^\perp]) * ... * ({\gamma}+ (M-2)[n_k z + sz^\perp]) \\ & \qquad \qquad\qquad\qquad\qquad\qquad\qquad * ({\gamma}^* + (M-1)[n_k z + sz^\perp]) . \end{aligned}$$ We find for the homotopy class $$[\Gamma] = (M-1) (n_kz+sz^\perp) + (n_k^*z+sz^\perp) =Nz+sMz^\perp .$$ Note that $n_i-n_{i-1}, n_i^*-n_{i-1}^* \geq \left\lfloor \frac{N}{Mk} \right\rfloor$, so that with Lemma \[lemma stable norm nz pm z perp\] $$\begin{aligned} & {\sigma}(Nz+ sMz^\perp) \\ & \leq l_F(\Gamma) = (M-1) l_F({\gamma}) + l_F({\gamma}^*) \\ & \leq (M-1){\sigma}(n_kz) + {\sigma}(n_k^*z) + M D^+{\sigma}(z)[s z^\perp] \\ & \qquad\qquad\qquad\qquad\qquad\qquad\qquad + 2CM k \exp\left(-\frac{{\lambda}{\sigma}(z)}{2} \left\lfloor \frac{N}{Mk} \right\rfloor \right) \\ & = {\sigma}(Nz) + M D^+{\sigma}(z)[s z^\perp] + 2CM k \exp\left(-\frac{{\lambda}{\sigma}(z)}{2} \left\lfloor \frac{N}{Mk} \right\rfloor \right) . \end{aligned}$$ Now let $a \in [-1,1]-\{0\}$ be arbitrary (note that the lemma is trivial for $a=0$). Let $s=\operatorname{sign}(a)$ and choose sequences of integers $N_n\geq M_n\geq 1$ with $M_n/N_n \nearrow |a|$, so that $$(1,|a|) = \lim_{n\to\infty} \frac{1}{N_n} (N_n,M_n) , \qquad \frac{N_n}{M_n}\geq \frac{1}{|a|}.$$ We find by the continuity of ${\sigma}$, monotonicity of $\lfloor . \rfloor$ and homogeneity of $D^+{\sigma}(z)[.]$ $$\begin{aligned} & {\sigma}(z+ a z^\perp) = \lim_{n\to\infty} \frac{1}{N_n} {\sigma}( N_n z + s M_n z^\perp) \\ & \leq \lim_{n\to\infty} \frac{1}{N_n} \left[ {\sigma}(N_nz) + M_n D^+{\sigma}(z)[s z^\perp] + 2CM_n k \exp\left(-\frac{{\lambda}{\sigma}(z)}{2} \left\lfloor \frac{1}{|a| k} \right\rfloor \right) \right] \\ & = {\sigma}(z) + D^+{\sigma}(z)[s |a| z^\perp] + 2C |a| k \exp\left(-\frac{{\lambda}{\sigma}(z)}{2} \left\lfloor \frac{1}{|a|k} \right\rfloor \right) . \end{aligned}$$ The lemma follows. Let us prove a simple lemma, which will be useful again later. \[lemma diff sig radially\] Fix $\xi\in {\mathbb{R}}^2-\{0\}$ and consider the maps $$\Pi_1, \Pi_2 : {\mathbb{R}}^2 \to {\mathbb{R}}^2 , \quad \Pi_1(v) := (|\xi|+\operatorname{\langle}v,\tfrac{\xi}{|\xi|} \operatorname{\rangle}) \tfrac{\xi}{|\xi|} , \quad \Pi_2(v) := v - \operatorname{\langle}v,\tfrac{\xi}{|\xi|} \operatorname{\rangle}\tfrac{\xi}{|\xi|} .$$ Then (i) \[lemma diff sig radially i\] $\xi + v = \Pi_1(v) + \Pi_2(v)$ and $\Pi_1(v) \perp \Pi_2(v)$, (ii) \[lemma diff sig radially ii\] for $|v|\leq|\xi|$ we have $$\begin{aligned} |\Pi_1(v)| & = |\xi|+ \operatorname{\langle}v,\tfrac{\xi}{|\xi|} \operatorname{\rangle}, \qquad |\Pi_2(v)| = \left| \operatorname{\langle}v,\tfrac{\xi^\perp}{|\xi|} \operatorname{\rangle}\right| . \end{aligned}$$ (iii) \[lemma diff sig radially iii\] for $|v|<|\xi|$ we have $$\begin{aligned} & {\sigma}(\xi+v) - {\sigma}(\xi) - D^+{\sigma}(\xi)[v] \\ & = {\sigma}(\Pi_1(v) + \Pi_2(v)) - {\sigma}(\Pi_1(v)) - D^+{\sigma}(\Pi_1(v))[\Pi_2(v)] . \end{aligned}$$ Items and follow directly from the definitions. Let us prove . Using homogeneity of ${\sigma}$ we find for $a\in{\mathbb{R}}$ $$\begin{aligned} D^+{\sigma}(\xi)[a\xi+v] & = \lim_{t\searrow 0}\frac{{\sigma}((1+ta)\xi+tv)-{\sigma}(\xi)}{t} \\ & = \lim_{t\searrow 0}\frac{(1+ta){\sigma}(\xi+\frac{t}{1+ta}v)- (1+ta){\sigma}(\xi) +ta{\sigma}(\xi)}{t} \\ & = \lim_{t\searrow 0}\frac{{\sigma}(\xi+\frac{t}{1+ta}v)- {\sigma}(\xi) }{\frac{t}{1+ta}} +a{\sigma}(\xi) \\ & = a{\sigma}(\xi) + D^+{\sigma}(\xi)[v] . \end{aligned}$$ Then using $|v|<|\xi|$ and homogeneity it follows that $$\begin{aligned} & {\sigma}(\xi+v) - {\sigma}(\xi) - D^+{\sigma}(\xi)[v] \\ & = {\sigma}(\Pi_1(v) + \Pi_2(v)) - {\sigma}(\xi) - \left(\operatorname{\langle}v,\tfrac{\xi}{|\xi|^2} \operatorname{\rangle}{\sigma}(\xi) + D^+{\sigma}(\xi)[\Pi_2(v)]\right) \\ & = {\sigma}(\Pi_1(v) + \Pi_2(v)) - {\sigma}(\Pi_1(v)) - D^+{\sigma}(\Pi_1(v))[\Pi_2(v)] . \end{aligned}$$ We can now prove the main result of Subsection \[section rational\]. \[thm rational\] Let $\xi,v\in {\mathbb{R}}^2$ with $\xi\neq 0$ having rational or infinite slope, such that ${\mathcal{M}}^{per}(\xi)$ is uniformly hyperbolic. Moreover, let $z$ be the prime element in ${\mathbb{Z}}^2\cap {\mathbb{R}}_{>0}\xi$ and $C,{\lambda}$ the hyperbolicity constants from . Then for all $v\in {\mathbb{R}}^2$ with $\left|\operatorname{\langle}v,\tfrac{\xi^\perp}{|\xi|} \operatorname{\rangle}\right| < |\xi| +\operatorname{\langle}v, \tfrac{\xi}{|\xi|} \operatorname{\rangle}$ $$\begin{aligned} & {\sigma}(\xi+v) - {\sigma}(\xi) - D^+{\sigma}(\xi)[v] \\ & \leq \left|\operatorname{\langle}v,\tfrac{\xi^\perp}{|\xi|} \operatorname{\rangle}\right| \cdot \frac{k(z)}{|z|} \cdot 2C \cdot \exp\left(-\frac{{\lambda}{\sigma}(z)}{2} \cdot \left\lfloor \frac{ |\xi| +\operatorname{\langle}v, \tfrac{\xi}{|\xi|} \operatorname{\rangle}}{\left|\operatorname{\langle}v,\tfrac{\xi^\perp}{|\xi|} \operatorname{\rangle}\right| \cdot k(z)} \right\rfloor \right) . \end{aligned}$$ We first prove the theorem for $v\perp \xi$ and choose some $a>0$ and $b\in {\mathbb{R}}$ with $$\xi = a \cdot z , \qquad v = b \cdot z^\perp .$$ Then by Lemma \[lemma stable norm nz + m z perp\], $D^+{\sigma}(z)[.]=D^+{\sigma}(\xi)[.]$ and $a=|\xi|/|z| > |b|=|v|/|z|$ $$\begin{aligned} {\sigma}(\xi+v) & = a \cdot {\sigma}\left( z + \frac{b}{a}z^\perp \right) \\ & \leq a \bigg[ {\sigma}\left( z \right) + D^+{\sigma}(z)\left[ \frac{b}{a} z^\perp \right] \\ & \qquad\qquad\qquad\qquad\qquad + 2C \frac{|b|}{a} k(z) \cdot \exp\left(-\frac{{\lambda}{\sigma}(z)}{2} \left\lfloor \frac{a}{|b| k(z)} \right\rfloor \right) \bigg] \\ & = {\sigma}\left( \xi \right) + D^+{\sigma}(\xi)\left[ v \right] + 2C |v|\frac{k(z)}{|z|} \cdot \exp\left(-\frac{{\lambda}{\sigma}(z)}{2} \left\lfloor \frac{|\xi|}{|v| k(z)} \right\rfloor \right) . \end{aligned}$$ Let now $v\in{\mathbb{R}}^2$ with $\left|\operatorname{\langle}v,\tfrac{\xi^\perp}{|\xi|} \operatorname{\rangle}\right| = |\Pi_2(v)| < |\xi| +\operatorname{\langle}v, \tfrac{\xi}{|\xi|} \operatorname{\rangle}= |\Pi_1(v)|$. We can reduce this case to the case $v\perp\xi$ by using Lemma \[lemma diff sig radially\]. Namely, $$\begin{aligned} & {\sigma}(\xi+v) - {\sigma}(\xi) - D^+{\sigma}(\xi)[v] \\ & = {\sigma}(\Pi_1(v) + \Pi_2(v)) - {\sigma}(\Pi_1(v)) - D^+{\sigma}(\Pi_1(v))[\Pi_2(v)] \\ & \leq 2C|\Pi_2(v)|\frac{k(z)}{|z|} \cdot \exp\left(-\frac{{\lambda}{\sigma}(z)}{2} \left\lfloor \frac{|\Pi_1(v)|}{|\Pi_2(v)| k(z)} \right\rfloor \right) . \end{aligned}$$ This proves the theorem using the formulae in Lemma \[lemma diff sig radially\]. We can now easily prove Theorem \[intro rational hyp\] from the introduction. \[Proof of Theorem \[intro rational hyp\]\] Recall that $$x/2\leq \lfloor x\rfloor \qquad \forall x\geq 1 .$$ Also note that $\left|\operatorname{\langle}v,\tfrac{\xi^\perp}{|\xi|} \operatorname{\rangle}\right| \leq |v|$. With $|\xi|+\operatorname{\langle}v, \tfrac{\xi}{|\xi|}\operatorname{\rangle}\geq \frac{|\xi|}{2}$ for $|v|\leq |\xi|/2$ we find by the monotonicity of $\lfloor . \rfloor$ $$\begin{aligned} \left\lfloor \frac{ |\xi| +\operatorname{\langle}v, \tfrac{\xi}{|\xi|} \operatorname{\rangle}}{\left|\operatorname{\langle}v,\tfrac{\xi^\perp}{|\xi|} \operatorname{\rangle}\right| k(z)} \right\rfloor \geq \left\lfloor \frac{ |\xi|}{2 |v| k(z)} \right\rfloor \geq \frac{ |\xi|}{4 |v| k(z)} \end{aligned}$$ for $\frac{ |\xi|}{2 |v| k(z)} \geq 1$, or equivalently $|v| \leq \frac{ |\xi|}{2 k(z)}$. We apply Theorem \[thm rational\] and find $$\begin{aligned} {\sigma}(\xi+v) - {\sigma}(\xi) - D^+{\sigma}(\xi)[v] & \leq |v| 2C\frac{k(z)}{|z|} \exp\left(-\frac{{\lambda}{\sigma}(z) |\xi|}{8 k(z)} \frac{ 1}{|v| } \right) . \end{aligned}$$ The claim follows. The irrational case ------------------- In order to see hyperbolicity in irrational directions using the stable norm, we will approximate irrationals by rationals and then use the results of the previous Subsection \[section rational\]. We shall use the following well-known continuity property of the sets ${\mathcal{M}}(\xi)$, based on the continuity of the asymptotic direction $\delta^+: \cup_{\xi\in S^1}{\mathcal{M}}(\xi)\to S^1$ and on the closedness of the minimality-condition. We omit the proof; see e.g. Corollary 3.16 in @bangert. \[M upper semi-cont\] Let $\xi_n\to\xi$ in $S^1$ and consider any sequence $v_n\in {\mathcal{M}}(\xi_n)$. Then any limit point of $\{v_n\}$ lies in ${\mathcal{M}}(\xi)$. Equivalently, if $\xi_n\to\xi$, then for any open neighborhood $U\subset S{{\mathbb{T}^2}}$ of ${\mathcal{M}}(\xi)$, there exists $n_0\in {\mathbb{N}}$, such that ${\mathcal{M}}(\xi_n)\subset U$ for $n\geq n_0$. The following theorem is item of Theorem \[main thm intro irrat\] from the introduction. In the proof, we recover Theorem \[thm rational\] in the irrational case. \[slope-lemma\] Let $\xi \in {\mathbb{R}}^2-\{0\}$ have irrational slope $\xi_2/\xi_1\in {\mathbb{R}}- {\mathbb{Q}}$ and assume that the set ${\mathcal{M}}(\xi)$ is uniformly hyperbolic. Assume moreover that $k(z)=|z|^2$ for all $z\in {\mathbb{Z}}^2-\{0\}$ (see Remark \[remark bounds k\]). Then there exist constants $C,{\lambda}>0$, such that for all choices of rays $R \subset {\mathbb{R}}^2$ emanating from the origin (i.e. $R={\mathbb{R}}_{>0} \cdot v$ for some $v\neq 0$) there exist sequences $v_n \in R$ with $v_n\to 0$, so that $$\begin{aligned} & {\sigma}(\xi+v_n) - {\sigma}(\xi) - D^+{\sigma}(\xi)[v_n] \leq |v_n|^{1/4} \cdot C \cdot \exp\left(-{\lambda}\cdot \frac{1}{| v_n |^{1/4}} \right) . \end{aligned}$$ By Proposition 6.4.6 on p. 265 in @KH, there exists an open neighborhood $U\supset{\mathcal{M}}(\xi)$, such that the set $$\Lambda := \bigcap_{t\in{\mathbb{R}}} \phi_F^t(\overline U)$$ is uniformly hyperbolic for $\phi_F^t$. If we approach $\xi$ by a sequence $\xi_n\in S^1$ with rational slopes, then for large $n$ the sets ${\mathcal{M}}(\xi_n)$ will lie in the neighborhood $U$ using the upper semi-continuity of ${\xi}\mapsto{\mathcal{M}}({\xi})$ in Lemma \[M upper semi-cont\]. By the flow-invariance of these sets, all sets ${\mathcal{M}}(\xi_n)$ will lie in $\Lambda$ and hence be hyperbolic with the hyperbolicity constants $C,{\lambda}>0$ of $\Lambda$ (for $n$ sufficiently large). We will use the hyperbolicity of such ${\mathcal{M}}(\xi_n)$ in the sense of . We first assume $\xi\perp R$ in the euclidean sense. We approximate $\xi$ by a point $\eta \in \xi - R$ of rational slope $r\in {\mathbb{Q}}$. More precisely, using continued fractions one can find infinitely many approximations $r :=p/q \in {\mathbb{Q}}$ of the slope ${\omega}:= \xi_2/\xi_1\in {\mathbb{R}}-{\mathbb{Q}}$ of $\xi$ satisfying $$\begin{aligned} \label{estimate diophantine} |{\omega}-r|\leq \frac{1}{q(q+1)} , \end{aligned}$$ such $r$'s lying on either side of ${\omega}$. Thus, the set $$Q=Q(\xi,R) := \{ q\in {\mathbb{N}}~|~ \exists p \in {\mathbb{Z}}: \eta\in \xi-R \text{ has slope } r=p/q \text{ with \eqref{estimate diophantine}}\}$$ is unbounded. We fix $q\in Q$ and estimate the distance $|\xi-\eta|$. Using that $\eta$ is the only point in the straight line $\xi+\operatorname{span}(R)$ of slope $\eta_2/\eta_1=r$, one verifies that $$\begin{aligned} \eta = \xi + \frac{r\xi_1-\xi_2}{\xi_1+r\xi_2} \cdot \xi^\perp = \xi + \frac{r-{\omega}}{1+r{\omega}} \cdot \xi^\perp . \end{aligned}$$ This shows with $r{\omega}>0$ by $r\approx {\omega}$ and $$\begin{aligned} \label{formula xi-eta} \frac{|\xi-\eta|}{|\xi|} &= \frac{|{\omega}-r|}{1+ r{\omega}} \leq \frac{1}{q(q+1)} \cdot \frac{1}{1+ r{\omega}}. \end{aligned}$$ Next, we let $v\in R$ with $$\begin{aligned} \label{cond v} \frac{1}{2q^4} \leq \frac{|v|}{|\xi|} \leq \frac{1}{q^4} . \end{aligned}$$ For the intuition observe that using the orientation given by $R$, the points $\eta,\xi,\xi+v$ are ordered along the line $\xi+\operatorname{span}(R)$ as $$\begin{aligned} \label{eq orientation} \eta < \xi < \xi+v . \end{aligned}$$ We shall prove the theorem in the case $\xi \perp R$ in two steps. In the first step, we estimate the Gaussian bracket appearing in our application of Theorem \[thm rational\] from below by $1$. As the proof of Step 1 is quite technical and long, we delay it to the end of this proof of Theorem \[slope-lemma\]. <span>*Step 1.*</span> Assuming $\xi\perp R$, with $\eta, v$ satisfying , , $z$ being the prime element in ${\mathbb{Z}}^2\cap {\mathbb{R}}_{>0}\eta$ and $t := \frac{|\xi-\eta|}{|v|}$ we have for sufficiently large $q\in Q$, that $$\begin{aligned} \label{cond gaussian} & \frac{ |\eta| +\operatorname{\langle}(1+t)v, \tfrac{\eta}{|\eta|} \operatorname{\rangle}}{\left|\operatorname{\langle}(1+t)v ,\tfrac{\eta^\perp}{|\eta|} \operatorname{\rangle}\right| \cdot k(z)} \quad \geq \quad 1 . \end{aligned}$$ <span>*Step 2.*</span> Assuming $\xi\perp R$, there exist constants $C',{\lambda}'>0$ (depending only on $\xi/|\xi|\in S^1$), so that for sufficiently large $q\in Q$ and $v\in R$ satisfying we have $$\begin{aligned} \label{thm for L perp xi} & {\sigma}(\xi+v) - {\sigma}(\xi) - D^+{\sigma}(\xi)[v] \leq |\xi|^{3/4} \cdot|v|^{1/4} \cdot C' \cdot \exp\left(-{\lambda}' \cdot \frac{|\xi|^{1/4}}{|v|^{1/4}} \right) . \end{aligned}$$ \[Proof of Step 2\] We let $t = \frac{|\xi-\eta|}{|v|}>0$ as above, so that $\xi=\eta+tv$ (recall ). By definition of $D^+{\sigma}$ one finds $${\sigma}(\xi) = {\sigma}(\eta+tv) \geq {\sigma}(\eta) + t \cdot D^+{\sigma}(\eta)[v] .$$ Moreover, by convexity of ${\sigma}$ and we find $$D^+{\sigma}(\eta)[v] = \inf_{s>0} \frac{{\sigma}(\eta+sv)-{\sigma}(\eta)}{s} \leq \inf_{s>0} \frac{{\sigma}(\xi+sv)-{\sigma}(\xi)}{s} = D^+{\sigma}(\xi)[v] .$$ Hence, $$\begin{aligned} \label{sig xi to sig eta} & \nonumber {\sigma}(\xi+v) - {\sigma}(\xi) - D^+{\sigma}(\xi)[v] \\ & \leq {\sigma}(\xi+v) - {\sigma}(\eta) - t \cdot D^+{\sigma}(\eta)[v] - D^+{\sigma}(\eta)[v] \\ & \nonumber = {\sigma}(\eta+(1+t)v) - {\sigma}(\eta) - D^+{\sigma}(\eta)[(1+t)v] . \end{aligned}$$ Our aim is to apply Theorem \[thm rational\] to the rational direction $\eta$, the vector $(1+t)v$ and $z$ the prime element in ${\mathbb{Z}}^2\cap {\mathbb{R}}_{>0}\eta$. Choose some ${\alpha}>0$ with ${\alpha}|.|\leq F$ and note that $${\sigma}\geq {\alpha}|.| .$$ Choosing $D> 1+{\omega}^2$, we find for large $q$ $$q^2\leq |z|^2=p^2+q^2=q^2(1+r^2) \leq D q^2.$$ Due to $t = \frac{|\xi-\eta|}{|v|}$, and we have $$\left|\operatorname{\langle}(1+t)v,\tfrac{\eta^\perp}{|\eta|} \operatorname{\rangle}\right| \leq |(1+t)v| = |v| + |\xi-\eta| \leq \frac{|\xi|}{q^4} + \frac{1}{q(q+1)} \cdot \frac{|\xi|}{1+ r{\omega}} \leq \frac{2|\xi|}{q^2} .$$ Also, implies $$\frac{1}{q} \leq 2 \frac{|v|^{1/4}}{|\xi|^{1/4}} .$$ We now apply Theorem \[thm rational\] to obtaining by Step 1 and $k(z)=|z|^2$ $$\begin{aligned} & {\sigma}(\xi+v) - {\sigma}(\xi) - D^+{\sigma}(\xi)[v] \\ & \leq \left|\operatorname{\langle}(1+t)v,\tfrac{\eta^\perp}{|\eta|} \operatorname{\rangle}\right| \cdot \frac{k(z)}{|z|} \cdot 2C \cdot \exp\left(-\frac{{\lambda}{\sigma}(z)}{2} \cdot \left\lfloor \frac{ |\eta| +\operatorname{\langle}(1+t) v, \tfrac{\eta}{|\eta|} \operatorname{\rangle}}{\left|\operatorname{\langle}(1+t) v,\tfrac{\eta^\perp}{|\eta|} \operatorname{\rangle}\right| \cdot k(z)} \right\rfloor \right) \\ & \leq \frac{|\xi|}{q} \cdot 4C\sqrt D \cdot \exp\left(-\frac{{\lambda}{\alpha}}{2} \cdot q \right) \\ & \leq |\xi|^{3/4} \cdot |v|^{1/4} \cdot 8C\sqrt D \cdot \exp\left(-\frac{{\lambda}{\alpha}}{4} \cdot \frac{|\xi|^{1/4}}{|v|^{1/4}} \right) . \end{aligned}$$ Observe that the condition on the vector $(1+t)v$ in Theorem \[thm rational\] is satisfied due to Step 1. Next, we generalize our estimate from Step 2 to the general case, not assuming $\xi\perp R$. Observe that the case $R \subset {\mathbb{R}}\xi$ is trivial, so we assume $R\not\subset{\mathbb{R}}\xi$. Using Lemma \[lemma diff sig radially\] and
{'source': 'arXiv_out/1512'}