Low Mach number limit and optimal time decay rates of the compressible Navier-Stokes-transport system in critical Besov spaces

Technische Samenvatting: De Limiet van Lage Mach-getallen en Optimale Tijdvervalrates van het Compressibele Navier-Stokes-Transport Systeem in Kritische Besov-ruimtes

Probleemstelling
Dit artikel onderzoekt het compressibele Navier-Stokes-Transport (NST) systeem, een vloeistofmodel bestaande uit een compressibel Navier-Stokes systeem voor dichtheid ($\rho$) en impuls ($\rho u$), gekoppeld aan een transportvergelijking voor de potentiele temperatuur ($\theta$). In tegenstelling tot het bekende Navier-Stokes-Fourier (NSF) systeem, waarbij de temperatuur een parabolische vergelijking vervult die dissipatie biedt voor zowel temperatuur als dichtheid, kenmerkt het NST-systeem zich door een transportvergelijking voor de temperatuur. Dit structurele verschil verhindert een dissipatief mechanisme voor de dichtheid, wat leidt tot significant andere asymptotische gedragingen.

De studie behandelt drie primaire wiskundige uitdagingen binnen het kader van kritische Besov-ruimtes ($\dot{B}^s_{p,r}$) op $\mathbb{R}^d$ ($d \ge 2$):

1. Globale Welbedetermindheid: Het vaststellen van de existentie en uniciteit van sterke oplossingen voor kleine initiële data in kritische ruimtes, ondanks het gebrek aan dichtheidsdissipatie.
2. Limiet van Lage Mach-getallen: Het rigoureus bewijzen van de convergentie van het compressibele NST-systeem naar het incompressibele inhomogene Navier-Stokes systeem wanneer het Mach-getal $\varepsilon \to 0$, specifiek voor slecht voorbereide (ill-prepared) initiële data.
3. Optimale Tijdvervalrates: Het afleiden van optimale vervalrates voor sterke oplossingen in dimensies $d \ge 3$, waarbij de moeilijkheid wordt geadresseerd dat de dichtheid niet in de tijd vervalt vanwege de afwezigheid van een dissipatieve structuur.

Methodologie
De auteurs maken gebruik van een verfijnde energie-analyse binnen het Littlewood-Paley-decompositiekader van Besov-ruimtes. Belangrijke methodologische innovaties zijn:

• Herformulering en Nieuwe Variabelen: Om de sterke nonlineariteit van de druk en het gebrek aan dichtheidsdissipatie te hanteren, wordt het systeem geherformuleerd in termen van dichtheidsperturbatie $a = \rho - 1$, snelheid $u$, en drukperturbatie $z = P - 1$. Cruciaal is dat de auteurs een nieuwe afgeleide grootheid introduceren: $\omega = \gamma a - z$. Hoewel $\omega$ zelf geen dissipatieve structuur bezit, vormt het een cruciale schakel tussen $a$ en $z$, waardoor de auteurs uniforme schattingen voor de dichtheid $a$ kunnen afleiden die anders onbereikbaar zouden zijn door de lineaire term $\text{div } u$ in de continuïteitsvergelijking.
• Frequentielokale Analyse: Het bewijs van globale welbedetermindheid maakt gebruik van een frequentielokale Lyapunov-ongelijkheid. Het systeem $(u, z)$ wordt behandeld als een hyperbolisch-parabolisch systeem waarbij lage frequenties een hitte-diffusief gedrag vertonen en hoge frequenties demping vertonen. De auteurs schatten het incompressibele deel ($Pu$) en het potentiële deel ($Qu$) van de snelheid afzonderlijk in zowel lage als hoge frequentieregimes, waarbij zij de effectieve snelheidsmethode toepassen voor hoge frequenties.
• Strategie voor de Limiet van Lage Mach-getallen: Voor de singulariteitslimiet $\varepsilon \to 0$ gebruiken de auteurs een herschalingargument. Om het gebrek aan compactheid voor de dichtheid $a^\varepsilon$ te overwinnen (die niet tot $L^2(\mathbb{R}^+; \dot{B}^{d/2}_{2,1})$ behoort), analyseren zij de vergelijking voor de nieuwe modus $\omega^\varepsilon = \gamma a^\varepsilon - z^\varepsilon$. Dit stelt hen in staat om sterke compactheid voor $\omega^\varepsilon$ vast te stellen en vervolgens de convergentie van de continuïteitsvergelijking in de zin van distributies te rechtvaardigen. Dispersieve schattingen voor $z^\varepsilon$ en $Qu^\varepsilon$ worden afgeleid om de convergentie van de impulsvergelijking te behandelen.
• Tijdvervalanalyse: Voor vervalrates maken de auteurs onderscheid tussen begrensde en kleine condities op de initiële data. Zij maken gebruik van tijd-gewogen energiefunctionalen en interpolatie-ongelijkheden. Een aanzienlijke technische hindernis is de "afgeleideverlies" (derivative loss) veroorzaakt door nietlineaire termen die de niet-dissipatieve dichtheid $a$ bevatten (bijv. $f(a)\nabla z$). De auteurs overwinnen dit door gebruik te maken van de koppeling tussen $u$ en $z$ en de nieuwe modus $\omega$ om energie-schattingen te sluiten, waardoor de noodzaak voor aanvullende kleineheidsaannames op laagfrequente initiële data, die typisch zijn in isentrope studies, wordt vermeden.

