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

Resumo Técnico: Regularidade Global de Patches de Temperatura para o Sistema de Boussinesq Não Difusivo 3D com Grande Número de Prandtl

Enunciado do Problema
O artigo aborda a existência global de soluções fortes para o sistema de Boussinesq não difusivo (B) 3D com dados iniciais grandes, um problema que permanecia em aberto. Especificamente, os autores investigam a evolução de "patches de temperatura", onde a temperatura inicial $\theta_0$ é a função característica de um domínio limitado $D_0$ (possivelmente com valores não constantes no interior). As questões centrais são:

1. O sistema admite uma solução forte única e global para dados iniciais grandes quando o número de Prandtl ($Pr$) é suficientemente grande?
2. A regularidade da fronteira do patch de temperatura (especificamente $C^{1,\gamma}$, $W^{2,\infty}$ e $C^{2,\gamma}$) persiste globalmente no tempo?
3. A solução do sistema de Boussinesq converge para a solução do sistema de transporte-Stokes (ST) 3D conforme $Pr \to \infty$, e esse limite preserva a regularidade da fronteira do patch?

Ao contrário do caso 2D ou do caso 3D com dados pequenos, o sistema de Boussinesq viscoso 3D com $Pr=1$ e dados grandes não é conhecido por ser globalmente bem posto. Os autores propõem que o regime de grande número de Prandtl serve como um mecanismo alternativo para garantir a regularidade global sem exigir suposições de pequena magnitude sobre os dados iniciais.

Metodologia
Os autores empregam uma combinação de métodos de energia, cálculo paradiferencial e estimativas estriadas (conormais) dentro do framework de espaços de Besov.

1. Estimativas de Grande Número de Prandtl:

   • Os autores estabelecem estimativas a priori globais no tempo para o campo de velocidade $u$ nos espaços $L^\infty(0, T; H^{1/2})$ e $L^2(0, T; H^{3/2})$.
   • Crucialmente, eles derivam uma estimativa global $L^\infty_T(L^{3,\infty})$ para $u$ usando um argumento de bootstrap. Esta estimativa depende da condição $Pr \geq Pr^*$, onde $Pr^*$ é um limiar determinado pelas normas invariantes de escala dos dados iniciais ($\|u_0\|_{L^{3,\infty}} + \|\theta_0\|_{L^1}$).
   • Isso permite fechar as estimativas de energia sem as suposições de pequena magnitude tipicamente exigidas pelos sistemas de Navier-Stokes ou de Boussinesq 3D.

2. Regularidade Estriada e a "Boa Incógnita":

   • Para lidar com o transporte da fronteira do patch, os autores introduzem uma quantidade auxiliar $\Gamma = \Omega - R^{-1}\theta$, onde $\Omega = \nabla \wedge u$ é a vorticidade e $R^{-1}$ envolve transformadas de Riesz.
   • No limite $Pr \to \infty$, o sistema de transporte-Stokes satisfaz $\Omega = R^{-1}\theta$, implicando $\Gamma \equiv 0$. Para um $Pr$ finito, mas grande, $\Gamma$ satisfaz uma equação de transporte-difusão (4.5) com um termo de fonte envolvendo comutadores.
   • Os autores provam que $\Gamma$ satisfaz estimativas uniformes em relação a $Pr$ em espaços de Besov apropriados. Esta "boa incógnita" desacopla a dinâmica da vorticidade do forçamento da temperatura de uma forma que facilita estimativas uniformes.

