b229bf0638259eae.tex
1: \begin{definition}[$\delta_0$ and $\delta_1$]\label{def:plaques}
2: By the Plaque family theorem (see~\cite[Theorem 5.5]{HirPugShu:77} or~\cite{AbdBonCro:11}) there exist
3: some $\delta_0$ and a continuous family of $C^1$ stable (unstable) disks  centered at points $x\in\Lambda$ 
4: of radius $\delta_0$ which is locally  invariant. Moreover, by choosing $\delta_0$ small 
5: enough, one can ensure that these disks are tangent to the cone field $\cone^E$ ($\cone^F$). 
6: By shrinking if necessary the size of the plaques one may assume 
7: that every stable plaque is transverse to any unstable
8: plaque at any point of intersection.
9: 
10: For the following we will fix such families and denote them by 
11: $\{D^E_x\}_{x\in\Lambda}$ and $\{D^F_x\}_{x\in\Lambda}$.
12: 
13: Given $N\ge1$ and $\varepsilon>0$, let $\delta_1=\delta_1(N,\varepsilon)\in(0,\delta_0)$ be so small so that for any $x\in \Lambda$, for every $y\in{D^E_x}$ satisfying $d(y,x)<\delta_1$ for every $v\in T_y{D^E_x}$ and $w\in T_y{D^F_x}$ we have
14: \[%begin{equation}\label{eq:delta1}
15: 	\lVert df^N_y(v)\rVert 
16: 		\le e^{N\varepsilon}  \lVert df^N_{/E_x}\rVert\,\lVert v\rVert,
17: 	\quad
18: 	\lVert df^N_y(w)\rVert 
19: 		\le e^{N\varepsilon} \lVert (df^N_{/F_x})^{-1}\rVert\,\lVert w\rVert\,.
20: \]%end{equation}
21: \end{definition}
22: