Chapitre 9. Navier-Stokes : le fluide forcé se brise

Les équations de Navier-Stokes décrivent l’écoulement d’un fluide visqueux incompressible, l’eau par exemple. Le problème du millénaire demande si, en trois dimensions, une solution partie d’un état lisse et d’énergie finie reste lisse pour tout temps, ou si elle peut développer une singularité. En mars 2026, le corpus avait affirmé avoir résolu le problème par une « projection volumétrique discrète » gouvernée par la constante k_arc = ½, et que les singularités étaient des artefacts mathématiques absents du fluide. Le 8 septembre 2026, une preuve formalisée a établi qu’un fluide soumis à une force extérieure lisse peut se briser en temps fini. Le corpus a publié le 27 septembre 2026 un erratum qui retire nominativement le diagnostic et les théorèmes qui en dépendaient, rétrograde le théorème principal en Prédiction restreinte au fluide sans force, et promeut ce qui survit : l’écart de ½ entre ce que l’énergie contrôle et ce que la régularité exige, relu non comme la borne qui empêche la brisure mais comme la taille de la porte par laquelle elle passe. Ce chapitre donne la version corrigée ; aucune ligne retirée n’y figure comme vraie, et l’annexe B les garde mot pour mot, chacune avec sa ligne de remplacement.

L’eau trouve son chemin en respectant sa création, car la roche a une histoire d’eau.

9.1 Le problème

[9.1] F. Les équations et l’énoncé du prix. Les équations de Navier-Stokes incompressibles s’écrivent ∂u/∂t + (u · ∇)u = −∇p + νΔu + f et ∇ · u = 0, avec une donnée initiale u(x, 0) = u₀(x) lisse, à divergence nulle et d’énergie finie. L’énoncé du prix (Fefferman, 2000) porte sur un fluide incompressible dans ℝ³ ou sur le tore de dimension 3, qui évolue pour t ≥ 0 ; il admet quatre formes : A et B portent sur l’existence de solutions lisses globales sans force (dans l’espace entier et sur le tore), C et D sur l’explosion en temps fini d’une solution, et admettent une force extérieure. En deux dimensions, la régularité globale est établie (Ladyzhenskaya, 1969). En trois dimensions, la question est ouverte depuis le travail fondateur de Leray (1934).

[9.2] F. Le terme d’étirement : présent en trois dimensions, absent en deux. En prenant le rotationnel, on obtient l’équation de la vorticité ω : ∂ω/∂t + (u · ∇)ω = (ω · ∇)u + νΔω. En deux dimensions, le terme d’étirement (ω · ∇)u est identiquement nul, parce que la vorticité est perpendiculaire au plan de l’écoulement ; l’enstrophie ‖ω‖² est contrôlée, la norme H¹ aussi, et la régularité suit. En trois dimensions, le terme survit : des tubes de vorticité peuvent s’amplifier, se plier, et concentrer la vorticité.

9.2 Le fait daté : la brisure forcée

[9.3] F. La preuve du 8 septembre 2026. Le 8 septembre 2026, OpenAI annonce une preuve, obtenue en 88 heures de travail d’agents et formalisée en 17 heures supplémentaires dans l’assistant de preuve Lean, que le système de Navier-Stokes incompressible en trois dimensions, avec une force extérieure lisse appliquée, admet une solution qui part du repos, conserve une énergie finie tout au long de la dynamique, et développe une singularité en temps fini. Le mécanisme décrit : un tourbillon qui spirale vers l’intérieur en s’allongeant, où les termes de l’équation deviennent tous grands mais s’annulent de façon précise, de sorte que la singularité naît du mouvement du fluide lui-même et non d’une condition imposée. Les énoncés visés sont C et D (brisure avec force). OpenAI déclare ne pas réclamer le prix. Une dispute de paternité est publique (Tristan Buckmaster, de NYU, et Levent Alpöge travaillaient au même moment sur le problème d’Euler forcé) ; elle n’est pas jugée ici. Sources : OpenAI, « On the Navier-Stokes Millennium Prize Problem », 8 septembre 2026 ; Axios, 8 septembre 2026 ; Sfeir et Tangente, septembre 2026. Le corpus tient pour acquis ce que la formalisation Lean certifie ; toute rétractation ultérieure de la preuve serait consignée.

