Sharp non-explicit blow-up profile for perturbed nonlinear heat equations with gradient terms

1. Il Problema Studiato

L'articolo si occupa del fenomeno di blow-up (esplosione in tempo finito) per una classe di equazioni del calore non lineari perturbate che includono termini di gradiente. L'equazione in esame è:

$$u_t = \Delta u + |u|^{p-1}u + h(u, \nabla u)$$

con condizioni iniziali $u_0 \in W^{1,\infty}(\mathbb{R}^N)$.
I vincoli sui parametri sono:

• $1 < p$ e, se $N \ge 3$, $(N-2)p < N+2$ (sotto-critico o critico).
• Il termine di perturbazione $h \in C^1(\mathbb{R}^{N+1})$ soddisfa una crescita subcritica: $|h(u, v)| \le C(|u|^\gamma + |v|^\gamma + 1)$, con $0 \le \gamma < p$ e $0 \le \gamma < \frac{2p}{p+1}$.

Il caso non perturbato ($h \equiv 0$) è stato ampiamente studiato (es. Quittner & Souplet, Ebde & Zaag). In quel contesto, è noto che esistono soluzioni che esplodono in un punto $a$ al tempo $T$, con un profilo asintotico descritto da una funzione esplicita $f$. Tuttavia, per il caso perturbato, due questioni fondamentali rimanevano aperte:

1. La soluzione esplode in un unico punto o in più punti?
2. È possibile definire un profilo finale $u^*(x) = \lim_{t \to T} u(x,t)$ per $x \neq a$ e determinarne il comportamento asintotico vicino al punto di blow-up?
3. È possibile ottenere una stima dell'errore più precisa (sharp) rispetto a quella nota, superando le limitazioni delle variabili lente ($1/|\log(T-t)|$)?

2. Metodologia

L'autrice adotta una strategia basata su variabili di similarità e analisi asintotica fine, ispirata ai lavori di Zaag, Kammerer, Giga e Kohn.

• Variabili di Similarità: Si introducono le variabili $y = \frac{x-a}{\sqrt{T-t}}$ e $s = -\log(T-t)$, e si riscrive la soluzione come $w(y,s) = (T-t)^{\frac{1}{p-1}}u(x,t)$. L'equazione diventa un'equazione di reazione-diffusione con un termine di sorgente esponenzialmente decrescente legato alla perturbazione $h$.
• Linearizzazione e Spettro: Si studia la differenza $g = w_1 - w_2$ tra due soluzioni di blow-up. L'operatore lineare $L = \Delta - \frac{y}{2}\cdot\nabla + 1$ (associato all'equazione non perturbata) ha uno spettro discreto. La soluzione viene decomposta nelle componenti spettrali (autovalori positivi, nulli e negativi).
• Insieme Contraente (Shrinking Set): Viene definito un insieme $V_A(s)$ di funzioni che descrive il comportamento asintotico della soluzione nella regione di blow-up. La dimostrazione si basa sul mostrare che la soluzione rimane in questo insieme e che la differenza tra due soluzioni decade rapidamente.
• Stime di Regolarità Parabolica: Un aspetto cruciale è il controllo del termine di gradiente non lineare. L'autrice utilizza stime di regolarità parabolica iterativa (basate su tecniche di Giga-Kohn e Tayachi-Zaag) per dimostrare che il termine di perturbazione $h(u, \nabla u)$ non altera la struttura principale del blow-up, nonostante la presenza del gradiente.
• Profilo Non Esplicito: Invece di confrontare la soluzione con il profilo esplicito $f$ (che porta a errori nella scala lenta), l'articolo confronta la soluzione perturbata con una soluzione non esplicita $\hat{u}$ dell'equazione non perturbata ($h \equiv 0$) che esplode nello stesso punto e tempo. Questo permette di ottenere stime di errore molto più precise.

3. Contributi Chiave e Risultati Principali

A. Blow-up in un Singolo Punto e Profilo Finale (Teorema 1)

L'autrice risolve le questioni aperte riguardanti la geometria del blow-up:

1. Singolarità Isolata: Dimostra che se una soluzione appartiene a una certa classe di soluzioni costruite (definite tramite l'insieme $V_A$), allora il punto di blow-up è unico. Non ci sono altri punti di esplosione.
2. Profilo Finale: Esiste un limite $u^*(x)$ per $t \to T$ per ogni $x \neq a$.
3. Comportamento Asintotico: Vicino al punto di blow-up $a$, il profilo finale soddisfa la stima:
   $$\left| u^*(x) - \left( \frac{8p |\log|x-a||}{(p-1)^2 |x-a|^2} \right)^{\frac{1}{p-1}} \right| \le C \frac{|\log|x-a||^{\frac{1}{p-1} - \frac{1}{4}}}{|x-a|^{\frac{2}{p-1}}}$$
   Questo fornisce una descrizione precisa della singolarità spaziale.

B. Profilo di Blow-up "Sharp" e Non Esplicito (Teorema 2)

Questo è il risultato più innovativo del paper. L'autrice migliora la stima dell'errore rispetto ai lavori precedenti (come [EZ11] e [Zaa02]):

• Invece di usare il profilo esplicito $f$, la soluzione $u$ viene confrontata con una soluzione $\hat{u}$ dell'equazione non perturbata ($h \equiv 0$).
• Stima dell'Errore: La differenza tra la soluzione perturbata e la soluzione non perturbata (traslata e scalata) è limitata da termini che decrescono molto più velocemente rispetto alla scala logaritmica classica.
  $$|u(x, t) - \hat{u}(x-a, t-T+1)| \le C \max \left( (T-t)^{-\frac{1}{p-1}} \frac{1}{|\log(T-t)|}, \dots \right)$$
• Caso Unidimensionale ($N=1$): Viene ottenuta una stima ancora più raffinata (Teorema 2, eq. 1.8) che include termini di correzione dipendenti da $\nu = \frac{p-\gamma_0}{p-1}$, dove $\gamma_0$ dipende dall'esponente di crescita $\gamma$ del termine perturbativo. Questo dimostra che l'effetto della perturbazione è controllabile e non distrugge la struttura fine del blow-up.

4. Significato e Impatto

• Superamento delle Limitazioni Logaritmiche: Il lavoro supera la barriera delle stime basate sulla scala lenta $1/|\log(T-t)|$, dimostrando che è possibile ottenere stime di errore nella scala "veloce" $(T-t)$, anche in presenza di termini di gradiente non lineari.
• Robustezza del Profilo: Dimostra che la struttura di blow-up dell'equazione del calore semilineare è stabile rispetto a perturbazioni che includono gradienti, purché queste siano subcritiche.
• Nuova Strategia di Confronto: L'idea di confrontare la soluzione perturbata con una soluzione non esplicita dell'equazione non perturbata (invece che con un profilo esplicito approssimato) è un metodo potente che potrebbe essere applicato ad altre classi di equazioni non lineari per ottenere profili di blow-up più precisi.
• Completezza Teorica: Chiude il cerchio sulla descrizione completa del fenomeno di blow-up per questa classe di equazioni, fornendo sia la localizzazione spaziale (singolo punto) che la descrizione temporale e spaziale asintotica (profilo finale e stima dell'errore).

In sintesi, il paper fornisce una comprensione profonda e quantitativamente precisa di come le perturbazioni con gradienti influenzino (o non influenzino) la dinamica di esplosione delle soluzioni, offrendo strumenti analitici avanzati per il controllo di tali fenomeni.