🎛️ Écoulement autour d'un obstacle
Des particules d'eau viennent de la gauche et contournent un cylindre. Augmente la vitesse pour voir l'écoulement passer du régime laminaire au régime turbulent.
Nombre de Reynolds
Re ≈ 100
Régime
Laminaire
Particules
300
Re ≈ 100 : écoulement bien ordonné, lignes de courant parallèles, prédictible. Le régime laminaire des airs et des fluides lents.
🌊 1822 : Navier écrit les équations
Claude-Louis Navier (1785-1836), ingénieur français des ponts et chaussées, cherche à modéliser le mouvement des fluides visqueux (eau, huile). En partant des lois de Newton (F = ma) appliquées à chaque petit volume de fluide, il publie en 1822 une équation révolutionnaire.
Vingt ans plus tard, George Gabriel Stokes (1819-1903), mathématicien irlandais, redécouvre indépendamment et complète la dérivation. Les équations prennent leur nom moderne : équations de Navier-Stokes.
Équation de Navier-Stokes (fluide incompressible)
ρ (∂u/∂t + u·∇u) = −∇p + μ∇²u + f
plus la condition d'incompressibilité : ∇·u = 0
• u(x, t) : champ de vitesse du fluide (vecteur en chaque point)
• ρ : densité du fluide, μ : viscosité dynamique
• p(x, t) : champ de pression, f : forces extérieures (gravité...)
• ∂u/∂t : variation temporelle locale
• u·∇u : terme convectif non linéaire (la difficulté principale)
• μ∇²u : diffusion visqueuse
💥 Pourquoi c'est si difficile : la non-linéarité u·∇u
Le terme convectif u·∇u est non linéaire en u : si tu doubles la vitesse, ce terme est multiplié par 4. C'est cette non-linéarité qui transforme une équation d'apparence simple en l'un des problèmes les plus difficiles de toutes les mathématiques.
Pour les équations linéaires (chaleur, ondes, Schrödinger, Maxwell), on sait construire des solutions par superposition (séries de Fourier, transformée). Pour Navier-Stokes, la non-linéarité couple toutes les fréquences entre elles. C'est ce qui produit la turbulence : cascade d'énergie des grandes structures vers les plus petites, comportement chaotique, sensibilité aux conditions initiales.
🏆 Le problème du millénaire à 1 million de dollars
En 2000, le Clay Mathematics Institute publie une liste de 7 problèmes ouverts majeurs. Pour chacun, une récompense de 1 million de dollars est offerte à qui en trouvera la solution. Navier-Stokes en fait partie.
L'énoncé précis (simplifié) :
Pour des conditions initiales lisses et un fluide en 3D, existe-t-il toujours une solution globale en temps qui reste lisse ?
Autrement dit : la vitesse peut-elle exploser (devenir infinie) en temps fini ?
Personne ne sait. C'est l'un des 6 problèmes encore ouverts (seul l'hypothèse de Poincaré, prouvée par Grigori Perelman en 2003, a été résolue parmi les 7).
📊 Ce qu'on sait quand même
- 2D : on sait que les solutions existent, sont uniques et restent lisses pour tout temps. Pas de prix.
- 3D, données petites : existence locale prouvée (Leray, 1934). Si la donnée initiale est assez petite, ça reste lisse pour toujours.
- 3D, données quelconques, en temps fini : existence prouvée mais on ne sait pas si la solution reste lisse longtemps. Solutions « faibles » de Leray (1934) existent toujours mais on ne peut pas prouver leur unicité.
- Critères de blow-up : Beale-Kato-Majda (1984) — si ça explose, alors ∫₀ᵀ ‖∇×u‖∞ dt = +∞.
- Cas critique : la régularité partielle de Caffarelli-Kohn-Nirenberg (1982) limite la « taille » de l'ensemble singulier. Mais ça ne tranche pas le problème.
✈️ Pourquoi ces équations gouvernent ton quotidien
- Météo et climat : la prévision météo résout numériquement Navier-Stokes sur un maillage global de la Terre. Sans elle, pas de prévision à 5 jours. Le climat futur dépend de simulations climatiques basées sur les mêmes équations.
- Aérodynamique : tout avion, voiture, train, fusée est conçu en simulant Navier-Stokes autour de la carlingue (CFD : Computational Fluid Dynamics).
- Médecine : la circulation sanguine, l'écoulement de l'air dans les poumons, le flux dans les artères et les valves cardiaques sont modélisés par Navier-Stokes.
- Océanographie : les courants marins (Gulf Stream, El Niño) sont régis par ces équations.
- Films d'animation : Pixar, Disney utilisent Navier-Stokes pour simuler eau, fumée, feu réalistes (Frozen, Moana...).
- Énergie : pales d'éoliennes, turbines hydrauliques, combustion dans les moteurs, refroidissement de réacteurs nucléaires.
- Météorologie spatiale : éruptions solaires, vent solaire, magnétosphère terrestre (version magnétohydrodynamique : Navier-Stokes + Maxwell).
- Astrophysique : formation des étoiles, accrétion sur les trous noirs, structure des galaxies.
🔬 La turbulence : Kolmogorov 1941
Même sans résoudre Navier-Stokes, on peut décrire statistiquement la turbulence. Andreï Kolmogorov (1903-1987), un des plus grands mathématiciens du XXᵉ siècle, propose en 1941 une théorie phénoménologique.
Hypothèse centrale : dans la zone inertielle (entre l'échelle d'injection d'énergie et celle de dissipation), le spectre d'énergie suit une loi de puissance universelle :
E(k) ∝ k⁻⁵ᐟ³
Cette loi est vérifiée dans tous les fluides turbulents, des nuages atmosphériques aux vortex galactiques. Universelle.
📐 Le lien avec ton programme
Navier-Stokes est totalement hors programme BAC SM, mais voici ce qui te prépare :
- Vecteurs et produit scalaire/vectoriel : u·∇u utilise un produit vecteur. Programme géométrie 2BAC SM.
- Dérivées partielles : ∂u/∂t, ∇p, ∇·u, ∇²u — toutes des dérivées partielles (post-bac).
- Équations différentielles : Navier-Stokes est une EDP vectorielle d'ordre 2. Tu vois les EDO en physique 2BAC.
- Continuité et limite : la formulation de Leray utilise des espaces de Sobolev — une généralisation des espaces vectoriels normés.
- Inégalités (Hölder, Cauchy-Schwarz) : essentielles pour prouver les estimations a priori. Cauchy-Schwarz est dans ton programme SM.
🎓 Une cible accessible : prouver le blow-up
Pour gagner le million, deux voies :
- Construire une solution explosive : un exemple où la vitesse devient infinie en temps fini. Plusieurs équipes ont essayé (Tao, Chen, Hou...), résultats partiels encourageants mais pas concluants.
- Prouver la régularité globale : montrer qu'aucune solution ne peut exploser. C'est la voie classique mais qui résiste depuis 90 ans.
Terence Tao (Fields 2006) a proposé en 2014 une approche par « moyennisation » : construire un système modifié de Navier-Stokes qui explose, dans l'espoir d'éclairer le cas réel. Ouvert à ce jour.