Heat equations driven by mixed local-nonlocal operators with exponential nonlinearity

Sintesi Tecnica: Equazioni del Calore Guidate da Operatori Misti Locali-Non Locali con Nonlinearità Esponenziale

Enunciato del Problema
Questo articolo investiga il problema di Cauchy per un'equazione del calore semilineare guidata da un operatore misto locale-non locale $L := -\Delta + (-\Delta)^s$ con $s \in (0, 1)$, caratterizzata da una nonlinearità esponenziale $f(u)$. L'equazione è data da:
$$\begin{cases} \partial_t u(x, t) + Lu(x, t) = f(u(x, t)), & (x, t) \in \mathbb{R}^d \times (0, \infty), \\ u(0, x) = u_0(x), & x \in \mathbb{R}^d, \end{cases}$$
dove la nonlinearità $f$ esibisce una crescita esponenziale all'infinito (specificamente $f(u) \sim e^{|u|^p}$ quando $|u| \to \infty$ con $p > 1$) e soddisfa $f(0)=0$. L'operatore $L$ combina il Laplaciano classico (che modella la diffusione locale) e il Laplaciano frazionario (che modella la diffusione non locale, di tipo salto). Lo studio si concentra sull'instaurazione della ben-postezza locale e globale per dati iniziali $u_0$ che possono essere illimitati, rendendo necessario un quadro funzionale oltre gli spazi di Lebesgue standard.

Metodologia
Gli autori adottano un approccio di analisi funzionale centrato sugli spazi di Orlicz, specificamente lo spazio di Orlicz esponenziale $\exp L^p(\mathbb{R}^d)$ e il suo sottospazio $\exp L^p_0(\mathbb{R}^d)$. Questa scelta è motivata dal fallimento degli spazi di Lebesgue nell'accomodare le condizioni di scalatura critica e di crescita associate alle nonlinearità esponenziali, analogamente al ruolo degli spazi di Sobolev nei casi polinomiali critici.

I componenti metodologici chiave includono:

1. Quadro Funzionale: L'analisi è condotta in $\exp L^p_0(\mathbb{R}^d)$, definito come la chiusura di $C^\infty_0(\mathbb{R}^d)$ in $\exp L^p(\mathbb{R}^d)$. Questo spazio è cruciale perché il semigruppo del calore $e^{-tL}$ non è generalmente limitato sullo spazio completo $\exp L^p(\mathbb{R}^d)$, ma è limitato su $\exp L^p_0(\mathbb{R}^d)$.
2. Stime del Semigruppo: Gli autori derivano proprietà di mappatura raffinate e stime di decadimento per il semigruppo del calore $e^{-tL}$ associato all'operatore misto. Queste stime utilizzano limiti sul nucleo del calore e argomenti di interpolazione negli spazi di Orlicz, catturando l'interazione tra le componenti locale ($-\Delta$) e non locale ($(-\Delta)^s$).
3. Argomenti del Punto Fisso:
   • Ben-postezza Locale: Dimostrata tramite una tecnica di decomposizione in cui il dato iniziale $u_0$ è suddiviso in una parte regolare $v_0 \in C^\infty_0$ e una piccola perturbazione $w_0$. La parte regolare è gestita tramite argomenti classici del semigruppo, mentre la perturbazione è risolta utilizzando il teorema del punto fisso di Banach in uno spazio di Banach adatto adattato a $\exp L^p$.
   • Esistenza Globale: Instaurata per dati iniziali piccoli utilizzando il principio di contrazione in uno spazio metrico completo dotato di norme pesate nel tempo. L'analisi distingue casi basati sulla relazione tra l'ordine frazionario $s$ e la soglia critica $d(p-1)/(2p)$.

Contributi e Risultati Chiave

1. Ben-postezza Locale (Teorema 1.3):
   L'articolo stabilisce l'esistenza e l'unicità di una soluzione debole $u \in C([0, T], \exp L^p_0(\mathbb{R}^d))$ per qualsiasi dato iniziale $u_0 \in \exp L^p_0(\mathbb{R}^d)$. Si assume che la nonlinearità soddisfi una condizione di tipo Lipschitz con crescita esponenziale: $|f(u) - f(v)| \leq C|u-v|(e^{\lambda|u|^p} + e^{\lambda|v|^p})$. Si dimostra che la soluzione è localmente limitata in $L^\infty(\mathbb{R}^d)$ per $t > 0$.

2. Esistenza Globale per Dati Piccoli (Teorema 1.4):
   Sotto l'assunzione che la nonlinearità si comporti come $|u|^m$ vicino all'origine (con $m \geq p$ e soddisfacendo vincoli di crescita specifici relativi all'esponente di Fujita), gli autori dimostrano l'esistenza di soluzioni deboli-deboli globali per dati iniziali sufficientemente piccoli in $\exp L^p(\mathbb{R}^d)$. La prova richiede di distinguere tre regimi basati sul parametro $s$ rispetto a $d(p-1)/(2p)$:

   • $s < d(p-1)/(2p)$
   • $s = d(p-1)/(2p)$
   • $s > d(p-1)/(2p)$ (richiedendo $m > p$)

3. Stime di Decadimento a Lungo Termine:
   Gli autori derivano tassi di decadimento espliciti per la soluzione negli spazi di Lebesgue $L^q$. La stima di decadimento (Equazione 1.8) rivela una transizione asintotica unica:

   • Regime a breve termine ($t \to 0$): La soluzione imita il comportamento di decadimento dell'equazione del calore locale, governato da una potenza efficace $\tilde{m}$ legata agli effetti di regolarizzazione locale.
   • Regime a lungo termine ($t \to \infty$): La stima transisce per recuperare l'asintotica puramente non locale caratteristica del Laplaciano frazionario $(-\Delta)^s$.

Significato e Affermazioni
L'articolo afferma di colmare il divario tra le teorie della diffusione locale e non locale nel contesto delle nonlinearità esponenziali. Nello specifico:

• Identifica $\exp L^p_0(\mathbb{R}^d)$ come l'impostazione funzionale appropriata per l'operatore misto con crescita esponenziale, affrontando le questioni di densità presenti nello spazio di Orlicz completo.
• Dimostra che la presenza del termine di diffusione locale non altera il comportamento fondamentale di esistenza globale dettato dalla componente frazionaria (l'esponente critico di Fujita rimane $p_c = 1 + 2s/d$), ma influenza significativamente la dinamica a breve termine.
• Le stime di decadimento derivate evidenziano un'interpolazione continua tra dinamiche locali singolari e dissipazione frazionaria a code pesanti, mostrando che gli effetti non locali non sono istantanei ma emergono nel tempo.

Il lavoro estende i risultati precedenti sulle nonlinearità polinomiali in operatori misti (ad esempio [4, 10, 28]) e sulle nonlinearità esponenziali in contesti puramente locali o puramente non locali (ad esempio [16, 23, 24, 30, 31, 34]) al caso misto locale-non locale.