Long time dynamics and anomalous dissipation of energy in viscous forced active scalar equations

1. Problématique et Contexte

L'article étudie une famille abstraite d'équations aux dérivées partielles de type advection-diffusion, modélisant des scalaires actifs dans le contexte de la dynamique des fluides géophysiques. Le système considéré sur un domaine périodique $\Omega = \mathbb{T}^d$ ($d \in \{2, 3\}$) est donné par :

$$\begin{cases} \partial_t\theta + u \cdot \nabla\theta + \lambda D\theta + \kappa\Lambda^\gamma\theta = S, \\ u = u[\theta] = \partial_{x_i}T_{ij}[\theta], \\ \theta(x, 0) = \theta_0(x) \end{cases}$$

Où :

• $\theta$ est le scalaire actif (ex: température, densité potentielle).
• $u$ est le champ de vitesse, déterminé non-localement par $\theta$ via un opérateur de Fourier $T_{ij}$ satisfaisant des conditions de divergence nulle et de régularité spécifiques.
• $S$ est une force externe indépendante du temps.
• $\lambda \ge 0$ est un paramètre d'amortissement (damping) associé à l'opérateur $D = \Lambda + 1$.
• $\kappa > 0$ est le coefficient de diffusion visqueuse (fractionnaire).
• $\Lambda = \sqrt{-\Delta}$ est l'opérateur de Laplacien fractionnaire, et $\gamma \in (0, 2]$.

Objectifs principaux :

1. Comprendre le comportement à long terme des solutions (dynamique asymptotique).
2. Analyser la limite de viscosité nulle ($\kappa \to 0$) en présence d'amortissement ($\lambda > 0$) pour déterminer l'absence de dissipation anormale d'énergie.
3. Étudier la convergence des solutions lorsque le paramètre d'amortissement tend vers zéro ($\lambda \to 0$).
4. Appliquer ces résultats abstraits à deux modèles physiques majeurs : l'équation quasi-géostrophique de surface (SQG) et l'équation magnéto-géostrophique (MG).

2. Méthodologie

Les auteurs utilisent une approche combinant l'analyse fonctionnelle, la théorie des systèmes dynamiques et l'analyse harmonique :

• Solutions Statistiques Stationnaires : Pour étudier la dissipation d'énergie, ils construisent des mesures de probabilité de Borel (solutions statistiques stationnaires) pour les cas visqueux ($\kappa > 0$) et non visqueux ($\kappa = 0$). Cela permet de relier les moyennes temporelles des solutions aux propriétés statistiques de l'équilibre.
• Estimations d'Énergie et Méthode de De Giorgi : Pour établir l'existence globale de solutions dans les espaces de Sobolev $H^s$, ils utilisent des inégalités d'énergie et la méthode itérative de De Giorgi pour obtenir des bornes $L^\infty$ sur les solutions, même lorsque les données initiales ne sont pas dans $L^\infty$.
• Théorie des Attracteurs Globaux : Ils démontrent l'existence d'attracteurs globaux compacts dans l'espace $H^1$ en prouvant l'existence d'ensembles absorbants dans des espaces de régularité supérieure ($C^\alpha$, $H^{1+\gamma/2}$) et en établissant la continuité et la différentiabilité uniforme du flot solution.
• Analyse de la Dimension Fractale : En utilisant la méthode de la log-convexité et l'analyse de la contraction des éléments de volume dans l'espace des phases, ils prouvent que la dimension fractale de l'attracteur est finie sous certaines conditions sur $\lambda$ et $\gamma$.
• Continuité par rapport aux Paramètres : Ils utilisent des estimations uniformes en $\lambda$ et des arguments de compacité pour démontrer la semi-continuité supérieure des attracteurs globaux lorsque $\lambda \to 0$.

3. Contributions et Résultats Clés

Les résultats principaux sont synthétisés dans trois théorèmes majeurs :

A. Absence de Dissipation Anormale (Théorème 2.1)

Lorsque l'amortissement est présent ($\lambda > 0$), les auteurs prouvent qu'il n'y a pas de dissipation anormale d'énergie dans la limite de viscosité nulle.

