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

Résumé Technique : Régularité Globale des Patchs de Température pour le Système de Boussinesq Non-Diffusif 3D à Grand Nombre de Prandtl

Énoncé du Problème
L'article traite de la bien-posée globale des solutions fortes pour le système de Boussinesq non-diffusif (B) en 3D avec des données initiales de grande amplitude, un problème qui est resté ouvert. Plus précisément, les auteurs étudient l'évolution de « patchs de température », où la température initiale $\theta_0$ est la fonction caractéristique d'un domaine borné $D_0$ (pouvant présenter des valeurs non constantes à l'intérieur). Les questions centrales sont :

1. Le système admet-il une solution forte globale unique pour de grandes données initiales lorsque le nombre de Prandtl ($Pr$) est suffisamment grand ?
2. La régularité de la frontière du patch de température (spécifiquement $C^{1,\gamma}$, $W^{2,\infty}$, et $C^{2,\gamma}$) persiste-t-elle globalement dans le temps ?
3. La solution du système de Boussinesq converge-t-elle vers la solution du système de Stokes-transport 3D (ST) lorsque $Pr \to \infty$, et ce limite préserve-t-elle la régularité de la frontière du patch ?

Contrairement au cas 2D ou au cas 3D avec de petites données, le système de Boussinesq visqueux 3D avec $Pr=1$ et de grandes données n'est pas connu pour être globalement bien posé. Les auteurs proposent que le régime de grand nombre de Prandtl sert de mécanisme alternatif pour assurer la régularité globale sans nécessiter d'hypothèses de petitesse sur les données initiales.

Méthodologie
Les auteurs emploient une combinaison de méthodes d'énergie, de calcul paradifférentiel et d'estimations striées (conormales) dans le cadre des espaces de Besov.

1. Estimations pour Grand Nombre de Prandtl :

   • Les auteurs établissent des estimations globales dans le temps a priori pour le champ de vitesse $u$ dans les espaces $L^\infty(0, T; H^{1/2})$ et $L^2(0, T; H^{3/2})$.
   • Crucialement, ils dérivent une estimation globale $L^\infty_T(L^{3,\infty})$ pour $u$ en utilisant un argument de bootstrap. Cette estimation dépend de la condition $Pr \geq Pr^*$, où $Pr^*$ est un seuil déterminé par les normes invariantes d'échelle des données initiales ($\|u_0\|_{L^{3,\infty}} + \|\theta_0\|_{L^1}$).
   • Cela permet de clore les estimations d'énergie sans les hypothèses de petitesse typiquement requises pour les systèmes de Navier-Stokes ou de Boussinesq en 3D.

2. Régularité Striée et la « Bonne Inconnue » :

   • Pour gérer le transport de la frontière du patch, les auteurs introduisent une quantité auxiliaire $\Gamma = \Omega - R^{-1}\theta$, où $\Omega = \nabla \wedge u$ est la vorticité et $R^{-1}$ implique les transformées de Riesz.
   • Dans la limite $Pr \to \infty$, le système Stokes-transport satisfait $\Omega = R^{-1}\theta$, impliquant $\Gamma \equiv 0$. Pour un $Pr$ fini mais grand, $\Gamma$ satisfait une équation de transport-diffusion (4.5) avec un terme source impliquant des commutateurs.
   • Les auteurs prouvent que $\Gamma$ satisfait des estimations uniformes en $Pr$ dans des espaces de Besov appropriés. Cette « bonne inconnue » découple la dynamique de la vorticité du forçage de la température d'une manière qui facilite les estimations uniformes.

