Stable sets, hyperbolicity and dimension

From MaRDI portal



Abstract: In this note we derive an upper bound for the Hausdorff dimension of the stable set of a hyperbolic set Lambda of a C2 diffeomorphisms on a n-dimensional manifold. As a consequence we obtain that dimHWs(Lambda)=n is equivalent to the existence of a SRB-measure. We also discuss related results in the case of expanding maps.


Let \(f: M\to M\) be a \(C^2\)-diffeomorphism on an \(n\)-dimensional Riemannian manifold \(M\) and \(\lambda\subset M\) a locally maximal hyperbolic set of \(f\), which is not a periodic orbit and \(f|\Lambda\) is topologically mixing. For given \(\varepsilon> 0\), the local stable set of \(\Lambda\) is defined as \[ W^s_\varepsilon(\Lambda)= \{x\in M: \text{dist}(f^k(x), \Lambda)< \varepsilon\text{ for all }k\in\mathbb{N}\}. \] Here, the complexity of \(W^s_\varepsilon(\Lambda)\) is investigated in terms of its upper box dimension \(\overline{\dim}_{\text{B}} W^s_\varepsilon(\Lambda)\). The main result of the paper is \[ \overline{\dim}_{\text{B}} W^s_\varepsilon(\Lambda)\leq n+{P(\varepsilon^u)\over s}. \] \(P(\varphi^u)\) denotes the topological pressure of the function \(\varphi^u(x)= -\log|\text{det}(Df(x)|E^u_x)|\), where \(\text{det}(Df(x)|E^u_x)\) denotes the Jacobian of the linear map \(Df(x)|E^u_x\) and the number \(s\) is defined by \[ s=\lim_{k\to \infty}\,{1\over k}\log(\max\{\| Df^k(x)\|: x\in\Lambda\}). \]











This page was built for publication: Stable sets, hyperbolicity and dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1770188)