The completion of the set of Lagrangians and applications to dynamics -- Based on lectures by C. Viterbo

Dieses Vorlesungsskript führt die Vervollständigung der Menge der Lagrangeschen Untermannigfaltigkeiten bezüglich der spektralen Metrik ein, entwickelt das Konzept des γ-Trägers und wendet diese Ergebnisse auf konform symplektische Dynamik an, indem es den Begriff des Birkhoff-Attraktors verallgemeinert.

Das Wesentliche

🌌 Die unsichtbare Landkarte: Wenn Wellen zu Bergen werden

Stellen Sie sich vor, Sie sind ein Kartograph, der eine Welt zeichnet, in der alles aus Lagrange-Mengen besteht. Das klingt kompliziert, aber stellen Sie sich diese Mengen einfach als perfekte, glatte Seifenblasen oder Wellenmuster auf einer Oberfläche vor. In der Physik (genauer: in der symplektischen Geometrie) beschreiben diese „Blasen" den Zustand von Systemen, wie etwa die Position und Geschwindigkeit von Planeten oder Teilchen.

Normalerweise können wir diese Blasen nur dann perfekt beschreiben, wenn sie glatt und zusammenhängend sind. Aber was passiert, wenn diese Blasen zerreißen, sich zu unendlich feinen Fäden auflösen oder zu chaotischen Haufen werden? Die klassische Mathematik sagt dann oft: „Hier gibt es keine Karte mehr."

Das Ziel dieses Papers:
Die Autoren (Olga Bernardi und Francesco Morabito, basierend auf Vorlesungen von C. Viterbo) wollen genau das ändern. Sie bauen eine neue, erweiterte Landkarte. Sie fragen sich: Was ist die „perfekte Form" einer solchen Blase, wenn sie sich bis ins Unendliche verfeinert? Sie füllen die Lücken in unserer mathematischen Welt auf.

---

📏 Das Maß für das Chaos: Der „γ-Abstand"

Um zu messen, wie ähnlich oder unterschiedlich zwei dieser Blasen sind, benutzen die Autoren ein spezielles Lineal, das sie γ-Metrik (Gamma-Metrik) nennen.

• Die Analogie: Stellen Sie sich vor, Sie haben zwei Wellenmuster im Wasser. Um das eine in das andere zu verwandeln, müssen Sie Energie aufwenden (Wellen brechen, Wasser verschieben). Der γ-Abstand misst genau diese benötigte Energie.
• Das Problem: Wenn Sie versuchen, eine glatte Welle in eine immer wilder werdende, chaotische Struktur zu verwandeln, nähern Sie sich einem Punkt an, an dem die Welle „kaputtgeht". In der alten Mathematik war dieser Punkt nicht definiert. In der neuen „Vervollständigung" (Completion) gibt es diesen Punkt sehr wohl. Er ist wie ein gebrochener Spiegel, der immer noch ein Bild wirft, aber ein sehr komplexes.

---

🧱 Der „γ-Support": Wo ist das Ding eigentlich?

Wenn man diese neuen, „kaputten" oder extrem feinen Objekte betrachtet, stellt sich die Frage: Wo befinden sie sich eigentlich?

Die Autoren führen den Begriff des γ-Supports ein.

