### November 27, 2006

Work carried out at the Federal University of Bahia (Brazil) and ICTP (Italy) Partially supported by PADCT .
<ph f="cmbx">SRB measures for weakly expanding maps</ph>

### Vilton Pinheiro

• Abstract. We construct SRB measures for endomorphisms satisfying conditions far weaker than the non-uniformly expansion.
As a consequence, the definition of non-uniformly expanding map can be weakened. We also prove the existence of an absolutely continuous invariant measure for local diffeomorphisms, only assuming the existence of hyperbolic times for Lebesgue almost all point of the manifold.

1 Introduction

In [9Keller proved for any non-flat $S$  -unimodal map $f$  the existence of an absolutely continuous invariant measure whenever there exists a constant $\lambda$  such that for Lebesgue almost all $x$
 $\begin{array}{c}{limsup}_{n\to \infty }\frac{1}{n}{\sum }_{j=0}^{n-1}log|Df\left({f}^{j}\left(x\right)\right)|\ge \lambda >0.\end{array}$ (1)
This measure is called a physical or SRB (Sinai-Ruelle-Bowen) measure.
The result of Keller was somewhat generalized by Alves-Bonatti-Viana [4in the context of non-flat maps with slow recurrence to the critical set defined on a compact Riemannian manifold $M$  . For this, they assumed that
 $\begin{array}{c}{liminf}_{n\to \infty }\frac{1}{n}{\sum }_{j=0}^{n-1}log\left(\parallel \left(Df\left({f}^{j}\left(x\right)\right){\right)}^{-1}{\parallel }^{-1}\right)\ge \lambda >0\end{array}$ (2)
for Lebesgue almost all $x\in M$  . Of course, if the dimension of $M$  is one we have $|Df\left(x\right)|=\parallel \left(Df\left(x\right){\right)}^{-1}{\parallel }^{-1}$  . Observe that $\parallel \left(Df\left(x\right){\right)}^{-1}{\parallel }^{-1}>1$  means that $Df\left(x\right)$  expands in all directions, that is, $\parallel \left(Df\left(x\right)\right)v\parallel \ge \gamma |v|$  $\forall v\in {T}_{x}M$  (where $\gamma =\parallel \left(Df\left(x\right){\right)}^{-1}{\parallel }^{-1}$  ). Systems satisfying ( 2 ) are called non-uniformly expanding, they generalize the expanding systems. As particular examples of this kind of systems we can mention one-dimensional maps with positive Lyapunov exponents ( like quadratic maps and, more in generally, non-flat multimodal maps [11), and in higher dimension, the Viana maps [12.
The purpose of this paper is to generalize the result of Keller in the context of [4with the far more weak condition of $limsup$  as it appears in Keller's theorem, i.e.,
 $\begin{array}{c}{limsup}_{n\to \infty }\frac{1}{n}{\sum }_{j=0}^{n-1}log\left(\parallel \left(Df\left({f}^{j}\left(x\right)\right){\right)}^{-1}{\parallel }^{-1}\right)\ge \lambda >0.\end{array}$ (3)
Moreover, we prove that the condition ( 3 ) indeed implies ( 2 ) and so, the definition of non-uniformly expanding map can be weakened.

Statement of results

Let $M$  be a compact Riemannian manifold of dimension $d\ge 1$  and $Leb$  a normalized Riemannian volume form on $M$  that we call Lebesgue measure.
A map $f:M\to M$  will be called non-flat if $f$  is local ${C}^{2}$  diffeomorphism in the whole manifold except in a non-degenerate critical set $\mathcal{C}\subset M$  .
The definition of a non-degenerate critical set is given in the beginning of the section  2 ( If $dim\left(M\right)=1$  this definition is the usual definition of non-flatness, see [11).
We say that $f$  satisfies the slow approximation condition if given any $\epsilon >0$  there exists $\delta >0$  such that for Lebesgue almost every point $x\in M$  we have
 $\begin{array}{c}{limsup}_{n\to +\infty }\frac{1}{n}{\sum }_{j=0}^{n-1}-log{\text{dist}}_{\delta }\left({f}^{j}\left(x\right),\mathcal{C}\right)\le \epsilon ,\end{array}$ (*)
where ${d}_{\delta }\left(x,\mathcal{C}\right)$  denotes the $\delta$  -truncated distance from $x$  to $\mathcal{C}$  defined as ${d}_{\delta }\left(x,\mathcal{C}\right)=d\left(x,\mathcal{C}\right)$  if $d\left(x,\mathcal{C}\right)\le \delta$  and ${d}_{\delta }\left(x,\mathcal{C}\right)=1$  otherwise.
We call the basin of some invariant measure $\nu$  the set $\mathcal{ℬ}\left(\nu \right)$  of the points $x\in M$  such that the average of Dirac measures along the orbit of converge in the weak ${}^{*}$  topology to $\nu$  , that is, ${lim}_{n\to +\infty }\frac{1}{n}{\sum }_{j=0}^{n-1}\phi \left({f}^{j}\left(x\right)\right)=\int \phi d\nu \text{,}\forall \phi \in {C}^{0}\left(M\right).$
Theorem 1. Let $f:M\to M$  be a non-flat map satisfying the slow approximation condition. If $f$  ( or some fixed iterate ) satisfies
 $\begin{array}{c}{liminf}_{n\to \infty }\frac{1}{n}{\sum }_{i=0}^{n-1}log\left(\parallel \left(Df\left({f}^{i}\left(x\right)\right){\right)}^{-1}\parallel \right)\le -\lambda <0\end{array}$ (4)
(or equivalently satisfies ( 3 )) for Lebesgue almost every point $x\in M$  then there exists a finite collection of ergodic absolutely continuous invariant measures such that almost every point in $M$  belongs to the basin of one of these measures.
Theorem  1 is in fact a consequence of the Main Theorem below which assures the existence of a global Markov structure with integrable time function. A global Markov structure is composted by a time function $x↦R\left(x\right)\in \mathbb{N}\cup \left\{\infty \right\}$  , an induced map $F\left(x\right)={f}^{R\left(x\right)}\left(x\right)$  defined almost everywhere and a countably partition refining a finite triangulation of $M$  . Each element of this partition is sent by $F$  , with good properties ( see section  2 for details ), onto an element of the triangulation. One can prove that such $F$  has an absolutely continuous invariant measure $\nu$  . Moreover, whenever $R$  is $\nu$  -integrable it gives rise to an absolutely continuous $f$  -invariant finite measure. We observe that the existence of a Markov structure allows a more deep study of the dynamical's properties the map $f$  . For instance, it was used in [5, 7, 8, 13, 14to study the decay of correlations and prove the Central Limit Theorem for a large class of maps.
Main Theorem. Every map satisfying the hypothesis of theorem  1 has a global Markov Structure with integrable time function.
The proof of the main theorem is a mix of the strategy adopted by Alves-Luzzatto-Pinheiro in [5for non-uniform expanding maps ( inspired in Young's paper [13) and the proof of Keller's theorem in [11. Here we are able to simplify the proof of the existence of the Markov Structure that appears in [5, 8, 13and make it closer to the one dimensional case.
A map $f:M\to M$  is called non-uniformly expanding if $f$  is a non-flat map satisfying the slow approximation condition and it ( or some fixed iterate ) satisfies for Lebesgue almost every point $x\in M$  the following condition,
 $\begin{array}{c}{limsup}_{n\to \infty }\frac{1}{n}{\sum }_{i=0}^{n-1}log\left(\parallel \left(Df\left({f}^{i}\left(x\right)\right){\right)}^{-1}\parallel \right)\le -\lambda <0\end{array}$ (5)
(or equivalently satisfies ( 2 )).
Theorem 2. A map is non-uniformly expanding if and only if it satisfies the hypothesis of theorem  1 .
A crucial ingredient in the proof of these results is the existence, for almost all point $x\in M$  , of moments $n=n\left(x\right)\in \mathbb{N}$  such that $f$  looks like an expanding map on some neighborhood of $x$  , that is, this neighborhood ${V}_{n}\left(x\right)$  is sent by ${f}^{n}$  , with good properties of expansion and distortion, to some definitively big ball $B\left({f}^{x}\left(x\right)\right)$  centered in ${f}^{n}\left(x\right)$  .
The last result of this paper is about hyperbolic times which are associated with theses moments of expansion mentioned above ( see Proposition  2.4 ). In [3Alves-Araujo proved the existence of a SRB measure when the critical set is empty and the first hyperbolic time is Lebesgue integrable . Here, we were able to remove the hypothesis of integrability.
Theorem 3. Let $f:M\to M$  be a ${C}^{2}$  covering map (local diffeomorphism) on a compact manifold M. If the first hyperbolic time function is defined for Lebesgue almost every point of M then $f$  is a non-uniformly expanding map.

2 Hyperbolic Times

Definition 2.1. Let $f:M\to M$  be a ${C}^{2}$  local diffeomorphism in the whole manifold except in a critical set $\mathcal{C}\subset M$  . We say that $\mathcal{C}\subset M$  is a non-degenerate critical set, more precisely, a $\beta$  -non-degenerate critical set if $\exists B>0$  such that the following three conditions hold.
• (1) $\frac{1}{B}dist\left(x,\mathcal{C}{\right)}^{\beta }\le \frac{\parallel Df\left(x\right)v\parallel }{\parallel v\parallel }\le B$  for all $v\in {T}_{x}M$  .
For every $x,y\in M\\mathcal{C}$  with $dist\left(x,y\right)  we have
• (2) $|log\parallel Df\left(x{\right)}^{-1}\parallel -log\parallel Df\left(y{\right)}^{-1}\parallel |\le \frac{B}{dist\left(x,\mathcal{C}{\right)}^{\beta }}dist\left(x,y\right)$  ;
• (3) $|log|detDf\left(x\right)|-log|detDf\left(y\right)||\le \frac{B}{dist\left(x,\mathcal{C}{\right)}^{\beta }}dist\left(x,y\right)$  .
Let us fix $0  . If $f:M\to M$  be a ${C}^{2}$  local diffeomorphism outside a $\beta$  -non-degenerate critical set $\mathcal{C}$  then, given $0<\sigma <1$  and $\delta >0$  , we will say that $n$  is a $\left(\sigma ,\delta \right)$  -hyperbolic time for a point $x\in M$  if for all $1\le k\le n$  we have ${\prod }_{j=n-k}^{n-1}\parallel \left(Df\circ {f}^{j}\left(x\right){\right)}^{-1}\parallel \le {\sigma }^{k}\text{and}$  $dis{t}_{\delta }\left({f}^{n-k},\mathcal{C}\right)\ge {\sigma }^{bk}$  . We denote the set of points of $M$  such that $n\in \mathbb{N}$  is $\left(\sigma ,\delta \right)$  -hyperbolic time by ${H}_{n}\left(\sigma ,\delta \right)$  .
Proposition 2.2. [4 Let $f:M\to M$  be a ${C}^{2}$  non-flat map satisfying the slow approximation condition. Given $\lambda >0$  there exists $\delta >0$  and $\theta >0$  , depending only on $f$  and $\lambda$  , such that $#\left\{1\le j\le n\parallel x\in {H}_{j}\left({e}^{-\lambda /4},\delta \right)\right\}\ge \theta n,$  whenever ${\sum }_{i=0}^{n-1}log\parallel \left(Df\left({f}^{i}\left(x\right)\right){\right)}^{-1}{\parallel }^{-1}>\lambda n$  .
Corollary 2.3. Let $f:M\to M$  be a ${C}^{2}$  non-flat map satisfying the slow approximation condition. Given $\lambda >0$  there exists $\delta >0$  and $\theta >0$  , depending only on $f$  and $\lambda$  , such that if $A\subset M$  with $limsup\frac{1}{n}{\sum }_{i=0}^{n-1}log\parallel \left(Df\left({f}^{i}\left(x\right)\right){\right)}^{-1}{\parallel }^{-1}>\lambda$  for Lebesgue almost all $x\in A$  then ${limsup}_{n}\frac{1}{n}#\left\{1\le j\le n\parallel x\in {H}_{j}\left({e}^{-\lambda /4},\delta \right)\right\}\ge \theta$  for Lebesgue almost all $x\in A$
We want to finish this section enunciating a proposition that assures a good behavior, with respect to ${f}^{n}$  , of a neighborhood of a point $x$  when $n$  is a hyperbolic time to this point.
Proposition 2.4. Let $f:M\to M$  be a ${C}^{2}$  local diffeomorphism outside a non-degenerate critical set $\mathcal{C}$  . Given $\sigma <1$  and $\delta >0$  , there exist ${\delta }_{1},\rho >0$  , depending only on $\sigma ,\delta$  and on the map $f$  , such that for any $x\in M$  and $n\ge 1$  a $\left(\sigma ,\delta \right)$  -hyperbolic time for $x$  , there exists a neighborhood ${V}_{n}\left(x\right)$  of $x$  with the following properties:
• (1) ${f}^{n}$  maps ${V}_{n}\left(x\right)$  diffeomorphically onto the ball ${B}_{{\delta }_{1}}\left({f}^{n}\left(x\right)\right)$  ;
• (2) $dist\left({f}^{n-j}\left(p\right),{f}^{n-j}\left(q\right)\right)\le {\sigma }^{j/2}dist\left({f}^{n}\left(p\right),{f}^{n}\left(q\right)\right)$  $\forall p,q\in {V}_{n}\left(x\right)$  and $1\le j  ;
• (3) $log|\frac{detD{f}^{n}\left(p\right)}{detD{f}^{n}\left(q\right)}|\le \rho dist\left({f}^{n}\left(p\right),{f}^{n}\left(q\right)\right)$  $\forall p$  and $q\in {V}_{n}\left(x\right)$  .
We shall often refer to the sets ${V}_{n}\left(x\right)$  as hyperbolic pre-balls and to their images ${f}^{n}\left({V}_{n}\left(x\right)\right)$  as hyperbolic balls. Notice that the latter are indeed balls of radius ${\delta }_{1}$  .
• Proof. For the proofs of items 1 and 2 see Lemma 5.2 in [4. Let $p$  and $q\in {V}_{n}\left(x\right)$  . As $n$  is a hyperbolic time for $x$  , it follows from the item 2 above that $dist\left({f}^{j}\left(q\right),\mathcal{C}\right)\ge dist\left({f}^{j}\left(x\right),\mathcal{C}\right)-dist\left({f}^{j}\left(x\right),{f}^{j}\left(q\right)\right)\ge {\sigma }^{b\left(n-j\right)}-{\delta }_{1}{\sigma }^{\left(n-j\right)/2}\ge \left(1-{\delta }_{1}\right){\sigma }^{b\left(n-j\right)}$  . Now, using the condition 3 of the definition of a non-degenerate critical set we get $log|\frac{detD{f}^{n}\left(q\right)}{detD{f}^{n}\left(p\right)}|\le {\sum }_{j=0}^{n-1}log|\frac{detDf\left({f}^{j}\left(q\right)\right)}{detDf\left({f}^{j}\left(p\right)\right)}|\le$  $\le {\sum }_{j=0}^{n-1}B\frac{{\sigma }^{\left(n-j\right)/2}dist\left({f}^{n}\left(q\right),{f}^{n}\left(p\right)\right)}{\left(\left(1-{\delta }_{1}\right){\sigma }^{b\left(n-j\right)}{\right)}^{\beta }}\le$  $\le \frac{B}{\left(1-{\delta }_{1}{\right)}^{\beta }\left(1-{\sigma }^{1/2-b\beta }\right)}dist\left({f}^{n}\left(q\right),{f}^{n}\left(p\right)\right)$

Markov Structures and The Partitioning Algorithm

In this section we will define what we mean by a Global Markov Structure and prove the first part of the Main Theorem. A Global Markov Structure for a map $f:M\to M$  is a piecewise expanding Markovian map induced by it, that is, there exists a open subset ${M}^{\prime }$  with Lebesgue total measure ( $Leb\left(M\{M}^{\prime }\right)=0$  ) and a function $R:{M}^{\prime }\to \mathbb{N}\cup \left\{+\infty \right\}$  (called time function) such that the induced map $F:{M}^{\prime }\to M$  given by $F\left(x\right)={f}^{R\left(x\right)}\left(x\right)$  is a piecewise expanding Markovian map.

Piecewise expanding Markovian map

Let $F$  be a map defined a open subset of $M$  with full Lebesgue measure. $F$  will be called a piecewise expanding Markovian map if there is a countable partition $\mathcal{P}$  of its domain into open sets and a finite collection of $\left\{{P}_{1},...,{P}_{n}\right\}$  of topological balls of $M$  ( for instance, a triangulation of M ) such that:
• (1) Expansion: there is $0<\kappa <1$  such that for each $U\in \mathcal{P}$  and $x\in U$  $\parallel DF\left(x{\right)}^{-1}\parallel <\kappa .$
• (2) Bounded distortion: there is $K>0$  such that for each $U\in \mathcal{P}$  and $x,y\in U$  $log|\frac{detDF\left(x\right)}{detDF\left(y\right)}|\le Kdist\left(F\left(x\right),F\left(y\right)\right).$
• (3) Long branches:
• (a) Each ${P}_{j}$  have a piecewise ${C}^{2}$  boundary with a finite $\left(d-1\right)$  -dimensional volume. Moreover, there is some $\beta \in \left(\frac{\kappa }{1-\kappa },1\right]$  such that the ${C}^{2}$  components of the boundary of each ${P}_{j}$  meet at angles greater than $arcsin\left(\beta \right)>0$  .
• (b) For each $U\in \mathcal{P}$  , $F{|}_{U}$  is a ${C}^{2}$  diffeomorphism onto some element of $\left\{{P}_{1},...,{P}_{n}\right\}$  .
The theorem below assures that every ${C}^{2}$  piecewise expanding Markovian map $F:\Delta \to \Delta$  has some absolutely continuous invariant measure $\nu$  whose density belongs to ${L}^{\infty }\left(Leb\right)$  ; see e.g. Lemma $4.4.1$  of [1.
Moreover, it is straightforward to check that if $R$  is $\nu$  -integrable then $\mu ={\sum }_{j=0}^{\infty }{f}_{*}^{j}\left(\nu |\left\{R>j\right\}\right)$  is an absolutely continuous $f$  -invariant measure. Here $\nu |\left\{R>j\right\}$  denotes the measure given by $\nu |\left\{R>j\right\}\left(A\right)=\nu \left(A\cap \left\{R>j\right\}\right)$  , and ${f}_{*}^{j}$  denotes the push-forward of the measure by ${f}^{j}$  .
We will say that the Markov Structure has integrable time function if $R$  is integrable with respect to any absolutely continuous $F$  -invariant measures. As a consequence to the the theorem below, if we want to show that Markov Structure has integrable time function , we need only to verify the integrability of $R$  with respect to the finite collection of ergodic absolutely continuous invariant measures gives by this theorem.
Theorem 4. [1, 2, 6If $F:\Delta \to \Delta$  is a ${C}^{2}$  piecewise expanding Markovian map, then there exists a finite set of ergodic absolutely continuous invariant measures such that Lebesgue almost all point of $\Delta$  belongs to the basin of one of these measures. Moreover, the density of each of these measure with respect to Lebesgue is uniformly bounded by some constant.

The Partitioning Algorithm

Let $f:M\to M$  be a ${C}^{2}$  non-flat map satisfying the slow approximation condition and ${\lambda }_{0}>0$  . Suppose that ${limsup}_{n\to \infty }\frac{1}{n}{\sum }_{i=0}^{n-1}log\parallel \left(Df\left({f}^{i}\left(x\right)\right){\right)}^{-1}{\parallel }^{-1}>{\lambda }_{0}$  for Lebesgue almost every $x\in M$  . In this section we will show how one can construct a Markovian Structure on $M$  .
Replacing, if is necessary, $f$  by some ${f}^{{n}_{0}}$  we may assume, without loss of generality, that ${\lambda }_{0}>16log2$  .
Let $\lambda ={\lambda }_{0}/4$  and $\sigma =exp\left(-\lambda \right)<\frac{1}{16}$  be fixed from now on. Let $\delta >0$  be given by the Proposition  2.2 and let ${\delta }_{1}>0$  be the radius of the hyperbolic ball given by Proposition  2.4 . For short, let's put for $j\ge 1$  , ${H}_{j}={H}_{j}\left(\sigma ,\delta \right)$  .
Remark 2.5. Observe that it follows from Corollary  2.3 the existence of a constant $\theta >0$  such that ${limsup}_{n}\frac{1}{n}#\left\{1\le j\le n\parallel x\in {H}_{j}\right\}\ge \theta$  for Lebesgue almost all $x\in M$  .
Choose some $0<{\delta }_{0}<{\delta }_{1}/4$  and a finite partition $\mathcal{P}$  of $M$  (mod 0) generated by the interior of the elements of a triangulation of $M$  with diameter smaller then ${\delta }_{0}$  , that is, $diameter\left(P\right)<{\delta }_{0}$  $\forall P\in \mathcal{P}$  . Given $U\subset M$  and $0  define the $r$  -neighborhood of $U$  as ${B}_{r}\left(U\right)=\left\{x\in M\parallel dist\left(x,U\right)  . For each element $P\in \mathcal{P}$  set ${P}^{1}={B}_{{\delta }_{0}}\left(P\right)$  and consider the follows collections of rings. The first collection, $\left\{{I}_{k}^{0}\left(P\right){\right\}}_{k\in \mathbb{N}}$  , is a partition (mod 0) of ${B}_{{\delta }_{0}}\left(\partial P\right)\cap P$  defined by ${I}_{k}^{0}\left(P\right)=\left\{x\in P\parallel {\delta }_{0}{\sigma }^{k/2}\le dist\left(x,\partial P\right)<{\delta }_{0}{\sigma }^{\left(k-1\right)/2}\right\}.$  The second one, $\left\{{I}_{k}^{1}\left(P\right){\right\}}_{k\in \mathbb{N}}$  , is a partition (mod 0) of ${P}^{1}\P$  established by ${I}_{k}^{1}\left(P\right)=\left\{x\in {P}^{1}\P\parallel {\delta }_{0}{\sigma }^{k/2}\le dist\left(x,\partial P\right)<{\delta }_{0}{\sigma }^{\left(k-1\right)/2}\right\}.$  Let us fix an element ${P}_{0}\in \mathcal{P}$  and set ${\Delta }_{0}\left({P}_{0}\right)={P}_{0}$  . Let ${k}_{0}$  be the first integer such that ${\Delta }_{0}\left({P}_{0}\right)\{\cup }_{k\ge {k}_{0}}{I}_{k}^{0}\left({P}_{0}\right)\ne \varnothing$  . For each $0\le k<{k}_{0}$  we will set ${\mathbb{A}}_{k}\left({P}_{0}\right)=\varnothing$  and ${\mathbb{B}}_{k}\left({P}_{0}\right)={\Delta }_{k}\left({P}_{0}\right)={\Delta }_{0}\left({P}_{0}\right)$  . Define the function ${t}_{0}:{\Delta }_{0}\left({P}_{0}\right)\to \mathbb{N}$  by ${t}_{0}\left(x\right)=j$  if $x\in {I}_{j}^{0}\left(P\right)$  . Inductively, set for every $0\le k<{k}_{0}$  the functions ${t}_{k}:{\Delta }_{k}\left({P}_{0}\right)\to \mathbb{N}$  by ${t}_{k}\left(x\right)={t}_{k-1}\left(x\right)-1$  . We will define by induction the sets ${\Delta }_{k}\left({P}_{0}\right)$  , ${\mathbb{A}}_{k}\left({P}_{0}\right)$  , ${\mathbb{B}}_{k}\left({P}_{0}\right)$  and functions ${t}_{k}:{\Delta }_{i}\to \mathbb{N}$  for every $k\in \mathbb{N}$  . For this, let us assume that for some $n\ge {k}_{0}$  the sets ${\Delta }_{i}\left({P}_{0}\right)$  , ${\mathbb{A}}_{i}\left({P}_{0}\right)$  , ${\mathbb{B}}_{i}\left({P}_{0}\right)$  and functions ${t}_{i}:{\Delta }_{i}\to \mathbb{N}$  are defined for all $i\le n-1$  .
For Lebesgue almost every point $x\in {\mathbb{A}}_{n-1}\left({P}_{0}\right)\cap {H}_{n}$  there exists some $P\in \mathcal{P}$  such that ${f}^{n}\left(x\right)\in P$  . As the diameter of ${P}^{1}$  is smaller then ${\delta }_{1}/2$  we also have ${B}_{{\delta }_{1}}\left({f}^{n}\right)\left(x\right)\right)\supset {P}^{1}\supset P$  . Proposition  2.4 assures that there exists a hyperbolic pre-ball ${V}_{n}\left(x\right)$  such that ${f}^{n}|{V}_{n}\left(x\right):{V}_{n}\left(x\right)\to {B}_{{\delta }_{1}}\left({f}^{n}\left(x\right)\right)$  is a diffeomorphism with uniform bounded distortion ( not depending on $x$  or $n$  ). Denote by ${\mathcal{U}}_{n}\left({P}_{0}\right)$  the collections of all sets $\left({f}^{n}|{V}_{n}\left(x\right){\right)}^{-1}\left({P}^{1}\right)$  where $x\in {\mathbb{A}}_{n-1}\left({P}_{0}\right)\cap {H}_{n}$  and ${f}^{n}\left(x\right)\in P\in \mathcal{P}$  . It is easy to check that the elements of ${\mathcal{U}}_{n}\left({P}_{0}\right)$  are two by two disjoints.
Given $U\in {\mathcal{U}}_{n}\left({P}_{0}\right)$  , with $U=\left({f}^{n}|{V}_{n}\left(x\right){\right)}^{-1}\left({P}^{1}\right)$  and $P\in \mathcal{P}$  , let's put ${U}^{0}=\left({f}^{n}|{V}_{n}\left(x\right){\right)}^{-1}\left(P\right)$  and $U\left(j\right)=\left({f}^{n}|{V}_{n}\left(x\right){\right)}^{-1}\left({I}_{j}^{1}\left(P\right)\right)$  . Now, let's set ${\Delta }_{n}\left({P}_{0}\right)={\Delta }_{n-1}\left({P}_{0}\right)\{\bigcup }_{U\in {\mathcal{U}}_{n}\left({P}_{0}\right)}{U}^{0}$  and define the function ${t}_{n}:{\Delta }_{n}\to \mathbb{N}$  by ${t}_{n}\left(x\right)=\left\{\begin{array}{cc}j& \text{if}x\in U\left(j\right)\text{for some}j\ge 1\text{and}U\in {\mathcal{U}}_{n}\left({P}_{0}\right)\text{,}\\ 0& \text{if}x\in {\mathbb{A}}_{n-1}\{\cup }_{U\in {\mathcal{U}}_{n}\left({P}_{0}\right)}U,\\ {t}_{n-1}\left(x\right)-1& \text{if}x\in {\mathbb{B}}_{n-1}\{\cup }_{U\in {\mathcal{U}}_{n}\left({P}_{0}\right)}U.\end{array}$  With the function ${t}_{n}$  we define ${\mathbb{A}}_{n}\left({P}_{0}\right)$  and ${\mathbb{B}}_{n}\left({P}_{0}\right)$  by ${\mathbb{A}}_{n}\left({P}_{0}\right)=\left\{n\in {\Delta }_{n}\left({P}_{0}\right)\parallel {t}_{n}=0\right\}$  $\text{and}$  ${\mathbb{B}}_{n}\left({P}_{0}\right)=\left\{x\in {\Delta }_{n}\left({P}_{0}\right)\parallel {t}_{n}>0\right\}.$  At this point we have completely described the inductive construction restrict to ${P}_{0}$  of the sets ${\mathbb{A}}_{n}\left({P}_{0}\right)$  , ${\mathbb{B}}_{n}\left({P}_{0}\right)$  and ${\Delta }_{n}\left({P}_{0}\right)$  . Doing the same construction to the other elements of $\mathcal{P}$  we obtain ${\mathbb{A}}_{n}={\bigcup }_{P\in \mathcal{P}}{\mathbb{A}}_{n}\left(P\right),$  ${\mathbb{B}}_{n}={\bigcup }_{P\in \mathcal{P}}{\mathbb{B}}_{n}\left(P\right)$  $\text{and}$  ${\Delta }_{n}={\bigcup }_{P\in \mathcal{P}}{\Delta }_{n}\left(P\right).$  Let ${M}^{*}=\left\{x\in M\parallel {f}^{n}\left(x\right)\in {\Delta }_{0}\forall n\ge 0\right\}$  . As $f$  is a diffeomorphism Lebesgue almost everywhere, we have $Leb\left(M\{M}^{*}\right)=0$  . Finally, let's define a time function $R:{M}^{*}\{\bigcap }_{n}{\Delta }_{n}\to \mathbb{N}$  putting $R\left(x\right)=n$  when $x\in {\Delta }_{n-1}\{\Delta }_{n}$  .
We can think of the set ${\mathbb{A}}_{n}$  as the set of allowed points of the stage $n+1$  , that is, the set of points $x\in M$  which in the stage $n+1$  can be used, if $n+1$  is a hyperbolic time to $x$  , as the center of a new element of the partition ( a component of $\left\{R=n+1\right\}$  ). The set ${B}_{n}$  is the forbidden points of the stage $n+1$  , i.e., if $x\in {B}_{n}$  then, although $x$  does not belong to a constructed element ( $x/\in \left\{R\le n\right\}$  ), we can not use $x$  to be the “center” of a new element even if $x\in {H}_{n+1}$  . In fact, ${\mathbb{B}}_{n}$  in a union of “protection collars” associated to the components of $\left\{R\le n\right\}$  and we can not use the points of ${\mathbb{B}}_{n}$  in the stage $n+1$  because in this time the pre-image of the elements of the triangulation associated to some hyperbolic pre-ball ${V}_{n+1}\left(x\right)$  (with $x\in {H}_{n+1}$  ) may be big compared with these collars and probably there will be overlaps of this pre-image with some ahead constructed element.
Remark 2.6. It is important to emphasize that we only constructed a new element of the partition as a pre-image, associated to a hyperbolic time, of some element of the triangulation.
That is, if $U$  is a component of $\left\{R=n\right\}$  , for some $n$  , then $U\subset {V}_{n}\left(x\right)$  for some $x\in {\mathbb{A}}_{n-1}\cap {H}_{n}$  . In consequence, $U$  is mapped diffeomorphically, with bounded distortion and good properties of expansion (see proposition  2.4 ), to some element of the triangulation. This control of distortion and expansion is fundamental to obtain the properties required from the Piecewise expanding Markovian map associated to the Markov structure.
The lemma below is important for preventing the overlaps on the sets of the partition. Indeed, in the stage $n$  , associated to each component ${U}_{n-k}^{0}$  of $\left\{R=n-k\right\}$  , for some $k>0$  , there is a collar ${Q}_{k}\subset {U}_{n-k}^{1}$  around it. By the lemma, the new components of $\left\{R=n\right\}$  do not intersect “too much” the collar and in consequence, there will be no overlaps.
Lemma 2.7. If $U\in {\mathcal{U}}_{n}={\cup }_{P\in \mathcal{P}}{\mathcal{U}}_{n}\left(P\right)$  then $U\cap \left\{{t}_{n-1}>1\right\}=\varnothing$  .
• Proof. Take some $k>0$  and let ${U}_{n-k}^{0}$  be a component of $\left\{R=n-k\right\}={\Delta }_{n-k}\{\Delta }_{n-k-1}$  such that its collar ${Q}_{k}$  (the part of ${U}_{n-k}^{1}$  that is mapped by ${f}^{n-k}$  onto ${I}_{k}^{1}\left(P\right)$  for some $P\in \mathcal{P}$  ) intersects $U={U}_{n}^{1}\in {\mathcal{U}}_{n}$  . Recall that ${Q}_{k}$  is precisely the collar around ${U}_{n-k}^{0}$  on which ${t}_{n-1}$  takes the value 1. Letting ${q}_{1}$  and ${q}_{2}$  be any two points in distinct components of the boundary of ${Q}_{k}$  , we have by Proposition  2.4   $\begin{array}{c}dist\left({f}^{n-k}\left({q}_{1}\right),{f}^{n-k}\left({q}_{2}\right)\right)\le {\sigma }^{k/2}dist\left({f}^{n}\left({q}_{1}\right),{f}^{n}\left({q}_{2}\right)\right).\end{array}$ (6)
We also have  $\begin{array}{ccc}dist\left({f}^{n-k}\left({q}_{1}\right),{f}^{n-k}\left({q}_{2}\right)\right)& \ge & {\delta }_{0}{\sigma }^{\left(k-1\right)/2}-{\delta }_{0}{\sigma }^{k/2}\end{array}$
 $\begin{array}{ccc}& =& {\delta }_{0}{\sigma }^{k/2}\left({\sigma }^{-1/2}-1\right),\end{array}$
which combined with ( 6 ) gives $dist\left({f}^{n}\left({q}_{1}\right),{f}^{n}\left({q}_{2}\right)\right)\ge {\delta }_{0}\left({\sigma }^{-1/2}-1\right).$  On the other hand, since $\sigma <1/16$  we conclude that $dist\left({f}^{n}\left({q}_{1}\right),{f}^{n}\left({q}_{2}\right)\right)>3{\delta }_{0}>\text{diameter}\left({B}_{{\delta }_{0}}\left(P\right)\right)$  but this is impossible as ${q}_{1}$  and ${q}_{2}\in {B}_{{\delta }_{0}}\left(P\right)$  .
Corollary 2.8. If $U$  and $V$  are distinctly components of $\left\{R=n\right\}$  and $\left\{R=m\right\}$  then $U\cap V=\varnothing$
• Proof. Suppose that $U=\left({f}^{n}{|}_{{V}_{n}\left({x}_{0}\right)}{\right)}^{-1}\left({P}_{0}\right)$  and $V=\left({f}^{m}{|}_{{V}_{m}\left({x}_{1}\right)}{\right)}^{-1}\left({P}_{1}\right)$  , with ${P}_{0}$  and ${P}_{1}\in \mathcal{P}$  .
As we observed during the presentation of the algorithm, if $n=m$  and ${P}_{0}={P}_{1}$  we will have $U\cap V=\varnothing$  . Indeed, as ${P}_{0}={P}_{1}$  are small compared with ${B}_{{\delta }_{1}}\left({f}^{n}\left({x}_{1}\right)\right)$  or ${B}_{{\delta }_{1}}\left({f}^{n}\left({x}_{2}\right)\right)$  ( $diameter\left({P}_{0}\right)<{\delta }_{0}<{\delta }_{1}/4$  ) we will have $\left({f}^{n}{|}_{{V}_{n}\left({x}_{0}\right)}{\right)}^{-1}{|}_{{P}_{0}}=\left({f}^{n}{|}_{{V}_{n}\left({x}_{1}\right)}{\right)}^{-1}{|}_{{P}_{0}}$  and so, $U=V$  . Of course, if ${P}_{0}\ne {P}_{1}$  , with $n=m$  , than ${f}^{n}\left(U\right)\cap {f}^{n}\left(V\right)={P}_{0}\cap {P}_{1}=\varnothing$  and so, $U\cap V=\varnothing$  . Finally, assuming that $m  , it follows from the lemma above that $U\cap \left\{{t}_{n-1}>1\right\}=\varnothing$  . We know that $V$  is protected by some collar $Q\subset \left\{{t}_{n-1}>1\right\}$  , i.e., there is a connected component $C$  of $M\Q$  such that $C\supset V$  and $C\cap {\mathbb{A}}_{n-1}=\varnothing$  . In consequence, as $U\cap {\mathbb{A}}_{n-1}\ne \varnothing$  and $Q\cap U=\varnothing$  , it follows from connectivity of $U$  that $V\cap U\subset C\cap U=\varnothing$  .
Proposition  2.9 and Lemma  2.10 will be used to prove that the sum of the Lebesgue measure of all forbidden sets is finite (proposition  2.11 ).
This finiteness is fundamental to assure that almost all point of $M$  will belongs to an construct element, i.e., $Leb\left(M\{\cup }_{n}\left\{R=n\right\}\right)=0$  .
Proposition 2.9. There exists ${a}_{1}>0$  such that for every $n\ge 1$  $Leb\left({\mathbb{B}}_{n-1}\cap {\mathbb{A}}_{n}\right)\ge {a}_{1}Leb\left({\mathbb{B}}_{n-1}\right)$  .
• Proof. It is enough to see this for each component of ${\mathbb{B}}_{n-1}$  at a time.
Let $C$  be a component of ${\mathbb{B}}_{n-1}$  and $Q$  be its outer ring corresponding to ${t}_{n-1}=1$  . Observe that by Lemma  2.7 we have $Q=C\cap {\mathbb{A}}_{n}$  . Moreover, there must be some $k  , an element $P$  of $\mathcal{P}$  and a component ${U}_{k}^{0}$  of $\left\{R=k\right\}$  such that ${f}^{k}$  maps $C$  diffeomorphically onto some ${\cup }_{i=k}^{\infty }{I}_{i}^{1}\left(P\right)$  and $Q$  onto ${I}_{k}^{1}\left(P\right)$  , both with uniform bounded distortion (not depending $n$  ). Thus, it is sufficient to compare the Lebesgue measures of ${\cup }_{i=k}^{\infty }{I}_{i}^{1}\left(P\right)$  and ${I}_{k}^{1}\left(P\right)$  . As $P\in \mathcal{P}$  is the interior of an element of a triangulation of $M$  , the boundary of $P$  is a finite union of smooth submanifolds with codimension one. Thus, for smalls ${r}_{2}>{r}_{1}>0$  we have $Leb\left({B}_{{r}_{2}}\left(P\right)\{B}_{{r}_{1}}\left(P\right)\right)\approx {r}_{2}-{r}_{1}$  . As $\mathcal{P}$  is a finite collection one can find $\zeta >0$  such that $\frac{1}{\zeta }<\frac{Leb\left({B}_{{r}_{2}}\left(P\right)\{B}_{{r}_{1}}\left(P\right)\right)}{{r}_{2}-{r}_{1}}<\zeta$  $\forall P\in \mathcal{P}$  and $\forall {r}_{2}>{r}_{1}>0$  . In consequence, setting ${C}_{1}=exp\left(\rho \text{diameter}\left(M\right)\right)$  (see proposition  2.4 ), we have $\frac{Leb\left({\mathbb{B}}_{n-1}\cap {\mathbb{A}}_{n}\right)}{Leb\left({\mathbb{B}}_{n-1}\right)}\ge {C}_{1}\frac{Leb\left({I}_{k}^{1}\left(P\right)\right)}{Leb\left({\cup }_{i=k}^{\infty }{I}_{i}^{1}\left(P\right)\right)}\ge$  $\ge {C}_{1}\frac{1}{{\zeta }^{2}}\frac{{\delta }_{0}{\sigma }^{\left(k-1\right)/2}-{\delta }_{0}{\sigma }^{k/2}}{{\sum }_{i=k}^{\infty }\left({\delta }_{0}{\sigma }^{\left(i-1\right)/2}-{\delta }_{0}{\sigma }^{i/2}\right)}={C}_{1}\frac{1-{\sigma }^{1/2}}{{\zeta }^{2}}.$
Lemma 2.10. There exist a constant ${C}_{2}>0$  such that $Leb\left({\mathbb{A}}_{n-1}\cap {\mathbb{B}}_{n}\right)\le {C}_{2}Leb\left(\left\{R=n\right\}\right)$  $\forall n>{N}_{0}$  .
• Proof. By construction, each component $W$  of ${\mathbb{A}}_{n-1}\cap {\mathbb{B}}_{n}$  is a ring given (mod 0) by the union of rings $U\left(j\right)$  that appears when construct the element ${U}^{0}$  of $\left\{R=n\right\}$  associated to an element $U$  of ${\mathcal{U}}_{n}$  and can be written as $W=\left({f}^{n}|{V}_{n}\left(x\right){\right)}^{-1}\left({P}^{1}\P\right)=U\{U}^{0}\text{(mod 0)},$  where $U=\left({f}^{n}|{V}_{n}\left(x\right){\right)}^{-1}\left({P}^{1}\right)$  , ${U}^{0}=\left({f}^{n}|{V}_{n}\left(x\right){\right)}^{-1}\left(P\right)$  , $P\in \mathcal{P}$  and $x\in {\mathbb{A}}_{n-1}\cap {H}_{n}$  . Moreover, $W$  and ${U}^{0}$  are contained in the hyperbolic pre-ball ${V}_{n}\left(x\right)$  associated a which are mapped onto ${B}_{{\delta }_{1}}\left({f}^{n}\right)\left(x\right)\right)\supset {P}^{1}\supset P$  by ${f}^{n}$  . By the bounded distortion property, there is an universal ${C}_{1}>0$  such that $Leb\left(W\right)=Leb\left(U\{U}^{0}\right)\le {C}_{1}\frac{Leb\left({P}^{1}\P\right)}{Leb\left(P\right)}Leb\left({U}^{0}\right)$  and by disjointness two by two of the elements ${\mathcal{U}}_{n}$  we get $Leb\left({\mathbb{A}}_{n-1}\cap {\mathbb{B}}_{n}\right)=Leb\left({\bigcup }_{U\in {\mathcal{U}}_{n}}U\{U}^{0}\right)={\sum }_{U\in {\mathcal{U}}_{n}}Leb\left(U\{U}^{0}\right)\le$  $\le {C}_{2}{\sum }_{U\in {\mathcal{U}}_{n}}Leb\left({U}^{0}\right)={C}_{2}Leb\left(\left\{R=n\right\}\right),$  where ${C}_{2}={C}_{1}max\left\{\frac{Leb\left({P}^{1}\P\right)}{Leb\left(P\right)}\parallel P\in \mathcal{P}\right\}$  .
Proposition 2.11. ${\sum }_{n=0}^{\infty }Leb\left({\mathbb{B}}_{n}\right)<\infty$  .
• Proof. We may write $Leb\left({\mathbb{B}}_{n-1}\right)=Leb\left({\mathbb{B}}_{n-1}\cap {\mathbb{B}}_{n}\right)+Leb\left({\mathbb{B}}_{n-1}\cap {\mathbb{A}}_{n}\right)$  which by Proposition  2.9 gives $Leb\left({\mathbb{B}}_{n-1}\cap {\mathbb{B}}_{n}\right)\le \left(1-{a}_{1}\right)Leb\left({\mathbb{B}}_{n-1}\right)$  .
Thus, using Lemma  2.10 , $Leb\left({\mathbb{B}}_{n}\right)=Leb\left({\mathbb{B}}_{n-1}\cap {\mathbb{B}}_{n}\right)+Leb\left({\mathbb{A}}_{n-1}\cap {\mathbb{B}}_{n}\right)\le \left(1-{a}_{1}\right)Leb\left({\mathbb{B}}_{n-1}\right)+{C}_{2}Leb\left(\left\{R=n\right\}\right)$  $\forall n>{N}_{0}$  . Summing in both sides of this inequality, we obtain for every $m\in \mathbb{N}$  ${\sum }_{n=1}^{m}Leb\left({\mathbb{B}}_{n}\right)\le \left(1-{a}_{1}\right){\sum }_{n=1}^{m}Leb\left({\mathbb{B}}_{n-1}\right)+{C}_{2}{\sum }_{n=1}^{m}Leb\left(\left\{R=n\right\}\right)\le$  $\le \left(1-{a}_{1}\right){\sum }_{n=0}^{m}Leb\left({\mathbb{B}}_{n}\right)+{C}_{2}Leb\left(M\right)$  Thus, ${a}_{1}{\sum }_{n=0}^{m}Leb\left({\mathbb{B}}_{n}\right)\le Leb\left({\mathbb{B}}_{0}\right)+{C}_{2}Leb\left(M\right)=\left(1+{C}_{2}\right)Leb\left(M\right).$
Now, we are going to prove that this algorithm does indeed produce a partition mod 0 of $M$  . As Corollary  2.8 assures that the elements constructed by this algorithm are two by two disjointed, we have only to check that $Leb\left({\cap }_{n}{\Delta }_{n}\right)=0$  ( ${\Delta }_{0}\supset {\Delta }_{1}\supset ...$  is a nested sequence).
To prove this, first observe that, as ${\sum }_{n=0}^{\infty }Leb\left({\mathbb{B}}_{n}\right)<\infty$  , it follows from Fubini's argument that Lebesgue almost every point of $M$  belongs only to a finite many ${{\mathbb{B}}_{j}}^{\prime }s$  , that is, defining the function $b:M\to \mathbb{N}$  by
 $\begin{array}{c}b\left(x\right)=\left\{\begin{array}{cc}sup\left\{n\in \mathbb{N}\parallel x\in {\mathbb{B}}_{n-1}\right\}& \text{if}x\in {\Delta }_{0}\\ +\infty & \text{if}x/\in {\Delta }_{0}\end{array},\end{array}$ (7)
we will have $b\left(x\right)<+\infty$  for Lebesgue almost all $x\in M$  (because $\int bdLeb={\sum }_{n}\left({\mathbb{B}}_{n}\right)$  ). Moreover, as any Lebesgue generic point has infinity many hyperbolic times, one can find for almost all $x\in {M}^{*}$  the first time $n>b\left(x\right)$  such that $x\in {H}_{n}$  . In this case, if $x$  still belongs to ${\Delta }_{n-1}$  we will have $x\in \left\{R=n\right\}={\Delta }_{n-1}\{\Delta }_{n}$  . In other words, almost every point of ${M}^{*}$  ( and in consequence of $M$  ) will belong to some ${\Delta }_{n-1}\{\Delta }_{n}$  . So, $Leb\left({\cap }_{n}{\Delta }_{n}\right)=0$  .

Markov Structures

Let $F:{\Delta }^{*}\to M$  be given by $F\left(x\right)={f}^{R\left(x\right)}\left(x\right)$  , where ${\Delta }^{*}={M}^{*}\{\cap }_{n}{\Delta }_{n}$  . By construction, the map $F$  is a piecewise expanding Markovian map (see remark  2.6 ) and we conclude the proof of the first part of the Main Theorem.

3 Integrability of The Time Function

In this section we will finish the proof of the Main Theorem showing the integrability of the time function of the Markov Structure constructed in the previous section. We will use the objects and notation of the Partition Algorithm. Let $\nu$  be one of the $F$  -invariant measure given by the Markov Structure and assume by contradiction that ${\sum }_{P\in \mathcal{P}}R{|}_{P}\nu \left(P\right)=\infty$  . It follows from Birkhoff`s Ergodic Theorem that $\frac{1}{n}{\sum }_{j=0}^{n-1}R\circ {F}^{j}\left(x\right)⟶\int Rd\nu ={\sum }_{P\in \mathcal{P}}R{|}_{P}\nu \left(P\right)=\infty ,$  for $\nu$  -almost every point $x\in M$  .
As the density of $\nu$  is uniformly bounded from above, its follows from proposition  2.11 that ${\sum }_{n=0}^{\infty }\nu \left({\mathbb{B}}_{n}\right)<\infty$  . In consequence, for $\nu$  -generic points $x\in M$  we get $\frac{1}{n}{\sum }_{j=0}^{n-1}b\circ {F}^{j}\left(p\right)⟶\int bd\nu ={\sum }_{n}\nu \left({\mathbb{B}}_{n}\right)<\infty$  Let ${M}^{**}=\left\{x\in {M}^{*}\parallel {F}^{j}\left(x\right)\in Dom\left(F\right)\forall j\ge 0\right\}$  . It is clear that $\nu \left(M\{M}^{**}\right)=0$  . Let $x\in {M}^{**}$  . Set, for every $i\in \mathbb{N}$  , ${j}_{i}={j}_{i}\left(x\right)={\sum }_{j=0}^{i-1}R\circ {F}^{j}\left(x\right)$  , that is, ${F}^{i}\left(x\right)={f}^{{j}_{i}}\left(x\right)$  . Given $j\in \mathbb{N}$  there exists a unique integer $s=s\left(j\right)\ge 0$  such that ${j}_{s}\le j<{j}_{s+1}$  . Let's set ${\mathcal{ℐ}}_{0}=\left\{{j}_{1},{j}_{2},,{j}_{3},...\right\}$  and suppose that $x\in {H}_{j}$  . In this case, ${F}^{s}\left(x\right)\in {H}_{m}$  , where $m=j-{j}_{s}$  . By construction, if ${F}^{s}\left(x\right)/\in \left\{R=m\right\}$  ( i.e. $m  ) is because ${F}^{s}\left(x\right)\in {\mathbb{B}}_{m-1}$  . On the other hand, ${F}^{s}\left(x\right)\in \left\{R=m\right\}$  implais that $m={j}_{s+1}-{j}_{s}$  and so, $j={j}_{s+1}\in {\mathcal{ℐ}}_{0}$  .
As the number of integers $\ell$  between ${j}_{i}$  and ${j}_{i+1}$  such that $x\in {H}_{\ell }$  is bounded by the number of integers $m$  such that ${F}^{i}\left(x\right)\in {\mathbb{B}}_{m-1}$  , we have $#\left\{\ell \in \left\{{j}_{i}+1,...,{j}_{i+1}-1\right\}\parallel x\in {H}_{\ell }\right\}\le b\left({F}^{i}\left(x\right)\right).$  Thus, for each $n\in \mathbb{N}$  we can write $#\left\{j\le n\parallel x\in {H}_{j}\right\}\le #\left\{j\le n\parallel j\in {\mathcal{ℐ}}_{0}\right\}+{\sum }_{i=0}^{s\left(n\right)}b\left({F}^{i}\left(x\right)\right)\le$  $\le s\left(n\right)+{\sum }_{i=0}^{s\left(n\right)}b\left({F}^{i}\left(x\right)\right)$  Therefore,
 $\begin{array}{c}\frac{1}{n}#\left\{1\le j\le n\parallel x\in {H}_{j}\right\}\le \frac{s\left(n\right)}{n}\left(1+\frac{1}{s\left(n\right)}{\sum }_{j=0}^{s\left(n\right)}b\circ {F}^{j}\left(x\right)\right)\end{array}$ (8)
By construction, if $s\left(n\right)=i$  , that is, ${j}_{i}\le n<{j}_{i+1}$  , then
 $\begin{array}{c}\frac{{j}_{i}}{i}\le \frac{n}{s\left(n\right)}<\frac{{j}_{i+1}}{i+1}\left(1+\frac{1}{i}\right)\end{array}$ (9)
As $\frac{{j}_{i}}{s\left({j}_{i}\right)}=\frac{{j}_{i}}{i}=\frac{1}{i}{\sum }_{j=0}^{i-1}R\circ {F}^{j}\left(x\right)\to \infty$  it follows from the equations  8  and  9  $lim\frac{1}{n}#\left\{1\le j\le n\parallel x\in {H}_{j}\right\}=lim\frac{s\left(n\right)}{n}=0$  . But this is an absurd as one can see in Remark  2.5 . So, we necessarily have the time function $R$  $\nu$  -integrable and so, we conclude the proof of the Main Theorem.
To prove theorems  1 ,  2 and  3 let $\left\{{\nu }_{1},...,{\nu }_{s}\right\}$  be the set of ergodic absolutely continuous invariant measures given by Theorem  4 .

Proof of Theorem  1

As we observed before it is straightforward to check that as the time function $R$  is ${\nu }_{i}$  -integrable, then ${\mu }_{i}={\sum }_{j=0}^{\infty }{f}_{*}^{j}\left({\nu }_{i}|\left\{R>j\right\}\right)$  is an ergodic absolutely continuous $f$  -invariant measure. Here ${\nu }_{i}|\left\{R>j\right\}$  denotes the measure given by ${\nu }_{i}|\left\{R>j\right\}\left(A\right)={\nu }_{i}\left(A\cap \left\{R>j\right\}\right)$  , and ${f}_{*}^{j}$  denotes the push-forward of the measure by ${f}^{j}$  . Moreover, it follows from the theorem  4 that almost every point of $M$  belongs to the basin of one of the ${\nu }_{i}$  . In consequence, almost all point $x\in M$  also belongs to the basin of one of the measure ${\mu }_{1},...,{\mu }_{s}$  .
$\square$
Remark 3.1. In the beginning of the Partitioning Algorithm we could have replaced, if necessary, $f$  by some iterated ${f}^{{n}_{0}}$  and so, the measures ${\mu }_{1},...,{\mu }_{s}$  may be only ${f}^{{n}_{0}}$  invariant.
In such case we consider the induced $f$  -invariant measures ${\mu }_{1}^{\prime },...,{\mu }_{s}^{\prime }$  given by ${\mu }_{i}^{\prime }\left(A\right)={\mu }_{i}\left(A\right)+{\mu }_{i}\left({f}^{-1}A\right)+...+{\mu }_{i}\left({f}^{-\left({n}_{0}-1\right)}A\right)$

Proof of Theorem  2

As any non-uniformly expanding map satisfies the hypothesis of theorem  1 we have only to check that every non-flat map and with the slow recurrence satisfying the equation  3 for almost all $x\in M$  also satisfies the equation  2 . This result is a consequence of the integrability of $x↦log\parallel \left(Df\left(x\right){\right)}^{-1}\parallel$  with respect to any absolutely continuous invariant measure ( see Lemma  3.2 below ). Indeed, as $log\parallel \left(Df{\right)}^{-1}{\parallel }^{-1}=-log\parallel \left(Df{\right)}^{-1}\parallel$  , if $log\parallel \left(Df{\right)}^{-1}\parallel \in {L}^{1}\left({\mu }_{i}\right)$  it follows from Birkhoff 's Ergodic Theorem that we will have for ${\mu }_{i}$  almost all $x\in M$  $liminf\frac{1}{n}{\sum }_{j=0}^{n-1}log\parallel \left(Df\left({f}^{n}\left(x\right)\right){\right)}^{-1}{\parallel }^{-1}=$  $=limsup\frac{1}{n}{\sum }_{j=0}^{n-1}log\parallel \left(Df\left({f}^{n}\left(x\right)\right){\right)}^{-1}{\parallel }^{-1}.$  As Lebesgue almost every point $x\in M$  belongs to the basin of some ${\mu }_{i}$  we will conclude that the equality above between $liminf$  and $limsup$  holds to Lebesgue almost all $x\in M$  .
$\square$
Lemma 3.2. If $f:M\to M$  is a ${C}^{2}$  endomorphism then $log\parallel \left(Df{\right)}^{-1}\parallel$  is integrable with respect to any absolutely continuous invariant measure.
• Proof. In [10(see remark 1.2 of [10) it was proved that $-\infty <\int log|detDf|d\mu <+\infty$  with respect to any absolutely continuous invariant measure $\mu$  . Let's show how this result implies the integrability of $log\parallel \left(Df{\right)}^{-1}\parallel$  . It is easy to see that $|\lambda |\le \parallel A\parallel$  for any eigenvalue $\lambda$  of the matrix $A\in {\mathbb{R}}^{m×m}$  .
Thus, $|detA|\le \parallel A{\parallel }^{m}$  and in consequence, $-\infty <\frac{1}{dim\left(M\right)}\int log|detDf|d\mu \le \int log\parallel Df\parallel d\mu <+\infty .$  We know that $\overline{A}A=det\left(A\right)I$  $\forall A\in {\mathbb{R}}^{n×n}$  , where $\overline{A}$  in the adjoint matrix and $I$  is the identity. So, $log|detDf|-log\parallel Df\parallel \le log\parallel \overline{Df}\parallel$  and in consequence $-\infty <\int log\parallel \overline{Df}\parallel d\mu$  . Moreover, as $\parallel \overline{Df}\parallel$  is bounded, we get $-\infty <\int log\parallel \overline{Df}\parallel d\mu <+\infty .$  Finally, from $\left(Df{\right)}^{-1}=\frac{1}{detDf}\overline{Df}$  we get $-\infty <\int log\parallel \left(Df{\right)}^{-1}\parallel d\mu =\int log\parallel \overline{Df}\parallel d\mu -\int log|detDf|d\mu <+\infty .$

Proof of Theorem  3

Suppose that there exists $0<\sigma <1$  and $\delta >0$  such that Lebesgue almost every point $x\in M$  has a $\left(\sigma ,\delta \right)$  -hyperbolic time. So, we have $Leb\left(U\right)=0$  , where $U=M\{\cup }_{j}{H}_{j}\left(\sigma ,\delta \right)$  . Given a Lebesgue generic point $x\in M$  we will have ${f}^{j}\left(x\right)/\in U$  $\forall j$  . Let ${n}_{1}$  be such that $x\in {H}_{{n}_{1}}\left(\sigma ,\delta \right)$  and ${m}_{1}$  such that ${f}^{{n}_{1}}\left(x\right)\in {H}_{{m}_{1}}\left(\sigma ,\delta \right)$  . By the properties of hyperbolic times we get $x\in {H}_{{n}_{2}}\left(\sigma ,\delta \right)$  where ${n}_{2}={n}_{1}+{m}_{1}>{n}_{1}$  .
Therefore, by induction, one can conclude that Lebesgue almost all point of $M$  will have infinitely many $\left(\sigma ,\delta \right)$  -hypebolic times. Remembering that $x\in {H}_{j}\left(\sigma ,\delta \right)$  implies ${\prod }_{k=0}^{j-1}\parallel \left(Df\circ {f}^{k}\left(x\right){\right)}^{-1}\parallel \le {\sigma }^{j}$  , we will have, for generic $x\in M$  , $\frac{1}{j}{\sum }_{k=0}^{j-1}log\parallel \left(Df\left({f}^{k}\left(x\right)\right){\right)}^{-1}\parallel \le log\sigma <0$  for infinitely many integers $j>0$  . In consequence, $liminf\frac{1}{j}{\sum }_{k=0}^{j-1}log\parallel \left(Df\left({f}^{k}\left(x\right)\right){\right)}^{-1}\parallel \le log\sigma <0$  for Lebesgue almost all $x\in M$  . As the critical set is empty, the map $f$  satisfies the hypothesis of the theorem  1 . So, by the theorem  2 , $f$  is a non-uniformly expanding map.
$\square$
References

1. J. Aaronson, An introduction to infinite ergodic theory. Math. Surv. Monographs 50, AMS, Providence R.I. US (1997).
2. J. F. Alves, SRB measures for non-hyperbolic systems with multidimensional expansion, Ann. Scient. Éc. Norm. Sup., ${4}^{e}$  série, 33 (2000), 1-32.
3. J. F. Alves, V. Araújo, Random perturbations of nonuniformly expanding maps, Astérisque 286 (2003), 25-62.
4. J. F. Alves, C. Bonatti, M. Viana, SRB measures for partially hyperbolic systems whose central direction is mostly expanding, Invent. Math. 140 (2000), 351-398.
5. J. F. Alves, S. Luzzatto, V. Pinheiro, Markov structures and decay of correlations for non-uniformly expanding dynamical systems, Annales Inst. Henri Poincaré (to appear), arXiv:math.DS/0205191.
6. J. F. Alves, M. Viana, Statistical stability for robust classes of maps with non-uniform expansion, Ergod. Th. & Dynam. Sys. 22 (2002), 1-32.
7. M. Benedicks, L.-S. Young, Markov extensions and decay of correlations for certain Hénon maps, Astérisque 261 (2000), 13-56.
8. S. Gouezel, Decay of correlations for nonuniformly expanding systems, arXiv:math.DS/0401184 v1 15 Jan 2004.
9. G. Keller, Exponents, attractors and Hopf decompositions for interval maps. Ergod. Th. & Dynam. Sys. (1990), 10, 717-744.
10. P.-D. Liu, Pesin's entropy formula for endomorphisms. Nagoya Math. J. Vol. 150 (1998), 197-209.
11. Melo, W. C., Strien, S. V. One Dimensional Dynamics, Springer-Verlag, 1993.
12. M. Viana, Multidimensional non-hyperbolic attractors, Publ. Math. IHES 85 (1997), 63-96.
13. L.-S. Young, Statistical properties of dynamical systems with some hyperbolicity, Ann. Math. 147 (1998), 585-650.
14. L.-S. Young, Recurrence times and rates of mixing, Israel J. Math. 110 (1999), 153-188.