Skip to main content

Theory and Modern Applications

The stable extrinsic extended finite element method for second order elliptic equation with interfaces


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.

1 Introduction

We consider the boundary value problem of the form

$$ \left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\nabla\cdot(a(x,y)\nabla u)=f(x,y),& (x,y)\in\Omega\backslash\Gamma,\\ u(x,y)=0, & (x,y)\in\partial\Omega, \end{array}\displaystyle \right . $$

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

$$\begin{aligned} 0< \alpha\leq a(x,y)\leq\beta< \infty, \quad \forall(x,y)\in\Omega, \end{aligned}$$

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 non-smooth 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 grid-points along the interface and around the intersection. This strategy involves a posteriori error estimates. For example, Cai and Zhang [1] proposed recovery-based error estimators and Bernardi and Verfürth [2] proposed weighted-residual error estimators to deal with interface problems.

Another strategy of improvement is to enrich a polynomial approximation space so that the non-smooth 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 [511] or to get higher order methods [12, 13], while the immersed finite element method (IFEM) developed in [1418] 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 [2023]. During the same decades, the generalized finite element method (GFEM) based on the partition of unity method (PUM) [2426] 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.

2 Preliminary definitions

2.1 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 semi-norm \(|\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

$$ B(u,v):=\int_{\Omega}a(x,y)\nabla u\cdot\nabla v \,dx \,dy=\int_{\Omega}fv\,dx\,dy=(f,v), \quad \forall v\in H_{0}^{1}(\Omega). $$

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)}\):

$$\|v\|^{2}_{\varepsilon(A)}=B_{A}(v,v),\quad \forall v\in H^{1}(A), $$

where \(B_{A}(u,w):=\int_{A} a\nabla u\cdot\nabla w \,dx\,dy\) for any \(u,w\in H^{1}(A)\).

2.2 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 Ritz-Galerkin implementation for the XFEM for a two-dimensional elliptic equation, finite-dimensional 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

$$ \mathbf{u}^{h}=\sum_{i\in I}N_{i} \mathbf{u}_{i}+\sum_{i\in I^{\mathrm{en}}}N_{i} \sum_{j}\psi(\phi)\mathbf{v}^{i}_{j} =\sum_{i\in I}N_{i} \biggl( \mathbf{u}_{i}+\sum_{j}\psi(\phi) \mathbf{v}^{i}_{j} \biggr). $$

Here, \(N_{i}\) are the finite-element 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.

3 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 L2-error and energy-error.

3.1 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}\).

$$\begin{aligned} V_{i}=\operatorname{span} \bigl\{ \varphi_{j}^{i} \bigr\} _{j=1}^{n_{i}},\quad\varphi_{j}^{i} \in H^{1}(\omega_{i})\mbox{ and } \varphi_{1}^{i}=1. \end{aligned}$$

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 finite-dimensional space \(V^{h}\) given by

$$\begin{aligned} V^{h}=\sum_{i\in I^{h}} N_{i}V_{i}= \operatorname{span} \bigl\{ N_{i}\varphi_{j}^{i},1 \leq j\leq n_{i},i\in I^{h} \bigr\} :=S_{1}+S_{2}, \end{aligned}$$


