On Brezis Open Problem 3.1

Technische Zusammenfassung: Eindeutigkeit schwacher harmonischer Abbildungen mit Spuren auf einem Breitengradkreis

Problemstellung
Diese Arbeit befasst sich mit einer langjährigen offenen Frage bezüglich der Eindeutigkeit schwacher harmonischer Abbildungen vom Einheitsdisk $B_1 \subset \mathbb{R}^2$ in die Einheitskugel $S^2$. Konkret wird das Dirichlet-Problem für die harmonische Abbildungsgleichung betrachtet:
$$-\Delta u = |\nabla u|^2 u \quad \text{in } B_1, \quad u|_{\partial B_1} = g_R,$$
wobei die Randspur $g_R(e^{i\theta}) = (R \cos \theta, R \sin \theta, \sqrt{1-R^2})$ einen Breitengradkreis beschreibt, der einmal mit konstanter Geschwindigkeit durchlaufen wird, mit $0 < R < 1$.

Im Jahr 1983 etablierten Brézis und Coron die Existenz zweier expliziter Lösungen, $u_+$ und $u_-$, die den konformen bzw. anti-konformen Füllungen der durch die Randspur definierten sphärischen Kappen entsprechen. Sie bewiesen, dass diese Abbildungen die eindeutigen Energieminimierer innerhalb ihrer jeweiligen relativen Homotopieklassen (Graden $\pm 1$) sind. Es blieb jedoch die Frage offen, ob nicht-minimierende kritische Punkte (Sattelpunkte) für dieselben Randdaten existieren könnten. Dies wurde formal als Open Problem 3.1 in Brézis' Liste "Favorite Open Problems" formuliert. Die vorliegende Arbeit untersucht, ob die beiden Brézis–Coron-Abbildungen die Menge aller schwachen harmonischen Abbildungen mit dieser spezifischen Spur erschöpfen.

Methodik
Die Autoren verwenden ein Argument der „Rand-Rigidität“ (boundary rigidity), das geometrische Analyse, komplexe Analyse und variationale Ungleichungen kombiniert. Der Beweis gliedert sich in zwei primäre Phasen:

1. Rand-Rigidität über Hilfspotentiale und isoperimetrische Ungleichungen:

   • Hilfspotential: Mit der harmonischen Abbildung $u$ definieren die Autoren ein globales Potential $X: B_1 \to \mathbb{R}^3$, das $X_x = -u \times u_y$ und $X_y = u \times u_x$ erfüllt. Diese Konstruktion ist in der Gauss-Abbildung/Konstante-Krümmung-Korrespondenz (CMC) verwurzelt.
   • Projizierte Kurve und algebraische Fläche: Sie analysieren die Randkurve $\Gamma = X|_{\partial B_1}$ und deren orthogonale Projektion $\gamma$ auf die horizontale Ebene $x_3=0$. Unter Verwendung einer Projektions-Jacobian-Identität beweisen sie, dass die orientierte (algebraische) Fläche, die von $\gamma$ eingeschlossen wird, genau $\pi R^2$ beträgt.
   • Pohozaev-Identität und Längenbeschränkungen: Die Pohozaev-Identität für die Hopf-Differenzial liefert eine exakte Integralbeschränkung für die Länge von $\Gamma$. Insbesondere gilt $\int_0^{2\pi} |u_r(1, \theta)|^2 d\theta = 2\pi R^2$.
   • Isoperimetrische Sättigung: Durch Anwendung der planaren isoperimetrischen Ungleichung auf die projizierte Kurve $\gamma$ (die deren Länge mit der algebraischen Fläche in Beziehung setzt) und den Vergleich mit der Länge von $\Gamma$, etablieren die Autoren eine Kette von Ungleichungen:
     $$4\pi^2 R^2 \leq L_h^2 \leq L^2 \leq 4\pi^2 R^2.$$
     Da die untere Schranke (aus der exakten algebraischen Fläche) und die obere Schranke (aus der Pohozaev-Identität) übereinstimmen, müssen alle Ungleichungen zu Gleichheiten werden. Diese „Sättigung“ erzwingt punktweise Identitäten auf dem Rand: $|u_r| \equiv R$ und $u_r \cdot u_\theta \equiv 0$.

