Master equation for She-Leveque scaling and its classification in terms of other Markov models of developed turbulence
Daniel Nickelsen

TL;DR
This paper derives a Markov process representation of She-Leveque turbulence scaling, compares it with Kolmogorov scaling, and classifies it among other turbulence models using a unified stochastic framework.
Contribution
It introduces a Markov process model for She-Leveque scaling, connecting it with diffusion processes and other cascade models, and establishes a comprehensive classification framework.
Findings
Derived a jump process for She-Leveque scaling
Established a diffusion process including Kolmogorov scaling
Formulated a general Markov scaling law combining diffusion and jumps
Abstract
We derive the Markov process equivalent to She-Leveque scaling in homogeneous and isotropic turbulence. The Markov process is a jump process for velocity increments in scale in which the jumps occur randomly but with deterministic width in . From its master equation we establish a prescription to simulate the She-Leveque process and compare it with Kolmogorov scaling. To put the She-Leveque process into the context of other established turbulence models on the Markov level, we derive a diffusion process for from two properties of the Navier-Stokes equation. This diffusion process already includes Kolmogorov scaling, extended self-similarity and a class of random cascade models. The fluctuation theorem of this Markov process implies a "second law" that puts a loose bound on the multipliers of the random cascade models. This bound explicitly allows for inverse…
| Model | Specifics | ||||||
|---|---|---|---|---|---|---|---|
| K41 | 0 | 0 | 0 | ||||
| K62 | 0 | 0 | |||||
| RCMs | 0 | 0 | |||||
| ESS | 0 | 0 | |||||
| SL |
|
0 | |||||
| Yakhot | 0 | 0 | ? | ||||
| 0 | 0 | ? | |||||
| experimental | 0 | 0 |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Master equation for She-Leveque scaling and its classification in terms of other Markov models of developed turbulence
Daniel Nickelsen
National Institute for Theoretical Physics (NITheP), Stellenbosch, South Africa
Institute of Theoretical Physics, University of Stellenbosch, South Africa
Institute for Physics, Carl-von-Ossietzky University, Oldenburg, Germany
Abstract
The statistics of velocity increments in homogeneous and isotropic turbulence exhibit universal features in the limit of infinite Reynolds numbers. After Kolmogorov’s scaling law from 1941, many turbulence models aim for capturing these universal features, some are known to have an equivalent formulation in terms of Markov processes. We derive the Markov process equivalent to the particularly successful scaling law postulated by She and Leveque. The Markov process is a jump process for velocity increments in scale in which the jumps occur randomly but with deterministic width in . From its master equation we establish a prescription to simulate the She-Leveque process and compare it with Kolmogorov scaling. To put the She-Leveque process into the context of other established turbulence models on the Markov level, we derive a diffusion process for using two properties of the Navier-Stokes equation. This diffusion process already includes Kolmogorov scaling, extended self-similarity and a class of random cascade models. The fluctuation theorem of this Markov process implies a “second law” that puts a loose bound on the multipliers of the random cascade models. This bound explicitly allows for instances of inverse cascades, which are necessary to satisfy the fluctuation theorem. By adding a jump process to the diffusion process, we go beyond Kolmogorov scaling and formulate the most general scaling law for the class of Markov processes having both diffusion and jump parts. This Markov scaling law includes She-Leveque scaling and a scaling law derived by Yakhot.
pacs:
47.27.Gs, 05.10.Gg, 05.40.-a, 05.70.Ln, 02.50.Ga
I Introduction
A turbulent flow is a particularly challenging example of a complex system. One reason for that is that with increasing turbulence intensity, the number of effective degrees of freedom in a turbulent flow increases until literally each fluid molecule with their position and momentum have to be considered Kraichnan (1958); Landau and Lifshitz (1981). Furthermore, the dynamics is chaotic and depends sensitively on initial conditions. This is a situation comparable to problems considered in statistical mechanics, suggesting a statistical analysis of turbulence.
In 1941, Kolmogorov was the first to apply a statistical analysis to homogeneous and isotropic turbulence Kolmogorov (1941a, b, c). Central to this analysis was the prediction of universal scaling laws. Finding scaling exponents that universally reflect the velocity increment statistics observed in experiments and simulations has been the objective of turbulence research ever since. Although successful scaling laws have been found Kolmogorov (1962); She and Leveque (1994); Yakhot (1998), they still evade a profound understanding of the underlying mechanism Frisch (1995). In particular the phenomenon of small-scale intermittency, where strong fluctuations on small scales seem to appear out of nothing, remains to be a focus of current research Sreenivasan and Antonia (1997); Nickelsen and Engel (2013); Faranda et al. (2014); Biferale et al. (2014); Ali et al. (2016); Friedrich and Grauer (2016).
The most important mechanism responsible for the emergence of scaling laws stems from the self-similarity found in turbulent flows, where structures on large scales, e.g. vortices, repeat themselves on smaller scales Richardson (1922). This mechanism is generally assumed to be the turbulent cascade, in which turbulent structures become unstable and break into similar structures.
The picture of the turbulent cascade has not only inspired researchers to analyse the scaling symmetry of turbulent flows. It is also at the core of a Markov analysis based on perceiving the turbulent cascade as realisations of a Markov process, which was introduced by Friedrich and Peinke Friedrich and Peinke (1997). In this analysis, the drift and diffusion coefficients of a Fokker-Planck equation are determined directly from experimental data. The key observation in Friedrich and Peinke (1997) is that turbulent cascades exhibit the Markov property which allows to reproduce the complete multi-scale statistics of velocity increments from the Fokker-Planck equation. The Markov analysis by Friedrich and Peinke has been improved substantially and led to many insights in the last decades Renner et al. (2001); Nawroth et al. (2007); Gottschall and Peinke (2008); Renner and Peinke (2011); Kleinhans (2012). Apart from developed turbulence, the Markov analysis has become popular for other settings of turbulence, such as turbulent boundary layers Tutkun (2017) or wind energy Milan et al. (2013). An overview of applications of the Markov analysis to many complex systems can be found in Friedrich et al. (2011). Other Markov approaches on a more microscopic level have been pioneered by Kraichnan Kraichnan (1971) and Frisch and collaborators Frisch et al. (1974) in which stochastic terms are introduced to the Navier-Stokes equation. A more direct approach is to use the Markov property to construct Lagrangian trajectories and map the resulting statistics of flow velocity to Eulerian coordinates Pedrizzetti and Novikov (1994). In the present work we are concerned with stochastic approaches on a more descriptive level which exploit the Markov character of the turbulent cascade instead of explicitly employing the Navier-Stokes equation.
The Markov property as an approach to complexity was already used in Einstein’s theory of Brownian motion Einstein (1905), in which the outcome of collisions is rendered as a random process instead of resolving exact trajectories of Brownian particles. The setting of this particular Markov process enables a thermodynamic interpretation: During collisions, heat is transferred between the Brownian particles and the medium. Building on this perception, stochastic expressions for heat and other thermodynamic quantities like work and entropy were defined Sekimoto (1998), leading to a complete thermodynamic picture of driven Brownian motion. Colloidal particles is only one example of systems studied in the field now known as stochastic thermodynamics, see Seifert (2012) and references therein for an introduction to the field. One celebrated result of stochastic thermodynamics are fluctuation theorems which tighten the second law to equalities. Coming back to turbulent cascades, in our recent work Nickelsen and Engel (2013) we made use of the fact that Markov processes are central in both the Markov analysis of turbulence and in stochastic thermodynamics to show that a fluctuation theorem also holds for the turbulent cascade and constitutes a measure for the correct modelling of small-scale intermittency.
In this paper, we expand further on the role Markov processes play in developed turbulence and demonstrate that they arise naturally from the phenomenology of the turbulent cascade. Some Markov processes are already known to be equivalent to established turbulence models, such as Kolmogorov scaling Friedrich and Peinke (1997), log-normal random cascade models Amblard and Brossier (1999) and Yakhot’s approach to turbulence Davoudi and Tabar (1999). These findings are scattered in the literature and deserve to be put together in order to reveal their systematics in the Markov description. We review these models together with their equivalent Markov processes and demonstrate how the picture of the turbulent cascade leads to a simple diffusion process which already represents a number of turbulence models including extended-self similarity as a special case of log-normal random cascade models. The fluctuation theorem of this diffusion process implies a second law for the turbulent cascade which we find to put a loose bound on the multipliers in random cascade models. We then extent the list of Markov processes representing turbulence models by including jump processes as part of the Markov process. Formulating the most general scaling law for the class of Markov processes having both diffusion and jump parts enables us to find the Markov processes that reproduce scaling laws postulated by She and Leveque She and Leveque (1994) and derived by Yakhot Yakhot (1998). In particular, being our main result, we formulate the Master equation (50) for the popular She-Leveque scaling. We conclude with table 1 compiling all considered Markov processes that represent turbulence models, demonstrating which components of the Markov processes distinguish the various models.
II Approaches to developed turbulence
We begin with the traditional approach to capture universal features of developed turbulence and give a survey on various established turbulence models.
The ruling equation of turbulent flows is the Navier-Stokes equation which reads in dimensionless quantities Landau and Lifshitz (1981); Frisch (1995),
[TABLE]
Here, is the flow velocity field for position and time , is the pressure field, and is the external forcing that generates turbulence. The Reynolds number relates forces of turbulence generation with viscous forces by , where and are the characteristic length and velocity of turbulence generation and is the kinematic viscosity. As the dissipation term enters with the prefactor , large Reynolds numbers indicate a subordinate role of dissipation. In this paper we are mainly concerned with the limit of infinite Reynolds numbers.
The Navier-Stokes equation is too complex to be solved analytically. However, we will exploit this complexity by building upon two known properties Landau and Lifshitz (1981); Frisch (1995):
- (a)
The dynamics of the Navier-Stokes equation is chaotic and sensitively depends on the initial conditions.
- (b)
Turbulent structures are unstable under the non-linear dynamics of the Navier-Stokes equation and break-up into smaller structures.
The important consequence of (a) is that a turbulent flow evolving freely after its generation (e.g. after a grid) does not bear any resemblance with the structure of the generation. The turbulent flow is hence ruled by the force-free Navier-Stokes equation with a non-equilibrium initial condition which encodes a set of turbulent structures of large scale . Due to (b), these structures break up and form the turbulent cascade in which turbulent structures transport energy from large to small scales with an average rate of . If furthermore the Reynolds number is sufficiently large, effects of dissipation are negligible for scales larger than the Taylor length scale . The range of scales between and is known as inertial range in which neither turbulence generation nor dissipation play a role Frisch (1995).
The force-free Navier-Stokes equation has symmetries which entail properties of the flow field , among which are homogeneity, isotropy, and, for , scaling symmetries Frisch (1995). A homogeneous and isotropic flow field are the defining properties of developed turbulence. The scaling symmetry of developed turbulence corresponds to the self-similarity of a turbulent flow and is a focus of turbulence research. Self-similarity expresses itself as scaling laws in a statistical analysis of the structures in the flow field , as we discuss now.
We assume the turbulent flow to be fully developed and probe structures in the flow by the velocity increments
[TABLE]
projected on the unit vector . As the chaotic property (a) imposes a certain randomness in the flow field, we understand to be a correlated random field with correlation length . By fixing and and changing in steps sufficiently larger than , application of the above definition yields a set of realisations of an underlying stochastic process. Owing to a homogeneous and isotropic flow field, the realisations are independent and follow the same probability density function at fixed .
As developed turbulence is by definition independent from its generation, the statistics of can only arise from the internal non-linear dynamics of the force-free Navier-Stokes equation for scales sufficiently smaller than the scale of turbulence generation. Therefore, the statistics of is assumed to be universal in the inertial range and the turbulent cascade is considered to be the fundamental mechanism defining the statistics. In the following, we will be concerned with these universal features of developed turbulence.
To simplify, we set , fix a certain , and consider the one-dimensional longitudinal velocity increments
[TABLE]
where , and now denote the -component of the previous vectors. It is common to analyse their statistics by the moments
[TABLE]
which, as they are used to probe the structures of the flow, are known as structure functions of -th order. Since involves the two points and in the flow field , the statistics of is a two-point statistics of .
II.1 Established turbulence models
We now give a brief survey on some general results that have been found for the statistics of the velocity increments of developed turbulence. An exact result from the Navier-Stokes equation in the limit of infinite Reynolds numbers was found by Kolmogorov in 1941 Kolmogorov (1941c) and states that the third-order structure function depends linearly on ,
[TABLE]
This result is known as the four-fifth law.
In a series of publications Kolmogorov (1941a, b, c); Obukhov (1941a, b), Kolmogorov and Obukhov addressed the expected universality of developed turbulence with the conclusion that universality should manifest itself in scaling laws
[TABLE]
with universal scaling exponents . From a dimensional analysis it follows that the scaling exponents should be
[TABLE]
which is now known as K41 scaling. This scaling law was found to hold only for the first few structure functions.
In 1962, Kolmogorov and Obukhov refined the K41 scaling by considering fluctuations of the energy transfer rate Kolmogorov (1962); Obukhov (1962),
[TABLE]
The extra term with the intermittency factor is often referred to as intermittency correction, as it accounts for the intermittent fluctuations on small scales not considered in the K41 model. The value of was determined experimentally to be Arneodo et al. (1996). Since then, many intermittency corrections have been put forward.
A popular intermittency correction was postulated by She and Leveque She and Leveque (1994); She and Waymire (1995); Liu and She (2003) by considering a hierarchy of fluctuating structures on dissipative scales. Coarse graining to inertial range scales led to the She-Leveque (SL) scaling law
[TABLE]
Here, is the co-dimension of the dominant fluctuating structure and determines the degree of small-scale intermittency in the model: corresponds to no intermittency and to strongest intermittency. She and Leveque determined from their theory that . For and co-dimension , K41 scaling is recovered. Taking vortex filaments with fractal dimension (i.e. ) as dominant fluctuating structures and plugging in , the SL scaling becomes parameter-free,
[TABLE]
The above scaling law is in agreement with all structure functions that can be reliably obtained from measured data Frisch (1995).
The discussed scaling laws only hold for infinite Reynolds numbers or well within the inertial range, as well as for a homogeneous and isotropic flow field. To accommodate for experimental imperfections that do not meet these conditions, Benzi et al. proposed a correction to pure scaling what they call extended self-similarity (ESS) Benzi et al. (1993, 1996); Chakraborty et al. (2010), which essentially amounts to
[TABLE]
The idea is that experimental imperfections and not fully satisfied conditions of developed turbulence have the same impact on all structure functions and can be measured by the deviation of from the four-fifth law (5). In an ideal situation the four-fifth law (5) implies and usual scaling (6) is recovered. In the extensive experimental investigation Arneodo et al. (1996) it has been found that ESS is in excellent agreement with measured data.
Close to the picture of a turbulent cascade are random cascade models (RCMs) Castaing and Dubrulle (1995); Castaing (1996); Chilla et al. (1996); Dubrulle (2000); Chevillard et al. (2005). RCMs express in terms of a multiplier , that is , where now is considered the random variable instead of . On the level of , a propagator is used to express as the propagation of down to smaller scales ,
[TABLE]
The choice of determines different turbulence models, special cases reproduce K41, K62 and SL scaling. We come back to these special cases when we discuss the underlying Markov process in section IV.
The last turbulence model considered here was introduced by Yakhot Yakhot (1998) based on a field theoretic approach to Burgers’ turbulence Polyakov (1995). The Burgers’ equation is basically a simplified Navier-Stokes equation without the pressure term. Yakhot was able to include pressure by using the full Navier-Stokes equation and ended up with a partial differential equation for ,
[TABLE]
with parameters and . Yakhot determined from his theory that . Due to the characteristic length scale of turbulence generation and the root-mean-square velocity , Yakhot’s result includes details of turbulence generation, which is a marking distinction to most other turbulence models.
Integration of the above equation and substitution of yields an expression for the scaling exponents,
[TABLE]
In the limit of infinite Reynolds numbers, that is , a pure scaling law remains,
[TABLE]
where follows from the four-fifth law (5). With Yakhot’s prediction , also Yakhot’s scaling is parameter free. The agreement with experimental data is as good as the SL scaling law. We mention that the above scaling exponent includes Kolmogorov scaling and other scaling laws as lower order terms in a Taylor series Renner and Peinke (2011).
III Markov approach
Recall the two properties (a) and (b) of the Navier-Stokes equation (1). According to (b), large turbulent structures break up into smaller structures. For a sufficiently large cascade step, the chaotic property (a) then implies that the forming structures only depend on the structures of the previous cascade step. Instead of attempting to resolve the exact dynamics of one cascade step, we take the new structures as a random outcome which only depend on the structures of the previous cascade step. This is essentially the Markov property for the turbulent cascade, in close analogy to Brownian motion.
We begin with demonstrating how such a Markov cascade process can be set up and discuss the implications of the integral fluctuation theorem and second law for this process.
III.1 Markov cascade process
The picture of the turbulent cascade from (b) suggests that velocity increments on scale are the result of the repeated break-up of the largest structures on scale ,
[TABLE]
where the are the multipliers for each break-up and is the necessary number of break-ups to reach the scale . According to the chaotic property (a) and if we assume that one cascade step is sufficiently large, the outcome of each break-up is random and only depends on the previous set of structures. We therefore take the to be random numbers and rewrite (16) as
[TABLE]
with being the magnitude of the and being the sum of new random numbers . The value of shall be chosen such that the mean of is zero, .
Two assumptions fix the statistical properties of . Firstly, owing to the homogeneity and isotropy of the flow field, we assume all to be drawn from the same distribution. Secondly, due to the chaotic property (a), we assume the to be independent, .
Combining both assumptions, we take the to be independent and identically distributed (iid) random numbers. The limit of infinite Reynolds numbers implies infinitely many cascade steps,
[TABLE]
with . Applying the central limit theorem we may argue that is normal distributed with zero mean and variance . In this continuous limit, (18) is the solution of a stochastic differential equation of Langevin type,
[TABLE]
where the additional free parameters and derive from , and we redefined appropriately. The initial value is typically drawn from an initial distribution . The minus sign is due to evolution in scale from to smaller scales. In the following, we will refer to this process as the Markov cascade process. More details of this process are provided in Nickelsen (2014).
Note that a direct test of the above assumptions by numerical or experimental means is intricate since the stochastic force is not readily accessible. However, the Langevin equation (19) could in principle be solved for and experimentally or numerically determined be plugged in to analyse the statistical properties of . An attempt along these lines has been made in the experimental studies Marcq and Naert (1998, 2001) confirming the statistical independence of the , whereas their statistics turned out to be slightly scale dependent indicating that the assumption of identically distributed is an approximation. However, this result was obtained for finite Reynolds numbers and a modified Langevin equation has been used. The extensive experimental study Renner et al. (2002) with Reynolds numbers up to fills that gap by analysing how the coefficients of the Langevin equation depend on . Indeed, the limiting Langevin equation for was found to be of the form (19), confirming indirectly the made assumptions.
A similar approach to the cascade process has been discussed in Benzi et al. (1984) in which it is assumed that the cascade takes place in a fractal subspace. The resulting scaling law is known as -model Frisch (1995). A superposition of such fractal cascade processes leads to the multifractal model put forward by Frisch and Parisi Frisch and Parisi (1985); Frisch (1995). In the limit of infinite many coexisting fractal cascade processes, the application of Laplace’s method results in a single scaling law given as the Legendre transformation of the fractal dimensions of the cascades. A Markov process reproducing this scaling law could not be determined, some preliminary results can be found in Nickelsen (2014) (pages 157–159).
III.2 Diffusion and jump parts in Markov processes
Taking the Markov cascade process as a basis, it may serve as a starting ground to develop more realistic turbulence models. By making the connection to the turbulence models introduced in section II.1, we demonstrate in the next section IV how such extensions can be made. To do so, it is useful to consider the Fokker-Planck equation for that corresponds to the stochastic differential equation (19). The Fokker-Planck equation covers the class of continuous Markov processes or diffusion processes. One important step to capture more turbulence models is to extent this class to discontinuous Markov processes or jump processes. In this subsection we recall how to accomplish this extension.
The general Fokker-Planck equation is of the form
[TABLE]
Interpreting (19) in the Stratonovich convention, the above Fokker-Planck equation describes the statistics of the Markov cascade process (19) by the following choice of drift and diffusion coefficients,
[TABLE]
To add a jump component to (20), we revert to the Markov property encoded in the Chapman-Kolmogorov relation ()
[TABLE]
By conversion to the differential form of the Chapman-Kolmogorov relation Gardiner (2009),
[TABLE]
with the definitions
[TABLE]
we find a general evolution equation for Markov processes obeying the Chapman-Kolmogorov relation Gardiner (2009). Here, we have used the measure accounting for the probability of a jump from to at scale . We will refer to as the jump distribution for the jump width . For we recover the Fokker-Planck equation, while for we have a pure jump process governed by the master equation
[TABLE]
where the jump distribution defines the transition probability from to by .
It is difficult to map turbulence models to the Master equation directly. A popular indirect approach is to expand in a power series and work with the Kramers-Moyal expansion of the Master equation Risken (1989),
[TABLE]
with the moments of the jump distribution,
[TABLE]
The coefficients \frac{1}{k!}\varPsi^{{}^{\text{\tiny(k)\!\!}}}(u,r) are also known as Kramers-Moyal coefficients. A vanishing even moment implies and as such may serve as an indicator as to whether a measurement series is a realisation of a continuous Markov process, a statement that has been proven by Pawula and is hence known as Pawula’s theorem Pawula (1967).
The definitions (24b) and (24c) for the drift and diffusion coefficients are the basis for methods used in Markov analysis to estimate and directly from measured turbulence data Friedrich and Peinke (1997); Renner et al. (2001); Nawroth et al. (2007); Gottschall and Peinke (2008); Renner and Peinke (2011); Kleinhans (2012). Estimation of the next higher even moments of the jump distribution have been found to be orders of magnitude smaller than the first two moments, implying that the continuous component is indeed the dominant one in the cascade process. However, a truncation of the Kramers-Moyal expansion after the second term can only yield an approximation of the process since small even moments do not imply that all moments are negligibly small. In that context, it should be interesting to estimate the jump distribution by its definition (24a) directly from measured data.
Note that the Markov analysis of developed turbulence addresses the three-point statistics of the flow field , as it involves velocity increments at two scales, say and , which translates into three points in space, , and . In that sense, Markov models of turbulence capture more details than the two-point models introduced in section II.1.
III.3 Integral fluctuation theorem and second law
A valuable tool for the estimation and analysis of drift and diffusion coefficients arises from drawing the analogy to stochastic thermodynamics (see, e.g., Seifert (2012) for an overview on stochastic thermodynamics). Small systems exhibit fluctuating heat exchange with their environment, leading to a fluctuating total entropy production . Due to the stochastic nature of , events with are possible, but on average the second law is, of course, still obeyed, . One of the marking results of stochastic thermodynamics is that the second law can be tightened to an equality, the integral fluctuation theorem
[TABLE]
The second law is implied by Jensen’s inequality .
Formally, the total entropy production of a cascade realisation can be written as Seifert (2005); Nickelsen and Engel (2013)
[TABLE]
with the initial distribution and the solution of the Fokker-Planck equation for a smaller scale , both are typically obtained from measurements or simulations.
For the Markov cascade process (21), the integral in the expression for the total entropy production (29) can be solved explicitly and the total entropy production only depends on the initial and final values of the cascade, and ,
[TABLE]
The integral fluctuation theorem then reads
[TABLE]
implying the second law like inequality
[TABLE]
or
[TABLE]
where we plugged in the multipliers from (16) and denoted the difference in Shannon entropy as .
We briefly discuss the integral fluctuation theorem (31) and second law (33) of the Markov cascade process. The difference in Shannon entropy can be shown to be negative for all scales Nickelsen (2014). Hence, the second law (33) states that multipliers must predominantly be smaller than one in order to satisfy the inequality (32). For , decreases along the cascade, which is the average tendency of the cascade process and the total entropy production is positive. However, as the second law addresses averages of multipliers, rare instances of inverse cascades, , may occur, resulting into negative values for . The balance between entropy producing and entropy reducing realisations has to be such that the integral fluctuation theorem (28) is satisfied. Due to the exponential average in (28), a few with outbalance many typical realisations with .
Although the notion of entropy production is an appealing concept for turbulent cascades, one has to bear in mind that the interpretation of the quantity is intricate, as the nature of the conjugate process (inverse cascade) and the source of fluctuations are rather unclear. However, applied to real data, the fluctuation theorem can serve as a sum rule to assess the validity of the Markov process for this data Nickelsen and Engel (2013); Reinke et al. (2016, 2017). Furthermore, in Nickelsen and Engel (2013) we demonstrated that the fluctuation theorem is in particular sensitive to the correct modelling of small-scale intermittency, as arise from strong large-scale fluctuations, whereas the dominant rare realisations with exhibit strong small-scale fluctuations together with weak large-scale fluctuations.
For discontinuous Markov processes, the integral fluctuation theorem remains valid, but the entropy production needs to be augmented to account for the entropy change at jumps in . This additional entropic contribution to reads Seifert (2012)
[TABLE]
where the jumps are from to at scales , and is the number of jumps in . Two difficulties complicate the application of an integral fluctuation theorem for to measured turbulence data. Firstly, it is difficult to infer from the experimentally accessible moments \varPsi^{{}^{\text{\tiny(k)\!\!}}}(u,r) the transition probability , and secondly, it would be necessary to extract a continuous component from to be substituted into in (29) in order to plug the remaining jump part into above. These are open problems that need to be studied in more detail.
IV Systematic Markov representations
In the previous section, we discussed the Markov approach to developed turbulence based on the Markov cascade process. In this section, we build upon this process and demonstrate how systematic modifications lead to the turbulence models discussed in section II.1. In doing so, we partly assemble known results scattered in the literature (K62, RCM, Yakhot), partly present new results (ESS, SL, Yakhot’s scaling law) and add new insights on these models on the level of Markov processes. More background on the Markov models can be found in Nickelsen (2014), and we mention that Friedrich and Grauer (2016) similarly addresses the Markov representation of turbulence models with a focus on a numerical study of Burgers’ turbulence.
IV.1 Kolmogorov scaling
We first discuss the Markov cascade process (19). Integration of the Fokker-Planck equation (20) with the cascade coefficients (21) yields a differential equation for the structure functions,
[TABLE]
The solution reads
[TABLE]
In the discussion of the Markov cascade process, we left open. One possibility to specify is to revert to the cascade picture: The size of a turbulent structure determines the scale which decreases with each cascade step. Starting with the scale , we can write , where is the average reduction factor for one step. Solving for then yields . Plugging this into (36) and absorbing into and yields the scaling law
[TABLE]
This is already the most general scaling law possible for continuous Markov processes. The drift determines the linear term in and the quadratic term is determined by the diffusion coefficient . Consequently, only K41 and K62 scaling is covered, which is in agreement with findings in Hosokawa (2002). For the choice and , corresponding to a deterministic process with random initial values, we reproduce K41 scaling. In agreement with Friedrich and Peinke (1997); Renner et al. (2001), we obtain K62 for and , that is for in the fluctuation theorem (31) and the second law (33).
The stochastic K62 process can be solved by transformation to logarithmic and Gardiner (2009); Nickelsen (2014),
[TABLE]
where is a normal distributed random variable with zero mean and variance one.
IV.2 Log-normal random cascade model
In the Markov description, we can embed Kolmogorov scaling and ESS into the class of RCMs (12). From the solution of the Fokker-Planck equation (20) for the Markov cascade process (21) Risken (1989); Nickelsen (2014),
[TABLE]
the connection to RCMs becomes apparent by noting that the above solution is of the propagator form (12), where the Green’s function of the Fokker-Planck equation is the propagator
[TABLE]
with .
The connection between Markov processes and RCMs is not surprising since they rest on the same conceptual footing. The difference is that Markov processes provide a somewhat more microscopic formalism in terms of scale evolution equations. In other words, it are the solutions or realizations of respective Markov processes that reproduce RCMs, as explicated by the above solutions (38) or (40) of the Markov cascade process. The more microscopic formulation of Markov processes allows to identify and interpret mechanisms such as deterministic tendencies and source of fluctuations. Furthermore, Markov processes are more general as they capture besides random cascade models also other turbulence models in a unified language which allows a more detailed comparison between these models. Finally, modifications of RCMs on the level of Markov processes are more straight forward and can easily be tested experimentally by means of the integral fluctuation theorem (31). In the following, these statements will be elucidated more closely.
The above propagator is a log-normal distribution for with mean and variance which corresponds to log-normal RCMs, a correspondence that has also been noticed in Amblard and Brossier (1999). The K62 model is reproduced by and is therefore also known as log-normal model. In the K41 limit, , the propagator becomes a -distribution.
Choosing a different function for changes the basis of the scaling law. In particular, ESS scaling (11) is just a special case of a RCM for . Departure from the four-fifth law therefore implies a deformation of the path in scale along which the cascade evolves. As such a deformation would affect all moments of in the same way, it is a possible explanation why the basic assumption of ESS, namely that imperfections leading to deviations from the four-fifth law affect all structure functions in a similar way, is valid.
The K62 scaling, the ESS scaling and RCMs of the above type all have the same integral fluctuation theorem (31) in common. This fluctuation theorem, however, turns out to be not universally fulfilled for measured data Nickelsen and Engel (2013); Nickelsen (2014); Reinke et al. (2017): The exponential average either diverges or converges to a value clearly different from , indicating that the two-point statistics of these models miss an essential aspect of the turbulent cascade captured in the three-point statistics of the Markov approach. A more general class of log-normal RCMs may be considered by assuming a distinct -dependency for drift and diffusion, and , instead of the common -dependency . This Markov process corresponds to RCMs examined by Castaing et al. Castaing et al. (1990); Castaing (1996); Dubrulle (2000). But also for this class of RCMs no functional form of and could be found such that the corresponding integral fluctuation theorem is fulfilled in experimental tests Reinke et al. (2017); Nickelsen (2014).
However, in the experimental analysis Reinke et al. (2017), the log-normal RCM was extended by adding a -independent term to , acting as a constant source of fluctuations. The integral fluctuation theorem resulting from this diffusion process is fulfilled for various flow types and a broad range of Reynolds numbers. In that extension, the deterministic component and the additive noise term were found to be reasonably universal, whereas the multiplicative noise term significantly depends on the kind of turbulence generation and the Reynolds number. However, a limiting process for infinite Reynolds numbers could not be deduced.
IV.3 She-Leveque scaling
Random cascade models that do not belong to the log-normal class cannot be written as a diffusion process, as they would require non-Gaussian noise in the corresponding stochastic differential equation. In particular, scaling exponents deriving from diffusion processes are limited to be linear and/or quadratic in . By augmenting the diffusion process with a jump process, it is possible to find a Markov representation of models that go beyond Kolmogorov scaling, e.g. the scaling laws found by She and Leveque or Yakhot, as we demonstrate now.
We keep and as in the Markov cascade process (21) and add the following form of the Kramers-Moyal coefficients,
[TABLE]
Integration of the differential Chapman-Kolmogorov relation (III.2) yields the general form
[TABLE]
of a scaling law. For we again obtain a pure scaling law,
[TABLE]
which can be mapped to existing scaling laws. This Markov scaling law is the most general scaling law possible for the class of Markov processes having both diffusion and jump parts.
Note that due to the form of , and \varPsi^{{}^{\text{\tiny(k)\!\!}}}, the stochastic dynamics does not develop non-zero odd moments. That means, all scaling laws that can be written in this general form do not have a skewness in the cascade process unless the initial odd moments at integral scale are non-zero. The implication is that skewness in the statistics of is developed during turbulence generation and the turbulent cascade only transports this initial skewness to smaller scales.
Comparison of the above Markov scaling law with SL scaling (9) yields
[TABLE]
for the deterministic component, and a jump process defined by the moments of the jump distribution,
[TABLE]
as the stochastic component. In view of the K62 process, the diffusion component is replaced by a jump process.
To obtain the explicit form of the jump distribution, we need to solve the moment problem
[TABLE]
In this case, it is straightforward to determine . We first write down the characteristic function of by writing in terms of the moments of ,
[TABLE]
The jump distribution then follows as the inverse Fourier transformation
[TABLE]
using the integral representation of the -distribution. The unnormalized transition probability then reads
[TABLE]
Substitution of from (44), and the above into (III.2) finally leads to a master equation for ,
[TABLE]
which turns out to be some kind of delay partial differential equation reminiscent of a pure death-process with a linear drift.
To shed some more light on this process, we set up a simulation algorithm that produces realizations sampling the solution of the above master equation. To do so, we first transform from the scale to the cascade step ,
[TABLE]
with the new . The escape rate is then found to be independent from and ,
[TABLE]
with the consequence that the interval between jumps is exponentially distributed according to
[TABLE]
and independent from the subjacent deterministic process Gardiner (2009). The simulation procedure hence is to draw from the above distribution, let evolve for this interval according to the linear drift, perform the jump and start again. The resulting stochastic process is a jump process with drift, where the jumps occur randomly but with deterministic widths . We convinced ourselves that the statistics of the generated by following this procedure indeed exhibit the scaling law by She and Leveque. A typical realisation of this process is depicted in figure 1 together with a realisation of the K62 process.
From the simulation procedure after (53) and from figure 1, we can discuss the nature of the SL process in some more detail. For the theoretical value of , the deterministic component causes a decrease of with an exponent of , significantly smaller than the value of for the K41 process. However, as the jumps in are always negative, the decrease of is comparable for both processes. The fact that never increases may seem peculiar. But since it is clear from the cascade picture that the deterministic decrease of goes with (like in the K41 process), we could subtract this behaviour from the SL process in order to get the fluctuating part. In the remaining process we would then also find positive fluctuations, as is evident from figure 1. In other words, the jump component in the SL process includes a deterministic component.
The intermittency parameter determines the jump widths in velocity increments: the lower , the larger the jumps in , but never larger than at the instant of the jump, thus, jumps can not overshoot . For the jump widths are equal to the value of in the instant the jump occurs, as a consequence, the process remains at the fix-point after the first jump. For only the deterministic component remains, which for consistently becomes the K41 process. Between these two extreme cases lies the theoretical value of of the intermittency parameter.
The She-Leveque process is hence a generalisation of the K41 process in terms of adding a jump process to the deterministic K41 process, in contrast to adding continuous diffusion as in the K62 process.
IV.4 Yakhot
Comparison of the scaling law (15) predicted by Yakhot with the Markov scaling law (43) leads to a pure jump process with the following moments of the jump distribution,
[TABLE]
In this case, the moment problem that would yield the jump distribution could not be solved.
The above jump process emerges as a special case from the Kramers-Moyal expansion
[TABLE]
which was found in Davoudi and Tabar (1999); Davoudi and Reza Rahimi Tabar M (2000) to be equivalent to Yakhot’s partial differential equation for in (13).
For turn-over times much smaller than associated with turbulence generation, that is for very large Reynolds numbers, the extra term in (55) becomes negligible and we recover the scaling law (15) implied by the jump process (54). Since the dynamics defined by (55) includes details of turbulence generation and develops a skewness in the statistics of , whereas by the limit we omit details of turbulence generation and the process becomes invariant under , we find again that skewness is developed during turbulence generation and only transported to smaller scales by the turbulent cascade of developed turbulence.
Another special case of (55) follows by noting that the product becomes rapidly smaller with increasing . It therefore is reasonable to only take the first two moments to define an approximate continuous process, F(u,r)=\varPsi^{{}^{\text{\tiny(1)\!\!}}}(u,r) and D(u,r)=\frac{1}{2}\varPsi^{{}^{\text{\tiny(2)\!\!}}}(u,r), as discussed in Davoudi and Tabar (1999). We add that in the limit of infinite Reynolds numbers (), the continuous approximation of Yakhot’s model acquires the K62 form and predicts . This prediction, obtained in the Markov representation, is close to the value found in experiments Arneodo et al. (1996).
V Conclusion
We have presented a systematic unification of many turbulence models in the language of Markov processes, as put together in table 1.
The phenomenology of the turbulent cascade motivated a Markov cascade process that turned out to already include Kolmogorov scaling, ESS and a class of RCMs. All obey the same integral fluctuation theorem and second law for the cascade. Although the second law puts a bound on the multipliers of the cascade, we found that it still allows for inverse cascades, which are necessary for the exponential average in the fluctuation theorem to converge to a finite value.
For measured data, the integral fluctuation theorem for the Markov cascade process does not hold universally. Nevertheless, K62 scaling, ESS and RCMs are useful for predicting universal properties of two-point statistics of turbulent flows. For an integral fluctuation theorem to hold for measured data, an additive noise term has to be added to the process, and the multiplicative noise term needs to be tailored to different flow conditions. In other words, a continuous Markov process is not suitable to formulate a universal fluctuation theorem. A promising next step could be to augment diffusion processes with a jump component such that the resulting fluctuation theorem holds universally for measured data.
In this work, we made progress in this regard. Starting from the scaling law for continuous Markov processes, we found that the drift coefficient fixes the term in that is linear in , and the diffusion coefficient allows for a quadratic term in . Hence, only K41 and K62 scaling laws are covered by diffusion processes. To go beyond Kolmogorov scaling, we derived a Markov scaling law which is the most general form of a scaling law for the class of Markov processes having both diffusion and jump parts. In the Markov description it is clear that every scaling law of this form cannot develop a skewness for the statistics of but only transports an initial skewness at the integral scale to smaller scales. We demonstrated that the scaling laws found by She and Leveque and by Yakhot are special cases of the Markov scaling law.
For the SL scaling law we were able to derive the jump distribution and set up a master equation. From the master equation we deduced a simulation procedure and discussed the typical realisations of the SL process obtained from this procedure, leading to an interpretation of the parameters of the SL scaling law: The co-dimension is the rate of the exponential distribution which governs the random occurrence of the jumps, the intermittency parameter fixes the change of at the instances of the jumps.
Mapping the Markov scaling law to Yakhot’s scaling law, we found a pure jump process in terms of Kramers-Moyal coefficients. Determining the jump distribution from the Kramers-Moyal process, however, remains an open problem.
Further open problems are the interpretation of the entropy production based on fundamental equations instead of a mere analogue of a thermodynamic process. The application of fluctuation theorems for Markov processes with jump parts to real data is also an outstanding task, as well as finding the Markov process equivalent to the multifractal model. Also, modifying turbulence models on the level of Markov processes, e.g. adding a diffusion term to the SL process or a jump process to the K62 process, constitutes a novel way of modelling the turbulent cascade of developed turbulence. The conceptual idea of the Markov cascade process may serve as a starting point for this kind of Markov modelling. Finally, it would be interesting to explore the possibilities of synthetically generating flow fields from solutions or simulations of the Markov models discussed here.
Acknowledgements.
The author thanks Joachim Peinke, Nico Reinke, Andreas Engel and Hugo Touchette for stimulating discussions and acknowledges financial support by the National Institute for Theoretical Physics.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Kraichnan (1958) R. H. Kraichnan, Physical Review 109 , 1407 (1958) . · doi ↗
- 2Landau and Lifshitz (1981) L. D. Landau and E. M. Lifshitz, Hydrodynamik , Lehrbuch der Theoretischen Physik No. 6 (Akademie-Verlag-Berin, 1981).
- 3Kolmogorov (1941 a) A. N. Kolmogorov, Dokl. Akad. Nauk SSSR 30 , 299 (1941 a).
- 4Kolmogorov (1941 b) A. N. Kolmogorov, Dokl. Akad. Nauk SSSR 31 , 538 (1941 b).
- 5Kolmogorov (1941 c) A. N. Kolmogorov, Dokl. Akad. Nauk SSSR 32 , 16 (1941 c).
- 6Kolmogorov (1962) A. N. Kolmogorov, Journal of Fluid Mechanics 13 , 82 (1962) . · doi ↗
- 7She and Leveque (1994) Z.-S. She and E. Leveque, Physical Review Letters 72 , 336 (1994) . · doi ↗
- 8Yakhot (1998) V. Yakhot, Physical Review E 57 , 1737 (1998) . · doi ↗
