A comparison principle for a class of doubly nonlinear parabolic fractional partial differential equations

Sintesi Tecnica: Un Principio di Confronto per Equazioni Paraboliche Parziali Fratte Doppiamente Nonlineari

Enunciato del Problema
Questo articolo affronta la mancanza di un principio di confronto per le soluzioni deboli non negative di una specifica classe di equazioni parziali fratte paraboliche doppiamente nonlineari. L'equazione in esame è definita in un cilindro spazio-temporale $\Omega_T = \Omega \times (0, T)$, dove $\Omega \subset \mathbb{R}^n$ è un dominio spaziale limitato:
$$\partial_t u^q - L^s_{p,K} u = f$$
Qui, $s \in (0, 1)$, $p > 1$, e $q > 0$. L'operatore $L^s_{p,K}$ è un operatore di tipo $p$-Laplaciano frazionale non locale definito tramite un integrale singolare con un nucleo $K(x,y)$ che soddisfa standard condizioni di crescita e simmetria. L'inomogeneità $f$ è indipendente dal tempo e appartiene a uno specifico spazio di Lebesgue determinato dal coniugato di $e_p = \min\{p, q+1\}$.

La sfida primaria risiede nella natura "doppiamente nonlineare" dell'equazione (nonlinearità sia nel termine della derivata temporale $\partial_t u^q$ che nel termine di diffusione spaziale) combinata con il carattere non locale dell'operatore. Sebbene i principi di confronto siano ben stabiliti per equazioni doppiamente nonlineari locali sotto varie assunzioni restrittive (ad esempio, specifici intervalli di $p$ e $q$, o la stretta positività delle soluzioni), il caso frazionale non locale rimane ampiamente inesplorato, particolarmente per dati al contorno di Dirichlet generali.

Metodologia
L'autore impiega un approccio analitico rigoroso centrato sul raddoppio della variabile temporale, una tecnica ispirata da Otto [16] e adattata in lavori precedenti [5]. La strategia di prova aggira la mancanza di una derivata temporale debole per le soluzioni utilizzando una tecnica di regolarizzazione che prevede la molleggiatura temporale (smoothing esponenziale).

Passaggi metodologici chiave:

1. Definizione di Soluzioni Deboli: Il paper stabilisce una precisa definizione di soluzioni deboli non negative all'interno del framework dello spazio Sobolev frazionario $W^{s,p}$, garantendo che le condizioni di integrabilità globale siano soddisfatte per gestire i termini non locali.
2. Lemmi Ausiliari: Due lemmi preliminari (Lemma 3.1 e Lemma 3.2) vengono derivati. Essi stabiliscono relazioni integrali tra una soluzione debole e una funzione stazionaria. Fondamentalmente, questi lemmi utilizzano funzioni di test specifiche che coinvolgono la funzione $H_\delta$ (un'approssimazione regolare della funzione di Heaviside) e la sua riflessione dispari $\hat{H}_\delta$. Queste funzioni di test permettono di gestire la nonlinearità di potenza $u^q$ senza richiedere l'esistenza di una derivata temporale della soluzione stessa.
3. Argomento di Raddoppio del Tempo: Il cuore della prova consiste nell'estendere le soluzioni $u$ e $v$ a un dominio prodotto $Q = \Omega \times (0, T)^2$ con variabili temporali indipendenti $t_1$ e $t_2$. Applicando i lemmi ausiliari a queste funzioni estese e sommando le identità risultanti, l'autore costruisce una disuguaglianza globale.
4. Processi di Limite: La prova si basa sul passaggio al limite quando il parametro di regolarizzazione $\delta \to 0$ e il parametro di molleggiatura $h \to 0$. Ciò comporta l'uso attento di stime mediante la disuguaglianza di Hölder, il teorema della convergenza dominata e il teorema fondamentale del calcolo per la funzione $F(s) = |s|^{p-2}s$.
5. Assunzione sulla Condizione al Contorno: Un'assunzione critica nella metodologia è che almeno una delle due soluzioni oggetto di confronto sia indipendente dal tempo nel dominio esterno $\Omega^c = \mathbb{R}^n \setminus \Omega$. Questa condizione è necessaria per garantire l'ammissibilità delle funzioni di test nel contesto non locale.

Contributi Chiave e Risultati
Il risultato principale è il Teorema 1.4, che stabilisce un principio di confronto globale:

• Teorema 1.4: Siano $u$ e $v$ due soluzioni deboli non negative dell'equazione (1.1). Se $(u-v)^+ \in L^p(0, T; W^{s,p}_0(\Omega))$, $u(\cdot, 0) \leq v(\cdot, 0)$ quasi ovunque in $\Omega$, e almeno una delle soluzioni è indipendente dal tempo in $\Omega^c$, allora $u \leq v$ quasi ovunque in $\Omega_T$.

Come diretta conseguenza, il Corollario 1.5 dimostra l'unicità delle soluzioni deboli non negative per il corrispondente problema Cauchy-Dirichlet, a condizione che i dati al contorno siano indipendenti dal tempo nel dominio esterno.

Significatività e Rivendicazioni
Il paper sostiene di colmare una lacuna significativa nella letteratura esistente riguardante le equazioni paraboliche fratte doppiamente nonlineari.

• Estensione della Teoria Locale: Mentre i principi di confronto per equazioni doppiamente nonlineari locali sono noti (sebbene spesso richiedano assunzioni restrittive su $q$ o sulla positività delle soluzioni), questo lavoro estende la teoria al setting non locale frazionale.
• Dati al Contorno Generali: A differenza di precedenti risultati non locali (ad esempio, Vázquez [17], Bonforte e Vázquez [8]) che erano limitati a condizioni di Dirichlet omogenee o specifiche proprietà di contrazione, questo lavoro stabilisce un principio di confronto per dati di Dirichlet più generali.
• Gestione della Nonlinearità: Il lavoro dimostra come la tecnica del raddoppio della variabile temporale, combinata con specifiche strategie di molleggiatura, possa gestire con successo la nonlinearità di potenza $q > 0$ nel termine evolutivo senza richiedere che le soluzioni possiedano derivate temporali deboli.

L'autore osserva che l'assunzione di indipendenza dal tempo nel dominio esterno è una condizione necessaria per l'attuale tecnica di prova, in particolare per gestire efficacemente i termini di interazione non locali. Il paper non propone applicazioni sperimentali o estensioni future oltre l'ambito dell'établimento di questo principio di confronto teorico e della conseguente unicità per il problema Cauchy-Dirichlet.