Weak Harnack inequality and Cartan property for nonlocal $W^{s,1}$-minimizers

1. Problema e Contesto

Il lavoro si inserisce nel campo dell'analisi non locale e della teoria delle equazioni alle derivate parziali (PDE) su spazi metrici. L'obiettivo principale è studiare le proprietà di regolarità e le proprietà geometriche dei minimizzanti deboli (e sub/super-minimizzanti) associati a funzionali non locali di tipo $W^{s,1}$, dove $0 < s < 1$.

Mentre la teoria per gli operatori frazionari con esponente $p > 1$ (come il $p$-Laplaciano frazionario $(-\Delta)^s_p$) è ben consolidata, il caso limite $p=1$ presenta sfide significative. In questo regime, i minimizzanti non godono necessariamente di regolarità Hölderiana (come dimostrato da controesempi legati alle superfici minimali non locali), ma si può sperare in una regolarità più debole, come la semicontinuità.

Il contesto generale è quello degli spazi metrici misurati $(X, d, \mu)$, che sono completi, connessi e dotati di una misura raddoppiante (doubling measure). Questo approccio generalizza i risultati dallo spazio euclideo $\mathbb{R}^n$ a contesti più astratti.

2. Metodologia

Gli autori adottano un approccio basato sulla teoria variazionale e sulle disuguaglianze integrali non locali. I pilastri metodologici includono:

• Funzionale Non Locale: Viene studiato il funzionale $F_s(u)$ definito come:
  $$F_s(u) = \int_{\Omega}\int_{\Omega} \frac{|u(x)-u(y)|}{\mu(B_{x,y})d(x,y)^s} d\mu(x)d\mu(y) + 2\int_{\Omega}\int_{\Omega^c} \frac{|u(x)-u(y)|}{\mu(B_{x,y})d(x,y)^s} d\mu(x)d\mu(y)$$
  dove $B_{x,y} = B(x, d(x,y)) \cup B(y, d(y,x))$.
• Definizioni di Sub/Super-minimizzanti: Una funzione $u$ è un $s$-subminimizzatore se $F(u, u+\eta) \le 0$ per ogni $\eta \in W^{s,1}_0(\Omega)$ non positivo.
• Disuguaglianze di Caccioppoli-De Giorgi: Vengono derivate stime energetiche locali per controllare il comportamento delle funzioni sub/super-minimizzanti.
• Problema dell'Ostacolo: L'analisi si avvale della teoria del problema dell'ostacolo non locale per costruire soluzioni con proprietà specifiche (es. funzioni caratteristiche di insiemi).
• Capacità e Sottilezza (Thinness): Viene introdotta la nozione di capacità condensore $(s,1)$, $C_{s,1}$, e di insiemi "s-sottili" (s-thin) in un punto, fondamentali per caratterizzare il comportamento asintotico dei minimizzanti.
• Disuguaglianze di Poincaré Frazionarie: Si utilizzano versioni sharp delle disuguaglianze di Poincaré frazionarie (riferimenti a [KLLZ25]) per ottenere stime quantitative, specialmente quando lo spazio supporta una disuguaglianza di Poincaré 1.

3. Risultati Principali

A. Disuguaglianza di Harnack Debole (Teorema 1.1)

Il risultato centrale è una disuguaglianza di Harnack debole per i subminimizzanti $s$.

• Enunciato: Per ogni subminimizzatore $u$ in un aperto $\Omega$, esiste una costante $C$ tale che per ogni palla $B(x_0, r) \subset B(x_0, R) \subset \Omega$:
  $$\text{ess sup}_{y \in B(x_0, r)} (u(y) - k_0) \le C \left(\frac{R}{R-r}\right)^Q \fint_{B(x_0, R)} (u - k_0)_+ \, d\mu$$
