The global well-posedness of the multi-dimensional compressible Euler system with damping in the $L^p$ critical Besov spaces for $p<2$

Titolo del Lavoro

Globalità ben-posta del sistema di Euler comprimibile multi-dimensionale con smorzamento negli spazi di Besov critici $L^p$ per $p < 2$.

1. Il Problema Studiato

Il lavoro si concentra sul problema di Cauchy per il sistema di Euler comprimibile con smorzamento lineare, un modello matematico che descrive il flusso di gas attraverso un mezzo poroso, dove la matrice solida esercita una forza di attrito proporzionale e opposta alla quantità di moto del fluido.

Il sistema governante è dato da:
$$\begin{cases} \partial_t \rho + \text{div}(\rho u) = 0 \\ \partial_t (\rho u) + \nabla \cdot (\rho u \otimes u) + \nabla P(\rho) + \alpha \rho u = 0 \end{cases}$$
dove $\rho$ è la densità, $u$ la velocità, $P(\rho)$ la pressione (liscia attorno a una densità di riferimento $\bar{\rho}$) e $\alpha > 0$ il coefficiente di smorzamento.

L'obiettivo principale è stabilire la ben-postezza globale nel tempo (esistenza, unicità e dipendenza continua dai dati iniziali) delle soluzioni in spazi di Besov critici di tipo $L^p$ per il caso in cui $1 \le p < 2$.
Fino a questo lavoro, i risultati esistenti (es. Crin-Barat, Danchin, Xu, Wang) erano limitati al caso $p \ge 2$ o a spazi ibridi $L^2-L^p$ con $p \ge 2$. La domanda aperta era se questi risultati potessero essere estesi al caso $p < 2$, che corrisponde a dati iniziali più singolari e concentrati (rilevanti per sorgenti puntuali o filamenti di vortice).

2. Metodologia e Strumenti Tecnici

Gli autori adottano un approccio basato sull'analisi di Fourier e sugli spazi di Besov omogenei, introducendo una trasformazione delle variabili e una strategia di stime a priori divisa in frequenze.

A. Trasformazione delle Variabili

Viene introdotta una nuova incognita, l'entalpia $n(\rho) \approx \int_1^\rho \frac{P'(s)}{s} ds$, e si riscrive il sistema in termini di $(n, v)$ (dove $v$ è la velocità). Il sistema diventa:
$$\begin{cases} \partial_t n + v \cdot \nabla n + P'(\bar{\rho})\text{div}v + G(n)\text{div}v = 0 \\ \partial_t v + v \cdot \nabla v + \nabla n = -\frac{1}{\varepsilon}v \end{cases}$$
dove $\varepsilon$ è legato al coefficiente di smorzamento.

B. Definizione degli Spazi e Soglia di Frequenza

Lo spazio delle soluzioni $E^J_\varepsilon$ è definito utilizzando una soglia di frequenza $J_\varepsilon = -[\log_2 \varepsilon] + k$.

• Basse frequenze ($j \le J_\varepsilon$): Analizzate nello spazio $L^p$ (critico per $p < 2$).
• Alte frequenze ($j > J_\varepsilon$): Analizzate nello spazio $L^2$.
  Questa struttura "ibrida" è cruciale per gestire la dissipazione e la regolarità in modo diverso a seconda della scala.

C. La Nuova Stima di Prodotto (Lemma 2.1)

Il cuore tecnico del lavoro è la dimostrazione di una nuova stima di prodotto negli spazi di Besov ibridi $L^p-L^2$.
Per $1 \le p < 2$ e $0 < s_1 < d/2$, gli autori dimostrano:
$$\|ab\|_{\dot{B}^{s_1}_{p,1}}^{\ell, J_\varepsilon} \lesssim \left( \|b\|_{\dot{B}^{s_1}_{p,1}}^{\ell, J_\varepsilon} + 2^{(s_1 - d/p)J_\varepsilon} \|b\|_{\dot{B}^{d/2}_{2,1}}^{h, J_\varepsilon} \right) \|a\|_{\dot{B}^{d/2}_{2,1}}$$
Questa disuguaglianza permette di controllare i termini non lineari (come $v \cdot \nabla n$) quando uno dei fattori appartiene a uno spazio con regolarità diversa, sfruttando la separazione tra basse e alte frequenze.

