AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 575298 10.1155/2014/575298 575298 Research Article New Scheme of Finite Difference Heterogeneous Multiscale Method to Solve Saturated Flow in Porous Media Chen Fulai 1, 2 Ren Li 2 Sun Shuyu 1 Department of Mathematics Xiangnan University Chenzhou 423000 China xnu.edu.cn 2 Department of Soil and Water Sciences China Agricultural University and Key Laboratory of Plant-Soil Interactions, MOE, Beijing 100094 China 2014 232014 2014 04 10 2013 16 01 2014 2 3 2014 2014 Copyright © 2014 Fulai Chen and Li Ren. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

A new finite difference scheme, the development of the finite difference heterogeneous multiscale method (FDHMM), is constructed for simulating saturated water flow in random porous media. In the discretization framework of FDHMM, we follow some ideas from the multiscale finite element method and construct basic microscopic elliptic models. Tests on a variety of numerical experiments show that, in the case that only about a half of the information of the whole microstructure is used, the constructed scheme gives better accuracy at a much lower computational time than FDHMM for the problem of aquifer response to sudden change in reservoir level and gives comparable accuracy at a much lower computational time than FDHMM for the weak drawdown problem.

1. Introduction

Natural porous media exhibit a significant spatial variability in most attributes of hydrogeological interest. For instance, it is quite typical for hydraulic conductivity to vary orders of magnitude over distances . The groundwater flow problems in heterogeneous porous media can be accurately solved by using conventional finite element method or finite difference method based on smaller scale, which leads to more computational cost. Discrete schemes obtained in this way are often by far too expensive to be solved directly. For the sake of the accuracy and efficiency, several different but related multiscale methods, such as the multiscale finite element method (MsFEM) [2, 3], the heterogeneous multiscale method (HMM) , and the numerical homogenization method , for problems with oscillating coefficients have been proposed to accommodate the fine-scale description directly. Here, we should also mention the work of Babuška in the 70s , which motivated these multiscale methods in an extent.

Multiscale solution methods are currently under active investigation for the simulation of subsurface flow in heterogeneous formations . Ye et al.  applied MsFEM to simulate two- and three-dimensional saturated flow problems. Chen and Hou  proposed a mixed multiscale finite element method for elliptic problems with oscillating coefficients; they demonstrated the efficiency and accuracy of the proposed method for flow transport in a porous medium with a random log-normal relative permeability. He and Ren  presented the finite volume MsFEM for solving saturated flow in heterogeneous porous media. E et al.  took a systemic analysis of HMM for elliptic homogenization problems, where the error between the numerical solution of HMM and the solution of homogenized equation is estimated, and how to construct better approximation of the exact solution from the HMM solution is discussed. Ming and Zhang  applied HMM to the linear parabolic homogenization problem and discriminated different types of microscopic models. Ming and Yue  discussed the numerical performance of HMM including comparison with other methods. Yue and E  developed HMM for linear and nonlinear transport equations with multiscale velocity fields in heterogeneous porous media and focused on the problem where advection is dominant at the small scale.

Most of existing multiscale methods have been limited to the finite element method . There are also widely used finite difference flow and solute transport models in both the groundwater and oil industries. To handle multiscale problems with finite difference methods, based on the framework of HMM , Abdulle and E  proposed the finite difference heterogeneous multiscale method (FDHMM) for solving multiscale parabolic problems. This method includes a “heterogeneous” discretization which cares about the fine scale only on small representative region of the spatial domain. FDHMM has two components: a macroscopic scheme evolved on a coarse grid (the grid of interest) with unknown data recovered from the solutions of the microscopic model and a microscopic scheme, in which the original equation is solved on a sparse (heterogeneous) spatial domain. The similar idea can be found in . Chen and Ren  applied FDHMM to Richards’ equation; they found that FDHMM could effectively simulate the transient unsaturated flow in the specific soils. In the saturated flow case, we may precompute the macroscopic flux at a preprocessing step to save the computational time. In addition, Abdulle and E  studied the multiscale parabolic equation without the source sink term and considered the examples where the coefficients change according to the smooth function. For transient flow problem in heterogeneous porous media, the coefficients generally change in a random form; thus there is a need for more evaluation of the applicability of FDHMM.

Here, we propose a new scheme of FDHMM for simulating not only the steady saturated flow problem but also the transient saturated flow problem in geostatistical random porous media. The constructed scheme employs an idea presented by Ming and Zhang ; that is, the microscale parabolic model can be reduced to the microscopic elliptic model for the problem without oscillation propagation in time. Motivated by the construction of the multiscale finite element base functions [2, 3], in every control volume, we divide the microscopic elliptic model into two basic microscopic elliptic models and estimate the basic macroscopic flux by the solutions of these two basic microscopic elliptic models. The small scale information is then brought to the large scale through the approximation of basic macroscopic fluxes. These basic macroscopic fluxes are just calculated once at the preprocessing step and will be used in the subsequent computations. In general, governing coarse-grid equation and coupling the approach of the new scheme are the same as those of FDHMM by Abdulle and E. The main difference between the two methods is the microscopic scheme, in contrast to FDHMM by Abdulle and E, where the numerical fluxes are computed on the fly using localized and more resolved computations which means that FDHMM by Abdulle and E needs the macroscopic and microscopic evolution at every time step and the new scheme adopts the idea of MsFEM of Hou et al., by numerically precomputing a finite difference analogue of a multiscale shape function, which provides a fixed expression for the numerical basic flux in terms of the coarse variables. It means that the fine-scale information is coupled into the coarse scale by this finite difference analogue of a multiscale shape function. In addition, the new scheme incorporates ideas from Ming and Zhang  to transform the microscopic parabolic model to a microscopic elliptic model, which allows MsFEM ideas to be adopted in the computational scheme.

Our method is also analogous to the classical upscaling method, where the upscaled hydraulic conductivities are precomputed [23, 24]. Different from the classical upscaling method, the present method only precomputes the basic macroscopic fluxes. The estimation of the macroscopic fluxes, which contain both microscopic information of the medium property and useful information about the gradients of the solutions of microscopic elliptic models, is coupled into the course of solving the coarse equation, and it makes the constructed scheme put more emphasis on the interaction between the macro- and microscale behavior. On the other hand, in the new scheme, the fine-scale global flow solution is decomposed into a series of local microscopic problems; the computations of these basic microscale problems can be carried out sequentially; this obviously saves the computational time and the memory requirement, which may provide the proposed method with a possibility to solve large flow problems under restricted computational capabilities.

This paper is organized as follows. We firstly describe the flow problem and introduce the principle and the algorithm of the constructed scheme in detail. Numerical examples to illustrate the performance of the constructed scheme are arranged in Section 3. Some conclusions are given in Section 4.

2. New Scheme of FDHMM 2.1. Flow Problem

