PDE 3
Navier–Stokes Existence and Smoothness
The motion of a viscous incompressible fluid is described by the Navier–Stokes equations, first written down by Claude-Louis Navier in 1822 and given their modern form by George Gabriel Stokes. Whether smooth solutions to these equations can always be continued for all time (or whether they can spontaneously develop a singularity at some finite time) is one of the deepest open problems in mathematics, and one of the seven Clay Millennium Prize Problems, carrying a 1,000,000$ prize for a solution.
Navier–Stokes Regularity: The Uniqueness of Weak Solutions
The companion post on Navier–Stokes existence and smoothness asked whether smooth solutions can break down in finite time. This post asks the opposite question: when a solution is only weakly defined, satisfying the equations in an integral sense rather than pointwise, is it uniquely determined by its initial data? The answer, developed over the last two decades through a dramatic series of results, is a resounding no in many regimes. The frontier is now whether the physically natural class of Leray–Hopf weak solutions retains uniqueness.
The Regularity Problem for the 3D Euler Equations
Leonhard Euler wrote down the equations governing the motion of an ideal incompressible fluid in 1757. Whether smooth solutions to these equations can develop a singularity in finite time, a point at which derivatives of the velocity blow up, has been an open problem ever since, and remains one of the central questions in mathematical fluid dynamics. Problem (Euler Regularity) Let $u_0 : \mathbb{R}^3 \to \mathbb{R}^3$ be a smooth, divergence-free initial velocity field with sufficient decay at infinity. Does the unique local smooth solution $u(x,t)$ to the 3D incompressible Euler equations $$\partial_t u + (u \cdot \nabla)u + \nabla p = 0, \qquad \nabla \cdot u = 0, \qquad u(\cdot,0)=u_0$$ remain smooth for all time $t > 0$?