On the large-time behavior of strong solutions to the generalized compressible Navier-Stokes-Korteweg system in 2D and 3D for arbitrarily large initial data

Technische Zusammenfassung: Globale Existenz und Langzeitverhalten starker Lösungen des verallgemeinerten kompressiblen Navier-Stokes-Korteweg-Systems

Problemstellung
Diese Arbeit untersucht die globale Existenz und das asymptotische Langzeitverhalten starker Lösungen des zweidimensionalen und dreidimensionalen periodischen kompressiblen Navier-Stokes-Korteweg (NSK)-Systems mit beliebig großen Anfangsdaten $(\rho_0, u_0) \in H^3 \times H^2$. Das System ist charakterisiert durch eine von der Dichte abhängige Viskosität, die die Bresch-Desjardins (BD)-Relation erfüllt, $\mu(\rho) = \nu\rho^\alpha$ und $\lambda(\rho) = 2\nu(\alpha-1)\rho^\alpha$, sowie einen Kapillaritätskoeffizienten $\kappa(\rho) = \varepsilon^2\alpha^2\rho^{2\alpha-3}$.

Die primären mathematischen Herausforderungen sind:

1. Globale Existenz mit großen Daten: Die Etablierung der globalen Existenz starker Lösungen ohne Annahmen über die Kleinheit der Anfangsdaten, insbesondere in höheren Dimensionen ($N=2,3$).
2. Gleichmäßige Dichteschranken: Der Nachweis, dass die Dichte gleichmäßig fernab von Vakuum und Konzentration bleibt (d. h. $C^{-1} \le \rho(x,t) \le C$) für alle Zeiten, was eine Voraussetzung für höhere Regularität ist.
3. Langzeitverhalten: Der Nachweis der Konvergenz der Lösungen gegen den Gleichgewichtszustand für $t \to \infty$.

Vorherige Arbeiten hatten die globale Existenz für spezifische Parameterregime etabliert (z. B. Gu-Huang-Meng-Zhou [16] für $\alpha < 1$ und Huang-Meng-Zhang [25] für $\alpha=1$), jedoch oft mit eingeschränkten adiabatischen Exponenten $\gamma$ oder ohne den Nachweis gleichzeitiger zeitunabhängiger Dichteschranken und der Langzeitkonvergenz für beliebig große Daten.

Methodik
Die Autoren verwenden eine vielfältige analytische Strategie, die auf der effektiven Geschwindigkeitstransformation und einer doppelt parabolischen Struktur des reformulierten Systems basiert.

1. Effektive Geschwindigkeitsformulierung: Das System wird unter Verwendung der effektiven Geschwindigkeit $v := u + c\rho^{\alpha-2}\nabla\rho$ reformuliert, wobei $c = \nu + \sqrt{\nu^2-\varepsilon^2}$. Dies transformiert das ursprüngliche System in ein gekoppeltes Dichte-effektive-Geschwindigkeits-System (Gleichung 11), welches eine doppelt parabolische Struktur aufweist. Diese Struktur ist entscheidend für die Ableitung zusätzlicher Regularität und die Kontrolle der Dichte.

2. Bootstrap-Argument für admissible Parameter:

   • Für den Fall $\alpha < 1$ verbessern die Autoren den zulässigen Bereich des adiabatischen Exponenten $\gamma$. Sie nutzen ein Bootstrap-Argument, das die Lücke zwischen der Standard-Energieschätzung (gewichtetes $L^2$) und der kritischen Schätzung (gewichtetes $L^3$) überbrückt. Durch die iterative Verbesserung der Integrabilität der effektiven Geschwindigkeit und der Dichte erweitern sie den Bereich von $\gamma$ über frühere Ergebnisse hinaus (speziell bis zu $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$ in 3D).

3. Zeitdiskretisierungsstrategie für obere Schranken:

   • Um eine gleichmäßige obere Schranke für die Dichte zu etablieren, wenden die Autoren eine Zeitdiskretisierungsstrategie an. Sie partitionieren die Zeitachse $[0, \infty)$ in Teilintervalle $[t_n, t_{n+1}]$ von gleichmäßig beschränkter Länge.
   • Unter Verwendung der Dissipationsabschätzungen identifizieren sie Punkte $t_n$, an denen die Dichte und die effektive Geschwindigkeit gleichmäßige quantitative Schranken erfüllen.
   • Auf jedem Teilintervall wenden sie ein modifiziertes Nash-Moser-Iterationsverfahren an (inspiriert von Gu-Huang-Meng-Zhou [16]), um eine Dichteobere-Schranke abzuleiten, die unabhängig vom spezifischen Teilintervall ist, wodurch eine globale gleichmäßige obere Schranke resultiert.

