# Have we figured out how to analyze turbulent fluids?

I was surprised to read that we don't know how to analyze turbulent fluids. On page 3-9 of The Feynman Lectures on Physics (Volume One), Feynman writes:

Finally, there is a physical problem that is common to many fields, that is very old, and that has not been solved. [..] Nobody in physics has really been able to analyze it mathematically satisfactorily in spite of its importance to the sister sciences. It is the analysis of circulating or turbulent fluids.

If we watch the evolution of a star, there comes a point where we can deduce that it is going to start convection, and thereafter we can no longer deduce what should happen. A few million years later the star explodes, but we cannot figure out the reason.

We cannot analyze the weather.

We do not know the patterns of motions that there should be inside the earth [which cause earthquakes].

The simplest form on the problem is to take a pipe that is very long and push water through it at high speed. We ask: to push a given amount of water through that pipe, how much pressure is needed? No one can analyze it from first principles and the properties of water. If the water flows very slowly, or if we use a thick goo like honey, then we can do it nicely. you will find that in your textbook. What we really cannot do is deal with actual, wet water running through a pipe. That is the central problem which we ought to solve some day, and we have not.

I'm no physicist, but I imagine he's saying that we have differential equations describing turbulent fluids, but no one has ever been able to explicitly solve them or sufficiently determine their properties.

However, Feynman's words were written over 50 years ago now. Has there been any progress in analyzing turbulent fluids since then?

The progress in turbulence has come in fits and spurts, and it is very active in the last few years, due to the influence of AdS/CFT. I think it will be solved soon, but this opinion was shared by many in previous generations, and may be much too optimistic.

### Navier-Stokes equations

The basic equations of motion for turbulent flows have been known since the 19th century. The fluid velocity obeys the incompressible Navier-Stokes equations:

$$\dot v_i + v^j \nabla_j v^i + \partial_i P = \nu \partial_j \partial_j v_i$$ and

$$\partial_j v_j = 0$$

Where repeated indices are summed, and the units of mass normalize the fluid density to be 1.

Each of the terms are easy to understand: the nonlinear term gives the advection, it says that the force on the fluid acts to accelerate the fluid as you move along with the fluid, not at one fixed x position. The pressure P term is just a constraint force that enforces incompressibility, and it is determined by taking the divergence of the equation, and enforcing that $$\partial_i v_i = 0$$. This determines the Laplacian of the pressure

$$\partial_i v^j \partial_j v_i + \partial_i \partial_i P = 0$$

The friction force says that in the addition to moving along with itself and bending to keep the density constant, the velocity diffuses with a diffusion constant $$\nu$$. In the limit $$\nu=0$$, you get the Euler equations, which describe hydrodynamics in the absence of friction.

In any appropriate boundary conditions, like periodic box, or vanishing velocities at infinity, the pressure equation determines the pressure from the velocity. The equations can be solved on a grid, and the future is determined from the past.

### Clay problem has nothing to do with turbulence

The problem of showing that the limit as the grid goes to zero is everywhere sensible and smooth is far from trivial. It is one of the Clay institute million dollar prize problems. The reason this is nontrivial has nothing to do with turbulence, but with the much easier Reynolds scaling.

There is a scale invariance in the solution space, as described on Terrance Tao's blog. The classical Reynolds scaling says that if you have any incompressible fluid flow, and you make it twice as small, twice as fast, you get a second flow which is also ok. You can imagine a fluid flow which generates a smaller faster copy of itself, and so on down, and eventually produces a singular spot where the flow is infinitely fast and infinitely small--- a singularity.

This type of singularity has a vanishingly small energy in 3d, because the volume shrinks faster than the velocity energy density blows up. This is both good and bad--- it's bad for mathematicians, because it means that you can't use a simple energy bound to forbid this type of divergence. It is good for physics, because it means that these types of blowups, even if they occur, are completely irrelevant little specks that don't affect the big-picture motion, where the turbulence is happening. If they occur, they only affect little measure zero spots at tiny distances, and they would be resolved by new physics, a stronger hyperviscosity, which would make them decay to something smooth before they blow up. They do not lead to a loss of predictability outside of a microscopic region, because there is a galilean symmetry which decouples large-scale flows from small scale flows. A big flow doesn't care about a spot divergence, it just advects the divergence along. This isn't rigorous mathematics, but it is obvious in the physical sense, and should not make anyone studying turbulence lose sleep over existence/uniqueness.

