Dominated Pesin theory: convex sum of hyperbolic measures (Q1670348)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dominated Pesin theory: convex sum of hyperbolic measures |
scientific article |
Statements
Dominated Pesin theory: convex sum of hyperbolic measures (English)
0 references
5 September 2018
0 references
In the uniformly hyperbolic setting, it is well known that the set of all measures supported on periodic orbits is dense in the convex space of all invariant measures. In this paper, the converse question is considered in the nonuniform hyperbolic setting for \(C^1\)-diffeomorphisms. It has been shown in Theorem 3.11 in [\textit{F. Abdenur} et al., Isr. J. Math. 183, 1--60 (2011; Zbl 1246.37040)] that the nonuniform hyperbolicity plus the uniform domination implies Pesin stable manifold theorem for \(C^1\)-diffeomorphisms. The results of present paper are based on the above claim. Let \(f\) be a \(C^1\)-diffeomorphism of a Riemannian manifold \(M\), and let \(\Lambda \subset M\) be a compact invariant set of \(f\) with a dominated splitting \(E \oplus F\) with \(s\)-index \(\dim E\), and let \(\mu\) be a hyperbolic invariant (not necessarily ergodic) Borel probability measure supported in \(\Lambda\) with \(s\)-index \(\dim E\). Denote by \(\tilde{\Lambda}\) the maximal invariant set in a neighborhood of \(\Lambda\) such that the dominated splitting \(E \oplus F\) extends to \(\tilde{\Lambda}\). In this setting, it is proved (Theorem 1) that if \(\mu\), \(\nu \in \mathcal{M}_f(\Lambda)\) are hyperbolic ergodic measures with \(s\)-index \(\dim E\) such that \(\nu\) has the same intersection class as \(\mu\), that is, \(H(\nu) = H(\mu)\), then any convex combination \(\alpha \mu + (1- \alpha) \nu\) \((\alpha \in [0, 1])\) is the weak \(\ast\)-limit of measures associated to periodic orbits in \(\tilde{\Lambda}\) belonging to this class. The main result of this paper (Theorem 2) is the converse to the above assertion. Under the above setting, let \(\mu = \int \nu d\boldsymbol{\lambda} (\nu)\) be the ergodic decomposition of \(\mu\). Then \(\mu\) is accumulated by ergodic measures \(\nu_n \in \mathcal{M}_f(\tilde{\Lambda})\) if and only if \(\boldsymbol{\lambda}\)-almost all ergodic measures \(\nu\) are hyperbolic with index \(\dim E\) and have the same intersection class \(H = H(\nu)\). Moreover, in this case \(H = H(\mu)\).
0 references
nonuniform hyperbolic dynamics
0 references
Lyapunov exponents
0 references
dominated splittings
0 references
Pesin theory
0 references
ergodic measures
0 references
intersection classes
0 references
0 references
0 references
0 references
0 references
0 references