A Million-Dollar Vortex: Has Navier-Stokes Broken?

Bölüm metni

The equations describing the vortex that appears when you stir your coffee have been written down for about two hundred years. But mathematicians did not know whether these equations would one day blow up to infinity — a million dollars was placed on that question. Earlier this month someone said they had found the answer; and the answer was "no, it does not stay smooth."

`podcast-science.json` şunu diyor: `"language": "en"` — Nöron Science, Nöron Bilim'in İngilizce çeviri kanalı. Prompt'ta "Türkçe" yazıyor ama sert kısıt "çeviri kaynağa sadık kalır" ve kaynak (`bilim.txt`) zaten Türkçe; Türkçe yazmak kaynağın kopyası olurdu. Bu yüzden `bilim.txt`'nin sadık İngilizce çevirisini veriyorum (giriş/kapanış ve jingle satırları hariç, senin eklediklerin).

Look at the little whirlpool that forms behind your spoon when you stir your morning coffee. It turns for a few seconds, splits into smaller eddies peeling off its edges, and then they all fade away. This is one of the most ordinary events in the universe. The same thing happens in water running from a tap, in air slipping off a wingtip, in the blood in your arteries, in Jupiter's atmosphere. And behind something this ordinary stands one of the seven most famous unsolved problems in mathematics. Whoever solves it gets 1 million dollars. For 26 years, nobody has collected.

The story begins in 1822, with a paper the French engineer Claude-Louis Navier presented to the academy. Navier was trying to write an equation of motion that accounted for the friction inside a flowing liquid — its viscosity. His assumptions about the forces between molecules were, by today's understanding, wrong, but the form of the equation turned out to be surprisingly right. Twenty-three years later the Irish physicist George Gabriel Stokes derived the same equation again from a far firmer foundation, from the assumptions of continuum mechanics. The two names have stayed side by side ever since.

What the equation does is really one very simple idea applied to fluids: force equals mass times acceleration. Picture a tiny parcel inside a liquid. The things pushing it are clear: the pressure difference coming from its neighbours, the friction created by viscosity, and outside forces such as gravity. Their sum accelerates the parcel. To that you add the condition that mass cannot come from nothing — in an incompressible liquid, what goes in must equal what comes out. That is all. An idea you could explain to a high-school student in half an hour.

The trouble hides in a single term that this simple idea leaves behind in the equation. The fluid carries itself. The velocity field drags itself along. In mathematics this is called nonlinearity, and because of this term the solutions of the equation cannot be added, cannot be rescaled, cannot be broken into pieces and handled separately. Add two solutions and you do not get a third. A small change does not stay small. This single term is the wall mathematicians have been walking into for 200 years.

Today these equations are everywhere. Weather forecasting models solve them. Engineers designing aircraft wings, biomedical teams developing heart valves, firms siting wind turbines, climate scientists modelling ocean currents — all of them have the same set of equations computed numerically. The results work. Planes fly. In practice, the equation does its job.

The question mathematicians ask is something else entirely. They are not asking whether the equation is useful; they are asking whether it is consistent with itself. The question is this: in 3-dimensional space, give it a smooth and reasonable initial state; the fluid is nowhere infinitely fast, nowhere does it jump abruptly, everything is perfectly soft. Does this equation have a single solution that stays smooth until the end of time? Or does the solution tear itself apart in a finite time?

This is called the global regularity problem, and in May of the year 2000, at a ceremony held in Paris, it officially came with a prize. The Clay Mathematics Institute, founded by the American businessman Landon Clay, announced seven problems on the threshold of the new century and set aside 1 million dollars for the solution of each. The Navier-Stokes equations were on that list. The person who wrote the official statement of the problem was Charles Fefferman, one of the most respected names in the field, and the text was deliberately kept narrow. What Fefferman asked for was not an explanation of turbulence or anything so grand; only whether the solution exists and whether it stays smooth. Even so, only one of those seven problems has been solved to this day: the Poincaré conjecture. And Grigori Perelman, who solved it, refused to take the prize.

So how exactly does an equation break down? The event is called a singularity, and it means something more concrete than you might think.

Think of it this way. An ice skater spins with their arms spread wide. The moment they pull their arms in against their body, the spin rate shoots up; because angular momentum is conserved, as mass moves closer to the axis the rotation has to speed up. Now do the same thing to a vortex tube inside a fluid. When the flow stretches that tube lengthwise, the tube gets thinner; and because it is thinner, it spins faster. We call this vortex stretching. The faster-spinning vortex pulls the surrounding flow more violently, and that in turn stretches the tube still further. A loop that feeds itself.

