DEV Community: Clay Leray

The Navier-Stokes Problem

Clay Leray — Tue, 31 Mar 2026 06:57:19 +0000

One of the central unsolved questions in fluid dynamics, and one of the seven Millennium Prize Problems

The question

No, it's not solved.

The Navier-Stokes problem asks a deceptively simple question: if you start a 3D fluid flowing smoothly, does it stay smooth forever? Or can the motion become so wild that the equations break down, with smoothness breaking down in finite time?

Nobody knows.

This is the Navier-Stokes existence and smoothness problem, one of the deepest open questions in all of mathematics, and it has resisted every attempt at a proof since the equations took shape in the 19th century. People have claimed solutions. None survived. For the full status, see Is It Solved?

What we know

Unsolved doesn't mean untouched. Nearly a century of deep mathematical work has mapped the terrain and revealed exactly where the difficulty lies and why it won't yield to the tools we have:- Weak solutions exist globally (Leray, 1934). Relax the notion of "solution" to allow rough, averaged-out behavior and solutions exist for all time. Smooth? Nobody can prove it. More on approaches →- 2D is solved. Smooth solutions always exist globally in two dimensions, but three dimensions is an entirely different beast. Why 3D is harder →- Singularities, if they exist, are rare (CKN, 1982). Caffarelli, Kohn, and Nirenberg proved that the set of possible singularities has zero one-dimensional measure, meaning they can't fill even a single curve in spacetime. Subproblems and partial results →- Smooth solutions exist briefly. Start with smooth data and you get a unique smooth solution for some time interval, but whether that interval can always be extended to infinity is exactly what's unknown.- The precise formulation was set out by Charles Fefferman for the Clay Mathematics Institute. Read the Millennium Problem statement →

Why it resists proof

Here's the core difficulty. A fluid's own motion can push activity to smaller and smaller scales faster than current estimates can control. In three dimensions, the math doesn't give us enough control to rule this out. It doesn't let us prove it happens, either.

This isn't about cleverness. It isn't about computing power. The known mathematical tools are fundamentally insufficient, and that tension between concentration and dissipation is exactly why solving the problem would require genuinely new mathematics.

Supercriticality, the scaling gap, why 3D turbulence is fundamentally different: for the full story, see Why the Navier-Stokes Problem Is So Hard.

The Clay Millennium Prize

In 2000, the Clay Mathematics Institute named Navier-Stokes existence and smoothness one of seven Millennium Prize Problems, offering $1,000,000 for a correct proof or disproof. Twenty-six years later, the prize is unclaimed.

Read about the Millennium Problem →

Dive deeper

This page is a map. The territory runs deep. Pick a thread:- Is It Solved? No. Here's the current status, major published claims and the technical reasons they failed under expert scrutiny.- The Millennium Problem Demands. Precise ones.- Why It's Hard Supercriticality, turbulence, and the scaling gap that blocks every known approach from getting anywhere near a proof.

What comes next

Mathematicians haven't just stared at the problem. They've developed powerful tools, partial results, and entirely new fields of analysis trying to crack it. The work continues.

See the progress so far →

Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.

Is the Navier-Stokes Problem Solved?

Clay Leray — Tue, 31 Mar 2026 06:56:04 +0000

The short answer, the long answer, and why the question is trickier than it sounds

Short answer: no

No. As of 2026, the Navier-Stokes existence and smoothness problem remains unsolved. Nobody has proved that smooth solutions always exist in three dimensions, and nobody has shown they can break down. The Clay Millennium Prize ($1 million) sits there unclaimed, waiting for someone to crack a problem tied to equations formulated in the 19th century and still open today.

The equations themselves aren't in question. Engineers and scientists use Navier-Stokes every day to design aircraft, predict weather, and model blood flow. Simulations work. But here's what's unresolved: a purely mathematical question about whether the equations always produce well-behaved solutions, or whether they might eventually predict something impossible, like infinite velocity concentrating at a single point in space.

What is already known

It's not completely dark. Mathematicians have chipped away at this for over a century, and they've built up a surprisingly detailed picture of what's known and what isn't:- Weak solutions exist (Leray, 1934). If you weaken the notion of solution, global solutions exist. But whether they stay smooth and unique is still open.- 2D is solved (Ladyzhenskaya, 1969). Two dimensions? Done. Smooth solutions exist for all time, and the difficulty is entirely, stubbornly specific to 3D.- Singularities are rare (Caffarelli-Kohn-Nirenberg, 1982). Even if singularities exist in 3D, they're confined to a set with zero one-dimensional measure, meaning a set so thin it has no length at all.- Short-time solutions exist. Smooth? Yes, at least briefly. The question: can they always be continued forever?So the gap is narrow but deep. We know solutions start smooth and we know weak solutions persist globally, yet nobody can prove that smoothness survives for all time in three dimensions.

Why people think it might be solved

Every year or two, a preprint drops claiming to solve the Navier-Stokes problem. The cycle is predictable: excitement, expert scrutiny, then someone finds the gap. None has been accepted by the expert community as a correct resolution.

Part of the confusion comes from mixing up what "solved" actually means:- "We can simulate fluids on computers." Sure. But numerical simulation isn't a mathematical proof; simulations chop space and time into finite pieces, and the question is about what happens in the continuous equations before you do any chopping at all.- "Engineers use these equations successfully." They do. But practical success doesn't tell us whether the equations are internally consistent in every possible scenario a mathematician can dream up.- "The 2D problem is solved." Correct. But the 3D problem is fundamentally different because the mechanism that makes 2D work (no vortex stretching, which keeps vorticity bounded) simply doesn't apply in three dimensions.

What would a solution look like?

To claim the Clay prize, you'd need to do one of two things:- Prove global regularity: show that for any smooth initial conditions, the solution stays smooth forever. No infinite velocities. No breakdowns. The equations always behave.- Construct a blowup: find smooth initial conditions where the classical mathematical solution breaks down in finite time, or otherwise satisfy one of the official Clay breakdown formulations.Either result would be massive. Global regularity would resolve the Clay problem and establish that the incompressible model is mathematically well-posed for all smooth data. A blowup? That would force us to rethink what happens at extreme scales and might point toward entirely new physics we haven't imagined yet.

