Navier–Stokes Existence and Smoothness

The Navier-Stokes equations describe the motion of viscous fluids — water, air, blood, atmospheric currents. They are used every day in weather forecasting, aircraft design, and medical imaging. They are also, mathematically, deeply mysterious.

The equations

For an incompressible fluid with velocity $\mathbf{u}$, pressure $p$, and viscosity $\nu$:

$\frac{\partial \mathbf{u}}{\partial t} + (\mathbf{u} \cdot \nabla)\mathbf{u} = -\frac{1}{\rho}\nabla p + \nu \nabla^2 \mathbf{u}, \qquad \nabla \cdot \mathbf{u} = 0$

The first equation says Newton’s second law (force = mass × acceleration), applied to a fluid element. The second says the fluid is incompressible (constant density).

The Millennium problem

The Clay Mathematics Institute Millennium problem asks:

In three space dimensions and time, given smooth initial conditions, do smooth global-in-time solutions exist?

In two dimensions the answer is yes, proved in the 1930s. In three dimensions, nobody knows. There could be smooth initial velocity fields for which the solution develops a singularity — blows up — in finite time. If so, the equations would be deficient as a mathematical model, even though they work stunningly well in practice.

What is known

• Weak solutions exist globally (Leray, 1934). They may not be smooth.
• Smooth solutions exist locally in time — for some finite interval.
• Whether local smoothness extends globally is the open question.
• Numerical simulation gives strong evidence that the equations behave well, but no proof.

Terence Tao has shown that certain averaged variants of Navier-Stokes can blow up — suggesting any proof of smoothness for the real equations must use specific features of the true equations, not generic PDE arguments.

Why it matters

The Navier-Stokes equations are one of the most important systems in applied mathematics. They underlie virtually all continuum mechanics. If they can develop singularities, that tells us something fundamental about turbulence — which remains the “oldest unsolved problem in classical physics.”

The problem is Problem 6 on the Clay Millennium Prize list and carries a one-million-dollar reward. It is also one of the clearest examples of a problem at the intersection of pure mathematics, applied mathematics, and physics.

A bridge to physics

The Navier-Stokes problem is paradigmatic of many questions at the mathematics-physics boundary. The equations work brilliantly in practice, but prove mathematically intractable. Similar issues arise in other field theories. Our sister site world-of-physics.com covers related physics perspectives.

Frequently asked

What are the Navier-Stokes equations?

A system of partial differential equations that describe the motion of a viscous fluid. They are used every day in weather forecasting, aerodynamics, and fluid engineering — but mathematically, we don't know whether their solutions always stay smooth.

What does 'existence and smoothness' mean here?

The Millennium problem asks: starting from smooth initial conditions, does a smooth solution exist for all future time? Or can a solution develop a singularity — some kind of infinite energy concentration — in finite time?

Continue reading

Blog

Stokes' Theorem: The One Equation That Unifies Vector Calculus

The fundamental theorem of calculus, Green's theorem, the divergence theorem, and the classical Stokes' theorem are not four separate results — they are one short equation written four times.

Read →Blog

The Fundamental Theorem of Calculus: Why Areas and Slopes Are Two Sides of the Same Idea

Adding up infinitely many thin strips and finding the steepness of a curve look like utterly different problems. One short theorem reveals that they are exact inverses of each other.

Read →Blog

Taylor Series: How a Function Becomes an Infinite Polynomial

Pick a smooth function, write down its value, slope, curvature, and every higher derivative at a single point — and you have rebuilt the whole function from that one spot, as an infinite polynomial.

Read →