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

Technische Zusammenfassung: Die Grenzschicht niedriger Mach-Zahlen und optimale Zeitzerfallsraten des kompressiblen Navier-Stokes-Transport-Systems in kritischen Besov-Räumen

Problemstellung
Diese Arbeit untersucht das kompressible Navier-Stokes-Transport-System (NST), ein Fluidmodell, das aus einem kompressiblen Navier-Stokes-System für die Dichte ($\rho$) und den Impuls ($\rho u$) besteht, gekoppelt mit einer Transportgleichung für die potenzielle Temperatur ($\theta$). Im Gegensatz zum bekannten Navier-Stokes-Fourier-System (NSF), bei dem die Temperatur eine parabolische Gleichung erfüllt, die eine Dissipation sowohl für die Temperatur als auch für die Dichte bereitstellt, weist das NST-System eine Transportgleichung für die Temperatur auf. Diese strukturelle Differenz verhindert einen Dissipationsmechanismus für die Dichte, was zu signifikant unterschiedlichen asymptotischen Verhaltensweisen führt.

Die Studie adressiert drei primäre mathematische Herausforderungen innerhalb des Rahmens kritischer Besov-Räume ($\dot{B}^s_{p,r}$) auf $\mathbb{R}^d$ ($d \ge 2$):

1. Globale Wohldefiniertheit: Den Nachweis der Existenz und Eindeutigkeit starker Lösungen für kleine Anfangsdaten in kritischen Räumen zu erbringen, trotz des Fehlens einer Dichtedissipation.
2. Grenzschicht niedriger Mach-Zahlen: Den Konvergenzprozess des kompressiblen NST-Systems zum inkompressiblen inhomogenen Navier-Stokes-System, wenn die Mach-Zahl $\varepsilon \to 0$ geht, insbesondere für schlecht vorbereitete (ill-prepared) Anfangsdaten.
3. Optimale Zeitzerfallsraten: Die Ableitung optimaler Zerfallsraten für starke Lösungen in Dimensionen $d \ge 3$, wobei die Schwierigkeit adressiert wird, dass die Dichte aufgrund der Abwesenheit einer dissipativen Struktur über die Zeit nicht zerfällt.

Methodik
Die Autoren verwenden eine verfeinerte Energieanalyse innerhalb des Littlewood-Paley-Zerlegungsrahmens von Besov-Räumen. Wesentliche methodische Innovationen umfassen:

• Reformulierung und neue Variablen: Um die starke Nichtlinearität des Drucks und das Fehlen der Dichtedissipation zu handhaben, wird das System in Bezug auf die Dichtestörung $a = \rho - 1$, die Geschwindigkeit $u$ und die Druckstörung $z = P - 1$ reformuliert. Entscheidend führen die Autoren eine neue abgeleitete Größe $\omega = \gamma a - z$ ein. Obwohl $\omega$ selbst keine dissipative Struktur besitzt, stellt es eine entscheidende Verbindung zwischen $a$ und $z$ her, was die Ableitung uniformer Schätzungen für die Dichte $a$ ermöglicht, die aufgrund des linearen Terms $\text{div } u$ in der Kontinuitätsgleichung andernfalls nicht erreichbar wären.
• Frequenzlokalisierte Analyse: Der Beweis der globalen Wohldefiniertheit nutzt eine frequenzlokalisierte Lyapunov-Ungleichung. Das System $(u, z)$ wird als Hyperbolisch-Parabolisches System behandelt, wobei im niederfrequenten Bereich ein wärmediffusives Verhalten und im hochfrequenten Bereich eine Dämpfung auftritt. Die Autoren schätzen den inkompressiblen Teil ($Pu$) und den potenziellen Teil ($Qu$) der Geschwindigkeit separat in sowohl nieder- als auch hochfrequenten Regimen, wobei sie die Methode der effektiven Geschwindigkeit für hohe Frequenzen anwenden.
• Strategie für die Grenzschicht niedriger Mach-Zahlen: Für den singulären Grenzwert $\varepsilon \to 0$ nutzen die Autoren ein Reskalierungsargument. Um das mangelnde Kompaktheitsvermögen der Dichte $a^\varepsilon$ zu überwinden (da diese nicht in $L^2(\mathbb{R}^+; \dot{B}^{d/2}_{2,1})$ liegt), analysieren sie die Gleichung für die neue Mode $\omega^\varepsilon = \gamma a^\varepsilon - z^\varepsilon$. Dies ermöglicht es ihnen, eine starke Kompaktheit für $\omega^\varepsilon$ zu etablieren und anschließend die Konvergenz der Kontinuitätsgleichung im Sinne von Distributionen zu rechtfertigen. Dispersive Schätzungen für $z^\varepsilon$ und $Qu^\varepsilon$ werden abgeleitet, um die Konvergenz der Impulsgleichung zu behandeln.
• Zeitzerfallsanalyse: Für die Zerfallsraten unterscheiden die Autoren zwischen Bedingungen der Beschränktheit und der Kleinhaltigkeit der Anfangsdaten. Sie nutzen zeitgewichtete Energiefunktionale und Interpolationsungleichungen. Eine wesentliche technische Hürde ist der „Ableitungsverlust“ (derivative loss), der durch nichtlineare Terme verursacht wird, die die nicht-dissipative Dichte $a$ involvieren (z. B. $f(a)\nabla z$). Die Autoren überwinden dies durch die Nutzung der Kopplung zwischen $u$ und $z$ sowie der neuen Mode $\omega$, um Energieschätzungen abzuschließen, wodurch die Notwendigkeit zusätzlicher Kleinhaltigkeitsannahmen auf niederfrequente Anfangsdaten vermieden wird, die in isentropen Studien typisch sind.

