arxiv: v1 [math.na] 4 Feb 2015

Transcription

1 Superconvergence and recovery type a posteriori error estimation for hybrid stress finite element method arxiv: v [math.na] 4 Feb 05 Yanhong Bai, Yongke Wu, Xiaoping Xie Abstract Superconvergence and a posteriori error estimators of recovery type are analyzed for the 4-node hybrid stress quadrilateral finite element method proposed by Pian and Sumihara Int. J. Numer. Meth. Engrg., 984, 0: for linear elasticity problems. Uniform superconvergence of order Oh +min{α,} with respect to the Lamé constant λ is established for both the recovered gradients of the displacement vector and the stress tensor under a mesh assumption, where α > 0 is a parameter characterizing the distortion of meshes from parallelograms to quadrilaterals. A posteriori error estimators based on the recovered quantities are shown to be asymptotically exact. Numerical experiments confirm the theoretical results. eywords: linear elasticity, hybrid stress finite element, superconvergence, recovery, a posteriori error estimator Introduction Assumed stress hybrid finite element method also called hybrid stress method pioneered by Pian [30] is known to be an efficient approach in the analysis of elasticity problems cf. [3, 3, 33, 34, 35, 36, 45, 55, 56]. One main advantage of the hybrid method lies in that, the method allows for piecewise-independent approximation to the stress solution and, through local elimination of the stress unknowns, finally leads to a symmetric and positive definite discrete system of unknowns of displacements. In [33] Pian and Sumihara derived a robust 4-node hybrid stress quadrilateral element This work was supportedbynational Natural ScienceFoundationofChina739 and Major Research Plan of National Natural Science Foundation of China School of Mathematics, Sichuan University, Chengdu 60064, China. baiyanhong98@6.com School of Mathematical Sciences, University of Electronic Science and Technology of China, Chengdu 673, China. wuyongke98@uestc.edu.cn Corresponding author. School of Mathematics, Sichuan University, Chengdu 60064, China. xpxie@scu.edu.cn

2 abbr. PS through a rational choice of stress terms, where the continuous piecewise isoparametric bilinear interpolation is used for the displacement approximation. We refer to [48] for the analysis of uniform convergence and a posteriori error estimation for the hybrid stress quadrilateral elements proposed in [33, 45]. As an active research topic, superconvergence of finite element solutions to partial differential equations has been studied intensively for conforming, nonconforming and mixed finite element methods see, e.g., books [4, 0,,,, 4, 46, 57] and papers [6, 7,, 4, 5, 6, 8, 9, 38, 40, 43, 47, 53, 54, 60]. Based on theory of superconvergence, a posteriori error estimation of recovery type has attracted more and more research interests in recent two decades. The most representative recovery type error estimator is the Zienkiewicz-Zhu ZZ estimator based on gradient patch recovery by local discrete least-squares fitting [58, 59]. The method is widely used in engineering practice for its robustness. Superconvergence properties of the ZZ patch recovery were shown in[5, 9] for rectangular and strongly regular triangular meshes, respectively. The work of[6, 7] introduced a recovery type error estimator based on global L -projection with smoothing iteration of the multigrid method, and established asymptotic exactness in the H -norm for linear element under shape regular triangulation. By using the result in [6], a new theoretical justification was given in [6] for the ZZ estimator. A polynomial preserving gradient recovery PPR method was proposed in [53, 54] which is different from the ZZ gradient patch recovery method [58]. In [4] some patch recovery methods were proposed and analyzed for finite element approximation of elasticity problems using quadrilateral meshes. So far, to the authors knowledge, there is no superconvergence analysis for the hybrid stress finite element method for the elasticity problems. This paper is to establish superconvergence for the Pian and Sumihara s hybrid stress quadrilateral element [33]. We shall derive the uniform superconvergence with respect to the Lamé constant λ for both the recovered displacement gradients and the recovered stress tensor, and show that the a posteriori error estimators based on the recovered quantities are asymptotically exact. The rest of the paper is organized as follows. Section introduces the model problem and its weak form. Section 3 shows the hybrid stress finite element discretization and some preliminary results. Section 4 analyzes the superconvergence of the hybrid stress method. Section 5 is devoted to the recovery of the displacement gradients and the stress tensor, as well as the a posteriori estimation of recovered type. Finally, Section 6 provides numerical results.

