Rotationszahl

Vorlage:Dieser Artikel Die Rotationszahl ist eine Invariante von Selbstabbildungen des Kreises, die erstmals von Henri Poincaré 1885 in seinen Arbeiten zur Himmelsmechanik untersucht wurde. Homöomorphismen von Kreisen kommen dort als Poincaré-Abbildungen (return maps) 2-dimensionaler Flüsse vor und die Rotationszahl der Poincaré-Abbildung liefert Informationen über das Langzeitverhalten des 2-dimensionalen Flusses.

Überlagerung des Kreises $X=S^1=ℝ/\mathbb{Z}$ durch die Zahlengerade $Y=ℝ$. Jede stetige Abbildung $f:S^1\to S^1$ kann zu einer stetigen Abbildung $F:ℝ\to ℝ$ mit $F(x+m)=F(x)+m$ für alle $m\in \mathbb{Z}$ hochgehoben werden.

Definition

Es sei $f:S^1\to S^1$ ein orientierungserhaltender Homöomorphismus des Kreises $S^1=ℝ/\mathbb{Z}$ (vgl. Kreisgruppe). Dann gibt es eine Hochhebung von $f$ zu einem Homöomorphismus $F:ℝ\to ℝ$ der Zahlengerade mit

$F(x+m)=F(x)+m$

für jede reelle Zahl $x$ und jede ganze Zahl $m$.

Die Rotationszahl von $f$ ist mit Hilfe der Iteration von $F$ definiert als:

$\omega (f)=\underset{n\to \mathrm{\infty }}{\lim }\frac{F^n(x)-x}{n}$.

Henri Poincaré bewies, dass der Grenzwert existiert und nicht von der Wahl des Startpunktes $x$ abhängt.

Die Hochhebung $F$ ist nur modulo ganzzahliger Verschiebungen eindeutig definiert, deshalb ist die Rotationszahl ein wohldefiniertes Element aus $ℝ/\mathbb{Z}$. Anschaulich misst sie den durchschnittlichen Drehwinkel entlang des Orbits von $f$.

Beispiele

Drehungen des Kreises

• Wenn $f=R_{\alpha }$ die Drehung um den Winkel $\alpha$ ist, dann ist $\omega (f)=\frac{1}{2\pi }\alpha$.
• Wenn $f$ mindestens einen Fixpunkt hat, dann ist $\omega (f)=0$. Wenn $f$ keine Fixpunkte hat, dann ist $\omega (f)=0$.
• $\omega (f)$ ist rational genau dann, wenn $f$ einen periodischen Punkt hat. Wenn $\omega (f)$ eine rationale Zahl $\frac{p}{q}$ ist, dann haben alle periodischen Punkte die Periode $q$.

Eigenschaften

• Die Rotationszahl ist invariant unter Konjugation: wenn $h:S^1\to S^1$ ein Homöomorphismus ist, dann ist $\omega (hf{h}^{-1})=\omega (f)$.
• Die Rotationszahl hängt stetig von $f$ ab, d. h. wenn eine Folge $f_n$ gleichmäßig gegen $f$ konvergiert, dann konvergiert $\omega (f_n)$ gegen $\omega (f)$.

Anwendungen

• Klassifikationssatz von Poincaré: Wenn $\omega (f)$ irrational ist, dann gibt es einen monotone, stetige Abbildung $h$ mit

$h\circ f=R_{\omega (f)}\circ h$,

wobei $R_{\omega (f)}$ die Drehung um den Winkel $\omega (f)$ bezeichnet. $h$ ist ein Homöomorphismus genau dann, wenn die Wirkung von $f$ unter Iteration transitiv ist. Beispiele nichttransitiver Homöomorphismen mit irrationaler Rotationszahl wurden von Denjoy konstruiert.

• Wenn $\omega (f)$ rational und $f$ orientierungserhaltend ist, dann gibt es zwei mögliche Typen periodischer Orbiten:
  • Wenn $f$ genau einen periodischen Orbit hat, dann ist jeder andere Punkt unter $f^q$ heteroklin zu zwei Punkten auf dem periodischen Orbit.
  • Wenn $f$ mehrere periodische Orbiten hat, dann ist jeder andere Punkt unter $f^q$ heteroklin zu zwei Punkten auf unterschiedlichen periodischen Orbiten.

Verallgemeinerungen

Es gibt verschiedene Verallgemeinerungen der Rotationszahl, die sich (einschließlich Poincarés klassischer Definition) alle in den folgenden Ansatz einordnen lassen.

Es sei $G$ eine lokalkompakte topologische Gruppe und $\kappa \in {\hat{H}}_{cb}^2(G,\mathbb{Z})$ eine beschränkte $\mathbb{Z}$-wertige Borel-Kohomologieklasse. Es sei $g\in G$. Weil die Einschränkung der entsprechenden reell-wertigen Kohomologieklasse ${\kappa }_{ℝ}\in {\hat{H}}_{cb}^2(G,ℝ)$ auf die Untergruppe $B:=\overline{⟨g⟩}\subset G$ verschwindet, gibt es wegen der exakten Sequenz

$0\to {\mathrm{Hom}}_c(B,ℝ/Z)\to {\hat{H}}_{cb}^2(B,\mathbb{Z})\to {\hat{H}}_{cb}^2(B,ℝ)\to 0$

einen eindeutigen stetigen Homomorphismus $f:B\to ℝ/\mathbb{Z}$ im Urbild von $\kappa$. Die Rotationszahl von $g$ wird dann definiert als

${\mathrm{Rot}}_{\kappa }(g):=f(g)$.

• Für $G={\mathrm{Homeo}}^{+}(S^1)$ und $\kappa =e$ die Euler-Klasse erhält man die klassische Rotationszahl.
• Für $G=\mathrm{Sp}(n,ℝ)$ und $\kappa$ das Bild von $u(k)=\det (k{)}^2$ unter ${\mathrm{Hom}}_c(U(n),ℝ/Z)\to {\hat{H}}_{cb}^2(U(n),\mathbb{Z})={\hat{H}}_{cb}^2(\mathrm{Sp}(2n,ℝ),\mathbb{Z})$ erhält man die symplektische Rotationszahl.
• Für die Automorphismengruppen symmetrischer Gebiete vom Tubentyp erhält man die Clerc-Koufany-Rotationszahl.

Literatur

• Katok, Anatole; Hasselblatt, Boris: Introduction to the modern theory of dynamical systems. With a supplementary chapter by Katok and Leonardo Mendoza. Encyclopedia of Mathematics and its Applications, 54. Cambridge University Press, Cambridge, 1995. ISBN 0-521-34187-6 (Kapitel 11)
• Aranson, S. Kh.; Belitsky, G. R.; Zhuzhoma, E. V.: Introduction to the qualitative theory of dynamical systems on surfaces. Translated from the Russian manuscript by H. H. McFaden. Translations of Mathematical Monographs, 153. American Mathematical Society, Providence, RI, 1996. ISBN 0-8218-0369-7
• Herman, Michael-Robert: Sur la conjugaison différentiable des difféomorphismes du cercle à des rotations. Inst. Hautes Études Sci. Publ. Math. No. 49 (1979), 5–233. Vorlage:Doi

Weblinks

• Misiurewicz: Rotation theory
• Menon: Circle maps