Let $M$ be a closed manifold, $m$ be the normalized volume measure on $M$, and $f:M\to M$ be a $C^2$ transitive Anosov diffeomorphism. Consider the pushforward $f^km$ defined by

----------$f^km(A):=m(f^{-k}A)$ for all measurable subset $A\subset M$.

Then the Birkhoff averages $\nu_k=\frac{1}{k}\sum_{j=0}^{k-1}f^jm$ are probability measures on $M$ for all $k\ge1$. The question is:

  • What can we say about the measure(s) in the set $\mathcal{V}(m)$ of accumulation points of $\{\nu_k:k\ge1\}$?

We know that there exists a unique SRB measure $\mu_+$ for $f$ (and a unique SRB measure $\mu_-$ for $f^{-1}$). Do we have $\mathcal{V}(m)\subset\{\mu_+,\mu_-\}$?

  • $\begingroup$ A quick glance doesn't show me anything in Chernov's survey of invariant measures for hyperbolic dynamical systems unless you have some invariant measure $\mu << m$, in which case the forward and backward measures coincide. $\endgroup$ – Steve Huntsman Aug 31 '11 at 6:27

Yes. In fact, we have $\mathcal{V}(m) = \{\mu_+\}$ whenever $m$ is a probability measure on $M$ that is absolutely continuous with respect to volume. This is shown in (0.4) of "A measure associated with Axiom-A attractors" by David Ruelle, American Journal of Mathematics 98 (1976), 619--654.

| cite | improve this answer | |
  • $\begingroup$ Do you mean "whenever $\mu_+$ is a"? $\endgroup$ – Steve Huntsman Aug 31 '11 at 19:29
  • $\begingroup$ No, $\mu_+$ is the unique SRB measure for $f$. The initial measure $m$ is an arbitrary absolutely continuous probability measure (not necessarily an invariant one!), such as normalised volume. $\endgroup$ – Vaughn Climenhaga Aug 31 '11 at 20:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.