A Classical Two-Part First-Threshold Proof of Global Smoothness for Navier--Stokes: Axisymmetric Swirl Closure and Full-System Reduction

Résumé technique : Une preuve classique en deux parties par premier seuil de la régularité globale pour Navier–Stokes : fermeture de la rotation axisymétrique et réduction du système complet

Énoncé du problème
L'article aborde le problème de la régularité globale pour les équations de Navier–Stokes incompressibles tridimensionnelles :
$$\partial_t u + u \cdot \nabla u + \nabla p = \Delta u, \quad \nabla \cdot u = 0$$
sur $\mathbb{R}^3$ avec des données initiales lisses, à énergie finie et à divergence nulle. La difficulté centrale réside dans la formation potentielle de singularités (explosion) en temps fini. L'auteur, Rishad Shahmurov, propose une preuve démontrant que la continuation globale lisse ($T^* = \infty$) est valable pour toutes ces données initiales.

Méthodologie : L'argument par premier seuil en deux parties
La preuve est structurée comme un argument « en deux parties par premier seuil ». Elle suppose l'existence d'un temps terminal singulier hypothétique $T^*$ et tente de dériver une contradiction en analysant un « paquet terminal canonique de premier seuil » — une concentration normalisée de vorticité et d'énergie qui existerait si une singularité devait se former.

Partie I : Fermeture de la rotation axisymétrique dans des variables relevées en cinq dimensions
La Partie I établit la régularité globale pour la classe spécifique des écoulements axisymétriques avec rotation.

• Relèvement en cinq dimensions : L'auteur utilise une représentation exacte des champs scalaires axisymétriques comme fonctions radiales SO(4) dans un espace à cinq dimensions ($\mathbb{R}^4_y \times \mathbb{R}_z$). Cela transforme les poids cylindriques singuliers (par exemple, $1/r$) en poids radiaux standards, permettant l'utilisation d'outils standards d'analyse harmonique en 5D.
• Variables clés : L'analyse se concentre sur le rapport de vorticité relevé $G = \omega_\theta/r$ et le carré de la dérivée de rotation régularisée $H = (u_\theta/r)^2$. La déformation $U = u_r/r$ est récupérée à partir de $G$ via un opérateur d'ordre $-1$ (potentiel de Riesz).
• Le mécanisme de paire : La difficulté centrale réside dans la source de dérivée $-\partial_z H$ dans l'équation de $G$ et la rétroaction compressive $U[G]H^2$ dans l'équation de $H$. La preuve traite ces éléments comme un mécanisme de transfert de paire couplé $(G, H)$ plutôt que de les séparer en termes principaux et termes d'erreur.
• Pont souple vs Pont strict :
  • Pont souple : Des estimations classiques (Hardy–Littlewood–Sobolev, Sobolev, interpolation, inégalité de Young) sont utilisées pour absorber les paquets « sous-critiques » où la masse locale est faible par rapport à la dissipation.
  • Pont strict : Pour les paquets « compacts-critiques » restants (où le redimensionnement est équilibré), les inégalités de normes classiques sont insuffisantes car elles ne peuvent pas distinguer les alignements géométriques (signes, parité) qui pourraient permettre une saturation de coefficient un. La preuve introduit un argument de rigueur terminale utilisant la compacité à étapes finies et une identité localisée de Pohozaev–Morawetz. En testant le profil d'extrémité fort contre l'homogénéité de l'amplitude et de la dilatation, l'auteur dérive des identités incompatibles qui forcent un coefficient strict $\theta < 1$, contredisant la saturation supposée.
• Récupération : Une fois $G$ et $H$ contrôlés, la variable de rotation sans signe $F = u_\theta/r$ est récupérée via une équation d'ordre inférieur, établissant la bornitude locale et donc la régularité globale pour cette classe.

Partie II : Réduction du système complet par premier seuil
La Partie II réduit le problème 3D général au cas axisymétrique et au cas classique 2D.

