Barycentric stability of nonlocal perimeters: the convex case

Sintesi Tecnica: Stabilità Baricentrica dei Perimetri Non Locali: Il Caso Convesso

Enunciato del Problema
Il saggio affronta la stabilità quantitativa della disuguaglianza isoperimetrica nell'ambito dei perimetri non locali (fraczionali). Nello specifico, indaga se un insieme $E$ che quasi minimizza il perimetro frazionario $s$ debba essere geometricamente vicino a una palla, misurato tramite l'asimmetria baricentrica $\lambda_0(E)$.

Mentre la classica disuguaglianza isoperimetrica quantitativa (che mette in relazione il difetto isoperimetrico con l'asimmetria di Fraenkel) è ben stabilita per insiemi generali, la versione che coinvolge l'asimmetria baricentrica è nota per essere valida solo sotto specifiche restrizioni geometriche (ad esempio la convessità o l'limitatezza) nel caso locale ($s=1$). Gli autori mirano a estendere la netta disuguaglianza quantitativa baricentrica al contesto frazionario ($s \in (0,1)$) per insiemi convessi. L'asimmetria baricentrica è definita come il volume normalizzato della differenza simmetrica tra l'insieme $E$ e la palla centrata nel baricentro di $E$, $\text{bar}(E)$, con lo stesso volume. Questa scelta evita l'ottimizzazione richiesta dalla definizione di Fraenkel, rendendola computazionalmente vantaggiosa, sebbene sia una condizione più forte che generalmente richiede ulteriori assunzioni geometriche affinché sia valida.

Metodologia
La dimostrazione segue la strategia stabilita da Fuglede per il caso convesso locale, adattata all'ambito non locale. La metodologia procede in tre fasi principali:

1. Riduzione al Regime di Piccolo Difetto:
   Gli autori stabiliscono innanzitutto che per insiemi convessi con un difetto isoperimetrico $s$-frazionale $\delta_s(E)$ sufficientemente piccolo, l'insieme deve essere uniformemente limitato. Ciò viene ottenuto tramite la Proposizione 3.3, che deriva un limite inferiore per il perimetro frazionario in termini del raggio inradius $r_E$ di un insieme convesso. Combinando questa con la definizione di difetto, dimostrano che gli insiemi con piccoli difetti non possono avere diametri arbitrariamente grandi. Ciò permette di ridurre il problema ad insiemi contenuti in un cubo fisso $Q_l$.

2. Continuità e Compattezza:
   Utilizzando l'limitatezza uniforme stabilita sopra, il Lemma 3.1 dimostra che per insiemi contenuti in un cubo fisso, un piccolo difetto implica una piccola asimmetria baricentrica. Ciò si basa sulla semicontinuità inferiore del perimetro frazionario rispetto alla convergenza $L^1$ e sul fatto che la palla sia l'unico minimizzatore.

3. Stabilità per Insiemi Quasi Sferici:
   Per insiemi che sono vicini a una palla (quasi sferici), gli autori utilizzano una stima spettrale di tipo Fuglede (Teorema 2.3). Parametrizzano il bordo dell'insieme come una perturbazione della sfera unitaria e mettono in relazione il difetto $\delta_s(E)$ con la norma $L^2$ della funzione di perturbazione $u$. Combinando questa stima inferiore spettrale con la relazione geometrica tra la norma $L^1$ di $u$ e l'asimmetria baricentrica, derivano la disuguaglianza desiderata per il caso di "piccolo difetto".

4. Argomento Globale:
   La dimostrazione finale (Teorema 1.1) combina i due regimi. Se il difetto è grande, la disuguaglianza è banalmente soddisfatta grazie all'limitatezza dell'asimmetria. Se il difetto è piccolo, l'insieme è mostrato essere quasi sferico (tramite il limite del diametro e il Lemma 3.1), permettendo l'applicazione della stima spettrale.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 1.1, che stabilisce una disuguaglianza isoperimetrica quantitativa netta per insiemi convessi nel contesto frazionario:
$$\lambda_0(E) \leq C \sqrt{\delta_s(E)}$$
dove $C$ dipende solo dalla dimensione $n$ e dal parametro frazionario $s$.

Componenti tecniche chiave includono:

• Stima del Raggio Inradius: La derivazione di un limite inferiore per il perimetro frazionario di un insieme convesso in termini del suo raggio inradius (Equazione 3.4), specificamente $P_s(E) \geq \alpha_{n,s} |E| / r_E^s$. Questa stima è indicata come potenzialmente di interesse indipendente.
• Estensione del Risultato di Fuglede: Il saggio adatta con successo il risultato di stabilità convessa locale al perimetro frazionario non locale, confermando che l'esponente $1/2$ rimane netto per l'asimmetria baricentrica in questo contesto.
• Comportamento al Limite: Gli autori mostrano nel Rimarca 4.2 che il loro risultato è coerente con il caso locale ($s \to 1$) e può essere utilizzato per recuperare la disuguaglianza baricentrica locale tramite argomenti di limite che coinvolgono la convergenza dei difetti frazionari al difetto classico.

Significatività e Rivendicazioni
Gli autori pongono questo lavoro come l'inizio dello studio delle disuguaglianze isoperimetriche quantitative baricentriche nel contesto frazionario. Dichiarano esplicitamente che, sebbene la dimostrazione sia attualmente limitata agli insiemi convessi, la metodologia è abbastanza robusta da estendersi agli "insiemi quasi sferici" (Rimarca 4.1), il che rappresenta un passo cruciale verso una maggiore applicabilità.

Il saggio sottolinea che, similmente al caso locale, la disuguaglianza baricentrica non può valere per insiemi generali senza assunzioni aggiuntive (come l'equi-limitatezza), citando un controesempio che coinvolge due palle separate. Il lavoro funge da analogo non locale del seminale risultato di Fuglede [16], colmando il divario tra la stabilità geometrica locale e i problemi variazionali non locali. Gli autori non pretendono di risolvere il problema per insiemi non convessi generali, ma stabiliscono il risultato netto per la classe convessa, fornendo una base per future estensioni.