Qualitative stability for a family of trace Sobolev inequalities

Sintesi Tecnica: Stabilità Qualitativa per una Famiglia di Disuguaglianze di Sobolev di Traccia

Enunciato del Problema
Questo articolo affronta la stabilità qualitativa di una famiglia a un parametro di disuguaglianze di Sobolev di traccia sul semispazio $H = \{x \in \mathbb{R}^n : x \cdot e_1 > 0\}$, dove $n \ge 2$ e $p \in (1, n)$. Le disuguaglianze, stabilite da Maggi e Neumayer [MN17], legano la norma $L^p$ del gradiente di una funzione $u$ alla sua norma $L^{p^*}$ nell'interno e alla sua norma $L^{p^\sharp}$ sul bordo $\partial H$. Nello specifico, per un parametro di traccia fissato $T \ge 0$, la costante ottimale $\Phi_H(T)$ è definita tramite il problema variazionale:
$$\Phi_H(T) = \inf \{ \|\nabla u\|_{L^p(H)} : u \in \mathcal{A}_T \},$$
dove $\mathcal{A}_T = \{ u \in \dot{W}^{1,p}(H) : \|u\|_{L^{p^*}(H)} = 1, \|u\|_{L^{p^\sharp}(\partial H)} = T \}$.
Gli estremali (minimizzanti) per questo problema sono completamente caratterizzati come specifiche dilatazioni e traslazioni di un profilo esplicito $U_T$. La domanda centrale è la stabilità: se una successione di funzioni $\{u_k\} \subset \mathcal{A}_T$ ha un deficit energetico $\delta_T(u_k) = \|\nabla u_k\|_{L^p}^p - \Phi_H(T)^p \to 0$, la successione converge (nella norma del gradiente) all'insieme degli estremali $\mathcal{M}_T$?

Sebbene la stabilità quantitativa locale fosse stata recentemente stabilita per il caso $p=2$ da Fan, Li e Zhang [FLZ26], mancava un risultato di stabilità qualitativa globale (cioè dimostrare che un deficit nullo implica una distanza nulla dagli estremali). Questo vuoto ha impedito l'estensione del risultato quantitativo locale a uno globale.

Metodologia
La prova della stabilità qualitativa si basa sul principio di concentrazione-compattezza combinato con una nuova disuguaglianza di legame stretta per il funzionale energetico.

1. Analisi di Concentrazione-Compattezza: L'autore adatta i lemmi standard di concentrazione-compattezza (Lions [Lio85]) al contesto delle tracce. La prova procede per assurdo: assumendo che una successione con deficit nullo non converga a un estremale, la successione deve o svanire (esclusa dalla normalizzazione) o dividersi (dicotomia) in due profili asintoticamente non interagenti.
2. La Disuguaglianza di Legame Stretta (Teorema 1.3): Il cuore dell'argomento è l'esclusione dello scenario di "divisione". L'autore dimostra che per qualsiasi decomposizione delle norme di massa e traccia in due parti $(m_1, t_1)$ e $(m_2, t_2)$, la somma delle energie dei profili separati è strettamente maggiore dell'energia del profilo combinato:
   $$\Phi_H(T)^p < m_1^p \Phi_H\left(\frac{t_1}{m_1}\right)^p + m_2^p \Phi_H\left(\frac{t_2}{m_2}\right)^p.$$
   Questa disuguaglianza non è banale perché, a differenza della classica disuguaglianza di Sobolev su $\mathbb{R}^n$, la costante $\Phi_H(T)$ dipende in modo non lineare da $T$, impedendo che semplici argomenti di scala escludano la divisione.
3. Argomento di Trasporto di Massa: Per dimostrare la disuguaglianza di legame stretta, l'articolo utilizza la prova di trasporto di massa della disuguaglianza di traccia da [MN17]. L'autore costruisce una specifica funzione di prova $w$ composta da due copie di profili estremali ampiamente separate. Analizzando la mappa di trasporto ottimale (mappa di Brenier) associata a $w$, l'autore sfrutta la monotonia ciclica della mappa di trasporto. La separazione geometrica dei profili forza la mappa di trasporto a comportarsi in un modo incompatibile con la condizione di monotonia ciclica a meno che il deficit energetico non sia limitato inferiormente da zero. Ciò fornisce un limite inferiore definito sul deficit, stabilendo la disuguaglianza stretta.

Risultati Chiave

• Teorema 1.1 (Stabilità Qualitativa): Per ogni $p \in (1, n)$ e $T > 0$, se una successione $\{u_k\} \subset \mathcal{A}_T$ soddisfa $\delta_T(u_k) \to 0$, allora la distanza dall'insieme degli estremali $d_T(u_k) \to 0$. Ciò conferma che l'unico modo per avvicinarsi alla costante ottimale è avvicinandosi alla famiglia degli estremali.
• Teorema 1.3 (Disuguaglianza di Legame Stretta): La disuguaglianza stretta che lega l'energia di una configurazione divisa all'energia combinata è dimostrata per ogni $T > 0$.
• Corollario 1.2 (Stabilità Quantitativa Globale per $p=2$): Combinando il nuovo risultato qualitativo (Teorema 1.1) con l'analisi quantitativa locale esistente da [FLZ26], l'articolo stabilisce la stabilità quantitativa globale per il caso $p=2$. Nello specifico, esiste una costante $\alpha'_T > 0$ tale che $\delta_T(u) \ge \alpha'_T d_T(u)^2$ per ogni $u \in \mathcal{A}_T$.

Significato e Affermazioni
L'articolo afferma di risolvere un problema aperto sollevato in [FLZ26] riguardante la stabilità quantitativa globale delle disuguaglianze di Sobolev di traccia per $p=2$. L'autore sottolinea che il principale ostacolo a questo risultato era l'assenza di un teorema di stabilità qualitativa, che questa nota fornisce.

Il lavoro è presentato come una "nota breve" che colma un vuoto teorico specifico. L'autore nota modestamente che, sebbene l'approccio di trasporto di massa sia potente, incontra difficoltà nel fornire stime quantitative dirette sulla distanza dagli estremali (come fatto per la disuguaglianza isoperimetrica in altri lavori) a causa della degenerazione del controllo nelle regioni dove la funzione è piccola. Di conseguenza, l'articolo si affida alla disuguaglianza di legame stretta qualitativa derivata tramite il trasporto di massa per abilitare il risultato quantitativo globale.

I risultati estendono la comprensione della stabilità per le disuguaglianze funzionali in cui la costante ottimale dipende in modo non banale da un parametro, un contesto in cui gli argomenti di omogeneità standard falliscono. L'articolo non propone nuove applicazioni o proposte sperimentali, ma si concentra rigorosamente sull'analisi delle proprietà di stabilità di queste specifiche disuguaglianze.