- Research
- Open Access
- Published:
Error estimates for an augmented method for one-dimensional elliptic interface problems
Advances in Difference Equations volume 2018, Article number: 307 (2018)
Abstract
Elliptic interface problems have many important scientific and engineering applications. Interface problems are encountered when the computational domain involves multi-materials with different conductivities, densities, or permeability. The solution or its gradient often has a jump across the interface due to discontinuous coefficients or singular sources. In this paper, optimal convergence of an augmented method is derived for one-dimensional interface problems. The dependence of the discontinuous coefficient in the error analysis is also considered. Numerical examples are presented to confirm the theoretical analysis and show that the estimate is sharp.
1 Introduction
In scientific computation, we often encounter interface problems when multi-materials with different conductivities, densities, or permeability are involved. The solution or its gradient of the governing partial differential equation is often discontinuous due to discontinuous coefficients or singular sources across the interface. Traditional numerical methods can not achieve optimal convergence unless the used mesh fits the interface. The methods using fitted meshes are often called fitted mesh methods. There are many fitted mesh methods in the literature (see, for example, [2, 3, 10]). However, the fitted mesh is dependent on the shape and the location of the interface. It may be difficult and time consuming to generate a fitted mesh for a complicated interface. The difficulty becomes even severer for three-dimensional problems. Another disadvantage of the fitted mesh is encountered when solving moving interface problems. Since the interface is moving, a new fitted mesh has to be generated at each time step and an interpolation is required to transfer the numerical solutions solved on different meshes. From this point of view, it would be preferable to use an unfitted mesh in which the interface can be arbitrarily located with respect to the fixed background mesh. Note that many other methods [4, 18, 20, 21] can be used with fitted meshes when the problem is viewed as a problem with discontinuous coefficients. For unfitted mesh methods, the difficulty is that the interface can pass through the interior of elements of the mesh. Thus, special treatment needs to be done on these elements.
There are many unfitted mesh methods in the literature, for instance, the extended finite element method [5], the unfitted Nitsche’s finite element method [6], the immersed interface method [9, 13], the immersed finite element/volume method [1, 7, 12, 16, 17, 19] and the augmented finite difference/element method [8, 11, 14, 15]. The extended finite element method (XFEM) enriches standard finite element space by adding extra functions near the interface to treat the jumps of the exact solution. The degrees of freedom of the XFEM often change with moving interfaces. In the unfitted Nitsche’s finite element method, the function in finite element spaces is discontinuous across the interface and the interface conditions are absorbed in the bilinear form. A penalty is also added into the bilinear form to deal with the discontinuous of the finite element functions. The immersed finite element methods (IFEMs) are a class of unfitted mesh methods that modify the basis function on interface elements according to the interface conditions to capture the jumps of the exact solution. The bilinear form and the degrees of freedom are the same as if there was no interface. If the coefficient is a constant without jumps, then the stiffness matrix is the same as that obtained by traditional finite element for the problem without interfaces. And only the right-hand side needs to be modified according to the interface conditions. The augmented method is developed based on the above observations. In the augmented method, an augmented variable is introduced along the interface so that the original interface problem can be transferred to a new interface problem without discontinuous coefficients. Thus, the efficient method can be used by only modifying the right-hand side. The augmented variable should be chosen such that the original interface conditions are satisfied. Extensive numerical examples in [8] show that the augmented method achieves optimal convergence in the \(L^{2}\), \(H^{1}\) and \(L^{\infty}\) norms. In this work, we derive the optimal error estimates for the augmented method for one-dimensional interface problems. The dependence of the discontinuous coefficient is included. Numerical results show that the estimate is sharp.
The rest of the paper is organized as follows. In Sect. 2, we describe the model problem and some preliminaries. We choose the augmented variable and rewrite the interface problem. In Sect. 3, we analyze the method for interface problems only with singular sources where the augmented variable is assumed to be given. The augmented method and the error estimates are provided in Sect. 4. Finally, some numerical examples are presented in Sect. 5 to confirm the theoretical analysis.
2 Preliminaries
Let \(\Omega=(a,b)\) be a finite interval. Assume that the domain Ω is separated into two sub-domains \(\Omega_{1}=(a,\alpha)\) and \(\Omega_{2}=(\alpha,b)\) by an interface point \(\alpha\in\Omega\). Consider the following one-dimensional second-order interface problem:
where the diffusion coefficient \(\beta(x)\) is assumed to have a finite jump across the interface α. We also assume that the coefficient \(\beta(x)>0\) is a piecewise constant, i.e.,
At the interface α, the solution is assumed to satisfy the interface conditions
where the notation \([\!\![v]\!\!]_{\alpha}=v(\alpha ^{+})-v(\alpha^{-})\) denotes the jump of the quantity v across α. We assume that \(f(x)\in C^{0}(a,\alpha)\cap C^{0}(\alpha,b)\). Thus, we have the exact solution \(\widetilde{u}(x)\in C^{2}(a,\alpha)\) and \(\widetilde{u}(x)\in C^{2}(\alpha,b)\).
Define \(u(x)=\beta(x)\widetilde{u}(x)\). Then the original interface problem (2.1)–(2.3) can be written as
If we choose \(g=[\!\![u]\!\!]_{\alpha}\) as an augmented variable, then we need to seek the solution u of the following problem:
The augmented variable g should be chosen such that the augmented equation
is satisfied.
The augmented method is to discretize (2.5) and (2.6), respectively. In the next section, we present the method to discretize (2.5) and give corresponding error analysis. The discretization of (2.6) is discussed in Sect. 4.
3 The method for interface problems only with singular sources
In this section, we discuss the method for the interface problem without discontinuous coefficients (2.5). Note that the jump conditions in the problem can be written using singular sources (see [13]). In this section, we assume that the augmented variable g is known. The weak formulation of the interface problem (2.5) is: find \(u\in H^{1}(a,\alpha)\cup(\alpha,b)\) such that
where
Let \(a=x_{0}< x_{1}<\cdots<x_{k}< x_{k+1}<\cdots<x_{N}=b\) be a partition of \([a,b]\) independent of the interface point α. Assume that there exists a number k such that \(\alpha\in[x_{k},x_{k+1})\). We call the element \([x_{k},x_{k+1}]\) the interface element. The rest of the elements \([x_{i},x_{i+1}]\), \(i\neq k \) are called non-interface elements. Let \(h:=\max_{0\leq i\leq N-1}(x_{i+1}-x_{i})\). We assume that the partition is quasi-uniform, i.e., there exists a generic constant C independent of h such that \(h\leq C \min_{0\leq i\leq N-1}(x_{i+1}-x_{i})\).
Let \(V_{h}^{L}\) be the usual conforming linear finite element space which is defined as
We also define the standard nodal interpolation operator \(I_{h}^{L}\) by
Define
Thus, we can define
By the definition, we conclude that
It is easy to verify that
and
The immersed finite element (IFE) space \(V_{h}^{J}\) is defined by
The method for the interface problem (2.5) is: find \(u_{h}\in V_{h}^{J}\) such that
The following lemma gives the bounds of interpolation error in the \(L^{\infty}\) norm.
Lemma 3.1
There exists a generic constant \(C>0\) independent of h, α and β such that
Proof
On non-interface elements \([x_{i},x_{i+1}]\), \(i\neq k\), using (3.6), we have
On the interface element \([x_{k},x_{k+1}]\), we have
Define \(\theta:=u-\chi(x)u_{e}(x)\), then we have \([\!\![\theta ]\!\!]_{\alpha}=0\) and \([\!\![\theta^{\prime}]\!\!]_{\alpha}=0\). Thus, we conclude that \(\theta\in W^{2,\infty}(a,b)\). Using the standard interpolation error estimate, we obtain
where we have used \((u_{e}(x) )^{\prime\prime}=0\) in the last inequality. Combining (3.12)–(3.13), we get the desired result. □
Theorem 3.2
Assume that the augmented variable g is given exactly. We have the error estimate
where the constant \(C>0\) is independent of h, α and β.
Proof
For any \(v_{h}\in V_{h}^{L}\), from (3.1) and (3.9), we have
Thus, we get
Since \(v_{h}\) is piecewise linear, using (3.6), we have, for \(i\neq k\),
On the interface element \((x_{k},x_{k+1})\), we have
Then we have
Taking \(v_{h}=u_{h}^{L}-I_{h}^{L}u\), we conclude that
which implies that
Thus,
which, together with Lemma 3.1, completes the proof. □
Next, we consider that the augmented variable is given with errors, i.e., \(G=g+\mathcal{E}(G)\). Then, by the method (3.9), we need to replace g by G in (3.4). Now the function \(u_{h}^{J}\) becomes \(U_{h}^{J}\) and the numerical solution of the method is
Theorem 3.3
Assuming the augmented variable is given with the error \(\mathcal {E}(G)=G-g\), then there exists a generic constant \(C>0\) independent of h, α and β such that
Proof
Obviously, we have
and
From (3.25), we get
and
Thus, (3.26) becomes
which leads to
For the problem
the solution is the well-known Green’s function \(\mathcal{G}(x;x_{i})\), which is defined as
Hence, we have
Obviously,
Thus, we obtain
Using (3.28), (3.34) and Theorem (3.2), we get
which completes the proof. □
4 Augmented method for discontinuous coefficients and error estimates
In continuous cases, the augmented variable g needs to be chosen such that the interface condition (2.6) is satisfied. In the augmented method, the numerical augmented variable G should be chosen such that
where \(U_{h}\) (see (3.23)) is the solution of method for (3.9) with g replaced by G. Note that (4.1) is a discretization of the augmented equation (2.6).
The matrix-vector form of (3.9) and (4.1) can be written as (see [8])
Eliminating \(U_{h}\) from (4.2), we get the Schur complement system for G
To simplify the notation, we denote the Schur complement system by
For one-dimensional problems, the Schur complement S is a number. Note that the matrices such as A, B, E, H are not formed explicitly in implementations and are only used for theoretical analysis.
Define the truncation error of the augmented equation by
Then we have the following estimation of the truncation error.
Lemma 4.1
We have
where the constant \(C>0\) is independent of h, α and β.
Proof
First, we have
Then, using Theorem 3.2, we conclude
which completes the proof of this lemma. □
Given a guess augmented variable \(G^{0}\), the residual of the Schur complement is defined as
where \(u_{h}^{G^{0}}\) is the solution of the method (3.9) with the augmented variable given as \(g=G^{0}\). Thus, we have
Next, we show that the Schur complement satisfying \(|S|\) is independent of the mesh size h and \(|S|\neq0\).
Lemma 4.2
We have
where \(k_{1}=(b-\alpha)/(b-a)>0\), \(k_{2}=(\alpha-a)/(b-a)\). It is obvious that \(k_{1}>0\), \(k_{2}>0\) and \(k_{1}+k_{2}=1\).
Proof
Let \(u_{h}^{0}=u_{h}^{L,0}+u_{h}^{J,0}\) be the solution of the method (3.9) with the augmented variable given as \(g=0\). And let \(u_{h}^{1}=u_{h}^{L,1}+u_{h}^{J,1}\) be the solution of the method (3.9) with the augmented variable given as \(g=1\). From (4.8), we have
In other words, the function \(u_{h}^{J,1}-u_{h}^{J,0}\) is obtained by (3.4) and (3.5) by setting \(q=0\) and \(g=1\). From (3.9), we get
Combining (4.11) and (4.12), we conclude that \(u_{h}^{1}-u_{h}^{0}\) is the solution of the method for the interface problem (2.5) with \(f=0\), \(q=0\) and \(g=1\), i.e.,
It is easy to check that the exact solution is
Using the result (3.21), which is proved in Theorem 3.2, we have
Using the fact \([\!\![u_{h}^{J,1}-u_{h}^{J,0} ]\!\!]_{\alpha}=1\), \([\!\![(u_{h}^{J,1}-u_{h}^{J,0})^{\prime}]\!\!]_{\alpha}=0\) and ψ is piecewise linear, we conclude
Combining (4.10), (4.14) and (4.16), we have
which completes the proof of this lemma. □
Theorem 4.3
Let G and \(U_{h}\) be the solution of the augmented method (3.9) and (4.1). There exists a constant \(C>0\) independent of h, α and β such that
and
where \(k_{1}=(b-\alpha)/(b-a)>0\), \(k_{2}=(\alpha-a)/(b-a)\).
Proof
Using Lemma 4.2 and Lemma 4.1, we have
Note that \(k_{1}>0\), \(k_{2}>0\), \(k_{1}+k_{2}=1\) and \(\beta(x)>0\). If \(\beta _{2}\geq\beta_{1}\), then we get
If \(\beta_{1}>\beta_{2}\), then we have
Thus,
which, together with Theorem 3.3 completes the proof of this theorem. □
Remark 4.4
The numerical solution of the original interface problem (2.1)–(2.3) is \(\widetilde{U}_{h}=U_{h}/\beta\). We have
where we have used the fact \(-u^{\prime\prime}=f\) in the last inequality.
5 Numerical examples
In this section, we present numerical examples to confirm our theoretical results. In the following examples, we consider an unit interval \([0,1]\) with uniform partitions. The interface point is given as \(\alpha=\pi/10\).
Let \(e_{h}=\widetilde{u}-\widetilde{U}_{h}\). The method achieves convergence order r if we can show \(\|e_{h}\|_{L^{\infty}}\approx Ch^{r}\). The convergence order r is the slope of the line \(y =rx + \log C\) with \(y=\log\|e_{h}\|_{L^{\infty}}\) and \(x=\log h\). For the interface problem, the constant C depends on the relative location of the interface and the mesh. Thus, we compute the slope of least squares fitting which can be regarded as the average convergence order.
Example 1
The analytic solution \(\widetilde{u}(x)\) is given as
Thus, the corresponding jump conditions are
We consider \(\beta_{1}=1\), \(\beta_{2}=5\) in this example. The exact solution is shown in Fig. 1. Numerical results are reported in Fig. 2. We can see that the augmented method achieves optimal convergence.
The exact solution of Example 1
Numerical results obtained by the augmented method for Example 1 with \(\beta_{1}=1\) and \(\beta_{2}=5\)
Example 2
The analytic solution \(\widetilde{u}(x)\) is given as
Thus, we have
which are homogeneous jump conditions. We consider \(\beta_{1}=1\), \(\beta _{2}=20\) in this example. The corresponding source function is
The exact solution is shown in Fig. 3. Similar results are reported in Fig. 4.
The exact solution of Example 2
Numerical results obtained by the augmented method for Example 2 with \(\beta_{1}=1\) and \(\beta_{2}=20\)
Next, we consider the dependence of the discontinuous coefficient β. We solve the problem with \(\beta_{1}=1\) and varying \(\beta_{2}\). Errors are obtained by the augmented method with \(N=512\). Note that \(\| f\|_{L^{\infty}(\Omega_{1}\cup\Omega_{2})}=4\pi^{2}\) is independent of β in this example. If \(\beta_{2}\leq1\), then the error should be \(O(\beta_{2}^{-1})\) according to the estimate (4.24). If \(\beta_{2}\geq1\), then the error should be \(O(1)\). Numerical results reported in Fig. 5 confirm the theoretical results. The estimate (4.24) is sharp.
Numerical results obtained by the augmented method for Example 2 with \(\beta_{1}=1\), \(N=512\)
6 Conclusion
This article gives rigorous error estimates for the augmented method for one-dimensional interface problems. The influence of the discontinuous coefficient and the location of the interface is considered in the error estimation. Numerical results show that the estimate is sharp. In future work, we will extend the results to high-dimensional interface problems.
References
An, N., Chen, H.: A partially penalty immersed interface finite element method for anisotropic elliptic interface problems. Numer. Methods Partial Differ. Equ. 30, 1984–2028 (2014)
Bramble, J.H., King, J.T.: A finite element method for interface problems in domains with smooth boundaries and interfaces. Adv. Comput. Math. 6, 109–138 (1996)
Chen, Z., Zou, J.: Finite element methods and their convergence for elliptic and parabolic interface problems. Numer. Math. 79, 175–202 (1998)
Feng, Q., Meng, F., Zhang, Y.: Some new finite difference inequalities arising in the theory of difference equations. Adv. Differ. Equ. 2011, 21 (2011)
Fries, T., Belytschko, T.: The extended/generalized finite element method: an overview of the method and its applications. Int. J. Numer. Methods Eng. 84, 253–304 (2010)
Hansbo, A., Hansbo, P.: An unfitted finite element method, based on Nitsche’s method, for elliptic interface problems. Comput. Methods Appl. Mech. Eng. 191, 5537–5552 (2002)
He, X., Lin, T., Lin, Y.: The convergence of the bilinear and linear immersed finite element solutions to interface problems. Numer. Methods Partial Differ. Equ. 28, 312–330 (2012)
Ji, H., Chen, J., Li, Z.: A new augmented immersed finite element method without using SVD interpolations. Numer. Algorithms 71, 395–416 (2016)
LeVeque, R., Li, Z.: The immersed interface method for elliptic equations with discontinuous coefficients and singular sources. SIAM J. Numer. Anal. 31, 1019–1044 (1994)
Li, J., Markus, J., Wohlmuth, B., Zou, J.: Optimal a priori estimates for higher order finite elements for elliptic interface problems. Appl. Numer. Math. 60, 19–37 (2010)
Li, Z.: A fast iterative algorithm for elliptic interface problems. SIAM J. Numer. Anal. 35, 230–254 (1998)
Li, Z.: The immersed interface method using a finite element formulation. Appl. Numer. Math. 27, 253–267 (1998)
Li, Z., Ito, K.: The Immersed Interface Method: Numerical Solutions of PDEs Involving Interfaces and Irregular Domains. Frontiers in Applied Mathematics, vol. 33. SIAM, Philadelphia (2006)
Li, Z., Ji, H., Chen, X.: Accurate solution and gradient computation for elliptic interface problems with variable coefficients. SIAM J. Numer. Anal. 55(2), 570–597 (2017)
Li, Z., Lai, M., Peng, X., Zhang, Z.: A least squares augmented immersed interface method for solving Navier–Stokes and Darcy coupling equations. Comput. Fluids 167, 384–399 (2018)
Li, Z., Lin, T., Wu, X.: New Cartesian grid methods for interface problems using the finite element formulation. Numer. Math. 96, 61–98 (2003)
Lin, T., Lin, Y., Zhang, X.: Partially penalized immersed finite element methods for elliptic interface problems. SIAM J. Numer. Anal. 53, 1121–1144 (2015)
Liu, W., Cui, J., Xin, J.: A block-centered finite difference method for an unsteady asymptotic coupled model in fractured media aquifer system. J. Comput. Appl. Math. 337, 319–340 (2018)
Oevermann, M., Klein, R.: A Cartesian grid finite volume method for elliptic equations with variable coefficients and embedded interfaces. J. Comput. Phys. 219, 749–769 (2006)
Wang, B., Meng, F., Fang, Y.: Efficient implementation of RKN-type Fourier collocation methods for second-order differential equations. Appl. Numer. Math. 119, 164–178 (2017)
Wang, B., Wu, X., Meng, F.: Trigonometric collocation methods based on Lagrange basis polynomials for multi-frequency oscillatory second-order differential equations. J. Comput. Appl. Math. 313, 185–201 (2016)
Acknowledgements
The authors would like to thank the referees for their useful comments, which improved the quality of this paper.
Availability of data and materials
Not applicable.
Funding
This work was partially supported by the Natural Science Foundation of the Jiangsu Higher Education Institutions of China (Grant No. 17KJB110014), the open project program of Jiangsu Key Laboratory for NSLSCS (Grant No. 201704), the National Natural Science Foundation of China (Grant Nos. 11701291 and 11701197), and the Natural Science Foundation of Jiangsu Province (Grant No. BK20160880).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
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
Zhang, Q., Weng, Z., Ji, H. et al. Error estimates for an augmented method for one-dimensional elliptic interface problems. Adv Differ Equ 2018, 307 (2018). https://doi.org/10.1186/s13662-018-1771-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1771-z
MSC
- 65N15
- 65N30
- 35J60
Keywords
- Interface problem
- Immersed finite element
- Augmented variable