 |
| Léonard de Vinci : écoulement dans une fontaine. |
Les équations de Navier–Stokes occupent une place centrale dans la mécanique des fluides. Elles décrivent, sous certaines hypothèses, le mouvement des fluides newtoniens et constituent depuis plus d’un siècle l’un des outils fondamentaux de l’hydrodynamique et de la gazodynamique.
Pour un fluide incompressible, elles s’écrivent :
∂u/∂t + (u·∇)u = −(1/ρ)∇p + ν∇²u + f
avec : ∇·u = 0
La difficulté mathématique posée par le Clay Mathematics Institute n’était pas de résoudre ces équations dans un cas particulier. Elle concernait une question beaucoup plus fondamentale :
Une solution tridimensionnelle, initialement régulière, peut-elle développer une singularité en un temps fini ?
Autrement dit, la viscosité est-elle toujours capable d’empêcher la formation de gradients ou de vitesses non bornés, ou bien la non-linéarité tridimensionnelle peut-elle l’emporter ?
C’est cette question qu’OpenAI affirme avoir résolue en construisant une solution présentant une singularité en temps fini, puis en formalisant la démonstration dans le système de preuve Lean.
Le résultat, s’il est confirmé par l’examen mathématique en cours, serait important non seulement pour les mathématiques, mais aussi pour notre compréhension de la structure des équations fondamentales de la mécanique des fluides.
1. Le cœur du problème : non-linéarité contre viscosité
La difficulté apparaît particulièrement clairement dans l’équation de la vorticité.
Pour un écoulement incompressible tridimensionnel :
Dω/Dt = (ω·∇)u + ν∇²ω
où : ω = ∇×u
Deux mécanismes fondamentaux s’opposent.
Le terme : (ω·∇)u exprime notamment le phénomène d’étirement et d’inclinaison des tourbillons. Il peut amplifier la vorticité et concentrer les gradients.
Le terme : ν∇²ω. représente la diffusion visqueuse. Il tend au contraire à lisser ces gradients.
En deux dimensions, le terme d’étirement disparaît : Dω/Dt = ν∇²ω
La possibilité d’une amplification tridimensionnelle de la vorticité constitue donc l’une des particularités essentielles du problème.
La question mathématique peut ainsi être formulée intuitivement comme une compétition entre :
concentration non linéaire
et
diffusion visqueuse.
2. Une analogie avec les vortex idéaux
La situation rappelle, sous un autre aspect, les singularités rencontrées dans les modèles de fluides idéaux.
Pour un vortex ponctuel idéal, la vitesse tangentielle est donnée par :
uθ(r) = Γ/(2πr)
et donc : r → 0 ⇒ uθ → ∞
Dans cette idéalisation, la singularité apparaît parce que le modèle permet de concentrer la circulation sur une région de rayon nul.
Cette situation est liée à la théorie classique des écoulements inviscides et aux théorèmes de Helmholtz, mais il faut distinguer soigneusement le théorème lui-même de cet exemple particulier de vortex ponctuel.
Le problème de Navier–Stokes est beaucoup plus subtil.
Ici : ν > 0
La viscosité est donc présente.
La question est précisément de savoir si elle suffit à empêcher la formation d’une singularité.
L’intérêt du résultat revendiqué réside donc dans le fait qu’une singularité pourrait apparaître malgré le mécanisme régularisant de la viscosité.
3. Une singularité produite par l’évolution
Il existe également une différence essentielle avec le vortex ponctuel.
Dans un modèle singulier tel que :
uθ = Γ/(2πr)
la singularité est présente dans la représentation elle-même.
Dans le problème de Navier–Stokes, l’objectif est beaucoup plus exigeant : partir d’un état régulier et montrer que l’évolution peut conduire à une singularité en un temps fini.
On peut introduire, pour décrire l’approche du temps critique :
τ = T − t
avec :
τ → 0⁺
La construction étudiée conduit à une concentration progressive de la structure tourbillonnaire, accompagnée d’une croissance non bornée de certaines composantes de la vitesse :
|u| → ∞
lorsque :
t → T⁻
La singularité n’est donc pas une condition initiale artificiellement imposée ; elle résulte de la dynamique de l’équation.
C’est ce point qui donne au problème toute sa profondeur.
4. Comment une vitesse peut-elle diverger sans que l’énergie diverge ?
La question peut sembler paradoxale.
L’énergie cinétique est :
E = (ρ/2) ∫ |u|² dV
Une vitesse qui devient non bornée ne signifie pas nécessairement que cette intégrale diverge.
Si l’augmentation de la vitesse se concentre dans une région dont le volume diminue suffisamment rapidement, l’énergie totale peut rester finie alors même que :
|u| → ∞
Il s’agit donc d’une concentration locale de l’énergie et des gradients, et non nécessairement d’une divergence de l’énergie globale.
Cette propriété est essentielle pour comprendre comment une singularité mathématique peut être compatible avec les contraintes énergétiques de l’équation.
5. Mais que signifie physiquement une telle singularité ?
C’est probablement la question la plus intéressante lorsqu’on passe des mathématiques à la mécanique des fluides.
Il ne s’agit évidemment pas de demander si un fluide réel pourrait atteindre une vitesse infinie. Ce n’est pas la question physique pertinente.
La véritable question est : Que signifie, pour la validité du modèle continu, l’apparition d’une singularité dans sa solution ?
Les équations de Navier–Stokes reposent sur un ensemble d’hypothèses : milieu continu, fluide newtonien, formulation incompressible dans le problème considéré, propriétés définies dans le cadre du modèle, etc.
Si leur solution conduit à une divergence en un point ou dans une région de volume tendant vers zéro, il faut alors examiner ce que cette singularité signifie à la lumière de ces hypothèses.
La singularité peut être une propriété mathématique authentique de l’équation tout en signalant simultanément une limite de son interprétation physique.
Autrement dit : la singularité appartient au modèle mathématique ; sa traduction dans la réalité physique exige des hypothèses supplémentaires.
6. La pression, la cavitation et les autres mécanismes physiques
Une question naturelle concerne alors la pression.
Il serait toutefois incorrect de déduire directement :
u → ∞ ⇒ p → −∞
La relation entre vitesse et pression dépend de l’ensemble de la dynamique. La relation de Bernoulli, par exemple, ne peut pas être appliquée sans précaution à une solution tridimensionnelle, instationnaire et visqueuse de cette nature.
Dans un liquide réel, une baisse suffisamment importante de la pression peut néanmoins provoquer une cavitation lorsque :
p_local ≤ p_v(T)
où p_v(T) est la pression de vapeur à la température considérée.
À partir de ce seuil, le problème physique change : apparition d’une phase vapeur, dynamique des bulles, transfert thermique et de masse, modification locale des propriétés du milieu, etc.
D’autres mécanismes peuvent également devenir pertinents selon les conditions : compressibilité, échauffement, variation de viscosité, changement de phase ou, à des échelles suffisamment petites, description moléculaire.
Ces phénomènes ne « réfutent » pas la singularité mathématique. Ils répondent à une autre question : que devient physiquement le système lorsque les hypothèses du modèle continu sont poussées jusqu’à leur limite ?
7. Le rôle de la force extérieure
Un autre point mérite d’être souligné.
La construction mathématique considérée fait intervenir une force extérieure régulière : f(x,t)
Cela signifie que la démonstration ne prétend pas nécessairement que n’importe quel écoulement réel, laissé à lui-même, développera spontanément une singularité.
Elle établit l’existence, dans le cadre mathématique autorisé par le problème, d’une configuration dans laquelle une force extérieure régulière accompagne l’évolution vers la singularité.
La distinction est importante entre : existence d’une solution singulière admissible et apparition générique d’une singularité dans les écoulements physiques.
La première est une question mathématique. La seconde nécessiterait une analyse physique beaucoup plus large.
8. Où se situe alors l’apport de l’intelligence artificielle ?
L’originalité de cette avancée ne réside pas dans le fait d’avoir effectué une simulation numérique extrêmement poussée.
L’enjeu est différent.
L’intelligence artificielle a été utilisée pour rechercher une construction mathématique extrêmement complexe permettant de satisfaire simultanément les contraintes imposées par les équations tout en conduisant à la perte de régularité recherchée.
Une fois cette structure obtenue, l’argument a été formalisé dans le systeme de verification formelle Lean afin d’en vérifier les étapes dans un cadre logique formel.
C’est probablement là que se trouve l’aspect le plus nouveau de l’expérience :
l’IA ne s’est pas contentée de calculer une solution ; elle a contribué à rechercher une structure mathématique susceptible de constituer une preuve.
Cette capacité ouvre une perspective nouvelle sur le rôle possible de l’intelligence artificielle dans la recherche mathématique.
9. Ce que cette avancée change — et ce qu’elle ne change pas
Si la démonstration est confirmée, elle modifiera notre compréhension mathématique des équations de Navier–Stokes en établissant qu’une viscosité positive ne suffit pas, dans le cadre tridimensionnel considéré, à garantir la régularité globale des solutions.
Mais elle ne transforme pas pour autant la mécanique des fluides appliquée.
Elle ne constitue ni une nouvelle loi physique, ni une théorie nouvelle de la turbulence, ni une remise en cause des méthodes expérimentales ou numériques utilisées pour étudier les écoulements.
Elle établit quelque chose de plus fondamental :
les équations elles-mêmes possèdent une dynamique suffisamment riche pour produire une singularité malgré la présence de la viscosité.
La question de savoir comment cette singularité doit être interprétée physiquement est distincte.
Conclusion
L’intérêt profond de cette avancée ne réside donc pas dans l’idée, sans véritable pertinence physique, d’un fluide atteignant une vitesse infinie.
Il réside dans la découverte d’une possibilité mathématique jusque-là non démontrée : une solution tridimensionnelle régulière des équations de Navier–Stokes peut, dans le cadre considéré, perdre sa régularité en un temps fini malgré la présence de la viscosité.
La comparaison avec les vortex idéaux permet d’en saisir intuitivement le caractère singulier, mais la différence essentielle demeure : ici, la viscosité n’a pas été supprimée.
Pour la mécanique des fluides, la question la plus intéressante commence alors précisément là où s’arrête le résultat mathématique :
que nous apprend cette singularité sur les limites du modèle continu utilisé pour représenter un fluide réel ?
C’est à cette frontière entre structure mathématique du modèle et réalité physique du fluide que se situe, à mon sens, le véritable intérêt scientifique de cette avancée de l’intelligence artificielle.
CHALHOUB Tannous (Ph. D. Sciences Techniques)
Aucun commentaire:
Enregistrer un commentaire