$$\begin{aligned} S_{1}= \biggl\{ \xi:\xi=\sum_{i\in I^{h}} u_{i}N_{i} \biggr\} ,\qquad S_{2}= \Biggl\{ \xi:\xi= \sum_{i\in I^{h}}\sum_{j=2}^{n_{i}}v_{j}^{i} \varphi_{j}^{i}N_{i} \Biggr\} \end{aligned}$$

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,(x-x_{i}),(x-x_{i})^{2}\}\), so \(\varphi_{1}^{i}=1\), \(\varphi_{2}^{i}=(x-x_{i})\), \(\varphi_{3}^{i}=(x-x_{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

$$ B \bigl(u^{h},v^{h} \bigr)= \bigl(f,v^{h} \bigr), \quad\forall v^{h}\in V^{h}( \Omega). $$

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,

$$ \bar{\varphi}^{i}_{j}=\varphi^{i}_{j}- \pi\varphi^{i}_{j}, \quad\mbox{where } \pi \varphi^{i}_{j}:= \sum_{k\in\{k(i)|x_{k(i)}\in \omega_{i}\}} \varphi^{i}_{j}(x_{k})N_{k}; $$

\(\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 finite-dimensional 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

$$ \mbox{Find }u_{h}\in S, \mbox{satisfy } B(u_{h},v)=F(v), \quad \forall v\in S. $$

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 first-type enriched nodes set \(I^{\mathrm{en}}_{1}\) and elements along interfaces by a level set function. The second-type 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 first-type 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}\|x-x_{0}\|\) as a level set function and discontinuous coefficients across the interfaces.

$$ M(x)= \bigl|\phi(x) \bigr|. $$

If the function has strong discontinuity, we also need the enrichment function \(\operatorname{sign}(\phi)\), so

$$ M_{1}(x)=\operatorname{sign} \bigl(\phi(x) \bigr),\qquad M_{2}(x)=\bigl|\phi(x)\bigr|. $$

It is different in standard XFEM, where the enrichment along strong discontinuities is only by \(\operatorname{sign}(\phi)\)-function.

For the second-type enriched node, we use the four enriched basis functions like SIFs (Stress Intensity Factors) [27]

$$ \begin{aligned} &F_{1}(x)=\sqrt{r}\cos{\theta/2}, \\ &F_{2}(x)=\sqrt{r}\sin{\theta/2}, \\ &F_{3}(x)=\sqrt{r}\sin{\theta}\sin{\theta/2}, \\ &F_{4}(x)=\sqrt{r}\sin{\theta}\cos{\theta/2}. \end{aligned} $$

(iii) Stabilization of the local approximation space. Let \(x\in\omega_{i}\),

$$ \begin{aligned} &\overline{M}_{j}(x)=M_{j}(x)-I_{\omega_{i}} M_{j}(x), \quad j=1,2, \\ &\overline{F}_{j}(x)=F_{j}(x)-I_{\omega_{i}} \bigl(F_{j}(x)\bigr),\quad j=1,2,3,4 . \end{aligned} $$

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}\).

$$ I_{\omega_{i}} \bigl(\varphi_{j}^{i} \bigr)=\sum _{x_{k} \in\omega_{i}}\varphi _{j}^{i}(x_{k})N_{k}(x)|_{\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.

$$\begin{aligned}& \psi=[N;\overline{M};\overline{F}_{2};\overline{F}_{2}; \overline {F}_{3};\overline{F}_{4}], \\& \mathrm{EMAT}_{i,j}=\int_{E} a \nabla \psi_{i}\nabla\psi_{j}\,dx\,dy, \\& \mathrm{ERHS}_{j}=\int_{E} f\psi_{j} \,dx\,dy. \end{aligned}$$

Then we can get the whole stiff matrix and solve the finite element equation.

$$ \mathrm{EMAT}\,\overrightarrow{\mathbf{x}}=\mathrm{ERHS}. $$

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 Q1-element as the PU function.

Next we discuss the semi-definiteness of the stiff matrix of the stable XFEM. From the definition of V, any \(v\in V\) has the following:

$$\begin{aligned} v(x)=\sum_{i\in I} u_{i}N_{i}(x)+ \sum_{i\in I}\sum_{j=1}^{5}b_{ij}N_{i}(x) \psi_{j}(x);\quad u_{i},b_{ij}\in\mathbb{R}, \end{aligned}$$

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

$$A=\left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} K_{U} & K_{UA}\\ K_{AU} & K_{A} \end{array}\displaystyle \right ). $$

It is well known that the standard FE stiffness matrix block is block-tridiagonal, 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.

3.2 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

$$\begin{aligned} \|u-\varsigma_{i}\|_{L^{2}(\omega_{i})}\leq C_{1} \operatorname{diam}(\omega_{i})\|u-\varsigma_{i} \|_{\varepsilon(\omega_{i})} \quad\textit{and}\quad \|u-\varsigma_{i}\|_{\varepsilon(\omega_{i})}\leq \epsilon_{i}. \end{aligned}$$

