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

Technische Samenvatting: Mondiale Regulariteit van Temperatuurpatches voor het 3D Niet-Diffusieve Boussinesq-systeem met een Groot Prandtl-getal

Probleemstelling
Het artikel behandelt de mondiale welgesteldheid van sterke oplossingen voor het 3D niet-diffusieve Boussinesq-systeem (B) met grote initiële data, een probleem dat open is gebleven. Specifiek onderzoeken de auteurs de evolutie van "temperatuurpatches", waarbij de initiële temperatuur $\theta_0$ de karakteristieke functie is van een begrensde domein $D_0$ (mogelijk met niet-constante waarden binnenin). De centrale vragen zijn:

1. Beschikt het systeem over een unieke mondiale sterke oplossing voor grote initiële data wanneer het Prandtl-getal ($Pr$) voldoende groot is?
2. Blijft de randregulariteit van de temperatuurpatch (specifiek $C^{1,\gamma}$, $W^{2,\infty}$ en $C^{2,\gamma}$) globaal in de tijd behouden?
3. Convergeert de oplossing van het Boussinesq-systeem naar de oplossing van het 3D Stokes-transport-systeem (ST) naarmate $Pr \to \infty$, en behoudt deze limiet de randregulariteit van de patch?

In tegenstelling tot het 2D-geval of het 3D-geval met kleine data, is het 3D viskeuze Boussinesq-systeem met $Pr=1$ en grote data niet bekend als globaal welgesteld. De auteurs stellen voor dat het regime van een groot Prandtl-getal dient als een alternatief mechanisme om mondiale regulariteit te waarborgen zonder kleineheidsveronderstellingen op de initiële data te vereisen.

Methodologie
De auteurs maken gebruik van een combinatie van energiemethoden, paradifferentiele calculus en gestreept (conormaal) schattingen binnen het kader van Besov-ruimten.

1. Schattingen voor een Groot Prandtl-getal:

   • De auteurs vestigen a priori mondiale schattingen in de tijd voor het snelheidveld $u$ in de ruimten $L^\infty(0, T; H^{1/2})$ en $L^2(0, T; H^{3/2})$.
   • Cruciaal is dat zij een mondiale $L^\infty_T(L^{3,\infty})$ schatting voor $u$ afleiden met behulp van een bootstrap-argument. Deze schatting is afhankelijk van de voorwaarde $Pr \geq Pr^*$, waarbij $Pr^*$ een drempelwaarde is die wordt bepaald door de schaalinvariante normen van de initiële data ($\|u_0\|_{L^{3,\infty}} + \|\theta_0\|_{L^1}$).
   • Dit maakt hen in staat om de energie-schattingen te sluiten zonder de kleineheidsveronderstellingen die gewoonlijk vereist zijn voor 3D Navier-Stokes of Boussinesq-systemen.

2. Gestreept Regulariteit en de "Goede Onbekende":

   • Om de transport van de patch-rand te behandelen, introduceren de auteurs een hulpvariabele $\Gamma = \Omega - R^{-1}\theta$, waarbij $\Omega = \nabla \wedge u$ is en $R^{-1}$ Riesz-transformaties omvat.
   • In de limiet $Pr \to \infty$ voldoet het Stokes-transport-systeem aan $\Omega = R^{-1}\theta$, wat impliceert dat $\Gamma \equiv 0$. Voor een eindig maar groot $Pr$, voldoet $\Gamma$ aan een transport-diffusievergelijking (4.5) met een bronterm bestaande uit commutatoren.
   • De auteurs bewijzen dat $\Gamma$ voldoet aan uniforme-in-$Pr$ schattingen in passende Besov-ruimten. Deze "goede onbekende" ontkoppelt de vorticiteitsdynamica van de temperatuurforcing op een manier die uniforme schattingen faciliteert.

3. Behoud van Randregulariteit:

   • Het behoud van de randregulariteit is gekoppeld aan de regulariteit van een toegestaan systeem van conormale vectorvelden $W = \{W^i\}_{i=1}^5$ die tangent aan de patch-rand zijn.
   • De auteurs bewijzen dat als $\nabla u \in L^1_T(C^\gamma)$, de flow-map de $C^{1,\gamma}$ regulariteit behoudt.
   • Voor hogere regulariteit ($W^{2,\infty}$ en $C^{2,\gamma}$) analyseren zij de evolutie van $\partial_W \nabla u$ (tangentiële afgeleiden van de gradiënt van de snelheid). Zij decomponeren $\nabla u$ met behulp van de Biot-Savart wet in termen van $\Gamma$ en $\theta$.
   • Nieuwe commutator-schattingen en smoothing-schattingen voor de transport-diffusievergelijking (specifiek Lemma 2.8 en Lemma 2.6) worden gebruikt om de nietlineaire termen uniform in $Pr$ te begrenzen.
   • Een belangrijke innovatie is een nieuwe aanpak voor het bewijzen van $W^{2,\infty}$ behoud die de specifieke cancellaties vermijdt die in eerdere 2D-werken werden gebruikt, waardoor het aanpasbaar is aan hogere-orde $W^{k,\infty}$ regulariteit.

