Partial regularity for variational integrals with Morrey-Hölder zero-order terms, and the limit exponent in Massari's regularity theorem

Die Arbeit untersucht die partielle $C^{1,\alpha}$-Regulärität von Minimierern nichtparametrischer Variationsintegrale mit Morrey-Hölder-Termen nullter Ordnung und bestätigt im parametrischen Fall von Massaris Regularitätstheorem für Hypersurflächen mit vorgegebener mittlerer Krümmung die optimale Regularität bis zum Grenzwert des Exponenten.

Das Wesentliche

Stellen Sie sich vor, Sie sind ein Architekt, der versucht, das perfekte, glatte Gebäude zu entwerfen. Ihr Ziel ist es, eine Form zu finden, die den „Widerstand" oder die „Energie" minimiert, die nötig ist, um das Gebäude zu bauen. In der Mathematik nennt man solche Probleme Variationsprobleme. Die Formel, die diese Energie berechnet, ist Ihr funktionaler Integrals.

In diesem Papier untersuchen Thomas Schmidt und Jule Helena Schütt genau solche Probleme, aber mit einem besonderen Twist: Sie schauen sich nicht nur die Form der Wände an (das ist der Teil mit den Ableitungen), sondern auch die „Umgebung" oder den „Boden", auf dem das Gebäude steht (das ist der Teil ohne Ableitungen, die sogenannte Nullter-Ordnung).

Hier ist die einfache Erklärung der wichtigsten Punkte, verpackt in Alltagsbilder:

1. Das große Ziel: Wo ist das Gebäude perfekt glatt?

In der realen Welt sind Gebäude selten überall perfekt glatt. Manchmal gibt es Ecken, Risse oder unregelmäßige Stellen. Die Mathematiker wollen wissen: Wie viel von unserem Gebäude ist glatt (regulär) und wie viel ist chaotisch (singulär)?

Die Autoren beweisen, dass das Gebäude fast überall glatt ist. Es gibt nur eine winzige Menge an „schmutzigen Ecken" (die mathematisch gesehen so klein ist, dass sie für die meisten Zwecke ignoriert werden kann). Das nennen sie partielle Regularität.

2. Der neue Baustoff: Die „Morrey-Hölder"-Bedingung

Bisher haben Mathematiker oft angenommen, dass der „Boden" (die Nullter-Ordnung) sehr vorhersehbar und glatt ist. Diese Autoren sagen: „Nein, der Boden kann rau, unregelmäßig und sogar an manchen Stellen sehr wild sein."

Stellen Sie sich den Boden wie ein Teppich vor:

• Der alte Ansatz: Der Teppich war immer aus glattem Seidenstoff.
• Der neue Ansatz: Der Teppich kann aus grobem Jute bestehen, an manchen Stellen sogar mit Klettverschluss oder kleinen Steinen.

Die Autoren entwickeln eine neue Regel (die Morrey-Hölder-Bedingung), um zu beschreiben, wie „rau" dieser Teppich sein darf, ohne dass das ganze Gebäude einstürzt. Sie fragen sich: Wie stark darf der Teppich kratzen, bevor die Wände des Gebäudes (die Ableitungen) nicht mehr glatt bleiben?

3. Der entscheidende Trick: Der „perfekte Winkel"

Das Herzstück der Arbeit ist die Bestimmung eines Winkels (genannt $\alpha$).

• Stellen Sie sich vor, Sie polieren eine Oberfläche. Je glatter sie wird, desto höher ist der Poliergrad.
• Die Autoren finden heraus: Wie glatt das Gebäude wird, hängt direkt davon ab, wie „rau" der Teppich ist.

Wenn der Teppich sehr glatt ist, wird das Gebäude fast perfekt glatt. Wenn der Teppich rau ist, wird das Gebäude immer noch glatt, aber nicht ganz so perfekt. Die große Leistung dieses Papiers ist, dass sie die exakte Formel gefunden haben, die den Poliergrad des Gebäudes mit der Rauheit des Teppichs verknüpft. Sie sagen: „Wenn der Teppich so und so rau ist, dann ist das Gebäude genau so glatt." Nicht mehr, nicht weniger.

4. Der Spezialfall: Massaris Theorem (Die Krümmung von Seifenblasen)

Ein großer Teil der Arbeit widmet sich einem speziellen Problem: Hypersurfaces mit vorgegebener mittlerer Krümmung.