The timeline so far

1822: Navier derives the equations from molecular considerations.- 1845: Stokes gives them their modern form.- 1934: Leray proves weak solutions exist globally. Huge.- 1969: Ladyzhenskaya solves 2D.- 1982: Caffarelli, Kohn, and Nirenberg prove partial regularity, establishing that any singularities must be extraordinarily rare, confined to a set of zero one-dimensional measure.- 1984: Beale, Kato, and Majda prove for the 3D Euler equations that breakdown of a smooth solution forces divergence of the vorticity time integral. Related continuation criteria also apply to Navier-Stokes.- 2000: Clay names it a Millennium Problem. One million dollars.- 2014: Tao constructs blowup for an averaged version of the equations (preprint; published 2016), showing there's no purely structural obstruction to singularity formation.- 2026: Open.

Continue exploring

Part of The Problem.

Go deeper: why is the problem so hard?, what subproblems are mathematicians working on, and what approaches have they tried?

The formal Clay statement lives on the Millennium Problem page, and if you want to understand which version of the equations this problem actually targets, see Incompressible vs. Compressible Navier-Stokes.

Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.

Navier-Stokes Subproblems

Clay Leray — Tue, 31 Mar 2026 06:50:47 +0000

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.

The Navier-Stokes Problem

Clay Leray — Tue, 31 Mar 2026 06:50:41 +0000

One of the central unsolved questions in fluid dynamics, and one of the seven Millennium Prize Problems

The question

No, it's not solved.

Nobody knows.

What we know

Why it resists proof

Supercriticality, the scaling gap, why 3D turbulence is fundamentally different: for the full story, see Why the Navier-Stokes Problem Is So Hard.

The Clay Millennium Prize

Read about the Millennium Problem →

Dive deeper

What comes next

Mathematicians haven't just stared at the problem. They've developed powerful tools, partial results, and entirely new fields of analysis trying to crack it. The work continues.

See the progress so far →

Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.

Progress on the Navier-Stokes Problem

Clay Leray — Tue, 31 Mar 2026 06:45:25 +0000

Ninety years of attacks on the regularity question, and where to go deeper

The state of play

Since the 1930s, mathematicians have attacked the problem from many angles, from energy estimates and geometry to probability and computer-assisted analysis. The full 3D existence-and-smoothness question remains completely, stubbornly open.

But here's what people miss: we've learned an enormous amount from ninety years of failed attacks, and the collective picture is far richer than a simple "unsolved" label suggests. Entire strategies eliminated. Sub-cases closed. We know, with substantial progress: some subcases are resolved, several conditional criteria are understood, and major barriers are much clearer. What follows is a map of that progress.

Key milestones

Five results that reshaped the field:- 1934, Leray: Proved that global-in-time weak solutions exist for any reasonable initial data. Something persists forever. But does it stay smooth? That's the question Leray couldn't answer, and after ninety years, neither can anyone else.- 1982, Caffarelli, Kohn, Nirenberg: The set of possible singularities is extremely small: in the parabolic geometry natural to these equations, it has zero one-dimensional size. Vanishingly small. If blowup happens, it's sparse beyond imagination.- 1984, Beale, Kato, Majda: Huge result. A smooth solution can only break down if the vorticity blows up, which gave the entire field one precise target: control the relevant vorticity norm strongly enough, and a smooth solution cannot break down at that time.- 2016, Tao: Constructed blowup for an averaged Navier-Stokes sharing the same energy and scaling properties as the real thing, which means a proof for the real equation has to use finer structure than energy estimates and scaling alone. A barrier. Not a solution.- 2022, Albritton, Brué, Colombo: Leray-Hopf weak solutions aren't unique when you allow an external force. Bad news: the weakest solution class isn't as tame as we'd hoped, and this forces a rethinking of what "solution" even means at this level.

Dive deeper

This page is a map, not the territory. For the details:

Subproblems

The tractable pieces: 2D regularity, axisymmetric flows, critical spaces, and other special cases where real progress has been made.

Approaches

The major strategies mathematicians are pursuing: energy methods, harmonic analysis, probabilistic techniques, convex integration, and computational approaches.

About this page

Last reviewed: March 2026. This page is a living directory. As new results appear and deeper articles go up, it'll be updated.

Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.

Approaches to the Navier-Stokes Problem

Clay Leray — Tue, 31 Mar 2026 06:45:19 +0000

Weak solutions, regularity criteria, and the main proof strategies

Energy methods and Leray-Hopf theory

The oldest approach starts with energy. A moving fluid carries kinetic energy, and viscosity eats it, like friction grinding things to a halt. Total energy can only decrease over time, assuming nothing's pumping energy in from outside.

Leray saw this in 1934 and made a key move: use the energy bound to prove that a global weak solution with finite kinetic energy has to exist. Build approximate solutions, artificially smoothed. Show they all obey the energy bound. Take a limit. Something must survive in that limit, and it does.

But here's the catch. Energy bounds are blunt instruments. They guarantee the fluid has finite total energy, sure, but they can't tell you the velocity stays finite at every single point in space and time. That gap between "finite energy" and "smooth everywhere" is exactly the regularity problem, and it's been open for ninety years.

Paper links: Leray, Sur le mouvement d'un liquide visqueux emplissant l'espace (1934); Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen (1951).

CKN partial regularity

The Caffarelli-Kohn-Nirenberg approach (1982) doesn't try to prove full smoothness. It asks something else entirely: how bad can the singularities actually be?

Barely bad at all. Their $\varepsilon$-regularity theorem says that if certain scale-invariant local quantities are small enough in a small space-time region, the solution is automatically smooth there. And since total energy is finite, there simply isn't enough "budget" for many singular points to coexist.

Think of it this way. A wall might have cracks. But the total length of all those cracks combined is zero, meaning the singular set is extremely small in the parabolic measure-theoretic sense (one-dimensional parabolic Hausdorff measure zero).

