Progrès sur le problème de Navier-Stokes

Depuis les années 1930, les mathématiciens ont attaqué le problème de régularité de Navier-Stokes sous tous les angles disponibles : analyse fonctionnelle, analyse harmonique, probabilités, théorie géométrique de la mesure, intégration convexe et expériences numériques. Aucune approche unique n'a résolu la question complète d'existence et de régularité en 3D. Mais l'effort collectif n'a pas été vain — il a considérablement réduit l'espace des preuves possibles, identifié des barrières difficiles et résolu d'importants sous-cas. Ce qui suit est une carte de ces progrès.

Le problème de régularité de Navier-Stokes — existence globale et régularité pour le système 3D incompressible avec données lisses à décroissance rapide — a résisté à toute résolution depuis sa formulation moderne. Les principales lignes d'attaque comprennent la théorie des solutions faibles de Leray–Hopf, la régularité partielle via la théorie géométrique de la mesure, la régularité conditionnelle par critères de continuation, les méthodes probabilistes et stochastiques, et l'intégration convexe pour la non-unicité. Aucune approche n'a résolu le problème complet, mais ensemble elles ont clarifié les barrières critiques : le changement d'échelle supercritique, l'écart entre les solutions de la classe d'énergie et les solutions lisses, et la possibilité que l'unicité elle-même échoue dans les classes de solutions faibles.

Une chronologie sélective des résultats qui ont remodelé le domaine :

• 1934 — Leray : A prouvé que des solutions faibles globales en temps existent pour toute donnée initiale raisonnable. Nous savons que quelque chose persiste — la question est de savoir si cela reste lisse.
• 1982 — Caffarelli, Kohn, Nirenberg : Ont montré que l'ensemble des singularités possibles est incroyablement petit — il a une longueur nulle dans l'espace-temps. L'explosion, si elle se produit, est extrêmement rare.
• 1984 — Beale, Kato, Majda : Ont établi qu'une solution lisse ne peut s'effondrer que si la vorticité explose. Cela a donné une cible précise : contrôler la vorticité, et vous contrôlez l'écoulement.
• 2016 — Tao : A construit une explosion pour une version moyennée de Navier-Stokes, montrant que certaines stratégies de preuve ne peuvent pas fonctionner pour les vraies équations. Un résultat de barrière, pas une solution.
• 2022 — Albritton, Brué, Colombo : Ont prouvé que les solutions faibles de Leray-Hopf ne sont pas uniques lorsqu'une force extérieure est autorisée. La classe de solutions la plus faible n'est pas aussi bien comportée qu'espéré.

• 1934 — Leray : Existence globale de solutions faibles dans $L^2$ pour des données $u_0 \in L^2(\mathbb{R}^3)$, satisfaisant l'inégalité d'énergie. J. Math. Pures Appl.
• 1982 — Caffarelli–Kohn–Nirenberg (CKN) : Théorème de régularité partielle — la mesure de Hausdorff parabolique unidimensionnelle de l'ensemble singulier est nulle : $\mathcal{P}^1(\mathrm{sing}\, u)=0$. Comm. Pure Appl. Math.
• 1984 — Beale–Kato–Majda (BKM) : Critère de continuation — une solution lisse sur $[0,T)$ se prolonge au-delà de $T$ si et seulement si $\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty$. Originellement pour Euler ; adapté à Navier-Stokes. Comm. Math. Phys.
• 2016 — Tao : Explosion en temps fini pour une équation de Navier-Stokes moyennée qui obéit aux mêmes propriétés d'énergie et de changement d'échelle que le vrai système. Démontre que toute preuve de régularité doit utiliser une structure plus fine que les estimations d'énergie et le changement d'échelle seuls. J. Amer. Math. Soc.
• 2022 — Albritton–Brué–Colombo : Non-unicité des solutions de Leray-Hopf pour Navier-Stokes 3D forcé, via des solutions auto-similaires instables. Ann. of Math.

Cette page est une carte, pas le territoire. Pour les détails :

Pour un traitement détaillé des directions de recherche spécifiques :

• Sous-problèmes — cas résolus et partiellement résolus : régularité globale en 2D (Ladyzhenskaya 1959), axisymétrique sans tourbillon, résultats en espaces critiques ($L^3$, $\dot{H}^{1/2}$, $BMO^{-1}$), et critères de régularité conditionnelle au-delà de BKM.
• Approches — les principales stratégies de preuve en cours d'investigation active : méthodes d'énergie et d'enstrophie, décomposition en profils, théorie des solutions mild, Navier-Stokes stochastique, programmes d'intégration convexe et bornes assistées par ordinateur.

Dernière révision : mars 2026. Cette page est un répertoire vivant. Au fur et à mesure que de nouveaux résultats apparaissent et que des articles plus approfondis sont publiés, elle sera mise à jour.

Dernière révision : mars 2026. Cette page est un carrefour de navigation. Pour des corrections ou suggestions, voir le dépôt du site.