Hyperbolische Menge

In der Theorie der dynamischen Systeme bezeichnet man eine unter einem Fluss invariante Menge als hyperbolische Menge, wenn der Fluss entlang dieser Menge in einigen Richtungen kontrahierend und in anderen Richtungen expandierend wirkt. Dieses Verhalten ist typisch für chaotische dynamische Systeme.

Definition für diskrete dynamische Systeme

Sei $f:M\to M$ ein Diffeomorphismus einer kompakten glatten Mannigfaltigkeit und $Df:TM\to TM$ sein Differential. Eine $f$-invariante Teilmenge $\mathrm{\Lambda }\subset M$ ist eine hyperbolische Menge, wenn die Einschränkung $T_{\mathrm{\Lambda }}M:=TM{\mid }_{\mathrm{\Lambda }}$ des Tangentialbündels auf $\mathrm{\Lambda }$ sich als Whitney-Summe zweier $Df$-invarianter Unterbündel $E^s$ und $E^u$ zerlegen lässt, so dass (für eine geeignete Riemannsche Metrik) die Einschränkung von $Df$ auf $E^s$ eine Kontraktion und die Einschränkung von $Df$ auf $E^u$ eine Expansion ist. Das heißt,

$T_{\mathrm{\Lambda }}M=E^s\oplus E^u,$

$(Df{)}_x{E}_x^s=E_{f(x)}^s$ and $(Df{)}_x{E}_x^u=E_{f(x)}^u$ für alle $x\in \mathrm{\Lambda }$

und es gibt Konstanten $0<\lambda <1,c>0$ so dass

$\Vert D{f}^{n}v\Vert \le c{\lambda }^n\Vert v\Vert$ für alle $v\in E^s$ und $n>0$

und

$\Vert D{f}^{-n}v\Vert \le c{\lambda }^n\Vert v\Vert$ für alle $v\in E^u$ und $n>0$.

Definition für Flüsse

Sei

$\phi :M\times ℝ\to M$

ein Fluss auf einer kompakten glatten Mannigfaltigkeit $M$. Für $t\in ℝ$ bezeichnen wir mit ${\phi }_t:M\to M$ die Abbildung

${\phi }_t(x)=\phi (x,t)$

und mit $D{\phi }_t:TM\to TM$ ihr Differential. Den Orbit eines Punktes $x\in M$ bezeichnen wir mit

$𝒪(x,\phi ):=\{\phi (x,t)|t\in ℝ\}=\{{\phi }_t(x)|t\in ℝ\}$.

Eine unter allen ${\phi }_t$ invariante Teilmenge $\mathrm{\Lambda }\subset M$ ist eine hyperbolische Menge, wenn die Einschränkung $TM{\mid }_{\mathrm{\Lambda }}$ des Tangentialbündels auf $\mathrm{\Lambda }$ sich als Whitney-Summe zweier $Df$-invarianter Unterbündel $E^s$ und $E^u$ und des Tangentialbündels der jeweiligen Orbiten zerlegen lässt, so dass (für eine geeignete Riemannsche Metrik) die Einschränkung von $Df$ auf $E^s$ eine Kontraktion und die Einschränkung von $Df$ auf $E^u$ eine Expansion ist. Das heißt,

$T_{x}M=T_x𝒪(x,\phi )\oplus E_x^s\oplus E_x^u$ für alle $x\in \mathrm{\Lambda }$,

$(D{\phi }_t{)}_x{E}_x^s=E_{{\phi }_t(x)}^s$ and $(D{\phi }_t{)}_x{E}_x^u=E_{{\phi }_t(x)}^u$ für alle $x\in \mathrm{\Lambda },t\in ℝ$

und es gibt Konstanten $0<\lambda <1,c>0$ so dass

$\Vert D{\phi }_{t}v\Vert \le c{\lambda }^t\Vert v\Vert$ für alle $v\in E^s$ und $t>0$

und

$\Vert D{\phi }_{-t}v\Vert \le c{\lambda }^t\Vert v\Vert$ für alle $v\in E^u$ und $t>0$.

Stabile und instabile Bündel, stabile und instabile Mannigfaltigkeiten

Die durch die Definition einer hyperbolischen Menge gegebenen Bündel $E^s$ und $E^u$ heißen stabiles und instabiles Bündel, ihre Integralmannigfaltigkeiten heißen stabile und instabile Mannigfaltigkeiten.

Anosov-Fluss, Anosov-Diffeomorphismus

Falls $\mathrm{\Lambda }=M$ ist, spricht man von einem Anosov-Fluss bzw. Anosov-Diffeomorphismus. Allgemeiner werden in der Theorie der dynamischen Systeme häufig Axiom A-Flüsse bzw. Axiom A-Diffeomorphismen betrachtet.

Literatur

• Luis Barreira: Ergodic theory, hyperbolic dynamics and dimension theory. Universitext. Springer, Heidelberg, 2012. ISBN 978-3-642-28089-4
• Eduard Zehnder: Lectures on dynamical systems. Hamiltonian vector fields and symplectic capacities. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zürich, 2010. ISBN 978-3-03719-081-4
• Michael Brin, Garrett Stuck: Introduction to dynamical systems. Cambridge University Press, Cambridge, 2002. ISBN 0-521-80841-3
• Ken Palmer: Shadowing in dynamical systems. Theory and applications. Mathematics and its Applications, 501. Kluwer Academic Publishers, Dordrecht, 2000. ISBN 0-7923-6179-2
• Zbigniew Nitecki: Differentiable dynamics. An introduction to the orbit structure of diffeomorphisms. The M.I.T. Press, Cambridge, Mass.-London, 1971.
• Dmitri Anosov: Dynamical systems in the 1960s: the hyperbolic revolution. Mathematical events of the twentieth century, 1–17, Springer, Berlin, 2006.