3 Model problem Let Ω R beaboundedpolygonal domain with boundary Ω. We consider the following linear elasticity problem with homogeneous displacement boundary condition: divσ = f in Ω, σ = Cǫu in Ω, u = 0 on Γ := Ω,. where Ω R is a bounded polygonal domain, σ R sym denotes the symmetricstresstensorfield, u R thedisplacementflied,ǫu = u+ u T the strain tensor, f R the body loading density, and C the elasticity module tensor with Cǫu = µǫu+λdivui. Here I is the identity tensor, trσ the trace of the stress tensor σ, and µ, λ the Lamé parameters. We introduce some notations as follows. For an arbitrary open set T, we denote by H k T the usual Sobolev space consisting of functions defined on T with derivatives of order up to k being square-integrable, with norm k,t and semi-norm k,t. In particular, H 0 T = L T. When T = Ω, we abbreviate k,ω and k,ω to k and k, respectively, and denote := 0. We use the same notations of norms and semi-norms as above for corresponding vector or tensor spaces. For any vector α = α i n i= Rn, n we denote α l := α i i= and α l := max i n α i. Throughoutthepaper, we usenotation a b or a b to represent that there exists aconstant C, independentof mesh size h and the Lamé constant λ, such that a Cb or a Cb, and use a b to denote a b a. Define the spaces Σ := { τ L Ω;R sym, Ω } trτ = 0, V := H 0 Ω = {v H Ω : v Γ = 0}, wherel Ω;Rsym denotesthespaceofsquare-integrablesymmetrictensors, and trτ := τ +τ the trace of tensor τ. Then we have the following weak problem for the system.: Find σ,u Σ V such that { aσ,τ + bτ,u = 0 for all τ Σ,. bσ,v = Fv for all v V, 3

4 where aσ,τ = C σ : τ = λ σ : τ Ω µ Ω µ+λ trσtrτ, bτ,v = τ : ǫv, Fv = f v. Ω It is well-known that the weak problem. admits a unique solution. 3 Hybrid stress finite element discretization 3. Geometric properties of quadrilateral meshes Let {T h } h>0 be a partition of Ω by convex quadrilaterals with the mesh size h := max h, where h is the diameter of quadrilateral T h. T h Let Z i x i,y i and Ẑiξ i,η i for i 4 be the vertices of and the reference element ˆ = [,] cf. Figure 3., respectively. There exits a unique invertible bilinear mapping F : ˆ that maps ˆ onto with F Ẑi = Z i. The mapping F is of the form x y = F ξ,η = Ω a 0 +a ξ +a η +a ξη b 0 +b ξ +b η +b ξη, 3.3 where ξ,η [,] are the local coordinates and a 0 b 0 x a b a b = y x y 4 x a b 3 y3 x 4 y4. In the following we may omit the superscript of the above notations if there is no confusing. The Jacobi matrix and Jacobian of F are respectively given by DF ξ,η = x ξ y ξ x η y η = a +a η a +a ξ b +b η b +b ξ, 3.4 where J ξ,η = detdf = J 0 +J ξ +J η, 3.5 J 0 = a b a b, J = a b a b, J = a b a b. It is easy to obtain the inverse of the Jacobi DF with DF F ξ,η = ξ x η x ξ y η y = b +b ξ a a ξ J b b η a +a η

5 Ẑ 4 - η ˆ Ẑ 3 ξ Ẑ - Ẑ F y Z 4 Z 3 O O d Z Z x Figure 3.: Bilinear transformation F maps reference element ˆ in the left to element in the right. Throughout this paper we assume the partition T h is shape regular in the following sense [50]: There exist a constant >, independent of h, such that for all T h it holds h ρ. 3.7 Hereρ := min i 4 ρ i, withρ i beingthediameterofthelargest circleinscribed in T i, the sub-triangle of with vertices Z i, Z i and Z i+ the index on Z i is modulo 4 for i =,,4. We introduce several additional mesh conditions which will be used in the forthcoming analysis of superconvergence Section 4. MC Diagonal condition: There exists a constant α > 0 such that for any quadrilateral T h, the distance, d d = O O = a +b, betweenthemidpointsofthediagonals of SeeFigure 3. satisfies d = Oh +α. 3.8 MC Neighboring condition: Foranytwoquadrilaterals, T h sharing a common edge, it holds, for j =,, a j = a j +Oh α +h α, b j = b j +Oh α +h α. 3.9 Remark 3.. Diagonal condition MC is also called + α-section condition cf. [3]. Note that is a parallelogram if and only if d = 0, which means α = +. When α =, MC is the Bi-Section Condition or condition B [39]. Remark 3.. T h is said to satisfy Jamet condition [3] if there exists a constant r > 0 such that h r ρ holds for any quadrilateral T h, 5

6 where ρ is the diameter of the largest circle inscribed in. As shown in [3], if both Jamet condition and Diagonal condition MC hold, then T h is shape regular for sufficiently smal h. In view of the shape regularity condition 3.7, it is easy to obtain the following estimates for the Jacobian J given in 3.5. Lemma 3.3. For any T h it holds J J 0 h. 3.0 Further more, if Diagonal condition MC is satisfied, then it holds max{ J, J } h +α Pian-Sumihara s hybrid stress finite element method In view of the mapping F, for any function ŵξ,η on ˆ we define function wx,y on T h with wx,y := ŵξ,η or equivalently w := ŵ F. In Pian-Sumihara s hybrid stress finite element abbr. PS element method [33] for the problem., continuous piecewise isoparametric bilinear interpolation is used for the approximation of displacement, namely the displacement approximation space V h V is taken as with V h := S h S h S h = {v H 0Ω : ˆv = v F span{,ξ,η,ξη}, for all T h }. To describe the stress approximation of PS element, we abbreviate the τ τ symmetric tensor τ = to τ = τ τ τ,τ,τ T. The stress mode of PS element is of the following form on ˆ: a ˆτ 0 0 η ξ b ˆτ = ˆτ = b 0 0 η ξ a ˆτ βτ =: Aβ τ, β τ R b a η a b ξ Then the corresponding stress approximation space, Σ h Σ, for PS element is given by Σ h := {τ Σ : ˆτ = τ F is of the form 3. for all T h }

7 As a result, the PS element method for the problem. is given as follows. Find σ h,u h Σ h V h such that { aσh,τ + bτ,u h = 0 for all τ Σ h, 3.4 bσ h,v = Fv for all v V h. Let σ,u H Ω,R sym Σ V H Ω be the solution of the problem.. It has been shown in [48] that the following uniform error estimate holds for the PS element method: σ σ h + u u h h u + σ Superconvergence analysis 4. Preliminary results We recall vx,y := ˆvξ,η = ˆv F x,y. Some calculations show rˆv ξ r = a +a η x +b +b η r v, r =,, 4.6 y ˆv v = a ξ η x +b v y + a +a η x +b +b η y a +a ξ x +b +b ξ v. 4.7 y In light of these two relations and Lemma 3.3, we easily derive the following lemma. Lemma 4.. For all T h and v H, it holds ˆv ξ + ˆv 0, ˆ η v,, 4.8 0, ˆ ˆv ξ + ˆv 0, ˆ η h v, , ˆ In particular, if T h satisfies Diagonal condition MC, then it holds ˆv h α ξ η v, +h v, , ˆ Let u I V h be the piecewise isoparametric bilinear interpolation of u V H Ω, then it holds the following estimate: u u I 0, +h u u I, h u,, for all T h. 4. Let σ I Σ h be the projection of σ Σ in the a, -inner product, namely σ I satisfies aσ I,τ = aσ,τ for all τ Σ h. 4. 7

8 Thanks to 3. and 4., we obtain, for all T h, σ I = AH A T C σ with H := A T C A, 4.3 In addition, we have the following lemma. σ σ I = Lemma 4.. Under Diagonal condition MC, for all T h it holds σ σ I 0, h σ,, 4.5 ˆσ ˆσ I hα σ,. 4.6 ˆ Proof. Let σ I Σ h be the L projection of σ with σ I τ = σ τ, for all τ Σ h. Then we have and Ω σ I = A for all T h. By triangle inequality, it holds Ω σ σ I h σ, 4.7 H A T σ with H := A T A 4.8 σ σ I σ σ I + σ I σ I h σ + σ I σ I. 4.9 We turn to estimate σ I σ I = T h σi σ I 0, /. In view of 4. and 4.8, some calculations yield H AT C = 4J h.o.t., 4.30 d 4 η d 4 η d 43 η d 5 ξ d 5 ξ d 53 ξ 8

9 where d 4 = H AT = 4J 0 3 λ b µ+λ a + b a η + b a + b4 a 4 3 a b ξ + a b + a4 b 4 b 3 a, d 4 = a 3 λ b d 5 = µ+λ, d 5 = + a b 3 3 b a η + b a + b4 a 4 3ξ + a b + a4 b 4 λ µ+λ + b a a λ b µ+λ + a b 3 b a η + b a + b4 a 4 3 a b ξ + a b + a4 b 4, d 43 = µ+λ µ+λ, d 53 = µ+λ µ+λ +h.o.t., 4.3 b a + b a a b + a b and in each of the above two relations h.o.t denotes a different higher-orderterm matrix of the form h.o.t = J 0 h ij ξ,η 5 3 with max i,j,, max h ij h α. 4.3 ξ,η Obviously, it holds max d ij i 5, j 3 Denote Q σ := σ, then a combination of 3.0, 3., 4. and leads to σ I σ I 0, = A h h h σ,, H AT C H AT C H AT C H AT σ 0, H AT σ H AT σ Q σ which, together with 4.9, indicates the desired result 4.5. The thing left is to prove 4.6. From 4.4 it follows 0 = σ σ I = J ˆσ ˆσ I ˆ = J 0 ˆσ ˆσ I +J ξˆσ ˆσ I +J ηˆσ ˆσ I, ˆ ˆ ˆ 9

10 which, together with and 4.5, implies ˆσ ˆσ I J ξˆσ ˆσ I + J ˆ J 0 ˆ h α ˆσ ˆσ I 0, ˆ h α h σ σi 0, h α σ,. J 0 ˆ ηˆσ ˆσ I For any T h, we follow [50] to define the modified partial derivatives and the modified strain tensor ǫv as v x, v y v J x F ξ,η = y0,0 ˆv η ξ y0,0 ˆv ξ η = b ˆv ξ b ˆv η, v J y F ξ,η = x0,0 ˆv η ξ + x0,0 ˆv ξ η = a ǫv = v x v y + v x v y + v x v y ˆv ξ +a ˆv η,, 4.34 respectively. By the definition of ǫv it is easy to derive the following result. Lemma 4.3. Under Diagonal condition MC, for all v V h and T h it holds ǫv ǫv 0, h α v,. Define the bubble function space V b h as V b h := { v b L Ω : ˆv b ξ,η = v b F span{ξ,η }, for all T h }. Then it is easy to verify that the PS stress mode 3. satisfies the relation see [37] ǫv b τ = 0, for all v b Vh b,τ Σ h, T h Superconvergence analysis Define two functions Obviously it holds Eξ := ξ, Fη := η. E ξ = ξ, E ξ =, F η = η, F η =

11 Lemma 4.4. Under Diagonal condition MC and Neighboring condition MC, for any g H Ω and v S h it hold h gξ v hh α g +h g v, 4.37 T ˆ ξ η h gη v hh α g +h g v ξ η ˆ T h h ˆ Proof. We only give the proof of the first inequality, since the proof of the second one is similar. For any T h, g H Ω and v S h, by 4.36, integration by parts, Cauchy-Schwardz inequality and Lemma 4., we have h ĝξ ˆv ĝ ˆv = h Eξ ξ η ξ ξ η = h ˆ +h ĝ Eξ ˆv ξ ξ ξ, dξ h ĝ Eξ ˆv ξ,dξ ξ ξ ĝ Eξ ˆv ˆ ξ η ξ = h l l Eξs g v l l s s ds h l u Eξs g v l u s s ds + Oh +α g, +Oh g, v,, 4.39 where l u and l l are the upper and lower edges of see Figure 3.. If the edge l u Ω, then the second term of the last equality in 4.39 vanishes due to the homogeneous Dirichlet boundary condition, i.e. v Ω = 0. If l u is an interior edge of the partition T h, we assume l u is shared by two elements, and, of T h. By Neighboring condition MC we have h h = Oh +α, then, from trace inequality and inverse inequality, it follows h h l u Eξs g v l u s s ds h +α g, +h g, v, The above arguments also apply to the edge l l. As a result, a combination of yields the desired estimate Similarly we can obtain Lemma 4.5. Under Diagonal condition MC and Neighboring condition MC, for σ H Ω,R sym Σ and u H3 Ω V it holds aσ I σ,τ = 0, for all τ Σ h, 4.4 bσ σ I,v h +α σ +h σ v, for all v V h, 4.4 bτ,u u I h +α u 3 τ, for all τ Σ h. 4.43

12 Proof. The relation 4.4 follows from 4., i.e. the definition of σ I. Now we prove the estimate 4.4. For any v V h, we decompose it as v = v +v with ˆv = v F span{, ξ, η}, ˆv = v F span{ξη}, then it holds bv,σ σ I = ǫv σ σ I T h = T h = T h + T h σ σ I ǫv+ σ σ I ǫv ǫv σ σ I ǫv + σ I σ ǫv ǫv T h σ ǫv σ I ǫv =: I +I +I We note that J ǫv is a constant vector on by the definition Thus, in view of Lemmas we have I = ˆσ ˆσ I J ǫv = J ǫv ˆσ ˆσ I T ˆ h T ˆ h h α σ, J ǫv 0, ˆ T h σ, v, T h h +α h +α σ v For the term I, from Lemmas it follows I T h σ I σ 0, ǫv ǫv 0, h +α σ v We turn to estimate I 3. Denote ˆv = v F =: u 0 ξη,v 0 ξη T and ˆσ I =: Aβ I. Then, by 4.3 and 4.30, we have β I = H A T C σ = 4J d 4 η d 4 η d 43 η d 5 ξ d 5 ξ d 53 ξ +h.o.t. σ,

13 which, together with u 0 = u ξ η, v 0 = v ξ η, Neighboring condition MC, Lemma 4.4 and , yields σ I ǫv = β I T A T J ǫv T h T h = 4J 0 β I T 3 T h ˆ u 0 + b a v 0 a a u b 0 +v 0 b h +α σ +h σ v Similarly, since σ ǫv = ˆ ˆσ J ǫˆv = ˆ ˆσ u 0 b η u 0 b ξ v 0 a η +v 0 a ξ v 0 b u 0 a η +u 0 a v 0 b ξ, it follows T h which, together with 4.47, yields σ ǫv h +α σ +h σ v, I 3 h +α σ +h σ v As a result, the inequality 4.4 follows from and The thing left is to prove the estimate Denote b b 0 0 b ξ b η 0 0 X 0 := 0 0 a a, X := 0 0 a ξ a η a a b b a ξ a η b ξ b η ˆ û := û ξ, û η, ˆv ξ, ˆv T for u = u,v, η and let u b Vh b besuch that ûi +û b is the piecewise quadratic interpolation of û in the local coordinates ξ,η. Thanks to the relation 4.35 and the interpolation theory by [], for τ Σ h it holds ǫu u I τ = X 0ˆ û û I û b +X ˆ û û I ˆτ dξdη ˆ h û û I û b, ˆ +h+α û ûi, ˆ ˆτ 0, ˆ h +α u 3, τ 0,. Then the desired inequality 4.43 follows., 3

14 We are now in a position to state the following superconvergence results for the hybrid stress method 3.4. Theorem 4.6. Let σ,u H Ω,R sym Σ V H 3 Ω and σ h,u h Σ h V h be the solutions of the problems. and 3.4, respectively, and let u I V h be the isoparametric bilinear interpolation of u and σ I Σ h be the projection of σ defined in 4.. Then, under Diagonal condition MC and Neighboring condition MC, it holds σ h σ I h +α σ +h σ, 4.49 u h u I h +α u 3 + σ +h σ Proof. From. and 3.4 we easily obtain the error equations aσ σ h,τ+bτ,u u h = 0 for all τ Σ h, 4.5 bσ σ h,v = 0 for all v V h, 4.5 which, together with the discrete inf-sup condition for b, cf. [48], indicates and u h u I bτ,u h u I bτ,u h u+bτ,u u I sup = sup τ Σ h τ τ Σ h τ bτ,u u I +aσ σ h,τ = sup τ Σ h τ bτ,u u I +aσ σ I,τ+aσ I σ h,τ = sup τ Σ h τ 4.53 σ h σ I bσ h σ I,v bσ σ I,v sup = sup v V h v v V h v Then the desired estimates follows from the above two inequalities and Lemma A posteriori error estimation of recovery type Asshownintheestimate3.5, thefiniteelement solutionσ h,u h ofps hybrid stress method 3.4 is only of first order accuracy. We shall show in Subsections that, by using the recovery techniques of [5, 53, 4, 46], one can obtain recovered displacement gradients and stresses of improved accuracy, i.e. Oh +min{α,}. Then, in Subsection 5.3, we shall show the asymptotical exactness of the a posteriori error estimators based on the recovered quantities. 4

15 5. Gradient recovery by PPR We follow the polynomial preserving recovery method PPR proposed in [5, 53, 4] to construct the recovered displacement gradients G h u h = G h u h,g hu h T Here the gradient recovery operator G h : S h S h S h is defined as follows [53]: Given function v h S h, first define G h v h at all nodes vertices of the partition T h, and then obtain G h v h on the whole domain by interpolation using the original nodal shape functions of S h. In PPR the values of G h v h at all vertices of T h are determined through the fitting method. In fact, let Z i x i,y i be any interior vertex of T h, and let ω i be a patch which consists of elements sharing the vertex Z i, i.e. ω i := { T h : Z i is a vertex of } For convenience all nodes on ω i including Z i are denoted by Z ij,j =,,,nn 6. We use local coordinates ˆx,ŷ with Z i as the origin, i.e. ˆx,ŷ = x,y x i,y i h, where h := h i denotes the length of the longest element edge in the patch ω i. The fitting polynomial is with p x,y;z i = ˆP T ĉ 5.57 ˆP =,ˆx,ŷ,ˆx,ˆxŷ,ŷ T, ĉ = c,hc,hc 3,h c 4,h c 5,h c 6 T. The coefficient vector ĉ is determined by the linear system Q T Qĉ = Q T b h, 5.58 where b h = v h Z i,v h Z i,,v h Z in T and ˆx ŷ ˆx ˆx ŷ ŷ ˆx ŷ ˆx ˆx ŷ ŷ Q = ˆx n ŷ n ˆx n ˆx n ŷ n ŷn. Finally, define G h v h Z i := p 0,0;Z i As shown in [53, 4], under Diagonal condition MC and Neighboring condition MC, the gradient recovery operator G h is a bounded linear operator on the isoparametric bilinear displacement finite element space V h = S h S h in the followng sense: G h v v, v V h

16 In view of Theorem 4.6, we can obtain the superconvergence of the recovered displacement gradients G h u h by following the same routine as in the proof of Theorem 4. in [53]. Theorem 5.. Let u V H 3 Ω and u h V h be the displacement solutions of the problems. and 3.4, respectively. Under Diagonal condition MC and Neighboring condition MC, the gradient recovery is superconvergent in the sense that u G h u h h +α u 3 + σ +h σ Recovery of stresses FromthesuperconvergenceoftherecovereddisplacementgradientsG h u h in Theorem 5., we can easily derive the following superconvergence of the recovered stresses G σ h σ h = C G h u h +G h u h T for the stress tensor σ = Cǫu: σ G σ h σ h C h +α u 3 + σ +h σ. 5.6 However, due to the factor C this estimate is not uniform with respect to the Lamé constant λ. In what follows we shall construct a uniform recovered-type stress approximation by following the idea of [46]. Denoting M h := {v L Ω : ˆv = v F span{,ξ,η,ξη}, for all T h }, we introduce a recovered-type operator R h : L Ω M h as follows. For any ψ L Ω, we first define R h ψ at all vertices of T h, then obtain R h ψ M h on the whole domain by interpolation using the nodal shape functions of the piecewise isoparametric bilinear interpolation. For any interior vertex Z i x i,y i of T h, we assume its patch ω i, defined in 5.56, consists of N elements,,,, N, with N 3. To define R h ψ at Z i we introduce the space W := span{,x,y} and let φ ψ i W satisfy N Jφ ψ i = min Jw, Jw := w ψ w W j Assume φ ψ = α +α x+α 3 y and denote A j :=, x, y, A := A T, AT,, T N AT, j j j 6 j=

17 b := ψ, ψ,, N ψ T, then, from 5.63, the constant vector α = α,α,α 3 T is determined by Thus it follows We hence define A T Aα = A T b φ ψ i =,x,y A T A A T b R h ψz 0 = φ ψ Z We next define R h ψ at any vertex Z b Ω. Let Z b be shared by m m patches, e.g. ω,ω,,ω m, which are corresponding m interior vertices Z,Z,,Z m, then we can define R h ψz b := m m φ ψ i Z b, 5.67 where φ ψ i is given by Asaresult,foranygivenstressfiniteelementfunctionτ = τ,τ,τ T Σ h, we define the stress recovery R h τ M 3 h with i= R h τ := R h τ,r h τ,r h τ T Remark 5.. We can show that A T A in 5.64 is invertible for sufficiently small h. Since N 3, it suffices to show ranka = 3. In fact, in view of 3.3 and 3. it holds A j = = j, a j 0 j a j J j +a j J j, b j 0 j b j J j +b j J j j, a j 0 j, b j 0 j +Oh +α j, which implies A = a 0 b 0 a 0 b Oh+α, 5.69 N a N 0 N b N 0 N where j = Oh is the area of j w 0. Recalling that Z 0 is an interior vertex of T h and a j 0,b j 0 is the center of the element j j N,N 3, we easily have the fact that there exist at least three center points which are not lying on a same line. Thus, it holds ranka = 3 for sufficiently small h. 7

18 By the definition of R h, we can derive Lemmas Lemma 5.3. The operator R h : L Ω M h is bounded in L norm with R h ψ ψ, ψ L Ω In addition, under Diagonal condition MC it holds ψ R h ψ h +α ψ +h ψ, ψ H Ω. 5.7 Proof. We first prove Let V be the set of all vertices of T h. For ψ L ΩandZ i x i,y i V, letφ ψ i W bethesolutionoftheminimization problem From we have R h ψ h Z i Vφ ψ i Z i. 5.7 Recalling that A h, A T A h 4 cf. Remark 5. and b = ψ, ψ,, N ψ T, from 5.65 we easily obtain φ ψ i Z i =,x i,y i A T A A T b N h ψ 0, j, j= which, together with 5.7, leads to the desired conclusion. By noticing that the operator R h preserves linear polynomials on each patch ω i, namely R h ψ = ψ for ψ W, the desired estimate 5.7 follows from the Bramble-Hilbert lemma and Diagonal condition MC. Lemma 5.4. For σ Σ,let σ I Σ h be defined as in 4.. Then it holds R h σ = R h σ I Proof. Inlightof , itsufficestoshowφ σ il = φ σi il. Bytherelation 4.4 it holds j σ il = j σ I il for j =,,,N. Then the conclusion follows from the minimization problem Theorem 5.5. Let σ,u H Ω,R sym Σ V H 3 Ω and σ h,u h Σ h V h be the solutions of the problems. and 3.4, respectively. Then, under Diagonal condition MC and Neighboring condition MC, the following superconvergent result holds: Proof. By Lemma 5.4 it holds σ R h σ h h +α σ +h σ σ R h σ h = σ R h σ+r h σ I σ h. Then the desired superconvergence 5.74 follows from Lemma 5.3 and Theorem

19 5.3 A Posteriori Error Estimates Denote e u := u u h, e σ := σ σ h. Recall that G h u h and R h σ h are the recovered displacement gradients and the recovered stresses, respectively. In what follows we shall use the a posteriori estimators to estimate the errors e u,e σ. η u = G h u h u h, η σ = R h σ h σ h Theorem 5.6. Assume that T h satisfy Diagonal condition MC and Neighboring condition MC. Let σ,u H Ω,R sym Σ V H 3 Ω and σ h,u h Σ h V h be the solutions of the problems. and 3.4, respectively. Then it holds η u u G h u h e u η u + u G h u h, 5.75 η σ σ R h σ h e σ η σ + σ R h σ h Moreover, if the solution σ h,u h is such that u u h h and σ σ h h, then the recovery type a posterior error estimators η u,η σ are asymptotically exact in the sense η u /e u = +Oh min{α,}, η σ /e σ = +Oh min{α,} Proof. The inequalities follow from triangular inequality directly, and the estimates 5.77 follow from , Theorem 5. and Theorem Numerical Experiments In this section we compute two test problems, Examples 6.-6., to verify our results of superconvergence and a posterior error estimation for the PS hybrid stress finite element method. The examples are both plane strain problems with pure displacement boundary conditions, where the Lamé parameters µ, λ are given by µ = E +ν, λ = Eν +ν ν, with 0 < ν < 0.5 the Poisson ratio and E the Young s modulus. We set E = 500. In all the computation we use 4 4 Gaussian quadrature. Notice that Gaussian quadrature is accurate for computing the stiffness matrix of the PS hybrid stress FEM. All the fine meshes are obtained by bisection scheme. We compute the following relative errors for the displacement and stress approximation: θ u := u h u I, ē u := u h u, η u := ηu = G hu h u h, u u u u 9

20 θ σ := σ h σ I, ē σ := σ σ h, η σ := ησ σ σ σ = R hσ h σ h. σ Example 6.. The domain Ω = [0,] [0,], the body force f = Eπ cosπxsinπy, sinπx cosπy and the exact solution u,σ is given by +νcosπxsinπy ν xy u u = =, v +νsinπxcosπy+ ν x +ν+νy πsinπxsinπy y 0 σ = E. 0 π sinπx sinπy The initial mesh is shown in Figure 6., and numerical results are listed in Table. Example 6.. The domain Ω = [0,0] [,], the body force f = Eπ cosπxsinπy, sinπx cosπy and the exact solution is given by +νcosπxsinπy ν xy u u = =, v +νsinπxcosπy+ ν x +ν+νy πsinπxsinπy y 0 σ = E. 0 π sinπx sinπy The initial mesh is shown in Figure 6.3, and numerical results are listed in Table. We note that the refinement by bisection means that Diagonal condition MC is satisfied with α =. From Tables - we can draw the following conclusions. θ u and θ σ are of second order convergence, uniformly with respect to λ. These are conformable to the uniform superconvergence results in Theorem 4.6. ē u and η u, as well as ē σ and η σ, are of first order convergence, uniformly with respect to λ. In particular, η u and η σ are asymptotically exact, which means the a posteriori estimators η u and η σ are asymptotically exact. All these are conformable to the a posterior estimates in Theorem

21 0, 0.3,,, , 0.5 0, 0.3 0, 0 0.4, 0, 0 Figure 6.: irregular mesh for Example ,0 3 3 References Figure 6.3: 5 irregular mesh for Example 6.. [] G. Acosta and R. Durán. Error estimate for Q isoparametric elements satisfying a weak angle condition. SIAM J. Numer. Anal., 38: , 00. [] D.N. Arnold, D. Boffi and R. Falk. Approximation of quadrilateral finite elements. Math. Comp. 7: 909-9, 00. [3] I. Babuska, J. Oden and J. Lee. Mixed-hybird finite element approximations of second-oder elliptic boundary-value problems. Comput. Methods Appl. Mech. Engrg., : 75-06, 977. [4] I. Babuska and T. Strouboulis. The Finite Element Method and its reliability. Oxford University Press, London, 00. [5] I. Babuska and M. Suri. On locking and robustness in the finite element method. SIAM J. Numer. Anal., 95: 6-93, 99.

22 Table : The results of PS element on irregular meshes: Example 6.. ν Error Order 0.3 θu ē u η u θ σ ē σ η σ θu ē u η u θ σ ē σ η σ θu ē u η u θ σ ē σ η σ [6] R.E. Bank and J. Xu. Asymptotically exact a posteriori error estimators, part I: grids with superconvergence. SIAM J. Numer. Anal., 46: 94-3, 003. [7] R. E. Bank and J. Xu. Asymptotically exact a posteriori error estimators, Part II: General unstructured grids. SIAM J. Numer. Anal., 46: 33-33, 003. [8] J. Brandts and M. řížek. Gradient superconvergence on uniform simplicial partitions of polytopes. IMA Journal of Numerical Analysis, 3: , 003. [9] F. Brezzi and M. Fortin. Mixed and Hybird Finite Element Methods. Springer-Verlag, New York, 99. [0] C.M. Chen. Structure Theory of Superconvergence of Finite Elements. Hunan Science Press in Chinese, 00. [] L. Chen. Superconvergence of tetrahedral linear finite elements. Int. J. Numer. Anal. Model, 3: 73-8, 006.

23 5 0 Figure 6.4: Irregular meshes Table : The results of PS element on irregular meshes: Example 6.. ν Error Order 0.3 θu ē u η u θ σ ē σ η σ θu ē u η u θ σ ē σ η σ θu ē u η u θ σ ē σ η σ [] C.M. Chen and Y.Q. Huang. Hign Accuracy Theory of Finite Element Methods. Hunan Science Press in Chinese, 995. [3] P. Jamet. Estimation of the interpolation error for quadrilateral finite elements which can degenerate into triangles. SIAM J. Numer. Anal., 4: , 977. [4] Richard E. Ewing, Michael M. Liu and J.P. Wang. Superconvergence of mixed finite element approximations over quadrilaterals. SIAM J. Numer. Anal., 363: , 999. [5] B. Heimsund, X.C. Tai, and J. Wang. Superconvergence for the gradient of finite element approximations by L projections. SIAM J. Numer. Anal., 404: 63-80, 00. 3

24 [6] Y. Huang and J. Xu. Superconvergence of quadratic finite elements on mildly structured grids. Math. Comp., 77: 53-68, 008. [7] M. řížek, P. Neittaanmëki, and R. Stenberg Eds.. Finite Element methods: Supercpnvergence, Post-processing, and A Posteriori Estimates. Lecture Notes in Pure and Applied Mathematics Series, Vol. 96, Marcel Dekker, Inc., New York, 997. [8] A. M. Lakhany, I. Marek, and J. R. Whiteman. Superconvergence results on mildly structured triangulations. Comput. Methods Appl. Mech. Engrg., 89: -75, 000. [9] B. Li and Z. Zhang. Analysis of a class of superconvergence patch recovery techniques for linear and bilinear finite elements, Numer Meth Part Diff Eq., 5: 5-67, 999. [0] R. Li, W.B. Liu, and N.N. Yan. A posteriori error estimates of recovery type for distributes convex optimal control problem. J. Sci. Comput., 33: 55-8, 007. [] Z.C. Li, H.T. Huang, and N. Yan. Global Superconvergence of Finite Elements for Eliptic Equations and Its Applications[M]. 0. [] Q. Lin and N.N. Yan. Construction and Analysis of Hign Efficient Finite Elements in Chinese. Hebei University Press, P.R. China, 996. [3] P.B. Ming and Z.C. Shi. Quadrilateral mesh revisited. Comput. Methods Appl. Mech. Engrg., 9: , 00. [4] P.B. Ming, Z.C. Shi and Y. Xu. Superconvergence studies of quadrilateral nonconforming rotated Q elements. Int. J. Numer. Anal. Model, 33: 3-33, 006. [5] A. Naga and Z.M. Zhang. A posteriori error estimates based on the polynomial prserving recovery. SIAM J. Numer. Anal., 44: , 004. [6] A. Naga and Z.M. Zhang. The polynomial-preserving recovery for higher order finite element methods in D and 3D. Discrete and Continuous Dynamical Symtems-Series B, 53: , 005. [7] A.Naga, Z.M. Zhang and A. Zhou. Enhancing eigenvalue approximation by gradient recovery. SIAM J. Sci. Comput, 84: , 006. [8] J. Oden, and J. Lee. Theory of mixed and hybird finite-element approximations in linear eslasticity. Appl. Methods Funct. Anal. Problems Mech., 976:

25 [9] J. Oden and J. Reddy. An Introduction to the Mathematical Theory of Finite Elements. Vol. 79. Wiely, New York, 976. [30] T. H. H. Pian. Derivation of element stiffness matrices by assumed stress distributions. AIAA Journal, : , 964. [3] T. H. H. Pian. A historical note about hybrid elements. Internat. J. Numer. Methods Engrg., 5: 89-89, 978. [3] T. H. H. Pian. State-of-the-art development of hybrid/mixed finite element method, Finite Elements in Analysis and Design, : 5-0, 995. [33] T.H.H. Pian and. Sumihara. Rational approach for assumed stress finite element methods. Int. J. Numer. Meth. Engrg., 0: , 984. [34] T. H. H. Pian and P. Tong. Basis of finite element methods for solid continua. Internat. J. Numer. Methods Engrg., : 3-8, 969. [35] T. H. H. Pian and P. Tong. Relations between incompatible displacement model and hybrid stress model. Internat. J. Numer. Methods Engrg., :73-8, 986. [36] T.H.H. Pian and C. Wu. Hybrid and incompatible finite element methods. CRC Press, 006. [37] R. Piltner. An alternative version of the Pian-Sumihara element with a simple extension to non-linear problems. Comput. Mech. 65: , 000. [38] A. H. Schatz, I. H. Sloan, and L. B. Wahlbin. Superconvergence in finite element methods and meshes that are symmetric with respect to a point. SIAM J. Numer. Anal., 33: 505-5, 996. [39] Z.C. Shi. A convergence condition for the quadrilateral wilson element. Numer. Math., 44: , 984. [40] Z.C. Shi, B. Jiang, and W. Xue. A new superconvergence property of Wilson nonconforming finite element. Numer. Math. 78: 59-68, 997. [4] Z.C. Shi, X.J. Xu, and Z.M. Zhang. The patch recovery for finite element approximation of elasticity problems under quadrilateral meshes, Discrete and Continuous Dynamical Systems Series, 9: 63-8, 008. [4] L.B. Wahlbin. Superconvergence in Galerkin Finite Element Methods, Lecture Notes in Mathematics. Vol. 605, Springer, Berlin,

26 [43] J.P. Wang and X. Ye. Superconvergence of finite element approximations for the Stokes problem by projection methods. SIAM J. Numer. Anal., 393: 00-03, 00. [44] Y.. Wu, X.P. Xie, and L. Chen. Hybrid stress finite volume method for linear elasticity problems. International Journal of Numerical Analysis and Modeling, 03: , 03. [45] X.P. Xie and T.X. Zhou. Optimization of stress modes by energy compatibility for 4-node hybrid quadrilaterals. Int. J. Numer. Methods Engrg., 59: 93-33, 004. [46] N.N. Yan. Superconvergence Analysis and a Posteriori Error Estimation in Finite Element Methods. Science Press, Beijing, 008. [47] X. Ye. Superconvergence of nonconforming finite element method for the Stokes equations. Numerical Methods for Partial Differential Equations, 8: 43-54, 00. [48] G.Z. Yu, X.P. Xie, and C. Carstense. uniform convergence and a posterior error estimation for assumed stress hybrid finite element methods. Comput. Methods Appl. Mech. Engrg., 00: 4-433, 0. [49] S.Q. Zhang and X.P. Xie. Accurate 8-Node hybrid hexahedral elements energy-compatible stress modes. Adv. Appl. Math. Mech., : , 00. [50] Z.M. Zhang. Analysis of some quadrilateral nonconforming elements for incompressible elasiticity. SIAM J. Numer. Anal., 34: , 997. [5] Z. Zhang. Ultraconvergence of the patch recovery technique II. Math. Comp., 69: 4-58, 000. [5] Z.M. Zhang. Polynomial preserving recovery for anisotropic and irregular grids, Journal of Computational Mathematics. : , 004. [53] Z.M. Zhang. Polynomial preserving gradient recovery and a posterori estimate for bilinear element on irregular quadrialterals. Int. J. Numer. Anal. Model., : -4, 004. [54] Z.M. Zhang and A.Naga. A new finite element gradient recovery method: superconvergence property. SIAM J. Sci. Comput., 6: 9-3, 005. [55] T.X. Zhou and Y.F. Nie. Combined hybird approach to finite element schemes of high performance. Int. J. Numer. methods Engrg., 5: 8-0, 00. 6

27 [56] T.X. Zhou and X.P. Xie. A unified analysis for stress/strain hybrid methods of high performance. Comput. Methods Appl. Meth. Engrg., 94-4: , 00. [57] Q.D. Zhu and Q. Lin. Superconvergence Theory of the Finite Element Method in Chinese. Hunan Science Press, China, 989. [58] O.C. Zienkiewicz and J.Z. Zhu. The superconvergence pach recovery and a posteriori error estimates, Part : The recovery technique. Int. J. Numer. Methods Engrg., 33: , 99. [59] O.C. Zienkiewicz and J.Z. Zhu. The superconvergence pach recovery and a posteriori error estimates, Part : Error estimates and adaptivity. Int. J. Numer. Methods Engrg., 33: , 99. [60] M. Zlamal. Superconvergence and reduced integration in the finite element method. Math. Comp. 3: ,