• Die Analogie: Stellen Sie sich eine Seifenblase vor. Sie nimmt eine Form an, um die Energie zu minimieren. Manchmal wird die Seifenblase aber durch einen äußeren Druck (wie Wind oder Schwerkraft) verformt. Dieser Druck ist die „vorgegebene Krümmung".
• Frühere Mathematiker (wie Massari) hatten bereits gesagt: „Wenn der Wind nicht zu stark weht, ist die Seifenblase glatt."
• Die neue Erkenntnis: Schmidt und Schütt sagen: „Wir können den Wind noch stärker werden lassen, als man dachte, und die Seifenblase bleibt trotzdem glatt – bis zu einem absoluten Grenzwert."

Sie haben den optimalen Grenzwert gefunden. Das ist wie der Moment, in dem man sagt: „Wenn der Wind noch einen Hauch stärker weht, platzt die Seifenblase oder wird unregelmäßig. Aber genau bis zu diesem Punkt ist sie perfekt."

5. Warum ist das wichtig?

Stellen Sie sich vor, Sie bauen ein Brückenmodell am Computer.

• Wenn Sie die falschen Annahmen über das Material machen, sagt Ihr Computer vielleicht: „Hier ist alles glatt", obwohl in der Realität ein Riss entsteht.
• Oder er sagt: „Hier ist ein Riss", obwohl das Material es eigentlich aushält.

Diese Arbeit gibt den Ingenieuren und Mathematikern die präzise Anleitung, wie sie das Material (die Nullter-Ordnung) beschreiben müssen, um genau vorherzusagen, wo das Gebäude glatt ist und wo nicht. Sie haben die „Grenze der Glätte" neu definiert und gezeigt, dass man bis an die absolute Grenze gehen kann, ohne dass das System versagt.

Zusammenfassung in einem Satz

Die Autoren haben herausgefunden, wie stark ein unregelmäßiger „Boden" sein darf, bevor ein minimales „Gebäude" (eine Lösung einer Gleichung) nicht mehr perfekt glatt ist, und sie haben die exakte Formel dafür gefunden, die sogar den berühmten Fall von verformten Seifenblasen perfekt beschreibt.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papers auf Deutsch:

Titel und Autoren

Titel: Partial regularity for variational integrals with Morrey-Hölder zero-order terms, and the limit exponent in Massari's regularity theorem
Autoren: Thomas Schmidt und Jule Helena Schütt
Datum: 9. März 2026

---

1. Problemstellung und Motivation

Das Paper untersucht die partielle $C^{1,\alpha}$-Regulärität von Minimierern nicht-parametrischer Variationsintegrale der Form:
$$F[w] = \int_{\Omega} \left[ f(Dw) + g(\cdot, w) \right] dx$$
wobei $f$ der erste Ordnungsterm (abhängig vom Gradienten $Dw$) und $g$ der Nullter-Ordnungsterm (abhängig von $w$ und $x$) ist.

Das Hauptziel ist die Bestimmung des optimalen Hölder-Exponenten $\alpha$ für den Gradienten der Minimierer in Abhängigkeit von den strukturellen Annahmen an den Nullter-Ordnungsterm $g$.

• Herausforderung: Der Term $g$ wird nur sehr allgemein angenommen (nicht notwendigerweise differenzierbar in $w$), was die klassische Euler-Lagrange-Gleichung unbrauchbar macht.
• Spezifische Annahme an $g$: $g$ erfüllt eine Morrey-Hölder-Bedingung:
  $$|g(x, y) - g(x, \tilde{y})| \leq \Gamma(x)(1 + |y| + |\tilde{y}|)^{q-\beta} |y - \tilde{y}|^\beta$$
  Dabei kontrolliert die Funktion $\Gamma$ (die in Morrey-Räumen liegt) die $x$-Abhängigkeit, während $\beta$ und $q$ die Hölder- bzw. Wachstumsordnung in $y$ beschreiben.
• Anwendungsbezug: Ein zentrales Motiv ist die Anwendung auf Massaris Regularitätstheorem für Hypersurfaces mit vorgegebener mittlerer Krümmung (parametrisches Setting). Bisherige Ergebnisse (u.a. von den Autoren selbst in [80]) zeigten partielle Regularität für $\alpha < \alpha_{\text{opt}}$, ließen aber den Grenzfall offen.

