Global regularity of temperature patches for the 3D non-diffusive Boussinesq system with large Prandtl number

Technische Zusammenfassung: Globale Regularität von Temperaturpatches für das 3D nicht-diffusive Boussinesq-System mit großer Prandtl-Zahl

Problemstellung
Die vorliegende Arbeit behandelt die globale Wohldefiniertheit starker Lösungen für das 3D nicht-diffusive Boussinesq-System (B) mit großen Anfangsdaten, ein Problem, das bislang offen geblieben ist. Konkret untersuchen die Autoren die Entwicklung von „Temperaturpatches“, bei denen die Anfangstemperatur $\theta_0$ die Charakteristische Funktion eines beschränkten Gebiets $D_0$ ist (möglicherweise mit nicht-konstanten Werten innerhalb des Gebiets). Die zentralen Fragen sind:

1. Besitzt das System eine eindeutige globale starke Lösung für große Anfangsdaten, wenn die Prandtl-Zahl ($Pr$) hinreichend groß ist?
2. Bleibt die Grenzflächenregularität des Temperaturpatches (speziell $C^{1,\gamma}$, $W^{2,\infty}$ und $C^{2,\gamma}$) global in der Zeit erhalten?
3. Konvergiert die Lösung des Boussinesq-Systems für $Pr \to \infty$ gegen die Lösung des 3D-Stokes-Transport-Systems (ST), und bewahrt dieser Grenzwert die Regularität der Patch-Grenzfläche?

Im Gegensatz zum 2D-Fall oder dem 3D-Fall mit kleinen Daten ist die globale Wohldefiniertheit des 3D viskosen Boussinesq-Systems mit $Pr=1$ nicht bekannt. Die Autoren schlagen vor, dass das Regime großer Prandtl-Zahlen als alternativer Mechanismus dient, um globale Regularität zu gewährleisten, ohne dass Annahmen über die Kleinheit der Anfangsdaten erforderlich sind.

Methodik
Die Autoren verwenden eine Kombination aus Energiemethoden, paradifferenzieller Kalkül und striierten (konormalen) Schätzungen innerhalb des Rahmens von Besov-Räumen.

1. Schätzungen für große Prandtl-Zahlen:

   • Die Autoren etablieren a priori globale globale Zeit-Abschätzungen für das Geschwindigkeitsfeld $u$ in den Räumen $L^\infty(0, T; H^{1/2})$ und $L^2(0, T; H^{3/2})$.
   • Entscheidend ist, dass sie eine globale $L^\infty_T(L^{3,\infty})$-Abschätzung für $u$ mittels eines Bootstrap-Arguments herleiten. Diese Abschätzung hängt von der Bedingung $Pr \geq Pr^*$ ab, wobei $Pr^*$ eine Schwelle ist, die durch die skaleninvariante Norm der Anfangsdaten ($\|u_0\|_{L^{3,\infty}} + \|\theta_0\|_{L^1}$) bestimmt wird.
   • Dies ermöglicht es ihnen, die Energieschätzungen abzuschließen, ohne die typischerweise erforderlichen Kleinheitsannahmen für 3D-Navier-Stokes- oder Boussinesq-Systeme zu treffen.

2. Striierte Regularität und die „gute Unbekannte“ (Good Unknown):

   • Um den Transport der Patch-Grenzfläche zu handhaben, führen die Autoren eine Hilfsgröße $\Gamma = \Omega - R^{-1}\theta$ ein, wobei $\Omega = \nabla \wedge u$ die Wirbelstärke ist und $R^{-1}$ Riesz-Transformationen beinhaltet.
   • Im Grenzwert $Pr \to \infty$ erfüllt das Stokes-Transport-System $\Omega = R^{-1}\theta$, was impliziert, dass $\Gamma \equiv 0$. Für endliche, aber große $Pr$ erfüllt $\Gamma$ eine Transport-Diffusions-Gleichung (4.5) mit einem Quellterm, der Kommutatoren beinhaltet.
   • Die Autoren beweisen, dass $\Gamma$ globale Schätzungen in geeigneten Besov-Räumen erfüllt, die unabhängig von $Pr$ sind. Diese „gute Unkannte“ entkoppelt die Dynamik der Wirbelstärke von der Temperatur-Forcierung in einer Weise, die uniforme Schätzungen erleichtert.