Wesentliche Beiträge und Ergebnisse

1. Globale Wohndefiniertheit (Theorem 1.2):
   Die Arbeit etabliert die globale Existenz und Eindeutigkeit starker Lösungen für das kompressible NST-System in kritischen Besov-Räumen $\dot{B}^{d/2}_{2,1} \times \dot{B}^{d/2-1}_{2,1} \times \dot{B}^{d/2}_{2,1}$ für $d \ge 2$, vorausgesetzt, die Anfangsdaten sind hinreichend klein.

   • Bedeutung: Im Gegensatz zu früheren Arbeiten (z. B. Zhai et al. [59]) liefert dieses Ergebnis optimale Zeitzerfallsraten und nutzt eine andere Methode, die das Fehlen der Dichtedissipation explizit über die neue Mode $\omega$ behandelt.

2. Grenzschicht niedriger Mach-Zahlen (Theorem 1.3):
   Die Autoren beweisen rigoros, dass die Lösungen des kompressiblen NST-Systems für $\varepsilon \to 0$ gegen die globale Lösung des inkompressiblen inhomogenen Navier-Stokes-Systems konvergieren.

   • Bedeutung: Dieses Ergebnis gilt für schlecht vorbereitete Anfangsdaten (wo $\text{div } u_0 = O(1)$ und $\nabla z_0 = O(1)$), ein Fall, der mathematisch anspruchsvoller ist als der gut vorbereitete Fall. Die Konvergenz wird im Sinne von Distributionen etabliert, mit expliziten Konvergenzraten für die akustischen Moden.

3. Optimale Zeitzerfallsraten (Theoreme 1.4–1.6):
   Für $d \ge 3$ leitet die Arbeit optimale Zeitzerfallsraten für die Geschwindigkeit $u$ und die Druck-/Temperaturstörung $z$ ab.

   • Obere Schranken: Unter einer Beschränktheitsbedingung auf die Anfangsdaten (Theorem 1.4) werden Zerfallsraten von $(1+t)^{-\frac{1}{2}(\sigma - \sigma_0)}$ für $\sigma \in (\sigma_0, d/2 - 1]$ erzielt. Unter einer Kleinhaltigkeitsbedingung (Theorem 1.5) erweitern sich diese Raten auf höhere Regularität $\sigma \in (\sigma_0, d/2 + 1]$.
   • Untere Schranken: Theorem 1.6 etabliert passende untere Schranken und bestätigt damit die Optimalität der Zerfallsraten.
   • Distinktives Verhalten: Ein zentrales Ergebnis ist, dass die Dichte $a$ in der Zeit gleichmäßig beschränkt bleibt, aber keinen zeitlichen Zerfall aufweist. Dies steht in starkem Kontrast zum NSF-System und den isentropen Navier-Stokes-Gleichungen, in denen die Dichte eine dissipative Struktur besitzt und zerfällt. Die Autoren stellen fest, dass das Fehlen der Dichtedissipation verhindert, dass die nichtlinearen Kopplungsterme zusätzliche Zerfallsraten in das System einbringen.

Bedeutung und Behauptungen
Die Arbeit beansprucht, signifikante technische Herausforderungen gelöst zu haben, die sich aus der hyperbolischen Natur des Dichte- und Temperaturtransports im NST-System ergeben. Durch die Einführung der Mode $\omega = \gamma a - z$ umgehen die Autoren erfolgreich das Hindernis, das durch das Fehlen einer dissipativen Struktur für die Dichte verursacht wird – eine Limitation, die die Anwendung klassischer Perturbationstheorien, wie sie für isentrope oder NSF-Systeme verwendet werden, verhindert.

Die Arbeit erweitert das mathematische Verständnis der nicht-isentropen Fluiddynamik, insbesondere in Regimen, in denen adiabatische Prozesse vernachlässigt werden. Die Ergebnisse zur Grenzschicht niedriger Mach-Zahlen für schlecht vorbereitete Daten in kritischen Besov-Räumen schließen eine Lücke in der Literatur, indem sie eine rigorose Begründung für das inkompressible Limit liefern, in dem Standard-Kompaktheitsargumente versagen. Darüber hinaus bietet die Ableitung optimaler Zerfallsraten, die explizit den nicht-zerfallenden Charakter der Dichte berücksichtigen, eine präzise Charakterisierung des Langzeitverhaltens dieses spezifischen Fluidmodells.