---

2. Methodik

Die Autoren verwenden eine verfeinerte Version der A-harmonischen Approximationsmethode (eingeführt in [33] und weiterentwickelt in zahlreichen Folgearbeiten). Der Beweisverlauf gliedert sich in folgende Schritte:

1. Caccioppoli-Ungleichung (Abschnitt 4):
   Es wird eine Ungleichung hergeleitet, die die $L^2$-Norm des Gradienten des Differenzterms $u_{\xi,\zeta}$ durch Terme der Funktion selbst und den Nullter-Ordnungsterm $g$ kontrolliert.

   • Technische Schwierigkeit: Da $g$ nicht differenzierbar ist, muss der Term $g(x, u-\phi) - g(x, u)$ direkt über die Morrey-Hölder-Bedingung abgeschätzt werden. Dies erfordert eine sorgfältige Aufspaltung in Fälle ($n \geq 3$ vs. $n \leq 2$) und die Nutzung von Young-Ungleichungen, um die Abhängigkeit von $\Gamma$ und den Exponenten $\alpha, \beta, q$ präzise zu steuern.

2. Approximative A-Harmonizität (Abschnitt 5):
   Da keine Euler-Gleichung existiert, wird gezeigt, dass der Minimierer $u$ "nahezu" eine Lösung eines linearen Systems mit konstanten Koeffizienten ist (approximative A-Harmonizität).

   • Der Fehlerterm wird durch die Caccioppoli-Abschätzung und die Eigenschaften von $g$ kontrolliert.
   • Die Approximation erfolgt durch Vergleich mit einer echten A-harmonischen Funktion $h$ (Lemma 2.9).

3. Exzess-Abschätzungen (Abschnitt 6):
   Mittels der A-harmonischen Approximation wird ein Exzess-Verbesserungssatz (Excess Improvement) bewiesen. Dieser zeigt, dass der quadratische Exzess $\Phi(x_0, \rho)$ (die Schwankung des Gradienten) auf kleineren Skalen um einen Faktor $\theta^{2\kappa}$ abnimmt, plus einem Störterm, der von $\rho$ abhängt.

   • Der entscheidende Punkt ist die Bestimmung des Exponenten $\kappa$, der von den Parametern $\alpha, \beta, q$ und der Regularität von $\Gamma$ abhängt.

4. Iterative Regularitätsargumente (Abschnitt 7):
   Durch Iteration des Exzess-Abklingens wird gezeigt, dass der Gradient auf einer Menge $\Omega_{\text{reg}}$ (deren Komplement Maß Null hat) Hölder-stetig ist.

   • Ein wichtiger technischer Schritt ist die Unterscheidung zwischen Fällen mit und ohne a priori $L^\infty$- oder $W^{1,\infty}$-Schranken für die Minimierer. Bei beschränkten Minimierern können zusätzliche Morrey-Bedingungen an $\Gamma$ fallengelassen werden, was zu schärferen Ergebnissen führt.

---

3. Hauptergebnisse

A. Partielle Regularität für Variationsintegrale (Theorem 1.2, 1.3, 1.4)

Die Autoren beweisen die partielle $C^{1,\alpha}$-Regulärität für lokale Minimierer unter folgenden Bedingungen:

• Integrand $f$: 2-stark quasikonvex, quadratisches Wachstum.
• Integrand $g$: Erfüllt die Morrey-Hölder-Bedingung mit Exponenten $\beta, q$ und einer Kontrollfunktion $\Gamma$.
• Bedingungen an $\Gamma$: $\Gamma$ muss in bestimmten Morrey-Räumen liegen (abhängig von $s_\beta, s_q$).

Das Kernresultat: Der optimale Hölder-Exponent $\alpha$ hängt scharf von den Parametern ab:
$$\alpha = \frac{\beta - n/p}{2 - \beta}$$
(wobei $p$ die Integrabilitätsordnung von $\Gamma$ ist, falls $\Gamma \in L^p$).

• Im Fall $\Gamma \in L^\infty$ ergibt sich der bekannte optimalen Exponent $\alpha = \frac{\beta}{2-\beta}$.
• Die Arbeit zeigt, dass diese Abhängigkeit auch für allgemeine Morrey-Räume gilt und dass die Bedingung an $\Gamma$ für die Bestimmung von $\alpha$ nur über die erste Morrey-Bedingung (1.4) erfolgt, während die zweite (1.5) technisch für die Existenz der Approximation nötig ist, aber nicht den Exponenten beeinflusst.

