Michael-Simon inequality for anisotropic energies close to the area via multilinear Kakeya-type bounds

Titel:

Michael–Simon-Ungleichung für anisotrope Energien nahe der Fläche mittels multilinearer Kakeya-artiger Schranken

---

1. Problemstellung und Motivation

Das zentrale Problem der Arbeit liegt in der geometrischen Maßtheorie und der Variationsrechnung. Klassisch wird die isotrope Fläche (das $k$-dimensionale Hausdorff-Maß $\mathcal{H}^k$) untersucht. Für stationäre Varifolds (kritische Punkte der Fläche) ist das Monotonie-Formel ein fundamentales Werkzeug, das viele wichtige Eigenschaften wie die Existenz von Dichten, Kompaktheit und Regularitätssätze (z. B. Allards Regularitätssatz) sichert.

Die Autoren betrachten eine anisotrope Verallgemeinerung der Flächenfunktion:
$$\mathbf{F}(\Sigma) := \int_{\Sigma} F(T_x\Sigma) \, d\mathcal{H}^k(x)$$
wobei $F: \text{Gr}_k(\mathbb{R}^n) \to (0, \infty)$ ein $C^1$-Integrand ist.
Im anisotropen Setting versagt die klassische Monotonie-Formel im Allgemeinen. Es ist bekannt, dass eine Monotonie nur dann gilt, wenn $F$ bis auf lineare Koordinatentransformationen die isotrope Fläche ist. Dies führt zu einer Lücke in der Theorie, da viele Standardwerkzeuge für allgemeine anisotrope Integranden nicht mehr zur Verfügung stehen.

Die Autoren adressieren die folgende offene Frage (Question 1.1):
Unter welchen Bedingungen an $F$ gilt die Michael–Simon-Ungleichung für anisotrope Varifolds? Diese Ungleichung stellt eine schwächere, aber robustere Beziehung dar als die Monotonie-Formel und lautet für einen rektifizierbaren $k$-Varifold $V$ mit Dichte $\Theta \ge \theta_0 > 0$:
$$|V|(\mathbb{R}^n)^{k-1} \le C(n, k, F) \frac{1}{\theta_0} |\delta_F V|(\mathbb{R}^n)^k$$
wobei $\delta_F V$ die erste Variation bezüglich $F$ ist.

---

2. Methodik und Neuerungen

Die Arbeit verbindet tiefe geometrische Einsichten mit neuen funktionalanalytischen Techniken.

A. Verfeinerung von Almgrens Ansatz

Die Autoren bauen auf einem unveröffentlichten Manuskript von Frederick J. Almgren auf, der die Ungleichung für den Fall $n=3, k=2$ und $F$ nahe der isotropen Fläche bewies. Almgrens Beweis war jedoch sehr technisch und involvierte das Studium der Längen von Kurvenstücken, die mit Vektorfeldern mit summierbarer Divergenz korrespondieren.
De Philippis und Pigati vereinfachen diesen Ansatz drastisch, indem sie die technischen Schritte durch eine neue, eigenständige funktionale Ungleichung für Vektorfelder in der Ebene ersetzen.

B. Neue funktionale Ungleichungen (Multilineare Kakeya-Typ-Schranken)

Der Kern der methodischen Innovation liegt in Abschnitt 3, wo neue nichtlineare Ungleichungen für Vektorfelder auf $\mathbb{R}^2$ bewiesen werden.

• Theorem 3.5 (Vereinfachte Version): Für Vektorfelder $S, T \in W^{1,2}(\mathbb{R}^2, \mathbb{R}^2)$ mit $S_x, T_y \ge 0$ und $\det(S, T) \ge 0$ gilt:
  $$\int \det(S, T) \le \frac{1}{4} \left( \int |\text{div } S| \right) \left( \int |\text{div } T| \right)$$
  Dies wird als funktionale Version der multilinear Kakeya-Ungleichung interpretiert. Der Beweis nutzt eine Zerlegung von Strömen nach Smirnov (Superposition von Kurven).
• Theorem 3.1 (Hauptungleichung): Eine verallgemeinerte Version, die die Bedingung $\det(S, T) \ge 0$ fallen lässt, aber Terme der Form $(S_x - |S_y|)_-$ und $(T_y - |T_x|)_-$ einführt. Diese Ungleichung wird als quantitative Version des Rank-One-Theorems von Alberti interpretiert.

C. Reduktion auf Vektorfelder

