Global well-posedness for the compressible Navier-Stokes equations with vacuum and smallness on coefficient-coupled scaling invariant quantity

Technische Zusammenfassung: Globale Wohldefiniertheit der Navier-Stokes-Gleichungen für kompressible Fluide mit Vakuum

Problemstellung
Diese Arbeit untersucht das Cauchy-Problem für die dreidimensionalen kompressiblen Navier-Stokes-Gleichungen in Gegenwart eines Fernfeld-Vakuums. Die Studie behandelt sowohl den isentropen Fall (System 1.2) als auch den nicht-isentropen Fall (System 1.1), welcher Wärmeleitung beinhaltet. Eine primäre Herausforderung in diesem Bereich ist die inhärente Singularität und Degeneriertheit der zugrunde liegenden Gleichungen in der Nähe von Vakuumregionen ($\rho = 0$). Während globale schwache Lösungen und starke Lösungen mit kleiner Energie bereits in der bisherigen Literatur etabliert wurden, stellt eine signifikante Einschränkung bisheriger Ergebnisse darin, dass die für die globale Wohldefiniertheit erforderlichen Kleinheitsbedingungen typischerweise von spezifischen Anfangsdaten-Normen und bekannten physikalischen Parametern (wie Viskositätskoeffizienten $\mu, \lambda$, Wärmeleitfähigkeit $\kappa$ und dem adiabatischen Exponenten $\gamma$) abhängen.

Methodik
Die Autoren verwenden eine Kombination aus präzisen Energieabschätzungen, der strukturellen Analyse der Systeme und einem Bootstrap-Argument, um globale a priori Abschätzungen zu etablieren. Die Kernmethodik umfasst:

1. Skalierungsinvariante Größen: Die Autoren konstruieren spezifische Anfangsgrößen ($E_0$ für den isentropen Fall und $F_0$ für den nicht-isentropen Fall), die skalierungsinvariant sind. Entscheidend ist, dass diese Größen so konzipiert sind, dass sie unabhängig von den Anfangsdaten-Normen und den Systemparametern sind.
2. Effektiver viskoser Fluss und Vortizität: Die Analyse nutzt intensiv den effektiven viskosen Fluss ($F$) und die Vortizität ($\omega$), um die Kopplung zwischen Dichte, Geschwindigkeit und Temperatur zu handhaben. Auf die elliptischen Systeme, welche $F$ und $\omega$ steuern, werden Standard-$L^p$-Abschätzungen angewendet.
3. Zlotniks Ungleichung: Um eine gleichmäßige obere Schranke für die Dichte abzuleiten (um ein Blow-up zu verhindern), wenden die Autoren die Zlotnik-Ungleichung an. Dies erfordert die Kontrolle der zeitintegrierten Divergenz der Geschwindigkeit und des effektiven viskosen Flusses.
4. Stückweise Abschätzung und zeitgewichtete Normen: Im nicht-isentropen Fall führen die Autoren zeitgewichtete Abschätzungen ein (z. B. $t\dot{u}$, $t^2\dot{u}$) sowie eine neuartige Strategie der stückweisen Abschätzung. Dies ermöglicht es ihnen, das Bootstrap-Argument abzuschließen, ohne sich auf Annahmen über große Viskosität oder Wärmeleitfähigkeit verlassen zu müssen.
5. Serrin-Typ Blow-up-Kriterien: Die Erweiterung von lokalen auf globale Lösungen wird durch die Verifizierung erreicht, dass die abgeleiteten a priori Abschätzungen bekannte Serrin-Typ Blow-up-Kriterien erfüllen, wodurch sichergestellt wird, dass die maximale Existenzzeit unendlich ist.

Wesentliche Beiträge und Ergebnisse

• Isentroper Fall (Theorem 2.1): Die Autoren beweisen die globale Wohldefiniertheit und die Zerfallsraten starker Lösungen für das isentropen System. Das Ergebnis gilt unter der Bedingung, dass eine koeffizientengekoppelte, skalierungsinvariante Anfangsgröße $E_0$ hinreichend klein ist.

  • Neuheit: Die Kleinheitsbedingung ist unabhängig von den Anfangsdaten und physikalischen Parametern ($\mu, \lambda, a, \gamma$).
  • Verbesserung: Dies verbessert vorangegangene Arbeiten (z. B. Wen [30]), indem die Abhängigkeit von Termen, die $\|\rho_0\|_{L^\infty}$ beinhalten, in der Kleinheitsbedingung eliminiert wird.
  • Bedingungen: Es sind keine Kompatibilitätsbedingungen für die Anfangsdaten erforderlich.

• Nicht-isentroper Fall (Theorem 2.2): Die Autoren etablieren die globale Wohldefiniertheit und die exponentiellen Zerfallsraten für das nicht-isentrope System mit Vakuum.

  • Neuheit: Ähnlich wie im isentropen Fall ist die Kleinheitsbedingung für $F_0$ unabhängig von den Anfangsdaten und Parametern ($\mu, \lambda, \kappa, c_V, \gamma, R$).
  • Verbesserung: Dies entfernt die in Li [23] geforderte Restriktion $2\mu > \lambda$ sowie die in Wen und Zhu [31] gefundenen Annahmen über große Viskosität oder Wärmeleitfähigkeit.
  • Bedingungen: Das Ergebnis gilt, ohne dass Kompatibilitätsbedingungen für die Anfangsdaten gefordert werden.

• Zerfallsraten: Die Arbeit liefert explizite Zerfallsraten für die Gradienten der Geschwindigkeit, des Drucks und der Temperatur sowie für die Dichte und zeigt, dass die Lösungen gegen den Vakuumzustand zerfallen, wenn $t \to \infty$.

Bedeutung und Behauptungen
Die Arbeit behauptet, dass ihr primärer Beitrag in der Ableitung globaler starker Lösungen unter Kleinheitsannahmen liegt, die sowohl von den Anfangsdaten als auch von den Modellparametern unabhängig sind.

• Theoretischer Vorteil: Die Autoren argumentieren, dass parameter- und initialdatenunabhängige Kleinheitsannahmen bei der Untersuchung partieller Differentialgleichungen (PDEs) vorteilhaft sind, da sie die Störungsanalyse und die Untersuchung dynamischer Bifurkationen erleichtern.
• Praktischer Vorteil: Für numerische Simulationen erlauben solche Bedingungen die direkte Verwendung gemessener Daten und realistischer physikalischer Konstanten, ohne dass restriktive, datenabhängige Kleinheitskriterien erfüllt werden müssen.
• Methodischer Durchbruch: Die Autoren betonen, dass vorangegangene Ansätze, die auf parameterabhängigen Kleinheitsbedingungen beruhen, nicht direkt auf ihren Rahmen anwendbar sind. Der Erfolg ihrer Analyse beruht auf neuen analytischen Beobachtungen und Techniken, insbesondere der Konstruktion von koeffizientenunabhängigen a priori Abschätzungen und der Verwendung einer neuartigen Strategie der stückweisen Abschätzung, um das Bootstrap-Argument für die Dichte zu schließen.

Zusammenfassend lässt sich sagen, dass die Arbeit die mathematische Theorie kompressibler Fluide mit Vakuum vorantreibt, indem sie die restriktiven Abhängigkeiten von Anfangsdaten und physikalischen Konstanten in den Bedingungen für die globale Existenz entfernt und damit die Anwendbarkeit dieser Ergebnisse auf eine breitere Klasse physikalischer Szenarien erweitert.