SOLVED: Navier-Stokes cracked by AI - Numberphile

Voici un résumé en français de la transcription fournie, respectant la limite de mots stricte : La discussion porte sur les équations de Navier-Stokes, fondamentales pour décrire le mouvement des fluides, et sur l'un des sept problèmes du millénaire posés par le Clay Mathematics Institute, qui offre une récompense d'un million de dollars pour leur résolution. Ces équations, développées par le Français Navier et l'Irlandais Stokes, décrivent le comportement des fluides non relativistes. Elles sont écrites comme suit : une équation différentielle partielle qui relie le taux de changement de la vitesse d'un fluide (U, qui est un champ de vitesse dépendant de la position et du temps) à la pression (P, rapportée à la densité), à la viscosité (μ, qui représente la résistance interne du fluide à l'écoulement) et aux forces externes appliquées (F, par unité de densité). Les opérateurs différentiels (comme le gradient et la dérivée par rapport au temps) indiquent comment ces quantités varient dans l'espace et le temps. Une composante supplémentaire de l'équation, liée à la divergence du flux, exprime l'incompressibilité du fluide, c'est-à-dire qu'il ne peut pas être comprimé. L'importance de ces équations réside dans leur capacité à prédire le comportement futur des fluides. Bien que l'exemple d'une tasse de thé remuée soit simple, les équations sont cruciales pour comprendre des phénomènes complexes tels que les vagues, les marées, les systèmes météorologiques, et même les flux dans l'astrophysique. Elles permettent, à partir de conditions initiales et de forces appliquées, de prédire l'évolution d'un fluide. Le problème du millénaire associé aux équations de Navier-Stokes concerne l'existence et la régularité des solutions. Spécifiquement, la question est de savoir si, en partant d'un fluide initialement lisse (sans singularités ni grandeurs infinies) et en appliquant des forces également lisses, une solution peut "exploser" à un moment donné, c'est-à-dire développer des singularités où les grandeurs comme la vitesse deviennent infinies. Cette possibilité d'explosion est liée à la non-linéarité de l'équation, en particulier au terme quadratique en U. Cette non-linéarité est analogue à celle présente dans la relativité générale d'Einstein, où elle peut conduire à la formation de singularités comme les trous noirs. Cependant, l'équation de Navier-Stokes contient également un terme de viscosité (μ∇²U) qui tend à lisser le fluide et à empêcher les singularités. Il existe donc une "lutte" entre le terme non-linéaire qui tend à créer des singularités et le terme de viscosité qui tend à les dissiper. La balance entre ces deux termes est quantifiée par le nombre de Reynolds. Un nombre de Reynolds élevé indique que le terme non-linéaire domine, favorisant potentiellement les explosions, tandis qu'un nombre de Reynolds faible signifie que la viscosité l'emporte, stabilisant le fluide. L'équation de Navier-Stokes est considérée comme une description "effective" du fluide, et non comme une théorie fondamentale. Elle a ses limites : elle n'est pas relativiste (valide pour des vitesses faibles par rapport à la lumière) et elle cesse de s'appliquer à l'échelle moléculaire, où d'autres descriptions physiques prennent le relais. Par conséquent, même si l'équation prédit des explosions, cela signifie simplement que l'équation elle-même cesse d'être valide dans ces conditions extrêmes, et non que l'équation est fondamentalement "fausse". Le problème du millénaire, tel que formulé par Fefferman, se décompose en plusieurs scénarios concernant les conditions aux limites (fluide infini ou confiné dans une boîte avec conditions périodiques) et l'existence de forces externes. Les points A et B visent à prouver que si le fluide est initialement lisse, sans force appliquée, et que l'énergie reste finie, alors la solution reste lisse pour tout temps. Les points C et D, plus "intéressants" selon l'orateur, visent à prouver qu'avec l'application de forces, une explosion (une singularité) peut se produire. Une "explosion" dans ce contexte peut être visualisée comme un vortex complexe. Ce vortex possède une région centrale où le fluide s'écoule radialement vers l'intérieur. En raison de l'incompressibilité, ce fluide doit ensuite s'écouler vers le haut et vers le bas, créant des "jets" axiaux. L'analyse de la mise à l'échelle des dimensions radiales et angulaires, ainsi que des composantes de vitesse, montre que le système se contracte plus rapidement dans la direction radiale que dans la direction angulaire, tandis que les vitesses angulaires augmentent plus rapidement que les vitesses radiales. L'analyse du nombre de Reynolds dans ce scénario révèle qu'il explose dans la direction angulaire, indiquant que le terme non-linéaire y domine, provoquant ainsi la singularité. Curieusement, l'énergie au centre du système peut chuter à zéro malgré l'apparition de cette singularité. La génération de telles singularités avec des forces lisses est la partie la plus délicate. La solution remarquable découverte implique l'utilisation astucieuse de la non-linéarité de l'équation. Au lieu d'appliquer des forces directement "sauvages", on applique de petites "impulsions" ou fluctuations dans une région annulaire entre le cœur turbulent et l'extérieur calme. Ces fluctuations, prises individuellement, s'annulent en moyenne, n'apportant pas d'énergie significative. Cependant, leur carré, qui entre en jeu dans les termes non-linéaires de l'équation, ne s'annule pas en moyenne. En ingénierie ces impulsions de manière appropriée, on peut créer un effet "squared" qui, bien que dérivant de fluctuations moyennes nulles, génère une force effective suffisante pour provoquer la transition du cœur turbulent vers l'extérieur calme, tout en respectant la condition de forces lisses. Un exemple simple de telles fluctuations est une structure ondulatoire qui pousse et tire dans des directions opposées, annulant son effet moyen mais pas le carré de sa valeur. La résolution de ce problème est le fruit d'un long cheminement historique. Dès 1934, Leray a montré l'existence de "solutions faibles" en lissant légèrement l'équation, garantissant leur existence dans le temps mais sans traiter le problème de la singularité dans l'équation originale. D'autres travaux ont précisé les propriétés des éventuelles explosions (par exemple, leur sparsité) ou ont prouvé l'absence de blow-up sous certaines contraintes supplémentaires. Une avancée majeure a été réalisée par Terence Tao, qui a modifié le terme non-linéaire pour le rendre manipulable, démontrant qu'une forme "habillée" de l'équation pouvait conduire à une explosion. Plus récemment, des travaux sur l'équation d'Euler (qui ignore la viscosité) par la collaboration CMZ ont montré qu'une cascade de vortex pouvait générer une explosion, bien que les forces utilisées n'étaient pas parfaitement lisses. La récente percée, attribuée à OpenAI, aurait résolu le problème de l'équation d'Euler avec des forces lisses, puis aurait appliqué la même approche aux équations complètes de Navier-Stokes avec viscosité, le tout en 88 heures. Il existe un débat sur l'influence potentielle de travaux parallèles menés par des chercheurs de NYU et d'Anthropic sur l'approche d'OpenAI, notamment pour la résolution du problème d'Euler. La solution proposée par OpenAI pour Navier-Stokes impliquerait des "impulsions" spécifiques, distinctes de la cascade de vortex observée dans les travaux sur l'équation d'Euler. Les négociations entre OpenAI et les chercheurs externes auraient été tendues, avec des offres de collaboration refusées en raison de rivalités institutionnelles. L'importance du problème réside dans le parcours intellectuel pour le résoudre, et non seulement dans la solution finale elle-même.