Gradient blowup of smooth vacuum solutions to 1D compressible Euler equations

1. Enunciato del Problema

Il lavoro indaga le equazioni di Eulero comprimibili isentropiche in una dimensione per un gas politropico ($p = \rho^\gamma$) nel dominio del semipiano $\Omega = \{x > 0\}$. Il fluido è in contatto con un bordo di vuoto stazionario in $x=0$.

• Equazioni Governative: Il sistema è scritto in termini di densità $\rho$, velocità $u$ e velocità del suono $c$:
  $$\rho_t + (\rho u)_x = 0, \quad (\rho u)_t + (\rho u^2 + p)_x = 0$$
  Nella regione non vuota, ciò è equivalente a un sistema per la velocità $u$ e la velocità del suono $c$.
• Condizioni al Bordo: Il bordo di vuoto è stazionario ($x=0$) con $c(t,0)=0$ e $u(t,0)=0$.
• Il Fenomeno: Gli autori studiano l'esplosione del gradiente (perdita di regolarità) che si verifica al bordo di vuoto in tempo finito. Nello specifico, costruiscono soluzioni inizialmente lisce (nello specifico $C^{\lfloor \beta \rfloor, \beta-\lfloor \beta \rfloor}$) e a quadrato integrabile, che evolvono diventando solo $C^{1-\mu}$ Hölder continue vicino al bordo al tempo di esplosione $t=0$, dove le derivate prime della velocità e della velocità del suono divergono.
• Parametro di Regolarità: La regolarità è caratterizzata da $\mu \in [1/2, 1)$ e $\beta = \frac{1}{1-\mu} \geq 2$. Il caso $\mu = 1/2$ corrisponde al profilo più stabile (relativo alla singolarità a cuspo $C^{1/3}$ nell'equazione di Burgers).

2. Metodologia

La dimostrazione si basa su un'analisi di stabilità delle soluzioni autosimili costruite in un lavoro precedente [27]. La metodologia coinvolge diversi passaggi sofisticati:

A. Riformulazione Autosimile

Gli autori utilizzano la simmetria di scala delle equazioni di Eulero per introdurre variabili autosimili $(\tau, y)$:
$$\tau = -\log(\mu(-t)), \quad y = \frac{x}{(-t)^\delta}$$
dove $\delta = 1/\mu$. Il sistema è trasformato in un insieme di equazioni per gli invarianti di Riemann $(\hat{z}, \hat{w})$. Le soluzioni autosimili costruite in [27] appaiono come stati stazionari $(\bar{z}, 0)$ in queste variabili.

B. Localizzazione e Costruzione del Profilo

Poiché le soluzioni autosimili sono illimitate nel campo lontano, gli autori costruiscono un profilo localizzato $\mathring{z} = \chi \bar{z}$ utilizzando una funzione di taglio dipendente dal tempo $\chi$. Questo taglio è trasportato dalla velocità caratteristica del flusso di fondo per garantire che i termini di errore decadano in modo appropriato.

C. Decomposizione delle Perturbazioni

La soluzione è decomposta in tre parti:

1. Il Profilo: La soluzione autosimile localizzata $\mathring{z}$.
2. Termini di Modulazione: Una somma finita di polinomi in $y$ con coefficienti dipendenti dal tempo $(z_i(\tau), w_i(\tau))$. Questi coefficienti corrispondono allo sviluppo di Taylor della soluzione nell'origine.
3. Residuo: Componenti ad alta frequenza $(Z, W)$ che si annullano al bordo fino a un ordine elevato ($n_\mu - 1$).

La decomposizione è:
$$\hat{z} = \mathring{z} + \sum_{i=2}^{n_\mu-1} \phi(y) \frac{z_i(\tau)}{i!} y^i + Z, \quad \hat{w} = \sum_{i=2}^{n_\mu-1} \phi(y) \frac{w_i(\tau)}{i!} y^i + W$$

D. Analisi della Modulazione (Sistema di ODE)

I coefficienti $(z_i, w_i)$ soddisfano un sistema di equazioni differenziali ordinarie derivato imponendo condizioni di annullamento sulle derivate di ordine superiore al bordo.

• Stabilità: Gli autori identificano una varietà stabile a dimensione finita per queste ODE. Per prevenire la crescita esponenziale (instabilità) guidata da termini anti-smorzamento, i dati iniziali devono soddisfare vincoli algebrici specifici (relazioni polinomiali tra $z_i$ e $w_i$).
• Simmetrie: I vincoli $z_1 = w_1 = 0$ rimuovono le simmetrie di traslazione temporale e spaziale, fissando il tempo di esplosione a $t=0$.

E. Stime Energetiche per il Residuo

Per il residuo $(Z, W)$, gli autori eseguono un'analisi rigorosa di stabilità non lineare utilizzando argomenti di bootstrap e stime energetiche:

• Pesature Singolari: Impiegano spazi $L^2$ pesati con pesi singolari $y^{-n_\mu}$ per gestire la degenerazione al bordo di vuoto.
• Stime di Ordine Superiore: Derivano stime in $\dot{H}^{n_\mu}$ (spazi di Sobolev) per controllare la regolarità.
• Dissipazione: L'operatore linearizzato attorno al profilo esibisce una dissipatività stretta per le alte frequenze a causa della velocità di trasporto e della scelta specifica dell'indice di regolarità $n_\mu$.
• Gestione di $\beta$ non intero: Viene prestata particolare attenzione quando $\beta$ non è un intero (cioè $\mu \notin S$), dove il profilo ha regolarità limitata. Nei casi in cui $\beta$ è un semi-intero, viene imposto un vincolo aggiuntivo $w_2 = 0$ per evitare singolarità non integrabili nei termini di interazione.

3. Contributi e Risultati Chiave

Teorema Principale (Teorema 1.1 e 2.7)

Gli autori dimostrano l'esistenza di una grande classe di dati iniziali lisci, a quadrato integrabile e non autosimili che evolvono in soluzioni che esibiscono un'esplosione del gradiente al bordo di vuoto stazionario.

• Transizione di Regolarità: Le soluzioni iniziano come $C^{\lfloor \beta \rfloor, \beta-\lfloor \beta \rfloor}$ e transitano a $C^{1-\mu}$ a $t=0$.
• Tasso di Esplosione: Vicino al punto di esplosione $(0,0)$, la velocità e la velocità del suono si comportano asintoticamente come:
  $$u(t, x) \sim -\tilde{a} x^{1-\mu}, \quad c(t, x) \sim \tilde{b} x^{1-\mu}$$
  portando a gradienti illimitati $\partial_x u, \partial_x c \to \infty$.
• Codimensione Finita: L'insieme dei dati iniziali che porta a questo specifico scenario di esplosione forma un sottoinsieme a codimensione finita dello spazio di Sobolev $H^{n_\mu}$.
  • La codimensione è $\lfloor \beta + 1 \rfloor$ per $\mu$ generico.
  • Per $\mu = 1/2$, la codimensione è 3, corrispondente alle tre simmetrie (traslazione temporale, boost galileiano, scala).
  • Per $\mu \in H$ (semi-intero $\beta$), è richiesto un vincolo aggiuntivo $w_2=0$, aumentando la codimensione.

Innovazioni Tecniche

1. Stabilità delle Soluzioni Autosimili: Questa è la prima dimostrazione rigorosa della stabilità delle soluzioni autosimili di "tempo di attesa" per le equazioni di Eulero comprimibili con un bordo di vuoto stazionario, estendendo risultati precedenti sull'equazione di Burgers.
2. Gestione dei Bordi Stazionari: A differenza dei problemi a bordo libero dove il vuoto si muove, questo lavoro gestisce il caso in cui il bordo è fisso ($u=0$ in $x=0$) ma il gradiente esplode, richiedendo un'attenta analisi dell'interazione tra la condizione al bordo e il profilo autosimile.
3. Modulazione con Pesature Singolari: Lo sviluppo di stime energetiche con pesi singolari $y^{-n_\mu}$ combinato con la teoria della modulazione per controllare i modi a bassa frequenza vicino alla singolarità.

4. Significato

• Fisica Matematica: Il lavoro risolve una domanda di lunga data sulla genericità dell'esplosione del gradiente nei flussi di Eulero nel vuoto. Dimostra che l'esplosione del gradiente non è solo una caratteristica di soluzioni autosimili speciali, ma è stabile sotto perturbazioni di una grande classe di dati iniziali lisci.
• Connessione con l'Equazione di Burgers: I risultati forniscono un collegamento rigoroso tra la formazione di singolarità a cuspo nell'equazione di Burgers e il sistema più complesso di Eulero comprimibile, validando l'uso dei profili di Burgers come modelli di base per la formazione di singolarità nella dinamica dei gas.
• Dinamica del Bordo di Vuoto: Chiarisce il comportamento del fenomeno del "tempo di attesa", mostrando che anche con una condizione al bordo stazionaria, il sistema può evolvere naturalmente verso uno stato di vuoto fisico (dove il bordo inizierebbe a muoversi) se la regolarità viene persa, o mantenere lo stato stazionario con gradienti infiniti.
• Direzioni Future: Il lavoro prepara il terreno per lo studio della continuazione di queste soluzioni oltre il tempo di esplosione, potenzialmente portando alla formazione di bordi liberi o discontinuità deboli, un problema lasciato per studi futuri.

In sintesi, questo lavoro fornisce un quadro matematico rigoroso per comprendere come dati iniziali lisci e fisicamente rilevanti nella dinamica dei gas possano evolvere in stati singolari con gradienti infiniti al bordo di vuoto, stabilendo la stabilità di queste singolarità contro le perturbazioni.