Lipschitz regularity for parabolic fractional $p$-Laplace equations

1. Il Problema Studiato

L'articolo si concentra sulla regolarità del gradiente (regolarità di Lipschitz) per le soluzioni deboli locali di equazioni paraboliche non locali, non lineari, della forma:
$$\partial_t u + L_K u = 0 \quad \text{in } \Omega \times I$$
dove l'operatore $L_K$ è definito come:
$$L_K u(x, t) := \text{P.V.} \int_{\mathbb{R}^N} |u(x, t) - u(y, t)|^{p-2}(u(x, t) - u(y, t)) K(x - y) \, dy$$
con $1 < p < \infty$ e $s \in (0, 1)$.

Condizioni sul nucleo (Kernel):
Il nucleo $K$ è simmetrico, invariante per traslazione e soddisfa i limiti di ellitticità standard:
$$\frac{\lambda}{|z|^{N+sp}} \le K(z) \le \frac{\Lambda}{|z|^{N+sp}}$$
Un aspetto cruciale è che non si assume la continuità di $K$; il nucleo può essere discontinuo.

Condizione di regolarità:
Il risultato principale è valido sotto la condizione $sp > p - 1$. Questa condizione è nota per essere critica per ottenere regolarità superiore all'Hölder nello spazio.

2. Metodologia

Il lavoro adotta un approccio innovativo che combina tecniche di analisi non locale con il metodo di Ishii-Lions, tradizionalmente usato per equazioni locali o semi-lineari.

A. Riduzione e Normalizzazione

Il problema viene ridotto a una scala normalizzata su un cilindro fisso $B_2 \times (-2, 0]$ tramite trasformazioni di scala.

• Per $p \ge 2$, la normalizzazione assorbe l'ampiezza della soluzione ($M_R$) in uno spostamento temporale.
• Per $1 < p < 2$, la normalizzazione assorbe l'ampiezza in un riscalamento spaziale.
  Questo permette di lavorare con soluzioni limitate e con "coda" (tail) limitata.

B. Il Lemma di Contatto (Touching Lemma)

Un passo fondamentale è la dimostrazione di un "Touching Lemma" per soluzioni deboli. L'operatore viene decomposto in una parte locale (integrale su una palla $B_1$) e una parte di coda (integrale sul complemento).

• La parte di coda viene trattata come un termine sorgente limitato ($f \in L^\infty$).
• Si dimostra che se una funzione liscia $\phi$ tocca la soluzione $u$ da sopra in un punto $(x_0, t_0)$ con gradiente non nullo, allora l'operatore tronco soddisfa una disuguaglianza puntuale controllata dal termine di coda. Questo evita la necessità di definire soluzioni di viscosità complesse o di richiedere continuità della coda nel tempo.

C. Il Framework di Ishii-Lions Parametrizzato

Il cuore della prova risiede nell'uso del metodo di Ishii-Lions per ottenere stime di Lipschitz:

1. Funzionale di Penalizzazione: Si introduce un funzionale che massimizza la differenza tra la soluzione e una funzione di penalizzazione:
   $$\Phi_\nu(x, y, t, \tau) = u(x, t) - u(y, \tau) - L\phi(|x-y|) - \dots$$
2. Profilo di Penalizzazione:
   • Per la regolarità Hölder, si usa $\phi(r) = r^\gamma$.
   • Per il passo finale verso la regolarità di Lipschitz, si usa un profilo quasi-lineare ma strettamente concavo: $\tilde{\phi}(r) = r + \frac{r}{\log r}$. La concavità stretta è essenziale per gestire i termini integrali singolari senza che la stima diverga.
3. Disuguaglianza Master: Applicando il Lemma di Contatto ai punti di massimo del funzionale, si ottiene una disuguaglianza integrale che confronta gli incrementi dell'operatore non locale.
4. Stime Integrali: L'integrale viene scomposto in regioni geometriche (vicino al punto di contatto, anello intermedio, coda). Si dimostra che il termine principale (legato alla penalizzazione) diverge come $L \to \infty$, mentre i termini di errore rimangono limitati, portando a una contraddizione se la soluzione non fosse Lipschitziana.

