Weakly stable solutions of Serrin's problem

Technisches Resümee: Schwach stabile Lösungen von Serrins Problem

Problemstellung
Die vorliegende Arbeit befasst sich mit dem überbestimmten Problem von Serrin, bei dem ein Gebiet $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) und eine Funktion $u \in C^\infty(\bar{\Omega})$ gesucht werden, die folgendes erfüllen:
$$\begin{cases} -\Delta u = n & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{auf } \partial\Omega, \\ |Du| = 1 & \text{auf } \partial\Omega. \end{cases}$$
Während J. Serrin (1971) und H. Weinberger (1971) nachwiesen, dass kompakte Lösungen Einheitskugeln sein müssen, existieren nicht-kompakte Lösungen (z. B. Zylinder). H. Berestycki, L. Caffarelli und L. Nirenberg vermuteten, dass jede nicht-kompakte Lösung entweder eine Einheitskugel oder kongruent zu einem Zylinder der Form $\{y \in \mathbb{R}^m : |y| < m/n\} \times \mathbb{R}^{n-m}$ sein muss. Für allgemeine semilineare Probleme existieren jedoch Gegenbeispiele zu dieser Vermutung. Die vorliegende Arbeit untersucht die Vermutung speziell für den Fall $f(u) = n$ unter der zusätzlichen Annahme der schwachen Stabilität.

Methodik und Ansatz
Die Autoren verwenden einen variationstheoretischen Ansatz kombiniert mit geometrischer Analyse und asymptotischen Abschätzungen. Die Kernmethodik umfasst:

1. Variationaler Charakter: Lösungen werden als kritische Punkte des Funktionalen $J(u) = \frac{1}{2}\int_{\{u>0\}} |Du|^2 - \int_{\{u>0\}} F(u)$ (wobei $F' = f = n$) unter einer relativen Volumenbeschränkung betrachtet.
2. Stabilitätsdefinitionen:
   • Schwache Stabilität: Das Gebiet erfüllt den zweiten Ableitungstest für $J$ unter kompakten Störungen, welche das relative Volumen von $\{u > 0\}$ bewahren. Dies wird formalisiert durch die Ungleichung:
     $$\int_{\partial\Omega} (f(0) - H) \phi^2 \le \int_{\Omega} (|D\phi|^2 - f'(u)\phi^2)$$
     für alle $\phi \in C^\infty_c(\bar{\Omega})$ mit $\int_{\partial\Omega} \phi = 0$.
   • Stabilität: Dieselbe Ungleichung gilt für alle $\phi \in C^\infty_c(\bar{\Omega})$ ohne die Bedingung des verschwindenden Mittelwerts.
3. Gradienten- und Asymptotik-Abschätzungen: Die Autoren etablieren entscheidende Gradientenabschätzungen für $u$ (speziell $|Du| < 1$ in $\Omega$ und $H \le n$ auf $\partial\Omega$) und analysieren das asymptotische Verhalten des Volumens $V(\lambda)$ und der Randfläche $A(\lambda)$ von $\Omega$, geschnitten mit großen Kugeln $B_\lambda(0)$.
4. Widerspruchsbeweis: Der Beweis erfolgt durch die Annahme, dass $\Omega$ ein unendliches Volumen besitzt. Unter Verwendung der asymptotischen Relation $A(\lambda) \approx n V(\lambda)$, die aus dem Divergenzsatz abgeleitet wurde, zeigen die Autoren, dass unendliches Volumen impliziert, dass das Gebiet voll stabil ist. Durch Testen der Stabilitätsungleichung mit spezifischen Abschneidefunktionen (Cutoff-Funktionen) und unter Nutzung der Subharmonizität einer Hilfsfunktion $\phi = u + \frac{1}{2}|Du|^2$ leiten sie einen Widerspruch zwischen dem Vorzeichen des Randintegrals und der Stabilitätsbedingung her.
5. Analyse des endlichen Volumens: Nachdem das unendliche Volumen ausgeschlossen wurde, passen die Autoren Weinbergers Argument an den nicht-kompakten Kontext an, um zu zeigen, dass Komponenten mit endlichem Volumen Einheitskugeln sein müssen. Die schwache Stabilität wird dann verwendet, um zu beweisen, dass das Gebiet zusammenhängend ist, wodurch disjunkte Vereinigungen von Kugeln ausgeschlossen werden.

Zentrale Ergebnisse

• Theorem 2 (Hauptresultat): Für jede Dimension $n \ge 2 gilt: Wenn$\Omega$ eine schwach stabile Lösung von Serrins Problem ist, dann ist $\Omega$ eine Kugel mit Radius 1. Folglich existieren keine nicht-kompakten schwach stabilen Lösungen.
• Gradienten-Abschätzungen: Die Arbeit beweist, dass für jede Lösung $|Du| < 1$ in $\Omega$ gilt und die mittlere Krümmung $H$ auf $\partial\Omega$ die Bedingung $H \le n$ erfüllt.
• Implikation der Stabilität: Wenn eine Lösung ein unendliches Volumen besitzt, impliziert schwache Stabilität volle Stabilität.
• Dimensionsunabhängigkeit: Im Gegensatz zu früheren Ergebnissen für verwandte Probleme (z. B. das einphasige Bernoulli-Problem), die stark von der Dimension abhängen (z. B. $n \le 3$ vs. $n \ge 7$), gilt dieses Ergebnis für alle $n \ge 2$.

Bedeutung und Behauptungen
Die Arbeit behauptet zu beweisen, dass schwach stabile Lösungen von Serrins Problem notwendigerweise kompakt (speziell runde Kugeln) sind. Dieses Ergebnis löst die Berestycki-Caffarelli-Nirenberg-Vermutung für den Fall $f=n$ unter der Annahme der schwachen Stabilität effektiv auf, indem es zeigt, dass die nicht-kompakten Alternativen (Zylinder) nicht schwach stabil sind. Diese Annahme wird als „natürlich aus variationstheoretischer Sicht“ beschrieben.

Die Autoren heben hervor, dass ihr Ergebnis ein früheres Theorem (Theorem 1 in [12]) verallgemeinert, welches auf die Dimension $n=2$ beschränkt war und eine beschränkte Krümmung von $\partial\Omega$ voraussetzte. Die vorliegende Arbeit entfernt die Beschränkung der Dimension sowie die Annahme der beschränkten Krümmung. Die Beweistechnik unterscheidet sich von früheren Arbeiten; sie vermeidet den Gauß-Bonnet-Satz (spezifisch für $n=2$) und Argumente, die spezifisch für niedrige Dimensionen sind und in höheren Dimensionen aufgrund bekannter Gegenbeispiele in verwandten Stabilitätsproblemen versagen.

Das Ergebnis ist im Kontext der Minimalflächen-Theorie angesiedelt, in der schwach stabile Lösungen von Serrins Problem als Blow-up-Grenzwerte schwach stabiler minimaler Kapillaroppervlakken auftreten. Das hier etablierte Rigidity-Resultat dient als fundamentales Element zur Charakterisierung solcher Kapillaroppervlakken mit Kontaktwinkeln nahe $0$ oder $\pi$.