Belangrijkste Bijdragen en Resultaten

1. Globale Welbedetermindheid (Theorem 1.2):
   Het artikel vestigt de globale existentie en uniciteit van sterke oplossingen voor het compressibele NST-systeem in kritische Besov-ruimtes $\dot{B}^{d/2}_{2,1} \times \dot{B}^{d/2-1}_{2,1} \times \dot{B}^{d/2}_{2,1}$ voor $d \ge 2$, mits de initiële data voldoende klein is.

   • Betekenis: In tegenstelling tot eerdere werken (bijv. Zhai et al. [59]), biedt dit resultaat optimale tijdvervalrates en maakt het gebruik van een andere methode die expliciet omgaat met het gebrek aan dichtheidsdissipatie via de nieuwe modus $\omega$.

2. Limiet van Lage Mach-getallen (Theorem 1.3):
   De auteurs bewijzen rigoureus dat, naarmate $\varepsilon \to 0$, de oplossingen van het compressibele NST-systeem convergeren naar de globale oplossing van het incompressibele inhomogene Navier-Stokes systeem.

   • Betekenis: Dit resultaat geldt voor slecht voorbereide (ill-prepared) initiële data (waarbij $\text{div } u_0 = O(1)$ en $\nabla z_0 = O(1)$), een geval dat wiskundig uitdagender is dan het goed voorbereide geval. De convergentie wordt vastgesteld in de zin van distributies, met expliciete convergentieratest voor de akoestische modi.

3. Optimale Tijdvervalrates (Theorema 1.4–1.6):
   Voor $d \ge 3$ leidt het artikel optimale tijdvervalrates af voor de snelheid $u$ en de druk/temperatuurperturbatie $z$.

   • Bovengrenzen: Onder een begrenzingsconditie op de initiële data (Theorem 1.4) worden vervalrates van $(1+t)^{-\frac{1}{2}(\sigma - \sigma_0)}$ verkregen voor $\sigma \in (\sigma_0, d/2 - 1]$. Onder een kleineheidsconditie (Theorem 1.5) strekken deze rates zich uit naar hogere regulariteit $\sigma \in (\sigma_0, d/2 + 1]$.
   • Ondergrenzen: Theorem 1.6 stelt bijbehorende ondergrenzen vast, waarmee de optimaliteit van de vervalrates wordt bevestigd.
   • Kenmerkend Gedrag: Een belangrijke bevinding is dat de dichtheid $a$ uniform begrensd blijft in de tijd maar geen tijdelijk verval vertoont. Dit staat scherp in contrast met het NSF-systeem en de isentrope Navier-Stokes vergelijkingen, waar de dichtheid een dissipatieve structuur bezit en vervalt. De auteurs merken op dat het gebrek aan dichtheidsdissipatie voorkomt dat de nietlineaire koppelingstermen extra vervalrates aan het systeem toevoegen.

Betekenis en Claims
Het artikel claimt belangrijke technische uitdagingen te hebben opgelost die voortvloeien uit de hyperbolische aard van de dichtheid en temperatuurtransport in het NST-systeem. Door de modus $\omega = \gamma a - z$ te introduceren, slagen de auteurs erin de obstructie te omzeilen die wordt veroorzaakt door het gebrek aan een dissipatieve structuur voor de dichtheid, een beperking die de toepassing van klassieke perturbatietheorieën gebruikt voor isentrope of NSF-systemen verhindert.

Het werk breidt het wiskundig begrip van niet-isentrope fluiddynamica uit, met name in regimes waar diabatische processen worden verwaarloosd. De resultaten over de limiet van lage Mach-getallen voor slecht voorbereide data in kritische Besov-ruimtes vullen een gat in de literatuur, door een rigoureuze rechtvaardiging te bieden voor de incompressibele limiet in een setting waar standaard compactheidsargumenten falen. Bovendien biedt de afleiding van optimale vervalrates, waarbij expliciet wordt opgemerkt dat de dichtheid niet vervalt, een precieze karakterisering van het langetermijngedrag van dit specifieke vloeistofmodel.