• Die Analogie: Stellen Sie sich vor, Sie haben einen Haufen Sand, der so fein ist, dass er fast wie Nebel aussieht. Wo ist der „Kern" dieses Nebels? Der γ-Support ist wie die unsichtbare Grenze, die den Bereich markiert, in dem das Objekt „wirklich existiert" und nicht nur ein mathematisches Phantom ist.
• Die Entdeckung: Sie beweisen, dass diese unsichtbaren Grenzen immer eine bestimmte geometrische Eigenschaft haben (sie sind „γ-köisotrop"). Das ist wie eine Regel in der Natur: Selbst wenn das Chaos maximal ist, gibt es immer noch eine verborgene Ordnung, die verhindert, dass das Objekt einfach überall gleichzeitig ist.

---

🌪️ Der Birkhoff-Attraktor: Der magnetische Wirbel

Der spannendste Teil des Papers ist die Anwendung auf die Dynamik, also wie sich Dinge bewegen.

Stellen Sie sich einen dissipativen Wirbel vor (wie ein Whirlpool in einer Badewanne, der Energie verliert). Wenn Sie einen Ball hineinwerfen, dreht er sich immer schneller, bis er in der Mitte landet. Dieser Endzustand heißt Attraktor.

• Das alte Bild: In 2D (auf einer flachen Ebene) kannten Mathematiker diese Attraktoren schon lange (Birkhoff-Attraktoren). Sie sahen aus wie dicke, verwobene Fäden.
• Das neue Bild: Die Autoren nehmen dieses Konzept und ziehen es in höhere Dimensionen (in mehr als zwei Richtungen).
  • Die Metapher: Stellen Sie sich vor, der Whirlpool ist nicht mehr nur auf einer Ebene, sondern in einem ganzen Raum voller Luftströmungen. Wo landet der Ball?
  • Die Lösung: Sie zeigen, dass es auch in diesem hochkomplexen, mehrdimensionalen Chaos einen neuen, stabilen Kern gibt. Sie nennen ihn den verallgemeinerten Birkhoff-Attraktor.
  • Warum ist das cool? Dieser Attraktor ist nicht irgendein Haufen Chaos. Er ist ein magnetischer Anker im Universum der Mathematik. Egal wie wild die Bewegung ist, alles strebt diesem unsichtbaren, aber festen Gebilde zu. Und dieses Gebilde hat die oben genannte Eigenschaft: Es ist „γ-köisotrop" – es hat eine innere Struktur, die es vor dem totalen Zerfall schützt.

---

🧩 Warum ist das wichtig? (Die „Big Picture"-Botschaft)

1. Wir füllen die Lücken: Die Mathematik war bisher wie ein Puzzle mit fehlenden Ecken. Dieses Paper liefert die fehlenden Teile. Es zeigt uns, wie sich Systeme verhalten, wenn sie an ihre physikalischen Grenzen gehen (z. B. wenn Reibung alles zum Stillstand bringt).
2. Ordnung im Chaos: Selbst wenn ein System extrem chaotisch wird (wie ein zerrissenes Tuch), gibt es immer noch eine unsichtbare, stabile Struktur (den γ-Support), die man mathematisch fassen kann.
3. Anwendung in der echten Welt: Diese Ideen helfen uns, komplexe Systeme besser zu verstehen – von der Bewegung von Planeten über die Optimierung von Verkehrsflüssen bis hin zu quantenmechanischen Phänomenen. Es ist wie der Unterschied zwischen zu schauen, wie ein Ball rollt, und zu verstehen, wie ein ganzer Fluss strömt.

Zusammenfassung in einem Satz:

Die Autoren haben eine neue Art von „mathematischem Mikroskop" entwickelt, mit dem sie nicht nur glatte Wellen sehen können, sondern auch die unsichtbaren, chaotischen Strukturen, die entstehen, wenn diese Wellen zerbrechen – und sie haben bewiesen, dass selbst in diesem Chaos eine tiefe, stabile Ordnung existiert, die alles zusammenhält.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Vortragsmanuskripts „The completion of the set of Lagrangians and applications to dynamics" von Olga Bernardi und Francesco Morabito, basierend auf den Vorlesungen von Claude Viterbo.

1. Problemstellung und Motivation

Das zentrale Problem dieser Arbeit liegt in der Untersuchung des Raums der exakten Lagrangeschen Untermannigfaltigkeiten einer symplektischen Mannigfaltigkeit $(M, -d\lambda)$. Während dieser Raum unter der Wirkung Hamiltonscher Diffeomorphismen gut untersucht ist, fehlt es an einer vollständigen metrischen Struktur, die es erlaubt, Grenzwerte von Folgen solcher Untermannigfaltigkeiten sinnvoll zu definieren.

• Ausgangslage: Der Raum der exakten Lagrangeschen Untermannigfaltigkeiten, die hamiltonisch isotop zur Nullschnittfläche des Kotangentialbündels $T^*N$ sind, wird mit der spektralen Metrik $\gamma$ (einführung von V. Humilière) versehen.
• Defizit: Dieser metrische Raum ist nicht vollständig. Es existieren Cauchy-Folgen von Lagrangeschen Untermannigfaltigkeiten, die gegen Objekte konvergieren, die keine glatten Untermannigfaltigkeiten mehr sind (z. B. fraktale Mengen oder Mengen mit höherer Hausdorff-Dimension).
• Ziel: Die Konstruktion und Charakterisierung der Vervollständigung (Completion) dieses Raums sowie die Anwendung dieser neuen Objekte auf die Theorie der konform symplektischen Dynamik, insbesondere zur Verallgemeinerung des Begriffs des Birkhoff-Attraktors auf höhere Dimensionen.

2. Methodik und theoretischer Rahmen

Die Autoren bedienen sich einer Kombination aus symplektischer Topologie, Variationsrechnung und spektraler Invariantentheorie.

• Spektrale Invarianten: Als zentrales Werkzeug dienen spektrale Invarianten $c(\alpha, L)$, die aus Generating Functions Quadratic at Infinity (GFQI) abgeleitet werden. Diese Invarianten basieren auf der Lusternik-Schnirelmann-Theorie und ordnen jedem nicht-trivialen Kohomologieklasse $\alpha \in H^*(N)$ einen kritischen Wert der Generating Function zu.
• Metriken:
  • $\gamma(L_1, L_2) = c_+(L_1, L_2) - c_-(L_1, L_2)$: Eine Metrik auf dem Raum der Lagrangeschen Untermannigfaltigkeiten $L_0(T^*N)$.
  • $c(L_1, L_2)$: Eine Metrik auf dem Raum der Lagrangeschen Branes (Paare $(L, f_L)$), die die Wahl des Potentials $f_L$ berücksichtigt.
• Vervollständigung: Die Autoren definieren die Vervollständigungen $\widehat{L}_0(T^*N)$ (für Branes) und $\widehat{L}_0(T^*N)$ (für Untermannigfaltigkeiten) bezüglich dieser Metriken. Die Elemente dieser vervollständigten Räume sind abstrakte Grenzwerte von Cauchy-Folgen.
• $\gamma$-Support: Um den geometrischen Inhalt dieser abstrakten Grenzwerte zu verstehen, wird das Konzept des $\gamma$-Supports eingeführt. Ein Punkt $z$ liegt im $\gamma$-Support eines Elements $L$, wenn jede Umgebung von $z$ durch eine lokalisierte Hamiltonsche Deformation mit nicht-verschwindendem $\gamma$-Abstand von $L$ bewegt werden kann.
• $\gamma$-koisotrop: Eine Teilmenge $V \subset T^*N$ heißt $\gamma$-koisotrop, wenn sie eine gewisse „Energiebarriere" besitzt: Um $V$ aus einer kleinen Umgebung eines Punktes $z \in V$ zu entfernen, ist eine minimale $\gamma$-Norm (Energie) erforderlich.

3. Schlüsselbeiträge und Ergebnisse

A. Eigenschaften der Vervollständigung und $\gamma$-Supports

1. Existenz und Eindeutigkeit: Die Vervollständigungen $\widehat{L}_0(T^*N)$ und $\widehat{L}_0(T^*N)$ sind wohldefinierte metrische Räume, auf denen die Gruppe der kompakten Hamiltonschen Diffeomorphismen isometrisch wirkt.
2. Geometrische Charakterisierung: Der $\gamma$-Support eines Elements in der Vervollständigung ist eine abgeschlossene, $\gamma$-koisotrope Menge.
   • Satz 4.11: Für jedes $L \in \widehat{L}_0(T^*N)$ ist $\gamma\text{-supp}(L)$ $\gamma$-koisotrop.
   • Dies verallgemeinert den klassischen Begriff der Koisotropie: Jede glatte Lagrangesche Untermannigfaltigkeit ist $\gamma$-koisotrop, aber die Vervollständigung enthält auch singuläre Mengen (wie „Peano-Lagrangesche" Mengen), die diese Eigenschaft besitzen.
3. Nicht-Leere und Dimension: Für Elemente mit kompaktem Support ist der $\gamma$-Support nicht leer und hat eine Hausdorff-Dimension von mindestens $n$ (der Dimension der Basis $N$).
4. Einzigartigkeit vs. Mehrdeutigkeit: Es wird gezeigt, dass verschiedene Elemente in der Vervollständigung denselben $\gamma$-Support haben können (siehe Beispiel 9 und Abbildung 7). Dies wirft die Frage auf, wie viele verschiedene „Lagrangesche Strukturen" auf derselben $\gamma$-koisotropen Menge existieren können.

B. Anwendung: Verallgemeinerte Birkhoff-Attraktoren

Der zweite Hauptteil der Arbeit wendet diese Theorie auf die Dynamik konform symplektischer Abbildungen an.

1. Klassischer Birkhoff-Attraktor: Auf dem Zylinder $T^*S$ (Dimension 2) ist der Birkhoff-Attraktor für dissipative Abbildungen (konform symplektisch mit Kontraktionsfaktor $a \in (0,1)$) als der Schnitt der Abschlüsse der invariante offenen Mengen definiert, die den Attraktor trennen.
2. Verallgemeinerung auf höhere Dimensionen:
   • Für eine konform exakt symplektische Abbildung $\psi$ auf $T^*N$ mit Kontraktionsfaktor $a \in (0,1)$ wirkt $\psi$ als Kontraktion auf dem vervollständigten Raum $\widehat{L}_0(T^*N)$.
   • Nach dem Banach-Steinhaus-Fixpunktsatz existiert ein eindeutiger Fixpunkt $L_\infty \in \widehat{L}_0(T^*N)$.
   • Definition 5.6: Der verallgemeinerte Birkhoff-Attraktor $B_\infty(\psi)$ ist definiert als der $\gamma$-Support dieses Fixpunkts: $B_\infty(\psi) := \gamma\text{-supp}(L_\infty)$.
3. Äquivalenz im 2D-Fall: Es wird bewiesen (Satz 5.10), dass für $N=S$ der verallgemeinerte Attraktor $B_\infty$ exakt mit dem klassischen Birkhoff-Attraktor $B$ übereinstimmt.
4. Topologische Eigenschaften:
   • $B_\infty$ ist eine invariante, abgeschlossene und $\gamma$-koisotrope Menge.
   • Satz 5.11: Die kanonische Projektion $\pi: B_\infty \to N$ induziert eine injektive Abbildung auf der Kohomologie ($H^*(N) \hookrightarrow H^*(B_\infty)$). Dies bedeutet, dass der Attraktor topologisch „reichhaltig" ist und die Topologie der Basis $N$ erbt.
5. Bezug zur Hamilton-Jacobi-Theorie: Der Attraktor enthält die Graphen der Viskositätslösungen der gedämpften Hamilton-Jacobi-Gleichung, wobei jedoch gezeigt wird, dass der verallgemeinerte Attraktor im Allgemeinen strikt größer sein kann als der Abschluss der Trajektorien der klassischen Lösung.

4. Signifikanz und Ausblick

Die Arbeit leistet einen fundamentalen Beitrag zur symplektischen Topologie und Dynamik:

• Neue Objekte: Sie etabliert rigoros die Existenz und Eigenschaften von „singulären" Lagrangeschen Objekten, die als Grenzwerte glatter Lagrangescher Untermannigfaltigkeiten auftreten. Diese Objekte sind nicht mehr notwendigerweise Mannigfaltigkeiten, sondern besitzen eine komplexe geometrische Struktur (fraktal, $\gamma$-koisotrop).
• Dynamische Anwendung: Die Theorie liefert ein mächtiges Werkzeug zur Untersuchung dissipativer Systeme in höheren Dimensionen. Der verallgemeinerte Birkhoff-Attraktor bietet eine natürliche Kandidatenmenge für das asymptotische Verhalten solcher Systeme, die in der klassischen Theorie (nur für Dimension 2 gut verstanden) bisher fehlte.
• Offene Fragen: Die Autoren heben wichtige offene Probleme hervor:
  • Ist der $\gamma$-Support immer zusammenhängend? (Für $T^*N$ wurde dies kürzlich positiv beantwortet).
  • Wie groß kann die Hausdorff-Dimension des Supports sein?
  • Wie viele verschiedene Lagrangesche Elemente in der Vervollständigung teilen denselben Support?
  • Die „Nearby Lagrangian Conjecture" wird im Kontext der Vervollständigung als schwache Version bestätigt (Transitivität der Wirkung der vervollständigten Gruppe).

Zusammenfassend erweitert diese Arbeit das Verständnis der symplektischen Geometrie über glatte Mannigfaltigkeiten hinaus und liefert einen neuen Rahmen für die Analyse komplexer dynamischer Systeme in höheren Dimensionen, wobei spektrale Invarianten als Brücke zwischen Analysis, Topologie und Dynamik dienen.