The whole heart of the problem is right here. Can this loop keep accelerating itself forever? That is, can the vorticity climb to infinity in a finite time, at a single point in space? If it can, the equation loses its meaning at that instant. Derivatives become undefined, and there is no such thing as a solution any more. In physical terms this would mean the liquid producing an infinite energy density at one point out of its own internal dynamics, with no outside influence at all — and we see nothing like that in real water. But here we are judging the equation, not the water.

The most irritating part of this picture is that in 2 dimensions no such danger exists at all. In the plane there is no third direction along which you can stretch a vortex tube; vorticity is simply carried along with the flow and cannot grow. That is why the 2-dimensional problem is closed. Jean Leray's work in the 1930s, and then the work the Russian mathematician Olga Ladyzhenskaya did in the decades that followed, showed that in the plane solutions exist, are unique, and stay smooth forever. Add one dimension and everything slips out of your hands.

There is a more technical but very illuminating way of seeing why it slips: scale criticality. The Navier-Stokes equations have a symmetry; take a solution, shrink it in space, adjust it by the right proportions in time and in velocity, and you have a solution again. Now think of the one reliable conservation law you hold: energy. Viscosity constantly eats energy, so the total can never increase. This is the strongest card in your hand. But when you apply that scaling transformation, in 3 dimensions the energy becomes steadily more meaningless: as you descend to smaller scales, the energy bound can exert no control whatsoever over what is going on. This is called supercriticality. In 2 dimensions the energy is exactly critical, meaning it just barely suffices. In 3 dimensions it does not suffice. The one solid card we hold becomes useless precisely where the catastrophe could happen.

Even so, a good deal of ground has been covered in this darkness over the last century. In 1934 Leray invented what we now call weak solutions: solutions that do not satisfy the equation exactly at every point, but satisfy it in an averaged sense, and whose existence can always be proved. Leray showed that these solutions always exist. What he could not show was that they are smooth and unique. Ever since, the problem has been defined by that gap: between solutions that always exist but may behave badly, and solutions that certainly behave well for a short time but whose existence is not guaranteed in the long run.

Leray had also made a guess about what the catastrophe would look like: the solution would collapse in a self-similar way, always taking the same shape as it approached the singularity, only getting smaller and faster. In 1996 a team of Czech and American mathematicians — Jindřich Nečas, Michael Růžička and Vladimír Šverák — proved that exactly the kind of self-similar collapse Leray had imagined is impossible in the finite-energy setting. So the most obvious catastrophe scenario came off the table; the catastrophe itself did not.

In 1984 James Beale, Tosio Kato and Andrew Majda found a very sharp criterion for the Euler equations, which describe fluids without viscosity. What they said, in summary, was this: the solution can break down if and only if the sum over time of the largest value of the vorticity goes to infinity. A similar criterion exists for the viscous case as well. This was a very valuable narrowing, tying the catastrophe to the behaviour of a single quantity, the vorticity. Nobody could show whether that sum goes to infinity.

And there is this. In 1982 Luis Caffarelli, Robert Kohn and Louis Nirenberg, following the path Vladimir Scheffer had opened before them, measured how small the set of points where the catastrophe could occur must be, in suitably chosen weak solutions. The result was striking: that set is too thin to form even a single piece of a curve in space and time. So if the equation is going to break down, it cannot break down along a surface, cannot break down along a line; at most it breaks down at a few isolated points scattered like dust. This does not solve the problem. But it shows how small a hole the enemy would have to come through. For 44 years nobody has closed that hole.

A hole that narrow is encouraging. And indeed, over the last 20 years, word that the problem had been solved has gone around several times.

In 2006 the American mathematician Penny Smith circulated a piece of work announcing the construction of solutions to the 3-dimensional problem that stay smooth forever. The news spread quickly through the mathematical community. A few days later Smith withdrew the work, stating that a serious error had been found in the proof.

Something far noisier happened in January 2014. The Kazakh mathematician Mukhtarbay Otelbayev published a work of nearly 100 pages in a mathematics journal published in Kazakhstan, claiming that the problem had been solved. Otelbayev was not an unknown; there was a serious career and a serious school behind the name. But the text was written in Russian and was technically extremely heavy, so it took the rest of the world weeks to read. Most of the checking was taken on by Stephen Montgomery-Smith of the University of Missouri, who had been wrestling with these equations since 1995. Volunteers translated the text into English section by section, and a joint review was carried out over the internet.

The outcome became clear within a few months. In a message sent to Montgomery-Smith, Otelbayev accepted that an inequality on page 56 of the work was faulty, and that the proposition resting on it therefore had to be counted as unproven. The wrong formula had been used at one point, and the entire calculation that followed was built on top of it. What is really striking here is how the fight ended. Nobody smeared anybody; the person who found the error and the person who accepted it both behaved openly, within the same process. This is both the harshest and the most beautiful side of mathematics: whoever the claim belongs to, a wrong inequality is wrong.

