Multiplikativer Ergodensatz
# Multiplikativer Ergodensatz

In der Ergodentheorie ist der Multiplikative Ergodensatz oder Satz von Oseledets ein mathematischer Lehrsatz, der das asymptotische Langzeitverhalten der Ableitungsmatrizen für Iterationen einer differenzierbaren Abbildung beschreibt.

Der Satz von Oseledets wird in der Regel in einer allgemeinen Fassung für matrixwertige Kozykel formuliert, aus der als spezielle Anwendung der multiplikative Ergodensatz für $C^{1}$-Diffeomorphismen folgt.

## Version für matrixwertige Kozykel

Sei $T\colon X\to X$ ein maßerhaltende Abbildung auf einem Wahrscheinlichkeitsraum $(X,\mu )$ und sei $\left\{A(n,x)\in Mat(r,\mathbb {R} )\colon n\in \mathbb {N} ,x\in X\right\}$ eine Familie von Matrizen mit

    $A(m,T^{n}x)A(n,x)=A(m+n,x)$

für alle $m,n\in \mathbb {N} ,x\in X$, also ein matrixwertiger Kozykel. Sei $\log \Vert A(n,x)\Vert \in L^{1}(X,\mu )$ und $\log \Vert A(n,x)^{-1}\Vert \in L^{1}(X,\mu )$ für alle $n\in \mathbb {N}$. Dann existiert für $\mu$-fast alle $x\in X$ und alle $v\in \mathbb {R} ^{r}$ mit $\Vert v\Vert =1$ der Grenzwert

    $\lambda =\lim _{n\to \infty }{\frac {\log \Vert A(n,x)v\Vert }{n}}$

und nimmt höchstens $r$ verschiedene Werte an, die von $v$, aber nicht von $x$ abhängen. Diese Werte heißen Ljapunow-Exponenten. Bezeichnet man die unterschiedlichen Ljapunow-Exponenten mit $\lambda _{1}>\ldots >\lambda _{m}$, dann gibt es Unterräume

    $\mathbb {R} ^{r}=V_{1}\supset V_{2}\supset \ldots \supset V_{m}\supset V_{m+1}=0$

mit

    $\lim _{n\to \infty }{\frac {\log \Vert A(n,x)v\Vert }{n}}=\lambda _{i}$

für $v\in V_{i}\setminus V_{i+1},i=1,\ldots ,m$.

## Version für Diffeomorphismen

Sei $M$ eine kompakte Riemannsche Mannigfaltigkeit und $f\colon M\to M$ ein $C^{1}$-Diffeomorphismus. Sei $\mu$ ein ergodisches $f$-invariantes Wahrscheinlichkeitsmaß. Dann gibt es für $\mu$-fast alle $x\in M$ messbar von $x\in M$ abhängende Zahlen $r(x),\lambda _{1}(x),\ldots ,\lambda _{r}(x)$ und eine messbar von $x$ abhängende $f$-äquivariante Zerlegung

    $T_{x}M=E_{1}(x)\oplus \ldots \oplus E_{r}(x)$

mit

    $\lim _{n\to \pm \infty }{\frac {1}{n}}\log \Vert D_{x}f^{n}v\Vert =\lambda _{i}(x)\ \ \forall v\in E_{i}(x)\setminus 0$,

und

    $\lim _{n\to \pm \infty }{\frac {1}{n}}\log \Vert Jac(D_{x}f^{n})\Vert =\sum _{i=1}^{r(x)}\lambda _{i}(x)m_{i}(x)$

für $m_{i}(x)=\dim E_{i}(x)$. Die $\lambda _{i}(x)$ heißen Ljapunow-Exponenten, die $m_{i}(x)$ ihre Vielfachheiten. Aus Ergodizität von $\mu$ folgt, dass sie $\mu$-fast überall konstant sind.

