Nonlocal Hyperdissipative Perturbations of the Three Dimensional Navier-Stokes System

1. Problématique et Contexte

L'article s'intéresse au système de Navier-Stokes incompressible en dimension trois sur $\mathbb{R}^3$, un problème central de la mécanique des fluides mathématique dont la régularité globale pour des données d'énergie finie (le problème du Millénaire) reste ouverte.

Les auteurs étudient une perturbation non locale du système classique, introduisant un terme de dissipation supplémentaire $L$ :
$$\partial_t u + (u \cdot \nabla)u + \nabla p = \nu\Delta u + Lu, \quad \text{div } u = 0$$
où $L$ est un multiplicateur de Fourier auto-adjoint et dissipatif. L'objectif principal est de déterminer précisément sous quelles conditions ce terme non local modifie la théorie de la régularité à grande donnée (c'est-à-dire s'il permet de prouver l'existence de solutions globales lisses) et comment ce comportement se compare au cas classique ($\alpha=1$) et au cas hyperdissipatif fractionnaire standard ($L = -(-\Delta)^\alpha$).

2. Méthodologie et Cadre Théorique

L'analyse repose sur une approche spectrale rigoureuse dans les espaces de Hilbert d'espaces vectoriels solénoïdaux ($L^2_\sigma$ et $H^s_\sigma$).

