Closing the gap: Maz'ya-Shaposhnikova and asymptotics of fractional perimeters

Sintesi Tecnica: Colmare il Divario: Maz'ya-Shaposhnikova e Asintotiche dei Perimetri Frazionari

Enunciato del Problema
Lo studio delle asintotiche delle seminorme di Gagliardo è centrale nell'analisi non locale, colmando il divario tra gli spazi di Sobolev frazionari $W^{s,p}$ e gli spazi classici al tendere del parametro $s$ a 0 o 1. La classica formula di Maz'ya-Shaposhnikova (MS) [36] descrive il limite per $s \to 0^+$ per funzioni $u \in L^p(\mathbb{R}^d)$, affermando che $s [u]_{W^{s,p}}^p$ converge a un multiplo della norma $L^p$. Tuttavia, questa formula si basa sull'assunzione strutturale che $u$ si annulli all'infinito (ovvero $u \in L^p(\mathbb{R}^d)$). Questa restrizione sopprime artificialmente il "comportamento della coda" delle funzioni, che è proprio il regime in cui la natura non locale del nucleo frazionario è più pronunciata al tendere di $s \to 0^+$.

Al contrario, recenti lavori sulle asintotiche dei perimetri frazionari [20] per le funzioni caratteristiche di insiemi $E$ hanno rivelato che, se un insieme ha massa non nulla all'infinito, il limite coinvolge un termine $\alpha_1(E)$ che rappresenta la "coda non locale". Ciò suggerisce che per funzioni generali non appartenenti a $L^p(\mathbb{R}^d)$, il limite non dovrebbe essere un semplice multiplo della norma locale $L^p$, bensì un'energia di interazione tra i valori della funzione all'interno di un dominio limitato $\Omega$ e il suo comportamento "all'infinito".

Metodologia
Gli autori si concentrano sul caso hilbertiano $p=2$ e introducono una seminorma di Gagliardo localizzata su un dominio lipschitziano limitato $\Omega$:
$$[u]_{W^{s,2}(Q\Omega)}^2 = \iint_{Q\Omega} \frac{|u(x) - u(y)|^2}{|x-y|^{d+2s}} \, dx \, dy,$$
dove $Q\Omega = (\mathbb{R}^d \times \mathbb{R}^d) \setminus (\Omega^c \times \Omega^c)$. Questo funzionale tiene conto delle interazioni che coinvolgono almeno un punto in $\Omega$, isolando l'energia dalle interazioni interno-interno, interno-esterno ed esterno-interno, ignorando al contempo i contributi esterno-esterno.

L'innovazione metodologica fondamentale è la definizione della massa $p$ all'infinito per una funzione misurabile $u$:
$$\alpha_p(u) := \lim_{s \to 0^+} s \int_{B_1^c(0)} \frac{u(y)}{|y|^{d+sp}} \, dy.$$
Gli autori stabiliscono che questa quantità è invariante per traslazioni e ben definita per funzioni che potrebbero non essere integrabili globalmente. Decompongono la seminorma localizzata in quattro termini:

1. Interno-Interno: Dimostrato tendere a zero per $s \to 0^+$ (Lemma 2.5).
2. Interno-Esterno (Quadrato): Converte a un termine che coinvolge la massa della funzione costante 1 e l'integrale di $u^2$ su $\Omega$.
3. Termine Incrociato: Coinvolge il prodotto $u(x)u(y)$, che viene sviluppato utilizzando le parti positiva e negativa di $u$ ($u_+, u_-$) e analizzato tramite la massa all'infinito.
4. Esterno-Interno (Quadrato): Converte a un termine che coinvolge la massa di $u^2$ e il volume di $\Omega$.

Le dimostrazioni si basano su una combinazione di stime dirette, la disuguaglianza di Hardy frazionaria e una versione generalizzata della formula MS negli spazi metrici misurabili (Proposizione 2.3 da [28]), adattata per gestire misure pesate dai valori della funzione stessa.

Contributi e Risultati Chiave

