Density estimates and the fractional Sobolev inequality for sets of zero $s$-mean curvature

Sintesi Tecnica: Stime di Densità e Disuguaglianza di Sobolev Frazionaria per Insiemi a Curvatura Media s-Frazionaria Nulla

Enunciato del Problema
Il lavoro affronta una lacuna nella teoria della regolarità delle superfici minime non locali. Sebbene sia ben stabilito che i minimizzatori del perimetro frazionario $s$ soddisfino stime di densità "spesse" (densità volumetrica) e stime di densità superficiale, il comportamento degli insiemi che sono meramente stazionari rispetto al perimetro $s$ (cioè insiemi con curvatura media $s$-frazionaria nulla, $H_{s,E} = 0$) è meno compreso. Nello specifico, era una questione aperta se gli insiemi a curvatura media $s$-frazionaria nulla soddisfino la stima di densità superficiale:
$$\text{Per}(E; B_R(x)) \geq C R^{n-1}$$
per ogni $R > 0$ e $x \in \partial^* E$, dove la costante $C$ dipende solo dalla dimensione $n$ e da $s$. Nel caso classico ($s=1$), questa stima vale per insiemi stazionari, ma il contesto non locale presenta sfide perché le formule di monotonia standard per i minimizzanti non si estendono immediatamente agli insiemi stazionari senza ipotesi aggiuntive di stabilità. Inoltre, il lavoro nota che, sebbene esistano stime di densità superiori per insiemi stabili, le stime di densità inferiori per insiemi stazionari generali non erano esplicitamente disponibili in letteratura.

Metodologia
La dimostrazione si basa su una combinazione di disuguaglianze di interpolazione, la tecnica di estensione di Caffarelli-Silvestre e formule di monotonia adattate al contesto non locale. La metodologia procede attraverso i seguenti passaggi:

1. Disuguaglianza di Interpolazione (Sezione 3): L'autore stabilisce una nuova disuguaglianza di interpolazione (Teorema 3.1) che limita il perimetro $s$-frazionario ristretto mediante una combinazione del perimetro classico e di un termine di errore che coinvolge la norma $L^\infty$. Crucialmente, questa disuguaglianza include un termine di errore controllabile $\varepsilon R^{n-s}$, che permette di assorbire l'errore nella stima principale durante la dimostrazione.
2. Estensione di Caffarelli-Silvestre (Sezione 4): Il lavoro utilizza il problema di estensione associato al laplaciano frazionario. Per un insieme $E$, viene definita una funzione $U_E$ sul semispazio superiore $\mathbb{R}^{n+1}_+$ tale che la sua traccia sia correlata alla funzione caratteristica di $E$.
   • Monotonia: Citando lavori recenti di [CFSS24a], il lavoro impiega una formula di monotonia per la quantità $\Phi_{E,x}(R)$, che rappresenta un'energia di Dirichlet pesata dell'estensione $U_E$. Questa formula vale per insiemi $s$-stazionari, non solo per minimizzanti.
   • Limite di Esplosione (Blow-up Limit): L'autore dimostra che, al tendere di $R \to 0$, la quantità di monotonia $\Phi_{E,x}(R)$ converge a una costante positiva determinata dal semispazio $\mathbb{R}^n_+$. Questo limite è calcolato esplicitamente utilizzando funzioni Gamma e funge da limite inferiore per l'energia.
   • Controllo dell'Energia: Viene stabilito un limite superiore per $\Phi_{E,x}(R)$ in termini del perimetro $s$-frazionario ristretto di $E$ (Proposizione 4.2).
3. Sintesi (Sezione 5): Combinando il limite inferiore (dal limite di esplosione e dalla monotonia) con il limite superiore (dalla stima dell'energia di estensione) e la disuguaglianza di interpolazione, l'autore deriva una catena di disuguaglianze. La scelta specifica del parametro $\varepsilon$ nel passaggio di interpolazione permette di assorbire i termini di errore, ottenendo il desiderato limite inferiore sul perimetro classico.

Risultati Chiave

• Teorema 1.1: Il risultato principale stabilisce che se $E \subset \mathbb{R}^n$ è un insieme misurabile con perimetro localmente finito e curvatura media $s$-frazionaria nulla ($H_{s,E} = 0$ su $\partial^* E$), allora soddisfa la stima di densità superficiale:
  $$\text{Per}(E; B_R) \geq C R^{n-1}$$
  per ogni $R > 0$. La costante $C$ dipende solo da $n$ e da un limite inferiore per $s$, e rimane limitata al tendere di $s \to 1^-$.
• Corollario 1.2: Come applicazione diretta, il lavoro dimostra che la disuguaglianza di Sobolev frazionaria vale sul bordo di tali insiemi. Nello specifico, per $u \in C^\infty_0(\partial^* E)$, vale la disuguaglianza
  $$\|u\|_{L^{p^*}(\partial^* E)} \leq C [u]_{W^{\alpha, p}(\partial^* E)}$$
  dove $p^* = \frac{np}{n-\alpha p}$. Questo risultato si basa su una precedente proposizione di [CC19] che ha dimostrato come la stima di densità superficiale (1.2) implichi la disuguaglianza di Sobolev senza richiedere un termine di curvatura media.

Significato e Affermazioni
Il lavoro afferma di fornire la prima dimostrazione esplicita che gli insiemi a curvatura media $s$-frazionaria nulla soddisfano la stima di densità superficiale (1.2), una proprietà precedentemente nota principalmente per minimizzanti o insiemi stabili. L'autore nota che, sebbene tecniche correlate appaiano in lavori di [CFSS24a], [CFSS24b] e [CSV19], l'affermazione specifica di questa stima di densità per insiemi a curvatura media $s$-frazionaria nulla, e la sua connessione con la disuguaglianza di Sobolev frazionaria su ipersuperfici, non erano state formulate esplicitamente in letteratura.

Il significato del risultato risiede nell'estendere gli strumenti di regolarità dal regno dei minimizzanti alla più ampia classe degli insiemi stazionari. Stabilendo la stima di densità, il lavoro permette la derivazione della disuguaglianza di Sobolev frazionaria per questi insiemi, che è uno strumento fondamentale nell'analisi geometrica. L'autore afferma esplicitamente che la questione se le stime di densità volumetrica "spesse" (1.1) valgano per insiemi a curvatura media $s$-frazionaria nulla rimanga sconosciuta nella sua generalità completa, e il lavoro corrente non risolve quella specifica questione, sebbene noti che i controesempi classici (lastre e catenoidi) non si traducono direttamente nel contesto non locale in un modo che smentirebbe (1.1).