De Giorgi-Nash-Moser theory for kinetic equations with nonlocal diffusions

Sintesi Tecnica: Teoria di De Giorgi-Nash-Moser per Equazioni Cinetiche con Diffusioni Non Locali

Enunciato del Problema
Il lavoro affronta la teoria della regolarità per una classe di equazioni ipoellittiche non locali che sorgono nella teoria cinetica, in particolare equazioni di Kolmogorov integro-differenziali della forma:
$$(\partial_t + v \cdot \nabla_x)f = L_v f + h$$
dove $L_v$ è un operatore di diffusione non locale che agisce solo sulla variabile velocità $v$, tipicamente coinvolgendo derivate frazionarie (ad esempio, un laplaciano frazionario $(-\Delta_v)^s$ con coefficienti irregolari). Il nucleo $K$ soddisfa condizioni standard di ellitticità/coercività ma può essere degenere.

Una difficoltà centrale in questo contesto è il fallimento delle stime classiche di De Giorgi-Nash-Moser (DGNM). Recenti controesempi di Kaßmann e Weidner [45] dimostrano che per tali equazioni cinetiche non locali, la classica disuguaglianza di Harnack e le stime locali $L^2-L^\infty$ falliscono generalmente, anche per soluzioni stazionarie. Questo fallimento deriva dall'interazione tra la non località della diffusione e il termine di trasporto anisotropo ($v \cdot \nabla_x$), che impedisce la compensazione standard degli effetti non locali tramite code di supremo utilizzate in contesti puramente ellittici o parabolici non locali.

Metodologia
Gli autori sviluppano una teoria DGNM raffinata, adattata alla geometria specifica delle equazioni cinetiche, governata da una struttura di gruppo di Lie omogeneo (trasformazioni galileiane) e da un riscalamento non euclideo. La metodologia comprende:

1. Quadro Geometrico: L'analisi è condotta su "cilindri inclinati" $Q_r(z_0)$ adattati al riscalamento cinetico $\delta_r(t, x, v) = (r^{2s}t, r^{1+2s}x, rv)$. Questo rispetta il riscalamento intrinseco dell'operatore di trasporto.
2. Controllo delle Code: Invece di assumere limitatezza globale o utilizzare code di supremo, gli autori introducono una condizione basata sulla sommabilità $L^p$ della "coda non locale" della soluzione lungo le variabili di deriva. La coda è definita come:
   $$\text{Tail}(f; B_r(v_0)) := r^{2s} \int_{\mathbb{R}^n \setminus B_r(v_0)} \frac{|f(v)|}{|v_0 - v|^{n+2s}} \, dv$$
   L'ipotesi chiave è che questa quantità di coda appartenga a $L^p_{loc}$ rispetto alle variabili di trasporto $(t, x)$, dove $p > N_s/2s$ e $N_s$ è la dimensione omogenea.
3. Guadagno di Integrabilità (Stime di Caccioppoli): La dimostrazione si basa su una nuova stima cinetica di Caccioppoli che incorpora il termine di coda. Sfruttando la natura ipoellittica dell'equazione e la soluzione fondamentale dell'equazione di Kolmogorov frazionaria (tramite un approccio parametrico), gli autori stabiliscono un guadagno locale di integrabilità per le sottosoluzioni deboli. Ciò permette loro di aggirare la mancanza di una disuguaglianza di Sobolev diretta nello spazio tempo-velocità.
4. Schema Iterativo: Viene impiegato un argomento iterativo di tipo De Giorgi, modificato per gestire la coda non locale. L'iterazione bilancia i contributi locali con il contributo della coda non locale, controllato da un parametro $\delta$.

Contributi e Risultati Chiave

• Teorema 1.1 (Stima $\delta$-interpolativa $L^2-L^\infty$): Gli autori dimostrano una stima di limitatezza locale per le sottosoluzioni deboli. La norma $L^\infty$ della soluzione su un cilindro più piccolo è limitata dalla sua norma $L^2$ su un cilindro più grande, dalla norma $L^p$ del termine sorgente $h$ e, crucialmente, dalla norma $L^p$ della coda non locale. La stima include un parametro $\delta$ che consente un bilanciamento quantitativo tra effetti locali e non locali.
  $$\text{ess sup}_{Q_{r/2}} f \leq c(\delta) \langle v_0 \rangle^{\dots} \|f\|_{L^2} + \dots + \delta \|\text{Tail}(f^+)\|_{L^p}$$
  Questo risultato risolve il problema sollevato dal controesempio in [45], mostrando che il fallimento della stima classica è dovuto alla mancanza di controllo sulla sommabilità della coda.

• Teorema 1.4 (Guadagno Locale di Integrabilità): Il lavoro stabilisce che le sottosoluzioni deboli appartengono a $L^q_{loc}$ per un intervallo specifico di $q$, purché la coda e i termini sorgente soddisfino la condizione $L^p$. Questo è un passo fondamentale per la stima $L^2-L^\infty$.

• Teorema 1.5 (Disuguaglianza di Harnack Forte): Viene dimostrata una nuova formulazione della disuguaglianza di Harnack forte per soluzioni deboli non negative. A differenza delle versioni classiche, questa disuguaglianza include un termine di resto non locale che coinvolge la norma $L^p$ della coda.
  $$\sup_{Q^-_{r_0}} f \leq c \inf_{Q^+_{r_0}} f + c \|\text{Tail}(f)\|_{L^p}$$
  Si dimostra che questa formulazione è coerente con il controesempio in [45], poiché il termine di coda impedisce che il rapporto dei valori esploda quando la coda è controllata.

• Caratterizzazione Geometrica (Teorema 4.7): Estendendo il lavoro di Aronson e Serrin [7] al contesto cinetico non locale, gli autori forniscono una caratterizzazione geometrica della disuguaglianza di Harnack. Definiscono "catene di Harnack non locali" che collegano punti tramite curve ammissibili nel gruppo di Lie sottostante, mostrando che il massimo della soluzione su un insieme compatto è controllato dal valore in un punto di partenza più i contributi di coda accumulati lungo la catena.

Significato e Affermazioni
Il lavoro afferma di completare il quadro DGNM non locale per le equazioni di Kolmogorov all'interno della classe considerata. Il suo significato principale risiede in:

1. Risoluzione del Controesempio: Identifica il preciso contributo non locale (la coda sommabile $L^p$) necessario per ripristinare le stime di regolarità che falliscono nella forma classica.
2. Rimozione di Assunzioni A Priori: I risultati permettono la dimostrazione della continuità Hölderiana e delle disuguaglianze di Harnack senza assumere a priori la limitatezza globale delle soluzioni, un'assunzione comune nella letteratura cinetica precedente.
3. Unificazione: Il lavoro allinea la teoria cinetica con le stime disponibili nei contesti ellittici e parabolici frazionari, fornendo controparti integro-differenziali a risultati recenti per equazioni cinetiche locali con coefficienti irregolari.
4. Ottimalità: Gli autori sostengono che la condizione $L^p$ sulla coda è ottimale (o quasi ottimale) nel contesto dei controesempi forniti da Kaßmann e Weidner, poiché una minore integrabilità porta al fallimento delle stime.

Il lavoro conclude osservando che queste tecniche potrebbero servire come base per ulteriori sviluppi, come operatori di tipo $p$-Laplaciano non lineare, approcci di viscosità e applicazioni ai giochi a campo medio, sebbene questi siano presentati come potenziali direzioni future piuttosto che risultati stabiliti all'interno del testo.