4. Induktiver Bootstrap für untere Schranken ($\alpha < 1$):

   • Die Etablierung einer gleichmäßigen positiven unteren Schranke erfordert eine stärkere Integrabilität der effektiven Geschwindigkeit ($L^p$ mit $p > \frac{2}{1-\alpha}$).
   • Die Autoren entwickeln ein neuartiges induktives Bootstrap-Verfahren. Unter der Annahme von $(k-1)$-ter Ebene-Abschätzungen leiten sie $k$-te Ebene-gleichmäßige und Dissipationsabschätzungen ab. Dieser Prozess wird endlich viele Male wiederholt, bis die erforderliche Integrabilität erreicht ist, was die Anwendung der Nash-Moser-Iteration auf die reziproke Variable $\tau = \rho^{-1}$ ermöglicht, um eine gleichmäßige positive untere Schranke zu erhalten.
   • Für den kritischen Fall $\alpha = 1$ etabliert das Papier eine gleichmäßige obere Schranke, stellt jedoch fest, dass die untere Schranke aufgrund der Unfähigkeit, den Bootstrap auf der $L^\infty$-Ebene für die effektive Geschwindigkeit zu schließen, ein offenes Problem bleibt.

5. Höhere Abschätzungen und Zerfall:

   • Mit etablierten gleichmäßigen Dichteschranken leiten die Autoren globale höhere Abschätzungen für die Dichte und die effektive Geschwindigkeit ab.
   • Sie nutzen die inhärente elliptische Struktur des effektiven Geschwindigkeitssystems, um höhere Ableitungen zu kontrollieren.
   • Diese Abschätzungen führen zum Beweis des Langzeitverhaltens, indem gezeigt wird, dass die $H^3$-Norm der Dichteabweichung und die $H^1$-Norm des Geschwindigkeitsgradienten gegen Null zerfallen.

Wesentliche Beiträge und Ergebnisse

• Theorem 1.1 (Fall $\alpha < 1$):

  • Belegt die globale Existenz eindeutiger starker Lösungen für beliebig große Anfangsdaten in 2D und 3D.
  • Erweiterter Parameterbereich: Erweitert signifikant den zulässigen Bereich des adiabatischen Exponenten $\gamma$ im Vergleich zu früheren Arbeiten (z. B. [16]). In 3D kann $\gamma$ nun $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$ erreichen.
  • Gleichmäßige Schranken: Beweist, dass die Dichte die Bedingung $C^{-1} \le \rho(x,t) \le C$ für alle $t \ge 0$ erfüllt, was sicherstellt, dass die Lösung fernab von Vakuum und Konzentration bleibt.
  • Langzeitverhalten: Beweist, dass $\|\rho(t) - \rho_s\|_{H^3} + \|\nabla u(t)\|_{H^1} \to 0$ als $t \to \infty$, wobei $\rho_s$ die mittlere Dichte ist. Dies gilt ohne jegliche Annahme über die Kleinheit der Anfangsdaten.

• Theorem 1.2 (Fall $\alpha = 1$):

  • Belegt die globale Existenz für den kritischen Fall $\alpha = 1$ (welcher das viskose Saint-Venant-Modell und das Quanten-Navier-Stokes-System unter spezifischen Bedingungen einschließt).
  • Verbesserter Parameterbereich: Erweitert den zulässigen Bereich von $\gamma$ in 3D weiter auf $[1, 11/4)$, was die Bereiche $[1, 8/3)$ in [22] und $[1, 7/3)$ in [25] verbessert.
  • Gleichmäßige obere Schranke: Beweist eine gleichmäßige obere Schranke für die Dichte ($\rho(x,t) \le C$).
  • Limitierung: Das Papier stellt explizit fest, dass die Etablierung einer gleichmäßigen positiven unteren Schranke für die Dichte im kritischen Fall $\alpha=1$ eine offene Herausforderung bleibt und als zukünftige Arbeit deklariert wird.

Bedeutung
Das Paper liefert eine affirmative Antwort auf die Fragen, ob globale starke Lösungen mit beliebig großen Anfangsdaten gleichmäßige zeitunabhängige Dichteschranken besitzen und gegen das Gleichgewicht konvergieren im multidimensionalen periodischen NSK-System.

• Lösung offener Probleme: Es löst das offene Problem bezüglich des Langzeitverhaltens und der gleichmäßigen Dichteschranken für das verallgemeinerte NSK-System mit großen Daten, welche selbst nach der Etablierung der globalen Existenz in [16] und [25] ungelöst waren.
• Methodischer Fortschritt: Die Entwicklung der Zeitdiskretisierungsstrategie in Kombination mit dem Bootstrap-Argument für die Integrabilität stellt einen signifikanten methodischen Fortschritt dar. Sie ermöglicht die Ableitung gleichmäßiger Schranken, ohne auf das restriktive intermediäre Regime ($\varepsilon = \nu$) angewiesen zu sein, das oft in Analysen der Quanten-Navier-Stokes-Gleichungen erforderlich ist, wodurch das breitere parabolische Regime ($\varepsilon < \nu$) abgedeckt wird.
• Optimierung der Parameter: Durch die Verfeinerung der zulässigen Bereiche für $\gamma$ erweitern die Ergebnisse die physikalische Anwendbarkeit der globalen Existenztheorie für kompressible Fluide mit Kapillaritätseffekten.

Die Autoren betonen, dass ihre Ergebnisse ohne die Auferlegung von Kleinheitsbedingungen auf die Anfangsdaten gewonnen wurden, was die Befunde für physikalisch relevante Szenarien mit großen Perturbationen robust macht. Die Arbeit überlässt die Erweiterung auf das Cauchy-Problem und die Etablierung der unteren Schranken für den kritischen Fall $\alpha=1$ als Richtungen für zukünftige Forschung.