Ruelle inequality on a noncompact space - MathOverflow most recent 30 from http://mathoverflow.net2013-06-19T07:04:03Zhttp://mathoverflow.net/feeds/question/101917http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/101917/ruelle-inequality-on-a-noncompact-spaceRuelle inequality on a noncompact spaceBarbara Schapira2012-07-11T06:43:53Z2012-07-20T19:37:59Z
<p>Does someone have a reference where the Ruelle inequality would be proved in the following context. </p>
<p>Let $M$ be a non compact smooth manifold, and $f:M\to M$ be a $C^1$-diffeomorphism (or $C^2$, or smooth), whose differential is uniformly bounded ($\sup_{x\in M}\|T_xf\|<\infty$) on $M$. </p>
<p>Assume maybe that $M$ satisfies an additional assumption : [???? to complete ??]</p>
<p>Let $\mu$ be a $f$-invariant probability measure on $M$.
Then
$$
h_\mu(f)\le \int_M \sum_{i:\chi_i(f)>0} \chi_i(x)\dim E_i(x) d\mu(x)
$$
where the numbers $\chi_i(x)$ are the Lyapounov exponents, and $E_i(x)$ the corresponding spaces in the Oseledets decomposition. </p>
http://mathoverflow.net/questions/101917/ruelle-inequality-on-a-noncompact-space/102766#102766Answer by Matheus for Ruelle inequality on a noncompact spaceMatheus2012-07-20T19:37:59Z2012-07-20T19:37:59Z<p>Dear Barbara, </p>
<p>I don't whether this is useful in your case, but one can get a Ruelle inequality if $M$ admits a "nice compactification" and $f$ behaves "well" near the boundary of this compactification (i.e., at "infinity") because in this context the results in the book "Invariant manifolds, Entropy and Billiards" of A. Katok and J.-M. Strelcyn may be applied. More precisely, suppose that $M$ can be viewed as an open and dense subset of a compact metric space $N$ satisfying conditions (A), (B), (C) and (1.1) in Katok-Strelcyn's book, and $f$ is a $C^2$ diffeomorphism preserving a probability $\mu$ verifying conditions (1.3) and (1.4) in Katok-Strelcyn book and the usual integrability condition $\int \log^+\|df\|d\mu<\infty$. Then, the Ruelle inequality holds. </p>
<p>Of course, the integrability condition is true under your assumption of uniform bound on $\|df\|$, so that the main issue is to figure out if such a nice compactification of $M$ exists in your setting. </p>
<p>Best, </p>
<p>Matheus </p>