Transport processes in heterogeneous media such as ionized plasmas, natural porous media, and turbulent atmosphere are often modeled as diffusion processes in random velocity fields.
Using the Itô formalism, we decompose the second spatial moments of the concentration and the equivalent effective dispersion coefficients in terms corresponding to various physical factors which influence the transport.
We explicitly define “ergodic” dispersion coefficients, independent of the initial conditions and completely determined by local dispersion coefficients and velocity correlations. Ergodic coefficients govern an upscaled process which describes the transport at large tine-space scales. The non-ergodic behavior at finite times shown by numerical experiments for large initial plumes is explained by “memory terms” accounting for correlations between initial positions and velocity fluctuations on the trajectories of the solute molecules.
Authors
N. Suciu Friedrich-Alexander University of Erlangen-Nuremberg, Institute of Applied Mathematics
C. Vamos Tiberiu Popoviciu Institute of Numerical Analysis (Romanian Academy) H. Vereecken Research Center Julich, ICG-IV: Agrosphere Institute
K. Sabelefld Weierstrass Institute for Applied Analysis and Stochastics, Berlin
Institute of Computational Mathematics and Mathematical Geophysics, Siberian Branch of Russian Academy of Sciences
P. Knabner Friedrich-Alexander University of Erlangen-Nuremberg, Institute of Applied Mathematics, Germany
Keywords
Ito equation; random fields; memory effects; ergodicity.
References
See the expanding block below.
Paper coordinates
N. Suciu, C. Vamoş, H. Vereecken, K. Sabelfeld P. Knabner, Itô equation model for dispersion of solutes in heterogeneous media, Rev. Anal. Numér. Théor. Approx., 37 (2008) no. 2, 221-238
[1] Balescu, R., Wang, H.-D. and Misguich, J. H., Langevin equation versus kinetic equation: Subdiffusive behavior of charged particles ina stochastic magnetic field, Phys. Plasmas 1(12), pp. 3826-3842, 1994.
[2] Bhattacharya, R. N. and Gupta, V. K., A Theoretical Explanation of Solute Dispersion in Saturated Porous Media at the Darcy Scale, Water Resour. Res., 19, pp. 934-944, 1983.
[3] Bouchaud, J.-P. and Georges, A., Anomalous diffusion in disordered media: Statistical mechanisms, models and physical applications, Phys. Rep., 195, pp. 127-293, 1990.
[4] Brouwers, J. J. H., On diffusion theory in turbulence, J. Eng. Mat., 44, pp. 277–295, 2002.
[5] Compte, A. and Cáceres, M. O., Fractional dynamics in random velocity fields, Phys. Rev. Lett., 81(15), pp. 3140-3143, 1998.
[6] Conlon, J. G. and Naddaf, A., Green’s functions for elliptic and parabolic equations with random coefficients, New York Journal of Mathematics, 6, pp. 153-225, 2000.
[7] Dagan, G., Theory of solute transport by groundwater, Annu. Rev. Fluid Mech., 19, pp. 183-215, 1987.
[8] Doob, J. L., Stochastic Processes, John Wiley & Sons, London, 1953.
[9] Eberhard J., Suciu, N. and C. Vamoş, On the self-averaging of dispersion for transport in quasi-periodic random media, J. Phys. A: Math. Theor., 40, pp. 597-610, doi: 10.1088/1751-8113/40/4/002, 2007.
[10] Fiori, A. and Dagan, G., Concentration fluctuations in aquifer transport: a rigorous first-order solution and applications, J. Contam. Hydrol., 45, pp. 139-163, 2000.
[11] Gardiner, C. W., Handbook of Stochastic Methods (for Physics, Chemistry and Natural Science), Springer, New York, 1985.
[12] Kloeden, P. E. and Platten, E., Numerical solutions of stochastic differential equations, Springer, Berlin, 1999.
[13] Jaekel, U. and Vereecken, H., Renormalization group analysis of macrodispersion in a directed random flow, Water Resour. Res., 33, pp. 2287-2299, 1997.
[14] LaBolle, E. M., Quastel, J., Fogg, G. E. and Gravner, J., Diffusion processes in composite media and their numerical integration by random walks: Generalized stochastic differential equations with discontinuous coefficients, Water Resour. Res., 36(3), pp. 651-662, 2000.
[15] Le Doussal, P. and Machta, J., Annealed versus quenched diffusion coefficient in random media, Phys. Rev. B, 40(12), pp. 9427-9430, 1989.
[16] Lumley, J. L., An approach to the Eulerian-Lagrangian problem, J. Math. Phys., 3(2), pp. 309-312, 1962.
[17] Lundgren, T. S., Turbulent pair dispersion and scalar diffusion, J. Fluid Mech. 111, pp. 27-57, 1981.
[18] Monin, A. S. and Yaglom, A. M., Statistical Fluid Mechanics: Mechanics of Turbulence, MIT Press, Cambridge, M A, 1971.
[19] Sposito, G. and Dagan, G., Predicting solute plume evolution in heterogeneous porous formations, Water Resour. Res., 30(2), pp. 585-589, 1994.
[20] Suciu, N., Some Relations Between Microscopic and Macroscopic Modelling of Thermodynamic Processes (in Romanian), Ed. Univ. Piteşti, Appl. and Ind. Math. Series, No. 5, 2001.
[21] Suciu, N. and Vamoş, C., Effective diffusion in heterogeneous media, Internal Report ICG-IV.00303, Research Center Jülich, 2003.
[22] Suciu, N., Vamoş, C., Vanderborght, J., H. Hardelauf and Vereecken, H., Numerical investigations on ergodicity of solute transport in heterogeneous aquifers, Water Resour. Res., 42, W04409, doi: 10.1029/2005WRR004546, 2006.
[23] Suciu, N., Vamoş, C. and J. Eberhard, Evaluation of the first-order approximations for transport in heterogeneous media, Water Resour. Res., 42, W11504, doi: 10.1029/2005WR004714, 2006.
[24] Suciu, N. and Vamoş, C., Comment on “Nonstationary flow and nonergodic transport in random porous media”by G. Darvini and P. Salandin, Water Resour. Res., 43, W12601, doi: 10.1029/2007WR005946, 2007.
[25] Suciu N., Vamoş, C., Sabelfeld, K. and Andronache, C., Memory effects and ergodicity for diffusion in spatially correlated velocity fields, Proc. Appl. Math. Mech., 7, 2010015-2010016, doi: 10.1002/pamm.20070057, 2007.
[26] Suciu N., Vamos, C., Vereecken, H., Sabelfeld, K. and Knabner, P., Dependence on initial conditions, memory effects, and ergodicity of transport in heterogeneous media, Preprint No. 324, Institute of Applied Mathematics, Friedrich-Alexander University Erlangen-Nuremberg (available online at http://www.am.uni-erlangen.de/de/preprints2000.html), 2008.
[27] Suciu, N., Vamos, C., Vereecken, H., Sabelfeld, K. and Knabner, P., Memory effects induced by dependence on initial conditions and ergodicity of transport in heterogeneous media, Water Resour. Res., 44, W08501, doi: 10.1029/2007WR006740, 2008.
[28] Vamoş, C., Suciu, N., Vereecken, H., Vanderborht, J. and Nitzsche, O., Path decomposition of discrete effective diffusion coefficient, Internal Report ICG-IV.00501, Research Center Jülich, 2001.
[29] Vamoş, C., Suciu, N. and Vereecken, H., Generalized random walk algorithm for the numerical modeling of complex diffusion processes, J. Comp. Phys., 186(2), pp. 527–544, doi: 10.1016/S0021-9991(03)00073-1, 2003.
[30] van Kampen, N. G., Stochastic Processes in Physics and Chemistry, North-Holland, Amsterdam, 1981.
[31] Yaglom, A. M., Correlation Theory of Stationary and Related Random Functions, Volume I: Basic Results, Springer-Verlag, New York, 1987.
[32] Zirbel, C. L., Lagrangian observations of homogeneous random environments, Adv. Appl. Prob., 33, pp. 810-835, 2001.
[33] Zwanzig, R., Memory effects and irreversible thermodynamics, Phys. Rev., 124(4), pp. 983-992, 1961.
ITÔ EQUATION MODEL FOR DISPERSION OF SOLUTES IN HETEROGENEOUS MEDIA
NICOLAE SUCIU ^(1){ }^{1}, CĂLIN VAMOŞ ^(2){ }^{2}, HARRY VEREECKEN ^(3){ }^{3}, KARL SABELFELD ^(4){ }^{4} and PETER KNABNER ^(5){ }^{5}
Abstract
Transport processes in heterogeneous media such as ionized plasmas, natural porous media, and turbulent atmosphere are often modeled as diffusion processes in random velocity fields. Using the Itô formalism, we decompose the second spatial moments of the concentration and the equivalent effective dispersion coefficients in terms corresponding to various physical factors which influence the transport. We explicitly define "ergodic" dispersion coefficients, independent of the initial conditions and completely determined by local dispersion coefficients and velocity correlations. Ergodic coefficients govern an upscaled process which describes the transport at large tine-space scales. The non-ergodic behavior at finite times shown by numerical experiments for large initial plumes is explained by "memory terms" accounting for correlations between initial positions and velocity fluctuations on the trajectories of the solute molecules.
Dispersion of solutes in spatially heterogeneous media, such as natural porous media, turbulent atmosphere, or ionized plasmas, is often described
as a two sale process, consisting of a local dispersion mechanism and random space functions describing the medium properties at larger scales. Let X_(l)X_{l} be the ll component of the trajectory of a solute molecule, governed by a dispersion process in a random velocity field V\mathbf{V}. To simplify matters, we consider only the diagonal components lll l of the various second moments. For a fixed realization of the velocity, the second moment s_(ll)s_{l l} of the actual concentration is given by the dispersion, or the mean-square displacement of the molecules at a given time {:(1)s_(ll)=(:[X_(l)-(:X_(l):)_(DX_(0))]^(2):)_(DX_(0)):}\begin{equation*}
s_{l l}=\left\langle\left[X_{l}-\left\langle X_{l}\right\rangle_{D X_{0}}\right]^{2}\right\rangle_{D X_{0}} \tag{1}
\end{equation*}
The subscripts DD and X_(0)X_{0} in (1) denote respectively the average over the realizations of the local dispersion and the space average with respect to the initial distribution of molecules. A subscript VV shall indicate averaging over the ensemble of realizations of the random velocity field and ensemble averages shall be noted by corresponding capital letters, e.g. S_(ll)=(:s_(ll):)_(V)S_{l l}=\left\langle s_{l l}\right\rangle_{V}.
The dispersion (1) provides a measure for the spatial extension of the solute plume. Its dependence on time s_(ll)∼t^(alpha)s_{l l} \sim t^{\alpha} is commonly used to investigate whether the transport is diffusive, alpha=1\alpha=1, or it has anomalous behavior, alpha!=1\alpha \neq 1. Since it can be estimated, by either analytical approximations or numerical simulations, without solving the transport equations [23, 9] this quantity is particularly useful in investigations on pre-asymptotic transport regime, for which generally there are no close form solutions. The aim of this paper is to investigate the structure of various dispersion terms for transport processes described by the Itô equation. Numerical simulations for a typical case of contaminant transport in groundwater will be used to illustrate the time behavior of dispersion and its dependence of on initial conditions.
2. ITÔ FORMALISM
When the local dispersion is described as a diffusion-like process, the Itô equation provides mathematically consistent and physically relevant descriptions of the transport in random media. For instance, the validity of the Itô equation as a model for the motion of the solute molecules at Darcy scale was inferred from a microscopic description of the transport in saturated porous media [2]. For a given realization V(x)\mathbf{V}(\mathbf{x}) of a time independent random velocity field and a constant local dispersion coefficient DD, the trajectories of the local advection-dispersion process starting at t=0t=0 from X_(0)\mathbf{X}_{0} are solutions of the integral Itô equation
where W_(l)(t)=int_(0)^(t)dW_(l)(t^('))W_{l}(t)=\int_{0}^{t} \mathrm{~d} W_{l}\left(t^{\prime}\right) is a stochastic integral which defines a Wiener process with the properties
{:(3)(:W_(l):)_(D)=0","(:W_(l)^(2):)_(D)=2Dt:}\begin{equation*}
\left\langle W_{l}\right\rangle_{D}=0,\left\langle W_{l}^{2}\right\rangle_{D}=2 D t \tag{3}
\end{equation*}
The particular construction of the partial sums, which evaluates the integrand at the left of the discretization interval, and the independence of the increments dW_(l)\mathrm{d} W_{l} of the Wiener process lead to the cancelation of the average of the Itô integral [11, 12]. For instance,
Taking into account that (:dW_(l):)_(D)^(2)=2Ddt\left\langle\mathrm{d} W_{l}\right\rangle_{D}^{2}=2 D \mathrm{~d} t, as follows from (3), and collecting terms of first-order in dt\mathrm{d} t and dW\mathrm{d} W, the differential of a function of time and of the ll component of the Itô process (2), f(t,x)=f(t,X_(l)(t))f(t, x)=f\left(t, X_{l}(t)\right), is computed as
where the derivatives are evaluated at x=X_(l)(t)x=X_{l}(t). This is a particular form of the stochastic chain rule known as the Itô formula (see e.g. [12], Section 3.3), which is mainly used in its integral form
If the probability distribution of the Itô process (2) has a density p(x,t)p(\mathbf{x}, t) with respect to the Lebesgue measure, the expectation (:f(X(t)):)_(DX_(0))=int f(x)p(x,t)dx\langle f(\mathbf{X}(t))\rangle_{D X_{0}}=\int f(\mathbf{x}) p(\mathbf{x}, t) \mathrm{d} \mathbf{x} of some function with compact support f(x)f(\mathbf{x}) can be written by using the Dirac delta\delta distribution as (:int f(x)delta[x-X(t)]dx:)_(DX_(0))=int f(x)(:delta[x-X(t)]:)_(DX_(0))dx\left\langle\int f(\mathbf{x}) \delta[\mathbf{x}-\mathbf{X}(t)] \mathrm{d} \mathbf{x}\right\rangle_{D X_{0}}=\int f(\mathbf{x})\langle\delta[\mathbf{x}-\mathbf{X}(t)]\rangle_{D X_{0}} \mathrm{~d} \mathbf{x}. Hence, the probability density is given by p(x,t)=(:delta[x-X(t)]:)_(DX_(0))p(\mathbf{x}, t)=\langle\delta[\mathbf{x}-\mathbf{X}(t)]\rangle_{D X_{0}}. Generalizing, one obtains a hierarchy of consistent joint nn-times probability densities [20],
The densities (6) are projections on cylindrical sets {X(t_(1))=x_(1);X(t_(2))=:}{:x_(2);cdotsX(t_(n))=x_(n)}\left\{\mathbf{X}\left(t_{1}\right)=\mathbf{x}_{1} ; \mathbf{X}\left(t_{2}\right)=\right. \left.\mathbf{x}_{2} ; \cdots \mathbf{X}\left(t_{n}\right)=\mathbf{x}_{n}\right\} of the probability measure on the space of Itô processes (2) starting from initial positions X_(0)\mathbf{X}_{\mathbf{0}} [8, 33, 30, 11, 12]. In particular, the normalized concentration is defined by the one-time probability density, c(x,t)=p(x,t)c(\mathbf{x}, t)= p(\mathbf{x}, t).
Doob ([8], Chap. VI.3) has proved that with the Itô interpretation of the stochastic integral the solutions of the Itô equation, under suitable regularity properties of its coefficients, are trajectories of the diffusion process with densities of transition probabilities obeying a Fokker-Planck equation, and conversely, the trajectories of a diffusion process defined by the coefficients of the Fokker-Planck equation are solutions of the Itô equation. The normalized concentration cc verifies the same Fokker-Planck equation. In the case of constant
coefficient DD which we consider here, this is simply the advection-dispersion equation
{:(7)del_(t)c+grad(Vc)=Dgrad^(2)c:}\begin{equation*}
\partial_{t} c+\nabla(\mathbf{V} c)=D \nabla^{2} c \tag{7}
\end{equation*}
The connection with the Stratonovich equation and Fick's law, for smoothly variable DD, can be established by using the Itô formula ([11], Section 4.3.6). Itô formalism can also be used to account for variable porosity and discontinuous DD [14]. The equivalence between (2) and (7) is the basis for numerical methods such as the particle tracking procedure in its Itô implementation, i.e. the forward-time Euler scheme for equation (2) [12], or the GRW algorithm [29] used in simulations presented in this paper.
We note here the difference between the Itô formalism and a somewhat similar "Lagrangian" approach. In the latter, the concentration is defined by the relation (6) for n=1n=1, without average over the realizations of the local dispersion process. This Lagrangian concentration is the solution of a purely advective equation, like that obtained by removing the dispersive term on the right hand side of (7) ([11, p. 54). When the Lagrangian approach is extended to advection-dispersion processes, the velocity field is of the form V+dW//dt\mathbf{V}+\mathrm{d} \mathbf{W} / \mathrm{d} t (e.g. [7, 10]). Since the derivative of the Wiener process does not exist ([11], p. 69), the transformation from X_(0)\mathbf{X}_{\mathbf{0}} to X\mathbf{X} is not one-to-one and has no unique inverse. Or, these are necessary conditions for the definition of the "fluid particle" and for the rigorous Lagrangian approach [17]. However, the smoothness and boundedness of the time derivative of the trajectory X_(l)(t)X_{l}(t) which permit the use of a Lagrangian description [19] can be ensured by modeling the local dispersion as a spatially correlated noise ([32], Section 7). Alternatively, a Fokker-Planck equation for the probability density of the particle position can be derived by applying a rigorous asymptotic analysis for small velocity fluctuations to a Lagrangian trajectory equation 4 . Even if the conceptual inconsistencies can be avoided in this way and equation (2) can be retrieved as a limit case, the Lagrangian approach still differs from Itô formalism by two important features. Firstly, joint probabilities of advective and dispersive displacements have to be inferred from hypotheses and approximations [10]. Secondly, by using a Fourier representation for trajectories, the dependence of the second moment on the local dispersion coefficient is introduced via the relation between the characteristic function and the variance of the Gaussian local dispersion process ([7], equation (3.11), [10], equation (14)). For our purposes, the Itô formalism has the advantage of simplicity and clarity. It relates dispersion and velocity statistics and yields first-order approximations in real time-space domain, by using explicit averaging over local dispersion, initial concentration distribution, and velocity realizations.
3. DISPERSION TERMS AND DISPERSION COEFFICIENTS
Assuming the existence and the uniqueness of the solutions of the Itô equation, the terms of the actual dispersion (4) can be computed as follows. From
(2) and (3) one obtains the average of X_(l)X_{l}, i.e. the ll component of the plume center of mass,
By applying the Itô formula (5) to the function f(t,X_(l)(t)=[X_(l)(t)-:}(:X_(l):)_(DX_(0))(t)]^(2)f\left(t, X_{l}(t)=\left[X_{l}(t)-\right.\right. \left.\left\langle X_{l}\right\rangle_{D X_{0}}(t)\right]^{2}, with {:X_(l)(0))=X_(0l)\left.X_{l}(0)\right)=X_{0 l}, one obtains
After averaging with respect to DD and X_(0)X_{0} and using the property (4) of the Itô integral, the first term of (9) yields the deterministic initial second moment S_(ll)(0)=(:[X_(0l)-(:X_(0l):)_(X_(0))]^(2):)_(X_(0))S_{l l}(0)=\left\langle\left[X_{0 l}-\left\langle X_{0 l}\right\rangle_{X_{0}}\right]^{2}\right\rangle_{X_{0}}, the second and fourth terms are averaged out, and one obtains the following explicit form of the dispersion (1):
Useful information on dispersion of a non-singular initial concentration distribution (not concentrated at a point) is obtained if the relative displacement widetilde(X)_(l)=X_(l)-X_(0l)\widetilde{X}_{l}=X_{l}-X_{0 l} is introduced into (10),
with the drift coefficient defined by V_(l)(( widetilde(X))(t)+X_(0))=V_(l)(X(t),t)V_{l}\left(\widetilde{\mathbf{X}}(t)+\mathbf{X}_{0}\right)=V_{l}(\mathbf{X}(t), t) and initial condition widetilde(X)_(l)=0\widetilde{X}_{l}=0. From (12) and (3) we can see that the last term of (11) is twice the spatial correlation between initial positions measured from the center of mass of the initial plume X_(0l)-(:X_(0l):)_(X_(0))X_{0 l}-\left\langle X_{0 l}\right\rangle_{X_{0}} and the mean relative displacements (: widetilde(X)_(l):)_(D)\left\langle\widetilde{X}_{l}\right\rangle_{D}, which can also be expressed by twice the time integral of the spatial
correlation between initial positions and mean velocities (:V_(l)(X(t^('))):)_(D)\left\langle V_{l}\left(\mathbf{X}\left(t^{\prime}\right)\right)\right\rangle_{D} sampled on the trajectories of the Itô process starting from initial positions X_(0)\mathbf{X}_{0},
Since the time behavior of m_(ll)m_{l l} defined by (13) tell us how much and how long the solute molecules "remember" their starting points, it has been called "memory term" 25, 24, 26, 27.
Considering the Itô process (12), applying the Itô formula (5) to the function f(t, widetilde(X)_(l)(t)=[ widetilde(X)_(l)(t)-(: widetilde(X)_(l):)_(DX_(0))(t)]^(2):}f\left(t, \widetilde{X}_{l}(t)=\left[\widetilde{X}_{l}(t)-\left\langle\widetilde{X}_{l}\right\rangle_{D X_{0}}(t)\right]^{2}\right., and taking the expectation, one finds that the dispersion of the relative displacements (:[ widetilde(X)_(l)-(: widetilde(X)_(l):)_(DX_(0))]^(2):)_(DX_(0))\left\langle\left[\widetilde{X}_{l}-\left\langle\widetilde{X}_{l}\right\rangle_{D X_{0}}\right]^{2}\right\rangle_{D X_{0}} is just the sum of the second and third terms of (11). Hence, the total dispersion is
(A similar relation holds for the case D=0D=0 as well [19, 24]). Further, from the identity (:[ widetilde(X)_(l)-(: widetilde(X)_(l):)_(DX_(0))]^(2):)_(DX_(0))=(:[ widetilde(X)_(l)-(: widetilde(X)_(l):)_(DX_(0)V)]^(2):)_(DX_(0))-[(:X_(l):)_(DX_(0))-(:X_(l):)_(DX_(0)V)]^(2)\left\langle\left[\widetilde{X}_{l}-\left\langle\widetilde{X}_{l}\right\rangle_{D X_{0}}\right]^{2}\right\rangle_{D X_{0}}=\left\langle\left[\widetilde{X}_{l}-\left\langle\widetilde{X}_{l}\right\rangle_{D X_{0} V}\right]^{2}\right\rangle_{D X_{0}}-\left[\left\langle X_{l}\right\rangle_{D X_{0}}-\left\langle X_{l}\right\rangle_{D X_{0} V}\right]^{2} one obtains
and u_(l)(X(t),t)=V_(l)(X(t))-(:V_(l)(X(t)):)_(DX_(0)V)u_{l}(\mathbf{X}(t), t)=V_{l}(\mathbf{X}(t))-\left\langle V_{l}(\mathbf{X}(t))\right\rangle_{D X_{0} V} is the velocity fluctuation with respect to the total average of the velocity sampled on trajectories (:V_(l)(X(t)):)_(DX_(0)V)\left\langle V_{l}(\mathbf{X}(t))\right\rangle_{D X_{0} V}. Hereafter the subscript VV denotes the average over the ensemble of velocity realizations. The explicit form of (17) follows directly from Itô equation (12), while (16) is derived from the Itô formula (5) applied to the function f(t, widetilde(X)_(l)(t)=[ widetilde(X)_(l)(t)-(: widetilde(X)_(l):)_(DX_(0)V)(t)]^(2):}f\left(t, \widetilde{X}_{l}(t)=\left[\widetilde{X}_{l}(t)-\left\langle\widetilde{X}_{l}\right\rangle_{D X_{0} V}(t)\right]^{2}\right.. Note that because the average velocity is independent of X_(0)\mathbf{X}_{0}, the memory term (13) can also be expressed by correlations initial positions-velocity fluctuations.
The relations (14) and (15) are simple identities and are strictly equivalent to the definition (1) of the dispersion. They are independent of the model for the trajectories of the transport process and apply for either Itô diffusions or for discrete/continuous time Markov chains [26, 27]. The Itô model discussed in this paper leads to the explicit forms (13), (16), and (17) of dispersion terms, which, as shown in the next Section can be expressed as averages with
respect to the probability densities (6) of the Itô process and lead to useful first order approximations.
Assuming all necessary joint measurability conditions which allow permutations of averages [32, the average over the ensemble of velocity realizations S_(ll)=(:s_(ll):)_(V)S_{l l}=\left\langle s_{l l}\right\rangle_{V} can be expressed as [25, 24]
where X_(ll)=(:[ widetilde(X)_(l)-(: widetilde(X)_(l):)_(DV)]^(2):)_(DV)X_{l l}=\left\langle\left[\widetilde{X}_{l}-\left\langle\widetilde{X}_{l}\right\rangle_{D V}\right]^{2}\right\rangle_{D V} is the one-particle dispersion and Q_(ll)=(:[(: widetilde(X)_(l):)_(DV)-(: widetilde(X)_(l):)_(DX_(0)V)]^(2):)_(X_(0))Q_{l l}= \left\langle\left[\left\langle\widetilde{X}_{l}\right\rangle_{D V}-\left\langle\widetilde{X}_{l}\right\rangle_{D X_{0} V}\right]^{2}\right\rangle_{X_{0}} is the spatial variance of one-particle center of mass (: widetilde(X)_(l):)_(DV)\left\langle\widetilde{X}_{l}\right\rangle_{D V}, which are related to the ensemble average widetilde(X)_(ll)=(: widetilde(x)_(ll):)_(V)\widetilde{X}_{l l}=\left\langle\widetilde{x}_{l l}\right\rangle_{V} by the relation
The other two terms in (18) are respectively M_(ll)=(:m_(ll):)_(V)M_{l l}=\left\langle m_{l l}\right\rangle_{V}, the mean memory term, and R_(ll)=(:r_(ll):)_(V)R_{l l}=\left\langle r_{l l}\right\rangle_{V}, the variance of the center of mass.
It is readily to check that the sum of the first four terms of (18) gives the dispersion over the total ensemble consisting of realizations of the Wiener process, initial positions, and velocity realizations,
The "ensemble dispersion" (20) is related to the ensemble average S_(ll)S_{l l} of the dispersion in single realizations of the random velocity field and to the variance of the center of mass R_(ll)R_{l l} by the identity
The new dispersion term occurring in (22) is given, according to (15), by sigma_(ll)=S_(ll)(0)+ widetilde(x)_(ll)+m_(ll)\sigma_{l l}=S_{l l}(0)+\widetilde{x}_{l l}+m_{l l}.
Dividing both sides of (15) by 2t2 t one obtains an equivalent relation which describes the structure of the effective dispersion coefficients d_(ll)^("eff ")=S_(ll)//(2t)\mathrm{d}_{l l}^{\text {eff }}=S_{l l} /(2 t) for a given realization of the velocity field:
The last three terms in (23) are respectively: the "advective coefficient" d_(ll)^("adv ")= widetilde(x)_(ll)//(2t)-D\mathrm{d}_{l l}^{\text {adv }}=\widetilde{x}_{l l} /(2 t)-D, associated to velocity fluctuations along trajectories, the "memory coefficient" d_(ll)^("mem ")=m_(ll)//(2t)\mathrm{d}_{l l}^{\text {mem }}=m_{l l} /(2 t), describing correlations between velocity fluctuations and initial positions, and the "center of mass coefficient" d_(ll)^(cm)=r_(ll)//(2t)\mathrm{d}_{l l}^{\mathrm{cm}}=r_{l l} /(2 t), a contribution of the fluctuating center of mass velocity. An identical relation holds for the corresponding ensemble averages. Among them, the mean advective coefficient D_(ll)^("adv ")=(:d_(ll)^("adv "):)_(V)= widetilde(X)_(ll)//(2t)-DD_{l l}^{\text {adv }}=\left\langle\mathrm{d}_{l l}^{\text {adv }}\right\rangle_{V}=\widetilde{X}_{l l} /(2 t)-D plays a special role in modeling diffusion in random fields. If the random velocity field is statistically homogeneous and the solutions of the Itô equation (2) are pathwise
unique, then the one-particle center of mass (: widetilde(X)_(l):)_(DV)\left\langle\widetilde{X}_{l}\right\rangle_{D V} and dispersion X_(ll)X_{l l} are independent of initial positions X_(0)\mathbf{X}_{0}, and the mean memory term M_(ll)M_{l l} vanishes [27]. Then, according to (19), widetilde(X)_(ll)=X_(ll)\widetilde{X}_{l l}=X_{l l} and one defines an "ergodic" coefficient D_(ll)^("erg ")=X_(ll)//(2t)[22D_{l l}^{\text {erg }}=X_{l l} /(2 t)[22. Under the above conditions, the ergodic coefficient is the sum between the local dispersion coefficient and the mean advective coefficient,
Known mathematical results show that under suitable limiting conditions the ergodic coefficient (24) tends to a "macrodispersion coefficient" governing an up-scaled process for the ensemble averaged concentration (e.g. 22, equation (4)).
If the velocity field has finite correlation range then it is ergodic [31, a property which essentially determines the dispersion in case of large supports of the initial concentration distributions [15, 26, 27. Heuristically, under the ergodic assumption one can replace space averages by ensemble averages, the second term of (14) estimates the one-particle dispersion X_(ll)X_{l l}, and one obtains
Thus, if one proves that in the limit of large times velocity fluctuations decorrelate from initial positions of the diffusing molecules, then the memory terms become negligible and the single realizations of transport are governed by the memory-free dispersion X_(ll)X_{l l}, or equivalently by the ergodic dispersion coefficients D_(ll)^("erg ")D_{l l}^{\text {erg }}. Such a behavior has been indicated by recent numerical investigations [27.
Since, as shown by (24), the ergodic behavior is basically governed by the advective coefficients, we analyze them here in more detail. The structure of the advective coefficient d_(ll)^("adv ")= widetilde(x)_(ll)//(2t)-D\mathrm{d}_{l l}^{\text {adv }}=\widetilde{x}_{l l} /(2 t)-D is that of the second term of (16),
In the case of homogeneous random velocity fields, which have vanishing mean fluctuations, the ensemble average of the second term of (27) vanishes. Hence,
the mean advective coefficient D_(ll)^("adv ")D_{l l}^{\text {adv }} is solely determined by velocity correlations and does not contain contributions from the cross-correlation between velocity fluctuations and Wiener process [26]. We show in the following that the single-realization coefficient d_(ll)^("adv ")\mathrm{d}_{l l}^{\text {adv }} has a similar structure. For that, we consider the solution of the Itô equation (2) constructed by successive approximations
If the drift coefficient V_(l)(x)V_{l}(\mathbf{x}) of the Itô equation is Lipschitz continuous, then X_(l)^((k))X_{l}^{(k)} converges in mean-square for k longrightarrow ook \longrightarrow \infty to the exact solution X_(l)X_{l} ([12, p. 133). The proof of convergence involves expectations of the squares of the terms of (28) and does not require a prescribed Wiener process. So, we can construct weak solutions, for instance by Euler scheme, of the equations for successive iterations kk of (28) with different Wiener processes independent of each other. In practice, this is always the case if the seed of the random number generator used in the weak Euler scheme is not resetted at the initial value after each iteration. This procedure yields a process that is not generally samplepath equivalent to X_(l)X_{l} but has the same probability law ([12, p. 144). Under these conditions u_(l)(X^((k-1))(t^(')),t^('))u_{l}\left(\mathbf{X}^{(k-1)}\left(t^{\prime}\right), t^{\prime}\right) is independent of W_(l)(t^('))W_{l}\left(t^{\prime}\right) at each iteration step, and since the successive approximations converge the second term of (27) vanishes. Thus, the advective coefficients in single-realizations of the velocity field are completely determined by correlations of velocity field sampled by the diffusion process,
This result was also obtained within a more laborious approach based on Fokker-Planck equation and Kolmogorov's definitions of drift and diffusion coefficients, under the assumption that the first two moments of the concentration field are finite at finite times [21]. Numerical simulations also show that contributions arising from cross-correlations between velocity fluctuations and diffusion jumps, replacing the Wiener process in weak schemes, are of the order of the numerical precision [28].
4. FIRST-ORDER APPROXIMATIONS
To write the dispersion terms (13), (16), and (17) as moments of the joint probabilities (6) of the Itô process, we define the projection of the continuous Eulerian velocity V_(l)(x)V_{l}(\mathbf{x}) on the trajectory X(t)\mathbf{X}(t) by using the Dirac measure delta\delta,
We note by c(x_(0))=c(x,0)c\left(\mathbf{x}_{0}\right)=c(\mathbf{x}, 0) the initial normalized concentration distribution given by (6) for n=1n=1 and t=0t=0, express the two-times joint probability densities as transition probabilities multiplied by c(x_(0)),p(x_(0);x,t)=p(x,t∣x_(0))c(x_(0))c\left(\mathbf{x}_{0}\right), p\left(\mathbf{x}_{0} ; \mathbf{x}, t\right)=p\left(\mathbf{x}, t \mid \mathbf{x}_{0}\right) c\left(\mathbf{x}_{0}\right), and the actual concentration as c(x,t)=int_(0)^(t)p(x_(0);x^('),t^('))dx_(0)c(\mathbf{x}, t)=\int_{0}^{t} p\left(\mathbf{x}_{0} ; \mathbf{x}^{\prime}, t^{\prime}\right) \mathrm{d} \mathbf{x}_{0} [11. Considering the form given by (29) of the dispersion term (16) and using (30) one obtains
The relations (31-33) achieve the explicit form of the decomposition (15) of the dispersion. Such relations were also derived for the more general case of space-time dependent velocity and local dispersion coefficient, from the definition of the drift and diffusion coefficients of the Fokker-Planck equation and the assumption that the first two moments of the concentration field are finite at finite times [21].
With the exception of some solvable problems, as for instance in the case of transport in perfectly stratified flows [1, 5], the ensemble average of (31-33) cannot be computed exactly. The difficulty arises from the highly non-linear dependence of probability densities in these relations on the velocity V_(l)(X(t))V_{l}(\mathbf{X}(t)) sampled on trajectories which, in their turn, are determined by the velocity field [1]. Exact calculations of the ensemble averages require the knowledge of the entire infinite-dimensional probability distribution in a function space of all the realizations of the velocity field (see [18, p. 571). Even in the advective case ( D=0D=0 ) when this functional probability can be constructed, the functional integration can be carried out only in particular circumstances for which the results can be obtained directly [16]. In principle, the problem of ensemble averaging can be handled by iterating indefinitely the transport equation around a particular solution independent of velocity realizations [3] 1, 13.
Iterations of the advection-dispersion equation (7) are usually done in La-place-Fourier space, but one expects to obtain an exact ensemble average dispersion only when the velocity field is modeled as a white noise in space [5]. Alternatively, the solution X(t)\mathbf{X}(t) of the Itô equation (2) can be approximated
by successive approximations (28), starting with some trajectory X^((0))(t)\mathbf{X}^{(0)}(t) that is independent of velocity statistics. The second iteration is already highly complex. In this approximation, the argument of u_(l)u_{l} in (16), (17), and (29) has to be replaced by X^((1))\mathbf{X}^{(1)}. But, as shown by (28), X^((1))\mathbf{X}^{(1)} depends on the values of the velocity V_(l)V_{l} at X^((0))(t^('))\mathbf{X}^{(0)}\left(t^{\prime}\right) for all times between 0 and tt. Hence, an infinite-dimensional probability distribution is needed to compute ensemble averages.
The approximation by the first iteration of the Itô equation, X_(l)(t)~~X_(l)^((1))(t)X_{l}(t) \approx X_{l}^{(1)}(t), which is equivalent to the most-used first-order approximations in velocity fluctuations [23], simplifies matters considerably. Now, as follows from (28), the argument of V_(l)V_{l} is replaced by X^((0))\mathbf{X}^{(0)}, which is independent of the realization of the velocity field. The probability densities (6) computed from the trajectories X^((0))\mathbf{X}^{(0)} become independent of velocity statistics as well. Since the nonlinearity of the initial problem is removed, useful ensemble averages can be computed under the only assumptions that the velocity field is statistically homogeneous and satisfies conditions for existence and uniqueness of the trajectories of the Itô process. Then, the mean of the velocity fluctuations on trajectories (:u_(l):)_(V)=0\left\langle u_{l}\right\rangle_{V}=0 and, accordingly to (32), the mean memory term M_(ll)=(:m_(ll):)_(V)M_{l l}=\left\langle m_{l l}\right\rangle_{V} vanishes. Further, by taking the ensemble average of (31) one obtains the first-order approximation
where u_(ll)(x^('),x^(''))=(:u_(l)(x^('))u_(l)(x^('')):)_(V)u_{l l}\left(\mathbf{x}^{\prime}, \mathbf{x}^{\prime \prime}\right)=\left\langle u_{l}\left(\mathbf{x}^{\prime}\right) u_{l}\left(\mathbf{x}^{\prime \prime}\right)\right\rangle_{V} is the Eulerian velocity correlation. The approximated variance of the center of mass is similarly obtained by ensemble averaging (33),
If the initial solution X^((0))\mathbf{X}^{(0)} is a diffusion in the ensemble mean velocity field U=(:V:)_(V)\mathbf{U}=\langle\mathbf{V}\rangle_{V}, then the probability densities in (34-35) are those of a Gaussian process of mean x_(0)+Ut\mathbf{x}_{0}+\mathbf{U} t and dispersion 2Dt2 D t. Since the Gaussian transition probability and the Eulerian correlation of the homogeneous velocity field are invariant to space translations, (34) is independent of x_(0)\mathbf{x}_{0}. It is also easily to see that for homogeneous velocity fields the first order approximation of the term Q_(ll)Q_{l l} from (19) vanishes. Hence, as it follows from (19), widetilde(X)_(ll)\widetilde{X}_{l l} given by (34) is a first-order approximation of the one-particle dispersion X_(ll)X_{l l}. Due to the simplicity of this approximation which uses Gaussian probability densities, the averages ( 34-3534-35 ), as well as the standard deviations of the single realization terms widetilde(x)_(ll)\widetilde{x}_{l l} and r_(ll)r_{l l}, can be computed, at least by numerical integration, for given
two- and four-points Eulerian correlations. We note that such computations can be achieved in space-time domains, avoiding the tedious technique based Laplace and Fourier representations [3. The latter are however essential tools for higher order approximations 13 .
For the advection-dominated transport problem considered in simulations presented in the next Section, consistent asymptotic expansions of (2) are obtained when one starts with the solution X^((0))\mathbf{X}^{(0)} given by the deterministic trajectory X_(0)+Ut\mathbf{X}_{0}+\mathbf{U} t of the ensemble mean velocity [23]. Then, as follows from (6), the conditional probabilities from (34-35) degenerate to Dirac delta measures, p(x^('),t^(')∣x_(0))=delta[x^(')-(x_(0)+Ut^('))]p\left(\mathbf{x}^{\prime}, t^{\prime} \mid \mathbf{x}_{0}\right)=\delta\left[\mathbf{x}^{\prime}-\left(\mathbf{x}_{0}+\mathbf{U} t^{\prime}\right)\right] and p(x^('),t^(');x^(''),t^('')∣x_(0))=delta[x^(')-(x_(0)+:}{:Ut^('))]delta[x^('')-(x_(0)+Ut^(''))]p\left(\mathbf{x}^{\prime}, t^{\prime} ; \mathbf{x}^{\prime \prime}, t^{\prime \prime} \mid \mathbf{x}_{0}\right)=\delta\left[\mathbf{x}^{\prime}-\left(\mathbf{x}_{0}+\right.\right. \left.\left.\mathbf{U} t^{\prime}\right)\right] \delta\left[\mathbf{x}^{\prime \prime}-\left(\mathbf{x}_{0}+\mathbf{U} t^{\prime \prime}\right)\right] and one obtains
Obviously, (36) is also a first-order approximation of the one-particle dispersion X_(ll)X_{l l}. Since the velocity field is assumed to be statistically homogeneous, the one-particle velocity correlation from (36) depends only on time differences t^('')-t^(')t^{\prime \prime}-t^{\prime}. The two-particle correlation from (37) instead depends on both t^('')-t^(')t^{\prime \prime}-t^{\prime} and the separation lag x_(02)-x_(01)\mathbf{x}_{02}-\mathbf{x}_{01}.
For either the inconsistent approximation (34-35) or the consistent one, (36-37), the ensemble average dispersion takes on the simpler form
which was the starting point in many applications to transport in natural porous media presented in the hydrological literature (see references in [26]). For small velocity fluctuations, the approximations (34) and (36) of the memo-ry-free one-particle dispersion X_(ll)X_{l l} are very close to each other at all times ([23], Figure 2). The first-order approximations (34-35) also give reasonably good estimations for the ensemble average S_(ll)S_{l l} but they yield considerable overestimations, by 40%40 \% to 80%80 \%, of the fluctuations of the single-realization dispersion s_(ll)s_{l l} at early times ([23], Figure 4). Therefore, such approximations might not be accurate enough for investigations of memory effects caused by terms m_(ll)(13)m_{l l}(13), which manifest themselves in the pre-asymptotic regime.
5. NUMERICAL SIMULATIONS
A numerical experiment was conducted for a typical situation of contaminant transport in groundwater. We considered an isotropic two-dimensional aquifer system. The log-hydraulic conductivity was modeled as a statistically homogeneous random space function with exponentially decaying correlation, small variance sigma^(2)=0.1\sigma^{2}=0.1, and correlation length lambda=1m\lambda=1 \mathrm{~m}. The realizations of the velocity field were generated numerically, as first order approximations in
Fig. 1. Longitudinal memory terms for different initial conditions and PeP e numbers.
Fig. 2. Transverse memory terms for different initial conditions and PeP e numbers.
sigma\sigma, by a superposition of 6400 periodic modes [9]. A constant local dispersion coefficient D=0.01m^(2)//D=0.01 \mathrm{~m}^{2} / day was chosen. For the fixed mean flow velocity U=1m//U=1 \mathrm{~m} / day the Péclet number got a typical value Pe=U lambda//D=100P e=U \lambda / D=100. We obtained ensembles of transport realizations with the "global random walk algorithm" 29, namely by tracking simultaneously in every simulation 10^(10)10^{10} particles that were initially uniformly distributed in rectangular domains L_(1)lambda xxL_(2)lambdaL_{1} \lambda \times L_{2} \lambda, (for details on the implementation of the numerical method see [22], Appendix A. To reduce the statistical oscillations (for both means and standard deviations of the memory terms) to less than DtD t at all times, we simulated the dispersive transport in R=1024R=1024 realizations of the velocity field for every initial condition. For narrow slab sources, statistical estimations for Pe=ooP e=\infty were also done by simulating advective transport using the same ensemble of velocities. To avoid artificial trapping phenomena ([22, Appendix B1)\mathrm{B} 1), these simulations were limited to a period equal to 100 Ut//lambda100 U t / \lambda.
In the following we present some numerical results illustrating the memory effects on solute dispersion in the pre-asymptotic regime and the attainment of an ergodic behavior in the long time limit.
Comparisons for different dimensions of slab sources oriented across the ll direction have shown that the difference between the second moment Sigma_(ll)\Sigma_{l l} of the ensemble average concentration field and the initial second moment S_(ll)(0)S_{l l}(0) is practically independent of the length of the initial slab source ([26], Figure 2). This indicates that, for the case of slab sources perpendicular to the ll-direction and statistically homogeneous velocity fields, the relation (20) simplifies and the one-particle dispersion can be approximated by X_(ll)~~Sigma_(ll)-S_(ll)(0)X_{l l} \approx \Sigma_{l l}-S_{l l}(0). Using this approximation, we estimated the longitudinal and transverse one-particle dispersion, X_(11)X_{11} and X_(22)X_{22}, from Sigma_(11)\Sigma_{11} computed for the slab source ( lambda,100 lambda\lambda, 100 \lambda ) and from Sigma_(22)\Sigma_{22} for the slab (100 lambda,lambda)(100 \lambda, \lambda). Further, since the spatial variance of the one-particle center of mass Q_(ll)Q_{l l} was found to be negligible small ([24], Figure 2 ), we estimated the ensemble average memory terms for slabs oriented along ll-axis, according to (20), by M_(ll)~~Sigma_(ll)-S_(ll)(0)-X_(ll)M_{l l} \approx \Sigma_{l l}-S_{l l}(0)-X_{l l} and the corresponding standard deviations by SD(m_(ll))~~SD(sigma_(ll))S D\left(m_{l l}\right) \approx S D\left(\sigma_{l l}\right). Actually, for the case of large slabs
considered here Sigma_(ll)~~S_(ll)\Sigma_{l l} \approx S_{l l} and SD(sigma_(ll))~~SD(s_(ll))S D\left(\sigma_{l l}\right) \approx S D\left(s_{l l}\right) ([26, Figures 2, 3, 5) and both the mean and standard deviations of the memory terms can be computed with the aid of the ergodic estimate (25) [27]. The results for longitudinal and transverse memory coefficients are presented in Figures 1 and 2, respectively. The thin lines in Figures 1 and 2 correspond to [M_(ll)+-SD(m_(ll))//R^(1//2)]//(2Dt)\left[M_{l l} \pm S D\left(m_{l l}\right) / R^{1 / 2}\right] /(2 D t), where R=1024R=1024 is the number of realizations used for statistical estimates.
The average memory coefficients M_(11)M_{11} for longitudinal slabs (Figure 1) and M_(22)M_{22} for transverse slabs (Figure 2) have significant non-vanishing values at finite times and approach to zero after hundreds of dimensionless times Ut//lambdaU t / \lambda. The decrease of the standard deviations indicates that the memory terms m_(ll)m_{l l} converge to zero for t rarr oot \rightarrow \infty, in the mean square limit. The comparison with the case Pe=ooP e=\infty shows that there are no important differences with respect to the purely advective transport. For the square source (100 lambda,100 lambda)(100 \lambda, 100 \lambda) the average memory terms are smaller than the local dispersion 2Dt2 D t. In the pre-asymptotic regime the standard deviations are considerably large: SD[m_(ll)(100,100)]//(2Dt)∼8S D\left[m_{l l}(100,100)\right] /(2 D t) \sim 8 for l=1,2,SD[m_(22)(1,100)]//(2Dt)∼20l=1,2, S D\left[m_{22}(1,100)\right] /(2 D t) \sim 20, and SD[m_(11)(100,1)]//(2Dt)∼100S D\left[m_{11}(100,1)\right] /(2 D t) \sim 100.
Apparently, the occurrence of non-vanishing mean memory terms disagrees with theoretical considerations and first order approximations which predict their cancelation for transport in statistically homogeneous velocity fields. We note that the fact that first order approximations presented in Section (4) cancel the mean memory terms is not surprising. The memory terms (32) depend only linearly on velocity fluctuations, unlike the other two dispersion terms, (31) and (33), which have a quadratic dependence. Hence, contributions of the order of velocity variance to the mean memory terms can still arise if a second iteration step is performed.
In fact, there are no sufficient theoretical arguments that mean memory terms should vanish for the velocity fields considered in the numerical experiment. The ensemble average of (13) vanish if and only if the one-particle statistics is independent of initial conditions. This can be the case if the velocity field is statistically homogeneous and if there are unique solutions of the transport equations [6, 32]. A prerequisite for the existence of pathwise unique strong solutions of Itô equation (2) is the Lipschitz continuity of the sample velocity field ([12], Theorem 4.5.3). Or, the sufficient condition for sample continuity, that is the existence of the second derivative of the correlation function at the origin [31], is not fulfilled for exponential correlations as those of the velocity fields generated numerically. Since this does not exclude the existence of continuous samples, we estimated numerically the Lipschitz constant K=|V(x+Delta x)-V(x)|//Delta xK=|V(x+\Delta x)-V(x)| / \Delta x for velocity samples V(x)V(x) generated with 6400 periodic modes on a straight line (Figure 3) and for a sinusoidal velocity (Figure 4). The latter is continuous even for exponential correlations ([31], p. 67), and Figure 4 indicates indeed the existence of a Lipschitz constant. But for the noisy velocity sample from Figure 3 we found that KK increases with
Fig. 3. Estimation of Lipschitz constant for noisy velocity sample with 6400 modes.
Fig. 4. Estimation of Lipschitz constant for smooth sinusoidal velocity sample.
decreasing Delta x\Delta x. Thus, very likely at the limit of an infinite number of modes the resulting velocity field is not Lipschitz continuous.
6. DISCUSSION AND CONCLUSIONS
Since the Itô formalism leads to a consistent model of dispersion in heterogeneous media, we propose it as an alternative to questionable attempts, discussed at the end of Section 2, aiming at extending the Lagrangian description to diffusion processes.
Using the Itô model, we obtained an explicit decomposition of the second moments and dispersion coefficients in terms accounting for different physical factors that govern the process (Section 3) and we derived first order approximations of such dispersion quantities (Section 4). In particular, the influence of the location, shape, and dimensions of the support of the initial concentration in case of space variable coefficients of the transport equations is quantified by memory terms. The physical explanation of the memory terms consists of correlations between initial positions and the velocity experienced by solutes molecules when diffusion takes place in a space variable velocity field.
The results presented in Figures 1 and 2 supply a numerical evidence that velocities sampled on the trajectories of the Itô diffusion (2) decorrelate from initial positions and the memory terms (13) vanish after a sufficiently large time. Then, according to (25-26), the physically observable transport process, corresponding to single replicates of the random velocity field, is governed by the one-particle dispersion and by the ergodic dispersion coefficient.
At finite times, however, memory terms can be large and can produce nonergodic behavior with respect to the one-particle dispersion. The persistence of such memory effects, over hundreds of days in the conditions of the numerical experiment presented above, should be carefully considered when ergodic dispersion coefficients are used in practice. The definition (13) and the Cauchy-Schwartz inequality m_(ll)^(2)(t) <= 4S_(ll)(0)(:(: widetilde(X)_(l):)_(D)^(2):)_(X_(0))m_{l l}^{2}(t) \leq 4 S_{l l}(0)\left\langle\left\langle\widetilde{X}_{l}\right\rangle_{D}^{2}\right\rangle_{X_{0}} show that memory terms increase with the increase of the dimension, and of the corresponding second moment S_(ll)(0)S_{l l}(0), of the initial concentration distribution. Numerical
results indicate that the increase is more pronounced for asymmetric initial concentration distributions ([27], Figure 2).
Non-vanishing mean memory terms shown in Figures 1 and 2 warn that the mean behavior of the pre-asymptotic dispersion is not always described by the well known relation (38). This happens for instance when the samples of the velocity fields, as for instance those with exponential correlations analyzed in Figures 3 and 4, do not fulfill the smoothness requirements which ensure the existence of strong unique solutions of the transport equations. In such circumstances, that are incompatible with analytical results derived from Itô or Fokker-Planck equations, the transport process can still be analyzed with general relations like ( 14-1514-15 ) or ( 21-2321-23 ). It is nevertheless noticeable that even in the worse case of velocity fields with exponential correlations, there is a large time behavior described by the ergodic coefficient (24) [22].
Acknowledgement. The research reported in this paper was supported by Deutsche Forschungsgemeinschaft grant SU 415/1-2, Project JICG41 at Jülich Supercomputing Centre, Fundamental Program No. 1 of the Romanian Academy, Romanian Ministry of Education and Research grant 2-CEx06-1196, NATO Collaborative Linkage Grant ESP.NR.CLG 981426, and RFBR Grant 06-01-00498. The authors thank C. Andronache, J. G. Conlon, G. Grün, A. Millet, G. Keller, P. Kramer, O. Kurbanmuradov, F. Radu, U. Rüde, M. Trefry, W. Wagner, and C. L. Zirbel for stimulating discussions.
REFERENCES
[1] Balescu, R., Wang, H.-D. and Misguich, J. H., Langevin equation versus kinetic equation: Subdiffusive behavior of charged particles in a stochastic magnetic field, Phys. Plasmas 1(12), pp. 3826-3842, 1994.
[2] Bhattacharya, R. N. and Gupta, V. K., A Theoretical Explanation of Solute Dispersion in Saturated Porous Media at the Darcy Scale, Water Resour. Res., 19, pp. 934-944, 1983.
[3] Bouchaud, J.-P. and Georges, A., Anomalous diffusion in disordered media: Statistical mechanisms, models and physical applications, Phys. Rep., 195, pp. 127-293, 1990.
[4] Brouwers, J. J. H., On diffusion theory in turbulence, J. Eng. Mat., 44, pp. 277-295, 2002.
[5] Compte, A. and Cáceres, M. O., Fractional dynamics in random velocity fields, Phys. Rev. Lett., 81(15), pp. 3140-3143, 1998.
[6] Conlon, J. G. and Naddaf, A., Green's functions for elliptic and parabolic equations with random coefficients, New York Journal of Mathematics, 6 , pp. 153-225, 2000.
[7] Dagan, G., Theory of solute transport by groundwater, Annu. Rev. Fluid Mech., 19, pp. 183-215, 1987.
[8] Doob, J. L., Stochastic Processes, John Wiley & Sons, London, 1953.
[9] Eberhard J., Suciu, N. and C. Vamoş, On the self-averaging of dispersion for transport in quasi-periodic random media, J. Phys. A: Math. Theor., 40, pp. 597-610, doi: 10.1088/1751-8113/40/4/002, 2007.
[10] Fiori, A. and Dagan, G., Concentration fluctuations in aquifer transport: a rigorous first-order solution and applications, J. Contam. Hydrol., 45, pp. 139-163, 2000.
[11] Gardiner, C. W., Handbook of Stochastic Methods (for Physics, Chemistry and Natural Science), Springer, New York, 1985.
[12] Kloeden, P. E. and Platten, E, Numerical solutions of stochastic differential equations, Springer, Berlin, 1999.
[13] Jaekel, U. and Vereecken, H., Renormalization group analysis of macrodispersion in a directed random flow, Water Resour. Res., 33, pp. 2287-2299, 1997.
[14] LaBolle, E. M., Quastel, J., Fogg, G. E. and Gravner, J., Diffusion processes in composite media and their numerical integration by random walks: Generalized stochastic differential equations with discontinuous coefficients, Water Resour. Res., 36(3), pp. 651-662, 2000.
[15] Le Doussal, P. and Machta, J., Annealed versus quenched diffusion coefficient in random media, Phys. Rev. B, 40(12), pp. 9427-9430, 1989.
[16] Lumley, J. L., An approach to the Eulerian-Lagrangian problem, J. Math. Phys., 3(2), pp. 309-312, 1962.
[17] Lundgren, T. S., Turbulent pair dispersion and scalar diffusion, J. Fluid Mech. 111, pp. 27-57, 1981.
[18] Monin, A. S. and Yaglom, A. M., Statistical Fluid Mechanics: Mechanics of Turbulence, MIT Press, Cambridge, M A, 1971.
[19] Sposito, G. and Dagan, G., Predicting solute plume evolution in heterogeneous porous formations, Water Resour. Res., 30(2), pp. 585-589, 1994.
[20] Suciu, N., Some Relations Between Microscopic and Macroscopic Modelling of Thermodynamic Processes (in Romanian), Ed. Univ. Piteşti, Appl. and Ind. Math. Series, No. 5, 2001.
[21] Suciu, N. and Vamos, C., Effective diffusion in heterogeneous media, Internal Report ICG-IV.00303, Research Center Jülich, 2003.
[22] Suciu, N., Vamoş, C., Vanderborght, J., H. Hardelauf and Vereecken, H., Numerical investigations on ergodicity of solute transport in heterogeneous aquifers, Water Resour. Res., 42, W04409, doi: 10.1029/2005WRR004546, 2006.
[23] Suciu, N., Vamoş, C. and J. Eberhard, Evaluation of the first-order approximations for transport in heterogeneous media, Water Resour. Res., 42, W11504, doi: 10.1029/2005WR004714, 2006.
[24] Suciu, N. and Vamoş, C., Comment on "Nonstationary flow and nonergodic transport in random porous media" by G. Darvini and P. Salandin, Water Resour. Res., 43, W12601, doi: 10.1029/2007WR005946, 2007.
[25] Suciu N., Vamoş, C., Sabelfeld, K. and Andronache, C., Memory effects and ergodicity for diffusion in spatially correlated velocity fields, Proc. Appl. Math. Mech., 7, 2010015-2010016, doi: 10.1002/pamm.20070057, 2007.
[26] Suciu N., Vamos, C., Vereecken, H., Sabelfeld, K. and Knabner, P., Dependence on initial conditions, memory effects, and ergodicity of transport in heterogeneous media, Preprint No. 324, Institute of Applied Mathematics, Friedrich-Alexander University Erlangen-Nuremberg (available online at http://www.am.uni-erlangen.de/de/preprints2000.html), 2008.
[27] Suciu, N., Vamos, C., Vereecken, H., Sabelfeld, K. and Knabner, P., Memory effects induced by dependence on initial conditions and ergodicity of transport in heterogeneous media, Water Resour. Res., 44, W08501, doi: 10.1029/2007WR006740, 2008.
[28] Vamoş, C., Suciu, N., Vereecken, H., Vanderborht, J. and Nitzsche, O., Path decomposition of discrete effective diffusion coefficient, Internal Report ICG-IV.00501, Research Center Jülich, 2001.
[29] Vamoş, C., Suciu, N. and Vereecken, H., Generalized random walk algorithm for the numerical modeling of complex diffusion processes, J. Comp. Phys., 186(2), pp. 527-544, doi: 10.1016/S0021-9991(03)00073-1, 2003.
[30] van Kampen, N. G., Stochastic Processes in Physics and Chemistry, North-Holland, Amsterdam, 1981.
[31] Yaglom, A. M., Correlation Theory of Stationary and Related Random Functions, Volume I: Basic Results, Springer-Verlag, New York, 1987.
[32] Zirbel, C. L., Lagrangian observations of homogeneous random environments, Adv. Appl. Prob., 33, pp. 810-835, 2001.
[33] Zwanzig, R., Memory effects and irreversible thermodynamics, Phys. Rev., 124(4), pp. 983-992, 1961.