1. Formula Generalizzata di Maz'ya-Shaposhnikova (Teorema 1.3):
   Il lavoro dimostra che per $u \in L^2_{\text{loc}}(\mathbb{R}^d)$ con massa finita all'infinito (specificamente $\alpha(u_+), \alpha(u_-), \alpha(u^2)$ esistono), il limite della seminorma localizzata è:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \sum_{k=0}^2 \binom{2}{k} (-1)^k \alpha(u^k) \int_\Omega u^{2-k}(x) \, dx.$$
   Questa formula unifica la classica formula MS (riottenuta quando $u \in L^2(\mathbb{R}^d)$ così che $\alpha(u^k)=0$ per $k \ge 1$) e le asintotiche dei perimetri frazionari.

2. Interpretazione Geometrica (Teorema 2.11):
   Per funzioni $u$ che ammettono un limite radiale $u_\infty(\theta)$ al tendere di $|x| \to \infty$, il funzionale limite è caratterizzato esplicitamente come un'energia di interazione tra i valori di $u$ all'interno di $\Omega$ e il suo limite all'infinito:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \frac{1}{2} \int_\Omega \int_{S^{d-1}} |u(x) - u_\infty(\theta)|^2 \, d\mathcal{H}^{d-1}(\theta) \, dx.$$
   Ciò chiarisce che il limite non è una norma, bensì un'energia che misura la deviazione della funzione dal suo comportamento all'infinito.

3. Gamma-Convergenza (Teorema 3.4):
   Gli autori stabiliscono che la successione di funzionali $F_s(u, \Omega) = \frac{s}{2}[u]_{H^s(Q\Omega)}^2$ Gamma-converge rispetto alla topologia debole-$L^2(\Omega)$ al funzionale identificato nel Teorema 1.3. Questo risultato implica che il funzionale limite è l'inviluppo semicontinuo inferiore del funzionale insiemistico che descrive il perimetro frazionario asintotico (Equazione 1.6).

4. Estensione agli Spazi Metrici Misurabili (Teorema 4.5):
   I risultati sono estesi a spazi metrici misurabili generali $(M, d, m)$ sotto specifiche ipotesi sui nuclei di convoluzione $\rho_n$ e sull'esistenza di massa all'infinito. Ciò include applicazioni ai Gruppi di Carnot.

5. Distinzione dai Perimetri Gaussiani (Osservazione 4.9):
   Il lavoro nota che le asintotiche derivate non valgono per il perimetro frazionario gaussiano. Nel contesto gaussiano, la misura è finita e i nuclei non concentrano massa all'infinito nello stesso modo; di conseguenza, il limite dipende dalla misura totale degli insiemi piuttosto che dalle interazioni locali al bordo.

Significato e Affermazioni
Il lavoro afferma di "colmare il divario" tra la classica formula di Maz'ya-Shaposhnikova e le asintotiche dei perimetri non locali fornendo un quadro unificato che accomoda funzioni con massa non nulla all'infinito.

• Unificazione: Il funzionale limite identificato si riduce alla norma $L^2$ classica per funzioni integrabili globalmente e riprende il limite puntuale dei perimetri frazionari $s$ per le funzioni caratteristiche di insiemi.
• Insight Strutturale: Introducendo il concetto di "massa all'infinito", gli autori caratterizzano rigorosamente le interazioni a lungo raggio che dominano l'energia al tendere di $s \to 0^+$. Dimostrano che il limite è un'energia di interazione tra l'interno del dominio e l'"orizzonte" (l'infinito), piuttosto che una norma locale.
• Robustezza: Si dimostra che i risultati valgono nel senso della Gamma-convergenza, garantendo stabilità sotto convergenza debole, e sono generalizzati all'impostazione metrica misurabile, coprendo spazi come i Gruppi di Carnot.

Gli autori affermano esplicitamente che il caso per $p \neq 2$ generale richiede un approccio diverso ed è oggetto di un lavoro complementare [13], notando che per $p$ dispari, una formula chiusa analoga allo sviluppo binomiale utilizzato qui potrebbe non essere ottenibile.