The blow-up rate for a log non-scaling invariant semilinear wave equation in the conformal regime

1. Il Problema

Lo studio si concentra sul comportamento di "blow-up" (esplosione in tempo finito) delle soluzioni dell'equazione delle onde semilineare con un termine di non linearità logaritmica:
$$\partial_t^2 u - \Delta u = |u|^{p-1}u \ln^a(u^2 + 2), \quad (x, t) \in \mathbb{R}^n \times [0, T)$$
dove $n \ge 2$. L'analisi è condotta nel regime conforme, ovvero quando l'esponente di non linearità è critico:
$$p = p_c = 1 + \frac{4}{n-1}$$
Il parametro $a$ è reale. Il caso $a=0$ corrisponde all'equazione classica delle onde con potenza pura, mentre $a \neq 0$ rompe l'invarianza di scala dell'equazione.
L'obiettivo principale è determinare il tasso di blow-up per soluzioni che esplodono in un punto non caratteristico $x_0$, sotto l'ipotesi specifica che $a < 0$.

2. Metodologia e Strategie

L'autore utilizza il metodo delle variabili di similarità per trasformare il problema di blow-up in un problema di stabilità asintotica per $s \to +\infty$.

• Trasformazione di variabili:
  Per un punto di blow-up $x_0$ e un tempo $T_0 \le T(x_0)$, si introducono:
  $$y = \frac{x-x_0}{T_0-t}, \quad s = -\ln(T_0-t), \quad w(y,s) = (T_0-t)^{\frac{2}{p-1}} u(x,t)$$
  (Nota: Viene utilizzato un equivalente esplicito $\psi_{T_0}(t)$ invece della soluzione esatta dell'ODE associata, poiché quest'ultima non ha forma chiusa).
  L'equazione per $w$ diventa un'equazione differenziale parziale su una palla unitaria $B$ con coefficienti dipendenti dal tempo $s$ e termini perturbativi logaritmici.

• Costruzione di Funzionali di Lyapunov:
  La sfida principale risiede nel fatto che, nel regime conforme ($p=p_c$), il termine di dissipazione del funzionale di energia classico degenera al bordo della palla. Inoltre, la presenza del termine logaritmico con $a<0$ crea un regime "log-sottoconforme" che richiede nuove tecniche rispetto ai casi subconformi ($p < p_c$) già studiati in lavori precedenti.
  L'autore costruisce una gerarchia di funzionali:

  1. Stime esponenziali: Costruzione di un funzionale $H_\eta$ per ottenere stime grezze esponenziali sulla norma $H^1 \times L^2$.
  2. Identità di Pohozaev e nuovi funzionali: Introduzione di funzionali $M_\eta$ e $J_\eta$ derivati da moltiplicatori di Pohozaev per controllare i termini non lineari con pesi singolari vicino al bordo.
  3. Funzionale di Lyapunov principale ($L$): Costruzione di un funzionale $L(w(s), s)$ che combina l'energia $E$, un termine di correzione $J$ e un fattore esponenziale. Si dimostra che $L$ è decrescente per $s$ sufficientemente grande.
  4. Miglioramento delle stime (da lineari a limitate): A causa della dissipazione debole (legata al termine $1/s$), le stime iniziali sono lineari in $s$. L'autore introduce un nuovo funzionale energetico $E_0$ basato sul regime conforme puro per raffinare le stime, dimostrando che le medie temporali delle norme sono in realtà limitate (costanti), non crescenti.

3. Contributi Chiave

• Primo risultato nel regime critico non invariante: Questo è il primo lavoro che stabilisce il tasso di blow-up per un'equazione delle onde evolutiva nel regime conforme ($p=p_c$) dove l'invarianza di scala è rotta da un termine logaritmico.
• Gestione della dissipazione debole: Il paper affronta la difficoltà tecnica unica del regime conforme perturbato, dove la dissipazione è supportata su tutto il dominio ma è "debole" (preceduta da un fattore $1/s$). L'autore sviluppa argomenti energetici delicati per superare questo ostacolo.
• Estensione dei risultati subconformi: Estende i risultati noti per le perturbazioni logaritmiche (precedentemente validi solo per $p < p_c$) al caso critico $p = p_c$, dimostrando la persistenza del tipo di blow-up "Type I".
• Limitazione a $a < 0$: Viene evidenziato che il metodo funziona specificamente per $a < 0$ (regime log-sottoconforme). Per $a > 0$, la struttura del problema cambia (diventa log-sopraconforme) e le tecniche attuali non sono applicabili.

4. Risultati Principali

Il risultato centrale è la caratterizzazione del tasso di blow-up per soluzioni non caratteristiche.

Teorema 1 (Esistenza del funzionale di Lyapunov):
Esiste un funzionale $L(w(s), s)$ che è decrescente e non negativo per $s$ sufficientemente grande. Questo funzionale controlla l'energia della soluzione nelle variabili di similarità.

Teorema 2 (Tasso di Blow-up):
Per una soluzione $u$ con grafico di blow-up $\Gamma: x \mapsto T(x)$ e un punto non caratteristico $x_0$, esiste una costante $K$ tale che per $t$ vicino a $T(x_0)$:
$$0 < \varepsilon_0 \le \frac{\|u(t)\|_{L^2(B(x_0, T(x_0)-t))}}{(T(x_0)-t)^{\frac{n}{2}} \psi_{T(x_0)}(t)} + \dots \le K$$
dove $\psi_{T}(t) = (T-t)^{-\frac{2}{p-1}} (-\ln(T-t))^{-\frac{a}{p-1}}$.
In termini semplici, la soluzione esplode con un tasso Type I (governato dall'equazione differenziale ordinaria associata), ma con una correzione logaritmica specifica data da $a$. La soluzione si comporta asintoticamente come:
$$u(x,t) \sim \kappa_a (T(x_0)-t)^{-\frac{2}{p-1}} (-\ln(T(x_0)-t))^{-\frac{a}{p-1}}$$
Questo conferma che la dinamica di blow-up è dominata dall'ODE $v'' = |v|^{p-1}v \ln^a(v^2+2)$, nonostante la rottura dell'invarianza di scala.

5. Significato e Impatto

• Avanzamento Teorico: Il lavoro colma una lacuna significativa nella teoria delle equazioni delle onde non lineari, estendendo l'analisi dal caso subcritico a quello critico in presenza di non linearità non omogenee.
• Robustezza del Metodo: Dimostra che le tecniche di Lyapunov e le stime di interpolazione possono essere adattate per gestire perturbazioni logaritmiche anche nel caso critico, un regime storicamente molto più difficile a causa della degenerazione della dissipazione al bordo.
• Implicazioni Future: Fornisce un quadro metodologico per studiare altri problemi di blow-up in regimi non invariante di scala, suggerendo che il comportamento "Type I" è robusto anche in presenza di perturbazioni critiche, purché la perturbazione sia "sottoconforme" ($a<0$).

In sintesi, il paper risolve un problema aperto nella dinamica delle onde semilineari critiche con perturbazioni logaritmiche, stabilendo rigorosamente che il tasso di blow-up rimane di tipo ODE (Type I) con una correzione logaritmica precisa, attraverso la costruzione sofisticata di nuovi funzionali di Lyapunov.