• Critère de Symbole de Fourier : Les auteurs établissent un critère précis basé sur le symbole $m(\xi)$ de l'opérateur $L$. Ils distinguent trois cas :

  1. Perturbations d'ordre zéro : Si $L$ est une convolution avec un noyau $L^1$, le symbole est borné. Cela ne change pas l'échelle des hautes fréquences et n'aide pas à la régularité globale.
  2. Termes de transport : Si $L$ est d'ordre un, il ne contribue pas à la dissipation d'énergie $L^2$ (partie réelle nulle).
  3. Hyperdissipation réelle : Si le symbole se comporte comme $|\xi|^{2\alpha}$ avec $\alpha > 1$ (c'est-à-dire $m(\xi) \sim |\xi|^{2\alpha}$), l'opérateur agit comme un Laplacien fractionnaire d'ordre supérieur, fournissant une dissipation coercive aux hautes fréquences.

• Analyse d'Échelle (Scaling) : Une analyse de similitude est utilisée pour identifier l'exposant critique. Pour un symbole de type $|\xi|^{2\alpha}$, l'échelle critique de l'énergie $L^2$ est atteinte lorsque $\alpha = 5/4$. C'est l'exposant de Lions.

  • Si $\alpha > 5/4$, le problème est sous-critique (plus facile).
  • Si $\alpha = 5/4$, le problème est critique.
  • Si $1 < \alpha < 5/4$, le problème reste supercritique par rapport à l'échelle de l'énergie.

• Méthodes d'Approximation :

  • Construction de solutions faibles globales via le schéma de Galerkin et les estimations d'énergie de Leray-Hopf.
  • Preuve de bien-posé local fort dans $H^s$ ($s > 5/2$) via des estimées bilinéaires et le théorème du point fixe de Banach.
  • Étude de la limite de dissipation hyperdissipative nulle ($\varepsilon \to 0$) pour comprendre la dégénérescence des estimées uniformes.

3. Résultats Principaux

Les résultats sont synthétisés dans le Théorème 2.6 et les sections suivantes :

1. Identité d'Énergie Exacte : Pour les solutions régulières, l'identité d'énergie $L^2$ est préservée exactement, incluant le terme non local :
   $$\frac{1}{2}\frac{d}{dt}\|u\|_{L^2}^2 + \nu\|\nabla u\|_{L^2}^2 + \int_{\mathbb{R}^3} m(\xi)|\hat{u}(\xi)|^2 d\xi = 0$$

2. Existence de Solutions Faibles Globales : Pour toute donnée initiale $u_0 \in L^2_\sigma$ et tout $\alpha > 1$, il existe une solution faible globale.

3. Bien-Posé Local Fort : Pour $s > 5/2$ et $u_0 \in H^s_\sigma$, il existe une solution forte unique sur un intervalle de temps $[0, T]$.

4. Régularité Globale pour Grandes Données ($\alpha \ge 5/4$) : Si l'exposant de dissipation satisfait $\alpha \ge 5/4$, alors pour toute donnée initiale $u_0 \in H^s_\sigma$ ($s > 5/2$), la solution forte est globale. Cela confirme que l'exposant de Lions $\alpha = 5/4$ reste le seuil critique même dans ce cadre non local général.

5. Régularité Globale pour Petites Données ($\alpha > 1$) : Pour tout $\alpha > 1$ (même dans le régime supercritique $1 < \alpha < 5/4$), si la donnée initiale est suffisamment petite dans $H^s$, la solution forte est globale.

6. Principe de Divergence Près de la Singularité (Limite $\varepsilon \to 0$) : C'est un résultat majeur de l'article. Si l'on considère une famille de solutions régularisées $u_\varepsilon$ où le coefficient de dissipation hyperdissipative tend vers zéro, et si la solution classique de Navier-Stokes développe une singularité à un temps $T^*$, alors :

   • Les solutions régularisées ne peuvent pas rester uniformément bornées dans les normes de continuation (comme les normes de Serrin-Prodi ou les espaces critiques de Sobolev) sur aucun intervalle approchant $T^*$.
   • Toute perte de compacité ou toute dissipation résiduelle positive doit se concentrer aux fréquences comparables ou supérieures à la fréquence de croisement $R_\varepsilon \sim (\nu/\varepsilon)^{1/(2\alpha-2)}$.

4. Contributions Clés

• Classification Rigoureuse des Perturbations Non Locales : L'article fournit un critère mathématique strict (via le symbole de Fourier) pour distinguer les perturbations qui sont simplement d'ordre inférieur de celles qui introduisent une véritable hyperdissipation capable de changer la théorie de régularité.
• Confirmation de l'Universalité de l'Exposant de Lions : Il démontre que l'exposant critique $\alpha = 5/4$ est robuste et s'applique à une large classe d'opérateurs non locaux, pas seulement au Laplacien fractionnaire pur.
• Analyse de la Dégénérescence Uniforme : L'article ne résout pas le problème du Millénaire, mais identifie précisément le point analytique où la théorie globale à paramètre fixe échoue lorsque l'on revient au système classique. Il montre que l'approximation par hyperdissipation ne peut pas "cacher" une singularité potentielle : si une singularité existe, elle se manifestera par une divergence des normes de la famille régularisée.

5. Signification et Implications

• Pour la Théorie des Équations aux Dérivées Partielles (EDP) : Ce travail consolide la compréhension des régimes hyperdissipatifs et établit un cadre unifié pour les modèles de viscosité non locale. Il clarifie que la simple addition d'un terme de dissipation n'est pas suffisante pour garantir la régularité globale si l'exposant est inférieur à $5/4$ pour des données arbitraires.
• Pour la Modélisation Physique et Numérique : L'article est pertinent pour les modèles de turbulence (LES) et les lois de viscosité variable. Il avertit que les modèles utilisant une hyperviscosité pour stabiliser les simulations numériques introduisent une régularité artificielle qui peut masquer la dynamique réelle aux petites échelles.
• Pour le Problème de Navier-Stokes : Bien que le problème de régularité globale pour le système 3D classique reste ouvert, cette étude fournit un outil diagnostique rigoureux. Elle suggère que toute tentative de construire une solution singulière via une limite de régularisation doit nécessairement impliquer une concentration d'énergie aux fréquences ultraviolettes qui divergent avec le paramètre de régularisation.

En résumé, l'article établit que la régularité globale pour les données grandes dépend strictement de la croissance du symbole de Fourier à haute fréquence, avec $5/4$ comme seuil critique, et que l'approche par limite de dissipation nulle révèle une divergence inévitable des normes de contrôle si une singularité se produit dans le système classique.