Universality in the Low Mach number limit via a convex integration framework

Sintesi Tecnica: Universalità nel Limite del Basso Numero di Mach tramite un Framework di Integrazione Convessa

Enunciato del Problema
Il saggio investiga il limite del basso numero di Mach delle equazioni di Eulero comprimibili, un limite singolare in cui il numero di Mach $\delta$ tende a zero. Fisicamente, questo regime descrive flussi fluidi in cui le velocità sono piccole rispetto alla velocità del suono, portando a variazioni di densità trascurabili e a un comportamento incomprimibile. Matematicamente, l'obiettivo è giustificare la transizione dal sistema di Eulero comprimibile (1.1) al sistema di Eulero incomprimibile (1.2).

Mentre lavori precedenti (ad es. Ebin; Klainerman–Majda) hanno stabilito questo limite per dati iniziali regolari e ben preparati, estensioni successive hanno affrontato dati non ben preparati e soluzioni deboli utilizzando metodi di compattezza o di entropia relativa; tuttavia, tali approcci tipicamente filtrano comportamenti altamente oscillatori o turbolenti. Una questione centrale rimane: il sistema incomprimibile è un "attrattore universale" nel contesto delle soluzioni deboli? Specificamente, ogni soluzione debole incomprimibile può essere realizzata come limite forte di una sequenza di soluzioni deboli del sistema comprimibile, anche quando le soluzioni comprimibili esibiscono la non-unicità e la turbolenza consentite dall'integrazione convessa?

Metodologia
Gli autori impiegano un framework di integrazione convessa raffinato, basandosi sul loro lavoro precedente [5] che ha stabilito la non-unicità per i sistemi di Eulero incomprimibile e incomprimibile isentropico. La strategia procede in tre fasi concettuali:

1. Costruzione della Sottosoluzione: Partendo da una arbitraria soluzione debole $u$ delle equazioni di Eulero incomprimibile, gli autori costruiscono una sottosoluzione incomprimibile regolare $(u_\varepsilon, \pi_\varepsilon, R_\varepsilon)$ a un sistema rilassato, dove $R_\varepsilon$ è un tensore dello stress di Reynolds positivo definito. Questa viene poi elevata a una corrispondente sottosoluzione comprimibile $(\rho_\delta, V_\delta, R_\delta)$ per le equazioni comprimibili riscalate (1.3). Questo "lifting" assicura che la densità $\rho_\delta$ rimanga vicina a 1 e che lo stress di Reynolds rimanga positivo definito.

2. Integrazione Convessa Raffinata: L'innovazione centrale consiste nel modificare lo schema standard di integrazione convessa. Gli autori introducono un nuovo vincolo di tipo $L^2$ sull'insieme delle perturbazioni ammissibili. Nello specifico, le perturbazioni $\tilde{V}$ devono soddisfare:
   $$\left| \int V_\delta \cdot \tilde{V} \, \frac{dx dt}{\rho_\delta} \right| \leq \frac{1}{8} \int \frac{|\tilde{V}|^2}{\rho_\delta} \, dx dt$$
   Questo vincolo è assente nelle precedenti teorie di integrazione convessa $L^\infty$ (che si basano sul teorema della categoria di Baire), ma è naturalmente allineato con le teorie $C^\alpha$.

3. Stime Uniformi e Convergenza: Imponendo questo vincolo, gli autori derivano una stima di energia uniforme (Proposizione 3.1) mostrando che l'energia cinetica delle perturbazioni è controllata dalla traccia del tensore dello stress di Reynolds:
   $$\int \frac{|\tilde{V}|^2}{\rho_\delta} \, dx dt \leq C \int \text{tr}(R_\delta) \, dx dt$$
   Poiché la costruzione della sottosoluzione assicura che $\text{tr}(R_\delta) = O(\delta)$, questa stima tempera le oscillazioni turbolente uniformemente rispetto al numero di Mach $\delta$. Tale controllo è cruciale per dimostrare la convergenza forte quando $\delta \to 0$.

Contributi Chiave

• Risultato dell'Attrattore Universale: Il saggio dimostra che il sistema incomprimibile agisce come un attrattore universale per il sistema comprimibile all'interno del framework di integrazione convessa. Per ogni data soluzione debole $L^2$ delle equazioni di Eulero incomprimibile, esiste una famiglia di dati iniziali per il sistema comprimibile tale che le risultanti soluzioni deboli convergano fortemente alla data soluzione incomprimibile al diminuire del numero di Mach.
• Nuovo Vincolo per la Teoria $L^\infty$: L'introduzione del vincolo di tipo $L^2$ (1.4) nella non-costruttiva teoria di integrazione convessa $L^\infty$ rappresenta un significativo avanzamento tecnico. Essa colma il divario tra il controllo delle perturbazioni turbolente tramite il tensore di Reynolds (precedentemente visto nei contesti $C^\alpha$) e l'approccio della categoria di Baire utilizzato per le soluzioni $L^\infty$.
• Generalità nell'Esponente Adiabatico: A differenza di precedenti risultati di integrazione convessa per flussi comprimibili che richiedevano vincoli sull'esponente adiabatico $\gamma$ (ad es. $1 < \gamma \leq 1 + 2/n$) per soddisfare le disuguaglianze di energia, questo risultato è valido per l'intero intervallo $\gamma > 1$ poiché la disuguaglianza di energia non è imposta come criterio di ammissibilità.

Risultati Principali
Il teorema principale (Teorema 1.1) afferma che per dimensioni $n=2$ o $3$ e per ogni $\gamma > 1$, dati una soluzione debole $u$ delle equazioni di Eulero incomprimibile con dati iniziali $u_0 \in L^2$, esiste una famiglia di dati iniziali $(\rho_\delta^0, m_\delta^0)$ per le equazioni di Eulero riscalate comprimibili. Per ogni numero di Mach $\delta$ sufficientemente piccolo, esistono infinitamente molte soluzioni deboli al sistema emananti da tali dati. Quando $\delta \to 0$:

• La densità $\rho_\delta$ converge a 1 in $C^0$.
• Il momento $\rho_\delta v_\delta$ converge fortemente a $u$ in $L^2(0, T; L^2)$.
• Il momento iniziale $m_\delta^0$ converge debolmente a $u_0$ in $L^2$.

Significatività
Il saggio sostiene di fornire una rigorosa giustificazione matematica della robustezza dell'approssimazione incomprimibile. Dimostra che qualsiasi campo di flusso a grande scala e privo di divergenza può emergere come la descrizione efficace e mediata di un fluido comprimibile nel regime del basso numero di Mach, indipendentemente dalla dinamica oscillatoria a piccola scala e non univoca modellata dall'integrazione convessa. Ciò stabilisce una nuova forma di universalità per i limiti singolari, spostando il paradigma analitico dall'investigare se una specifica famiglia di soluzioni comprimibili converga al compito di provare costruttivamente che qualsiasi soluzione debole incomprimibile può essere targetizzata e approssimata da soluzioni deboli comprimibili.