3. Contributi Chiave e Novità

Rispetto alla letteratura esistente (inclusi lavori recenti come [JSU26] e [BT25]), questo articolo introduce diverse novità significative:

• Caso Subquadratico ($1 < p < 2$): A differenza di lavori precedenti che trattavano principalmente $p \ge 2$, questo lavoro copre l'intero intervallo $p > 1$. Il caso subquadratico è tecnicamente più difficile perché l'operatore non può essere valutato su funzioni lisce senza singolarità; l'autore evita l'uso di classi speciali di funzioni test (necessarie nella teoria delle soluzioni di viscosità) grazie alla struttura del lemma di contatto.
• Nuclei Discontinui: Il risultato vale per nuclei $K$ che possono essere discontinui, allineandosi ai risultati noti nel caso ellittico ma estendendoli al caso parabolico.
• Assunzione più debole sulla Coda (Tail): Si richiede solo che la coda della soluzione sia limitata in tempo ($u \in L^\infty_{loc}(I; L^{p-1}_{sp}(\mathbb{R}^N))$), evitando la condizione più forte di continuità temporale della coda richiesta in lavori precedenti.
• Approccio senza "Blow-up": Nel caso lineare, la prova offre una via alternativa che evita l'uso di teoremi di Liouville e argomenti di "blow-up" (ingrandimento), fornendo una dimostrazione più diretta basata sul metodo di Ishii-Lions.
• Parametrizzazione dei Funzionali: Si utilizza una famiglia parametrizzata di funzionali di Ishii-Lions per garantire che il gradiente non si annulli, semplificando l'analisi rispetto all'uso diretto del lemma di Jensen-Ishii.

4. Risultati Principali

Il Teorema 1.1 stabilisce che le soluzioni deboli locali sono localmente Lipschitziane nello spazio, uniformemente nel tempo, sotto la condizione $sp > p - 1$.

Le stime ottenute sono:

• Per $p \ge 2$:
  $$\sup_t [u(\cdot, t)]_{C^{0,1}(B_{R/2})} \le C M_R R^{-1}$$
• Per $1 < p < 2$:
  $$\sup_t [u(\cdot, t)]_{C^{0,1}(B_{R/2})} \le C M_R^{1 + \frac{2-p}{sp}} R^{-1}$$
  dove $M_R$ dipende dalla norma $L^\infty$ della soluzione e dalla sua coda, e $C$ dipende solo dai parametri strutturali ($N, s, p, \lambda, \Lambda$).

Inoltre, il metodo permette di ottenere regolarità Hölder superiore ($C^{0,\gamma}$) con esponenti ottimali $\gamma = \min\{1, sp/(p-1)\}$ per nuclei generali.

5. Significato e Implicazioni

Questo lavoro rappresenta un avanzamento significativo nella teoria della regolarità per equazioni paraboliche non lineari e non locali:

1. Completezza: Chiude la questione della regolarità di Lipschitz per l'equazione del p-Laplaciano frazionario parabolico per tutto l'intervallo $p > 1$, risolvendo un problema aperto sia nel caso ellittico che parabolico.
2. Robustezza: La capacità di gestire nuclei discontinui e condizioni al contorno di coda deboli rende il risultato applicabile a una classe molto più ampia di problemi fisici e matematici rispetto ai modelli con kernel regolari.
3. Metodologia: Introduce un framework tecnico (Touching Lemma + Ishii-Lions parametrizzato) che potrebbe essere adattato per studiare altri operatori non locali complessi, come gli operatori a doppia fase (double-phase) o le equazioni con termini di ordine inferiore, come accennato nelle estensioni del lavoro.

In sintesi, Prasad fornisce una prova rigorosa e tecnica che le soluzioni di queste equazioni complesse godono di una regolarità spaziale massima (Lipschitz) quando il parametro di non località e l'esponente di non linearità soddisfano una soglia critica, superando le limitazioni delle tecniche tradizionali di De Giorgi-Nash-Moser che forniscono solo esponenti Hölder piccoli e non espliciti.