Fujita-type blow-up for inhomogeneous semilinear heat equations with regularly varying forcing

Sintesi Tecnica: Blow-Up di Tipo Fujita per Equazioni del Calore Semilineari Inomogenee con Forzante a Variazione Regolare

Enunciato del Problema
Il saggio investiga la nonesistenza di soluzioni deboli non negative globali per l'equazione del calore semilineare inomogenea:
$$\partial_t u - \Delta u = |u|^p + w(x), \quad (t, x) \in (0, \infty) \times \mathbb{R}^N,$$
con dati iniziali $u(0, \cdot) = u_0$. Il focus è sul fenomeno del "blow-up", definito qui come la nonesistenza di soluzioni deboli globali nel tempo. Mentre la classica teoria di Fujita ($w \equiv 0$) stabilisce un esponente critico $p_F = 1 + 2/N$, e il caso forzato con forzante integrabile ($w \in L^1$) è stato affrontato da Bandle, Levine e Zhang, questi framework falliscono quando il termine di forzante è non integrabile, anisotropo o cresce all'infinito. Gli autori mirano a sostituire la classica assunzione di integrabilità con una condizione quantitativa sulla massa spaziale del termine di forzante.

Metodologia
Il motore tecnico centrale è il metodo delle funzioni di test di Mitidieri–Pohozaev, combinato con la teoria della variazione regolare (teoria di Karamata).

1. Costruzione della Funzione di Test: Gli autori impiegano una specifica famiglia di funzioni di test $\psi_T(t, x) = f(t/T)^{p'} g(|x|^2/T)^{2p'}$ (e varianti anisotrope) per derivare disuguaglianze integrali. Applicando la disuguaglianza di Young e assorbendo i termini, stabiliscono un limite superiore sull'integrale del termine di forzante rispetto alla funzione di test, che scala come $T^{1 + N/2 - p'}$.
2. Framework della Variazione Regolare: Invece di assumere $w \in L^1$, gli autori analizzano la funzione di massa spaziale $F(R) = \int_{|x| \le R} w(x) \, dx$. Sostituiscono i limiti inferiori qualitativi con l'assunzione che $F$ appartenga alla classe delle funzioni a variazione regolare ($RV_\gamma$), il che significa che $F(R) = R^\gamma L(R)$ dove $L$ è una funzione a variazione lenta.
3. Meccanismo di Contraddizione: La dimostrazione procede per contraddizione. Se esiste una soluzione globale, il limite inferiore derivato dalla condizione di massa (che scala come $T^{\gamma/2} L(\sqrt{T})$) deve essere compatibile con il limite superiore. Gli autori mostrano che, per $p$ subcritico, gli esponenti di $T$ portano a una contraddizione per $T \to \infty$. Al limite critico, il fattore di variazione lenta $L(R)$ determina l'esito; se $L(R) \to \infty$, si verifica una contraddizione, mentre se $L(R)$ è limitato o decrescente, il metodo rimane "silente".

Contributi Chiave e Risultati

1. Teorema Maestro del Blow-Up (Teorema 3.4)
Il saggio stabilisce un criterio unificato di blow-up basato sull'indice $\gamma$ della massa a variazione regolare $F(R)$.

• Intervallo Subcritico: Se $F(R)$ soddisfa una condizione quantitativa di limite inferiore (ovvero $\liminf R^{-\gamma}F(R) > 0$ o $F \in RV_\gamma$), non esiste una soluzione globale per $1 < p < p_F(\gamma)$, dove:
  $$p_F(\gamma) = \begin{cases} \frac{N-\gamma}{N-\gamma-2} & \text{se } \gamma < N-2, \\ \infty & \text{se } \gamma \ge N-2. \end{cases}$$
• Caso Critico: Se $F \in RV_\gamma$ con un fattore di variazione lenta $L(R) \to \infty$, il blow-up avviene anche all'esponente critico $p = p_F(\gamma)$.
• Generalità: Questo framework recupera il classico risultato $L^1$ ($\gamma=0$) ed estende la teoria a forzanti con massa infinita (ad esempio, $w(x) \sim |x|^{-(N-\gamma)}$).