• Canaux de défaut : À partir d'une solution 3D singulière hypothétique, la preuve décompose les obstacles potentiels en « canaux de défaut » : fuites, effets de coquille/queue, fragmentation, déformation passive, désaccord de phase angulaire et éclats de transfert temporel.
• Mécanisme descendant : La preuve emploie une stratégie de « descendant à chevauchement fini ». Si un canal de défaut est non perturbatif (c'est-à-dire trop grand pour être absorbé), il génère un paquet « descendant » (échelle plus petite, temps antérieur ou moins de composantes) avec un score corrigé positif.
• Minimalité canonique : En sélectionnant un paquet terminal « canoniquement minimal » (minimal en temps, échelle et complexité), l'existence d'un tel descendant crée une contradiction.
• Rigidité à défaut zéro : Si tous les canaux de défaut s'annulent (défaut final nul), la limite terminale est rigide. La preuve montre que la limite doit être soit :
  1. Localement bidimensionnelle : Exclue par la théorie classique de Navier–Stokes 2D (Ladyzhenskaya, Temam, Galdi).
  2. Axisymétrique avec rotation : Exclue par le résultat de la Partie I.
• Conclusion : Puisque les deux alternatives à défaut zéro sont régulières, et que les alternatives à défaut positif sont écartées par l'argument descendant, aucun paquet terminal singulier ne peut exister.

Contributions clés

1. Relèvement exact 5D pour la rotation axisymétrique : L'article fournit un cadre rigoureux pour traiter le problème axisymétrique avec rotation comme un système parabolique scalaire en 5D, isolant la source de dérivée et la rétroaction compressive dans un seul mécanisme de transfert de paire.
2. Pont terminal strict : L'auteur démontre que l'analyse harmonique classique (estimations de normes) ne peut pas clore le cas critique en raison d'une « cécité de forme ». La preuve introduit une étape de rigueur géométrique utilisant les identités de Pohozaev–Morawetz sur les profils d'extrémité forts pour rompre l'égalité de redimensionnement, forçant un coefficient strictement inférieur à un.
3. Cadre descendant à chevauchement fini : La Partie II catégorise systématiquement toutes les singularités 3D potentielles en canaux de défaut. Elle prouve que tout défaut non perturbatif force l'existence d'un paquet « plus petit », ce qui contredit la minimalité de la sélection du premier seuil.
4. Réduction vers des classes connues : La preuve du système complet ne repose pas sur de nouvelles estimations 3D mais sur un mécanisme de réduction qui canalise toute singularité potentielle soit vers la classe 2D, soit vers la classe axisymétrique avec rotation, toutes deux prouvées régulières.

Résultats
L'article prétend prouver le Théorème principal 1.1 (Continuation globale axisymétrique avec rotation) et le Théorème principal 1.2 (Continuation globale tridimensionnelle). Plus précisément, il affirme que pour toute donnée initiale lisse, à énergie finie et à divergence nulle dans $\mathbb{R}^3$, la solution de Navier–Stokes correspondante existe globalement dans le temps ($T^* = \infty$) et reste lisse.

Portée et affirmations
L'article se positionne dans le programme « seuil direct », utilisant des identités d'énergie localisées et une comptabilité de type Caccioppoli plutôt que de s'appuyer sur la régularité epsilon de Caffarelli–Kohn–Nirenberg comme une boîte noire.

• Motivation : L'auteur note que le problème axisymétrique avec rotation est un terrain d'essai central pour la régularité 3D car il conserve le mécanisme d'étirement et la géométrie singulière tout en admettant des variables scalaires exactes.
• Limitation des estimations classiques : L'article soutient explicitement que les estimations classiques s'arrêtent au stade du « pont souple ». Il affirme que sans l'étape de « rigueur terminale » (testant la forme géométrique du paquet via les identités de Pohozaev), la preuve ne peut pas exclure la possibilité d'un saturateur de coefficient un.
• Autonomie : La preuve est présentée comme autonome concernant les estimations utilisées ; tous les termes sont définis dans le texte, et la transition entre la Partie II (système complet) et la Partie I (axisymétrique) est explicite.

L'article ne propose pas de nouvelles applications expérimentales ou de schémas numériques futurs ; sa contribution est purement analytique, visant à résoudre la conjecture de régularité globale par une décomposition spécifique du problème en un noyau axisymétrique relevé en 5D et un front-end de réduction 3D.