Abstract
In this work, we consider numerical approximations of a thermally coupled incompressible magnetohydrodynamic problem. By combining the scalar auxiliary variable method and vector penalty projection approach, we construct a fully decoupled, unconditionally stable finite element scheme to solve this nonlinear and coupled multi-physics system efficiently. The proposed scheme has three distinct features: (i) although the nonlinear term is treated explicitly, the scheme is still unconditionally stable; (ii) it can approximate divergence-free solution, when penalty parameter tends to zero; (iii) all unknown physical quantities are decoupled, and only a series of linear elliptic equations with constant coefficient need to be solved. Moreover, the presented scheme is provably unconditionally stable. Then error estimates for the velocity field, magnetic field and temperature of the fully discrete scheme are established. Finally, various numerical simulations are provided to verify the features of the presented scheme.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
The thermally coupled incompressible magnetohydrodynamic (MHD) model, which describes the hydrodynamical behaviors of a conductive fluid in an electromagnetic field when buoyancy effects cannot be neglected in the momentum equation, has many vital applications in the metal hardening, casting, melting, magnetic propulsion devices, design of electromagnetic pumps, nuclear reactor technology, semi-conductor manufacture, etc. The governing equations of this model are formed by coupling the incompressible Navier-Stokes equation in fluid mechanics, the Maxwell equation in electromagnetism and the heat equation through the Boussinesq approximation.
Let \(\Omega \subset {\mathbb {R}}^d(d=2,3)\) be a bounded region and final time \(T>0\), find fluid velocity field \({\textbf{u}}:(0,T]\times \Omega \rightarrow {\mathbb {R}}^d,\) the pressure \( p:(0,T]\times \Omega \rightarrow {\mathbb {R}}\), the magnetic field \({\textbf{H}}:(0,T]\times \Omega \rightarrow {\mathbb {R}}^d\) and temperature \(\theta :(0,T]\times \Omega \rightarrow {\mathbb {R}}\) satisfying [27]
where \(R_e\) denotes the fluid Reynolds number, \(R_m\) the magnetic Reynolds number, s the coupling number, \(\kappa \) the thermal conductivity, and \(\beta \) is the thermal expansion coefficient. Besides, the given function \({\textbf{f}}\) is the external force, \({\textbf{g}}\) is the known applied current with \(\textrm{div}{\textbf{g}}=0\), \(\omega \) is the heat source and \({\textbf{j}}\) denotes a unit vector in the direction opposite to the gravitational for \({\textbf{u}}\). The system is equipped with the following initial values and boundary conditions [23]
with \(\textrm{div}{\textbf{u}}_0=0\) and \( \textrm{div}{\textbf{H}}_0=0\). Here \(S_{T}:=\partial \Omega \times [0,T]\), and \({\textbf{n}}\) represents the unit outer normal to the boundary \(\partial \Omega \).
For the steady-state thermally coupled incompressible MHD equations, Meir has proven the existence and uniqueness of solutions in [27, 28], in which the dissipative heating and Joule heating are disregarded. Bermúdez et al. [10] have studied the existence and uniqueness of weak solutions. Yang and Zhang [38] have proposed three iterative finite element methods on 2D/3D bounded domain and established the analyses of convergence and stability. Based on the Arrow-Hurwicz iterative method, the finite element method has been proposed to avoid solving saddle-point system coming from the considered problem [22]. For the time-dependent thermally coupled incompressible MHD equations, Ravindran [29] has presented a decoupled Crank-Nicolson time-stepping scheme, in which mixed finite element method is used for spatial discretization, and has derived optimal order error estimates in suitable norms. It is noteworthy that this scheme only decouples the MHD equations from the heat equation. Ding et al. [17] have studied the Crank-Nicolson extrapolation scheme, where the generalized Taylor-Hood element, Nédélec edge element, Lagrange element are employed to approximate the Navier-Stokes, Maxwell’s and thermal equations, respectively. Meanwhile, the authors have proven that the proposed scheme is unconditionally energy stable, and have established optimal error estimates for the velocity, magnetic induction and temperature under a weak regularity hypothesis of the exact solution. In [31], a modified characteristics finite element method, which approximates the hyperbolic part with the modified characteristics tracking scheme, has been presented by Si et al. When dissipative heating and Joule heating are taken into account, a stabilized finite element method, which splits the unknowns into a finite element component and a subscale, has been designed by Codina and Hernández in [14]. Finally, for solving the thermally coupled inductionless MHD equations, Badia et al. [9] have designed a new family of recursive block LU preconditioners. Although the works mentioned above have made essential contributions to the construction of the numerical method for the thermally coupled incompressible MHD model, there is less research on explicit treatment for the nonlinear terms in the model, and efficient scheme for the divergence-free constraint concerning velocity and magnetic fields.
On the one hand, inspired by the scalar auxiliary variable method [25, 30], the “zero-energy-contribution” idea has been proposed by Yang in [32,33,34,35,36], where an ordinary differential equation is constructed to decouple the nonlinear system. With the help of “zero-energy-contribution” idea, a fully decoupled finite element scheme, which involves a pressure-correction method, explicit treatment for the nonlinear terms, second-order backward differential scheme, has been proposed by Zhang et al. [39] for the MHD equations. Note that the stability analysis for fully discrete scheme is carried out, but the error analysis is not established. A fully decoupled algorithm for the MHD equations without “magnetic pressure” can be found in [37].
On the other hand, for the time-dependent thermally coupled incompressible MHD flows, it is essential to construct a numerical scheme that generates the numerical solution satisfying the conservation of mass and Gauss’s law. As is known, by using Mini element or Taylor-Hood element for spatial discretization, the velocity solutions are not divergence-free [13]. Recently, the vector penalty-projection (VPP) method, which approximately satisfies the divergence-free conditions, has aroused the researchers’ attention. Based on the augmented Lagrangian and splitting methods under vector form, Angot et al. firstly presented the two-step artificial compressibility (VPP\(_\varepsilon \)) method and the two-parameter vector penalty-projection (VPP\(_{r,\varepsilon }\)) method in [1]. For the VPP\(_\varepsilon \) method, the authors have developed it into incompressible non-homogeneous or multiphase Navier-Stokes problems [2] and the fast numerical computation of incompressible flows with variable viscosity and density [5]. Furthermore, Bruneau et al. [11] have applied the combinatorial method of the VPP\(_\varepsilon \) method and corrected pressure gradient scheme to the displacement of a moving body for the incompressible viscous flows. Based on the stability result, the authors have proven the weak convergence of the scheme towards the continuous incompressible Navier-Stokes problem with a penalization term when time step and penalty parameter go to zero. In a following work of Angot et al. [1], the VPP\(_{r,\varepsilon }\) method has been applied to compute the solution of unsteady incompressible Navier-Stokes equations [3, 8], the incompressible MHD equations [26], the time-dependent incompressible Stokes equations with Dirichlet boundary conditions [6] and open boundary conditions [7]. To be specific, the authors have proven that the numerical solution converges to the weak solution of the Navier-Stokes equations when the penalty parameters tend to zero [8]. Moreover, the stability of the proposed method and second convergence rate with respect to time step of velocity and pressure are analyzed in [6]. As a matter of fact, based on Helmholtz-Hodge decomposition [4], the divergence of the velocity is controlled by the parameter \(\varepsilon \) and r in [1].
The aim of this paper is to construct a fully discrete decoupled finite element scheme for the thermally coupled incompressible MHD problem. First, we introduce an ordinary differential equation containing the nonlinear terms in the thermally coupled MHD equations, which leads to an equivalent system of (1)–(3). Further, the VPP\(_{r,\varepsilon }\) method is used to penalize lack of the mass conservation and Gauss’s law in the fully discrete scheme. Finally, we develop a fully decoupled unconditionally stable finite element scheme by employing first-order backward Euler scheme for the time derivative terms and explicit treatment for the nonlinear terms. Theoretically, the unconditional stability of the proposed scheme will be derived, and error estimates will be established. Numerically, several examples are given to test the stability and accuracy of the presented scheme. By comparing with the implicit-explicit scheme, namely Algorithm 5.1 in this paper, we illustrate the effectiveness of the proposed scheme.
The arrangement of this paper is organized in the following way. We start in Sect. 2 by writing down some notations, functional spaces and the basic facts. In Sect. 3, a fully decoupled finite element scheme is proposed, and its stability is given. Then, some error estimates of the velocity, magnetic and temperature are showed in Sect. 4. In the next section, we present various numerical experiments to test the stability, accuracy and performance of the presented scheme. In Sect. 6, the conclusion is given. The stability and error estimates of the presented method are proved in the Appendix.
2 Preliminaries
Let us give some mathematical preliminaries and notations which will be frequently applied throughout the paper. For \(m\in {\mathbb {N}}^+\) and \(1\le p\le \infty \), let \(W^{m,p}(\Omega )\) be the usually Sobolev space, which is equipped with the norm \(\Vert \cdot \Vert _{W^{m,p}(\Omega )}\), with abbreviations \(L^{p}(\Omega )=W^{0,p}(\Omega )\) and \(H^{m}(\Omega )=W^{m,2}(\Omega )\). \(\Vert \cdot \Vert _{L^{p}(\Omega )}\) and \(\Vert \cdot \Vert _{m}\) denote \(L^{p}(\Omega )\), \(H^{m}(\Omega )\) norm, respectively. Particularly, \((\cdot ,\cdot )\) and \(\Vert \cdot \Vert _0\) denote \(L^{2}\) inner product and norm on the domain \(\Omega \). For a function space X on \(\Omega \), \(L^{p}(0,t;X)\) and \(L^{\infty }(0,t;X)\) are the function spaces defined on \((0,T]\times \Omega \) for which the norm
To setup the mathematical formulation of the problem (1)–(3), we introduce the following Sobolev spaces:
Besides, for \({\textbf{f}}\) an element in the dual space of \({\textbf{X}}\), denoted by \({\textbf{X}}'\), its norm is defined by \(\Vert {\textbf{f}}\Vert _{-1}=\sup _{{\textbf{v}}\in {\textbf{X}}}\frac{|({\textbf{f}},{\textbf{v}})|}{\Vert \nabla {\textbf{v}}\Vert _{0}}.\)
Next, we define the trilinear forms
The following properties of the trilinear terms will be used in the next analysis and given in the following lemma.
Lemma 2.1
[16, 19, 20, 24] The above trilinear forms satisfy following properties
for all \({\textbf{u}},{\textbf{v}},{\textbf{w}}\in {\textbf{X}}\), \({\textbf{H}},{\textbf{B}}\in {\textbf{W}}\) and \(\theta , \varphi \in Y\). Moreover, if \({\textbf{v}},{\textbf{B}}\in H^2(\Omega )^2, \theta \in H^2(\Omega )\)
Here and after, we denote c and C (with or without a subscript) are general positive constants depending on \(R_e,\) \(R_m,\) s, \(\kappa ,\) \(\beta ,\) \(\Omega ,\) T, \({\textbf{u}}_0,\) \({\textbf{H}}_0,\) \(\theta _0,\) \({\textbf{f}}\), \(\omega \) and \({\textbf{g}}\), which may represent for different values at their different occurrences. Additionally, we recall the following essential formulas that are useful in the numerical analysis [15, 18]: for all \({\textbf{u}},{\textbf{v}},{\textbf{w}}\in H^1(\Omega )^d\) and \({\textbf{H}}\in {\textbf{W}},\)
By using the above notations and function spaces, the desired weak formulation of the problem (1)–(3) reads: find \({\textbf{u}}\in L^2(0,T;{\textbf{X}}),{\textbf{H}}\in L^2(0,T;{\textbf{W}}),\theta \in L^2(0,T;Y)\) and \(p \in L^2(0,T;M)\) such that for any \(({\textbf{v}},q,{\textbf{B}},\theta ) \in {\textbf{X}} \times M \times {\textbf{W}}\times Y \) and \(t\in (0,T]\),
where \(a_1({\textbf{u}},{\textbf{v}})=R_e^{-1}(\nabla {\textbf{u}},\nabla {\textbf{v}}),\) \(a_2({\textbf{H}},{\textbf{B}})=R_m^{-1}s(\textrm{curl}{\textbf{H}},\textrm{curl}{\textbf{B}}),\) \(a_3(\theta ,\varphi )=\kappa (\nabla \theta ,\nabla \varphi )\) and \(d({\textbf{v}},q)=(\textrm{div}{\textbf{v}},q).\)
Through this paper, we make the following assumption in advance for (7)–(11), which will be used in the subsequent analysis.
Assumption 2.1
Assume that the initial data \({\textbf{u}}_{0}\), \({\textbf{H}}_{0}\), \(\theta _0,\) the force \({\textbf{f}}\), heat source \(\omega \) and the current \({\textbf{g}}\) satisfy
From now on, let \(\pi _{h}\) be a uniform partition of the domain \(\Omega \) into element K with diameters bounded by a real positive parameter \(h=\max _{K\in \pi _h}\{\text{ diam }(K)\}.\) Next, we introduce \({\textbf{X}}_{h}\subset {\textbf{X}},\) \(M_{h}\subset M,\) \({\textbf{W}}_{h}\subset {\textbf{W}}\) and \(Y_{h}\subset Y\) as the conforming finite element spaces under the partition \(\pi _{h}\)
Furthermore, the finite element space pair \({\textbf{X}}_{h}\times M_{h}\) is assumed to satisfy the usual discrete inf-sup condition or \(LBB_{h}\) condition for the stability of the discrete pressure: there is a constant \(\alpha \) independent of the mesh size h such that
We also recall the Poincaré inequality: there exists a positive constant c such that
The standard inverse inequality [12] will be used:
where the constant \(c_{in}>0\) depends on the domain.
As is known, the discrete Grönwall’s inequality will play an important role in analysis of convergence, so we list it in the following lemma.
Lemma 2.2
[21] Let k and \(a_{n},b_{n},d_{n},\) for integers \(n_{1}\le n\) be nonnegative numbers such that:
Then, one has
3 A Fully Decoupled Linearized Scheme for the Thermally Coupled MHD Equations
In this section, we construct a fully decoupled unconditional stable finite element scheme, which approximately satisfies the conversation of mass and Gauss’s law, to solve the thermally coupled incompressible MHD system (1)–(3).
Introduce an auxiliary scalar variable Q and an ordinary differential equation, which is being shown as follows:
Note that \(b_1({\textbf{u}},{\textbf{u}},{\textbf{u}})+sb_2 ({\textbf{H}},{\textbf{H}},{\textbf{u}}) -sb_2({\textbf{H}},{\textbf{H}},{\textbf{u}})+b_3({\textbf{u}},\theta ,\theta )=0.\) So we have the exact solution \(Q(t)\equiv 1\). Then, the thermally coupled MHD system (1)–(3) can be rewritten in the following equivalent system:
Let \(\{t_n\}_{n=0}^{N}~(N>0)\) be a uniform partition of [0, T] with time step \(\Delta t =\frac{T}{N}\). Next, \(({\textbf{u}}_h^n,p_h^n,{\textbf{H}}_h^n,\theta _h^n)\) denotes the fully discrete approximation to the solution \(({\textbf{u}}(t_n),p(t_n),{\textbf{H}}(t_n),\theta (t_n))\) of the problem (12)–(17) at \(t=t_{n}.\) Besides, we set \({\textbf{f}}^n={\textbf{f}}(t_n),\) \({\textbf{g}}^n={\textbf{g}}(t_n)\) and \(\omega ^n=\omega (t_n).\)
Then, we propose a fully discrete decoupled finite element scheme, which combines the first order backward Euler scheme for temporal discretization and explicit treatment for nonlinear terms. Moreover, a modified VPP\( _{r,\varepsilon }\) method is introduced to decouple the pressure and penalize the lack of mass conservation and Gauss’s law.
Algorithm 3.1
Step 1: Given \({\textbf{u}}_h^{n}\in {\textbf{X}}_h,{\textbf{H}}^{n}_h\in {\textbf{W}}_h,{\tilde{p}}_h^n\in M_h,\theta _h^{n}\in Y_h\), find \((\tilde{{\textbf{u}}}^{n+1}_{1,h},\tilde{{\textbf{u}}}^{n+1}_{2,h}, \tilde{{\textbf{H}}}^{n+1}_{1,h},\tilde{{\textbf{H}}}^{n+1}_{2,h})\in {\textbf{X}}_h \times {\textbf{X}}_h \times {\textbf{W}}_h \times {\textbf{W}}_h\) satisfying: for all \(({\textbf{v}}_h,{\textbf{B}}_h)\in {\textbf{X}}_h\times {\textbf{W}}_h\),
where \(r>0\) is the augmentation parameter.
Step 2 : Given \({\textbf{u}}_h^{n}\in {\textbf{X}}_h,\theta _h^n\in Y_h\), find \((\theta ^{n+1}_{1,h},\theta ^{n+1}_{2,h})\in Y_h\times Y_h\) satisfying: for all \(\varphi _h\in Y_h\),
Step 3: Compute \(Q^{n+1}\in {\mathbb {R}}\) satisfying
where \({\mathbb {A}}_1^{n+1}=\Delta t\left( b_1({\textbf{u}}_{h}^{n},{\textbf{u}}_{h}^{n},\tilde{{\textbf{u}}}_{2,h}^{n+1})+sb_2 ({\textbf{H}}^{n}_h,{\textbf{H}}_h^{n},\tilde{{\textbf{u}}}_{2,h}^{n+1}) -sb_2({\textbf{H}}_h^{n},\tilde{{\textbf{H}}}_{2,h}^{n+1},{\textbf{u}}^{n}_h) +b_3({\textbf{u}}_{h}^{n},\theta _{h}^{n},\theta _{2,h}^{n+1})\right) ,\) and \({\mathbb {A}}_2^{n+1}=\Delta t\left( b_1({\textbf{u}}_{h}^{n},{\textbf{u}}_{h}^{n},\tilde{{\textbf{u}}}_{1,h}^{n+1})+sb_2 ({\textbf{H}}^{n}_h,{\textbf{H}}_h^{n},\tilde{{\textbf{u}}}_{1,h}^{n+1}) -sb_2({\textbf{H}}_h^{n},\tilde{{\textbf{H}}}_{1,h}^{n+1},{\textbf{u}}^{n}_h)+b_3({\textbf{u}}_{h}^{n},\theta _{h}^{n},\theta _{1,h}^{n+1})\right) .\)
Step 4: Find \(\tilde{{\textbf{u}}}^{n+1}_h\in {\textbf{X}}_h\), \(\tilde{{\textbf{H}}}^{n+1}_h\in {\textbf{W}}_h\), \(\theta ^{n+1}_h\in Y_h\) such that
Step 5: Update \({\tilde{p}}^{n+1}_h\in M_{h}\) satisfying: for all \(q_h \in M_h\),
Step 6: Based on \(\tilde{{\textbf{u}}}^{n+1}_h\) and \(\tilde{{\textbf{H}}}^{n+1}_h\) from (25), find \((\hat{{\textbf{u}}}^{n+1}_h,\hat{{\textbf{H}}}^{n+1}_h)\in {\textbf{X}}_h\times {\textbf{W}}_h\) satisfying: for all \(({\textbf{v}}_h,{\textbf{B}}_h)\in {\textbf{X}}_h\times {\textbf{W}}_h\),
with some penalty parameters \(0 < \varepsilon _{1},\varepsilon _{2} \le 1\).
Step 7: Combine the Step 4 and Step 6, then get \(({\textbf{u}}^{n+1}_h,{\textbf{H}}^{n+1}_h)\in {\textbf{X}}_h\times {\textbf{W}}_h\) by
Step 8: Update \(p^{n+1}_h\in M_{h}\) satisfying: for all \(q_h \in M_h\),
Remark 3.1
Note that some initial values are required for the unknowns in Step 1, 2 and 5. Setting \({\textbf{u}}_h^{0}=R_h{\textbf{u}}_0({\textbf{x}}),\) \({\textbf{H}}_h^{0}=T_h{\textbf{H}}_0({\textbf{x}}),\) \({{\tilde{p}}}_h^{0}=L_hp_0(x)\) and \(\theta _h^{0}=G_h\theta _0(x)\), the definitions of the projections \(R_h,T_h,L_h,G_h\) are displayed in next section. Under the Assumption 2.1, we have \(\Vert {\textbf{u}}_h^{0}\Vert _0\le c,\) \(\Vert {\textbf{H}}_h^{0}\Vert _0\le c,\) \(\Vert {{\tilde{p}}}_h^{0}\Vert _0\le c,\) and \(\Vert \theta _h^{0}\Vert _0\le c.\)
Remark 3.2
In (18), (20) and (26), the added penalty terms can be seen as artificial compressibility method but the augmentation parameter r is totally independent of the time step \(\Delta t\). Further, in order to ensure the fully discrete numerical method is unconditionally stable, we choose \({\tilde{p}}^n_{i,h}\) instead of \(p^n_{i,h}\) in (18) and (26), which is different from the common VPP\(_{r,\varepsilon }\) method in [7].
Remark 3.3
In Step 1 and 2, the explicit treatment for convection terms and Lorentz force terms results in constant coefficient system at each time layer, which makes the computation easy. Moreover, the addition of penalty term further decouples the pressure from the momentum equation and achieves full decoupling of the physical variables in (1).
Remark 3.4
From Helmholtz-Hodge decomposition in [4], Step 6-8, called the vector penalty-projection step, perform the penalty for lack of mass conservation and Gauss’s law. When the penalty parameters are small enough, Step 6 and 7 are used to approximate well divergence-free solution for velocity and magnetic fields.
We next establish stability of the partitioned scheme in Algorithm 3.1.
First of all, one needs to check the solvability of (24). In fact, if \(1-{\mathbb {A}}_1^{n+1}=0,\) then one can not solve (24). Moreover, if one can prove \(-{\mathbb {A}}_1^{n+1}\ge 0\), then \(1-{\mathbb {A}}_1^{n+1}\ge 1\ne 0\). So (24) can be solved.
In fact, by taking \({\textbf{v}}_h=\Delta t\tilde{{\textbf{u}}}^{n+1}_{2,h}\), \({\textbf{B}}_h=\Delta t\tilde{{\textbf{H}}}^{n+1}_{2,h}\), \(\varphi _h=\Delta t\theta ^{n+1}_{2,h}\) in (20), (21) and (23), respectively, and combining the ensuing equations, one has
which implies the solvability of (24).
Now, we mainly list and prove the stability of Algorithm 3.1.
Theorem 3.1
Under Assumption 2.1, there holds
where \(C=C(R_e,R_m,\kappa ,\beta ,T,\Omega ,{\textbf{u}}_0,{\textbf{H}}_0,\theta _0,{\textbf{f}},\omega ,{\textbf{g}})\) is a positive constant.
Proof
See Appendix A.1. \(\square \)
4 Error Estimates
In this section, we establish error estimate results of Algorithm 3.1 for the thermally coupled incompressible MHD equations. First, we make the following regularity assumption for the weak solution to system (7)–(11).
Assumption 4.1
The exact solution of (7)–(11) satisfies
Next, we introduce the Stokes projection for the velocity field and pressure, \(L^2\)-orthogonal projection for the magnetic field and Ritz projection for temperature as follows [17,18,19]: given \({\textbf{u}}\in {\textbf{X}}\cap H^3(\Omega )^d\), \({\textbf{H}}\in {\textbf{W}}\cap H^3(\Omega )^d\), \(p\in M\cap H^2(\Omega )\), \(\theta \in Y\cap H^3(\Omega ),\) find \((R_h{\textbf{u}}, T_h{\textbf{H}}, L_hp, G_h\theta ) \in {\textbf{X}}_h\times {\textbf{W}}_h \times M_h \times Y_h\) such that
which satisfy the following approximation properties
In order to facilitate the error estimates, we set \({\textbf{v}}={\textbf{v}}_{h}\) in (7), \({\textbf{B}}={\textbf{B}}_{h}\) in (8), \(\varphi =\varphi _{h}\) in (9) and \(q=q_h\) in (10) with \(t=t_{n+1}\) to get
Then, we show the following notations here and hereafter
Next, we get the following error equations by subtracting (A.1)–(A.3) from (33)–(35), respectively.
Besides, subtracting (26) from (36), we arrive at
Further, in order to derive estimate for error, we need to split the errors. For future convenience, we define here and hereafter,
where
Lemma 4.1
Consider Step 6 in Algorithm 3.1. The following estimate holds
Proof
From (13) and (15), it is found that the following equations hold
Applying (29) to (27)–(28) and subtracting ensuing equations from (42) and (43), respectively, we get
Then, set \({\textbf{v}}_{h}=2\Delta t\varvec{\phi }_h^{n+1},{\textbf{B}}_{h}=2\Delta t\varvec{\psi }_h^{n+1}\) in (44) and (45), respectively, and decompose the errors.
where we have used the Cauchy-Schwarz and Young inequalities. Then, the desired result is obtained. \(\square \)
Now, we are ready to state the main result of this section.
Theorem 4.1
For the 2D thermally coupled incompressible MHD equations, under Assumption 4.1 and the assumption of Theorem 3.1, we have the following estimate
where \(c_1=c_1(R_e,R_m,s,\kappa ,\varepsilon _1,\varepsilon _2,r,\beta )\) is a positive constant.
Proof
The proof is similar to the 3D case (see Theorem 4.2) except some bounds as follows. For the 2D case, the terms \(A_2,D_2,E_2,F_2\) can be bounded by
Then, according to the proof in Appendix A.2, it is easy to get the desired result.
\(\square \)
For the 2D thermally coupled incompressible MHD equations, we find that there is no constraint on the time step. Further, we consider the error estimate for the 3D case.
Theorem 4.2
For the 3D thermally coupled incompressible MHD equations, under Assumption 4.1 and the assumption of Theorem 3.1, if
where \(c_2=c_2(R_e,R_m,s,\kappa ,\varepsilon _1,\varepsilon _2,r,\beta )\) is a positive constant, \({\mathbb {W}}_0=W_1+W_2+W_3+\frac{9}{2}\) and \(W_1,W_2,W_3\) are defined in (A.32), then we have
Proof
See Appendix A.2. \(\square \)
5 Numerical Experiment
In this section, we present some numerical examples to verify the established theoretical findings, and show the performances of Algorithm 3.1 for the thermally coupled incompressible MHD problem. In order to gauge the effectiveness of the proposed algorithm, we compare it with the classical implicit/explicit scheme, which reads as
Algorithm 5.1
Given \({\textbf{u}}_h^{n}\in {\textbf{X}}_h,{\textbf{H}}^{n}_h\in {\textbf{W}}_h\) and \(\theta ^n_h\in Y_h\), find \(({\textbf{u}}^{n+1}_{h},p^{n+1}_{h},{\textbf{H}}^{n+1}_{h},\theta ^{n+1}_{h})\in {\textbf{X}}_h\times M_h\times {\textbf{W}}_h\times Y_h\) satisfying: for all \(({\textbf{v}}_h,q_h,{\textbf{B}}_{h},\varphi _h) \in {\textbf{X}}_h\times M_h\times {\textbf{W}}_h\times Y_h\),
5.1 Stability Test
In order to verify the stability of the presented algorithm, the thermally coupled incompressible MHD problem (1)–(3) in the unit square domain \( [0,1]^2\) is considered. Set physical parameters \(R_e=R_m=50,\) \(s=\kappa =\beta =1\) and the final time \(T = 10\). We choose \(r=\varepsilon _1=\varepsilon _2=1\) and impose the source functions \({\textbf{f}}={\textbf{g}}={\textbf{0}},\) \(\omega =0.\) The initial values are taken as follows:
Due to the zero source functions and the homogeneous boundary conditions in the considered domain, the numerical solutions are expected to remain bounded over time.
We denote \(E_h^n= \Vert {\textbf{u}}^n_h\Vert ^2_0 +\Vert {\textbf{H}}^n_h\Vert _0^2 +\Vert \theta _h^n\Vert _0^2+\frac{\Delta t}{r}\Vert {\tilde{p}}_h^n\Vert _0^2+|Q^n|^2\), which will be computed with the fixed mesh size \(h=\frac{1}{32}\). Figure 1 shows the values of \(E_h^n\) and \(Q^n\) versus time evolution for different time steps \(\Delta t= 0.1,~0.05,~0.01,~0.005\). We observe that it shows monotonic decay for all time step sizes, which numerically confirms that the proposed algorithm is unconditionally stable. The scalar auxiliary variable \(Q^n\) of the numerical algorithm converges to 1 when the time step \(\Delta t\) decreases.
Further, resetting the physical parameters \(R_e=R_m=100,~s=10,\) and taking the time-step \(\Delta t=0.1,~0.05,~0.01\), we compare the value of \(\Vert {\textbf{u}}_h^n\Vert _0^2+\Vert {\textbf{H}}_h^n\Vert _0^2+\Vert \theta _h^n\Vert _0^2\) by Algorithm 3.1 with that of Algorithm 5.1 showed in Fig. 2. It is clear that both algorithms are stable with the time step \(\Delta t=0.01\). However, Algorithm 5.1 blows up when \(\Delta t =0.1,~0.05\), which shows that the classical implicit/explicit algorithm does not work well when some large time steps are adopted. On the contrary, Algorithm 3.1 still works well.
5.2 Convergence Test
5.2.1 2D Convergence Test
Based on the same bounded domain as it in the unconditional stability test, we consider two-dimensional time-dependent thermally coupled incompressible MHD equations with the exact solution as follows:
where we choose \(\alpha =0.01.\) The boundary conditions and the body forces are given by the exact solution. Set \(Err({e}_i)=\Big (\Delta t\sum \limits _{n=0}^{N-1}\Vert {e}_i^{n+1}\Vert _{0}^2 \Big )^{\frac{1}{2}}\) with \(i={\textbf{u}},\) \({\textbf{H}},\) p and \(\theta .\) The errors for corresponding norms and convergence rates are tested with parameters \(R_e=R_m=s=\kappa =\beta =1\), \(r=\varepsilon _1=\varepsilon _2=1\) and the terminal time \(T=1\). Results with various time-space steps such that \(\Delta t=h^2\) are listed in Table 1. This table shows that the proposed algorithm works well and keeps the convergence rates just like the theoretical analysis.
5.2.2 3D Convergence Test
This example is to test the convergence rate for the 3D thermally coupled incompressible magnetohydrodynamic system in the domain \(\Omega =[0,1]\times [0,1]\times [0,1]\). The right-hand sides \({\textbf{f}}, {\textbf{g}},\omega \) and boundary conditions are chosen such that the exact solution is given as
The selection of parameters \(R_e,~R_m,~s,~\kappa ,~\beta ,~r\) and the terminal time T is the same as those in the 2D convergence test. The other parameters are set as \(\varepsilon _1=\varepsilon _2=0.001\). The errors for corresponding norms and convergence rates are displayed in Table 2, from which we can see that numerical results are in good agreement with the theoretical analysis.
5.3 Assessment 2D Driven Cavity Flow
The following numerical simulations are carried out with the 2D lid-driven flow as the experimental model. The external body force is vanished for this problem. Besides, we choose the same bounded domain as it in the unconditional stability test. The initial values are given by \({\textbf{H}}_0=(0,0)\), \(\theta _0=x\) and \({\textbf{u}}_0=(0,0)\). Then, the boundary conditions are \({\textbf{u}}|_{S_T}=(w,0),~ ({\textbf{H}}\times {\textbf{n}})|_{S_T}={\textbf{H}}_1\times {\textbf{n}}\) and \(\theta |_{S_T}=\theta _0,\) where w satisfies \(w(x,1)=1\) and \(w(x,y)=0,~\forall y\in [0,1),\) and \({\textbf{H}}_1=(1,0).\) Next, we set \(R_e=10,~R_m=10,~s=\kappa =r=1,\) and \(\varepsilon _1=\varepsilon _2=0.1.\) The time step and mesh size are \(\Delta t=0.01\) and \(h=\frac{1}{32}.\) The final time T is chosen such that \(\Vert {\textbf{u}}_h^N-{\textbf{u}}_h^{N-1}\Vert _0+\Vert {\textbf{H}}^N_h-{\textbf{H}}^{N-1}_h\Vert _0\le 1.0\)E\(-05,\) which implies that the fluid fields are almost steady state. Figures 3 and 4 show numerical velocity streamlines, magnetic and isotherms obtained by Algorithms 3.1 and 5.1 with different thermal expansion coefficient. By comparison, it is easy to find that the numerical results of both algorithms are almost consistent with \(\beta =1\) and 100.
Further, we compare the computed divergence values which are listed in Tables 3 and 4. From these tables, we see that the current algorithm computes approximations with significantly better mass conservation and Gauss’s law than those of the implicit/explicit algorithm.
5.4 Assessment 3D Driven Cavity Flow
In this example, let us consider thermally coupled incompressible MHD problem in a 3D case. The domain is defined in \(\Omega = [0, 1]\times [0, 1]\times [0, 1]\). Impose boundary conditions: \({\textbf{u}}|_{S_T}=(w,0,0),~ ({\textbf{H}}\times {\textbf{n}})|_{S_T}={\textbf{H}}_1\times {\textbf{n}}\) and \(\theta |_{S_T}=\theta _0,\) where w satisfies \(w(x,y,1)=1\) and \(w(x,y,z)=0\) for \(z\ne 1 ,\) and \({\textbf{H}}_1=(1,0,0).\) We choose initial values \({\textbf{H}}_0=(0,0,0)\), \(\theta _0=x\) and \({\textbf{u}}_0=(0,0,0)\), and set time-mesh step sizes as \(\Delta t=0.01,\) \(h=\frac{1}{8}\). The final time T is chosen such that \(\Vert {\textbf{u}}_h^N-{\textbf{u}}_h^{N-1}\Vert _0+\Vert {\textbf{H}}^N_h-{\textbf{H}}^{N-1}_h\Vert _0\le 1.0E-05.\) Next, we plot the velocity streamline, isodynamic and isotherm obtained by Algorithms 3.1 and 5.1 with \(R_e=R_m=\beta =s=\kappa =r=\varepsilon _1=\varepsilon _2=1\) in Fig. 5. It is easy to find that the numerical results of both algorithms are almost consistent. Finally, we list divergence values for different algorithms in Tables 5 and 6, from which we can get that the current scheme is superior to the classical implicit/explicit scheme.
6 Conclusion
In this paper, we propose a fully decoupled finite element for solving the thermally coupled incompressible MHD problem (1)–(3), which allows solving single variable at each time layer. Theoretically, we use energy estimate to prove unconditional stability of the proposed algorithm. Further information of the convergence properties is obtained using numerical analysis under certain assumptions. Numerically, a series of numerical simulations, including the stability test, convergence rate test and assessment driven cavity flow are presented to validate the stability and accuracy of the proposed algorithm. All computational results support the theoretical analysis and demonstrate the effectiveness of the presented algorithm.
References
Angot, P., Caltagirone, J. P., Fabrie, P.: Vector penalty-projection methods for the solution of unsteady incompressible flows, in: R. Eymard, J.-M. Hérard (Eds.), Finite Volumes for Complex Applications V-Problems & Perspectives, ISTE Ltd., Wiley, pp. 169–176 (2008)
Angot, P., Caltagirone, J.P., Fabrie, P.: A fast vector penalty-projection method for incompressible non-homogeneous or multiphase Navier–Stokes problems. Appl. Math. Lett. 25, 1681–1688 (2012)
Angot, P., Caltagirone, J.P., Fabrie, P.: A new fast method to compute saddle-points in constrained optimization and applications. Appl. Math. Lett. 25, 245–251 (2012)
Angot, P., Caltagirone, J.P., Fabrie, P.: Fast discrete Helmholtz-Hodge decompositions in bounded domains. Appl. Math. Lett. 26, 445–451 (2013)
Angot, P., Caltagirone, J.P., Fabrie, P.: A kinematic vector penalty-projection method for incompressible flow with variable density. C. R. Math. 354, 1124–1131 (2016)
Angot, P., Cheaytou, R.: On the error estimates of the vector penalty-projection methods: second-order scheme. Math. Comp. 87, 2159–2187 (2018)
Angot, P., Cheaytou, R.: Vector penalty-projection methods for open boundary conditions with optimal second-order accuracy. Commun. Comput. Phys. 26, 1008–1038 (2019)
Angot, P., Fabrie, P.: Convergence results for the vector penalty-projection and two-step artificial compressibility methods. Discrete Contin. Dyn. Syst. Ser. B. 17, 1383–1405 (2012)
Badia, S., Martin, A.F., Planas, R.: Block recursive LU preconditioners for the thermally coupled incompressible inductionless MHD problem. J. Comput. Phys. 274, 562–591 (2014)
Bermúdez, A., Muñoz-Sola, R., Vázquez, R.: Analysis of two stationary magnetohydrodynamics systems of equations including Joule heating. J. Math. Anal. Appl. 368, 444–468 (2010)
Bruneau, V., Doradoux, A., Fabrie, P.: Convergence of a vector penalty projection scheme for the Navier–Stokes equations with moving body. ESAIM: Math. Model. Numer. Anal. 52, 1417–1436 (2018)
Brenner, S.C., Scott, R.: The Mathematical Theory of Finite Element Methods. Spring-Verlag, New York (2008)
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)
Codina, R., Hernández, N.: Approximation of the thermally coupled MHD problem using a stabilized finite element method. J. Comput. Phys. 230, 1281–1303 (2011)
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. Engrg. 276, 287–311 (2014)
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)
Ding, Q.Q., Long, X.N., Mao, S.P.: Convergence analysis of Crank–Nicolson extrapolated fully discrete scheme for thermally coupled incompressible magnetohydrodynamic system. Appl. Numer. Math. 157, 522–543 (2020)
Girault, V., Raviart, P.A.: Finite Element Methods for Navier–Stokes Equtions: Theory and Algorithms. Springer-Verlag, Berlin (1984)
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)
Heywood, J., Rannacher, R.: Finite element approximation of the nonstationary Navier–Stokes equations, IV: Error analysis for second order time discretizations. SIAM J. Numer. Anal. 27, 353–384 (1990)
Keram, A., Huang, P.Z.: The Arrow-Hurwicz iterative finite element method for the stationary thermally coupled incompressible magnetohydrodynamics flow. J. Sci. Comput. 92, 11 (2022)
Ladyzhenskaya, O.A., Solonnikov, V.: Solution of some non-stationary problems of magnetohydrodynamics for a viscous incompressible fluid. Trudy Math. Inst. Steklov. 59, 115–173 (1960)
Layton, W.J.: Introduction to the Numerical Analysis of Incompressible Viscous Flows. SIAM, Philadelphia (2008)
Lin, L.L., Yang, Z.G., Dong, S.C.: Numerical approximation of incompressible Navier–Stokes equations based on an auxiliary energy variable. J. Comput. Phys. 388, 1–22 (2019)
Ma, H.M., Huang, P.Z.: A vector penalty-projection approach for the time-dependent incompressible magnetohydrodynamics flows. Comput. Math. Appl. 120, 28–44 (2022)
Meir, A.J.: Thermally coupled magnetohydynamics flow. Appl. Math. Comput. 65, 79–94 (1994)
Meir, A.J.: Thermally coupled, stationary, incompressible MHD flow: Existence uniqueness, and finite element approximation. Numer. Meth. Part. Differ. Equs. 11, 311–337 (1995)
Ravindran, S.S.: A decoupled Crank–Nicolson time-stepping scheme for thermally coupled magneto-hydrodynamic system. Int. J. Optimiz. Control Theories Appl. 8, 43–62 (2018)
Shen, J., Xu, J.: Convergence and error analysis for the scalar auxiliary variable (SAV) schemes to gradient flows. SIAM J. Numer. Anal. 56, 2895–2912 (2018)
Si, Z.Y., Lu, J.Y., Wang, Y.X.: Unconditional stability and error estimates of the modified characteristics FEMs for the time-dependent thermally coupled incompressible MHD equations. Comput. Fluids 240, 105427 (2022)
Yang, X.F.: A new efficient fully-decoupled and second-order time-accurate scheme for Cahn-Hilliard phase-field model of three-phase incompressible flow. Comput. Methods Appl. Mech. Engrg. 376, 13589 (2021)
Yang, X.F.: A novel fully decoupled scheme with second-order time accuracy and unconditional energy stability for the Navier–Stokes equations coupled with mass-conserved Allen-Cahn phase-field model of two-phase incompressible flow. Int. J. Numer. Methods Engrg. 122, 1283–1306 (2021)
Yang, X.F.: A novel fully-decoupled, second-order time-accurate, unconditionally energy stable scheme for a flow-coupled volume-conserved phase-field elastic bending energy model. J. Comput. Phys. 432, 110015 (2021)
Yang, X.F.: A novel fully-decoupled, second-order and energy stable numerical scheme of the conserved Allen-Cahn type flow-coupled binary surfactant model. Comput. Methods Appl. Mech. Engrg. 373, 113502 (2021)
Yang, X.F.: Numerical approximations of the Navier–Stokes equation coupled with volume-conserved multi-phase-field vesicles system: fully-decoupled, linear, unconditionally energy stable and second-order time-accurate numerical scheme. Comput. Methods Appl. Mech. Engrg. 375, 113600 (2021)
Yang, J.J., Mao, S.P.: Second order fully decoupled and unconditionally energy-stable finite element algorithm for the incompressible MHD equations. Appl. Math. Lett. 121, 107467 (2021)
Yang, J.T., Zhang, T.: Stability and convergence of iterative finite element methods for the thermally coupled incompressible MHD flow. Int. J. Numer. Methods Heat fluid flow 30, 5103–5141 (2020)
Zhang, G.D., He, X.M., Yang, X.F.: A fully decoupled linearized finite element method with second-order temporal accuracy and unconditional energy stability for incompressible MHD equations. J. Comput. Phys. 448, 110752 (2021)
Acknowledgements
The authors would like to express their sincere gratitude to editor and anonymous reviewers for their helpful suggestions on the quality improvement of the present paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Data Availability
Not applicable.
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 Xinjiang Uygur Autonomous Region (Grant Number 2021D01E11), the Postgraduate Research and Innovation Program of Xinjiang University (Grant Number XJU2022BS021) and the Natural Science Foundation of China (Grant Number 11861067).
Appendix A
Appendix A
1.1 A.1. Proof of Theorem 3.1
Proof
According to (25), multiplying (20), (21), (23) by \(Q^{n+1}\), and combining the ensuing equations with (18), (19), (22), respectively, we arrive at
Taking \({\textbf{v}}_h=2\Delta t\tilde{{\textbf{u}}}^{n+1}_{h}\) in (A.1), \({\textbf{B}}_h=2\Delta t\tilde{{\textbf{H}}}_h^{n+1}\) in (A.2) and \(\varphi _h=2\Delta t\theta ^{n+1}_{h}\) in (A.3), we obtain
where we have used \(({a}-{b},2{a})=|{a}|^2-|{b}|^2+|{a}-{b}|^2.\)
Next, applying (25) to (24), it follows that
Multiplying (A.5) by \(2\Delta tQ^{n+1},\) we have
Set \(q_h =2\Delta t{\tilde{p}}^{n+1}_{h}\) in (26) to get
Moreover, combining (A.4) with (A.6)–(A.7), we have
By the Cauchy-Schwarz and Young inequalities, one gets
Furthermore, substitute (29) into (27)–(28), and set \({\textbf{v}}_h =2\Delta t{\textbf{u}}_h^{n+1}\), \({\textbf{B}}_{h}=2\Delta t{\textbf{H}}_h^{n+1} \) in the ensuing equation to obtain
Setting \(q_h=2\Delta t (p^{n+1}_h -{\tilde{p}}^{n+1}_h )\) in (30), we have
Then, combining (A.10) and (A.11), we get
Finally, combining (A.8) and (A.12) and applying (A.9), we obtain
Then, summing up (A.13) from \(n = 0\) to \(N-1\) and applying Assumption 2.1, we arrive at the desired result with the help of Grönwall lemma. \(\square \)
1.2 A.2. Proof of Theorem 4.2
Proof
Taking \({\textbf{v}}_{h}=2\Delta t\tilde{\varvec{\phi }}_{h}^{n+1}\), \({\textbf{B}}_{h}=2\Delta t \tilde{\varvec{\psi }}_{h}^{n+1}\), \(\varphi _{h}=2\Delta t \vartheta _{h}^{n+1}\) in (37), (38), (39), respectively, and combining the ensuing equations, we get
where we have added \(\pm 2\Delta td(\tilde{{\varvec{\phi }}}_{u}^{n+1},\eta _{p}^{n+1})\) and used the projections.
In what follows, we estimate \(I_i\) in (A.14), respectively. Applying the Cauchy-Schwarz and Young’s inequalities, we have
Besides, for \(I_6\), we get
which can be bounded by employing Lemma 2.1 and Cauchy-Schwarz inequality. Then one has
Moreover, arguing in exactly the similar way as \(I_6\), for \(I_7\) and \(I_{8}\), we have
Applying Lemma 2.1, the Cauchy-Schwarz inequality, the inverse inequality and (4)–(6), we have
In addition, \(I_{9}\) is estimated by
With help of Lemma 2.1 and the Cauchy-Schwarz inequality, we have
Note that the remaining terms \(A_3,D_3,E_3\) and \(F_3\) will be eliminated in the following estimation.
The following estimates result from application of the Cauchy-Schwarz and Young inequalities,
And then finally, let’s estimate the truncation error terms on the right-hand side (RHS) of (A.14):
Now, setting \(\delta _0+\delta _3+\delta _4+\delta _6+\delta _{11}+\delta _{12}=\frac{1}{2},\) \(\delta _2+\delta _{7}=\frac{1}{2}\) and \(\delta _{1}+\delta _{9}+\delta _{13}=\frac{1}{2}\), combining (A.14) with the bounds in (A.15)–(A.20) and applying Theorem 3.1, Assumption 4.1, we obtain the following inequality
Further, taking \(q_{h}=2\Delta t {\tilde{\chi }}_h^{n+1}\) in (40), we get
Adding and subtracting \(\frac{2\Delta t}{r}(\eta _p^{n+1}-\eta _p^n,{\tilde{\chi }}_h^{n})\), and using the Cauchy-Schwarz and Young inequalities, we have
The second term on the RHS of (A.22) can be rewritten as
Note that \( 2\Delta td(\tilde{{\varvec{\phi }}}_{h}^{n+1},{\tilde{\chi }}_{h}^{n+1}-\tilde{\chi }_{h}^{n})\le 2r\Delta t \Vert \textrm{div}\tilde{{\varvec{\phi }}}_{h}^{n+1}\Vert _0^2+\frac{\Delta t}{2r}\Vert {\tilde{\chi }}_{h}^{n+1}-{\tilde{\chi }}_{h}^{n}\Vert _0^2.\)
Now, combining (A.21) and (A.22) with above bounds, and summing the ensuing equation from \(n=0\) to m, we arrive at
where we have used Theorem 3.1, Assumption 4.1 and (31)–(32).
In order to obtain the final error estimates, we now establish error analysis of the scalar equation. Subtracting (A.5) from the scalar equation (17) at \(t=t_{n+1}\) gets
where \(R_Q^{n+1}=\frac{Q(t_{n+1})-Q(t_n)}{\Delta t}-Q_t(t_{n+1})=\frac{1}{\Delta t}\int _{t_n}^{t_{n+1}}(t_n-t)Q_{tt}\textrm{dt}.\) Multiplying both sides of (A.24) by \(2\Delta te_Q^{n+1}\), we get
First, for the first four terms in the RHS of (A.25), we treat them as follows:
Applying the Cauchy-Schwarz and Young inequality and Lemma 2.1, we get
where we have used (5)–(6) and \(M:=C(2R_e+R_m+\kappa ^{-1})\).
To estimate residual nonlinear terms in the RHS of (A.25), we rewrite them as
From the Cauchy-Schwarz and Young inequalities, (6) and Lemma 2.1, there hold
Finally, for the last term in the RHS of (A.25), we have
Now, setting \(\epsilon _{0}+\epsilon _{3}+\epsilon _{7}+\epsilon _{11}+\epsilon _{14}=1\), \(\epsilon _{1}+\epsilon _{4}+\epsilon _{8}+\epsilon _{12}+\epsilon _{15}=\frac{1}{2}\), combining (A.25) with (A.26)–(A.28) and applying Theorem 3.1, Assumption 4.1 we get
Add up (A.29) from \(n=0,1,\cdots , m^{*}\), where \(t_{m^{*}}\) is a time that makes \(|e_Q^{m^*+1}|\) get its maximum value. Then, we give
where we have used Assumption 4.1 and (31)–(32).
Next, setting \(m=m^*\) in (A.23), combining the ensuing inequality with (A.30) and choosing \(\delta _{10}=\frac{1}{4}\), we get
where
and
Furthermore, setting \(\delta _5+\delta _8+\epsilon _{2}+\epsilon _{13}=\frac{1}{4},~\epsilon _{5}+\epsilon _{9}=\frac{1}{4}\) and \(\epsilon _{6}+\epsilon _{10}=\frac{1}{4}\), summing (41) over \(n=0,\cdots , m^*\) and combining the ensuing equation with (A.31), we have
where we have used (31) and (32). Note that
So as to derive \(|e_Q^{m^{*}+1}|^2 \le c(\Delta t^2+h^4)\), we employ the inductive method to prove that
Firstly, set \(m^*=0\) in (A.33), we have
Next, we assume that (A.34) holds at \(1 \le k\le m^*-1\), i.e.
which implies that
Hence, the following inequality holds for
Applying Lemma‘ 2.2 to (A.37), we obtain (A.34) and complete the induction.
In the next part, replacing \(m^*\) by \(N-1\) in (A.33) to get the error estimate of end-of-step velocity filed, magnetic filed, pressure and temperature, it reads as
where we have used \(|e_Q^{m^{*}+1}|^2 \le c(\Delta t^2+h^4)\).
Besides, we also use the induction method to prove the main results of this section
Firstly, when \(N = 1\), from (A.35), the result is obviously true. Secondly, we assume that (A.39) holds for the case of \(2 \le k \le N-1\), i.e:
By a similar argument as (A.36), from (46) and (A.40), we obtain \( {\mathbb {W}}_1^k\le \frac{R_e^{-1}}{4} \), \( {\mathbb {W}}_2^k\le \frac{\kappa }{4} \), and \( {\mathbb {W}}_3^k\le \frac{1}{4}\min \{R_m^{-1},\varepsilon _2^{-1}\}.\) Finally, applying Lemma 2.2 to (A.38), we obtain (A.39), which together with the triangle inequality and (31)–(32) gives desired result. \(\square \)
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ma, H., Huang, P. A Fully Discrete Decoupled Finite Element Method for the Thermally Coupled Incompressible Magnetohydrodynamic Problem. J Sci Comput 95, 14 (2023). https://doi.org/10.1007/s10915-023-02131-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10915-023-02131-7