Uniform large deviations and long-time dynamics for the 2D anisotropic Navier-Stokes equations on the torus

Résumé Technique : Grands Écarts Uniformes et Dynamique à Long Terme pour les Équations de Navier-Stokes Anisotropes 2D sur le Tore

Énoncé du Problème
Cet article étudie les équations de Navier-Stokes incompressibles stochastiques en deux dimensions sur le tore $\mathbb{T}^2$, soumises à une dissipation uniquement horizontale et à un bruit additif. Le système est défini par :
$$du^\varepsilon + (u^\varepsilon \cdot \nabla)u^\varepsilon dt + \nabla p^\varepsilon dt - \partial_1^2 u^\varepsilon dt = \sqrt{\varepsilon} Q^{1/2} dW, \quad \nabla \cdot u^\varepsilon = 0,$$
où l'opérateur de dissipation $A = -P\partial_1^2$ agit uniquement dans la direction horizontale. L'absence de dissipation verticale crée un noyau de dimension infinie d'états stationnaires (modes de cisaillement purement verticaux) qui sont immunisés contre le mécanisme dissipatif. Les auteurs abordent trois défis principaux : établir un principe de grands écarts (LDP) uniforme pour les trajectoires de solutions dans l'espace d'énergie sans recourir à la compacité exponentielle ; analyser les propriétés de mélange à long terme ; et caractériser la structure des mesures invariantes en présence de cette dissipation dégénérée.

Méthodologie
L'analyse procède à travers trois piliers méthodologiques distincts :

1. Principe de Grands Écarts (LDP) Uniforme :
   Les auteurs emploient l'approche de la convergence faible combinée à un principe de contraction uniforme.

   • Analyse Linéaire : Ils établissent d'abord un LDP pour le processus d'Ornstein-Uhlenk Uhlenbeck linéaire $z^\varepsilon$ dans l'espace auxiliaire $G = C([0, T]; H) \cap L^2(0, T; \tilde{H}^{1,1})$. Cela repose sur la preuve d'estimations a priori pour l'équation squelette et la compacité de l'application de la solution pour des contrôles bornés.
   • Application Non Linéaire : Une étape cruciale consiste à construire une application non linéaire $F_x: G \to C([0, T]; H)$ qui envoie l'orbite linéaire vers la solution de l'équation stochastique complète. Les auteurs prouvent une estimation Lipschitz uniforme pour cette application sur des ensembles bornés de données initiales. Cette estimation utilise une manipulation algébrique novatrice des inégalités de Gagliardo-Nirenberg anisotropes et de la condition de divergence nulle pour contrôler le terme non linéaire $(u \cdot \nabla)u$.
   • Principe de Contraction : En appliquant le principe de contraction uniforme de Wang, ils dérivent le LDP pour le système non linéaire. Cette approche permet de contourner la nécessité de la condition de compacité exponentielle, typiquement requise dans les preuves classiques de LDP pour les SPDE, car la continuité Lipschitz est établie sur l'ensemble de l'espace auxiliaire $G$.

2. Dynamique à Long Terme (Mélange Exponentiel) :
   Les auteurs analysent l'échec du mélange exponentiel en identifiant un état stationnaire déterministe spécifique $u_0 = (\sin x_2, 0)$ qui appartient au noyau de l'opérateur de Stokes horizontal. Puisque ce mode possède une dérivée horizontale nulle, le terme de dissipation disparaît, et le terme non linéaire disparaît également pour ce profil spécifique. Par conséquent, la norme $L^2$ de la différence entre cet état stationnaire et la solution nulle reste constante dans la limite déterministe. Les auteurs utilisent un argument par l'absurde pour montrer que ce mode non amorti empêche le système stochastique de satisfaire une estimation de mélange exponentiel uniforme, même avec un bruit faible.