When you replace the velocity diffusion with a faster damping, called "hyperviscosity", you can prove existence and uniqueness. But the problem of turbulence is unaffected by the hyperviscosity, or even by the ordinary viscosity. It is all happening in the Euler regime--- well before the viscosity kicks in. This is another reason to be sure that the Clay problem is irrelevant.

If I were writing the Clay problem, I would not have asked for existence/uniqueness. I would have asked for a statistical distribution on differential velocity fields which is an attracting steady state for long-wavelength stirred NS flow. This is a much more difficult, and much more important problem, because it is the problem of turbulence. Further, if such a distribution exists, and if it is attracting enough, it might demonstrate that the NS equations have a smooth solution away from a measure zero set of initial condition. The attracting fixed point will certainly have exponential decay of the energy in the viscous regime, and if everything gets close to this, everything stays smooth.

### Why Turbulence?

Horace Lamb, a well known 19th century mathematical physicist, as an old man quipped that when he gets to heaven, he would ask God two questions: "Why relativity? and why turbulence?" He then said he is optimistic about getting a good answer to the first question.

I think he should have been optimistic about the second too. The reason for turbulence is already clear in the ultraviolet catastrophe of classical statistical mechanics. Whenever you have a classical field, the equipartitioning of energy means that all the energy is concentrated in the shortest wavelength modes, for the simple reason that there are just a boatload more short-wavelength modes than long wavelength modes. This means that it is impossible to reach equilibrium of classical particles and classical fields, the fields suck all the energy down to the shortest distances scales.

But in most situations, there are motions which can't easily transfer energy to short distances directly. The reason is that these motions are protected by conservation laws. For example, if you have a sound wave, it looks locally like a translation of the crystal, which means that it can't dump energy into short modes immediately, but it takes a while. For sound, there is a gradual attenuation which vanishes at long wavelengths, but the attenuation is real. There is an energy flow from the long-wavelength to the shortest wavelength modes in one step.

But in other field theories, the energy flow is more local in $$k$$-space. The analog of sound-wave friction in Navier-Stokes is the attenuation of a velocity due to viscosity. This is a diffusion process, and scales as $$\sqrt{r}$$ where $$r$$ is the scale of velocity variation. If you have a term which mixes up modes nonlinearly which scales better at long distances, which takes less time to move energy to smaller modes than the one-step diffusive dissipation process, it will dominate at long distances.

Further, if this is an energy-conserving polynomial nonlinear term, the mixing will generally be between nearby scales. The reason is the additivity of wave-vectors under multiplication. A quadratic term with a derivative (as in the Navier-Stokes equation) will produce new wavenumbers in the range of the sum of the wavenumbers of the original motion.

So there must a local flow of energy into smaller wavenumbers, just from ultraviolet-catastrophe mode-counting, and this flow of energy must be sort-of local (local in log-space) because of the wavenumber additivity constraint. The phenomenon of turbulence occurs in the regime where this energy flow, called the (downward) cascade, dominates the dynamics, and the friction term is negligible.

### Kolmogorov theory

The first big breakthrough in the study of Turbulence came with Kolmogorov, Heisenberg, Obukhov, and Onsager in the wartime years. The wartime breakdown in scientific communications means that these results were probably independent.

The theory that emerged is generally called K41 (for Kolmogorov 1941), and it is the zeroth order description of turbulence. In order to describe the cascade, Kolmogorov assumed that there is a constant energy flux downward, called $$\epsilon$$, that it terminates at the regime where viscosity kicks in, and that there are many decades of local-in-$$k$$-space flow between the pumping region where you drive the fluid and the viscous region where you drain the energy.

The result is that the spectrum has a statistical distribution of energy in each mode. Kolmogorov gave a dimensional argument for this distribution which roughly fit the measurement accuracy at the time.

From the scaling law, all the correlation functions of the velocity could be extracted, and there was an exact relation: the Kolmogorov-Obukhov -5/3 law. These relations were believed to solve the problem for a decade.

### 2D turbulence

In 2D, a remarkable phenomenon was predicted by Kraichnan--- the inverse cascade. The generic ultraviolet argument is assuming that the motion is ergodic on the energy surface, and this requires that there are no additional conservation laws. But in 2d, the flow conserves the square of the vorticity, called the enstrophy. The enstrophy $$U$$ is

$$U = \int |\nabla \times v|^2$$