4. Infinite Prandtl Number Limiet:

   • Gebruikmakend van de uniforme schattingen die in het grote $Pr$-regime zijn vastgesteld, passen de auteurs compactheidsargumenten (Aubin-Lions lemma) toe om aan te tonen dat de sequentie van oplossingen $(u_{Pr}, \theta_{Pr})$ convergeert naar een limiet $(u, \theta)$ naarmate $Pr \to \infty$.
   • Zij rechtvaardigen rigoureus dat deze limiet voldoet aan het 3D Stokes-transport-systeem (ST).
   • Zij bewijzen verder dat de geometrische structuur van de patch en de randregulariteit behouden blijven in de limiet.

Belangrijkste Bijdragen en Resultaten

• Theorem 1.1 (Globale Welgesteldheid voor Grote Pr): Het artikel bewijst de mondiale existentie en uniciteit van sterke oplossingen voor het 3D niet-diffusieve Boussinesq-systeem met initiële data $(u_0, \theta_0) \in H^{1/2}(\mathbb{R}^3) \times (L^1 \cap L^s(\mathbb{R}^3))$ ($s>3$), mits het Prandtl-getal voldoet aan $Pr \geq Pr^*$. De drempelwaarde $Pr^*$ hangt enkel af van de schaalinvariante normen van de initiële data.
• Uniforme Regulariteit-behoud: Voor niet-constante temperatuurpatches vestigen de auteurs de mondiale behoud van $C^{1,\gamma}$, $W^{2,\infty}$ en $C^{2,\gamma}$ randregulariteit. Cruciaal is dat de schattingen voor deze regulariteiten uniform zijn met betrekking tot het Prandtl-getal in het regime $Pr \in [Pr^*, \infty)$.
• Theorem 1.4 (Infinite Prandtl Limiet): Het artikel rechtvaagt rigoureus de convergentie van het 3D Boussinesq-systeem naar het 3D Stokes-transport-systeem naarmate $Pr \to \infty$. Het demonstreert dat de unieke mondiale oplossing van het limiet-systeem de patch-structuur en de $C^{1,\gamma}$, $W^{2,\infty}$ en $C^{2,\gamma}$ regulariteit van de rand globaal in de tijd behoudt.
• 3D Analoog van 2D Resultaten: Het resultaat voor het Stokes-transport-systeem wordt gepresenteerd als het 3D-analoog van het hoofdresultaat van Grayer II (2023) voor het 2D Stokes-transport-systeem.

Betekenis en Claims
De auteurs claimen dat hun werk het probleem van de mondiale welgesteldheid voor het 3D niet-diffusieve Boussinesq-systeem in het specifieke regime van grote Prandtl-getallen oplost, een setting waarin de standaard kleine-data-aannames niet nodig zijn. Door de "goede onbekende" $\Gamma$ te introduceren en uniforme-in-$Pr$ schattingen te ontwikkelen, overbruggen zij de kloof tussen het Boussinesq-systeem en het Stokes-transport-systeem.

De auteurs benadrukken dat het contrast tussen de moeilijkheid van het 3D Boussinesq-systeem met $Pr=1$ en de mondiale welgesteldheid van het Stokes-transport-systeem (de $Pr \to \infty$ limiet) suggereert dat een groot Prandtl-getal als een regulariserend mechanisme werkt. De rigoureuze rechtvaardiging van deze limiet, inclusief het behoud van hoge-orde randregulariteit voor temperatuurpatches, is een primaire bijdrage.

De auteurs merken bescheiden op dat hoewel hun methoden kunnen worden uitgebreid naar hogere-orde $C^{k,\gamma}$ en $W^{k,\infty}$ regulariteit (Opmerking 1.2), het huidige artikel zich richt op $k=1, 2$. Ze erkennen ook dat het uitbreiden van het convergentieresultaat naar de 2D gehele ruimte een open probleem blijft (Opmerking 1.5) vanwege het gebrek aan beschikbare Sobolev-inbeddingen in 3D.