A mixed finite element approximation for Darcy-Forchheimer flows of slightly compressible fluids
In this paper, we consider the generalized Forchheimer flows for slightly compressible fluids in porous media. Using Muskat’s and Ward’s general form of Forchheimer equations, we describe the flow of a single-phase fluid in by a nonlinear degenerate system of density and momentum. A mixed finite element method is proposed for the approximation of the solution of the above system. The stability of the approximations are proved; the error estimates are derived for the numerical approximations for both continuous and discrete time procedures. The continuous dependence of numerical solutions on physical parameters are demonstrated. Experimental studies are presented regarding convergence rates and showing the dependence of the solution on the physical parameters.
Key words. Porous media, error analysis, slightly compressible fluid, dependence on parameters, numerical analysis.
AMS subject classifications. 65M12, 65M15, 65M60, 35Q35, 76S05.
The fluid flow through porous materials, e.g. soil, sand, aquifers, oil reservoir, plants, wood, bones, etc., is a great interest in the research community such as engineering, oil recovery, environmental and groundwater hydrology and medicine. Darcy law, which is the linear relation between the velocity vector and the pressure gradient, is used to describe fluid flow under low velocity and low porosity conditions, see in . It has been observed from many experiments that when the fluid’s velocity is high and porosity is nonuniform, the Darcy’s law becomes inadequate. Consequently, the attention has been attracted to the nonlinear equations for describing of this kind of flow. Dupuit and Forchheimer proposed a modified equation, known as Darcy- Forchheimer equation or generalized Forchheimer equation, by adding the nonlinear terms of velocity to Darcy law, see . Since then, there have been a growing number of articles studying Darcy- Forchheimer equation in theoretical studies (e.g.[40, 41, 8, 7, 37, 32]) and numerical studies (e.g.[4, 10, 36, 18, 30, 38]).
It is well known that the mixed finite element method is among the popular numerical methods for the modeling flow in porous media because it produces the accurate results for both scalar (density or pressure) and vector (velocity or momentum) functions, see . An analysis of mixed finite element method to a Darcy-Forchheimer steady state model was well studied in [35, 38]. The mixed methods for a nondegenerate system modeling flows in porous media was studied in [10, 36, 18, 30]. The authors in [1, 43, 14, 15] analyzed the mixed finite element approximations of the nonlinear degenerate system modeling water-gas flow in porous media. In their analysis, the Kirchhoff transformation is used to move the nonlinearity from coefficients to the gradient.
The objective of this paper is to analyze mixed finite element approximations to the solutions of the system of equations modeling the flows of a single-phase compressible fluid in porous media subject to the generalized Forchheimer law. This is a nonlinear degenerate system with coefficients depending on the density gradient and degenerating to zero as it approaches to infinity. The Kirchhoff transformation is not applicable for this system. For our degenerate equations, we combine the techniques developed in our previous works in [19, 20, 21, 22, 23, 24, 29, 28] and utilize the special structures of the equations to obtain the stability of the approximated solution and the continuous dependence of the solution on parameters. The error estimates also derives for the density and momentum.
The paper is structured as follows. In section §LABEL:Intrsec, we introduce the notations and the relevant results. In section §LABEL:MFEM, we defined a numerical approximation using mixed finite element approximations and the implicit backward difference time discretization to the initial boundary value problem (IVBP) LABEL:rho:eq. In section §LABEL:Bsec, we establish many estimates of the energy type norms for the approximate solution to the IVBP problem (LABEL:semidiscreteform) in Lebesgue norms in terms of the boundary data and the initial data. In section §LABEL:dependence-sec, we focus on proving the continuous dependence of the solution on the coefficients of Forchheimer polynomial . In order to obtain this, we first establish the perturbed monotonicity for our degenerate partial differential equations, see in (LABEL:quasimonotone). It is then proved in Theorem LABEL:DepCoeff that the difference between the two solutions, which corresponds to two different coefficient vectors and is estimated in terms of , see in (LABEL:ssc2). In section §LABEL:err-sec, we study in Theorem LABEL:err-thm the convergence and in Theorem LABEL:par-thm the dependence on coefficients of Forchheimer polynomial of the approximated solution to the problem (LABEL:semidiscreteform). Furthermore, we can specify the convergent rate. In section §LABEL:err-ful-sec, we study the fully discrete version of problem (LABEL:semidiscreteform). In Lemma LABEL:stab-appr, the stability of the approximated solution is proved. Theorems LABEL:Err-ful and LABEL:Dep-ful are for studying the error estimates and the continuous dependence on parameters of the numerical solution. In section §LABEL:Num-result, the numerical experiments in the two-dimensions using the standard finite elements are presented regarding the convergence rates and the dependence of the solution on the physical parameters.
2 Preliminaries and auxiliaries
We consider a fluid in porous medium occupying a bounded domain with boundary . Let , and be the spatial and time variables respectively. The fluid flow has velocity , pressure and density .
where , are real (not necessarily integral) numbers, and the coefficients satisfy and .
In order to take into account the presence of density in the generalized Forchheimer equation, we modify (LABEL:gF) using the dimensional analysis by Muskat  and Ward . They proposed the following equation for both laminar and turbulent flows in porous media:
In particular, when , Ward  established from experimental data that
Combining (LABEL:gF) with the suggestive form (LABEL:W) for the dependence on and , we propose the following equation
Here, the viscosity and permeability are considered constant, and we do not specify the dependence of ’s on them.
Multiplying equation (LABEL:FM) to , we obtain
where the function is a generalized polynomial with non-negative coefficients. More precisely, the function is of the form
where , are real (not necessarily integral) numbers. The coefficients satisfy and . The number is the degree of and is denoted by . Denote the vectors of powers and coefficients by and . The class of functions as in (LABEL:eq2) is denoted by FP(), which is the abbreviation of “Forchheimer polynomials.” When the function in (LABEL:eq2) belongs to FP(), it is referred to as the Forchheimer polynomial.
For slightly compressible fluids, the state equation is
It follows form (LABEL:eq2) and (LABEL:eq3) that
Solving for from (LABEL:Gs) gives
where the function is defined for by
The continuity equation is
where is the porosity, and is the external mass flow rate .
By rescaling the coefficients of the conductivity function , we can assume . We introduce the momentum variables
Combining (LABEL:ru) and (LABEL:con-law), we obtain equations in a density-momentum formulation
We will study the initial boundary value problem (IVBP) associated with the coupled system (LABEL:utporo). We will derive estimates for the solution, and establish their continuous dependence on the coefficients of the function in (LABEL:eq2). As seen below, the generalized permeability tensor is degenerate to zero when . This was not considered in existing papers, e.g. in [13, 30, 35]. Therefore, it creates an additional challenge and requires extra care in the proof and analysis.
Let in FP(). The following numbers are frequently used in our calculations:
Let be in class FP(). For any , One has
and it decreases in .
For any , the function increases and .
Type of degeneracy
where depend on and only.
In particular, when , , one has
Relation with its derivative
When vector is fixed, we denote and by and , respectively. The function can be compared with and by
where depend on .
For convenience, we use the following notations: let and be two arbitrary vectors of the same length, including possible length . We denote by and their maximum and minimum vectors, respectively, with components and .
Let be the set of admissible . For any coefficient vectors , , and any , one has
where is defined in (LABEL:adef),
In particular, if then (LABEL:Umono) and (LABEL:quasimonotone) become
Proof. (i). Let , and .
Case 1: The origin does not belong to the segment connecting and . Define
By the Mean Value Theorem, we have
Elementary calculations give
Estimation of . Since
we find that
Estimation of . We find the partial derivative of in . For , taking the partial derivative in of the identity , we find that
From , we have for , which implies
Hence, we obtain
This shows that
Using inequality , we have Hence,
Using the estimate (LABEL:Ka), we bound
Since is positive for , the number , for all , can be bounded by Using the fact , (LABEL:ih2) yields
Thus, we obtain (LABEL:Umono) by combining (LABEL:Ifm), (LABEL:UI1) and (LABEL:UI2).
Case 2: The origin belongs to the segment connect . We replace by so that and as . Apply the above inequality for and , then let .
(ii) If then
It follows (LABEL:ks) that
and from (LABEL:Uh2), we see that
Thus, we obtain (LABEL:quasimonotone) by combining (LABEL:Ifm), (LABEL:int-h1) and (LABEL:I2geq).
Now we derive the trace estimates suitable for our nonlinear problem.
Assume is a function defined on .
(i) If then there is a positive constant depending on such that for all ,
(ii) If and then there exists such that for all
for a constant .
Proof. We recall the trace theorem
for all where is a positive constant depending on . Using Young’s inequality, we obtain (LABEL:sec2).
(ii) We have
Using (LABEL:sec2) and Young’s inequality give
If then (LABEL:bnd-eps) clearly holds true.
Otherwise, selecting and the fact that , we obtain (LABEL:bnd-eps).
Estimate (LABEL:bnd-est) follows by choosing in (LABEL:bnd-eps) and using Young’s inequality.
We recall a discrete version of Gronwall Lemma in backward difference form, which is useful later. It can be proven without much difficulty by following the ideas of the proof in Gronwall Lemma.
Assume and the nonnegative sequences , satisfying
Proof. Let . Simple calculation shows that
Summation over leads to
and hence (LABEL:Gineq) holds true.
Notations: Let be the set of square integrable functions on and the space of -dimensional vectors with all the components in . We denote the inner product in either or . The notation means scalar norm or vector norm and represents the standard Lebesgue norm. Notation means the mixed Lebesgue norm.
For and any nonnegative integer, let denote a Sobolev space endowed with the norm Define with the norm .
Our estimates make use of coefficient-weighted norms. For some strictly positive, bounded function, we denote the weighted -norm by by
and if thoughout , we have the equivalent
We will also use weighted versions of Cauchy-Schwarz. With such a weight function , we can bound a standard inner product as
Throughout this paper, we use short hand notations, and The letters represent positive generic constants. Their values depend on exponents, coefficients of polynomial , the spatial dimension and domain , independent of the initial data and boundary data, size of mesh and time step. These constants may be different from place to place.
3 A mixed finite element approximation
In this section, we will present the mixed weak formulation of the Forchheimer equation. We consider the initial boundary value problem (IVBP) associated with (LABEL:utporo):
where is a outer normal vector of boundary , and are smooth functions .
Assume that and for all then the system (LABEL:rho:eq) reduces to the equation form
This equation is a nonlinear degenerate parabolic equation as the density gradient approaches to infinity. The existence and theory of regularity for degenerate parabolic of this type is studied in [25, 31, 11, 26, 12].
Define and the space
with the norm defined by
The variational formulation of (LABEL:rho:eq) is defined as follows: Find such that
Let be a family of quasiuniform triangulations of with being the maximum diameter of the mesh elements. Let be the space of discontinuous piecewise polynomials of degree over . Let be the mixed element spaces approximating the space .
For density, we use the standard -projection operator, see in , , satisfying
For all , there is a positive constant such that
There exists a positive constant such that for all ,
When , in short hand we write (LABEL:prjpi) as
The semidiscrete formulation of (LABEL:weakform) can read as follows: Find a pair such that
with initial data .
Let be the uniform partition of with , for time step . We define . The discrete time mixed finite element approximation to (LABEL:weakform) is defined as follows: For given and . Find a pair in , such that