Nonlocal degenerate Isaacs operators: Hölder regularity

Sintesi Tecnica: Operatori di Isaacs Non Locali Degeneri: Regolarità Hölder

Enunciato del Problema
Il documento affronta la regolarità delle soluzioni di viscosità limitate per una classe di equazioni completamente non lineari, non locali e fortemente degenerate di ordine $2s$ (dove $s \in (0, 1)$). L'operatore specifico oggetto di indagine è un controparte non locale della somma dei valori minimi e massimi degli autovalori della matrice Hessiana, $\lambda_1(D^2u) + \lambda_N(D^2u)$.

L'operatore $I$ è definito tramite una struttura "inf-sup" su direzioni sulla sfera unitaria $S^{N-1}$:
$$Iu(x) = \inf_{\xi \in S^{N-1}} I_\xi u(x) + \sup_{\xi \in S^{N-1}} I_\xi u(x)$$
dove $I_\xi$ rappresenta un Laplaciano frazionario monodimensionale lungo la direzione $\xi$. A differenza dei Laplaciani frazionari standard o degli operatori non locali con kernel irregolari (che tipicamente recuperano la regolarità Hölder per l'intero intervallo $s \in (0, 1)$), questo operatore è "molto degenero" perché il processo di Lévy sottostante è supportato solo su un insieme di direzioni che include quelle estreme (autovalori minimi e massimi), ma manca di ellitticità completa in tutte le direzioni.

La questione centrale è se le soluzioni di viscosità limitate di $Iu = f(x)$ possiedano continuità Hölder e, se sì, sotto quali condizioni sull'ordine $s$.

Metodologia
Gli autori utilizzano tecniche per soluzioni di viscosità, basandosi specificamente sul principio di massimo e su argomenti di barriera à la Ishii-Lions, piuttosto che su metodi variazionali o teoria De Giorgi-Nash-Moser. Il nucleo della dimostrazione consiste in un argomento di raddoppio delle variabili per stabilire stime Hölder.

Componenti tecniche chiave includono:

1. Raddoppio delle Variabili: Gli autori costruiscono una funzione di test $\phi(x, y) = u(x) - u(y) - M|x-y|^\alpha - L|x-z_0|^2$ per analizzare l'oscillazione della soluzione. Assumono che il supremo di questa funzione sia positivo e derivano una contraddizione confrontando l'operatore applicato alla soluzione nel punto di massimo $(\bar{x}, \bar{y})$.
2. Analisi Direzionale: Un passaggio critico consiste nello stimare l'operatore $I$ scegliendo specifiche direzioni. La dimostrazione utilizza il fatto che l'operatore "vede" le direzioni estreme. Gli autori selezionano la direzione $\bar{\xi} = \frac{\bar{x}-\bar{y}}{|\bar{x}-\bar{y}|}$ per limitare i termini di infimo e supremo.
3. Stime Integrali: La dimostrazione si basa pesantemente su stime precise di integrali singolari coinvolgenti i quozienti differenziali delle funzioni di test. Gli autori definiscono funzioni ausiliarie (ad esempio, $h_c(s)$ e $g_c(\alpha)$) che coinvolgono integrali di termini logaritmici e di potenza per determinare il segno delle conseguenti disuguaglianze.
4. Regolarità al Confine: Per la regolarità globale, gli autori stabiliscono stime al confine utilizzando la funzione distanza $d(x)$. Dimostrano che le soluzioni si comportano come $d(x)^\alpha$ vicino al confine analizzando l'azione dell'operatore su $d(x)^\alpha$ e utilizzando le proprietà della funzione distanza con segno vicino a domini $C^2$.
5. Teorema di Liouville: Il risultato di Liouville viene derivato combinando le stime di Hölder nell'interno con un argomento di scalamento. Riscalando la soluzione e facendo tendere il raggio del dominio all'infinito, il modulo di continuità Hölder forza la soluzione a essere costante.

Contributi Chiave e Risultati

• Regolarità Hölder Interna (Teorema 1.1): Il risultato principale stabilisce che esiste una soglia $s_0 \in (1/2, 1)$ tale che per ogni $s \in (s_0, 1)$, le soluzioni di viscosità limitate di $Iu = f$ sono localmente Hölder continue ($C^{0, \alpha}_{loc}$). Ciò è significativo perché, a differenza degli operatori con misure di Lévy singolari supportate su insiemi di misura positiva (dove la regolarità vale per tutto $s \in (0, 1)$), questo operatore degenero richiede che $s$ sia sufficientemente vicino a 2 (ovvero $s > 1/2$) per recuperare la regolarità.
• Regolarità Hölder Globale (Teorema 1.2): Per un dominio limitato $C^2$ $\Omega$ con condizioni al contorno di Dirichlet nulle, la soluzione è globalmente Hölder continua in $\Omega$ a condizione che $s > s_0$.
• Teorema di Liouville (Teorema 1.3): Come conseguenza della regolarità, gli autori dimostrano che qualsiasi soluzione di viscosità limitata dell'equazione omogenea $Iu = 0$ in tutto lo spazio $\mathbb{R}^N$ è costante, a condizione che $s > s_0$.
• Controesempio per Supersoluzioni: Il documento evidenzia una distinzione tra soluzioni e supersoluzioni. Mentre la proprietà di Liouville vale per le soluzioni quando $s > s_0$, gli autori dimostrano (citando argomenti da [BGT22]) che esistono supersoluzioni non banali e limitate per la stessa equazione in qualsiasi dimensione $N \ge 2$. Ciò contrasta con il caso locale ($s=1$) dove la proprietà di Liouville vale anche per le supersoluzioni.

Significato e Rivendicazioni
Il documento sostiene che la struttura a "direzione estrema" dell'operatore è sufficiente a recuperare la regolarità Hölder, ma solo quando l'ordine non locale è abbastanza vicino al caso locale del secondo ordine. Questo contrasta con i lavori precedenti su operatori degeneri non locali dove la regolarità veniva spesso stabilita per l'intero intervallo di $s$.

Gli autori notano che il loro approccio è distinto dai metodi variazionali usati da Ros-Oton e Serra per i kernel irregolari; al contrario, il loro approccio basato sulla viscosità permette di gestire la specifica struttura "inf + sup" dell'operatore di Isaacs. La restrizione $s > s_0$ è intrinseca al metodo e alla specifica geometria della degenerazione dell'operatore; il documento non rivendica la regolarità per $s \le 1/2$.

Il lavoro estende la comprensione delle equazioni non lineari non locali, specificamente quelle derivanti da problemi di controllo ottimo con diffusione degenera, fornendo i primi risultati di regolarità per questa specifica classe di "Laplaciani troncati non locali" nel contesto degenero.