Quantitative stability for the Trudinger-Moser inequality

Technische Samenvatting: Kwantitatieve Stabiliteit voor de Trudinger–Moser-ongelijkheid

Probleemstelling
Het artikel onderzoekt de kwantitatieve stabiliteit van de Trudinger–Moser-ongelijkheid op gladde, begrensd domeinen $\Omega \subset \mathbb{R}^2$. Waar de klassieke Sobolev-inbedding faalt bij de kritieke exponent $q=n$, biedt de Trudinger–Moser-ongelijkheid een vervanging, door te stellen dat functies in $W^{1,n}_0(\Omega)$ exponentiële integreerbaarheid vertonen. Specifiek, voor $n=2$, is de functionaal
$$E_{\alpha, \Omega}(u) = \int_\Omega e^{\alpha u^2} dx$$
beperkt voor $\|\nabla u\|_{L^2(\Omega)} \leq 1$ dan en slechts dan als $0 \leq \alpha \leq 4\pi$. De verzameling van extremale functies (optimalisatoren) $M_\alpha(\Omega)$ is bekend als niet-leeg, maar hun precieze analytische vorm blijft onopgelost, zelfs voor de eenheidsschijf.

Het centrale probleem dat wordt aangepakt, is of het "tekort" in de ongelijkheid—gedefinieerd als het verschil tussen het supremum $TM(\alpha, \Omega)$ en de functionaalwaarde $E_{\alpha, \Omega}(u)$—de afstand van een functie $u$ tot de verzameling optimalisatoren $M_\alpha(\Omega)$ controleert. De auteurs streven ernaar een kwantitatieve stabiliteitsschatting van de volgende vorm te vestigen:
$$\text{def}_{\alpha, \Omega}(u) \gtrsim \text{dist}_{\alpha, \Omega}(u)^2,$$
waarbij de afstand wordt gemeten in de $W^{1,2}_0$-norm (specifiek de $L^2$-norm van de gradiënt).

Methodologie
De bewijzen vertrouwen op spectrale analyse van gelineariseerde operatoren rondom optimalisatoren en een contradictieargument dat de asymptotische gedrag van schendende rijen omvat.

1. Spectrale Gap-analyse: De auteurs definiëren twee belangrijke eigenwaardeproblemen geassocieerd met een optimalisator $u^*$:

   • Het gelineariseerde probleem $(P_{\alpha, \Omega})$: $-\Delta \phi = \lambda (1 + 2\alpha (u^*)^2)e^{\alpha (u^*)^2} \phi$.
   • Het niet-lineaire Trudinger–Moser-probleem $(TM_{\alpha, \Omega})$: $-\Delta v = \Lambda e^{\alpha (u^*)^2} v$.
     Laat $\lambda_1(\alpha, \Omega)$ en $\Lambda_1(\alpha, \Omega)$ hun respectievelijke eerste eigenwaarden aanduiden. Een cruciale stap is het vestigen van een spectrale gap waarbij $\Lambda_1(\alpha, \Omega)$ strikt ligt tussen de eerste en tweede eigenwaarde van het gelineariseerde probleem, of strikt onder de eerste niet-radiale eigenwaarde in symmetrische gevallen.