In Abschnitt 4 wird gezeigt, wie die erste Variation $\delta_F V$ eines anisotropen Varifolds in $\mathbb{R}^3$ ($k=2$) in zwei Vektorfelder $S$ und $T$ auf der Ebene $\mathbb{R}^2$ (durch Projektion) übersetzt werden kann.
Ein entscheidender Schritt ist Proposition 4.1: Durch eine geeignete lineare Koordinatentransformation $L$ (abhängig von $F$) kann man erreichen, dass die Diagonaleinträge der zugehörigen Matrix-Maße nicht-negativ sind, falls $F$ konvex ist. Dies ermöglicht die Anwendung der in Abschnitt 3 bewiesenen Ungleichungen.

---

3. Hauptergebnisse

Theorem 1.3 (Hauptresultat für $n=3, k=2$)

Wenn $F$ ein konvexer Integrand ist, der in der $C^1$-Topologie hinreichend nahe an der isotropen Fläche liegt (d.h. $\|F|_{S^2} - 1\|_{C^1}$ ist klein genug), dann gilt die Michael–Simon-Ungleichung.
Konkret gilt für einen rektifizierbaren 2-Varifold $V$ mit endlicher Masse und erster Variation:
$$|V|(\mathbb{R}^3) \le C(F) \mathcal{H}^2(\{\theta > 0\})^{1/2} \cdot |\delta_F V|(\mathbb{R}^3)$$
Dies impliziert die skalierte Version der Ungleichung (1) für Dichten $\theta \ge \theta_0$.

• Bedeutung: Der Beweis ist nicht-perturbativ im Sinne einer Störungstheorie, sondern identifiziert eine explizite offene Menge von Integranden in der $C^1$-Topologie, die die isotrope Fläche enthält.

Theorem 1.4 (Regularität)

Unter den gleichen Voraussetzungen wie Theorem 1.3 folgt eine Regularitätsaussage: Wenn ein ganzzahliger rektifizierbarer 2-Varifold in einer Kugel eine Dichte nahe 1 hat und die erste Variation klein ist, dann ist der Varifold in einer kleineren Kugel ein $C^{1,\alpha}$-Graph über einer Ebene. Dies erlaubt die Anwendung von Allards Regularitätssatz im anisotropen Setting.

Theorem 1.5 (Spezifische Klassen von Integranden)

Die Ungleichung gilt auch für eine andere Klasse von Integranden, die $\ell^p$-Normen ($p \in (1, \infty)$) einschließt, sofern $F$ streng konvex, gerade in jeder Komponente ist und eine bestimmte Symmetriebedingung bezüglich der Projektionen des Gradienten erfüllt.

Allgemeine Äquivalenzen (Abschnitt 1.3)

Für allgemeine Dimensionen $n, k$ und Integranden, die die atomare Bedingung (AC) erfüllen, zeigen die Autoren die Äquivalenz folgender Aussagen:

1. Gültigkeit der Michael–Simon-Ungleichung.
2. Kompaktheit der Klasse der rektifizierbaren Varifolds (unter Konvergenz der ersten Variation).
3. Nicht-Existenz von "schlechten" Folgen, die zu einer diffusen Konzentration (diffuse concentration) führen, bei der die Masse auf Mengen konzentriert ist, deren Projektion verschwindet, der Limes aber die Lebesgue-Masse ist.

---

4. Signifikanz und Implikationen

1. Wiederherstellung von Kompaktheitsresultaten: Die Arbeit zeigt, dass die Michael–Simon-Ungleichung (und damit die Kompaktheit rektifizierbarer Varifolds) auch im anisotropen Setting gilt, solange der Integrand nahe genug an der isotropen Fläche ist oder die atomare Bedingung erfüllt. Dies füllt eine Lücke, da die Monotonie-Formel hier fehlt.
2. Regularitätstheorie: Durch die Kombination mit Allards Regularitätstheorem (Theorem 1.4) wird die lokale Regularität von stationären anisotropen Flächen für eine breite Klasse von Integranden gesichert.
3. Technischer Durchbruch: Die Einführung der neuen funktionalen Ungleichung (Theorem 3.1) als quantitative Version des Rank-One-Theorems ist ein eigenständiges mathematisches Ergebnis von hohem Interesse, das über die ursprüngliche Anwendung hinausgeht.
4. Verbindung zu Almgren: Die Arbeit würdigt und modernisiert Almgrens unveröffentlichte Arbeit, macht die Argumentation zugänglicher und vereinfacht die technischen Hürden erheblich.

Zusammenfassend liefert das Paper einen robusten Rahmen für die Analyse anisotroper minimaler Flächen, indem es die Lücke zwischen der isotropen Theorie (mit Monotonie) und der allgemeinen anisotropen Theorie schließt, indem es die Michael–Simon-Ungleichung als Ersatz für die Monotonie-Formel etabliert.