Generic non-uniqueness of minimizing harmonic maps from a ball to a sphere

Titel

Generische Nicht-Eindeutigkeit minimierender harmonischer Abbildungen von einer Kugel auf eine Sphäre
(Autoren: Antoine Detaille und Katarzyna Mazowiecka)

1. Problemstellung

Das Paper untersucht das Phänomen der Nicht-Eindeutigkeit bei minimierenden harmonischen Abbildungen $u: B^3 \to S^2$, wobei $B^3$ die Einheitskugel im $\mathbb{R}^3$ und $S^2$ die Einheitskugelschale ist.

• Definition: Eine harmonische Abbildung minimiert die Dirichlet-Energie $E(u) = \int_{B^3} |\nabla u|^2 dx$ unter der Randbedingung $u|_{\partial B^3} = \phi$.
• Hintergrund: Es ist bekannt, dass für eine gegebene Randbedingung $\phi$ die Lösung im Allgemeinen nicht eindeutig ist. Es existieren Beispiele für Randdaten mit mehreren Minimierern (z. B. mit unterschiedlicher Anzahl von Singularitäten oder unterschiedlichem Verhalten auf den Hemisphären).
• Bisheriger Stand: Ein bekanntes Ergebnis (Almgren, zitiert in [1]) besagt, dass die Menge der Randdaten, für die eine eindeutige Minimierung gilt, dicht im Raum $W^{1,2}(S^2, S^2)$ ist (bezüglich der $W^{1,2}$-Topologie).
• Die offene Frage: Detaille und Strzelecki (in [11]) vermuteten, dass sich dieses Bild ändert, wenn man die Randdaten in der schwächeren Topologie des Raumes $W^{1,p}(S^2, S^2)$ mit $p < 2$ betrachtet. Die Frage ist, ob Randdaten, die zu Nicht-Eindeutigkeit führen, in dieser Topologie dicht liegen.

2. Methodik und Hauptbeitrag

Der Kern der Arbeit liegt in der Entwicklung einer neuen Homotopie-Konstruktion, die es erlaubt, den Übergang von der bloßen Existenz einer nicht-eindeutigen Randbedingung zur Dichte solcher Bedingungen zu beweisen.

A. Die Homotopie-Konstruktion (Abschnitt 2)

Das zentrale technische Hindernis ist die Kontrolle der $W^{1,p}$-Norm während einer Homotopie zwischen zwei Abbildungen $\phi$ und $\psi$, die nur auf einer kleinen Menge voneinander abweichen.

• Problem: Man möchte wissen, ob eine Homotopie $H_t$ zwischen $\phi$ und $\psi$ gewählt werden kann, sodass $\| \phi - H_t \|_{W^{1,p}}$ durch $\| \phi - \psi \|_{W^{1,p}}$ kontrolliert wird (eine Art Lipschitz-Stetigkeit der Homotopie). Dies ist ein offenes Problem (Theorem 2.3).
• Lösung (Theorem 2.1 & Korollar 2.2): Die Autoren beweisen eine schwächere, aber für ihre Zwecke ausreichende Version:
  • Wenn $\phi$ und $\psi$ außerhalb einer kleinen Kugel $B_r(x)$ übereinstimmen, existiert eine glatte Homotopie $H$, sodass die Abweichung $\| \phi - H_t \|_{W^{1,p}}$ durch die Summe der Normen von $\phi$ und $\psi$ auf einer Umgebung der Differenzmenge kontrolliert wird.
  • Technischer Trick: Die Konstruktion nutzt eine Reskalierung. Man nimmt eine beliebige Homotopie $G$ und komprimiert sie auf einen kleineren Ball $B_\tau(x)$ (mit $\tau \to 0$), während man sie außerhalb von $B_{2r}(x)$ konstant lässt.
  • Da $p < n$ (hier $p < 2$ und $n=2$ für die Sphäre), führt die Reskalierung zu einem Faktor $\tau^{(n-p)/p}$, der gegen Null geht. Dies erlaubt es, die $W^{1,p}$-Norm der Homotopie beliebig klein zu halten, indem man den Radius $r$ und die Reskalierung $\tau$ entsprechend wählt.

B. Beweis der generischen Nicht-Eindeutigkeit (Abschnitt 3)

Aufbauend auf der Homotopie-Konstruktion wird der Hauptsatz (Theorem 1.2) bewiesen:

