[Math] mathematically precise definition of turbulence for solutions of Navier-Stokes

ap.analysis-of-pdesfluid dynamicsmp.mathematical-physics

Given a solution $S$ of the Navier-Stokes equations, is there a way to make mathematically precise a statement like: "$S$ is turbulent in the spacetime region $U$"?

And if such a definition exists, are there any known exact solutions of Navier-Stokes exhibiting turbulence?

Reading Wikipedia makes me also want to ask the following related questions:

  1. Does a single vortex count as turbulence?
  2. Is the appearance of vortices a necessary feature of turbulence?
  3. What's the difference between a vortex and an eddy?

Pointers to (mathematically rigorous) literature are much appreciated.

Best Answer

There is probably no universally accepted mathematical definition of turbulence. (By the way, is there a physical one?) Moreover, the prevailing definitions seem to be highly volatile and time-dependent themselves.

A few notable examples.

  • In the Ptolemaic Landau–Hopf theory turbulence is understood as a cascade of bifurcations from unstable equilibriums via periodic solutions (the Hopf bifurcation) to quasiperiodic solutions with arbitrarily large frequency basis.

  • According to Arnold and Khesin, in the 1960's most specialists in PDEs regarded the lack of global existence and uniqueness theorems for solutions of the 3D Navier–Stokes equation as the explanation of turbulence.

  • Kolmogorov suggested to study minimal attractors of the Navier-Stokes equations and formulated several conjectures as plausible explanations of turbulence. The weakest one says that the maximum of the dimensions of minimal attractors of the Navier–Stokes equations grows along with the Reynolds number Re.

  • In 1970 Ruelle and Takens formulated the conjecture that turbulence is the appearance of global attractors with sensitive dependence of motion on the initial conditions in the phase space of the Navier–Stokes equations (link). In spite of the vast popularity of their paper, even the existence of such attractors is still unknown.

Edit 1. Concerning explicit solutions to the Navier-Stokes equations, I don't think any of them really exhibit turbulence features. The thing is that the nonlinear term $v\cdot \nabla v$ is equal to $0$ for most known classical explicit solutions. In other words, these solutions actually solve the linear Stokes equation and don't "see" the nonlinearity of the full Navier-Stokes system. This is probably not what one would expect from a truly turbulent flow.

Edit 2. As for the quick reference, you may find helpful the short survey on turbulence theories by Ricardo Rosa. It appears as an article in the Encyclopedia of Mathematical Physics.

Related Question