The transient saturated flow through a heterogeneous porous medium is governed by the parabolic partial differential equation (1)Ss(x)ψ(x,t)t=·[K(x)ψ(x,t)]+R(x,t),in  Ω×(0,T), where ψ is the hydraulic head, Ss is the specific storage coefficient, K is the hydraulic conductivity tensor, R is the source sink term, x=(x,y) is the spatial coordinate, t is the time variable, Ω is the study area, and T is the time domain.

2.2. Principle and Algorithm

The discretization in this study is the mesh-centered finite difference. To simplify the presentation of the constructed scheme, we assume that the solution domain Ω is a square and uniformly discretize it with a coarse N×N mesh. Let the Cartesian coordinates of this coarse mesh be represented by (xi,yj), i,j=1,,N+1. H=xi+1-xi=yj+1-yj denotes the coarse mesh size.

Notice that a macroscopic model is known to exist according to the homogenization theory, and the idea of the constructed scheme is to evolve a macroscopic model for the flux form of (1), (2)Ss(x)Ψ(x,t)t=-·F(x,t)+R(x,t),in  Ω×(0,T), on a coarse mesh, where Ψ is the macroscopic state variable corresponding to ψ, that is, we have Ψ=ψ at the coarse node (i,j), and F is the macroscopic flux. In fact, based on the principle of the flux balance, we can also deduce (2).

To solve (2), we firstly need to determine the macroscopic flux F. In the absence of explicit knowledge of F, our problem reduces to approximate the flux F; this will be done by locally solving a set of microscopic models. In Figure 1, we center a control volume at the midpoint of the line between any two coarse nodes except for two exterior nodes. Thus, there are four control volumes Ii±(1/2),jδ and Ii,j±(1/2)δ around every interior node (i,j) and these control volumes are centered at the points (i±(1/2),j) and (i,j±(1/2)), respectively (see Figure 2). We assume that the control volume Ii±(1/2),jδ is a square of size δ and discretize it into a fine M×M mesh, for which (ξk,ηl) denotes the coordinate of node (k,l), where k,l=1,,M+1. a=ξk+1-ξk=ηl+1-ηl denotes the fine mesh size. For ξk and ηl, we have (3)ξk=H-δ2+(k-1)δM,ηl=H-δ2+(l-1)δM,k,l=1,,M+1. Similarly, (ηl,ξk) denotes the coordinate of the control volume Ii,j±(1/2)δ.

Illustration of the macroscopic and microscopic computational domains.

The control volumes at the coarse node (i,j) and two basic microscopic elliptic models for the control volume Ii+(1/2),jδ.

2.2.1. Basic Microscopic Elliptic Problems

To estimate the macroscopic flux, we need to solve a set of local microscale problems in the control volumes. Actually, the saturated hydraulic conductivity tensor K(x) in this study is only a function of the spatial position and does not oscillate in the temporal direction, and we only need the spatial homogenization of K(x) at the microscopic evolution. According to the conclusion of , in every control volume Iδ, we can only solve the following reduced elliptic equation: (4)·[K(x)ψ(x)]=0,inIδ.

In every control volume Iδ, similar to the construction of the multiscale finite element base functions developed by Hou and Wu  and Hou et al. , we will solve two basic elliptic problems with the Dirichlet-Neumann boundary condition in which the Dirichlet boundary condition is used in one direction and no-flow boundary condition is used in the other direction. For Ii+(1/2),jδ (i,j=1,2,,N), the Dirichlet boundary condition is used in x-direction and no-flow boundary condition is used in y-direction, and vice versa for Ii,j+(1/2)δ (i,j=1,2,,N).

Set the head of the basic elliptic problem with no dimensional change. Let ϕ1 and ϕ2 be the solutions of these two basic elliptic problems, respectively. In Ii+(1/2),jδ, as shown in Figure 2, for the first basic elliptic problem, the head on the left side is 1, and that on the right side is 0, and vice versa for the second basic elliptic problem. Similarly, in Ii,j+(1/2)δ, for the first basic elliptic problem, the head on the bottom side is 1, and that on the top side is 0, and vice versa for the second basic elliptic problem. The cell problems are computed in parallel, and the number of the processors is reduced [16, 25]. To solve the basic elliptic problem, we considered employing the conventional finite difference method with multigrid over a fine mesh to solve the original equation. For implementing the multigrid algorithm, we use directly a numerical simulator MGD9V . In fact, according to the above two basic elliptic problems, we have ϕ1+ϕ2=1. Then, we only need to solve the first basic elliptic problem and obtain the solution ϕ2 of the second basic elliptic problem in the course of computation according to ϕ2=1-ϕ1.

2.2.2. Estimation of Basic Macroscopic Fluxes

After solving the basic elliptic problems, we estimate basic macroscopic fluxes based on the solutions of the basic elliptic problems. In Ii+(1/2),jδ, Fi+(1/2),jxα,β  (α,β=1,2) denote, respectively, the basic macroscopic fluxes estimated by the solutions of two basic elliptic problems; we have (5)Fi+(1/2),jxα,1=-1|Ii+(1/2),jδ|Ii+(1/2),jδK(x)ϕαxdxdy-a2δ2k=1Ml=1MKk+(1/2),lϕk+1,lα-ϕk,lαa,Fi+(1/2),jxα,2=-1|Ii+(1/2),jδ|Ii+(1/2),jδyHK(x)ϕαxdxdy-a2δ2k=1Ml=1MηlHKk+(1/2),lϕk+1,lα-ϕk,lαa,α=1,2, where Kk+(1/2),l is the geometric mean of Kk,l and Kk+1,l. Similarly, in Ii,j+(1/2)δ, (6)Fi,j+(1/2)yα,1=-1|Ii,j+(1/2)δ|Ii,j+(1/2)δK(x)ϕαydxdy-a2δ2k=1Ml=1MKk,l+(1/2)ϕk,l+1α-ϕk,lαa,Fi,j+(1/2)yα,2=-1|Ii,j+(1/2)δ|Ii,j+(1/2)δxHK(x)ϕαydxdy-a2δ2k=1Ml=1MηkHKk,l+(1/2)ϕk,l+1α-ϕk,lαa,α=1,2, where Kk,l+(1/2) is the geometric mean of Kk,l and Kk,l+1.

2.2.3. Estimation of Macroscopic Fluxes

Based on the estimation of the basic macroscopic fluxes, we will estimate macroscopic fluxes. Let Ψi,jn be a coarse numerical solution of (2) at time tn, to estimate the macroscopic flux Fn at time tn; we will deal with it below.

We first solve a microscopic elliptic problem with the Dirichlet-Neumann boundary condition at every control volume Iδ. Head at the Dirichlet boundary of the control volume is calculated by bilinear interpolating functions.

