Weak-strong uniqueness and low Mach number limit for a viscous compressible fluid around a rotating body

Technische Samenvatting: Weak-Strong Uniciteit en de Lage Mach-getal Limiet voor een Viskeuze Compressibele Vloeistof rond een Roterend Lichaam

Probleemformulering
Het artikel onderzoekt het wiskundige gedrag van een isotherme compressibele Newtoniaanse vloeistof die stroomt rond een star lichaam $S$ dat een tijdonafhankelijke starre beweging ondergaat (rotatie met een vaste hoeksnelheid $\omega$) in een driedimensionaal onbegrensd domein $\Omega = \mathbb{R}^3 \setminus S$. De vloeistofdynamica wordt beheerst door de compressibele Navier–Stokes-vergelijkingen in een referentiekader dat vastzit aan het roterende lichaam. Het systeem omvat behoud van massa, impulsbalans met Coriolis- en middelpuntvliedende krachten, no-slip randvoorwaarden op het lichaam, en specifieke asymptotische voorwaarden in de ruimte bij oneindigheid waarbij de dichtheid $\rho_\infty$ nadert en de snelheid $a_\infty$ (parallel aan $\omega$) nadert.

De studie richt zich op twee primaire analytische uitdagingen:

1. Weak-Strong Uniciteit: Het vaststellen dat een zwakke oplossing met eindige energie van het compressibele systeem samenvalt met een sterke oplossing (indien een dergelijke bestaat) die dezelfde begingegevens deelt.
2. Lage Mach-getal Limiet: Het bewijzen dat naarmate het Mach-getal naar nul nadert (formeel gerepresenteerd door een schaleringsparameter $\varepsilon \to 0$), de oplossingen van het compressibele systeem convergeren naar de oplossing van de incompressibele Navier–Stokes-vergelijkingen voor een roterende stroming.

Methodologie
Het centrale instrument dat gedurende het hele artikel wordt gebruikt, is de Relatieve Energie-ongelijkheid (REI). De auteurs leiden een relatieve energiefunctional af, $E(\rho, u|\sigma, V)$, die de "afstand" meet tussen een zwakke oplossing $(\rho, u)$ en een voldoende gladde vergelijkingsfunctie $(\sigma, V)$. Deze functional combineert het kinetische energieverschil met de relatieve interne energie (gebaseerd op de convexiteit van de drukwet).

De methodologie verloopt als volgt:

• Afleiding van REI: De auteurs stellen eerst een relatieve energie-ongelijkheid vast voor zwakke oplossingen met eindige energie in het exterieur domeinprobleem met een roterend lichaam. Dit houdt in dat de zwakke formulering van de impuls- en continuïteitsvergelijkingen wordt getest met de vergelijkingsfuncties en dat de onbegrensde domeinen en de rotationele termen zorgvuldig worden behandeld.
• Benaderingsargumenten: Om het onbegrensde domein en de specifieke randvoorwaarden bij oneindigheid te behandelen, maken de auteurs gebruik van afkappuncties (cut-off functies) en de Bogovskiĭ-operator om divergentievrije testfuncties te construeren die de asymptotische gedragingen van de stroming respecteren.
• Weak-Strong Uniciteit: Door de vergelijkingsfunctie $(\sigma, V)$ te kiezen als een sterke oplossing, wordt de REI gebruikt om de relatieve energie te begrenzen. Door gebruik te maken van Korn-type ongelijkheden en de coërciviteit van de relatieve energie, tonen de auteurs aan dat de relatieve energie moet verdwijnen, wat impliceert dat de zwakke en sterke oplossingen identiek zijn.
• Lage Mach-getal Limiet: De auteurs introduceren een geschaalde drukterm ($\varepsilon^{-2}$) om het lage Mach-getal regime te modelleren. Ze passen de geschaalde REI toe met de incompressibele oplossing als de vergelijkingsfunctie. Door uniforme bounds op de relatieve energie af te leiden en compactheidsargumenten te gebruiken (specifiek de convergentie van de "essentiële" en "residuele" delen van de dichtheid), demonstreren zij de convergentie van de compressibele oplossingen naar de incompressibele limiet.

