Abstract
In this paper, we study an efficient and modular grad-div stabilization algorithm for the 2D/3D nonstationary incompressible magnetohydrodynamic equations. The considered algorithm is a fully discrete first-order scheme based on the mixed finite element method and does not increase computational time for increasing stabilization parameters. Also, both unconditional stability and convergence analysis are given. Finally, numerical experiments are presented to verify both the numerical theory and efficiency of the presented algorithm.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The magnetohydrodynamic (MHD) model is mainly used to describe the interaction of an electrically conducting fluid with an external magnetic field, which has been widely applied in industry and engineering, such as for liquid metal cooling of nuclear reactors, electromagnetic pumping, stirring of liquid metals and so on [11, 31]. The governing equations of the MHD model include the incompressible Navier–Stokes equations of hydrodynamics coupled with the Maxwell system of electromagnetism (including divergence-free constraint for the magnetic field) via the Lorentz force and Ohm’s law. Due to the widely practical application and computational complexity of the MHD model, much effort has been spent on the development of some efficient numerical methods to investigate this problem.
Based on a conservative formulation to ensure the local divergence-free condition of the magnetic field weakly, a finite element method has been proposed in [39] for 3D nonstationary incompressible MHD flows with both high and low magnetic Reynolds numbers. Amari et al. [3] have developed a more general anisotropic semi-implicit scheme for the MHD problem. This scheme can deal with domains that do not allow the use of direct methods. In [4], a term-by-term stabilized finite element formulation based on orthogonal subscales for the numerical approximation of the incompressible MHD system has been proposed and analyzed. In order to stabilize the unresolved scales in MHD simulations, Belenli et al. [5] have studied a subgrid stabilization finite element method. In [36], Prohl has discussed some coupling and decoupling fully discrete schemes and verified convergence of these schemes towards weak solutions for vanishing discretization parameters. Case et al. [8] have presented an energy, cross-helicity and magnetic helicity preserving method for the considered equations which is a semi-implicit Galerkin finite element discretization and enforces pointwise solenoidal constraints by employing the Scott–Vogelius finite elements.
Additionally, a finite element spatial approximation of the MHD system under smooth domains and data has been considered [24], and the optimal \(L^2\)-norm error estimates are obtained by using a new negative-norm technique without the standard duality argument. Applying the implicit Euler scheme to discretize the two-dimensional MHD equations in time, \(H^2\)-uniform stability has been obtained [40]. In addition, He and Zhang [23, 46] have studied the unconditional stability and convergence of the first order Euler semi-implicit scheme for the three-dimensional incompressible MHD equations. Moreover, compared to the semi-implicit scheme [23, 46], Yang and He [43] have analysed the implicit/explicit scheme. This scheme only needs to solve the constant matrix equations, but it is conditionally stable. Furthermore, in order to increase convergence order in time, based on the Crank–Nicolson extrapolation scheme, Zhang et al. [47] have considered the temporal discretization while Dong and He [15] have considered the full discretization. In [44], a second order backward difference Newton scheme has been designed, which is a combination of the second order backward difference approximation for time terms and the Newton treatment for nonlinear terms. However, mass conservation law is often ignored or not strongly enforced by most schemes for the MHD model. In fact, if mass conservation is correctly accounted for in the numerical schemes, then resulting numerical solutions have greater physical accuracy. Due to the importance of mass conservation, there is a natural interest to study how to design numerical schemes to keep this law.
The grad-div stabilization [35], which is studied in [18] initially, is a simple, useful and popular technique for incompressible flow problems. It adds a penalty term with respect to the continuity equation to the momentum equation and can penalize for lack of mass conservation and improve solution accuracy by reducing the effect of the pressure on the velocity error [26]. Hence, this tool has been widely studied for the incompressible flows over the past decade. In particular, for the Oseen equations, de Frutos et al. [13] have proved that adding a grad-div stabilization term to the Galerkin approximation has a stabilizing effect for small viscosity. Further, they have extended the previous work to the Navier–Stokes equations with high Reynolds number [14]. In [19], the grad-div stabilized finite element discretizations of the singularly perturbed Oseen equations on properly layer-adapted meshes have been considered.
Combination of grad-div stabilization with other algorithms has been investigated by many authors. Within the viewpoints of variational multiscale methods and stabilization procedures of least-square type, the grad-div stabilization as a pressure subgrid model has been studied [34]. A combination of the streamline-upwind/Petrov–Galerkin formulation and the grad-div stabilization applied to the stationary Navier–Stokes equations has been considered [33]. In [10], the local projection stabilization method which combines the idea of streamline upwinding with the grad-div stabilization has been proposed. Based on the Yosida splitting methods, Rebholz and Xiao [37] have analyzed the accuracy of divergence free elements together with grad-div stabilization. All above algorithms together with the grad-div stabilization are based on conforming finite element methods in space. For grad-div stabilization with discontinuous finite element method, Akbas et al. [2] have designed and tested broken grad-div stabilization for incompressible flows in order to get the desired pressure robustness effect.
Although the grad-div stabilization term is consistent for continuous equations, the finite element solution depends on the stabilization parameter. As is known, too large values of the stabilization parameter overstabilize the problem, make the corresponding linear algebraic system poorly conditioned and cost lots of computational time resulting from decreased sparsity and increased coupling. Hence, the choice of the stabilization parameter has drawn attention. Jenkins et al. [25] have given an analytic support for the numerical observation from [20] that the use of large stabilization parameters is appropriate in certain situations, and found that the optimal stabilization parameter could range from being very small to very large. Ahmed [1] has extended the idea presented for the Stokes problem in [25] to the Oseen equations. In [12], a restricted range of possible values for the parameter in 3D turbulent flows away from walls has been provided. Besides, a better understanding of grad-div stabilization is achieved, when the limit behavior for arbitrarily large stabilization parameter is investigated [7]. As it is claimed in [7], with the stabilization parameter tending to infinity, the limit of the grad-div stabilized Taylor–Hood solution of the Navier–Stokes problem converges to the Scott–Vogelius solution. Further, the convergence rate is improved in [30]. Also, if the stabilization parameter tends to infinity, then the solution of the Chorin/Temam projection methods for Navier–Stokes equations equipped with the grad-div stabilization converges to the associated coupled method solution [28]. In addition, in order to understand how small changes in the stabilization parameter could affect the solution, Neda et al. [32] have presented a numerical study of the sensitivity of the parameter for mixed finite element discretizations of incompressible flow problems. They have found that the solutions are the most sensitive for small values of the stabilization parameter in certain situations.
Recently, in order to increase sparsity and decrease coupling of coefficient matrices for velocity created by grad-div stabilization, Linke and Rebholz [29] have proposed sparse grad-div stabilization, which has similar advantages as grad-div stabilization but is more efficient because of a sparser structure of its matrices. Furthermore, Çıbık [9] has extended the idea to the optimal control of an incompressible stationary flow problem. A combination of the projection methods and the sparse grad-div stabilization applied to the Navier–Stokes equations has been considered [6]. Besides, as it is found by many authors [20, 25, 32], the use of large stabilization parameters is unavoidable in certain situations. However, the solver for large stabilization parameters may slow down and even lead breakdown. To address this issue, an effective variant of the grad-div stabilization, called modular grad-div stabilization [17], is presented for calculating solutions to the Navier–Stokes equations. This stabilization is found to be unaffected by variations of the stabilization parameters whereas the cost of the standard technique grows rapidly as the parameter grows. Later, Rong and Fiordilino [38] have improved this modular grad-div stabilization with the first order backward Euler time discretization to the second order backward difference time discretization.
Since the modular grad-div stabilization have proven useful for a large range of stabilization parameters, we apply it to the MHD model to improve mass conservation of numerical solutions. Inspired by [17], we develop an Euler semi-implicit time-discrete, modular grad-div stabilization algorithm for the 2D/3D MHD problem and give the corresponding numerical analysis and numerical tests. The remainder of this paper is as follows. In Sect. 2, we introduce nonstationary incompressible MHD equations and notation, lemmas and necessary preliminaries. In the next section, we show the modular grad-div stabilization algorithm for the considered equations and prove unconditional stability and convergence. Then, in Sect. 4, numerical experiments show that the presented method is efficient. Section 5 is the conclusion of this paper.
2 Preliminaries
This work is concerned with the following 2D/3D nonstationary incompressible MHD system that couples the incompressible Navier–Stokes equations with Maxwell equations under the influence of body forces and currents [22, 23, 31]:
which holds for all \((\mathbf {x},t)\in \Omega \times (0,T]\), where \(T\in (0,\infty )\) is a final time and \(\Omega \) is an open bounded domain in \(\mathbb {R}^{d},\; d=2, 3\), together with the following homogeneous boundary and initial conditions [22, 27]:
with \(\text{ div }{\mathbf {u}}_{0}(\mathbf {x})=0\) and \(\text{ div }{\mathbf {H}}_{0}(\mathbf {x})=0\). Here \(S_{T}:=\partial \Omega \times [0,T]\) and \(\mathbf {n}\) is the unit exterior normal to \(\partial \Omega .\) Besides, \({\mathbf {u}},\)\({\mathbf {H}}\) and p represent the velocity field, magnetic field and pressure, respectively. Three parameters appearing in (1) are the kinematic viscosity \(\nu ,\) the magnetic permeability \(\mu \) and the electric conductivity \(\sigma .\) Furthermore, \({\mathbf {f}}\) denotes the known body force and \({\mathbf {J}}\) is the known current with \(\mathbf {n}\times {\mathbf {J}}|_{S_{T}}=0\).
For the mathematical setting of problem (1) with the boundary and initial conditions (2), we introduce the usual \(L^{2}(\Omega )\) norm and its inner product by \(\Vert \cdot \Vert _{0,2}\) and \((\cdot ,\cdot ),\) respectively. The \(L^{p}(\Omega )\) norm and \(W^{m,p}(\Omega )\) norm are denoted by \(\Vert \cdot \Vert _{0,p}\) and \(\Vert \cdot \Vert _{m,p}\), respectively, for \(m\in \mathbb {N^{+}}\), \(1\le p\le \infty \). In particular, \(H^{m}(\Omega )\) is used to represent the space \(W^{m,2}(\Omega )\) and \(\Vert \cdot \Vert _{m,2}\) denotes the norm in \(H^{m}(\Omega )\). Besides, for X being a normed function space in \(\Omega \), \(L^{p}(0,T;X)\) is the space of all functions defined on \([0,T]\times \Omega \) for which the norm
is finite.
We define the following particular subspaces of \(H^{1}(\Omega )^d\) that satisfy specific boundary conditions [16, 22, 23]:
and subspaces with (weakly) divergence-free functions:
and subspace of \(L^{2}(\Omega )\):
To derive the variational formulation of problem (1)–(2), we introduce two bilinear forms:
the skew-symmetric form:
which satisfies following properties [17, 24, 41]:
for all \({\mathbf {u}},{\mathbf {v}},\mathbf {w}\in \mathbf {X}\). Moreover, if \({\mathbf {v}}\in H^2(\Omega )^d,\) then there exists \(C_2\) such that [16]
Additionally, from [15, 23], we have the following bounds
for all \({\mathbf {v}}\in \mathbf {X}\) and \({\mathbf {B}},{\mathbf {H}}\in {\mathbf {W}}\) or \({\mathbf {v}},{\mathbf {B}}\in H^2(\Omega )^d\). Here and after, we denote C (with or without a subscript) as a general positive constant depending on \((\nu ,\mu ,\sigma ,\Omega ,T,{\mathbf {u}}_{0},{\mathbf {H}}_{0},{\mathbf {f}},{\mathbf {J}}),\) which may stand for different values at different occurrences.
Then, based on the above definitions of functional spaces, we have the following variational formulation of problem (1)–(2): Find \(({\mathbf {u}},p,{\mathbf {H}})\in L^{2}(0,T;\mathbf {X})\times L^{2}(0,T;M)\times L^{2}(0,T;{\mathbf {W}})\) such that, for all \(({\mathbf {v}},q,{\mathbf {B}})\in \mathbf {X}\times M\times {\mathbf {W}}\) and for almost all \(t\in (0,T)\),
Throughout this paper we need the following assumptions as in [23] on the prescribed data for problem (1)–(2). :
Assumption A0
The initial data \({\mathbf {u}}_{0}\in \mathbf {X}_{0}\cap H^{2}(\Omega )^{d}\), \({\mathbf {H}}_{0}\in {\mathbf {W}}_{0}\cap H^{2}(\Omega )^{d}\), the force \({\mathbf {f}}\) and the current \({\mathbf {J}}\) satisfy the bound
Assumption A1
The problem (10)–(12) has a weak solution \(({\mathbf {u}}(t),p(t),{\mathbf {H}}(t))\) satisfying \({\mathbf {u}}\in L^{2}(0,T;\mathbf {X}_{0})\), \({\mathbf {H}}\in L^{2}(0,T;{\mathbf {W}}_{0})\) and \(p\in L^{2}(0,T;M)\) such that
Assumption A2
Assume that the boundary of \(\Omega \) is smooth so that the unique solution \(({\mathbf {v}},q)\) of the steady Stokes problem
for prescribed \(\mathbf {f_u}\in L^{2}(\Omega )^{d}\) satisfies
and Maxwell’s equations
for the prescribed \(\mathbf {f_H}\in L^{2}(\Omega )^{d}\) admits a unique solution \({\mathbf {B}}\in {\mathbf {W}}_{0}\) which satisfies
Besides, we recall some a priori energy estimates of the solution to the problem (10)–(12) in the following, which are proved in [23].
Lemma 2.1
[23] Assume that Assumption (A0)–(A2) hold, then the solution \(({\mathbf {u}}(t),p(t),{\mathbf {H}}(t))\) of the problem (10)–(12) satisfies the estimate
where \(\Vert {\mathbf {u}}_{tt}\Vert _{-1,2}=\sup _{{\mathbf {v}}\in \mathbf {X}}\frac{|({\mathbf {u}}_{tt},{\mathbf {v}})|}{\Vert \nabla {\mathbf {v}}\Vert _{0,2}}\) and \(\Vert {\mathbf {H}}_{tt}\Vert _{-1,2}=\sup _{{\mathbf {B}}\in {\mathbf {W}}}\frac{| ({\mathbf {H}}_{tt},{\mathbf {B}})|}{\Vert \nabla {\mathbf {B}}\Vert _{0,2}}.\)
From now on, \(\pi _{h}\) is a uniform partition of the domain \(\Omega \) into triangular (\(d=2\)) or tetrahedral (\(d=3\)) element K with diameters bounded by a real positive parameter \(h=\max _{K\in \pi _h}\{\text{ diam }(K)\}.\)
Next, we introduce the following finite element subspaces:
Furthermore, we need the subspace \(\mathbf {X}_{0h}\) of \(\mathbf {X}_{h}\) which is defined as
Let \(P_h : L^2(\Omega )^d\rightarrow \mathbf {X}_{h}\) and \(R_h : L^2(\Omega )^d\rightarrow {\mathbf {W}}_{h}\) be \(L^2\)-orthogonal projections. For \({\mathbf {v}}\in H^{2}(\Omega )^{d}\cap \mathbf {X}\) and \({\mathbf {B}}\in H^{2}(\Omega )^{d}\cap {\mathbf {W}}\), these projections satisfy the following properties [23]
As is known, the following discrete Gronwall lemma will play an important role in analysis of convergence, so we list it in the following lemma.
Lemma 2.2
[17, 23] Let \(a_{n},b_{n}\) and \(d_{n}\) for the integer \(n\ge 0\) be nonnegative numbers such that
then
3 A Modular Grad-Div Stabilization for the MHD Equations
Let \(N >0\) be a fixed integer number and \(\{t_{_{n}}\}_{n=0}^{N}\) be a uniform partition of [0, T] and \(t_{n}=n\tau \) with time step \(\tau =\frac{T}{N}\). Besides, we define \(({\mathbf {u}}_{h}^{n},p_{h}^{n},{\mathbf {H}}_{h}^{n})\) to be an approximate solution of (1)–(2) at \(t=t_{n}.\) Then, we construct a modular grad-div stabilization algorithm of the problem (1)–(2) applying the finite element discretization and a semi-implicit backward Euler scheme as the temporal-spatial discretization.
Algorithm 3.1
Step I: Given \(({\mathbf {u}}_{h}^{n},{\mathbf {H}}_{h}^{n})\in \mathbf {X}_{h}\times {\mathbf {W}}_{h} \), find \((\hat{{\mathbf {u}}}_{h}^{n+1},p_{h}^{n+1},\hat{{\mathbf {H}}}_{h}^{n+1})\in \mathbf {X}_{h}\times M_{h}\times {\mathbf {W}}_{h}\) such that, for all \(0 <n \le N-1\) and \(({\mathbf {v}}_{h},q_{h},{\mathbf {B}}_{h})\in \mathbf {X}_{h}\times M_{h}\times {\mathbf {W}}_{h},\)
where \(d_{t}\hat{\mathbf {s}}_{h}^{n+1}=\frac{1}{{\tau }}(\hat{\mathbf {s}}_{h}^{n+1}-\mathbf {s}_{h}^{n})\) with \(\mathbf {s}={\mathbf {u}}\) or \({\mathbf {H}},\) and \(\mathbf {g}^{n+1}=\frac{1}{{\tau }}\int _{t_{n}}^{t_{n+1}}\mathbf {g}(t)dt\) with \(\mathbf {g}={\mathbf {f}}\) or \({\mathbf {J}}\).
Step II: Given \((\hat{{\mathbf {u}}}_{h}^{n+1},\hat{{\mathbf {H}}}_{h}^{n+1})\in \mathbf {X}_{h}\times {\mathbf {W}}_{h}\) from (15)–(17), find \(({\mathbf {u}}_{h}^{n+1},{\mathbf {H}}_{h}^{n+1})\in \mathbf {X}_{h}\times {\mathbf {W}}_{h}\) such that, for all \(0 <n \le N-1\) and \(({\mathbf {v}}_{h},{\mathbf {B}}_{h})\in \mathbf {X}_{h}\times {\mathbf {W}}_{h},\)
with \({\mathbf {u}}_{h}^{0}=\hat{{\mathbf {u}}}^0_h,\)\({\mathbf {H}}_{h}^{0}=\hat{{\mathbf {H}}}^0_h\) and stabilization parameters \(\beta _i\ge 0,\)\(\gamma _i\ge 0,\)\(i=1,2,\) recalling \(d_{t}\mathbf {s}_{h}^{n+1}=\frac{1}{\tau }(\mathbf {s}_{h}^{n+1}-\mathbf {s}_{h}^{n}).\)
In the following part of this section, we analyze the stability and convergence of the modular grad-div stabilization algorithm for the MHD equations.
3.1 Stability Analysis
In this subsection, we show that Algorithm 3.1 is unconditionally stable. In fact, choosing \({\mathbf {v}}_{h}=2\tau {\mathbf {u}}_{h}^{n+1}\) in (18) and \({\mathbf {B}}_{h}=2\tau {\mathbf {H}}_{h}^{n+1}\) in (19), we have, on using the equality \(2(\mathbf {a}-\mathbf {b},\mathbf {a})=|\mathbf {a}|^2-|\mathbf {b}|^2 +|\mathbf {a}-\mathbf {b}|^2\) for \(\mathbf {a},\mathbf {b}\in \mathbb {R}^{d},\) that
Then, we establish the unconditional stability of Algorithm 3.1 in the following theorem.
Theorem 3.1
Suppose that Assumption (A0)–(A2) hold, then Algorithm 3.1 is unconditionally stable. That is,
Proof
First, we set \(({\mathbf {v}}_{h},q_h)=2{\tau }(\hat{{\mathbf {u}}}_{h}^{n+1},p_h^{n+1})\) and \({\mathbf {B}}_{h}=2{\tau }\hat{{\mathbf {H}}}_{h}^{n+1}\) in (15) and (16), respectively, then add the ensuing equations. Finally, applying (3) and the identity \((\mathbf {a}\times \text {curl}\mathbf {b},\mathbf {c})=(\mathbf {c}\times \mathbf {a},\text {curl}\mathbf {b})\) for \(\mathbf {a},\mathbf {b}\in H^1(\Omega )^{d}\) yield
Inserting (20) in (21) to obtain
Further, employing the Cauchy–Schwarz and Young inequalities, we get the bound of the right hand side (RHS) of (22)
Together with the above estimates, summing (22) over n from 0 to \(N-1\) gives
where we have used (13), (14) and Assumption (A0). The proof is thus complete. \(\square \)
3.2 Error Estimates of the Modular Algorithm
We are now in a position to state and prove the error estimate for the modular grad-div stabilization algorithm (15)–(19). In order to obtain the error equation, let \(({\mathbf {v}},q)=({\mathbf {v}}_{h},q_h)\) in (10) and \({\mathbf {B}}={\mathbf {B}}_{h}\) in (11) with \(t=t_{n+1}\), and use integration by parts to get
Here we define \(d_{t}\mathbf {s}(t_{n+1})=\frac{1}{{\tau }}(\mathbf {s}(t_{n+1})-\mathbf {s}(t_{n}))\) with \(\mathbf {s}={\mathbf {u}}\) or \({\mathbf {H}}.\)
Then, subtract (15) and (16) from (23) and (24), respectively, to get
where
and
and \(\hat{{\mathbf {e}}}_{s}^{n}=\mathbf {s}(t_{n})-\hat{\mathbf {s}}_{h}^{n}\) with \(\mathbf {s}={\mathbf {u}}\) or \({\mathbf {H}}\). Split the errors as \(\hat{{\mathbf {e}}}_{u}^{n}=\varvec{\eta }_{u}^{n}-\varvec{\hat{\psi }}_{h}^{n}\) where \(\varvec{\eta }_{u}^{n}={\mathbf {u}}(t_{n})-\tilde{{\mathbf {u}}}^{n}\) and \(\varvec{\hat{\psi }}_{h}^{n}=\hat{{\mathbf {u}}}_{h}^{n}-\tilde{{\mathbf {u}}}^{n},\) and \(\hat{{\mathbf {e}}}_{H}^{n}=\varvec{\eta }_{H}^{n}-\varvec{\hat{\phi }}_{h}^{n}\) where \(\varvec{\eta }_{H}^{n}={\mathbf {H}}(t_{n})-\tilde{{\mathbf {H}}}^{n}\) and \(\varvec{\hat{\phi }}_{h}^{n}=\hat{{\mathbf {H}}}_{h}^{n}-\tilde{{\mathbf {H}}}^{n},\) respectively. Here, \(\tilde{{\mathbf {u}}}^{n}\) denotes interpolation of \({\mathbf {u}}(t_{n})\) in \(\mathbf {X}_h,\) and \(\tilde{{\mathbf {H}}}^{n}\) denotes interpolation of \({\mathbf {H}}(t_{n})\) in \({\mathbf {W}}_h.\)
Moreover, in order to derive estimate for error, we need establish bounds of \({\mathbf {E}}_{1}^{n+1}\) and \({\mathbf {E}}_{2}^{n+1}\). In fact, according to (4), (7) and Cauchy–Schwarz inequality, it follows from (27) and (28) that
and
Further, add (29) and (30). Then, summing the ensuing inequality with respect to n from \(n=0\) to \(n=N-1,\) we arrive at
Based on Assumption (A0) and Lemma 2.1, we arrive at
Finally, we consider the effect of step II of Algorithm 3.1. Note that
Subtract (18) and (19) from (32) and (33), respectively, which in turn imply that
where \(\mathbf {{e}}_{s}^{n}=\mathbf {s}(t_{n})-\mathbf {{s}}_{h}^{n}\). Split the errors as \(\mathbf {{e}}_{u}^{n}=\varvec{\eta }_{u}^{n}-\varvec{{\psi }}_{h}^{n}\) and \(\mathbf {{e}}_{H}^{n}=\varvec{\eta }_{H}^{n}-\varvec{{\phi }}_{h}^{n}\) where \(\varvec{{\psi }}_{h}^{n}=\mathbf {{u}}_{h}^{n}-\tilde{{\mathbf {u}}}^{n}\) and \(\varvec{{\phi }}_{h}^{n}=\mathbf {{H}}_{h}^{n}-\tilde{{\mathbf {H}}}^{n}.\) Let \(\tilde{{\mathbf {u}}}^{0}=\mathbf {{u}}_{h}^{0}\) and \(\tilde{{\mathbf {H}}}^{0}={\mathbf {H}}_{h}^{0}.\)
Selecting \({\mathbf {v}}_{h}=2\tau \varvec{\psi }_{h}^{n+1}\) in (34) and decomposing the errors give the estimate,
where we have apply the Cauchy–Schwarz and Young inequality. Reorganizing the above inequality it follows that
Arguing in exactly the same way as in the proof of (36), we obtain
Theorem 3.2
Suppose that Assumption (A0)–(A2) are satisfied, then the following estimate holds
Proof
Setting \({\mathbf {v}}_{h}=2{\tau }\varvec{\hat{\psi }}_{h}^{n+1}\in \mathbf {X}_{0h}\) and \(q_h=0\) in (25), and \({\mathbf {B}}_{h}=2{\tau }\varvec{\hat{\phi }}_{h}^{n+1}\) in (26), adding the two equations and decomposing the errors, we deduce that
Inserting \(\pm 2{\tau }b({\mathbf {u}}_{h}^{n},{\mathbf {u}}(t_{n+1}),\varvec{\hat{\psi }}_{h}^{n+1})\), \(\pm 2{\tau }b(\hat{{\mathbf {u}}}_{h}^{n+1},\varvec{\eta }_{u}^{n+1},\varvec{\hat{\psi }}_{h}^{n+1})\), \(\pm 2\mu {\tau }({\mathbf {H}}_{h}^{n}\times \text {curl}{\mathbf {H}}(t_{n+1}),\varvec{\hat{\psi }}_{h}^{n+1})\), \(\pm 2\mu {\tau }(\hat{{\mathbf {H}}}_{h}^{n+1}\times \text {curl}\varvec{\eta }_{H}^{n+1},\varvec{\hat{\psi }}_{h}^{n+1})\), \(\pm 2\mu {\tau }({\mathbf {u}}(t_{n+1})\times {\mathbf {H}}_{h}^{n},\text {curl}\varvec{\hat{\phi }}_{h}^{n+1})\) and \(\pm 2\mu {\tau }(\varvec{\eta }_{u}^{n+1}\times \hat{{\mathbf {H}}}_{h}^{n+1}, \text {curl}\varvec{\hat{\phi }}_{h}^{n+1})\) into the RHS of (39) and using (3), equation (39) is rewritten as
in which we have used the fact that \((\mathbf {a}\times \text {curl}\mathbf {b},\mathbf {c})=(\mathbf {c}\times \mathbf {a},\text {curl}\mathbf {b})\) for \(\mathbf {a},\mathbf {b}\in H^1(\Omega )^{d}\).
We now estimate each terms of the RHS of (40) separately. Applying the Cauchy–Schwarz and Young inequalities, we have the following bounds,
Next, making use of (4), (5), (6), the inverse inequality, the Cauchy–Schwarz and Young’s inequalities, we arrive at
Further, combining (7), (8) and (9) with the Cauchy–Schwarz and Young’s inequalities shows that
Finally, the consistency error terms are bounded as
Use above estimates, insert (36) and (37) into (40) and rearrange. Then,
where we have used Lemma 2.1.
Sum (41) from \(n=0\) to \(N-1\) and use Theorem 3.1, (31) and the accuracy of the interpolation to yield
In view of Lemma 2.2, we have
Then we have completed the proof by using \(\varvec{\psi }_{h}^{0}=\varvec{\phi }_{h}^{0}=0\) and applying the triangle inequality. \(\square \)
4 Numerical Experiments
In this section, we give some numerical examples to illustrate the theoretical results proven in the previous sections and to show the effectiveness of Algorithm 3.1 for the 2D/3D unsteady incompressible MHD problem. Convergence will be checked against problems with known analytical solutions and a classical benchmark problem, Hartmann flow, which is the MHD version of classical Poiseuille flow. In the given experiments, the velocity, pressure and magnetic are approximated by the \(P_{2}-P_{1}-P_{2}\) element pair.
4.1 Analytical Solutions
The prescribed solutions are in \(\Omega =(0,1)^{d}\) and \(d=2,3\). The right hand sides of problem (1) are determined by the following exact solutions with \(\alpha \) an arbitrary positive constant
for \(d=2\) and
for \(d=3\). Besides, choose equation parameters \(\nu =1\), \(\mu =1\) and \(\sigma =1\), the stabilization parameters \(\gamma _{1}=\gamma _{2}=1\) and \(\beta _{1}=\beta _{2}=0.2\), \(\alpha =0.01\) and the final time \(T=1\).
Firstly, we implement the numerical tests to verify the unconditional stability of the presented method. In order to verify Theorem 3.1, we compute the values of \(\Vert \nabla \cdot {\mathbf {u}}_{h}^{N}\Vert _{0,2}\), \(\Vert \nabla \hat{{\mathbf {u}}}_{h}^{N}\Vert _{0,2}\), \(\Vert \nabla \cdot {\mathbf {H}}_{h}^{N}\Vert _{0,2}\) and \(\Vert \nabla \hat{{\mathbf {H}}}_{h}^{N}\Vert _{0,2}\) for the 2D/3D MHD problems with different time steps, which are listed in Tables 1, 2, 3 and 4. From these tables, we find that the values of \(\Vert \nabla \hat{{\mathbf {u}}}_{h}^{N}\Vert _{0,2}\) and \(\Vert \nabla \hat{{\mathbf {H}}}_{h}^{N}\Vert _{0,2}\) approach constants, which shows that no time-step restriction is needed. Besides, the values of \(\Vert \nabla \cdot {\mathbf {u}}_{h}^{N}\Vert _{0,2}\) and \(\Vert \nabla \cdot {\mathbf {H}}_{h}^{N}\Vert _{0,2}\) are small, which shows that the numerical solutions have better conservation.
Secondly, we implement the numerical tests to verify the error convergence rate of Algorithm 3.1, which is presented in Theorem 3.2. Here, we pick several values of \({\tau }\): 1/4, 1/8, 1/16, 1/32, 1/64 for the 2D problem and 1/2, 1/4, 1/6, 1/8, 1/10, 1/12 for the 3D problem. Let \(Err({\mathbf {e}}_s)\) denote the error by
We present the error results of the velocity and magnetic field in Tables 5, 6, 7 and 8. From these numerical results, the expected first-order time accuracy (or better) is seen for all relevant quantities. Moreover, we show the spatial convergence rates of the velocity and magnetic field for 2D and 3D problems in Tables 9, 10, 11 and 12. From these tables, we find that the desired second-order accuracy (or better) for \(Err(\nabla \cdot {\mathbf {e}}_u)\), \(Err(\nabla \cdot {\mathbf {e}}_H)\), \(Err(\nabla \hat{{\mathbf {e}}}_u)\) and \(Err(\nabla \hat{{\mathbf {e}}}_H)\) are obtained. As expected, the values of \(Err(\nabla \cdot {\mathbf {e}}_u)\) and \(Err(\nabla \cdot {\mathbf {e}}_H)\) are small, which shows that the numerical solutions of the presented method has better mass conservation.
Thirdly, for the timing test, we compare our algorithm with the standard grad-div algorithm. We set \({\tau }=h=1/32\), and vary the grad-div parameters such that \(0\le \beta _{1},\beta _{2}\le 8000\) and \(0<\gamma _{1},\gamma _{2}\le 20{,}000\) at \(T=1\) for 2D problem. For the standard grad-div algorithm and Step \(\text {I}\) of the modular grad-div algorithm, we use GMRES to solve. For Step \(\text {II}\) of the modular grad-div algorithm, at each time step, we use UMFPACK to solve. We list the computational times in Table 13. We see that the computational time cost by the modular grad-div algorithm does not increase as the stabilization parameters increase. However, for the standard grad-div algorithm, increasing stabilization parameters increases computational time. In addition, we can find that the present method costs less computational time, which is not surprising since Step I of the presented algorithm requires solution of a standard system without the added coupling or ill-conditioning of the grad-div terms and Step II is the same uncoupled and simple grad-div system at every timestep.
4.2 Hartmann Flow
Hartmann flow is a classical benchmark problem for the MHD model which involves a steady unidirectional flow. It describes the flow of a liquid metal through a channel under an external transverse magnetic field [21] and has been investigated in [42, 44, 45, 48]. The related physical parameters \(R_{e}\) (fluid Reynolds number), \(R_{m}\) (magnetic Reynolds number) and the coupling coefficient s are given by
in our numerical examples. We consider both 2D/3D Hartmann flows with Hartmann number \(H_{a}=\sqrt{R_{e}R_{m}s}\).
Firstly, we consider the domain \(\Omega =(0,2)\times (-1,1)\) under the influence of the transverse magnetic field \({\mathbf {H}}^{d}=(0,1)\). The exact solutions to the 2D MHD problem are given by [21]
We impose no-slip boundary conditions on the wall and Neumann boundary conditions on the inlet and the outlet:
where I is the identity matrix.
For the 2D problem, we set \(G=1,\)\(p_0=10,\)\(s=25\) with \(R_{e}=R_{m}=0.1\) and \(R_{e}=R_{m}=1.\) We select \(h=1/60\), \({\tau }=1\) and \(\gamma _{1}=\gamma _{2}=1\), \(\beta _{1}=\beta _{2}=0.2\). The numerical solutions are computed at \(T=50\) for the these cases, respectively. The analytical solutions \({\mathbf {u}}(1,y)\) and \({\mathbf {H}}(1,y)\) are presented in Figs. 1 and 2 alongside the numerical ones \({\mathbf {u}}(1,y_{k})\) and \({\mathbf {H}}(1,y_{k})\) (\(y_{k}=-1+0.1k,k=0,\ldots ,20\)) obtained by Algorithm 3.1. From the figures, we find that the numerical solutions of our scheme are consistent with the exact solutions of Hartmann flow.
Secondly, we consider the 3D Hartmann flow with the rectangular duct \(\Omega =(0,2)\times (-y_0,y_0)\times (-z_0,z_0)\) under the influence of the uniform magnetic field \({\mathbf {H}}^{d}=(0,1,0)\). The solutions of this model are of the following form [21, 42, 48]:
with
where
The boundary conditions are imposed by
We take \(G=1\), \(y_0=\frac{1}{2}\) and \(z_0=\frac{1}{4}\). Besides, we design this investigation with the parameters \(R_{e}=R_{m}=30\), \(s=1\), \(\gamma _{1}=\gamma _{2}=1\) and \(\beta _{1}=\beta _{2}=0.2\). The numerical results of the presented method, Zhang’s method [48] and the Linearized Crank–Nicolson method at final time \(T=10\) are shown in Table 14. From this table, we can find that the presented method has the best accuracy among these methods.
5 Conclusions
In this work, we have presented an Euler semi-implicit time-discrete, modular grad-div stabilization algorithm for the time-dependent MHD equations. Then, we theoretically establish the unconditional stability and provide rigorous error estimates of the algorithm. The presented algorithm is unaffected by variations of grad-div stabilization parameters whereas the cost of standard implementations grow rapidly as the parameters grow. Numerical tests illustrate the theoretical results and computational efficiency.
In the future, we will consider some second order in time numerical schemes with grad-div stabilization to solve the time-dependent MHD equations, such as the BDF2 scheme or the Crank–Nicolson scheme.
References
Ahmed, N.: On the grad-div stabilization for the steady Oseen and Navier–Stokes equations. Calcolo 54, 471–501 (2017)
Akbas, M., Linke, A., Rebholz, L.G., Schroeder, P.W.: The analogue of grad-div stabilization in DG methods for incompressible flows: limiting behavior and extension to tensor-product meshes. Comput. Methods Appl. Mech. Eng. 341, 917–938 (2018)
Amari, T., Luciani, J.F., Joly, P.: A preconditioned semi-implicit method for magnetohydrodynamics equations. SIAM J. Sci. Comput. 21, 970–986 (1999)
Badia, S., Planas, R., Gutiérrez-Santacreu, J.V.: Unconditionally stable operator splitting algorithms for the incompressible magnetohydrodynamics system discretized by a stabilized finite element formulation based on projections. Int. J. Numer. Meth. Eng. 93, 302–328 (2013)
Belenli, M.A., Kaya, S., Rebholz, L.G., Wilson, N.E.: A subgrid stabilization finite element method for incompressible magnetohydrodynamics. Int. J. Comput. Math. 90, 1506–1523 (2013)
Bowers, A.L., Borne, S.L., Rebholz, L.G.: Error analysis and iterative solvers for Navier–Stokes projection methods with standard and sparse grad-div stabilization. Comput. Methods Appl. Mech. Eng. 275, 1–19 (2014)
Case, M.A., Ervin, V.J., Linke, A., Rebholz, L.G.: A connection between Scott–Vogelius and grad-div stabilized Taylor–Hood FE approximations of the Navier–Stokes equations. SIAM J. Numer. Anal. 49, 1461–1481 (2011)
Case, M.A., Labovsky, A., Rebholz, L.G., Wilson, N.E.: A high physical accuracy method for incompressible magnetohydrodynamics. Int. J. Numer. Anal. Model. Ser. B 1, 217–236 (2010)
Çıbık, A.: The effect of a sparse grad-div stabilization on control of stationary Navier–Stokes equations. J. Math. Anal. Appl. 437, 613–628 (2016)
Dallmann, H., Arndt, D., Lube, G.: Local projection stabilization for the Oseen problem. IMA J. Numer. Anal. 36, 796–823 (2016)
Davidson, P.A.: An Introduction to Magnetohydrodynamics. Cambridge University Press, Cambridge (2001)
DeCaria, V., Layton, W., Pakzad, A., Rong, Y., Sahin, N., Zhao, H.: On the determination of the grad-div criterion. J. Math. Anal. Appl. 467, 1032–1037 (2018)
de Frutos, J., García-Archilla, B., John, V., Novo, J.: Grad-div stabilization for the evolutionary Oseen problem with inf-sup stable finite elements. J. Sci. Comput. 66, 991–1024 (2016)
de Frutos, J., García-Archilla, B., John, V., Novo, J.: Analysis of the grad-div stabilization for the time-dependent Navier–Stokes equations with inf-sup stable finite elements. Adv. Comput. Math. 44, 195–225 (2018)
Dong, X.J., He, Y.N.: Optimal convergence analysis of Crank–Nicolson extrapolation scheme for the three-dimensional incompressible magnetohydrodynamics. Comput. Math. Appl. 76, 2678–2700 (2018)
Dong, X.J., He, Y.N., Zhang, Y.: Convergence analysis of three finite element iterative methods for the 2D/3D stationary incompressible magnetohydrodynamics. Comput. Methods Appl. Mech. Eng. 276, 287–311 (2014)
Fiordilino, J.A., Layton, W., Rong, Y.: An efficient and modular grad-div stabilization. Comput. Methods Appl. Mech. Eng. 335, 327–346 (2018)
Franca, L.P., Hughes, T.J.R.: Two classes of mixed finite element methods. Comput. Methods Appl. Mech. Eng. 69, 89–129 (1988)
Franz, S., Höhne, K., Matthies, G.: Grad-div stabilized discretizations on S-type meshes for the Oseen problem. IMA J. Numer. Anal. 38, 299–329 (2018)
Galvin, K.J., Linke, A., Rebholz, L.G., Wilson, N.E.: Stabilizing poor mass conservation in incompressible flow problems with large irrotational forcing and application to thermal convection. Comput. Methods Appl. Mech. Eng. 237–240, 166–176 (2012)
Gerbeau, J.F., Bris, C.L., Lelièvre, T.: Mathematical Methods for the Magnetohydrodynamics of Liquid Metals. Oxford University Press, Oxford (2006)
Gunzburger, M.D., Ladyzhenskaya, O.A., Peterson, J.S.: On the global unique solvability of initial boundary value problems for the coupled modified Navier–Stokes and Maxwell equations. J. Math. Fluid Mech. 6, 462–482 (2004)
He, Y.N.: Unconditional convergence of the Euler semi-implicit scheme for the 3D incompressible MHD equations. IMA J. Numer. Anal. 35, 767–801 (2015)
He, Y.N., Zou, J.: A priori estimates and optimal finite element approximation of the MHD flow in smooth domains. ESAIM Math. Model. Numer. Anal. 52, 181–206 (2018)
Jenkins, E.W., John, V., Linke, A., Rebholz, L.G.: On the parameter choice in grad-div stabilization for the Stokes equations. Adv. Comput. Math. 40, 491–516 (2014)
John, V., Linke, A., Merdon, C., Neilan, M., Rebholz, L.G.: On the divergence constraint in mixed finite element methods for incompressible flows. SIAM Rev. 59, 492–544 (2017)
Ladyzhenskaya, O.A., Solonnikov, V.: Solution of some non-stationary problems of magnetohydrodynamics for a viscous incompressible fluid. Tr. Math. Inst. Steklov 59, 115–173 (1960)
Linke, A., Neilan, M., Rebholz, L.G., Wilson, N.E.: A connection between coupled and penalty projection timestepping schemes with FE spatial discretization for the Navier–Stokes equations. J. Numer. Math. 25, 229–248 (2017)
Linke, A., Rebholz, L.G.: On a reduced sparsity stabilization of grad-div type for incompressible flow problems. Comput. Methods Appl. Mech. Eng. 261–262, 142–153 (2013)
Linke, A., Rebholz, L.G., Wilson, N.E.: On the convergence rate of grad-div stabilized Taylor–Hood to Scott–Vogelius solutions for incompressible flow problems. J. Math. Anal. Appl. 381, 612–626 (2011)
Moreau, R.: Magnetohydrodynamics. Kluwer Academic Publishers, Dordrecht (1990)
Neda, M., Pahlevani, F., Rebholz, L.G., Waters, J.: Sensitivity analysis of the grad-div stabilization parameter in finite element simulations of incompressible flow. J. Numer. Math. 24, 189–206 (2016)
Olshanskii, M.A.: A low order Galerkin finite element method for the Navier–Stokes equations of steady incompressible flow: a stabilization issue and iterative methods. Comput. Methods Appl. Mech. Eng. 191, 5515–5536 (2002)
Olshanskii, M.A., Lube, G., Heister, T., Löwe, J.: Grad-div stabilization and subgrid pressure models for the incompressible Navier–Stokes equations. Comput. Methods Appl. Mech. Eng. 198, 3975–3988 (2009)
Olshanskii, M.A., Reusken, A.: Grad-div stabilization for Stokes equations. Math. Comput. 73, 1699–1718 (2004)
Prohl, A.: Convergent finite element discretizations of the nonstationary incompressible magnetohydrodynamics system. ESAIM Math. Model. Numer. Anal. 42, 1065–1087 (2008)
Rebholz, L.G., Xiao, M.: On reducing the splitting error in Yosida methods for the Navier–Stokes equations with grad-div stabilization. Comput. Methods Appl. Mech. Eng. 294, 259–277 (2015)
Rong, Y., Fiordilino, J.A.: Numerical analysis of a BDF2 modular grad-div Stabilization method for the Navier–Stokes equations. arXiv:1806.10750v1 (2018)
Salah, N.B., Soulaimani, A., Habashi, W.G.: A finite element method for magnetohydrodynamics. Comput. Methods. Appl. Mech. Eng. 190, 5867–5892 (2001)
Tone, F.: On the long-time \(H^{2}\)-stability of the implicit Euler scheme for the 2D magnetohydrodynamics equations. J. Sci. Comput. 38, 331–348 (2009)
Wang, P., Huang, P.Z., Wu, J.: Superconvergence of the stationary incompressible magnetohydrodynamics equations. Univ. Politeh. Buchar. Sci. Bull. Ser. A Appl. Math. Phys. 80, 281–292 (2018)
Wang, L., Li, J., Huang, P.Z.: An efficient two-level algorithm for the 2D/3D stationary incompressible magnetohydrodynamics based on the finite element method. Int. Commun. Heat Mass Transf. 98, 183–190 (2018)
Yang, J., He, Y.N.: Stability and error analysis for the first-order euler implicit/explicit scheme for the 3D MHD equations. Int. J. Comput. Methods 14, 1750077 (2017)
Yang, J., He, Y.N., Zhang, G.: On an efficient second order backward difference Newton scheme for MHD system. J. Math. Anal. Appl. 458, 676–714 (2018)
Yang, Y., Si, Z.: Unconditional stability and error estimates of the modified characteristics FEMs for the time-dependent incompressible MHD equations. Comput. Math. Appl. 77, 263–283 (2019)
Zhang, G.D., He, Y.N.: Unconditional convergence of the Euler semi-implicit scheme for the 3D incompressible MHD equations: numerical implementation. Int. J. Numer. Methods Heat Fluid Flow 25, 1912–1923 (2015)
Zhang, Y., Hou, Y.R., Shan, L.: Numerical analysis of the Crank–Nicolson extrapolation time discrete scheme for magnetohydrodynamics flows. Numer. Meth. Part. Differ. Equ. 31, 2169–2208 (2015)
Zhang, G.D., Yang, J.J., Bi, C.J.: Second order unconditionally convergent and energy stable linearized scheme for MHD equations. Adv. Comput. Math. 44, 505–540 (2018)
Acknowledgements
Part of this work was done by the Second author while he was visiting University of Pittsburgh in 2019. The author wishes to thank Prof. William Layton for several insightful discussions. The authors would like to thank the editor and anonymous referees for their helpful comments and suggestions which helped to improve the quality of our present paper.
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 is supported by the Natural Science Foundation of China (Grant number 11861067) and China Scholarship Council (Grant number 201708655003).
Rights and permissions
About this article
Cite this article
Lu, X., Huang, P. A Modular Grad-Div Stabilization for the 2D/3D Nonstationary Incompressible Magnetohydrodynamic Equations. J Sci Comput 82, 3 (2020). https://doi.org/10.1007/s10915-019-01114-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10915-019-01114-x