Abstract
In this paper, we construct a semi-discrete scheme and a fully discrete scheme using the Wilson nonconforming element for the parabolic integro-differential equation arising in modeling the non-Fickian flow in porous media by the interior penalty method. Without using the conventional elliptic projection, which was an indispensable tool in the convergence analysis of finite element methods in previous literature, we get an optimal error estimate which is only determined by the interpolation error. Finally, we give some numerical experiments to show the efficiency of the method.
Similar content being viewed by others
1 Introduction
Consider the numerical solution of the non-Fickian flow in porous media modeled by an initial boundary value problem of the following parabolic integro-differential equation:
This kind of flow is complicated by the history effect, which characterizes various mixing length growths of flow. This model of equation is widely applied in many fields, such as in non-Fourier models for heat conduction in materials with memory, in engineering models for nonlocal reactive transport in porous media and in the theory of nuclear reactors. There are many studies on the existence and uniqueness of its solution, also, on the numerical solution of it.
There are many papers on the numerical methods for this kind of problems. Ewing et al. [1] derived the finite volume methods, and Jiang [2] considered the mixed element methods when \(A,B\) are proportional to a unit matrix for this problem. Ewing et al. [3] and [4] presented the \(L^{2}\)-error estimate and \(L^{\infty}\)-error estimate of the mixed element methods for this problem in a general case. The mixed element method can obtain the approximations of u and σ simultaneously, but it needs the Ladyzhenskaya-Babuska-Brezzi (LBB) consistency condition. To overcome this disadvantage of mixed element methods, Rui [5] gave some split least-squares finite element procedures and the convergence analysis with optimal accuracy. Besides these methods, Cui Xia [6] presented an A.D.I. Galerkin method, and Cannon and Lin [7] considered the finite element methods for this problem by use of the generalized elliptic projection. When using the conforming finite element methods approximation of this problem, it can lead to too much degree of freedom. For the nonconforming finite element methods, there are two disadvantages: first, it needs analyze the consistency term; secondly, the convergence order is not optimal since the order of the interpolation error is higher than that of the consistent error for some elements, such as the Wilson element for the second-order problems [8] and the Adini element for the forth-order problems (see [9]).
To overcome these disadvantages of the finite element methods, the interior penalty method was introduced. The study of this method traces back to the 1970s. Douglas etc. provided a framework for the analysis of a large class of discontinuous methods for second-order elliptic problems in [10] and a semi-discrete finite element procedure for the second-order parabolic initial boundary value problem in [11]. Andreas et al. [12] analyzed the discontinuous Galerkin method for the linear second-order elliptic problem on a compact smooth connected and oriented surface in \(R^{3}\). For a fourth-order elliptic boundary value problem, Engel et al. [13] proposed an interior penalty method that uses only the standard \(C^{0}\) finite elements. Brenner and Sung [14] analyzed the \(C^{0}\) interior penalty methods on polygonal domains using the Lagrange finite element. For a plate bending problem, in [15] we got an optimal estimate by the \(C^{0}\) interior penalty method using Adini element and the penalty parameter was accurately estimated. Brenner et al. [16] developed isoparametric \(C^{0}\) interior penalty methods on smooth domains and proved the optimal convergence in the energy norm. Comparing with the standard finite element method, the main advantages of the interior penalty method include the ability to capture discontinuities, and less restriction on grid structure and refinement as well as on the choice of basis functions.
In this paper, we use this idea and construct a semi-discrete scheme and a fully discrete scheme using the Wilson nonconforming element for the parabolic integro-differential equation arising in modeling the non-Fickian flow in porous media. Without using the conventional elliptic projection, which was an indispensable tool in the convergence analysis of finite element methods in previous literature, we get an optimal error estimate which is only determined by the interpolation error. Finally, we give some numerical experiments to show the efficiency of the method.
The rest of the paper is organized as follows. We give a semi-discrete scheme using the interior penalty method in Section 2. Section 3 contains the convergence analysis of the semi-scheme. In Section 4, we give the convergence analysis of the fully discrete scheme. Finally, some numerical experiments are carried out in Section 5.
2 The semi-discrete scheme of non-Fickian flow in porous media
In this section, we give a new semi-discrete scheme using the interior penalty method. For simplicity, we consider the problem on a plane domain, that is, \(\Omega\subset R^{2}\).
Suppose that \(f=f(x,t)\) is a given smooth function, \(A=A(x)\) and \(B(t)=B(x,t)\) are \(2\times2\) bounded matrices and A is strongly elliptic: there exist positive constants \(k_{1},k_{2}\) and \(a_{*},a^{*}\) such that
The variational form of (1.1) is to find \(u:(0,T]\rightarrow H^{1}_{0}(\Omega)\), such that
Let \(\{\mathcal{T}_{h}\}\) be a family of regular rectangle partitions of Ω. That is, denoted by \(h_{T}, h\) the diameter of the element \(T\in\mathcal{T}_{h}\) and \(\max_{T\in\mathcal{T}_{h}} h_{T}\), and by \(\rho_{T}\) the superior diameter of all circles contained in T, respectively, then it is assumed that \(\frac{h_{T}}{\rho_{T}}\leq\sigma\) in which σ is a positive constant. We denote by \(\{\mathcal{E}_{h}\}\) the set of all boundaries of \(\mathcal{T}_{h}\). We write \(h_{E}\) for the diameter of a boundary \(E\in\mathcal{E}_{h}\).
Now introduce the jump and average of a piecewise smooth function f as follows. Let \(E=\partial T\cap\partial T'\) be an interior boundary shared by two elements T and \(T'\). Then the jump of f over E is defined by
and the average as
The Wilson finite element is defined as follows. The freedom is described as
The finite element space is defined as
\(\Pi_{h}:H^{2}(\Omega)\rightarrow V_{h}\) is the corresponding interpolation operator and define that \((\cdot,\cdot)_{h}=\sum_{T\in\mathcal {T}_{h}} (\cdot,\cdot)_{T},\langle\cdot,\cdot\rangle_{h}=\sum_{E\in \mathcal {E}_{h}} \langle\cdot,\cdot\rangle_{E}\).
The traditional semi-discrete scheme is to find \(u_{h}:(0,T]\rightarrow V_{h}\), such that
The traditional norm in \(V_{h}\) is defined as \(\Vert v_{h} \Vert _{1,h}^{2}=\sum_{T} \vert v_{h} \vert _{1,T}^{2}\). The error estimation of this scheme is \(\Vert u-u_{h} \Vert _{1,h}=O(h)\).
To improve the convergence order, we introduce a new semi-discrete scheme: Find \(u_{h}:(0,T]\rightarrow V_{h}\), such that
in which
where α is a proper constant.
The new norm in the space \(V_{h}\) is defined as
which is larger than the traditional discrete norm.
To prove the convergence order of the new scheme, we first introduce several lemmas.
Lemma 2.1
There exists a positive constant C, such that
Proof
The proof of the lemma is complete. □
Lemma 2.2
Let \(\{\mathcal{T}_{h}\}\) be a regular rectangle partition of Ω, then there exists a positive constant C such that
Proof
By applying Lemma 2.1 and the inverse inequality, we have
The second inequality can be proved by the same argument. □
Theorem 2.3
\(a_{h}(\cdot,\cdot):V_{h}\times V_{h}\rightarrow\mathbb{R}\) and \(b_{h}(\cdot ,\cdot):V_{h}\times V_{h}\rightarrow\mathbb{R}\) are continuous and V-elliptic bilinear forms.
Proof
Obviously, they are bilinear forms.
According to definition (2.4), Hölder’s inequality and Lemma 2.2,
So \(a_{h}(\cdot,\cdot)\) is a continuous bilinear form.
Since
Therefore,
Select the appropriate value of ϵ independent of h to ensure \(C_{1}=\min\{a_{*}-\epsilon,\alpha-\frac{C}{4\epsilon}\}>0\), then the bilinear form \(a_{h}(\cdot,\cdot)\) is V-elliptic. By the same argument, with assumption (2.1), the bilinear form \(b_{h}(\cdot,\cdot ):V_{h}\times V_{h}\rightarrow\mathbb{R}\) is also continuous and V-elliptic. Therefore the proof is complete. □
3 Convergence of the new semi-discrete scheme
Lemma 3.1
Suppose \(u,u_{t}\in H^{3}(\Omega),u_{tt}\in H^{2}(\Omega)\) and \(\Pi_{h}\) is the interpolation operator. Then there holds
Proof
The first inequality of the above conclusion is obvious according to the interpolation theory.
Since
and
So
The second inequality \(\Vert u-\Pi_{h} u \Vert _{h}\leq Ch^{2} \vert u \vert _{3}\) is obtained. The third inequality can be proved by the same argument. □
Theorem 3.2
Assume that u and \(u_{h}\) are the solutions of (2.2) and (2.3), respectively. If \(u,u_{t}\in H^{3}(\Omega),u_{tt}\in H^{2}(\Omega)\), then there exists a positive constant C such that
Proof
Based on definition (2.4)-(2.5),
Using the Green’s formula, we can get
Therefore,
This is the key of the paper. Then we have
Let \(\theta_{h}=\Pi_{h} u-u_{h}\) and taking \(v_{h}=\theta_{h}\) in (3.1), we can obtain
Select the appropriate values of \(\epsilon_{2}, \epsilon_{3}\) and \(\epsilon _{4}\) independent of h to ensure
Integrating both sides of (3.2) from 0 to T and noticing that \(\theta_{h}(0)=0\), we obtain
Gronwall’s lemma now implies
So the error between the discrete solution \(u_{h}\) and the exact solution u is
The proof of the theorem is complete. □
4 Analysis for the fully discrete scheme
Denote by \(\Delta t=T/N\) the time increment, where N is a positive integer,
For a given smooth function \(f(s)\), we have that
Then the fully discrete scheme can be formulated as follows:
For \(n=1,2,\ldots,N\), find \(u_{h}^{n}\in V_{h}\) such that
in which
Theorem 4.1
The fully discrete scheme (4.1) has one and only one solution.
Proof
Let \(\{\varphi_{i}\}^{r}_{i=1}\) be a set of basis functions in \(V_{h}\), then \(u^{n}_{h}\) can be expressed as \(u^{n}_{h}=\sum_{i=1}^{r} \psi_{i}(t_{n})\varphi_{i}\). Select \(v_{h}=\varphi _{j}\ (j=1,\ldots,r)\) and scheme (4.1) can be written as follows: Find \(\psi _{i}(t_{n})\ (i=1,\ldots,r)\), such that
where \(\psi_{0}\) is given by \(u_{h}^{0}=\Pi_{h}u^{0}=\sum_{i=1}^{r} \psi _{i}(0)\varphi_{i}\), and
The coefficient matrix \(X+\Delta tY+(\Delta t)^{2}Z^{n}\) is a symmetric positive definite matrix, so scheme (4.1) has one and only one solution. □
Theorem 4.2
Assume that \(u^{n}\) and \(u^{n}_{h}\) are the solutions of (2.2) and (4.1), respectively. If \(u^{n},u^{n}_{t}\in H^{3}(\Omega),u^{n}_{tt}\in H^{2}(\Omega)\), then there exists a positive constant C such that
Proof
Based on definition (4.2)-(4.3),
Using the Green’s formula, we can get
in which
Set \(u^{n}-u_{h}^{n}=u^{n}-\Pi_{h}u^{n}+\Pi_{h}u^{n}-u_{h}^{n}=\eta^{n}+\theta^{n}\). There holds the following error equation:
Take \(v_{h}=\theta^{n}\) in (4.7), we can obtain
That is,
Now we analyze the right-hand side of (4.8) by ε-Cauchy inequality.
According to the definition of \(R_{1}^{n}\) and ε-Cauchy inequality, we get
Combining the above inequalities from (4.8) to (4.14), and choosing the \(\{\epsilon_{i}\}_{i=2}^{4}\) small enough, we can obtain
Sum up from \(i=1\) to N, applying Gronwall’s inequality and noticing that \(\theta(0)=0\), we can get
So we get
Therefore,
So
□
5 Numerical example
Consider the parabolic integro-differential boundary value problem:
in which \(\Omega=[0,1]\times[0,1]\) and \(T=1s\). The real solution of this equation is \(u= e^{t}\sin(\pi x)\sin(\pi y)\). Assume that the time interval \([0,1]\) is divided into M uniform subintervals by point \(0=t^{0}< t^{1}< t^{2}<\cdots<t^{M}=1\), where \(t^{n}=n\triangle t\). Moreover, define \(u^{n}=u(\cdot,n\triangle t)\) for \(0\leq n\leq M\) and denote the first-order backward Euler difference quotient as \(u_{t}(\cdot ,n\triangle t)=\frac{u^{n+1}-u^{n}}{\triangle t}\).
Then the fully discrete scheme can be formulated as follows:
For \(n=1,2,\ldots,M\), find \(u_{h}^{n}\in V_{h}\) such that
in which
Select \(\alpha=6\) and \(\Delta t=\frac{1}{2N^{2}}s\), in which \(N^{2}\) is the square partition of Ω, we respectively get the error and the order at \(t=0.4s,0.7s,1s\) in Table 1.
The curve of the error estimate at \(t=0.4s,0.7s,1.0s\) is drawn in Figure 1.
The following graphics describe the discrete solution \(u_{h}\) and the real solution u at \(t=1s\), respectively.
From Table 1 and Figures 2 and 3, we can see that with the increase in the number of meshes, the discrete solution \(u_{h}\) approximates to the real solution u. The convergence of scheme (5.1) using Wilson element is approximative of order \(O(h^{2})\) from the table and Figure 1. Therefore, the numerical result is consistent with the theoretical analysis.
6 Conclusions
In this paper, for the parabolic integro-differential equation, we present a new nonconforming scheme in which the consistency term vanishes. Therefore, we get an optimal error estimate which is only determined by the interpolation error. Finally, some numerical experiments show the efficiency of the method.
References
Ewing, R, Lazarov, R, Lin, Y: Finite volume element approximations of nonlocal reactive flows in porous media. Numer. Methods Partial Differ. Equ. 16, 285-311 (2000)
Jiang, Z: \(L^{\infty}(L^{2})\) and \(L^{\infty}(L^{\infty})\) error estimates for mixed methods for integro-differential equations of parabolic type. Math. Model. Numer. Anal. 33, 531-546 (1999)
Ewing, R, Lin, Y, Sun, T, et al.: Sharp \(L^{2}\)-error estimates and superconvergence of mixed finite element methods for non-Fickian flows in porous media. SIAM J. Numer. Anal. 40, 1538-1560 (2002)
Ewing, R, Lin, Y, Wang, J, et al.: \(L^{\infty}\)-error estimates and superconvergence in maximum norm of mixed finite element methods for non-Fickian flows in porous media. Int. J. Numer. Anal. Model. 2, 301-328 (2005)
Rui, H, Guo, H: Split least-squares finite element methods for non-Fickian flow in porous media. Numer. Methods Partial Differ. Equ. 29, 916-934 (2013)
Xia, C: An ADI Galerkin method for nonlinear parabolic integro-differential equation using patch approximation. Numer. Math. 2, 209-220 (1999)
Cannon, JR, Lin, Y: A priori \(L^{2}\) error estimates for finite element methods for nonlinear diffusion equations with memory. SIAM J. Numer. Anal. 27, 595-607 (1990)
Song, S, Sun, M, Jiang, L: A nonconforming scheme to solve the parabolic problem. Appl. Math. Comput. 265, 108-119 (2015)
Ciarlet, PG: The Finite Element Method for Elliptic Problems. North-Holland, Amsterdam (1978)
Arnold, DN, Brezzi, F, Cockburn, B, et al.: Unified analysis of discontinuous Galerkin methods for elliptic problems. SIAM J. Numer. Anal. 5, 1749-1779 (2002)
Arnold, DN: An interior penalty finite element method with discontinuous elements. SIAM J. Numer. Anal. 4, 742-760 (1982)
Dedner, A, Madhavan, P, Stinner, B: Analysis of the discontinuous Galerkin method for elliptic problems on surfaces. IMA J. Numer. Anal. 33, 952-973 (2013)
Engel, G, Garikipati, K, Hughes, TJR, et al.: Continuous/discontinuous finite element approximations of fourth-order elliptic problems in structural and continuum mechanics with applications to thin beams and plates, and strain gradient elasticity. Comput. Methods Appl. Mech. Eng. 191, 3669-3750 (2002)
Brenner, SC, Sung, LY: \(C^{0}\) interior penalty methods for fourth order elliptic boundary value problems on polygonal domains. J. Sci. Comput. 22, 83-118 (2005)
Sun, M, Song, S, Liu, Z: A nonconforming scheme with high accuracy for the plate bending problem. Comput. Math. Appl. 68(10), 1083-1092 (2014)
Brenner, SC, Neilan, M, Sung, LY: Isoparametric \(C^{0}\) interior penalty methods for plate bending problems on smooth domains. Calcolo 50, 35-67 (2013)
Acknowledgements
This work was supported by the National Natural Science Foundation of China (Grant No. 11371331), Natural Science Foundation of Henan Province (Grant No. 16A110018), Doctoral Research Project of NCWU (Grant No. 4001/40454). The first author was partially supported by the China Scholarship Council.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wang, P., Jiang, L. & Chen, S. A nonconforming scheme for non-Fickian flow in porous media. J Inequal Appl 2017, 142 (2017). https://doi.org/10.1186/s13660-017-1419-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1419-7