Breaking the big question into tractable pieces
Weak solutions: they exist, but are they unique?
In 1934, Jean Leray had an idea. What if you relax the requirement that solutions be perfectly smooth? Drop that demand and, surprisingly, you can prove solutions always exist. Mathematicians call these relaxed solutions weak solutions.
Analogy: you can't find a perfect road between two cities, so you accept a dirt path with a few bumps instead. Leray showed the dirt path always exists. The Millennium Problem asks whether the perfect road does too, and after ninety years of effort nobody has managed to answer that question.
The catch? Uniqueness. We don't know if weak solutions are unique. Start with the same initial conditions and there might be several valid weak solutions, each satisfying the equations, and the equations may admit more than one admissible weak solution from the same initial data.
Partial regularity: singularities are rare
We can't rule out singularities entirely. But we know they can't be too bad. The landmark result of Caffarelli, Kohn, and Nirenberg (1982) (the CKN theorem) proves that the set of points where a solution might blow up is incredibly small.
How small? In space-time, the set of possible singularities has "one-dimensional parabolic Hausdorff measure zero." In plain language: the singular set is extremely small in a parabolic measure-theoretic sense (one-dimensional parabolic Hausdorff measure zero). Singularities, if they exist, cannot form curves or surfaces in space-time, and they certainly cannot fill up any region.
Even without proving full smoothness, we know singularities are exceedingly rare.
Type-I vs Type-II blowup
If a singularity exists, what does it look like? Mathematicians classify potential blowups into two types:- Type-I (self-similar): the blowup follows a specific rate, like a whirlpool that intensifies at a predictable pace. Better understood. Mostly ruled out already under various conditions.- Type-II (non-self-similar): the blowup is faster or more irregular than the predicted rate, and it's far more mysterious and much harder to pin down with existing techniques.Proving regularity means ruling out both types. That's why most modern approaches distinguish sharply between the Type-I and Type-II scenarios, even though some tools apply to both.
The role of critical norms
There are specific measurements of a fluid solution that sit right at the boundary between controlled and uncontrolled behavior. Mathematicians call them critical norms. They're the dividing line.
Think of it like a tightrope. Several important critical norms have conditional regularity criteria: if they stay bounded, smoothness follows. The energy we can control sits below this tightrope, frustratingly out of reach, and the whole challenge is bridging that gap from the energy scale up to the critical threshold.
Which norms matter? The key ones measure velocity in $L^3$ (the cube of the speed, integrated over space) or related spaces. Recent work has confirmed something encouraging: if any of these critical quantities stays bounded, the solution stays smooth forever.
Concentration and compactness
If a blowup happens, where does the energy go? It concentrates. Some scale-critical part of the solution must concentrate in a way that prevents uniform control, and understanding exactly how that process works is the key to either ruling blowup out or proving it can happen.
Concentration-compactness gives mathematicians a way to study what happens when you zoom into a potential blowup point. Profile-decomposition arguments classify how a bad sequence could fail to stay compact: it may spread out, concentrate near one scale, or escape to larger distances. The goal is to rule out each possibility.
The strategy? Show every one of those scenarios leads to a contradiction, which forces regularity.
Continue exploring
This article is part of Progress.
Each subproblem has its own arsenal. Explore the main approaches to Navier-Stokes regularity for the full picture, covering everything from harmonic analysis and energy methods to convex integration and concentration-compactness techniques that researchers are actively pushing forward today.
Why so stubborn? See Why It's Hard. The Clay formulation: The Millennium Problem. Turbulence: Reynolds Number and Turbulence.
Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.
Top comments (0)