Fujita Phenomenon for a Mixed Local-Nonlocal Hardy-Hénon Equation with Regularly Varying Time Weights

1. Enunciato del Problema

Gli autori investigano il problema di Cauchy per un'equazione parabolica semilineare guidata da un operatore di diffusione misto locale–nonlocale con una nonlinearità di Hardy–Hénon e un termine forzante dipendente dal tempo. L'equazione è data da:

$$\begin{cases} \partial_t u - (\Delta - (-\Delta)^s)u = h(t)|x|^{-b}|u|^p + t^\varrho w(x), & (x, t) \in \mathbb{R}^N \times (0, \infty), \\ u(x, 0) = u_0(x), & x \in \mathbb{R}^N, \end{cases}$$

Parametri e Componenti Chiave:

• Operatore: $L = \Delta - (-\Delta)^s$, dove $\Delta$ è il laplaciano classico (diffusione locale) e $(-\Delta)^s$ ($s \in (0,1)$) è il laplaciano frazionario (diffusione nonlocale). Questo modella la competizione tra interazioni a corto raggio e a lungo raggio.
• Nonlinearità: $|x|^{-b}|u|^p$ con $b \ge 0$ e $p > 1$. Il termine $|x|^{-b}$ introduce una singolarità spaziale (potenziale di Hardy).
• Coefficiente Dipendente dal Tempo: $h(t)$ appartiene alla classe generalizzata $M(\gamma)$ di funzioni con tasso di crescita logaritmica $\gamma > -1$. Questa classe estende le funzioni classiche a variazione regolare per includere comportamenti oscillatori e non regolari (ad esempio, $t^\gamma \sin(\log t)$).
• Termine Forzante: $t^\varrho w(x)$ con $\varrho > -1$ e una sorgente spaziale prescritta $w(x)$.

Lo studio si concentra su due regimi principali:

1. Caso Non Forzato ($w \equiv 0$): Determinazione dell'esponente critico di Fujita che separa l'esistenza globale dall'esplosione in tempo finito.
2. Caso Forzato ($w \not\equiv 0$): Stabilimento delle condizioni per la nonesistenza di soluzioni deboli globali e derivazione di condizioni di piccolezza per soluzioni mild globali.

2. Metodologia

L'analisi combina diverse tecniche matematiche avanzate:

• Teoria dei Semigruppi: Gli autori utilizzano il semigruppo $\{e^{tL}\}_{t \ge 0}$ generato dall'operatore misto $L$. Stabiliscono stime di regolarizzazione (tassi di decadimento) per il nucleo di questo semigruppo, sfruttando il fatto che la soluzione fondamentale è una convoluzione del nucleo del calore classico e del nucleo del calore frazionario.
• Funzioni a Variazione Regolare (Teoria di Karamata): Una novità fondamentale è l'uso della classe $M(\gamma)$. Gli autori impiegano le proprietà asintotiche di queste funzioni (in particolare i teoremi di Karamata sugli integrali e sulla convergenza uniforme) per gestire il coefficiente dipendente dal tempo $h(t)$, che potrebbe non essere strettamente a variazione regolare ma condivide tassi di crescita simili.
• Metodo della Funzione di Prova: Per dimostrare risultati di nonesistenza (esplosione), gli autori costruiscono specifiche funzioni di prova tagliate $\psi_R(x,t)$ che coinvolgono scalature spaziali e temporali. Applicano questo alla formulazione debole dell'equazione per derivare disuguaglianze integrali che portano a contraddizioni per soluzioni globali.
• Argomento del Punto Fisso (Contrazione di Banach): Per dimostrare l'esistenza globale, il problema è riformulato come un'equazione integrale di Duhamel. Gli autori definiscono uno spazio di Banach pesato appropriato (che incorpora pesi di decadimento temporale) e dimostrano che la mappa nonlineare associata è una contrazione stretta per dati iniziali e termini forzanti piccoli.
• Argomenti di Scalatura: Identità di scalatura precise sono utilizzate per determinare gli esponenti critici e per gestire il peso singolare $|x|^{-b}$ nel termine nonlineare.

3. Contributi e Risultati Chiave

A. Il Problema Non Forzato (Fenomeno di Fujita)

L'articolo estende i risultati precedenti (che assumevano $h(t) \sim t^\gamma$) alla classe più ampia $h \in M(\gamma)$.

• Esponente Critico di Fujita: Gli autori stabiliscono che l'esponente critico $p_F$ rimane:
  $$p_F = 1 + \frac{2s(\gamma + 1)}{N}$$
  • Esplosione: Se $1 < p < p_F$, ogni soluzione non negativa non banale esplode in tempo finito.
  • Esistenza Globale: Se $p > p_F$, esistono soluzioni mild globali per dati iniziali sufficientemente piccoli.
