Critical exponent for semilinear damped wave equations with weighted nonlinear terms and data from Sobolev spaces of negative order

Sintesi Tecnica: Esponente Critico per Equazioni d'Onda Smorzate Semilineari con Termini Non Lineari Pesati e Dati da Spazi di Sobolev di Ordine Negativo

Enunciato del Problema
Questo articolo investiga il problema di Cauchy per equazioni d'onda smorzate semilineari caratterizzate da termini non lineari pesati con singolarità di tipo Coulomb e dati iniziali appartenenti a spazi di Sobolev di ordine negativo. L'equazione specifica sotto esame è:
$$\begin{cases} u_{tt}(t, x) - \Delta u(t, x) + u_t(t, x) = |x|^{-\alpha}|u(t, x)|^p, & x \in \mathbb{R}^n, t > 0, \\ u(0, x) = \varepsilon u_0(x), \quad u_t(0, x) = \varepsilon u_1(x), & x \in \mathbb{R}^n, \end{cases}$$
dove $p > 1$, $\alpha \geq 0$, e i dati iniziali $(u_0, u_1)$ appartengono al prodotto di spazi $\dot{H}^{-\beta}(\mathbb{R}^n) \times \dot{H}^{-\beta}(\mathbb{R}^n)$ con $\beta \geq 0$. Il parametro $\varepsilon > 0$ rappresenta la grandezza dei dati iniziali. Gli autori mirano a determinare l'esponente critico $p_c(\alpha, \beta, n)$ che separa l'esistenza globale di soluzioni per piccoli dati dal blow-up (esplosione) in tempo finito di soluzioni deboli, e a derivare stime sulla durata della vita (lifespan) nel caso subcritico.

Metodologia
Gli autori impiegano una combinazione di stime di decadimento lineare, argomenti di punto fisso e metodi di funzione di test.

1. Stime di Decadimento Lineare: L'analisi inizia con l'equazione d'onda smorzata lineare. Gli autori utilizzano la trasformata di Fourier per derivare stime di decadimento $L^m-L^q$ nette per i kernel lineari $K(t, x)$ e le loro derivate temporali. Queste stime collegano la struttura diffusiva dell'equazione d'onda smorzata con l'equazione del calore, mostrando che le soluzioni decadono in modo simile alle soluzioni dell'equazione del calore per $t \to \infty$.
2. Esistenza Globale (Piccoli Dati): Per il risultato di esistenza globale, gli autori definiscono uno spazio funzionale appropriato $X(T)$ dotato di norme pesate nel tempo che coinvolgono i tassi di decadimento derivati dalla teoria lineare. Costruiscono una mappa di soluzione $\Phi$ utilizzando il principio di Duhamel e applicano il teorema del punto fisso di Banach.
   • Per gestire la singolarità $|x|^{-\alpha}$ nella non linearità, gli autori utilizzano la disuguaglianza di Caffarelli-Kohn-Nirenberg (Proposizione 2.2) per controllare il tasso di decadimento del termine pesato.
   • La disuguaglianza di Hardy-Littlewood-Sobolev è utilizzata per gestire gli spazi di Sobolev di ordine negativo.
   • La prova si basa sull'instaurare proprietà di contrazione per l'operatore $\Phi$ sotto specifiche condizioni su $p$, $\alpha$ e $\beta$.
3. Risultato di Blow-up: Per la non esistenza di soluzioni globali, gli autori utilizzano il metodo della funzione di test. Costruiscono una specifica funzione di test $\Phi_R(t, x)$ che coinvolge una funzione di cut-off nel tempo e un peso spaziale correlato alla singolarità. Integrando la formulazione debole rispetto a questa funzione di test e applicando la disuguaglianza di Hölder, derivano una contraddizione per $R$ grande quando $p$ è al di sotto della soglia critica.
4. Stime sulla Durata della Vita (Lifespan): Nel caso subcritico ($1 < p < p_c$), gli autori derivano sia i limiti inferiori che quelli superiori per la durata della vita $T_{\alpha, \beta}(\varepsilon)$. Il limite inferiore è ottenuto analizzando la condizione di contrazione nell'argomento del punto fisso, mentre il limite superiore è raffinato utilizzando il metodo della funzione di test con correzioni logaritmiche.

