A smooth isotopy of volume-preserving diffeomorphisms on unit cube saving energy through extra dimensions

Technische Zusammenfassung: Eine glatte Isotopie volumenerhaltender Diffeomorphismen auf einem Einheitswürfel, die Energie durch zusätzliche Dimensionen spart

Problemstellung
Die Arbeit befasst sich mit dem „Zwei-Punkt-Problem“ und dem „klassischen Variationsproblem“ innerhalb der Gruppe der volumen- und orientierungserhaltenden Diffeomorphismen $SDiff(M)$ auf einer Riemannschen Mannigfaltigkeit mit Rand $(M, g)$. Konkret wird untersucht, ob für zwei Konfigurationen $h_0, h_1 \in SDiff(M)$ eine glatte Isotopie $\{\xi_t\}_{t \in [0,1]}$ existiert, die diese verbindet und die gesamte kinetische Energie (Wirkung) $J(\{\xi_t\}) = \frac{1}{2} \int_0^1 \|\partial_t \xi_t\|_{L^2}^2 dt$ minimiert.

Während Shnirelman nachwies, dass für $n \ge 3$ jeder Diffeomorphismus auf dem Einheitswürfel $I^n$ „erreichbar“ ist (d. h. durch einen Pfad endlicher Energie mit der Identität verbunden werden kann), ist die Existenz eines energieminimierenden Pfades nicht garantiert. Die Arbeit sucht nach der Konstruktion eines spezifischen Szenarios, in dem eine glatte Isotopie $\{\xi_t\}$ eine unendliche gesamte kinetische Energie besitzt, der Endpunkt $\xi_1$ jedoch über eine andere glatte Isotopie $\{\eta_t\}$ mit endlicher gesamter kinetischer Energie erreichbar ist. Dies verdeutlicht die Diskrepanz zwischen den Energiekosten einer spezifischen „wilden“ Konstruktion und der Existenz eines effizienteren Pfades im umgebenden Raum.

Methodik
Der Autor konstruiert die Isotopie mit unendlicher Energie $\{\xi_t\}$, indem er eine abzählbar unendlich viele, disjunkte „Bausteine“ zusammenfügt, die auf beliebig kleinen tubulären Nachbarschaften innerhalb des Einheitswürfels $I^n$ unterstützt sind. Die Methodik stützt sich auf drei Hauptkomponenten:

1. Topologische Beschränkungen auf Untermannigfaltigkeiten: Die Konstruktion nutzt eine kompakte Riemannsche Mannigfaltigkeit mit Rand $(M, g)$ mit Dimension $m \ge 3$, nichttrivialer reeller erster Homologie ($H_1(M; \mathbb{R}) \neq \{0\}$) und einer Fundamentalgruppe mit trivialem Zentrum ($Z(\pi_1(M)) = \{0\}$). Beispiele hierfür sind ein Genus-2-Handlebody.
2. Mass Flow Homomorphismus: Die Arbeit verwendet den Mass Flow Homomorphismus $\theta: Homeo_0(M, \mu) \to H_1(M; \mathbb{R})/\Gamma$ (definiert durch Fathi). Da die Fundamentalgruppe ein triviales Zentrum hat, ist der Kern $\Gamma$ trivial, wodurch $\theta$ ein Epimorphismus ist. Dies ermöglicht die Konstruktion von Isotopien auf $M$, die eine spezifische Homologieklasse $[\sigma]$ eine beliebig große Anzahl $N(j)$ mal durchlaufen, was die Wirkung quadratisch mit $N(j)$ wachsen lässt.
3. Umgebende Erweiterung und Skalierung:
   • Isometrische Einbettungen $\iota: M \hookrightarrow \mathbb{E}^n$ werden skaliert und als disjunkte Kugeln $B_j \subset I^n$ transloziert.
   • Isotopien auf $M$ werden unter Verwendung von divergenzfreien Vektorfeldern, die auf dünnen tubulären Nachbarschaften der eingebetteten Bilder unterstützt sind, auf den umgebenden Raum $\mathbb{E}^n$ (und anschließend auf $I^n$ eingeschränkt) erweitert.
   • Die Konstruktion beinhaltet eine Sequenz von Skalen, bei denen die Anzahl der „Windungen“ $N(j)$ ausreichend schnell ansteigt im Verhältnis zur schrumpfenden Größe des Trägerbereichs (Radius $\rho_j$ und tubuläre Breite $\delta_j$).

