Perron solutions and boundary regularity for nonlocal nonlinear Dirichlet problems

Sintesi Tecnica: Soluzioni di Perron e Regolarità al Confine per Problemi di Dirichlet Nonlocali Non Lineari

Enunciato del Problema
L'articolo affronta il problema di Dirichlet per una classe di operatori non lineari non locali $L$ di tipo $p$-Laplaciano frazionario, definiti su un insieme aperto limitato $\Omega \subset \mathbb{R}^n$. L'operatore è dato da:
$$Lu(x) = 2 \text{ p.v.} \int_{\mathbb{R}^n} |u(x) - u(y)|^{p-2}(u(x) - u(y))k(x, y) \, dy,$$
dove $1 < p < \infty$, $0 < s < 1$, e $k$ è un nucleo misurabile simmetrico che soddisfa condizioni di ellitticità comparabili a $|x-y|^{-n-sp}$. A causa della natura non locale di $L$, i dati di Dirichlet $g$ devono essere prescritti sull'intero complemento $\Omega^c$, non solo sul bordo $\partial \Omega$.

La sfida centrale è che, anche per dati esterni limitati e continui, i valori al confine prescritti non sono sempre raggiunti come limiti delle soluzioni. Di conseguenza, il problema deve essere inteso in un senso rilassato. Gli autori investigano due approcci distinti per definire le soluzioni:

1. Soluzioni di Sobolev ($H_g$): Soluzioni deboli basate su spazi di Sobolev frazionari $V^{s,p}(\Omega)$.
2. Soluzioni di Perron ($P_g$): Soluzioni costruite tramite il metodo di Perron utilizzando funzioni $L$-superarmoniche.

Questi approcci portano a due concetti distinti di regolarità al confine: regolarità di Sobolev e regolarità di Perron. L'obiettivo primario è stabilire la relazione tra queste due nozioni e caratterizzare la regolarità dei punti di confine.

Metodologia
Gli autori sviluppano una teoria completa delle soluzioni di Perron per equazioni non lineari non locali, estendendo i lavori precedenti su operatori lineari e non lineari frazionari. La metodologia prevede:

• Ridefinizione delle Soluzioni di Perron: Gli autori propongono una nuova definizione per la classe superiore delle soluzioni di Perron. A differenza delle definizioni precedenti (ad esempio, Korvenpää–Kuusi–Palatucci [36]) che richiedevano l'uguaglianza $u=g$ quasi ovunque in $\Omega^c$, la nuova definizione richiede solo la disuguaglianza $u \ge g$ in $\Omega^c$. Questa modifica permette la definizione di soluzioni di Perron per arbitrarie funzioni esterne $g: \Omega^c \to [-\infty, \infty]$, incluse funzioni non misurabili, e garantisce la proprietà di monotonicità $P_{g_1} \le P_{g_2}$ laddove $g_1 \le g_2$.
• Spazi di Funzioni e Capacità: Lo studio utilizza spazi di Sobolev frazionari $V^{s,p}(\Omega)$ e spazi di coda $L^{p-1}_{sp}(\Omega^c)$. Un componente tecnico cruciale è l'analisi di due capacità: la capacità di Sobolev $C_{s,p}$ e la capacità del condensatore $c_{s,p}$. Gli autori stabiliscono la loro equivalenza riguardo agli insiemi di capacità nulla.
• Proprietà di Kellogg: Un passo metodologico significativo è la dimostrazione della proprietà di Kellogg, la quale afferma che l'insieme dei punti di confine irregolari di Sobolev ha capacità di Sobolev nulla. Ciò viene ottenuto collegando il problema non locale a un'equazione $p$-Laplaciana pesata in $\mathbb{R}^{n+1}$ tramite il framework di estensione di Caffarelli–Silvestre (usato implicitamente attraverso le equivalenze di capacità).
• Problemi con Ostacolo: Gli autori utilizzano il problema dell'ostacolo come strumento per studiare convergenza e regolarità. Dimostrano risultati di convergenza per sequenze di soluzioni a problemi con ostacolo, essenziali per stabilire l'uguaglianza tra soluzioni di Sobolev e di Perron.
• Principi di Confronto: La dimostrazione si basa fortemente sui principi di confronto sia per i problemi di Dirichlet che per quelli con ostacolo, nonché per le funzioni $L$-superarmoniche.