3. Erhalt der Grenzflächenregularität:

   • Der Erhalt der Grenzflächenregularität ist mit der Regularität eines zulässigen Systems konormaler Vektorfelder $W = \{W^i\}_{i=1}^5$ verknüpft, die tangential zur Patch-Grenzfläche stehen.
   • Die Autoren beweisen, dass, falls $\nabla u \in L^1_T(C^\gamma)$, die Fließabbildung die $C^{1,\gamma}$-Regularität bewahrt.
   • Für höhere Regularität ($W^{2,\infty}$ und $C^{2,\gamma}$) analysieren sie die Entwicklung von $\partial_W \nabla u$ (tangentiale Ableitungen des Geschwindigkeitsgradienten). Sie zerlegen $\nabla u$ unter Verwendung des Biot-Savart-Gesetzes in Terme, die $\Gamma$ und $\theta$ beinhalten.
   • Neue Kommutator-Schätzungen und Glättungsschätzungen für die Transport-Diffusions-Gleichung (insbesondere Lemma 2.8 und Lemma 2.6) werden verwendet, um die nichtlinearen Terme uniform in $Pr$ zu beschränken.
   • Eine wesentliche Innovation ist ein neuer Ansatz zum Beweis der $W^{2,\infty}$-Persistenz, der die spezifischen Ausgleichsberechnungen (Cancellations) früherer 2D-Arbeiten vermeidet und dadurch anwendbar auf höhere $W^{k,\infty}$-Regularität gemacht werden kann.

4. Unendlicher Prandtl-Grenzwert:

   • Unter Verwendung der etablierten uniformen Schätzungen im großen $Pr$-Regime wenden die Autoren Kompaktheitsargumente (Aubin-Lions-Lemma) an, um zu zeigen, dass die Folge der Lösungen $(u_{Pr}, \theta_{Pr})$ gegen eine Lösung $(u, \theta)$ konvergiert, wenn $Pr \to \infty$.
   • Sie rechtfertigen rigoros, dass dieser Grenzwert das 3D-Stokes-Transport-System (ST) erfüllt.
   • Sie beweisen ferner, dass die geometrische Struktur des Patches und seine Grenzflächenregularität im Grenzwert erhalten bleiben.

Wesentliche Beiträge und Ergebnisse

• Theorem 1.1 (Globale Wohdefiniertheit für großes Pr): Die Arbeit beweist die globale Existenz und Eindeutigkeit starker Lösungen für das 3D nicht-diffusive Boussinesq-System mit Anfangsdaten $(u_0, \theta_0) \in H^{1/2}(\mathbb{R}^3) \times (L^1 \cap L^s(\mathbb{R}^3))$ ($s>3$), sofern die Prandtl-Zahl die Bedingung $Pr \geq Pr^*$ erfüllt. Die Schwelle $Pr^*$ hängt nur von den skaleninvarianten Normen der Anfangsdaten ab.
• Uniforme Regularitätspersistenz: Für nicht-konstante Temperaturpatches etablieren die Autoren den globalen Erhalt der $C^{1,\gamma}$, $W^{2,\infty}$ und $C^{2,\gamma}$ Grenzflächenregularität. Entscheidend ist, dass die Schätzungen für diese Regularitäten uniform bezüglich der Prandtl-Zahl im Bereich $Pr \in [Pr^*, \infty)$ sind.
• Theorem 1.4 (Unendlicher Prandtl-Grenzwert): Die Arbeit rechtfertigt rigoros die Konvergenz des 3D Boussinesq-Systems gegen das 3D-Stokes-Transport-System, wenn $Pr \to \infty$. Sie zeigt, dass die eindeutige globale Lösung des Grenzwertsystems die Patch-Struktur sowie die $C^{1,\gamma}$, $W^{2,\infty}$ und $C^{2,\gamma}$ Regularität der Grenzfläche global in der Zeit bewahrt.
• 3D-Analogon zu 2D-Ergebnissen: Das Ergebnis für das Stokes-Transport-System wird als 3D-Analogon zum Hauptergebnis von Grayer II (2023) für das 2D-Stokes-Transport-System präsentiert.

Bedeutung und Behauptungen
Die Autoren behaupten, dass ihre Arbeit das Problem der globalen Wohdefiniertheit für das 3D nicht-diffusive Boussinesq-System in dem spezifischen Regime großer Prandtl-Zahlen löst, in dem die Standard-Kleinheitsannahmen nicht erforderlich sind. Durch die Einführung der „guten Unbekannten“ $\Gamma$ und die Entwicklung von uniformen $Pr$-Schätzungen schließen sie die Lücke zwischen dem Boussinesq-System und dem Stokes-Transport-System.

Die Autoren heben hervor, dass der Kontrast zwischen der Schwierigkeit des 3D Boussinesq-Systems mit $Pr=1$ und der globalen Wohdefiniertheit des Stokes-Transport-Systems (dem $Pr \to \infty$ Grenzwert) darauf hindeutet, dass eine große Prandtl-Zahl als Regularisierungsmechanismus wirkt. Die rigorose Rechtfertigung dieses Grenzwerts, einschließlich des Erhalts der hohen Ordnung der Grenzflächenregularität für Temperaturpatches, stellt einen primären Beitrag dar.

Die Autoren merken bescheiden an, dass sich ihre Methoden auf höhere $C^{k,\gamma}$ und $W^{k,\infty}$ Regularität erweitern lassen (Bemerkung 1.2), der Fokus der aktuellen Arbeit jedoch auf $k=1, 2$ liegt. Sie räumen auch ein, dass die Erweiterung des Konvergenzergebnisses auf den 2D-gesamten Raum aufgrund der fehlenden Sobolev-Einbettungen in 3D ein offenes Problem bleibt (Bemerkung 1.5).