arxiv: v2 [math.na] 23 Apr 2016

Transcription

1 Improved ZZ A Posteriori Error Estimators for Diffusion Problems: Conforming Linear Elements arxiv: v2 [math.na] 23 Apr 206 Zhiqiang Cai Cuiyu He Shun Zhang May 2, 208 Abstract. In [8], we introduced and analyzed an improved Zienkiewicz-Zhu (ZZ estimator for the conforming linear finite element approximation to elliptic interface problems. The estimator is based on the piecewise constant flux recovery in the H(div; Ω conforming finite element space. This paper extends the results of [8] to diffusion problems with full diffusion tensor and to the flux recovery both in piecewise constant and piecewise linear H(div space. Introduction A posteriori error estimation for finite element methods has been extensively studied for the past four decades (see, e.g., books by Ainsworth and Oden [], Babuška and Strouboulis [3], and Verfürth [25] and references therein. Due to easy implementation, generality, and ability to produce quite accurate estimation, the Zienkiewicz-Zhu (ZZ recovery-based error estimator [3] has been widely adapted in engineering practice and has been the subject of mathematical study (e.g., [4, 5, 0, 2, 3, 6, 9, 23, 24, 26, 28, 29, 30, 32]. By first recovering a gradient (flux in the conforming C 0 linear vector finite element space from the numerical gradient (flux, the ZZ estimator is defined as the L 2 norm of the difference between the recovered and the numerical gradients/fluxes. Despite popularity of the ZZ estimator, it is also well known (see, e.g., [20, 2] that adaptive mesh refinement (AMR algorithms using the ZZ estimator are not efficient to reduce global error for non-smooth problems, e.g., interface problems. This is because they overrefine regions where there are only small errors. By exploring the mathematical structure of the underlying problem and the characteristics of finite element approximations, in [8, 9] we identified that this failure of the ZZ estimator is caused by using a continuous function (the recovered gradient (flux to approximate a discontinuous one (the true gradient (flux in the recovery procedure. Therefore, to fix this structural failure, we should recover the gradient (flux in proper finite element spaces. More specifically, for the conforming linear finite element approximation to the interface problem we recovered the flux in the H(div; Ω conforming finite element space. It was shown in [8] that the resulting implicit and explicit error estimators are Department of Mathematics, Purdue University, 50 N. University Street, West Lafayette, IN , {caiz, he75}@purdue.edu. This work was supported in part by the National Science oundation under grants DMS-2708 and DMS Department of Mathematics, City University of Hong ong, Hong ong SAR, China, shun.zhang@cityu.edu.hk. This work was supported in part by Hong ong Research Grants Council under the GR Grant Project No , CityU

2 not only reliable but also efficient. Moreover, the estimators are robust with respect to the jump of the coefficients. In [8], the implicit error estimator requires solution of a global L 2 minimization problem, and the explicit error estimator uses a simple edge average. This averaging approach of the explicit estimator is limited to the Raviart-Thomas (RT [7] element of the lowest order, i.e., the piecewise constant vector. In this paper, we introduce a general approach of constructing explicit flux recoveries using either the piecewise constant vector or the piecewise linear vector (the Brezzi-Douglas-Marini (BDM [7] element of the lowest order for the diffusion problem with the full diffusion coefficient tensor. With the recovered fluxes, the improved ZZ estimators are defined as a weighted L 2 norm of the difference between the recovered and the numerical fluxes. These estimators are theoretically shown to be locally efficient and globally reliable. Moreover, when the diffusion coefficient is piecewise constant scalar and its distribution is locally quasi-monotone, these estimators are robust with respect to the size of jumps. or a benchmark test problem, whose coefficient is not locally quasi-monotone, numerical results also show the robustness of the estimators. The paper is organized as follows. Section 2 describes the diffusion problem, variational form, and conforming finite element approximation. Section 3 describes the a posteriori error estimators of the ZZ type and two counter-examples. Two explicit flux recoveries and their corresponding improved ZZ estimators are introduced in section 4. Efficiency and reliability of those estimators are established in section 5. Section 6 is devoted to explicit formulas of the recovered fluxes, the indicators, and the estimators. inally, section 7 presents numerical results on the ellogg s benchmark test problem. 2 inite Element Approximation to Diffusion Problem Let Ω be a bounded polygonal domain in R d with d 2 or 3, with boundary Ω Γ D Γ N, Γ D Γ N, and meas d (Γ D 0, and let n be the outward unit vector normal to the boundary. Consider diffusion equation with boundary conditions (A(x u f in Ω (2. A u n g N on Γ N and u g D on Γ D, (2.2 where the and are the divergence and gradient operators, respectively, and f L 2 (Ω. In this paper, we consider only simplicial elements. Let T {} be a regular triangulation of the domain Ω, and denote by h the diameter of the element. or simplicity of presentation, assume that g D and g N are piecewise affine functions and constants, respectively, and that A is a piecewise constant matrix that is symmetric, positive definite. Let H g,d (Ω {v H (Ω : v g D on Γ D } and H D (Ω H 0,D (Ω. Then the corresponding variational problem is to find u H (Ω such that g,d a(u, v (A u, v (f, v (g N, v ΓN f(v v H (Ω, (2.3 D where (, ω is the L 2 inner product on the domain ω. The subscript ω is omitted when ω Ω. 2

3 or each T, let P k ( be the space of polynomials of degree less than or equal to k. Denote the linear conforming finite element space [5] associated with the triangulation T by Let S {v H (Ω : v P ( T }. S g,d {v S : v g D on Γ D } and S D S 0,D Then the conforming finite element approximation is to seek u T S g,d such that (A u T, v f(v v S D. (2.4 3 ZZ Error Estimator and Counter Examples Let ũ T S g,d be an approximation to the finite element solution u T S g,d of (2.4. Denote the numerical gradient and the numerical flux by ρ T ũ T and σ T A ũ T, (3. respectively, which are piecewise constant vectors in R d with respect to the triangulation T. It is common in engineering practice to smooth the piecewise constant gradient or flux in a post-process so that they are continuous. More precisely, denote by N the set of all vertices of the triangulation T. or each vertex z N, denote by ω z the union of elements having z as the common vertex. The recovered (smoothed gradient or flux are defined as follows: for τ ρ T or σ T G(τ S d C 0 (Ω d with nodal values G(τ (z τ dx z N, (3.2 ω z ω z where ω z meas d (ω z. There are many post-processing, recovery techniques (see survey article [29] by Zhang and references therein. With the recovered gradient (flux, the ZZ error indicator and estimator are defined as follows: ξ ZZ, G(τ τ 0, T and ξ ZZ G(τ τ 0,Ω for τ ρ T or σ T, respectively. Despite many attractive features of the ZZ error estimator, it is well known (see igures in section 7 that adaptive mesh refinement (AMR algorithms using the above ZZ estimator are not efficient to reduce global error for interface problems. In this section, we demonstrate this failure of the ZZ estimator by two counter-examples for which the finite element solution is exact while the ZZ indicators along interface could be arbitrarily large. The first example is a one-dimensional interface problem defined on the domain Ω (0, with the Dirichlet boundary condition: u(0 0 and u( (k + /2 for an arbitrary constant k > and with piecewise constant diffusion coefficient A in (0, /2 and A k > 0 in (/2,. 3

4 The exact solution and its derivative of this example are piecewise linear and piecewise constant functions, respectively, depicted in igures and 2 and given by k x x (0, /2 ], { k x (0, /2, u x + k and u x (/2,, x (/2,. 2 (k+/2 u(x k u T (x and G(u T k/2 (k+/ h h igure : solution u u T igure 2: u T (x and G(u T or any triangulation T with x /2 as one of its vertices, the conforming linear finite element approximation is identical to the exact solution: u T u, and hence the true error equals to zero. Without loss of generality, assume that the size of two interface elements is h. Then the recovered gradient is depicted in igure 2 and its value at x /2 is (k + /2. A simple calculation yields the ZZ error indicator: 2 3 (k h/2, x (/2 h, /2, ξ ZZ, G(u u T T 0, 2 3 (k h/2, x (/2, /2 + h, 0, otherwise. Hence, no matter how small the mesh size h is, the ZZ indicators at two interface elements could be arbitrarily large. or this simple one-dimensional example, to overcome the inefficiency of the estimator, one may use the ZZ estimator based on the flux. However, this idea could not be extended to two or three dimensions. To see this, consider the second example defined on the domain Ω (, 2 with scalar piecewise constant diffusion coefficient A ki for y > 0 and A I for y < 0, where k > is an arbitrary constant. Choose proper Dirichlet boundary data such that the exact solution of (2. is piecewise linear function given by { x + y if y > 0, u x + k y if y < 0. The conforming linear finite element approximation on any triangulation aligned with the interface y 0 is identical to the exact solution, and hence the true error vanishes. Since the exact gradient and flux { (, t {, for y > 0, (k, k t, for y > 0, u and σ A u (, k t, for y < 0 (, k t, for y < 0 are not continuously across the interface, similar calculation to the first example yields that the ZZ error indicators on the interface elements based on continuous gradient or flux recovery could be arbitrarily large no matter how small the mesh sizes of the interface elements are. 4

5 4 Improved ZZ Estimators The second example of the previous section shows that the gradient and the flux of the exact solution of (2. are not continuously across interfaces. This means that inefficiency of the ZZ estimator is caused by using continuous functions (the recovered gradient or flux to approximate discontinuous functions (the true gradient or flux. In this section, we introduce improved ZZ estimator that is efficient. To this end, let with the norm τ H(div; Ω H(div; Ω {τ L 2 (Ω d : τ L 2 (Ω} H (Ω d ( τ 2 0,Ω + τ 2 0,Ω /2 and let H g,n (div; Ω {τ H(div; Ω : τ n ΓN g N }. Denote the H(div; Ω conforming Raviart-Thomas (RT and Brezzi-Douglas-Marini (BDM spaces [7] of the lowest order by RT {τ H(div; Ω : τ RT ( T } and BDM {τ H(div; Ω : τ BDM( T }, respectively, where RT ( P 0 ( d + (x,..., x d t P 0 ( and BDM( P ( d. Let RT g,n RT H g,n (div; Ω and BDM g,n BDM H g,n (div; Ω. Let u H (Ω be the exact solution of (2., it is well known that the tangential components of the gradient and the normal component of the flux are continuous. Mathematically, we have u H (Ω u H(curl; Ω and σ A u H(div; Ω, where H(curl; Ω H (Ω d is the collection of vector-valued functions that are square integrable and whose curl are also square integrable. This suggests that proper finite element spaces for recovering the gradient and the flux are the respective H(curl; Ω and H(div; Ω conforming finite element spaces. or the conforming finite element approximation, the numerical gradient ρ T is already in H(curl; Ω and, hence, the resulting improved ZZ estimator based on the gradient recovery is identical to zero. Since the numerical flux σ T is not in H g,n (div; Ω, the improved ZZ estimators introduced in [8] are based on either explicit or implicit flux recoveries in RT g,n and BDM g,n. The explicit recovery is limited to the scalar diffusion coefficient and the RT element. The implicit recovery requires to solve the following global L 2 minimization problem: find σ T V such that A /2 ( σ T σ T 0,Ω min τ V A /2 (τ σ T 0,Ω, (4. where V RT g,n or BDM g,n. With the recovered flux σ T introduced in [8] is given by V, the improved ZZ estimator ξ ( σ T A /2 ( σ T σ T 0,Ω. (4.2 5

6 Even though the solution of (4. may be computed efficiently by a simple iterative solver, in the remainder of this section, we derive two new explicit and efficient flux recoveries applicable to the problem with the full diffusion tensor based on the respective RT and BDM elements of the lowest order. Here, we introduce some notations. Denote the set of all edges (faces of the triangulation by E : E I E D E N, where E I is the set of all interior element edges (faces, and E D and E N are the sets of all boundary edges (faces belonging to the respective Γ D and Γ N. or each E, denote by n the unit vector normal to. or each E I, let and + be two elements sharing the common edge (face such that the unit outward normal vector of coincides with n ; and let x and x+ be the vertex of + and opposite to, respectively. When E D E N, n is the unit outward vector normal to Ω and denote by the element having the edge (face and by x the vertex in opposite to. Let δ be the ronecker delta function. or each E, denote by φ the global nodal basis function of RT associated with, i.e., ( φ n ds δ, E; (4.3 denote by ψ,,..., ψ d, global basis functions of BDM satisfying ψ, + + ψ d, φ, E; (4.4 and let Since g N RT span{φ } and BDM span{ψ,,..., ψ d, }. is piecewise constant, for any τ RT g,n or BDM g,n, we have that τ τ + g N, φ with τ RT or BDM, (4.5 E I E D E N where g N, g N and meas d (. or any T, restriction of the numerical flux σ T on is a constant vector and has the following representation in RT ( (see Lemma 4.4 of [8]: σ T σ, φ, where σ, ( σ T n is the normal component of σ T on. On each interior edge (face E I, the normal component of the numerical flux has two values σ σ, and σ + σ., + Denote by φ and φ+ the restriction of φ on and +, respectively. Then the numerical flux also has the following edge (face representation: σ T E σ with σ { σ φ + σ+ φ+, E I, σ φ, E D E N. (4.6 or any τ RT g,n or BDM g,n, (4.5 and (4.6 give τ σ T ( (τ σ + τ σ φ + E I E D 6 E N ( g N, σ φ,

7 which, together with the triangle inequality and the choice of τ σ φ for all E D, implies ξ ( σ T min τ V A /2 (τ σ T 0,Ω min A /2 (τ τ σ 0,ω + ( A /2 g N, σ φ V 0,, (4.7 E N E I where ω is the union of elements sharing the edge (face for all E, V RT g,n or BDM g,n and V RT or BDM. or each E I, let ˆσ V RT or BDM be the solution of the following local minimization problem: A /2 (ˆσ σ 0,ω min τ V A /2 (τ σ 0,ω, (4.8 by (4.7, it is then natural to introduce the following edge (face based estimator and indicators ˆξ A /2 (ˆσ σ 0,ω E I, ξ with ξ ( E I E N A /2 g N, σ φ 0, E N, which satisfies (4.9 ξ ( σ T ˆξ. (4.0 To introduce the element based estimator, define the recovered flux ˆσ T RT g,n or BDM g,n as follows: ˆσ T ˆσ + σ φ + g N, φ. E I E D E N (4. Then the element based indicators and estimator are given by ξ A /2 (ˆσ T σ T 0,, T and ξ A /2 (ˆσ T σ T 0,Ω. (4.2 The minimization problem in (4.8 is equivalent to the following variational problem: find ˆσ V such that ( ( A ˆσ, τ A σ ω, τ τ V ω. (4.3 The local problem in (4.3 has only one unknown if V RT and d unknowns if V BDM. The explicit formula of the solution ˆσ will be given in section 6. 5 Efficiency and Reliability This section establishes efficiency and reliability bounds of the indicators and estimators defined in (4.9 and (4.2, respectively, for the diffusion problem with the coefficient matrix A being locally similar to the identity matrix. To this end, for each T, denote by λ max, and λ min, the maximal and minimal eigenvalues of A A, respectively. Let λ max max T λ max, and λ min min T λ min,. 7

8 Assume that each local matrix A is similar to the identity matrix in the sense that its maximal and minimal eigenvalues are almost of the same size, i.e., there exists a moderate size constant κ > 0 such that λ max, λ min, κ, T. (5. / Nevertheless, the ratio of the global maximal and minimal eigenvalues, λ max λmin, could be very large. In order to show that the reliability constant is independent of the ratio, we assume that the distribution of λ min (x is quasi-monotone (see [22]. Let Γ I be the set of all interfaces of the diffusion coefficient that are assumed to be aligned with element interfaces, and denote by f z f dx the average of f over ω z. Let meas d (ω z ω z /2 meas d (ω z Ĥ f f f z 2 0,ω λ z + h2 f 2 0,. min,ωz λ z N \(Γ I Γ D z N (Γ I Γ D ω min, z Note that A is a constant matrix in ω z if z N \ (Γ I Γ D. Remark 5.. or various lower order finite element approximations, the first term in Ĥf is of higher order than η (defined below in (5.5 for f L 2 (Ω and so is the second term for f L p (Ω with p > 2 (see [4]. Theorem 5.2. (Global Reliability Assume that the distribution of λ min, is quasi-monotone. Then the error estimators ˆξ and ξ defined in (4.9 and (4.2, respectively, satisfies the following global reliability bound: ( A /2 (u u T 0,Ω C ξ + Ĥf, (5.2 and A /2 (u u T 0,Ω C (ˆξ + Ĥf, (5.3 where the constant C depends on the shape regularity of T and κ, but not on λ max / λmin. Proof. It follows from (4.6, (4., and Young s inequality that 2 ξ 2 A /2 (ˆσ σ E I E N 0, Ω ( A (ˆσ σ, (ˆσ σ + E I E N E I E N + ( ( d d 2 + A /2 (ˆσ σ 2 0, ω 2 + ˆξ 2. ( A (ˆσ σ, (ˆσ σ + Now, it suffices to prove the validity of (5.2. Note that for any T and for any vector filed τ, we have that λ /2 min, τ 0, A /2 τ 0, λ /2 max, τ 0,, 8

9 and that λ /2 max, τ 0, A /2 τ 0, λ /2 min, τ 0,. (5.4 With the above inequalities, (5.2 may be proved in a similar fashion as in [8, 0] with the constant C also depending on κ. In the remaining part of this section, we will establish the efficiency of the indicators ξ and ξ given in (4.9 and (4.2, respectively, by proving that the indicators ξ and ξ are bounded above by the classical residual based indicators of the flux jump on edges (faces given in (5.5, which is well known to be efficient for interface problems, (i.e., A α(x I with α(x being a piecewise constant function. More specifically, Petzoldt (see (5.7 in [22] proved that the edge (face flux indicator σ σ+ / α + + α, E, I η σ g N / α, E, N 0, E D, where α ± α ±, is locally efficient without assumption on the distribution of the coefficient α. More specifically, there exists a constant C > 0 independent of α and the mesh size such that η 2 C α /2 (u u T 2 0,ω + h2 f f α T 2 0,. (5.6 ω where f T is the L 2 projection of f onto the space of piecewise constant with respect to T. Remark 5.3. or the diffusion problem, define the edge (face estimator η according to (5.5 with α ± λ min, ±, then the local efficiency in (5.6 holds with α A and the constant C depending on κ. Theorem 5.4. (Local Efficiency The local edge (face and element indicators defined in (4.9 and (4.2, respectively, are efficient, i.e., there exists a constant C > 0 depending only on the shape regularity of T and κ such that ξ bdm and that ξ rt ξ bdm, ξrt C C A /2 e T 0,ω + A /2 e T 0,ω + ω ω h2 α h2 α (5.5 /2 f f T 2 0,, E (5.7 /2 f f T 2 0,, T, (5.8 where ω is the union of all elements that shares at least one edge (face with. Proof. It follows from (4.6, (4., and the triangle inequality that ξ A /2 (ˆσ T σ T 0, A /2 (ˆσ σ 0, 9 ξ, T.

10 Hence, (5.8 is a direct consequence of (5.7. To prove the validity of (5.7, first note that the first inequality is a direct consequence of the minimization problem in (4.8 and the fact that V rt Vbdm. To prove the second inequality in (5.7, without loss of generality, assume that E I and that λ min, λ min, +. By (5.4 and the fact that φ 0, C with constant C > 0 depending only on the shape regularity of T, we have ξ rt min τ RT A /2 (τ σ 0,ω ( σ + σ A /2 φ 0, C σ + σ ( λ min, A /2 ( σ + φ σ 0,ω σ + + λ min, + σ /2. λ /2 min, φ 0, Combining with Remark 5.3 implies the second inequality in (5.7 and, hence, (5.8. completes the proof of the theorem. This 6 Explicit ormulas This section presents explicit formulas of the recovered fluxes defined in (4. (see (6. and (6.5 and the corresponding indicators and estimators defined in (4.9 and (4.2, respectively. In particular, the explicit formulas for the indicators and, hence, the estimators are written in terms of the current approximation u T and geometrical information of elements. or simplicity, we only consider the two-dimensional case. or each edge E, denote by s and e the globally fixed initial and terminal points of, respectively, such that s e t with t (t,, t 2, t being a unit vector tangent to ; by n (t 2,, t, a unit vector normal to ; and by x ± the opposite vertices of in ±, respectively. Denote by λ s and λ e the nodal basis functions of the continuous linear element associated with vertices s and e of N, respectively. or any v H (Ω, denote the formal adjoint of the curl operator by v ( v/ y, v/ x t. or the RT space of the lowest index, the nodal basis function associated with E is given by φ (λ s λ e λ e λ s. or the BDM space of the lowest index, two basis functions associated with the edge E are given by ψ s, λ s λ e and ψ e, λ e λ s, respectively, which satisfy ( ψ s, n λ s δ / and ( ψ e, n λ e δ / for any E. It is easy to check that (4.3 and (4.4 hold. A detaied MATLAB implementation of BDM and RT mixed finite element methods can be found in [27]. 0

11 6. Indicator and Estimator Based on RT or all E I, let Using the basis function φ γ ± ( A φ, φ ± and a γ γ + γ+ defined above, a straightforward calculation gives. γ ± 48 ± ± A /2 (x ± x± 2 + A /2 ± 2 x ± 3x±, where is the standard Euclidean norm in R 2. Solving the local problem in (4.3 with V RT gives the following recovered flux in RT g,n : ˆσ rt T ˆσ rt E I φ + σ φ + g N, φ (6. E D E N with the normal component of the recovered flux, ˆσ rt, on each edge E I given by the following weighted average: ˆσ rt a σ + ( a σ+. (6.2 The edge indicator ξ rt ξ rt has the following explicit formula: σ σ+ (( a 2 γ + a2 γ+ /2, EI, 0, E D, σ g N, γ, E N. Next, we introduce explicit formula of the element indicator ξ rt in terms of the current approximation u T and geometrical information of elements. To this end, for any T, denote the sign function by if n n, sign (, if n n, where n is the unit outward vector normal to, and let R t x 3x A x 3x + (x x t A (x x, T n t 3 or each element T, the indicator ξ rt ξ rt x 3x, and S n t A n. is given by ( ( ( /2 A ˆσ rt, ˆσrt + 2 ˆσ rt, u T T T T + (A u T, u T (6.3

12 with explicit formula for each term as follows ( A ˆσ rt, ˆσrt T T 48 ( ˆσ rt, u T T 2 and (A u T, u T 4 sign ( sign ( ˆσ rt ˆσrt R, sign ( sign ( ˆσ rt u T (x T, u T (x u T (x sign ( sign ( S. Remark 6.. or interface problems, the recovered flux in (6. and the resulting estimator defined in (4.2 are equivalent to those introduced and analyzed in [8]. To see that, let A α I for any T, where α and I are constant and the identity matrix, respectively. Let α α and α + α, + then γ (φ α, φ and γ + (φ α +, φ or a regular triangulation, the ratio of (φ, φ and (φ, φ below by constants. Thus + +. is bounded above and a γ α + and a γ + α. (6.4 γ + γ+ α + α+ γ + γ+ α + α+ (Here, we use x y to mean that there exist two positive constants C and C 2 independent of the mesh size such that C x y C 2 x. (6.4 indicates that the weights in (6. may be replaced by the respective estimator introduced in [8]. α + α + α+ and α α + α+ 6.2 Indicator and Estimator Based on BDM Hence, it is equivalent to the explicit or all E I and let and for i, j {s, e}, let β ij, ± (A ψ i,, ψ j, ± and β ij, β ij, + β + ij,, b s, (β ss, + β se, β ee, (β se, + β ee, β se, β ss, β ee, β 2 se, and b e, (β se, + β ee, β ss, (β ss, + β se, β se, β ss, β ee, β 2 se,. 2

13 Using the basis functions ψ s, and ψ e, defined at the beginning of this section, a straightforward calculation gives that β ± ss, 24 ± A /2 (x ± s 2, β ± ee, 24 ± A /2 (x ± e 2 and β ± se, (x± s A (x± e 48 ±. Solving the local problems in (4.3 with V BDM gives the following recovered flux in BDM g,n : ˆσ bdm T E I ( ˆσ bdm s, ψ s, + ˆσ bdm e, ψ e, + σ φ + g N, φ (6.5 E D E N with the normal components of the recovered flux given by the weighted averages: The edge indicator ξ bdm ˆσ bdm s, b s, σ + ( b s, σ + and ˆσ bdm e, b e, σ + ( b e, σ +. ξ bdm has the following explicit formula: σ σ+ w/2 E I, 0, E D, σ g N, (β ss, + 2β se, + β ee, /2, EN, where w is given by w ( b s, 2 β ss + 2( b s, ( b e, β se + ( b e, 2 β ee + b2 s, β+ ss + 2b s, b e, β+ se + b2 e, β+ ee. Next, we present explicit formula of the element indicator ξ bdm in terms of the current approximation u T and geometrical information of elements. or each, denote by s and e the remaining two edges of that is opposite to s and e, respectively. Then the indicator ξ bdm is computed by three terms as follows: ( ( ξ bdm A ˆσ bdm, ˆσ bdm T T + 2 ( ˆσ bdm T, u T + (A u T, u T /2. (6.6 The third term above is given in the previous section, and the other two terms may be computed by (A σ T, σ T ( B D + M and (ˆσ T, u T ( 2 u (x sign ( T n t L. 3

14 Here, the B, D, M, and L have the following formulas: ( + δ B ˆσ s, bdm ˆσ s, bdm s,s ( A 48 t, t sign e e ( e sign ( e e e, ( + δ D ˆσ s, bdm ˆσ e, bdm s,e ( A 48 t, t sign e s ( e sign ( s e s ( + δ +ˆσ e, bdm ˆσ s, bdm e,s ( A 48 t, t sign s e ( s sign ( e s e, ( + δ M ˆσ e, bdm ˆσ e, bdm e,e ( A 48 t, t sign s s ( s sign ( s s s, and L 7 Numerical Experiments ( ˆσ s, bdm sign ( e e t ˆσ bdm e e, sign ( s s t. s In this section, we report some numerical results for the ellogg benchmark test problem [7]. Let Ω (, 2 and u(r, θ r γ µ(θ in the polar coordinates at the origin with µ(θ being a smooth function of θ. The function u(r, θ satisfies the diffusion equation in (2. with A αi, Γ N, f 0, and α(x { R in (0, 2 (, 0 2, in Ω \ ([0, ] 2 [, 0] 2. The γ depends on the size of the jump. In the test problem, γ 0. is chosen and is corresponding to R Note that the solution u(r, θ is only in H +γ ɛ (Ω for some ɛ > 0 and, hence, it is very singular for small γ at the origin. This suggests that refinement is centered around the origin. This problem is tested by the standard ZZ estimator and its variation: ξ ZZ u T G( u T 0,Ω and ξ ZZ α /2 u T α /2 G(α u T 0,Ω. Here, ξ ZZ is the standard ZZ estimator, i.e., the L 2 norm of the difference between the numerical and recovered gradients; and the ξ ZZ is a modified version, where the flux is recovered in C 0 continuous finite element space. Both versions of the ZZ estimators perform badly with many unnecessary over-refinements along the interfaces (see igures 3 and 4. Meshes generated by ξ and ξ for both RT and BDM recovery are shown in igures 5,7, 9 and, respectively. The refinements are centered at the origin and there is no overrefinements along the interfaces. Similar meshes for this test problem generated by other error estimators can be found in [8, 9, ]. The comparisons between the true error in the energy norm and the estimators, ξ and ˆξ, are shown in igures 6, 8, 0, and 2, respectively. All the estimators have effectivity indexes very close to one. Here, the effectivity index is defined as 4

15 igure 3: mesh generated by the ZZ indicatot igure 4: mesh generated by the modified ZZ ZZ ZZ ξ indicator ξ Energy error a/2 (u uh 0 estimator 2 N rt igure 5: mesh generated by ξ igure 6: error and estimator ξ rt the ratio of the estimator and the true error in the energy norm. Moreover, the slope of the log(dof- log (the relative error for both ξ and ξˆ are very close to /2, which indicates the optimal decay of the error with respect to the number of unknowns. References [] M. Ainsworth and J. T. Oden, A Posteriori Error Estimation in inite Element Analysis, John Wiley & Sons, [2] C. Bahriawati and C. Carstensen, Three Matlab implementations of the lowest-order Raviart-Thomas MEM with a posteriori error control, Comput. Methods Appl. Math., 5:4 (2005, [3] I. Babuška and T. Strouboulis, The inite Element Method and Its Reliability, Numer. Math. Sci. Comput., Oxford Science Publication, New York,

16 0 0 Energy error 0 a /2 (u u h estimator N igure 7: mesh generated by ξ bdm igure 8: error and estimator ξ bdm 0 0 Estimator vs. True error a /2 (u u h 0 estimator N igure 9: mesh generated by ξ rt igure 0: error and estimator ˆξ rt [4] R. Bank and J. Xu, Asymptotically exact a posteriori error estimators, SIAM J. Numer. Anal, 4:6 (2003. Part I: Grids with superconvergence, ; Part II: General unstructured grids, [5] R. Bank, J. Xu, and B. Zhang, Superconvergent derivative recovery for Lagrange triangular elements of degree p on unstructured grids, SIAM J. Numer. Anal., 45:5 (2007, [6] C. Bernardi and R. Verfürth, Adaptive finite element methods for elliptic equations with non-smooth coefficients, Numer. Math., 85:4 (2000, [7] D. Boffi,. Brezzi, and M. ortin, Mixed inite Element Methods and Applications, Springer, Heidelberg, 203., 4 [8] Z. Cai and S. Zhang, Recovery-based error estimator for interface problems: conforming linear elements, SIAM J. Numer. Anal., 47:3 (2009, (document,, 4, 4, 4, 5, 6., 6., 7 6

17 0 0 Estimator vs. True error 0 a /2 (u u h estimator N igure : mesh generated by ξ bdm igure 2: error and estimator ˆξ bdm [9] Z. Cai and S. Zhang, Recovery-based error estimator for interface problems: mixed and nonconforming elements, SIAM J. Numer. Anal., 48: (200, , 7 [0] Z. Cai and S. Zhang, Robust residual- and recovery a posteriori error estimators for interface problems with flux jumps, Numer. Methods for PDEs, 28:2 (202, , 5 [] Z. Cai and S. Zhang, Robust equilibrated residual error estimator for diffusion problems: Conforming elements, SIAM J. Numer. Anal., 50: (202, [2] C. Carstensen and S. Bartels, Each averaging technique yields reliable a posteriori error control in EM on unstructured grids. Part I: low order conforming, nonconforming, and mixed EM, Math. Comp., 7 (2002, [3] C. Carstensen, S. Bartels, and R. lose, An experimental survey of a posteriori Courant finite element error control for the Poisson equation, Adv. Comput. Math., 5 (200, [4] C. Carstensen and R. Verfürth, Edge residuals dominate a posteriori error estimates for low order finite element methods, SIAM J. Numer. Anal., 36:5 (999, [5] P. G. Ciarlet, The inite Element Method for Elliptic Problems, North-Holland, New York, [6] W. Hoffmann, A. H. Schatz, L. B. Wahlbin, and G. Wittum, Asymptotically exact a posteriori estimators for the pointwise gradient error on each element in irregular meshes. Part I: a smooth problem and globally quasi-uniform meshes, Math. Comp., 70 (200, [7] R. B. ellogg, On the Poisson equation with intersecting interfaces, Appl. Anal., 4 (975, [8] R. Luce and B. I. Wohlmuth, A local a posteriori error estimator based on equilibrated fluxes, SIAM J. Numer. Anal., 42:4 (2004,

18 [9] A. Naga and Z. Zhang, The polynomial-preserving recovery for higher order finite element methods in 2D and 3D, Discrete Contin. Dyn. Syst. Ser. B, 5:30 (2005, [20] J. S. Ovall, Two Dangers to Avoid when Using Gradient Recovery Methods for inite Element Error Estimation and Adaptivity, Technical report 6, Max-Planck-Institute fur Mathematick in den Naturwissenschaften, Bonn, Germany, [2] J. S. Ovall, ixing a Bug in Recovery-Type a Posteriori Error Estimators, Technical report 25, Max-Planck-Institute für Mathematick in den Naturwissenschaften, Bonn, Germany, [22] M. Petzoldt, A posteriori error estimators for elliptic equations with discontinuous coefficients, Adv. Comp. Math., 6: (2002, , 5 [23] R. Rodriguez, Some remarks on Zienkiewicz-Zhu estimator, Int. J. Numer. Meth. PDE, 0 (994, [24] A. H. Schatz and L. B. Wahlbin, Asymptotically exact a posteriori estimators for the pointwise gradient error on each element in irregular meshes. Part II: the piecewise linear case, Math. Comp., 73 (2004, [25] R. Verfürth, A Posteriori Error Estimation Techniques for inite Element Methods, Numer. Math. Sci. Comput., Oxford University Press, Oxford, U, 203 [26] N. Yan and A. Zhou, Gradient recovery type a posteriori error estimates for finite element approximations on irregular meshes. Part, Comput. Methods Appl. Mech. Engrg., 23 (995, 73-87; Part 2, Comput. Methods Appl. Mech. Engrg., 63 (998, [27] S. Zhang, An efficient implementation of Brezzi-Douglas-Marini (BDM mixed finite element method in MATLAB, arxiv: [math.na], [28] Z. Zhang, A posteriori error estimates on irregular grids based on gradient recovery, Adv. Comput. Math., 5 (200, [29] Z. Zhang, Recovery techniques in finite element methods, in Adaptive Computations: Theory and Algorithms Mathematics Monogr. Ser. 6, T. Tang and J. Xu, eds., Science Publisher, New York, 2007, , 3 [30] Z. Zhang and J. Z. Zhu, Analysis of the superconvergent patch recovery technique and a posteriori error estimator in the finite element method. Part, Comput. Methods Appl. Mech. Engrg., 23 (995, 73-87; Part 2, Comput. Methods Appl. Mech. Engrg., 63 (998, [3] O. C. Zienkiewicz and J. Z. Zhu, A simple error estimator and adaptive procedure for practical engineering analysis, Internat. J. Numer. Methods Engrg., 24 (987, [32] O. C. Zienkiewicz and J. Z. Zhu, The superconvergent patch recovery and a posteriori error estimates, Internat. J. Numer. Methods Engrg., 33 (992. Part : The recovery technique, ; Part 2: Error estimates and adaptivity,