And this has two more derivatives than the energy, so it grows faster with $$k$$. If you make a statistical Boltzmann distribution for $$v$$ at constant energy and constant enstrophy, the high $$k$$ modes are strongly suppressed because they have a huge enstrophy. This means that you can't generate high $$k$$ modes starting from small $$k$$ modes.

Instead, you find more freedom at small $$k$$ modes! The energy cascade goes up generically, instead of down, because at longer wavelengths, you can spread the energy over more motions with the same initial enstrophy, because the enstrophy constraint vanishes. This is the inverse cascade, and it was predicted theoretically by Kraichnan in 1968.

The inverse cascade is remarkable, because it violates the ultraviolet catastrophe intuitions. It has been amply verified by simulations and by experiment in approximate 2d flows. It provides an explanation for the emergence of large-scale structure in the atmosphere, like hurricanes, which are amplified by the surrounding turbulent flows, rather than decay. It is the most significant advance in turbulence theory since K41.

### Modern theory

I will try to review the recent literature, but I am not familiar with much of it, and it is a very deep field, with many disagreements between various camps. There are also very many wrong results, unfortunately.

A big impetus for modern work comes from the analysis of turbulent flows in new systems analogous to fluids. The phenomenon of turbulence should occur in any nonlinear equation, and the cascade picture should be valid whenever the interactions are reasonably approximated by polynomials which are local in log-$$k$$ space.

One place where this is studied heavily is in cosmology, in models of preheating. The field which is doing the turbulence here is a scalar inflaton (or fields coupled to the inflaton) which transfers energy in a cascade to eventually produce standard model particles.

Another place where this is studied is in quark gluon plasmas. These fluids have a flow regime which is related to a gravitational dual by AdS/CFT. The gravitational analog of the turbulent flows have a classical gravitational counterpart in the laws of the membrane paradigm of black holes. Yaron Oz is one of the people working on this.

One of the most astonishing results of the past few years is the derivation by Oz of the exact laws of turbulent scaling from conservation principles alone, without a full blown cascade assumption. This is, http://arxiv.org/abs/0909.3404 and http://arxiv.org/abs/0909.3574

### Kraichnan model

Kraichnan gave an interesting model for the advection of passive scalar fields by a turbulent flow. The model is a dust particle carried by the fluid.

This is important, because the advected particle makes a Levy flight, not a Brownian motion. This has been verified experimentally, but it is also important because it gives a qualitative explanation for intermittency.

Levy flights tend to cluster in regions before moving on by a big jump. The velocity advects itself much as it advects a dust particle, so if the dust is doing a Levy flight, it is reasonable that the velocity is doing that too. This means that you expect velocity perturbations to concentrate in regions of isolated turbulence, and that this concentration should follow a well-defined power law, according the the scalar advection.

These ideas are related to the Mandelbrot model of multifractals. Mandelbrot gave this model to understand how it is that turbulent flows could have a velocity gradient which is concentrated in certain geometric regions. The model is qualitative, but the picture corrects the K41 exponents, which assume that the velocity is cascading homogeneously over all space.

### Martin-Siggia-Rose formalisms

The major advance in the renormalization approach to turbulence came in the 1970s, with the development of the Martin-Siggia-Rose formalism. This gave a way of formally describing the statistics of a classical equation using a Lagrange multiplier field which goes along for the ride in the renormalization analysis.

Forster Nelson Stevens gave a classic analysis of the inverse-cascade problem in 3d, the problem of the long-wavelength profile of a fluid stirred at short distances. While this problem is not directly related to turbulence, it does have some connection in that the statistical steady-state distribution requires taking into account interactions between neighboring modes, which do lead to a cascade.

The FNS fixed points include Kolmogorov like spectra with some stirring forces, but there is no condition for the stirring forces to be at a renormalization group fixed point. Their analysis, however, remains the high point of the MSR formalism as applied to turbulence. This subject has been dormant for almost thirty years.

### What remains to be done

The major unsolved problem is predicting the intermittency exponents--- the deviations from Kolmogorov scaling in the correlation functions of fully developed turbulence. These exponents are now known experimentally to two decimal places, I believe, and their universality has been verified extensively, so that the concept of homogeneous statistical cascade makes sense.

Deriving these exponents requires a new principle by which one can extract the statistical distribution of a nonlinearly interacting field from the equations of motion. There are formal solutions which get you nowhere, because they start far away from renormalization fixed points, nevertheless every approach is illuminating in some way or another.

