Here is a post composed by Claude from my prompts about the Clay Navier-Stokes Millennium Problem.
A Meaningless Solution to a Meaningless Problem
The Clay Navier–Stokes Problem asks whether solutions of the incompressible Navier–Stokes equations stay smooth, or blow up in finite time. Recently a machine-generated proof has been offered which constructs, at every positive viscosity, a forced flow whose velocity becomes unbounded.
There is a simple test any such construction has to pass, and the official formulation never asks for it: report the constants as functions of the viscosity ν. Let us apply it.
One solution, rescaled
Navier–Stokes rescales. If v solves the equations at viscosity one with forcing g, then
u(x,t) = a·v(bx, ct), a = νb, c = ab, f = a²b·g
solves them at viscosity ν. The map is onto. A single unit-viscosity blow-up generates the entire family. So a theorem asserting blow-up "for every ν > 0" is not a family of results. It is one result, photographed at different magnifications, and it contains exactly what its ν = 1 member contains.
All the content is in what the rescaling does to the constants, and there are only a few ways to spend the freedom:
- Hold the solution at size one. Then the forcing amplitude is ν−1: the force required diverges as the viscosity falls, and leaves any fixed admissible class — including the one Fefferman specifies, which fixes its constants once and for all.
- Hold the forcing fixed. Then the velocity amplitude is ν1/3 and the active length ν2/3: both vanish.
- Hold the blow-up time at t = 1 — the natural normalisation. Then everything vanishes together:
amplitude ν1/2, length ν1/2, forcing ν1/2, gradient 1
At ν = 10−8 the flow reaches an amplitude of 10−4 on a scale of 10−4 under a force of 10−4, and then becomes unbounded. The family converges to the zero solution driven by zero force.
The limits do not commute
Write the family out. With blow-up at t = 1,
|uν(t)| ~ ( ν / (1−t) )1/2
and the two factors pull against each other. Let t → 1 first, at fixed ν: infinity. Let ν → 0 first, at fixed t < 1: the zero solution. Infinity one way, nothing the other. The joint limit has no value at all; it depends on the path taken.
The critical path is 1 − t ~ ν, where the amplitude is of order one. And there, the local Reynolds number is
Re = |u|·ℓ / ν = ν1/2(1−t)−1/2 · ν1/2(1−t)1/2 / ν = 1
identically — independent of both t and ν. The singularity sits permanently at the viscous scale. It does not pass through the inertial range on its way to blowing up; it never enters it. Turbulence is the statement that Re ≫ 1 over a wide range of scales. This object is at Re = 1 at every instant of its life.
It is a shock, with a point's extent
What is this thing? An O(1) velocity change across a thickness ν with gradient ν−1 is the viscous shock profile. For Burgers, a jump U relaxes over δ = ν/U, and its dissipation per unit area is U³ — independent of ν. That is the classical anomalous dissipation, the one-dimensional model of the very mechanism Onsager's conjecture concerns.
So the construction has the profile of a shock. What it does not have is a shock's extent. A shock is a surface: thickness ν in one direction, order one in the other two, hence volume ν and dissipation of order one. This object is ν in all three directions — volume ν³, dissipation ν², carried on an energy ν³. Both vanish.
The same local profile, spread over a surface, dissipates at a rate independent of viscosity. Concentrated at a point, it dissipates nothing. The construction is made to blow up by being denied the dimensionality that lets a shock carry energy.
And it is not even a counterexample
Here is the sharpest point. On the critical path, what diverges is the gradient:
|∇u| = |u| / ℓ = 1/(1−t) → ∞, while |u| ~ 1 stays bounded
— and note that the gradient does not involve ν at all: at every viscosity the same gradient is reached at the same time-to-blow-up, which is the sharpest possible statement that the family is one solution rescaled.
But Fefferman's alternatives ask for the velocity to become unbounded. It does not. At 1 − t ~ ν the family is a bounded flow with diverging gradients, which is neither horn of the dichotomy. It is the third category — non-smooth and non-singular — the one the formulation has no name for, and the one in which every flow of physical interest actually lives. The velocity becomes unbounded only afterwards, in a window of duration of order ν that shrinks to nothing.
A meaningless solution to a meaningless problem
The Clay problem is announced as a problem of turbulence — the wake behind the boat, the air behind the aircraft — and then formulated as a problem without it, asking only whether |u| stays finite. Between the description and the statement, the subject has been sorted out.
Put the turbulence back, in the only form analysis can digest — a turbulent viscosity depending on the local velocity gradients — and Fefferman's alternative (A) ceases to be open at all. Global existence and uniqueness follow by standard Sobolev-space techniques, as Lions showed in 1969, for a stress augmented by |∇u|1/2, with a coefficient as small as one likes. And at p = 3 that added term is the Smagorinsky model. The regularisation that makes the problem tractable is a turbulence model. The formulation excludes turbulence from its alternatives, and the price of that exclusion is precisely the term whose absence makes it hard.
So we have a construction which, taken to the limit where fluids actually live, converges to the zero solution driven by zero force; which lives at Re = 1 throughout; which is a shock deprived of its surface; and which, in the regime where it has an O(1) amplitude, is not a counterexample to the stated alternative but an instance of the category the formulation declines to name.
A meaningless solution, then. But the deeper trouble is that it answers exactly what was asked. The dichotomy smooth or singular is empty because the physical solution is neither: turbulent flow has bounded velocity and gradients growing without limit — Hölder continuous with exponent 1/3, the finest structures of size ν3/4 across which the velocity varies by ν1/4. Not smooth, so regularity theory cannot reach it. Not singular, so no blow-up theorem describes it.
What should be asked instead is wellposedness: which outputs of this flow are stable, and to what tolerance. Drag, lift and mean pressure are stable and computable; the pointwise velocity is neither, and no theorem asserting that its trajectory is unique will make it so. Uniqueness in a function space and stability of an output are different properties, and only the second is what a computation, an experiment, or an aircraft depends on.
The prize was offered for the wrong property. It should not surprise us that what claims it is a solution to nothing in particular.
Inlägg
