Regularity of the Anosov splitting II (Q3129840)

A flow \(\varphi^t\) on a compact Riemannian manifold \(M\) is called Anosov with Anosov splitting \((E^u,E^s)=(E^{su}\oplus E^\varphi,E^{ss}\oplus E^\varphi)\) if \(TM=E^{su}\oplus E^{ss}\oplus E^\varphi\), \(E^\varphi=\text{span}\{\dot\varphi\}\neq\{0\}\) and there are \(C\), \(\varepsilon>0\) such that for all \(p\in M\) there exist \(\mu_f<\mu_s<1-\varepsilon<1+\varepsilon<\nu_s<\nu_f\) so that for \(v\in E^{ss}(p)\), \(u\in E^{su}(p)\) and \(t>0\) we have \[ \frac{1}{C}\mu^t_f|v|\leq|D\varphi^t(v)|\leq C\mu^t_s|v|\quad \text{and}\quad\frac{1}{C}\nu^{-t}_f|u|\leq|D\varphi^{-t}(u)|\leq C\nu^{-t}_s|u|. \] The unstable bunching constant is \(B^u(\varphi)=\inf_{p\in M}(\log\mu_s-\log\nu_s)/\log\mu_f\). Let us recall that \(f:\mathbb{R}\to\mathbb{R}\) is called \(\beta\)-Hölder continuous, written \(f\in C^\beta\), if \(f\in C^{[\beta]}\) and \(f^{([\beta])}\) is Hölder continuous with exponent \(\beta-[\beta]\). A distribution is said to be \(C^\beta\) if it is spanned by vector fields with \(C^\beta\) components in a chart. The author's earlier result [ibid. 14, No. 4, 645-666 (1994; Zbl 0821.58032)] is: \(E^u\in C^{B^u(\varphi)-\varepsilon}\). The new improvement result is: \[ E^u\in C^{B^u(\varphi)}\quad\text{if}\quad B^u(\varphi)\notin\mathbb{N},\quad E^u\in C^{(B^u(\varphi)-1), x|\log x|}\quad\text{if}\quad B^u(\varphi)\in\mathbb{N}. \]