Professional Documents
Culture Documents
Insight into the problem of two-dimensional turbulence can be obtained by an analogy with a heat conduc-
tion network. It allows the identification of an entropy function associated with the enstrophy dissipation and
that fluctuates around a positive 共mean兲 value. While the corresponding enstrophy network is highly nonlocal,
the direction of the enstrophy current follows from the Second Law of Thermodynamics. An essential param-
eter is the ratio Tk ⬅ ␥k / 共k2兲 of the intensity of driving ␥k ⬎ 0 as a function of wave number k, to the
dissipation strength k2, where is the viscosity. The enstrophy current flows from higher to lower values of
Tk, similar to a heat current from higher to lower temperature. Our probabilistic analysis of the enstrophy
dissipation and the analogy with heat conduction thus complements and visualizes the more traditional spectral
arguments for the direct enstrophy cascade. We also show a fluctuation symmetry in the distribution of the total
entropy production which relates the probabilities of direct and inverse enstrophy cascades.
uជ
t
ជ 兲uជ = ⌬uជ − ⵜ
+ 共uជ · ⵜ ជ p + ជf , 共2.1兲 ⌽ j,ᐉ ⬅
j 2ᐉ 1 − j 1ᐉ 2
4
冉 1
兩j兩 2 −
1
兩ᐉ兩2
冊.
where p is the pressure, ជf is the external force, and is the These ⌽ j,ᐉ = 0 if and only if either j 储 ᐉ or 兩j兩 = 兩ᐉ兩. Alterna-
viscosity. This is supplemented by the incompressibility con- tively,
dition
ជ · uជ = 0,
F k共 兲 = 兺 k,ᐉᐉk−ᐉ 共2.5b兲
ⵜ 0⫽ᐉ⫽k
冉 冊
ជ
spatial region V. Similar equations arise for the vorticity k 1ᐉ 2 − ᐉ 1k 2 1 1
ជ
⬅ ⵜ ⫻ uជ , by taking the curl of 共2.1兲 k,ᐉ ⬅ − = −k,−ᐉ .
4 兩ᐉ兩2 兩k − ᐉ兩2
ជ
ជ 兲 ជ 兲uជ = ⌬
+ 共uជ · ⵜ ជ − 共
ជ ·ⵜ ជ + gជ 共2.2兲 In that notation,
t
k,ᐉ + k,k−ᐉ = 0
ជ ⫻ ជf . The energy of the system is given by the total
with gជ = ⵜ
kinetic energy represents the so called triad relation of 关13兴. Another alter-
冕
native, which will be useful later, is
u2
E= , 1 k 1ᐉ 2 − ᐉ 1k 2
V 2 F k共 兲 = − 兺
2 ᐉ 兩k − ᐉ兩2
ᐉk−ᐉ . 共2.5c兲
while the enstrophy is defined as
冕
Finally, we must specify the forcing gk. A translationally
2 invariant and stationary turbulent state can be achieved by
⍀= .
V 2 imposing a force that is homogeneous in space and time. A
Gaussian random field with zero mean is the simplest ex-
Its role will become clearer later on.
ample: in that case the force ជf in 共2.1兲 is a Gaussian noise
Consider Cartesian coordinates r = 共x1 , x2 , x3兲 = 共x , y , z兲;
that is white in time and colored in space, completely deter-
the two-dimensional case is conveniently represented by set-
mined by its covariance
ting the third component of the velocity equal to zero: uជ
ជ = 共0 , 0 , 3兲 is better represented by
= 共u1 , u2 , 0兲. Therefore, 具f i共s,r兲f j共t,r⬘兲典 = Cij共r − r⬘兲␦共t − s兲,
a pseudoscalar = 3. Equation 共2.2兲 thus acts on a single
component, and since uជ and ជ are now perpendicular to each where iCij = 0 共incompressibility兲. Equation 共2.4兲 then turns
other, it is further simplified by the vanishing of the term into the stochastically driven NS
共 ជ 兲uជ , as
ជ ·ⵜ dk共t兲 = − k2kdt + Fk共兲dt + 冑2␥kdWk共t兲, 共2.6兲
ជ 兲 = ⌬ + g, in which dWk = dW̄−k represents a standard Wiener process
+ 共uជ · ⵜ 共2.3兲
t 关14兴. That driving pumps vorticity into the system at wave
number k with intensity ␥k 艌 0, while the viscosity ⬎ 0 en-
where g = f 1 / y − f 2 / x. The pressure has disappeared but
ters in the first term on the right-hand side of 共2.6兲 to dissi-
Eq. 共2.3兲 is still nonlocal because uជ = K for some Biot-
pate the vorticity. Equation 共2.6兲 is the starting point of our
Savart kernel K.
analysis.
We take our system bounded in a rectangular domain,
where it is useful to consider the Fourier transform
A. Mathematical assumptions
k =
1
2
冕 V
e ik·r
共r兲. The point of departure 共2.6兲 is a stochastic differential
equation to be understood in the Itô sense 关14兴. Solutions are
Markov processes but note that they are infinite-dimensional.
These modes satisfy
¯ k = −k which will always be under-
In general, the resulting diffusion is not elliptic because some
stood. ␥k can be made zero. That brings us to the problem of un-
Upon Fourier-transforming 共2.3兲, we thus get, for k derstanding the assumptions on the strengths ␥k and on the
苸 Z2 \ 兵0其, viscosity so that there is a unique invariant probability
k measure . A lot of mathematical work has been devoted to
− F k共 兲 = − k 2 k + g k , 共2.4兲 that problem in recent years. For example 关15兴, if is suffi-
t
ciently large as a function of 兺␥2k , then is unique. In addi-
where tion, 关16兴, is unique when there is ⬎ 0 so that ␥k ⬃ 兩k兩−␣
for some ␣ and for every 兩k兩 ⬎ . Even 关17–19兴 when ␥k
F k共 兲 = 兺
j+ᐉ=k
⌽ j,ᐉ jᐉ 共2.5a兲 ⫽ 0, for every 兩k兩 艋 N where N is some number that depends
on and on 兺␥2k , then is unique. We refer to Ref. 关20兴 for
with coefficients given by even stronger and more recent results.
056314-2
ENSTROPHY DISSIPATION IN TWO-DIMENSIONAL… PHYSICAL REVIEW E 72, 056314 共2005兲
finite-dimensional analysis. In other words, we choose a fi- as the current going, respectively, “out” and “in” the system
nite but arbitrary N and consider Eq. 共2.6兲 only for k2 艋 N at mode k with respect to the external enstrophy reservoir.
with ␥k ⫽ 0 there. That cutoff will take care of convergence The difference,
problems in what follows and it allows us to speak of 共兲
as the density of with respect to the flat measure d. Jk ⬅ Jout in
k − Jk ,
is the net enstrophy current that leaves the system 共enters the
B. Euler equation environment兲 at mode k.
On the other hand, the local conservation law reads
The vorticity and the corresponding enstrophy play an
important role in two-dimensional turbulence because of the 兩k兩2共兲 兩k兩2共− 兲
appearance of an extra conservation law. The Euler equation −
2 2
corresponding to 共2.6兲 is
冕
关cf. 共2.5a兲, 共2.5b兲, and 共2.5c兲兴. It is easy to see that
+ 冑2␥k Re
¯ k ⴰ dWk共t兲
兺k ¯ kFk共兲 = 0, 共2.7兲 −
k + 兺 Jᐉk + Jk ,
= − Jout 共2.8兲
in
−
兩k兩2共t兲dt
Kraichnan 关1兴, derives the two-dimensional cascade picture
共the so-called direct cascade for the enstrophy and the in-
册
verse cascade for the energy兲 by investigating the energy
+ 冑2␥k Re 冕 −
¯ k共t兲 ⴰ dWk共t兲 ,
spectra. The Fourier spectrum of energy embodies the KLB
picture by showing a power-law regime for each of the two
cascades. Since the enstrophy spectrum is simply related to
the energy one, from the inspection of the energy spectrum
where the last integral is in the Stratonovich sense 关14兴, and
one can argue where energy and enstrophy are transferred or
Re stands for real part. The expression thus evaluates the
dissipated. In a way the cascade of enstrophy to small scales
change of enstrophy during a time interval 关− , 兴 for a his-
is the two-dimensional analog of the energy cascade in three
tory 关k共t兲兴 and for a realization of the noise 关dWk共t兲兴. It is
dimensions. We skip here the details of that Kolmogorov-
therefore natural to set
Kraichnan theory as they have been excellently reviewed by
056314-3
M. BAIESI AND C. MAES PHYSICAL REVIEW E 72, 056314 共2005兲
= 共共t兲,t 苸 关− , 兴兲 共3.3兲 but at the same time and as a new interpretation of 共3.7兲, we
recognize how the net current into the enstrophy reservoir at
in a given time interval 关− , 兴 is mode k is like a heat current into a thermal reservoir as
determined by the difference between what now plays the
⌰ = 共− 共− t兲,t 苸 关− , 兴兲. 共3.4兲 role of a local kinetic temperature 具兩k兩2典 and the reservoir
temperature Tk.
When we add the Fk共兲 to 共3.1兲 to obtain 共2.6兲 the oscil-
lators become coupled, in fact, in a nonlinear and nonlocal
way. That coupling does, however, preserve the enstrophy
IV. ENSTROPHY DISSIPATION
very much like a Hamiltonian coupling that conserves the
energy. The picture that thus emerges is formally equivalent Continuing with the analogy above, a quantity is now
to a heat conduction network wherein the vertices of the brought to the forefront which we call the entropy current S.
network are represented by the modes k. Since the net enstrophy current leaving the system at each
The Euler equation represents the conservative part of the mode k is Jk = Jout in
k − Jk and the corresponding “effective tem-
time evolution. That is changed by the addition of the Lange- perature” is Tk, we set
vin forces that represent “thermal” reservoirs at each of the
k; thus obtaining our equation 共2.6兲. Observe that the “fric- 1
S⬅兺 Jk 共4.1兲
tion” depends on the “location” k of the oscillator. Standard k Tk
thermodynamics then teaches us that there will be a “heat
current” from higher to lower temperature. That “heat cur- as the variable entropy current. It is a function of the history
rent” is in our present setup played by the enstrophy current. 共3.3兲 over 关− , 兴. The entropy current S is the entropy pro-
Hence, if the driving makes Tk a decreasing function of 兩k兩, duction in the environment associated with the enstrophy
e.g., by having ␥k ⬃ k−␣ for some ␣ ⬎ 0, then the enstrophy dissipation; it is the usual sum over all dissipative currents
should be transported from small 兩k兩 towards larger 兩k兩. That divided by the respective temperatures. In the stationary
picture will be detailed in the following sections. state, the average 具S典 is the total change of the entropy in the
The forward generator L+ corresponding to the Markov universe over the time interval 关− , 兴.
diffusion 共2.6兲 can be split into a “conservative” and a “dis- We will now show what is suggested thermodynamically
sipative” part, L+ = L+c + L+d , with by the previous analogy: S should measure the irreversibility
056314-4
ENSTROPHY DISSIPATION IN TWO-DIMENSIONAL… PHYSICAL REVIEW E 72, 056314 共2005兲
−
册
F̄k共兲dk ⴰ ⌰
冋冕 册
j
F̄k共兲
P = − Re dt = 0,
R ⬅ ln 共4.2兲 − ¯k
P ⌰
because F̄k /
¯ k = 0 关see 共2.5b兲兴.
as a measure of irreversibility. It gives the ratio between the As a consequence, 共4.3兲 becomes
probability of a history and the probability of the time-
reversed history ⌰. We show that R coincides with S up to R = S + ln 关共− 兲兴 − ln 关共兲兴 共4.4兲
a temporal boundary term. Moreover, taking stationary aver- with
再冋 冎
ages, 具R典 = 具S典. Since by construction 具R典 艌 0, it also follows
that 具S典 艌 0.
To compute R, it is useful to compare the path-space mea-
S=兺
k
1
Tk
2k 共− 兲 2k 共兲
2
−
2
+ 册冕
−
Re关kF̄k共兲兴dt .
sure with the reference path-space measure of the uncoupled
case 共3.1兲, denoted by P0,0 共this is stationary and reversible兲. From 共2.8兲, this expression coincides exactly with 共4.1兲, as
Thus, first we compute the action promised.
When, instead of the stationary , we had taken some
initial density evolving as t , t 苸 关− , 兴, the analysis above
P would be essentially unchanged. In that case the source of
A ⬅ ln 0,
P 0 irreversibility is
1
and similarly A ⴰ ⌰, to finally estimate 共4.2兲 as the source R=兺 Jk + ln −共−兲 − ln 共兲, 共4.5兲
k Tk
of time-reversal breaking
where the only difference with 共4.4兲 resides in the last two
R = A − A ⴰ ⌰. 共4.3兲 terms, the temporal boundary
The comparison of the two measures P and P0 is made by 关− ln 共兲兴 − 关− ln −共−兲兴.
means of the Girsanov formula 关14兴, obtaining
A = 兺
1
2␥k 再冕 冋
1
k2 Re关kF̄k共兲兴 − 兩Fk共兲兩2 dt
2
册 A. Mean entropy production
From the definition 共4.2兲 it directly follows that
册冎
k −
+ Re 冋冕
−
F̄k共兲dk + ln 关共− 兲兴 − ln 关共− 兲兴.
0
具e−R典 = 1
共it is essentially the normalization condition of the path-
space measure P ⌰兲. Hence, by a convexity inequality, the
Substituting ⌰ gives stationary enstrophy dissipation 具S典 = 具R典 艌 0. We can, how-
ever, be more explicit concerning that point by deriving an
A ⴰ ⌰ = 兺
1
再冕 冋
1
− k2 Re关kF̄k共兲兴 − 兩Fk共兲兩2 dt 册
expression for 具S典 that is explicitly non-negative. In fact, we
will show that
冓冉 冊冔
2␥k 2
册 冎
k −
冋冕
2
具S典 = 兺 ␥k exp关− Vk共兲兴 exp关Vk共兲兴 , 共4.6兲
+ Re F̄k共兲dk ⴰ ⌰ + ln 关共兲兴 − ln 0关共兲兴. k k
−
where
Here, Itô stochastic integrals are performed and one should Vk共兲 ⬅ 兩k兩2/共2Tk兲 + ln 共兲.
remember that these are themselves not time-reversal sym-
metric 关14兴. As an example for computing 共4.3兲, we see that From 共4.6兲, 具S典 ⬎ 0 strictly, as we can only have
056314-5
M. BAIESI AND C. MAES PHYSICAL REVIEW E 72, 056314 共2005兲
where S共兲 ⬅ −兰d 共兲ln 共兲 is the Shannon entropy of For the enstrophy dissipation,
the density . Another formulation is
具S典 = 兺 k具Jk典 ⬎ 0.
冕 共4.13兲
E−关R兴 = Ṙ共t兲dt k
−
We have here formally the same situation as for a heat con-
with, similar to 共3.7兲, duction network, as considered, e.g., in Ref. 关24兴. The rela-
冋冕 册
tions 共4.12兲 and 共4.13兲 do not, of course, uniquely determine
1 d
Ṙ共t兲 ⬅ 兺 k2k
the mean enstrophy currents, but their direction or sign is
d 兩 k兩 2 t共 兲 − + S共t兲.
k k dt thermodynamically determined by analogy with heat con-
duction.
共4.8兲 Let us first consider the typical case in which the strengths
␥k are nonzero only for a neighborhood of k = 0, say ␥k = 1
The previous considerations thus identify the mean dissipa-
when 兩k兩 艋 , and outside that large wavelength regime:
tion rate at time t 共in the transient regime兲 with Ṙ共t兲. ␥k ↓ 0 , 兩k兩 ⬎ . In terms of heat conduction, it would mean
To see the relation with 共4.6兲, we start by evaluating the that the temperatures Tk = 1 / 共k2兲 are decreasing outward in
time-derivative of the Shannon entropy: the disk for 兩k兩 艋 and fall to Tk = 0 outside 共兩k兩 ⬎ 兲. Clearly
冕 冕
then, there will be a heat current toward increasing 兩k兩 or,
dS d
共兲 = − d ln = − d共L+兲ln . 共4.9兲 here, an enstrophy current towards smaller wavelengths. In
dt dt other words, the enstrophy current is a kind of nonlocal heat
current the direction of which is determined by the Second
Using the invariance of the Shannon entropy under the con- Law. Because of the nonlocality of the term Fk共兲, the cur-
servative 共Euler兲 part of 共3.5a兲, we get
rent will not stop at the boundary of the disk but will be more
冕
and more suppressed when regarding Jkᐉ for k inside and ᐉ
dS
共兲 = − d共L+d 兲ln outside the disk. For really large ᐉ there is no longer a visible
dt local heat current. That seems compatible with the observa-
= 兺 ␥k
k
冕 d Xk
ln
k
tions 关8兴 that the enstrophy cascade remains pretty localized
around the forcing window.
In general, however, when all ␥k ⬎ 0 are active, we have a
= 兺 ␥k 冕 冉d Xk
Xk
−  k
¯k 冊 “temperature” profile ␥k / 共k2兲 that can, of course, be com-
plicated. If the ␥k depend only on 兩k兩, we have in essence a
冓冋 册 冔
k one-dimensional heat conduction problem 共along the radial
= 兺 ␥k
k
Xk
2
− 兺 k2
k
冕 d
¯ kX k . 共4.10兲
direction兲.
C. Fluctuations
Minus the second term, it reads Looking back at 共4.7兲 and 共4.8兲, we found the mean en-
冕 冕 冉 冊
tropy as the change of entropy in the environment S plus the
兺 k2 ¯ kX k = 兺 k 2
d d
¯k +  k k change of 共Shannon兲 entropy due to the stochastic dynamics
k k k in the system. Its stationary mean 共具R典 ⬎ 0兲 is strictly posi-
056314-6
ENSTROPHY DISSIPATION IN TWO-DIMENSIONAL… PHYSICAL REVIEW E 72, 056314 共2005兲
关1兴 R. H. Kraichnan, Phys. Fluids 10, 1417 共1967兲. 关17兴 E. Weinan, J. C. Mattingly, and Y. Sinai, Commun. Math.
关2兴 R. H. Kraichnan, J. Fluid Mech. 47, 525 共1971兲. Phys. 224, 83 共2001兲.
关3兴 C. E. Leith, Phys. Fluids 11, 671 共1968兲. 关18兴 S. Kuksin, A. Piatnitski, and A. Shirikyan, Commun. Math.
关4兴 G. K. Batchelor, Phys. Fluids 12共II兲, 233 共1969兲. Phys. 230, 81 共2002兲.
关5兴 P. Tabeling, Phys. Rep. 362, 1 共2002兲. 关19兴 J. Bricmont, A. Kupiainen, and R. Lefevere, Commun. Math.
关6兴 H. Kellay and W. I. Goldburg, Rep. Prog. Phys. 65, 845 Phys. 230, 87 共2002兲.
共2002兲. 关20兴 M. Hairer and J. C. Mattingly, C. R. Math. 339, 879 共2004兲.
关7兴 D. G. Dritschell and B. Legras, Phys. Today 46共3兲, 44 共1993兲.
关21兴 A. Kupiainen, lectures given at the workshop Random Media
关8兴 C. V. Tran and T. G. Shepherd, Physica D 165, 199 共2002兲; C.
2000, Madralin, 19–26 June 2000.
V. Tran and J. C. Bowman, Physica D 176, 242 共2003兲; Phys.
关22兴 D. Bernard, e-print cond-mat/0007106.
Rev. E 69, 036303 共2004兲.
关23兴 E. Aurell, G. Boffetta, A. Crisanti, P. Frick, G. Paladin, and A.
关9兴 G. L. Eyink, Physica D 91, 97 共1996兲.
关10兴 S. Chen, R. E. Ecke, G. L. Eyink, X. Wang, and Z. Xiao, Phys. Vulpiani, Phys. Rev. E 50, 4705 共1994兲.
Rev. Lett. 91, 214501 共2003兲. 关24兴 C. Maes, K. Netǒcný, and M. Verschuere, J. Stat. Phys. 111,
关11兴 M. Lesieur, Turbulence in Fluids, 3rd ed. 共Kluwer, Dordrecht, 1219 共2003兲.
1997兲. 关25兴 C. Maes, in Poincaré Seminar 2003, edited by J. Dalibard, B.
关12兴 U. Frisch, Turbulence 共Cambridge University Press, Cam- Duplantier, and V. Rivasseau 共Birkhäuser Verlag, Basel, 2004兲,
bridge, UK, 1995兲. pp. 145–191.
关13兴 R. H. Kraichnan, Adv. Math. 16, 305 共1975兲. 关26兴 D. J. Evans, E. G. D. Cohen, and G. P. Morriss, Phys. Rev.
关14兴 R. S. Lipster and A. N. Shiryayev, Statistics of Random Pro- Lett. 71, 2401 共1993兲.
cesses I, II 共Spinger-Verlag, New York, 1978兲. 关27兴 G. Gallavotti and E. G. D. Cohen, Phys. Rev. Lett. 74, 2694
关15兴 J. C. Mattingly, Commun. Math. Phys. 206, 273 共1999兲. 共1995兲.
关16兴 J. P. Eckmann and M. Hairer, Commun. Math. Phys. 212, 105 关28兴 G. Gallavotti and E. G. D. Cohen, J. Stat. Phys. 80, 931
共2000兲. 共1995兲.
056314-7