Question about an early result on the mixing of geodesic flows - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T20:35:56Z http://mathoverflow.net/feeds/question/50539 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/50539/question-about-an-early-result-on-the-mixing-of-geodesic-flows Question about an early result on the mixing of geodesic flows Steve Huntsman 2010-12-28T04:52:02Z 2010-12-28T14:50:18Z <p>Let $T_t$ be the geodesic flow on a surface $S$ of constant negative curvature, and let $M(f,t) := \langle \bar f \cdot (f \circ T_t) \rangle$, where $\langle f \rangle := \int_S f(x) d\mu(x)$ and where $\mu$ is the natural invariant measure. </p> <p>A <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.cmp/1103941454" rel="nofollow">1984 paper by Collet, Epstein, and Gallavotti</a> (PDF <a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.131.2267&amp;rep=rep1&amp;type=pdf" rel="nofollow">here</a>) shows (prop. 5, p. 90) that for $f$ nice (in a sense defined at the bottom of page 71), $\lvert M(f,t) \rvert &lt; \lVert f \rVert^2_\xi C( \xi) \cdot t^{b(\xi)}\exp(-t/2)$, where $\lVert \cdot \rVert^2_\xi$ is a certain rather complicated norm (defined in equation 3.5 of the paper) and $C$, $b$ do not depend on $f$.</p> <p>I have two related questions about this result which hopefully someone here already knows (the paper is quite technical and I really don't need to know its details if I can get a bit of clarification here):</p> <blockquote> <ul> <li><p>This result seems to imply that the rate of mixing is 1/2. How can this be? (see also <a href="http://mathoverflow.net/questions/48488/" rel="nofollow">this question</a>)</p></li> <li><p>How does this result (for which the "decay is not exponential") square with the results of Dolgopyat and Liverani that give exponential decay of correlations for reasonably nice Anosov flows?</p></li> </ul> </blockquote> http://mathoverflow.net/questions/50539/question-about-an-early-result-on-the-mixing-of-geodesic-flows/50564#50564 Answer by Matheus for Question about an early result on the mixing of geodesic flows Matheus 2010-12-28T14:50:18Z 2010-12-28T14:50:18Z <p>Dear Steve,</p> <p>In general the "precise" rate of mixing depends on the class of functions one considers. In particular, the authors of the paper you quoted treat only "analytic" functions (with some fixed band of analyticity) and they show that you get a rate of $t^{b(\xi)}e^{-t/2}$. In this sense, the rate of mixing is exponential and essentially equal to 1/2: I said essentially because of the factor $t^{b(\xi)}$ can't be removed in general, so that's why the authors said that the rate of mixing is not "genuinely exponential" (i.e., the sharp bound that they obtain is not <em>exactly</em> an exponential function of time). </p> <p>On the other hand, the results of Dolgopyat and Liverani concerns smooth but non-analytic functions and contact Anosov flows (and not only the ones coming from constant negative curvature surfaces). In this context, they show "exponential mixing" in the sense that the correlations can be bounded by some exponential function of $t$ (say $e^{-\sigma t}$ for some $\sigma>0$). Of course, they don't know whether their "rate" (i.e., the number $\sigma$ they obtain in the end of the calculations) is optimal (for instance, there is a subsequent work of Tsujii improving on Liverani's work). In particular, although Dolgopyat and Liverani obtain "exponential mixing", it is not in the same "sense" of Collet, Epstein and Gallavotti. </p> <p>In resume, I guess that the confusion comes from the distinct employments of the nomenclature "exponential mixing" in the works of Collet, Epstein, Gallavotti, and Dolgopyat and Liverani (and Tsujii also). </p> <p>Best,</p> <p>Matheus</p>