A New Computer Proof 'Blows Up' Centuries-Old Fluid Equations

fluid-dynamicscomputer-assisted-proofmathematicseuler-equationssingularity

Abstraction: Computer-assisted proof confirms Euler equation singularity formation for first time

Key points:

Thomas Hou (Caltech) and Jiajie Chen proved in a 177-page preprint that a cylindrical-boundary version of the Euler equations does develop a finite-time singularity ("blow-up"), the first rigorous proof of singularity formation in fluid equations
The proof builds on a 2013 Hou-Luo computer simulation of counter-rotating flows in a cylinder whose vorticity appeared to blow up; the new work provides the surrounding mathematical proof of stability
Key technique: the approximate 2013 solution has a self-similar structure; by zooming in at the right rate the authors could study the singularity indirectly without computing infinite values
Computers were essential for tight optimization bounds — human pencil-and-paper calculation would inevitably overestimate, collapsing the proof; interval arithmetic was used to track floating-point errors
The more general Euler equations (no cylindrical boundary) and the Navier-Stokes equations (with viscosity) remain unsolved; the latter carries a $1 million Clay Millennium Prize
The proof raises philosophical debate about what constitutes mathematical understanding vs. mere computational validation

Connections: Caltech · Clay Mathematics Institute · Computer Assisted Proof · Fluid Dynamics · Mathematical Singularity