Sharp quantitative stability for the fractional Sobolev trace inequality

Technische Samenvatting: Scherpe Kwantitatieve Stabiliteit voor de Fractie-Sobolev Spoorongelijkheid

Probleemopstelling
Dit artikel onderzoekt de kwantitatieve stabiliteit van de scherpe fractie-Sobolev spoorongelijkheid, oorspronkelijk vastgesteld door Einav en Loss. De ongelijkheid stelt dat voor $0 \le m < n$ en $m/2 < \alpha < n/2$, er een scherpe constante $S(n, m, \alpha)$ bestaat waarvoor:
$$S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2$$
waarbij $q = \frac{2(n-m)}{n-2\alpha}$, $\tau_m$ de restrictie naar het hypervlak $\mathbb{R}^{n-m}$ voorstelt, en $D^\alpha(\mathbb{R}^n)$ de fractie-Sobolev-ruimte is. De extremale functies vormen een manifold $M_{n,m,\alpha}$.

De auteurs analyseren de stabiliteit van deze ongelijkheid in twee verschillende settings:

1. Functionele Setting: Het kwantificeren van de afstand van een functie $f$ tot de extremale manifold $M_{n,m,\alpha}$ op basis van het tekort (deficit) in de ongelijkheid.
2. Kritieke Punt Setting: Het analyseren van de stabiliteit van oplossingen van de bijbehorende Euler-Lagrange-vergelijking (de Escobar-spoorvergelijking) op de halfruimte $\mathbb{R}^n_+$, specifiek wanneer de oplossing dicht bij een superpositie van "Escobar-bubbles" ligt.

Methodologie
Het artikel maakt gebruik van een combinatie van reductieprincipes, spectrale analyse en profieldecompositie-technieken.

• Reductieprincipe: In de functionele setting maken de auteurs gebruik van een reductieprincipe (Theorema 3.3) vastgesteld door Einav en Loss. Dit principe deelt de fractie-Sobolev spoorongelijkheid op in een compositie van een reductie-operator $\tau_m$ en een standaard fractie-Sobolev ongelijkheid. Dit stelt de auteurs in staat om de stabiliteit van de spoorongelijkheid te reduceren tot de bekende stabiliteitsresultaten voor de standaard fractie-Sobolev ongelijkheid (Bianchi-Egnell-type stabiliteit).
• Duaal Schema: Om stabiliteitsschattingen voor het Neumann-probleem (het duale van de spoorongelijkheid) af te leiden, passen de auteurs een duaal schema toe dat is ontwikkeld door Carlen. Dit houdt het analyseren van de Legendre-transformaties van de relevante functionalen in en het benutten van de convexiteitseigenschappen van de duale functionalen.
• Profieldecompositie: In de kritieke punt setting breiden de auteurs het globale compactheidsprincipe van Struwe uit. Ze stellen zowel kwalitatieve als kwantitatieve profieldecomposities vast voor sequenties van functies die "bijna" oplossingen zijn van de kritieke vergelijking. Dit houdt het scheiden van de oplossing in een som van interagerende Escobar-bubbles en een restterm.
• Spectrale Kloof en Conforme Mapping: Om scherpe bovengrenzen voor de stabiliteitsconstante in het enkelvoudige bubble-geval te verkrijgen, gebruiken de auteurs een conforme mapping tussen de halfruimte $\mathbb{R}^n_+$ en de eenheidsbal $B^n$. Deze transformatie koppelt de geliniariseerde operator van het probleem aan het Steklov-eigenwaardeprobleem op de bal. Door het spectrum van het Steklov-probleem te analyseren, leiden ze een verfijnde spectrale kloof-ongelijkheid af.
• Derde-orde Expansie: Voor de bovengrens van de stabiliteitsconstante in het enkelvoudige bubble-geval voeren de auteurs een nauwkeurige derde-orde expansie van de duale norm uit, waarbij de interactietermen en de geometrie van de manifold zorgvuldig worden behandeld.

Belangrijkste Bijdragen en Resultaten

