Full flexibility of the Monge-Ampère system in codimension $d_*-d+1$

Titel:

Volle Flexibilität des Monge-Ampère-Systems in Kodimension $d^* - d + 1$
(Autoren: Wentao Cao, Jonas Hirsch, Dominik Inauen, Marta Lewicka)

---

1. Problemstellung und Hintergrund

Das Paper adressiert das Problem der Flexibilität von $C^{1,\alpha}$-Lösungen für das Monge-Ampère-System und verwandte isometrische Einbettungen in hohen Dimensionen.

• Das Monge-Ampère-System: Gesucht ist eine Abbildung $v: \omega \subset \mathbb{R}^d \to \mathbb{R}^k$, die eine bestimmte Determinantenbedingung für die Hesse-Matrix erfüllt (verallgemeinerte Monge-Ampère-Gleichung). Dies steht in direktem Zusammenhang mit dem Problem der vorgeschriebenen Krümmung.
• Die schwache Formulierung: Das System wird oft als Von-Kármán-System formuliert:
  $$\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w = A$$
  wobei $v$ die Auslenkung in $k$ Richtungen und $w$ eine In-Plane-Verschiebung in $d$ Richtungen darstellt. $A$ ist eine gegebene symmetrische Matrix.
• Zusammenhang zur isometrischen Einbettung: Die Lösung dieses Systems approximiert isometrische Einbettungen $u: \omega \to \mathbb{R}^{d+k}$ einer Riemannschen Metrik $g$ in den euklidischen Raum.
• Der Kontext der Flexibilität: In der Theorie der isometrischen Einbettungen (Nash-Kuiper-Theorem) ist bekannt, dass bei hinreichend niedriger Regularität ($C^{1,\alpha}$) und hoher Kodimension Lösungen "voll flexibel" sind. Das bedeutet, dass jede stetige Funktion als Grenzwert einer Folge von Lösungen approximiert werden kann, die die Metrik exakt erfüllen.
• Die offene Frage: Bisherige Ergebnisse (z. B. in [24]) erforderten für die volle Flexibilität eine sehr große Kodimension $k \ge 2d^*$, wobei $d^* = d(d+1)/2$ die Janet-Dimension ist. Das Ziel dieses Papers ist es, diese Kodimension-Bedingung drastisch zu senken.

2. Hauptergebnisse

Das Paper beweist zwei zentrale Sätze:

Satz 1.1 (Hauptresultat für das Monge-Ampère-System):
Für eine offene, beschränkte Menge $\omega \subset \mathbb{R}^d$ und eine Ziel-Kodimension
$$k = \bar{d} = d^* - d + 1 = \frac{d^2 - d + 2}{2}$$
sind die $C^{1,\alpha}$-Lösungen des Systems (1.4) dicht im Raum der stetigen Funktionen $C^0(\bar{\omega}, \mathbb{R}^{\bar{d}})$.
Dies gilt für jeden Hölder-Exponenten $\alpha < 1$, sofern die Regularität der Eingangsdaten $A$ (in $C^{r,\beta}$) dies zulässt ($\alpha < \min\{\frac{r+\beta}{2}, 1\}$).

• Bedeutung: Die geforderte Kodimension $\bar{d}$ ist signifikant kleiner als die bisherige Schranke $2d^*$. Für $d=2$ entspricht dies $k=2$ (was bereits bekannt war), aber für $d \ge 3$ ist dies eine wesentliche Verbesserung.

Korollar 1.2 (Dichte der schwachen Lösungen):
Unter den Symmetriebedingungen für das Feld $F$ (das die rechte Seite des Monge-Ampère-Systems definiert) ist die Menge der $C^{1,\alpha}$-schwachen Lösungen des Systems (1.2) dicht in $C^0$.

Satz 5.1 (Erweiterung auf isometrische Einbettungen):
Die Ergebnisse werden auf das System der isometrischen Einbettungen (1.5) übertragen. Es wird gezeigt, dass lokale $C^{1,1-\epsilon}$-isometrische Einbettungen von $d$-dimensionalen $C^2$-Riemannschen Metriken in den euklidischen Raum der Dimension $d^* + 1$ existieren. Dies verallgemeinert frühere Ergebnisse von [27] (für $d=k=2$) auf beliebige Dimensionen.

3. Methodik und Beweisstrategie

Der Beweis basiert auf einer Verfeinerung der Konvexen Integration (Nash-Kuiper-Schema). Die Kernidee ist die iterative Konstruktion von Lösungen, die den Defekt (die Abweichung von der exakten Gleichung) schrittweise reduzieren.

A. Das "Stage"-Konstrukt (Theorem 1.3):
Der Beweis erfolgt durch eine Induktion über "Stufen". Gegeben eine Sublösung $(v, w)$ mit einem Defekt $D = A - (\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w)$, wird eine neue Sublösung $(\tilde{v}, \tilde{w})$ konstruiert, die den Defekt um einen Faktor $\sigma^{-KN}$ reduziert, während die zweite Ableitung nur um $\sigma^{dK+N}$ anwächst.

