Sharp quantitative stability for the fractional Sobolev trace inequality

Sintesi Tecnica: Stabilità Quantitativa per la Disuguaglianza di Traccia di Sobolev Frazionaria

Configurazione del Problema
Questo articolo investiga la stabilità quantitativa della disuguaglianza di traccia di Sobolev frazionaria, stabilita originariamente da Einav e Loss. La disuguaglianza afferma che per $0 \le m < n$ e $m/2 < \alpha < n/2$, esiste una costante netta $S(n, m, \alpha)$ tale che:
$$S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2$$
dove $q = \frac{2(n-m)}{n-2\alpha}$, $\tau_m$ indica la restrizione all'iperpiano $\mathbb{R}^{n-m}$, e $D^\alpha(\mathbb{R}^n)$ è lo spazio di Sobolev frazionario. Le funzioni estremali formano una varietà $M_{n,m,\alpha}$.

Gli autori analizzano la stabilità di questa disuguaglianza in due contesti distinti:

1. Contesto Funzionale: Quantificare la distanza di una funzione $f$ dalla varietà estremale $M_{n,m,\alpha}$ basandosi sul deficit nella disuguaglianza.
2. Contesto dei Punti Critici: Analizzare la stabilità delle soluzioni dell'equazione di Euler-Lagrange associata (l'equazione di traccia di Escobar) sullo semispazio $\mathbb{R}^n_+$, specificamente quando la soluzione è vicina a una sovrapposizione di "bolle di Escobar" (Escobar bubbles).

Metodologia
Il saggio impiega una combinazione di principi di riduzione, analisi spettrale e tecniche di decomposizione del profilo.

• Principio di Riduzione: Nel contesto funzionale, gli autori utilizzano un principio di riduzione (Teorema 3.3) stabilito da Einav e Loss. Questo principio decompone la disuguaglianza di traccia di Sobolev frazionaria in una composizione di un operatore di riduzione $\tau_m$ e una disuguaglianza di Sobolev frazionaria standard. Ciò consente agli autori di ridurre il problema della stabilità della disuguaglianza di traccia alla nota stabilità delle disuguaglianze di Sobolev frazionaria standard (stabilità di tipo Bianchi-Egnell).
• Schema Duale: Per derivare stime di stabilità per il problema di Neumann (il duale della disuguaglianza di traccia), gli autori applicano uno schema duale sviluppato da Carlen. Questo comporta l'analisi delle trasformate di Legendre dei funzionali rilevanti e l'utilizzo delle proprietà di convessità dei duali funzionali.
• Decomposizione del Profilo: Nel contesto dei punti critici, gli autori estendono il principio di compattezza globale di Struwe. Essi stabiliscono decomposizioni del profilo sia qualitative che quantitative per sequenze di funzioni che sono "quasi" soluzioni dell'equazione critica. Ciò comporta la separazione della soluzione in una somma di bolle di Escobar interagenti e un termine residuo.
• Gap Spettrale e Mappatura Conforme: Per ottenere limiti superiori netti per la costante di stabilità nel caso della singola bolla, gli autori impiegano una mappatura conforme tra il semispazio $\mathbb{R}^n_+$ e la palla unitaria $B^n$. Questa trasformazione lega l'operatore linearizzato del problema al problema degli autovalori di Steklov sulla palla. Analizzando lo spettro del problema di Steklov, derivano una disuguaglianza di gap spettrale raffinata.
• Espansione del Terzo Ordine: Per il limite superiore della costante di stabilità nel caso della singola bolla, gli autori eseguono un'espansione precisa del terzo ordine della norma duale, gestendo attentamente i termini di interazione e la geometria della varietà.

Contributi Chiave e Risultati

1. Stima di Stabilità Funzionale Netta:
   Gli autori stabiliscono una stima di stabilità quantitativa netta per la disuguaglianza di traccia di Sobolev frazionaria:
   $$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$$
   Dimostrano che l'esponente 2 è netto e forniscono limiti espliciti superiori e inferiori per la costante di stabilità ottimale $C_{BE}(n, m, \alpha)$. Crucialmente, mostrano che $C_{BE}(n, m, \alpha) = C_{BE}(n-m, 0, \alpha - m/2)$, riducendo efficacementamente il problema di traccia al problema di Sobolev frazionario standard. Dimostrano inoltre l'esistenza di minimizzatori per la costante di stabilità quando $n-m \ge 2$.

2. Disuguaglianze di Sobolev Migliorate e Stabilità di Neumann:
   Come corollario del risultato di stabilità del gradiente, gli autori derivano embedding di Sobolev migliorati per funzioni supportate in domini generali (inclusi gli strip) con termini residui che coinvolgono norme $L^q$ deboli. Inoltre, utilizzando lo schema duale, stabiliscono una stima di stabilità a priori netta per il problema di Neumann sullo semispazio, collegando il deficit nella disuguaglianza duale alla distanza dalla varietà estremale del problema di Neumann.

3. Decomposizione Quantitativa del Profilo:
   Nel contesto dei punti critici, gli autori dimostrano un teorema di decomposizione del profilo quantitativo. Dimostrano che se una funzione $u$ è vicina a una somma di $\nu$ bolle di Escobar debolmente interagenti (nella norma $H^1$), allora la distanza dalla varietà di tali bolle è controllata linearmente dalla norma $H^{-1}$ del residuo $\|\Delta u + |u|^{p-1}u\|_{H^{-1}}$. Questo risultato vale per funzioni non negative ed estende i lavori precedenti sull'equazione Yamabe classica al contesto di traccia di Escobar.

4. Limite Superiore Netto per la Costante di Stabilità:
   Per il caso della singola bolla ($\nu=1$), gli autori derivano un limite superiore stretto per la costante di stabilità ottimale $CCP(n, 1)$:
   $$CCP(n, 1) < \frac{2}{n+2}$$
   Questo risultato è ottenuto costruendo una specifica funzione di test che coinvolge una perturbazione del terzo ordine della bolla estremale e utilizzando la disuguaglianza del gap spettrale derivata dal problema degli autovalori di Steklov.

Significato
L'articolo sostiene di estendere i precedenti risultati di stabilità sulla disuguaglianza di traccia di Escobar e sulla disuguaglianza di Sobolev frazionaria. Stabilendo un principio di riduzione, gli autori unificano l'analisi della stabilità della disuguaglianza di traccia con quella della disuguaglianza di Sobolev frazionaria standard. La derivazione di espliciti limiti per le costanti di stabilità e la prova dell'esistenza di minimizzatori (nel contesto funzionale) affrontano questioni aperte riguardanti la natura quantitativa di queste disuguaglianze.

Nel contesto dei punti critici, il lavoro fornisce la prima decomposizione del profilo quantitativa per l'equazione di traccia di Escobar, generalizzando i risultati noti per l'equazione Yamabe classica. Il limite superiore stretto $2/(n+2)$ per la costante di stabilità nel caso della singola bolla è un raffinamento significativo, che migliora le stime generiche e mette in luce le specifiche proprietà spettrali dell'operatore linearizzato in questo contesto. Gli autori notano che la non-degenerazione delle soluzioni, cruciale per questi risultati quantitativi, è stabilita tramite la connessione con il problema degli autovalori di Steklov, un legame che può essere di interesse indipendente.