Then there exists \(v\in V\) such that

$$\begin{aligned} \|u-u_{h}\|_{\varepsilon(\Omega)}\leq\inf_{v\in V}\|u-v \|_{\varepsilon(\Omega)}\leq C \biggl(\sum_{i\in I^{h}} \epsilon_{i}^{2} \biggr)^{1/2}, \end{aligned}$$

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 Ch|u|_{H^{1}(\omega_{i})}\), \(\|u-\xi_{i}\|_{L^{2}(\omega_{i})}\leq Ch^{2}|u|_{L^{2}(\omega_{i})}\), then we can get

$$ \begin{aligned} &\|u-u_{h}\|_{L^{2}(\Omega)}=\mathcal{O} \bigl(h^{2}\bigr), \\ &\|u-u_{h}\|_{\varepsilon(\Omega)}=\mathcal{O}(h), \end{aligned} $$

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

$$ \begin{aligned} &\|u-\pi_{\omega_{i}}u-\bar{\xi} \|_{L^{2}(\omega_{i})}\leq C_{0}\operatorname{diam}(\omega_{i}) \bigl\| u-\pi_{\omega_{i}}u-\bar{\xi}^{i} \bigr\| _{\varepsilon (\omega_{i})}, \\ &\|u-\pi_{\omega_{i}}u-\bar{\xi}\|_{\varepsilon(\omega_{i})}\leq \epsilon_{1i}. \end{aligned} $$

Then there exists \(v\in S=S_{1}+\bar{S}_{2}\) such that

$$ \begin{aligned} &\|u-v\|_{\varepsilon(\Omega)}\leq C \biggl(\sum _{x_{i}\in I}\|u-\pi _{\omega_{i}} u\|^{2}_{\varepsilon(\omega_{i})}+ \sum_{x_{i}\in I_{2}}\epsilon^{2}_{i} \biggr)^{1/2}, \\ &\|u-v\|_{L^{2}(\Omega)}\leq C_{1} \biggl(\sum _{x_{i}\in I}\|u-\pi_{\omega _{i}} u\|^{2}_{L^{2}(\omega_{i})}+ \sum_{x_{i}\in I^{\mathrm{en}}}\epsilon _{i}^{2} \biggr)^{1/2}. \end{aligned} $$


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,

$$\begin{aligned} w-\bar{v}=\sum_{x_{i}\in I} N_{i}w-\sum _{x_{i}\in I^{\mathrm{en}}}N_{i}\bar{\xi}^{i}=\sum _{x_{i}\in I\backslash I^{\mathrm{en}}} N_{i}w-\sum_{x_{i}\in I^{\mathrm{en}}}N_{i} \bigl(w-\bar{\xi}^{i} \bigr). \end{aligned}$$


$$ \|w-\bar{v}\|^{2}_{\varepsilon(\Omega)}\leq C \biggl(\biggl\| \sum _{x_{i}\in I \backslash I^{\mathrm{en}}}N_{i}w\biggr\| ^{2}_{\varepsilon(\Omega)}+ \biggl\| \sum_{x_{i}\in{ I^{\mathrm{en}}}}N_{i} \bigl(w-\bar{ \xi}^{i} \bigr)\biggr\| ^{2}_{\varepsilon(\Omega)} \biggr). $$

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