Paper links: Caffarelli-Kohn-Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations (1982); Albritton-Barker-Prange, Epsilon regularity for the Navier-Stokes equations via weak-strong uniqueness.

Beale-Kato-Majda and vorticity control

Here's a sharp reduction of the whole problem. Beale, Kato, and Majda proved in 1984 that for the 3D Euler equations, blowup can only happen if vorticity control is lost. Analogous criteria were later established for Navier-Stokes. That's it. One condition.

Vorticity measures local spin. The BKM criterion says: keep the maximum spin bounded in the right norm, and the solution stays smooth. Everything else falls in line automatically.

One family of quantities to control. Unfortunately, actually controlling them has turned out to be exactly as hard as the original problem. The reduction is clean. The execution remains out of reach.

Paper links: Beale-Kato-Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations (1984); Kozono-Taniuchi, Bilinear estimates in BMO and the Navier-Stokes equations (2000).

Critical and subcritical spaces

A more modern angle works with function spaces (like $L^3$ or $\dot{H}^{1/2}$) that sit right at the boundary of what the scaling symmetry allows. These are critical spaces, and they are where the sharpest regularity results live.

The logic is clean: if you can show a solution stays within certain critical-space bounds, smoothness follows automatically. Multiple teams have proved this, building a whole menu of regularity criteria (conditions that guarantee smoothness if you can verify them).

The problem is the gap. We can prove subcritical bounds from energy methods. We need critical bounds. That gap is narrow, sometimes a single derivative of regularity, but it has resisted every attempt to close it.

Paper links: Koch-Tataru, Well-posedness for the Navier-Stokes equations (2001); Kenig-Koch, An alternative approach to regularity for the Navier-Stokes equations in critical spaces; Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion. For a detailed comparison of why energy criticality succeeds in 2D but fails in 3D, see Why 2D Is Easier Than 3D.

Harmonic analysis and Littlewood-Paley

Modern PDE theory borrows heavily from harmonic analysis. The core idea: break a function into waves at different frequencies, the way you'd split a musical chord into individual notes. Except here, the "notes" are spatial oscillations of fluid velocity at wildly different scales.

Littlewood-Paley decomposition does exactly this. Chop the velocity field into scale-by-scale components. Track how energy flows between them. Suddenly the informal physical intuition of "energy cascade" becomes something you can actually prove theorems about, and the theorems are precise. These methods have produced many of the sharpest results on regularity criteria and blowup rates.

Paper links: Cannone-Meyer, Littlewood-Paley decomposition and Navier-Stokes equations (1995); Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion.

Geometric and topological methods

Here's a different instinct entirely. Instead of tracking numbers (norms, energies), these methods study the shape of the solution: how vortex tubes bend, how regions of intense rotation arrange themselves in space.

The key insight is that blowup isn't just about something getting big. It's about the fluid organizing itself into a very specific geometric configuration. If you can show that configuration is impossible (because it contradicts the energy-dissipation structure, or incompressibility, or both), you've ruled out blowup without ever computing a norm.

This geometric viewpoint has grown into a viewpoint that has inspired several rigorous regularity criteria alongside purely analytic methods. And it feels different. It asks what shape does disaster take? instead of how big can this number get?

Paper links: Constantin-Fefferman, Geometric constraints on potentially singular solutions for the 3-D Euler equations (1993); Albritton-Barker-Prange, Localized smoothing and concentration for the Navier-Stokes equations in the half space.

Non-uniqueness and convex integration

This one caught people off guard. The weak solutions from Leray's method (Section 1) turn out to be non-unique, at least when external forcing is present.

The weapon is convex integration, a technique originally built for geometry problems and adapted to fluid equations by De Lellis and Székelyhidi starting around 2009. The idea: construct "wild" solutions by iteratively piling on high-frequency corrections that collectively satisfy the equation but behave erratically.

For 3D Euler (Navier-Stokes without viscosity), Buckmaster and Vicol (2019) proved weak solutions aren't unique. Then in 2022, Albritton, Brué, and Colombo proved that even Leray-Hopf solutions of 3D Navier-Stokes are non-unique when external force is present. Whether non-uniqueness persists for the unforced Navier-Stokes equations remains open.

Why does this matter? Because "a weak solution exists" has been the headline result since 1934. Now we know it doesn't pin down a single answer. The question sharpens: which solution, if any, is the physically correct one?

Paper links: De Lellis-Székelyhidi, Dissipative continuous Euler flows (2013); Buckmaster-Vicol, Nonuniqueness of weak solutions to the Navier-Stokes equation (2019); Albritton-Brué-Colombo, Non-uniqueness of Leray solutions of the forced Navier-Stokes equations (2022).

Proof barriers and supercritical blowup

Can we at least rule out certain proof strategies? Terence Tao showed in 2016 that yes, we can. And the result is sobering.

Tao built a modified version of the Navier-Stokes equations, an "averaged" system, that keeps many key structural features of the real equations: the energy identity, the way enstrophy (a measure of vorticity intensity) grows, the scaling symmetry. But in this modified system, solutions blow up in finite time.

The implication rules out broad families of proof strategies. Any proof that global smoothness holds for the real equations must use some specific structural property of the true nonlinearity that the averaged system doesn't have. You can't prove regularity using only energy bounds, scaling, and enstrophy growth. Those tools alone are consistent with blowup.

This doesn't say the real equations blow up. It says entire families of proof strategies are dead ends. The eventual proof (if regularity holds) must be sharper than a generic energy argument. Much sharper.

Paper links: Tao, Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2016).

Continue exploring

This article is part of Progress.

From Leray's 1934 existence proof through convex integration and Tao's proof barriers, these are the main strategies people have thrown at the 3D Navier-Stokes problem. None has resolved the full 3D regularity problem. For context on how viscosity shapes the mathematics compared to the inviscid Euler equations, see Euler vs. Navier-Stokes. For the current status, see Is the Navier-Stokes Problem Solved? For the exact formal statement, return to The Millennium Problem.

Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.

Navier-Stokes Existence and Smoothness: The Millennium Problem

