On some properties of Lagrangian dispersion models
with non-Gaussian noise
()( ) R. CESARI
(
1)
and F. TAMPIERI(
2)
( 1) IMGA/CNR, Modena, Italy (
2
) FISBAT/CNR, Bologna, Italy
(ricevuto il 10 Gennaio 1996; approvato il 19 Luglio 1996)
Summary. — The properties of a stochastic model with non-Gaussian random noise describing turbulent dispersion have been investigated, with reference to its mathe-matical structure and to its behaviour simulating the inertial subrange. The process is Markovian, mean-square continuous and with-correlated increments. The model
is influenced by the turbulence inhomogeneities also at the smallest scales, that is, it does not correctly simulate the existence of a well-developed inertial subrange. Some numerical computations have been performed confirming the theoretical results. PACS 92.60.Ek – Convection, turbulence, and diffusion.
PACS 47.27.Qb – Turbulent diffusion. PACS 01.30.Cc – Conference proceedings.
1. – Introduction
The Lagrangian description of turbulent dispersion by means of stochastic pro-cesses was initiated by Taylor (1921) [1] with reference to homogeneous turbulence. Obukhov (1959) [2] made explicit use of a stochastic differential (Langevin) equation to deal with the same problem, whereas more recently Thomson [3, 4] generalized the Langevin equation in the case of inhomogeneous turbulence.
Thomson [4] outlined some general conditions that have to be satisfied by a stochastic model for describing the turbulent dispersion of marked fluid particles, that is:
1. At small time scale, the accelerations of the fluid particles are independent of each other [5], so that the stochastic process describing the velocity is a Markov process.
(
)Paper presented at EUROMECH Colloquium 338 “Atmospheric Turbulence and Dispersion in
Complex Terrain” and ERCOFTAC Workshop “Data on Turbulence and Dispersion in Complex Atmospheric Flows”, Bologna, 4-7 September 1995.
(
)The authors of this paper have agreed to not receive the proofs for correction.
c
2. The small time behaviour of the statistics of the particle velocity has to be consis-tent with the Kolmogorov hypothesis referring to the inertial subrange, that is, the correlation of the velocity increments has to be independent of the initial conditions and grow linearly with time [5, 6].
3. A true fluid particle is characterized by a continuous trajectory, so that it seems reasonable to require the stochastic process to be continuous (this is the assumption leading to the model choice made by Thomson [4] and other authors).
4. If the particles of tracer are initially well mixed, they will remain so. This criterion is referred to as well-mixed condition and applies to general, unsteady situations. A weaker condition was used in [3], that is, for times larger than the time scale of the inertial subrange the unconditioned statistics of the particle velocities has to be the same as the Eulerian statistics of the fluid velocity.
A detailed analysis of the previous points has been performed by [4] and by [6] referring to stochastic models with noise described by a Wiener process. In particular, [4] proposed a model based on the previous assumptions, which has been used to investigate dispersion in complex flows (see, for istance, Luhar and Britter [7] and N¨aslund et al. [8]). The main shortcomings of this type of model have been also discussed in details, for istance by Sawford [9]. Namely, in the 3D case, the equation leading to define the drift term in the Langevin equation does not have in general a unique solution.
On the other hand, the model described by Thomson [3], characterized by a non-Gaussian noise, appears to be of easy application, although there are some problems with respect to the conditions outlined above. In particular, the trajectories of the stochastic process do not display sample-path continuity (a strong continuity condition, as will be discussed after), thus lacking to satisfy condition 3). In spite of this, implementations of this model turn out to describe quite well dispersion experiments in perturbed boundary layers (see Thomson [10], Tinarelli et al. [11], Brusasca et al. [12], Tampieri et al. [13]).
In this paper we shall discuss the structure of the stochastic process with non-Gaussian noise, as derived by Thomson [3], in order to discuss the applicability condition of the model.
2. – An outline of the model
According to the model proposed by Thomson [3], and referring to a monodimen-sional case, the motion of each particle in the phase space
(
x;v)
is described by a Langevinequation, as follows: 8 < :
d
v=
; v Td
t+ d
(
t)
;d
x=
vd
t; (2.1)whereT has the meaning of a decorrelation time (in homogeneous turbulenceT is the
Lagrangian correlation time) andis a random function with h
(
t i)
(
t j)
i=
(
t i ;t j)
; (2.2)wherehiindicates the ensemble average.
Information about the structure of turbulence is put into the explicit form ofT and
of the probability distribution (PDF) of, so that in general they will be function of
In the following we shall examine the properties of the discretized form of the model (2.1), that is:
8 > < > : v i+1
=
1
; t T i+1 v i+
i+1 ; x i+1=
v i t+
x i ; (2.3) where nowkis a discrete random process whose PDF is determined, according to
Thom-son [3], imposing that the unconditioned steady-state distribution of the particles in the
(
x;v)
space is the same as the Eulerian distribution of the fluid.The expressions for the moments i
are reported in [3], (eq. 10), at first order in
T,and in appendix A at the second order in
tfollowing [14] (eq. 3.7).To generate the realizations of the process
kwe shall use random numbers sampled
from a distribution with the first four moments i
;i
= 1
;:::;4
given by (A.1). We note herethat only using the moments of the random forcing expressed at order
(
t)
2the Gaussian case can be recovered exactly (because
4 turns to be equal to
3(
2)
2)
. Moreover the Schwartz inequality 2 4 >(
3)
2is satisfied, at least as far as the order of magnitudes are concerned, for all but the case of Gaussian inhomogeneous turbulence. In this respect, we note that this is a quite unphysical case, and does not describe the atmospheric boundary layer [15–17].
Condition (2.2) ensures that the process described by (2.1) is Markovian [18]. A few comments on the local structure of the increments of the process are in order. For small timesi
tT, beingTthe scale of the decorrelation timesTi, there results v i+1 ;v 0
=
i+1 X k =1 k ;v 0 t i+1 X k =11
T k+ O(
t 2)
: (2.4)The correlation of the velocity increments results, forij
+ 1
h(
v i+1 ;v i)(
v j+1 ;v j)
i=
t 2 T i+1 Tj+ 1
hv i v j i+
h i+1 j+1 i; t T j+1 j;i+1 h i+1 j i; (2.5) buth i+1 j+1 i= 0
by (2.2) andhv i v ji
= 0
by Markovianity. Thus, the process is-correlated.
3. – Continuity of the trajectories
The continuity of the trajectories of the particles in the phase space is a physical re-quirement, if real trajectories have to be simulated. Because the stochastic model is used to describe the average properties over an ensemble of trajectories, we are not interested in the behaviour of the single trajectory, but only in the average behaviour of the ensem-ble, thus we argue that the relevant continuity condition for the process is a condition requiring the continuity in probability.
An appropriate continuity condition is a criterion [19] which reads
lim
t!0 h(
v i+1 ;v i)
2 i= 0
: (3.1)In fact there results
(
v i+1 ;v i)
2=
t 2 T 2 v 2 i+
2 i+1 ;2
t T i+1 v i i+1 (3.2)and thus h
(
v i+1 ;v i)
2 i=
t 2 v 2 i T 2 i+1+
h 2 i+1 i; (3.3) solim
t!0 h(
v i+1 ;v i)
2 i= 0
: (3.4)Thus, the present process is mean-square continuos, a weaker condition with respect to the sample path continuity, which could be expressed following a condition given by Kol-mogorov [20]. This criterion implies the existence of positive constantsp;r;Lsuch that
h
(
v i+1 ;v i)
p i Ljtj jlg 2 jtjj 1+r ; p<r; (3.5) wherev i+1, viare the velocities at times
(
i
+ 1)
tandit. This stronger continuitycon-dition is verified in the Gaussian case, and in general by the Thomson [4] model, because the noise is a Wiener process and the stochastic process has locally the same form as a process with independent increments.
4. – The small time behaviour
The existence of the inertial subrange has some implications on the behaviour of the trajectories of the stochastic model (as outlined by [6]). The Kolmogorov hypothesis states that in the inertial subrange the structure of the turbulence is locally homogeneous and isotropic. Because the accelerations are shown to be almost independent of each other [6], any process describing the trajectories has to be a Markovian process with-correlated
increments.
In the inertial subrange the correlation of the velocity increments is given by
h
(
v i ;v 0)
2;
v 0 i=
c 0 it; (4.1)whereis the dissipation rate, and the constantc
0takes a value between 2 and 7,
accord-ing to the literature. In general, we have h
(
v i ;v 0)
q;
v 0 i= (
c 0 it)
q 2 ; (4.2)but the odd moments have to be zero to the leading order due to isotropy.
In particular, we must note that the moments are independent of the value of the initial velocityv
0.
The present model is characterized by a non-Gaussian random noise, and then its PDF does not satisfy a Fokker-Planck equation (at variance with models with Gaussian noise). The relevant equation is a Kramers-Moyal equation, which does not give an ex-pression for the PDF that can be used for the present purposes. More simply, it is possible to compute the first moments of the velocity increments directly from (2.3). The velocity increment may be written as
v i+1 ;v 0
=
;v 0 t 0 @ i+1 X1
T j 1 A+
i+1 X j+ O(
t 2)
: (4.3)Fig. 1. –h(v i+1 ;v 0 ) 2
ias a function of time, for T, in the case of homogeneous turbulence.
Continuous line: first term of eq. (4.6); stars: numerical simulation average over10 4
trajectories.
In general, the value of the decorrelation timeT and the PDF of the noise vary with
the position along the trajectory. However, for small times (k
t T) we assume thaton average the total distance covered by each particle is small with respect to the spatial scale of variation of the turbulence. Consequently, in the following computations we will use the values of the time scaleT and of the moments of the noise computed in the initial
points of the trajectories. Obviously this is not a restriction in homogeneous turbulence. Averaging over the ensemble of trajectories we have
h
(
v i+1 ;v 0)
2 i=
G 1 ;G 2 t+
v 2 0 T 2 ;2
v 0 A 1 T 2+ O(
t)
2)
(4.4) and h(
v i+1 ;v 0)
3 i=
H 1 ;H 2 t;3
v 0 G 1 T 2+ 3
v 0 G 2 T t 2+
(4.5)+
3
v 2 0 A 1 2+ 3
v 0 G 1 2 3+
;3
v 2 0 A 2 2 ;3
v 0 G 2 2 t 3+ O(
t 2)
Fig. 2. – As in fig. 1, but for the third momenth(vi+1;v0) 3
i, eq. (4.7).
where
= (
i+ 1)
t.The expressions for the coefficients are reported in appendix A.
In homogeneous, non-Gaussian turbulence the previous expression reduces to
h
(
v i+1 ;v 0)
2 i= 2
k 2 T ; k 2 T 2 t+
v 2 0 T 2 2+ O(
t 2)
(4.6) and h(
v i+1 ;v 0)
3 i= 3
k 3 T ;3
k 3 T 2 t;6
v 0 k 2 T 2 2+ 3
v 0 k 2 T 3 t 2+ 6
v 0 k 2 T 3 3 ; (4.7) ;3
v 0 k 2 4 t 3+ O(
t 2)
:Fig. 3. – As in fig. 1, but in the case of inhomogeneous turbulence, eq. (4.4). The initial position of the trajectories is such that turbulence in the mixed region is strongly inhomogeneous and non-Gaussian.
At order the second moment is consistent with (4.2), holding in the inertial subrange,
that is, it does not depend on the initial velocityv
0and the coefficient of
is exactlyc 0
.
The dependence on the initial velocity appears at second order in. The independence
fromv
0at first order has a relation with the mean-square continuity discussed above. In
fact Borgas and Sawford [6] showed that in a discontinuos process (with jump) this depen-dence appears at first order in; the weak continuity condition of the present process is
then consistent with a good behaviour of the velocity correlation.
The third moment is different from zero at leading order, contradicting the above considerations on the odd moments, and showing that in this model the physical informa-tion derived from the large scale structure of the turbulence has an effect on the small time behaviour, being present in the structure of the noise. Consistently, in inhomoge-neous turbulence, the moments of the velocity increments depend at first order in on
the derivatives of the moments of the random forcing.
be-Fig. 4. – As in fig. 3, but for the third momenth(vi+1;v0) 3
i, eq. (4.5).
haviour condition, namely (4.2) above. However, if the model is applied to describe disper-sion over scales larger than the integral turbulence scale (or over times larger thanT), we
can neglect the small time behaviour of the dispersion. Thus, the model should be applied properly under these conditions.
The results obtained for the behaviour of the model at small times have been tested numerically using data on turbulence in a mixing region. The turbulent mixing region that develops when a high-velocity flow mixes with a low-velocity one presents a case of highly inhomogeneous turbulence. Detailed measurements of high-order moments and of many other quantities are available from laboratory experiments using high-pressure air inflated trough a nozzle in a chamber with still air [21].
For these experiments the PDF of the random forcing has been assumed to be given by the sum of two Gaussian distributions. Given only the first four moments the problem is not closed; we have adopted a closure presented by [14] wich minimizes the difference between the amplitude of the two Gaussian distributions. Because the time step was cho-sen to be quite small, the PDF of the random noise turns out to be quite skewned. This
fact leads to random numbers chosen more frequently from one Gaussian curve than from the other one. On the other hand, small time steps are necessary to obtain stable numer-ical results in the integration of the Langevin equation. Comparing the statistics of the particle velocity with those prescribed for the fluid, a good agreement results, showing that the ensemble average is made on a sample large enough to ensure stability of the computed moments [14].
Equations (4.4) and (4.5) have been verified using different values of the initial veloc-ityv
0. The numerical tests have shown the independence of velocity correlation on v
0.
In figs. 1-4 the behaviours ofh
(
v i+1 ; v 0)
2 iandh(
v i+1 ; v 0)
3iare reported forv
0
= 0
asa function of time: there results that the theoretical formula at order
t, i.e. the first termof eqs. (4.4)-(4.7) (continuous line), agrees with the numerical estimate (stars) within
10%
.5. – Conclusions
Some properties of a stochastic model for turbulent dispersion based on the Langevin equation with non-Gaussian noise have been examined.
The model turns out to be Markovian, with-correlated increments. Moreover, a
continuity condition for the trajectories has been verified.
The main difference with models characterized by a Gaussian noise lies in the be-haviour in the inertial subrange. The non-Gaussian model shows odd moments of the velocity increments which account for the inhomogeneous structure of turbulence. Thus this model does not describe in a proper way the existence of the inertial subrange, but can be applied to dispersion problems with time scale larger than that of the inertial sub-range. This was, in fact, done in the practical implementations of the model, already cited in the introduction. Moreover, the possibility to use such models in conditions when the inertial subrange is not developed, or is not explicitly described by the velocity field, has to be investigated.
APPENDIXA.
In this appendix we consider the explicit expression of the first four moments of the PDF of the random forcing used in (2.3). According to [14] (par. 3), we have
8 > > > > > > < > > > > > > : 1
=
tA 1 ;(
t)
2 A 2 ; 2=
tG 1 ;(
t)
2 G 2 ; 3=
tH 1 ;(
t)
2 H 2 ; 4=
tL 1 ;(
t)
2 L 2 ; (A.1) with8 > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > < > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > : A 1
= d
k 2d
x ; A 2=
d
k 2d
x1
T+ 12
d
2 k 3d
x 2 ; G 1=
2
k 2 T+ d
k 3d
x ; G 2=
" k 2 T 2+ 2
Td
k 3d
x+ 52
k 2d
2 k 2d
x 2+
d
k 2d
x 2 2+ 12
d
2 k 4d
x 2 # ; H 1=
3
k 3 T+ d
k 4d
x+ 3
k 2d
k 2d
x ; H 2=
3
k 3 T 2+ 3
Td
k 4d
x+ 3
T k 2d
k 2d
x+ 72
k 2d
2 k 3d
x 2+ 92
k 3d
2 k 2d
x 2+ 4d
k 2d
xd
k 3d
x+ 12
d
2 k 5d
x 2 ; L 1=
4
T k 4+ 6
k 3d
k 2d
x+ d
k 5d
x+ 4
k 2d
k 3d
x ; L 2=
" ;12
T 2 k 2 2+ 6
k 4 T 2+ 4
Td
k 5d
x+
k 2d
k 3d
x+ 3
k 3d
k 2d
x+ 7
k 4d
2 k 2d
x 2+ 8
k 3d
2 k 3d
x 2+
+92
k 2d
2 k 4d
x 2+ 6
k 2 2d
2 k 2d
x 2+ 3
k 2d
k 2d
x 2+ 4
d
k 3d
x 2+ 7d
k 2d
xd
k 4d
x # ; (A.2) wherek i;i
= 1
;:::;5
are the cumulants of the flow velocity, and we choosek1
= 0
accord-ing to the data [10].
REFERENCES
[1] TAYLORG. I., Proc. London Math. Soc., 20 (1921) 196. [2] OBUKHOVA. M., Adv. Geophys., 6 (1959) 113.
[3] THOMSOND. J., Q. J. R. Meteorol. Soc., 110 (1984) 1107. [4] THOMSOND. J., J. Fluid Mech., 180 (1987) 529.
[5] MONINA. S. and YAGLOMA. M., Statistical Fluid Mechanics of Turbulence, Vol. 2 (MIT Press, Cambridge, MA) 1975.
[6] SAWFORDB. L. and BORGASM. S., Physica D, 76 (1994) 297. [7] LUHARA. K. and BRITTERR. E., Atmos. Environ., 23 (1989) 1911. [8] N¨ASLUNDE. et al., Boundary-Layer Meteorol., 67 (1994) 369. [9] SAWFORDB. L., Boundary-Layer Meteorol., 62 (1993) 197. [10] THOMSOND. J., Q. J. R. Meteorol. Soc., 112 (1986) 511. [11] TINARELLIG. et al., J. Appl. Meteorol., 33 (1994) 744. [12] ANFOSSID. et al., Nuovo Cimento C, 15 (1992) 139. [13] TAMPIERIF. et al., Ann. Geophys., 10 (1992) 749.
[14] TAMPIERIF., SCARANIC. and GIOSTRAU., in Stably Stratified Flows, edited by I. P. CAS -TROand N. J. ROCKLIFF(Clarendon Press, Oxford) 1994, p. 275.
[15] CHIBAO., J. Meteorol. Soc. Jpn., 56 (1978) 140.
[16] MOENGC. H. and ROTUNNOR., J. Atmos. Sci., 47 (1990) 1149.
[17] TOWNSENDA. A., The Structure of Turbulent Shear Flow (Cambridge Univ. Press) 1976. [18] SANCHOJ. M. and SANMIGUELM., in Noise in nonlinear dynamical systems, edited by
F. MOSSand P. V. E. MCCLINTOCH, Vol. 1 (Cambridge Univ. Press) 1989, pp. 72-109. [19] KLOEDENP. E. and PLATENE., Numerical Solution of Stochastic Differential Equations
(Springer-Verlag) 1992.
[20] GIHMANI. I. and SKOROHODA. V., The Theory of Stochastic Processes, Vol. 1 (Springer) 1974.