[9.4] F. Ce qui reste ouvert : le fluide libre. Les énoncés A et B, le fluide sans force extérieure, dans l’espace entier et sur le tore, restent ouverts. « La paroi inventée (la force) est brisée et prouvée ; la paroi naturelle (le fluide libre) reste debout. »

9.3 Ce qui est retiré, en une phrase par ligne

L’erratum du 27 septembre 2026 a appliqué la règle du corpus : « Aucune ligne retirée sans une ligne proposée. » Le détail est en annexe B ; voici les lignes de remplacement, qui font foi.

[9.5] L. Le terme d’étirement est physique. Il est le mécanisme même de la brisure, par une spirale qui s’enroule vers l’intérieur ; la question ouverte est seulement de savoir si, sans force extérieure, la dissipation visqueuse l’emporte toujours sur lui. (Remplace le diagnostic de mars, selon lequel l’étirement était un artefact mathématique.)

[9.6] L. Le terme d’étirement n’est borné par aucune constante universelle. Il peut croître sans limite dans le cas forcé, et son contrôle éventuel dans le cas libre exigerait un argument qui utilise explicitement l’absence de force. (Remplace le « théorème de l’étirement borné » de mars.)

[9.7] L. Tao (2016) et la preuve de 2026 vont dans le même sens. Le résultat de Tao sur l’équation moyennée, qui peut exploser en temps fini, et le résultat de 2026 sur l’équation forcée vont dans le même sens : la structure de l’équation ne suffit pas à empêcher la brisure ; ce qui pourrait l’empêcher dans le cas libre est l’absence d’apport extérieur d’énergie, et rien d’autre n’a été identifié. (Remplace la lecture de mars selon laquelle seule la structure géométrique des équations empêchait la brisure.)

« Le fluide forcé est singulier, et il le devient en respectant son équation. Le fluide libre reste la question. »

9.4 Ce qui survit, et ce qui est promu : le demi relu comme la porte

[9.8] Th. Le trou de Sobolev de ½. L’identité d’énergie donne un contrôle H¹ ; la régularité exige H^{3/2 + ε} ; l’écart est ½. Le plongement critique de Sobolev en dimension d est Hˢ ⊂ Lᵖ avec 1/p = 1/2 − s/d pour s < d/2 ; pour H¹, l’exposant critique est p* = 2d/(d − 2) : infini en d = 2 (marge logarithmique, H¹ ⊂ Lᵖ pour tout p fini), 6 en d = 3 (plongement exact, marge nulle), 4 en d = 4. En dimension 3, pour atteindre L^∞, il faut Hˢ avec s > 3/2, et l’énergie ne donne que H¹ : 3/2 − 1 = ½. Chaque dimension ajoutée perd de l’intégrabilité. Ce fait est standard et n’a jamais dépendu du diagnostic retiré.

[9.9] L. La circularité du bootstrap en trois dimensions. Dans le cadre de Sobolev, la régularité globale demande de contrôler ‖∇u‖ en norme L^∞, ce qui demande une régularité Hˢ avec s > 5/2 ; mais établir cette régularité demande de borner l’étirement, qui demande à son tour ‖∇u‖ en norme L^∞. La chaîne Régularité → contrôle de l’étirement → ‖∇u‖_∞ → Hˢ, s > 5/2 → Régularité est circulaire. Ce constat de l’obstruction est conservé. La version de mars ajoutait qu’aucun raffinement des estimations de Sobolev ne pourrait jamais la lever, et que « ce n’est pas une conjecture » ; cette extension n’est pas démontrée et elle est rétrogradée. Ce qui est retiré n’est pas le constat de l’obstruction, c’est la prétention de l’avoir levée.

