1 Introduction
$$\begin{array}{c}{limsup}_{n\to \infty}\frac{1}{n}{\sum}_{j=0}^{n-1}log\left|Df\right({f}^{j}\left(x\right)\left)\right|\ge \lambda >0.\end{array}$$ | (1) |
$$\begin{array}{c}{liminf}_{n\to \infty}\frac{1}{n}{\sum}_{j=0}^{n-1}log(\parallel (Df\left({f}^{j}\right(x\left)\right){)}^{-1}{\parallel}^{-1})\ge \lambda >0\end{array}$$ | (2) |
$$\begin{array}{c}{limsup}_{n\to \infty}\frac{1}{n}{\sum}_{j=0}^{n-1}log(\parallel (Df\left({f}^{j}\right(x\left)\right){)}^{-1}{\parallel}^{-1})\ge \lambda >0.\end{array}$$ | (3) |
Statement of results
$$\begin{array}{c}{limsup}_{n\to +\infty}\frac{1}{n}{\sum}_{j=0}^{n-1}-log{\text{dist}}_{\delta}\left({f}^{j}\right(x),\mathcal{C})\le \epsilon ,\end{array}$$ | (*) |
$$\begin{array}{c}{liminf}_{n\to \infty}\frac{1}{n}{\sum}_{i=0}^{n-1}log(\parallel (Df\left({f}^{i}\right(x\left)\right){)}^{-1}\parallel )\le -\lambda <0\end{array}$$ | (4) |
$$\begin{array}{c}{limsup}_{n\to \infty}\frac{1}{n}{\sum}_{i=0}^{n-1}log(\parallel (Df\left({f}^{i}\right(x\left)\right){)}^{-1}\parallel )\le -\lambda <0\end{array}$$ | (5) |
2 Hyperbolic Times
Markov Structures and The Partitioning Algorithm
Piecewise expanding Markovian map
The Partitioning Algorithm
$$\begin{array}{c}dist\left({f}^{n-k}\right({q}_{1}),{f}^{n-k}({q}_{2}\left)\right)\le {\sigma}^{k/2}dist\left({f}^{n}\right({q}_{1}),{f}^{n}({q}_{2}\left)\right).\end{array}$$ | (6) |
$$\begin{array}{ccc}dist\left({f}^{n-k}\right({q}_{1}),{f}^{n-k}({q}_{2}\left)\right)& \ge & {\delta}_{0}{\sigma}^{(k-1)/2}-{\delta}_{0}{\sigma}^{k/2}\end{array}$$ |
$$\begin{array}{ccc}& =& {\delta}_{0}{\sigma}^{k/2}({\sigma}^{-1/2}-1),\end{array}$$ |
$$\begin{array}{c}b\left(x\right)=\{\begin{array}{cc}sup\{n\in \mathbb{N}\parallel x\in {\mathbb{B}}_{n-1}\}& \text{if}x\in {\Delta}_{0}\\ +\infty & \text{if}x/\in {\Delta}_{0}\end{array},\end{array}$$ | (7) |
Markov Structures
3 Integrability of The Time Function
$$\begin{array}{c}\frac{1}{n}\#\{1\le j\le n\parallel x\in {H}_{j}\}\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) |
$$\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) |
Proof of Theorem 1
Proof of Theorem 2
Proof of Theorem 3