Nonexistence for effectively damped waves with time-dependent mass

Sintesi Tecnica: Nonesistenza per onde con smorzamento efficace e massa dipendente dal tempo

Enunciato del Problema
Questo articolo investiga il problema di Cauchy per equazioni d'onda semilineari caratterizzate da uno smorzamento dipendente dal tempo e da un termine di massa dipendente dal tempo:
$$\begin{cases} u_{tt} - \Delta u + b(t)u_t + m^2(t)u = |u|^p, & t \ge 0, \, x \in \mathbb{R}^n, \\ u(0, x) = \varepsilon f(x), \quad u_t(0, x) = \varepsilon g(x), \end{cases}$$
dove $n \ge 1$, $p > 1$, e $\varepsilon > 0$. Lo smorzamento $b(t)$ è assunto come "efficace", e la massa $m(t)$ è dominata dallo smorzamento per $t \to \infty$.

Il lavoro precedente di D'Abbicco, Girardi e Reissig ha stabilito l'esistenza globale per piccoli dati per potenze supercritiche $p$ e ha identificato una scala critica $p_{\beta, \eta}(n) = 1 + \frac{2\eta}{n + 2\eta\beta}$ per dati iniziali in $L^\eta \cap H^1 \times L^\eta \cap L^2$ (con $1 \le \eta < 2$). Mentre avevano dimostrato la nonesistenza per la corrispondente equazione di diffusione non lineare nel range subcritico, il corrispondente risultato di nonesistenza per l'equazione d'onda rimaneva un problema aperto. Questo articolo affronta specificamente tale lacuna per il caso $\eta = 1$, con l'obiettivo di dimostrare la nonesistenza di soluzioni deboli globali per $1 < p < p_{\beta, 1}(n)$ e trattare il caso critico $p = p_{\beta, 1}(n)$.

Metodologia
Gli autori utilizzano un metodo a funzione di test modificato, basandosi sulla costruzione di un particolare moltiplicatore aggiunto positivo. Il nucleo della metodologia prevede:

1. Assunzioni sui Coefficienti: Oltre agli standard ipotesi di smorzamento efficace e di massa dominata (Ipotesi 1–2 dalla letteratura precedente), il saggio introduce due nuove condizioni:

   • Bilancio Intrinseco dell'Accumulo di Massa (Ipotesi 3): Questa controlla la deviazione dell'integrale di accumulo della massa $Q(t, r) = \int_r^t \frac{m^2(\tau)}{b(\tau)} d\tau$ dalla crescita logaritmica dettata dall'indice $\beta$. Essa definisce un "eccesso intrinseco" $\Omega_{\beta, T_0}(L)$ che deve essere finito.
   • Nonoscillazione Globale di Liouville (Ipotesi 4): Viene imposta la condizione $m^2(t) \le \frac{b^2(t)}{4} + \frac{b'(t)}{2}$ per garantire la non-oscillazione dell'equazione aggiunta.

2. Costruzione del Modo Aggiunto: Un passaggio tecnico chiave è la costruzione di una soluzione "lenta" globale positiva $\rho(t)$ per l'equazione aggiunta $\rho'' - (b\rho)' + m^2\rho = 0$.

   • Per tempi grandi, $\rho$ è costruita tramite un'equazione di Volterra terminale, ottenendo un comportamento asintotico proporzionale a $b(t)^{-1} e^{Q(t, T^*)}$.
   • Per l'intervallo iniziale compatto, la condizione di nonoscillazione di Liouville (Ipotesi 4) viene utilizzata per impedire alla soluzione di acquisire zeri, garantendo che $\rho(t) > 0$ globalmente.

3. Argomento della Funzione di Test: Utilizzando $\rho(t)$ come peso e una funzione di cutoff spazio-temporale $\psi_R$ basata sulla scala di diffusione $B(t)$, gli autori derivano una disuguaglianza fondamentale. Questa disuguaglianza mette in relazione il funzionale dei dati iniziali $J_0$ con gli integrali della soluzione $|u|^p$.

4. Argomento di Osgood: Applicando un lemma di tipo Osgood alla disuguaglianza derivata, gli autori stabiliscono le condizioni sotto le quali l'integrale della funzione di test deve divergere, portando a una contraddizione se esistesse una soluzione globale.

Risultati Principali
Il saggio stabilisce i seguenti teoremi principali:

• Nonesistenza nel Range Strettamente Subcritico: Se i dati iniziali soddisfano una condizione di segno ($J_0 > 0$) e l'eccesso intrinseco $\Omega_{\beta, T_0}$ è sublineare, non esistono soluzioni deboli globali per $1 < p < p_{\beta, 1}(n) = 1 + \frac{2}{n + 2\beta}$.
• Nonesistenza nel Caso Critico: Al esponente critico $p = p_{\beta, 1}(n)$, non esistono soluzioni deboli globali a condizione che l'integrale $\int^\infty \exp(-(p-1)\Omega_{\beta, T_0}(L)) dL$ diverga (una condizione di divergenza di Osgood).
• Stime sulla Durata della Vita (Lifespan): Per le soluzioni che esistono solo localmente, il saggio fornisce limiti superiori condizionali sulla durata della vita $T_\varepsilon$:
  • Per $1 < p < p_{\beta, 1}(n)$, $1 + B(T_\varepsilon) \le C(1 + \varepsilon^{-\frac{1}{\theta}})$ dove $\theta = \frac{1}{p-1} - \frac{n}{2} - \beta$.
  • Per $p = p_{\beta, 1}(n)$, $1 + B(T_\varepsilon) \le C \exp(C \varepsilon^{-(p-1)})$.
• Coefficienti Ammissibili: La Sezione 7 fornisce esempi espliciti di famiglie di coefficienti (decadimento/crescita polinomiale e razionale) che soddisfano sia le condizioni di esistenza di D'Abbicco et al. sia le condizioni di nonesistenza di questo saggio, dimostrando l'acutezza della scala derivata.

Significato e Rivendicazioni
Il saggio sostiene di risolvere un problema aperto riguardante la precisione della scala di esistenza per equazioni d'onda con smorzamento efficace e massa dipendente dal tempo. Nello specifico:

• Conferma che la scala $p_{\beta, 1}(n)$, precedentemente stabilita per l'esistenza globale, è effettivamente la soglia per la nonesistenza nel regime subcritico, rispecchiando il comportamento della corrispondente equazione di diffusione.
• La tecnica di prova è distinta in quanto non postula l'esistenza di un moltiplicatore aggiunto positivo, ma lo costruisce rigorosamente utilizzando la condizione di nonoscillazione di Liouville e un approccio di Volterra terminale.
• L'introduzione dell' "eccesso intrinseco" $\Omega_{\beta, T_0}$ permette un'analisi più raffinata dell'accumulo di massa, mostrando che l'indice inferiore $\beta$ da solo è insufficiente a controllare la soglia di nonesistenza senza ulteriori condizioni di bilancio.
• I risultati sono presentati come una risposta definitiva per la sottoclasse di coefficienti globalmente non oscillanti, colmando il divario tra il modello di confronto della diffusione e il corrispondente della funzione d'onda.

Gli autori mantengono un tono modesto, osservando che i loro risultati si applicano alla specifica sottoclasse di coefficienti che soddisfano la condizione di nonoscillazione di Liouville e il bilancio intrinseco, e che la prova si basa sul metodo della funzione di test modificata sviluppato nella letteratura precedente.