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

Resumen Técnico: Regularidad Global de Parches de Temperatura para el Sistema de Boussinesq No Difusivo 3D con Número de Prandtl Grande

Planteamiento del Problema
El artículo aborda la existencia global de soluciones fuertes para el sistema de Boussinesq no difusivo 3D (B) con datos iniciales grandes, un problema que ha permanecido abierto. Específicamente, los autores investigan la evolución de los "parches de temperatura", donde la temperatura inicial $\theta_0$ es la función característica de un dominio acotado $D_0$ (posiblemente con valores no constantes en su interior). Las cuestiones centrales son:

1. ¿Admite el sistema una solución fuerte global única para datos iniciales grandes cuando el número de Prandtl ($Pr$) es suficientemente grande?
2. ¿Persiste globalmente en el tiempo la regularidad de la frontera del parche de temperatura (específicamente $C^{1,\gamma}$, $W^{2,\infty}$ y $C^{2,\gamma}$)?
3. ¿Converge la solución del sistema de Boussinesq a la solución del sistema de transporte-Stokes 3D (ST) cuando $Pr \to \infty$, y preserva este límite la regularidad de la frontera del parche?

A diferencia del caso 2D o del caso 3D con datos pequeños, el sistema de Boussinesq viscoso 3D con $Pr=1$ y datos grandes no se sabe si es globalmente bien planteado. Los autores proponen que el régimen de un número de Prandtl grande sirve como un mecanismo alternativo para asegurar la regularidad global sin requerir supuestos de pequeñez en los datos iniciales.

Metodología
Los autores emplean una combinación de métodos de energía, cálculo paradiferencial y estimaciones estriadas (conormales) dentro del marco de los espacios de Besov.

1. Estimaciones de Número de Prandtl Grande:

   • Los autores establecen estimaciones globales en el tiempo para el campo de velocidad $u$ en los espacios $L^\infty(0, T; H^{1/2})$ y $L^2(0, T; H^{3/2})$.
   • Crucialmente, derivan una estimación global $L^\infty_T(L^{3,\infty})$ para $u$ utilizando un argumento de bootstrap. Esta estimación depende de la condición $Pr \geq Pr^*$, donde $Pr^*$ es un umbral determinado por las normas invariantes de escala de los datos iniciales ($\|u_0\|_{L^{3,\infty}} + \|\theta_0\|_{L^1}$).
   • Esto permite cerrar las estimaciones de energía sin los supuestos de pequeñez típicamente requeridos para los sistemas de Navier-Stokes o de Boussinesq 3D.

2. Regularidad Estriada y la "Buena Incógnita":

   • Para manejar el transporte de la frontera del parche, los autores introducen una cantidad auxiliar $\Gamma = \Omega - R^{-1}\theta$, donde $\Omega = \nabla \wedge u$ es la vorticidad y $R^{-1}$ involucra transformadas de Riesz.
   • En el límite $Pr \to \infty$, el sistema de transporte-Stokes satisface $\Omega = R^{-1}\theta$, lo que implica $\Gamma \equiv 0$. Para un $Pr$ finito pero grande, $\Gamma$ satisface una ecuación de transporte-difusión (4.5) con un término fuente que involucra conmutadores.
   • Los autores demuestran que $\Gamma$ satisface estimaciones uniformes respecto a $Pr$ en espacios de Besov apropiados. Esta "buena incógnita" desacopla la dinámica de la vorticidad del forzamiento de la temperatura de una manera que facilita las estimaciones uniformes.

3. Persistencia de la Regularidad de la Frontera:

   • La persistencia de la regularidad de la frontera está vinculada a la regularidad de un sistema admisible de campos vectoriales conormales $W = \{W^i\}_{i=1}^5$ tangentes a la frontera del parche.
   • Los autores demuestran que si $\nabla u \in L^1_T(C^\gamma)$, entonces el mapa de flujo preserva la regularidad $C^{1,\gamma}$.
   • Para una mayor regularidad ($W^{2,\infty}$ y $C^{2,\gamma}$), analizan la evolución de $\partial_W \nabla u$ (derivadas tangenciales del gradiente de velocidad). Descomponen $\nabla u$ usando la ley de Biot-Savart en términos que involucran a $\Gamma$ y $\theta$.
   • Se utilizan nuevos estimadores de conmutadores y estimaciones de suavizado para la ecuación de transporte-difusión (específicamente el Lema 2.8 y el Lema 2.6) para acotar los términos no lineales de forma uniforme en $Pr$.
   • Una innovación clave es un nuevo enfoque para probar la persistencia de $W^{2,\infty}$ que evita las cancelaciones específicas utilizadas en trabajos 2D previos, haciéndolo adaptable a la regularidad $W^{k,\infty}$ de orden superior.