1. Scherpe Functionele Stabiliteitsschatting:
   De auteurs stellen een scherpe kwantitatieve stabiliteitsschatting vast voor de fractie-Sobolev spoorongelijkheid:
   $$C \inf_{v \in M_{n,m,\alpha}} \|f - v\|_{D^\alpha(\mathbb{R}^n)}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2 - S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2$$
   Ze bewijzen dat de exponent 2 scherp is en leveren expliciete boven- en ondergrenzen voor de optimale stabiliteitsconstante $C_{BE}(n, m, \alpha)$. Cruciaal is dat zij aantonen dat $C_{BE}(n, m, \alpha) = C_{BE}(n-m, 0, \alpha - m/2)$, wat effectief de spoorproblematiek reduceert tot de standaard fractie-Sobolev ongelijkheid. Ze bewijzen ook het bestaan van minimizers voor de stabiliteitsconstante wanneer $n-m \ge 2$.

2. Verbeterde Spoorongelijkheden en Neumann-stabiliteit:
   Als een bijgerecht (corollary) van de gradiënt-stabiliteitsresultaten leiden de auteurs verbeterde Sobolev-inbeddingen af voor functies ondersteund in algemene domeinen (inclusief stroken) met resttermen die betrokken zijn bij zwakke $L^q$-normen. Verder stellen ze, met behulp van het duale schema, een scherpe a priori stabiliteitsschatting vast voor het Neumann-probleem op de halfruimte, waarbij de tekort in de duale ongelijkheid wordt gekoppeld aan de afstand tot de extremale manifold van het Neumann-probleem.

3. Kwantitatieve Profieldecompositie:
   In de kritieke punt setting bewijzen de auteurs een kwantitatieve profieldecompositie-stelling. Ze tonen aan dat indien een functie $u$ dicht bij een som van $\nu$ zwak interagerende Escobar-bubbles ligt (in de $H^1$-norm), de afstand tot de manifold van dergelijke bubbles lineair wordt gecontroleerd door de $H^{-1}$-norm van de residu $\|\Delta u + |u|^{p-1}u\|_{H^{-1}}$. Dit resultaat geldt voor niet-negatieve functies en breidt eerder werk over de klassieke Yamabe-vergelijking uit naar de Escobar-spoorsetting.

4. Scherpe Bovengrens voor de Stabiliteitsconstante:
   Voor het enkelvoudige bubble-geval ($\nu=1$) leiden de auteurs een strikte bovengrens af voor de optimale stabiliteitsconstante $CCP(n, 1)$:
   $$CCP(n, 1) < \frac{2}{n+2}$$
   Deze resultaat wordt verkregen door een specifieke testfunctie te construeren die een derde-orde perturbatie van de extremale bubble bevat, en door gebruik te maken van de spectrale kloof-ongelijkheid afgeleid van het Steklov-eigenwaardeprobleem.

Betekenis
Het artikel claimt eerdere stabiliteitsresultaten op de Escobar-spoorongelijkheid en de fractie-Sobolev ongelijkheid uit te breiden. Door een reductieprincipe te vestigen, verenigen de auteurs de stabiliteitsanalyse van de spoorongelijkheid met die van de standaard fractie-Sobolev ongelijkheid. De afleiding van expliciete grenzen voor de stabiliteitsconstanten en het bewijs van het bestaan van minimizers (in de functionele setting) pakken openstaande vragen aan over de kwantitatieve aard van deze ongelijkheden.

In de kritieke punt setting biedt het werk de eerste kwantitatieve profieldecompositie voor de Escobar-spoorvergelijking, waarmee resultaten bekend van de klassieke Yamabe-vergelijking worden gegeneraliseerd. De strikte bovengrens $2/(n+2)$ voor de stabiliteitsconstante in het enkelvoudige bubble-geval is een significante verfijning die generieke schattingen verbetert en de specifieke spectrale eigenschappen van de geliniariseerde operator in deze context benadrukt. De auteurs merken op dat de niet-degeneratie van de oplossingen, die cruciaal is voor deze kwantitatieve resultaten, wordt vastgesteld via de verbinding met het Steklov-eigenwaardeprobleem, een link die van onafhankelijke interesse kan zijn.