--- abstract: 'In this paper, we study dynamics of geodesic flows over closed surfaces of genus greater than or equal to 2 without focal points. Especially, we prove that there is a large class of potentials having unique equilibrium states, including scalar multiples of the geometric potential, provided the scalar is less than 1. Moreover, we discuss ergodic properties of these unique equilibrium states. We show these unique equilibrium states are Bernoulli, and weighted regular periodic orbits are equidistributed relative to these unique equilibrium states.' address: - 'Department of Mathematics, The Ohio State University, Columbus, OH 43210, USA' - 'Department of Mathematics, The University of Chicago, Chicago, IL 60637, USA' - 'Department of Mathematics, The University of Chicago, Chicago, IL 60637, USA' author: - 'Dong Chen, Lien-Yung Kao, and Kiho Park' bibliography: - '/Users/nyima/Dropbox/TEX/Bibtex/BIB.bib' title: Unique Equilibrium States for Geodesic Flows over Surfaces without Focal Points --- <span> </span> Introduction ============ This paper is devoted to the study of dynamics of the geodesic flows over closed surfaces without focal points. We focus on the thermodynamic formalism of the geodesic flows, especially, the uniqueness of the equilibrium states and their ergodic properties. For uniformly hyperbolic flows, also known as Anosov flows, thanks to fundamental works of Ruelle, Bowen, and Ratner, we know that every Hölder potential has a unique equilibrium state which enjoys several ergodic features such as Bernoulli and equidistribution properties. It is also well-known that the geodesic flow on a negatively curved manifold is uniformly hyperbolic. However, when the manifold contains subsets with zero or positive curvature, the geodesic flow becomes non-uniformly hyperbolic. The non-uniform hyperbolicity greatly increases the difficulty in understanding the thermodynamics of these flows. Nevertheless, the geometric features of surfaces without focal points allows us to investigate the dynamics of the geodesic flows. There are several geometric properties are available in this setting such as the flat strip theorem, $C^{2}$-regularity of the horocycles, and more. These properties enable us to derive and extend the existence of unique of measure of maximal entropy @Knieper:1998ht and the equilibrium state @BCFT2017 on closed rank 1 nonpositively curved manifolds to closed surfaces without focal points and genus at least 2. Combining the dynamical and geometric features of surfaces without focal points, in this paper, we are able to prove the uniqueness of equilibrium states for a large class of potentials and Bernoulli and equidistribution properties for such equilibrium states. These results also generlize Gelfert-Ruggiero's recent work @Gelfert:2017tx on the uniqueness of measure of the maximum entropy for the geodesics flows over surfaces without focal points. Putting our results in contexts below, we shall first introduce relevant terminologies briefly (please see Section \[sec:Preliminaries-of-dynamics\] and \[sec:Preliminaries-of-geometry\] for more details). Throughout the paper, $S$ denotes a closed (i.e., compact without boundary) $C^{\infty}$ Riemannian surface of genus greater than or equal to 2 without focal points. We denote the geodesics flow on the unit tangent bundle $T^{1}S$ by ${\cal F}=(f_{t})_{t\in\R}$ . The thermodynamic objects that we are interested in this paper are topological pressure and equilibrium states. For a continuous potential (i.e., function) $\vp:T^{1}S\to\R$, the *topological pressure* $P(\vp)$ of $\vp$ with respect to ${\cal F}$ can be described by the *variational principle*: $$P(\vp)=\sup\{h_{\mu}({\cal F})+\int\vp d\mu:\ \mu{\rm \ is\ }a\mbox{\ }{\cal F}-{\rm invariant\ }{\rm Borel\ }{\rm probability\ }{\rm measure}\}$$ where $h_{\mu}({\cal F})$ is the measure-theoretic entropy of $\mu$ with respect to ${\cal F}$. An invariant Borel probability measure $\mu$ achieving the supremum is called an *equilibrium state*. We notice that when $\vp$ is identically equal to $0$ then $P(0)$ is equal to the topological entropy $h_{{\rm top}}({\cal F})$ of ${\cal F}$, and an equilibrium state for $\vp\equiv0$ is called a *measure of maximum entropy*. The non-uniform hyperbolicity of ${\cal F}$ comes from the existence of the *singular set* $\Sing$. For surfaces without focal points, we can describe the singular set as $\Sing=\{v\in T^{1}S:\ K(\pi f_{t}v)=0\ \forall t\in\R\}$ where $\pi:T^{1}S\to S$ is the canonical projection and $K$ is the Gaussian curvature (see Section \[sec:Preliminaries-of-geometry\] for alternative characterizations of the singular set). The complement of $\Sing$ is called the *regular set* and denoted by $\Reg$. Our first result asserts the uniqueness of the equilibrium states for the potentials with nice regularity and carrying smaller pressure on the singular set. The potentials with nice regularity include Hölder potentials and the *geometric potential* $\vp^{u}$ defined as $$\varphi^{u}(v):=-\lim_{t\to0}\frac{1}{t}{\displaystyle \log\det(}\left.df_{t}\right|_{E^{u}(v)}).$$ Let $S$ be a surface of genus greater than or equal to 2 without focal points and ${\cal F}$ be the geodesic flow over $S$. Let $\vp:T^{1}S\to\R$ be a Hölder continuous potential or a scalar multiple of the geometrical potential. Suppose $\vp$ verifies the pressure gap property $P({\rm Sing},\vphi)<P(\vphi)$, then $\vphi$ has a unique equilibrium state $\mu_{\vphi}$. The proof of Theorem A uses the same idea as the proof of @BCFT2017 [Theorem A]. Both @BCFT2017 and this paper follow the general framework introduced by Bowen @Bowen:1974df, which was subsequently extended by Franco @Franco:1977jy and recently extended further by Climenhaga and Thompson @Climenhaga:2016ut. We have more detailed discussion of this method in Section \[sec:Preliminaries-of-dynamics\]. Roughly speaking, the general framework follows the original work of Bowen stating that when the potential has "nice" regularity (namely, the Bowen property) and the system has "sufficient hyperbolicity" (namely, the specification property) then this potential has a unique equilibrium state. We discuss more details of this method in Section \[sec:Preliminaries-of-dynamics\] and Section \[sec:Preliminaries-of-geometry\]. The second result, following Theorem A, we discuss several ergodic properties of these unique equilibrium states. We successfully extend several properties known to hold under uniform hyperbolic cases (cf., for example, @Parry:1990tn), as well as under nonpositively curved surfaces (cf., for example, @Pollicott:1996jq, @Ledrappier:2016cn and @BCFT2017). Namely, these unique equilibrium states are Bernoulli and the weak<span>\*</span> limit of the weighted regular periodic orbits. Recall that other weaker ergodic properties such as being Kolmogorov and strongly mixing follows once the measure is Bernoulli. Suppose $\vp$ satisfies the same assumptions in Theorem A. Then the unique equilibrium state $\mu_{\vphi}$ is fully supported, $\mu_{\varphi}({\rm Reg})=1$, Bernoulli, and a weak$^{*}$ limit of the weighted regular periodic orbits. In our last main result, we study on the geometric potential $\vp^{u}$ and its pressure function $q\mapsto P(q\vp^{u})$. We give the full description of the pressure function, and show that the situation is analogous to the nonpositively curved manifolds (see, for example, @Burns:2014gq and @BCFT2017). Under the same assumption in Theorem A, suppose $\varphi=q\varphi^{u}$ is a scalar multiple of the geometric potential. Then, for $q<1$, $\vphi$ has a unique equilibrium state $\mu_{q}$ which is, fully supported, $\mu_{\varphi}({\rm Reg})=1$, Bernoulli, and the weak$^{*}$ limit of the weighted regular periodic orbits. Furthermore, the map $q\mapsto P(q\vphi^{u})$ is $C^{1}$ for $q<1$, and $P(q\vp^{u})=0$ for $q\geq1$ when $\Sing\neq\emptyset$. ![Pressure function](\string"pressure_function\string".pdf) This paper is organized as follows. In Section \[sec:Preliminaries-of-dynamics\], we go over the background in thermodynamic formalism; in particular, we introduce our primary tool, the Climenhaga-Thompson program. In Section \[sec:Preliminaries-of-geometry\], we recall the definitions and geometric features of surfaces and manifolds without focal points. Section \[sec:Decompositions-for-finite\], \[sec:The-specification-property\], and \[sec:The-Bowen-property\] are devoted to setting up the framework for the Climenhaga-Thompson program, namely, orbit decomposition, the specification property, and the Bowen property. We will prove Theorem A in Section \[sec:Pressure-gap-and\_Thm\_A\] and Theorem B in Section \[sec:Prop\_eq\_states\_Thm\_B\]. In Section \[sec:Thm\_C\_exampels\], we will show Theorem C and provide some examples of potentials satisfying Theorem A. The authors are incredibly grateful to Vaughn Climenhaga and Daniel Thompson for not only organizing the 2017 MRC program in dynamical systems and proposing this project to the authors, but also for their continuous support and help after the MRC program. This paper would not have been possible without them. The authors would like to thank Matthew Smith and Régis Varão for initiating and discussing this MRC project with them, Keith Burns for sharing many insightful ideas, and to Amie Wilkinson for suggestions on improving the presentation of this paper. Preliminaries of dynamics\[sec:Preliminaries-of-dynamics\] ========================================================== In this section, we introduce necessary background in thermodynamics. An excellent reference for terminologies introduced in this section is Walters' book @Walters:2000vc. Throughout this section, $(X,d)$ is a compact metric space, ${\cal F}=(f_{t})_{t\in\R}$ is a continuous flow on $X$, and $\vp:X\to\R$ is a continuous potential. Topological pressure -------------------- For the convenience, we first define the following terms. For any $t,\delta>0$ and $x\in X$, 1. The *Bowen ball* of radius $\delta$ and order $t$ at $x$ is defined as $$B_{t}(x,\delta)=\{y\in X:\ d(f_{\tau}x,f_{\tau}y)<\delta\ {\rm for}\ {\rm all\ }0\leq t\leq\tau\}.$$ 2. We say a set $E$ is $(t,\delta)-$*separated* if for all $x,y\in E$ with $x\neq y$, there exists $t_{0}\in[0,t]$ such that $d(f_{t_{0}}x,f_{t_{0}}y)\geq\delta$. \[Finite length orbit segments\] Any subset ${\cal C}\subset X\times[0,\infty)$ can be identified with a collection of *finite length orbit segments*. More precisely, $${\cal C}=\{(x,t)\in X\times[0,\infty)\}$$ where $(x,t)$ is identified with the orbit $\{f_{\tau}x:\ 0\leq\tau\leq t\}.$ We denote $\Phi(x,t):=\int_{0}^{t}\vp(f_{\tau}x)d\tau$ the integral of $\vp$ along an orbit segment $(x,t)$. Let ${\cal C}_{t}:=\{x\in X:\ (x,t)\in{\cal C}\}$ be the set of length $t$ orbit segments in ${\cal C}$. We define $$\Lambda({\cal C},\vp,\delta,t)=\sup\{\sum_{x\in E}e^{\Phi(x,t)}:\ E\subset{\cal C}_{t}\ {\rm is}\ (t,\delta)-{\rm separated}\}.$$ \[Topological pressure\] The *pressure* of $\vp$ on ${\cal C}$ is defined as $$P({\cal C},\vp)=\lim_{\delta\to0}\limsup_{t\to\infty}\frac{1}{t}\log\Lambda({\cal C},\vp,\delta,t).$$ When ${\cal C=}X\times[0,\infty)$, we denote $P(X\times[0,\infty),\vp)$ by $P(\vp)$ and call it the *topological pressure* of $\vp$ with respect to ${\cal F}$. As noted in the introduction, the pressure $P(\vp)$ satisfies the variational principle $$P(\vp)=\sup_{\mu\in{\cal M}({\cal F})}\{h_{\mu}({\cal F})+\int\vp d\mu\}$$ where ${\cal M}({\cal F})$ is the set of ${\cal F}-$invariant probability measures on $X$. Also, a ${\cal F}-$invariant probability measure $\mu$ realizing the supremum is called an *equilibrium state* for $\vp$. $\ $ 1. When the entropy map $\mu\mapsto h_{\mu}$ is upper semi-continuous, any weak<span>\*</span> limit of a sequence invariant measures approximating the pressure is an equilibrium state. In particular, there exists at least one equilibrium state for every continuous potentials. 2. In our setting, the geodesics flow over surfaces without focal points, the upper semi-continuity of the entropy map is guaranteed by the entropy-expansivity established in @Liu:2016de. Climenhaga-Thompson's criteria for the uniqueness of equilibrium states ----------------------------------------------------------------------- Climenhaga and Thompson have a series of successful results on establishing the uniqueness of the equilibrium states of various non-uniformly hyperbolic systems; see @Climenhaga:2012ed [@Climenhaga:2013gm; @Climenhaga:2015wf; @Climenhaga:2016ut; @BCFT2017]. This work follows the same method, so called, the Climenhaga-Thompson program. In this subsection, we aim to introduce terms using in the Climenhaga-Thompson program. One of the primary ideas in the Climenhaga-Thompson program is to relax the original assumptions from the work of Bowen on the uniformly hyperbolic systems @Bowen:1974df by asking that the hyperbolic behavior on the system and the good regularity on the potential to hold on a (large) collection of finite orbit segments ${\cal C}$ rather than in the whole space. This flexibility is essential for applying this method to non-uniformly hyperbolic systems. To be more precise, the "hyperbolic" behavior refers to the *specification* and the "good regularity" refers to the potential having the *Bowen property*. \[Specification\] We say ${\cal C}\subset X\times[0,\infty)$ has *specification* at scale $\rho>0$ if there exists $\tau=\tau(\rho)$ such that for every finite sub-collection of ${\cal C}$, i.e., $(x_{1},t_{1})$, $(x_{2},t_{2}),$..., $(x_{N},t_{N})\in{\cal C}$, there exists $y\in X$ and transition times $\tau_{1},...,\tau_{N-1}\in[0,\tau]$ such that for $s_{0}=\tau_{0}=0$ and $s_{j}=\sum_{i=1}^{j}t_{i}+\sum_{i=1}^{j-1}\tau_{i}$, we have $$f_{s_{j-1}+\tau_{j-1}}(y)\in B_{t_{j}}(x_{j},\rho)$$ for $j\in\{1,2,...,N\}$. If ${\cal C}$ has specification at all scales, then we say ${\cal C}$ has *specification*. We say that the flow has specification if the entire orbit space ${\cal C}=X\times[0,\infty)$ has specification. \[Bowen property\] We say $\vp:X\to\R$ a continuous potential has the *Bowen property* on ${\cal C}\subset X\times[0,\infty)$ if there are $\ep,K>0$ such that for all $(x,t)\in{\cal C}$, we have $$\sup_{y\in B_{t}(x,\ep)}\left|\Phi(x,t)-\Phi(y,t)\right|\leq K$$ where $\Phi(x,t)=\int_{0}^{t}\vp(f_{\tau}x)d\tau$. \[Decomposition of orbit segments\] A decomposition of $X\times[0,\infty)$ consists of three collections ${\cal P}$, ${\cal G}$, ${\cal S}\subset X\times[0,\infty)$ such that: 1. There exist $p,g,s:X\times[0,\infty)\to\R$ such that for each $(x,t)\in X\times[0,\infty)$, we have $t=p(x,t)+g(x,t)+s(x,t)$, 2. $(x,p(x,t))\in{\cal P}$, $(f_{p(x,t)}x,g(x,t))\in{\cal G}$, and $(f_{p(x,t)+g(x,t)}x,s(x,t))\in{\cal S}$. In Section \[sec:Decompositions-for-finite\], we will give the precise construction of a decomposition $({\cal P},{\cal G},{\cal S})$ and prove that such decomposition has required properties in subsequent sections. Due to some technical reasons (see @Climenhaga:2016ut), we need to work on collections slightly bigger than ${\cal P}$ and ${\cal S}$, namely, $$\begin{aligned} [{\cal P}] & :=\{(x,n)\in X\times\N:\ (f_{-s}x,n+s+t)\in{\cal P}\ {\rm for}\ {\rm some}\ s,t\in[0,1]\},\end{aligned}$$ and similarly for $[{\cal S}].$ The following three terms are the remaining pieces needed for stating the Climenhaga-Thompson criteria. For $x\in X$, $\ep>0$ and $\vp:X\to\R$ a potential 1. The *bi-infinite Bowen ball* $\G_{\ep}(x)$ is defined as $$\G_{\ep}(x):=\{y\in X:\ d(f_{t}x,f_{t}y)\leq\ep\ {\rm for}\ {\rm all}\ t\in\R\}.$$ 2. The set of *non-expansive points at scale* $\ep$ is defined as $${\rm NE(\ep}):=\{x\in X:\ \G_{\ep}\nsubseteq f_{[-s,s]}(x)\ {\rm for\ }{\rm any}\ s>0\}$$ where $f_{[a,b]}(x)=\{f_{t}x:\ t\in[a,b]\}.$ 3. *The pressure of obstructions to expansivity* for $\vp$ is defined as $$P_{{\rm exp}}^{\perp}(\vp):=\lim_{\ep\to0}P_{\exp}^{\perp}(\vp,\ep)$$ where $$P_{\exp}^{\perp}(\vp,\ep):=\sup\{h_{\mu}(f_{1})+\int\vp d\mu:\ \mu\in{\cal M}^{e}({\cal F})\ {\rm and\ }\mu({\rm NE}(\ep))=1\}$$ and ${\cal M}^{e}({\cal F})$ is the set of ${\cal F}-$invariant ergodic probability measures on $X$. For uniform hyperbolic systems, ${\rm NE}(\ep)=\emptyset$ for $\ep$ sufficiently small; thus $P_{\exp}^{\perp}(\vp)=-\infty$. In other words, the condition $P_{{\rm exp}}^{\perp}(\vp)<P(\vp)$ always holds in Bowen's work @Bowen:1974df. Finally, the following theorem is the Climenhaga-Thompson criteria for the uniqueness of equilibrium states. We will use this theorem to prove Theorem A in Section \[sec:Pressure-gap-and\_Thm\_A\]. @Climenhaga:2016ut [Theorem A]\[thm:C-T\_criteria\] Let $(X,{\cal F})$ be a flow on a compact metric space, and $\vphi:X\to\R$ be a continuous potential. Suppose that $P_{{\rm exp}}^{\perp}(\vphi)<P(\vphi)$ and $X\times[0,\infty)$ admits a decomposition $({\cal P},{\cal G},{\cal S})$ with the following properties: - ${\cal G}$ has specification; - $\vphi$ has Bowen property on ${\cal G}$; - $P([{\cal P}]\cup[{\cal S}],\vphi)<P(\vphi)$. Then $(X,{\cal F},\vphi)$ has a unique equilibrium state $\mu_{\vphi}$. @Climenhaga:2016ut [Proposition 4.19] points out that the unique equilibrium state $\mu_{\vp}$ derived from the above theorem is ergodic. Gurevich pressure ------------------ In this subsection, we introduce another well-studied notion of pressure, the Gurevich pressure, that is, the growth rate of weighted periodic orbits. In the uniformly hyperbolic setting, the Gurevich pressure is equal to the topological pressure. However, it is not the case for non-uniformly hyperbolic systems (see @Gelfert:2014hn for more details). To make above discussion more precise, we shall define the following relevant terms. In what follows, let $M$ be a Riemannian manifold, ${\cal F}=(f_{t})_{t\in\R}$ be the geodesic flow on $T^{1}M$, and $\vp:T^{1}M\to\R$ be a continuous potential. We denote the set of closed regular geodesics with length in the interval $(a,b]$ by ${\rm Per}_{R}(a,b]$. For $\g\in{\rm Per}_{R}(a,b]$, we define $$\Phi(\g):=\int_{\g}\vp=\int_{0}^{|\g|}\vp(f_{t}v)dt$$ where $v\in T^{1}M$ is tangent to $\g$ and $|\g|$ is the length of $\g$. Given $t,\Delta>0$, we define $$\Lambda_{\Reg,\Delta}^{*}(\vp,t):=\sum_{\g\in{\rm Per}_{R}(t-\D,t]}e^{\Phi(\g)}.$$ \[Gurevich pressure\] Given $\Delta>0$, 1. The *upper regular* *Gurevich pressure* $\overline{P}_{\Reg,\D}^{*}$ of $\vp$ is defined as $$\overline{P}_{\Reg,\D}^{*}(\vp):=\limsup_{t\to\infty}\frac{1}{t}\log\Lambda_{\Reg,\Delta}^{*}(\vp,t).$$ 2. The *lower* *regular Gurevich pressure* $\underline{P}_{\Reg,\D}^{*}$ of $\vp$ is defined as $$\underline{P}_{\Reg,\D}^{*}(\vp):=\liminf_{t\to\infty}\frac{1}{t}\log\Lambda_{\Reg,\Delta}^{*}(\vp,t).$$ When $\overline{P}_{{\rm Reg},\D}^{*}(\vp)=\underline{P}_{\Reg,\D}^{*}(\vp)$, we call this value the *regular Gurevich pressure* and denote it by $P_{\Reg,\D}^{*}(\vp)$. Our *upper* regular Gurevich pressure $\overline{P}_{\Reg,\D}^{*}$ is the regular Gurevich pressure $P_{{\rm Gur},{\cal R}}$ used in @Gelfert:2014hn. Indeed, using the same argument as in @Gelfert:2014hn, one can show that $\overline{P}_{\Reg,\D}^{*}$ is independent of $\D>0$. However, to derive the equidistribution property, we need to take the lower regular Gurevich pressure into account (see Proposition \[prop:pressure\_equal\_equidistribution\]). For a potential $\vp:T^{1}M\to\R$, we say $\mu$ is a *weak<span>\*</span> limit of $\vp-$weighted regular periodic orbits*, if there exists $\D>0$ such that $$\mu=\lim_{t\to\infty}\frac{\sum_{\g\in{\rm Per}_{R}(t-\D,t]}e^{\Phi(\g)}\delta_{\g}}{\Lambda_{\Reg,\Delta}^{*}(\vp,t)}$$ where $\delta_{\g}$ is the normalized Lebesgue measure along a periodic orbit $\g$. In his proof of the variational principle in @Walters:2000vc [Theorem 9.10], Walters pointed out a way to construct equilibrium states through periodic orbits. @Walters:2000vc [Theorem 9.10] \[prop:walters\_eq\_states\]Given $\D>0$, suppose there exists $\{t_{k}\}$ such that $$\lim_{k\to\infty}\frac{1}{t_{k}}\Lambda_{\Reg,\Delta}^{*}(\vp,t_{k})=P(\vp)$$ and $$\lim_{k\to\infty}\frac{\sum_{\g\in{\rm Per}_{R}(t_{k}-\D,t_{k}]}e^{\Phi(\g)}\delta_{\g}}{\Lambda_{\Reg,\Delta}^{*}(\vp,t_{k})}=\mu,$$ then $\mu$ is an equilibrium state. From the above observation we have: \[prop:pressure\_equal\_equidistribution\]Given $\D>0$, suppose $P_{\Reg,\D}^{*}(\vp)=P(\vp)$ and $\vp$ has a unique equilibrium $\mu_{\vp}$, then $\mu_{\vp}$ is a weak<span>\*</span> limit of $\vp-$weighted regular closed geodesics. Preliminaries of surfaces without focal points\[sec:Preliminaries-of-geometry\] =============================================================================== Geometry of Riemannian manifolds without focal points ----------------------------------------------------- In this section, we recall relevant earlier results of manifolds without focal points. These results can be found in @Eberlein:1973hu [@Pesin:1977vi; @Eschenburg:1977kn; @Burns:1983dw]. Throughout this section $M$ denotes a closed $C^{\infty}$ Riemannian manifold. The *geodesics flow* ${\cal F}=(f_{t})_{t\in\R}$ over the unit tangent bundle $T^{1}M$ is the flow given by $f_{t}(v)=\dot{\g}_{v}(t)$ where $\gamma_{v}$ is the (unit speed) geodesic determined by the initial vector $v\in T^{1}M$. Recall that for any Riemannian manifold, we can naturally equip its tangent bundle with the *Sasaki metric.* In what follows, without stating specifically, the norm $||\cdot||$ always refers to the Sasaki metric. A *Jacobi field* $J(t)$ along a geodesic $\g$ is a vector field along $\g$ which satisfying the Jacobi equation: $$J''(t)+K(\g(t))\dot{\g}(t)=0$$ where $K$ is the Gaussian curvature and $'$ denotes the covariant derivative along $\g$. A Jacobi field is *orthogonal* if both $J$ and $J'$ are orthogonal to $\dot{\g}$ at some $t_{0}\in\R$ (and hence for all $t\in\R)$. \[No focal points\] A Riemannian manifold $M$ has *no focal points* if for any initial vanishing Jacobi field $J(t)$, its length $\left\Vert J(t)\right\Vert $ is strictly increasing. We say $M$ has *no conjugate points* if any non-zero Jacobi field has at most one zero. There are other equivalent definitions for manifolds without focal points, and many of their geometric features are introduced in @doCarmo:2013tg. The following results are classical and relevant in our setting: 1. Nonpositively curved $\subsetneq$ no focal points$\subsetneq$ no conjugate points. 2. One can find examples from each category above from @Gulliver:1975gx, as well as @Gerber:2003go, for examples in the above assertion. It is a classical result that one can identify the tangent space of $T^{1}M$ with the space of orthogonal Jacobi fields ${\cal J}$. Moreover, one can use this relation to define three ${\cal F}$ invariant bundles $E^{u},E^{c},$ and $E^{s}$ on $TT^{1}M$. To be more precise, let us denote ${\cal J}(\g)$ the space of space of orthogonal Jacobi fields along a geodesic $\g$. For any $v\in T^{1}M$, the identification between $T_{v}T^{1}M$ and ${\cal J}(\g_{v})$ is given by $$T_{v}T^{1}M\ni\xi\mapsto J_{\xi}\in{\cal J}(\g_{v})$$ where $J_{\xi}$ is the Jacobi field determined by the initial data $\xi$. Moreover, we have $$\left\Vert df_{t}(\xi)\right\Vert ^{2}=\left\Vert J_{\xi}(t)\right\Vert ^{2}+\left\Vert J'_{\xi}(t)\right\Vert ^{2}.\label{eq:metric_jacobi_unit_tangent_bundle}$$ We define ${\cal J}^{s}(\g)$ to be the space of *stable (orthogonal) Jacobi fields* as $${\cal J}^{s}(\g)=\{J(t)\in{\cal J}(v):\ \left\Vert J(t)\right\Vert \ {\rm is}\ {\rm bounded\ for}\ t\geq0\},$$ and ${\cal J}^{u}(\g)$ to be the space of *unstable (orthogonal) Jacobi fields* as $${\cal J}^{s}(\g)=\{J(t)\in{\cal J}(v):\ \left\Vert J(t)\right\Vert \ {\rm is}\ {\rm bounded\ for}\ t\leq0\}.$$ Using these two linear spaces of ${\cal J}(\g)$ and the identification, we can define two subbundles $E^{s}(v)$ and $E^{u}(v)$ of $T_{v}T^{1}M$ as the following: $$\begin{aligned} E^{s}(v):= & \{\xi\in T_{v}T^{1}M:\ J_{\xi}\in{\cal J}^{s}(v)\},\\ E^{u}(v):= & \{\xi\in T_{v}T^{1}M:\ J_{\xi}\in{\cal J}^{u}(v)\}.\end{aligned}$$ Last, we define $E^{c}(v)$ given by the flow direction. \[Rank\]The *rank* of a vector $v\in T^{1}M$ is the dimension of the space of parallel Jacobi fields. We call $M$ is a *rank 1* manifold if it has at least one rank 1 vector. \[Singular and Regular set\]The *singular set* $\Sing\subset T^{1}M$ is the set of vectors with rank greater than or equal to 2. The *regular set* $\Reg$ is the complement of $\Sing.$ The following proposition summarizes known facts about manifolds with no focal points. \[prop:no\_focal\_points\] Let $M$ be a closed Riemannian manifold without focal points. Then we have 1. @Hurley:1986km The geodesic flow ${\cal F}$ is topologically transitive. 2. @Pesin:1977vi [Proposition 4.7, 6.2] $\dim E^{u}(v)=\dim E^{s}(v)=n-1$, and $\dim E^{c}(v)=1$ where $\dim M=n$. 3. @Pesin:1977vi [Theorem 4.11, 6.4] The subbundles $E^{u}(v)$, $E^{s}(v)$, $E^{cu}(v)$ and $E^{cs}(v)$ are ${\cal F}$–invariant where $E^{cs}(v)=E^{c}(v)\oplus E^{s}(v)$ and $E^{cu}(v)=E^{c}(v)\oplus E^{u}(v)$. 4. @Pesin:1977vi [Theorem 6.1, 6.4] The subbundles $E^{u}(v)$, $E^{s}(v)$, $E^{cu}(v)$ and $E^{cs}(v)$ are integrable to ${\cal F}$–invariant foliations $W^{u}(v)$, $W{}^{s}(v)$, $W^{cu}(v)$ and $W^{cs}(v)$, respectively. Moreover, $W^{u}(v)$ (resp. $W^{s}(v)$) consists of vectors perpendicular to $H^{u}(v)$ (resp. $H^{s}(v)$) and toward to the same side as $v$ (see below for the definition of the horospheres $H^{s/u}(v)$). 5. @Eschenburg:1977kn [Lemma, p. 246] $E^{u}(v)\cap E^{s}(v)\neq\emptyset$ if and only if $v\in{\rm Sing}$. 6. @OSullivan:1976cf [Theorem 1],@Eschenburg:1977kn [Theorem 2] \[prop:the flat strip theorem\]The Flat Strip Theorem: suppose $M$ is simply connected and geodesics $\g_{1},\g_{2}$ are bi-asymptotic in the sense that $d(\g_{1}(t),\g_{2}(t))$ is uniformly bounded for all $t\in\R$. Then $\g_{1}$ and $\g_{2}$ bound a strip of flat totally geodesically immersed surface. 7. @Eberlein:1973hu [Corollary 3.3, 3.6] Suppose $\dim M=2$, then $v\in\Sing$ if and only if $K(\pi f_{t}v)=0$ for all $t\in\R$ where $\pi:T^{1}M\to M$ is the canonical projection. 8. @Hopf:1948tn Suppose $\dim M=2$, then $M$ is rank 1 if and only if its genus is at least 2. We shall introduce more metrics on $T^{1}M$ and the flow invariant foliations induced in Proposition \[prop:no\_focal\_points\] so that we can perform finer analysis. We write $d_{{\rm S}}$ for the distance function on $T^{1}M$ induced by the Sasaki metric on $TT^{1}M$. Another handy distance function $d_{K}$ on $T^{1}M$, the *Knieper metric*, was introduced by Knieper in @Knieper:1998ht: $$d_{K}(v,w):=\max\{d(\g_{v}(t),\g_{w}(t)):\ t\in[0,1]\}.$$ It is not hard to see, $d_{{\rm S}}$ and $d_{K}$ are uniformly equivalent. Thus, we will primarily work with the Knieper metric $d_{K}$ throughout the paper. In particular, any Bowen ball $B_{t}(v,\ep)$ appearing from here onward is with respect to the Knieper metric $d_{K}$, i.e., $$B_{T}(v,\ep):=\{w\in T^{1}M:\ d_{K}(f_{t}w,f_{t}v)<\ep\ {\rm for}\ \mbox{{\rm all}\ }0\leq t\leq T\}.$$ Furthermore, an *intrinsic metric* $d^{s}$ on $W^{s}(v)$ for all $v\in T^{1}M$ is given by $$d^{s}(u,w):=\inf\{l(\pi\g):\ \g:[0,1]\to W^{s}(v),\ \g(0)=u,\ \g(1)=w\}$$ where $l$ is the length of the curve in $M$, and the infimum is taken over all $C^{1}$ curves $\g$ connecting $u,w\in W^{s}(v)$. Using $d^{s}$ we can define the *local stable leaf* through $v$ of size $\rho$ as: $$W_{\rho}^{s}(v):=\{w\in W^{s}(v):\ d^{s}(v,w)\leq\rho\}.$$ Moreover, we can locally define a similar intrinsic metric $d^{cs}$ on $W^{cs}(v)$ as: $$d^{cs}(u,w)=|t|+d^{s}(f_{t}u,w)$$ where $t$ is the unique time such that $f_{t}u\in W^{s}(w)$. This metric $d^{cs}$ extends to the whole central stable leaf $W^{cs}(v)$. We also define $d^{u},W_{\rho}^{u}(v),d^{cu}(v)$ analogously. Notice that when $\rho$ is small these intrinsic metrics are uniformly equivalent to $d_{{\rm S}}$ and $d_{K}$. A handy feature of these metrics is that for $v\in T^{1}M$, $\sigma\in\{s,cs\}$ and for any $u,w\in W^{\sigma}$ the $t\mapsto d^{\sigma}(f_{t}u,f_{t}w)$ is a non-increasing function. Indeed, it follows from the definition of manifolds with no focal points. Similarly, for $\sigma\in\{u,cu\}$, $t\mapsto d^{\sigma}(f_{t}u,f_{t}w)$ is non-decreasing. Following Proposition \[prop:no\_focal\_points\], one can define the *stable horosphere* $H^{s}(v)\subset M$ and the *unstable horosphere* $H^{u}(v)\subset M$ as the projection of the respective foliations to $M$: $$H^{s}(v)=\pi(W^{s}(v))\mbox{\ and\ }H^{u}(v)=\pi(W^{s}(v)).$$ We now summarize some useful properties of them. @Eschenburg:1977kn [Theorem 1 (i) (ii)]\[prop:horoshpere\] Let $M$ be a Riemannian closed manifolds without focal points. Then we have 1. $H^{u}(v)$, $H^{s}(v)$ are $C^{2}$-embedded hypersurfaces when lifted to the universal cover $\widetilde{M}$. 2. For $\sigma\in\{s,u\}$, the symmetric linear operator of ${\cal U}^{\sigma}(v):T_{\pi v}H^{\sigma}(v)\to T_{\pi v}H^{\sigma}(v)$ given by $v\mapsto\nabla_{v}N$, i.e., the shape operator on $H^{\sigma}(v)$, is well-defined, where $N$ is the unit normal vector field on $H^{\sigma}(v)$ toward the same side as $v$ . 3. ${\cal U}^{u}$ is positively semidefinite and and ${\cal U}^{s}$ is negatively semidefinite. We are ready to rephrase above two propositions specific to the surface setting. From now on, we denote $S$ a closed Riemannian surface of genus greater than or equal to 2 and has no focal point. Then from Proposition \[prop:no\_focal\_points\] and \[prop:horoshpere\] we have: - $S$ is rank 1. - For $v\in T^{1}S$, $H^{u}(v)$ (resp., $H^{s}(v)$) is one dimensional and called the *unstable* (resp., *stable*) *horocycle*. - The (one dimensional) linear operator ${\cal U}^{u}(v):T_{\pi v}H^{u}(v)\to T_{\pi v}H^{u}(v)$ is the given by the *geodesic curvature* $k^{u}(v)$ of the horocycle of $H^{u}(v)$ at $\pi v$. More precisely, for all $w\in T_{\pi v}H^{u}(v)$ $${\cal U}^{u}(v)(w)=k^{u}(v)(w).$$ - Similarly, ${\cal U}^{s}(v)$ is given by $k^{s}(v)$ the *geodesic curvature* $k^{s}(v)$ of the horocycle of $H^{s}(v)$ at $\pi v$, i.e., ${\cal U}^{s}(v)(w)=-k^{s}(v)(w)$ for all $w\in T_{\pi v}H^{s}(v)$. Moreover, we have $k^{s}(-v)=k^{u}(v)$. Hyperbolicity indices $\lambda$ and $\lt$\[sub:Hyperbolicity-indices-\] ----------------------------------------------------------------------- In this subsection, using $k^{s}$ and $k^{u}$ we introduce several useful functions to quantify the hyperbolicity for any $v\in T^{1}S$. These hyperbolicity indices will be used in Section \[sec:Decompositions-for-finite\] to derive the decomposition for orbit segments. For $v\in T^{1}S$ and for any $T>0$, we define: 1. $\lambda(v):=\min(k^{u}(v),k^{s}(v)).$ 2. $\lambda_{T}(v):=\int_{-T}^{T}\lambda(f_{\tau}v)d\tau$. $\ $ 1. Since the horocycles are $C^{2}$ (by Proposition \[prop:horoshpere\]), we have $k^{s}$ and $k^{u}$ are continuous, and so are $\lambda$ and $\lt$. 2. The $\lambda$ defined in this paper is exactly the same as the $\lambda$ introduced in @BCFT2017. $\negmedspace$The most significant difference between the "nonpositively curved" setting in @BCFT2017 and our "no focal points" setting is that the norm of the Jacobi fields are not strictly convex in the no focal points setting. As one can observe in @BCFT2017, the convexity of Jacobi fields implies good estimates on $\lambda$ so that one can use $\lambda$ to characterize the singular set. However, in our setting, $\lambda$ does not enjoy such properties. Therefore, we need to accumulate more hyperbolicity through integrating $\lambda$ for a longer time $T$; indeed, this is our motivation for introducing a new function $\lambda_{T}$. The following proposition and lemma establish relations between horocycles and related Jacobi fields. The version we state below is from @BCFT2017. Let $\g_{v}(t)$ be a unit speed geodesic such that $\dot{\g}_{v}(0)=v$, and $J^{u}$ be the $H^{u}(v)-$Jacobi field along $\g_{v}$, that is, the Jacobi field derived by varying through geodesics perpendicular to $H^{u}(v)$. Then $J^{u}\in{\cal J}^{u}$ and $(J^{u})'(t)=k^{u}(f_{t}v)J^{u}(t)$ for all $t\in\R$. Similarly, for $J^{s}$ the $H^{s}(v)-$Jacobi field along $\g_{v}$, we have $J^{s}\in{\cal J}^{s}$ and $(J^{s})'(t)=-k^{s}(f_{t}v)J^{s}(t)$ for all $t\in\R$. Let $\alpha(s,t)$ for $(s,t)\in(-\ep,\ep)\times\R$ be the variation of geodesics along $H^{u}(v)$, i.e., $\alpha(0,t)=\g_{v}(t)$ and $\alpha(s,0)\in H^{u}(v)$, such that $\left.\frac{\partial}{\partial s}\alpha(s,t)\right|_{s=0}=J^{u}(t)$. Then when $t=0$ $$\begin{aligned} (J^{u})'(0)= & \left.\frac{\nabla}{\partial t}\frac{\partial}{\partial s}\alpha(s,t)\right|_{s=0,t=0}=\left.\frac{\nabla}{\partial s}\frac{\partial}{\partial t}\alpha(s,t)\right|_{s=0,t=0}\\ = & \nabla_{J^{u}(0)}N={\cal U}^{u}(v)(J(0))=k^{u}(v)J(0)\end{aligned}$$ where the second equality is by the symmetry of the Levi-Civita connection and the last equality follows from Proposition \[prop:horoshpere\]. To see this is true for all $t$, we notice that the flow invariant unstable manifold $W^{u}(v)$ consists of vectors which are perpendicular to $H^{u}(v)$ and point toward to the same side as $v$ (cf. Proposition \[prop:no\_focal\_points\]). That is, when we vary geodesics perpendicularly along $H^{u}(v),$ these geodesics vary perpendicularly along $H^{u}(f_{t}v)$ as well. Thus, $J^{u}(t)$ is the Jacobi field derived by varying geodesics perpendicular to $H^{u}(f_{t}v)$, and we have $(J^{u})'(t)=k^{u}(f_{t}v)J^{u}(t)$ by repeating the computation above. For $J^{s}$, the same argument applies. Let $\Lambda$ be the maximum eigenvalue of $k^{u}(v)$ over all $v\in T^{1}S$. Then for $\sigma\in\{s,u\}$ we have $\left\Vert (J^{\sigma})'(t)\right\Vert \leq\Lambda\left\Vert J^{\sigma}(t)\right\Vert $ for all $t$. By equation (\[eq:metric\_jacobi\_unit\_tangent\_bundle\]) and the above proposition, for $\xi\in E^{u}(v)$ or $E^{s}(v)$ we have $$||J_{\xi}(t)||^{2}\leq||df_{t}\xi||^{2}\leq(1+\Lambda^{2})||J_{\xi}(t)||^{2}.$$ @BCFT2017 [Lemma 2.11] \[lem:2.9\]Let $v\in T^{1}S$ and $J^{u}$ (resp. $J^{s}$) be an unstable (resp. stable) Jacobi field along $\gamma_{v}$. Then, for , $$||J^{u}(t)||\geq e^{\int_{0}^{t}k^{u}(f_{\tau}v)d\tau}||J^{u}(0)||{\rm \ }and\ ||J^{s}(t)||\leq e^{-\int_{0}^{t}k^{s}(f_{\tau}v)d\tau}||J^{s}(0)||.$$ A handy lemma for computation: \[alglem\] Let $\psi:\mathbb{R}\rightarrow\mathbb{R}$ be a non-negative integrable function and $$\mbox{\ensuremath{\psi}}_{T}(t):=\int_{-T}^{T}\psi(t+\tau)d\tau.$$ Then, for every $a\leq b$, $$\int_{a}^{b}\psi_{T}(t)dt\leq2T\int_{a-T}^{b+T}\psi(t)dt.$$ Moreover, we have $$\frac{1}{2T}\int_{0}^{t}\lambda_{T}(f_{\tau}v)d\tau-2T\Lambda\leq\int_{0}^{t}\lambda(f_{\tau}v)d\tau$$ where $\Lambda=\max_{v\in T^{1}S}\lambda(v).$ For $b-a\leq2T$, $$\begin{aligned} \int_{a}^{b}\psi_{T}(t)dt & = & \int_{a}^{b}\int_{-T}^{T}\psi(t+\tau)d\tau dt\\ & = & \int_{a-T}^{b-T}(\tau+T-a)\psi(\tau)d\tau+\int_{b-T}^{a+T}(b-a)\psi(\tau)d\tau+\int_{a+T}^{b+T}(b+T-\tau)\psi(\tau)d\tau\\ & \leq & (b-a)\int_{a-T}^{b-T}\psi(\tau)d\tau+(b-a)\int_{b-T}^{a+T}\psi(\tau)d\tau+(b-a)\int_{a+T}^{b+T}\psi(\tau)d\tau\\ & = & (b-a)\int_{a-T}^{b+T}\psi(\tau)d\tau\leq2T\int_{a-T}^{b+T}\psi(\tau)d\tau.\end{aligned}$$ For $b-a\geq2T$, $$\begin{aligned} \int_{a}^{b}\psi_{T}(t)dt & = & \int_{a}^{b}\int_{-T}^{T}\psi(t+\tau)d\tau dt\\ & = & \int_{a-T}^{a+T}(\tau+T-a)\psi(\tau)d\tau+\int_{a+T}^{b-T}2T\psi(\tau)d\tau+\int_{b-T}^{b+T}(s+T-\tau)\psi(\tau)d\tau\\ & \leq & 2T\int_{a-T}^{a+T}\psi(\tau)d\tau+2T\int_{a+T}^{b-T}\psi(\tau)d\tau+2T\int_{b-T}^{b+T}\psi(\tau)d\tau=2T\int_{a-T}^{b+T}\psi(\tau)d\tau.\end{aligned}$$ The last assertion follows from $$\begin{aligned} \int_{0}^{t}\lambda(f_{\tau}v)d\tau & = & \int_{-T}^{T+t}\lambda(f_{\tau}v)d\tau-\int_{-T}^{0}\lambda(f_{\tau}v)d\tau-\int_{t}^{T+t}\lambda(f_{\tau}v)d\tau\\ & \geq & \int_{-T}^{T+t}\lambda(f_{\tau}v)d\tau-2T\Lambda\\ & \geq & \frac{1}{2T}\int_{0}^{t}\lambda_{T}(f_{\tau}v)d\tau-2T\Lambda.\end{aligned}$$ A decompositions of finite orbit segments\[sec:Decompositions-for-finite\] ========================================================================== We retain the same notations as previous sections and denote a potential by $\vp:T^{1}S\to\R$. $\Sing$, $\lambda,\lt$, and decompositions ------------------------------------------ In this subsection, we discuss a decomposition given by $\lt$. This decomposition will allow us to apply the Climenhaga-Thompson criteria (i.e., Theorem \[thm:C-T\_criteria\]) to prove the uniqueness of equilibrium states. \[Good orbits and Bad orbits\]\[def:decomposition\]For any $T,\eta>0$, we define the two collections of finite orbit segments ${\cal G}_{T}(\eta),{\cal B}_{T}(\eta)\subset T^{1}S\times[0,\infty)$ using $\lambda_{T}$: $$\begin{aligned} {\cal G}_{T}(\eta):= & \{(v,t)\colon\ \int_{0}^{\tau}\lt(f_{\theta}v)d\theta\geq\tau\eta{\rm \ {\rm and\ }}\int_{0}^{\tau}\lt(f_{-\theta}f_{t}v)d\theta\geq\tau\eta\ \forall\tau\in[0,t]\},\\ {\cal B}_{T}(\eta):= & \{(v,t)\subset T^{1}S\times[0,\infty)\colon\ \int_{0}^{t}\lt(f_{\theta}v)d\theta<t\eta\}.\end{aligned}$$ Using ${\cal G}_{T}$ and ${\cal B}_{T}(\eta)$, one can define a orbit decomposition $({\cal P},{\cal G},{\cal S})=({\cal B}_{T}(\eta),{\cal G}_{T}(\eta),{\cal B}_{T}(\eta))$. More precisely, we define three maps $p,g,s:T^{1}S\times[0,\infty)\to\R$ as follows. For any $(v,t)$ is a finite orbit segment, $p=p(v,t)$ is the largest time such that $(v,p)\in{\cal B}_{T}(\eta)$, $s=s(v,t)\in[0,t-p]$ is the largest time such that $(f_{t-s}v,s)\in{\cal B}_{T}(\eta)$, and $g=g(v,t)=t-s-p$ is the remaining time in the middle. It is not hard to see $(v,p)\in{\cal B}_{T}(\eta),$ $(f_{p}v,g)\in{\cal G}_{T}(\eta)$, and $(f_{p+s}v,s)\in{\cal B}_{T}(\eta).$ ![Orbit Decomposition](\string"Orbit_Decomposition\string".pdf) We have: 1. ${\rm Sing}$ is closed and flow invariant. 2. $\gt(\eta)\subset T^{1}S\times\mathbb{R}$ is closed. 3. ${\rm Reg}$ is dense in $T^{1}S$. These assertions are rather straightforward from their definitions (notice that $\lt$ is continuous). Nevertheless, we elaborate a little more on the last one since it is less obvious than others. Notice that the geodesic flow is topologically transitive (see Proposition \[prop:no\_focal\_points\]), so there exists a dense orbit $\g\subset T^{1}S$. Since $\Reg$ is an open set, there exists $t\in\R$ such that $\g(t)\in\Reg$, and which implies that $\g\subset\Reg$ because $\Sing$ is flow invariant. Uniform estimates on ${\cal G}_{T}(\eta)$ ----------------------------------------- From the compactness of $T^{1}S$, the function $k^{s},k^{u},\lambda$ and $\lt$ are uniformly continuous, so given $\frac{\eta}{2}>0$, there exists $\delta=\delta(\eta)$ such that when $d_{K}(v,w)<\delta$, we have $$|\Theta(v)-\Theta(w)|<\frac{\eta}{2}$$ where $\Theta:T^{1}S\to\R$ is one of $\lambda,$ $\lt$, $k^{u}$ and $k^{s}$. Also, define $\widetilde{\Theta}(v)=\max\{0,\Theta(v)-\frac{\eta}{2}\}$. Then we have for $w\in B_{t}(v,\delta)$, then $$\begin{aligned} \int_{0}^{t}\Theta(f_{\tau}w)d\tau\geq\int_{0}^{t}\widetilde{\Theta}(f_{\tau}v)d\tau & \geq\int_{0}^{t}\Theta(f_{\tau}v)d\tau-\frac{\eta}{2}t\label{eq:k_T_and_k_T_bar}\end{aligned}$$ where, again, $\Theta\in\{\lambda,\lt,k^{s},k^{u}\}$. Repeat the computation in Lemma \[alglem\], we have $$\int_{0}^{t}\widetilde{\lambda}(f_{\tau}v)d\tau\geq\frac{1}{2T}\int_{0}^{t}\widetilde{\lt}(f_{\tau}v)d\tau-2T\cdot\max\{0,\Lambda-\frac{\eta}{2}\}.\label{eq:k_T_tilte_k_tilte}$$ Lastly, using the above notation, we have the following control of the expansion and contraction along stable and unstable leaves. @BCFT2017 [Lemma 3.10] \[lem:3.8BCFT\]For any $\eta>0$, pick $\delta=\delta(\eta)$ as above, $v\in T^{1}S$, and $w,w'\in W_{\delta}^{s}(v)$, we have the following for every $t\geq0$: $$d^{s}(f_{t}w,f_{t}w')\leq d^{s}(w,w')e^{-\int_{0}^{t}\widetilde{\lambda}(f_{\tau}v)d\tau}.$$ Similarly, if $w,w'\in W_{\delta}^{u}(v)$, then for any $t\geq0$, $$d^{u}(f_{-t}w,f_{-t}w')\leq d^{u}(w,w')e^{-\int_{0}^{t}\widetilde{\lambda}(f_{-\tau}v)d\tau}.$$ The following lemma refines Lemma \[lem:3.8BCFT\]. In other words it provides us a nice control on the expansion and contraction for orbit segments in $\gt$. \[lem:39\]\[lem:312\] For any $T,\eta>0$, pick $\delta=\delta(\eta)$ as in ${\rm Lemma}$ \[lem:3.8BCFT\], and suppose $(v,t)\in\gt(\eta)$. Then every $v'\in B_{t}(v,\delta)$ satisfies $(v',t)\in\gt(\frac{\eta}{2})$. Moreover, there exists $C=C(T,\eta)>0$ such that for any $(v,t)\in\gt(\eta)$, any $w,w'\in W_{\delta}^{s}(v)$, and any $0\leq\tau\leq t$, $$d^{s}(f_{\tau}w,f_{\tau}w')\leq Cd^{s}(w,w')e^{-\frac{\eta}{4T}\tau}.$$ Similarly, for $w,w'\in f_{-t}W_{\delta}^{u}(f_{t}v)$ and $0\leq\tau\leq t$, we have $$d^{u}(f_{\tau}w,f_{\tau}w')\leq Cd^{u}(f_{t}w,f_{t}w')e^{-\frac{\eta}{4T}(t-\tau)}.$$ By Lemma \[alglem\], \[lem:3.8BCFT\] and equation (\[eq:k\_T\_and\_k\_T\_bar\]) and (\[eq:k\_T\_tilte\_k\_tilte\]), because $v\in\gt(\eta)$ we have $$\begin{aligned} d^{s}(f_{\tau}w,f_{\tau}w') & \leq d^{s}(w,w')e^{-\int_{0}^{\tau}\widetilde{\lambda}(f_{x}v)dx}\\ & \leq d^{s}(w,w')\exp\left(\left(\frac{-1}{2T}\int_{0}^{\tau}\widetilde{\lt}(f_{x}v)dx\right)+2T\max\{0,\Lambda-\frac{\eta}{2}\}\right)\\ & \leq d^{s}(w,w')\exp\left(\frac{-1}{2T}\left(\underset{\geq\tau\eta}{\underbrace{\int_{0}^{\tau}\lt(f_{x}v)dx}}-\frac{\eta}{2}\tau\right)+2T\max\{0,\Lambda-\frac{\eta}{2}\}\right)\\ & \leq d^{s}(w,w')\exp\left(\frac{-\eta\tau}{2T}+\frac{\eta\tau}{4T}+2T\max\{0,\Lambda-\frac{\eta}{2}\}\right)=C\cdot d^{s}(w,w')e^{\frac{-\eta\tau}{4T}}\end{aligned}$$ where $C=e^{2T\max\{0,\Lambda-\frac{\eta}{2}\}}$. Similarly, we have the other inequality. We define the uniformly regular set as ${\rm Reg}_{T}(\eta):=\{v\in T^{1}S:\ \lt(v)\geq\eta\}.$ \[lem: uniform angle\] Given $\eta,T>0$, there exists $\theta>0$ so that for any $v\in{\rm Reg}_{T}(\eta)$, we have for any $-T\leq t\leq T$ $$\measuredangle(E^{u}(f_{t}v),E^{s}(f_{t}v))\geq\theta.$$ Assume the contrary. Then there exists $\{(v_{i},t_{i})\}_{i\in\mathbb{N}}\subset{\rm Reg}_{T}(\eta)\times[-T,T]$ such that $$\measuredangle(E^{s}(f_{t_{i}}v_{i}),E^{u}(f_{t_{i}}v_{i}))\to0.$$ Since ${\rm Reg}_{T}(\eta)\times[-T,T]$ is compact, there exist subsequences $t_{i_{j}}\to t_{0}$, and $v_{i_{j}}\to v_{0}$ such that $\measuredangle(E^{s}(f_{t_{0}}v_{0}),E^{u}(f_{t_{0}}v_{0}))=0$. Then, $f_{t_{0}}v_{0}\in{\rm Sing}$. On the other hand, ${\rm Reg}_{T}(\eta)$ is closed so $v_{0}\in{\rm Reg}_{T}(\eta)$. However, this is a contradiction because $\text{Sing}$ is flow invariant. Relations between $k^{s},k^{u},\lambda,\lt$, and ${\rm Sing}$ ------------------------------------------------------------- The aim of this subsection is to show how one can use these hyperbolicity indices $\lambda$ and $\lambda_{T}$ to characterize the singular set $\Sing$. \[lem:3.3\]The following are equivalent for $v\in T^{1}S$. 1. $v\in{\rm Sing}$. 2. $k^{u}(f_{t}v)=0$ for all $t\in\R$. 3. $k^{s}(f_{t}v)=0$ for all $t\in\R$ It is clear that $(1)\implies(2)$ and $(3)$. We will prove $(2)\implies(1)$ which then $(3)\implies(1)$ similarly follows. To see $(2)\implies(1)$, it is enough to show that $J^{u}$ the unstable Jacobi field along $\g_{v}$ is parallel. By Proposition , we have for all $t\in\R$ $$(J^{u})'(t)=k^{u}(f_{t}v)J^{u}(t)=0.$$ Thus $J^{u}$ is a parallel Jacobi field. \[lem:lamb\_T\_and\_sing\] $\lt(v)=0$ for all $T$ if and only if $v\in\mathrm{Sing}$. The if direction is clear. In the following we prove the only if direction. First we notice that since $\lambda$ is nonnegative, continuous, we have that $\lt(v)=0$ for all $T\in\R$ implies $\lambda(f_{t}v)=0$ for all $t\in\R$. **Claim:** There are only three possible cases such that $\lambda(f_{t}v)=0$ for all $t\in\R$: - $k^{s}(f_{t}v)=0$ for all $t\in\R$. - $k^{u}(f_{t}v)=0$ for all $t\in\R$. - There exists $t_{0}\in\R$ such that $k^{s}(f_{t_{0}}v)=k^{u}(f_{t_{0}}v)=0$. It is clear from Lemma \[lem:3.3\] that both $({\rm i})$ and $({\rm ii})$ give $v\in{\rm Sing}$. To see $({\rm iii})$ also implies $v\in{\rm Sing}$, we recall that, for $\sigma\in\{s,u\}$, $k^{\sigma}(f_{t_{0}}v)=0$ implies that there exists $0\neq w^{\sigma}\in T_{\pi(f_{t_{0}}v)}H^{\sigma}(f_{t_{0}}v)$ such that $k^{\sigma}(w^{\sigma})=0$ . Since both $w^{u},w^{s}$ are tangent to $f_{t_{0}}v$ and $S$ is a surface, we know $w^{u}=w^{s}$ (by taking the same length). It is not hard to see that the $H^{u}(f_{t_{0}}v)-$ Jacobi field $J^{u}$ matches the $H^{s}(f_{t_{0}}v)-$ Jacobi field $J^{s}$, that implies, $E^{u}(f_{t_{0}}v)\cap E^{s}(f_{t_{0}}v)\neq0$. Thus we have $f_{t_{0}}v\in\Sing$, and because $\Sing$ is flow invariant we have $v\in\Sing.$ To see the claim, let $U:=\{t\in\R:\ \lambda^{u}(f_{t}v)=0\}$ and $W:=\{t\in\R:\ \lambda^{s}(f_{t}v)=0\}$. Since both $\lambda^{u},\lambda^{s}$ are continuous, $U$ and $W$ are closed sets in $\R$. Notice that if $U\cap W=\emptyset$ then $U=\R\backslash W$; thus $U$, $W$ are clopen sets. Since $\R$ is connected, if $U\cap W=\emptyset$, then $U=\R$ or $W=\R$. \[lem:supp\_in\_sing\]Let $\mu$ be a ${\cal F}$-invariant probability measure on $T^{1}S$. Suppose $\lambda(v)=0$ for $\mu-$a.e. $v\in T^{1}S$, then ${\rm supp(\mu)\subset\Sing}.$ Suppose ${\rm supp}(\mu)\nsubseteq\Sing$. Since $\mu$ is Borel, there exists $v\in{\rm Reg}\cap{\rm supp}(\mu)$ such that for any $r>0$ we have $\mu(B(v,r))>0$. We also notice that since $v\in{\rm Reg}$ there exists $t_{0}$ such that $\lambda(f_{t_{0}}v)>0$ (otherwise $v\in\Sing$ by Lemma \[lem:lamb\_T\_and\_sing\]). By the continuity of $\lambda$, there exists a neighborhood $B(f_{t_{0}}v,r_{0})$ of $f_{t_{0}}v$ such that $\left.\lambda\right|_{B(f_{t_{0}}v,r_{0})}>0$. Then there exists $r>0$ such $B(v,r)\subset f_{-t_{0}}(B(f_{t_{0}}v,r_{0}))$ and we have $$\mu(B(f_{t_{0}}v,r_{0})=\mu(f_{-t_{0}}(B(f_{t_{0}}v,r_{0})))\geq\mu(B(v,r))>0.$$ Hence, $\lambda$ cannot vanish $\mu-$almost everywhere. The specification property\[sec:The-specification-property\] ============================================================ Let $X$ be a compact metric space with metric $d$ and ${\cal F}=(f_{t})_{t\in\R}$ be a flow on $X$. For any $t\in\R^{+}$, we set $d_{t}(v,w)=\sup\limits _{s\in[0,t]}d(f_{s}v,f_{s}w)$ for any $v,w\in X$. In what follows, $X$ will be $T^{1}S$ and $d$ the Knieper metric $d_{K}$. With respect to the intrinsic metric $d^{cs}$ and $d^{u}$ on $W^{cs}$ and $W^{u}$, these metrics relate to each other by (from the fact that the stable manifold is non-increasing in forward time) $$d_{K}(v,w)\leq d^{cs}(v,w)~~\text{ and }~~d_{K}(v,w)\leq e^{\Lambda}d^{u}(v,w)$$ where $\Lambda=\max_{v\in T^{1}S}k^{s}(v)=\max_{v\in T^{1}S}k^{u}(v)$, and which then imply $$\begin{aligned} \begin{split}d_{t}(v,w) & \leq d^{cs}(v,w),\\ d_{t}(v,w) & \leq d^{u}(f_{t+1}v,f_{t+1}w)\leq e^{\Lambda}d^{u}(f_{t}v,f_{t}w). \end{split} \label{eq: metric comparison}\end{aligned}$$ The foliations $W^{cs}$ and $W^{u}$ have *local product structure* at scale $\d>0$ with constant $\kappa\geq1$ at $v$ if for any $w_{1},w_{2}\in B(v,\d)$, the intersection $[w_{1},w_{2}]:=W_{\k\d}^{u}(w_{1})\cap W_{\k\d}^{cs}(w_{2})$ is a unique point and satisfies $$\begin{aligned} d^{u}(w_{1},[w_{1},w_{2}]) & \leq\k d_{K}(w_{1},w_{2}),\\ d^{cs}(w_{2},[w_{1},w_{2}]) & \leq\k d_{K}(w_{1},w_{2}).\end{aligned}$$ For any $T,\eta>0$, we define ${\cal C}_{T}(\eta):=\{(v,t)\colon v,f_{t}v\in\text{Reg}_{T}(\eta)\}$. The uniform lower bound of $\lt$ on the endpoints of the orbits in ${\cal C}_{T}(\eta)$ guarantees the uniform local product structure on ${\cal C}_{T}(\eta)$: For any $T,\eta>0$, there exist $\d>0$ and $\k\geq1$ such that ${\cal C}_{T}(\eta)$ has local product structure at scale $\d$ with constant $\k$. The lemma follows from the uniform angle gap from Lemma \[lem: uniform angle\] together with the continuity of the distribution $E^{s}$ and $E^{u}$. The following corollary is due to the transitivity of the geodesic flow. \[cor: connecting orbits\] Let $T,\eta>0$ be given. Then there exists $\d>0$ such that for any $\rho\in(0,\d]$, there exists $a=a(\rho)$ such that the following holds: for any $v,w\in T^{1}M$ with $d_{K}(v,{\rm Reg}_{T}(\eta))<\delta$ and $d_{K}(w,{\rm Reg}_{T}(\eta))<\d$, there exists $\tau\in[0,a]$ and $[v,w]_{\tau}\in T^{1}S$ such that $$[v,w]_{\tau}\in W_{\rho}^{u}(v)~~\text{ and }~~f_{\tau}[v,w]_{\tau}\in W_{\rho}^{cs}(w).\label{eq: =00005B,=00005D_tau}$$ Let $\ep$ and $\kappa$ be the constants from the local product structure on ${\rm Reg}_{T}(\eta)$. By taking $\d\in(0,\ep/2)$ sufficiently small, we can ensure that the $\d$-neighborhood of ${\rm Reg}_{T}(\eta)$ has local product structure at scale $\ep/2$ with constant $2\kappa$. Now using the transitivity of the flow $\F$, for any $\rho\in(0,\d)$, we can find $a=a(\rho)$ such that the following holds: for any $v,w$, there exists $x=x(v,w)\in B(v,\rho/4\kappa^{2})$ and $\tau\in(0,a)$ with $f^{\tau}x\in B(w,\rho/4\kappa^{2})$. If $v,w$ happen to be $\d$-close to ${\rm Reg}_{T}(\eta)$, then the uniform local product structure on $\d$-neighborhood of ${\rm Reg}_{T}(\eta)$ gives $[v,w]_{\tau}$ as follows: take $z=[v,x]$ and set $[v,w]_{\tau}:=f_{-\tau}[f_{\tau}z,w]$. Then, $[v,w]_{\tau}:=f_{-\tau}[f_{\tau}z,w]$ satisfies . It is worth noting that the choices of $\tau$ and $[v,w]_{\tau}$ are not unique; we simply choose any one of $[v,w]_{\tau}$'s that satisfy . \[prop: specification\] For any $\eta,T>0$, ${\cal C}_{T}(\eta)$ has specification. Hence, so does $\gt(\eta)$. We begin by fixing any $(v_{0}',t_{0}')\in\gt(\eta)$ as our reference orbit. To simplify the notation, we set $v_{0}:=f_{-T}v_{0}'$ and $t_{0}:=2T+t_{0}'$. Then $(v_{0},t_{0})$ is just an extended orbit segment obtained from of $(v_{0}',t_{0}')$. Using the uniform continuity of $\lambda$, we can choose $\d>0$ such that $|\lambda(v)-\lambda(w)|<\frac{\eta t_{0}'}{4Tt_{0}}$ whenever $d_{K}(v,w)<\d$. For such choice of $\d$, for any $w\in B_{t_{0}}(v_{0},\d)$ we have $$\begin{aligned} 2T\int_{0}^{t_{0}}\lambda(f_{s}w)ds & \geq2T\int_{0}^{t_{0}}\lambda(f_{s}v_{0})ds-(2T)t_{0}\cdot\frac{\eta t_{0}'}{4Tt_{0}},\\ & \geq\eta t_{0}'-\frac{\eta t_{0}'}{2}=\frac{\eta t_{0}'}{2}.\end{aligned}$$ In particular, setting $\alpha:=\exp(\frac{\eta t_{0}}{4T})>1$, we have that for any $w,w'\in f_{-t_{0}}W_{\d}^{u}(f_{t_{0}}v_{0})$ $$\alpha d^{u}(f_{t_{0}}w,f_{t_{0}}w')\leq d^{u}(w,w')$$ Given an arbitrary small scale $0<\rho<\min(\d,\ep)$, we will show that we can set $\rho':=\rho/\big(6e^{\Lambda}\sum\limits _{i=1}^{\infty}\alpha^{-i}\big)$ so that ${\cal C}_{T}(\eta)$ has specification with scale $\rho$ with corresponding $\tau(\rho):=t_{0}+2a$ with $a:=a(\rho')$ from Proposition \[cor: connecting orbits\]. Let $(v_{1},t_{1}),\ldots,(v_{n},t_{n})\in{\cal C}_{T}(\eta)$ be given. We will inductively define orbit segments $(w_{j},s_{j})$ such that for each $1\leq j\leq n$, we have $$f_{s_{j}}w_{j}\in W_{\rho'}^{cs}(f_{t_{j}}v_{j}).\label{eq: inductive hyp}$$ We begin by setting $(w_{1},s_{1}):=(v_{1},t_{1})$. Supposing that $(w_{j},s_{j})$ satisfies , we want to define $(w_{j+1},s_{j+1})$ in a way that the orbit of $w_{j+1}$ closely shadows that of $w_{j}$ for time $s_{j}$, then jumps (via Proposition \[cor: connecting orbits\] with transition time $\leq a$) to $v_{0}$ and shadows $v_{0}$ for time $t_{0}$, then jumps to (again via Proposition \[cor: connecting orbits\]) and shadows $w_{j+1}$ for time $s_{j+1}$. Since Corollary only allows one jump at a time, we define an auxiliary orbit segments $$(u_{j},l_{j}):=\big(f_{-s_{j}}[f_{s_{j}}w_{j},v_{0}]_{\tau_{j}},s_{j}+\tau_{j}+t_{0}\big)$$ by applying Proposition \[cor: connecting orbits\] to $f_{s_{j}}w_{j}$ and $v_{0}$. Note that Corollary can be successfully applied because $f_{s_{j}}w_{j}\in W_{\rho'}^{cs}(f_{t_{j}}v_{j})$ from and $f_{t_{j}}v_{j}\in{\rm Reg_{T}(\eta)}$ from $(v_{j},t_{j})\in{\cal C}_{T}(\eta)$. Also, from its definition, the orbit segment $(u_{j},l_{j})$ satisfies (1) and (2). Moreover, $f_{l_{j}}u_{j}\in W_{\rho'}^{cs}(v_{0})$ because $f_{s_{j}+\tau_{j}}u_{j}\in W_{\rho'}^{cs}(v_{0})$ and $d^{s}$ doesn't increase in forward time (quote definition of no focal points). We then apply Proposition \[cor: connecting orbits\] again to $f_{l_{j}}u_{j}$ and $v_{j+1}$ to obtain $$(w_{j+1},s_{j+1}):=\big(f_{-l_{j}}[f_{l_{j}}u_{j},v_{j+1}]_{\tau_{j}'},l_{j}+\tau_{j}'+t_{j+1}\big).$$ From the same reasoning as in the construction of $(u_{j},l_{j})$, the new orbit segment $(w_{j+1},s_{j+1})$ is well-defined, $f_{s_{j+1}}w_{j+1}\in W_{\rho'}^{cs}(f_{t_{j+1}}v_{j+1})$, and satisfies (1), (2), and (3). Now we show that $(w_{j},s_{j})$ constructed as above shadows each $(v_{i},t_{i})$ up to $i=j$ with scale $\rho'$; that is, $d_{t_{i}}(f_{s_{i}-t_{i}}w_{j},v_{i})<\rho$. From the construction, notice that for any $i\leq m\leq j$, we have $$d^{u}(f_{s_{i}}w_{m},f_{s_{i}}u_{m})\leq\rho'\alpha^{-(m-i)}.$$ This is because $d^{u}(f_{s_{m}}w_{m},f_{s_{m}}u_{m})\leq\rho'$ from the construction of $u_{m}$ and each time $f_{s_{m}}u_{m}$ and $f_{s_{m}}w_{m}$ pass through the reference orbit $(v_{0},t_{0})$ in backward time, their $d^{u}$ distance decrease by a factor of at least $\alpha$. Similarly, we have $$d^{u}(f_{s_{i}}u_{m},f_{s_{i}}w_{m+1})\leq\rho'\alpha^{-(1+m-i)}.$$ Hence, for any $i\leq j$, we can uniformly bound the $d^{u}$ distance $d^{u}(f_{s_{i}}w_{j},f_{s_{i}}w_{i})$ by $\frac{\rho}{3e^{\Lambda}}$ : $$\begin{aligned} d^{u}(f_{s_{i}}w_{j},f_{s_{i}}w_{i}) & \leq\sum\limits _{m=i}^{j-1}d^{u}(f_{s_{i}}w_{m}.f_{s_{i}}w_{m+1}),\\ & \leq\sum\limits _{m=i}^{j-1}d^{u}(f_{s_{i}}w_{m},f_{s_{i}}u_{m})+d^{u}(f_{s_{i}}u_{m},f_{s_{i}}u_{m},f_{s_{i}}w_{m+1}),\\ & \leq\rho'\sum\limits _{m=i}^{j-1}\alpha^{-(m-i)}+\rho'\sum\limits _{m=i}^{j-1}\alpha^{-(1+m-i)},\\ & \leq\frac{\rho}{3e^{\Lambda}},\end{aligned}$$ where the last inequality is due to the definition of $\rho'$. From the relations among various metrics , we obtain that $$\begin{aligned} d_{t_{i}}(f_{s_{i}-t_{i}}w_{j},v_{i}) & \leq d_{t_{i}}(f_{s_{i}-t_{i}}w_{j},f_{s_{i}-t_{i}}w_{i})+d_{t_{i}}(f_{s_{i}-t_{i}}w_{i},v_{i}),\\ & \leq\frac{\rho}{3e^{\Lambda}}\cdot e^{\Lambda}+\rho'\leq\rho,\end{aligned}$$ where we have used that $d^{s}(f_{s_{i}-t_{i}}w_{i},v_{i})\leq\rho'$ from the construction of $w_{i}$. Since $\rho$ was arbitrary, this finishes the proof. One useful corollary of the specification property is the closing lemma which creates lots of periodic orbits, and later allows ${\cal C}_{T}(\eta)$ to be approximated by regular periodic orbits. The proof of the closing lemma below follows the same idea as @BCFT2017 [Lemma 4.7]. \[The closing lemma\]\[lem:closing\_lem\] For any given $T,\eta,\ep>0$, there exists $s=s(\ep)>0$ such that for any $(v,t)\in{\cal C}_{T}(\eta)$ there exists $w\in B_{t}(v,\ep)$ and $\tau\in[0,s(\ep)]$ with $f_{t+\tau}w=w$. The proof is based on Brouwer's fixed point theorem. We begin by fixing $(v_{0}',t_{0}')\in\gt$ and set $(v_{0},t_{0}):=(f_{-T}v_{0}',2T+t_{0}')$ as in Proposition \[prop: specification\]. Reasoning as in Proposition \[prop: specification\], there exists $\d>0$ such that the distance between any $w,w'\in W_{\d}^{s}(v_{0})$ contract (and likewise expand for any $w,w'\in f_{-t_{0}}W_{\d}^{u}(f_{t_{0}}v_{0})$ under $f_{t_{0}}$) by factor $\alpha:=\exp(\frac{\eta t_{0}}{4T})$. Let $\ep=\ep_{0}/4$. We may suppose $\ep$ is small enough that ${\cal C}_{T}(\eta)$ has local product structure at scale $\ep$ and constant $\kappa$. Let $n\in\N$ such that $\alpha^{n}>2\kappa$. Also, we may assume $nt_{0}\geq1+\ep$ without loss of generality (otherwise, simply increase $n$). Now, for any $(v,t)\in{\cal C}_{T}(\eta)$, we use Proposition \[prop: specification\] to find $w_{0}\in B(v,\ep/4\kappa)$ whose orbits shadows $(v,t)$ once, then $(v_{0},t_{0})$ $n$-times, and then $(v,t)$ once again at scale $\ep/4\kappa$ with each transition time bounded above by $\widetilde{\tau}$. Since $w_{0}$ has to eventually shadow $(v,t)$ again, there exists $\tau_{0}\in[nt_{0},n(t_{0}+\widetilde{\tau})+\widetilde{\tau}]$ such that $f_{t+\tau_{0}}w_{0}\in B(v,\ep/4\kappa)$. From the triangle inequality pivoted at $v$, we have $d_{K}(w_{0},f_{t+\tau_{0}}w_{0})<2\cdot\ep/4\kappa=\ep/2\kappa$. Also, using the forward contraction of the stable manifold near the reference orbit $(v_{0},t_{0})$, for any $u\in W_{\ep}^{s}(w_{0})$, we have $$\begin{aligned} d_{K}(f_{t+\tau_{0}}u,w_{0}) & \leq d_{K}(f_{t+\tau_{0}}u,f_{t+\tau_{0}}w_{0})+d_{K}(f_{t+\tau_{0}}w_{0},w_{0}),\\ & \leq\alpha^{-n}d_{K}(u,w_{0})+\ep/2\kappa\leq\ep/\kappa.\end{aligned}$$ Since $v$ has local product structure at scale $\ep$ with constant $\kappa$ and $\w_{0}$ is $\ep/4\kappa$-close to $v$, the point $W_{\ep}^{s}(w_{0})\cap W_{\ep}^{cu}(f_{t+\tau_{0}}u)$ is well-defined and belongs to $W_{\ep}^{s}(w_{0})$. In particular, the continuous map from $W_{\ep}^{s}(w_{0})$ to itself given by $$u\mapsto W_{\ep}^{s}(w_{0})\cap W_{\ep}^{cu}(f_{t+\tau_{0}}u)$$ is well-defined. Hence, by Brouwer fixed point theorem, we can find a fixed point $w_{1}\in W_{\ep}^{s}(w_{0})$ under this map. Since the map is not given by $f_{s}$ for some $s$, the fixed point $w_{1}$ is not quite $\F$ invariant yet. Instead, its characterizing property is that $w_{1}\in W_{\ep}^{cu}(f_{t+\tau_{0}}w_{1})$. By adjusting $\tau_{0}$ by a unique small constant less than $\ep$, we have $w_{1}\in W_{\ep}^{u}(f_{t+\tau}w_{1})$ where $\tau$ is adjusted constant from $\tau_{0}$. Since the unstable manifold shrinks in backward time near $(v_{0},t_{0})$ by factor $\alpha$, this time we obtain a continuous map defined by the flow $f_{-t-\tau}$: $$f_{-t-\tau}\colon W_{2\ep}^{u}(f_{t+\tau}w_{1})\to W_{2\ep}^{u}(f_{t+\tau}w_{1}).$$ Hence, the Brouwer fixed point theorem applies again and we obtain $w\in W_{2\ep}^{u}(f_{t+\tau}w_{1})$ with $f_{t+\tau}w=w$. We are left to show that $d_{t}(v,w)\leq\ep_{0}$. This follows because $$\begin{aligned} d_{t}(v,w) & \leq d_{t}(v,w_{0})+d_{t}(w_{0},w_{1})+d_{t}(w_{1},w),\\ & \leq\ep/4\kappa+d^{s}(w_{0},w_{1})+d^{u}(w_{1},w),\\ & \leq\ep/4\kappa+\ep+2\ep\leq\ep_{0}.\end{aligned}$$ Here, we have used and the fact that $d_{t}(w_{1},w)\leq d^{u}(f_{t+1}w_{1},f_{t+1}w)\leq d^{u}(f_{t+\tau}w_{1},f_{t+\tau}w)$ because $\tau\geq nt_{0}-\ep\geq1$. Lastly, setting $s(\ep_{0}):=n(t_{0}+\widetilde{\tau})+\widetilde{\tau}+\ep$, we are done. Using the same argument as @BCFT2017 [Corollary 4.8], we have the following corollary of the closing lemma. \[cor: closing\_lemma\_regular\]For any given $T,\eta>0$, there exist $\ep=\ep(T,\eta)>0$ such that for any $\ep_{0}<\ep$ there exists $s=s(\ep_{0})>0$ satisfying the following: for any $(v,t)\in{\cal C}_{T}(\eta)$ there exists 1. a regular vector $w$ with $w\in B_{t}(v,\ep_{0})$, and 2. $\tau\in[0,s]$ with $f_{t+\tau}w=w$. From the uniform continuity of $\lambda$, there exists $\ep=\ep(\eta)>0$ such that for all $w\in B(v,\ep)$, we have $\lambda(w)>0.$ Since $v\in{\cal C}_{T}(\eta)$, there exists $v'=f_{\sigma}v$ for some $\sigma\in[-T,T$<span>\]</span> such that $\lambda(v')>\eta$. Also, we must have $(v',t+\sigma)\in{\cal C}_{2T}(\eta)$ from the definition of ${\cal C}_{T}(\eta)$. By Lemma \[lem:closing\_lem\], for any $2T,\eta,\ep_{0}>0$, there exists $s=s(\ep_{0})>0$ such that $w\in B_{t+\sigma}(v',\ep_{0})$ and $\tau\in[0,s(\ep_{0})]$ such that $f_{t+\sigma+\tau}(w)=w.$ Also, it follows that $w$ is a regular vector because $\lambda(w)>0$ from $d_{K}(v',w)<\ep_{0}<\ep.$ The Bowen property\[sec:The-Bowen-property\] ============================================ In this section, we prove the Bowen property for Hölder potentials and the geometric potential $\vp^{u}$. Lemmas in this section are exactly the same as their corresponding lemmas in @BCFT2017, and proofs follow mutatis mutandis. However, for the completeness we still give proofs there. The Bowen property for Hölder potentials ---------------------------------------- A function $\vp:T^{1}S\to\R$ is called *Hölder* *along stable leaves* if there exist $C,\theta,\delta>0$ such that for $v\in T^{1}S$ and $w\in W_{\delta}^{s}(v)$, one has $|\vp(v)-\vp(w)|\leq Cd^{s}(v,w)^{\theta}$. Similarly, $\vp$ is called *Hölder* *along unstable leaves* if there exist $C,\theta,\delta>0$ such that for $v\in T^{1}S$ and $w\in W_{\delta}^{u}(v)$, one has $|\vp(v)-\vp(w)|\leq Cd^{u}(v,w)^{\theta}$. Since $d_{K}$ is equivalent to $d^{u}$ and $d^{s}$ along unstable and stable leaves when $\delta$ is small, we know $\vp$ is ** Hölder if and only if $\vp$ is Hölder along stable and unstable leaves. A function $\vp$ is said to have the *Bowen property along stable leaves* with respect to ${\cal C}\subset T^{1}S\times[0,\infty)$ if there exist $\delta,K>0$ such that $$\sup\left\{ |\Phi(v,t)-\Phi(w,t)|:\ (v,t)\in{\cal C},\ w\in W_{\delta}^{s}(v)\right\} \leq K.$$ Similarly, a function $\vp$ is said to have the *Bowen property along unstable leaves* with respect to ${\cal C}\subset T^{1}S\times[0,\infty)$ if there exist $\delta,K>0$ such that $$\sup\left\{ |\Phi(v,t)-\Phi(w,t)|:\ (v,t)\in{\cal C},\ w\in f_{-t}W_{\delta}^{u}(f_{t}v)\right\} \leq K.$$ \[lem:holder\_bowen\_unstable\_stable\]For any $T,\eta>0$, if $\varphi$ is Hölder along stable leaves (resp. unstable leaves), then $\varphi$ has the Bowen property along stable leaves (resp. unstable leaves) with respect to $\gt(\eta)$. It is a direct consequence of Lemma \[lem:312\]. We prove the stable leaves case, and for unstable leaves one uses the same argument. Let $(v,t)\in\gt(\eta)$, $\delta_{1}>0$ be as in Lemma \[lem:312\] and $\delta_{2}>0$ be given by the Hölder continuity along stable leaves. Then for $\delta=\min\{\delta_{1},\delta_{2}\}$ and $w\in W_{\delta}^{s}(v)$, we have $$\begin{aligned} \left|\Phi(v,t)-\Phi(w,t)\right| & \leq\int_{0}^{t}\left|\varphi(f_{\tau}v)-\varphi(f_{\tau}w)\right|{\rm d}\tau\leq\int_{0}^{t}C_{1}\cdot d^{s}(f_{\tau}v,f_{\tau}w)^{\theta}{\rm d}\tau\\ & \leq\int_{0}^{t}C_{1}\cdot\left(Cd^{s}(v,w)\cdot e^{-\frac{\eta}{4T}\tau}\right)^{\theta}{\rm d}\tau\leq C_{1}\cdot C^{\theta}\cdot d^{s}(v,w)^{\theta}\int_{0}^{t}e^{\frac{-\eta\theta}{4T}\tau}{\rm d}\tau\\ & \leq C_{1}\cdot C^{\theta}\delta^{\theta}\frac{4T}{\eta\theta}.\end{aligned}$$ \[lem:Bowen\_stable\_unstable\_all\]Given $T,\eta>0$, suppose $\varphi$ has the Bowen property along stable leaves and unstable leaves with respect to $\gt(\frac{\eta}{2})$. Then $\varphi:T^{1}S\to\mathbb{R}$ has the Bowen property on $\gt(\eta)$. We first notice that since the curvature of horocycles is uniformly bounded, $d_{K}$ and $d^{u}$ are equivalent on $W_{\delta}^{u}$ when $\delta$ small enough. Hence, there exist $\delta_{0},C>0$ such that $d^{u}(u,v)\leq Cd_{K}(u,v)$ for $v\in T^{1}S$ and $u\in W_{\delta_{0}}^{u}(v).$ Let $\delta_{1}>0$ be the radius that guarantees for any $(v,t)\in{\cal G}_{T}(\eta)$ the foliations $W^{u}$ and $W^{cs}$ have local product structure at scale $\delta_{1}$ with constant $\kappa$. Let $\delta_{2}>0$ be the radius given in Lemma \[lem:312\] that if $(v,t)\in\gt(\eta)$, then for $w\in W_{\delta_{2}}^{u}(v)$ or $w\in W_{\delta_{2}}^{s}$, we have $(w,t)\in\gt(\frac{\eta}{2})$. Let $\delta_{3},K>0$ be the constants from the Bowen property for $\varphi$ along stable and unstable leaves with respect to $\gt(\frac{\eta}{2})$. Without loss generality we may assume $\delta_{3}<\delta_{0}$. Let $\delta=\min\{\delta_{0},\delta_{1},\delta_{2},\frac{\delta_{3}}{2\kappa C},\frac{\delta_{3}}{\kappa}\}$, $(v,t)\in\gt(\eta)$, and $w\in B_{t}(v,\delta)$. By the local product structure there exists unique $v'\in W_{\kappa\delta}^{u}\cap W_{\kappa\delta}^{cs}(v)$. Suppose for now that $f_{t}(v')\in W_{\delta_{3}}^{u}(f_{t}w)$. Then we find $\rho\in[-\kappa\delta,\kappa\delta]$ such that $f_{\rho}(v')\in W_{\kappa\delta}^{s}(v)\subset W_{\delta_{3}}^{s}(v)$. Thus, from the the Bowen property along the stable and unstable leaves, we have $$\left|\Phi(v,t)-\Phi(f_{\rho}v',t)\right|\leq K{\rm \ and}\ \left|\Phi(v',t)-\Phi(w,t)\right|\leq K.$$ Then, $$\begin{aligned} \left|\Phi(v,t)-\Phi(w,t)\right| & \leq\left|\Phi(v,t)-\Phi(f_{\rho}v',t)\right|+\left|\Phi(f_{\rho}v',t)-\Phi(v',t)\right|+\left|\Phi(v',t)-\Phi(w,t)\right|\\ & \leq2K+2||\varphi||\cdot|\rho|.\end{aligned}$$ Now, let us establish $f_{t}(v')\in W_{\delta_{3}}^{u}(f_{t}w)$. Supposing that it does not hold, then there exists $\sigma\in[0,t]$ such that $$\delta_{3}<d^{u}(f_{\sigma}v',f_{\sigma}w)\leq\delta_{0}.\label{eq:7.1}$$ Notice that $v'\in W_{\kappa\delta}^{cs}(v)\subset B_{t}(v,\kappa\delta)$, so $$d_{K}(f_{\sigma}v',f_{\sigma}w)\leq d_{K}(f_{\sigma}v',f_{\sigma}v)+d_{K}(f_{\sigma}v,f_{\sigma}w)\leq2\kappa\delta.$$ Thus, $d^{u}(f_{\sigma}v',f_{\sigma}w)\leq2C\kappa\delta<\delta_{3}$ and we have derived a contradiction to (\[eq:7.1\]). Summing up two lemmas above, we have the desired result for Hölder potentials: \[thm:Holder\_Bowen\]If $\varphi$ is Hölder continuous, then it has the Bowen property with respect to $\gt(\eta)$ for any $T,\eta>0$. The Bowen property for the geometric potential ----------------------------------------------- The *geometric potential* $\vp^{u}:T^{1}S\to\R$ is defined as: for $v\in T^{1}S$ $$\varphi^{u}(v):=-\lim_{t\to0}\frac{1}{t}{\displaystyle \log\det(}\left.df_{t}\right|_{E^{u}(v)})=-\left.\frac{d}{dt}\right|_{t=0}{\displaystyle \log\det(}\left.df_{t}\right|_{E^{u}(v)}).$$ In general, we do not know if $\vp^{u}$ is Hölder continuous. There are some partial results under the nonpositively curved assumption; however, not much is known in the no focal points setting. Nevertheless, in this subsection we prove $\vp^{u}$ has the Bowen property on $\gt(\eta)$. We denote by $J_{v}^{u}$ the unstable Jacobi field along $\gamma_{v}$ with $J_{v}^{u}(0)=1$. Let $U_{v}^{u}:=(J_{v}^{u})'/J_{v}^{u}$, then $U_{v}^{u}$ is a solution to the Riccati equation $$U'+U^{2}+K(f_{t}v)=0.$$ Notice that we also have $U_{v}^{u}(t)=k^{u}(f_{t}v)$. Notice the following lemma relates $\vp^{u}(t)$ and $-U_{v}^{u}(t)$. @BCFT2017 [Lemma 7.6] There exists a constant $K$ such that for all $v\in T^{1}S$ and $t>0$ we have $$\left|\int_{0}^{t}\vp^{u}(f_{\tau}v)d\tau-\int_{0}^{t}-U_{v}^{u}(\tau)d\tau\right|\leq K.$$ Hence, in order to prove the Bowen property of $\varphi^{u}$ on $\mathcal{G}_{T}(\eta)$, we only have to prove Lemma \[prop:77\] below which follows from Lemma \[lem:710711\]. \[prop:77\] For every $T,\eta>0$, there are $\delta,Q,\xi>0$ such that given any $(v,t)\in\mathcal{G}_{T}(\eta),w_{1}\in W_{\delta}^{s}(v)$ and $w_{2}\in f_{-t}W_{\delta}^{u}(f_{t}v)$, for every $0\leq\tau\leq t$ we have $$|U_{v}^{u}(\tau)-U_{w_{1}}^{u}(\tau)|\leq Qe^{-\xi\tau},$$ $$|U_{v}^{u}(\tau)-U_{w_{2}}^{u}(\tau)|\leq Q(e^{-\xi\tau}+e^{-\xi(t-\tau)}).$$ \[lem:710711\] For every $T,\eta>0$, there are $\delta,Q$ such that given any $(v,t)\in\mathcal{G}_{T}(\eta),w\in B_{\tau}(v,\delta)$, for every $0\leq\tau\leq t$ we have $$|U_{v}^{u}(\tau)-U_{w}^{u}(\tau)|\leq Q\exp\left(-\frac{\eta\tau}{T}\right)+Q\int_{0}^{\tau}\exp\left(-\frac{\eta(\tau-s)}{2T}\right)|K(f_{s}v)-K(f_{s}w)|ds.$$ \[Proof of Lemma \[prop:77\]\] We may choose small $\delta$ so that $w_{1},w_{2}\in\mathcal{G}_{T}(\eta/2)$. We will use $Q$ to denote a uniform constant that is updated as necessary when the context is clear. Since $w_{1}\in W_{\delta}^{s}(v)$, the smoothness of $K$ together with Lemma \[lem:312\] implies $$|K(f_{\tau}v)-K(f_{\tau}w_{1})|\leq Qd_{K}(f_{\tau}v,f_{\tau}w_{1})\leq Qd^{s}(f_{\tau}v,f_{\tau}w_{1})\leq Q\exp\left(-\frac{\eta\tau}{4T}\right)$$ for any $\tau\in[0,t]$. Thus by Lemma \[lem:710711\], there exists $Q>0$, $$\begin{aligned} {1} |U_{v}^{u}(\tau)-U_{w_{1}}^{u}(\tau)| & \leq Q\exp\left(-\frac{\eta\tau}{T}\right)+Q\int_{0}^{\tau}\exp(-\frac{\eta(\tau-s)}{2T})\exp(-\frac{\eta s}{4T})ds\\ & \leq Q\exp\left(-\frac{\eta\tau}{T}\right)+Q\exp(-\frac{\eta\tau}{4T})\int_{0}^{\tau}\exp(-\frac{\eta(\tau-s)}{4T})ds\\ & \leq Q\exp\left(-\frac{\eta\tau}{T}\right)+Q\tau\exp\left(-\frac{\eta\tau}{4T}\right)\\ & \leq Qe^{-\xi\tau},\end{aligned}$$ once we fix $\xi<\eta/4T$. Hence $|U_{v}^{u}(\tau)-U_{w_{1}}^{u}(\tau)|\leq Qe^{-\xi\tau}$. For $w_{2}\in f_{-t}W_{\delta}^{u}(f_{t}v)$, we have the following estimation for $K$: $$|K(f_{\tau}v)-K(f_{\tau}w_{2})|\leq Qd_{K}(f_{\tau}v,f_{\tau}w_{2})\leq Qd^{u}(f_{\tau-t}f_{t}v,f_{\tau-t}f_{t}w_{2})\leq Q\exp\left(-\frac{\eta(t-\tau)}{4T}\right)$$ for any $\tau\in[0,t]$. We use Lemma \[lem:710711\] again and get: $$\begin{aligned} |U_{v}^{u}(\tau)-U_{w_{2}}^{u}(\tau)| & \leq & Q\exp\left(-\frac{\eta\tau}{T}\right)+Q\int_{0}^{\tau}\exp(-\frac{\eta(\tau-s)}{2T})\exp\left(-\frac{\eta(t-s)}{4T}\right)ds,\\ & \leq & Q\exp\left(-\frac{\eta\tau}{T}\right)+Q\exp\left(-\frac{\eta(t-\tau)}{4T}\right)\int_{0}^{\tau}\exp\left(-\frac{3\eta(\tau-s)}{4T}\right)ds\\ & \leq & Q\exp\left(-\frac{\eta\tau}{T}\right)+Q\exp\left(-\frac{\eta(t-\tau)}{4T}\right).\end{aligned}$$ This completes the proof. \[Proof of Lemma \[lem:710711\]\] Without loss of generality, we may assume $U_{w}^{u}(0)\geq U_{v}^{u}(0)$ and let $U_{1}$ be the solution of the Riccati equation along $\gamma_{v}$ with $U_{1}(0)=U_{w}^{u}(0)$. We have $$|U_{v}^{u}(\tau)-U_{w}^{u}(\tau)|\leq|U_{v}^{u}(\tau)-U_{1}(\tau)|+|U_{1}(\tau)-U_{w}^{u}(\tau)|.$$ Since $U_{w}^{u}(0)\geq U_{v}^{u}(0)$ and both $U_{1}$ and $U_{v}^{u}$ are Riccati solutions along $\gamma_{v}$, we have $U_{1}(\tau)\geq U_{v}^{u}(\tau)=k^{u}(f_{\tau}v)$ for all $\tau$. Hence $$(U_{1}-U_{v}^{u})'=-(U_{1}-U_{v}^{u})(U_{1}+U_{v}^{u})\leq-2k^{u}(f_{\tau}v)(U_{1}-U_{v}^{u})\leq-2\lambda(f_{\tau}v)(U_{1}-U_{v}^{u}).$$ Thus $(U_{1}(\tau)-U_{v}^{u}(\tau))\exp\big(\int_{0}^{\tau}2\lambda(f_{s}v)ds\big)$ is not increasing. By Lemma \[lem:312\] we have $$\begin{aligned} 0 & \leq & U_{1}(\tau)-U_{v}^{u}(\tau)\leq(U_{w}^{u}(0)-U_{v}^{u}(0))\exp\left(-\int_{0}^{\tau}2\lambda(f_{s}v)ds\right)\\ & \leq & Q\exp\left(-\frac{1}{T}\int_{0}^{\tau}\lt(f_{s}v)ds\right)\leq Q\exp\left(-\frac{\eta\tau}{T}\right).\end{aligned}$$ Now we estimate $|U_{1}(\tau)-U_{w}^{u}(\tau)|$. We may assume $U_{1}(\tau)>U_{w}^{u}(\tau)$ (the other case is similar). Suppose $U_{1}(s_{0})=U_{w}^{u}(s_{0})$ at $s_{0}<\tau$ and $U_{1}(s)>U_{w}^{u}(s)$ for any $s\in(s_{0},t)$. By taking difference of the corresponding Riccati equations, for any $s\in(s_{0},t)$, we have: $$\begin{aligned} (U_{1}-U_{w}^{u})'(s) & = & -(U_{1}(s)-U_{w}^{u}(s))(U_{1}(s)+U_{w}^{u}(s))+K(f_{s}v)-K(f_{s}w)\\ & \leq & -2k^{u}(f_{s}w)(U_{1}-U_{w}^{u})(s)+|K(f_{s}v)-K(f_{s}w)|.\end{aligned}$$ Thus $$\begin{aligned} & & \frac{d}{ds}\left((U_{1}(s)-U_{v}^{u}(s))\exp\left(\int_{s_{0}}^{s}2k^{u}(f_{a}w)da\right)\right),\\ & = & \exp\left(\int_{s_{0}}^{s}2k^{u}(f_{a}w)da\right)((U_{1}-U_{w}^{u})'(s)+2k^{u}(f_{s}w)(U_{1}-U_{w}^{u})(s)),\\ & \leq & \exp\left(\int_{s_{0}}^{s}2k^{u}(f_{a}w)da\right)|K(f_{s}v)-K(f_{s}w)|.\end{aligned}$$ Together with Lemma \[lem:2.9\], we have $$\begin{aligned} U_{1}(\tau)-U_{v}^{u}(\tau) & \leq & \exp\left(-\int_{s_{0}}^{\tau}2k^{u}(f_{a}w)da\right)\int_{s_{0}}^{\tau}\exp\left(\int_{s_{0}}^{s}2k^{u}(f_{a}w)da\right)|K(f_{s}v)-K(f_{s}w)|ds\\ & = & \int_{s_{0}}^{\tau}\exp\left(-\int_{s}^{\tau}2k^{u}(f_{a}w)da\right)|K(f_{s}v)-K(f_{s}w)|ds\\ & \leq & \int_{s_{0}}^{\tau}\exp\left(-\int_{s}^{\tau}2\lambda(f_{a}w)da\right)|K(f_{s}v)-K(f_{s}w)|ds\\ & \leq Q & \int_{s_{0}}^{\tau}\exp\left(-\frac{1}{T}\int_{s}^{\tau}\lt(f_{a}w)da\right)|K(f_{s}v)-K(f_{s}w)|ds\\ & \leq Q & \int_{0}^{\tau}\exp\left(-\frac{\eta(\tau-s)}{2T}\right)|K(f_{s}v)-K(f_{s}w)|ds,\end{aligned}$$ where the last inequality follows because $w\in\gt(\eta/2)$. Putting together Lemma \[lem:Bowen\_stable\_unstable\_all\] and Lemma \[prop:77\], we have the following result: \[thm:geometric-potential-Bowen\]The geometric potential $\varphi^{u}$ has the Bowen property with respect to $\gt(\eta)$ for any $T,\eta>0$. Pressure gap and the proof of Theorem A\[sec:Pressure-gap-and\_Thm\_A\] ======================================================================= The aim of this section is to prove Theorem A. In order to do that, we spend most part of this section on related estimates on pressures, such as $P(\cdot)$, $P(\Sing,\cdot)$, $P_{\exp}^{\perp}(\cdot),$ and relations between them. We know when the collection ${\cal C}=X\times[0,\infty)$ we can use the variational principle to understand the topological pressure $P(\cdot)$. However, when the collection ${\cal C}$ is not the set of all finite orbits, the variational principle does not hold any more. Nevertheless, one can still use empirical measures along orbits segments in ${\cal C}$ to "understand" $P({\cal C},\cdot)$. To be more precise, we start from recalling related terms and estimates given in @BCFT2017. Let $X$ be a compact metric space, ${\cal F}$ be a continuous flow, and $\vp:X\to\R$ be a continuous potential. Given a collection of finite orbit segments ${\cal C}\subset X\times[0,\infty)$, for $(x,t)\in{\cal C}$ the *empirical measure* $\delta_{(x,t)}$ is defined as, for any $\psi\in C(X)$, $$\int\psi d{\cal \delta}_{(x,t)}=\frac{1}{t}\int_{0}^{t}\psi(f_{\tau}x)d\tau.$$ We further write ${\cal M}_{t}({\cal C})$ for the convex linear combinations of empirical measures of length $t$, that is, $${\cal M}_{t}({\cal C}):=\{\sum_{i=1}^{k}a_{i}\delta_{(x_{i},t)}:\ a_{i}\geq0,\ \sum a_{i}=1,\ (x_{i},t)\in{\cal C}\}.$$ Finally, let ${\cal M}({\cal {\cal C}})$ denote the set of ${\cal F}-$invariant Borel probability measures
{'source': 'arXiv_out/1808'}