For the control volume Ii+(1/2),jδ, heads at the left and right sides are (7)ψi+(1/2),jn,left,l=g1(ηl)+ξ1g2(ηl)-g1(ηl)H,ψi+(1/2),jn,right,l=g1(ηl)+ξM+1g2(ηl)-g1(ηl)H, respectively, where (8)g1(ηl)={ηlHΨi,j+(1-ηlH)Ψi,j-1,1lM2,(2-ηlH)Ψi,j+(ηlH-1)Ψi,j+1,M2<lM,g2(ηl)={ηlHΨi+1,j+(1-ηlH)Ψi+1,j-1,1lM2,(2-ηlH)Ψi+1,j+(ηlH-1)Ψi+1,j+1,M2<lM. Thus, ψn,l, the solution of the microscopic elliptic problem in Ii+(1/2),jδ, is obtained over the control volume Ii+(1/2),jδ via the linear combination of ϕ1 and ϕ2, which are the solutions of two corresponding basic elliptic problems, respectively, and then we have (9)ψn,l=ψi+(1/2),jn,left,lϕ1+ψi+(1/2),jn,right,lϕ2,l=1,,M+1. Similarly, in Ii,j+(1/2)δ, heads at the bottom and top sides are (10)ψi,j+(1/2)n,bottom,l=g3(ηl)+ξ1g4(ηl)-g3(ηl)H,ψi,j+(1/2)n,top,l=g3(ηl)+ξM+1g4(ηl)-g3(ηl)H, respectively, where (11)g3(ηl)={ηlHΨi,j+(1-ηlH)Ψi-1,j,1lM2,(2-ηlH)Ψi,j+(ηlH-1)Ψi+1,j,M2<lM,g4(ηl)={ηlHΨi,j+1+(1-ηlH)Ψi-1,j+1,1lM2,(2-ηlH)Ψi,j+1+(ηlH-1)Ψi+1,j+1,M2<lM. The solution of the microscopic elliptic problem in this control volume is (12)ψn,l=ψi,j+(1/2)n,bottom,lϕ1+ψi,j+(1/2)n,top,lϕ2,l=1,,M+1.

Like the assumption in , we assume that the situation investigated in this study is for locally isotropic conductivity and also assume the hydraulic conductivity tensor with principal axes oriented in the direction of the principal statistical anisotropy axes of the local parameters. It means that the conductivity tensor for a locally heterogeneous medium is (13)K=(K(x)00K(x)).

By applying the above assumption, we derive the macroscopic flux Fn, (14)Fn=-1|Iδ|IδK(x)ψ(x,tn)dx=-1|Iδ|Iδ(K(x)00K(x))(ψnxψny)dxdy=-1|Iδ|Iδ(K(x)ψnxK(x)ψny)dxdy=(Fn,xFn,y), where Fn,x and Fn,y are estimated macroscopic fluxes in x-direction and y-direction at time tn, respectively. For the control volume Ii+(1/2),jδ, together with (3), (5), (7), (9), and (14), we have (15)Fi+(1/2),jn,x=-1|Ii+(1/2),jδ|Ii+(1/2),jδK(x)ψnxdxdy-a2δ2k=1Ml=1MKk+(1/2),lψk+1,ln,l-ψk,ln,la=-a2δ2k=1Ml=1MKk+(1/2),l(ψi+(1/2),jn,left,lϕk+1,l1-ϕk,l1a+ψi+(1/2),jn,right,lϕk+1,l2-ϕk,l2a)[H-δ4H(2Ψi+1,jn+Ψi+1,j-1n-Ψi+1,j+1n)+H+δ4H(2Ψi,jn+Ψi,j-1n-Ψi,j+1n)]Fi+(1/2),jx1,1+[H-δ4H(-Ψi+1,j-1n+Ψi+1,j+1n)+H+δ4H(-Ψi,j-1n+Ψi,j+1n)]Fi+(1/2),jx1,2+[H+δ4H(2Ψi+1,jn+Ψi+1,j-1n-Ψi+1,j+1n)+H-δ4H(2Ψi,jn+Ψi,j-1n-Ψi,j+1n)]Fi+(1/2),jx2,1+[H+δ4H(-Ψi+1,j-1n+Ψi+1,j+1n)+H-δ4H(-Ψi,j-1n+Ψi,j+1n)]Fi+(1/2),jx2,2. Similarly, for Ii,j+(1/2)δ, we have (16)Fi,j+(1/2)n,y[H-δ4H(2Ψi,j+1n+Ψi-1,j+1n-Ψi+1,j+1n)+H+δ4H(2Ψi,jn+Ψi-1,jn-Ψi+1,jn)]Fi,j+(1/2)y1,1+[H-δ4H(-Ψi-1,j+1n+Ψi+1,j+1n)+H+δ4H(-Ψi-1,jn+Ψi+1,jn)]Fi,j+(1/2)y1,2+[H+δ4H(2Ψi,j+1n+Ψi-1,j+1n-Ψi+1,j+1n)+H-δ4H(2Ψi,jn+Ψi-1,jn-Ψi+1,jn)]Fi,j+(1/2)y2,1+[H+δ4H(-Ψi-1,j+1n+Ψi+1,j+1n)+H-δ4H(-Ψi-1,jn+Ψi+1,jn)]Fi,j+(1/2)y2,2.

2.2.4. Macroscopic Evolution

Let Δt be a time step size, where Δt=tn+1-tn. The macroscopic evolution on the coarse mesh is now done via the approximation of (2), and here we use the Crank-Nicolson method to construct the fully discretized version of (2), (17)Ssi,jΔt(Ψi,jn+1-Ψi,jn)=-12H(Fi+(1/2),jn+1,x-Fi-(1/2),jn+1,x+Fi,j+(1/2)n+1,y-Fi,j-(1/2)n+1,y)-12H(Fi+(1/2),jn,x-Fi-(1/2),jn,x+Fi,j+(1/2)n,y-Fi,j-(1/2)n,y)+Ri,jn. Combining (15), (16), and (17) yields (18)Ssi,jΔt(Ψi,jn+1-Ψi,jn)=(c1Ψi-1,j-1n+1+c2Ψi,j-1n+1+c3Ψi+1,j-1n+1+c4Ψi-1,jn+1+c5Ψi,jn+1+c6Ψi+1,jn+1+c7Ψi-1,j+1n+1+c8Ψi,j+1n+1+c9Ψi+1,j+1n+1)+(c1Ψi-1,j-1n+c2Ψi,j-1n+c3Ψi+1,j-1n+c4Ψi-1,jn+c5Ψi,jn+c6Ψi+1,jn+c7Ψi-1,j+1n+c8Ψi,j+1n+c9Ψi+1,j+1n)+Ri,jn, where (19)c1=-18H2×[(H+δ)(-Fi-(1/2),jx1,1+Fi-(1/2),jx1,2-Fi,j-(1/2)y1,1+Fi,j-(1/2)y1,2)+(H-δ)(-Fi-(1/2),jx2,1+Fi-(1/2),jx2,2-Fi,j-(1/2)y2,1+Fi,j-(1/2)y2,2)],c2=-18H2[(H+δ)(Fi+(1/2),jx1,1-Fi+(1/2),jx1,2-Fi-(1/2),jx2,1+Fi-(1/2),jx2,2-2Fi,j-(1/2)y1,1)+(H-δ)(Fi+(1/2),jx2,1-Fi+(1/2),jx2,2-Fi-(1/2),jx1,1+Fi-(1/2),jx1,2-2Fi,j-(1/2)y2,1)],c3=-18H2[(H+δ)(Fi+(1/2),jx2,1-Fi+(1/2),jx2,2+Fi,j-(1/2)y1,1-Fi,j-(1/2)y1,2)+(H-δ)(Fi+(1/2),jx1,1-Fi+(1/2),jx1,2+Fi,j-(1/2)y2,1-Fi,j-(1/2)y2,2)],c4=-18H2[(H+δ)(Fi,j+(1/2)y1,1-Fi,j+(1/2)y1,2-2Fi-(1/2),jx1,1-Fi,j-(1/2)y1,1+Fi,j-(1/2)y2,2)+(H-δ)(Fi,j+(1/2)y2,1-Fi,j+(1/2)y2,2-2Fi-(1/2),jx2,1+Fi,j-(1/2)y1,2)],c5=-18H2[(H+δ)(2Fi+(1/2),jx1,1+2Fi,j+(1/2)y1,1-2Fi-(1/2),jx2,1-2Fi,j-(1/2)y2,1)+(H-δ)(2Fi+(1/2),jx2,1+2Fi,j+(1/2)y2,1-2Fi-(1/2),jx1,1-2Fi,j-(1/2)y1,1)],c6=-18H2[(H+δ)(2Fi+(1/2),jx2,1-Fi,j+(1/2)y1,1+Fi,j+(1/2)y1,2+Fi,j-(1/2)y2,1-Fi,j-(1/2)y2,2)+(H-δ)(2Fi+(1/2),jx1,1-Fi,j+(1/2)y2,1+Fi,j+(1/2)y2,2-Fi,j-(1/2)y1,2)],c7=-18H2[(H+δ)(Fi,j+(1/2)y2,1-Fi,j+(1/2)y2,2+Fi-(1/2),jx1,1-Fi-(1/2),jx1,2)+(H-δ)(Fi,j+(1/2)y1,1-Fi,j+(1/2)y1,2+Fi-(1/2),jx2,1-Fi-(1/2),jx2,2)],c8=-18H2[(H+δ)(-Fi+(1/2),jx1,1+Fi+(1/2),jx1,2+2Fi,j+(1/2)y2,1+Fi-(1/2),jx2,1-Fi-(1/2),jx2,2)+(H-δ)(-Fi+(1/2),jx2,1+Fi+(1/2),jx2,2+2Fi,j+(1/2)y1,1+Fi+(1/2),jx1,1-Fi-(1/2),jx1,2)],c9=-18H2[(H+δ)(-Fi+(1/2),jx2,1+Fi+(1/2),jx2,2+Fi,j+(1/2)y2,1+Fi,j+(1/2)y2,2)+(H-δ)(-Fi+(1/2),jx1,1+Fi+(1/2),jx1,2-Fi,j+(1/2)y1,1+Fi,j+(1/2)y1,2)].

Then, we solve the following equation at the coarse mesh by using MGD9V : (20)-c1Ψi-1,j-1n+1-c2Ψi,j-1n+1-c3Ψi+1,j-1n+1-c4Ψi-1,jn+1+(Ssi,jΔt-c5)Ψi,jn+1-c6Ψi+1,jn+1-c7Ψi-1,j+1n+1-c8Ψi,j+1n+1-c9Ψi+1,j+1n+1=c1Ψi-1,j-1n+c2Ψi,j-1n+c3Ψi+1,j-1n+c4Ψi-1,jn+(Ssi,jΔt+c5)Ψi,jn+c6Ψi+1,jn+c7Ψi-1,j+1n+c8Ψi,j+1n+c9Ψi+1,j+1n+Ri,jn.

Thus, the algorithm is completed. The solution procedure at a time step is illustrated in Figure 3. We also give a summary which only includes the relevant discrete equations necessary to implement the proposed method. Firstly, the basic elliptic problems (4) are solved. Then, basic macroscopic fluxes (5) and (6) are estimated, and the coefficients (19) are calculated. The above steps are finished at the preprocessing step. Finally, the macroscopic discrete equations (20) are evolved.

Flow chart of the new scheme at a time step.

The algorithm described above is easy to extend to the steady flow problem in heterogeneous porous media. Under the condition of the steady flow, the left-hand side of (1) equals zero. Correspondingly, the left-hand side of macroscopic (2) equals zero. The remainder will similarly be completed; then we have (21)c1Ψi-1,j-1+c2Ψi,j-1+c3Ψi+1,j-1+c4Ψi-1,j+c5Ψi,j+c6Ψi+1,j+c7Ψi-1,j+1+c8Ψi,j+1+c9Ψi+1,j+1=-12Ri,j. Although FDHMM proposed by Abdulle and E  works for the transient problem, it is also easy to extend to the steady problem. The given coarse- and fine-grid equations of FDHMM are elliptic equations in the steady condition. The iteration scheme of FDHMM is similar to that of the new scheme, and the solutions of both methods are the same.

The locally hydraulic conductivity (13) is assumed to be isotropic, but the macroscopic conductivity may be anisotropic or a full tensor because the final macroscopic scheme (18) is a nine-spot one. The algorithm may also be extended to general quadrilateral mesh; the method is similar to .

3. Evaluation of Numerical Accuracy

All porous media in nature are heterogeneous. The heterogeneity in this study comes from the hydraulic conductivity. As the standard deviation of logarithmic hydraulic conductivity increases, the heterogeneity increases. The random conductivity field is generated by the Turning Band method , in which the hydraulic conductivity is assumed to be locally isotropic. In this study, we used four saturated groundwater flow examples, including two steady flow examples and two transient flow examples, to show the main advantages of the constructed scheme. Also, influences of different factors are examined, such as conductivity fields with high variability as well as different correlation structures, the flow rate of the pumping well, and the size of the local microscale model, on the accuracy of the constructed scheme.

3.1. Implementation

The algorithm has been implemented in a FORTRAN code. Because it is difficult to construct interesting multiscale problem with an exact solution, people often compare the coarse scale solution obtained by the multiscale method with a computed reference solution obtained on the fine scale. We have employed the conventional finite difference method with multigrid over a fine mesh to solve the original equation and refer to this solution as the “exact” solution.

As a measure of the error, we take the relative L2 norm and the relative maximum norm (22)eer2=[i=1N(Ψi-Ψ(xi))2i=1N(Ψ(xi))2]1/2,eer=maxi=1,,N|Ψi-Ψ(xi)|maxi=1,,N|Ψ(xi)|, respectively, where N is the total number of nodes on the coarse mesh, Ψi denotes the coarse solution at the coarse node xi, and Ψ(xi) denotes the “exact” solution projected on the coarse mesh; that is, Ψ(xi)=ψ(xi) at the coarse node. Here, ψ(x) is the “exact” solution.

In all test examples, the study domain Ω is a rectangle covering 1 km × 1 km with the point (0,0) as the origin. A uniform finite difference mesh is constructed by dividing Ω into an N×N mesh. The fine mesh is a 256×256 mesh, and the “exact” solution and the random hydraulic conductivity field are obtained on this mesh. The coarse mesh is a 16×16 mesh and the coarse solution is obtained by using the multiscale method on this mesh.

3.2. Steady Flow Problems with Isotropic and Anisotropic Microstructure

We impose the Dirichlet-Neumann boundary condition for the test steady flow problem. The left and right sides of boundary are Dirichlet boundaries. Head on the left is 20 m, and that on the right side is 10 m. The top and bottom sides are impermeable boundaries. To start the computation using the new scheme, we need to choose the size of the control volume δ. In this study, δ is chosen to be equal to a half of the coarse mesh size, which means that we only use about 50% of the total data at the small scale; that is, δ=(1/2)H. Every control volume Iδ is uniformly divided into an 8×8 mesh such that its mesh size equals the size of the fine mesh.

Four conductivity fields with isotropic correlation microstructure are first applied. Correlation lengths of these conductivity fields are λx=λy=10 m, λx=λy=20 m, λx=λy=40 m, and λx=λy=100 m, respectively. We assume that the geometric mean of hydraulic conductivity is K¯=0.006 m/min. Under σlnK=0.5,1.0,1.5,2.0, where σlnK is the standard deviation of logarithmic hydraulic conductivity, these four conductivity fields vary by about one, three, five, and six orders of magnitude, respectively. A realization of the random conductivity fields with λx=λy=100 m and σlnK=0.5,1.0,1.5,2.0 is plotted in Figure 4. Figure 5 plots the errors of the solutions of the constructed scheme for different correlation lengths at σlnK=0.5,1.0,1.5,2.0. It illustrates that the larger standard deviation of logarithmic hydraulic conductivity leads to the less accurate results. Furthermore, at the case with λx=λy=10 m and σlnK=2.5, in which the conductivity field varies by about nine orders of magnitude, the new scheme is even not convergent, although it works for other correlation scales for the same logarithmic conductivity variance. The reason may be that conductivities of highly heterogeneous systems are highly discontinuous, which makes the direct application of the algorithm infeasible. It may also indicate that the standard deviation of logarithmic hydraulic conductivity plays an important role in the accuracy of the new scheme. At the same time, when σlnK=0.5, the results obtained under different correlation lengths have about the same accuracy and the correlation length of conductivity field shows no significant effect on the accuracy of the new scheme. It is noted that the correlation length is even larger than the size of the control volume in the case with λx=λy=100 m. The heads in section y=500 m obtained from the fine-scale model on the fine mesh and the constructed scheme on the coarse mesh for the case with λx=λy=100 m and σlnK=0.5,1.0,1.5,2.0 are depicted in Figure 6, and we observe that the solution obtained by the constructed scheme on a coarse mesh is able to approximate the exact solution. The above discussion indicates that the new scheme gives a reasonable accuracy for the test steady flow examples with isotropic correlation microstructure.

A realization of the random saturated conductivity fields of different standard deviations under λx=λy=100 m: (a) σlnK=0.5, (b) σlnK=1.0, (c) σlnK=1.5, and (d) σlnK=2.0.

Relative (a) L2 and (b) maximum errors between the fine-scale model and the new scheme for the steady flow problem with isotropic correlation microstructure.

Exact solution and the coarse solution of the new scheme in section y=500 m for the steady flow problem under isotropic correlation microstructure with different standard deviations: (a) σlnK=0.5, (b) σlnK=1.0, (c) σlnK=1.5, and (d) σlnK=2.0.

Convergence should be a necessary condition for the new scheme as a good numerical method. Here, we only consider the conductivity field with λx=λy=100 m. Fixing δ=(1/2)H, Figure 7 plotted the relative errors for coarse meshes with 4×4, 8×8, 16×16, and 32×32 elements under four cases that σlnK=0.5,1.0,1.5,2.0, respectively. The errors monotonically decrease as the total number of coarse elements increases and tend to zero, which means that the new scheme solution converges as the coarse grid is refined.

Relative (a) L2 and (b) maximum errors of the solution of the new scheme for coarse grids with 4×4, 8×8, 16×16, and 32×32 elements.

Next, we turn to consider three conductivity fields with anisotropic correlation microstructure. Fixing y-direction correlation length λy=10 m, x-direction correlation lengths of these conductivity fields are λx=20 m, λx=40 m, and λx=100 m, respectively. Assume that K¯=0.006 m/min. Under σlnK=0.5,1.0,1.5,2.0, these three conductivity fields vary by over one, three, five, and seven orders of magnitude, respectively. The results of the constructed scheme for different correlation lengths at σlnK=0.5,1.0,1.5,2.0 are depicted in Figure 8. As in the previous example, the standard deviation of logarithmic hydraulic conductivity shows significant effect on the accuracy of the new scheme. The errors obviously increase with σlnK increasing. Compared to the standard deviation, the correlation length of conductivity field has relatively little influence on the accuracy of the new scheme. The maximum error in Figure 8 is attained at the case with λx=100, λy=10 m, and σlnK=2.0, and the relative L2 and maximum errors of the solution of the constructed scheme are 2.28% and 5.88%, respectively. Similar to the isotropic case, the new scheme also gives a reasonable accuracy for the test steady flow examples with anisotropic correlation microstructure.

Relative (a) L2 and (b) maximum errors between the fine-scale model and the new scheme for the steady flow problem with anisotropic correlation microstructure.

3.3. Aquifer Response to Sudden Change in Reservoir Level

We design this transient test example based on the example in . Consider the confined aquifer in the study area. Initial head is equal to 20 m everywhere in the aquifer. We wish to simulate changes in head through time if, at t=0, we suddenly drop the water level in the reservoir on four sides of the study area from 20 m to 10 m. The specific storage coefficient and the thickness of the aquifer are 2.0×10-4 m−1 and 10 m, respectively. To generate the random hydraulic conductivity field, we assume that K¯ is 0.003 m/min, the standard deviation of lnK is 1.5, and the correlation structure of the conductivity is anisotropic with λx=40 m and λy=10 m. Conductivity K in this random field varies by over five orders of magnitude. Fix a time step size Δt=5 min and the study time 8000 min.

At first, accuracies and efficiencies of the constructed scheme and FDHMM are compared. Let the size of the control volume δ=(1/2)H, and the control volume Iδ is uniformly divided into an 8×8 mesh. The computational results of different multiscale schemes at times =500,1000,2000,4000,5000,6000, and 8000 min are plotted in Figure 9. Figure 9 indicates that the new scheme seems to be more accurate than FDHMM. After t=1000 min, eer2 and eer of the solution of the constructed scheme monotonically decrease from 2.06% to 0.32% and from 7.37% to 0.95%, respectively, while those of FDHMM fluctuate in the intervals 2.71%~6.60% and 6.13%~15.40%, respectively. The reason leading to the difference between the results obtained by the constructed scheme and obtained by FDHMM may be the different approaches of estimating the macroscopic flux. Compared with FDHMM in which the approximation of the macroscopic flux is determined before the coarse equation is solved, for the constructed scheme, the computation of the macroscopic flux is coupled into the course of solving the coarse equation. Thus, a quasistationary state of the computed macroscopic flux is approached in the global domain for the constructed scheme and in the local domain for FDHMM, and it may make the constructed scheme give better accuracy than FDHMM for this test problem. We plot the heads in the whole study domain at times t=1000 and 5000 min obtained from the fine-scale model on the fine mesh and two multiscale methods on the coarse mesh (Figure 10). We observe that the heads obtained by the new scheme on a coarse mesh can satisfyingly approximate the “exact” heads, and FDHMM underestimates the heads at the coarse nodes.

Relative (a) L2 and (b) maximum errors between exact and two coarse solutions for aquifer response to sudden change in reservoir level.

Exact solution (top), the coarse solutions of the new scheme (middle), and FDHMM (bottom) at times t=1000 min (left) and 5000 min (right) for aquifer response to sudden change in reservoir level.

The results were obtained on a computer running Windows XP with 2.66 GHz processor, 2 megabytes of cache, and 512 megabytes of RAM. For this test example, memory requirements using the conventional finite difference method, the constructed scheme, and FDHMM are about 27.7, 4.3, and 4.3 megabytes, respectively; CPU times using the three methods are about 12.1 min, 0.1 min, and 7.2 min, respectively. Compared with the computational cost of the conventional finite difference method, in our test example, the present new can save about 84.5% memory and about 99.2% CPU time, and FDHMM can save about 84.5% memory and about 40.5% CPU time. We need to solve 4N(N-1) basic microscopic elliptic problems in the constructed scheme. In fact, the computations of these basic microscale problems can be carried out sequentially, and, at a time, we only need to solve two basic microscale problems (one for Ii+(1/2),jδ and the other for Ii,j+(1/2)δ). When δ=(1/2)H, every basic microscale problem has (M+1)2 unknowns; the degrees of freedom of these basic microscale problems are 2(M+1)2. Added (N+1)2 degrees of freedom of the macroscopic scheme, the total degrees of freedom of the new scheme are 2(M+1)2+(N+1)2. Similarly, the total degrees of freedom of FDHMM are also 2(M+1)2+(N+1)2, and degrees of freedom of the full fine scheme are (2NM+1)2. Thus, both the constructed scheme and FDHMM can obviously save the memory requirement. The first saving in computational time in two multiscale schemes is achieved by reducing the computation of the fine mesh on the whole domain. The fine-scale global flow solution is decomposed into a series of local microscopic problems, and this greatly saves the computational time. However, local microscopic models of the new scheme only need to be solved once at the preprocessing step, while those of FDHMM need to be solved at every time step. Thus, the constructed scheme needs much less CPU time than FDHMM.

Next, we discuss the effects of different cell sizes on the accuracy of the constructed scheme. In a coarse 16×16 mesh, the coarse mesh size H equals 1000/16 m; we change the size of the control volume and let δ=(1/2)H,(3/4)H,H,(5/4)H in turn. To obtain the same size as the full fine mesh size, these control volumes are uniformly divided into 8×8, 12×12, 16×16, and 20×20 meshes in turn. The results obtained by the constructed scheme under different control volume sizes at times =500,1000,2000,4000,5000,6000, and 8000 min are depicted in Figure 11. We observe that the cases with δ=(3/4)H, δ=H, and δ=(5/4)H have about the same accuracy, and the case with δ=(1/2)H has a less accuracy. This is likely because, at three cases with δ=(3/4)H, δ=H, and δ=(5/4)H, the main microstructural information is efficiently captured by the control volume. It may indicate that the control volume size shows no significant effect on the accuracy of the constructed scheme when it is chosen to be near the coarse mesh size.

Relative (a) L2 and (b) maximum errors between the fine-scale model and the new scheme under different cell sizes for aquifer response to sudden change in reservoir level.

3.4. Steady and Transient Flow Problems with Weak Well Drawdown

In this section, we first consider the steady flow problem with well drawdown in heterogeneous porous media. Similar to the examples discussed in [10, 31], we impose the following fixed head and no flux boundary conditions for the test example: heads on the left and right sides are 10 m and top and bottom sides are impermeable boundaries. In addition, a pumping well with the constant flow rate Q is located at the point (500 m, 500 m), and we let Q=0.12 m3/min, 0.24 m3/min, 0.36 m3/min, and 0.48 m3/min, respectively. The aquifer is 10 m thick. We also choose δ=(1/2)H and uniformly divide every control volume Iδ into an 8×8 mesh such that its mesh size equals the size of the fine mesh.

Four conductivity fields with σlnK=0.5,1.0,1.5,2.0 are considered. Assume that the geometric mean of hydraulic conductivity is K¯=0.018 m/min and the anisotropic correlation microstructure with λx=40, λy=10 m. The errors of the results obtained by the constructed scheme under different well flow rates at σlnK=0.5,1.0,1.5,2.0 are plotted in Figure 12. Different from the examples of Section 3.2, the standard deviation of logarithmic hydraulic conductivity shows no significant effect on the accuracy of the new scheme. For example, given Q=0.12 m3/min, when σlnK=0.5,1.0,1.5,2.0, relative L2 errors of the solution of the new scheme are about 0.15%, 0.15%, 0.17%, and 0.20%, respectively, and relative maximum errors of the solution of the new scheme are 2.52%, 2.29%, 2.17%, and 2.00%, respectively. The important factor affecting the accuracy of the new scheme is the flow rate of the pumping well. The larger the flow rate of pumping well is, the larger the resulting errors are. Setting σlnK=1.0, Figure 13 plots the heads in section y=500 m obtained from the fine-scale model on the fine mesh and the constructed scheme on the coarse mesh for the cases Q=0.12,0.24,0.36,0.48 m3/min. There are larger errors of the results of the constructed scheme near point (500 m, 500 m), which are caused by the pumping well at this point. This is likely because heads near the well vary nonlinearly with distance to the well, which cannot be well described by the constructed scheme. On the other hand, the problem of the well singularity may be related to the chosen scale. If we choose a coarse 32×32 mesh and δ=(1/2)H and resolve this well drawdown problem. When σlnK=1.0, in Figure 14, we replot the curves shown in Figure 13. We observe that the accuracy of the new scheme was improved markedly.

Relative (a) L2 and (b) maximum errors between the fine-scale model and the new scheme for the steady flow problem with well drawdown.

Exact solution and the coarse solution of the new scheme in section y=500 m for the steady well drawdown problem under different well flow rates: (a) Q=0.12, (b) Q=0.24, (c) Q=0.36, and (d) Q=0.48  (m3(min)−1).

Exact solution and the coarse solution of the new scheme at the coarse 32×32 mesh in section y=500 m under different well flow rates: (a) Q=0.12, (b) Q=0.24, (c) Q=0.36, and (d) Q=0.48  (m3(min)−1).

Next, we consider the transient well drawdown problem in heterogeneous porous media. Boundaries of the study area are Dirichlet types. Heads on four sides are all 10 m. Initial pressure head is also 10 m everywhere in the aquifer. The specific storage coefficient is 2.0×10-4 m−1 and the aquifer is 10 m thick. There is a pumping well at the point (500 m, 500 m). The well has the constant flow rate of 0.24 m3/min and is pumped for 1600 min in the problem. The time step is 1 min for every method. This test example is analogous to the examples used in [10, 31]. The statistical parameters used to describe random conductivity field are K¯=0.018 m/min, σlnK=1.0, λx=40 m, and λy=10 m. This random conductivity field varies by over three orders of magnitude.

Similar to Section 3.3, we compare accuracies and efficiencies of the constructed scheme and FDHMM. The control volume Iδ has a size of (1/2)H and is uniformly divided into an 8×8 mesh. We plot the computational results of different multiscale schemes at times =100,200,400,800,1000,1200, and 1600 min (Figure 15). The constructed scheme gives a little more accuracy than FDHMM. Over the whole simulating time, eer2 and eer of the solution of the new scheme are less than 0.26% and 4.15%, respectively, and those of FDHMM are less than 0.38% and 5.44%, respectively. Figure 16 shows the heads at times t=200 and 1000 min in section y=500 m obtained from the fine-scale model on the fine mesh and two multiscale methods on the coarse mesh. We observe that the solutions obtained by both the constructed scheme and FDHMM on a coarse mesh are able to satisfyingly approximate the exact solution except of the well singularity. Near the well singularity, the results obtained by both multiscale methods are in rough agreement with those obtained by the fine-scale model, and the heads are overestimated to be about 0.45 m and 0.50 m by the constructed scheme and FDHMM at the well singularity, respectively, at t=200 min. This fact may imply that, although a quasibalance state of the macroscopic flux is achieved in the global domain for the constructed scheme versus in the local domain for FDHMM, this advantage of the constructed scheme is not obvious for the well drawdown problem.

Relative (a) L2 and (b) maximum errors between exact and two coarse solutions for the transient flow problem with weak well drawdown.

Exact solution and two coarse solutions at times (a) t=200 min and (b) 1000 min in section y=500 m for the transient flow problem with weak well drawdown.

Computational costs of the three methods in this test example are similar to those in the test example discussed in Section 3.3 and are omitted in this section. This is followed by a discussion of effects of different cell sizes on the accuracy of the constructed scheme. As described in Section 3.3, in a coarse 16×16 mesh, the control volumes are chosen to have sizes of δ=(1/2)H,(3/4)H,H,(5/4)H and are uniformly divided into 8×8, 12×12, 16×16, and 20×20 meshes in turn. Plotted in Figure 17 are the calculated results of the constructed scheme under different control volume sizes at times t=100,200,400,800,1000,1200, and 1600 min. It indicates that four cases give a reasonable accuracy in eer2 and eer. We observe that the results for δ=H are the best, the results for δ=(3/4)H are less accurate than those for δ=H, the results for δ=(5/4)H are less accurate than those for δ=(3/4)H, and the results for δ=(1/2)H are the worst. The results obtained under three cases with δ=(3/4)H,H,(5/4)H are very similar. Thus, the control volume size may be chosen to be near the size of the coarse mesh for the sake of the accuracy of the constructed scheme. In addition, under the cases with δ=(1/2)H and δ=(3/4)H, we only use about 50% and 75% of the information of the whole microstructure, respectively. This flexibility of choosing the size of the control volume means that the constructed scheme may be applied to the flow problem for which the microstructure cannot be completely found beforehand.

Relative (a) L2 and (b) maximum errors between the fine-scale model and the new scheme under different cell sizes for the transient flow problem with weak well drawdown.

4. Conclusion

A new scheme of the finite difference heterogeneous multiscale method, which puts more emphasis on the interaction between the macro- and microscale behaviors, has been presented for solving saturated water flow problems in random porous media. The macroscopic iteration formulas of steady and transient flow problems have been explicitly deduced. By solving basic microscopic elliptic problems and estimating basic macroscopic fluxes, it is subtly brought to the large scale for microscale information of the medium property and useful information about the gradients of the solutions of basic microscopic elliptic models. For the transient flow problem, different from that FDHMM needs the macroscopic and microscopic evolution at every time step, the constructed scheme implements the microscopic evolution at the preprocessing step and only needs the macroscopic evolution at every time step, which offers substantial saving in the computational cost. The constructed scheme saves about 58.7% CPU time compared to FDHMM for aquifer response to sudden change in reservoir level on the case δ=(1/2)H. Different numerical examples, including two steady flow problems and two transient flow problems subject to Dirichlet-Neumann boundary type, are applied to test the efficiency and accuracy of the constructed scheme. We have considered seven correlation lengths and four standard deviations of the hydraulic conductivity field for steady flow problems with isotropic and anisotropic microstructure and considered four flow rates of the pumping well and four standard deviations of the hydraulic conductivity field for the steady flow problem with well drawdown. In every transient flow problem, we have also considered four sizes of the control volume. The numerical experiments demonstrate that the constructed scheme gives a better accuracy than FDHMM for aquifer response to sudden change in reservoir level and gives a comparable accuracy to FDHMM for the weak well drawdown problem. The numerical experiments also indicate that the constructed scheme can efficiently capture the macroscale behavior of the solution on a coarse mesh for the steady and transient flow problems without well drawdown, and the scheme can approximately handle the weak well drawdown problem. The well singularity is related to the chosen scale. We may refine the coarse mesh size to improve the accuracy of the solution to the well drawdown problem. The standard deviation of logarithmic hydraulic conductivity field plays an important role in the accuracy of the constructed scheme. The larger the standard deviation is, the less accurate the results are. The spatial correlation length of random conductivity field has relatively little influence on the accuracy of the constructed scheme. To obtain a reasonable accuracy, the size of the control volume may be chosen to be near or to be equal to the coarse mesh size or other suitable size if necessary. This flexibility of choosing the size of the control volume means that the constructed scheme can be not only applied to the flow problem for which the microstructure is completely found but may be also applied to the flow problem for which the microstructure is only partly found beforehand.

This study is limited to two-dimensional saturated flow through heterogeneous porous media. We also plan to extend this scheme to solve unsaturated water flow problems with heterogeneity which would be more difficult to simulate.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported by the Natural Science Foundation of China (51039007), the Natural Science Foundation of Hunan Province (13JJ3120), and the Construct Program of the Key Discipline in Hunan Province.

Dykaar B. B. Kitanidis P. K. Determination of the effective hydraulic conductivity for heterogeneous porous media using a numerical spectral approach 2: results Water Resources Research 1992 28 4 1167 1178 2-s2.0-0026467720 10.1029/91WR03083 Hou T. Y. Wu X.-H. A multiscale finite element method for elliptic problems in composite materials and porous media Journal of Computational Physics 1997 134 1 169 189 10.1006/jcph.1997.5682 MR1455261 ZBL0880.73065 Hou T. Y. Wu X.-H. Cai Z. Convergence of a multiscale finite element method for elliptic problems with rapidly oscillating coefficients Mathematics of Computation 1999 68 227 913 943 10.1090/S0025-5718-99-01077-7 MR1642758 ZBL0922.65071 E W. Engquist B. The heterogeneous multiscale methods Communications in Mathematical Sciences 2003 1 1 87 132 MR1979846 10.4310/CMS.2003.v1.n1.a8 ZBL1093.35012 Efendiev Y. Pankov A. Numerical homogenization of nonlinear random parabolic operators Multiscale Modeling & Simulation 2004 2 2 237 268 10.1137/030600266 MR2043587 ZBL1181.76113 Babuška I. Solution of interface problems by homogenization. I SIAM Journal on Mathematical Analysis 1976 7 5 603 634 MR0509273 10.1137/0507048 ZBL0343.35022 Babuška I. Hubbard B. Homogenization and its application. Mathematical and computational problems Numerical Solution of Partial Differential Equations. III 1976 New York, NY, USA Academic Press 89 116 MR0502025 ZBL0343.35022 Babuška I. Solution of interface problems by homogenization. III SIAM Journal on Mathematical Analysis 1977 8 6 923 937 MR0509282 10.1137/0508071 ZBL0402.35046 Durlofsky L. J. Efendiev Y. Ginting V. An adaptive local-global multiscale finite volume element method for two-phase flow simulations Advances in Water Resources 2007 30 3 576 588 2-s2.0-33846388935 10.1016/j.advwatres.2006.04.002 Ye S. Xue Y. Xie C. Application of the multiscale finite element method to flow in heterogeneous porous media Water Resources Research 2004 40 W09202 10.1029/2003WR002914 Chen Z. Hou T. Y. A mixed multiscale finite element method for elliptic problems with oscillating coefficients Mathematics of Computation 2003 72 242 541 576 10.1090/S0025-5718-02-01441-2 MR1954956 ZBL1017.65088 He X. Ren L. Finite volume multiscale finite element method for solving the groundwater flow problems in heterogeneous porous media Water Resources Research 2005 41 10 2-s2.0-28244491608 10.1029/2004WR003934 W10417 E W. Ming P. Zhang P. Analysis of the heterogeneous multiscale method for elliptic homogenization problems Journal of the American Mathematical Society 2005 18 1 121 156 10.1090/S0894-0347-04-00469-2 MR2114818 ZBL1060.65118 Ming P. Zhang P. Analysis of the heterogeneous multiscale method for parabolic homogenization problems Mathematics of Computation 2007 76 257 153 177 10.1090/S0025-5718-06-01909-0 MR2261016 ZBL1129.65067 Ming P. Yue X. Numerical methods for multiscale elliptic problems Journal of Computational Physics 2006 214 1 421 445 10.1016/j.jcp.2005.09.024 MR2208685 ZBL1092.65102 Yue X. E W. Numerical methods for multiscale transport equations and application to two-phase porous media flow Journal of Computational Physics 2005 210 2 656 675 10.1016/j.jcp.2005.05.009 MR2160639 ZBL1089.76049 Rotersa F. Eisenlohra P. Hantcherlia L. Overview of constitutive laws, kinematics, homogenization and multiscalemethods in crystal plasticity finite-element modeling: theory, experiments, applications Acta Materialia 2010 58 1152 1211 Principe J. Codina R. Henke F. The dissipative structure of variational multiscale methods for incompressible flows Computer Methods in Applied Mechanics and Engineering 2010 199 13–16 791 801 10.1016/j.cma.2008.09.007 MR2581342 ZBL05685173 John V. Kindl A. Numerical studies of finite element variational multiscale methods for turbulent flow simulations Computer Methods in Applied Mechanics and Engineering 2010 199 13–16 841 852 10.1016/j.cma.2009.01.010 MR2581347 ZBL05685178 Abdulle A. E W. Finite difference heterogeneous multi-scale method for homogenization problems Journal of Computational Physics 2003 191 1 18 39 10.1016/S0021-9991(03)00303-6 MR2008485 ZBL1034.65067 E W. Engquist B. Huang Z. Heterogeneous multiscale method: a general methodology for multiscale modeling Physical Review B 2003 67 092101 10.1103/PhysRevB.67.092101 Chen F. Ren L. Application of the finite difference heterogeneous multiscale method to the Richards' equation Water Resources Research 2008 44 W07413 10.1029/2007WR006275 Wen X. Gomez-Hernandez J. J. Upscaling hydraulic conductivities in heterogeneous media: an overview Journal of Hydrology 183 1-2 Renard P. de Marsily G. Calculating equivalent permeability: a review Advances in Water Resources 1997 20 5-6 253 278 2-s2.0-0031260069 Du R. Ming P. Heterogeneous multiscale finite element method with novel numerical integration schemes Communications in Mathematical Sciences 2010 8 797 1091 de Zeeuw P. M. Matrix-dependent prolongations and restrictions in a blackbox multigrid solver Journal of Computational and Applied Mathematics 1990 33 1 1 27 10.1016/0377-0427(90)90252-U MR1081238 ZBL0717.65099 Gelhar L. W. Axness C. L. Three-dimensional stochastic analysis of macrodispersion in aquifers Water Resources Research 1983 19 1 161 180 2-s2.0-0020971569 Cao H. Yue X. The discrete finite volume method on quadrilateral mesh Journal of Suzhou University 2005 10 6 10 Mantoglou A. Wilson J. L. The turning bands method for simulation of random fields using line generation by a spectral method Water Resources Research 1982 18 5 1379 1394 2-s2.0-0020330456 Wang H. F. Anderson M. P. Introduction to Groundwater Modeling: Finite Difference and Finite Element Methods 1982 San Francisco, Calif, USA W. H. Free-Man and Company He X. Ren L. A modified multiscale finite element method for well-driven flow problems in heterogeneous porous media Journal of Hydrology 2006 329 3-4 674 684 2-s2.0-33749133602 10.1016/j.jhydrol.2006.03.018