Satz von Denjoy

In d​er Mathematik i​st der Satz v​on Denjoy e​in grundlegendes Resultat a​us der Theorie d​er dynamischen Systeme. Es besagt, d​ass zweimal stetig differenzierbare Selbstabbildungen d​es Kreises k​eine Cantor-Menge invariant lassen können, u​nd weiterhin d​ass zweimal stetig differenzierbare Selbstabbildungen d​es Kreises m​it irrationaler Rotationszahl s​tets zu e​iner Drehung topologisch konjugiert sind. Beide Resultate s​ind falsch für n​ur einmal stetig differenzierbare Selbstabbildungen.

Invariante Mengen

Für einen orientierungserhaltenden Diffeomorphismus ${\displaystyle f\colon S^{1}\to S^{1}}$ ist jede minimale nicht-leere abgeschlossene invariante Teilmenge von ${\displaystyle S^{1}}$ entweder

• eine endliche Menge, oder
• ganz ${\displaystyle S^{1}}$, oder
• eine Cantor-Menge.[1]

Das folgende Beispiel zeigt, dass der dritte Fall für ${\displaystyle C^{1}}$-Diffeomorphismen tatsächlich möglich ist. Der Satz von Denjoy besagt jedoch, dass der dritte Fall für ${\displaystyle C^{2}}$-Diffeomorphismen nicht eintreten kann. Insbesondere sind im Fall irrationaler Rotationszahl dann alle Orbiten dicht in ${\displaystyle S^{1}}$.

Denjoy's Beispiel

Es gibt einen orientierungserhaltenden ${\displaystyle C^{1}}$-Diffeomorphismus ${\displaystyle f\colon S^{1}\to S^{1}}$, der keine periodischen Punkte hat, aber eine Cantor-Menge invariant lässt.

Zu jeder irrationalen Zahl ${\displaystyle \alpha }$ kann man einen solchen Denjoy-Diffeomorphismus konstruieren, der zur Drehung ${\displaystyle R_{\alpha }}$ semi-konjugiert ist.

Die Idee ist grob wie folgt. Man nehme den Orbit ${\displaystyle R_{\alpha }^{n}(z_{0})}$ einer irrationalen Drehung, dies ist eine abzählbare dichte Menge ${\displaystyle A\subset S^{1}}$. Man schneide ${\displaystyle S^{1}}$ in den Punkten von ${\displaystyle A}$ auf. Für jedes ${\displaystyle R_{\alpha }^{n}(z_{0})\in A}$ fülle man ein Intervall ${\displaystyle I_{n}}$ ein, dabei soll die Summe der Intervallängen endlich sein damit der so konstruierte Raum wieder homöomorph zum Kreis ist. Man konstruiert eine stetige monotone Abbildung, die außerhalb der eingefügten Intervalle die Drehung ${\displaystyle R_{\alpha }}$ ist und ${\displaystyle I_{n}}$ stetig und streng monoton auf ${\displaystyle I_{n+1}}$ abbildet. Man erhält einen Homöomorphismus (eines zu ${\displaystyle S^{1}}$ homöomorphen Raumes), der keine periodischen Punkte hat, eine Cantor-Menge invariant lässt und zu einer irrationalen Drehung konjugiert ist. Man kann ihn so modifizieren, dass er ${\displaystyle C^{1}}$ wird.[2][3][4]

Der Abbildungstorus d​er Einschränkung dieser Abbildung a​uf die invariante Cantor-Menge w​ird als Denjoy-Solenoid bezeichnet.[5]

Satz von Denjoy

Wenn ${\displaystyle f\colon S^{1}\to S^{1}}$ ein orientierungserhaltender ${\displaystyle C^{2}}$-Diffeomorphismus ist, dann ist jede minimale nicht-leere abgeschlossene invariante Teilmenge von ${\displaystyle S^{1}}$ entweder eine endliche Menge, oder ganz ${\displaystyle S^{1}}$.