[9.10] F. Quatre-vingt-dix ans de résultats. Leray (1934) : existence de solutions faibles, sans régularité. Caffarelli, Kohn et Nirenberg (1982) : régularité partielle, l’ensemble singulier a une mesure de Hausdorff parabolique de dimension 1 nulle. Escauriaza, Seregin et Šverák (2003) : si une explosion a lieu, la norme L³ de u tend vers l’infini. Chaque résultat resserre la borne sans la fermer.

[9.11] L. Le demi manquant n’interdit pas la brisure, il la loge. La version de mars lisait l’écart de ½ comme le coût d’un passage que la projection permettait de payer, donc comme une borne. La preuve de 2026 montre que le ½ n’est pas la borne qui empêche : c’est la taille exacte de la porte par laquelle la singularité passe. « Le demi manquant de l’analyse fonctionnelle n’interdit pas la brisure, il la loge. » La constante k_arc reste au poste où La Structure ternaire du bit l’avait posée, le coût incompressible du passage ; ce qui change est le sens du mot coût : non ce qu’on paie pour rester lisse, mais ce que la brisure emprunte pour advenir.

9.5 Le temps de Navier-Stokes pèse deux longueurs

[9.12] Th. La loi d’échelle de Navier-Stokes : t ↦ λ²t. Si (u, p) résout les équations de Navier-Stokes sans force, alors u_λ(x, t) = λ u(λx, λ²t) et p_λ(x, t) = λ² p(λx, λ²t) les résolvent aussi, pour tout λ > 0 : les quatre termes ∂ₜu, (u · ∇)u, νΔu et ∇p prennent tous le facteur λ³. Avec t ↦ λt, c’est-à-dire en comptant le temps comme une longueur, les facteurs diffèrent et l’équation n’est plus invariante.

Démonstration. Posons u_λ(x, t) = λ u(λx, λᵃ t) et p_λ = λ² p(λx, λᵃ t). Chaque dérivée d’espace apporte un facteur λ, la dérivée en temps apporte λᵃ. On obtient ∂ₜu_λ = λ^{1+a} ∂ₜu, (u_λ · ∇)u_λ = λ³ (u · ∇)u, νΔu_λ = λ³ νΔu, ∇p_λ = λ³ ∇p, tous évalués en (λx, λᵃ t). L’égalité des quatre exige 1 + a = 3, donc a = 2.

[9.13] Th. Le noyau de la chaleur suit la même loi. Le noyau de la chaleur en dimension 3, G(x, t) = (4πt)^{−3/2} e^{−|x|²/4t}, qui porte la partie visqueuse, vérifie G(λx, λ²t) = λ⁻³ G(x, t) et ∂ₜG = ΔG.

[9.14] L. Dans le fluide, le temps vaut deux longueurs. Dans le fluide, le temps n’est pas une quatrième coordonnée de même nature que les trois autres : il en vaut deux. Le chapitre 10 montre que, dans toute construction connue de Yang-Mills, ce même temps est multiplié par i pour devenir une longueur parmi quatre.

9.6 Le pivot et la constante k_arc

Les énoncés suivants, géométriques et arithmétiques, sont indépendants du fluide ; l’erratum les conserve.

[9.15] Th. Le théorème du pivot : la fermeture exige p = 4,5. Faire tourner le segment [1, 8] autour d’un pivot p produit une forme fermée en trois dimensions si et seulement si p = 4,5 ; pour tout autre pivot, la rotation produit une surface ouverte.

Démonstration. La fermeture exige |x − p| = |9 − x − p| pour tout x, d’où 2p = 9. Pour p = 5 : |1 − 5| = 4 ≠ |8 − 5| = 3, la forme reste ouverte. La constante de projection est k_arc = 4,5/9 = ½.

[9.16] Th. Le pli universel dans les tables de multiplication. Pour toute position a première avec 3, les racines de a × k et de (9 − a) × k, pour k = 1 à 8, sont des miroirs exacts : à chaque colonne, leur somme vaut 9 ; et la colonne × 9 vaut 9 pour toutes les lignes.