Contributi Chiave e Risultati

• Determinazione dell'Esponente Critico: Il risultato primario è l'identificazione dell'esponente critico per l'equazione d'onda smorzata pesata con dati di ordine negativo:
  $$p_c(\alpha, \beta, n) := 1 + \frac{4 - 2\alpha}{n + 2\beta}$$
  Questa formula è valida per dimensioni $1 \leq n \leq 4$ e parametri $0 \leq \alpha, \beta < n/2$. Gli autori dimostrano che il peso $|x|^{-\alpha}$ e l'ordine negativo $\beta$ spostano entrambi l'esponente critico verso sinistra rispetto allo standard esponente di Fujita ($1 + 2/n$) o al caso $\alpha=0$.

• Teorema di Esistenza Globale (Teorema 1.1): Per $p \geq p_c(\alpha, \beta, n)$, gli autori provano l'esistenza di una soluzione globale unica per dati iniziali $\varepsilon$ sufficientemente piccoli. La soluzione appartiene a $C([0, \infty), H^1)$ e soddisfa specifiche stime di decadimento temporale:
  $$\|u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{\beta}{2}}, \quad \|\nabla u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{1+\beta}{2}}.$$
  Vengono fornite ulteriori restrizioni su $p$ per le dimensioni $n=3, 4$ per garantire la validità degli embedding di Sobolev e delle disuguaglianze utilizzate.

• Teorema di Blow-up (Teorema 1.2): Per $1 < p < p_c(\alpha, \beta, n)$, gli autori provano che non esiste alcuna soluzione debole globale, anche per piccoli dati, a patto che i dati iniziali soddisfino una specifica condizione di limite inferiore che coinvolge il decadimento logaritmico.

• Stime sulla Durata della Vita: Nel regime subcritico, la durata della vita $T_{\alpha, \beta}(\varepsilon)$ è stimata come:
  $$\varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} \lesssim T_{\alpha, \beta}(\varepsilon) \lesssim \varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} (\log(\varepsilon^{-1}))^{\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}}.$$
  Gli autori notano che la presenza del peso $|x|^{-\alpha}$ contribuisce ad aumentare la durata della vita delle soluzioni di blow-up rispetto al caso non pesato.

• Corollari per Dati basati su $L^m$: Gli autori estendono i loro risultati a dati iniziali in $\dot{H}^{-\bar{\beta}}_m \times \dot{H}^{-\bar{\beta}}_m$ per $m \in (1, 2]$, derivando un corrispondente esponente critico $p_c(\alpha, \bar{\beta} + \theta(m), n)$.

Significatività e Rivendicazioni
L'articolo sostiene di estendere i risultati precedenti sulle equazioni d'onda smorzate semilineari incorporando simultaneamente due generalizzazioni:

1. Non Linearità Pesata: Affrontare la singolarità di tipo Coulomb $|x|^{-\alpha}$, che era stata studiata isolatamente (ad esempio in [26] per $\beta=0$) ma non combinata con dati di ordine negativo in questo specifico framework.
2. Dati di Ordine Negativo: Estendere lo spazio dei dati iniziali a $\dot{H}^{-\beta}$, costruendo sul lavoro di [5] e [8] che consideravano $\alpha=0$.

Gli autori affermano che i loro risultati generalizzano le scoperte di [5, 8, 26]. Nello specifico, mostrano che l'esponente critico è spostato sia dalla forza della singolarità $\alpha$ che dal deficit di regolarità $\beta$. Il lavoro evidenzia anche un miglioramento nella stima del limite superiore per la durata della vita rispetto ai lavori precedenti (specificamente [15, Teorema 1.8]) nel caso $\alpha = \beta = 0$, includendo un fattore di correzione logaritmica. Il lavoro è presentato come un'analisi matematica rigorosa che stabilisce la soglia tra esistenza globale e blow-up per questa specifica classe di equazioni.