$$\begin{aligned} &\biggl\| \sum_{x_{i}\in{ I^{\mathrm{en}}}}N_{i}\bigl(w-\bar{ \xi}^{i}\bigr)\biggr\| ^{2}_{\varepsilon(\Omega)} \\ &\quad= \int_{\Omega^{\mathrm{en}}}a \bigl|\nabla(N_{i}) \bigl(w-\bar{ \xi}^{i}\bigr)+N_{i}\bigl(\nabla \bigl(w-\bar{ \xi}^{i}\bigr)\bigr) \bigr|^{2}\,dx\,dy \\ &\quad\leq2 \int_{\Omega^{\mathrm{en}}} \biggl(\sum _{x_{i}\in{ I^{\mathrm{en}}}}a\nabla(N_{i}) \bigl(w-\bar{\xi}^{i} \bigr) \biggr)^{2}\,dx\,dy+2\int_{\Omega ^{\mathrm{en}}} \biggl(\sum _{x_{i}\in{ I^{\mathrm{en}}}}aN_{i}\nabla\bigl(w-\bar{ \xi}^{i}\bigr) \biggr)^{2} \,dx\,dy \\ &\quad\leq8 \int_{\omega_{i}}a\sum_{x_{i}\in{ I^{\mathrm{en}}}} \bigl(\nabla(N_{i}) \bigl(w-\bar{\xi}^{i}\bigr) \bigr)^{2}\,dx\,dy+ 8 \int_{\omega_{i}}a\sum _{x_{i}\in{ I^{\mathrm{en}}}} \bigl(N_{i}\nabla\bigl(w-\bar{ \xi}^{i}\bigr)\bigr)^{2}\,dx\,dy \\ &\quad\leq8k\biggl(c\sum_{x_{i}\in I^{\mathrm{en}}}\frac{\epsilon^{2}_{0j}}{h}+\sum _{x_{i}\in{ I^{\mathrm{en}}}}\bigl\| w-\bar{\xi}^{i}\bigr\| ^{2}_{\varepsilon(\omega_{i})} \biggr) \\ &\quad\leq C \sum_{x_{i}\in{ I^{\mathrm{en}}}}\bigl\| w-\bar{\xi}^{i} \bigr\| ^{2}_{\varepsilon(\omega_{i})}\leq \sum_{x_{i}\in{ I^{\mathrm{en}}}} \epsilon_{1i}^{2}. \end{aligned}$$

With the similar argument and the interpolation estimate, we have

$$\begin{aligned} \|w\|_{L^{2}(\omega_{i})}=\|u-\pi_{\omega_{i}}\|_{L^{2}(\omega_{i})}\leq Ch\|u- \pi_{\omega_{i}}\|_{\varepsilon(\omega_{i})}. \end{aligned}$$

Then we get the first term on the right-hand side of (16)

$$\begin{aligned} \biggl\| \sum_{x_{i}\in I \backslash I^{\mathrm{en}}}N_{i}w\biggr\| ^{2}_{\varepsilon(\Omega)} \leq C \sum_{x_{i}\in I \backslash I^{\mathrm{en}}}\|u-\pi_{\omega_{i}} \|^{2}_{\varepsilon(\Omega)}. \end{aligned}$$

Finally, according to (14), we have

$$\begin{aligned} \|w-\bar{v}\|^{2}_{\varepsilon(\Omega)}=\|u-\pi_{h}u-\bar{v}\| ^{2}_{\varepsilon(\Omega)}\leq C \biggl(\sum_{x_{i}\in I \backslash I^{\mathrm{en}}} \|u-\pi_{\omega_{i}}u\|^{2}_{\varepsilon(\omega_{i})}+\sum _{x_{i}\in{ I^{\mathrm{en}}}} \epsilon_{1i}^{2} \biggr) \end{aligned}$$

by setting \(v=\pi_{h} u+\bar{v}\in S_{1}+\bar{S_{2}}\). □

4 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.

Figure 1
figure 1

Dividing a fully or partially cut element into subelements, left: 2, middle: 5, right: 8.

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.

Figure 2
figure 2

Dividing a fully or partially cut element into subelements, left: 2, middle: 5, right: 8.