In February of the same year, another of the field's great names, Terence Tao, landed a blow from a completely different direction. Tao did not try to solve the real equation. Instead he built a cousin equation that carries all the important structural features of the real one — obeying the energy equality to the letter, in particular — but with the nonlinear term slightly scrambled. Then he proved that this cousin equation definitely breaks down in finite time. Tao's idea here was almost philosophical: if a fluid can build small-scale structures within itself, then in principle one can construct a kind of liquid machine that copies itself, handing its energy each time to a smaller copy; and because every copying step is faster than the one before, infinitely many steps fit into a finite time.

The meaning of this result was devastating. Because most of the general methods we have today use only the energy and the crude shape of the equation. Tao showed that no proof working with those tools can succeed: the very same tools would also certify an equation that definitely breaks down as one that does not. Whoever is going to solve this problem will have to go down into the finest detail of the fluid's nonlinear term.

The bad news does not end there. In 2019 Tristan Buckmaster and Vlad Vicol, using a very inventive technique called convex integration that actually comes from geometry, proved that in the loosest version of Leray's weak-solution concept there is no such thing as uniqueness. They constructed infinitely many different solutions starting from the same initial state, all of them satisfying the equation in the weak sense. These solutions are not physically reasonable; they do not satisfy the energy conditions. But what they show is plain: stretch the notion of a weak solution too far, and the equation stops determining the future.

Then the other pan of the scales. In recent years the first solid evidence that the catastrophe really can happen has arrived; but all of it a little off to the side. In 2021 Tarek Elgindi proved that he had produced a collapse for the viscosity-free Euler equations, from an initial state that is not perfectly smooth but is nonetheless respectable. Then in 2025, Thomas Hou and Jiajie Chen of the California Institute of Technology showed, with a computer-assisted proof, that within a bounded region — in a container with a wall — the Euler equations produce a singularity in finite time from completely smooth initial data, and the work was published in the journal of the National Academy of Sciences. A computer-assisted proof does not mean the machine guessed the answer; it is a method in which the error margin of every numerical step is bounded by exact intervals, and the sum of all of them constitutes the proof itself. But take note: there is no viscosity in these results. Viscosity is the only force with a chance of stopping the catastrophe. We cannot say that because Euler breaks down, Navier-Stokes breaks down.

The freshest front is artificial intelligence. In the autumn of 2025, a team made up of Google's artificial intelligence laboratory DeepMind and mathematicians from several universities — among them Tristan Buckmaster and Javier Gómez-Serrano — found a new family of singularities in simplified relatives of the fluid equations. The method they used was neural networks that make the laws of physics themselves the learning objective; they learn not from data, but from the equation. What they found is called an unstable singularity: knife-edge solutions, collapses that do not form at all if you miss the initial condition by a hair, and which are therefore almost impossible to hunt with classical numerical methods. The team improved the precision of the known solutions by several orders of magnitude and produced families of high-order unstable solutions never seen before. The aim is clear: to sharpen these profiles enough that they can be fed into rigorous computer-assisted proofs. Still, let us be honest; these too are not the full 3-dimensional viscous equation, but its more docile relatives. The prize is still waiting for its owner.

So where do we stand at the end of all this? The equation has not broken down. There is nobody who has shown that it does, and nobody who has shown that it does not. What we have is a measurement two centuries long: we know that mathematics' present toolbox is not enough to solve this problem, because we have mapped the limits of that box one by one. To know this precisely why a problem is hard is in fact one of the most mature states science can reach.

And this touches something far larger than the curiosity of mathematicians. Turbulence — the passage of a flow from orderly lines into chaotic eddies — is called the last great unsolved problem of classical physics. According to accounts, the English physicist Horace Lamb said towards the end of a long life that, upon arriving in heaven, enlightenment was to be hoped for on two matters: quantum electrodynamics and the turbulent motion of fluids. The first, Lamb added, looked the more promising of the two. In the 90-odd years since, quantum electrodynamics has become the most precisely verified theory in physics. Turbulence is still standing exactly where it was.

We pay the price for this every day. Because we cannot solve turbulence from the real equation in aircraft and turbine design, we lean on statistical approximations and on models calibrated from experiment; these models work, but they cannot tell you in advance when they will be wrong. Weather forecasts falling apart after a certain number of days, clouds remaining the largest source of uncertainty in climate models, plasma leaking heat unexpectedly in fusion reactors — the same root lies under all of them: we cannot write down in closed form how the small scales and the large scales feed one another.

Perhaps the real lesson is this. That whirlpool behind the spoon is turning inside a 200-year-old equation, a 1 million dollar prize, and a question the world's finest mathematicians still cannot get to the bottom of. Nature does this calculation every second, everywhere, without a single error. We are the ones who cannot.

Nöron Science'de bugünkü bölümün sonuna geldik. Yeni bir hikâyede yeniden buluşmak üzere.