3. Mesures Invariantes :
   L'article étudie l'existence et la structure des mesures invariantes en contrastant les cas déterministes et stochastiques :

   • Cas Déterministe : Le noyau de dimension infinie $N$ de l'opérateur $A$ est entièrement constitué d'états stationnaires. Ainsi, chaque mesure de Dirac $\delta_u$ pour $u \in N$ est une mesure invariante, résultant en une infinité de mesures invariantes distinctes.
   • Cas Stochastique : Les auteurs construisent un bruit dégénéré spécifique dont l'étendue de la covariance réside entièrement dans le noyau $N$. Ils prouvent que toute mesure invariante pour ce système doit être orthogonale à $N$ (c'est-à-dire $\mu(N) = 0$). La preuve démontre que si une mesure invariante chargeait $N$, la restriction de la dynamique à $N$ se comporterait comme un processus gaussien avec une variance croissant linéairement dans un espace de dimension infinie, lequel n'admet aucune mesure de probabilité invariante.

Résultats Clés

• LDP Uniforme : L'article prouve un LDP de Freidlin-Wentzell uniforme pour les trajectoires de solutions dans l'espace d'énergie $C([0, T]; H)$, uniformément sur des ensembles bornés de données initiales dans $\tilde{H}^{0,1}$. C'est le premier résultat de ce type pour les équations de Navier-Stokes anisotropes dans l'espace d'énergie, obtenu sans nécessiter de compacité exponentielle ou d'amortissement supplémentaire.
• Échec du Mélange Exponentiel : Il est rigoureusement prouvé que les équations de Navier-Stokes anisotropes sur le tore ne présentent pas de mélange exponentiel. L'existence d'un noyau de dimension infinie de modes de cisaillement verticaux, qui sont préservés par les conditions aux limites périodiques, empêche le système d'oublier ses conditions initiales de manière exponentielle.
• Structure des Mesures Invariantes :
  • Dans la limite déterministe, le système possède une infinité de mesures de Dirac invariantes correspondant au noyau du Laplacien horizontal.
  • Sous un bruit additif dégénéré agissant à l'intérieur du noyau, toute mesure invariante existante doit être orthogonale au noyau. L'article démontre en outre que sous un tel bruit, le noyau lui-même ne supporte aucune mesure invariante.

Signification et Revendications
Les auteurs positionnent ce travail comme une distinction nette entre les équations anisotropes sur le tore et les équations de Navier-Stokes pleinement dissipatives ainsi que les équations anisotropes avec conditions de Dirichlet (non-glissement).

• Contraste avec les Conditions de Dirichlet : Sur les domaines bornés avec des conditions de non-glissement, l'inégalité de Poincaré anisotrope est vérifiée, le noyau est trivial, et une ergodicité unique (mélange exponentiel) a été établie (citant Sun, Qiu et Tang). Sur le tore, les conditions aux limites périodiques préservent le noyau de dimension infinie, modifiant fondamentalement le comportement à long terme.
• Avancée Méthodologique : La dérivation du LDP uniforme sans compacité exponentielle est mise en avant comme une contribution technique significative, reposant sur la régularité spécifique du processus linéaire dans l'espace auxiliaire $G$ et la continuité Lipschitz uniforme de l'application non linéaire.
• Cadre Conceptuel : L'article fournit un cadre pour comprendre les systèmes partiellement dissipatifs, identifiant le noyau de l'opérateur de dissipation comme la principale obstruction à la stabilité statistique. Il suggère que si les modes verticaux non amortis empêchent le mélange exponentiel, le terme non linéaire reste le seul mécanisme potentiel de transfert d'énergie vers les modes horizontaux dissipatifs, bien que l'existence d'une mesure invariante globale pour le cas stochastique général demeure une question ouverte liée à l'efficacité de cette cascade d'énergie.

Les auteurs concluent que leurs résultats clarifient le rôle des conditions aux limites dans la détermination de la dynamique qualitative à long terme des modèles de fluides anisotropes et offrent une perspective structurelle applicable à de futures études de systèmes partiellement dissipatifs, tels que la MHD anisotrope et les équations primitives.