Difference between revisions
navier-stokes
Status and infobox
- status:
—→ open - kind:
—→ problem - year:
—→ 1822 - statement:
—→ Do smooth initial conditions for incompressible 3D fluid flow always have smooth solutions for all time?
Relations
- + related to turbulence: The original curation links this problem to Turbulence; the argument for the link has not been written yet.
Source +30 −0
+---
+title: Navier–Stokes existence and smoothness
+kind: problem
+status: open
+year: 1822
+authors: Navier and Stokes wrote the equations; the Clay form dates to 2000
+statement: Do smooth initial conditions for incompressible 3D fluid flow always have smooth solutions for all time?
+space: analysis
+---
+The equations predict every weather forecast and airfoil, yet nobody knows whether their solutions can blow up in finite time. In two dimensions they are known to stay smooth. Tao showed in 2016 that a modified, averaged version can blow up, so any proof must use structure that the averaged equation lacks. Recent computer-assisted work on the related Euler equations has produced rigorous blow-up scenarios.
+
+Posed 1822–1845, Navier and Stokes wrote the equations; the Clay form dates to 2000.
+
+## What would settle it
+
+Lean statement in formal-conjectures
+
+## Prize
+
+$1,000,000 Clay Millennium Prize
+
+## Related problems
+
+- The original curation links this problem to [[related::Problem:turbulence|Turbulence]]; the argument for the link has not been written yet.
+
+## Sources
+
+- [Wikipedia: Navier–Stokes existence and smoothness](https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_existence_and_smoothness)
+
+[[Space:analysis|Analysis and PDE]] · [[Continent:mathematics|Mathematics]]
Revision 42 as rendered
The equations predict every weather forecast and airfoil, yet nobody knows whether their solutions can blow up in finite time. In two dimensions they are known to stay smooth. Tao showed in 2016 that a modified, averaged version can blow up, so any proof must use structure that the averaged equation lacks. Recent computer-assisted work on the related Euler equations has produced rigorous blow-up scenarios.
Posed 1822–1845, Navier and Stokes wrote the equations; the Clay form dates to 2000.
What would settle it
Lean statement in formal-conjectures
Prize
$1,000,000 Clay Millennium Prize
Related problems
- The original curation links this problem to Turbulence; the argument for the link has not been written yet.