• Résultat : $\lim_{\kappa \to 0} \left( \limsup_{t \to \infty} \frac{1}{t} \int_0^t \|\nabla\theta^{(\kappa)}\|_{L^2}^2 ds \right) = 0$.
• Signification : Contrairement à certains cas de turbulence où l'énergie est dissipée même lorsque la viscosité tend vers zéro (dissipation anormale), la présence du terme d'amortissement $\lambda D\theta$ garantit que la dissipation d'énergie disparaît lorsque $\kappa \to 0$. Cela est démontré via la convergence des solutions statistiques stationnaires.

B. Convergence des Solutions lorsque $\lambda \to 0$ (Théorème 2.2)

Pour une viscosité fixée $\kappa > 0$, les solutions $\theta^{(\lambda)}$ convergent vers la solution $\theta^{(0)}$ (cas sans amortissement) dans les espaces de Sobolev $H^s$ lorsque $\lambda \to 0$.

• Résultat : $\lim_{\lambda \to 0} \|\theta^{(\lambda)} - \theta^{(0)}\|_{H^s} = 0$ pour tout $s \ge 0$ et $t \ge 0$.
• Condition : Cette convergence nécessite une hypothèse de lissage supplémentaire sur l'opérateur $T_{ij}$ (hypothèse A3'), qui est satisfaite par l'équation magnéto-géostrophique (MG).

C. Existence et Propriétés des Attracteurs Globaux (Théorème 2.3 et 6.14)

Pour $\kappa > 0$ et $\lambda \ge 0$, le système possède un attracteur global unique $G_\lambda$ dans l'espace $H^1$.

• Propriétés :
  • $G_\lambda$ est invariant et maximal dans la classe des ensembles bornés invariants.
  • Si $\lambda > 0$ (ou $\lambda \ge 0$ avec $\gamma \in [1, 2]$), l'attracteur a une dimension fractale finie.
  • L'attracteur est régulier (inclus dans $H^{1+\gamma/2}$ ou $H^2$ si $\gamma=2$).
• Continuité de l'attracteur : L'ensemble des attracteurs $\{G_\lambda\}_{\lambda \ge 0}$ est semi-continu supérieur en $\lambda$. En particulier, lorsque $\lambda \to 0$, $G_\lambda$ converge vers l'attracteur $G_0$ (déjà connu pour l'équation MG) dans la topologie $H^1$.

4. Applications aux Équations Physiques

Les résultats abstraits sont appliqués avec succès à deux modèles géophysiques :

1. Équation Quasi-Géostrophique de Surface (SQG) :

   • Cas critique où $\lambda = 0$, $\kappa > 0$, $\gamma = 1$.
   • L'article confirme l'absence de dissipation anormale si un terme d'amortissement est ajouté ($\lambda > 0$).

2. Équation Magnéto-Géostrophique (MG) :

   • Modèle de turbulence magnéto-géostrophique en 3D.
   • Caractérisé par $\lambda = 0$, $\kappa \ge 0$, $\gamma = 2$.
   • L'opérateur de relation vitesse-scalaire $M$ satisfait les hypothèses de régularité requises (A3').
   • L'article établit l'existence d'attracteurs globaux pour le système MG forcé avec amortissement, et prouve la convergence de ces attracteurs vers le cas sans amortissement ($\lambda \to 0$).

5. Signification et Impact

Ce travail comble plusieurs lacunes dans la littérature mathématique sur les fluides actifs :

• Résolution du problème de dissipation anormale : Il démontre rigoureusement que l'amortissement linéaire ($\lambda D$) suffit à éliminer la dissipation anormale d'énergie dans la limite de viscosité nulle pour une large classe de systèmes, y compris ceux avec des opérateurs non locaux.
• Dynamique à long terme : Il fournit le premier cadre complet pour l'existence et la régularité des attracteurs globaux pour les équations de scalaires actifs avec un opérateur d'amortissement $\lambda D$, un sujet auparavant peu exploré.
• Stabilité structurelle : La preuve de la semi-continuité supérieure des attracteurs lorsque $\lambda \to 0$ valide la robustesse des modèles dynamiques de la MG par rapport à la présence ou l'absence de termes d'amortissement.
• Généralité : L'approche abstraite permet d'unifier l'analyse de modèles variés (SQG, MG) sous un même cadre théorique, facilitant l'extension à d'autres systèmes de géophysique.

En résumé, cet article établit des fondations théoriques solides pour l'analyse asymptotique des équations de scalaires actifs forcés, en reliant la régularité des solutions, la structure des attracteurs et les phénomènes de dissipation d'énergie.