Philip Isett - A Proof of Onsager’s Conjecture for the Incompressible Euler Equations

Philip Isett - A Proof of Onsager’s Conjecture for the Incompressible Euler Equations

🎙 Philip Isett 👥 79K 📅 14 janvier 2026 ⏱ 72 min 👁 2K 📄 exposé de recherche 🧭 2026-08-02
Disponible en : Français (actuel) English

Mots-clés

conjecture d'Onsageréquations d'Eulersolutions faiblesrégularité höldériennedissipation d'énergie

Résumé

Philip Isett, professeur à Caltech, présente une preuve complète de la conjecture d’Onsager pour les équations d’Euler incompressibles en trois dimensions. Il commence par rappeler les équations d’Euler et leur formulation faible, puis introduit la conjecture d’Onsager (1949) : les solutions faibles d’exposant de Hölder supérieur à 1/3 conservent l’énergie, tandis que celles d’exposant inférieur ou égal à 1/3 peuvent la dissiper. Il motive cette conjecture par la théorie de la turbulence de Kolmogorov, où la dissipation d’énergie est indépendante de la viscosité. Il retrace l’historique des résultats : conservation d’énergie pour une régularité > 1/3 (Constantin et al.), puis constructions de solutions dissipatives par Scheffer, Shnirelman, De Lellis et Székelyhidi, aboutissant à des solutions continues pour tout exposant < 1/10, puis < 1/5 par Isett lui-même. Il explique les idées clés de sa preuve : la méthode de convexité intégration, l’utilisation de la dérivée advective, et la gestion des termes d’erreur (transport et interférence). Il conclut en mentionnant des extensions récentes, notamment par Buckmaster et al. pour des exposants < 1/3, et l’obtention de solutions dissipatives pour tout exposant < 1/3.

182 mots

Évaluation critique

L’exposé de Philip Isett est d’une rigueur scientifique exemplaire. Il s’agit d’une présentation de recherche de très haut niveau, destinée à un public de mathématiciens spécialistes. L’orateur maîtrise parfaitement son sujet, ayant lui-même contribué de manière décisive à la résolution de la conjecture. La structure est claire : motivation physique, historique des résultats, puis idées de la preuve. Les explications sont précises et les équations sont correctement présentées. La valeur des informations est exceptionnelle : on y apprend les étapes clés de la résolution d’un problème majeur en analyse des EDP. L’argumentation est solide, appuyée sur des résultats publiés dans des revues prestigieuses (Annals of Mathematics, Inventiones, etc.). La qualité des sources est irréprochable, même si la vidéo ne fournit pas de références bibliographiques détaillées. L’adéquation entre le titre et le contenu est parfaite. Le seul bémol est l’absence de support visuel détaillé pour les démonstrations, mais cela est inhérent au format d’un exposé oral. En résumé, une conférence magistrale qui constitue une référence pour quiconque s’intéresse à la conjecture d’Onsager.

171 mots

Adéquation titre / contenu

Le titre décrit exactement le contenu : une preuve de la conjecture d'Onsager pour les équations d'Euler incompressibles.

Qualité & fiabilité

9/10

Exposé par un chercheur de premier plan (Caltech) sur ses propres travaux, dans le cadre d'une conférence scientifique à l'IHES. Le contenu est rigoureux, précis et s'appuie sur des résultats publiés dans des revues à comité de lecture. La présentation est technique et s'adresse à un public de spécialistes.

Moments clés

Sources citées

Sources concordantes

  • Carmin.tv — Plateforme officielle hébergeant la vidéo, garantissant son authenticité.

Apport & nouveautés

L’apport principal de cette vidéo est la présentation par l’auteur lui-même de la preuve complète de la conjecture d’Onsager, un problème ouvert depuis 1949. Il détaille les idées novatrices qui ont permis de dépasser les résultats précédents (régularité < 1/5) pour atteindre le seuil optimal 1/3. La méthode repose sur une combinaison de techniques de convexité intégration, d’estimations fines de la dérivée advective et d’une analyse précise des termes d’erreur. Cette preuve a des implications majeures pour la compréhension de la turbulence et des équations d’Euler.

Pour aller plus loin :

  • Conjecture d’Onsager - Wikipedia — Article de synthèse sur la conjecture et son histoire.
  • Équations d’Euler (physique) - Wikipedia — Rappel des équations et de leur contexte.
  • Turbulence - Wikipedia — Notions de base sur la turbulence et la cascade d’énergie.
  • Lars Onsager - Wikipedia — Biographie du physicien à l’origine de la conjecture.

145 mots

Profil radar

Le profil radar montre un contenu extrêmement dense et technique, avec une qualité d'information maximale, mais une accessibilité limitée pour un public non spécialiste. La fiabilité est excellente, ce qui en fait une ressource de référence pour les chercheurs.

Fiabilité 9/10