B. Die neue Technik: Reduktion der Kodimension:
Der entscheidende technische Fortschritt liegt in der effizienten Nutzung der verfügbaren Kodimensionen, um die "primitiven Defekte" (Rang-1-Matrizen der Form $a^2 \eta \otimes \eta$) zu eliminieren.

1. Zerlegung des Defekts: Der Defekt wird in eine Summe von Rang-1-Termen zerlegt (Lemma 2.2).
2. Mehrstufige Korrektur:
   • Schritt 1 (Kodimension 1): Es werden $d$ Zwischenschritte durchgeführt, um die Defekte zu eliminieren, die den Richtungen $\eta_{1j}$ entsprechen. Hier wird ein höherstufiges Verfahren (Lemma 2.4) angewendet, um die Fehlerterme durch Integrationsteilung zu reduzieren.
   • Schritt 2 (Kodimensionen $2$ bis $\bar{d}$): Die verbleibenden Defekte (entsprechend $\eta_{ij}$ mit $2 \le i \le j \le d$) werden nacheinander in den verbleibenden Kodimensionen eliminiert.
3. Der neue Durchbruch: Die Autoren zeigen, dass die Fehlerterme, die bei der Korrektur in den höheren Kodimensionen entstehen (insbesondere Terme mit $\nabla^2 v$), so strukturiert sind, dass sie sich als Summe von Termen schreiben lassen, die nur von der ursprünglichen Hesse-Matrix $\nabla^2 v_0$ abhängen und in festen Richtungen oszillieren. Dies erlaubt eine weitere Reduktion ohne zusätzliche Kodimensionen zu benötigen.
   • Dies ermöglicht es, die "Blow-up"-Rate der zweiten Ableitungen im Verhältnis zur Defekt-Reduktionsrate so zu optimieren, dass der kritische Exponent $\alpha$ gegen 1 konvergiert, selbst bei der reduzierten Kodimension $\bar{d} = d^* - d + 1$.

C. Nash-Kuiper-Algorithmus:
Durch Iteration dieses "Stage"-Konstruks (Theorem 1.3) wird eine Folge von Sublösungen erzeugt, die in der $C^{1,\alpha}$-Norm konvergiert. Die Wahl der Parameter $N$ und $K$ (Anzahl der Iterationen und Frequenzstufen) erlaubt es, den Exponenten $\alpha$ beliebig nahe an 1 zu bringen.

4. Technische Details und Notation

• Janet-Dimension: $d^* = \frac{d(d+1)}{2}$.
• Ziel-Kodimension: $\bar{d} = d^* - d + 1$.
• Defekt-Messung: $D(A, v, w) = A - (\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w)$.
• Oszillationen: Es werden spezielle periodische Funktionen $\Gamma, \bar{\Gamma}, \dots$ (Sinus/Cosinus) verwendet, um die "Corrugations" (Wellen) in den Lösungen zu erzeugen, die den Defekt kompensieren.
• Lemma 2.4 (Integration by Parts): Ein zentrales Werkzeug zur Reduktion der Ordnung von Fehlertermen durch wiederholte partielle Integration, das die Abhängigkeit von hohen Frequenzen $\lambda$ in den Fehlertermen reduziert.

5. Bedeutung und Einfluss

• Optimierung der Kodimension: Das Paper schließt die Lücke zwischen den bekannten Ergebnissen für niedrige Dimensionen ($d=2$) und den sehr hohen Kodimensionen, die bisher für allgemeine $d$ notwendig waren. Es zeigt, dass die volle Flexibilität bereits bei der Kodimension $\bar{d}$ erreicht wird, was nahe an der theoretischen Untergrenze liegt.
• Verallgemeinerung: Die Ergebnisse verallgemeinern die Arbeiten von Lewicka, Inauen und anderen ([19], [24], [27]) auf beliebige Dimensionen $d \ge 2$.
• Isometrische Einbettungen: Die Methode liefert neue Existenzsätze für $C^{1,\alpha}$-isometrische Einbettungen von Riemannschen Mannigfaltigkeiten in den euklidischen Raum mit Dimension $d + \bar{d} = d^* + 1$. Dies ist ein wichtiger Schritt hin zum Verständnis der Regularitätsgrenzen von Nash-Kuiper-artigen Einbettungen.
• Methodischer Fortschritt: Die neue Beobachtung, wie Fehlerterme in höheren Kodimensionen strukturiert und reduziert werden können, stellt eine signifikante Verfeinerung der konvexen Integration dar und könnte auf andere nichtlineare PDE-Systeme übertragbar sein.

Zusammenfassend beweist das Paper, dass die "volle Flexibilität" (Dichte der Lösungen im Raum der stetigen Funktionen) für das Monge-Ampère-System und isometrische Einbettungen bereits bei einer deutlich geringeren Kodimension als bisher angenommen möglich ist, und zwar für fast alle Hölder-Exponenten $\alpha < 1$.