Blow-up of solutions to the Euler-Poisson-Darbox equation with critical power nonlinearity

1. Il Problema Studiato

Il lavoro si concentra sul problema di Cauchy singolare per l'equazione di Euler-Poisson-Darboux (EPD) semilineare in $\mathbb{R}^n$ ($n \ge 1$), descritta dal sistema:
$$\begin{cases} u_{tt} - \Delta u + \frac{\mu}{t} u_t = t^\alpha |u|^p, & t > 0, \, x \in \mathbb{R}^n \\ u(0, x) = u_0(x), \quad u_t(0, x) = 0, & x \in \mathbb{R}^n \end{cases}$$
dove:

• $\mu > 0$ è un parametro che descrive l'effetto dello smorzamento (damping) singolare.
• $\alpha \ge 0$ e $p > 1$ sono gli esponenti non lineari.
• Il termine $\frac{\mu}{t} u_t$ introduce una singolarità al tempo iniziale $t=0$, rendendo il problema "singolare" rispetto alle equazioni d'onda standard.

L'obiettivo principale è stabilire risultati di blow-up (esplosione in tempo finito) e stimare la vita media (lifespan) delle soluzioni nel caso critico, ovvero quando l'esponente non lineare $p$ coincide con l'esponente critico di Strauss spostato, denotato come $p_S(n + \mu, \alpha)$. Questo esponente è definito come la radice positiva dell'equazione quadratica:
$$\gamma(n, \mu, \alpha, p) := 2 + (n + \mu + 1 + 2\alpha)p - (n + \mu - 1)p^2 = 0$$

2. Metodologia e Strumenti Tecnici

Gli autori adottano una strategia basata sul metodo delle funzioni di prova (test functions) e su argomenti iterativi, migliorando tecniche utilizzate in lavori precedenti per il caso subcritico.

• Costruzione della Funzione di Prova:
  A differenza del caso subcritico, per il caso critico è necessario ottenere una crescita logaritmica aggiuntiva. Gli autori costruiscono una funzione di prova $b_q(t, x)$ combinando:

  1. Una funzione radiale $\phi(x)$ legata all'operatore di Laplace.
  2. Una funzione $h(t)$ costruita tramite funzioni di Bessel modificate $K_{\frac{\mu-1}{2}}(t)$, che risolvono un'equazione differenziale ordinaria associata alla parte temporale dell'operatore EPD.
  3. Un'integrazione rispetto a un parametro di scala $\lambda$ (vedi equazione 46 nel testo): $b_q(t, x) = \int_0^1 h(\lambda t)\phi(\lambda x)\lambda^{q-1} d\lambda$.
     Questa costruzione permette di gestire la singolarità in $t=0$ sfruttando il comportamento asintotico e le relazioni di ricorrenza delle funzioni di Bessel.

• Funzionale di Blow-up:
  Viene introdotto un funzionale $Y(M)$ che include l'integrale spazio-temporale del termine non lineare pesato dalla funzione di prova. La chiave del successo risiede nel dimostrare un limite inferiore potenziato per questo funzionale, che include un termine di crescita logaritmica ($\ln M$).

• Gestione della Singolarità:
  Un ostacolo tecnico significativo è la presenza del coefficiente di smorzamento $\mu/t$ che diverge a $t=0$. Gli autori risolvono questo problema utilizzando le proprietà asintotiche di $K_{\frac{\mu-1}{2}}(t)$ per eliminare la singolarità durante l'integrazione per parti, garantendo che i termini al bordo siano ben definiti e non nulli grazie alla positività dei dati iniziali.

3. Risultati Principali

Il teorema principale (Teorema 1.2) stabilisce quanto segue:

• Ipotesi: Si assumono $n \ge 3$ (o $n=2$ con $\alpha > 0$), $0 < \mu \le \mu^*(n, \alpha)$ e $p = p_S(n + \mu, \alpha)$. I dati iniziali $u_0(x)$ sono positivi, appartengono a $H^1(\mathbb{R}^n)$ e hanno supporto compatto.
• Risultato di Blow-up: Esiste una costante $\varepsilon_0$ tale che, per dati iniziali piccoli proporzionali a $\varepsilon$, la soluzione di energia non esiste globalmente.
• Stima della Vita Media (Lifespan): Il tempo massimo di esistenza $T(\varepsilon)$ soddisfa la stima superiore:
  $$T(\varepsilon) \le \exp\left(C \varepsilon^{-p(p-1)}\right)$$
  dove $C$ è una costante positiva.

Questa stima esponenziale è tipica dei problemi critici, indicando che la soluzione vive molto più a lungo rispetto al caso subcritico (dove la vita media è polinomiale), avvicinandosi al comportamento di esistenza globale, ma esploso comunque in tempo finito.

4. Contributi Chiave e Innovazioni

1. Risposta a un Problema Aperto: Il lavoro fornisce una risposta parziale al "Problema Aperto 1" sollevato da D'Abbicco (2021) riguardante i risultati di blow-up per l'equazione EPD semilineare.
2. Estensione al Caso Critico: Mentre lavori precedenti (incluso quello recente degli stessi autori [10]) avevano trattato il caso subcritico, questo articolo affronta la difficoltà tecnica del caso critico, che è il confine tra blow-up ed esistenza globale.
3. Tecnica di Funzione di Prova Migliorata: L'uso di funzioni di Bessel modificate integrate su un parametro di scala permette di ottenere un comportamento asintotico ottimizzato e di eliminare le singolarità temporali, permettendo di derivare il termine logaritmico necessario per la stima del caso critico.
4. Condizioni sul Parametro $\mu$: Viene identificata una soglia $\mu^*(n, \alpha)$ che garantisce la validità dei risultati, collegando l'esponente di Strauss spostato all'esponente di Fujita.

5. Significato e Impatto

Questo studio è significativo per la teoria delle equazioni alle derivate parziali iperboliche non lineari con smorzamento singolare.

• Completezza Teorica: Contribuisce a colmare le lacune nella conoscenza completa dei risultati di blow-up per l'equazione EPD, un modello fisico importante per la propagazione del suono, la teoria delle superfici e i campi gravitazionali in collisione.
• Metodologia: La tecnica sviluppata per gestire la singolarità in $t=0$ e ottenere stime logaritmiche nel caso critico può essere adattata ad altri modelli d'onda con smorzamento dissipativo o termini sorgente singolari.
• Conferma della Congettura: Supporta l'ipotesi che $p_S(n + \mu, \alpha)$ sia effettivamente l'esponente critico per la vita media esponenziale nel regime $0 < \mu < \mu^*(n, \alpha)$, anche se l'esistenza globale per $p > p_S$ rimane un problema aperto per $n \ge 2$.

In sintesi, il paper dimostra rigorosamente che, anche nel caso critico, l'effetto della non linearità è sufficiente a causare l'esplosione delle soluzioni in tempo finito, fornendo una stima precisa della durata di tale esistenza.