This is a terrible review, from memory, but its better than nothing. Apologies to the neglected majority.

• Dis AdS/CFT have anything to do with the recent progress in turbulence? AdS/CFT has been applied to the analysis of quantum fluids, but what most people think of as turbulence involves classical fluids. How has AdS/CFT been used for that? – Peter Shor Jun 3 '13 at 11:33
• @PeterShor: It's a part of AdS/CFT related to the membrane paradigm. Any quantum field theory in a thermal state has fluid flows when you perturb it generically (the thermal state breaks conformal invariance, and so you end up with normal Navier Stokes with dissipative friction). So the long-wavelength deformations of a particular fluid are mappable one-to-one to deformations of a black hole. This was exploited by several people a few years ago to find some properties of black holes, but there is a chance for back-insights from gravity to turbulence, the gravity end is completely different. – Ron Maimon Jun 3 '13 at 13:18
• @PeterShor and Ron, maybe you are interested in this? Sorry, if not ... – Dilaton Aug 18 '13 at 0:48

I'm not competent to review the literature for you, but one of the Clay Millenium prizes concerns the Navier-Stokes equations, which is part of what Feynman is talking about, so to the extent that no-one has claimed that particular prize, No.

One measure of how well we can deal with turbulent flow in practice can be found in how much better we can predict the weather than we could 50 years ago. Better, but not much better. The improvements are not only because we have faster computers, there's much more data collected, for example, but the improvements in our understanding of turbulent flow have not made large qualitative changes in our ability to predict the weather.

If you haven't already looked at the Wikipedia page http://en.wikipedia.org/wiki/Weather_forecasting, it shows the paucity of theoretical input fairly clearly.

I found it interesting to see the range of disciplines covered by the UK Met office, at http://www.metoffice.gov.uk/research/our-scientists. There is a big difference between climate modelling and weather modelling because turbulence does not scale in simple ways, allowing and requiring different types of analysis of the data.

• The clay problem has almost nothing to do with turbulence, you can solve one without solving the other. The idea that existence/uniqueness has something to do with turbulence is one old dog that won't die. The same turbulence occurs with essentially any hypetviscosity, even ones where existence/uniqueness is trivial. – Ron Maimon Oct 15 '11 at 1:32
• Also the goal of turbulence modelling is not prediction of the flow, but it's statistics. It won't help with weather prediction. – Ron Maimon Oct 15 '11 at 1:34
• Again, I'm no expert, but the Clay Millenium page I link to has this to say, "Mathematicians and physicists believe that an explanation for and the prediction of both the breeze and the turbulence can be found through an understanding of solutions to the Navier-Stokes equations". You're right, however, that the specific terms of the Clay Millenium problem are only a small part of the mathematics of fluid modelling. Your point brings to mind that statistical methods applied to fluids have improved. The Wikipedia page en.wikipedia.org/wiki/Multiscale_modeling is a little sketchy, sadly. – Peter Morgan Oct 15 '11 at 2:21
• of course NA describes turbulence, but the turbulence doesn't care about existence/uniqueness. On the .01 chance it fails, you would just regulate with a higher derivative term. The turbulence is at large scales compared to the damping regime, where existence/uniqueness could fail. The clay problem is irrelevant for turbulence, it has nothing to do with it. – Ron Maimon Oct 15 '11 at 2:26
• I had a dilletante's interest in this, and I started to answer, but it is a big field, and big headache to review properly. Also, there has been tremendous progress in the last few years, due to Yaron Oz and collaborators. I especially admire Oz's new derivation of the Kolmogorov exact scaling law from current conservation--- this is the right derivation and I am amazed that something so basic is only now understood. – Ron Maimon Oct 15 '11 at 4:28

The short answer is that the Navier-Stokes equation, which describes all aspects of fluid motion, cannot be solved for turbulent flow, unless certain simplifications are made. There are a number of reasons for this, some of which are described on this page. As computer power increases eventually we should be able to solve the equation directly. This is what Feynman was looking for, I believe. In the mean time we are happily building miles of pipes every year and transporting a wide range of turbulent fluids. We are using direct application of theory combined with empirical understanding based on laboratory experiments and observation. The engineers have work and the physicists have a great problem to chew on.

