Abstract
Mantle convection and melt migration are important processes for understanding Earth’s dynamics and how they relate to observations at the surface. Recently it has been established that melt migration can be modelled by coupling variable-viscosity Stokes flow and Darcy flow, where Stokes flow generally captures the long-term behaviour of the mantle and lithosphere, and Darcy flow models the two-phase regime. It is known that approximating the solution by finite element methods requires the use of mixed inf-sup stable elements or additional stabilization terms. Here, we propose a formulation with a coercive non-symmetric linear operator which allows the use of simple equal-order elements.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The need to solve systems of coupled Navier-Stokes and Darcy flow arises is various fields, such as modelling the interaction of surface water and groundwater aquifers [1, 2], blood flow problems [3, 4], and fuel cell dynamics [5, 6]. Approximating the solution of coupled Stokes-Darcy systems in most methods requires solving Stokes or Darcy on adjacent sub-domains coupled with appropriate interface boundary conditions [7,8,9,10], and [11]. In melt migration modelling the partially molten rock cannot be handled using the approach above because we cannot identify the boundary between the solid and fluid phases. The model derived by Mc McKenzie [12] for melt migration assumes a dual continuum mixture of solid matrix and fluid melt. The mixing parameter is the porosity \(\varphi \), i.e. the volume fraction of fluid melt, which is assumed to be much smaller than 1 and may be zero in parts of the domain where there is no fluid melt. The motion of the solid is governed by Stokes flow, and the melt is transported according to Darcy’s law. In addition, he included a compacting relation that relates the solid and fluid pressures.
Most of the previous studies of geodynamics do not consider that melt migration can be modelled by coupling variable-viscosity Stokes flow and Darcy flow, where Stokes flow generally captures the long-term behaviour of the mantle and lithosphere, and Darcy flow models the two-phase regime. Their studies either do not consider melting or treat it in a simplified way [13,14,15,16]. Others have simplified the model by approximating the two-phase flow and the effects of compaction [17,18,19], and [20]. The correct setting was later proposed by [21]. However, the required computational effort was limited to 2D problems, and although these models take into account the compaction of the solid matrix to allow melt to be expelled or to flow in, they treat both individual phases as incompressible and often assume their densities to be constant.
The discretization of a similar (but not identical) complex melting problem is suitable described by Schimenz et al. [33] by using a mixed discontinuous Galerkin method in vertical direction and a Fourier method in vertical direction for the elliptic-hyperbolic system of equations.
In [23], the authors derive such a model for 2D and 3D simulations. However, the model they used require the so-called compaction pressure as an additional unknown in the system which not only increases the dimension of the system, but also makes the underlying operator non-coercive (see, [21,22,23]). Thus, approximating the solution using the finite element method requires the use of mixed inf-sup stable elements or additional stabilization terms. Here, we propose a formulation with a coercive non-symmetric linear operator which allow the use of simple equal-order elements.
2 Governing equations
Let \(\varOmega \subset {\mathbb {R}}^{d}\), \(d\in \,\{2,3\}\), be a Lipschitz-domain. The model we consider here is a two-phase flow consisting of melt and a deformable matrix. The melt fraction \(\varphi \) defines averaged quantities \( {{\bar{X}}}\) out of solid (matrix) \(X_{s}\) and fluid \(X_{f}\) quantities (the subscripts f and s stand for fluid and solid, respectively):
The governing equations for a two-phase flow were given by McKenzie in [12]. They include the equations for conservation of mass, momentum, and energy. The mass conservation for fluid and solid are described by the two equations
Where, \(\varrho _f \) and \(\varrho _s\) are the fluid- and solid densities, \({\mathbf {u}}_f\) and \({\mathbf {u}}_s\) the fluid- and solid velocities, respectively, t the time, and \(\varGamma \) the melt production rate following a volume element of matrix. The conservation of momentum of the melt is given by
with the constant \(K_{D}=k_{\varphi }/\eta _{f}\), where \(k_{\varphi }\) is the permeability and \(\eta _{f}\) is the melt viscosity, \(p_f\) the pressure within the melt, \({\mathbf {g}}\) the gravity acceleration vector. For the case of vanishing solid velocity, \({\mathbf {u}}_s=0\), Eq. (4) reduces to the well known Darcy’s law. Further quantities and associated symbols used in this paper are given in Table 1.
The conservation of momentum of the matrix is given by
where T is the strain tensor given by
with the shear viscosity of the solid \(\eta \), the bulk viscosity of the solid \(\xi \), and the identity matrix I .
2.1 Simplified equations at steady densities
In the case that the densities do not vary with time i.e. \(\partial \varrho _{f,s}/\partial t=0\), Eqs. (2) and (3) reduce to:
Adding Eqs. (7) and (8) we obtain
Now, we can eliminate the fluid velocity \({\mathbf {u}}_{f}\), using Darcy’s law (4):
Several terms in Eq. (9) contain gradients of the solid and fluid density, respectively. As proposed in [23], the logaritmic derivatives \(\nabla (\ln \varrho _{f,s})=\varrho _{f,s}^{-1}\nabla \varrho _{f,s}\) can be assumed to be closely related to the gravitational forces:
Assuming that the isothermal compressibilities, \(\kappa _s:=\varrho _s^{-1} \frac{\partial \varrho _s}{\partial p_s}\) and \(\kappa _f:=\varrho _f^{-1} \frac{\partial \varrho _f}{\partial p_f}\), are constant and
rearranging terms leads to the following reformulation (approximation) of (9):
with given forcing
Thus, the two-phase PDE system reduces to the original two-phase PDE system given by McKenzie [12]:
with \(\alpha \), the weighted average of the flux of compressibility of solid and fluid densities with respect to the corresponding pressures, and transport-scaling parameter \(\beta \) given by
2.2 Time dependent melt fraction
Although we previously assumed that the flow field is in temporal equilibrium, this is not necessarily the case for the melt fraction \(\varphi \). The corresponding equation is given by
Assuming \(\varrho _s>0\) a.e. in \(\varOmega \), this equation can also be written in the form
2.3 Boundary conditions
The system of Eqs. (10), (11) and (15) has to be supplemented with suitable boundary conditions. We impose Dirichlet conditions for \( {\mathbf {u}}_s\) and the lithostatic pressure gradient for \(p_f\):
The boundary condition for \(\varphi \) are of Dirichlet type
on the inflow part of the boundary \(\partial \varOmega _-:= \{ x\in \partial \varOmega : {\mathbf{u }}_s\cdot {\mathbf{n }}<0\}\).
2.4 Compaction pressure
In order to solve the PDE system (10), (11) numerically several authors treat it as a system of three-field saddle point problems [21, 23], and [22] by introducing a secondary pressure \(p_{c}\), called compaction pressure, defined as
Then, Eq. (10) reduces to the form
Where, the reduced strain tensor \({\tilde{T}}{\mathbf {u}}_{s}\) is given by
The resulting system (11), (18) and (19) now has three unknowns \({\mathbf {u}}_{s}\), \(p_{f}\), and \(p_{c}\). The corresponding system is of saddle point structure, so that its finite element discretization is not possible without considering inf-sup stable elements or special stabilization techniques, for instance the pressure stabilized Petrov-Galerkin method (PSPG) or the local projection pressure stabilization (LPS). We refer to [24, 26, 29], and [25] for details. In this work we will follow a simpler approach by dealing with the original equations. So, the compaction pressure \(p_c\) will not be a primary variable. In case this quantity is needed for special purposes, it can be recovered from \({\mathbf {u}}_{s}\) by solving the discrete system corresponding to (18), as we shall explain below.
3 Weak formulation and discretization for constant melt fraction
Let us first consider the case that the melt fraction \(\varphi \) is given and constant in time. Then the density \(\varrho \) becomes a given constant and we only have two unknown variables \(p_f\) and \({\mathbf{u }}_s\), determined by a linear stationary system of equations, i.e. without any time dependency. Moreover, let us assume for ease of presentation that we have homogeneous Dirichlet data for the velocities, \({\mathbf{u }}_0=0\). The extension to non-homogeneous Dirichlet data is straight forward.
3.1 Weak formulation
The associated function spaces are
As bilinear form \(A:{\mathbf{X }}\times {\mathbf{X }}\rightarrow {{\mathbb {R}}}\) we introduce
The right hand side is given by
In order to have this bilinear form A and the right hand side \(F[{{\bar{\varrho }}}]\) to be well-defined, it is sufficient to make certain regularity assumptions on the involved coefficients. This will be discussed below.
We seek \({\mathbf{u }}_s\in {\mathbf{V }}\) and \(p_f\in Q\) s.t.
Assumption 1
We assume the following regularities for the coefficients
and the partial densities are bounded from below as
The regularity assumptions for \(\varrho _s,\varrho _f,\kappa _s\) and \(\kappa _f\) are sufficient to ensure that \(\alpha \) determined by (12) has the regularity \(\alpha \in L^{3/2}(\varOmega )\). This can be used to show the well-posedness of the term \((\alpha {\mathbf{u }}\cdot {\mathbf{g }},q)\) in the bilinear form A:
Here we used the Sobolev embedding \( H^1(\varOmega )\hookrightarrow L^6(\varOmega )\), for \(d=2,3\).
Lemma 1
Under the regularity assumption (Assumption 1) the linear form \(F[{{\bar{\varrho }}}]\) is a dual form of \({\mathbf{X }}\), i.e. \(F[{{\bar{\varrho }}}]\in {\mathbf{X }}'\).
Proof
Let us now check the individual term of \(F[{{\bar{\varrho }}}]\) in view of appropriate definition. The boundary integral is well-defined due to the assumed continuity of \(K_D,{\mathbf{g }},\rho _s\) and the trace inequality:
with a constant \(C=C(\varOmega ,K_D,\varrho _s,{\mathbf{g }})\). The term \(({{\bar{\varrho }}}{\mathbf{g }},{\mathbf{v }})\) is bounded as
The regularity \({{\bar{\varrho }}}\in H^{-1}(\varOmega )\) is obtained by Eq. (1) and \(\varphi \in L^{3/2}\subset H^{-1}(\varOmega )\) and \(\varrho _s,\varrho _f\in L^\infty (\varOmega )\). It remains to show an upper bound for the dual pairing of forcing \(f\in H^{-1}(\varOmega )\) and \(q\in H^1(\varOmega )\):
with \(c_2=c_2(\epsilon )\), \(c_3=c_3(K_D,\kappa _f,{\mathbf{g }},\varrho _f)\), \(c_4=c_4(K_D,{\mathbf{g }})\) and \(c_5=c_5(K_D,{\mathbf{g }},\varrho _f)\). By the trace inequality we can bound \(|\!|q|\!|_{L^2(\partial \varOmega )}\) by the \(H^1\)-norm of q. The Hölder inequality and Sobolev embedding \( H^1(\varOmega )\hookrightarrow L^6(\varOmega )\) yields
with \(c_6=c_6(\varrho _f)\) due to the assumption \(\varrho _f\in W^{1,3}(\varOmega )\). In summary we obtain \(|\!|f|\!|_{H^{-1}(\varOmega )}\le C\), and hence \(F[{{\bar{\varrho }}}]\in {\mathbf{X }}'\). \(\square \)
Remark 1
Even a stronger assumption \(\varphi \in L^{\infty }(\varOmega )\) is not a severe restriction, because, from the physical point of view, \(0\le \varphi \le 1\) is reasonable. The lower bound for \(\varrho _f\) and \(\varrho _s\) are necessary for ensuring that the right hand side f is properly defined.
3.2 Existence and uniqueness of solutions
Throughout this section we presuppose that Assumption 1 is valid. In order to prove the continuity and the coercivity of the bilinear form \(A( {\mathbf {u}},p;{\mathbf {v}},q)\), and the continuity of the right hand side linear form, we equip the product space \({\mathbf {X}}\) with the norm:
Here and in what follows we use the notation \(|\!|\cdot |\!|\) for the \(L^2\)-norm over \(\varOmega \).
Lemma 2
The bilinear form \(A({\mathbf {u}},p;{\mathbf {v}},q)\) is continuous with respect to the triple norm \(|\!|\!| \cdot |\!|\!|\).
Proof
The assumed regularity of \(\varrho _s,\varrho _f\) and \(\varphi \) ensures \(\alpha \in L^{3/2}(\varOmega )\). Hence, we can use (23) to bound the reaction term. Further, we have \(\beta \in L^\infty (\varOmega )\) so that a term-by-term estimate, use of the Poincaré inequality leads to
with the constant \(C_1=C_1(\varOmega ,K_D,\beta ,\eta ,{\mathbf{g }},\varrho _s,\varrho _f,\varphi ,\kappa _f,\kappa _s)\). \(\square \)
In order to show the coercivity of this bilinear form, we first show the non-negativity of the strain tensor when it is tested diagonally:
Lemma 3
For constant \(\eta \) it holds
Proof
Because of \(I:\nabla {\mathbf{u }}=\nabla \cdot {\mathbf{u }}\) we obtain
where \(\partial _j {\mathbf {u}}_{i}\,=\,\dfrac{\partial {\mathbf {u}}_{i}}{\partial x_{j}}\) for \(i,j=1,\ldots ,d\).
-
a.
Let us first assume, that \({\mathbf{u }}\in (H^1_0(\varOmega )\cap C^2(\varOmega ))^d\). Due to this regularity of \({\mathbf{u }}\) the terms in the sum above can be integrated by parts:
$$\begin{aligned} \sum _{i,j} (\partial _j{\mathbf{u }}_i,\partial _i{\mathbf{u }}_j)= & {} -\sum _{i,j} (\partial _i\partial _j{\mathbf{u }}_i,{\mathbf{u }}_j) \ =\ -\sum _{i,j} (\partial _j\partial _i{\mathbf{u }}_i,{\mathbf{u }}_j)\\= & {} \sum _{i,j} (\partial _i{\mathbf{u }}_i,\partial _j{\mathbf{u }}_j) \ =\ \left( \sum _{i}\partial _i{\mathbf{u }}_i,\sum _{j}\partial _j{\mathbf{u }}_j\right) \\= & {} |\!|\nabla \cdot {\mathbf{u }}|\!|^2. \end{aligned}$$Using this in the equation derived above, yields the assertion.
-
b.
For less regular \({\mathbf{u }}\), the same equation is obtained by a density argument: We take the limit of a smooth limiting sequence \(({\mathbf{u }}_n)_{n\in {\mathbb {N}}}\subset (H^1_0(\varOmega )\cap C^2(\varOmega ))^d\), \({\mathbf{u }}_n\rightarrow {\mathbf{u }}\) in \({\mathbf{V }}_0\):
$$\begin{aligned} \sum _{i,j} (\partial _j{\mathbf{u }}_i,\partial _i{\mathbf{u }}_j)= & {} \lim _{n\rightarrow \infty }\sum _{i,j} (\partial _j({\mathbf{u }}_n)_i,\partial _i({\mathbf{u }}_n)_j) \\= & {} \lim _{n\rightarrow \infty }|\!|\nabla \cdot {\mathbf{u }}_n|\!|^2 \ =\ |\!|\nabla \cdot {\mathbf{u }}|\!|^2. \end{aligned}$$
\(\square \)
Lemma 4
(Coercivity) We assume that
with a certain constant \(c=c(\eta ,K_D)\). Then the bilinear form A is continuous and \({\mathbf{X }}\)-coercive; in particular
Proof
The assertion follows by diagonal testing, use of the previous Lemma, and the fact that the convective term vanishes when tested diagonally i.e. \(({\mathbf {g}}\cdot \nabla p,p)=0\). The only critical (not necessarily positive) term is the zero order reaction term \((\alpha {\mathbf{u }}\cdot {\mathbf{g }},p)\). However, due to the assumption on \(\alpha \), this term can be bounded by (23) and Young’s inequality as follows
This leads to the desired lower bound for \(A({\mathbf{u }},p; {\mathbf{u }},p)\). \(\square \)
Remark 2
The constant c in (25) depends on \(\eta \) and \(K_D\). In the special case of constant \(\eta \) and \(K_D\) this constant is just \(c=\sqrt{\eta K_D}/c_\varOmega \), where \(c_\varOmega \) is the Poincaré constant.
Theorem 1
With the same assumptions as in the previous Lemma, Eq. (22) has an unique solution \(({\mathbf{u }}_s,p_f)\in {\mathbf{X }}\) and
Proof
Taking into account that the quantities \({{\bar{\varrho }}}\) and f are functions of \(\varphi \) and \(\varGamma \), respectively, we see that the \(H^{-1}\)-norms of \({{\bar{\varrho }}}\) and f are well-defined. Now, the assertion is an immediate consequence of the previous Lemma and the theorem of Lax-Milgram. \(\square \)
3.3 Equal-order finite elements
The coercivity of the problem allows us to use several standard equal order elements for the discrete velocity \({\mathbf {u}}^{h}\) and the discrete pressure \(p^{h}\). Let \(T_{h}\) be a shape regular partition of \(\varOmega \) into d-dimensional simplices, quadrilaterals or hexahedra [30]. The diameter of a cell \(K\in T_{h}\) will be denoted by \(h_{K}\) and the mesh parameter \(h=\max \{h_{K}| K\in T_{h}\}\) represents the maximum diameter of all cells. Let \(S^{h}\) \(\subset H^{1}(\varOmega )\) be a finite element space of continuous, piecewise polynomial functions defined over \(T_{h}\), with degree of interpolation order \(r\ge 1\). We consider triangulations \(T_{h}\) of shape regular elements, so that an interpolation operator \(i_{h}\) \(:H^{1}(\varOmega )\rightarrow S^{h}\) exists (Scott-Zhang interpolation [31]) with the following properties for all \(1\le l\le r+1\), all \(K\in T_{h}\), and all \(u\in H^{l}(\omega _{K})\):
Here, \(\omega _{K}\) denotes a union of cells in the neighbourhood of K, and the expression \(a\lesssim b\) means \(a\le cb\) with the constant c independent of the mesh parameter h. Possible choices on shape regular meshes are \(P_{r}\) or \(Q_{r}\) elements, or finite element spaces containing these spaces, e.g. locally enriched spaces. Here, we consider equal-order finite element spaces for velocity and pressure:
Now, the linear system to be solved reads as follows: Find \(({\mathbf{u }}^h,p^{h)}\in {\mathbf{X }}^{h}\) such that
The main advantage of the equal-order discretization of the problem is that the degrees of freedom of all variables can be assigned to the same geometrical identities, e.g. to vertices. Therefore, the discrete systems can be designed in a block-wise manner, so that an efficient block preconditioner or block smoother for multigrid solvers can be utilized.
3.4 A priori error estimate
Theorem 2
We make the same assumptions as in Theorem 1. The discrete solution of Eq. (28) \(({\mathbf {u}}^{h},p^{h})\in {\mathbf {X}}^{h}\) is unique. If \(({\mathbf {u}}_s,p_f)\in H^{l}(\varOmega )^{d+1}\)with \(1\le l\le r+1\) we have the following discretization error estimate
Proof
Due to coercivity (Lemma 4) we can apply Cea’s lemma, see e.g. [30]:
with arbitrary interpolation \({\textit{\textbf{i}}}_h:H^l(\varOmega )^d\rightarrow {\mathbf{V }}_h\) and \(i_h:H^l(\varOmega )\rightarrow Q_h\). For \(l=1\) we choose the Scott-Zhang interpolant, and for \(l\ge 2\) we take the nodal interpolant. This leads e.g. to
with a constant c depending only on \(K_D\) and \(\varOmega \). The other parts in the norm \(|\!|\!| \cdot |\!|\!|\) are obtained analogously. \(\square \)
3.5 Post-processing of the compaction pressure
Working with equal-order elements on simplices, i.e. with \(P_{r}\) elements, the divergence of the discrete velocity, \(\nabla \cdot {\mathbf {u}}_{h}\), is piece-wise polynomial of order \(r-1\) but discontinuous across element faces/edges. Hence, for constant (or cell-wise constant) bulk viscosity, the discrete compaction pressure \(p^{h}_{c}:=-\xi \nabla \cdot {\mathbf {u}}^{h}\) is of the same type. Therefore, the evaluation of this quantity inside the cells is straight forward. The situation is different for its evaluation on vertices or edges/faces due to the discontinuity. If the discrete compaction pressure is required on the vertices, denoted by \(p^{h}_{c}\), a common strategy is to define it by the \(L^2\)-projection onto \(Q_{h}\),
Lemma 5
Under the same assumptions as in Theorem 1, \(({\mathbf {u}}_s,p_f)\in H^{l}(\varOmega )^{d+1}\) and \(p_c\in H^{l-1}(\varOmega )\) with \(1\le l\le r+1\) we have
Proof
Let \({{\tilde{p}}}_c^h\in Q^h\) be the solution of the problem
Then we have by Cea’s Lemma and standard interpolation results
By stability of the discrete equations and Theorem 2, we have
with a constant C depending on \(\xi \) and \(\eta \). With the triangle inequality we arrive at the desired estimate. \(\square \)
For more regular compaction pressure, \(p_c\in H^{l}(\varOmega )\), we see that the obtained accuracy for the compaction pressure is of one order less (with respect to the mesh size h) than the optimal interpolation error. However, there are well known methods to increase the accuracy by special gradient recovery techniques as an alternative to solving Eq. (29). We refer to the classical work of Zienciewicz and Zhu [32].
4 Variational formulation and discretization for variable melt fraction rate
In this section we propose a second order explicit Runge-Kutta scheme to solve the hyperbolic PDE for the melt fraction \(\varphi \). However, we start with the first order forward Euler method, because it will be an intermediate step in the higher-order time stepping scheme.
4.1 First-order forward Euler method
We first discretize the hyperbolic Eq. (15) for \(\varphi \) in time by using a forward Euler with time step \(k:=t_n-t_{n-1}>0\). The semi-discrete equation for \(\varphi _n\approx \varphi (t_n)\) reads
Taking this equation in variational form and applying \(Q_r\) elements results in the discrete system for \(\varphi ^h_n\in Q^h\):
with
Solving Eq. (30) requires basically inversion of the mass matrix. Afterwards, the mean density can be updated:
Finally, the equation for \(({\mathbf{u }}_n^h,p^h_n)\in {\mathbf{X }}^h\) is solved:
with the right hand side \(F_n[{{\bar{\varrho }}}_n]\) as given in Eq. (21). The entire algorithm for variable melt fraction rate looks now as follows:
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs12190-020-01391-y/MediaObjects/12190_2020_1391_Figa_HTML.png)
Note that we have a time step restriction (CFL condition) of the form \(k\le h\) for stability issues. An alternative without such a time step restriction would be the usage of an implicit time stepping scheme for \(\varphi ^h_n\). However, in this case, the corresponding equation includes \({\mathbf{u }}_n^h\). On the other hand, the quantities \(\alpha (t_n)\) in (12) and \({{\bar{\varrho }}}(t_n)\) include \(\varphi _n^h\), so that the equations for \(\varphi ^h_n\) and (28) become mutually coupled. Solving this system is much more numerically expensive than the semi-explicit algorithm presented above.
4.2 Second-order forward Heun method
In order to obtain a second order method, me apply a second-order explicit Runge-Kutta method for \(\varphi \), for instance the Heun method. This time stepping scheme consists of the forward Euler as a predictor step:
leading to a predictor mean density \({{\bar{\varrho }}}_{*,n}={{\bar{\varrho }}}(\varphi _{*,n}^h)\), and a predictor velocity and pressure, \({\mathbf {u}}^{h}_{*,n}\) and \(p^{h}_{*,n}\) respectively, given as solution of
Afterwards, the new melt fraction is obtained by solving
followed by the new mean density \({{\bar{\varrho }}}_{n}={{\bar{\varrho }}}(\varphi _{n}^h)\), and new velocity and pressure by solving (32).
The numerical cost of the Heun method is just a factor of two compared to the forward Euler, but leads to a substantial increase in accuracy. This will be demonstrated in the numerical examples below. The corresponding algorithm looks as follows:
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs12190-020-01391-y/MediaObjects/12190_2020_1391_Figb_HTML.png)
5 Numerical example
In this section we test the methodology for two 2D examples, a stationary problem and a time-dependent problem. Both cases are designed in such a way that the exact solution is known.
5.1 Stationary example
To validate the analysis and the error estimates of the proposed scheme, we choose as an example the two-dimensional problem given in [23] with a known exact solution:
The problem is solved on the unit square \(\varOmega :=(0,1)^{2}\) in the \(xz-\) plane. The Darcy coefficient \(K_{D}\) and the melt fraction \(\varphi \) depend only on the variable z :
The shear and bulk viscosities \(\eta \) and \(\xi \), respectively, are given by
The resulting compaction pressure according to (18) is
We further set \( \varrho _{f}(z):=e^{-z},\,\varrho _{s}(z):=1.2\varrho _{f}(z)\), gravitation \( {\mathbf {g}}(z):=(0,-e^{z})^{T},\) and \(\varGamma (z):=\frac{27}{1000}e^{z}\). For the isothermal compressibilities we choose constant values \(\kappa _f=1\) and \(\kappa _s=5/6\). Hence, \(\alpha (z)=e^{-z}\) and \(\beta (z)=-K_{D}\kappa _f\varrho _{f}=-\frac{149}{45} e^{-z}-\frac{1}{30}.\) The boundary data is given by the exact solutions, i.e. for the velocity \( {\mathbf {u}}_{0}={\mathbf {u}}_{s}\mid _{\partial \varOmega }\), and for the pressure \(f_{2}=-\partial _{n}e^{-z}\mid _{\partial \varOmega }\). Now we can obtain the forcing term by basic calculations
In Fig. 1 we display the discretization errors obtained for \(Q_{1}\) (left figure) and \(Q_{2}\) (right figure) approximations. In the \(Q_{1}\) result the \(L^{2}\) errors of p and \( {\mathbf {u}}\) are of order \(O(h^{2})\). The error in the gradient (i.e. in the \( H^{1}\)-semi norm of p and \({\mathbf {u}}\) is of order O(h). For the \(Q_{2}\) approximation the convergence is enhanced, where the \(L^{2}\) errors in p and \( {\mathbf {u}}\) are \(O(h^{3})\). The errors \(\vert {\mathbf {u}}- {\mathbf {u}} _{h}\vert _{H^{1}(\varOmega )}\) and \(\vert p- p_{h}\vert _{H^{1}(\varOmega )}\) have order \(O(h^{2})\). This corresponds exactly to the a priori estimate in Theorem 2.
Moreover, we are interested in the error behavior of the post-processed compaction pressure \(p_c\). In Fig. 2 we plot the corresponding discretization errors for \(Q_1\) and \(Q_2\) elements. We obtain for \(Q_1\)-elements an error \(|\!|p_c-p_c^h|\!| = {\mathcal {O}}(h^{3/2})\), and for \(Q_2\)-elements an error \(|\!|p_c-p_c^h|\!| = {\mathcal {O}}(h^{2})\). In comparison with the theoretical expectation, these results corresponds exactly with the theory for \(Q_2\), and show a super-convergence behaviour for \(Q_1\).
In order to get an idea about the error distribution, in Fig. 3 we depict the discretization errors on a sequence of meshes for \(Q_1\)-elements. The errors are reduced uniformly under mesh refinement.
Discretization errors in example 5.1: \(|{\mathbf{u }}-{\mathbf{u }}_h|\) with \(Q_1\) approximation (top left), with \(Q_2\) approximation (top right), \(p-p_h\) (lower left) and \(p_c-p_c^h\) (lower right) with \(Q_1\) on a sequence of meshes. The colors and elevations are scaled individually for each picture
5.2 Time-dependent example
We extend the example in the previous section to the time-dependent case. The exact solution now reads:
The coefficients \(\eta \), \(\xi \) and \(K_D\) remain independent of time and, hence, identical to their values in the stationary case (previous subsection). The quantities \(\varGamma ,f\) and \(f_2\) are adapted in such a way that the solution given above solves the set of equations. Obviously, the solution is designed in such a way that we recover for \(t=0\) the same solution as in the stationary example: \({\mathbf{u }}_s(z,t)={\mathbf{u }}_s(z,0)e^t\), \(p_f(z,t)=p_f(z,0)+q(z,t)\) with \(q(z,t)=(1-e^t)(-0.2z+0.135e^z)\) and \(\varphi (z,t)=\varphi (z,0)e^t\). The averaged density becomes
It is straightforward to verify that (10) and (11) are satisfied. The compaction pressure then becomes
and finally the pressure forcing term results to
The initial forcing at \(t=0\), i.e. f(z, 0), is identical to f(z) of the stationary example.
5.2.1 Forward Euler
In order to validate the temporal error we first have a look at the error in melt fraction in different norms, see Fig. 4. In the \(L^2\)- and the \(L^\infty \)-norm we observe first order convergence with respect to the time step, \(|\!|\varphi -\varphi ^h_{k}|\!|_{L^2(\varOmega )}\sim |\!|\varphi -\varphi ^h_{k}|\!|_{L^\infty (\varOmega )}\sim k\). The \(H^1\)-seminorm also begins to reduce with first order, but stagnates for smaller time steps. This is not unexpected, since Eq. (15) does not enforce \(H^1\)-regularity nor \(H^1\)-stability.
For the pressure and velocity variables the spatial error is much larger than the temporal error. The reason for this is probably that the time step does not enter directly into Eq. (22), but the temporal discretization enters only implicitly by the mean density \({{\bar{\varrho }}}\) which itself depends on the time dependent melt fraction \(\varphi \). However, in order to visualize the temporal impact we plot the temporal error only by considering the quantities \(p^h-p^h_n\) and \({\mathbf {u}}^h-{\mathbf {u}}^h_n\) at \(t=0.1\), where \(p^h\) and \({\mathbf {u}}^h\) are pressure and velocity, respectively, discretized in space but with the correct mean density \({{\bar{\varrho }}}(t_n)\), i.e.
In Fig. 4 (right figure) we observe first oder convergence of the error in the \(L^2\)-norms, \(|\!|p^h-p^h_{n}|\!|\sim k\) and \(|\!|{\mathbf{u }}^h-{\mathbf{u }}^h_{n}|\!|\sim k\) for fixed spatial mesh size h. The compaction pressure, obtained by post-processing, also converges with first order: \(|\!|(p_c)^h-(p_c)^h_{n}|\!|\sim k\).
Discretization error of melt fraction (left) and pressure and velocity (right) obtained with forward Euler (Sect. 5.2.1)
5.2.2 Heun method
For the Heun method on a fixed spatial mesh we obtain second order convergence for the melt fraction \(|\!|\varphi _k^h-\varphi |\!|_{L^2(\varOmega )}\sim k^2\) in \(L^2\)-, \(H^1\)- and \(L^\infty \)-norm (Fig. 5 left) until the (fixed) spatial error dominates and leads to stagnation of the total error. The reason that this stagnation is not observed with the forward Euler method is that with Heun, the error is a factor 100 smaller than with Euler (with \(k=4\cdot 10^{-3}\)). This stagnation appears earlier on in the \(H^1\)-norm. For solid velocity, fluid pressure and compaction pressure we obtain second order convergence as well (Fig. 5 right). Here, no stagnation appears which is due to the fact that we (once more) only depict the temporal error, e.g. \(|\!|{\mathbf{u }}^h-{\mathbf{u }}^h_n|\!|_{L^2(\varOmega )}\), so that spatial effects are excluded.
Discretization error of melt fraction (left) and of the pressure and velocity (right) for the time-dependent case with the Heun method in the \(L^2\)-norm (Sect. 5.2.2)
5.3 Example in 3D
As third example we choose a configuration without known analytical solution in three spatial dimensions. The computational domain is \(\varOmega :=(-1,1)\times (-1,1)\times (0,1)\). The setting is stationary with the following choice of melt fraction and Darcy coefficient, respectively:
Shear and bulk viscosities are simply \(\eta =\xi =1\). Gravitation has only a vertical component, \({\mathbf{g }}=-10e_3\). The remaining coefficients are chosen as \(\varrho _s=20\), \(\varrho _f=10\), \(\kappa _f=0.05\), \(\kappa _s=\kappa _f/6\). The velocity data for the boundary conditions is given by \({\mathbf{u }}_0=0\). The two pressures are shown in Fig. 6.
Pressure p (left) and compaction pressure \(p_c\) in the 3D-configuration (Sect. 5.3)
6 Summary
We propose a variational formulation for modeling mantle-melt transport with a coercive bilinear form for solid velocity \({\mathbf{u }}_s\) and fluid pressure \(p_f\). The compaction pressure \(p_c\) is determined by a post-processing step if needed. We obtain existence and uniqueness of solutions, and we derived an a priori error estimate for equal-order finite elements. For the time-dependent case, we propose a splitting method which consists of an hyperbolic equation for the melt fraction \(\varphi \) and an elliptic problem for solid velocity and fluid pressure. The time-discretization for the melt fraction is carried out by explicit schemes (forward Euler or Heun method), so that the equation for velocity and pressure decouples from the equation for the melt fraction, i.e. only information of previous time steps of \({\mathbf{u }}_s\) and \(p_f\) enters into the equation for \(\varphi \). In numerical examples with known exact solutions we demonstrate that the expected convergence rates with respect to the spatial mesh size h and with respect to the time step k are obtained.
References
Discacciati, M., Miglio, E., Quarteroni, A.: Mathematical and numerical models for coupling surface. Appl. Numer. Math. 43, 57–74 (2002)
Rivier̀e, B.: Analysis of a discontinuous finite element method for the coupled Stokes and Darcy problems. J. Sci. Comput. 22(1), 479–500 (2005)
Badea, L., Discacciati, M., Quarteroni, A.: Numerical analysis of the Navier–Stokes/Darcy coupling. Numer. Math. 115(2), 195–227 (2010)
D’ Angelo, C., Zunino, P.: Robust numerical approximation of coupled Stokes’ and Darcy’s flows applied to vascular hemodynamics and biochemical transport. ESAIM Math. Model. Numer. Anal. 45(3), 447–476 (2011)
Wanga, Z.H., Wanga, C.Y., Chen, K.S.: Two-phase flow and transport in the air cathode of proton exchange membrane fuel cells. J. Power Sources 94, 40–50 (2001)
Xie, X., Xu, J., Xue, G.: Uniformly-stable finite element methods for Brinkman–Stokes–Darcy Models. J. Comp. Math. 26, 437–455 (2008)
Urquiz, J.M., Ndri, D., Garon, A., Delfour, M.C.: Coupling Stokes and Darcy equations. Appl. Numer. Math. 58(1), 525–538 (2008)
Karper, T., Mardal, K.A., Winther, R.: Simplified finite element discretizations of coupled Darcy–Stokes flow. Numer. Methods Partial Differ. Equ. 25(2), 311–326 (2009)
Pacquaut, G., Bruchon, J., Moulin, N., Drapier, S.: Combining a level-set method and a mixed stabilized P1/P1 formulation for coupling Stokes–Darcy flows. Internat. J. Numer. Methods Fluids 69, 459–480 (2012)
Braack, M., Nafa, K.: A monolithic finite element discretization for coupled Darcy–Stokes flow. PAMM Proc. Appl. Math. Mech. 13, 243–244 (2013)
Nafa, K.: Equal order approximations enriched with bubbles for coupled Stokes–Darcy problem. J. Comput. Appl. Math. 270, 275–282 (2014)
McKenzie, D.: The generation and compaction of partially molten rock. J. Petrol. 25(3), 713–765 (1984)
Schmeling, H.: Partial melting and melt segregation in a convecting mantle. In: Bagdassarov, N., Laporte, D., Thompson, A.B. (eds.) Physics and Chemistry of Partially Molten Rocks, pp. 141–178. Springer, Berlin (2000)
Gerya, T.: Future directions in subduction modeling. J. Geodyn. 52(5), 344–378 (2011)
Sobolev, S.V., Sobolev, A.V., Kuzmin, D.V., Krivolutskaya, N.A., Petrunin, A.G., Arndt, N.T., Radko, V.A., Vasiliev, Y.R.: Linking mantle plumes, large igneous provinces and environmental catastrophes. Nature 477(7364), 312–316 (2011)
Ballmer, M.D., Ito, G., Wolfe, C.J., Solomon, S.C.: Double layering of a thermochemical plume in the upper mantle beneath Hawaii. Earth Planet. Sci. Lett. 376, 155–164 (2013)
Ruedas, T., Schmeling, H., Marquart, G., Kreutzmann, A., Junge, A.: Temperature and melting of a ridge-centred plume with application to Iceland. Part I: dynamics and crust production. Geophys. J. Int. 158(2), 729–743 (2004)
Cagnioncle, A.-M., Parmentier, E.M., Elkins-Tanton, L.T.: Effect of solid flow above a subducting slab on water distribution and melting at convergent plate boundaries. J. geophys. Res. 112(B9), (2007)
Schmeling, H., Marquart, G.: Crustal accretion and dynamic feedback on mantle melting of a ridge centred plume: the Iceland case. Tectonophysics 447(1–4), 31–52 (2008)
Mittelstaedt, E., Ito, G., van Hunen, J.: Repeat ridge jumps associated with plume-ridge interaction, melt transport, and ridge migration. J. geophys. Res. 116(B1), (2011)
Keller, T., May, D.A., Kaus, B.J.P.: Numerical modelling of magma dynamics coupled to tectonic deformation of lithosphere and crust. Geophys. J. Int. 195(3), 1406–1442 (2013)
Rhebergen, S., Wells, G.N., Wathen, A.J., Katz, R.F.: Three-field block-preconditioners for models of coupled magma/mantle dynamics. SIAM J. Sci. Comput. 37(5), 2270–2294 (2015)
Dannberg, J., Heister, T.: Compressible magma/mantle dynamics: 3-D adaptive simulations in ASPECT. Geophys. J. Int. 207(3), 1343–1366 (2016)
Becker, R., Braack, M.: A finite element pressure gradient stabilization for the Stokes equations based on local projections. Calcolo 38(4), 173–199 (2001)
Nafa, K., Wathen, A.J.: Local projection stabilized Galerkin approximations for the generalized Stokes problem. Comput. Methods. Appl. Mech. Engrg. 198(5–8), 877–883 (2009)
Brooks, A.N., Hughes, T.J.R.: Streamline upwind/Petrov–Galerkin formulations for convection dominated flows with particular emphasis on the incompressible Navier–Stokes equations. Comput. Methods Appl. Mech. Eng. 32(1–3), 199–259 (1982)
Srámek, O., Ricard, Y., Bercovici, D.: Simultaneous melting and compaction in deformable two-phase media. Geophys. J. Int. 168(3), 964–982 (2007)
Thomas, J.R., Hughes, T.J.R., Leopoldo, P., Franca, L.F., Balestra, M.: A new finite element formulation for computational fluid dynamics: V. Circumventing the babuška-brezzi condition: a stable Petrov–Galerkin formulation of the stokes problem accommodating equal-order interpolations. Comput. Methods. Appl. Mech. Eng. 59(1), 85–99 (1986)
Matthies, G., Skrzypacz, P., Tobiska, L.: A unified convergence analysis for local projection stabilisations applied to the Oseen problem. M2AN Math. Model Numer. Anal. 41(4), 713–742 (2007)
Ern, A., Guermond, J.-L.: Theory and Practice of Finite Elements. Springer, New York (2004)
Scott, L., Zhang, S.: Finite element interpolation of nonsmooth functions satisfying boundary conditions. Math. Comput. 54(190), 483–493 (1990)
Zienkiewicz, O.C., Zhu, J.Z.: The superconvergent patch recovery and a posteriori error estimates. Part I: the recovery technique. Int. J. Numer. Meth. Eng. 33, 1331–1364 (1992)
Schiemenz, A.R., Hesse, M.A., Hesthaven, J.S.: Modeling magma dynamics with a mixed Fourier collocation-discontinuous Galerkin method. Comm. Comput. Phys. 10(2), 433–452 (2011)
Acknowledgements
Open Access funding provided by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was supported by the SQU Internal grant IG/SCI/DOMS/17/02 and Oman Research council (TRC) grant RC/SCI/DOMS/16/01.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Braack, M., Nafa, K. & Taylor, S. Equal-order finite element approximation for mantle-melt transport. J. Appl. Math. Comput. 65, 273–293 (2021). https://doi.org/10.1007/s12190-020-01391-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12190-020-01391-y