Belangrijkste Bijdragen en Resultaten

1. Weak-Strong Uniciteitsprincipe:
   Het artikel bewijst dat voor de compressibele Navier–Stokes-vergelijkingen rond een roterend lichaam in een exterieur domein, elke zwakke oplossing met eindige energie samenvalt met een sterke oplossing voortkomend uit dezelfde begingegevens, mits de sterke oplossing bestaat. Dit resultaat geldt onder de aanname dat de adiabatische exponent voldoet aan $\gamma > 6/5$, wat een breder bereik van fysisch relevante gassen beslaat (inclusclusief monoatomische gassen waar $\gamma = 5/3$) dan eerdere resultaten voor de existentie van zwakke oplossingen (die vaak $\gamma > 3/2$ vereisen).

2. Lage Mach-getal Limiet:
   De auteurs stellen de convergentie van oplossingen van het compressibele systeem (met geschaalde druk) naar de oplossing van de incompressibele Navier–Stokes-vergelijkingen voor een roterende stroming vast naarmate de Mach-getalparameter $\varepsilon \to 0$.

   • Kwalitatieve Convergentie: Zij bewijzen dat indien de begingegevens "goed voorbereid" zijn (d.w.z. de initiële relatieve energie ten opzichte van de incompressibele limiet verdwijnt wanneer $\varepsilon \to 0$), de relatieve energie van de oplossing uniform in de tijd klein blijft.
   • Kwantitatieve Schattingen: Onder aanvullende regulariteitsvereisten op de druk van de incompressibele limiet, biedt het artikel expliciete convergentiesnelheden. De fout in de relatieve energie wordt getoond begrensd door termen van de orde $O(\varepsilon + \varepsilon^{2/\gamma})$.

3. Behandeling van Roterende Exterieur Domeinen:
   Dit werk breidt de theorie van relatieve energie-ongelijkheden uit naar het specifieke geval van een exterieur domein met een roterende rand. Dit vereist een zorgvuldige behandeling van de Coriolis-krachttermen en de constructie van geschikte testfuncties die de rotatie en het gedrag bij oneindigheid respecteren.

Betekenis en Reikwijdte
Het artikel claimt significant te zijn door een rigoureus wiskundig kader te bieden voor het analyseren van compressibele stromingen rond roterende lichamen, een scenario dat relevant is voor diverse technische toepassingen maar wiskundig uitdagend is vanwege het onbegrensde domein en de koppeling van rotatie met compressibiliteit.

• Uniciteit: Het lost het uniciteitsprobleem op in de "weak-strong" zin voor deze specifieke configuratie, een eigenschap die een open vraag blijft voor algemene zwakke oplossingen in de afwezigheid van een sterke oplossing.
• Limietovergang: Het rechtvaardigt het gebruik van incompressibele modellen voor lage-snelheid roterende stromingen door de convergentie van het compressibele model te bewijzen, inclusief kwantitatieve foutschattingen.
• Generaliteit: De resultaten zijn afgeleid voor een algemene drukwet die aan standaard fysische condities voldoet en voor een bereik van adiabatische exponenten $\gamma > 6/5$, waardoor de resultaten toepasbaar zijn op een brede klasse van fysische vloeistoffen.

De auteurs merken expliciet op dat hun analyse steunt op "goed voorbereide" (well-prepared) begingegevens om de generatie van akoestische golven te vermijden, wat hun aanpak onderscheidt van studies met algemene begingegevens of aanvullende limieten (zoals lage Froude-getal limieten). Het werk bouwt voort op en generaliseert bestaande resultaten voor begrensde domeinen en stationaire lichamen, waarbij de relatieve energie-methode wordt aangepast aan de complexiteiten van roterende exterieur domeinen.