• The problem is not big computers, the problem is that there is a statistical thing that is emerging, the probability distribution of a velocity distribution, which does not have a theoretical description as of yet. It has a continuum limit, but nobody knows what this limit is. – Ron Maimon Oct 21 '11 at 18:19
• @RonMaimon-So are you saying that numerical computation of Navier-Stokes equations does not yield turbulent solutions? – cspirou Mar 12 '13 at 3:05
• @cspirou: Sure they do, but computers are only fast enough to do Reynolds numbers of order 100, while fully developed turbulence is Reynold no infinity. There's more statistical structure there, you shouldn't have to make the computer work so hard. – Ron Maimon Jun 3 '13 at 19:05

Yes I have always interpreted that Feynman was saying that we had the equations but little idea about the properties of solutions.

Mathematically this is concentrated in the Clay problem because the very first and most important question to a system of equations is whether there are unique and preferably continuous solutions. This problem has been sofar intractable because the energy blows up when the scales go down. For physical reasons I am convinced that the Clay problem cannot be solved in a physically meaningful way.

The argument is simple - Navier Stokes is a continuous equation but the fluids are no more continuous below a certain scale (e.g a few molecules). It is guaranteed that at this scale the energy and momentum conservation is no more given by Navier Stokes and the equations break down. So while this break down saves us physically from singularities, it puts the mathematician in front of an unsolvable task - he must extrapolate the equations into a domain where they are invalid because this is precisely where resides his virtual singularity problem.

Now on scales where Navier Stokes is valid, I should say that the most important progresses have been made by using the non linear dynamics paradigm (chaos theory). Here the question is whether there exists an attractor in the space of functions to which converge all solutions of Navier Stokes with space scales above a certain limit. Additionaly can be asked whether there exists an (invariant ?) probability distribution of the solutions on the attractor.

The answers to these extremely important questions are still unknown 50 years after Feynman because like Terry Tao wrote, Navier Stokes and the chaotic behaviour of fluids are really hard.

• Have you read the book of Uriel Frisch? It is explained there that, since the viscosity is related to the mean free path of particles, the inter-particle distance decreases as the Reynolds number is increased in such a way that you don't run into the problem that you describe. See section 7.5 of the book. – Steven Mathey Apr 20 '15 at 13:12

Yes, "We" have.

The reason why Energy blows up as the scale goes down, ist the fact that there is Surfaces in the fluid. "Turbulence" ist fluid broken in parts. If you have one big size eddy, it doesn't have much of a surface. But if you have a many small ones, they have exponentially more surface. And Surface is Energy! Every m2 of Watersurface has 72.8 mJ/m2 of energy.

So if you "slit" water as small "grains" as a cement with Blaine Value of 1000, it means that a kg (or a liter) of water has a Surface of 1000 m2, consuming 72.8 J energy. This is enought to heat the water just 0.02 degrees.

These surfaces also makes the chaos; there is collisions and friction, and not only viscous forces.

Further it explaines the mixing; the molecular diffusion is ofcourse more efficient with a greater reaction area.

So to conclude the Features which Characteterized the Turbulence according to Wikipediea;

Irregularity; As the fluid is spiltted a parts and united again, the change between viscous force-transfer and collision/friction force transfer causes a certain randomness, which must first be developed.

Diffusivity; The newly created surface accelerated the molecular diffusion.

Rotationality; Typically these "splitted parts" forms rotating eddies. It can be noted when these eddies broke down, that the behave like a top-spin hitting the wall.

Dissipation; There is the Surface (tension) energy, which can't be returned to Pressure or Velocity, but only heat. And is also additional to viscous losses. And There is also Surface friction, which is not the same as Viscous losses. But also the viscous losses can be creater as the fluid can move more freely.

I have produced a Paper about this. If some one is interested to Peer review it, I am happy to share. I have also published my studies in youtube;

The Explanation is allready quite old, and doesn't have all the aspects I have allready found out.

And, yes, "We" can even easily proove the existence of these surfaces by optics. There is material behind this Youtube link.

EDIT: (6. May 2018)
I have now solved the Mathematics of this completely. A new parameter must be added to the Navier-Stokes Equations when Froude Number; $Fr=\sqrt3$

This parameter is dependable on the Froude-Number and can be calculated as follows; $$\frac{\sqrt{1+8Fr^2}} {2+Fr^2}$$

The full paper for this math is here; https://www.researchgate.net/publication/322619460_Navier-Stokes_existency_and_smoothness_problem_-The_Answer

This solution fits perfectly to experimental data; ie. Figure_8_from_HYD-399_USBR https://www.researchgate.net/publication/322764857_Figure_8_from_HYD-399_USBR