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:X\to X$ ein maßerhaltende Abbildung auf einem Wahrscheinlichkeitsraum $(X,\mu )$ und sei $\{A(n,x)\in Mat(r,ℝ):n\in \mathbb{N},x\in X\}$ 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 {ℝ}^r$ mit $\Vert v\Vert =1$ der Grenzwert

$\lambda =\underset{n\to \mathrm{\infty }}{\lim }\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>\dots >{\lambda }_m$, dann gibt es Unterräume

${ℝ}^r=V_1\supset V_2\supset \dots \supset V_m\supset V_{m+1}=0$

mit

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

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

Version für Diffeomorphismen

Sei $M$ eine kompakte Riemannsche Mannigfaltigkeit und $f: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),\dots ,{\lambda }_r(x)$ und eine messbar von $x$ abhängende $f$-äquivariante Zerlegung

$T_{x}M=E_1(x)\oplus \dots \oplus E_r(x)$

mit

$\underset{n\to \pm \mathrm{\infty }}{\lim }\frac{1}{n}\log \Vert D_x{f}^{n}v\Vert ={\lambda }_i(x)\mathrm{\forall }v\in E_i(x)\setminus 0$,

und

$\underset{n\to \pm \mathrm{\infty }}{\lim }\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.

Literatur

• V.I. Oseledets: A multiplicative ergodic theorem. Lyapunov characteristic numbers for dynamical systems, Trans. Moscow Math. Soc. 19 (1968), 197–231.
• D. Ruelle: Ergodic theory of differentiable dynamical systems, Publ. IHÉS 50 (1979), 275–306.

Weblinks

• Oseledets theorem (Scholarpedia)