Weakly stable solutions of Serrin's problem

Technische Samenvatting: Zwak Stabiele Oplossingen van Serrins Probleem

Probleemstelling
Het artikel behandelt Serrins overgedetermineerde probleem, waarbij gezocht wordt naar een domein $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) en een functie $u \in C^\infty(\bar{\Omega})$ die voldoet aan:
$$\begin{cases} -\Delta u = n & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{op } \partial\Omega, \\ |Du| = 1 & \text{op } \partial\Omega. \end{cases}$$
Terwijl J. Serrin (1971) en H. Weinberger (1971) hebben vastgesteld dat compacte oplossingen een eenheidsbol moeten zijn, bestaan er niet-compacte oplossingen (bijv. cilinders). H. Berestycki, L. Caffarelli en L. Nirenberg vermoedden dat elke niet-compacte oplossing ofwel een eenheidsbol is, ofwel congruent is aan een cilinder van de vorm $\{y \in \mathbb{R}^m : |y| < m/n\} \times \mathbb{R}^{n-m}$. Echter, tegenvoorbeelden voor deze conjectuur bestaan voor algemene semilineaire problemen. Dit artikel onderzoekt de conjectuur specifiek voor het geval $f(u) = n$ onder de aanvullende aanname van zwakke stabiliteit.

Methodologie en Benadering
De auteurs maken gebruik van een variationele benadering gecombineerd met geometrische analyse en asymptotische schattingen. De kernmethodologie omvat:

1. Variationele Karakterisering: Oplossingen worden beschouwd als kritieke punten van de functionaal $J(u) = \frac{1}{2}\int_{\{u>0\}} |Du|^2 - \int_{\{u>0\}} F(u)$ (waarbij $F' = f = n$) onder een relatieve volumebeperking.
2. Stabiliteitsdefinities:
   • Zwakke Stabiliteit: Het domein voldoet aan de tweede afgeleidetest voor $J$ onder compacte perturbaties die het relatieve volume van $\{u > 0\}$ behouden. Dit wordt geformaliseerd door de ongelijkheid:
     $$\int_{\partial\Omega} (f(0) - H) \phi^2 \le \int_{\Omega} (|D\phi|^2 - f'(u)\phi^2)$$
     voor alle $\phi \in C^\infty_c(\bar{\Omega})$ met $\int_{\partial\Omega} \phi = 0$.
   • Stabiliteit: Dezelfde ongelijkheid geldt voor alle $\phi \in C^\infty_c(\bar{\Omega})$ zonder de nul-gemiddelde beperking.
3. Gradiënt- en Asymptotische Schattingen: De auteurs stellen cruciale gradientschattingen voor $u$ vast (specifiek $|Du| < 1$ in $\Omega$ en $H \le n$ op $\partial\Omega$) en analyseren het asymptotische gedrag van het volume $V(\lambda)$ en de oppervlakte $A(\lambda)$ van $\Omega$ gesneden met grote bollen $B_\lambda(0)$.
4. Tegenspraakargument: Het bewijs verloopt door aan te nemen dat $\Omega$ een oneindig volume heeft. Gebruikmakend van de asymptotische relatie $A(\lambda) \approx n V(\lambda)$, afgeleid uit de divergentiestelling, tonen de auteurs aan dat een oneindig volume impliceert dat het domein volledig stabiel is. Door de stabiliteitsongelijkheid te testen met specifieke afkappuncties (cutoff functions) en gebruik te maken van de subharmoniciteit van een hulpfunctie $\phi = u + \frac{1}{2}|Du|^2$, leiden zij een tegenspraak af tussen het teken van het randintegraal en de stabiliteitsvoorwaarde.
5. Analyse van Eindig Volume: Zodra een oneindig volume is uitgesloten, passen de auteurs het argument van Weinberger aan voor de niet-compacte setting om aan te tonen dat componenten met een eindig volume een eenheidsbol moeten zijn. Zwakke stabiliteit wordt vervolgens gebruikt om te bewijzen dat het domein verbonden is, waarmee disjuncte verenigingen van bollen worden uitgesloten.

Belangrijkste Resultaten

• Theorem 2 (Hoofdresultaat): Voor elke dimensie $n \ge 2$, indien $\Omega$ een zwak stabiele oplossing van Serrins probleem is, dan is $\Omega$ een bol met straal 1. Bijgevolg bestaan er geen niet-compacte zwak stabiele oplossingen.
• Gradiëntbegrenzingen: Het artikel bewijst dat voor elke oplossing $|Du| < 1$ in $\Omega$ en de gemiddelde kromming $H$ voldoet aan $H \le n$ op $\partial\Omega$.
• Stabiliteitsimplicatie: Als een oplossing een oneindig volume heeft, impliceert zwakke stabiliteit volledige stabiliteit.
• Dimensie-onafhankelijkheid: In tegenstelling tot eerdere resultaten voor gerelateerde problemen (bijv. het één-fasen Bernoulli-probleem) die sterk afhankelijk zijn van de dimensie (bijv. $n \le 3$ versus $n \ge 7$), geldt dit resultaat voor alle $n \ge 2$.

Betekenis en Claims
Het artikel claimt te bewijzen dat zwak stabiele oplossingen van Serrins probleem noodzakelijkerwijs compact (specifiek ronde bollen) zijn. Dit resultaat lost de Berestycki-Caffarelli-Nirenberg conjectuur effectief op voor het geval $f=n$ onder de aanname van zwakke stabiliteit door aan te tonen dat de niet-compacte alternatieven (cilinders) niet zwak stabiel zijn. Deze aanname wordt beschreven als "natuurlijk vanuit een variationeel oogpunt".

De auteurs benadrukken dat hun resultaat een eerder theorem (Theorem 1 in [12]) generaliseert dat beperkt was tot dimensie $n=2$ en een begrensde kromming van $\partial\Omega$ vereiste. Het huidige werk verwijdert de dimensiebeperking en de aanname van begrensde kromming. De bewijstechniek is verschillend van eerdere werken; het vermijdt de Gauss-Bonnet stelling (specifiek voor $n=2$) en argumenten die specifiek zijn voor lage dimensies en die in hogere dimensies falen vanwege bekende tegenvoorbeelden in gerelateerde stabiliteitsproblemen.

Het resultaat is ingebed in de context van de minimal surface theorie, waarbij zwak stabiele oplossingen van Serrins probleem optreden als blow-up limieten van zwak stabiele minimale capillaire oppervlakken. Het hier vastgestelde rigiditeitsresultaat dient als een fundamenteel ingrediënt voor het karakteriseren van dergelijke capillaire oppervlakken met contacthoeken nabij $0$ of $\pi$.