 Research
 Open Access
 Published:
The stable extrinsic extended finite element method for second order elliptic equation with interfaces
Advances in Difference Equations volume 2015, Article number: 216 (2015)
Abstract
In this paper, a stable extrinsic extended finite element method (SXFEM) is proposed to solve the second order elliptic equation with discontinuous coefficients and interfaces. SXFEM is designed by the stable enrichment function and stress intensity factors (SIF)type enrichment functions. It shows that the proposed SXFEM can get the optimal convergence order. Numerical experiments are presented to verify the feasibility of the new method for this type of problem and the superiority compared with the standard FEM and XFEM.
Introduction
We consider the boundary value problem of the form
where Ω is a bounded domain in \(\mathrm{R}^{d}\) (\(d=2,3\)) with polygonal or polyhedral boundary ∂Ω, \(f\in L^{2}(\Omega)\), \(f\in L^{2}(\Omega)\), \(\Gamma=\bigcup_{i}\Gamma_{i}\) is the internal interface that may consist of several pieces of local internal interfaces \(\Gamma_{i}\), which are also called interfaces in what follows. Generally, any two different interfaces might be intersected, that is, \(\Gamma_{i}\cap\Gamma_{j}\neq\emptyset\) (\(i\neq j\)) is possible. The function \(a(x,y)\in L^{\infty}(\Omega)\) satisfies
where α, β are constants. It assumes that the function \(a(x,y)\) is discontinuous across the interface \(\Gamma_{i}\) while it is continuous away from the interfaces. This interface problem appears in fluid dynamics and material science. The traditional finite difference method (FDM) and the finite element method (FEM) fail to solve such a problem due to the singularities of the interface. They need improvement to deal with such kind of interface problems. For the approximation of nonsmooth solutions, there are two fundamentally different approaches. One approach of the improvement is to refine the discretization near the critical regions. Remeshing is required in this case, i.e., placing more gridpoints along the interface and around the intersection. This strategy involves a posteriori error estimates. For example, Cai and Zhang [1] proposed recoverybased error estimators and Bernardi and Verfürth [2] proposed weightedresidual error estimators to deal with interface problems.
Another strategy of improvement is to enrich a polynomial approximation space so that the nonsmooth solutions can be modeled independent of the mesh. For example, the immersed boundary method (IBM) [3] and the immersed interface method (IIM) [4] are developed based on finite difference, and they modify the standard centered difference approximation to maintain the second order accuracy [5–11] or to get higher order methods [12, 13], while the immersed finite element method (IFEM) developed in [14–18] is designed to cope with interface problem based on the finite element method (FEM). In this paper, we consider the complex interface problems such as interfaces intersecting with each other.
Meanwhile, a variety of modifications to the conventional FEM have been made within the framework of the partition of unity (PU). One typical example is the extended finite element method (XFEM). It was first realized by Belytschko and Black in [19] by enriching the nodes of the finite elements near the crack tips and along the crack surfaces with the asymptotic crack tip functions. Since then, such a method received wide publicity and quick progress [20–23]. During the same decades, the generalized finite element method (GFEM) based on the partition of unity method (PUM) [24–26] was widely used to solve various types of problems. All of these methods share the property that they add special enrichment functions to a standard approximation space.
Based on and inspired by the development of these methods in [26], we try to use XFEM for solving elliptic problems with interfaces. One of our goals is to make the condition number of the matrix for the discrete system comparable with FEM by extrinsic XFEM.
The rest of the paper is organized as follows. Section 2 introduces preliminary definition related to the XFEM and the weak form of (1). The main part of this paper is Section 3, in which the feasible stable XFEM and its error estimation are derived. The integration strategy for XFEM is discussed in Section 4, and some numerical experiments are presented in Section 5 to show the feasibility of the proposed algorithms. A final conclusion is drawn in Section 6.
Preliminary definitions
The weak form of the problem
We use the standard notation for the Sobolev space \(H^{k}(\Omega)=W^{k,2}(\Omega)\) and its associated norm \(\\cdot\_{H^{k}(\Omega)}\) and seminorm \(\cdot_{H^{k}(\Omega)}\), especially \(H^{0}(\Omega)=L^{2}(\Omega)\). Then the weak formulation of (1) reads as follows: find \(u\in H_{0}^{1}(\Omega)\) such that
Since \(a(x,y)\) is bounded and away from zero, the variational problem has a unique solution.
For convenience of later expression, for any subdomain \(A\subseteq \Omega\), we introduce the following energy norm \(\v\_{\varepsilon(A)}\):
where \(B_{A}(u,w):=\int_{A} a\nabla u\cdot\nabla w \,dx\,dy\) for any \(u,w\in H^{1}(A)\).
The extrinsic XFEM
Let \(\tau_{h}\) be a uniform rectangular mesh of the domain Ω, and we define the mesh parameter \(h>0\), \(\mathcal{N}\) is the set of nodes on the mesh \(\tau_{h}\). Let \(I:=\{i\in\mathbb{Z},0\leq i\leq N \}\), where \(N=N(h)\) is an integer, which is the number of nodes in the mesh. For \(i\in I\), let \(\omega_{i}\subset\Omega\) be the impact area of \(x_{i}\). Considering the RitzGalerkin implementation for the XFEM for a twodimensional elliptic equation, finitedimensional subspaces \(V^{h}\subset H^{1}(\Omega)\), \(V^{h}_{0}\subset H^{1}_{0}(\Omega)\) are used as the approximating trial and test spaces. The trial functions are
Here, \(N_{i}\) are the finiteelement shape functions, \(\phi(\mathbf{x})\) is the level set function, \(u_{i}\) is the numerical solution of real node \(x_{i}\), and \(v^{i}_{j}\) is the solution of virtual nodes located on \(x_{i}\). They are the unknown coefficients of approximation. \(I^{\mathrm{en}}=I^{h}\) means that we can enrich all nodes if needed.
Stable extrinsic extended finite element method and error estimation
In this section we give the stable extended finite element algorithm step by step and give the estimation for L2error and energyerror.
The stable extrinsic XFEM
Subordinate to the cover \(\{\omega_{i}\}_{i\in I^{h}}\), let \(\{N_{i}\}\) be \(C^{0}\)PU. We can also describe the function \(u^{h}\) as an \(n_{i}\)dimensional local approximating space \(V_{i}^{h}\) on each patch \(\omega_{i}\).
Here, \(n_{i}\) is a positive integer. If \(n_{i}=1\), in \(\omega_{i}^{h}\) we just use a standard FEM basis function. In other cases the local area needs a special function in order to mimic the exact solution there. The PUM form about (3) is precisely by (2), with the finitedimensional space \(V^{h}\) given by
where
and \(u^{i,h}, v_{j}^{i}\in\mathbb{R}\). If \(n_{i}=1\), \(\forall i\in I^{h}\), \(V=S_{1}\) the method is referred to as the Galerkin method. If \(n_{i}>1\), for example, in 1D problem and suppose \(V_{i}=\mathcal{P}^{2}(\omega_{i})\), \(V_{i}=\operatorname{span}\{1,(xx_{i}),(xx_{i})^{2}\}\), so \(\varphi_{1}^{i}=1\), \(\varphi_{2}^{i}=(xx_{i})\), \(\varphi_{3}^{i}=(xx_{i})^{2}\). \(S_{1}=\operatorname{span}\{N_{i}\}\), \(S_{2}=\operatorname{span}\{N_{i}\varphi _{2}^{i},N_{i}\varphi_{3}^{i}\}\). \(S_{2}\) is referred to as enrichments and enrichment spaces.
The extrinsic XFEM discretization of (1) is as follows: find \(u^{h}\in V^{h}\) such that
Extended approximations use locally enriched nodes with the aim to capture discontinuities and/or high gradients, and the linear dependencies are less frequently observed and often identified easily. At last the approximations of the form (3) do not have the Kroneckerδ property. Consequently, \(u^{h}(x_{i})\neq u_{i}\) makes the imposition of essential boundary conditions difficult.
Based on these problems, it is important to make (3) satisfy the Kroneckerδ property and linear independence. Babuška [26] proposed the idea of stabilization of GFEM. First, according to the PUM theorem in the energy norm [24, 25], we give the main approximation result about the relation between global approximation and local approximation. We define the modified local approximation space \(\bar{V}_{i}=\operatorname{span}\{\bar{\varphi}^{i}_{j}\}\) associated with \(V_{i}\). Here,
\(\pi\varphi^{i}_{j}\) is the piecewise linear interpolation of \(\varphi^{i}_{j}\) on the patch \(\omega_{i}\). Clearly, \(\bar{\varphi}^{i}_{j}=0\) when \(j=1\). Then the finitedimensional space \(S=S_{1}+\bar{S}_{2}\) is a subspace of \(H^{1}(\Omega)\) with \(S_{1}=\sum_{i\in I^{h}}u_{i}N_{i}\) and \(\bar{S}_{2}=\sum_{i\in I}N_{i}\bar{V}_{i}\). For the example mentioned \(V_{i}=\mathcal{P}(\omega_{i})\), \(S_{1}\) remains unchanged, \(\bar{S}_{2}=\operatorname{span}\{N_{i}\bar{\varphi}_{2}^{i},N_{i}\bar{\varphi }_{3}^{i}\}\). The stable XFEM to approximate the solution u of (1) is given by
We have the boundary conditions \(u_{\partial\Omega}=0\) to obtain a unique solution \(u_{h}\in S\). It is called stable XFEM.
Let \(a(x,y)\) in (1) be a piecewise constant, we will consider two situations, namely \(a(x,y)=a_{1}\) if \((x,y)\in \Omega_{1}\) and \(a(x,y)=a_{2}\) if \((x,y)\in\Omega_{2}\), where the subdomains have the interface: \(\Omega_{1}\cup\Omega_{2}=\Omega\), \(\Omega_{1}\cap\Omega_{2}=\Gamma\).
Algorithm 3.1
(i) Suppose that Ω is a rectangular domain. Find the firsttype enriched nodes set \(I^{\mathrm{en}}_{1}\) and elements along interfaces by a level set function. The secondtype enriched nodes set \(I^{\mathrm{en}}_{2}\) is chosen by the impact area of intersection. Meanwhile we can easily find the two types of enriched elements.
(ii) The firsttype enrichment function M is determined by the level set function \(\phi(x)\), here \(\phi(x)=0\), if \(x\in\Gamma\) we can use \(\phi(x)=\min_{x_{0}\in\Gamma}\xx_{0}\\) as a level set function and discontinuous coefficients across the interfaces.
If the function has strong discontinuity, we also need the enrichment function \(\operatorname{sign}(\phi)\), so
It is different in standard XFEM, where the enrichment along strong discontinuities is only by \(\operatorname{sign}(\phi)\)function.
For the secondtype enriched node, we use the four enriched basis functions like SIFs (Stress Intensity Factors) [27]
(iii) Stabilization of the local approximation space. Let \(x\in\omega_{i}\),
Here \(\omega_{i}\) is the abbreviation of \(\omega^{h}_{i}\) mentioned above, \(I_{\omega_{i}}(\varphi_{j}^{i})\) is the piecewise linear interpolation of \(\varphi_{j}^{i}\) on the patch \(\omega_{i}\).
(v) Construction element stiff matrix is called EMAT, and the unit load vector is called ERHS. The freedoms associated were increased to six.
Then we can get the whole stiff matrix and solve the finite element equation.
Here, x is the vector that equals \(\mathbf{x}=(\vec{u},\vec {u}^{\mathrm{en}})\).
(vi) Output the numerical result and error.
Remark 3.1
The element stiff matrix size varies with different types of elements. The common element far away from interfaces has four freedoms, while the element near intersection has 24 degrees of freedoms.
Remark 3.2
When computing the integration on the element containing intersection, we decompose the element into several triangles by the location of intersection.
The XFEM is a PUM, where
(1) the patches \(\omega_{i}^{h}\) are ‘FE stars’ relative to a finite element (FE) rectangulation of Ω;
(2) the piecewise linear FE hat function \(N_{i}\) associated with the vertices of FE rectangularity serves as the PU.
Supposing \(u\in H^{1}_{0}(\Omega)\) is the solution of (1), we use Q1element as the PU function.
Next we discuss the semidefiniteness of the stiff matrix of the stable XFEM. From the definition of V, any \(v\in V\) has the following:
where \(\psi_{j}(x)\) is \(\overline{M}(x)\), \(\overline{F}_{l}(x)\), \(l=1,2,3,4\). For each element, we can get the single stiff matrix, \(B(v_{i},v_{j})=\int_{\Omega}a\nabla v_{i}\cdot\nabla v_{j} \,dx\, dy\). The value can be divided into three types as follows:
(1) If \(v_{i}\in S_{1}\), \(v_{j}\in S_{1}\), \(B_{ij}=B(N_{i},N_{j})\), which is the basic part of XFEM, is the standard \(N\times N\) FE stiffness matrix.
(2) If \(v_{i}\in S_{1}\), \(v_{j}\in S_{2}\) or \(v_{i}\in S_{2}\), \(v_{j}\in S_{1}\), \(B_{ij}=0\) and \(B_{ji}=0\), because the \(S_{1}\) and \(S_{2}\) are orthogonal in the inner product \(B(\cdot,\cdot)\).
(3) If \(v_{i}\in S_{2}\), \(v_{j}\in S_{2}\), \(B_{ij}=B(N_{i}\psi^{i},N_{j}\psi^{j})\), \(B_{22}\) is only associated with some vertices \(x_{i}(j)\in I^{\mathrm{en}}_{1}\) or \(I^{\mathrm{en}}_{2}\). The additional degrees of freedom are introduced here. We can get the stiff matrix
It is well known that the standard FE stiffness matrix block is blocktridiagonal, and we can get the argument that the matrix block \(K_{U}\) is positive definite. If the matrix block \(K_{A}\) is also positive definite, the stiff matrix A of the stable XFEM will be positive definite.
The analysis of stable XFEM
Theorem 3.1
Let \(u\in H^{1}(\omega_{i})\). Suppose that for \(i\in I^{h}\), there exist \(\varsigma^{i}\in V_{i}\) and \(C^{1}>0\), independent of i, such that
Then there exists \(v\in V\) such that
where the positive constant C depends on κ, \(C_{1}\), \(\frac{\alpha}{\beta}\) [24, 25].
It is easy to check that the argument in Theorem 3.1 holds. Actually, there exists \(\xi_{i}\in V_{i}\) such that \(\u\xi_{i}\_{\varepsilon(\omega_{i})}\leq Chu_{H^{1}(\omega_{i})}\), \(\u\xi_{i}\_{L^{2}(\omega_{i})}\leq Ch^{2}u_{L^{2}(\omega_{i})}\), then we can get
where \(u_{h}\) is the solution of the stable extended finite element method (SXFEM).
Theorem 3.2
Let \(u\in H^{1}(\Omega)\) be the solution of (1). Suppose that for each \(x_{i}\), which is in the enriched node set, there exist \(\bar{\xi}^{i}\in\bar{V}_{i}\) and \(C_{0}>0\), which are independent of i, such that
Then there exists \(v\in S=S_{1}+\bar{S}_{2}\) such that
Proof
Define \(w:=u\pi_{h}u\), and let \(\bar{v}:=\sum_{x_{i}\in I^{\mathrm{en}}}N_{i}\bar{\xi}^{i}\in \bar{S}_{2}\). \(\{N_{i}\}_{x_{i}\in I}\), using a bilinear quadrangle element (Q1) as a PU,
So
We address the second term of (16) on the right, for any \(x\in\Omega\), it is at most four patches. So the sum \(\sum_{x_{i}\in I^{\mathrm{en}}}\nabla (N_{i}(w\bar{\xi}) )\) has at most four terms for any \(x\in\Omega\). If we use uniform grids for the whole domain, \(\N'_{i}\_{L^{\infty}}\leq C_{0}(\operatorname{diam}\{w_{i}\})^{1}=C_{0}\frac{1}{h}\), and using (14), we can show that
With the similar argument and the interpolation estimate, we have
Then we get the first term on the righthand side of (16)
Finally, according to (14), we have
by setting \(v=\pi_{h} u+\bar{v}\in S_{1}+\bar{S_{2}}\). □
Modified numerical integration for XFEM
In standard FEM, we often use standard Gauss integration in all elements because the shape functions are smooth in the inner of the element. However, if the problem has interface, the smoothness could not be guaranteed in some elements cut by an interface. In XFEM [28], give the outline of integration strategy.
In this work we first divide the special element into subelements as shown in Figure 1. We can find that the subelements may contain a triangle, a common quadrangle or curved edge graphics, especially if the element contains intersection of interfaces shown in the right figure of Figure 1. We should utilize the vertices of element, the intersection of the edge and interface, the intersection of different interfaces. In order to get more accurate integration, the subdivision uses the same number of Gauss nodes with other regular element.
This numerical integration strategy is also suitable for both extrinsic and intrinsic XFEM. If the interface Γ is curve, from Figure 2 we should first approximate it by several segments of bounding polygon and use more subdivisions in Figure 1. Of course we can use more segments in order to approximate the curve of interface.
Numerical test
We use Matlab to implement our methods. First we introduce some notations. \(\mathrm{nElem}=\mathrm{nElem}_{x}=\mathrm{nElem}_{y}\) means we have uniform meshes in xdirection and ydirection \(h=2/\mathrm{nElem}\),

SFEM means the standard finite element method,

SXFEM means the stable extended finite element method,

DOF means the degrees of freedom,

\(\uu_{h}\_{0}\): the relative L_{2}error for \(u_{h}\) using SXFEM,

\(\mathrm{order}_{L_{2}}\) means the convergence rate in L_{2}error order,

\(\uu_{h}\_{E}\): the relative energyerror for \(u_{h}\) using SXFEM, we get the result by
$$\begin{aligned} \uu_{h}\_{E}= \biggl(\int_{\Omega}a(x,y) \bigl(\nabla(uu_{h}) \bigr)^{2}\,dx \,dy \biggr)^{1/2} \Big/ \biggl(\int_{\Omega}a(x,y) (\nabla u)^{2}\,dx \,dy \biggr)^{1/2}, \end{aligned}$$ 
\(\mathrm{order}_{E}\) means the convergence rate in energynorm.
In this section we choose the standard benchmark test and report some numerical results for an interface problem with intersecting interfaces used by many researchers, see [1, 29, 30]. Let \(\Omega=(1,1)\times(1,1)\), the exact solution is as follows:
in polar coordinates at the origin with
where ρ, σ are constant numbers. The exact solution satisfies (1), \(f=0\) and \(a(x,y)= R\) if \((x,y)\in(0,1)^{2}\cup(1,0)^{2}\), and \(a(x,y)= 1\) if \((x,y)\in \Omega\backslash([0,1]^{2}\cup[1,0]^{2})\). The numbers β, R, σ and ρ satisfy nonlinear relations (e.g., [29, 30])
Here, \(\beta=0.1\), it is a difficult problem for computation by standard FEM. The exact solution is singular on the origin node and the interfaces Γ are xaxis and yaxis (fixed by the discontinuity of \(a(x,y)\)). \(\Gamma_{1}:{(x,y)xy=0,x\geq0}\), \(\Gamma_{2}:{(x,y)xy=0,y\geq0}\), \(\Gamma_{3}:{(x,y)xy=0,x\leq0}\) and \(\Gamma_{4}:{(x,y)xy=0,y\leq0}\) The origin node \((0,0)\) is the intersecting interfaces.
In this test we use Q1 element, all nodes are divided into three different types as follows:

1.
The node with influence area \(\omega(x_{i})\cap\Gamma_{i}=\emptyset\);

2.
The node with influence area \(\omega(x_{i})\), singularity node O, \(O\in \omega(x_{i}) \);

3.
Other elements. Not all the nodes in these elements need to be enriched(one, two or three nodes are enriched in some elements).
We talk about the 2ndenriched nodes chosen. Table 1 shows that the error does decrease dramatically when the impact area increases, so we can choose the impact area radius \(r=0.1 \) or \(r=\sqrt{2}h\). We just need guarantee that at least there is an element that is enriched (all nodes of the element are enrichment nodes). For example, in Figure 3 we can choose the gray color circle area, not the left of Figure 3 (\(r=h\) it is considered as the 1st enriched nodes). Table 2 also verifies that the impact radius is not important for the development of error.
We list the numerical error by stable XFEM and DOF when the impact radius is \(r=0.1\) in Table 1. We can easily find that our method has reached the optimal orders. In Table 2 we also list the numerical error with different impact radius, the error is not decreased when the radius is larger. Generally \(r=\sqrt{2}h\) is enough. In the last Table 3, we show the L2error by FEM and XFEM and stable extrinsic XFEM with the same mesh. It is shown that the FEM only has a half of order of optimal convergence. And the intrinsic XFEM is a little better than stable XFEM.
For two types of XFEM, the L2error is \(o(h^{2})\), and the energyerror is \(o(h)\). It is better than that of FEM, we do not list the result of the reference [1] using a triangular element. According to Figure 4, it is shown that difference of the error distribution about FEM method and sXFEM. The result in their reference the absolute energyerror is often considered to be 0.05, while the degree of freedom is about 3,475. According to the results of our method numerical relative energyerror is \(1.36757789\times10^{2} \), while DOF number is only 1,648. If we use the variable step size, we will get more efficient result. We take the further work into consideration.
Conclusions
In this article, we discussed the stable XFEM for the second order elliptic equation with discontinuous coefficients and derivative of solutions, and it comes to the following conclusions. Firstly we modified the local enrichment function space, and we analyzed how the global error can be dominated by the local error. It was different from the shift function only changed in vertices [31]. Secondly we described the stable XFEM step by step, we also gave the error estimation if we use Q1 element. The L2error is \(o(h^{2})\), and energyerror is \(o(h)\). We also got the optimal convergence same with SXFEM. Two types of XFEM are better than FEM, to adapt the FEM result in reference [1] a triangular element was used. There the absolute energyerror was considered as 0.05, while the DOF is about 3,475. Numerical relative energyerror in this paper was \(1.36757789\times10^{2} \), while DOF is only 1,648. We will extend our method in general area, and it can be used to different meshes and high order polynomials. At last we gave the numerical simulation for the standard benchmark example. Numerical results support our analysis, we get the optimal order for energyerror and L2error, respectively.
References
 1.
Cai, ZQ, Zhang, S: Recoverybased error estimator for interface problems: conforming linear elements. SIAM J. Numer. Anal. 47, 21322156 (2009)
 2.
Bernardi, C, Verfürth, R: Adaptive finite element methods for elliptic equations with nonsmooth coefficients. Numer. Math. 85, 579608 (2000)
 3.
Peskin, CS: Numerical analysis of blood flow in heart. J. Comput. Phys. 25, 220252 (1977)
 4.
Leveque, RJ, Li, ZL: The immersed interface method for elliptic equations with discontinuous coefficients and singular sources. SIAM J. Numer. Anal. 31, 10191044 (1994)
 5.
Fogelson, AL, Keener, JP: Immersed interface methods for Neumann and related problems in two and three dimensions. SIAM J. Sci. Comput. 22, 16301684 (2000)
 6.
Li, Z, Ito, K, Lai, MC: An augmented approach for Stokes equations with a discontinuous viscosity and singular forces. Comput. Fluids 36, 622635 (2007)
 7.
Huang, H, Li, Z: Convergence analysis of the immersed interface method. IMA J. Numer. Anal. 19, 583608 (1999)
 8.
Wiegmann, A, Bube, KP: The explicitjump immersed interface method: finite difference methods for PDEs with piecewise smooth solutions. SIAM J. Numer. Anal. 37(3), 827862 (2000)
 9.
Berthelsen, PA: A decomposed immersed interface method for variable coefficient elliptic equations with nonsmooth and discontinuous solutions. J. Comput. Phys. 197, 364386 (2004)
 10.
Zhao, JP, Hou, YR, Li, YF: Immersed interface method for elliptic equations based on a piecewise second order polynomial. Comput. Math. Appl. 63, 957965 (2012)
 11.
Xia, KL, Zhan, M, Wei, GW: The matched interface and boundary (MIB) method for multidomain elliptic interface problems. J. Comput. Phys. 230, 82318258 (2011)
 12.
Zhou, YC, Zhao, S, Feig, M, Wei, GW: High order matched interface and boundary method for elliptic equations with discontinuous coefficients and singular sources. J. Comput. Phys. 213, 130 (2006)
 13.
Pan, KJ, Tan, YJ, Hu, HL: An interpolation matched interface and boundary method for elliptic interface problems. J. Comput. Appl. Math. 234, 7394 (2010)
 14.
Li, Z: The immersed interface method using a finite element formulation. Appl. Numer. Math. 27, 253267 (1998)
 15.
Xie, H, Li, Z, Qiao, Z: A finite element method for elasticity interface problems with locally modified triangulations. Int. J. Numer. Anal. Model. 8, 189200 (2011)
 16.
Lin, T, Lin, Y, Zhang, X: A method of lines based on immersed finite elements for parabolic moving interface problems. Adv. Appl. Math. Mech. 5(4), 548568 (2013)
 17.
Lin, T, Sheen, D: The immersed finite element method for parabolic problems with the Laplace transformation in time discretization. Int. J. Numer. Anal. Model. 10(2), 298313 (2013)
 18.
He, XM, Lin, T, Lin, YP: Immersed finite element methods for elliptic interface problems with nonhomogeneous jump conditions. Int. J. Numer. Anal. Model. 8, 284301 (2011)
 19.
Belytschko, T, Black, T: Elastic crack growth in finite elements with minimal remeshing. Int. J. Numer. Methods Eng. 45, 601620 (1999)
 20.
Moës, N, Dolbow, J, Belytschko, T: A finite element method for crack growth without remeshing. Int. J. Numer. Methods Eng. 46, 131150 (1999)
 21.
Sukumar, N, Chopp, DL, Moës, N, Belytschko, T: Modeling holes and inclusions by level sets in the extended finiteelement method. Comput. Methods Appl. Mech. Eng. 190, 61836200 (2001)
 22.
Chessa, J, Wang, H, Belytschko, T: On the construction of blending elements for local partition of unity enriched finite elements. Int. J. Numer. Methods Eng. 57, 10151038 (2003)
 23.
Wu, JY: Unified analysis of enriched finite elements for modeling cohesive cracks. Comput. Methods Appl. Mech. Eng. 200, 30313051 (2011)
 24.
Babuška, I, Melenk, JM: The partition of unity method. Int. J. Numer. Methods Eng. 40, 727758 (1997)
 25.
Melenk, JM, Babuška, I: The partition of unity finite element method: basic theory and application. Comput. Methods Appl. Mech. Eng. 139, 289314 (1997)
 26.
Babuška, I, Banerjee, U: Stable generalized finite element method (SGFEM). Comput. Methods Appl. Mech. Eng. 201, 91111 (2012)
 27.
Liu, XY, Xiao, QZ, Karihaloo, BL: XFEM for direct evaluation of mixed mode SIFs in homogeneous and bimaterials. Int. J. Numer. Methods Eng. 59, 11031118 (2004)
 28.
Fries, TP, Belytschko, T: The intrinsic XFEM: a method for arbitrary discontinuities without additional unknowns. Int. J. Numer. Methods Eng. 68, 13581385 (2006)
 29.
Kellogg, RB: On the Poisson equation with intersecting interfaces. Appl. Anal. 4, 101129 (1975)
 30.
Morin, P, Nochetto, RH, Siebert, KG: Convergence of adaptive finite element methods. SIAM Rev. 44, 631658 (2002)
 31.
Fries, TP, Belytschko, T: The extendedgeneralized finite element method: an overview of the method and its applications. Int. J. Numer. Methods Eng. 84, 253304 (2010)
Acknowledgements
The authors of this work are grateful to the journal editors and the anonymous reviewers for their comments and recommendations, which have greatly improved our manuscript and made it more suitable for readers of the journal. This work is subsidized by China Postdoctoral Science Foundation funded project (No. 2014M562487) and NSFC of China (Nos. 11461068, 11171269, 11401332, 61163027, 11362021).
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
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
Zhao, J., Hou, Y., Song, L. et al. The stable extrinsic extended finite element method for second order elliptic equation with interfaces. Adv Differ Equ 2015, 216 (2015). https://doi.org/10.1186/s1366201505174
Received:
Accepted:
Published:
Keywords
 extended finite element method
 generalized finite element method
 discontinuous coefficients
 extrinsic
 interface