3. Persistência da Regularidade da Fronteira:

   • A persistência da regularidade da fronteira está ligada à regularidade de um sistema admissível de campos vetoriais conormais $W = \{W^i\}_{i=1}^5$ tangentes à fronteira do patch.
   • Os autores provam que se $\nabla u \in L^1_T(C^\gamma)$, então o mapa de fluxo preserva a regularidade $C^{1,\gamma}$.
   • Para regularidades superiores ($W^{2,\infty}$ e $C^{2,\gamma}$), eles analisam a evolução de $\partial_W \nabla u$ (derivadas tangenciais do gradiente de velocidade). Eles decompõem $\nabla u$ usando a lei de Biot-Savart em termos de $\Gamma$ e $\theta$.
   • Novos estimadores de comutadores e estimativas de suavização para a equação de transporte-difusão (especificamente o Lema 2.8 e o Lema 2.6) são usados para limitar os termos não lineares uniformemente em $Pr$.
   • Uma inovação chave é uma nova abordagem para provar a persistência de $W^{2,\infty}$ que evita os cancelamentos específicos usados em trabalhos 2D anteriores, tornando-a adaptável à regularidade $W^{k,\infty}$ de ordem superior.

4. Limite de Prandtl Infinito:

   • Usando as estimativas uniformes estabelecidas no regime de grande $Pr$, os autores aplicam argumentos de compacidade (lema de Aubin-Lions) para mostrar que, conforme $Pr \to \infty$, a sequência de soluções $(u_{Pr}, \theta_{Pr})$ converge para um limite $(u, \theta)$.
   • Eles justificam rigorosamente que este limite satisfaz o sistema de transporte-Stokes 3D.
   • Eles provam adicionalmente que a estrutura geométrica do patch e a regularidade de sua fronteira são preservadas no limite.

Principais Contribuições e Resultados

• Teorema 1.1 (Bem-posto Global para Grande Pr): O artigo prova a existência global e unicidade de soluções fortes para o sistema de Boussinesq não difusivo 3D com dados iniciais $(u_0, \theta_0) \in H^{1/2}(\mathbb{R}^3) \times (L^1 \cap L^s(\mathbb{R}^3))$ ($s>3$), desde que o número de Prandtl satisfaça $Pr \geq Pr^*$. O limiar $Pr^*$ depende apenas das normas invariantes de escala dos dados iniciais.
• Persistência de Regularidade Uniforme: Para patches de temperatura não constantes, os autores estabelecem a persistência global da regularidade de fronteira $C^{1,\gamma}$, $W^{2,\infty}$ e $C^{2,\gamma}$. Crucialmente, as estimativas para essas regularidades são uniformes em relação ao número de Prandtl no regime $Pr \in [Pr^*, \infty)$.
• Teorema 1.4 (Limite de Prandtl Infinito): O artigo justifica rigorosamente a convergência do sistema de Boussinesq 3D para o sistema de transporte-Stokes 3D conforme $Pr \to \infty$. Ele demonstra que a solução única e global do sistema limite preserva a estrutura do patch e a regularidade $C^{1,\gamma}$, $W^{2,\infty}$ e $C^{2,\gamma}$ da fronteira globalmente no tempo.
• Análogo 3D de Resultados 2D: O resultado para o sistema de transporte-Stokes é apresentado como o análogo 3D do principal resultado de Grayer II (2023) para o sistema de transporte-Stokes 2D.

Significância e Alegações
Os autores afirmam que seu trabalho resolve o problema da existência global para o sistema de Boussinesq não difusivo 3D no regime específico de grandes números de Prandtl, um cenário onde as suposições padrão de dados pequenos não são necessárias. Ao introduzir a "boa incógnita" $\Gamma$ e desenvolver estimativas uniformes em $Pr$, eles unem o sistema de Boussinesq ao sistema de transporte-Stokes.

O artigo destaca que o contraste entre a dificuldade do sistema de Boussinesq 3D com $Pr=1$ e a existência global de soluções do sistema de transporte-Stokes (o limite $Pr \to \infty$) sugere que um grande número de Prandtl atua como um mecanismo de regularização. A justificativa rigorosa deste limite, incluindo a preservação da alta regularidade da fronteira para patches de temperatura, é uma contribuição primária.

Os autores observam modestamente que, embora seus métodos possam ser estendidos para regularidade $C^{k,\gamma}$ e $W^{k,\infty}$ de ordem superior (Observação 1.2), o presente artigo foca em $k=1, 2$. Eles também reconhecem que estender o resultado de convergência para o espaço total 2D permanece um problema em aberto (Observação 1.5).