Youtube
· Lex Fridman
· science
Lex Fridman · Navier-Stokes explained by Mathematician | Lex Fridman
- 1. The Navier-Stokes equations are simply conservation of momentum (F=ma) applied to fluids, derived by taking the limit as a volume shrinks to a point.
- 2. F=ma is simple to write down, but fluids become chaotic because modeling a room's air means writing differential equations for a billion little boxes.
- 3. Even a one percent reduction in airplane drag could save airlines tens of billions of dollars, making turbulence prediction enormously valuable.
- 4. A Feynman quote notes we can write down general equations like Maxwell's and Navier-Stokes but cannot predict from them what phenomena are possible.
- 5. Navier-Stokes breaks down at molecular scales, so any mathematical blowup occurs where it stops being a fluid and other physics takes over—there are no black holes.
- 6. Even a simple ODE like X dot equals X squared blows up in finite time, showing a quadratic nonlinearity alone is enough to cause blowup.
- 7. The open question is whether viscosity always damps out blowups before they happen, or whether some initial configuration can be orchestrated to accelerate to infinity in finite time.
- 8. The proven result constructs a smooth external forcing that cancels terms to create a specialized vortex that stretches and thins to infinite vorticity, possible only in 3D.
- 9. Mathematicians only began seriously looking for a counterexample about 15 years ago, since physical intuition suggested diffusion solves the problem.
- 10. The proof leaves day-to-day engineering essentially unchanged—fluids are just as hard to simulate today as before, and the trillion-dollar engineering problem remains unsolved.
- 11. Turbulence is fundamentally hard because it is multi-scale—unlike a gas, where temperature, pressure, and density suffice, all scales of a turbulent flow matter.
- 12. Finding a simple coordinate system for turbulent fluids is likely the key, since great physics breakthroughs like Newton's F=ma were predated by coordinate transformations.