• Caratteristica innovativa: A differenza del caso $p>1$, questa disuguaglianza non contiene termini di "coda" (tail terms). Questo semplifica notevolmente l'analisi e permette di ottenere stime più robuste.
• Stabilità: Se lo spazio supporta una disuguaglianza di Poincaré 1, la costante $C$ può essere scelta in modo che rimanga limitata uniformemente quando $s \to 1^-$.

B. Semicontinuità (Corollario 1.2)

Come conseguenza diretta della disuguaglianza di Harnack, gli autori dimostrano che:

• I subminimizzanti $s$ sono semicontinui superiormente (se si sceglie il rappresentante puntuale opportuno, definito tramite limiti approssimati superiori).
• I superminimizzanti $s$ sono semicontinui inferiormente.
  Questo è il miglior risultato di regolarità possibile nel caso $p=1$, poiché la continuità completa (Hölder) non è garantita.

C. Proprietà di Cartan (Teoremi 1.3 e 1.4)

Gli autori estendono la teoria delle proprietà di Cartan, note nel caso locale per i minimizzanti BV ($W^{1,1}$), al caso non locale $W^{s,1}$.

• Proprietà di Cartan Debole (Teorema 1.3): Se un insieme $A$ è $s$-sottile in un punto $x$, allora esistono $k$ superminimizzanti (funzioni caratteristiche di insiemi $E_j$) tali che il loro massimo copre $A$ localmente, ma ciascuno di essi vale 0 nel punto $x$ (in senso di limite superiore approssimato).
• Proprietà di Cartan Forte (Teorema 1.4): Se il punto $x$ ha capacità positiva ($C_{s,1}(\{x\}) > 0$) e $A$ è $s$-sottile, esiste un singolo superminimizzatore $u$ tale che $\lim_{A \ni y \to x} u^\wedge(y) = \infty > u^\vee(x)$. Questo mostra una forte discontinuità controllata dai minimizzanti.

4. Contributi Chiave

1. Generalizzazione a $p=1$: Estensione della teoria dei minimizzanti frazionari dal caso $p>1$ al caso critico $p=1$, un regime notoriamente più difficile a causa della mancanza di linearità e della natura BV delle soluzioni.
2. Assenza di termini di coda: La dimostrazione di una disuguaglianza di Harnack debole senza termini di coda è un risultato tecnico significativo che semplifica l'analisi asintotica.
3. Contesto Metrico: I risultati sono validi in spazi metrici misurati generici (completi, connessi, raddoppianti), rendendo la teoria applicabile a varietà, grafi e spazi di Fractals, non solo a $\mathbb{R}^n$.
4. Nuovi Risultati in Euclideo: Gli autori sottolineano che, nonostante il contesto generale, questi risultati sono nuovi anche nel classico spazio euclideo $\mathbb{R}^n$ per il caso $p=1$.

5. Significato e Impatto

Questo lavoro colma un vuoto significativo nella teoria delle equazioni non locali. Mentre la teoria per $p>1$ è matura, il caso $p=1$ (legato alla variazione frazionaria e alle superfici minimali non locali) richiedeva nuovi strumenti.

• Regolarità: Stabilisce che, sebbene non si abbia regolarità Hölderiana, la semicontinuità è preservata, fornendo una base solida per l'analisi qualitativa delle soluzioni.
• Geometria degli Insiemi: Le proprietà di Cartan forniscono un collegamento profondo tra l'analisi non locale e la geometria degli insiemi (capacità, sottigliezza), analogamente a quanto avviene nella teoria classica BV.
• Strumenti Futuri: Le tecniche sviluppate (disuguaglianze di Harnack senza coda, uso del problema dell'ostacolo) diventano strumenti fondamentali per futuri studi su equazioni non lineari non locali con crescita lineare.

In sintesi, il paper fornisce una teoria coerente e completa per i minimizzanti non locali $W^{s,1}$, dimostrando che le proprietà fondamentali di regolarità e comportamento puntuale sono analoghe a quelle del caso locale BV, nonostante la natura non locale dell'operatore.