1. Introduction
In 1948, Burgers discovered his vortex solution to the Navier–Stokes equations [
1]. This exact stationary solution with cylindrical geometry had an anomalous dissipation (a finite dissipation at vanishing viscosity).
It should have been a breakthrough in the theory of Turbulence. Instead, a phenomenological K41 theory by Kolmogorov and Obukhov [
2] dominated the turbulence studies for the next 80 years, while Burgers’ discovery was almost forgotten.
While qualitatively describing some important turbulence features, the K41 scaling laws led the microscopic theory to a dead end.
The main questions are as follows: How is the inviscid Navier–Stokes theory different from the Euler theory, and what about other nascent questions such as what is the microscopic mechanism of the spontaneous stochasticity?
In the last few years, there has been some progress in understanding the role of the singular topological solutions of the Euler equations, with Burgers solutions resolving singularities. This progress was inspired by the geometric approach to Turbulence initiated in the 1980s and 1990s [
3,
4,
5,
6], leading to the area law prediction [
5].
This prediction was verified recently in DNS [
7,
8], which triggered a flux of new studies in the geometric theory of Turbulence.
This work was recently revised and summarized in a review paper [
9].
Based on initial comments, the details of this theory will take time for the turbulent community to process. The theory will likely need to be further explained, discussed, and split into smaller sets that can be advanced separately.
There are many subtleties to be clarified, some minor corrections to be made, and some questions to be answered. In addition, there are more data to compare with the Kelvinon theory and the Loop equation solutions.
2. Weak and Strong Phases of Turbulence
Before we go into details of the theory of singular topological Euler solutions and velocity fluctuations in their vicinity, it is worth reminding the readers that we are talking about a different phase of Turbulence, not the one corresponding to Wylde’s diagrams and attempts of summing up these diagrams by some “renormalization group”.
These diagrams describe the terms of expansion of the correlation functions of a very viscous velocity field in inverse powers of viscosity. However, we are interested in the opposite limit of viscosity going to zero. This limit is known to be singular: the vortex sheets and lines arising in this limit cannot be expanded in the inverse powers of viscosity.
We study these singular solutions of the Euler equations and see how the infinitesimal viscosity resolves these singularities rather than trying to extrapolate the viscous flow to a turbulent phase. So to say, we meet the inviscid limit of the Navier–Stokes equation face to face instead of walking back far away and looking into a binocular.
Yakhot and Zakharov described weak Turbulence [
10] by assuming that the Clebsch field varied in a 2D plane
. In that case, there were particles propagating as waves in 3D space and obeying the conservation of the number of particles. Under some further model approximations, these authors derived the K41 spectrum from the kinetic equation in a one-loop term of the perturbation theory.
This model made sense then, as the K41 laws were observed in weak Turbulence in real and numerical experiments.
However, there is strong evidence in modern DNS [
7,
11,
12] that there are one or more phase transitions as the Reynolds number increases.
In our approach [
9], there is a
compactification phase transition in the target space of the Clebsch variables. In this new phase, the Clebsch variables are rigid rotators (or classical spin variables) in the Hamiltonian mechanics. They are
confined by unbroken gauge invariance under area-preserving diffeomorphisms in two-dimensional target space.
Note that it is not the volume-preserving transformations of incompressible fluid dynamics; those transformations in physical space do not correspond to any gauge invariance of the Navier–Stokes equations, unlike these area-preserving diffeomorphisms in the target space .
Our gauge transformations keep the velocity and vorticity invariant while changing the Clebsch variables. Geometrically, these variables are points on a sphere , and area-preserving diffeomorphisms are local transformations of variables with unit Jacobian.
For the Quantum and Classical Gravity experts, our compact Clebsch variables constrained to a sphere
are similar to the Ashtekar variables in Hamiltonian Gravity theory [
13,
14]. Our singular topological solution also has analogs in the Gravity theory: these are so-called KLS domain walls bounded by strings [
15,
16]. Our Loop Equation [
5,
9] was inspired by the QCD loop equation [
17] and bears some resemblance to the loop quantum gravity [
18,
19].
The common thread of all these approaches is to treat nonlinear dynamics as dynamical geometry, aiming to discover nontrivial strong coupling phases with some topological invariants. The turbulence problem, the oldest of these nonlinear problems, does not need these analogies. The topology and dynamics we have found are shockingly simple compared to QCD and Quantum Gravity.
We have found that this confining phase is very different from the weak Turbulence, where the velocity fluctuations grew with a viscosity decrease. A singular velocity field describes a monopole ring in a confined or strong phase. The Clebsch field is like a potential of the magnetic monopoles; the vorticity is a single-valued function, but the velocity field is multivalued.
The velocity field has a gap at a disk-like surface bounded by this monopole ring; at the ring, velocity diverges, and the Euler equation does not apply at the surface, including the core of the ring. The Navier–Stokes equation describes the velocity in these singular regions.
The dynamical variables outside the singularities are components of the Clebsch field . The logarithmic divergences arise in the classical theory by minimizing the Euler Hamiltonian over Clebsch variables. The fluctuations around these classical solutions are small in the inviscid limit.
We arrive at the RG equations and then at asymptotic freedom (these fluctuations are inversely proportional to the logarithm of the Reynolds number).
Neither the physical mechanism of our asymptotic freedom nor the mathematical structure resembles the old RG equations in the weak turbulence phase. The definition of effective coupling is different; the dynamical equations are different (classical in our case, fluctuating in the old RG case).
The most important difference is that our beta function is exact—not some model or perturbative approximation.
With these comments in mind, let us proceed to our theory.
3. Trying to Bend the Burgers Cylindrical Vortex into a Torus
Let us start with the Burgers vortex solution of the Navier–Stokes equation:
This solution describes an infinite cylinder with vorticity decaying as a Gaussian with the width
This constant
c represents the strain
in the direction of the symmetry axis.
The parameter represents the circulation in the closed loop surrounding this axis far from its center. By the Stokes theorem, this circulation reduces to an area integral over the surface bounded by this loop, which tends to in the limit when the radius is much larger than the width w of the vorticity core.
This relation can be directly verified by integrating Burgers velocity around the contour and neglecting exponential terms in .
It is also straightforward to compute anomalous dissipation
where
is the length of the cylinder.
Let us try to compactify the Burgers vortex by bending a cylinder into the torus. Consider a circular vortex line with a radius R much larger than the thickness w of the viscous core.
Locally, at the distances from the core , the torus is equivalent to the cylinder, up to higher order terms in .
At larger distances, the vorticity is equivalent to the delta function in the cross-section plane, and velocity is purely potential. It adds up from a linear term and a singular term
An important property of the Burgers solution is that the strain tensor (
5) is constant and has no singularities in the inviscid limit, unlike the rotational part of velocity. This constant strain represents the local value of the nonsingular Euler strain outside the vortex core, continued inside the tube.
The invariant formula for the inviscid limit of vorticity would be the line integral (with
l being the length of the line)
When the point
approaches some point
at the loop, the loop integration cancels the delta function, and one recovers the Burgers delta function in the
plane.
In the linear vicinity of a point
at this loop, we use the Burgers solution with
to find the derivatives
The velocity field here is taken at the loop
C, which is a center of the Burgers core.
There is an important boundary condition for the strain tensor at the loop
In general, the eigenvalue
depends on the point
l at the loop, as the strain could be a function of coordinates and the loop changes direction. This eigenvalue must be positive.
This boundary condition is an analog of the
CVS conditions [
9] (confined vortex surface), relating the vortex sheet shape and the boundary value of the strain. In the case of the vortex sheet, this relation imposed restrictions on a surface shape, as the Euler strain did not have any free parameters to adjust.
In the case of the loop, these restrictions can be treated as extra boundary conditions on the more complex Euler flow outside the tube, as we shall see in the following Sections.
These restrictions are quite strong. In the case of the curved loop we are looking for, the constant strain cannot have the loop tangent vector as its eigenvector.
Unlike the Burgers formulas, these relations (
13) are parametric invariant and do not depend on the coordinate frame. This invariance makes them correct generalizations of Burgers’ solution to an arbitrary smooth loop.
These equations can be readily integrated
We found a parametric invariant vector integral of the strain along the loop. Another way to derive this formula is as follows
The second term here vanishes because the vorticity at the loop
is aligned with its tangent vector
.
From this relation, by integrating with parts, one can derive the following exact relation for the circulation over the large loop
CIn virtue of the eigenvalue equation, this is also equivalent to
The generalization of Burgers’ anomalous dissipation is also straightforward [
9]
The problem we are facing is related to the strain. As we have seen, it cannot be a constant tensor (its highest eigenvector must be equal to the local direction of the loop everywhere).
The generic Euler (singular) velocity field, corresponding to the above singular vorticity line, reads
The harmonic potential
must be such that the strain at the loop
has the local tangent vector
as its main eigenvector at every point on the loop.
This main eigenvalue
c must be positive. Two lower eigenvalues
do not have to be equal, as a further study of the Burgers vortex revealed. As Moffat et al. [
20] have found, the vortex solution for a general non-axisymmetric strain tends to the symmetric Burgers solution in the turbulent limit
.
We are only interested in that limit; therefore, we can skip the requirement of equal lower eigenvalues.
So, is this it? A weak Euler flow regularized by a Burger vortex core? Not so fast.
This solution would not be valid for an arbitrary smooth loop C because, in general, the eigenvalue condition will not hold.
We are unaware of any theorems that would prove the existence of the harmonic potential with the prescribed main eigenvector of its Hessian on a closed loop C in space. Presumably, such a harmonic potential does not exist for an arbitrary (or even smooth) loop.
4. Matching Principle and Anomalies in the Euler Hamiltonian
The stationary solution we are looking for must minimize the Hamiltonian
In our case of the singular velocity field, we have to split this energy integral into two parts: inside and outside a thin tube surrounding the loop C. The radius R of a local cross-section of the boundary of this tube must be much larger than Burgers’ thickness w but much smaller than the local curvature radius of the loop C.
Under these conditions, the inside of the tube is described by a cylindrical Burgers vortex, while the outside is some Euler flow in the remaining space . This remaining space has the topology of the full torus—the same as . We understand that the space is compactified as a sphere by including the infinity.
At the surface of the tube and its vicinity, for the whole range , there must be a match of the inside Burgers flow up to higher order corrections in with the (yet unspecified) Euler flow up to corrections.
This requirement is a particular case of the matching principle, which we suggested first for the vortex sheets, and then for the vortex lines (see Ref. [
9] and references to earlier work within).
Thus, the Hamiltonian can be written as the sum of two terms
The last term is an anomaly, calculated in Ref. [
9]. Up to negligible power corrections in
The term with
is canceled by a similar term coming from the Euler field. This cancellation is a consequence of the matching conditions, as discussed in Ref. [
9]. Here are these calculations. Taking the derivative in
R, we find the contribution of the surface
which adds up to zero with the derivative of the above
term. Therefore, the sum of these two terms in the Hamiltonian does not depend on
R (up to neglected power corrections).
As a result of this independence, we can take a limit
in the regularized Euler part and finally find the anomalous Hamiltonian
The flow minimizing this Hamiltonian has the common problem of all Euler flows (except topological ones): it continuously scales down to zero by changing the scale of the velocity field.
Therefore, the zero velocity provides the absolute minimum of the Hamiltonian unless there are some topological restrictions on a flow, preventing continuous scaling to zero within a topological class.
5. Topological Euler Flow
5.1. The Faddeev Variables
The way to build topological solutions to the Euler equations was discovered in the 1980s [
21,
22]. These are spherical Clebsch or Faddeev variables, as we suggested in Ref. [
9]. These variables are elements of 2-sphere geometrically, 3D rigid rotators in the Hamiltonian dynamics, or the
sigma model in the statistical field theory language.
The vorticity is locally parametrized as
where
Z is some parameter with the dimension of viscosity, staying finite when
.
One could use various coordinates on the sphere. In particular, there are canonical coordinates
With these coordinates, the vorticity becomes parametrized as with the ordinary Clebsch variables
except for the finite limits for two variables
. They vary on a rectangle
rather than the whole plane
.
The Euler equations are then equivalent to passive convection of the Clebsch field by the velocity field (modulo gauge transformations, as we argue in Ref. [
9]):
Here
denotes projection to the transverse direction in Fourier space, or:
As we can see from this representation of velocity, it has a gap
at the surface where the phase
has the gap
.
5.2. Boundary Conditions at the Surface and Its Edge
This surface is bounded by a singular line
C where the angular velocity in the transverse plane diverges as
, preserving a finite circulation for an infinitesimal dual loop
encircling
C (
Figure 1).
There is only a tangent discontinuity of velocity at the surface
, coming from the delta function in vorticity. The boundary values are
Here is the local normal vector to the surface, and z is the normal coordinate.
The velocity gap must vanish at the edge of the surface, which requires the boundary condition
On a simple surface with a boundary
, as a consequence of incompressibility, the velocity would be directed along the edge, i.e., the velocity
along the inner normal to the loop will vanish
However, our velocity is singular at the edge, and the Euler solution only applies outside a thin tube surrounding
C. We must match this velocity with the Burgers solution at the surface of this tube (see
Figure 2 and
Figure 3).
It remains a computational problem to build a full velocity field, at least for the simple example of a flat circle
C; here, we just sketched the flow using its general properties, which follow from our equations. These parametric 3D plots were created in Ref. [
23] with
Mathematica® by solving the model particle motion equation in a velocity flow with the Kelvinon topology and geometry.
The singular rotational part of Euler velocity (matching the Burgers vortex inside) will contribute to the “normal inner” velocity , at the junction with the tube; the result will depend on the angle in this plane normal to and diverge in the Euler limit.
Together, the rotational and axial flow
inside the tube and inside the vortex sheet results in a spiral motion, as shown in
Figure 2. In
Figure 2, the thin spirals inside the green vortex sheet are tangent to both sides. Each spiral’s big (alpha) cycle leads to vorticity normal to the vortex sheet, responsible for the circulation
. The small (beta) cycles of each spiral correspond to rotation around the local direction of the spiral, which corresponds to large tangent vorticity inside the vortex sheet.
In addition, there is an Euler flow outside the tube, which follows the Burgers spiral, but cannot penetrate the vortex sheet, as the normal velocity vanishes at both sides. Therefore, the rotational motion around the small cross-section of the torus does not go through the vortex sheet.
The external flow is sketched in
Figure 3. Vorticity points in a local direction of each spiral; the rotation velocity is orthogonal to vorticity, and the potential part of velocity is parallel to vorticity, providing helicity. The tornadoes are attached to the vortex sheet, providing the spiral motion of particles towards the vortex sheet on both sides, separate from the spiral motion around the Burgers tube (see the discussion below).
One can see that the circulations
have opposite signs, which is in agreement with the Kelvinon theory. The tornadoes can only move towards the vortex sheet as the negative normal strain
leads to the exponential decay of the normal distance
. Therefore, the tornadoes rotate clockwise, corresponding to negative circulation
, screwing the flow onto the surface in
Figure 3.
The velocity in the center of the spiral flow around the tube also goes clockwise to provide negative , but this makes the circular motion in the cross-section plane go anticlockwise, meaning positive circulation . Note that the trajectories are tangent to the vortex sheet at the surface. Vorticity points in a local direction of each spiral; the rotation velocity is orthogonal to vorticity, and the potential part of velocity is parallel to vorticity, providing helicity.
The rotation of tornadoes on both sides must be directed towards the sheet, pressing the flow particles to this sheet on both sides. With some thinking, it becomes clear that the spiral motion around the tube cannot flow into the tornadoes on both sides—it is either one or another tornado that will rise particles from the surface instead of moving them to the surface as stability requires.
The only way out of this topological puzzle is the following scenario. The external spiral motion around the tube never connects to tornadoes; these tornadoes bring the flow from infinity to each side of the vortex sheet independently of the spirals around the tube.
These spirals make a full circle around, passing through the inner side of the tube adjacent to the sheet. The normal to-the-sheet velocity does not vanish in this region; instead, there is still a rotational movement around the tube.
The cross-section of this flow is shown in
Figure 4.
Let us note in passing that this singular tube and change of the Neumann boundary conditions at the edge invalidate the conditions of the de Lellis–Brue theorem in our case.
This theorem [
9], in particular, claims that the surface Laplacian cannot be positive at the whole disk-like vortex sheet if the velocity is nonsingular and tangent to the edge.
We need this positivity for stability, as it was argued in Ref. [
9] as part of the
CVS conditions.
Let us come back to our boundary conditions.
The potential velocity part enters the strain near the loop and has no singularity.
The true boundary condition is an eigenvalue requirement (
14).
The analogous
CVS conditions [
9] for the vortex sheet were equivalent to the velocity gap being a null vector of a boundary strain at the surface
The shape of the vortex sheet in Ref. [
9] was fixed by this requirement, up to a few parameters.
We expect the same relation here to provide the vortex sheet stability.
However, the velocity gap vanishes at the boundary, so this relation does not fix the boundary value of the strain. The eigenvalue requirement represents this missing condition at the edge of the discontinuity surface.
We conjecture that in the case of the Kelvinon, the shape of the discontinuity surface is determined by (
47) inside, plus (
14) at the edge.
Note that here we deviate from our old hypothesis [
24,
25,
26,
27] that the shape of the discontinuity surface minimizes its area.
This minimal area would be an asymptotic solution of the loop equation at large smooth loops [
9], but not the exact shape of the discontinuity surface at an arbitrary loop.
Note also that as a consequence of Equation (
14), the eigenvalues of a strain at the surface have a form of
The highest eigenvalue
has the eigenvector in the tangent plane of the surface, orthogonal to the velocity gap (
41), as it follows from Equation (
47) and stability requirement (the normal component of strain at the surface must be negative).
Thus, if the velocity gap is orthogonal to the surface edge near the edge, the leading eigenvector of the strain would indeed be directed along the loop, as we required.
This condition is compatible with the fact that
vanishes linearly near the edge
The last relation follows from the fact that
is the nearest point at the edge to the point
, which leads to
It would be very interesting to find the Kelvinon solution for the flat circular C, where the discontinuity surface is the unit disk .
5.3. The Mapping of Physical Space onto a Disk on a Sphere
The cross-section boundary of the tube is mapped on the loop on , covered n times. Topologically, a circle is mapped on a circle with homotopy .
The circulation is related to the vorticity flux through the tube’s cross-section, which equates it to the Burgers parameter .
The circulation around a loop on a 2-sphere equals the area of one of two complementary spherical caps
, depending upon the orientation of
, i.e., the sign of the winding number
n (see
Figure 5).
In our coordinates, the loop
is a horizontal circle
.
The boundary value of remains as a constant parameter of our Clebsch field, to be determined later from the minimization of the Hamiltonian.
There is, of course, a possibility to get zero circulation (and, therefore, zero velocity, in case or ).
Let us now turn to the circulation around the original loop. In the same way, as with the Burgers circulation , this circulation can be written as a vorticity flux through some Stokes surface bounded by the loop and passing through the Euler region.
A small part of this surface will pass through the Burgers tube. As the vorticity inside the Burgers tube is directed towards its axis, we can choose this surface to pass this tube in the local tangent plane to the loop. The normal to this local tangent plane is orthogonal to the direction of the vorticity .
Therefore, the flux is determined solely by the vorticity in the Euler region, which means that the singular-line solution (
21) with potential flow outside the loop does not provide a finite circulation
.
This requirement is the ultimate reason for the topological solution.
There is no contradiction at this level with the Clebsch field, but there is an interesting relation based on the Stokes theorem.
Let us compute the Euler flux through the discontinuity surface on the upper side .
The flux through the surface is
where
is a winding number for
around the loop
C.
These two winding numbers
are consistent with the boundary condition [
9] at the surface
of the infinitesimal tube
Here, is the radius of the tube.
5.4. The Topology
Let us briefly discuss the topology of the Kelvinon. Equation (
54a) implements the mapping of a torus on a circle with homotopy
, which corresponds to a pair of integer winding numbers
.
What about mapping the 3D space by the Clebsch field ?
The Hopf mapping of the compactified 3-space to a 2-sphere,
, was already implemented by a spherical Clebsch field in [
21,
22], but our Kelvinon is different.
The Kelvinon implements a mapping of the compactified 3-space without a monopole ring onto the spherical cap rather than the full sphere .
Topologically,
As we have seen, this last mapping
is described by two winding numbers. Depending upon the signs of these winding numbers, the Clebsch field maps physical space on one of the two complementary caps on a sphere separated by a circle
.
The
Appendix A presents a family of smooth Clebsch fields with desired properties, including winding numbers
and a decrease of vorticity at infinity. We do not compute velocity for these examples, as it would require a solution of a nontrivial Neumann problem on a minimal surface bounded by an arbitrary smooth loop
C.
The Euler velocity field maps the compactified physical space without the vortex surface onto . The vortex surface (with its edge C) is excluded because the velocity field has a gap at that surface. The space we excluded is a topological 3-disk , and so is the remaining space.
There are no topological invariants associated with this mapping by velocity field, but there are such invariants for the mapping of the solid torus on a 2-disk by the spherical Clebsch field, as we discussed above.
Comparing the expression (
53) to Burgers’ contribution to the line integral of velocity at the center of the core of the tube, we get a self-consistency relation between parameters of the Euler flow
This relation being linear, the normalization factor
Z can be canceled so that this is a restriction on a Faddeev vector field
. The eigenvalue Equation (
14) also restricts the field
, leaving the normalization factor arbitrary.
As suggested in Ref. [
9], this factor will be determined from the energy balance between the incoming energy flow and anomalous dissipation.
There is an advance that we have recently made in this part of the Kelvinon theory; we present it in the next Section.
6. Energy Balance Revisited
For every stationary solution of the Navier–Stokes equation, the time derivative of any functional of the velocity field, including the Euler Hamiltonian, must vanish.
Our matching principle suggests using this Navier–Stokes relation to fix the remaining free parameter Z of the Euler flow in the Clebsch variables.
The energy dissipation is localized in the Burgers vortex core. We know it in an inviscid limit as a functional of the local Euler strain at the loop (
20). At fixed Clebsch field
, this dissipation is proportional to
(two powers of
Z from circulation
and one from the strain).
The matching energy pumping into this region can be written in many forms. In the review paper [
9], we used the energy flux through the boundary of the volume
V, and we estimated the flux as
.
There is a more direct approach, using notorious external random forces , which we take as a random uniform vector inside this volume.
This point needs clarification. Usual forces are also a function of time, correlated by a with some slow function of space distance . Then the time averaging is assumed, leading to some expressions for the equal time velocity correlations.
In our approach, we replace time averages with ensemble averages. We have an ensemble of stationary flows, each with its uniform force
drawn from a Gaussian distribution. Our force is a space-independent Gaussian random vector with Kronecker delta variance
This ensemble averaging is equivalent to time averaging with delta-correlated Gaussian force (such force is a different sample of a Gaussian vector at different times).
The energy pumping created by such a force inside a volume
V before Gaussian averaging is simply the work made by this force over the net momentum of the fluid inside this volume
This perturbed velocity , in turn, depends on the force through the Navier–Stokes equation. We shall assume this relation to be linear, and later we will justify that assumption in the inviscid limit utilizing asymptotic freedom.
In the linear approximation, we have to solve linearized Euler equations for
Symbolically, we can write the result
Let us count the factors of
Z here, assuming
to be
. As we have shown in Ref. [
9] (see also the next Section), in the inviscid limit, there is asymptotic freedom:
Z grows as a power of the logarithm of the effective Reynolds number
Then, we have
in the (
61).
This makes the correction
much smaller than
Now we have justified linear approximation for the perturbation of the Euler equation by an external pumping force.
In general, asymptotic freedom in Turbulence makes the fluctuations of the velocity field around Kelvinon go to zero as a power of the logarithm of the Reynolds number.
The same thing happens in QCD with fluctuations of the gluon field around the instanton: these fluctuations logarithmically die out compared to the instanton field.
As the background velocity fluctuation
is a linear function of
, the Gaussian distribution of
is equivalent to the Gaussian distribution of
, which was considered in Ref. [
9]. The difference is that we now have a microscopic Equation (
60), which allows us to compute this background velocity field once the base Kelvinon flow is known.
Let us turn back to the energy balance. Naturally, only the total energy of the Navier–Stokes flow is stationary. There are some contributions
from the remainder of the fluid both to the energy pumping
and to the energy dissipation
in the energy balance equations
where we subtracted the mean over the random forces from the
term to satisfy the mean energy balance. The outside volume energy flow components
are treated as constants rather than random numbers (self-averaging of the random forces acting in the remaining infinite volume).
We have to factor our
Z and solve the resulting equation (with variables
corresponding to
X with
)
The unknown parameter
B here can be estimated as excessive energy pumped into our volume to be dissipated inside the singular vorticity tube. This parameter is proportional to the missing volume in each of the energy flows
where
is a Kolmogorov energy flow per unit volume and
is the volume occupied by our soliton around the singular loop
C.
The last estimate implies that the loop has only one scale, which can be taken as its length C.
There are two scales for a large, almost flat loop with small normal deviations: the minimal area and the width of vorticity field distribution around this surface. In this case .
We postpone the discussion of large flat loops to the next section.
The solution of this quartic equation at small
A equals to
In the scaling region (where there is only one scale
), the fluctuating part of
Z,
must scale as a product of some powers of
and
. Simple dimensional analysis shows that for that purpose, we need the following scaling law
How can the variance of random forces be related to the size of the volume taken by the Kelvinon?
These are not the symbolic forces at the boundaries of an infinite volume but rather effective forces acting on the boundary of this volume, representing the effects of random pressure terms coming from remote vortex structures.
This estimate must hold as long as we accept the K41 dimensional analysis for small enough loops compared to the intrinsic size of the Kelvinon.
Finding a microscopic mechanism leading to such self-consistent forces would be necessary.
7. Asymptotic Freedom Revisited
Now we can revisit and extend the analysis of Ref. [
9] of asymptotic freedom (logarithmic decrease of running coupling constant of the Kelvinon theory with the local Reynolds number).
Let us elaborate on the relation (
67b). Using the basic Formula (
52), we find
The variables with tilde correspond to the normalized flow, with .
Factoring out the
dependence in the anomalous Euler Hamiltonian (
30), we find
This factor
g depends on only one dynamical variable: the boundary value
. The Clebsch fields
outside the loop
C satisfy the passive advection Equation (
36). The boundary value of the strain
satisfies the boundary conditions (
71).
The parameter g must minimize the Hamiltonian, with fixed loop C and fixed Kolmogorov constant .
Varying the Hamiltonian (
72) with respect to
g, we find the transcendental equation for
This
is a functional of the loop
C. By dimensional counting, it scales as
This estimate assumes that there are no other scales in the solution. As mentioned above, for the smooth, almost flat loop C, there may be an effective scale in the normal direction to the minimal surface.
Neglecting such a case (it will be considered in the next Section), we can take
as a definition of the loop scale and write down the “renormalization group” equation for effective coupling
This beta function corresponds to the transcendental equation for
The beta function and the solution for
are plotted in
Figure 6. This beta function has no positive roots; it monotonously goes to
.
The roots of the beta function would correspond to the fixed point of RG, leading to scaling laws with anomalous dimensions. That would justify the traditional multifractal scaling laws. However, in our theory, the beta function is calculable in explicit form and does not have a root.
Therefore, we have asymptotic freedom instead of the usual multifractal scaling laws. As discussed below, the difference is hard to observe in DNS and even harder in real experiments on Earth.
Now, with asymptotic freedom, we can justify the linearization of the Euler equation in the presence of fixed external random force: this is the leading term of expansion in our running coupling constant.
In the same leading approximation, the
Z factor grows as a power of
Anomalous Hamiltonian and the Matching Principle
This approach to the stationary solutions of the Navier–Stokes and Euler equation is unusual and may be confusing. Let us summarize it and clarify the steps involved.
We use conventional Hamiltonian and conventional NS equations in the whole space. The viscosity is neglected outside the singular regions, and the Euler solution is used in that outside region. The stationary solutions of the Euler and NS equations are matched in the region of distances r from the singular line , where w is the local width of the Burgers vortex, and is the local radius of curvature of the loop. This combined solution has some free parameters left, namely the normalization constant Z for the Clebsch field in the outside region and is the boundary value of the Clebsch field component at the loop.
It also depends on the shape of the discontinuity surface. The parameter Z is determined from the energy conservation on the NS stationary solution The shape of the surface is determined by the eigenvalue conditions on the surface and at the loop, which are part of the matching conditions at the surface of the tube.
We are left with the last parameter, , to be determined from the minimum of the Hamiltonian.
8. Multifractals
For historical reasons, the multifractals are assumed to be pure scaling laws for the moments of the velocity differences, or circulation, in our case, as a function of the scale R.
Parisi and Frisch [
28] borrowed this idea from Conformal Field Theory, where the moments of similar structure functions are described by scaling laws with anomalous dimensions.
However, this was not the most general multifractal phenomenon in statistical field theory.
In the conformal field theory of critical phenomena in statistical mechanics, the anomalous dimensions are universal functions of the normal dimension of the fluctuating variable (the power of circulation, in our case).
At the same time, in asymptotically free theories, such as QCD, the anomalous dimensions depend on the so-called running coupling constant, which tends to zero inversely proportional to the logarithm of scale.
So, the multifractal as a critical phenomenon has some precedent in statistical and quantum field theory. However, it is a dynamic question of whether the effective coupling is a universal number (a simple root of the beta function at finite coupling constant in the case of conformal theory) or if it is running to zero as in asymptotically free theories (the double root of the beta function at zero coupling constant).
We can now answer that question for the Kelvinon theory in favor of asymptotic freedom [
9].
Our asymptotic freedom does not correspond to small velocity. On the contrary, velocity is large while its fluctuations are small; the same happens with the gluon field around instanton in QCD or with the electroweak field near the ’t Hooft–Polyakov monopole (more relevant analogy, as we also have a monopole here).
The novel phenomenon in Turbulence is that the inverse powers of the Reynolds number do not appear in our expansion. In the inviscid limit, such terms become negligible, and the convergence to this limit slows down to the inverse powers of the logarithm of the Reynolds number.
This expansion in the zeroth approximation involves the nontrivial Kelvinon field , mapping the physical space (with added infinity and removed loop C) onto the spherical cap .
There are two possibilities for the orientation
, corresponding to an upper or lower cap on a sphere. These two possibilities are equivalent as they correspond to the reflection
. In the asymptotically free limit, the boundary value
tends to the North or South pole, depending upon the sign of
n.
This asymptotic formula will be compatible with our self-consistency relation (
57) for the circulation
only if
. Then both sides of this equation are
when the running coupling constant
goes to zero.
In this case, with the
correction in the linear approximation:
This expression for the velocity circulation has the same structure as the one in Ref. [
9]
The non-fluctuating part of circulation shows the logarithmic growth with the scale R through the running coupling , but the parabolic term does not depend on the running coupling constant.
There are also higher-order terms of expansion in effective coupling , which we have neglected.
According to Ref. [
9], this corresponds to the circulation PDF
where
is the leading eigenvalue of the
matrix
.
The effective fractal dimension for higher moments, corresponding to the saddle point in the integral for the moments, is as follows
If there is no internal scale in a Kelvinon, the parameter
R is proportional to the size of the loop
, and the area inside the loop scales as
. In that region, we have a K41 formula for
, up to higher corrections in asymptotically free coupling constant
As it was shown in Ref. [
9] from an alternative dynamical theory (loop equations), the asymptotic dependence of the circulation PDF in the true inertial range
must tend to the scaling law
, where
is the minimal area of the surface bounded by
C.
In our context, this means that is to be replaced by .
As for the next correction in at large p, it depends upon the dimensionless ratio .
Asymptotic freedom tells us that this ratio goes to infinity as in Equation (
85). Differentiating that ratio and using the RG equation, we find
Thus, our prediction for the asymptotic behavior of the running index
is
where
is related to
by a transcendental Equation (
80).
We do not have enough data to compare this formula for varying
. However, we have the data obtained for the fractal dimension of classical [
7,
8] and quantum [
29] circulation in turbulent flows.
These authors used a square loop C with a variable side a and fitted their data to constant values of for each p over the inertial range of , neglecting possible systematic deviations from that fit.
In the future, it would be interesting to fit that data by our formula with the running coupling constant .
Here are the DNS data from these papers, fitted by our formula with constant
, as shown in
Figure 7 and
Figure 8. The more detailed analysis of underlying data may reveal this slow dependence of
.
One should give proper credit to the numerical work in Refs. [
7,
8,
29] and successful phenomenological models in Refs. [
11,
12], which explain these data by approximating the chain of the Hopf equation for velocity moments.
However, phenomenological theory cannot distinguish between the constant fractal dimensions and those running with logarithms of scale; this is a task for a microscopic theory.
The microscopic theory so far says nothing about the transient region
where both asymptotic laws break. Only the phenomenological theory [
11,
12] accurately describes the fractal dimensions (for velocity differences only) in the whole domain of small and large
p.
9. Questions and Answers
I had to answer various questions and critical comments when discussing this paper with colleagues.
Let us go through the most interesting questions; it would help a like-minded reader to understand this unconventional work.
Q: By differentiating your relation for the velocity at the center of the Burgers vortex, you get an identity
From that, we can conclude that
where
is the local curvature of the loop, and
is the velocity projection on the inner normal of the loop.
According to the Burgers solution, the second term vanishes at the center of the loop. Therefore, with the positive you need for stability, this formula contradicts the periodicity of velocity at the loop.
A: I am afraid I disagree with your formula for the tangent component of the velocity field. My formula, (
16), is manifestly periodic (and also parametric invariant, as it should be). With explicit initial data, it reads
Using the eigenvalue condition
it can be written as
Multiplying this equation by
, we find the correct relation for the tangent velocity
Take
in (
96); and we have the periodicity condition
This expression does not change if you shift
by any constant, as the extra term will integrate into zero
In particular, one may subtract from its (positive) mean value on the loop. Thus the positivity of does not contradict the periodicity.
Q: What is the boundary value of the Euler velocity at the boundary C of the vortex surface? The normal to the loop component of velocity must vanish for mass conservation (incompressibility), which condition directs the boundary velocity along the loop. Do you agree?
A: There is no boundary value of the Euler velocity, as it diverges as , where is the radius of the vortex tube.
Velocity at the center of the Burgers vortex is directed along the loop, the same as vorticity, thus providing nontrivial helicity density.
This velocity component normal to the loop
is not zero for the following reason. This normal inner component of velocity is singular (diverges as
near the edge), so one cannot neglect the existence of a thin Burgers tube (see
Figure 2).
The boundary conditions for the Euler flow are imposed at the surface of the tube, not at its center, and there is a match.
Q: What prevents the Kelvinon from flying in the normal direction to the ring, as all vortex rings do? I also wanted to ask if the Kelvinon has a non-zero impulse . The impulse is proportional to the net linear momentum. For the Burgers loop part, it is not difficult to compute the impulse as a line integral around the loop, which is non-zero.
A: The Neumann boundary condition for the potential part in the velocity (with the rotational part being the Biot–Savart integral), by definition of the stationary state, cancels the sheet’s motion (the normal velocity vanishes, and the tangent one does not mean a moving surface). As for the Burgers tube attached to the surface at the edge, the same thing happens. The mean velocity in the normal plane to the ring vanishes at every point of the loop, so it does not move.
The finite negative radial strain pushes the flow inside the ring, moving along the axis in the rotating vortex with circulation
. In addition, there is a (much faster) circular motion in the normal plane, going around the small circle at each point of the loop. Together, these motions create a spiral, as shown in
Figure 2.
That self-induced velocity comes from the region far from this surface, just like my anomalous part in the Hamiltonian. This part, indeed, cancels by the surface contribution by the Neumann boundary conditions, which are designed for a steady state.
So, the vortex surface attached to the vortex ring acts similar to a parachute, or, better to say, as a wing, stopping the normal motion. The flux goes around the surface and the ring in circles, as shown in
Figure 3.
As for the net momentum, I cannot prove that it is zero, even for a stationary velocity field tangent to the surface and the ring.
All I need is a stationary distribution of circulation based on stationary flow. The loop and the surface must also be stationary, but the net momentum of the flow could be finite. The integral of the velocity field over volume is not restricted by its value at the surface. Take an example of the flow around the rigid body.
In that section, I also discuss the relation of the CVS conditions for the vortex sheet and the new boundary condition . I argue that they are related, given that the velocity gap linearly vanishes at the edge of the surface.
Q: Is the diffusion of the sheet also balanced everywhere on its surface by strain presumably induced by other portions of the sheet?
A: This balance leads to the CVS condition, which I analyzed in my previous work. In a stationary solution, the diffusion term exactly cancels the advection term, which happens with both the Burgers and Townsend solutions in the vorticity region. For the flat surface, the normal velocity vanishes, and the negative normal strain makes the solution stable.
For a curved vortex sheet, this is provided by the CVS equations. So, it does not happen for arbitrary sheets. The shape of the sheet must adjust for this cancellation, which is what happens in my exact CVS solution with the hyperbolic sheet .
As for decay, the decay time (and reconnection time) are not infinite, but they grow with the Reynolds number. Thus, my “stationary” solution only holds for this growing decay time.
Q: When you compute the energy, for example, the equation with Euler’s constant, do you use an expression for the energy in terms of the vorticity? I think that the expression to use is , where is the vector potential. Is this the expression you used?
A: No, why? I used ordinary and substituted the Burgers solution. By the way, note that the Burgers vortex may generally have a constant velocity in the z direction.
Look at the computation in the appendix in my Phys Reports [
9].
Q: Did you prove the positivity of ?
A: I could not prove it in the general case, but I have presented arguments in favor in
Section 5.2. It is left as an open problem to prove it.
Q: I wanted to mention the Kelvin–Benjamin maximum energy principle: A steady inviscid vortex has maximum energy with respect to isovortical perturbations (i.e., imagine perturbing the vortex by an arbitrary incompressible velocity field acting for a short pseudo-time). Given this, should the relaxation procedure not maximize the Hamiltonian? Perhaps this principle does not apply because the Hamiltonian is infinite in an inviscid limit?
A: Mathematically, I am investigating the turbulent (not inviscid) limit where the Reynolds number is arbitrarily large but not infinite.
The Hamiltonian minimization is a tricky part, indeed. Consider the Euler flow outside the Burgers’ tube and the attached sheet. The parameters of this flow (including the normalization of the Clebsch field Z) minimize the Euler Hamiltonian (the integral of the space outside the tube and the sheet), with the boundary conditions at the surface of the tune and the sheet. As I have shown, these boundary conditions involve the outside flow parameters (the boundary value of , the shape of the vortex sheet, and the Z factor).
Now, the Euler part of the Hamiltonian (integral over the outside region) is not conserved. Its time derivative equals minus anomalous dissipation. However, the total Hamiltonian, which includes the integral inside the vortex tube and sheet) is conserved. Its time derivative vanishes with a proper value of the normalization factor Z, an Euler integral of motion.
For this particular value of Z, which provides the energy balance, the total Hamiltonian is conserved in the NS (dissipation is exactly canceled by energy pumping).
Our Matching Principle at work here: all the variables and parameters of the Euler flow are to be defined as those of the NS flow with an infinitesimal viscosity. Logarithmic divergences prevent me from setting the viscosity to zero, but I generalize the Euler flow (call it turbulent flow) as the one minimizing the conserved Hamiltonian.
So, this is a definition of the inviscid limit of the NS in the presence of anomalies; this definition formally becomes the Euler theory with anomalous terms in the Hamiltonian. There is no inviscid limit, but there is an intermediate logarithmic regime where all the negative powers of the Reynolds number are neglected, but the logarithmic terms remain. These terms are summed up by the renormalization group equation, leading to asymptotic freedom.
The absolute maximum of the Hamiltonian would not be mechanically stable, plus it only exists if you impose restrictions. In our case, there is, indeed, a restriction of a cancellation between the dissipation and pumping. Such a restriction would eliminate the zero and the infinite solution for parameter Z in the Euler velocity field.
In that sense, I agree with your comment—given the energy balance, this is just an extremum.
Our work belongs to theoretical physics, not applied math. Rather than solving established equations, we postulate new ones to be verified in experiments and DNS. Our new matching principle removes ambiguities from the weak Euler solutions, leading to asymptotic freedom.
It remains to be seen whether it applies to real Turbulence.
10. Conclusions
Here is what we added to the previous results published in the review paper [
9].
We clarified the topology of the Kelvinon. Its boundary value at the surface of the infinitesimal tube surrounding the singular line C maps a torus on a circle, in which the mapping is described by two integer winding numbers related to velocity circulations around two cycles of the torus;
The 3D field maps the compactified 3-space without the infinitesimal tube onto one of the two caps on a sphere separated by the circle ;
We visualized the velocity field inside and outside Kelvinon by tracking liquid particles marked by different colors. The inside flow
Figure 2 goes in spirals locally parallel to the loop tangent vector, whereas the outside flow
Figure 3 also contains the tornadoes descending onto each side of the vortex sheet;
We modified the energy balance analysis of Ref. [
9] using conventional random forces and expanding the energy pumping into the Kelvinon in series in the running coupling constant
. This approach gives us a microscopic definition and corrects the
dependence of the phenomenological parameters in the circulation PDF tails [
9].
We studied the vorticity field in the topological family of Kelvinons and presented a smooth Clebsch field in the Euler region (outside the vortex sheet and the tube) for arbitrary smooth loop C and arbitrary winding numbers .
We found the self-consistency conditions for the Kelvinon field (
57), (
14) from the matching conditions with the Burgers vortex, which is overlooked in Ref. [
9];
Using these conditions, we removed the ambiguity in relative signs of the winding numbers : they must have opposite signs.
We computed and compared predictions of the Kelvinon theory for the fractal dimension
in the leading perturbation expansion in
with the DNS data (
Figure 7 and
Figure 8) with a good fit except for the transient region
.
In conclusion, we suggested a microscopic quantitative approach to the turbulence problem, assuming a low density of vortex structures. We presented some predictions for the multifractal indexes, modified by powers of the logarithm of the scale.
Here is what still needs to be elaborated and clarified.
The self-consistency conditions (
57), (
14) need to be investigated further. Presumably, the boundary values of the Clebsch field on each side of the discontinuity surface provide the set of free parameters needed to satisfy these self-consistency conditions;
The notion of the region occupied by Kelvinon needs to be clarified and defined unambiguously. With correct definition, observable results should not depend upon the shape of the boundary of this region, and its volume should be a well-defined functional of the loop C;
Higher correction in perturbation expansion in the running coupling constant need to be computed; fractal dimensions should become universal functions of the logarithm of scale without any phenomenological parameters to fit the DNS data.