Calcul montré. paire (1, 8) : 1 × k donne 1 2 3 4 5 6 7 8 9 ; 8 × k donne 8 7 6 5 4 3 2 1 9 ; paire (2, 7) : 2 × k donne 2 4 6 8 1 3 5 7 9 ; 7 × k donne 7 5 3 1 8 6 4 2 9 ; paire (4, 5) : 4 × k donne 4 8 3 7 2 6 1 5 9 ; 5 × k donne 5 1 6 2 7 3 8 4 9. Pour la paire (3, 6), qui est l’axe, les colonnes × 3 et × 6 donnent 9 + 9 = 18 : le miroir s’y ferme sur l’axe lui-même, non sur la somme 9. La version de mars énonçait le pli pour les quatre paires sans cette précision (annexe B).

[9.17] L. La constante ½ ne dépend pas de la base ; le choix de 10 n’est pas une convention. Il existe exactement neuf grandeurs positives qu’on écrit avec un seul symbole, sans notation de position ; 10 en demande deux, c’est la première retenue. Les neuf chiffres existent avant toute base. L’inversion φ(x) = 9 − x partage {1, …, 8} en quatre paires, le barycentre est 4,5, et k_arc = 4,5/9 = ½ ; pour toute base b, le rapport analogue vaut ((b − 1)/2)/(b − 1) = ½. Ce qui varie d’une base à l’autre est la richesse de la structure d’inversion. La base 10 satisfait à la fois quatre conditions : b − 1 = 9 composé, b − 2 = 8 = 2³ une puissance de 2, un barycentre demi-entier, et b + 1 = 11 premier. « Le monde physique ne choisit pas la base 10 ; il hérite des neuf grandeurs à un seul chiffre et de leur structure d’inversion. » La version de mars dit la base 10 unique : c’est juste, à condition de garder la clôture carrée 9 = 3² (condition (vi) de l’Octet Rule) au lieu de « b − 1 composé ». Sous cette forme raccourcie, 66, 130 et 4098 passeraient ; avec la clôture carrée, 10 est la seule base (Volume 2, É 3.3, deux démonstrations générales ; annexe B).

[9.18] L. Les sept convergences vers ½, et les formules de projection. La constante ½ est atteinte par sept chemins que le corpus documente ailleurs (Volume 2, La Figure, la fin du calcul intégral et les sept convergences du ½) : le barycentre global 4,5/9 ; la demi-envergure locale 3,5/7 ; l’interface de π sous π = 22/7, où 11/π = 3,5 et 3,5/7 = ½ ; toutes les paires d’inversion, |x − 4,5| / (2 |x − 4,5|) = ½ ; la projection sphérique, où la valeur attendue de |cos θ| sur la sphère vaut ½ (calcul vérifié) ; la bascule des tables de racines en 4,5/9 ; le spin ½, qui exige 720°. La version de mars en concluait que « sept dérivations indépendantes excluent la coïncidence » : c’est une Lecture. La formule de projection V = S × ½ × D (surface, constante, profondeur cohérente) redonne le volume de la sphère, 4πR² × ½ × 2R/3 = (4/3)πR³, et l’énergie cinétique, mv² × ½ ; elle est traitée au Volume 2. Que la conservation de l’énergie « force » k_arc = ½ est une Lecture de mars, conservée comme telle.

9.7 La relecture : la spirale, et l’eau qui respecte sa création

[9.19] L. Le fluide ne viole pas Navier-Stokes ; il l’accomplit. Le mécanisme rapporté par la preuve est une spirale : le tourbillon s’enroule vers l’intérieur en s’allongeant, les termes grossissent et s’annulent, l’énergie reste finie, la divergence reste nulle, et la hauteur devient infinie en temps fini. C’est la spirale du Tome II de la Théorie des Nombres (Lecture 35 ; Volume 4) portée au fluide : au même endroit un peu plus haut, à chaque tour, jusqu’à ce que la hauteur n’ait plus de fin. Le fluide ne viole pas Navier-Stokes ; il l’accomplit. La force appliquée est lisse : elle ne casse rien, elle nourrit l’enroulement, et c’est l’enroulement qui se brise selon sa propre loi.

