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

T Λ M = E s E u , {\displaystyle T_{\Lambda }M=E^{s}\oplus E^{u},}
( D f ) x E x s = E f ( x ) s {\displaystyle (Df)_{x}E_{x}^{s}=E_{f(x)}^{s}} and ( D f ) x E x u = E f ( x ) u {\displaystyle (Df)_{x}E_{x}^{u}=E_{f(x)}^{u}} für alle x Λ {\displaystyle x\in \Lambda }

und es gibt Konstanten 0 < λ < 1 , c > 0 {\displaystyle 0<\lambda <1,c>0} so dass

D f n v c λ n v {\displaystyle \|Df^{n}v\|\leq c\lambda ^{n}\|v\|} für alle v E s {\displaystyle v\in E^{s}} und n > 0 {\displaystyle n>0}

und

D f n v c λ n v {\displaystyle \|Df^{-n}v\|\leq c\lambda ^{n}\|v\|} für alle v E u {\displaystyle v\in E^{u}} und n > 0 {\displaystyle n>0} .

Definition für Flüsse

Sei

φ : M × R M {\displaystyle \varphi \colon M\times \mathbb {R} \to M}

ein Fluss auf einer kompakten glatten Mannigfaltigkeit M {\displaystyle M} . Für t R {\displaystyle t\in \mathbb {R} } bezeichnen wir mit φ t : M M {\displaystyle \varphi _{t}\colon M\to M} die Abbildung

φ t ( x ) = φ ( x , t ) {\displaystyle \varphi _{t}(x)=\varphi (x,t)}

und mit D φ t : T M T M {\displaystyle D\varphi _{t}\colon TM\to TM} ihr Differential. Den Orbit eines Punktes x M {\displaystyle x\in M} bezeichnen wir mit

O ( x , φ ) := { φ ( x , t ) | t R } = { φ t ( x ) | t R } {\displaystyle {\mathcal {O}}(x,\varphi ):=\left\{\varphi (x,t)|t\in \mathbb {R} \right\}=\left\{\varphi _{t}(x)|t\in \mathbb {R} \right\}} .

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

T x M = T x O ( x , φ ) E x s E x u {\displaystyle T_{x}M=T_{x}{\mathcal {O}}(x,\varphi )\oplus E_{x}^{s}\oplus E_{x}^{u}} für alle x Λ {\displaystyle x\in \Lambda } ,
( D φ t ) x E x s = E φ t ( x ) s {\displaystyle (D\varphi _{t})_{x}E_{x}^{s}=E_{\varphi _{t}(x)}^{s}} and ( D φ t ) x E x u = E φ t ( x ) u {\displaystyle (D\varphi _{t})_{x}E_{x}^{u}=E_{\varphi _{t}(x)}^{u}} für alle x Λ , t R {\displaystyle x\in \Lambda ,t\in \mathbb {R} }

und es gibt Konstanten 0 < λ < 1 , c > 0 {\displaystyle 0<\lambda <1,c>0} so dass

D φ t v c λ t v {\displaystyle \|D\varphi _{t}v\|\leq c\lambda ^{t}\|v\|} für alle v E s {\displaystyle v\in E^{s}} und t > 0 {\displaystyle t>0}

und

D φ t v c λ t v {\displaystyle \|D\varphi _{-t}v\|\leq c\lambda ^{t}\|v\|} für alle v E u {\displaystyle v\in E^{u}} und t > 0 {\displaystyle t>0} .

Stabile und instabile Bündel, stabile und instabile Mannigfaltigkeiten

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

Anosov-Fluss, Anosov-Diffeomorphismus

Falls Λ = M {\displaystyle \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.