Removable singularities for nonlocal minimal graphs

Sintesi Tecnica: Singolarità Rimuovibili per Grafici Minimali Nonlocali

Enunciato del Problema
Questo articolo affronta il problema delle singolarità rimuovibili per i grafici minimali nonlocali. Nello specifico, indaga se una soluzione dell'equazione della superficie minimale nonlocale (e di una classe più ampia di equazioni nonlocali) definita su un insieme aperto $\Omega \setminus K$, dove $K$ è un insieme compatto di capacità $(s, 1)$ nulla, possa essere estesa a una soluzione sull'intero dominio $\Omega$.

Lo studio è motivato dalla teoria classica delle superfici minimali, dove Bers, Nitsche e De Giorgi–Stampacchia hanno stabilito che le singolarità di misura di Hausdorff $(n-1)$-dimensionale (o di capacità 1 nulla) sono rimuovibili per le soluzioni dell'equazione della superficie minimale. L'autore mira a generalizzare questi risultati al contesto nonlocale, dove l'equazione governante coinvolge la curvatura media nonlocale $H_s$ o, più generalmente, un operatore nonlocale della forma:
$$-\int_{\mathbb{R}^n} A\left(x, y, \frac{u(x)-u(y)}{|x-y|}\right) \frac{dy}{|x-y|^{n+s}} = B(x, u)$$
dove $s \in (0, 1)$, e $A$ e $B$ soddisfano specifiche condizioni strutturali (monotonicità, limitatezza e vincoli di crescita).

Metodologia
La dimostrazione del teorema principale procede in tre distinte fasi, adattando le tecniche della teoria locale (specificamente l'approccio di Serrin) al quadro nonlocale, affrontando al contempo le sfide poste dalla non località.

1. Regolarità sotto Assunzioni di Integrabilità:
   La prima fase stabilisce che se una soluzione $u$ possiede già un certo livello di integrabilità locale (specificamente $u \in L^\varepsilon_{\text{loc}}(\Omega)$ per qualche $\varepsilon > 0$) vicino all'insieme singolare $K$, allora $u$ raggiunge la regolarità $W^{s,1}_{\text{loc}}(\Omega)$.

   • Tecnica: L'autore impiega stime di tipo Caccioppoli coinvolgenti "doppie troncature" della soluzione ($\bar{u}$ e $u$). Queste stime sono derivate utilizzando funzioni di test costruite tramite mollificazione e una sequenza di funzioni di cut-off $\bar{\eta}_j$ che scompaiono vicino a $K$ ma convergono a 1 quasi ovunque.
   • Strumenti: La dimostrazione utilizza la disuguaglianza di Sobolev frazionaria e una tecnica di iterazione di Moser per migliorare l'integrabilità di $u$ da $L^\varepsilon$ a $L^\infty_{\text{loc}}$, il che assicura successivamente la regolarità $W^{s,1}_{\text{loc}}$.

2. Verifica dell'Integrabilità:
   La seconda fase dimostra che l'assunzione di integrabilità aggiuntiva richiesta nella Fase 1 è automaticamente soddisfatta da qualsiasi soluzione definita in $\Omega \setminus K$.

   • Sfida: Le tecniche classiche (ad esempio, la doppia troncatura di Serrin con livelli che superano il massimo del bordo) falliscono nel contesto nonlocale perché i valori "al bordo" di un problema nonlocale dipendono dal comportamento della funzione sull'intero complemento del dominio, che può essere illimitato.
   • Soluzione: L'autore introduce una tecnica di localizzazione. Utilizzando la specifica struttura dell'equazione (corrispondente al caso $p=1$ per le equazioni di tipo $p$-laplaciano frazionario), il metodo evita la necessità di supremumi finiti sul complemento. Invece, sfrutta il fatto che l'equazione coinvolge una forma di "norma $L^0$-pesata" (un termine costante) per adattare la dimostrazione di Serrin usando le doppie troncature. Questa fase si basa crucialmente sulla compattezza di $K$.

3. Estensione della Soluzione:
   La fase finale utilizza un argomento di approssimazione standard per mostrare che la funzione estesa soddisfa la formulazione debole dell'equazione sull'intero dominio $\Omega$.

   • Tecnica: Viene utilizzata una sequenza di funzioni di test $\phi_j = \phi \bar{\eta}_j$, dove $\bar{\eta}_j$ scompare vicino a $K$. L'autore dimostra che i termini integrali nonlocali e i termini di ordine inferiore convergono ai limiti richiesti per $j \to \infty$, utilizzando la proprietà di misura nulla degli insiemi con capacità $(s, 1)$ nulla e il teorema della convergenza dominata.

Contributi Chiave e Risultati

• Teorema Principale (Teorema 1.4): Il documento dimostra che se $K \subset \Omega$ è un insieme compatto di capacità $(s, 1)$ nulla, ogni soluzione della generale equazione (1.3) in $\Omega \setminus K$ ha un rappresentante che è una soluzione in tutto $\Omega$.
• Applicazione ai Grafici Minimali Nonlocali: Come corollario diretto, il documento stabilisce che ogni grafico minimale nonlocale definito in $\Omega \setminus K$ (dove $K$ ha capacità $(s, 1)$ nulla) è effettivamente un grafico minimale nonlocale in $\Omega$.
• Generalizzazione della Classe di Equazioni: Il risultato si estende oltre la specifica equazione della superficie minimale nonlocale a una vasta classe di equazioni con curvatura media nonlocale prescritta, inclusi i casi in cui il termine a destra $B(x, u)$ soddisfa specifiche condizioni di crescita (ad esempio, equazioni di tipo capillarità).
• Distinzione dei Concetti di Soluzione: Il documento distingue attentamente tra "soluzioni deboli" (funzioni misurabili che soddisfano la formulazione integrale) e "soluzioni" (soluzioni deboli che appartengono anche a $W^{s,1}_{\text{loc}}$). Il teorema principale si applica a queste ultime, mentre un risultato separato (Teorema 5.1) affronta le soluzioni deboli sotto assunzioni leggermente più forti sul termine di ordine inferiore $B$.

Significato e Rivendicazioni
L'autore afferma che questo lavoro fornisce il primo teorema sulle singolarità rimuovibili per i grafici minimali nonlocali e una vasta classe di equazioni nonlocali. Una caratteristica degna di nota del risultato è che, a differenza dei teoremi sulle singolarità rimuovibili per le equazioni non lineari non locali di tipo $p$-laplaciano con $p > 1$, il teorema per il caso $p=1$ (che include i grafici minimali nonlocali) non richiede alcuna assunzione a priori sul comportamento della soluzione $u$ vicino all'insieme singolare $K$.

Il documento riconosce che, sebbene la teoria della regolarità per i grafici minimali nonlocali implichi che le soluzioni siano $C^\infty$, la teoria della regolarità per l'equazione più generale (1.3) non è ancora pienamente stabilita. Di conseguenza, il documento non sostiene che la soluzione estesa sia necessariamente continua o liscia per il caso generale, ma solo che è una soluzione valida nel senso definito.

Il lavoro nota inoltre che il caso in cui l'insieme singolare $K$ si avvicina al bordo di $\Omega$ rimane una questione aperta, sebbene il documento fornisca un risultato parziale per le soluzioni deboli nel Teorema 5.1 dove l'insieme $E$ è relativamente chiuso (permettendo di avvicinarsi al bordo) sotto specifiche condizioni sul termine di ordine inferiore.