B. Optimalität im Massari-Kontext (Theorem 1.5)

Das Paper wendet die nicht-parametrischen Ergebnisse auf das parametrische Problem der Massari-Funktionale (Minimierer von Perimeter minus Integral der Krümmung) an.

• Satz: Sei $E$ eine Menge endlicher Perimeter in $U \subseteq \mathbb{R}^{n+1}$ mit variationaler mittlerer Krümmung $H \in L^p(U)$ für $p > n+1$.
• Ergebnis: Der reduzierte Rand $\partial^* E \cap U$ ist eine $n$-dimensionale $C^{1, \alpha_{\text{opt}}}$-Untermannigfaltigkeit mit dem optimalen Exponenten:
  $$\alpha_{\text{opt}} = \frac{p - (n+1)}{p+1}$$
• Singularitäten: Für $n \leq 6$ ist die Singularitätsmenge leer; für $n \geq 7$ hat sie Hausdorff-Dimension $\leq n-7$.
• Bedeutung: Dies schließt die Lücke zu vorherigen Arbeiten ([80]), die nur $\alpha < \alpha_{\text{opt}}$ zeigten. Es wird bewiesen, dass die Regularität bis zum Grenzexponenten reicht.

---

4. Technische Details und Feinheiten

• Nicht-Differenzierbarkeit von $g$: Da $g$ nicht nach $w$ differenzierbar sein muss, wird die Euler-Gleichung nicht verwendet. Stattdessen wird die Minimaleigenschaft direkt in den Caccioppoli-Schritten genutzt, wobei der Term $g(x, u-\phi) - g(x, u)$ durch die Hölder-Bedingung abgeschätzt wird.
• Rolle der Morrey-Räume: Die Wahl der Morrey-Räume für $\Gamma$ ist entscheidend, um den Exponenten $\alpha$ zu maximieren. Die Autoren zeigen, dass die Bedingung $\Gamma \in L^{s_\beta, n+s_\beta((2-\beta)\alpha - \beta)}$ genau so gewählt ist, dass $\alpha$ der resultierende Regularitätsgrad ist.
• Fallunterscheidung $n=1,2$ vs. $n \geq 3$: Für niedrige Dimensionen werden Sobolev-Exponenten anders behandelt (beliebig große $2^*$), was die Formulierungen der Morrey-Bedingungen leicht modifiziert, aber das Prinzip beibehält.
• A-priori-Schranken: In Theorem 1.3 und 1.4 wird gezeigt, dass bei bekannter $L^\infty$- oder $W^{1,\infty}$-Beschränktheit der Minimierer die strengere Morrey-Bedingung (1.5) für $\Gamma$ entfallen kann, was die Anwendbarkeit auf breitere Klassen von Problemen erweitert.

---

5. Signifikanz und Beitrag

1. Schärfste Abhängigkeit: Das Paper liefert die erste vollständige Charakterisierung der Abhängigkeit des Regularitätsgrades $\alpha$ von den strukturellen Parametern des Nullter-Ordnungsterms in diesem allgemeinen Rahmen.
2. Lösung des Massari-Problems: Es liefert den endgültigen Beweis für die Optimalität des Regularitätsgrades im Massari-Satz, ein offenes Problem in der geometrischen Variationsrechnung.
3. Methodische Weiterentwicklung: Die Arbeit demonstriert die Robustheit der A-harmonischen Approximationsmethode auch bei nicht-differenzierbaren Störtermen und in nicht-uniform elliptischen Fällen (Theorem 1.4).
4. Vereinheitlichung: Die Ergebnisse fassen verschiedene bekannte Spezialfälle (z.B. $\Gamma \in L^\infty$ oder $L^p$) in einem allgemeinen Morrey-Rahmen zusammen und zeigen deren Konsistenz.

Zusammenfassend stellt dieses Paper einen bedeutenden Fortschritt in der Theorie der partiellen Regularität für Variationsprobleme mit allgemeinen Nullter-Ordnungstermen dar und schließt eine wichtige Lücke in der Regularitätstheorie für Flächen mit vorgegebener mittlerer Krümmung.