Results for blow-up and sharp lifespan estimates to a weakly coupled system of structurally damped wave equations with critical nonlinearities

Titolo e Contesto

Titolo: Risultati per l'esplosione (blow-up) e stime precise della vita media per un sistema debolmente accoppiato di equazioni d'onda con smorzamento strutturale e non linearità critiche.
Autori: Trung Loc Tang, Tuan Anh Dao, The Anh Cung.

1. Il Problema Studiato

Il lavoro si concentra sull'analisi di un sistema debolmente accoppiato di equazioni d'onda semilineari con smorzamento strutturale in $\mathbb{R}^n$. Il sistema è descritto dalle seguenti equazioni (1.7):

$$\begin{cases} u_{tt} - \Delta u + (-\Delta)^\sigma u_t = |v|^p \mu_1(|v|), \\ v_{tt} - \Delta v + (-\Delta)^\sigma v_t = |u|^q \mu_2(|u|), \end{cases}$$

con condizioni iniziali assegnate.
I parametri chiave sono:

• $\sigma \in [0, 1/2]$: Il parametro dello smorzamento strutturale. Il caso $\sigma \in [0, 1/2]$ è definito "smorzamento efficace" (comportamento simile a un'equazione parabolica), mentre $\sigma \in (1/2, 1]$ è "smorzamento non efficace". Gli autori si limitano al primo caso.
• Esponenti critici $p, q$: Gli esponenti di potenza appartengono alla curva critica definita da:
  $$\frac{1 + \max\{p, q\}}{pq - 1} = \frac{n - 2\sigma}{2}$$
• Moduli di continuità $\mu_1, \mu_2$: A differenza dei modelli classici con potenze pure ($|u|^p$), qui le non linearità includono funzioni $\mu(|u|)$ che aumentano la regolarità della non linearità. L'obiettivo è determinare le condizioni sharp (precise) su questi moduli per garantire l'esistenza globale o l'esplosione in tempo finito.

2. Metodologia

Gli autori utilizzano un approccio analitico sofisticato che combina tecniche di energia, disuguaglianze integrali e funzioni di prova (test functions) adattate alla natura non locale dell'operatore frazionario.

• Costruzione di Funzioni di Prova Non Compatte:
  Una delle principali difficoltà risiede nel fatto che l'operatore di Laplaciano frazionario $(-\Delta)^\sigma$ è non locale. Le funzioni di prova a supporto compatto usate in lavori precedenti (es. per $\sigma=0$) non sono sufficienti. Gli autori costruiscono nuove funzioni di prova $\phi_R(x, t)$ che non hanno supporto compatto, ma decadono in modo controllato, permettendo di gestire l'operatore frazionario tramite stime di scala.

  • Le funzioni spaziali $\phi(x)$ sono definite in modo da essere 1 per $|x| \le 1$ e decrescere come $(1+(|x|-1)^4)^{-1}$ per $|x| \ge 1$.
  • Vengono introdotte funzioni temporali $\eta(t)$ e le loro versioni scalate $\eta_R(t)$.

• Metodo delle Funzioni di Test (Test Function Method):
  Per dimostrare l'esplosione (Theorem 1.1), si moltiplicano le equazioni per le funzioni di prova $\phi_R$ e si integrano per parti. Si definiscono funzionali $I_R$ e $J_R$ legati alle soluzioni. Utilizzando le disuguaglianze di Jensen generalizzate e le proprietà di convessità delle funzioni non lineari modificate, si ricava un sistema di disuguaglianze differenziali ordinarie per funzionali ausiliari $G_p(R)$ e $G_q(R)$.

• Stime di Vita Media (Lifespan Estimates):
  Per ottenere le stime superiori e inferiori della vita media $T_\varepsilon$ (Theorem 1.2), si utilizza un metodo iterativo in spazi di Banach pesati ($Y_1(T), Y_2(T)$). Si introducono funzioni ausiliarie $\Psi(t)$ e $\psi(R)$ che dipendono dai moduli di continuità per quantificare esattamente quanto velocemente la soluzione diverge.

3. Contributi Chiave e Risultati Principali

A. Risultato di Esplosione (Blow-up)

Il Teorema 1.1 stabilisce condizioni necessarie e sufficienti per l'esplosione in tempo finito di soluzioni con dati iniziali piccoli.

• Condizione di Esplosione: Se l'integrale seguente diverge:
  $$\int_0^c \frac{1}{s} (\mu_1(s))^{\frac{q}{q+1}} (\mu_2(s))^{\frac{1}{q+1}} ds = \infty$$
  allora non esistono soluzioni globali di Sobolev.
• Significato: Questo risultato generalizza i risultati noti per $\sigma=0$ (Dao-Reissig) al caso frazionario $\sigma \in (0, 1/2]$. Fornisce esempi concreti di moduli di continuità (es. logaritmici) che portano all'esplosione.

B. Stime Sharp della Vita Media (Lifespan Estimates)

Il Teorema 1.2 fornisce stime precise per la vita media $T_\varepsilon$ della soluzione locale quando si verifica l'esplosione.

• Le stime dipendono dall'inversa di una funzione $\psi$ definita dall'integrale dei moduli di continuità.
• Caso $p = q$:
  $$T_\varepsilon \sim \left( \psi^{-1}(C \varepsilon^{-(p-1)}) \right)^{1-\sigma}$$
• Caso $p < q$:
  $$T_\varepsilon \sim \left( \psi^{-1}\left( C \varepsilon^{-\frac{q(pq-1)}{q+1}} \right) \right)^{1-\sigma}$$
• Novità: Il fattore $(1-\sigma)$ nella potenza esterna è cruciale e riflette l'influenza dello smorzamento strutturale frazionario sulla durata della soluzione. Quando $\sigma=0$, si recuperano i risultati classici; quando $\sigma > 0$, la vita media è significativamente influenzata dal parametro frazionario.

C. Esistenza Globale per Dati Piccoli

Il Teorema 2.2 dimostra che se l'integrale dei moduli di continuità converge (condizione opposta a quella di esplosione), allora esistono soluzioni globali per dati iniziali sufficientemente piccoli.

4. Significato e Impatto Scientifico

1. Generalizzazione del Caso Critico: Il lavoro risolve il problema aperto di determinare il comportamento critico per sistemi debolmente accoppiati con smorzamento strutturale frazionario ($\sigma \in (0, 1/2]$) e non linearità modificate da moduli di continuità.
2. Superamento delle Limitazioni Geometriche: L'introduzione di nuove funzioni di prova non compatte permette di trattare operatori non locali ($(-\Delta)^\sigma$) in modo rigoroso, superando le limitazioni dei metodi precedenti basati su supporti compatti.
3. Precisione delle Stime: Le stime della vita media sono "sharp" (affilate), il che significa che catturano esattamente la dipendenza dal parametro di piccolazza $\varepsilon$ e dai moduli di continuità $\mu$. Questo è fondamentale per comprendere la stabilità delle soluzioni in modelli fisici reali dove la non linearità non è una semplice potenza.
4. Distinzione tra Modelli Parabolici e Iperbolici: Il lavoro conferma e quantifica matematicamente la differenza di comportamento tra modelli con smorzamento efficace ($\sigma \le 1/2$) e non efficace, fornendo una base solida per studi futuri su equazioni di evoluzione $\sigma$-evolution.

In conclusione, questo articolo rappresenta un avanzamento significativo nella teoria delle equazioni alle derivate parziali non lineari, fornendo un quadro completo (esistenza globale vs. esplosione e stime temporali precise) per una classe di sistemi d'onda con smorzamento strutturale e non linearità critiche modificate.