Terry Tao: Finiterzeit-Blowup für inkompressibles poröses Medium, Boussinesq und Euler
Finite time blowup with smooth forcing term for the incompressible porous medium
Terry Tao berichtet über eine Arbeit von Alpöge und Buckmaster, die auf Córdoba und Martínez-Zoroa aufbaut und für drei Modellgleichungen – die inkompressible poröse Medium-Gleichung, die zweidimensionale Boussinesq-Gleichung und die dreidimensionalen inkompressiblen Euler-Gleichungen – einen Finiterzeit-Blowup mit glattem Forcing-Term zeigt. Die Methode könnte auf die Navier-Stokes-Gleichungen übertragbar sein. Die Arbeit wurde in Lean formalisiert und stark KI-unterstützt. Tao fasst die Kernidee zusammen: eine niedrigfrequente Lösung wird iterativ durch hochfrequente Korrekturen verändert, sodass die Lösung singulär wird, während der Forcing-Term glatt bleibt.
Ohne dieses Verständnis ist selbst ein so berüchtigtes Problem wie das Navier-Stokes-Regularitätsproblem von weit geringerer intrinsischer Bedeutung für die Mathematik, als in den populären Medien manchmal suggeriert wird.