D. Strategie di Stima A Priori

La prova si divide in due fasi principali per ottenere stime globali:

1. Stime a basse frequenze ($L^p$): Si introduce una "velocità efficace" $z = \varepsilon^{-1}v + \nabla n$. L'equazione per $n$ diventa di tipo parabolico (calore) e quella per $z$ è smorzata. Si utilizzano le stime standard per equazioni di calore e smorzate, combinando la nuova stima di prodotto (Lemma 2.1) per gestire i termini non lineari. Lo smorzamento di ordine zero gioca un ruolo fondamentale qui.
2. Stime ad alte frequenze ($L^2$): Poiché i sistemi iperbolici senza termini di ordine zero sono mal-posti in $L^p$ ($p \neq 2$), si utilizza un metodo energetico classico nello spazio $L^2$. Si costruisce un funzionale di Lyapunov per controllare l'energia delle alte frequenze, sfruttando la dissipazione intrinseca del sistema.

3. Risultati Principali

Il Teorema 1.1 afferma che:
Sotto l'ipotesi $1 \le p < 2$ e $d \ge 1$, esiste una costante $\delta_1 > 0$ tale che se i dati iniziali $(n_0, v_0)$ sono sufficientemente piccoli nella norma mista:
$$\|(n_0, v_0)\|_{\dot{B}^{d/p}_{p,1}}^{\ell, J_\varepsilon} + \varepsilon \|(n_0, v_0)\|_{\dot{B}^{d/2+1}_{2,1}}^{h, J_\varepsilon} \le \delta_1$$
allora il problema di Cauchy ammette una soluzione globale unica e uniforme (valida per ogni $\varepsilon > 0$) nello spazio $E^\infty$.

4. Contributi Chiave

1. Estensione del range di $p$: Il lavoro risolve la questione aperta estendendo i risultati di ben-postezza globale dal caso $p \ge 2$ al caso $p < 2$. Questo è un risultato significativo perché gli spazi $L^p$ con $p < 2$ contengono dati più singolari.
2. Nuovo strumento analitico: La dimostrazione del Lemma 2.1 (stima di prodotto in spazi ibridi) è un contributo tecnico originale che supera le difficoltà legate alla non linearità quando si lavora con $p < 2$.
3. Unificazione del framework: Il metodo dimostra che i risultati precedenti (ottenuti per $p \ge 2$) sono validi anche per $p < 2$, confermando la robustezza del modello di Euler smorzato in spazi critici.

5. Significato e Implicazioni

• Fisica Matematica: La possibilità di lavorare con $p < 2$ è fondamentale per modellare fenomeni fisici reali dove i dati iniziali possono essere molto concentrati (es. sorgenti puntuali, vortici filamentosi), che non appartengono agli spazi $L^2$ classici ma rientrano in spazi $L^p$ con $p < 2$.
• Versatilità del Metodo: Gli autori notano che la nuova stima di prodotto sviluppata non è limitata al sistema di Euler. Può essere applicata ad altri sistemi, come:
  • Sistemi di chemiotassi iperbolico-parabolici.
  • Equazioni di Navier-Stokes nel framework $L^p-L^2$ per $p < 2$.
• Limite di Rilassamento: Il risultato garantisce che il limite di rilassamento (convergenza verso l'equazione dei mezzi porosi) può essere effettuato anche per $p < 2$, estendendo i risultati di lavori precedenti come [5].

In sintesi, questo paper rappresenta un avanzamento teorico significativo nella teoria delle equazioni alle derivate parziali iperboliche dissipative, colmando un vuoto nella teoria degli spazi di Besov critici per valori di $p$ inferiori a 2.