Abstract
We study a finite element computational model for solving the coupled problem arising in the interaction between a free fluid and a fluid in a poroelastic medium. The free fluid is governed by the Stokes equations, while the flow in the poroelastic medium is modeled using the Biot poroelasticity system. Equilibrium and kinematic conditions are imposed on the interface. A mixed Darcy formulation is employed, resulting in continuity of flux condition of essential type. A Lagrange multiplier method is employed to impose weakly this condition. A stability and error analysis is performed for the semi-discrete continuous-in-time and the fully discrete formulations. A series of numerical experiments is presented to confirm the theoretical convergence rates and to study the applicability of the method to modeling physical phenomena and the robustness of the model with respect to its parameters.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we study the interaction of a free incompressible viscous Newtonian fluid with a fluid within a poroelastic medium. This is a challenging multiphysics problem with applications to predicting and controlling processes arising in groundwater flow in fractured aquifers, oil and gas extraction, arterial flows, and industrial filters. In these applications, it is important to model properly the interaction between the free fluid with the fluid within the porous medium, and to take into account the effect of the deformation of the medium. For example, geomechanical effects play an important role in hydraulic fracturing, as well as in modeling phenomena such as subsidence and compaction.
We adopt the Stokes equations to model the free fluid and the Biot system [7] for the fluid in the poroelastic media. In the latter, the volumetric deformation of the elastic porous matrix is complemented with the Darcy equation that describes the average velocity of the fluid in the pores. The model features two different kinds of coupling across the interface: Stokes–Darcy coupling [20, 30, 36, 45, 51, 52] and fluid–structure interaction (FSI) [4, 5, 13, 23, 27, 44].
The well-posedness of the mathematical model based on the Stokes–Biot system for the coupling between a fluid and a poroelastic structure is studied in [48]. A numerical study of the problem, using the Navier–Stokes equations for the fluid, is presented in [3], utilizing a variational multiscale approach to stabilize the finite element spaces. The problem is solved using both a monolithic and a partitioned approach, with the latter requiring subiterations between the two problems. The reader is also referred to [11], where a non-iterative operator-splitting method for a coupled Navier–Stokes–Biot model is developed.
An alternative partitioned approach for the coupled Stokes–Biot problem based on the Nitsche’s method is developed in [10]. The resulting method is loosely coupled and non-iterative with conditional stability. Unlike the method in [11], which is suitable for the pressure formulation of Darcy flow, the Nitsche’s method can handle the mixed Darcy formulation. It does, however, suffer from a reduced convergence, due to the splitting across the interface. This is typical for Nitsche’s splittings, see e.g. [14] for modeling of FSI. Possible approaches to alleviate this problem include iterative correction [15] and the use of the split method as a preconditioner for the monolithic scheme [10].
In applications to flow in fractured poroelastic media, an alternative modeling approach is based on a reduced-dimension fracture model. We mention recent work using the Reynolds lubrication equation [32, 40] as well as an averaged Brinkman equation [12]. Earlier works that do not account for elastic deformation of the media include averaged Darcy models [18, 24, 26, 38, 41], Forchheimer models [25], and Brinkman models [37], as well as an averaged Stokes flow that results in a Brinkman model for the fracture flow [42].
In this work we focus on the monolithic scheme for the full-dimensional Stokes–Biot problem with the approximation of the continuity of normal velocity condition through the use of a Lagrange multiplier. We consider the mixed formulation for Darcy flow in the Biot system, which provides a locally mass conservative flow approximation and an accurate Darcy velocity. However, this formulation results in the continuity of normal velocity condition being of essential type, which requires weak enforcement through either a penalty or a Lagrange multiplier formulation. Here we study the latter, as an alternative to the previously developed Nitsche formulation [10]. The advantage of the Lagrange multiplier method is that it does not involve a penalty parameter and it can enforce the continuity of normal velocity with machine precision accuracy on matching grids [1]. The method is also convergent on non-matching grids. After deriving a finite element based numerical approximation scheme for the Stokes–Biot problem, we provide a detailed theoretical analysis of stability and error estimates. A critical component of the analysis is the construction of a finite element interpolant in the space of velocities with weakly continuous normal components. This interpolant is shown to have optimal approximation properties, even for grids that do not match across the interface. The numerical tests confirm the theoretical convergence rates and illustrate that the method is applicable for simulating real world phenomena with a wide range of realistic physical parameters.
An additional advantage of the Lagrange multiplier formulation is that it is suitable for efficient parallel domain decomposition algorithms for the solution of the coupled problem, via its reduction to an interface problem, see, e.g. [51] for the Stokes–Darcy problem. It can also lead to multiscale approximations through the use of a coarse-scale Lagrange multiplier or mortar space [2, 29, 31]. However, this topic is beyond the scope of the paper and it will be investigated in the future.
The remainder of the manuscript is organized as follows. In Sect. 2 we present the mathematical model. Section 3 is devoted to the semi-discrete continuous-in-time numerical scheme and the uniqueness and existence of its solution, followed by its stability analysis in Sect. 4. A detailed error analysis is presented in Sect. 5, which gives insight on the expected convergence rates with different choice of finite element spaces. Section 6 and “Appendix” present the analysis for the fully discrete scheme. Extensive numerical experiments are discussed in Sect. 7, while Sect. 8 sums up our findings.
2 Stokes–Biot model problem
We consider a multiphysics model problem for free fluid’s interaction with a flow in a deformable porous media, where the simulation domain \(\Omega \subset \mathbf{R}^d\), \(d = 2,3\), is a union of non-overlapping polygonal regions \(\Omega _f\) and \(\Omega _p\). Here \(\Omega _f\) is a free fluid region with flow governed by the Stokes equations and \(\Omega _p\) is a poroelastic material governed by the Biot system. For simplicity of notation, we assume that each region is connected. The extension to non-connected regions is straightforward. Let \(\Gamma _{fp} = \partial \Omega _f \cap \partial \Omega _p\). Let \((\mathbf{u}_\star ,p_\star )\) be the velocity-pressure pair in \(\Omega _\star \), \(\star = f\), p, and let \(\varvec{\eta }_p\) be the displacement in \(\Omega _p\). Let \(\mu > 0\) be the fluid viscosity, let \(\mathbf{f}_\star \) be the body force terms, and let \(q_\star \) be external source or sink terms. Let \(\mathbf{D}(\mathbf{u}_f)\) and \(\varvec{\sigma }_f(\mathbf{u}_f,p_f)\) denote, respectively, the deformation rate tensor and the stress tensor:
In the free fluid region \(\Omega _f\), \((\mathbf{u}_f,p_f)\) satisfy the Stokes equations
where \(T > 0\) is the final time. Let \(\varvec{\sigma }_e(\varvec{\eta }_p)\) and \(\varvec{\sigma }_p(\varvec{\eta }_p,p_p)\) be the elastic and poroelastic stress tensors, respectively:
where \( 0 < \lambda _{min} \le \lambda _p(\mathbf{x}) \le \lambda _{max}\) and \(0 < \mu _{min} \le \mu _p(\mathbf{x}) \le \mu _{max} \) are the Lamé parameters and \(0 \le \alpha \le 1\) is the Biot–Willis constant. The poroelasticity region \(\Omega _p\) is governed by the quasi-static Biot system [7]
where \(s_0 \ge 0\) is a storage coefficient and K the symmetric and uniformly positive definite rock permeability tensor, satisfying, for some constants \(0 < k_{min} \le k_{max}\),
Following [3, 48], the interface conditions on the fluid–poroelasticity interface \(\Gamma _{fp}\) are mass conservation, balance of stresses, and the Beavers–Joseph–Saffman (BJS) condition [6, 46] modeling slip with friction:
where \(\mathbf{n}_f\) and \(\mathbf{n}_p\) are the outward unit normal vectors to \(\partial \Omega _f\), and \(\partial \Omega _p\), respectively, \(\varvec{\tau }_{f,j}\), \(1 \le j \le d-1\), is an orthogonal system of unit tangent vectors on \(\Gamma _{fp}\), \(K_j = (K \varvec{\tau }_{f,j}) \cdot \varvec{\tau }_{f,j}\), and \(\alpha _{BJS} \ge 0\) is an experimentally determined friction coefficient. We note that the continuity of flux constrains the normal velocity of the solid skeleton, while the BJS condition accounts for its tangential velocity. The first equation in (2.8), along with the definition of \(\varvec{\sigma }_f\) in (2.1), implies the jump in pressure condition
We note that a different pressure jump condition is obtained in [16, 34] using asymptotic analysis. The study of this condition is beyond the scope of this paper.
The above system of equations needs to be complemented by a set of boundary and initial conditions. Let \(\Gamma _f = \partial \Omega _f \cap \partial \Omega \) and \(\Gamma _p = \partial \Omega _p \cap \partial \Omega \). Let \(\Gamma _p = \Gamma _p^D \cup \Gamma _p^N\). We assume for simplicity homogeneous boundary conditions:
To avoid the issue with restricting the mean value of the pressure, we assume that \(|\Gamma _p^D| > 0\). We also assume that \(\Gamma _p^D\) is not adjacent to the interface \(\Gamma _{fp}\), i.e., \(\text{ dist }(\Gamma _p^D,\Gamma _{fp}) \ge s > 0\). Non-homogeneous displacement and velocity conditions can be handled in a standard way by adding suitable extensions of the boundary data. The pressure boundary condition is natural in the mixed Darcy formulation, so non-homogeneous pressure data would lead to an additional boundary term. We further set the initial conditions
The solvability of the Stokes–Biot system (2.2)–(2.9) was discussed in [48], see also [49]. In the following we derive a Lagrange multiplier type weak formulation of the system, which will be the basis for our finite element approximation. Let \((\cdot ,\cdot )_S\), \(S \subset \mathbf{R}^d\), be the \(L^2(S)\) inner product and let \(\langle \cdot ,\cdot \rangle _F\), \(F \subset \mathbf{R}^{d-1}\), be the \(L^2(F)\) inner product or duality pairing. We will use the standard notation for Sobolev spaces, see, e.g. [17]. Let
where \(H(\mathrm{div}; \Omega _{p})\) is the space of \(L^2(\Omega _p)^d\)-vectors with divergence in \(L^2(\Omega _p)\) with a norm
We define the global velocity and pressure spaces as
with norms
The weak formulation is obtained by multiplying the equations in each region by suitable test functions, integrating by parts the second order terms in space, and utilizing the interface and boundary conditions. Let
be the bilinear forms related to Stokes, Darcy and the elasticity operators, respectively. Let
Integration by parts in (2.2) and the two equations in (2.5) leads to the interface term
Using the first condition for balance of normal stress in (2.8) we set
which will be used as a Lagrange multiplier to impose the mass conservation interface condition (2.7). Utilizing the BJS condition (2.9) and the second condition for balance of stresses in (2.8), we obtain
where
For the well-posedness of \(b_{\Gamma }\) we require that \(\lambda \in \Lambda = (\mathbf{V}_p \cdot \mathbf{n}_p|_{\Gamma _{fp}})'\). According to the normal trace theorem, since \(\mathbf{v}_p \in \mathbf{V}_p \subset H(\mathrm{div}; \Omega _{p})\), then \(\mathbf{v}_p \cdot \mathbf{n}_p \in H^{-1/2}(\partial \Omega _p)\). It is shown in [28] that, if \(\mathbf{v}_p \cdot \mathbf{n}_p = \text { on } \partial \Omega _p \setminus \Gamma _{fp}\), then \(\mathbf{v}_p \cdot \mathbf{n}_p \in H^{-1/2}(\Gamma _{fp})\). The argument there uses that, for any \(\varphi \in H^{1/2}(\Gamma _{fp})\), \(\langle \mathbf{v}_p \cdot \mathbf{n}_p,\varphi \rangle _{\Gamma _{fp}} = \langle \mathbf{v}_p \cdot \mathbf{n}_p,E \varphi \rangle _{\partial \Omega _p}\), where \(E \varphi \in H^{1/2}(\partial \Omega _p)\) is a continuous extension. In our case, since \(\mathbf{v}_p \cdot \mathbf{n}_p = 0 \text { on } \Gamma _p^N\) and \(\text{ dist }(\Gamma _p^D,\Gamma _{fp}) \ge s > 0\), the argument can be modified by first extending \(\varphi \) continuously to \(H^{1/2}_{00}(\Gamma _{fp}\cup \Gamma _p^N)\), and then by zero to \(H^{1/2}(\partial \Omega _p)\), again concluding that \(\mathbf{v}_p \cdot \mathbf{n}_p \in H^{-1/2}(\Gamma _{fp})\). We note that \(\Vert \mathbf{v}_p \cdot \mathbf{n}_p\Vert _{H^{-1/2}(\Gamma _{fp})}\) depends on s. Therefore we can take \(\Lambda = H^{1/2}(\Gamma _{fp})\).
The Lagrange multiplier variational formulation is: for \(t \in (0,T]\), find \(\mathbf{u}_f(t) \in \mathbf{V}_f\), \(p_f(t) \in W_f\), \(\mathbf{u}_p(t) \in \mathbf{V}_p\), \(p_p(t) \in W_p\), \(\varvec{\eta }_p(t) \in \mathbf{X}_p\), and \(\lambda (t) \in \Lambda \), such that \(p_p(0) = p_{p,0}\), \(\varvec{\eta }_p(0) = \varvec{\eta }_{p,0}\), and for all \(\mathbf{v}_f \in \mathbf{V}_f\), \(w_f \in W_f\), \(\mathbf{v}_p \in \mathbf{V}_p\), \(w_p \in W_p\), \(\varvec{\xi }_p \in \mathbf{X}_p\), and \(\mu \in \Lambda \),
where we used the notation \(\partial _t = \frac{\partial }{\partial t}\). We note that the balance of normal stress, BJS, and conservation of momentum interface conditions (2.8)–(2.9) are natural and have been utilized in the derivation of the weak formulation, while the conservation of mass condition (2.7) is essential and it is imposed weakly in (2.14). The weak formulation (2.12)–(2.14) is suitable for multiscale numerical approximations and efficient parallel domain decomposition algorithms [2, 29, 31, 51].
3 Semi-discrete formulation
Let \(\mathcal {T}^f_h\) and \(\mathcal {T}^p_h\) be shape-regular and quasi-uniform partitions [17] of \(\Omega _f\) and \(\Omega _p\), respectively, both consisting of affine elements with maximal element diameter h. The two partitions may be non-matching at the interface \(\Gamma _{fp}\). For the discretization of the fluid velocity and pressure we choose finite element spaces \(\mathbf{V}_{f,h} \subset \mathbf{V}_f\) and \(W_{f,h} \subset W_f\), which are assumed to be inf–sup stable. Examples of such spaces include the MINI elements, the Taylor–Hood elements and the conforming Crouzeix–Raviart elements. For the discretization of the porous medium problem we choose \(\mathbf{V}_{p,h} \subset \mathbf{V}_p\) and \(W_{p,h}\subset W_p\) to be any of well-known inf–sup stable mixed finite element spaces, such as the Raviart–Thomas or the Brezzi–Douglas–Marini spaces. The reader is referred to [8] for an overview of stable Stokes and Darcy mixed finite element spaces. The global spaces are
We employ a conforming Lagrangian finite element space \(\mathbf{X}_{p,h} \subset \mathbf{X}_h\) to approximate the structure displacement. Note that the finite element spaces \(\mathbf{V}_{f,h}\), \(\mathbf{V}_{p,h}\), and \(\mathbf{X}_{p,h}\) satisfy the prescribed homogeneous boundary conditions on the external boundaries. For the discrete Lagrange multiplier space we take
The semi-discrete continuous-in-time problem reads: given \(p_{p,h}(0)\) and \(\varvec{\eta }_{p,h}(0)\), for \(t \in (0,T]\), find \(\mathbf{u}_{f,h}(t) \in \mathbf{V}_{f,h}\), \(p_{f,h}(t) \in W_{f,h}\), \(\mathbf{u}_{p,h}(t) \in \mathbf{V}_{p,h}\), \(p_{p,h}(t) \in W_{p,h}\), \(\varvec{\eta }_{p,h}(t) \in \mathbf{X}_{p,h}\), and \(\lambda _h(t) \in \Lambda _h\) such that for all \(\mathbf{v}_{f,h} \in \mathbf{V}_{f,h}\), \(w_{f,h} \in W_{f,h}\), \(\mathbf{v}_{p,h} \in \mathbf{V}_{p,h}\), \(w_{p,h} \in W_{p,h}\), \(\varvec{\xi }_{p,h} \in \mathbf{X}_{p,h}\), and \(\mu _h \in \Lambda _h\),
We will take \(p_{p,h}(0) \) and \(\varvec{\eta }_{p,h}(0)\) to be suitable projections of the initial data \(p_{p,0}\) and \(\varvec{\eta }_{p,0}\).
The assumptions on the fluid viscosity \(\mu \) and the material coefficients K, \(\lambda _p\), and \(\mu _p\) imply that the bilinear forms \(a_f(\cdot ,\cdot )\), \(a_p^d(\cdot ,\cdot )\), and \(a_p^e(\cdot ,\cdot )\) are coercive and continuous in the appropriate norms. In particular, there exist positive constants \(c^{f}\), \(c^{p}\), \(c^{e}\), \(C^{f}\), \(C^{p}\), \(C^{e}\) such that
where (3.4) and (3.6) hold true thanks to Poincare inequality and (3.6) also relies on Korn’s inequality, see [17] or [21] for more details. We further define, for \(\mathbf{v}_f \in \mathbf{V}_f\), \(\varvec{\xi }_p \in \mathbf{X}_p\),
We next state a discrete inf–sup condition, which will be utilized to control the pressure in the two regions and the Lagrange multiplier. Following [28], we define a seminorm in \(\Lambda _h\),
where \((\mathbf{u}_{p,h}^*(\mu _h),p_{p,h}^*(\mu _h)) \in \mathbf{V}_{p,h}\times W_{p,h}\) is the mixed finite element solution to the Darcy problem with Dirichlet data \(\mu _h\) on \(\Gamma _{fp}\):
We equip \(\Lambda _h\) with the norm \(\Vert \mu _h\Vert _{\Lambda _h}^2 = \Vert \mu _h\Vert _{L^2(\Gamma _{fp})}^2 + |\mu _h|_{\Lambda _h}^2\). This norm can be considered as a discrete version of the \(H^{1/2}(\Gamma _{fp})\)-norm [28]. For convenience of notation we define the composite norms
as well as
The next result establishes the Ladyzhenskaya–Babuska–Brezzi (LBB) condition for the mixed Stokes–Darcy problem, where it is understood that the zero functions are excluded from the inf–sup.
Lemma 3.1
There exists a constant \(\beta >0\) independent of h such that
Proof
The result is proven in [28] in the case of velocity boundary conditions on \(\partial \Omega \) by restricting the mean value of \(W_h\). It can be easily verified that, since \(|\Gamma _p^D| > 0\), the result holds with no restriction on \(W_h\). \(\square \)
This result implies the inf–sup condition for the formulation (3.1)–(3.3).
Corollary 3.1
There exists a constant \(\beta >0\) independent of h such that
Proof
The statement follows from Lemma 3.1 by simply taking \(\varvec{\xi }_{p,h} = 0\). \(\square \)
3.1 Existence and uniqueness of the solution
In this section we show that the Stokes–Biot system is well-posed. For the existence of the solution we adopt the theory of differential-algebraic equations (DAEs) [9].
Let \(\{\varvec{\phi }_{\mathbf{u}_{f},i}\}, \{\varvec{\phi }_{\mathbf{u}_{p},i}\}, \{\varvec{\phi }_{\varvec{\eta }_{p},i}\}, \{\phi _{p_{f},i}\}, \{\phi _{p_{p},i}\}\) and \(\{\phi _{\lambda ,i}\}\) be bases of \(\mathbf{V}_{f,h}, \mathbf{V}_{p,h}, \mathbf{X}_{p,h}, W_{f,h}, W_{p,h}\) and \(\Lambda _h\), respectively. Let \(M_p, A_f, A_p, A_e, B^T_{ff}, B^T_{pp}\) and \(B^T_{ep}\) denote the matrices whose (i, j)-entries are, respectively, \((\phi _{p_{p},j}, \phi _{p_{p},i})_{\Omega _p}\), \(a_f(\varvec{\phi }_{\mathbf{u}_{f},j},\varvec{\phi }_{\mathbf{u}_{f},i})\), \(a_p^d(\varvec{\phi }_{\mathbf{u}_{p},j},\varvec{\phi }_{\mathbf{u}_{p},i})\), \(a_p^e(\varvec{\phi }_{\varvec{\eta }_{p},j},\varvec{\phi }_{\varvec{\eta }_{p},i})\), \(b_f(\nabla \cdot \varvec{\phi }_{\mathbf{u}_{f},j}, \phi _{p_{f},i})\), \(b_p(\nabla \cdot \varvec{\phi }_{\mathbf{u}_{p},j}, \phi _{p_{p},i})\), and \(b_p(\nabla \cdot \varvec{\phi }_{\varvec{\eta }_{p},j}, \phi _{p_{p},i})\). We also introduce matrices \(A_{ff}^{BJS}, A_{fe}^{BJS}\) and \(A_{ee}^{BJS}\) whose (i, j)-entries are, respectively, \(a_{BJS}(\varvec{\phi }_{\mathbf{u}_{f},j},0;\varvec{\phi }_{\mathbf{u}_{f},i},0)\), \(a_{BJS}(\varvec{\phi }_{\mathbf{u}_{f},j},0;0,\varvec{\phi }_{\varvec{\eta }_{p},i})\), and \(a_{BJS}(0,\varvec{\phi }_{\varvec{\eta }_{p},j};0,\varvec{\phi }_{\varvec{\eta }_{p},j})\). Finally, let \(B_{f,\Gamma }^T,B_{p,\Gamma }^T\) and \(B_{e,\Gamma }^T\) stand for the matrices with (i, j)-entries defined by \(b_{\Gamma }(\varvec{\phi }_{\mathbf{u}_{f},j},0,0;\phi _{\lambda ,i})\), \(b_{\Gamma }(0,\varvec{\phi }_{\mathbf{u}_{p},j},0;\phi _{\lambda ,i})\), and \(b_{\Gamma }(0,0,\varvec{\phi }_{\varvec{\eta }_{p},j};\phi _{\lambda ,i})\), respectively.
Taking in (3.1)–(3.3) \(\mathbf{u}_{f,h}(t,\mathbf{x}) = \sum _i u_{f,i}(t)\phi _{\mathbf{u}_{f},i}\), \(\mathbf{u}_{p,h}(t,\mathbf{x}) = \sum _i u_{p,i}(t)\phi _{\mathbf{u}_{p},i}\), \(\varvec{\eta }_{p,h}(t,\mathbf{x}) = \sum _i \eta _{p,i}(t)\phi _{\varvec{\eta }_{p},i}\), \(p_{f,h}(t,\mathbf{x}) = \sum _i p_{f,i}(t)\phi _{p_{f},i}\), \(p_{p,h}(t,\mathbf{x}) = \sum _i p_{p,i}(t)\phi _{p_{p},i}\) and \(\lambda _{h}(t,\mathbf{x}) = \sum _i \lambda _{i}(t)\phi _{\lambda ,i}\) with (time-dependent) coefficients \(\overline{\mathbf{u}}_f, \overline{\mathbf{u}}_p, \overline{\varvec{\eta }}_p, \overline{p}_f, \overline{p}_p, \overline{\lambda }\), leads to the matrix-vector system
which can be written in the DAE system form
where
We note that the matrix
can be written as a block \(2\times 2\) matrix
where
The following result can be found in [53].
Lemma 3.2
If \(\mathbf{A}\) and \(\mathbf{C}\) are positive semi-definite and \(\ker (\mathbf{A})\cap \ker (\mathbf{B}) = \ker (\mathbf{C})\cap \ker (\mathbf{B}^T) = \{0\}\), then \(\mathbf{E}+\mathbf{H}\) is invertible.
It is convenient to associate with matrices \(\mathbf{A}\), \(\mathbf{B}\), and \(\mathbf{C}\) the bilinear forms \(\phi _{\mathbf{A}}(\cdot ,\cdot ),\, \phi _{\mathbf{B}}(\cdot ,\cdot )\) and \(\phi _{\mathbf{C}}(\cdot ,\cdot )\) on \(\left( \mathbf{V}_h\times \mathbf{X}_h\right) \times \left( \mathbf{V}_h\times \mathbf{X}_h\right) \), \(\left( \mathbf{V}_h\times \mathbf{X}_h\right) \times \left( W_h\times \Lambda _h\right) \) and \(\left( W_h\times \Lambda _h\right) \times \left( W_h\times \Lambda _h\right) \), respectively:
By identifying functions in the finite element spaces with algebraic vectors of their degrees of freedom, we note that \(\ker (\phi _{\mathbf{A}}) = \ker (\mathbf{A})\), \(\ker (\phi _{\mathbf{B}}) = \ker (\mathbf{B})\), and \(\ker (\phi _{\mathbf{C}}) = \ker (\mathbf{C})\). Also, for \(\phi _{\mathbf{B}^T}((w_h,\mu _h),(\mathbf{v}_{h},\varvec{\xi }_{p,h})) = \phi _{\mathbf{B}}((\mathbf{v}_{h},\varvec{\xi }_{p,h}),(w_{h},\mu _h))\), we have that \(\ker (\phi _{\mathbf{B}^T}) = \ker (\mathbf{B}^T)\). We next show that the conditions of the Lemma 3.2 are satisfied.
Lemma 3.3
The bilinear forms \(\phi _{\mathbf{A}},\,\phi _{\mathbf{B}}\) and \(\phi _{\mathbf{C}}\) satisfy
Moreover, \(\phi _{\mathbf{A}}\) and \(\phi _{\mathbf{C}}\) are positive definite and semi-definite, respectively.
Proof
The coercivity of \(a_f(\cdot ,\cdot )\), \(a_p^d(\cdot ,\cdot )\), and \(a_p^e(\cdot ,\cdot )\), (3.4)–(3.6), and the non-negativity of \(a_{BJS}(\cdot ,\cdot )\) imply that \(\phi _{\mathbf{A}}(\cdot ,\cdot )\) is coercive and \(\ker (\phi _{\mathbf{A}}) = 0\), hence the first statement of the lemma follows. We next note that \(\ker (\phi _{\mathbf{B}^T})\) consists of \((w_{h},\mu _h)\in W_h\times \Lambda _h\) such that
therefore the inf–sup condition (3.9) implies that \(\ker (\phi _{\mathbf{B}^T}) = \{(0,0)\}\), which gives the second statement of the lemma. The positive semi-definiteness of \(\phi _{\mathbf{C}}(\cdot ,\cdot )\) is straightforward. \(\square \)
To state the desired result, we will first introduce Bochner spaces equipped with norms:
Theorem 3.1
For \(\mathbf{f}_f \in L^{\infty }(0,T; \mathbf{V}_{f,h}')\), \(\mathbf{f}_p \in L^{\infty }(0,T; \mathbf{X}_{p,h}')\), \(q_f\!\in \! L^{\infty }(0,T; W_{f,h}')\), \(q_p \in L^{\infty }(0,T; W_{p,h}')\), and \(p_{p,h}(0) \in W_{p,h}\), \(\varvec{\eta }_{p,h}(0) \in \mathbf{X}_{p,h}\), there exists a unique solution \((\mathbf{u}_{f,h}, p_{f,h}, \mathbf{u}_{p,h}, p_{p,h}, \varvec{\eta }_{p,h}, \lambda _h)\) in \(L^{\infty }(0,T; \mathbf{V}_{f,h}) \times \) \( L^{\infty }(0,T; W_{f,h}) \times L^{\infty }(0,T; \mathbf{V}_{p,h}) \times W^{1,\infty }(0,T; W_{p,h}) \times W^{1,\infty }(0,T;\mathbf{X}_{p,h}) \times L^{\infty }(0,T;\Lambda _h) \) of the weak formulation (3.1)–(3.3).
Proof
According to the DAE theory, see Theorem 2.3.1 in [9], if the matrix pencil \(s\mathbf{E}+ \mathbf{H}\) is nonsingular for some \(s\ne 0\) and the initial data is consistent, then (3.13) has a solution. Lemma 3.3 guarantees that in our case the pencil with \(s=1\) is invertible. Also, the initial data \(p_{p,h}(0)\) and \(\varvec{\eta }_{p,h}(0)\) does not lead to consistency issues. In particular, the only algebraic constraints in the DAE system (3.13) are the second and fourth equations, see the definition of \(\mathbf{E}\) in (3.14). The second equation is the discretized Darcy’s law, and the initial value \(\mathbf{u}_{p,h}(0)\) can be chosen to satisfy it for any given \(p_{p,h}(0)\), while the fourth equation is the discretized incompressibility constraint for Stokes, which does not involve the initial data. Furthermore, the initial data can be assumed to satisfy the boundary conditions. As a result, Theorem 2.3.1 in [9] implies existence of a solution of the weak semi-discrete formulation (3.1)–(3.3).
To show uniqueness, we assume that there are two solutions satisfying these equations with the same initial conditions. Then their difference \((\tilde{\mathbf{u}}_{f,h},\tilde{p}_{f,h},\tilde{\mathbf{u}}_{p,h},\tilde{p}_{p,h},\tilde{\varvec{\eta }}_{p,h},\tilde{\lambda }_h)\) satisfies (3.1)–(3.3) with zero data. By taking \((\mathbf{v}_{f,h},w_{f,h},\mathbf{v}_{p,h},w_{p,h},\varvec{\xi }_{p,h},\mu _h) = (\tilde{\mathbf{u}}_{f,h},\tilde{p}_{f,h},\tilde{\mathbf{u}}_{p,h},\tilde{p}_{p,h},\partial _t\tilde{\varvec{\eta }}_{p,h},\tilde{\lambda }_h)\) in (3.1)–(3.3), we obtain the energy equality
Using the algebraic identity
we write the energy equality as
Integrating in time over [0, t] for arbitrary \(t \in (0,T]\), we obtain
Due to the coercivity of bilinear forms, we conclude that \(\tilde{\mathbf{u}}_{f,h}(t)=0,\, \tilde{\mathbf{u}}_{p,h}(t)=0,\,\tilde{\varvec{\eta }}_{p,h}(t) =0,\, \forall t\in [0,T]. \) If \(s_0 \ne 0\), we also have that \(\tilde{p}_{p,h}(t)=0\), but we can also obtain uniqueness for both pressure variables and the Lagrange multiplier simultaneously and independently of parameters. In particular, from the inf–sup condition (3.9) and (3.1), we have for \((\tilde{p}_h,\tilde{\lambda }_h)\)
Therefore, we conclude that \(\tilde{p}_{f,h}(t)=0,\,\tilde{p}_{p,h}(t)=0,\,\tilde{\lambda }_h(t)=0,\,\forall t\in (0,T]\) and the solution of (3.1)–(3.3) is unique. \(\square \)
The next two sections are devoted to the stability and error analysis of the semi-discrete problem.
4 Stability analysis of the semi-discrete formulation
We will make use of the following well-known inequalities:
\(\bullet \) (Cauchy–Schwarz) For any \(u,v \in L^2(S)\),
\(\bullet \) (Trace) For any \(v \in H^1(S)\),
\(\bullet \) (Young’s) For any real numbers a, b and \(\epsilon >0\),
\(\bullet \) (Gronwall’s) Let \(g(t) \ge 0\) and \( u(t) \le f(t) + \int _{s}^{t}g(\tau )u(\tau ) d\tau \), then
For the sake of simplicity, throughout the analysis, C will denote a generic positive constant independent of the mesh size. We will also abuse notation by denoting \(\epsilon \) as an arbitrary constant with different values at different occurrences, arising from the usage of inequality (4.3).
By taking \((\mathbf{v}_{f,h},w_{f,h},\mathbf{v}_{p,h},w_{p,h},\varvec{\xi }_{p,h},\mu _h) = \left( \mathbf{u}_{f,h},p_{f,h},\mathbf{u}_{p,h},p_{p,h},\partial _t \varvec{\eta }_{p,h},\lambda _h\right) \) in (3.1)–(3.3) and proceeding as in the uniqueness proof, Theorem 3.1, we obtain
where \(\mathcal {F}\left( t;\mathbf{u}_{f,h},\partial _t \varvec{\eta }_{p,h},p_{f,h},p_{p,h}\right) \) denotes the total forcing term:
Using integration by parts in time, we write the forcing term as
Therefore, for any \(\epsilon _1 >0\), we have
Combining (4.5), (4.6) and (3.4)–(3.6), and taking \(\epsilon _1\) small enough, we obtain
Finally, from the inf–sup condition (3.9) and (3.1), we have
which, combined with (3.4)–(3.6), gives
Adding (4.7) and (4.8) and taking \(\epsilon _2\) small enough, and then \(\epsilon _1\) small enough, implies
The use of Gronwall’s inequality (4.4) implies the following stability result.
Theorem 4.1
The solution of the semi-discrete problem (3.1)–(3.3) satisfies
5 Error analysis
In this section, we analyze the error arising due to discretization in space. We denote by \(k_f\) and \(s_f\) the degrees of polynomials in the spaces \(\mathbf{V}_{f,h}\) and \(W_{f,h}\) respectively. Let \(k_p\) and \(s_p\) be the degrees of polynomials in the spaces \(\mathbf{V}_{p,h}\) and \(W_{p,h}\) respectively. Finally, let \(k_s\) be the polynomial degree in \(\mathbf{X}_{p,h}\).
5.1 Approximation error
Let \(Q_{f,h}\), \(Q_{p,h}\), and \(Q_{\lambda ,h}\) be the \(L^2\)-projection operators onto \(W_{f,h}\), \(W_{p,h}\), and \(\Lambda _h\) respectively, satisfying:
These operators satisfy the approximation properties [17]:
Since the discrete Lagrange multiplier space is chosen as \(\Lambda _h = \mathbf{V}_{p,h}\cdot \mathbf{n}_p|_{\Gamma _{fp}}\), we have
We note that the discrete seminorm (3.7) in \(\Lambda _h\) is well defined for any function in \(L^2(\Gamma _{fp})\). It is easy to see that \(|\lambda - Q_{\lambda ,h}\lambda |_{\Lambda _h} =0\), hence
Next, we consider a Stokes-like projection operator \((S_{f,h}, R_{f,h}) : \mathbf{V}_f \rightarrow \mathbf{V}_{f,h} \times W_{f,h}\), defined for all \(\mathbf{v}_f \in \mathbf{V}_f\) by
The operator \(S_{f,h}\) satisfies the approximation property [22]:
Let \(\Pi _{p,h}\) be the MFE interpolant onto \(\mathbf{V}_{p,h}\) satisfying for any \(\theta >0\) and for all \(\mathbf{v}_p \in \mathbf{V}_{p}\cap H^{\theta }(\Omega _p)\),
We will make use of the following bounds on \(\Pi _{p,h}\) [17, 39]:
Finally, let \(S_{s,h}\) be the Scott–Zhang interpolant from \(\mathbf{X}_p\) onto \(\mathbf{X}_{p,h}\), satisfying [47]:
5.1.1 Construction of a weakly-continuous interpolant
In this section we use the operators defined above to build an operator onto the space that satisfies the weak continuity of normal velocity condition (3.3). Let
Consider its discrete analog
We will construct an interpolation operator \(I_h: \mathbf{U}\rightarrow \mathbf{U}_h\) as a triple
with the following properties:
We let \(I_{f,h} :=S_{f,h}\) and \(I_{s,h} := S_{s,h}\). To construct \(I_{p,h}\), we first consider an auxiliary problem:
Let \(\mathbf{z}=\nabla \phi \) and define \(\mathbf{w}=\mathbf{z}+\mathbf{v}_p\). From (5.19) we have
and
We now let
Next, we verify that the operator \(I_h=(I_{f,h},I_{p,h},I_{s,h})\) satisfies (5.16)–(5.18). Property (5.17) follows immediately from (5.9), while, using (5.11) and (5.20), property (5.18) follows from
Using (5.21) and (5.12), we have for all \(\mu _h \in \Lambda _h\),
which implies (5.16).
The approximation properties of the components of \(I_h\) are the following.
Lemma 5.1
For all sufficiently smooth \(\mathbf{v}_f\), \(\mathbf{v}_p\), and \(\varvec{\xi }_p\),
Proof
The bounds (5.23) and (5.24) follow immediately from (5.10) and (5.15). Next, using (5.22), we have
Elliptic regularity for (5.19) [19] implies, for some \(0 < \theta \le 1/2\),
Since \(\nabla \cdot \mathbf{z}= 0\) by construction, using (5.14), (5.27), and (4.2), we get
A combination of (5.26), (5.28), (5.13), (5.23), and (5.24) implies (5.25). \(\square \)
5.2 Error estimates
In this section we derive a priori error estimate for the semi-discrete formulation (3.1)–(3.3). We recall that, due to (2.14), \((\mathbf{u}_f,\mathbf{u}_p,\partial _t\varvec{\eta }_{p}) \in \mathbf{U}\) and we can apply the interpolant \(I_h(\mathbf{u}_f,\mathbf{u}_p,\partial _t\varvec{\eta }_{p}) = (I_{f,h}\mathbf{u}_f , I_{p,h}\mathbf{u}_p,I_{s,h}\partial _t\varvec{\eta }_{p}) \in \mathbf{U}_h\) for any \(t \in (0,T]\). We introduce the errors for all variables and split them into approximation and discretization errors:
Subtracting (3.1)–(3.2) from (2.12)–(2.13) and summing the two equations, we obtain the error equation
Setting \(\displaystyle \mathbf{v}_{f,h}=\varvec{\phi }_{f,h}, \mathbf{v}_{p,h}=\varvec{\phi }_{p,h},\varvec{\xi }_{p,h}=\partial _t\varvec{\phi }_{s,h}, w_{f,h}=\phi _{fp,h}\), and \(w_{p,h}=\phi _{pp,h}\), we have
The following terms simplify, due to the properties of projection operators (5.2), (5.3), (5.17), and (5.18):
where we also used that \(\Lambda _h = \mathbf{V}_{p,h}\cdot \mathbf{n}_p|_{\Gamma _{fp}}\) for the last equality. We also have
where we have used (5.16) and (3.3) for the first equality and the last equality in (5.32) for the second equality. Using (3.17), we write
Rearranging terms and using the results above, the error equation (5.31) becomes
We proceed with bounding the terms on the right-hand side in (5.33). Using the continuity of the bilinear forms (3.4) and (3.5) and inequalities (4.1) and (4.3), we have
Similarly, using inequalities (4.1), (4.2) and (4.3), we obtain
Finally, using (4.1),(4.2) and (4.3), we bound the rest of the terms that do not involve \(\partial _t\varvec{\phi }_{s,h}\):
Combining (5.33)–(5.36), integrating over [0, t], where \(0< t\le T\), using the coercivity of the bilinear forms (3.4)–(3.6), and taking \(\epsilon _1\) small enough, we obtain
For the initial conditions, we set \(p_{p,h}(0)=Q_{p,h} p_{p,0}\) and \(\varvec{\eta }_{p,h}(0)= I_{s,h} \varvec{\eta }_{p,0}\), implying
We next bound the terms on the right involving \(\partial _t\varvec{\phi }_{s,h}\). Using integration by parts in time, (4.1), (4.3), (3.6) and (5.38), we obtain
Similarly, using (4.1), (4.2), (4.3) and (5.38), we have
Using (5.38)–(5.40) and taking \(\epsilon _1\) small enough, we obtain from (5.37),
Next, we use the inf–sup condition (3.9) with the choice \((w_h,\mu _h) =((\phi _{fp,h},\phi _{pp,h}), \phi _{\lambda , h})\) and the error equation obtained by subtracting (3.1) from (2.12):
Due to (5.2) and (5.3), \(b_p(\mathbf{v}_{p,h},\chi _{pp})=\langle \mathbf{v}_{p,h}\cdot \mathbf{n}_p,\chi _{\lambda }\rangle _{\Gamma _{fp}}=0\). Then, integrating over [0, t] and using the continuity of the bilinear forms (3.4)–(3.6) and the trace inequality (4.2), we get
Adding (5.41) and (5.42) and taking \(\epsilon _2\) small enough, and then \(\epsilon _1\) small enough, gives
Applying Gronwall’s inequality (4.4) and using the triangle inequality and the approximation properties (5.4)–(5.6), (5.7) and (5.23)–(5.25), results in the following theorem.
Theorem 5.1
Assuming sufficient smoothness for the solution of (2.12)–(2.14), then the solution of the semi-discrete problem (3.1)–(3.3) with \(p_{p,h}(0)=Q_{p,h} p_{p,0}\) and \(\varvec{\eta }_{p,h}(0)= I_{s,h} \varvec{\eta }_{p,0}\) satisfies
6 Fully discrete formulation
For the time discretization we employ the backward Euler method. Let \(\tau \) be the time step, \(T = N \tau \), and let \(t_n = n \tau \), \(0 \le n \le N\). Let \(d_\tau u^n := \tau ^{-1}(u^n-u^{n-1})\) be the first order (backward) discrete time derivative, where \(u^n:= u(t_n)\). Then the fully discrete model reads: given \(p^0_{p,h} = p_{p,h}(0)\) and \(\varvec{\eta }^0_{p,h} = \varvec{\eta }_{p,h}(0)\), find \(\mathbf{u}^n_{f,h} \in \mathbf{V}_{f,h}\), \(p^n_{f,h} \in W_{f,h}\), \(\mathbf{u}^n_{p,h} \in \mathbf{V}_{p,h}\), \(p^n_{p,h} \in W_{p,h}\), \(\varvec{\eta }^n_{p,h} \in \mathbf{X}_{p,h}\), and \(\lambda ^n_h \in \Lambda _h\), \(1\le n\le N\), such that for all \(\mathbf{v}_{f,h} \in \mathbf{V}_{f,h}\), \(w_{f,h} \in W_{f,h}\), \(\mathbf{v}_{p,h} \in \mathbf{V}_{p,h}\), \(w_{p,h} \in W_{p,h}\), \(\varvec{\xi }_{p,h} \in \mathbf{X}_{p,h}\), and \(\mu _h \in \Lambda _h\),
We introduce the discrete-in-time norms
Next, we state the main results for the formulation (6.1)–(6.3). The proofs follow the framework in the semi-discrete case. Details can be found in “Appendix”.
Theorem 6.1
The solution of fully discrete problem (6.1)–(6.3) satisfies
Theorem 6.2
Assuming sufficient smoothness for the solution of (2.12)–(2.14), then the solution of the fully discrete problem (6.1)–(6.3) satisfies
7 Numerical results
In this section, we present results from several computational experiments in two dimensions. The fully discrete method (6.1)–(6.3) has been implemented using the finite element package FreeFem++ [33]. The first test confirms the theoretical convergence rates for the problem using an analytical solution. The second and third examples show the applicability of the method to modeling fluid flow in an irregularly shaped fractured reservoir with physical parameters, while the last one performs a robustness analysis for the method with respect to various parameters.
7.1 Convergence test
In this test we study the convergence for the space discretization using an analytical solution. The domain is \(\Omega = [0,1]\times [-1,1]\), see Fig. 1a. We associate the upper half with the Stokes flow, while the lower half represents the flow in the poroelastic structure governed by the Biot system. The appropriate interface conditions are enforced along the interface \(y = 0\). The solution in the Stokes region is
The Biot solution is chosen accordingly to satisfy the interface conditions (2.7)–(2.9):
The right hand side functions \(\mathbf{f}_f,\, q_f,\, \mathbf{f}_p\) and \(q_p\) are computed from (2.2)–(2.6) using the above solution. The model problem is then complemented with the appropriate Dirichlet boundary conditions and initial data. The total simulation time for this test case is \(T=0.01\) s and the time step is \(\Delta t = 10^{-3}\) s. The time step is sufficiently small, so that the time discretization error does not affect the convergence rates.
We study the convergence for two choices of finite element spaces. The lower order choice is the MINI elements \(\mathcal {P}^b_1 - \mathcal {P}_1\) for Stokes, the Raviart–Thomas \(\mathcal {RT}_0-\mathcal {P}_0\) and continuous Lagrangian \(\mathcal {P}_1\) elements for the Biot system, and piecewise constant Lagrange multiplier \(\mathcal {P}_0\). In this case \(k_f = 1\), \(s_f = 1\), \(k_p = 0\), \(s_p = 0\), and \(k_s = 1\), so Theorem 6.2 implies first order of convergence for all variables. The higher order choice is the Taylor–Hood \(\mathcal {P}_2-\mathcal {P}_1\) for Stokes, the Raviart–Thomas \(\mathcal {RT}_1-\mathcal {P}_1^{dc}\) and \(\mathcal {P}_2\) for Biot, and \(\mathcal {P}^{dc}_1\) for the Lagrange multiplier, with \(k_f = 2\), \(s_f = 1\), \(k_p = 1\), \(s_p = 1\), and \(k_s = 2\), in which case second order convergence rate for all variables is expected. These theoretical results are verified by the rates shown in the Table 1, where the errors were computed on a sequence of refined meshes, which are matching along the interface.
We also perform a convergence test with the lower order choice of finite elements on non-matching grids along the interface. We prescribe the ratio between mesh characteristic sizes to be \(h_{Stokes} = \frac{5}{8} h_{Biot}\) as shown in Fig. 1a. According to the results shown in Table 2, first order convergence is observed for all variables, which agrees with Theorem 6.2.
7.2 Application to flow through fractured reservoirs
For the rest of the cases, we introduce the reference domain \(\hat{\Omega }\) given by the rectangle \([0, 1]\text { m} \times [-1,1]\) m, see Fig. 1b. A fracture, which represents the reference fluid domain \(\hat{\Omega }_f\) is then positioned in the middle of the rectangle, with the boundary defined by
Furthermore, the physical domain \(\Omega \), see Fig. 1c, with more realistic geometry, is defined as a transformation of the reference domain \(\hat{\Omega }\) by the mapping [10]
The external boundary of \(\Omega _f\) is denoted as \(\Gamma _{f,inflow}\), while the external boundary of \(\Omega _p\) is split into \(\Gamma _{p,\star },\) where \(\star \in \{left,\,right,\,top,\,bottom \}\).
The next example is focused on modeling the interaction between a stationary fracture filled with fluid and the surrounding poroelastic reservoir. We are interested in the solution on the physical domain \(\Omega \). The physical units are meters for length, seconds for time, and kPa for pressure. The boundary conditions are chosen to be
The initial conditions are set accordingly to \(\varvec{\eta }_p(0) = 0\) m and \(p_p(0) = 10^3\) kPa. The total simulation time is \(T=300\) s and the time step is \(\Delta t = 1\) s. The model parameters are given in Table 3. These parameters are realistic for hydraulic fracturing and are similar to the ones used in [32]. The Lamé coefficients are determined from the Young’s modulus E and the Poisson’s ratio \(\nu \) via the relationships \(\lambda _p = E\nu /[(1+\nu )(1-2\nu )]\), \(\mu _p = E/[2(1+\nu )]\). We note that this is a challenging computational test due to the large variation in parameter values.
For this and the rest of the test cases we use the Taylor–Hood \(\mathcal {P}_2 - \mathcal {P}_1\) [50] elements for the fluid velocity and pressure in the fracture region, the Raviart–Thomas \(\mathcal {RT}_1-\mathcal {P}_1^{dc}\) elements for the Darcy velocity and pressure, the continuous Lagrangian \(\mathcal {P}_1\) elements for the displacement, and the \(\mathcal {P}_1^{dc}\) elements for the Lagrange multiplier.
Figure 2 shows the computed solution in the reservoir (top and middle) and fracture (bottom) regions at the final time \(T=300\) s. The grayscale velocity legend in Fig. 2a is included to show the range of the Darcy velocity magnitude. We observe channel-like flow in the fracture region, which concentrates at the tip. There is also leak-off into the reservoir. The fluid pressure in the reservoir has increased in the vicinity of the fracture from the initial value of 1000 KPa to approximately 2450 KPa, which is close to the pressure in the fracture. A relatively small pressure jump is observed, consistent with (2.10). In particular, the magnitude of \(\mathbf{D}(\mathbf{u}_f)\) is in the order of \(10^{4}\), which, together with \(\mu = 10^{-6}\), results in a pressure jump of order \(10^{-1}\)–\(10^{-2}\) KPa. The pressure drop in the reservoir in the direction away from the fracture is significant, but the resulting Darcy velocity is relatively small, due to the very low permeability. The displacement field shows that the fracture tends to open as the fluid is being injected, with the deformation of the rock being largest around the fracture and quickly approaching zero away from the it, which is expected due to large stiffness of the rock. The stress, which is computed by postprocessing from the displacement, exhibits singularity at the tip of the fracture and some of the corners of the poroelastic domain. This example demonstrates the ability of the proposed method to handle irregularly shaped domains with a computationally challenging set of parameters, which are realistic for hydraulic fracturing in tight rock formations.
7.3 Flow through fractured reservoir with heterogeneous permeability
In this example we illustrate the ability of the method to handle heterogeneous permeability and Young’s modulus. For this simulation we use the reference domain \(\hat{\Omega }\), see Fig. 1b. The same boundary and initial conditions as in the previous test case are specified, and the same physical parameters from Table 3 are used, except for the permeability K and the Young’s modulus E. The permeability and porosity data is taken from a two-dimensional cross-section of the data provided by the Society of Petroleum Engineers (SPE) Comparative Solution Project.Footnote 1 The SPE data, which is given on a rectangular \(60\times 220\) grid is projected onto the triangular grid on the reference domain \(\hat{\Omega }\), and visualized in Fig. 3. We note that the permeability tensor is isotropic in this example. Given the porosity \(\phi \) the Young’s modulus is determined from the law
where the constant \(c = 0.5\) refers to the porosity at which the effective Young’s modulus becomes zero. This constant is chosen in general based on the properties of the porous medium. The justification for this law can be found in [35].
The simulation results at the final time \(T = 300s\) are shown in Fig. 4. Figure 4a, b shows that the propagation of the fluid in the Darcy region, as evidenced by the variation in the velocity and pressure, follows the contours of regions of higher permeability seen in Fig. 3b). As in the previous test case, the highest velocity in the reservoir is near the fracture tip. However, the leak-off along the fracture is less uniform, with a significant leak-off near the middle-top of the fracture due to the region of relatively high permeability located there. Figure 4c depicts the nonuniform displacement field in the reservoir caused by the heterogeneous Young’s modulus. We note that the effect of heterogeneity of the elastic coefficients is less pronounced due to the large stiffness of the rock. The general displacement profile is similar to the homogeneous case.
7.4 Robustness analysis
The goal of this section is to investigate how the developed model behaves when the parameters are modified, moving from mild non-physical values toward more realistic values that resemble the ones used in the hydraulic fracturing examples. We progressively update the parameters K, \(s_0\) and E as shown in Table 4, while the rest of the parameters are taken from Table 3. All test cases in this section are governed by the same boundary and initial conditions as in the previous two examples. The simulation results are shown in Fig. 5.
- Case A: :
-
The pressure gradient is small as seen from the contour plot, this is due to the large permeability. Also, from continuity of flux across the interface, one would expect to see that the magnitude of the Darcy velocity is close to the magnitude of the Stokes velocity, which we indeed observe in all the simulations.
- Case B: :
-
The permeability now is 4 orders of magnitude smaller, resulting in a larger pressure gradient, which is consistent with Darcy’s law (2.5). Also, more flow is going toward the tip of the fracture, since its walls are now much less permeable. The displacement magnitude is also larger, while keeping the same profile.
- Case C: :
-
This case shows how the model reacts to decrease in mass storativity—which is by exhibiting larger pressure gradient and displacement magnitude while keeping the overall behavior as in case B.
- Case D: :
-
The last case is to show the effect of a significant change in Young’s modulus. Increasing it by 7 orders of magnitude, which makes the material much stiffer, results in the displacement being decreased by 7 orders of magnitude as expected.
The above results show that the displacement magnitude directly increases with the magnitude of the pressure, while the profile of the displacement field stays the same. This is consistent with the dependence of the poroelastic stress on the fluid pressure, see (2.4). In addition, the displacement magnitude is inversely proportional to the Youngs modulus, which is consistent with the constitutive law for the elastic stress in (2.4).
8 Conclusions
We have studied the interaction of a free fluid with a fluid within a poroelastic medium. After stating the governing equations and discussing the appropriate boundary and interface conditions we considered a numerical discretization of the problem using a mixed finite element method. A Lagrange multiplier is used to impose weakly the continuity of normal velocity interface condition, which is of essential type in the mixed Darcy formulation. We show that the method is stable and convergent of optimal order, even in the case of non-matching grids across the interface. Computational experiments illustrate that this method is an effective approach for simulating fluid–poroelastic structure interaction with a wide range of physical parameters, including heterogeneous media. The Lagrange multiplier formulation is suitable for parallel non-overlapping domain decomposition algorithms and multiscale approximations via coarse mortar spaces. These topics will be explored in future research.
Notes
References
Ambartsumyan, I., Khattatov, E., Yotov, I., Zunino, P.: Simulation of flow in fractured poroelastic media: a comparison of different discretization approaches. In: Finite Difference Methods, Theory and Applications, Volume 9045 of Lecture Notes in Computer Science, pp. 3–14. Springer, Cham (2015)
Arbogast, T., Pencheva, G., Wheeler, M.F., Yotov, I.: A multiscale mortar mixed finite element method. Multiscale Model. Simul. 6(1), 319–346 (2007)
Badia, S., Quaini, A., Quarteroni, A.: Coupling Biot and Navier–Stokes equations for modelling fluid–poroelastic media interaction. J. Comput. Phys. 228(21), 7986–8014 (2009)
Basting, S., Birken, P., Brummelen, E.H., Canic, S., Colciago, C., Deparis, S., Forti, D., Glowinski, R., Hoffman, J., Jodlbauer, D., et al.: Fluid–Structure Interaction: Modeling, Adaptive Discretisations and Solvers, vol. 20. Walter de Gruyter, New York (2017)
Bazilevs, Y., Takizawa, K., Tezduyar, T.E.: Computational Fluid–Structure Interaction: Methods and Applications. Wiley, London (2013)
Beavers, G.S., Joseph, D.D.: Boundary conditions at a naturally impermeable wall. J. Fluid Mech. 30, 197–207 (1967)
Biot, M.: General theory of three-dimensional consolidation. J. Appl. Phys. 12, 155–164 (1941)
Boffi, D., Brezzi, F., Fortin, M.: Mixed Finite Element Methods and Applications, Volume 44 of Springer Series in Computational Mathematics. Springer, Heidelberg (2013)
Brenan, K., Campbell, S., Petzold, L.: Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. SIAM, Philadelphia (1995)
Bukac, M., Yotov, I., Zakerzadeh, R., Zunino, P.: Partitioning strategies for the interaction of a fluid with a poroelastic material based on a Nitsche’s coupling approach. Comput. Methods Appl. Mech. Eng. 292, 138–170 (2015)
Bukac, M., Yotov, I., Zunino, P.: An operator splitting approach for the interaction between a fluid and a multilayered poroelastic structure. Numer. Methods Partial Differ. Equ. 31(4), 1054–1100 (2015)
Bukac, M., Yotov, I., Zunino, P.: Dimensional model reduction for flow through fractures in poroelastic media. ESAIM Math. Model. Numer. Anal. 51, 1429–1471 (2017)
Bungartz, H.-J., Schäfer, M.: Fluid–Structure Interaction: Modelling, Simulation, Optimisation, vol. 53. Springer, Berlin (2006)
Burman, E., Fernández, M.A.: Stabilization of explicit coupling in fluid–structure interaction involving fluid incompressibility. Comput. Methods Appl. Mech. Eng. 198(5–8), 766–784 (2009)
Burman, E., Fernández, M.A.: Explicit strategies for incompressible fluid–structure interaction problems: Nitsche type mortaring versus Robin–Robin coupling. Int. J. Numer. Methods Eng. 97(10), 739–758 (2014)
Carraro, T., Goll, C., Marciniak-Czochra, A., Mikelić, A.: Pressure jump interface law for the Stokes–Darcy coupling: confirmation by direct numerical simulations. J. Fluid Mech. 732, 510–536 (2013)
Ciarlet, P.: The Finite Element Method for Elliptic Problems, vol. 4. North Holland, New York (1978)
D’Angelo, C., Scotti, A.: A mixed finite element method for Darcy flow in fractured porous media with non-matching grids. ESAIM. Math. Model. Numer. Anal. 46(2), 465–489 (2012)
Dauge, M.: Elliptic Boundary Value Problems on Corner Domains. Smoothness and Asymptotics of Solutions, Volume 1341 of Lecture Notes in Mathematics. Springer, Berlin (1988)
Discacciati, M., Miglio, E., Quarteroni, A.: Mathematical and numerical models for coupling surface and groundwater flows. Appl. Numer. Math. 43(1–2), 57–74 (2002)
Ern, A., Guermond, J.-L.: Theory and Practice of Finite Elements, Volume 159 of Applied Mathematical Sciences. Springer, New York (2004)
Fernández, M.A.: Incremental displacement-correction schemes for the explicit coupling of a thin structure with an incompressible fluid. Comptes Rendus Math. 349(7), 473–477 (2011)
Formaggia, L., Quarteroni, A., Veneziani, A.: Cardiovascular Mathematics: Modeling and Simulation of the Circulatory System, vol. 1. Springer, Berlin (2010)
Frih, N., Martin, V., Roberts, J.E., Saada, A.: Modeling fractures as interfaces with nonmatching grids. Comput. Geosci. 16(4), 1043–1060 (2012)
Frih, N., Roberts, J.E., Saada, A.: Modeling fractures as interfaces: a model for Forchheimer fractures. Comput. Geosci. 12(1), 91–104 (2008)
Fumagalli, A., Scotti, A.: Numerical modelling of multiphase subsurface flow in the presence of fractures. Commun. Appl. Ind. Math. 3(1), e-380 (2012)
Galdi, G.P., Rannacher, R. (eds.): Fundamental Trends in Fluid–Structure Interaction, volume 1 of Contemporary Challenges in Mathematical Fluid Dynamics and Its Applications. World Scientific Publishing, Hackensack (2010)
Galvis, J., Sarkis, M.: Non-matching mortar discretization analysis for the coupled Stokes–Darcy equations. Electron. Trans. Numer. Anal. 26, 350–384 (2007)
Ganis, B., Yotov, I.: Implementation of a mortar mixed finite element method using a multiscale flux basis. Comput. Methods Appl. Mech. Eng. 198(49–52), 3989–3998 (2009)
Girault, V., Rivière, B.: DG approximation of coupled Navier–Stokes and Darcy equations by Beaver–Joseph–Saffman interface condition. SIAM J. Numer. Anal. 47(3), 2052–2089 (2009)
Girault, V., Vassilev, D., Yotov, I.: Mortar multiscale finite element methods for Stokes–Darcy flows. Numer. Math. 127(1), 93–165 (2014)
Girault, V., Wheeler, M.F., Ganis, B., Mear, M.E.: A lubrication fracture model in a poro-elastic medium. Math. Models Methods Appl. Sci. 25(4), 587–645 (2015)
Hecht, F.: New development in FreeFem++. J. Numer. Math. 20(3–4), 251–265 (2012)
Jäger, W., Mikelić, A., Neuss, N.: Asymptotic analysis of the laminar viscous flow over a porous bed. SIAM J. Sci. Comput. 22(6), 2006–2028 (2000)
Kovacik, J.: Correlation between Young’s modulus and porosity in porous materials. J. Mater. Sci. Lett. 18(13), 1007–1010 (1999)
Layton, W.J., Schieweck, F., Yotov, I.: Coupling fluid flow with porous media flow. SIAM J. Numer. Anal. 40(6), 2195–2218 (2003)
Lesinigo, M., D’Angelo, C., Quarteroni, A.: A multiscale Darcy–Brinkman model for fluid flow in fractured porous media. Numer. Math. 117(4), 717–752 (2011)
Martin, V., Jaffre, J., Roberts, J.E.: Modeling fractures and barriers as interfaces for flow in porous media. SIAM J. Sci. Comput. 26(5), 1667–1691 (2005)
Mathew, T.P.: Domain decomposition and iterative refinement methods for mixed finite element discretizations of elliptic problems. Ph.D. thesis, Courant Institute of Mathematical Sciences, New York University. Technical report 463 (1989)
Mikelić, A., Wheeler, M.F., Wick, T.: Phase-field modeling of a fluid-driven fracture in a poroelastic medium. Comput. Geosci. 19(6), 1171–1195 (2015)
Morales, F.A., Showalter, R.E.: The narrow fracture approximation by channeled flow. J. Math. Anal. Appl. 365(1), 320–331 (2010)
Morales, F.A., Showalter, R.E.: A Darcy–Brinkman model of fractures in porous media. J. Math. Anal. Appl. 452(2), 1332–1358 (2017)
Quarteroni, A., Valli, A.: Numerical Approximation of Partial Differential Equations, Volume 23 of Springer Series in Computational Mathematics. Springer, Berlin (1994)
Richter, T.: Fluid–Structure Interactions: Models, Analysis and Finite Elements, vol. 118. Springer, Berlin (2017)
Rivière, B., Yotov, I.: Locally conservative coupling of Stokes and Darcy flows. SIAM J. Numer. Anal. 42(5), 1959–1977 (2005)
Saffman, P.G.: On the boundary condition at the surface of a porous media. Stud. Appl. Math. L 2, 93–101 (1971)
Scott, L.R., Zhang, S.: Finite element interpolation of nonsmooth functions satisfying boundary conditions. Math. Comput. 54(190), 483–493 (1990)
Showalter, R.E.: Poroelastic filtration coupled to Stokes flow. In: Control Theory of Partial Differential Equations, Volume 242 of Lecture Notes in Pure and Applied Mathematics, pp .229–241. Chapman & Hall/CRC, Boca Raton (2005)
Showalter, R.E.: Nonlinear degenerate evolution equations in mixed formulation. SIAM J. Math. Anal. 42(5), 2114–2131 (2010)
Taylor, C., Hood, P.: A numerical solution of the Navier–Stokes equations using the finite element technique. Comput. Fluids 1(1), 73–100 (1973)
Vassilev, D., Wang, C., Yotov, I.: Domain decomposition for coupled Stokes and Darcy flows. Comput. Methods Appl. Mech. Eng. 268, 264–283 (2014)
Xie, X., Xu, J., Xue, G.: Uniformly-stable finite element methods for Darcy–Stokes–Brinkman models. J. Comput. Math. 26(3), 437–455 (2008)
Yi, S.-Y.: Convergence analysis of a new mixed finite element method for Biot’s consolidation model. Numer. Methods Partial Differ. Equ. 30(4), 1189–1210 (2014)
Author information
Authors and Affiliations
Corresponding author
Additional information
Ilona Ambartsumyan, Eldar Khattatov and Ivan Yotov are partially supported by DOE Grant DE-FG02-04ER25618 and NSF Grant DMS 1418947. Paolo Zunino is partially supported by DOE Grant DE-FG02-04ER25618 and by the INdAM Research group GNCS.
Appendix: Fully discrete analysis
Appendix: Fully discrete analysis
In this section we provide a detailed analysis of the stability and convergence of the fully discrete method (6.1)–(6.3). We will utilize the following discrete Gronwall inequality [43].
Lemma 9.1
(Discrete Gronwall lemma) Let \(\tau > 0\), \(B \ge 0\), and let \(a_n,b_n,c_n,d_n\), \(n \ge 0\), be non-negative sequences such that \(a_0 \le B\) and
Then,
Proof of Theorem 6.1
We choose
in (6.1)–(6.3) and use the discrete analog of (3.17):
to obtain the energy equality
The right-hand side can be bounded as follows, using inequalities (4.1) and (4.3),
Combining (9.2) and (9.3), summing up over the time index \(n=1,...,N\), multiplying by \(\tau \) and using the coercivity of the bilinear forms (3.4)–(3.6), we obtain
To bound the last term on the right we use summation by parts:
Next using the inf–sup condition (3.9) for \((p^n_{f,h},p^n_{p,h}, \lambda ^n_h)\) we obtain, in a similar way to (4.8),
Combining (9.4)–(9.6), and taking \(\epsilon _2\) small enough, and then \(\epsilon _1\) small enough, and using Lemma 9.1 with \(a_n = \Vert \varvec{\eta }^n_{p,h}\Vert ^2_{H^1(\Omega _p)}\), gives
which implies the statement of the theorem using the appropriate space-time norms. \(\square \)
For the sake of space, we do not present the proof of Theorem 6.2. The error equations are obtained by subtracting the first two equations of the fully discrete formulation (6.1)–(6.2) from the their continuous counterparts (2.12)–(2.13):
where \(r_n\) denotes the difference between the time derivative and its discrete analog:
It is easy to see that [11, Lemma 4] for sufficiently smooth \(\theta \),
The proof of Theorem 6.2 follows the structure of the proof of Theorem 5.1, using discrete-in-time arguments as in the proof of Theorem 6.1.
Rights and permissions
About this article
Cite this article
Ambartsumyan, I., Khattatov, E., Yotov, I. et al. A Lagrange multiplier method for a Stokes–Biot fluid–poroelastic structure interaction model. Numer. Math. 140, 513–553 (2018). https://doi.org/10.1007/s00211-018-0967-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00211-018-0967-1