Robust interpolation inequalities via Chebyshev-type integral inequalities

Sintesi Tecnica: Disuguaglianze di Interpolazione Robuste tramite Disuguaglianze Integrali di Tipo Chebyshev

Enunciato del Problema
Il saggio affronta la mancanza di robustezza nelle classiche disuguaglianze di interpolazione log-convessa all'interno della scala dei seminormi di Gagliardo. Le stime di interpolazione standard, come $|u|_{W^{\eta,p}} \leq C |u|_{W^{\sigma,p}}^\theta |u|_{W^{s,p}}^{1-\theta}$, non riescono a rimanere coerenti quando l'ordine frazionario $\eta$ si avvicina agli estremi $0$o$1$. Nello specifico, i seminormi $|u|_{W^{\eta,p}}$ esibiscono un comportamento di esplosione singolare (blow-up) quando $\eta \to 0^+$ e $\eta \to 1^-$ per funzioni non costanti. Sebbene lavori precedenti (Brezis–Bourgain–Mironescu [BBM01] e Maz'ya–Shaposhnikova [MS02]) abbiano stabilito limiti asintotici coinvolgendo fattori come $\eta(1-\eta)$ per annullare queste singolarità, una disuguaglianza di interpolazione unificata e robusta che evitasse tali anomalie attraverso l'intera scala $s \in [0,1]$ non era stata pienamente stabilita con costanti indipendenti dalla dimensione.

La motivazione primaria di questo lavoro è lo studio della stabilità asintotica delle soluzioni deboli del problema di Dirichlet regionale associato al $p$-Laplaciano regionale frazionario $(-\Delta)^s_{p,\Omega}$ quando l'ordine frazionario $s$ tende a $1$. Gli autori mirano a stabilire risultati di convergenza che siano uniformi rispetto a $s$.

Metodologia
La metodologia centrale si basa su una decomposizione del seminormo di Gagliardo in interazioni a breve raggio (locali) e a lungo raggio (non locali), definite tramite il modulo di continuità $L^p$ mediato $U(t)$.

1. Decomposizione: Il seminormo di Gagliardo è diviso in integrali su brevi distanze ($0 < |x-y| \leq r$) e lunghe distanze ($|x-y| > r$). Questi corrispondono all'interazione a breve raggio $L_p(s, u, r)$ e all'interazione a lungo raggio (coda frazionaria) $T_p(s, u, r)$.
2. Disuguaglianze di Tipo Chebyshev: Una parte significativa del saggio (Sezione 2) è dedicata all'instaurazione di nuove disuguaglianze integrali per funzioni generali non sincrone (e non asincrone). Gli autori generalizzano la classica disuguaglianza di Chebyshev a casi di sincronicità $(b,c)$ e monotonia debole. Queste disuguaglianze sono applicate a integrali singolari della forma $\int g(t) t^{z-1} dt$ per provare le proprietà di monotonia dei termini di interazione rispetto all'ordine frazionario $s$.
3. Analisi della Monotonia: Gli autori dimostrano che la mappa $s \mapsto L_p(s, u, r)$ è crescente, mentre $s \mapsto T_p(s, u, r)$ è essenzialmente decrescente (specificamente, "2-quasi decrescente" per $d \geq 2$). Questa monotonia è la pietra angolare per derivare le stime di interpolazione robuste.
4. Rinormalizzazione: Il saggio utilizza seminormi rinormalizzati specifici $[u]_{W^{s,p}}$ e $[u]^*_{W^{s,p}}$, incorporando costanti di normalizzazione (ad esempio $s(1-s)$ e costanti legate al Laplaciano frazionario) per garantire limiti coerenti quando $s \to 0$ e $s \to 1$.

Contributi Chiave e Risultati

• Disuguaglianze di Interpolazione Robuste (Teorema 1.1): Il saggio stabilisce disuguaglianze di interpolazione log-convesse robuste per i seminormi rinormalizzati $[u]_{W^{\eta,p}}$ e i seminormi di Gagliardo $|u|_{W^{\eta,p}}$. Queste disuguaglianze valgono per tutti $0 \leq \sigma < \eta < s \leq 1$ con costanti che rimangono limitate e ben definite quando $\eta \to 0$ o $\eta \to 1$.

  • Per il seminormo rinormalizzato, la disuguaglianza assume la forma $[u]_{W^{\eta,p}} \leq \kappa N_p(\sigma, \eta, s) [u]_{W^{s,p}}^\theta [u]_{W^{\sigma,p}}^{1-\theta}$, dove la costante $N_p$ è indipendente dalla dimensione e limitata.
  • Nel caso specifico $p=2$, gli autori derivano una stima più acuta con una costante pari a $1$ per i seminormi di Sobolev rinormalizzati, utilizzando la trasformata di Fourier.

• Monotonia delle Interazioni (Teorema 1.3): Gli autori dimostrano che l'interazione a breve raggio $L_p(s, u, r)$ è continua e crescente in $s$, mentre l'interazione a lungo raggio $T_p(s, u, r)$ è continua ed essenzialmente decrescente (fino a un fattore di 2 per $d \geq 2$). Ciò conferma che $L_p$ cattura la regolarità locale (convergendo alla norma del gradiente quando $s \to 1$) e $T_p$ cattura il comportamento non locale (convergendo alla norma $L^p$ quando $s \to 0$).

• Analisi Asintotica (Sezione 4): Il saggio fornisce un approccio relativamente semplice ai limiti asintotici dei seminormi frazionari quando $s \to 0^+$ e $s \to 1^-$, recuperando i risultati di Maz'ya–Shaposhnikova e Brezis–Bourgain–Mironescu. Inoltre, generalizza la formula di Maz'ya–Shaposhnikova a arbitrarie sottoinsiemi aperti $\Omega$, caratterizzando il limite tramite un "settore di fuga" $S_\Omega(x)$.

• Convergenza dei Problemi di Dirichlet Regionali (Teorema 1.4): Come principale applicazione, il saggio prova la convergenza forte delle soluzioni deboli $u_s$ del problema di Dirichlet del $p$-Laplaciano regionale verso la soluzione debole $u_1$ del problema del $p$-Laplaciano locale. Nello specifico, se i dati convergono appropriatamente, allora \|u_s - u_1\|_{W^{\eta,p}(\Omega) \to 0 per tutti $0 \leq \eta < 1$ quando $s \to 1^-$. Questo risultato si basa sulle disuguaglianze di interpolazione robuste e su una nuova disuguaglianza di Poincaré–Friedrichs regionale robusta.

• Risoluzione di un Problema Aperto: La disuguaglianza di interpolazione robusta qui stabilita fornisce una risposta positiva a una questione posta in [BSY23, Domanda 1.10] riguardante la robustezza dell'interpolazione in un contesto generale.

Significato e Rivendicazioni
Il saggio sostiene che il suo contributo primario sia l'instaurazione di disuguaglianze di interpolazione robuste che evitano le singolarità agli estremi della scala frazionaria. Decomponendo il seminormo e utilizzando disuguaglianze di tipo Chebyshev generalizzate, gli autori ottengono stime in cui le costanti sono indipendenti dalla vicinanza del parametro frazionario a $0$o$1$.

Il significato di questo lavoro risiede nella sua applicazione alla stabilità dei limiti non locale-locale. Gli autori dimostrano che queste disuguaglianze sono sufficienti per provare la convergenza forte delle soluzioni del $p$-Laplaciano regionale verso il $p$-Laplaciano locale, un risultato che richiede il controllo uniforme sui seminormi quando $s \to 1$. Il saggio evidenzia anche una lacuna nella dimensione $d=1$ riguardante la monotonia dell'interazione a lungo raggio, formulando una congettura per una costante $C_p$ in questo caso, pur notando che i risultati stabiliti valgono per $d \geq 2$.

Il lavoro è presentato come un avanzamento tecnico nell'analisi degli spazi di Sobolev frazionari, fornendo strumenti (operatori di estensione robusti, monotonia di integrali singolari) che facilitano lo studio dei comportamenti asintotici nei problemi non locali.