Blow-up of solutions to semilinear parabolic equations driven by mixed local-nonlocal operators with large initial data

Sintesi Tecnica: Blow-up delle Soluzioni di Equazioni Paraboliche Semilineare Guidate da Operatori Misti Locali-Non Locali con Dati Iniziali Grandi

Enunciato del Problema
Il lavoro investiga il blow-up in tempo finito di soluzioni non negative al problema di Cauchy per equazioni paraboliche semilineari guidate da un operatore misto locale-non locale $L$. L'equazione è data da:
$$\begin{cases} \partial_t u + Lu = f(u) & \text{in } \mathbb{R}^N \times (0, +\infty), \\ u(\cdot, 0) = u_0 & \text{in } \mathbb{R}^N, \end{cases}$$
dove l'operatore è definito come $L = -a\Delta + b(-\Delta)^s$ con parametri $a \ge 0$ e $b > 0$. Il termine di reazione $f$ soddisfa ipotesi strutturali che includono la continuità di Lipschitz locale, la convessità, la crescita superlineare all'infinito e la condizione di Osgood ($\int_1^\infty \frac{dz}{f(z)} < \infty$). Il caso prototipo è $f(u) = u^p$ con $p > 1$.

Mentre la letteratura copre estesamente il caso puramente locale ($a=1, b=0$) e il caso puramente non locale ($a=0, b=1$), e lavori precedenti (in particolare [8]) hanno stabilito il blow-up per $p$ piccoli ($p \le 1 + 2s/N$) con dati non banali arbitrari, questo studio si concentra sul regime in cui il dato iniziale $u_0$ è sufficientemente grande. L'obiettivo primario è dimostrare che per ogni $p > 1$, se il dato iniziale è sufficientemente grande, la soluzione subisce un blow-up in tempo finito, anche in presenza dell'operatore misto.

Metodologia
Gli autori adattano il metodo di Kaplan (originariamente sviluppato per l'equazione del calore) al quadro degli operatori misti. Il cuore della metodologia coinvolge tre passaggi principali:

1. Costruzione di una Funzione di Kaplan: Gli autori definiscono una "funzione di Kaplan" $\kappa$ come una funzione positiva, liscia e integrabile che soddisfa la disuguaglianza di sottosoluzione $-L\kappa + \lambda\kappa \ge 0$ puntualmente in $\mathbb{R}^N$ per qualche $\lambda > 0$.

   • A differenza del caso puramente locale, dove la funzione di Kaplan è una Gaussiana ($e^{-k|x|^2}$), gli autori costruiscono esplicitamente una funzione di Kaplan adatta all'operatore misto. La funzione costruita assume la forma:
     $$\kappa(x) = C \varepsilon^{N/2} (1 + \varepsilon|x|^2)^{-\beta}$$
     dove $C, \varepsilon, \beta$ sono costanti positive.
   • La costruzione richiede una gestione attenta della parte non locale $(-\Delta)^s$. Gli autori utilizzano proprietà della funzione ipergeometrica e argomenti di scalatura per stimare l'azione di $L$ su $\kappa$, assicurando che la disuguaglianza valga per $\lambda$ sufficientemente grande.

2. Derivazione di una Disuguaglianza Differenziale: Per una soluzione $u(t)$, gli autori definiscono un funzionale $\Phi(t) = \int_{\mathbb{R}^N} \kappa(x) u(x,t) \, dx$. Moltiplicando l'equazione alle derivate parziali per $\kappa$ e integrando, derivano la disuguaglianza differenziale ordinaria:
   $$\Phi'(t) + \lambda \Phi(t) \ge f(\Phi(t))$$
   Questa derivazione si basa sull'integrazione per parti per la parte locale e su identità integrali specifiche (coinvolgento la forma bilineare $B(f,g)$) per la parte non locale. Crucialmente, impiegano funzioni di taglio e argomenti di limite ($R \to \infty$) per gestire i termini di coda non locali, affidandosi alle proprietà di integrabilità della $\kappa$ costruita.

3. Analisi del Blow-up: Gli autori mostrano che se il dato iniziale soddisfa $\Phi(0) > s_f(\lambda)$ (dove $s_f(\lambda)$ è una soglia derivata dal termine di reazione), la soluzione della disuguaglianza differenziale subisce un blow-up in tempo finito. Ciò implica la non esistenza di soluzioni classiche globali per l'equazione alle derivate parziali originale.

Risultati Chiave

• Criterio Generale di Blow-up (Teorema 3.4): Il lavoro stabilisce una condizione generale per il blow-up in tempo finito. Se esiste una funzione di Kaplan $\kappa$ che soddisfa specifiche stime di regolarità e decadimento, e il dato iniziale $u_0$ soddisfa $\int_{\mathbb{R}^N} \kappa u_0 \, dx > s_f(\lambda)$, allora non esiste alcuna soluzione classica globale.
• Costruzione Esplicita (Teorema 3.7): Gli autori costruiscono esplicitamente la funzione di Kaplan $\kappa_\varepsilon(x) \propto (1 + \varepsilon|x|^2)^{-\beta}$ per l'operatore misto $L = -a\Delta + b(-\Delta)^s$. Dimostrano che per $\beta > N/2$, questa funzione soddisfa la disuguaglianza di sottosoluzione richiesta per un intervallo specifico di $\lambda$ dipendente dal parametro di scalatura $\varepsilon$.
• Teorema Principale (Teorema 3.9): Combinando il criterio generale con la costruzione esplicita, gli autori dimostrano che per l'operatore misto, se il dato iniziale è sufficientemente grande (quantificato dalla disuguaglianza 3.32), la soluzione subisce un blow-up in tempo finito.
• Recupero di Risultati Noti (Teorema 3.10): Come corollario, gli autori applicano il loro risultato principale al caso $f(u) = u^p$ con $1 < p < 1 + 2s/N$. Dimostrano che per questo intervallo di $p$, il blow-up si verifica per qualsiasi dato iniziale non banale (non solo per quelli grandi), recuperando così il risultato precedentemente stabilito in [8] utilizzando metodi diversi.

Significato e Affermazioni
Gli autori affermano che il loro risultato è nuovo anche nel caso speciale del Laplaciano frazionario ($a=0, b=1$). Mentre il blow-up per dati iniziali grandi è ben noto per l'equazione del calore classica, estendere questo risultato al caso frazionario e al quadro degli operatori misti ha richiesto il superamento di ostacoli tecnici significativi legati alla natura non locale dell'operatore.

Nello specifico, il lavoro evidenzia:

• La necessità di una forma diversa per la funzione di Kaplan nel contesto misto/non locale rispetto al contesto locale classico.
• L'adattamento riuscito del metodo di Kaplan agli operatori che coinvolgono Laplaciani frazionari, il che è non banale a causa della mancanza di formule locali esplicite per l'azione dell'operatore su funzioni di prova.
• La fornitura di una condizione esplicita e verificabile sui dati iniziali che garantisce il blow-up per ogni $p > 1$ nel contesto dell'operatore misto.

Il lavoro contribuisce alla teoria qualitativa delle equazioni paraboliche miste locali-non locali, un campo di crescente interesse a causa delle applicazioni nella dinamica stocastica (combinando processi di diffusione e salti) e nei modelli di foraggiamento ottimale. Il lavoro non propone nuove applicazioni, ma piuttosto consolida le fondamenta teoriche per comprendere il comportamento a lungo termine delle soluzioni in questo specifico contesto di operatori.