Le problème de Navier-Stokes

Non, il n'est pas résolu.

Le problème de Navier-Stokes pose une question d'apparence simple : si l'on fait démarrer un fluide en 3D avec un écoulement lisse, reste-t-il toujours lisse ? Ou le mouvement peut-il devenir si violent que les équations s'effondrent — les vitesses explosant vers l'infini en temps fini ?

Personne ne le sait. C'est le problème d'existence et de régularité de Navier-Stokes, l'une des questions ouvertes les plus profondes en mathématiques. Il a résisté à toutes les tentatives depuis que les équations ont été écrites dans les années 1840. Des gens ont revendiqué des solutions — aucune n'a survécu à l'examen. Pour l'état complet, voir Le problème est-il résolu ?

Le problème est ouvert.

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 forçage lisse $f$, 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.

Les deux directions sont ouvertes. Aucune preuve n'établit la régularité globale ; aucune construction ne produit d'explosion en temps fini à partir de données lisses. Le problème est ouvert depuis les travaux fondateurs de Navier (1822) et Stokes (1845), et il demeure l'un des problèmes ouverts centraux en analyse et en physique mathématique.

Pour l'état actuel, y compris les revendications publiées et leur sort, voir Le problème est-il résolu ?

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 unidimensionnelle nulle — elles ne peuvent pas remplir une courbe dans 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é l'existence et la régularité de Navier-Stokes comme l'un des sept problèmes du prix du Millénaire, offrant un prix de 1 000 000 $ pour une preuve ou une réfutation correcte. Vingt-six ans plus tard, le prix n'est toujours pas réclamé.

En savoir plus sur le problème du Millénaire →

L'Institut Clay a inclus l'existence et la régularité de Navier-Stokes dans sa liste de 2000 des problèmes du prix du Millénaire, avec un prix de 1 000 000 USD. L'énoncé du problème, rédigé par C. Fefferman, spécifie deux sous-problèmes (sur $\mathbb{R}^3$ et sur $\mathbb{T}^3$) et accepte soit une preuve d'existence globale lisse, soit une construction d'explosion en temps fini. En 2026, aucune solution n'a été acceptée.

La formulation précise du Millénaire →

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 ? — L'état actuel, les preuves revendiquées et pourquoi aucune n'a tenu.
• 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 ? — État du problème, revendications publiées et rétractées, normes de vérification.
• 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 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.

Panorama des progrès →