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

Sintesi Tecnica: Regolarità Globale dei Patch di Temperatura per il Sistema di Boussinesq Non-Diffusivo 3D con Numero di Prandtl Elevato

Problema
Il saggio affronta la ben determinazione globale (global well-posedness) delle soluzioni forti per il sistema di Boussinesq non-diffusivo 3D (B) con dati iniziali grandi, un problema che è rimasto aperto. Nello specifico, gli autori investigano l'evoluzione dei "patch di temperatura", dove la temperatura iniziale $\theta_0$ è la funzione caratteristica di un dominio limitato $D_0$ (possibilmente con valori non costanti all'interno). Le questioni centrali sono:

1. Il sistema ammette una soluzione forte globale unica per dati iniziali grandi quando il numero di Prandtl ($Pr$) è sufficientemente grande?
2. La regolarità del bordo del patch di temperatura (specificamente $C^{1,\gamma}$, $W^{2,\infty}$ e $C^{2,\gamma}$) persiste globalmente nel tempo?
3. La soluzione del sistema di Boussinesq converge alla soluzione del sistema Stokes-trasporto 3D (ST) per $Pr \to \infty$, e questo limite preserva la regolarità del bordo del patch?

A differenza del caso 2D o del caso 3D con dati piccoli, il sistema di Boussinesq viscoso 3D con $Pr=1$ e dati grandi non è noto per essere globalmente ben determinato. Gli autori propongono che il regime di alto numero di Prandtl serva come meccanismo alternativo per garantire la regolarità globale senza richiedere assunzioni di piccolezza sui dati iniziali.

Metodologia
Gli autori impiegano una combinazione di metodi di energia, calcolo paradifferenziale e stime striate (conormali) all'interno del framework degli spazi di Besov.

1. Stime per Alto Numero di Prandtl:

   • Gli autori stabiliscono stime a priori globali nel tempo per il campo di velocità $u$ negli spazi $L^\infty(0, T; H^{1/2})$ e $L^2(0, T; H^{3/2})$.
   • Fondamentalmente, derivano una stima globale $L^\infty_T(L^{3,\infty})$ per $u$ utilizzando un argomento di bootstrap. Questa stima dipende dalla condizione $Pr \geq Pr^*$, dove $Pr^*$ è una soglia determinata dalle norme invarianti per scala dei dati iniziali ($\|u_0\|_{L^{3,\infty}} + \|\theta_0\|_{L^1}$).
   • Ciò consente di chiudere le stime di energia senza le assunzioni di piccolezza tipicamente richieste per i sistemi di Navier-Stokes o di Boussinesq 3D.

2. Regolarità Striata e la "Buona Incognita":

   • Per gestire il trasporto del bordo del patch, gli autori introducono una quantità ausiliaria $\Gamma = \Omega - R^{-1}\theta$, dove $\Omega = \nabla \wedge u$ è la vorticità e $R^{-1}$ coinvolge le trasformate di Riesz.
   • Nel limite $Pr \to \infty$, il sistema Stokes-trasporto soddisfa $\Omega = R^{-1}\theta$, implicando $\Gamma \equiv 0$. Per un $Pr$ finito ma grande, $\Gamma$ soddisfa un'equazione di trasporto-diffusione (4.5) con un termine sorgente che coinvolge commutatori.
   • Gli autori dimostrano che $\Gamma$ soddisfa stime uniformi rispetto a $Pr$ in appropriati spazi di Besov. Questa "buona incognita" disaccoppia la dinamica della vorticità dal forcing della temperatura in un modo che facilita le stime uniformi.

3. Persistenza della Regolarità del Bordo:

   • La persistenza della regolarità del bordo è legata alla regolarità di un sistema ammissibile di campi vettoriali conormali $W = \{W^i\}_{i=1}^5$ tangenti al bordo del patch.
   • Gli autori dimostrano che se $\nabla u \in L^1_T(C^\gamma)$, allora la mappa di flusso preserva la regolarità $C^{1,\gamma}$.
   • Per la regolarità superiore ($W^{2,\infty}$ e $C^{2,\gamma}$), analizzano l'evoluzione di $\partial_W \nabla u$ (derivate tangenziali del gradiente di velocità). Decompongono $\nabla u$ usando la legge di Biot-Savart in termini che coinvolgono $\Gamma$ e $\theta$.
   • Nuovi stimatori di commutatore e stime di smoothing per l'equazione di trasporto-diffusione (specificamente Lemma 2.8 e Lemma 2.6) sono utilizzati per limitare i termini non lineari uniformemente in $Pr$.
   • Una chiave innovativa è un nuovo approccio per dimostrare la persistenza di $W^{2,\infty}$ che evita le specifiche cancellazioni utilizzate nei precedenti lavori 2D, rendendolo adattabile a una regolarità $W^{k,\infty}$ di ordine superiore.

4. Limite di Numero di Prandtl Infinito:

   • Utilizzando le stime uniformi stabilite nel regime di alto $Pr$, gli autori applicano argomenti di compattezza (lemma di Aubin-Lions) per mostrare che, per $Pr \to \infty$, la sequenza di soluzioni $(u_{Pr}, \theta_{Pr})$ converge a un limite $(u, \theta)$.
   • Giustificano rigorosamente che questo limite soddisfa il sistema Stokes-trasporto 3D.
   • Dimostrano ulteriormente che la struttura geometrica del patch e la sua regolarità del bordo sono preservate nel limite.

Contributi Chiave e Risultati

• Teorema 1.1 (Ben Determinazione Globale per Alto $Pr$): Il saggio dimostra l'esistenza globale e l'unicità delle soluzioni forti per il sistema di Boussinesq non-diffusivo 3D con dati iniziali $(u_0, \theta_0) \in H^{1/2}(\mathbb{R}^3) \times (L^1 \cap L^s(\mathbb{R}^3))$ ($s>3$), a condizione che il numero di Prandtl soddisfi $Pr \geq Pr^*$. La soglia $Pr^*$ dipende solo dalle norme invarianti per scala dei dati iniziali.
• Persistenza Uniforme della Regolarità: Per i patch di temperatura con valori non costanti, gli autori stabiliscono la persistenza globale della regolarità del bordo $C^{1,\gamma}$, $W^{2,\infty}$ e $C^{2,\gamma}$. Fondamentalmente, le stime per queste regolarità sono uniformi rispetto al numero di Prandtl nel regime $Pr \in [Pr^*, \infty)$.
• Teorema 1.4 (Limite di Prandtl Infinito): Il saggio giustifica rigorosamente la convergenza del sistema di Boussinesq 3D al sistema Stokes-trasporto 3D quando $Pr \to \infty$. Dimostra che la soluzione unica globale del sistema limite preserva la struttura del patch e la regolarità $C^{1,\gamma}$, $W^{2,\infty}$ e $C^{2,\gamma}$ del bordo globalmente nel tempo.
• Analogo 3D dei Risultati 2D: Il risultato per il sistema Stokes-trasporto è presentato come l'analogo 3D del risultato principale di Grayer II (2023) per il sistema Stokes-trasporto 2D.

Significato e Rivendicazioni
Gli autori affermano che il loro lavoro risolve il problema della ben determinazione globale per il sistema di Boussinesq non-diffusivo 3D nello specifico regime di alti numeri di Prandtl, un contesto in cui non sono richieste le tipiche assunzioni di piccolezza dei dati. Introducendo la "buona incognita" $\Gamma$ e sviluppando stime uniformi rispetto a $Pr$, colmano il divario tra il sistema di Boussinesq e il sistema Stokes-trasporto.

Il saggio evidenzia come il contrasto tra la difficoltà del sistema di Boussinesq 3D con $Pr=1$ e la ben determinazione globale del sistema Stokes-trasporto (il limite per $Pr \to \infty$) suggerisca che un alto numero di Prandtl agisca come un meccanismo di regolarizzazione. La giustificazione rigorosa di questo limite, inclusa la preservazione dell'alta regolarità del bordo per i patch di temperatura, rappresenta un contributo primario.

Gli autori notano con modestia che, sebbene i loro metodi possano essere estesi a una regolarità $C^{k,\gamma}$ e $W^{k,\infty}$ di ordine superiore (Nota 1.2), l'attuale saggio si concentra su $k=1, 2$. Essi riconoscono inoltre che estendere il risultato di convergenza allo spazio intero 2D rimane un problema aperto a causa della mancanza di incapsulamenti di Sobolev disponibili in 3D (Nota 1.5).