Navier-Stokes Regularity

Watch cream swirl into coffee, or wind shear past a wing. The motion looks continuous: no tears, no sudden blanks in the velocity field. In 1822 Claude-Louis Navier, a civil engineer who built bridges and thought about sticky fluids, wrote equations for that picture. George Gabriel Stokes, in 1845, sharpened the viscous law. Inertia, pressure pushes, and friction, all competing. The names stuck together: Navier-Stokes.

Those equations still underwrite weather models, airplane design, blood flow, and ocean currents. Engineers compute with them every day. Planes fly. Forecasts run. The practical success is so complete that it is easy to forget a blunt theoretical gap. In three dimensions, starting from smooth, physically reasonable data, must the velocity stay smooth for all time, or can the mathematics develop a singularity: a point where the solution ceases to make classical sense?

In the 1930s, Jean Leray built “weak” solutions that exist for all time but may be too rough to trust as real fluid motion. Smoothness and uniqueness for the most general three-dimensional case were never settled. Two dimensions turned out to be kinder. Three dimensions hide a mechanism called vortex stretching, where whirls can amplify themselves. The Clay Mathematics Institute later put a million dollars on a clean version of that question.

So the lore is double. The equations are old enough to predate powered flight. The proof that they cannot tear themselves apart, or an example where they do, is still missing. We trust the map of water more than the map deserves.

Simulations of turbulent flows are astonishingly useful for science and industry, yet they do not replace a theorem. A computer run can miss a rare, violent event. A proof must cover every smooth initial condition in the official problem statement.

Modern research circles around possible blowup scenarios, regularity criteria (extra assumptions that would force smoothness), and toy models that isolate vortex stretching. The full three-dimensional Navier-Stokes question remains open in the same blunt sense as when Clay posed it.