5 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 x-direction and y-direction \(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,

  • \(\|u-u_{h}\|_{0}\): the relative L2-error for \(u_{h}\) using SXFEM,

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

  • \(\|u-u_{h}\|_{E}\): the relative energy-error for \(u_{h}\) using SXFEM, we get the result by

    $$\begin{aligned} \|u-u_{h}\|_{E}= \biggl(\int_{\Omega}a(x,y) \bigl(\nabla(u-u_{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 energy-norm.

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:

$$\begin{aligned} u(r,\theta)=r^{\beta}\mu(\theta) \end{aligned}$$

in polar coordinates at the origin with

$$\begin{aligned} \mu(\theta)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \cos(\beta(\frac{\pi}{2}-\sigma))\cos(\beta(\theta-\frac{\pi}{2}+\rho ))&\mbox{if }\theta\in[0,\frac{\pi}{2}],\\ \cos(\beta\rho)\cos(\beta(\theta-\pi+\sigma)) & \mbox{if } \theta\in[\frac{\pi}{2},\pi],\\ \cos(\beta\sigma)\cos(\beta(\theta-\pi-\rho)) & \mbox{if } \theta\in[\pi,\frac{3\pi}{2}],\\ \cos(\beta(\frac{\pi}{2}-\rho))\cos(\beta(\theta-\frac{3\pi}{2}-\sigma ))&\mbox{if }\theta\in[\frac{3\pi}{2},2\pi], \end{array}\displaystyle \right . \end{aligned}$$

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])

$$R\approx161.4476387975881,\qquad \rho=\pi/4\quad \mbox{and} \quad \sigma \approx14.92256510455152. $$

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 x-axis and y-axis (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. 1.

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

  2. 2.

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

  3. 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 2nd-enriched 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.

Figure 3
figure 3

The mesh and interface and intersection nodes and area: left, \(\pmb{r=0.1}\) , \(\pmb{h=2/11}\) , middle \(\pmb{r=0.1}\) , \(\pmb{h=2/19}\) and right \(\pmb{r=0.3}\) , \(\pmb{h=2/19}\) .

Table 1 DOF, the energy-error and L2-error using sXFEM for different step, impact radius \(\pmb{r=0.1}\)
Table 2 DOF, the energy-error and L2-error using sXFEM with different impact radius r

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 L2-error 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.

Table 3 Comparison of L2-error \(\pmb{(\|u-u_{h}\|_{0})}\) using standard FEM, stable XFEM and modified intrinsic XFEM

For two types of XFEM, the L2-error is \(o(h^{2})\), and the energy-error 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 energy-error 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 energy-error 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.

Figure 4
figure 4

Error distribution by different methods: standard FEM, stable XFEM ( \(\pmb{h=2/79}\) ).

6 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 Q-1 element. The L2-error is \(o(h^{2})\), and energy-error 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 energy-error was considered as 0.05, while the DOF is about 3,475. Numerical relative energy-error 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 energy-error and L2-error, respectively.


  1. Cai, ZQ, Zhang, S: Recovery-based error estimator for interface problems: conforming linear elements. SIAM J. Numer. Anal. 47, 2132-2156 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  2. Bernardi, C, Verfürth, R: Adaptive finite element methods for elliptic equations with non-smooth coefficients. Numer. Math. 85, 579-608 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  3. Peskin, CS: Numerical analysis of blood flow in heart. J. Comput. Phys. 25, 220-252 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  4. Leveque, RJ, Li, ZL: The immersed interface method for elliptic equations with discontinuous coefficients and singular sources. SIAM J. Numer. Anal. 31, 1019-1044 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  5. Fogelson, AL, Keener, JP: Immersed interface methods for Neumann and related problems in two and three dimensions. SIAM J. Sci. Comput. 22, 1630-1684 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  6. Li, Z, Ito, K, Lai, M-C: An augmented approach for Stokes equations with a discontinuous viscosity and singular forces. Comput. Fluids 36, 622-635 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  7. Huang, H, Li, Z: Convergence analysis of the immersed interface method. IMA J. Numer. Anal. 19, 583-608 (1999)

    Article  MathSciNet  Google Scholar 

  8. Wiegmann, A, Bube, KP: The explicit-jump immersed interface method: finite difference methods for PDEs with piecewise smooth solutions. SIAM J. Numer. Anal. 37(3), 827-862 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  9. Berthelsen, PA: A decomposed immersed interface method for variable coefficient elliptic equations with non-smooth and discontinuous solutions. J. Comput. Phys. 197, 364-386 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  10. Zhao, JP, Hou, YR, Li, YF: Immersed interface method for elliptic equations based on a piecewise second order polynomial. Comput. Math. Appl. 63, 957-965 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  11. Xia, KL, Zhan, M, Wei, G-W: The matched interface and boundary (MIB) method for multi-domain elliptic interface problems. J. Comput. Phys. 230, 8231-8258 (2011)

    Article  MathSciNet  Google Scholar 

  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, 1-30 (2006)

    Article  MathSciNet  Google Scholar 

  13. Pan, KJ, Tan, YJ, Hu, HL: An interpolation matched interface and boundary method for elliptic interface problems. J. Comput. Appl. Math. 234, 73-94 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  14. Li, Z: The immersed interface method using a finite element formulation. Appl. Numer. Math. 27, 253-267 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  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, 189-200 (2011)

    MathSciNet  MATH  Google Scholar 

  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), 548-568 (2013)

    MathSciNet  Google Scholar 

  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), 298-313 (2013)

    MathSciNet  MATH  Google Scholar 

  18. He, XM, Lin, T, Lin, YP: Immersed finite element methods for elliptic interface problems with non-homogeneous jump conditions. Int. J. Numer. Anal. Model. 8, 284-301 (2011)

    MathSciNet  MATH  Google Scholar 

  19. Belytschko, T, Black, T: Elastic crack growth in finite elements with minimal remeshing. Int. J. Numer. Methods Eng. 45, 601-620 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  20. Moës, N, Dolbow, J, Belytschko, T: A finite element method for crack growth without remeshing. Int. J. Numer. Methods Eng. 46, 131-150 (1999)

    Article  MATH  Google Scholar 

  21. Sukumar, N, Chopp, DL, Moës, N, Belytschko, T: Modeling holes and inclusions by level sets in the extended finite-element method. Comput. Methods Appl. Mech. Eng. 190, 6183-6200 (2001)

    Article  MATH  Google Scholar 

  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, 1015-1038 (2003)

    Article  MATH  Google Scholar 

  23. Wu, JY: Unified analysis of enriched finite elements for modeling cohesive cracks. Comput. Methods Appl. Mech. Eng. 200, 3031-3051 (2011)

    Article  MATH  Google Scholar 

  24. Babuška, I, Melenk, JM: The partition of unity method. Int. J. Numer. Methods Eng. 40, 727-758 (1997)

    Article  MATH  Google Scholar 

  25. Melenk, JM, Babuška, I: The partition of unity finite element method: basic theory and application. Comput. Methods Appl. Mech. Eng. 139, 289-314 (1997)

    Article  Google Scholar 

  26. Babuška, I, Banerjee, U: Stable generalized finite element method (SGFEM). Comput. Methods Appl. Mech. Eng. 201, 91-111 (2012)

    Article  Google Scholar 

  27. Liu, XY, Xiao, QZ, Karihaloo, BL: XFEM for direct evaluation of mixed mode SIFs in homogeneous and bi-materials. Int. J. Numer. Methods Eng. 59, 1103-1118 (2004)

    Article  Google Scholar 

  28. Fries, TP, Belytschko, T: The intrinsic XFEM: a method for arbitrary discontinuities without additional unknowns. Int. J. Numer. Methods Eng. 68, 1358-1385 (2006)

    Article  MATH  Google Scholar 

  29. Kellogg, RB: On the Poisson equation with intersecting interfaces. Appl. Anal. 4, 101-129 (1975)

    Article  MathSciNet  Google Scholar 

  30. Morin, P, Nochetto, RH, Siebert, KG: Convergence of adaptive finite element methods. SIAM Rev. 44, 631-658 (2002)

    Article  MathSciNet  Google Scholar 

  31. Fries, TP, 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)

    MathSciNet  MATH  Google Scholar 

Download references


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

Authors and Affiliations


Corresponding author

Correspondence to Jianping Zhao.

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 (, 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: