Global existence for a 3D Tropical Climate Model with damping and small initial data in $\dot H^{1/2}(\mathbb{R}^3)$

1. Problème Étudié

Les auteurs considèrent un modèle de climat tropical tridimensionnel (3D) couplé à des termes d'amortissement (damping). Le système régit l'évolution de trois champs :

• $u$ : le mode barotrope de la vitesse.
• $v$ : le premier mode barocline de la vitesse.
• $\theta$ : la température.
• $\pi$ : la pression (multiplicateur de Lagrange).

Le système d'équations aux dérivées partielles (1) est donné par :
$$\begin{aligned} \partial_t u + (u \cdot \nabla)u - \nu\Delta u + \sigma_1|u|^{\alpha-1}u + \nabla\pi + \text{div}(v \otimes v) &= 0, \\ \partial_t v + (u \cdot \nabla)v - \eta\Delta v + \sigma_2|v|^{\beta-1}v + (v \cdot \nabla)u + \nabla\theta &= 0, \\ \partial_t \theta + (u \cdot \nabla)\theta - \mu\Delta\theta + \text{div} v &= 0, \\ \text{div} u &= 0, \end{aligned}$$
avec des conditions initiales $(u_0, v_0, \theta_0)$.

Hypothèses clés :

• Les coefficients de diffusion visqueuse $\nu, \eta, \mu$ sont strictement positifs.
• Les coefficients d'amortissement $\sigma_1, \sigma_2$ sont positifs.
• Les exposants non linéaires des termes d'amortissement satisfont $5/2 \le \alpha, \beta < 4$.
• L'équation de la température $\theta$ ne contient pas de terme d'amortissement.

Objectif : Prouver l'existence globale en temps de solutions fortes pour ce système, en supposant que les données initiales sont petites dans l'espace de Sobolev homogène $\dot{H}^{1/2}(\mathbb{R}^3)$, tout en restant bornées dans $H^2(\mathbb{R}^3)$.

2. Méthodologie

La preuve repose sur une analyse fine des estimations d'énergie dans des espaces de Sobolev homogènes, combinée à des critères de blow-up (explosion en temps fini).

A. Existence Locale et Critère de Blow-up (Section 3)

1. Existence locale : Une solution forte unique existe localement dans le temps pour des données initiales dans $H^2(\mathbb{R}^3)^3$.
2. Critère de Blow-up (Théorème 2.1) : Les auteurs établissent un critère de régularité basé sur l'intégrabilité temporelle des normes BMO (Bounded Mean Oscillation) de la solution.
   • Si $\int_0^T (\|u\|_{BMO}^8 + \|v\|_{BMO}^8 + \|\theta\|_{BMO}^2 + \dots) dt < \infty$, alors la solution ne peut pas exploser.
   • Ce critère est obtenu en estimant les termes non linéaires et les termes d'amortissement dans l'équation d'énergie pour la norme $\|\Delta(u,v,\theta)\|_{L^2}$.
   • Une difficulté majeure réside dans le traitement des termes d'amortissement $\sigma_1|u|^{\alpha-1}u$ et $\sigma_2|v|^{\beta-1}v$ via des inégalités de commutateurs et des embeddings de Sobolev.

B. Estimations d'Énergie et Monotonie (Section 4)

Pour prouver l'existence globale, il suffit de montrer que la norme $\dot{H}^{3/2}$ reste bornée uniformément en temps (ce qui implique la borne BMO via l'embedding $\dot{H}^{3/2} \hookrightarrow BMO$).

1. Estimations $\dot{H}^1$ et $\dot{H}^{1/2}$ :

   • Les auteurs dérivent des inégalités différentielles pour les normes $\|\nabla(u,v,\theta)\|_{L^2}$ et $\|\Lambda^{1/2}(u,v,\theta)\|_{L^2}$.
   • Rôle crucial de l'amortissement : Pour les exposants $5/2 \le \alpha, \beta \le 3$, les termes d'amortissement fournissent une dissipation supplémentaire qui permet de contrôler les termes non linéaires. Pour $3 < \alpha, \beta < 4$, une analyse plus subtile utilisant des commutateurs est nécessaire.
   • Lemme 4.3 : Sous l'hypothèse que les données initiales sont suffisamment petites dans $\dot{H}^{1/2}$ (et bornées dans $H^2$), les normes $\dot{H}^{1/2}$ et $\dot{H}^1$ de la solution sont monotones décroissantes (ou du moins bornées par les données initiales) sur l'intervalle de vie maximale de la solution.

2. Estimations $\dot{H}^{3/2}$ :

   • En utilisant la monotonie des normes inférieures ($\dot{H}^{1/2}$ et $\dot{H}^1$), les auteurs contrôlent les termes non linéaires dans l'équation d'énergie pour la norme $\dot{H}^{3/2}$.
   • Ils montrent que la croissance de la norme $\dot{H}^{3/2}$ est contrôlée par une constante dépendant des données initiales, empêchant ainsi l'explosion en temps fini.

3. Résultats Principaux

• Théorème 2.1 (Critère de Blow-up) : Pour $5/2 \le \alpha, \beta < 4$, une solution locale $(u,v,\theta)$ peut être prolongée au-delà de $T^*$ si et seulement si l'intégrale de certaines puissances des normes BMO et $L^{\alpha+1}, L^{\beta+1}$ reste finie.
• Théorème 2.2 (Existence Globale) : Si les données initiales $(u_0, v_0, \theta_0)$ satisfont :
  1. $\|(u_0, v_0, \theta_0)\|_{H^2} \le R$ (borné).
  2. $\|(u_0, v_0, \theta_0)\|_{\dot{H}^{1/2}} \le c_0(R)$ (suffisamment petit).
     Alors, le système admet une solution forte globale unique $(u,v,\theta)$ telle que :
     $$u, v, \theta \in L^\infty([0, T); H^2(\mathbb{R}^3)) \cap L^2([0, T); H^3(\mathbb{R}^3)) \quad \forall T > 0.$$
• Cas sans amortissement : L'Annexe A montre que la méthode s'applique également au cas où $\sigma_1 = \sigma_2 = 0$, généralisant ou offrant une preuve alternative aux résultats existants (comme ceux de [26]), avec un critère de blow-up légèrement différent (puissances BMO différentes).

4. Contributions Clés et Innovations

1. Nouvelles bornes de régularité : L'article établit l'existence globale pour des données petites dans $\dot{H}^{1/2}$, un espace critique ou sous-critique selon le contexte, pour un modèle 3D complexe avec couplage barotrope-barocline.
2. Traitement des amortissements intermédiaires : La plage $5/2 \le \alpha, \beta < 4$ est traitée de manière unifiée. Les auteurs montrent comment les termes d'amortissement agissent comme des régularisateurs même lorsque l'exposant est inférieur à 4 (où l'effet régularisant direct est moins évident que pour $\alpha \ge 4$).
3. Combinaison d'estimations d'énergie : La preuve repose sur une stratégie ingénieuse combinant les estimations d'énergie en $\dot{H}^{1/2}$ et $\dot{H}^1$ pour obtenir la monotonie, puis utilisant cette monotonie pour fermer les estimations en $\dot{H}^{3/2}$.
4. Critère de blow-up précis : Le critère de blow-up obtenu (Théorème 2.1) est plus précis que les critères standards basés uniquement sur $L^\infty$ ou $L^p$, intégrant spécifiquement les normes BMO et les puissances non linéaires des termes d'amortissement.

5. Signification

Ce travail contribue significativement à la théorie mathématique des équations de la dynamique des fluides géophysiques.

• Il résout le problème de l'existence globale pour le modèle tropical 3D avec amortissement, une question ouverte pour des données initiales petites dans des espaces critiques.
• Il démontre que l'ajout de termes d'amortissement non linéaires dans les équations de la vitesse permet de surmonter les difficultés liées à la dimension 3, même sans amortissement sur l'équation de la température.
• Les techniques développées (estimations de commutateurs, contrôle des normes BMO via $\dot{H}^{3/2}$) sont transférables à d'autres systèmes d'équations aux dérivées partielles non linéaires de type Navier-Stokes ou MHD.

En résumé, l'article prouve que pour des perturbations initiales suffisamment petites de l'état d'équilibre, le système de climat tropical 3D avec amortissement reste régulier pour tout temps $t > 0$, évitant ainsi la formation de singularités.