2. Sharpness (Precisione) delle Ipotesi (Proposizione 4.1)
Gli autori dimostrano che la condizione di $\liminf$ nella supposizione di crescita della massa non può essere sostituita da $\limsup$. Costruiscono un termine di forzante con massa concentrata su anelli separati da scale super-esponenziali tali che $\limsup R^{-\gamma}F(R) > 0$ ma $\liminf R^{-\gamma}F(R) = 0$. Per tali forzanti, la condizione di variazione regolare fallisce, e il risultato di blow-up non è valido nell'intero intervallo subcritico, evidenziando la necessità della struttura di variazione regolare.

3. Variazione Regolare Operatore e Anisotropia (Teorema 7.1)
Per gestire forzanti con diversi tassi di scaling in diverse direzioni, il saggio introduce la variazione regolare operatore utilizzando una matrice di esponente simmetrica definita positiva $E$.

• L'esponente critico è generalizzato in $p_F^E = \frac{q}{q - 2\lambda_{\min}}$, dove $q = |E| - \gamma_E$ e $\lambda_{\min}$ è il più piccolo autovalore di $E$.
• Gli autori forniscono un esempio (Esempio 7.5) in cui il criterio anisotropo è strettamente più forte di qualsiasi affermazione isotropa, provando che la geometria della forzante può alterare significativamente la soglia di blow-up.

4. Forzanti con Cambio di Segno e Criteri Tauberiani (Teorema 6.7)
Il framework è esteso a forzanti $w$ che cambiano segno.

• Criterio della Massa Netta: Il blow-up dipende dalla massa netta $F(R) = \int_{|x|\le R} w$.
• Trasformata di Gauss-Laplace: Un teorema Tauberiano permette di verificare la variazione regolare di $F(R)$ tramite il comportamento asintotico della trasformata di Gauss-Laplace $\Lambda_w(s) = \int e^{-s|x|^2}w(x)dx$ per $s \to 0^+$. Se la parte negativa di $w$ è di ordine strettamente minore, i criteri di blow-up si applicano alla massa netta.

5. Estensioni a Contesti Non Locali e Frattionali (Sezione 8)
La metodologia viene adattata a:

• Forzanti di tipo potenziale di Riesz, dove la sorgente è una convoluzione $I_\sigma g$.
• Laplaciano frazionario: $\partial_t u + (-\Delta)^s u = |u|^p + w$.
• Funzionale di Forzante Cumulativa ($\Phi$): Viene introdotto un formalismo unificato (Teorema 8.7) in cui la dicotomia del blow-up è determinata dal confronto tra l'indice di variazione regolare $\alpha$ del funzionale di forzante cumulativa $\Phi(T)$ e un esponente della funzione di test $\beta(p)$.

Significatività e Rivendicazioni
Il saggio rivendica di fornire un framework unificato che trascende le classiche assunzioni di integrabilità della teoria di Bandle–Levine–Zhang. Sfruttando la variazione regolare, gli autori:

• Identificano una famiglia continua di esponenti critici $p_F(\gamma)$ dipendenti dal tasso di crescita della massa della forzante.
• Stabiliscono risultati di precisione (sharpness), mostrando che le condizioni di crescita qualitativa (come il $\limsup$) sono insufficienti senza il controllo strutturale della variazione regolare.
• Estendono la teoria ai contesti anisotropi e non locali, offrendo una descrizione delle soglie di blow-up che tiene conto dello scaling direzionale e della diffusione frazionaria.
• Chiariscono il ruolo del fattore di variazione lenta, mostrando che l'amplificazione ($L(R) \to \infty$) è sufficiente per forzare il blow-up all'esponente critico, un risultato non accessibile tramite la sola ipotesi $\liminf$ classica.

Gli autori osservano che, sebbene il metodo delle funzioni di test fornisca condizioni sufficienti per la nonesistenza, l'ottimalità degli esponenti derivati (specificamente riguardo l'esistenza di soluzioni globali per piccoli dati nel range supercritico) rimane una questione aperta nel contesto di queste forzanti generalizzate.