4. Límite de Número de Prandtl Infinito:

   • Utilizando las estimaciones uniformes establecidas en el régimen de $Pr$ grande, los autores aplican argumentos de compacidad (lema de Aubin-Lions) para mostrar que, a medida que $Pr \to \infty$, la secuencia de soluciones $(u_{Pr}, \theta_{Pr})$ converge a un límite $(u, \theta)$.
   • Justifican rigurosamente que este límite satisface el sistema de transporte-Stokes (ST).
   • Demuestran además que la estructura geométrica del parche y la regularidad de su frontera se preservan en el límite.

Contribuciones Clave y Resultados

• Teorema 1.1 (Existencia Global para Pr Grande): El artículo demuestra la existencia global y la unicidad de soluciones fuertes para el sistema de Boussinesq no difusivo 3D con datos iniciales $(u_0, \theta_0) \in H^{1/2}(\mathbb{R}^3) \times (L^1 \cap L^s(\mathbb{R}^3))$ ($s>3$), siempre que el número de Prandtl satisfaga $Pr \geq Pr^*$. El umbral $Pr^*$ depende únicamente de las normas invariantes de escala de los datos iniciales.
• Persistencia de Regularidad Uniforme: Para parches de temperatura no constantes, los autores establecen la persistencia global de la regularidad de frontera $C^{1,\gamma}$, $W^{2,\infty}$ y $C^{2,\gamma}$. Crucialmente, las estimaciones para estas regularidades son uniformes respecto al número de Prandtl en el régimen $Pr \in [Pr^*, \infty)$.
• Teorema 1.4 (Límite de Prandtl Infinito): El artículo justifica rigurosamente la convergencia del sistema de Boussinesq 3D al sistema de transporte-Stokes cuando $Pr \to \infty$. Demuestra que la solución única global del sistema límite preserva la estructura del parche y la regularidad $C^{1,\gamma}$, $W^{2,\infty}$ y $C^{2,\gamma}$ de la frontera globalmente en el tiempo.
• Análogo 3D de Resultados 2D: El resultado para el sistema de transporte-Stokes se presenta como el análogo 3D del resultado principal de Grayer II (2023) para el sistema de transporte-Stokes 2D.

Significado y Pretensiones
Los autores afirman que su trabajo resuelve el problema de la existencia global para el sistema de Boussinesq no difusivo 3D en el régimen específico de números de Prandtl grandes, un escenario donde no se requieren los supuestos habituales de datos pequeños. Al introducir la "buena incógnita" $\Gamma$ y desarrollar estimaciones uniformes en $Pr$, cierran la brecha entre el sistema de Boussinesq y el sistema de transporte-Stokes.

El artículo destaca que el contraste entre la dificultad del sistema de Boussinesq 3D con $Pr=1$ y la existencia global de soluciones del sistema de transporte-Stokes (el límite $Pr \to \infty$) sugiere que un número de Prandtl grande actúa como un mecanismo de regularización. La justificación rigurosa de este límite, incluyendo la preservación de la alta regularidad de la frontera para los parches de temperatura, es una contribución primaria.

Los autores señalan modestamente que, aunque sus métodos pueden extenderse a la regularidad $C^{k,\gamma}$ y $W^{k,\infty}$ de orden superior (Observación 1.2), el presente trabajo se centra en $k=1, 2$. También reconocen que extender el resultado de convergencia al espacio completo 2D sigue siendo un problema abierto debido a la falta de inmersiones de Sobolev disponibles en 3D (Observación 1.5).