Clay Leray — Tue, 31 Mar 2026 06:40:02 +0000

What Clay is actually asking, and what counts as a solution

The prize

In 2000, the Clay Mathematics Institute picked seven of the hardest unsolved problems in mathematics and put $1 million on each one. The Navier-Stokes existence and smoothness problem made the list.

The question, stripped down: do the equations of fluid motion always produce smooth, well-behaved solutions, or can they blow up?

Nobody has claimed the prize. Not even close. There's been real progress in understanding what a solution (or a breakdown) would look like, but the problem itself remains wide open.

The precise statement

Here's what the problem actually asks, in plain language:

Setup: Take any initial fluid velocity that's perfectly smooth (no sharp edges, no discontinuities) and dies off at infinity. Far from the action, the fluid sits still.

Question: Does the velocity remain smooth and finite for all future time? Or can it blow up?

Two answers. Only two.- Yes, always smooth. Prove that no matter what smooth initial state you pick, the solution stays smooth forever. Every initial condition, every time.- No, blowup happens. Find one specific smooth starting configuration, possibly together with a smooth external force, where the solution breaks down. Just one is enough.

What makes it a Millennium Problem?

Three things put Navier-Stokes on that shortlist:- Practical importance. These equations run most of fluid dynamics: aircraft design, climate models, blood flow, ocean currents. Even without a complete proof, engineers use these equations successfully in many regimes; the open problem is about whether the 3D equations can always be justified mathematically.- Mathematical depth. It draws on analysis, geometry, topology, and physics simultaneously.- Sheer stubbornness (explore why). Over 180 years of effort by some of the greatest mathematicians who ever lived, and we still don't know the answer.A bright undergrad can state the question in five minutes. No one has found an answer. That gap between a simple statement and an unreachable proof is what defines a Millennium Problem.

History of progress

The essential milestones:- 1822: Navier derives the equations from molecular considerations.- 1845: Stokes gives the modern derivation from continuum mechanics.- 1934: Leray proves that "weak" solutions always exist. A massive result, but these solutions might not be smooth.- 1982: Caffarelli, Kohn, and Nirenberg prove that singularities (more on partial regularity), if they exist, are extremely small: in the parabolic geometry natural to these equations, the singular set has zero one-dimensional Hausdorff measure.- 1984: Beale, Kato, and Majda prove (originally for Euler, with Navier-Stokes analogues) that blowup can only happen if the vorticity becomes infinite.- 2000: Clay names it a Millennium Problem.- Today: Still open. Active work on critical-space approaches, Type-I/II blowup classification, and computer-assisted proof.

Continue exploring

This article is part of The Problem.

If you came here wondering whether someone already solved it, start with Is the Navier-Stokes Problem Solved?.

Then explore why it's so hard, or see how mathematicians have broken it into subproblems. For the structural reasons the 2D problem is tractable while 3D remains open, see Why 2D Is Easier Than 3D.

Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.

Weak, Strong, and Smooth Solutions to the Navier-Stokes Equations

Clay Leray — Tue, 31 Mar 2026 06:39:56 +0000

The Millennium Prize asks for smooth solutions. All we can prove exist globally for arbitrary data are weak solutions. That gap is the entire problem.

What is a weak solution?

Here's the situation. The Millennium Prize offers a million dollars for resolving whether 3D Navier-Stokes always has smooth solutions that last forever, or whether things can blow up. Smooth means the velocity field is perfectly well-behaved: no sudden jumps, no infinite speeds, no points where the math breaks down. But the best existence result anyone has ever proven, in nearly a century of trying, only guarantees something weaker. These are called weak solutions.

So what's a weak solution? It's not an approximation. It's not "almost right." It's an exact solution to the equations, but one that plays by relaxed rules. A normal ("classical") solution requires the velocity to be smooth enough that you can compute its rate of change at every single point. A weak solution skips that requirement. Instead of checking the equations point by point, you check them "on average" across regions of space.

Here's an analogy. A classical solution is a student who solves every exam problem by showing all their work, step by step. A weak solution is a student who can't show you the intermediate steps, but whose final answers are provably correct for every possible question you could ask. You can't watch them work, but the answers always check out.

Why would you accept that? Because sometimes the equations are too wild for classical solutions. The fluid might develop regions where the velocity changes so sharply that you simply can't compute a rate of change there. The math breaks. Weak solutions let you keep going where classical solutions give up. They're the safety net that keeps the equations alive when things get rough.

The catch: weak solutions might not be unique. You could get multiple weak solutions starting from the exact same flow, and nobody can tell you which one is "the real answer." That's a problem, because physics says the fluid should do one specific thing, not several. And weak solutions might not be smooth. Smoothness is what the Millennium Prize demands, and it's what nobody can prove.

Leray and the first existence proof (1934)

In 1934, Jean Leray did something that still defines the field. In a single 73-page paper, he proved that weak solutions to the 3D Navier-Stokes equations exist for all time, starting from any reasonable initial flow. Any. As long as the starting velocity isn't infinitely energetic or physically nonsensical, Leray guarantees you'll get a solution that lasts forever. This was the first time anyone proved a global existence result for the 3D equations, and over ninety years later, it's still the strongest unconditional existence theorem we have.

His strategy was clever. The actual equations are too nasty to solve directly because of how the fluid's velocity feeds back into itself (that's the nonlinearity). So Leray blurred the equations slightly, like adding a tiny Gaussian filter to an image. The blurred equations are tame enough to solve. Then he dialed the blur down toward zero and showed that the solutions don't fly apart. They settle into something that satisfies the original, unblurred equations in the weak sense.

But here's what Leray did NOT prove. Uniqueness. His method produces at least one weak solution, but there might be others starting from the same flow. He couldn't rule that out. He also didn't prove smoothness. His solutions have finite energy and satisfy an energy inequality: friction can drain energy away, but energy can't spontaneously appear from nowhere. That's it. Nothing more.