1. Ausgangspunkt: Man startet mit einer beliebigen glatten Randbedingung $\phi$.
2. Approximation: Man findet eine $\phi_0$, die nahe an $\phi$ liegt (in $W^{1,p}$), aber eine eindeutige Minimierung besitzt (unter Verwendung von Theorem 1.1).
3. Erzeugung von Nicht-Eindeutigkeit: Man nutzt ein bekanntes Ergebnis (basierend auf Hardt-Lin und modifiziert in [9]), um eine neue Randbedingung $\phi_1$ zu konstruieren, die:
   • Homotop zu $\phi_0$ ist.
   • Nur auf einer sehr kleinen Menge von $\phi_0$ abweicht.
   • Einen Minimierer mit einer höheren Anzahl von Singularitäten ($M+1$ statt $M$) zulässt.
4. Homotopie-Pfad: Man verbindet $\phi_0$ und $\phi_1$ mittels der in Abschnitt 2 konstruierten Homotopie $H_t$.
5. Bifurkationspunkt: Man betrachtet den kritischen Parameter $\tau = \sup \{t : \text{Minimierer zu } H_t \text{ haben } \le M \text{ Singularitäten}\}$.
   • Durch Stabilitätsargumente und Konvergenzsätze für Minimierer zeigt man, dass am Punkt $\tau$ sowohl ein Minimierer mit $\le M$ Singularitäten als auch einer mit $> M$ Singularitäten existieren.
   • Dies folgt aus der starken Konvergenz der Minimierer und der Tatsache, dass Singularitäten sich nicht einfach auflösen oder verschmelzen können, ohne die Energie zu erhöhen (unter Ausnutzung der Regularitätstheorie von Schoen-Uhlenbeck).
6. Ergebnis: Der Randwert $H_\tau$ ist eine glatte Abbildung, die in $W^{1,p}$-Distanz beliebig nahe an $\phi$ liegt, aber mindestens zwei Minimierer mit unterschiedlicher Singularitätsstruktur zulässt.

3. Wichtige Ergebnisse

• Theorem 1.2 (Hauptsatz): Die Menge der Randdaten $\phi \in C^\infty(S^2, S^2)$, für die das Dirichlet-Problem für harmonische Abbildungen $B^3 \to S^2$ nicht eindeutig lösbar ist (insbesondere mit Minimierern unterschiedlicher Singularitätsanzahl), ist dicht in $W^{1,p}(S^2, S^2)$ für jedes $p < 2$.
• Verstärkung früherer Ergebnisse: Dies stärkt die Vermutung aus [11] und liefert ein konkretes Dichte-Ergebnis, während frühere Arbeiten nur die Existenz einzelner Beispiele zeigten.
• Kontrast zur $W^{1,2}$-Topologie: Während in der starken $W^{1,2}$-Topologie die Eindeutigkeit generisch ist (Theorem 1.1), ist die Nicht-Eindeutigkeit in der schwächeren $W^{1,p}$-Topologie ($p<2$) generisch. Dies unterstreicht die Instabilität der Eindeutigkeit bei schwächeren Störungen der Randdaten.

4. Signifikanz und Bedeutung

• Theoretische Vertiefung: Das Paper klärt das Verhalten von Minimierern unter schwachen Störungen der Randdaten. Es zeigt, dass die "Stabilität" der Eindeutigkeit, die in der $W^{1,2}$-Topologie herrscht, durch den Übergang zu $W^{1,p}$ ($p<2$) vollständig zusammenbricht.
• Methodischer Durchbruch: Die entwickelte Homotopie-Konstruktion (Theorem 2.1) ist ein eigenständiges mathematisches Werkzeug. Sie löst eine Variante eines schwierigen Problems zur Normkontrolle von Homotopien und könnte in anderen Bereichen der geometrischen Analysis oder der Theorie der Sobolev-Räume mit Werten in Mannigfaltigkeiten nützlich sein.
• Beantwortung offener Fragen: Das Paper beantwortet eine spezifische Frage von Mazowiecka und Strzelecki und liefert eine positive Antwort auf die Vermutung der generischen Nicht-Eindeutigkeit in der $W^{1,p}$-Topologie.
• Struktur der Singularitäten: Es wird demonstriert, dass kleine Änderungen der Randdaten (im Sinne von $W^{1,p}$) zu drastischen Änderungen in der Topologie der Minimierer führen können (Änderung der Anzahl der Singularitäten), was die Komplexität des Variationsproblems unterstreicht.

Zusammenfassend liefert das Paper einen tiefen Einblick in die Feinstruktur des Raumes der harmonischen Abbildungen und zeigt, dass die Eindeutigkeit von Minimierern ein sehr empfindliches Phänomen ist, das bereits durch kleine Störungen in schwächeren Topologien zerstört wird.