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

Technische Samenvatting: Universaliteit in de limiet van lage Mach-getallen via een convex integratiekader

Probleemstelling
Het artikel onderzoekt de limiet van lage Mach-getallen van de samendrukbare Euler-vergelijkingen, een singuliere limiet waarbij het Mach-getal $\delta$ naar nul neigt. Fysiek beschrijft dit regime vloeistofstromingen waarbij snelheden klein zijn ten opzichte van de geluidssnelheid, wat leidt tot verwaarloosbare dichtheidsvariaties en incompressibel gedrag. Wiskundig gezien is het doel om de overgang van het samendrukbare Euler-systeem (1.1) naar het incompressibele Euler-systeem (1.2) te rechtvaardigen.

Hoewel eerdere werken (bijv. Ebin; Klainerman–Majda) deze limiet hebben vastgesteld voor gladde, goed voorbereide initiële data, en latere uitbreidingen zaken aanpakten met betrekking tot slecht voorbereide data en zwakke oplossingen met behulp van compactheid of relatieve entropiemethoden, filteren deze benaderingen doorgaans hoog-oscillerende of turbulente gedragingen weg. Een centrale vraag blijft: Is het incompressibele systeem een "universele attractor" in de context van zwakke oplossingen? Specifiek: kan elke incompressibele zwakke oplossing gerealiseerd worden als de sterke limiet van een sequentie van zwakke oplossingen van het samendrukbare systeem, zelfs wanneer de samendrukbare oplossingen de niet-uniciteit en turbulentie toestaan die door convex integratie worden toegestaan?

Methodologie
De auteurs maken gebruik van een verfijnd convex integratiekader, voortbouwend op hun eerdere werk [5] dat niet-uniciteit vaststelde voor de incompressibele en samendrukbare isentropische Euler-systemen. De strategie verloopt in drie conceptuele stadia:

1. Subsolutie-constructie: Vertrekkend vanuit een willekeurige zwakke oplossing $u$ van de incompressibele Euler-vergelijkingen, construeren de auteurs een gladde incompressibele subsolution $(u_\varepsilon, \pi_\varepsilon, R_\varepsilon)$ voor een ontspannen systeem, waarbij $R_\varepsilon$ een positief definiete Reynolds-stress-tensor is. Deze wordt vervolgens opgeheven naar een bijbehorende samendrukbare subsolution $(\rho_\delta, V_\delta, R_\delta)$ voor de geschaalde samendrukbare vergelijkingen (1.3). Deze optilling zorgt ervoor dat de dichtheid $\rho_\delta$ dicht bij 1 blijft en de Reynolds-stress positief definiet blijft.

2. Verfijnde Convex Integratie: De kerninnovatie ligt in het modificeren van het standaard convex integratie-schema. De auteurs introduceren een nieuwe $L^2$-type beperking op de verzameling toegestane perturbaties. Specifiek moeten de perturbaties $\tilde{V}$ voldoen aan:
   $$\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$$
   Deze beperking ontbreekt in eerdere $L^\infty$ convex integratietheorieën (die steunen op de Baire-categoriestelling) maar sluit natuurlijk aan bij $C^\alpha$ theorieën.

3. Uniforme Schattingen en Convergentie: Door deze beperking op te leggen, leiden de auteurs een uniforme energie-inschatting af (Propositie 3.1) waaruit blijkt dat de kinetische energie van de perturbaties gecontroleerd wordt door de spoor van de Reynolds-stress-tensor:
   $$\int \frac{|\tilde{V}|^2}{\rho_\delta} \, dx dt \leq C \int \text{tr}(R_\delta) \, dx dt$$
   Omdat de constructie van de subsolution ervoor zorgt dat $\text{tr}(R_\delta) = O(\delta)$, temt deze inschatting de turbulente oscillaties uniform met betrekking tot het Mach-getal $\delta$. Deze controle is cruciaal voor het bewijzen van sterke convergentie als $\delta \to 0$.

Belangrijkste Bijdragen

• Universele Attractor Resultaat: Het artikel bewijst dat het incompressibele systeem fungeert als een universele attractor voor het samendrukbare systeem binnen het convex integratiekader. Voor elke gegeven $L^2$ zwakke oplossing van de incompressibele Euler-vergelijkingen, bestaat er een familie van initiële data voor het samendrukbare systeem zodanig dat de resulterende zwakke oplossingen sterk convergeren naar de gegeven incompressibele oplossing naarmate het Mach-getal verdwijnt.
• Nieuwe Beperking voor $L^\infty$ Theorie: De introductie van de $L^2$-type beperking (1.4) in de niet-constructieve $L^\infty$ convex integratietheorie is een significante technische vooruitgang. Het overbrugt de kloof tussen de controle van turbulente perturbaties door de Reynolds-tensor (voorheen gezien in $C^\alpha$ contexten) en de Baire-categoriebenadering gebruikt voor $L^\infty$ oplossingen.
• Algemeenheid in Adiabatische Exponent: In tegenstelling tot eerdere convex integratie-resultaten voor samendrukbare stromingen die beperkingen vereisten op de adiabatische exponent $\gamma$ (bijv. $1 < \gamma \leq 1 + 2/n$) om energie-ongelijkheden te voldoen, houdt dit resultaat stand voor het volledige bereik $\gamma > 1$ omdat de energie-ongelijkheid niet als een toelatingscriterium wordt opgelegd.

Hoofdresultaten
Het hoofddoel (Theorema 1.1) stelt dat voor dimensies $n=2$ of $3$ en voor elke $\gamma > 1$, gegeven een zwakke oplossing $u$ van de incompressibele Euler-vergelijkingen met initiële data $u_0 \in L^2$, er een familie van initiële data $(\rho_\delta^0, m_\delta^0)$ bestaat voor de geschaalde samendrukbare Euler-vergelijkingen. Voor elk Mach-getal $\delta$ dat voldoende klein is, bestaan er oneindig veel zwakke oplossingen aan dit systeem. Wanneer $\delta \to 0$:

• Convergeert de dichtheid $\rho_\delta$ naar 1 in $C^0$.
• Convergeert het momentum $\rho_\delta v_\delta$ sterk naar $u$ in $L^2(0, T; L^2)$.
• Convergeert het initiële momentum $m_\delta^0$ zwak naar $u_0$ in $L^2$.

Betekenis
Het artikel claimt een rigoureuze wiskundige rechtvaardiging te bieden voor de robuustheid van de incompressibele benadering. Het demonstreert dat elk grootschalig, divergentievrij stromingsveld kan ontstaan als de effectieve, gemiddelde beschrijving van een samendrukbare vloeistof in het regime van lage Mach-getallen, ongeacht de fijnmazige, niet-unieke oscillerende dynamica die door convex integratie wordt gemodelleerd. Dit vestigt een nieuwe vorm van universaliteit voor singuliere limieten, waarbij het analytische paradigma verschuift van het onderzoeken of een specifieke familie van samendrukbare oplossingen convergeert naar het constructief bewijzen dat elke incompressibele zwakke oplossing getarget en benaderd kan worden door samendrukbare zwakke oplossingen.