Hölder continuity of the holonomy maps for hyperbolic basic sets. I (Q4026050)

[For the entire collection see Zbl 0744.00035.] The authors consider a compact Riemannian manifold \(M\) and \(C^ 2\)- diffeomorphism \(f\) of \(M\) in itself having a hyperbolic set \(\Lambda\subset M\). Let \(E^ s\) and \(E^ u\) be the subbundles of respective \(f\)-invariant splitting, \(E^ s_ p\) and \(E^ u_ p\), \(p\in\Lambda\), be their fibres, \(W^ s_ p\) and \(W^ u_ p\) be the stable and unstable manifolds at \(f\) and \(W^ u_ p(\delta)\) and \(W^ s_ p(\delta)\) be the \(\delta\)-neighbourhoods of \(p\) in \(W^ u_ p\) and \(W^ s_ p\) with respect to the natural Riemannian metric in these manifolds. It is known [see e.g. \textit{A. B. Katok}, in: Differential Dynamics (by Z. Nitecki), Russ. edition]that \(\exists\beta,\beta'\) such that for any \(x,y\in\Lambda\), \(d(x,y)<\beta\), \(W^ s_ y(\beta')\cap W^ u_ y(\beta')\) is a point, which is denoted as \([x,y]\in\Lambda\). For \(p\in\Lambda\), \(k\in\mathbb{N}\) define \[ \lambda_ k(p)=\| Df^ k\mid_{E_ p^ u}\|,\;\mu_ k(p)=\|(Df^ k\mid_{ E^ s_ p})^{-1}\|^{-1},\quad\eta_ k(p)=\| Df^ k\mid_{E^ u_ p}\|\text{ and} \] \[ \kappa_ 0=\sup_{k\geq 1}\varliminf_{n\to\infty}\inf_{p\in\Lambda}\sum^ \infty_{i=0}[\log\lambda_ k(f^{k i}p)-\log\eta_ k(f^{ki}p)]/\sum^ \infty_{i=0}\log\mu_ k(f^{ki}p). \] Theorem. For any \(\kappa<\min\{1,\kappa_ 0\}\) there exists a positive \(C_ \kappa\) such that for any pair \(x,y\in\Lambda\) with distance \(d(x,y)<\beta\) we have \(d(y,[y,z])\leq C_ \kappa d(x,[x,y])^ \kappa\).