Abstract
A block-centered finite difference method is introduced to solve an initial and boundary value problem for a nonlinear parabolic equation to model the slightly compressible flow in porous media, in which the velocity–pressure relation is described by Darcy–Forchheimer’s Law. The method can be thought as the lowest order Raviart–Thomas mixed element method with proper quadrature formulation. By using the method the velocity and pressure can be approximated simultaneously. We established the second-order error estimates for pressure and velocity in proper discrete norms on non-uniform rectangular grid. No time-step restriction is needed for the error estimates. The numerical experiments using the scheme show that the convergence rates of the method are in agreement with the theoretical analysis.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Darcy’s flow in porous media is of great interest in many fields such as oil recovery and groundwater pollution contamination. Darcy’s law describes the linear relationship between the velocity of creep flow and the gradient of pressure. The relationship is valid by experiment under the condition that the creeping velocity is low and the porosity and permeability is small enough [1]. A theoretical derivation of Darcy’s law can be found in [2, 3].
In some cases, for example when the velocity is higher, a nonlinear relationship between the velocity and the pressure gradient is developed, suggested by Forchheimer [1], by adding a second order term to reach a modified equation. The Darcy–Forchheimer equation (or Forchheimer’s law) is described as follows,
A theoretical derivation of it can be found in [4].
Forchheimer’s law mainly describes the inertial effects for high speed flow. The most important feature of Forchheimer’s law is that it combines the monotonicity of the nonlinear term and the non-degenerate of the Darcy’s part. There are several papers to analyze the analytical solution for the Forchheimer flow problem, see, for example, [5,6,7].
There are some papers consider the numerical methods for Forchheimer flow in porous media. Mixed element methods for generalized Forchheimer equation were first studied by Douglas et al. [8], then a mixed element method for general nonlinear elliptic problem was studied by Park [9]. A mixed element method with piecewise constant approximation for velocity and nonconforming piecewise linear approximation for pressure, called primal mixed element [10], was considered in [11, 12]. And a mixed element method with Raviart-Thomas element was considered in [13]. Mixed element methods for time-dependent compressible Forchheimer flow was considered by [14]. And a numerical well model with cell-centered finite difference and finite element method for non-Darcy flow was considered in [15]. In [14] only the semi-discrete mixed element method is considered. And since they used the inversive assumption, the lowest-order Raviart–Thomas mixed element is not included in their error estimates.
A series of work about generalized Forchheimer flow can be found in [16,17,18], in which both expanded mixed element form and the nonlinear degenerate parabolic form are used to discrete the model problem. Numerical analysis is based on the monotone properties possessed by Forchheimer operator, [19,20,21].
Block-centered finite difference methods can be thought as the lowest order Raviart-Thomas mixed element method with proper quadrature formulation and has been used widely in reservoir numerical simulation. By using it both the velocity and pressure can be approximated with second-order accuracy for linear elliptic problem with diagonal diffusion coefficient was considered, see [22]. Then in [23, 24] cell-centered finite differences for linear elliptic problem with tensor diffusion coefficients were considered. Another advantage of block-centered, or cell-centered, finite difference method is that it transfers the saddle point system of the mixed element method into symmetric positive definite system, which has been used in many papers, see, for example, [25, 26].
Recently we introduced and analyzed a blocked-centered finite difference method for the incompressible Forchheimer equation with constant coefficients [27] and variable coefficients [28]. We demonstrate that the proposed scheme is second-order accuracy both for velocity and pressure in some discrete norms. A two-grid finite difference method for the the problem is also considered [29].
In this paper we present a blocked-centered finite difference method for the slightly compressible Forchheimer flow problem in porous media. The problem is a kind of nonlinear parabolic problems where the diffusion coefficient depends on the pressure and the absolute value of the vector-valued velocity. It is an extension of our work in [27], where just the nonlinear elliptic Forchheimer problem with constant coefficients was considered. In the scheme, the pressure, the velocity in x-direction and the velocity in y-direction are defined on staggered grids. One key problem to present the scheme is to give a proper approximation to the nonlinear diffusion coefficient, which depend on the pressure and the absolute function of the velocity. The approximation should have the second-order accuracy and reserve the monotonicity of the operator, see Lemma 6 below. We demonstrate that the proposed scheme has these two properties on non-uniform rectangular grid.
Usually for a priori error estimate of numerical solution of nonlinear time-dependent problem, one may employ the inductive assumption and inverse inequality to bound the numerical solution. This may result in a time-step restriction, see, for example, [30,31,32,33,34]. Li and Sun [35, 36] developed a technique to remove the time-step restriction for a priori estimate. In this paper no time-step restriction is needed for the second-order error estimates. Here our technique is different from Li and Sun [35, 36], we used the monotonicity of the nonlinear operator.
Some numerical examples are carried out using the presented scheme. The numerical results show that the convergence rates of our method are in agreement with the theoretical analysis.
The paper is organized as follows. In Sect. 2 we give the problem and some notations. In Sect. 3 we present the block-centered finite difference scheme. In Sect. 4 we give the corresponding numerical analysis. In Sect. 5 some numerical experiments are carried out.
Throughout the paper we use C, with or without subscript, to denote a positive constant, which can have different values in different appearances.
2 The Problem and Some Notations
In this section we present a slightly compressible flow model in porous media, in which the velocity–pressure relation is described by the Darcy–Forchheimer’s law.
Firstly, the equation for mass conservation is as follows
where \( \phi \) is the porosity of the media, q is the source term and \(\mathbf {u},\ \rho \) are the velocity and density of the fluid. This model can be simplified under the circumstance that the fluid is slightly compressible [1, 37, 38]. Set \(C_F\) be the coefficient of compressibility \(C_{_F} = \frac{1}{\rho } \frac{\partial \rho }{\partial p}\), then
and we have
The term \(\frac{\partial \rho }{\partial p} \nabla p \cdot \mathbf {u}\) is effectively quadratic in the velocity, which in almost all of the domain can be neglected [38,39,40]. Thus we arrive the following equation,
Combining the mass conservation equation (5) with the velocity–pressure equation (1) we obtain the model describing the slightly compressible flow in porous media, in which the velocity–pressure relation obeys the Forchheimer’s law.
Here p represents the pressure while \(\mathbf {u}\) the velocity of the fluid. \({\varOmega }\) is a porous media domain and \(J=(0,T)\) is the time interval. For simplicity we consider the problem in two dimensional space. \(\mathbf {n}\) represents the unit exterior normal vector to the boundary of \({\varOmega }\), \(| \cdot |\) denotes the Euclidean norm, \(| \mathbf {u} |^2 = \mathbf {u} \cdot \mathbf {u}\). \(\rho \), \(\mu \) and \(\beta \) are scalar functions which represent the density of the fluid, its viscosity and the Forchheimer number, respectively. For compressible fluid, \(\rho \) depends on the pressure p, \(\rho =\rho (p)\). \(\phi \) represents the porosity. K is the permeability tensor function. For simplicity we suppose that \(K=\bar{k}\text{ I }\) where \({\bar{k}}\) is a positive constant and \(\text{ I }\) represents the unit matrix. \(f \in L^2({\varOmega })\), a scalar function, represents the source and sink of the systems. \(\rho (p) \mathbf {g}\nabla H \in (L^2({\varOmega }))^d\), a vector function, is the gradient of the depth function \(H \in H^1({\varOmega })\). \(f_N \in L^2( \partial {\varOmega })\), a scalar function, represents the Neumann boundary condition, or the flux through the boundary.
A more general compressible Forchheimer flow model was considered in [8] where the dependence of \(\rho \) on pressure p does not be described explicitly.
For simplicity of constructing the block-centered finite difference scheme we consider the problem in a two dimensional rectangular domain, \({\varOmega }=(0,L_x)\times (0,L_y)\). We use the notation (x, y) to denote the coordinate of a point in the domain and denote the velocity by \(u=(u^x,u^y)\). We suppose that the depth function H is a constant, then \(\nabla H=0\). Furthermore we suppose that the problem is with homogeneous boundary condition, \(f_N=0\).
With the above assumptions the problem (6) can be re-written as
We will derive the block-centered finite difference method for the model problem (7).
Let \(N>0\) be a positive integer. Set
The domain \({\varOmega }=(0,L_x)\times (0,L_y)\) is partitioned by \(\delta _x\times \delta _y\), where
For \(i=1,\ldots ,N_x\) and \(j=1,\ldots ,N_y\), define
We divide each \({\varOmega }_{i,j}\) into 4 parts,
Here the superscript ‘L’, ‘R’, ‘T’ and ‘B’ means ‘Left’, ‘Right’, ‘Top’ and ‘Bottom’, respectively. It is clear that
The following Fig. 1 is a description of the dividing.
For a function \(\theta (x,y,t)\), let \(\theta _{l,m}^n\) denote \(\theta (x_l,y_m,t^n)\) where l may take values \(i,\ i+\frac{1}{2}\) for non-negative integers i, and m may take values \(j,\ j+\frac{1}{2}\) for non-negative integers j. For discrete functions with values at proper discrete points, define
where for simplicity we omit the subscript n.
Also define the discrete inner products and norms and semi-norms as follows,
3 A Block-Centered Finite Difference Method
In this section we present a block-centered finite difference method for the slightly compressible Forchheimer model.
For simplicity we use the following notation,
Then the problem (7) can be written as
Here \(\partial {\varOmega }\) is the boundary of \({\varOmega }\), and \(\mathbf {n}\) denotes the outward unit normal to \(\partial {\varOmega }\).
For slightly compressible flow in porous media \(\mu ,\ {\bar{k}},\ \phi \) and \(C_F \) are positive and bounded up and below, and \(\beta \) is non-negative. So \(a_1\) and \(\alpha \) are positive and bounded up and below, and \(a_2\) is non-negative and bounded. For numerical analysis we make the following assumptions on the coefficients and analytical solution.
Assumption 1
\(a_1\), \(a_2\) and \(\alpha \) are continuous functions, and there exist positive constants \({\underline{a}}\) and \({\bar{a}}\) such that,
Assumption 2
The analytical solution (u, p) has the following regularity.
Assumption 3
\(\displaystyle a_2(p) \in L^{\infty }(0,T;W^{2,\infty }({\varOmega }))\cap W^{1,\infty }(0,T;W^{1,\infty }({\varOmega }))\).
The regularity analysis for the solution (u, p) of problem (7), or equivalently (9), can be found in articles and books such as [41,42,43,44,45,46]. For the regularity in Assumption 2 to hold some constraints on the initial value \(p_0\), the right-hand term f and the coefficients should be needed, see the references mentioned above.
For the definition of the scheme we define some interpolation operators. For a discrete function \(\{q_{i,j}\}\) with value on nodal points \(\{(x_{i},y_j)\}\), define a piecewise-constant function \({\varPi }_h q_h\) on \({\varOmega }\) such that,
and a piecewise constant function \(I_h q\) on \({\varOmega }_{i,j}\) such that
Here the discrete interpolant function \(\{{\bar{I}}_h q\}\) with values at \(\displaystyle \{(x_{i}\pm \frac{h_i}{4},y_j\pm \frac{k_j}{4})\}\) is as follows
For a pair of discrete functions \(\{V^x_{i+\frac{1}{2},j}\}\) and \(\{V^y_{i,j+\frac{1}{2}}\}\) define the interpolant operator \({\varPi }_2\) as follows.
where
Let |(U, V)| be the norm function for a vector (U, V). Direct calculation shows that
For \( w=p,\ I_h p\), define an interpolant \({\bar{Q}}(a_2(w),u)\) on \( {\varOmega }_{i,j}\) as follows.
Here it is remarkable that \(\{I_h p_{i,j}\ne p_{i,j}\}\), then \({\bar{Q}}(a_2(p),u)\ne {\bar{Q}}(a_2(I_h p),u)\). Then define two square root averages as follows.
Using the above notations the block-centered finite difference approximations \(\{U^x_{i+\frac{1}{2},j}\}\), \(\{U^y_{i,j+\frac{1}{2}}\}\) and \(\{P_{i,j}\}\) to \(\{u^x(x_{i+\frac{1}{2},j})\}\), \(\{u^y(x_{i,j+\frac{1}{2}})\}\) and \(\{p(x_{i,j})\}\), respectively, are chosen so that
with boundary condition
Remark 3.1
One reason to define the interpolation operators \(I_h\), \({\varPi }_2\) and Q is to ensure the monotonity of the discrete nonlinear operator, see Lemma 6, which is necessary in convergence analysis. There are other possible definitions which can be used in real computation. Up to now we just proved the convergence with the presented interpolation.
Remark 3.2
The scheme is given suppose that the coefficients are continuous. It is clear that it can be used to solve the problem with piecewise continuous problem, provided that the coefficients are continuous in each cell.
The more complicated problem with tensor permeability are under consideration with the methods of [23, 24].
Remark 3.3
Similar to [28] we know the approximate solution \(\{P_{i,j}^n\}\), \(\{U^{x,n}_{i+\frac{1}{2},j}\}\) and \(\{U^{y,n}_{i,j+\frac{1}{2}}\}\) exist uniquely.
4 Error Estimates
In this section we verify that if the analytical solution u and p are sufficiently smooth, (\(U^x\), \(U^y\), P) is a second-order approximation to (\(u^x\),\(u^y\), p).
For this purpose we present some lemmas. Set
The first lemma can be found in [47].
Lemma 1
If \(\displaystyle p \in W^{3,\infty }({\varOmega })\), then there holds
with the approximation properties \(\epsilon _{i+\frac{1}{2},j}^x(p)=O(h^2)\) and \(\epsilon _{i,j+\frac{1}{2}}^y(p)=O(k^2)\).
Define
and set
Similar to Lemma 4.2 of [47] and Lemma 4.1 of [28] we have the following lemma.
Lemma 2
If \(\displaystyle p \in W^{3,\infty }({\varOmega })\), then there holds
with the following approximate properties
Define
Similar to Lemma 4.2 of [27] we can prove the following lemma.
Lemma 3
If \(\displaystyle p \in L^{\infty }(0,T;W^{3,\infty }({\varOmega }))\), \(u \in \left( L^{\infty }(0,T;L^{\infty }({\varOmega }))\right) ^2\) and \(\displaystyle a_2(p) \in L^{\infty }(0,T;W^{2,\infty }({\varOmega }))\), then we have that
with the following approximate properties
Lemma 4
Under the condition of Lemma 3, we have that
with the following approximate properties
Proof
Direct calculation shows that
Here the last equivalence is the definition of \(\varepsilon _{i+\frac{1}{2},j}^x(p)\). By the definition of \(I_h p\) it is clear that
Noticing the symmetric structures in the definition (17) we have that
Therefore
Similarly we can prove
and
which complete the proof. \(\square \)
The following two lemmas can been found in [5, 6], see Lemma 2.3 of [6] and Proposition III.6 of [5], or in [27].
Lemma 5
Let \(\mathbf {z}, \mathbf {h} \in R^d\). The vector-valued function \(\mathbf {f} : R^d \rightarrow R^d\) is defined as \(\mathbf {f} ( \mathbf {z})= | \mathbf {z} | \mathbf {z}\). Then there exists a positive constant \(C_{0}\) such that
Lemma 6
For any vector-valued functions \(\mathbf {V}=(V^x,V^y)\) and \(\mathbf {W}=(W^x,W^y)\) we have that \(( |\mathbf {V}| \mathbf {V} - | \mathbf {W} | \mathbf {W}, \mathbf {V} - \mathbf {W}) \ge 0\), and further
The result of the following lemma is obvious, see [27].
Lemma 7
Let \(\{V_{i+\frac{1}{2},j}^x\},\{V_{i,j+\frac{1}{2}}^y\}\), \(\{W_{i+\frac{1}{2},j}^x\},\{W_{i,j+\frac{1}{2}}^y\}\) and \(\{q^x_{i,j}\},\{q^y_{i,j}\}\) be discrete functions with \(W_{\frac{1}{2},j}^x=W_{N_x+\frac{1}{2},j}^x=W_{i,\frac{1}{2}}^y=W_{i,N_y+\frac{1}{2}}^y=0\). Then there hold,
Now we consider the error estimate.
Theorem 1
Suppose the coefficients \(\mu , \alpha , {\bar{k}}\) are continuous functions and are bounded up and below. Suppose also that Assumptions 1–3 are hold. For the solution of the block-centered finite difference scheme when the discretization parameters \({\varDelta }t, h\) and k are sufficiently small there exists a positive constant C independent of \({\varDelta }t\), h and k such that for \(m\le \frac{T}{{\varDelta }t}\),
Proof
From Lemma 4, Eqs. (20), (21) and (9) we have that
Define
Then
From Eq. (9) we have that
where
Here we have used the fact that \(x_i\) is the midpoint of \((x_{i-\frac{1}{2}},x_{i+\frac{1}{2}})\) and \(y_j\) is the midpoint of \((y_{j-\frac{1}{2}},y_{j+\frac{1}{2}})\).
From (51) and (19) we have that
Denote by
When p and u are sufficiently smooth, it is clear that
From (53) we have that
Multiplying (56) by \((e^p+\eta )_{i,j}^n h_i k_j\) and summing for i, j, \(1\le i\le N_x,1\le j\le N_y\), we have that
By Lemma 7 we have that
Using (49) and (50) we have that
The third combining with the forth terms on the left hand sides can be estimated as follows.
where
From the definition of the interpolant and Lemma 6 we have that
Similarly we deal with other terms \(I^2_{i,j}\) to \(I^4_{i,j}\).
Then from (60) and (61) we have that
By Schwarz’s inequality it is clear that
Because we use \(\{P^n_{i,j}\}\) and \(\{p^n_{i,j}\}\) in the definitions of \(\{I_h P^n_{i\pm \frac{1}{4},j\pm \frac{1}{4}}\}\) and \(\{I_h p^n_{i\pm \frac{1}{4},j\pm \frac{1}{4}}\}\), from some simple calculations we can get
Similarly
Combining (67) with (68), (69) and (67) we have that
Summing (71) for n from 1 to \(m,m\le \frac{T}{{\varDelta }t}\), and using the estimates of \(\epsilon ^{1,n}\), \(\epsilon ^{2,n}\), \(\varepsilon ^{x,n}(p)\), \(\varepsilon ^{y,n}(p)\) and \(\eta ^n\) we have that
By Gronwall’s inequality when \({\varDelta }t\) is sufficiently small we have that
Combining (73) with the estimate for \(\eta \) results in
which completes the proof of the first estimate. It is well-known that
which completes the proof of the second one. \(\square \)
Remark 4.1
In this paper we just considered the homogeneous Neumann boundary condition \(\mathbf {u}\cdot \mathbf {n}=0\). For non-homogeneous boundary condition the present interpolant operators does not have second-order accuracy near the boundary. We will improve the result next.
5 Numerical Experiment
In this section we carry out some numerical experiments using the block-centered finite difference scheme in two dimensional region. For simplicity, the region are selected as unit square, i.e. \({\varOmega }= [ 0, 1] \times [ 0, 1]\). The time interval is \((0,T]=(0,1]\). The permeability, the viscosity, density and Forchheimer number \(\beta \) are all constants. For simplicity, take \(\mu = 2, {\bar{k}} = 4, \rho = 1, \beta = 5\). We use an iterative procedure to solve the nonlinear system obtained from the finite difference discretization.
We test Examples 1 and 2 to verify the convergence rates of the presented scheme. The initial partition is \(10 \times 10\) grid. And then the grid is refined 4 times. For each refining we take \(\displaystyle \frac{{\varDelta }t}{h^2}\) to be a constant. A grid with degree of freedom is plotted in Fig. 2.
The numerical results are listed in Figs. 3 and 4 and Tables 1 and 2. In the tables \(\displaystyle \frac{h_{max}}{h_{min}}\) and \(\displaystyle \frac{k_{max}}{k_{min}}\) are listed to show the non-uniformity of the grid, where \(h_{max}\) (\(h_{min}\)) is the maximum (minimum) meshsize in x-direction and \(k_{max}\) (\(k_{min}\)) is the maximum (minimum) meshsize in y-direction. The discrete \(l^2\) norms of the errors are defined as follows.
Example 1
An example with homogeneous Neumann boundary condition is as below. The flux on the boundary condition, \(\mathbf {u} \cdot \mathbf {n}\), is computed according to the analytic solution given as below.
The numerical results are listed in Fig. 3 and Table 1.
Example 2
An example with homogeneous Neumann boundary condition is as below. The flux on the boundary condition, \(\mathbf {u} \cdot \mathbf {n}\), is computed according to the analytic solution given as below.
The numerical results are listed in Fig. 4 and Table 2.
Example 3
An example with homogeneous Neumann boundary condition, point-source and point-sink flux is simulated. The right hand side equals zero except at the injection and production wells, where the injection flow rate, \(q_{_{_{I}}}\), and production flow rate, \(q_{_{_{P}}}\), at wells are,
The numerical results are listed in Figs. 5 and 6.
From Figs. 3 and 4 and Tables 1 and 2, we can see that the block-centered finite difference approximations for pressure and velocity have the second order accuracy in discrete \(L^2\)-norms. These results are in consistent with the error estimates in Theorem 1. Figures 5 and 6 show that the pressure approximation and velocity approximation are reasonable for the point-source and point-sink problem.
References
Aziz, K., Settari, A.: Petroleum Reservoir Simulation. Applied Science Publishers LTD, London (1979)
Neuman, S.P.: Theoretical derivation of Darcy’s law. Acta Mech. 25(3), 153–170 (1977)
Whitaker, S.: Flow in porous media I: a theoretical derivation of Darcy’s law. Transp. Porous Media 1(1), 3–25 (1986)
Ruth, D., Ma, H.: On the derivation of the Forchheimer equation by means of the averaging theorem. Transp. Porous Media 7(3), 255–264 (1992)
Aulisa, E., Bloshanskaya, L., Hoang, L., Lbragimov, A.: Analysis of generalized forchheimer flows of compressible fliuds in porous media. J. Math. Phys. 50(10), 103102 (2009)
Aulisa, E., Lbragimov, A., Volko, P.P., Walton, J.R.: Mathematical framework of the well productivity index for fast Forchheimer (non-Darcy) flow in porous media. Math. Model. Methods Appl. Sci. 19(9), 1241–1275 (2009)
Fabrie, P.: Regularity of the solution of Darcy–Forchheimer’s equation. Nonlinear Anal. Theory Methods Appl. 13(9), 1025–1049 (1989)
Douglas, J.J., Paes-Leme, P.J., Giorgi, T.: Generalized Forchheimer flow in porous media. In: Boundary Value Problems for Partial Differential Equations and Applications. RMA Research Notes in Research Notes in Applied Mathematics, 29, Masson, Paris, pp. 99–111 (1993)
Park, E.J.: Mixed finite element method for nonlinear second order elliptic problems. SIAM J. Numer. Anal. 32, 865–885 (1995)
Roberts, J.E., Thomas, J.M.: Mixed and Hybrid Methods. In: Finite Element Methods (Part 1), Handbook of Numerical Analysis, vol. 2, pp. 523–639, Elsevier Science Publishers B.V., North-Holland, Amsterdam (1991)
Girault, V., Wheeler, M.F.: Numerical discretization of a Darcy–Forchheimer model. Numer. Math. 110(2), 161–198 (2008)
Lopez, H., Molina, B., Jose, J.S.: Comparison between different numerical discretizations for a Darcy–Forchheimer model. Electron. Trans. Numer. Anal. 34, 187–203 (2009)
Pan, H., Rui, H.: mixed element method for two-dimensional Darcy–Forchheimer model. J. Sci. Comput. 52, 563–587 (2012)
Park, E.J.: Mixed finite element method for generalized Forchheimer flow in porous media. Numer. Methods Part. Differ. Equ. 21, 213–228 (2005)
Ewing, R.E., Lazarov, R.D., Lyons, S.L., Papavassiliou, D.V., Pasciak, J., Qin, G.: Numerical well model for non-Darcy flow through isotropic porous media. Comput. Geosci. 3(3–4), 184–204 (1999)
Ibragimov, A., Kieu, T.: An expanded mixed finite element method for generalized Forchheimer flows in porous media. Comput. Math. Appl. 72, 1467–1483 (2016)
Kieu, T.: Numerical analysis for generalized Forchheimer flows of slightly compressible fluids in porous media. (2015). arXiv:1508.00294
Kieu, T.: Analysis of expanded mixed finite element methods for the generalized Forchheimer equations. Numer. Methods Part. Differ. Equ. 32, 60–85 (2016)
Celik, E., Hoang, L., Kieu, T.: Doubly nonlinear parabolic equations for a general class of Forchheimer gas flows in porous media. (2016). arXiv:1601.00703
Hoang, L., Kieu, T.: Global estimates for generalized Forchheimer flows of slightly compressible fluids. (2015). arXiv:1502.04732
Hoang, L., Kieu, T.: Interior estimates for generalized Forchheimer flows of slightly compressible fluids. (2015). arXiv:1404.6517
Weiser, A., Wheeler, M.F.: On convergence of block-centered finite differencec for elliptic problems. SIAM J. Numer. Anal. 25, 351–375 (1988)
Arbogast, T., Dawson, C.N., Keenan, P.T., Wheeler, M.F., Yotov, I.: Enhanced cell-centered finite differences for elliptic equations on general geometry. SIAM J. Sci. Comput. 19, 404–425 (1998)
Arbogast, T., Wheeler, M.F., Yotov, I.: Mixed finite elements for elliptic problems with tensor coefficients as cell-centered finite differences. SIAM J. Numer. Anal. 34, 828–852 (1997)
Wheeler, M.F., Xue, G., Yotov, I.: A multipoint flux mixed finite element method on distorted quadrilaterals and hexahedra. Numer. Math. 121, 165–204 (2012)
Wheeler, M.F., Yotov, I.: A multipoint flux mixed finite element method. SIAM J. Numer. Anal. 44, 2082–20106 (2006)
Rui, H., Pan, H.: A block-centered finite difference method for the Darcy–Forchheimer model. SIAM J. Numer. Anal. 50, 2612–2651 (2012)
Rui, H., Zhao, D., Pan, H.: Block-centered finite difference methods for Darcy–Forchheimer model with variable Forchheimer number. Numer. Methods Part. Differ. Equ. 31, 1603–1622 (2015)
Rui, H., Liu, W.: A two-grid block-centered finite difference methods for Darcy–Forchheimer flow in porous media. SIAM J. Numer. Anal. 53, 1941–1962 (2015)
Achdou, Y., Guermond, J.L.: Convergence analysis of a finite element projection/Lagrange–Galerkin methods for the imcompressible Navier–Stokes equations. SIAM J. Numer. Anal. 37, 799–826 (2000)
He, Y.: The Euler implicit/explicit scheme for the 2D time-dependent Navier–Stokes equations with smooth and non-smooth initial data. Math. Comput. 77, 2097–2124 (2008)
Elliot, C.C., Larsson, S.: A finite element model for the time-dependent Joule heating problem. Math. Comput. 64, 1433–1453 (1995)
Sun, W., Sun, Z.: Finite difference methods for a nonlinear and strongly coupled heat and moisture transportsystem in textile materials. Numer. Math. 120, 153–187 (2012)
Wu, H., Ma, H., Li, H.: Optimal order error estimates for the Chebyshev–Legendre spectral method for solving the generalized Burgers equation. SIAM J. Numer. Anal. 41, 659–672 (2003)
Li, B., Sun, W.: Error analysis of linearized semi-implicit Galerkin finite element methods for nonlinear Parabolic equations. Inter. J. Numer. Anal. Model. 10, 622–633 (2013)
Li, B., Sun, W.: Uncontionally convergence and optimal error analysis for a Galerkin-mixed FEM for incompressible miscible flow in porous media. SIAM Numer. Anal. 51, 1959–1977 (2013)
Bear, J.: Dynamics of Fluids in Porous Media. Elsevier, New York (1972)
Douglas Jr., J., Roberts, J.E.: Numerical methods for a model for compressible miscible displacement in porous media. Math. Comput. 41(164), 441–459 (1983)
Aulisa, E., Bloshanskaya, L., Hoang, L., Ibragimov, A.: Analysis of generalized forchheimer flows of compressible fluids in porous media. Technical report. Institute for Mathematics and its Applications (2009)
Hoang, L., Ibragimov, A.: Structural stability of generalized Forchheimer equations for comopressible fluids in porous media. Technical report. Institute for Mathematics and its Applications (2010)
Dibenedetto, E.: Degenerate Parabolic Equations. Springer, Berlin (1993)
Dibenedetto, E., Gianazza, U., Vespri, V.: Forward, backward and elliptic harnack inequalities for non-negative solutions to certain singular parabolic partial differential equations. Annali Della Scuola Normale Superiore Di Pisa Classe Di Scienze 9(2), 385–422 (2010)
Hoang, L., Ibragimov, A., Kieu, T., Sobol, Z.: Stability of solutions to generalized Forchheimer equations of any degree. J. Math. Sci. 210(4), 1–69 (2015)
Ladyzhenskaya, O.A., Solonnikov, V.A., Uraltseva, N.N.: Linear and quasilinear equations of parabolic type. Translated from the Russian. Translations of Mathematical Monographs, vol. 23. American Mathematical Society (1968)
Luan, H., Ibragimov, A.: Qualitative study of generalized forchheimer flows with the flux boundary condition. Adv. Differ. Equ. 17(17), 511–556 (2012)
Showalter, R.E.: Monotone Operators in Banach Space and Nonlinear Partial Differential Equations. American Mathematical Society, Providence (2013)
Rui, H., Pan, H.: Block-centered finite difference methods for parabolic equation with time-dependent coefficient. Jpn. J. Indus. Appl. Math. 30, 681–699 (2013)
Acknowledgements
The authors thank the anonymous referees for their constructive comments, suggestions, careful checking of the manuscript and listing papers about this problem published recently, which lead to improvements of the presentation. This work is supported by the National Natural Science Foundation of China Grant Nos. 11671233,91330106,11301307; the Foundation of Shandong Province Outstanding Young Scientist Award No. BS2013NJ002.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Rui, H., Pan, H. A Block-Centered Finite Difference Method for Slightly Compressible Darcy–Forchheimer Flow in Porous Media. J Sci Comput 73, 70–92 (2017). https://doi.org/10.1007/s10915-017-0406-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10915-017-0406-y
Keywords
- Block-centered finite difference
- Darcy–Forchheimer flow
- Compressible
- Error estimate
- Numerical experiment