Arnolds Katzenabbildung

Arnolds Katzenabbildung (auch Anosovs Katzenabbildung) ist in der Theorie der dynamischen Systeme das einfachste Beispiel eines Anosov-Diffeomorphismus und damit ein explizit berechenbares chaotisches System. Sie ist benannt nach Wladimir Igorewitsch Arnold, der die Eigenschaften der Transformation anhand der Darstellung einer Katze demonstrierte.

Das Bild zeigt, wie die Abbildung mit der Matrix $\left(\begin{array}{cc}2& 1\\ 1& 1\end{array}\right)$ das Einheitsquadrat verformt und wie die Stücke modulo 1 neu arrangiert werden. Die gestrichelten Linien geben die Richtungen maximaler Streckung und Stauchung an, sie entsprechen den Eigenvektoren der Matrix.

Definition

Arnolds Katzenabbildung ist die Selbstabbildung des Torus ${ℝ}^2/{\mathbb{Z}}^2$ definiert durch

$F(x,y)=(2x+y,x+y)mod1$

oder in Matrixnotation

$F\left(\left[\begin{array}{c}x\\ y\end{array}\right]\right)=\left[\begin{array}{cc}2& 1\\ 1& 1\end{array}\right]\left[\begin{array}{c}x\\ y\end{array}\right]mod1=\left[\begin{array}{cc}1& 1\\ 0& 1\end{array}\right]\left[\begin{array}{cc}1& 0\\ 1& 1\end{array}\right]\left[\begin{array}{c}x\\ y\end{array}\right]mod1.$

Eigenschaften

Diskretisierung für n = 150. Nach 300 Iterationen erhält man wieder die Identitätsabbildung.

• Die Abbildung ist ein Anosov-Diffeomorphismus: die Matrix $\left(\begin{array}{cc}2& 1\\ 1& 1\end{array}\right)$ hat zwei Eigenwerte ${\lambda }_1>1$ und ${\lambda }_2<1$, die Eigenvektoren liefern eine Zerlegung

$T_x{T}^2=E_x^u\oplus E_x^s$

in jedem Punkt $x\in T^2$, wobei $E_x^u$ und $E_x^s$ nach der kanonischen Identifizierung

$T_x{T}^2\cong {ℝ}^2$

den Eigenvektoren zu ${\lambda }_1$ und ${\lambda }_2$ entsprechen. Die Projektionen der zu den Eigenvektoren parallelen Geraden auf den Torus sind die stabilen und instabilen Mannigfaltigkeiten der Abbildung.

• Der Nullpunkt ist der einzige Fixpunkt. Die Anzahl der periodischen Punkte mit Periode $n$ ist

${\lambda }_1^n+{\lambda }_2^n-2$.

Die periodischen Punkte liegen dicht. Ein Punkt ist genau dann präperiodisch, wenn er rationale Koordinaten hat.

• Die Abbildung ist topologisch transitiv.
• Die Abbildung ist flächenerhaltend, ergodisch und mischend.
• Die Umkehrabbildung ist gegeben durch

$F^{-1}(x,y)=(2x-y,-x+y)mod1$.

• Die Diskretisierung

$(\mathbb{Z}/n\mathbb{Z}{)}^2\to (\mathbb{Z}/n\mathbb{Z}{)}^2$

ist periodisch mit Periode $\le 3n$.

Literatur

• Vladimir I. Arnold, André Avez: Ergodic problems of classical mechanics. Translated from the French by A. Avez. W. A. Benjamin, Inc., New York – Amsterdam 1968.
• Freeman Dyson, Harold Falk: Period of a discrete cat mapping. Amer. Math. Monthly 99 (1992), 603–614.

Weblinks

• Vorlage:MathWorld