3. Persistance de la Régularité de la Frontière :

   • La persistance de la régularité de la frontière est liée à la régularité d'un système admissible de champs de vecteurs conormaux $W = \{W^i\}_{i=1}^5$ tangents à la frontière du patch.
   • Les auteurs prouvent que si $\nabla u \in L^1_T(C^\gamma)$, alors le flot préserve la régularité $C^{1,\gamma}$.
   • Pour une régularité supérieure ($W^{2,\infty}$ et $C^{2,\gamma}$), ils analysent l'évolution de $\partial_W \nabla u$ (dérivées tangentielles du gradient de vitesse). Ils décomposent $\nabla u$ en utilisant la loi de Biot-Savart en termes impliquant $\Gamma$ et $\theta$.
   • De nouvelles estimations de commutateurs et des estimations de lissage pour l'équation de transport-diffusion (spécifiquement le Lemme 2.8 et le Lemme 2.6) sont utilisées pour borner les termes non linéaires uniformément en $Pr$.
   • Une innovation clé est une nouvelle approche pour prouver la persistance de $W^{2,\infty}$ qui évite les annulations spécifiques utilisées dans les travaux 2D précédents, la rendant adaptable à une régularité $W^{k,\infty}$ d'ordre supérieur.

4. Limite du Nombre de Prandtl Infini :

   • En utilisant les estimations uniformes établies dans le régime de grand $Pr$, les auteurs appliquent des arguments de compacité (lemme d'Aubin-Lions) pour montrer que lorsque $Pr \to \infty$, la séquence de solutions $(u_{Pr}, \theta_{Pr})$ converge vers une limite $(u, \theta)$.
   • Ils justifient rigoureusement que cette limite satisfait le système Stokes-transport 3D (ST).
   • Ils prouvent en outre que la structure géométrique du patch et la régularité de sa frontière sont préservées dans la limite.

Contributions Clés et Résultats

• Théorème 1.1 (Bien-posée Globale pour Grand $Pr$) : L'article prouve l'existence globale et l'unicité des solutions fortes pour le système de Boussinesq non-diffusif 3D avec des données initiales $(u_0, \theta_0) \in H^{1/2}(\mathbb{R}^3) \times (L^1 \cap L^s(\mathbb{R}^3))$ ($s>3$), à condition que le nombre de Prandtl satisfasse $Pr \geq Pr^*$. Le seuil $Pr^*$ dépend uniquement des normes invariantes d'échelle des données initiales.
• Persistance de la Régularité Uniforme : Pour les patchs de température à température non constante, les auteurs établissent la persistance globale de la régularité de frontière $C^{1,\gamma}$, $W^{2,\infty}$, et $C^{2,\gamma}$. Crucialement, les estimations pour ces régularités sont uniformes par rapport au nombre de Prandtl dans le régime $Pr \in [Pr^*, \infty)$.
• Théorème 1.4 (Limite de Prandtl Infini) : L'article justifie rigoureusement la convergence du système de Boussinesq 3D vers le système de Stokes-transport 3D lorsque $Pr \to \infty$. Il démontre que la solution unique globale du système limite préserve la structure du patch ainsi que la régularité $C^{1,\gamma}$, $W^{2,\infty}$, et $C^{2,\gamma}$ de la frontière globalement dans le temps.
• Analogue 3D des Résultats 2D : Le résultat pour le système de Stokes-transport est présenté comme l'analogue 3D du résultat principal de Grayer II (2023) pour le système de Stokes-transport 2D.

Signification et Revendications
Les auteurs affirment que leur travail résout le problème de la bien-posée globale pour le système de Boussinesq non-diffusif 3D dans le régime spécifique des grands nombres de Prandtl, un cadre où les hypothèses standard de petites données ne sont pas requises. En introduisant la « bonne inconnue » $\Gamma$ et en développant des estimations uniformes en $Pr$, ils comblent le fossé entre le système de Boussinesq et le système de Stokes-transport.

L'article souligne que le contraste entre la difficulté du système de Boussinesq 3D avec $Pr=1$ et la bien-posée globale du système de Stokes-transport (la limite $Pr \to \infty$) suggère qu'un grand nombre de Prandtl agit comme un mécanisme de régularisation. La justification rigoureuse de cette limite, incluant la préservation de la haute régularité de la frontière pour les patchs de température, constitue une contribution primaire.

Les auteurs notent modestement que, bien que leurs méthodes puissent être étendues à une régularité $C^{k,\gamma}$ et $W^{k,\infty}$ d'ordre supérieur (Remarque 1.2), l'article actuel se concentre sur $k=1, 2$. Ils reconnaissent également que l'extension du résultat de convergence à l'espace entier 2D reste un problème ouvert en raison de l'absence d'inclusions de Sobolev disponibles en 3D (Remarque 1.5).