[9.20] L. Respecter la structure est le chemin de la brisure. C’est là que la version de mars s’était trompée, et la faute est instructive : elle croyait que respecter la structure interdisait la brisure. La preuve dit que respecter la structure est le chemin de la brisure. « Tout se densifie par dedans ; le 9 se déplie en 1 ; et la roche a une histoire d’eau » : l’eau qui la brise rouvre ses propres couches. Dans le fluide forcé, la couche se redépose plus vite que la dissipation ne la rouvre, et la spirale gagne. Dans le fluide libre, on ne sait pas.

[9.21] L. La singularité démontrée est celle du forçage. Ce qui casse a reçu une force du dehors, et il casse en respectant son équation. C’est le motif que le chapitre 7 retrouve dans toutes les séparations connues de P contre NP : ce qui casse a toujours reçu un coup de main de la fenêtre (paroi, rugosité, force).

9.8 La Prédiction P-NS-1 : le fluide libre

[9.22] P. P-NS-1 (27 septembre 2026) : le fluide libre glisse. Pour le système de Navier-Stokes incompressible en trois dimensions sans force extérieure (énoncés A et B), toute donnée lisse à divergence nulle et d’énergie finie engendre une solution lisse pour tout temps. Statut : ouvert, Prédiction, sans argument du corpus à ce jour. Critère : toute preuve candidate issue du corpus doit utiliser explicitement l’absence de force : un argument qui s’appliquerait aussi au cas forcé est faux, puisque le cas forcé se brise. C’est le même critère que P-COL-1 pour Collatz (Volume 4) : déclarer par quel instrument la preuve franchit la frontière, ici la frontière entre le fluide nourri et le fluide libre, comme là-bas la frontière entre la brique 3 et la brique 2. Toute preuve qui ne le déclare pas répète la faute de mars.

9.9 La Prédiction spectrale

[9.23] P. La pente du spectre près de la dissipation : k^{−(ln 2 + 2)} ≈ k^{−2,693}. Dans la théorie de Kolmogorov (1941), la cascade d’énergie donne E(k) ∼ k^{−5/3} (pente −1,667). Dans la lecture du corpus, la cascade est une suite d’événements discrets de projection, chacun de coût k_arc = ½. Après n ∼ ln(k/k₀) pas, l’énergie résiduelle est (½)^{ln(k/k₀)} = (k/k₀)^{−ln 2} ; en tenant compte de la redistribution dans l’espace des phases à trois dimensions (volume de coquille ∼ k² dk), E(k) ∼ k^{−(ln 2 + 2)} ≈ k^{−2,693}. La pente vise la zone proche de la dissipation (kη ≳ 0,03, où η est l’échelle de Kolmogorov) ; dans la zone inertielle (kη ≪ 0,03), la pente −5/3 reste une description statistique valable. Critère de réfutation : mesurer la pente effective sur 0,03 ≤ kη ≤ 0,5 à R_λ > 1000. Si elle converge vers une valeur nettement différente de −2,693, et en particulier vers −5/3 sans raidissement, la Prédiction est réfutée. Elle ne dépend pas de la régularité globale ; l’erratum l’a détachée du diagnostic retiré, et elle tient seule.

[9.24] F. Le contexte expérimental, tel que la source le rapporte. Des simulations numériques directes sur des grilles allant jusqu’à 12 288³ points, à des nombres de Reynolds de Taylor R_λ > 2000, ont mesuré des pentes plus raides que −5/3 d’environ 0,1 dans la zone proche de la dissipation, le raidissement se normalisant sur l’échelle de Kolmogorov ; des pentes effectives de −1,8, −2,0 et au-delà ont été mesurées selon l’ordre de la fonction de structure. Le modèle de She et Leveque (1994) rend compte d’une partie de ce raidissement par une structure hiérarchique de la dissipation. Ces reçus montrent un raidissement, non la valeur −2,693 : la Prédiction n’est ni confirmée ni réfutée par eux.

