Le problème de Navier-Stokes

La régularité globale de Navier–Stokes 3D sans forçage reste ouverte : la construction annoncée avec forçage ne la résout pas. Dans la discussion technique ci-dessous, les questions ouvertes de régularité et d’unicité concernent le système sans forçage, sauf mention explicite d’un autre cadre.

État des sources vérifié le 2026-09-12 (JST). Le 8 septembre, OpenAI a annoncé une explosion en temps fini pour Navier–Stokes incompressible 3D avec forçage lisse, revendiquant les alternatives C et D de Clay, avec un manuscrit et une formalisation Lean. Le 11 septembre, Clay a déclaré que le problème avait «apparemment été résolu» ; l’évaluation et l’attribution du mérite se feront délibérément sans hâte. Ce n’est ni l’attribution du prix ni une vérification de la preuve par notre site.

Sources primaires: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Énoncé officiel de Clay.

Voir aussi : le problème de Navier-Stokes est-il résolu ? · existence et régularité de Navier-Stokes · Le problème est-il résolu ?

La régularité globale de Navier–Stokes 3D sans forçage reste ouverte : la construction annoncée avec forçage ne la résout pas. Dans la discussion technique ci-dessous, les questions ouvertes de régularité et d’unicité concernent le système sans forçage, sauf mention explicite d’un autre cadre.

État des sources vérifié le 2026-09-12 (JST). Le 8 septembre, OpenAI a annoncé une explosion en temps fini pour Navier–Stokes incompressible 3D avec forçage lisse, revendiquant les alternatives C et D de Clay, avec un manuscrit et une formalisation Lean. Le 11 septembre, Clay a déclaré que le problème avait «apparemment été résolu» ; l’évaluation et l’attribution du mérite se feront délibérément sans hâte. Ce n’est ni l’attribution du prix ni une vérification de la preuve par notre site.

Sources primaires: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Énoncé officiel de Clay.

Voir aussi : Le problème est-il résolu ?

Clay demande une preuve de l’une des quatre alternatives, pas des quatre : (A) existence globale lisse sans forçage sur R³ ; (B) existence globale lisse sans forçage sur le tore périodique T³ ; (C) rupture sur R³ avec forçage lisse admissible autorisé ; (D) rupture périodique avec forçage lisse admissible autorisé. A/B portent sur toutes les données initiales admissibles ; C/D exigent un contre-exemple admissible. Une rupture avec forçage ne réfute pas A/B.

Le problème d'existence et de régularité de Navier-Stokes demande si, pour toute donnée initiale suffisamment régulière $u_0 \in C^\infty(\mathbb{R}^3)$ (avec décroissance appropriée) et $f \equiv 0$, le système de Navier-Stokes incompressible admet une solution $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ — ou si des singularités en temps fini peuvent se former.

Le problème de Navier-Stokes n'est pas résolu, mais il n'est pas resté inexploré. Près d'un siècle de travaux a cartographié le terrain — révélant précisément où réside la difficulté :

• Les solutions faibles existent globalement (Leray, 1934). Si l'on assouplit la notion de « solution » — en autorisant un comportement rugueux et moyenné — alors les solutions existent pour tout temps. La question est de savoir si elles restent lisses. En savoir plus sur les approches →
• Le cas 2D est résolu. En deux dimensions, les solutions lisses existent toujours globalement. Le cas difficile est celui des trois dimensions. Pourquoi la 3D est plus difficile →
• Les singularités, si elles existent, sont rares (CKN, 1982). Caffarelli, Kohn et Nirenberg ont prouvé que l'ensemble des singularités possibles a une mesure de Hausdorff parabolique unidimensionnelle nulle — elles ne peuvent pas se concentrer sur des courbes de l'espace-temps. Sous-problèmes et résultats partiels →
• Les solutions lisses existent pour un temps court. Étant données des données initiales lisses, une solution lisse unique existe pour un certain intervalle de temps — la question est de savoir si cet intervalle peut toujours être étendu à l'infini.
• La formulation précise a été établie par Charles Fefferman pour l'Institut Clay. Lire l'énoncé du problème du Millénaire →

Les résultats suivants constituent les principaux progrès partiels :

• Leray (1934) : Pour $u_0 \in L^2(\mathbb{R}^3)$, des solutions faibles globales (désormais appelées solutions de Leray-Hopf) existent et satisfont l'inégalité d'énergie. L'unicité et la régularité de ces solutions restent ouvertes. Approches →
• Régularité globale en 2D : Ladyzhenskaya (1959) a établi l'existence globale et l'unicité des solutions lisses dans $\mathbb{R}^2$. La clé est que l'enstrophie est contrôlée en 2D. Pourquoi la 3D est différente →
• CKN (1982) : Caffarelli, Kohn et Nirenberg ont prouvé que la mesure de Hausdorff parabolique unidimensionnelle de l'ensemble singulier de toute solution faible convenable est nulle. Sous-problèmes →
• Existence locale : Pour des données suffisamment régulières, des solutions locales lisses uniques existent ; dans les espaces critiques tels que $\dot{H}^{1/2}$, on dispose de l'existence et unicité locale dans le cadre des solutions mild. La question ouverte est de savoir si ces solutions peuvent toujours être prolongées pour tout temps.
• Formulation de Clay (2000) : L'énoncé du problème par Fefferman spécifie les espaces fonctionnels exacts, les conditions de décroissance et ce qui constitue une preuve ou une réfutation valide. Le problème du Millénaire →