2. Konforme Klassifizierung:

   • Verschwinden der Hopf-Differenzial: Die oben abgeleiteten Randidentitäten implizieren, dass die Hopf-Differenzial $q(z) = u_z \cdot u_z$ auf $\partial B_1$ verschwindet. Da $q$ in $B_1$ holomorph ist, erzwingt das Maximummodulprinium, dass $q \equiv 0$ in der gesamten Scheibe gilt. Somit ist die Abbildung schwach konform.
   • Stereografische Projektion und Laurent-Reihe: Unter Verwendung der Südpol-stereografischen Projektion wird die Abbildung als eine komplexwertige Funktion $w$ auf einem Randkragen dargestellt. Das Verschwinden der Hopf-Differenzial impliziert, dass $w$ entweder holomorph oder anti-holomorph ist.
   • Eindeutigkeit auf dem Kragen: Gegeben die nicht-verschwindende Randableitung und die spezifische Spur $w(e^{i\theta}) = \rho e^{i\theta}$, zeigt eine Laurent-Reihenentwicklung, dass $w$ entweder $\rho z$ (holomorph) oder $\rho/\bar{z}$ (anti-holomorph) sein muss.
   • Globale Erweiterung: Durch die reelle Analytizität der Lösungen des elliptischen Systems lässt sich die Identifikation auf dem Kragen auf die gesamte Scheibe erweitieren, was genau zu den beiden Brézis–Coron-Abbildungen führt.

Wesentliche Beiträge und Ergebnisse

• Lösung von Open Problem 3.1: Das Paper beweist den Theorem 1.1, der besagt, dass für $0 < R < 1$ die einzigen schwachen harmonischen Abbildungen in $H^1(B_1; S^2)$ mit der Spur $g_R$ die beiden expliziten Brézis–Coron-Abbildungen $u_+$ und $u_-$ sind. Dies beantwortet die Frage definitiv, indem die Existenz jeglicher nicht-minimierender kritischer Punkte ausgeschlossen wird.
• Mechanismus der Rand-Rigidität: Die Autoren führen ein neuartiges Rigiditätsargument ein, das die exakte algebraische Fläche einer projizierten Potentialkurve in das Verschwinden der Hopf-Differenzial umwandelt. Dieser Mechanismus isoliert ein geometrisches Merkmal der „einmal-um-die-Spur“-Breitengradspur, das durch Standardverfahren der Variationsklassifizierung unsichtbar bleibt.
• Anwendung auf H-Systeme: Das Paper leitet daraus Corollary 1.2 ab, indem es das Eindeutigkeitsresultat auf zweidimensionale $H$-Systeme (konforme Immersions mit konstanter mittlerer Krümmung) anwendet. Es klassifiziert konforme Immersionen $Y: B_1 \to \mathbb{R}^3$ mit vorgegebenen Einheitsnormalen-Spuren und zeigt, dass diese starre Translationen der Modell-Disks $Z_+$ oder $Z_-$ sein müssen.
• Randpunkt-Analyse: Die Autoren untersuchen die Grenzwerte $R \to 1$ (Äquator) und $R \to 0$ (Pol). Sie zeigen, dass das Resultat für $R=1$ (nicht-degeneriert) gilt, während $R=0$ einen degenerierten Fall darstellt, in dem die Randkurve zu einem Punkt kollabiert, was nur zur konstanten Abbildung führt.

Bedeutung
Das Paper liefert eine definitive affirmative Antwort auf Brézis' Open Problem 3.1. Seine Bedeutung liegt in der Demonstration, dass für den spezifischen Fall einer einmal umlaufenen Breitengradspur das „Multiplizitätsphänomen“, das bei höheren Windungszahlen oder allgemeineren nicht-konvexen Randdaten beobachtet wird, nicht auftritt. Der Beweis etabliert, dass die beiden natürlichen konformen und anti-konformen Füllungen alle kritischen Punkte erschöpfen, nicht nur die Minimierer.

Die Arbeit hebt eine besondere geometrische Rigidität hervor, die der einmal umlaufenen Spur eigen ist, getrieben durch das Zusammenspiel zwischen der Pohozaev-Identität, der Hopf-Differenzial und der scharfen planaren isoperimetrischen Ungleichung. Dieser Ansatz bietet eine neue Perspektive auf Eindeutigkeitsprobleme in der Theorie harmonischer Abbildungen, indem er Fälle unterscheidet, in denen Variationsmethoden allein unzureichend sind, von jenen, in denen geometrische Rigidität die Eindeutigkeit erzwingt. Die Autoren merken an, dass dieser Mechanismus für höhere Windungszahlen ($m \geq 2$) zusammenbricht, bei denen mehrere kritische Punkte erwartet werden, wodurch die topologischen und geometrischen Grenzen der Eindeutigkeit in diesem Feld geklärt werden.