Contributi Chiave e Risultati

1. Equivalenza di Regolarità: Il risultato principale del saggio (Teorema 1.7) stabilisce che la regolarità di Sobolev e la regolarità di Perron sono equivalenti. Un punto di confine $x_0$ è regolare in senso di Sobolev se e solo se è regolare in senso di Perron. Questa equivalenza implica che la distinzione tra i due tipi di regolarità è superflua per questa classe di operatori.
2. Caratterizzazione dei Punti Regolari: Gli autori forniscono molteplici caratterizzazioni per i punti di confine regolari, tra cui:
   • Il criterio di Wiener che coinvolge la capacità del condensatore (Teorema 4.2, Teorema 1.7(e)).
   • L'esistenza di una barriera nel punto (Teorema 1.7(f)).
   • Il comportamento limite della soluzione per specifici dati di test (ad esempio, $d_{x_0}(x) = \min\{1, |x-x_0|\}$).
   • Il comportamento della soluzione del problema con ostacolo con ostacolo $d_{x_0}$.
3. Risolutività e Invarianza: Gli autori dimostrano risultati di risolutività per una vasta classe di dati esterni. Specificamente, se $g$ è limitata e continua al confine (o continua al di fuori di un insieme di capacità nulla), la soluzione di Perron $P_g$ coincide con la soluzione di Sobolev $H_g$. Inoltre, mostrano che le soluzioni di Perron sono invarianti rispetto alle perturbazioni dei dati esterni su insiemi di capacità di Sobolev nulla (Teorema 1.3, Teorema 1.4).
4. Unicità: Viene ottenuto un risultato di unicità per soluzioni limitate che assumono dati esterni continui quasi ovunque sul confine (Teorema 1.6).
5. Proprietà delle Soluzioni di Perron: Il saggio stabilisce che, per dati arbitrari $g$, la soluzione di Perron superiore $P_g$ è o continua in $\Omega$ o identicamente $\pm \infty$. Se $g$ appartiene allo spazio di coda $L^{p-1}_{sp}(\Omega^c)$, $P_g$ è o $L$-armonica in $\Omega$ o identicamente $\pm \infty$ (Teorema 1.2).
6. Estensione ai Problemi con Ostacolo: L'equivalenza delle nozioni di regolarità viene estesa ai problemi con ostacolo, mostrando che la regolarità al confine per i problemi con ostacolo è equivalente a quella per i problemi di Dirichlet (Teorema 10.3).

Significato
Il saggio sostiene di estendere sostanzialmente la teoria non lineare non locale iniziata nei lavori precedenti (specificamente [36] e [39]). La sua importanza risiede in:

• Unificazione: Dimostrando l'equivalenza tra regolarità di Sobolev e di Perron, il saggio unifica due approcci precedentemente distinti alla regolarità al confine nel contesto non locale non lineare.
• Generalità: La nuova definizione di soluzioni di Perron consente dati esterni arbitrari, incluse le funzioni non misurabili, il che non era possibile sotto le precedenti definizioni restrittive.
• Robustezza: I risultati sulla risolutività e l'invarianza sotto perturbazioni di capacità nulla forniscono un quadro robusto per risolvere problemi di Dirichlet dove i dati possono essere irregolari o definiti solo quasi ovunque.
• Strumenti Fondamentali: L'istituzione della proprietà di Kellogg e l'analisi dettagliata delle capacità per gli operatori non locali forniscono strumenti fondamentali per ulteriori ricerche nella teoria del potenziale non lineare per gli operatori frazionari.

Gli autori osservano che, sebbene il criterio di Wiener per la regolarità di Sobolev sia stato recentemente ottenuto da Kim–Lee–Lee [31] e Björn [8], l'equivalenza con la regolarità di Perron e la caratterizzazione completa dei punti regolari tramite barriere e problemi con ostacolo sono contributi originali di questo lavoro. I risultati valgono per nuclei generali che soddisfano la condizione di ellitticità, non solo per il $p$-Laplaciano frazionario standard.