M Shavit1,2, N Vladimirova3, G Falkovich1,2. 1. Weizmann Institute of Science, Rehovot 76100, Israel. 2. Landau Institute for Theoretical Physics, Moscow Region 142432, Russia. 3. Brown University, Providence, RI 02912, USA.
Abstract
This note is devoted to broken and emerging scale invariance of turbulence. Pumping breaks the symmetry: the statistics of every mode explicitly depend on the distance from the pumping. And yet the ratios of mode amplitudes, called Kolmogorov multipliers, are known to approach scale-invariant statistics away from the pumping. This emergent scale invariance deserves an explanation and a detailed study. We put forward the hypothesis that the invariance of multipliers is due to an extreme non-locality of their interactions (similar to the appearance of mean-field properties in the thermodynamic limit for systems with long-range interaction). We analyse this phenomenon in a family of models that connects two very different classes of systems: resonantly interacting waves and wave-free incompressible flows. The connection is algebraic and turns into an identity for properly discretized models. We show that this family provides a unique opportunity for an analytic (perturbative) study of emerging scale invariance in a system with strong interactions. This article is part of the theme issue 'Scaling the turbulence edifice (part 1)'.
This note is devoted to broken and emerging scale invariance of turbulence. Pumping breaks the symmetry: the statistics of every mode explicitly depend on the distance from the pumping. And yet the ratios of mode amplitudes, called Kolmogorov multipliers, are known to approach scale-invariant statistics away from the pumping. This emergent scale invariance deserves an explanation and a detailed study. We put forward the hypothesis that the invariance of multipliers is due to an extreme non-locality of their interactions (similar to the appearance of mean-field properties in the thermodynamic limit for systems with long-range interaction). We analyse this phenomenon in a family of models that connects two very different classes of systems: resonantly interacting waves and wave-free incompressible flows. The connection is algebraic and turns into an identity for properly discretized models. We show that this family provides a unique opportunity for an analytic (perturbative) study of emerging scale invariance in a system with strong interactions. This article is part of the theme issue 'Scaling the turbulence edifice (part 1)'.
We owe to Uriel Frisch that scale invariance and its breakdown came into focus for physicists and mathematicians working on turbulence [1]. Pumping and dissipation break scale invariance and time reversibility. Time irreversibility is manifested in the explicit breakdown of the detailed balance and in non-zero energy flux, which is scale-independent [2]. As far as scale invariance is concerned, statistics of the velocity gets independent of the (long) distance to the dissipation scale, but changes with the distance to the pumping scale no matter how large this distance is. Understanding this phenomenon required introduction of simple yet non-trivial models [3] going back to Kolmogorov and developed by Obukhov, Frisch, Kraichnan and others. With the solvable Kraichnan model of passive scalar, turbulence theory got its Ising-model moment [4], when we understood the role of space in keeping scale invariance broken; every scalar’s moment is determined by its own geometrical statistical conservation law. Empirically, the distinction between direct and inverse cascades was noticed: the former had an anomalous scaling, while the latter had not [5,6]. Another aspect of the symmetry breakdown was related to the fractal distribution of the dissipation in space [1]. An alternative approach has been provided by considering one-dimensional chains of interacting modes [7] where there is essentially no space. For such chains, the mode number serves as a logarithm of the effective wavenumber, so that multiplying scales corresponds to adding mode numbers and scale invariance is equivalent to the translation invariance along the chain. Yet, even for the chains with local interactions, called shell models, the breakdown of translation invariance along the chain has been observed [8]. Our paper is devoted to such models and the role of temporal correlations in setting the cascade and its symmetries, broken and emerging. In particular, we elucidate the necessary condition for the breakdown of scale invariance: it requires a cascade to proceed from slow to fast modes; the remarkable illustration of that are inverse cascades with an anomalous scaling.The above developments lead us to believe that the breakdown, or rather non-restoration, of scale invariance in a turbulent cascade is a natural phenomenon that no longer deserves our astonishment. What we believe is presently much more intriguing is the long-known emergence of scale invariance of the so-called Kolmogorov multipliers, which are ratios of the amplitudes of different modes or ratios of the velocity increments taken at different scales [9-15]. In other words, the main question is why the turbulent cascades are multiplicative. Our viewpoint argued below is that precisely because the equations on amplitudes are scale invariant, while the equations on multipliers are not, the statistics of the latter saturates while the statistics of the former does not.Here, we address the broken and emerging scale invariance of turbulent cascades in a class of systems capable to model two distinct classes of physical phenomena. The first class of phenomena belong to incompressible hydrodynamics, described by the celebrated hydrodynamic Euler equation and many equations for geophysical, astrophysical and magnetohydrodynamic flows. The second class contains systems of resonantly interacting waves. The discretized models of the first class exactly correspond to the second one, as was noticed in [16]. We shall consider one family of such models and describe far-from-equilibrium (turbulent) states of such systems.
Models
In 1966 V. Arnold noticed the group-theoretic analogy (whose big time in turbulence research may yet to come) between the ordinary differential Euler equations describing solid body dynamics and the partial differential Euler equation describing fluid flows: both correspond to a geodesic equation on the relevant Lie group with respect to a one sided (left or right) invariant metric [17]. On the one hand, the moment of momentum of a solid body in the rotating reference frame satisfies the Euler equation , where and is the inertia tensor. On the other hand, the velocity curl in an isentropic flow, , satisfies another equation bearing the name of Euler: . Both Euler equations, for solids and for fluids, have quadratic nonlinearity and possess quadratic invariants. The same is true for the rich family of two-dimensional hydrodynamic models, where a scalar field (vorticity, temperature, potential) is linearly related to the stream function , which determines the velocity carrying the field: , , . For the 2D Euler equation, . Other cases include surface geostrophic (), rotating shallow fluid or magnetized plasma (), etc. After Fourier transform,
In 1969 A. Obukhov suggested to model fluid turbulence by the chains of ODEs having these properties [7]:
The indices in (2.2) are lowered using the metric defined by the quadratic invariant . The position of the indices is irrelevant in what follows.Here, we add a class of models describing resonantly interacting waves with the following Hamiltonian,
where only if . By the gauge transformation, , we can turn the equations of motion, into a system of the type (2.1) and (2.2):
The equation (2.4) is Hamiltonian, that is , where
It conserves not only the Hamiltonian but also :
Owing to the extra invariant, two-mode and three-mode systems are integrable.We consider a sub-class of the Hamiltonian models (2.1) and (2.2) where interactions with only one type of triads in (2.5) are retained (see [18] for a general classification of such models)
Here, are non-negative integers. The equations of motion for arbitrary have an extra quadratic invariant,
defined by the recursion relation for all . In the limit , we shall focus on the scale-invariant power-law functions , where satisfies the equation . The first two families have, respectively, and :
andThe models can be used in numerous classical and quantum applications, since can denote real-space sites, spectral modes, masses of particles, number of monomers in a polymers, etc. Gauge invariance means, in particular, that (2.7) describes resonant interaction of waves with frequencies . Apart from decay and coalescence of waves or quantum particles, the Hamiltonian also describes breakdown and coagulation of particles or polymerization of polymers. In particular, the -model has and describes the chain of frequency-doubling interactions, which can be realized by a cascade of nonlinear elements (e.g. lasers) each resonantly generating the second harmonic. Respectively, the -model describes a resonant interaction of waves whose frequencies relate as the Fibonacci numbers defined by the identity with and . In this case , so that is the golden mean [16]. Such models of three-mode interaction, in particular, are used to describe ubiquitous Fibonacci patterns in plant leaves, pinecones, sunflower seeds, cactus spines, pineapple scales, etc. [19,20]. If are spectral parameters, they are usually understood as shell numbers with frequencies/wave numbers being , so that power-law dependencies on mean exponential dependencies on . The family (2.7) thus belongs to the aforementioned class of shell models [8], that is (2.2) with neighbouring interactions.Class of models (2.1)–(2.3) is ideally suited for elucidating the role of temporal correlations in the persistence of breakdown of scale invariance of amplitudes and emerging scale invariance of Kolmogorov multipliers. In addition, it allows one to address the question of the cascade direction, which goes back to the paper of Fournier & Frisch [21].
Thermal equilibrium
In a closed general system (2.3), the microcanonical equilibrium generally has both non-zero.To describe the canonical equilibrium and then turbulence, we add white-in-time pumping and dissipation to the general system (2.4)
Here . Then it is straightforward to show that , so that in a steady state . We also have . If pumping and damping are in a detailed balance, that is for every we have , then the Gaussian distribution
is the solution to the Fokker–Planck equation
The distribution (3.2) realizes the entropy maximum under conditions of fixed finite and , because any non-zero diminishes entropy. Let us stress that the equilibrium distribution is neither of the naive Gibbs distributions, or , which are both non-normalizable. By contrast, the distribution (3.2) is normalized. As in the general case (2.4) and independent of , thermal equilibrium in the sub-class (2.5) has exactly Gaussian distribution of statistically independent modes, despite the system being described by a cubic Hamiltonian and thus strongly interacting. That Gaussian distribution (3.2) can serve as a starting point for a perturbation theory near the case where turbulent cascade is close to thermal equilibrium, as can be seen below.
Turbulent cascades
In a turbulent cascade, pumping and dissipation act on different modes. In the so-called inertial interval between pumping and dissipation, there exists the flux of the quadratic invariant, which can be expressed via the third cumulant:
andThe right-hand side is the discrete divergence of the flux
where is a constant independent of , and is the beginning of the inertial interval, i.e we assume that (2.4) is valid for . The third-order cumulants are zero in equilibrium, but in turbulence they are non-zero to carry the flux. In a steady turbulence, the cumulant is as follows:
where depends on but not on . Indeed, it is straightforward to check that (4.1) turns (4.2) into zero. In particular for the Fibonacci -model and for the chain of doubled harmonics, models, .For , it is natural to assume that both Hamiltonian coefficients turn into power laws:
Since we are interested in scale invariance, in what follows we shall assume (4.5) to be valid for all . Then the third cumulant (4.4) is a power law too with the scaling exponent determined by the flux constancyGauge invariance requires that the triple cumulants other than (4.1) are zero and that the pair correlation function is diagonal in any state: (when modes are spatial harmonics, diagonal pair correlation function comes from translation invariance in space). This does not mean that different modes are uncorrelated in turbulence. The pair correlation function is a proper measure of correlation only for Gaussian statistics. Below, we introduce the universal measure of two-mode correlation—the mutual information—and show that it is non-zero in turbulence.
Cascades and their directions
Which direction does the cascade (4.6) go? Frisch & Fournier argued that the stationary turbulence spectrum is to be formed if its time derivative is a growing function of its slope [21,22]. Indeed, consider the density of some conserved quantity , which satisfies the equation that has a stationary solution with a constant flux const. Imagine, for instance, that the stationary direct cascade has been formed between the pumping and some wavenumber . The spectrum will propagate further into the region of larger , where is smaller and is larger, if is positive there: or . Similar argument can be made for an inverse cascade, where the condition for propagation is opposite: . On power spectra , we must have the power law, , where is some positive number ( for weak turbulence [22]). That gives the flux , which turns into a -independent constant at : . The last formula means that the flux direction determines the propagation direction, if such reasoning is correct. For a single conserved quantity, the flux sign coincides with that of , since any distribution steeper than equipartition must carry a positive flux. While it seemed natural that the stationary spectrum must start forming from pumping and propagate into the direction of its flux, the studies of weak wave turbulence established that the ultimate formation of the cascade spectrum does not necessarily proceed from pumping to damping [23,24]. Instead, it proceeds in the direction of deceleration, from fast to slow modes, according to the information-theory argument [25].The principal difficulty in applying the Frisch–Fournier criterion to systems with a strong interaction is that the flux constancy does not anchor the spectrum, but some higher-order moment, like the third moment for incompressible turbulence and for our system. In our case though, there is a way to bypass this (closure) problem and get an analytic insight into turbulence properties. To do that, we exploit an extra symmetry , which provides the existence of an invariant sub-space of solutions with purely imaginary for all
The dynamical equation (5.1) has a stationary solution
It turns (5.1) into zero everywhere except the chain ends, where the last term is uncompensated at the left end, and the first term at the right end. To compensate these terms and make a true steady state one needs to add pumping and damping at the opposite ends of any finite chain. Therefore, that stationary solution carries a flux—indeed, (5.2) corresponds to (4.6). Each such solution can describe either direct or inverse cascade, since the symmetry , means that one reverses the flux by changing the sign of . The sign of the flux must be determined by our only parameter , which controls how the interaction strength depends on the mode number. We can now establish the direction of the flux comparing the flux solution with the equipartition —note that this is not the steady solution of the dynamical equation, it requires contact with a thermostat that adds pumping and damping acting on every mode. The flux distribution coincides with equipartition for . Physical common sense suggests that the cascade must carry the conserved quantity from excess to scarcity [22]. For the steady solutions must correspond to a direct cascade, since they decay with faster than the equipartition. By the same token, we must have an inverse cascade for . These conclusions were supported for -model at and , and a double-cascade turbulence was observed at in our previous work [16]. The simplest degree of non-Gaussianity is the dimensionless third cumulant called skewness:
For both cascades at , the skewness is of order unity at the damping region and decays towards inertial interval as the inverse distance [16]. The longer the interval, the smaller is at a given distance from the pumping region. This suggests that the limit of long intervals may then be amenable to an analytical treatment, since the statistics is close to equilibrium Gaussian.One can also write a complex steady solution of the dynamic equation. For -model it takes the form: , where the phases are given by the recursive relation , where the sign depends on the cascade direction.Figure 1 presents our results for the -model with obtained from the numerical solution with . (The way numerics are done is described in [16]). The upper panels show that the occupation numbers approximately follow the power laws , which corresponds to (5.2). The lower panel shows how the skewness decreases as approaches from either side. For , the skewness increase along the cascade is visible.
Figure 1
Compensated spectra, fluxes and skewness for (a,c) and (b,d). All cases correspond to the same input flux, . The pumping is applied to mode for and to mode for . On the no-flux sides damping is ; on the flux side damping rates are for , for , for , and for . The slopes of the dashed lines in the upper panels are 1/3 and 1/6. Approximately, .(Online version in colour.)
Compensated spectra, fluxes and skewness for (a,c) and (b,d). All cases correspond to the same input flux, . The pumping is applied to mode for and to mode for . On the no-flux sides damping is ; on the flux side damping rates are for , for , for , and for . The slopes of the dashed lines in the upper panels are 1/3 and 1/6. Approximately, .(Online version in colour.)The only physics that distinguishes one direction along the chain from another is the growth/decay of the typical inverse interaction time . Not surprisingly, the same parameter also sets the cascade direction. We conclude that cascades proceed from slow modes to fast modes in our system at , as well as in shell models [16,26-28]. That leads to strong intermittency and long correlations, as we shall see in the subsequent sections. In the degenerate case , there is no exponential dependence of the interaction time on the mode number; if one estimates the inverse interaction time as , then it increases along both cascades by a weaker power law.
Anomalous scaling and breakdown of translation invariance
Apart from skewness, other measures of non-Gaussianity increase along a cascade, as was noticed in [16] for . The simplest of such measures is given by the single-mode moments , which in our case are finite for . The anomalous scaling exponents, , give particular measures of how non-Gaussian cumulants grow along the cascade. They also quantify the breakdown of scale invariance (translation invariance along in our case). Indeed, all for any probability distribution invariant with respect to shifts along . The flux law predicts ; the numerical fit for gives 1.0044, 1.2511, 1.7482, 1.9989 for , 1/4, 3/4, 1, respectively, which is a pretty good agreement with the theory. Note the small but measurable anomalous exponent of the second moment, which provides the increase of skewness along the cascade. The anomalous scaling is observable in numerics for all the single-cascade cases presented here, see figure 2a. All fits for are done for modes 5–25 counting from pumping. Three main conclusions can be drawn from the figure. First, the exponents are nonlinear functions of , which means breakdown of scale invariance of the one-mode statistics. Second, the high moments deviate stronger from linear scaling, that is the degree of non-Gaussianity increases along the cascade. Third, the closer is to 1/2 the smaller are the anomalous scaling exponents and respective deviations from Gaussianity.
Figure 2
(a) Anomalous exponents . (b) The one-mode entropy of the complex amplitude normalized by . The dashed lines have the slopes and the dotted lines with the respective taken from a. (Online version in colour.)
(a) Anomalous exponents . (b) The one-mode entropy of the complex amplitude normalized by . The dashed lines have the slopes and the dotted lines with the respective taken from a. (Online version in colour.)The most general measure of non-Gaussianity and non-equilibrium is the entropy of the statistical distribution. If we normalize the amplitude by its RMS value, the Gaussian distribution of independent modes realizes the entropy maximum. By the same token, equilibrium distribution corresponds to the entropy maximum at given values of the integrals of motion . Turbulence is an ultimate far-from-equilibrium state, so its statistical distributions must have much lower entropies. Alternatively, one may say that creating turbulence requires processing a lot of information.That information is encoded in the statistics of the single-mode amplitude and in the inter-mode correlations. Figure 2b presents the one-mode entropy decrease along the cascade: is plotted as the function of . The entropy can be related to the anomalous exponents using the multi-fractal formalism of Parisi & Frisch [1,29]: the moments in the limit of large correspond to the multi-fractal distribution,
Here, determines the probability distribution of at the subset with the given exponent , while the probability of the subset is determined by , that is is the Legendre transform of . The entropy is then
This decay is approximately linear in , as indeed can be seen in figure 2, where is counted from pumping. Since numerical estimates of the pretty small exponents are approximate, we estimate as somewhere between two limits. The lower limit is given by , which corresponds to the dashed straight lines in figure 2b, shown in blue for the direct cascade at and in yellow for the inverse cascade at . To obtain the upper limit, we note that and approximate with parabola passing through four points, . That gives the estimate , which we take as an upper limit giving the dotted straight lines in figure 2. We see that the respective straight lines give the right order of magnitude for the rate of the entropy decay in the inertial interval both for the direct and inverse cascades. The anomalous exponents for large moments, , grow twice faster for the inverse cascade: for and for . And yet one can see from figures 2 that the one-mode entropy is essentially the same in both cascades. The difference between the cascades in their information content can be seen in the entropies of two-mode distributions, to which we now turn.The information encoded in the inter-mode correlations is measured by the mutual information between two modes
which is the amount of information one can learn about one mode by measuring another. Gauge invariance makes all pair correlation functions between modes identically zero, yet the mutual information is non-zero for any pair in the interacting triplet, as shown in figure 3. We also compute the three-mode mutual information . Figure 3 shows that the changes along the cascade in one-mode entropy and in two-mode and three-mode mutual information are comparable, that is one obtains comparable amount of information about turbulence from these quantities.
Figure 3
Entropy deviation from equilibrium, the mutual information and the interaction information. All decrease as approaches . (Online version in colour.)
Entropy deviation from equilibrium, the mutual information and the interaction information. All decrease as approaches . (Online version in colour.)To quantify the influence of one of three variables on the amount of information shared between the other two, one computes what is called interaction information in the classical statistics and topological entanglement entropy in the quantum statistics [30,31]:
Positive measures the redundancy in the information about obtained by measuring and separately, while negative one measures synergy which is the extra information about received by knowing and together. Note that for a Markov chain, the interaction information is always positive, so that negative is a reminder that our chain is not Markov. While the entropy itself depends on the units, both the mutual information and the interaction information do not. They are also symmetric, that is they measure the degree of correlation rather than causal relationship or cascade direction. The entropy for an individual mode is presented relative to the Gaussian entropy based on the average occupation number. The details of the numerical procedure of computing entropies and mutual information are described in [16].
Emerging self-similarity and translation invariance
The equations of fluid mechanics without pumping and dissipation are scale-invariant. Similarly, our family of models (2.7) with (4.5) is invariant with respect to translation or re-scaling , as long as one renormalizes . Turbulence-producing pumping breaks the invariance. Contrary to a general perception, we believe that it is quite natural that turbulent statistics is not scale invariant and depends explicitly on the pumping scale or position. If, however, scale invariance (or even its extension, conformal invariance [32]) emerges far away from the pumping position, that needs an explanation. Such emerging scale invariance takes place for the amplitude ratios, called Kolmogorov multipliers, , [3] in shell models and hydrodynamic equations [9-11,14]. Likewise, our numerics show that the statistics of the multipliers is translation invariant as seen from figure 4, which presents the probability distributions for at different . We find that the probability distribution of a single multiplier is not only the same for all positions far enough from pumping, but also indistinguishable from the equilibrium distribution,
Figure 4
Probability distributions of the Kolmogorov multipliers for different positions in the inverse (a) and direct (b) turbulent cascades. Solid lines correspond to the thermal equilibrium , where for the inverse cascade and for the direct one. The variance for both cascades, which is much larger than either of the squared mean values. (Online version in colour.)
Probability distributions of the Kolmogorov multipliers for different positions in the inverse (a) and direct (b) turbulent cascades. Solid lines correspond to the thermal equilibrium , where for the inverse cascade and for the direct one. The variance for both cascades, which is much larger than either of the squared mean values. (Online version in colour.)Let us now discuss a hypothetical explanation for such emerging invariance. To avoid unnecessary details in the analytic treatment, we again consider the purely imaginary case and denote . We believe that it is important that the equations on the multipliers are themselves not invariant, in contrast with the equations on the amplitudes. It is this explicit dependence on the position (or scale) which could be responsible for the appearance of the universal position-independent statistics far from the pumping. Namely, the equations on the multipliers have the following form for our models:
Here, is a function of a finite number of multipliers, which is translation-covariant. For example, for the -model
while for the -model at ,What breaks the covariance is the factor
which involves all the between the pumping position and the position . Here, one can assume having Gaussian statistics. However, even when is very far from , one cannot assume this product statistically independent of the arguments of . The fundamental reason is that the cascade proceeds from slow to fast modes, so that all the factors in the product (7.4) fluctuate slower than the arguments of . Let us stress the fundamental difference between the equations on the amplitudes, which are local, and the non-local equations on , which involve all the multipliers, starting from pumping up to the given mode. While we cannot rigorously prove it yet, we find it plausible that the fact that all random multipliers in (7.2) and (7.4) are correlated makes correlation between any finite number of them weak, which must be eventually responsible for the emerging translation invariance of the statistics of in the limit . The analogy is the validity of the mean-field description in systems with long-range interaction [33]. It is not yet clear how to make a meaningful mean-field approximation in (7.2) and (7.4) to establish explicitly the asymptotic universal statistics of in a general case. However, in the degenerate symmetric case , the interaction time for the statistically stationary solution is independent of the mode number, and the statistics of the amplitudes is Gaussian. In that case, one may hope to find analytically the joint statistics of the multipliers. Normalized for zero mean and unit variance, we compute for :
The case is (7.1) given above. One could use (7.5) as a starting point for the perturbation theory in small deviations , which can hopefully demonstrate the universality and translation invariance of the statistics of .Let us consider the model. In the dimensionless variables and , equation (7.3) takes the form
For , the equations become particularly simple
and
The goal is to show that the asymptotic invariant measure for that stochastic system is close to the equilibrium measure (7.5), which can be written as
Treating as a white noise, we can write the Fokker–Planck equation
where is defined via (7.8). The challenge is to check whether (7.9) can be an asymptotic solution of (7.10). One may also wonder if there exists a renormalization group (RG) flow, of which (7.5) and (7.9) is a fixed point.It is important to stress that extreme non-locality of interaction between multipliers, as expressed by the dynamic equation (7.8), does not mean strong correlations between distant multipliers. Figure 5 shows the pair correlation function (compare with [10-13]), which decays exponentially fast with the relative distance for all four values of . We also computed numerically the mutual information between the neighbouring multipliers: for the inverse cascade, , . For the direct cascade, , . No discernible were found for . While and are practically uncorrelated, there is some small synergy in a triplet. For comparison, we find analytically from (7.5): .
Figure 5
The correlation functions of the logarithms of multipliers for -model. From left to right, is increasing as 0, 1/4, 3/4, 1. Top- original, bottom—multiplied by to compensate for exponential decay. (Online version in colour.)
The correlation functions of the logarithms of multipliers for -model. From left to right, is increasing as 0, 1/4, 3/4, 1. Top- original, bottom—multiplied by to compensate for exponential decay. (Online version in colour.)
Extensivity of entropy and relation between amplitudes and multipliers
The multi-mode entropy is bounded from above by the sum of the entropies of the individual modes. As one moves along the cascade, the one-mode entropy decreases linearly in the inertial interval, as seen in figures 2 and 3 (such a decrease will eventually be restricted by a finite resolution). About extra 20% to the decay rate of the entropy per mode comes from the growth of the mutual information between complex amplitudes. Multi-mode correlations must further slow down the growth of the total entropy with the number of degrees of freedom. This shows that the entropy of the statistical distribution of the amplitudes grows with the number of modes slower than linearly, that is the total entropy of the amplitudes must be non-extensive in turbulence, as opposite to thermal equilibrium. Is there any universal ‘area law of turbulence’, like for the entropy of black holes which is proportional to the surface area rather than to the volume? We are unable yet to answer the first question analytically, nor it is feasible to compute numerically the entropy of multidimensional distribution beyond 3–4 modes. The next natural question is whether the entropy of turbulence is sub-extensive in any encoding. The negative answer is given by the Kolmogorov multipliers, which have universal statistics independent of , as shown above. One consequence of the scale invariance (translation invariance with respect to the mode number) of the statistics of the multipliers is that the respective entropy is extensive, that is proportional to the number of modes. Generally, the entropy depends on the representation or encoding. From the information theory viewpoint, the Kolmogorov multipliers realize representation by (almost) independent components, that is allow for maximal entropy. In other words, computing or measuring turbulence in terms of multipliers gives maximal information per measurement (the absolute maximum is achieved by using the flat distribution, that is the variable defined by ).The amplitudes are expressed via the multipliers
The first term is due to the pumping-connected mode, which correlates weakly with in the inertial interval. As was shown above, the correlation between multipliers decays fast with the distance between them. This suggests that the statistics of the amplitude logarithm at large must have asymptotically a large-deviation form
Indeed, sufficiently far from the pumping, the probability distributions collapse in these variables, as shown in figure 6. From the viewpoint of the general multi-fractal form (6.1), such self-similarity means that is such a sharp function that the integral in (6.1) is determined by the single -dependent value, . We then identify .
Figure 6
The right parts of the probability distributions of and insets for the whole distributions for inverse () and direct () cascades. The left slope is due to a simple fact that the moments diverge for . The distributions collapse to the large-deviation form away from the pumping. (Online version in colour.)
The right parts of the probability distributions of and insets for the whole distributions for inverse () and direct () cascades. The left slope is due to a simple fact that the moments diverge for . The distributions collapse to the large-deviation form away from the pumping. (Online version in colour.)One can express
The asymptotes of are determined by the singularities of the generating function . For , the leading singularity in the upper half plane is . This follows from the fact that for any there is a finite probability of zero amplitude, so that the moments diverge for . At the left tail, it gives , which is indeed observed in figure 6. It is not clear at the moment how to find the singularities in the lower half-plane that determine the positive moments and the anomalous exponents.Of course, if multipliers were statistically independent, then (8.2) would break into a product and one would be able to find the statistics of amplitudes using the standard tools of large deviation theory. Such theories of multiplicative cascades go back to Kolmogorov’s work on ore pulverization, where at every step of the cascade a stone is broken into random pieces independent of the previous steps; assuming a finite variance of multipliers one obtains lognormal distribution of stone sizes [34]. Applying this to fluid turbulence [3] leads to unphysical results, as was noticed by Frisch [1]. Indeed, a lognormal distribution leads to negative for sufficiently large , which does not make sense. In addition, if the multipliers were statistically independent, one would compute or proceeding from by a standard large-deviation formalism: , where . Such derivation would express via , which is impossible since the former moments exist for all , while the latter do not because of the exponential tails of , see also [12,13]. Therefore, to describe properly the scaling of the amplitudes, one needs to account for the correlations between multipliers. Physically, it is quite natural that the rule how the distribution changes along the cascade must be encoded in the correlations between the steps of the cascade. The correlation functions are shown in figure 5. The main feature in both cascades is the anti-correlation of the nearest neighbours, as in anti-ferromagnetic. The difference is that the second neighbours are correlated in the inverse cascade and anti-correlated in the direct one. For larger distances, the interaction is again anti-ferromagnetic, that is oscillating at every step and exponentially decaying with the inter-mode distance.The existence of the self-similar probability distribution for the logarithms of the amplitudes motivates one to look for a non-trivial fixed point of some RG, which sums and re-scales the multipliers. Any traditional RG of the single-time distribution—for instance, hierarchical model [35]—would in our case give a Gaussian , since the variance of is finite and the pair correlations decays exponentially. Yet our , is not Gaussian and is not lognormal. Therefore, our case most likely requires a new approach capable to describe non-equilibrium, like dynamical RG. We need to renormalize the flux of probability or a similar quantity, rather than the single-time pdf. It is also worth bearing in mind that only the single-time statistics of is independent of ; fluctuations happen on timescales depending on . Any attempt to develop non-equilibrium RG to derive must include time renormalization as well.One may hope that the asymptotic distribution defined by in the limit of large is not very sensitive to the particulars of . Yet it would be very interesting to see how a weak correlations between neighbouring multipliers make all moments of the amplitude finite, overcoming divergency due to exponential tails of . While the body and the (trivial) left tail of can be computed neglecting weak correlations between the multipliers, the positive moments are determined by the far right tail of , which must be sensitive to the correlations.
Conclusion
This note weaves together three threads introduced by Uriel Frisch into turbulence studies: criterion for cascade direction, breakdown of self-similarity, and multi-fractal formalism. The universal family of models (2.7) introduced here provides for a unique possibility to use perturbative approach in a system with strong interaction. That possibility is based on the remarkable fact that thermal equilibrium has exactly Gaussian statistics with independent modes; varying the parameter of our family, one is able to study turbulence close to thermal equilibrium.For our models or velocities in hydrodynamics, the results shed light on what is crucial for the breakdown of scale invariance in the statistics of amplitudes. The statistics deviates from Gaussian as one goes into the cascade, as long as the interaction time decreases, regardless whether the cascade is direct or inverse.Shell models in general and our family in particular demonstrate that turbulence is qualitatively different from ore pulverization [34]. In the latter case, the assumption of the statistical independence of multipliers makes sense. In turbulence, not only multipliers are correlated but their equations of motion are explicitly not translation invariant, while the equations on the amplitudes are. And yet, the amplitudes do not have the translation-invariant statistics, while the multipliers do. Far from the pumping, multipliers acquire universal statistics, which determines, in particular, the anomalous scaling exponents of the amplitudes or, equivalently, the way the statistics of the amplitudes changes along the cascade.