La difficulté centrale : le propre mouvement du fluide peut concentrer l'énergie dans des régions de plus en plus petites plus vite que la viscosité ne peut la lisser. En trois dimensions, les mathématiques ne nous donnent pas assez de contrôle pour exclure cela — ni pour prouver que cela se produit réellement.

Ce n'est pas une question d'astuce ou de puissance de calcul. Les outils mathématiques connus sont fondamentalement insuffisants. Cette tension entre concentration et dissipation est ce qui rend le problème de Navier-Stokes si obstinément ouvert — et pourquoi le résoudre nécessiterait des mathématiques véritablement nouvelles.

Pour l'histoire complète — supercriticalité, écart d'échelle, pourquoi la turbulence 3D est fondamentalement différente — voir Pourquoi le problème de Navier-Stokes est si difficile.

Les équations de Navier-Stokes en 3D sont supercritiques par rapport à l'estimation naturelle d'énergie : la norme $L^2$ est contrôlée, mais la régularité critique au sens du changement d'échelle se situe en $\dot{H}^{1/2}$, qui n'est pas propagée par la seule inégalité d'énergie. Le terme non linéaire $(u \cdot \nabla)u$ peut en principe transférer l'énergie vers des échelles arbitrairement fines plus vite que le laplacien ne la dissipe.

C'est l'obstruction analytique essentielle, et aucune technique existante ne comble l'écart. Pour un traitement détaillé, voir Pourquoi c'est difficile.

En 2000, l'Institut Clay a désigné cette question de régularité comme l'un des sept problèmes du prix du Millénaire, offrant 1 000 000 $ pour une preuve ou une réfutation correcte. Cet aperçu explique pourquoi cette question du prix compte, replacée dans son contexte.

Pour la formulation exacte, lisez l'énoncé officiel du problème, expliqué. Pour l'état actuel des choses, voir le statut actuel (2026-09-12 (JST)).

L'Institut Clay a inclus cette question de régularité dans sa liste de 2000 des problèmes du prix du Millénaire. La formulation, rédigée par C. Fefferman, est posée sur $\mathbb{R}^3$ et $\mathbb{T}^3$ et accepte soit une preuve d'existence globale lisse, soit une construction de rupture en temps fini sous les alternatives acceptées.

Lisez l'énoncé officiel du problème, expliqué, ou consultez le statut actuel (2026-09-12 (JST)).

Cette page est une carte, pas le territoire. Chaque fil ci-dessous explore plus en profondeur une facette différente du problème :

• Le problème est-il résolu ? Septembre 2026 : OpenAI annonce une explosion 3D avec forçage lisse (Clay C/D) ; Clay reconnaît une résolution apparente. Évaluation et prix restent distincts.
• Le problème du Millénaire — La formulation précise de l'Institut Clay et ce qu'exige une solution valide.
• Pourquoi c'est difficile — Supercriticalité, turbulence et l'écart d'échelle qui bloque toute approche connue.

Pour des traitements détaillés des sujets introduits ci-dessus :

• Le problème est-il résolu ? Septembre 2026 : OpenAI annonce une explosion 3D avec forçage lisse (Clay C/D) ; Clay reconnaît une résolution apparente. Évaluation et prix restent distincts.
• Le problème du Millénaire — La formulation de Fefferman, les espaces fonctionnels et ce qui constitue une preuve ou un contre-exemple valide.
• Pourquoi c'est difficile — Le changement d'échelle supercritique, le rôle de la non-linéarité et l'écart entre le contrôle au niveau de l'énergie et la régularité.

Les mathématiciens n'ont pas simplement contemplé le problème — ils ont développé des outils puissants, des résultats partiels et des domaines entièrement nouveaux de l'analyse en tentant de le résoudre. Les travaux continuent.

Voir aussi : Voir les progrès réalisés →

Le problème de Navier-Stokes a stimulé des développements majeurs en analyse harmonique, analyse fonctionnelle et théorie géométrique de la mesure au cours du siècle dernier. Les résultats de régularité partielle, les critères conditionnels d'explosion (Beale-Kato-Majda, Escauriaza-Seregin-Šverák) et les analyses de problèmes modèles continuent d'affiner notre compréhension de la frontière entre régularité et singularité potentielle.

Voir aussi : Panorama des progrès →