Navier-Stokes Existence

Watch smoke rise, a river braid around a rock, or cream swirl into coffee. All of it is governed by the Navier-Stokes equations, written down in the 1840s by Claude-Louis Navier and George Gabriel Stokes. They are Newton's law for a fluid: mass is conserved, and every parcel of liquid accelerates in response to pressure, friction and the push of its neighbours.

Engineers trust these equations completely. They design airplane wings, predict the weather, and model blood flow with them every single day. And yet there is a question about them so basic, and so stubborn, that the Clay Mathematics Institute put a $1,000,000 prize on it in 2000.

The question is almost childishly simple to state: in three dimensions, if you start a fluid off smoothly, does it stay smooth forever — or can the speed somewhere blow up to infinity in finite time? A hundred and eighty years after the equations were written, nobody knows.

Here is a small 2D fluid. Drag the pointer across it to inject motion and watch how a clean push breaks up into curling vortices — the swirling eddies that are the signature of turbulence.

<p class="hint">{{hint}}</p>
<canvas id="fluid" width="240" height="240"></canvas>
<div class="status" id="status">{{status_init}}</div>
<div class="btns">
  <button id="stir" type="button">{{btn_stir}}</button>
  <button id="reset" type="button" class="ghost">{{btn_calm}}</button>
</div>

* { box-sizing: border-box; }
body { font-family: system-ui, sans-serif; color: #222; margin: 0; }
.hint { font-size: .9rem; color: #444; margin: 0 0 .7rem; line-height: 1.45; }
#fluid { width: 240px; height: 240px; border-radius: 10px; border: 1px solid #cdd9e3;
         background: #0b1b2b; touch-action: none; cursor: crosshair; display: block; }
.status { font-size: 1rem; font-weight: 600; margin: .6rem 0; min-height: 1.4em; color: #1d3557; }
.btns { display: flex; gap: .5rem; flex-wrap: wrap; }
button { font: 600 14px system-ui, sans-serif; padding: .45rem .9rem; border: 1px solid #1d3557;
         background: #1d3557; color: #fff; border-radius: 8px; cursor: pointer; }
button.ghost { background: #fff; color: #1d3557; }

// Code not found

This little simulation is honest about one thing: it lives in two dimensions, and in 2D mathematicians have proven the flow stays smooth forever — no blow-up, ever (Ladyzhenskaya, 1960s). The whole drama of the Millennium Problem is that the very same equations in three dimensions gain a mechanism called vortex stretching that 2D simply doesn't have, and nobody can rule out that it concentrates energy into a single point and tears the solution apart. Watch the eddies; now imagine them able to stretch and sharpen without limit.

So what exactly is open? Let's be precise about the status.

• 2D is fully understood. For a fluid confined to a plane, Olga Ladyzhenskaya and others proved decades ago that smooth initial data gives a smooth solution for all time. Solved.
• 3D, short time: also fine. Start smoothly in three dimensions and the solution provably stays smooth for at least a little while.
• 3D, all time: this is the open question. Nobody can prove the solution never develops a singularity — a point where velocity or its gradient races to infinity in finite time. Nor can anyone produce an example where it does.
• Weak solutions exist, but might not be unique or smooth. Jean Leray showed in 1934 that rough "weak" solutions always exist; what's missing is proving they are smooth and unique. That gap is the whole problem.

The culprit is vortex stretching: in 3D, swirling tubes of fluid can stretch and spin faster, feeding energy into ever-smaller scales. The dissipating friction (viscosity) fights back. Status: OPEN — it is one of the seven Clay Millennium Prize Problems, posed in 2000, and like P vs NP it remains unclaimed. We don't even know whether the answer is "always smooth" or "sometimes blows up."

You might think an unsolved equation would be useless. The opposite is true — Navier-Stokes is one of the most consequential tools in all of science and engineering:

• Weather and climate: every forecast and every climate model integrates these equations across the atmosphere and oceans.
• Aerodynamics: aircraft wings, car shapes and rocket nozzles are all designed by simulating the flow around them.
• Medicine: blood flow through arteries and air through lungs is modelled to plan surgeries and design devices.
• The turbulence enigma: predicting turbulence — the chaotic, multi-scale flow you stirred up above — is so hard it is often called the most important unsolved problem in classical physics.

Because we can't prove solutions stay smooth, every large simulation lives with a quiet question mark: when the model sharpens toward a singularity, is that real physics or numerical illusion? That uncertainty connects fluid dynamics to the broader story of computational limits — places where we can compute an answer long before we can prove it is the right one.

The Navier-Stokes equations carry a strange double life. They are accurate enough to fly an airliner across an ocean, yet a century and a half later mathematicians cannot prove that, in three dimensions, they never produce infinite speed out of perfectly gentle beginnings.

That is the rare honesty of an open problem: not proven impossible, not yet solved, just genuinely unknown. So the next time you watch a vortex curl off the back of a spoon, remember you are looking at the smooth, well-behaved case — and that whether its three-dimensional cousins can ever tear themselves apart is a $1,000,000 question that, like P vs NP, is still waiting for an answer.