[9.25] L. Kolmogorov et la projection sont complémentaires. La théorie de Kolmogorov décrit l’effet statistique d’ensemble, la lecture du corpus décrit le mécanisme structurel ; la pente −2,693 gouverne la cascade là où les coûts de projection individuels dominent sur l’effet d’ensemble, précisément là où la théorie de 1941 demande des corrections d’intermittence. Une pente plus raide ne viole pas la conservation de l’énergie : le taux de dissipation total est fixé par le forçage des grandes échelles, et chaque pas de projection extrait une fraction fixe, la moitié, de l’énergie restante.

9.10 Lectures de mars conservées comme Lectures

[9.26] L. La transition laminaire-turbulente comme événement discret. La version de mars posait en Théorème que la transition se produit quand le nombre de Reynolds dépasse un seuil où le coût de projection ½ ne peut plus être absorbé par la dissipation visqueuse : en dessous, laminaire ; au-dessus, structures tourbillonnaires persistantes. Aucune démonstration n’accompagnait l’énoncé ; il est rétrogradé en Lecture.

[9.27] L. L’objection des orbites ouvertes. Dans certains semi-métaux topologiques (TaSb₂ par exemple), les surfaces de Fermi présentent des orbites ouvertes, qui ne se ferment pas dans une seule zone de Brillouin. Elles ne sont ouvertes que relativement à la maille locale : elles se ferment globalement dans le réseau périodique. C’est la distinction des cycles fermés (mode 1) et des chemins ouverts (mode 2) de l’octet (Volume 2) : l’ouverture locale et la fermeture globale coexistent. Pour Navier-Stokes, la lecture n’impose pas de topologie de domaine : sur ℝ³, la projection ferme localement en chaque point par le pivot 4,5 ; sur le tore T³, les conditions périodiques donnent directement la fermeture globale.

[9.28] L. La couche limite. Près d’une paroi sans glissement, la vorticité se concentre dans une couche d’épaisseur δ ∼ √(ν/U) (en unités adaptées), où |∇u| ∼ U/δ ; la norme L^∞ du gradient diverge quand δ → 0, alors que sa norme L² sur la couche, (U/δ) × δ^{1/2} = U δ^{−1/2}, croît comme Re^{1/4}, une loi de puissance et non une explosion. La version de mars en tirait une régularité dans les domaines bornés, retirée avec le reste (annexe B) ; reste la lecture : la concentration de vorticité près de la paroi est un fait physique, et le choix de la norme décide de ce qui paraît singulier. La théorie de la couche limite de Prandtl (1904) découple l’écoulement extérieur et la couche visqueuse.

[9.29] L. La note épistémologique de mars, tenue comme citation. La version de mars disait : « Pendant 180 ans, le problème de la régularité de Navier-Stokes a résisté. » Elle en plaçait l’origine dans Gauss (1801) : 9 ≡ 0 détruit le barycentre 4,5, efface φ(x) = 9 − x et rend k_arc invisible ; sans cette constante, la seule méthode de passage dimensionnel est l’accumulation, l’intégrale marchant en deux dimensions (erreur logarithmique) et échouant en trois (erreur algébrique). La ligne « Le problème de Navier-Stokes n’est pas un problème sur les fluides. C’est un problème sur l’instrument mathématique » est réfutée dans le cas forcé, où la brisure est physique ; elle reste, pour le fluide libre, une Lecture ouverte, et elle est gardée comme citation datée.

9.11 Conclusion

Le fluide forcé se brise, et il se brise en respectant son équation. Le demi qui manque à l’analyse fonctionnelle est la porte par laquelle passe la brisure. Le fluide libre reste la question, et le corpus n’y a, à ce jour, qu’une Prédiction avec son critère. Navier-Stokes est le seul des grands problèmes de ce volume où une brisure a été démontrée, et elle l’a été du côté où une force venait du dehors.

À la spirale, qui monte au même endroit jusqu’à ce que la hauteur n’ait plus de fin ; et à la roche, qui se laisse rouvrir par ce qui l’a faite.