Large-Data Global Regularity for Three-Dimensional Navier--Stokes I: A Direct First-Threshold Continuation Proof for the Axisymmetric Swirl Class

Résumé technique : Régularité globale pour de grandes données des équations de Navier–Stokes tridimensionnelles I

Énoncé du problème
L'article traite du problème de la régularité globale pour les équations de Navier–Stokes incompressibles tridimensionnelles, spécifiquement dans la classe des solutions axisymétriques avec tourbillon. Alors que la régularité globale est établie pour les écoulements axisymétriques sans tourbillon (où la composante de tourbillon s'annule), la présence d'un tourbillon introduit un terme source dérivé dans l'équation du rapport de tourbillon relevé $G = \omega_\theta/r$. Ce terme source, généré par le tourbillon $\Gamma = r u_\theta$, rend le problème véritablement critique, car il empêche l'application directe des principes du maximum classiques qui valent pour le cas sans tourbillon. L'article vise à prouver que pour des données initiales lisses, à divergence nulle, axisymétriques avec tourbillon dans $H^1(\mathbb{R}^3)$, la solution lisse correspondante existe globalement dans le temps ($T_{\max} = \infty$).

Méthodologie et cadre
La démonstration utilise un argument de continuation directe par premier seuil, organisé comme la première partie d'une série de deux articles. La méthodologie s'écarte des critères de régularité conditionnels en tentant de prouver qu'un « premier seuil » de concentration ne peut pas se produire.

1. Variables relevées et géométrie :
   L'analyse est menée dans une géométrie relevée à cinq dimensions $(y, z) \in \mathbb{R}^4 \times \mathbb{R}$, où $r = |y|$. Les variables principales sont :

   • $\Gamma = r u_\theta$ (tourbillon).
   • $G = \omega_\theta / r$ (rapport de tourbillon relevé).
     La mesure naturelle est $d\mu_5 = r^3 dr dz$, et le laplacien est $\Delta_5$. L'équation pour $G$ est traitée comme une équation de transport-diffusion avec un terme de récupération non local et un terme source dérivé $-\partial_z(\Gamma_e^2)$.

2. Quantités clés :

   • Score axisymétrique ($Q_\rho$) : Une mesure invariante d'échelle de la concentration de $G$ à un centre et une échelle spécifiques.
   • Visibilité Dirichlet complète ($V_\chi$) : Une quantité coercive mesurant la dissipation Dirichlet du cœur et la masse visible dans le collier de transition d'un paquet localisé.
   • Erreur à seuil fini ($E_{fin}$) : Un terme d'erreur composite comprenant les fuites (masse/énergie du collier), la queue (coquilles dyadiques extérieures), les résidus basse fréquence et la concentration de la source.

3. Le mécanisme du premier seuil :
   L'argument suppose, par l'absurde, que l'enveloppe du score axisymétrique critique $Max(t)$ devient non bornée. Il définit un temps de premier seuil $t^*$ où $Max(t)$ atteint pour la première fois une grande valeur $M^*$. À ce moment, un paquet minimal de premier seuil (un cylindre axisymétrique arrière normalisé) est sélectionné selon un ordre spécifique (temps antérieur, échelle plus petite, moins de composantes, etc.).

Contributions clés et résultats techniques

La démonstration repose sur trois ingrédients quantitatifs pour montrer qu'un paquet minimal de premier seuil ne peut pas exister :

1. Pont Dirichlet complet strict :
   L'article établit une inégalité stricte reliant le terme de transfert non local $T_{G,\chi}[G]$ à la visibilité $V_\chi[G]$ :
   $$|T_{G,\chi}[G]| \le \theta V_\chi[G] + C E_{dir}[G], \quad 0 < \theta < 1$$
   Le coefficient $\theta < 1$ est dérivé via un argument Ekeland–Pohozaev contraint sur une classe admissible « à erreur nulle ». En analysant l'homogénéité du terme de transfert (degré $3/2$) par rapport au terme de visibilité (degré $2$) sous dilatation, les auteurs prouvent qu'aucune suite ne peut saturer le quotient de transfert au niveau 1 ou supérieur sans violer les contraintes variationnelles.

2. Extraction de descendants à chevauchement fini :
   L'article prouve que si une composante de l'erreur à seuil fini (fuite, queue, source, basse fréquence ou fragmentation) est grande, elle produit nécessairement un paquet descendant avec un ordre de sélection strictement inférieur et un score corrigé positif.

   • Fuite/Queue/Basse fréquence : Des valeurs élevées dans ces canaux permettent l'extraction d'un sous-paquet (recentré ou décalé) portant une fraction du score.
   • Conversion source-vers-score : Un lemme critique démontre qu'une grande source dérivée $-\partial_z(\Gamma_e^2)$ peut être convertie en un descendant de score $G$ positif en utilisant un paquet adjoint de chaleur adapté au signe. Cette étape isole la contribution du forçage par le tourbillon à la concentration de tourbillon.

3. Contraction du paquet et dichotomie :
   Pour un paquet de premier seuil minimal (celui qui n'a pas de descendants de score comparable), l'extraction à chevauchement fini implique que tous les termes d'erreur doivent être perturbatifs (faibles). Par conséquent, le pont strict et l'équilibre énergétique local contractent le score du paquet, conduisant à une contradiction : le score du paquet ne peut pas être suffisamment grand pour constituer un seuil si toutes les erreurs sont faibles.

Résultat principal
Théorème 2.1 : Soit $u_0 \in H^1(\mathbb{R}^3)$ lisse, à divergence nulle et axisymétrique avec tourbillon. La solution lisse correspondante $u$ existe globalement ($T_{\max} = \infty$) et reste lisse pour tout temps.

La démonstration procède en montrant que si une singularité devait se former à un temps fini $T$, l'enveloppe critique $Max(t)$ devrait nécessairement exploser. Cependant, l'argument du premier seuil démontre que $Max(t)$ ne peut pas dépasser une borne finie déterminée par l'énergie initiale, écartant ainsi la formation d'une singularité.

Portée et affirmations
L'article prétend fournir une démonstration directe de la régularité globale pour cette classe, évitant le besoin de critères de régularité conditionnels qui supposent la bornitude de certaines normes.

• Directivité : L'argument est organisé autour de la non-existence d'un « premier seuil » plutôt que sur la propagation de bornes à partir d'un état régulier connu.
• Isolement du mécanisme : L'article isole les mécanismes locaux spécifiques requis pour la fermeture axisymétrique : le pont strict (via Ekeland–Pohozaev), la conversion source-vers-score et l'extraction à chevauchement fini.
• Rôle dans la série : Cet article (Partie I) établit le théorème de fermeture pour la classe axisymétrique avec tourbillon. Les auteurs indiquent que l'article compagnon Partie II n'utilise ce résultat qu'après qu'un mécanisme frontal tridimensionnel a réduit un paquet de premier seuil général à la classe de compatibilité axisymétrique avec tourbillon.

L'ouvrage repose sur des apports analytiques standards (théorie de Calderón–Zygmund, estimations de Hardy–Littlewood–Sobolev, principe variationnel d'Ekeland et itération de De Giorgi–Moser) mais les synthétise dans un nouveau cadre « à seuil direct » adapté à la géométrie relevée à cinq dimensions du problème du tourbillon axisymétrique.