Leray himself suspected that singularities might form. He sketched what one might look like: the fluid collapsing toward a point, faster and faster, concentrating all its energy into a tinier and tinier region, like a whirlpool shrinking to a point at infinite speed. In 1996, Nečas, Růžička, and Šverák proved that this exact self-similar collapse can't happen. Leray's guess about the shape of potential blowup was wrong. Whether blowup happens at all, in any form? Nobody knows.

In 1951, Eberhard Hopf extended Leray's construction to fluids in bounded containers (not just all of infinite space), and the resulting class became known as Leray-Hopf weak solutions: weak solutions that satisfy the energy inequality. This is the standard notion. When researchers say "weak solutions" without further qualification, they almost always mean this.

One more thing. Even within Leray-Hopf weak solutions, there's a pickier subclass called suitable weak solutions. These don't just satisfy the energy inequality globally (total energy doesn't grow). They satisfy it locally too: energy can't secretly pile up in one corner of the fluid while draining from another. Caffarelli, Kohn, and Nirenberg (CKN) proved their famous partial regularity result in 1982 specifically for this smaller class. Don't confuse the two: CKN applies to suitable weak solutions, not to all Leray-Hopf solutions.

Strong solutions and regularity

Weak solutions exist globally. But they might not be unique, and they might not be smooth. Can we do better?

Yes, but only temporarily. Strong solutions are the upgrade: solutions where the equations hold exactly at every point, not just "on average." For smooth initial data in 3D, strong solutions exist for a short time. How short? That depends on how wild the starting flow is. Calm, gentle flows get longer guarantees. Violent, turbulent starting conditions? Microseconds.

And nobody can prove that these strong solutions don't eventually blow up.

In 1962, James Serrin proved something like a promotion rule. It goes like this: if a weak solution happens to stay well-behaved enough (not too large, not concentrating its energy into smaller and smaller regions), then it was secretly smooth the whole time. You can promote it. And by a principle called weak-strong uniqueness, it's also the only weak solution with those starting conditions. One solution, smooth and unique, case closed. But if you can't verify that the solution stays tame? Nothing. You're stuck.

This is a conditional result. IF the solution isn't too wild, THEN it's perfectly well-behaved. The entire difficulty is proving the IF.

In two dimensions, the energy estimates are strong enough that every weak solution automatically passes Serrin's test. Done. That's why 2D is solved. In 3D, the estimates fall just barely short of what you'd need, and closing that gap is the whole game.

Researchers have found other conditional tests too, each one a different angle of attack: "Prove this one specific thing about the solution, and I'll give you smoothness for free." Proving any single one of them unconditionally would solve the Millennium Problem. Nobody has managed it. For a survey of the different proof strategies people have tried, there's a whole page on that.

Smooth solutions and the Millennium Problem

Smooth solutions are the gold standard. The velocity field is perfectly well-behaved everywhere, for all time. No sudden jumps. No infinite speeds. Zoom in as far as you want, and the solution just keeps being nice.

The Clay Millennium Prize Problem, formulated by Charles Fefferman in 2000, asks a question that fits on an index card. Start with any smooth, physically reasonable velocity field filling three-dimensional space. Does the Navier-Stokes equation always produce a smooth solution that lasts forever, or can you find a starting flow where the solution eventually blows up?

Either answer is worth a million dollars.

Here's where we stand. Nobody has proven that smooth solutions always exist globally in 3D, and nobody has constructed a blowup either. We've been stuck in between since Leray's 1934 paper, over ninety years of one of the hardest open questions in all of mathematics, and we still don't know which side the answer falls on.

Short-term? Fine. For smooth starting data, the equations do produce a smooth solution for some stretch of time. The fluid starts moving, the math works, everything is clean. But what happens later? Does the solution stay smooth forever, or does it hit a point where the velocity rockets off to infinity?

If it does stay smooth, something nice happens. That smooth solution automatically satisfies the relaxed rules for weak solutions too, so it's a weak solution. And by weak-strong uniqueness, no other weak solution with those starting conditions can exist. So if someone proved global smoothness, the entire hierarchy would collapse: weak, strong, and smooth would all turn out to be the same thing, a single unique solution that's perfectly well-behaved for all time. That's what makes this problem so appealing and so hard. The gap between what we can prove exists (weak solutions) and what we want (smooth solutions) is exactly the content of the million-dollar question.

Why the distinction matters

If weak solutions exist and describe the fluid, why should anyone care about smoothness?

Three reasons.

First, uniqueness. Physics demands one answer. Give me the initial state of a fluid, and I should be able to tell you exactly what it does next. Not "here are several possibilities, pick whichever you like." But weak solutions don't guarantee that. Multiple weak solutions might emerge from the same starting flow with no way to tell which one the real fluid follows. The equations would become a menu instead of a recipe. That's not physics.

Second, numerical reliability. Many important fluid simulations are based on Navier-Stokes or closely related models: weather forecasts, aerodynamics, blood flow through arteries, and more. Make the grid finer and the simulation should converge toward the true answer. Without a smoothness-and-uniqueness guarantee? No theorem says that actually happens in every 3D scenario. The simulations work. We can't fully explain why.

Third, extreme physics. If singularities can form, that's nature sending us a message. The Navier-Stokes equations, our best model of fluid motion, would have a built-in expiration date: at some extreme scale the model itself stops working, and the equations are telling us, "You need new physics."

This isn't a technicality. It's the fault line running through everything. Existence on one side (Leray, 1934, done). Smoothness on the other (open, one million dollars). Why is crossing so hard? The energy estimates in 3D fall just barely short of what's needed, and ninety years of effort, hundreds of papers, entire careers spent trying, nobody has closed that gap.

Every proof strategy being pursued right now is an attempt to bridge this divide. Prove weak solutions are smooth. Or prove they aren't. Two words or three.

Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.

Why 2D Navier-Stokes Is Easier Than 3D

Clay Leray — Tue, 31 Mar 2026 06:34:40 +0000

In two dimensions, vorticity obeys a maximum principle and energy estimates close. In three dimensions, vortex stretching breaks both controls, and the global regularity question remains wide open.

The short answer

The Navier-Stokes equations describe how fluids move. They work in 2D (flat, like water spreading across a table) and in 3D (real life, like ocean currents swirling around a submarine or wind tearing past a skyscraper). Same equations. Almost identical.

Here's the twist. In 2D, mathematicians can prove that the equations always behave nicely, that the math never breaks, that solutions stay smooth for all eternity. In 3D? Nobody knows. Not a single person on Earth. The fluid might do something so violent and sudden that the math stops working entirely, and proving whether that can happen is the Clay Millennium Prize Problem, worth one million dollars.

This isn't just "3D is harder because there's more stuff." One specific mechanism in 3D doesn't exist in 2D. It changes everything.

The Clay problem is three-dimensional

The million-dollar question only asks about 3D. Why? Because 2D is done. Finished. Mathematicians proved decades ago that two-dimensional Navier-Stokes solutions always stay smooth, no matter what initial conditions you throw at them, no matter how long you wait. No prize needed for a solved problem.

So the real question isn't "why is 3D hard?" It's "why is 2D easy and 3D hard?" What exactly breaks when you add that third dimension?

Why 2D works: the vorticity argument

2D has a secret weapon. It's called vorticity: how much the fluid spins at each point.

In 2D, vorticity is just a number. That's it. Clockwise or counterclockwise, fast or slow. And here's what makes two dimensions so remarkably different from three: these little whirlpools can drift around through the fluid and gradually fade away because of friction, but they can never, under any circumstances whatsoever, get stronger than they were at the start. Maximum spin at time zero? That's the maximum spin you'll ever see.

Why does that matter? Everything follows from it. Velocity stays smooth. Pressure stays smooth. The solution keeps working forever, no matter how absurdly far into the future you go, because that single constraint on vorticity acts like the first domino in a chain that knocks down every other domino in sight.

What goes wrong in 3D: vortex stretching

In 3D, vorticity isn't a number. It's a vector, carrying both a direction and a strength, and you should picture it as tiny tornado tubes threading through the fluid.

Here's what ruins everything. Those tubes can be stretched. Pull one like taffy: it thins out and spins faster. Much, much faster. This is vortex stretching, and it's the villain of the entire story because it means the fluid can amplify its own rotation, feeding energy into smaller and smaller scales until, possibly, rotation at a single point becomes infinitely intense.

That's a blowup. The math breaks.

Can viscosity (the fluid's internal friction) always slam the brakes on stretching before it reaches infinity, or does stretching sometimes overpower friction and win? Nobody knows. That is, literally, the million-dollar question. This tug-of-war between stretching and friction is why the problem is so hard.

Scaling and supercriticality

Vortex stretching isn't the only problem. There's a deeper structural reason 3D resists proof, and it shows up when you \"zoom in\" on the fluid.

The Navier-Stokes equations have a zoom-in trick. Take any solution, zoom into a smaller region, speed up time by the right amount, and you get another perfectly valid solution. So: what happens to the energy when you zoom in?- In 2D, zooming in keeps the energy the same. Mathematicians call this critical scaling. Your energy estimates work at every scale. Big or small, you never lose control.- In 3D, zooming in makes the energy grow. This is supercritical scaling, and it's devastating: at small scales, the violent nonlinear effects become relatively stronger than the calming viscous effects, so your mathematical tools lose their grip at precisely the scales where you need them most.An analogy. In 2D, your flashlight is always bright enough. In 3D, the smaller you look, the dimmer it gets, and the fluid gets wilder. You end up in the dark.

This isn't some technical inconvenience that a clever trick might fix. It's a wall. Standard mathematical tools can't control 3D Navier-Stokes at small scales. Something fundamentally new is needed.

What would it take to solve 3D?

The 2D proof works because vorticity stays bounded and scaling is critical. 3D has neither. So what would a proof need?

Nobody knows. But here's what researchers are chasing:- Find a new \"control knob.\" Vorticity is 2D's control knob: it stays bounded, and everything else follows from that single fact alone. In 3D, we need a different quantity, something that remains tame regardless of what the fluid does and that is powerful enough to force the entire solution to stay smooth forever. Nobody's found it. Researchers have been searching for decades, and it's still missing.- Exploit hidden structure. Fluids are incompressible. They can't be squeezed. That constraint limits what vortex stretching can do, and there may be deeper geometric patterns buried in the equations that nobody has fully exploited yet.- Prove it actually breaks. Maybe 3D solutions can blow up. That would be equally enormous. You'd need to construct one specific initial condition where vortex stretching overpowers viscosity and drives the solution to infinity in finite time, and for the simpler Euler equations (Navier-Stokes without friction) singularity formation has been demonstrated in related settings, but the viscous case remains completely open.For more on what's been tried, see Navier-Stokes Subproblems.

Summary: 2D vs 3D at a glance

Everything above, in one table:2D3DSpinning (vorticity)Just a numberA direction + strengthCan the spinning amplify itself?NoYes (vortex stretching)Maximum spin stays bounded?Yes, alwaysUnknownZoom-in behaviorEnergy stays the same (critical)Energy grows (supercritical)Solved?Yes, proved smooth foreverNo, million-dollar open problemThis isn't a technicality. The gap between 2D and 3D is a chasm. The proof strategy that works perfectly in two dimensions doesn't just "need a little more work" to handle three; it fundamentally cannot work because the mathematical structure it depends on, the vorticity maximum principle and energy criticality that make 2D so tractable, simply doesn't exist in 3D.

For the full equations, see What Are the Navier-Stokes Equations? For the precise open problem, see Navier-Stokes Existence and Smoothness. For why it's so hard, see Why Navier-Stokes Is Hard.

Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.

Reynolds Number, Turbulence, and Why Small Scales Matter

Clay Leray — Tue, 31 Mar 2026 06:34:34 +0000

A bridge from physical intuition to the regularity problem

What Reynolds number measures

The Reynolds number is a way of asking a simple question: in this flow, which wins out more, the fluid's tendency to keep moving or its tendency to smooth itself out?

If you want a rough everyday picture, think of it as momentum versus stickiness. Water moving quickly through a large pipe has a higher Reynolds number than honey creeping slowly through a narrow one.

People often write it as

$$Re = \frac{\rho U L}{\mu} = \frac{U L}{\nu}$$

but you do not need to memorize the symbols. The main idea is simple: faster flow, bigger size, or lower viscosity pushes the Reynolds number up.

Why higher Reynolds number often leads to transition and turbulence

When the Reynolds number is low, the fluid usually behaves in a calm, orderly way. Small wiggles die out quickly, and the flow stays laminar.

When the Reynolds number is high, those wiggles are harder to kill. They can survive, interact, and turn into the messy, swirling motion we call turbulence.

In pipe flow, a common classroom rule says the flow is usually laminar below about $Re \approx 2300$ and more likely to be turbulent above about $Re \approx 4000$. That is useful as a rule of thumb, but it is not a law of nature for every possible flow. Shape, roughness, and incoming disturbances all matter.

Why turbulence creates smaller and smaller active scales

Turbulence is not just one big swirl. It usually means big swirls feeding smaller ones, and those smaller ones feeding even smaller ones.

That step-by-step breakdown is the basic idea behind the energy cascade. Motion starts on larger scales, then gets passed down toward finer and finer structure until viscosity finally smooths it away.

So a high-Reynolds-number flow is not just "more chaotic." It usually has more room to build thin layers, sharp changes, and lots of activity on many different sizes at once.

Why small scales matter for the 3D Navier-Stokes problem

The hard part of the 3D Navier-Stokes problem is not just that fluids can look messy. The hard part is whether the equations can keep control of the flow even when more and more action moves into very small scales.

Reynolds number helps build the intuition for why that is scary. If the flow keeps creating finer wrinkles before viscosity smooths them out, then the equations may become much harder to control mathematically.

But that does not mean turbulence automatically creates a singularity. The famous open question is more precise: can a smooth 3D incompressible flow ever actually lose smoothness in finite time? Reynolds number helps explain why people worry about that question, but it does not settle it.

What Reynolds number does and does not tell you

Reynolds number is useful, but it is not a magic on-off switch.- It can tell you whether a flow is in a more viscosity-dominated or momentum-dominated regime.- It can help you guess whether a flow is likely to stay smooth or become more turbulent.- It cannot tell you everything by itself. It does not work as a universal turbulence cutoff, and it definitely does not answer the Navier-Stokes Millennium Problem for you.That is the right way to use it here: as a helpful piece of physical intuition, not as the final mathematical answer.

What to read next

If you want the equations themselves, start with What Are the Navier-Stokes Equations?.

If you want the formal statement of the open problem, continue to The Millennium Problem.

If you want the main mathematical barriers, go next to Why It's Hard and Subproblems.

Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.

Incompressible vs. Compressible Navier-Stokes

Clay Leray — Tue, 31 Mar 2026 06:28:47 +0000

The Navier-Stokes equations are a family of systems. The difference between incompressible and compressible flow isn't cosmetic. It changes the unknowns, the mathematics, and the open problems.

The physical split: density that changes vs. density that doesn't

"Incompressible vs compressible" boils down to density. Does it stay constant, or does it change?

Try it. Fill a syringe with water and push the plunger. The water moves, but under everyday conditions it doesn't compress noticeably. Water resists compression so strongly that treating it as incompressible is an excellent approximation. Incompressible. Now fill that syringe with air and seal the end. Push the plunger in and you'll feel the air give way, the same mass of air now packed into less volume as it compresses under your thumb. That's compressible flow.

In incompressible flow, the density $\rho$ is constant throughout the fluid, and every tiny parcel keeps its volume as it moves through space. Compressible flow is different. Density becomes a variable, free to change from place to place and moment to moment. Air around a jet engine, gas in an explosion, the atmosphere at large scales: all compressible, all driven by density variations.

Why care? Because this distinction reshapes what the Navier-Stokes equations look like, what they predict, and how difficult they are to analyze and solve.

The incompressible Navier-Stokes equations

The incompressible Navier-Stokes equations describe fluids whose density is constant. They're the version that appears in the Clay Millennium Problem and the version this site focuses on.

The system has two parts. The momentum equation:

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u + f$$

and the incompressibility constraint:

$$\nabla \cdot u = 0$$

The constraint $\nabla \cdot u = 0$ says the velocity field is divergence-free: fluid neither piles up nor thins out anywhere. Whatever flows into a tiny region must flow out at the same rate. This single condition replaces the entire density equation. Density doesn't change, so you don't need an equation to track it.

Pressure plays a special role here. It isn't determined by a thermodynamic law (like the ideal gas law). Instead, it adjusts instantaneously everywhere to keep the flow divergence-free. Mathematically, $p$ solves a Poisson equation derived from the constraint. Pressure changes propagate infinitely fast. There's no "speed of sound" in incompressible flow.

The incompressible Navier-Stokes system has two unknown fields: velocity $u$ and pressure $p$. That simplicity is deceptive. The nonlinear term $(u \cdot \nabla)u$ still makes the system extremely difficult in three dimensions.

The compressible Navier-Stokes equations

The compressible Navier-Stokes equations govern flows where density varies. Bigger system. More unknowns. More equations.

You still have a momentum equation, but now density $\rho$ appears explicitly:

$$\partial_t (\rho u) + \nabla \cdot (\rho u \otimes u) = -\nabla p + \nabla \cdot \tau + \rho f$$

The constraint $\nabla \cdot u = 0$ is gone. In its place, you get a continuity equation that tracks how density evolves:

$$\partial_t \rho + \nabla \cdot (\rho u) = 0$$

This says mass is conserved: density changes because the flow compresses or expands fluid parcels.

The system also needs an energy equation and an equation of state, a thermodynamic relation like $p = \rho R T$ (the ideal gas law) that ties pressure to density and temperature. Pressure is no longer a passive enforcer of a constraint. It has its own physics, its own dynamics, and it propagates at a finite speed: the speed of sound.

The compressible system is essential for aerodynamics at high speeds, astrophysical gas dynamics, combustion, and any flow where density changes matter. But it's a genuinely different mathematical object from the incompressible equations. More unknowns, more equations, different PDE structure entirely.

The Mach number: when does compressibility matter?

When does compressibility matter? One number decides: the Mach number.

$$\text{Ma} = \frac{|u|}{c}$$

$|u|$ is flow speed. $c$ is the speed of sound. Their ratio tells you how fast the flow moves compared to the speed at which pressure disturbances can propagate through the medium, and that comparison determines whether you can safely ignore density changes or whether they'll dominate the physics.

When $\text{Ma} < 0.3$, density changes by less than about 5%. Incompressible equations work. Air in a room, water in a pipe, wind around a building: all low-Mach flows where pressure disturbances travel so much faster than the flow itself that density barely budges.

Above $\text{Ma} \approx 0.3$, compressibility starts to bite, and around $\text{Ma} \approx 1$ you hit the transonic regime where local supersonic pockets appear and shock waves form. Fighter jets. Rocket nozzles. Re-entering spacecraft.

Not a binary switch. Most everyday fluid flows, and the Clay Millennium Problem, sit firmly in the low-Mach regime where the incompressible equations apply.

Why the Millennium Problem is about the incompressible case

The Clay Millennium Problem asks a precise question: given a smooth, divergence-free initial velocity on $\mathbb{R}^3$, does the incompressible Navier-Stokes system always produce a smooth solution that exists for all time?

Why incompressible specifically? Three reasons.

First, it's already hard enough. The incompressible 3D equations have resisted proof of global regularity since Leray's foundational work in 1934. Adding variable density, thermodynamics, and shock waves would make the problem vastly harder, not more tractable.

Second, the difficulty is pure fluid mechanics. The incompressible system isolates the core mathematical challenge, the competition between nonlinear advection $(u \cdot \nabla)u$ and viscous dissipation $\nu \Delta u$, without thermodynamic or acoustic complications. It's the cleanest arena to ask the regularity question.

Third, the physics is clean. The incompressible equations model the most common everyday flows. Whether they can produce singularities from smooth data is a fundamental question about the mathematical consistency of classical fluid mechanics.

The compressible system has its own deep open problems (existence of global solutions with large data, formation and interaction of shocks), but those are different problems with different structures. The Clay prize targets the incompressible case because that's the specific regularity question Fefferman formulated for 3D Navier-Stokes.

What to read next

Start here. Want every term in the incompressible system pulled apart, with the physical meaning and mathematical role of each piece explained from scratch? What Are the Navier-Stokes Equations?

Where does this system come from? Derivation of the Navier-Stokes Equations.

Drop viscosity and you get the Euler equations, which are a century older, look simpler on the page, and in some ways are even harder to understand mathematically because you lose the smoothing effect of the diffusion term. Euler vs. Navier-Stokes.

The prize. The Navier-Stokes Existence and Smoothness Problem.

Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.

Why the Navier-Stokes Problem Is Hard

Clay Leray — Tue, 31 Mar 2026 06:28:36 +0000

The core mathematical obstacles standing in the way

The nonlinearity trap

Many of the equations people first meet in physics are linear: double the input and the response doubles. Navier-Stokes is not like that.

Navier-Stokes? Nonlinear. The fluid's velocity affects its own rate of change, which means the fluid pushes itself. Imagine trying to predict where a crowd will go when every single person's movement depends on what everyone around them is doing, and what those people are doing depends on everyone around them, spiraling outward forever. That's the situation you're staring at.

The culprit is the self-interaction term $(u \cdot \nabla)u$. It creates feedback loops where small disturbances amplify into large ones, and it's why fluid turbulence is so wildly complex (see subproblems for more).

Supercriticality: the scaling gap

The Navier-Stokes equations have a scaling symmetry. Zoom in on a solution, make everything smaller and faster by the right amounts, and you get another perfectly valid solution. That symmetry is mathematically natural, but analytically dangerous.

Why? The only quantity we can reliably control is the total energy of the fluid, and it sits at completely the wrong scale, telling us about the big picture but saying absolutely nothing about what's happening at the microscopic scales where a blowup would actually form.

Think of monitoring a city's total electricity usage to detect one spark. Useful? Sure. Fine-grained enough? Not even close. That gap is the whole problem.

Turbulence and the energy cascade

Watch a river. Fluid motion goes chaotic. Turbulent. Big eddies shatter into smaller ones, which shatter into even smaller ones, cascading all the way down to microscopic scales where viscosity finally smooths things out.

Kolmogorov described this energy cascade in 1941, and the Navier-Stokes equations capture it beautifully. But here's what keeps people up at night: what if energy concentrates into smaller and smaller regions faster than viscosity can dissipate it? That's a blowup.

Can it actually happen? Or does viscosity always win? That's the open question, full stop. For the physical bridge from Reynolds number to this small-scales picture, see Reynolds Number, Turbulence, and Why Small Scales Matter.

The pressure problem

Pressure in the Navier-Stokes equations is strange. It's not an independent variable at all; the velocity completely determines it through a single constraint: the fluid is incompressible, so it can't be squeezed.

This makes pressure nonlocal. In the incompressible model, changing the velocity in one region affects the pressure field globally, because the pressure is determined by the whole velocity field at that time.

For analysis, that's devastating. You can't study what happens at a single point without accounting for the entire fluid at once. Local reasoning? Forget it.

Why 3D is special

For the 2D incompressible Navier-Stokes equations in the standard settings, global smooth solutions are known; this was established in classical work including Ladyzhenskaya's (1969). See why 2D is easier.

Three dimensions? Everything falls apart, and the reason comes down to one mechanism: vortex stretching. In 2D, vortices can spin and merge but they can't stretch. In 3D, fluid can grab vortex tubes and pull them thinner and thinner and thinner, potentially concentrating every last bit of energy into an infinitely thin filament.

Can this stretching run away to infinity in finite time, or does viscosity always step in? That's the million-dollar question. Literally.

Continue exploring

This article is part of The Problem.

These obstacles have led mathematicians to decompose the problem into subproblems and develop specialized approaches for each.

For context on why the viscous term helps but isn't enough, see Euler vs. Navier-Stokes.

Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.