• Significato: Questo risultato dimostra la robustezza del fenomeno di Fujita. Anche se $h(t)$ esibisce oscillazioni o comportamenti irregolari (purché il suo tasso di crescita logaritmica sia $\gamma$), la soglia per l'esplosione rimane invariata. Il termine di diffusione locale $\Delta$ non altera l'esponente critico, che è governato esclusivamente dalla parte frazionaria $s$.

B. Il Problema Forzato (Nonesistenza di Soluzioni Globali)

Per l'equazione con un termine sorgente $t^\varrho w(x)$, gli autori derivano condizioni sotto le quali nessuna soluzione debole globale esiste, indipendentemente dalla grandezza del dato iniziale.

• Condizioni: Assumendo $w \in C_0 \cap L^1$ con $\int w > 0$:
  • Se $\varrho \le 0$, $0 \le \frac{b}{1+\gamma} < 2s < N$, e $1 < p < p^*$, dove:
    $$p^* = \frac{N - b - 2s(\varrho - \gamma)}{N - 2s(\varrho + 1)}$$
  • Se $\varrho > 0$ e $b, \gamma \ge 0$, la nonesistenza vale per ogni $p > 1$.
• Metodo: La prova si basa sul metodo della funzione di prova, bilanciando attentamente il decadimento del nucleo dell'operatore contro la crescita dei pesi temporali $h(t)$ e $t^\varrho$.

C. Il Problema Forzato (Esistenza Globale)

Gli autori forniscono condizioni sufficienti per l'esistenza di soluzioni mild globali quando i parametri lo consentono ($p > p^*$).

• Condizione di Piccolezza: Esiste $\epsilon > 0$ tale che se il dato iniziale $u_0$ e la sorgente $w$ soddisfano:
  $$\|u_0\|_{L^{p_c}} + \|w\|_{L^{q_c}} < \epsilon$$
  dove $p_c$ e $q_c$ sono specifici esponenti critici derivati dall'analisi di scalatura, allora esiste un'unica soluzione mild globale.
• Quadro Funzionale: La prova utilizza uno spazio pesato con norme che coinvolgono fattori di decadimento temporale $t^\mu$, assicurando che la soluzione rimanga limitata globalmente.

4. Significato e Novità

1. Generalizzazione dei Pesi Temporali: Questo è il primo studio ad affrontare i fenomeni di esplosione per equazioni di diffusione nonlineare con coefficienti nella classe $M(\gamma)$. Lavori precedenti erano limitati a coefficienti a legge di potenza ($t^\gamma$). Questa generalizzazione copre dipendenze temporali oscillatorie e irregolari, rendendo i risultati applicabili a una più ampia gamma di modelli fisici.
2. Analisi dell'Operatore Misto: Il lavoro analizza rigorosamente l'interazione tra diffusione locale ($\Delta$) e nonlocale ($(-\Delta)^s$). Conferma che l'esponente critico di Fujita è determinato dal componente frazionario, un risultato non banale data la competizione tra i due operatori.
3. Hardy-Hénon con Forzante: L'inclusione della singolarità spaziale $|x|^{-b}$ combinata con un termine forzante dipendente dal tempo $t^\varrho w(x)$ crea un sistema complesso. L'articolo fornisce una classificazione completa dei regimi di esistenza rispetto alla nonesistenza basata sull'interazione di $N, s, b, p, \gamma, \varrho$.
4. Quadro Unificato: I risultati recuperano diversi casi noti (ad esempio, puramente frazionario, puramente locale, coefficienti costanti) come istanze speciali, fornendo un quadro teorico unificato per le equazioni di diffusione mista.

5. Conclusione

Ben Belgacem e Majdoub caratterizzano con successo il comportamento di esplosione ed esistenza globale per una classe complessa di equazioni di diffusione mista. Integrando stime dei semigruppi con la teoria asintotica delle funzioni a variazione regolare, estendono la teoria classica di Fujita per includere pesi temporali irregolari e forzanti esterni. I risultati evidenziano che, sebbene la forma specifica del coefficiente temporale possa essere altamente irregolare, il suo tasso di crescita asintotico è l'unico determinante della soglia critica per l'esplosione. Il lavoro futuro suggerito dagli autori include l'analisi dell'asintotica a lungo termine, delle nonlinearità del gradiente e delle interpretazioni probabilistiche tramite processi di Lévy.