Sharp quantitative Talenti's inequality in particular cases

1. Probleemstelling en Context

Het artikel richt zich op een kwantitatieve verscherping van de Talenti-ongelijkheid, een fundamenteel resultaat in de variatierekening en partiële differentiaalvergelijkingen.

• De Talenti-ongelijkheid: Voor een begrensd open domein $\Omega \subset \mathbb{R}^n$ en een functie $f \in L^2(\Omega)$, laat $u_f$ de unieke zwakke oplossing zijn van $-\Delta u_f = f$ met Dirichlet-randvoorwaarden. De ongelijkheid stelt dat de Schwarz-symmetrisatie $u_f^\sharp$ (op het gesymmetriseerde domein $\Omega^\sharp$, een bol met hetzelfde volume als $\Omega$) puntsgewijs wordt gedomineerd door de oplossing $v$ van het gesymmetriseerde probleem $-\Delta v = f^\sharp$.
• De $L^p$-corollary: Dit impliceert dat voor elke $p \in [1, +\infty]$:
  $$\|u_f\|_{L^p(\Omega)} \leq \|v\|_{L^p(\Omega^\sharp)}$$
  Gelijkheid treedt op dan en slechts dan als $\Omega$ een bol is en $f$ radiaal symmetrisch is (tot op translatie).
• Het onderzoeksvraag: De auteurs onderzoeken de stabiliteit van deze ongelijkheid. Als de $L^p$-norm van de oplossing dicht bij de maximale waarde ligt, hoe "dicht" moet dan het domein en de functie $f$ bij hun symmetrische tegenhangers liggen?
• Specifiek geval: In dit werk wordt een eerste scherp kwantitatief resultaat bewezen voor het geval waarbij:
  1. Het domein $\Omega$ vast is als de eenheidsbol $B_1$ (dus $\Omega = \Omega^\sharp$).
  2. De bronfunctie $f$ een karakteristieke functie is van een meetbare deelverzameling $E \subset B_1$, d.w.z. $f = \chi_E$.
  3. De symmetrisatie $f^\sharp$ is dan $\chi_{B^*}$, waarbij $B^*$ de geconcentreerde bol is met hetzelfde volume als $E$.

Het doel is om een ondergrens te vinden voor het "tekort" (deficit) $\|u_{B^*}\|_{L^p} - \|u_E\|_{L^p}$ in termen van de asymmetrie van $E$, gemeten door de symmetrische verschil $|E \Delta B^*|$.

2. Methodologie

De auteurs hanteren een combinatie van vormoptimalisatie, shape derivatives (vormafgeleiden) en de selectieprincipe (selection principle) strategie, zoals eerder geïntroduceerd door Cicalese en Leonardi voor de kwantitatieve isoperimetrische ongelijkheid.

De aanpak is onderverdeeld in drie gevallen, afhankelijk van de waarde van $p$:

A. Het geval $p = 1$

• Directe aanpak: Het bewijs is vrij rechttoe rechtaan en maakt gebruik van de lineariteit van de Laplace-operator en de Talenti-vergelijking.
• Slechtste geval analyse: De auteurs analyseren het probleem om de "slechtste" verzameling $E$ te vinden voor een gegeven asymmetrie $\delta = |E \Delta B^*|$. Ze identificeren expliciet dat de verzameling die het Talenti-tekort maximaliseert een ringvormige structuur heeft (een unie van een bol en een annulus), aangeduid als $A_\delta$.
• Berekening: Door de oplossing voor deze specifieke ringvormige set te berekenen, tonen ze aan dat het deficit kwadratisch is in $\delta$.

B. Het geval $1 < p < \infty$

Dit is het meest technische deel van het artikel en volgt een meerlagige strategie:

1. Vormoptimalisatie: Het probleem wordt geformuleerd als het maximaliseren van een functionaal $J(E) = \int_{B_1} j(u_E) dx$ onder volumebeperkingen, waarbij $j(s) = s^p$.
2. Relaxatie: Het probleem wordt gerelaxeerd naar de ruimte van dichtheden $V \in L^\infty(B_1)$ met $0 \leq V \leq 1$ en $\int V = m$.
3. Lokale stabiliteit impliceert globale stabiliteit: Met behulp van compactheidseigenschappen wordt aangetoond dat het volstaat om stabiliteit te bewijzen voor verzamelingen die zeer dicht bij de optimale bol $B^*$ liggen (in $L^1$-norm).
4. Selectieprincipe: Als de stabiliteitsongelijkheid zou falen voor een rij van verzamelingen, kunnen deze worden vervangen door "gladdere" verzamelingen (niveaus van de adjointe toestand) die ook de ongelijkheid zouden schenden. Dit reduceert het probleem tot het bewijzen van stabiliteit voor gladde vervormingen van de bol.
5. Shape Derivatives:
   • Eerste orde: Berekening van de eerste vormafgeleide, wat leidt tot de Euler-Lagrange voorwaarden (de bol is een kritiek punt).
   • Tweede orde: Berekening van de tweede vormafgeleide van de Lagrangiaan.
   • Coerciviteit: Het bewijzen dat de tweede afgeleide strikt negatief is (coerciviteit) op de ruimte van functies die voldoen aan de volumebeperking. Dit vereist het analyseren van een gekoppeld systeem van partiële differentiaalvergelijkingen en het gebruik van sferische harmonischen om de eigenwaarden te diagonaliseren.
   • Continuïteit: Bewijzen dat de tweede afgeleide voldoende continu is om de restterm in de Taylor-ontwikkeling te controleren.

C. Het geval $p = \infty$

• Voor $p = \infty$ is de norm $\|u_E\|_\infty$ het maximum van de oplossing.
• De auteurs gebruiken de Green-functie van de bol om de oplossing te representeren.
• Een cruciale stap is het bewijzen dat het maximumpunt $x_E$ van de oplossing uniek is en differentieerbaar is met betrekking tot de vormverandering.
• Ze berekenen de tweede orde vormafgeleide van de $L^\infty$-norm, wat een nieuw resultaat is in deze context.

3. Belangrijkste Resultaten

Het hoofddoel van het artikel wordt bereikt in Stelling 1.1:

Stelling 1.1: Laat $n \geq 1$, $p \in [1, +\infty]$, en $m \in (0, |B_1|)$. Dan bestaat er een constante $c = c(p, m, n) > 0$ zodanig dat voor elke meetbare verzameling $E \subset B_1$ met volume $m$:
$$\|u_{B^*}\|_{L^p(B_1)} - \|u_E\|_{L^p(B_1)} \geq c |E \Delta B^*|^2$$
waarbij $B^*$ de geconcentreerde bol met volume $m$ is.

Kernpunten van de resultaten:

• Scherpe Exponent: De exponent 2 in de ongelijkheid is scherp. De auteurs tonen aan dat de ongelijkheid niet kan gelden voor een exponent kleiner dan 2 (door te kijken naar de Taylor-ontwikkeling voor kleine verstoringen).
• Expliciete Constanten: Voor $p=1$ en $n \geq 2$ wordt de constante $c$ expliciet gegeven als $(4n^2\omega_n)^{-1}$. Voor $p > 1$ is de constante niet expliciet berekend vanwege de gebruikte contradictie-methode, maar de scherpheid van de exponent is wel bewezen.
• Uniciteit: De auteurs bevestigen dat de bol de unieke maximizer is voor de $L^p$-norm onder de gegeven voorwaarden.

4. Significatie en Bijdrage

De bijdrage van dit artikel is significant binnen het domein van de vormoptimalisatie en partiële differentiaalvergelijkingen:

1. Eerste Scherpe Kwantitatieve Resultaat: Dit is een van de eerste werken dat een kwantitatieve stabiliteitsongelijkheid voor de Talenti-ongelijkheid bewijst met een scherpe exponent. Eerdere werken (zoals [8] en [2]) leverden exponenten op die niet scherp waren of geen controle hadden over de asymmetrie van de bronfunctie $f$.
2. Technische Innovatie: Het artikel introduceert en verfijnt methoden om de tweede orde vormafgeleide van de $L^\infty$-norm te berekenen, wat een nieuwe technische stap is.
3. Verbinding met Geometrie: Door te focussen op karakteristieke functies ($f = \chi_E$), koppelt het artikel de analyse van PDE's direct aan geometrische eigenschappen van de deelverzamelingen (via de symmetrische verschil).
4. Toekomstperspectief: De auteurs geven aan dat de strategie in dit artikel de basis vormt voor toekomstig werk waarin $f$ niet beperkt is tot karakteristieke functies, wat de weg vrijmaakt voor bredere toepassingen in de stabiliteitstheorie van PDE's.

Samenvattend biedt dit artikel een rigoureuze wiskundige onderbouwing voor de stabiliteit van symmetrisatie-ongelijkheden, met een focus op de optimale snelheid waarmee de ongelijkheid "vastloopt" wanneer de configuratie afwijkt van de perfecte symmetrie.