2. Contradictiestrategie: De bewijzen voor de subkritieke gevallen verlopen via contradictie. Aannemende dat de stabiliteitsschatting faalt, bestaat er een rij functies die het supremum benadert maar ver blijft van de verzameling optimalisatoren. Door compactheid (via Vitali's stelling en concentratie-compactheid) convergeert deze rij naar een optimalisator $u^*$. De genormaliseerde afwijkingen voldoen aan een asymptotische Euler-Lagrange-vergelijking, convergerend naar een limietfunctie die het gelineariseerde eigenwaardeprobleem moet oplossen. Het bestaan van een spectrale gap maakt deze limiet onmogelijk (aangezien dit een teken-bepaalde eigenfunctie zou impliceren die orthogonaal is op de raakruimte), waardoor de stabiliteitsschatting wordt bewezen.

3. Extensie van Sfeer tot Bol: Aangezien de Trudinger–Moser-functionaal niet homogeen is (in tegenstelling tot de Sobolev-functionaal), vestigen de auteurs eerst stabiliteit op de eenheidsfeer $S^1$ (waar $\|\nabla u\|_{L^2}=1$) en breiden deze vervolgens uit tot de gesloten eenheidsbol $B_1$ met behulp van de monotonie van de functionaal onder radiale herschalingen.

4. Generaliteit via Transversaliteit: Om het niet-degeneraat geval aan te pakken, hanteren de auteurs een Sard–Smale transversaliteitsargument. Door het domein te parametriseren via diffeomorfismen en de aangevulde afbeelding van de Euler-Lagrange-vergelijking te analyseren, tonen ze aan dat niet-degeneratie (waar de Hessiaan coercief is op de raakruimte) geldt voor een generieke verzameling parameters $(\alpha, \Omega)$.

Belangrijkste Bijdragen en Resultaten

Het artikel vestigt drie hoofdtheorema's met betrekking tot de kwadratische controle van de afstand tot optimalisatoren door het tekort:

• Stelling 1 (Klein Subkritiek Geval): Voor elk glad begrensd domein $\Omega$ bestaat er een drempel $\alpha_0 > 0$ zodanig dat voor alle $\alpha \in (0, \alpha_0)$ de stabiliteitsschatting geldt. Dit resultaat rust op het feit dat, naarmate $\alpha \to 0$, de eigenwaarden van de gelineariseerde problemen convergeren naar de eerste Dirichlet-eigenwaarde van de Laplaciaan, waardoor een spectrale gap ontstaat.
• Stelling 2 (Niet-Degeneraat Subkritiek Geval): Voor elke $\alpha \in (0, 4\pi)$, als elke optimalisator niet-degeneraat is (d.w.z. de tweede variatie is coercief op de raakruimte), geldt de stabiliteitsschatting. De auteurs bewijzen verder dat dergelijke niet-degeneratie een generieke eigenschap is, die geldt voor een open en dichte verzameling parameters $(\alpha, \Omega)$.
• Stelling 3 (Symmetrisch Kritiek Geval): Voor de eenheidsschijf $D$ en het volledige kritieke bereik $\alpha \in (0, 4\pi]$ geldt de stabiliteitsschatting. Dit resultaat is significant omdat het de kritieke exponent $\alpha = 4\pi$ bestrijkt zonder eisen te stellen aan smallheid. Het bewijs maakt gebruik van de rotatiesymmetrie van de schijf, waarbij de gelineariseerde operator wordt ontbonden in hoekige Fourier-modi. Een strikte spectrale gap wordt aangetoond tussen de radiale eigenwaarde en de eerste niet-radiale eigenwaarde (geïntroduceerd door een centrifugaal term $r^{-2}$), wat coerciviteit in alle richtingen garandeert.

Betekenis en Aanspraken
Het artikel claimt de eerste kwantitatieve stabiliteitsschattingen te leveren voor de Trudinger–Moser-ongelijkheid in de algemene setting waarin de precieze vorm van extremalen onbekend is. In tegenstelling tot eerdere stabiliteitsresultaten voor ongelijkheden zoals Sobolev of Yamabe, waarbij de verzameling optimalisatoren expliciet bekend is (vaak conformele transformaties omvattend), zijn de Trudinger–Moser-extremalen niet volledig gekarakteriseerd. Bijgevolg konden de auteurs geen steun zoeken bij expliciete berekeningen van de afstand tot optimalisatoren.

In plaats daarvan introduceren de auteurs een nieuwe spectrale gap-ongelijkheid die dient als het kernmechanisme voor hun bewijzen. Deze gap stelt hen in staat de noodzaak van expliciete kennis van de extremalen te omzeilen, en in plaats daarvan te vertrouwen op de spectrale eigenschappen van de gelineariseerde operator. De auteurs merken op dat het spectrale gap-resultaat op zichzelf van onafhankelijk belang kan zijn. Het werk breidt het programma van kwantitatieve stabiliteit (geïnitieerd door Bianchi en Egnell voor Sobolev-ongelijkheden) uit naar een kritieke, niet-homogene en geometrisch complexe setting, en toont aan dat kwadratische stabiliteit geldt, zelfs bij de kritieke exponent in symmetrische domeinen.