Man erhält als Folgerung aus dem Satz von Denjoy, dass jeder orientierungserhaltende ${\displaystyle C^{2}}$-Diffeomorphismus mit irrationaler Rotationszahl zu einer Drehung topologisch konjugiert ist.[6][7] (Auch dieser Satz wird als Satz von Denjoy bezeichnet. Mit diesem Satz widerlegte Arnaud Denjoy eine Vermutung von Henri Poincaré.)

Im Allgemeinen i​st die konjugierende Abbildung n​ur stetig. Unter gewissen arithmetischen Voraussetzungen a​n die Rotationszahl erhält m​an aber e​ine differenzierbare Konjugationsabbildung.[8]

Blätterungen

Suspension einer Abbildung ${\displaystyle S^{1}\to S^{1}}$ gibt eine Blätterung auf dem 2-dimensionalen Torus. Denjoy's Beispiel zeigt, dass eine ${\displaystyle C^{1}}$-Blätterung eine exzeptionelle Minimalmenge haben kann und aus dem Satz von Denjoy folgt, dass eine ${\displaystyle C^{2}}$-Blätterung einer Fläche keine exzeptionellen Minimalmengen besitzt.[9]

Es gibt hingegen Beispiele von ${\displaystyle C^{\infty }}$-Blätterungen der Kodimension 1 auf höher-dimensionalen Mannigfaltigkeiten, die eine exzeptionelle Minimalmenge haben. Die höher-dimensionale Verallgemeinerung des Satzes von Denjoy ist stattdessen der Satz von Sacksteder: eine exzeptionelle Minimalmenge einer ${\displaystyle C^{2}}$-Blätterung der Kodimension 1 auf einer kompakten Mannigfaltigkeit enthält immer ein Blatt mit nichttrivialer linearisierter Holonomie.[10]

Literatur

• Arnaud Denjoy: Sur les courbes définies par les équations différentielles à la surface du tore, J. Math. Pures Appl. (9) 11 (1932), 333–375. online (PDF; 2,5 MB)
• V. V. Nemyckiĭ, V. V, Stepanov: Kačestvennaya Teoriya Differencialʹnyh Uravneniĭ. (Russisch), OGIZ, Moskau-Leningrad (1947).
• Harold Rosenberg: Un contre-exemple à la conjecture de Seifert (d'après P. Schweitzer). Séminaire Bourbaki, 25ème année (1972/1973), Exp. No. 434, pp. 294–306. Lecture Notes in Math., Vol. 383, Springer, Berlin, 1974. online (pdf)
• Gilbert Hector, Ulrich Hirsch: Introduction to the geometry of foliations. Part A. Foliations on compact surfaces, fundamentals for arbitrary codimension, and holonomy. Second edition. Aspects of Mathematics, 1. Friedr. Vieweg & Sohn, Braunschweig, 1986. ISBN 3-528-18501-5
• Alberto Candel, Lawrence Conlon: Foliations. I. Graduate Studies in Mathematics, 23. American Mathematical Society, Providence, RI, 2000. ISBN 0-8218-0809-5

Weblinks

• John Milnor: Introductory Dynamics Lecture, Kapitel 15: Denjoy's Theorem (PDF; 125 kB)

Einzelnachweise

1. Hector-Hirsch, Kapitel 4
2. Candel-Conlon, Example 4.1.10
3. Hector-Hirsch, Kapitel 5.2
4. Rosenberg
5. Nemyckiĭ-Stepanov
6. Hector-Hirsch, Korollar 5.3.3.
7. Candel-Conlon, Exercise 9.2.19
8. Michel Herman: Sur la conjugaison différentiable des difféomorphismes du cercle à des rotations. Inst. Hautes Études Sci. Publ. Math. No. 49 (1979), 5–233. online (pdf)
9. Milnor, §15C
10. Hector-Hirsch, Kapitel VI