Wesentliche Beiträge und Ergebnisse
Das primäre Ergebnis ist Theorem 1.3, welches besagt:

• Es existiert eine glatte Isotopie $\{\xi_t\}_{t \in [0,1]} \subset SDiff(I^n)$ ($n \ge 3$), so dass die gesamte kinetische Energie $J(\{\xi_t\}) = \infty$ ist.
• Diese Isotopie ist auf abzählbar vielen disjunkten tubulären Nachbarschaften homothetischer Kopien von $M$ unterstützt.
• Entscheidend ist, dass die Isotopie „keine Selbstauslöschung“ aufweist; das Vektorfeld stoppt nie, und das Fluid-Domänen-Konfigurationsvolumen kehrt innerhalb des Trägerbereichs nicht zu einer vorherigen Konfiguration zurück.
• Trotz der unendlichen Energie von $\{\xi_t\}$ ist der Endpunkt $\xi_1$ ein erreichbarer Diffeomorphismus. Gemäß Shnirelmans Theorem über erreichbare Diffeomorphismen in Dimensionen $n \ge 3$ existiert eine andere glatte Isotopie $\{\eta_t\}$ mit $\eta_0 = \xi_0 = id$, $\eta_1 = \xi_1$ und $J(\{\eta_t\}) < \infty$.

Die Arbeit zeigt, dass die „wilde“ Isotopie $\{\xi_t\}$ dadurch konstruiert wird, dass das Fluid die niedrigdimensionale Untermannigfaltigkeit $M$ wiederholt „rührt“. Während dieses Rühren innerhalb der Gruppe $SDiff(M)$ nicht zur Energiereduktion deformiert werden kann, erlaubt die Erweiterung in den umgebenden Raum $I^n$ (unter Nutzung der zusätzlichen $n-m$ Dimensionen) eine „Abkürzung“, die die hohen Energiekosten der Beschränkungen der Untermannigfaltigkeit umgeht.

Bedeutung und Behauptungen
Die Arbeit behauptet, ein explizites Beispiel dafür zu liefern, dass die „vermutlich die kinetische Energie minimierenden Fluidflüsse“ nicht-glatte oder messentheoretische Lösungen (verallgemeinerte Flüsse) erfordern können, da der glatte Minimierer für den spezifisch konstruierten Pfad nicht existiert.

Die Bedeutung liegt im Mechanismus der Energieeinsparung:

• Die unendliche Energie entsteht durch die topologische Komplexität von $M$, die eine Energiereduktion innerhalb von $M$ verhindert.
• Die Alternative mit endlicher Energie existiert, weil der umgebende Raum $I^n$ zusätzliche Dimensionen bietet, die es der Isotopie ermöglichen, den Beschränkungen der Untermannigfaltigkeit zu „entkommen“, wodurch effektiv Energie durch den „Lift“ von der Untermannigfaltigkeit in den umgebenden Raum eingespart wird.

Der Autor merkt an, dass diese Konstruktion im Wesentlichen durch Shnirelmans Arbeit über unerreichbare Diffeomorphismen in 2D und die Techniken von Fathi sowie Eliashberg–Ratiu motiviert wurde. Die Arbeit korrigiert zudem ein fehlerhaftes Theorem aus einer früheren Version der Arbeit bezüglich „starrer Isotopie-Erweiterungseigenschaften“ und stellt klar, dass solche Eigenschaften nicht gelten können, da man immer eine umgebende Isotopie mit beliebig geringen zusätzlichen Energiekosten konstruieren kann, indem man dünne tubuläre Nachbarschaften nutzt.

Fazit
Die Arbeit stellt fest, dass in Dimensionen $n \ge 3$ glatte, volumenerhaltende Isotopien mit unendlicher kinetischer Energie konstruiert werden können, die dennoch durch Pfade endlicher Energie mit der Identität verbunden sind. Dies unterstreicht die Nicht-Konvexität der Energielandschaft in $SDiff(M)$ und die Rolle der umgebenden Dimensionen bei der Ermöglichung energieeffizienter Deformationen, die innerhalb niedrigerdimensionaler Untermannigfaltigkeiten unmöglich sind.