An interpolation operator for H 1 functions on general quadrilateral and hexahedral meshes with hanging nodes Vincent Heuveline Friedhelm Schieweck Abstract We propose a Scott-Zhang type interpolation operator for the approximation of non-smooth functions in H 1 by means of continuous piecewise polynomials of low order. The novelty of the proposed interpolation operator is that it is defined for a general non-affine family of quadrilateral and hexahedral meshes with possibly hanging nodes. The derived interpolator exhibits optimal approximation properties for functions in H 1 and preserves homogeneous Dirichlet boundary conditions naturally. eywords: finite-element interpolation, hanging nodes, non-smooth functions Mathematics Subject Classification (2000): 65N15, 65N30, 65N50 1 Introduction The approximation properties of finite elements in Sobolev spaces have been well studied in general in e.g. [6, 4, 3] and references therein as well as in the case of general quadrilateral finite elements in [2]. In most cases, the proof of these approximation properties is based on the construction of an interpolation operator which uses nodal values of the function to be approximated. However, the nodal value of a function may not be well defined if the Institut für Angewandte Mathematik, Universität Heidelberg, INF 293, D-69120 Heidelberg, Germany, URL: http://gaia.iwr.uni-heidelberg.de/ heuvelin/ Institut für Analysis und Numerik, Otto-von-Guericke-Universität Magdeburg, Postfach 4120, D-39016 Magdeburg, Germany, URL: http://www-ian.math.uni-magdeburg.de/home/schieweck/ 1
2 V. Heuveline and F. Schieweck function under consideration is too rough. For example, functions in the Sobolev space H 1 have no pointwise value in two or more dimensions. In [7, 17] an interpolation operator is constructed using patchwise averaging to define nodal values for functions in L 1. However, with this approach it is problematic to realize non-homogeneous boundary data. In [15], an interpolation operator for H 1 functions is constructed based on averaging over (d 1)-dimensional faces of the d-dimensional elements. The advantage of this approach in contrast to that of [7, 17] is that it preserves piecewise polynomial boundary conditions of the approximated function in a natural way. The restriction of both approaches in [7, 17] as well as in [15] is that they assume a regular mesh and affine equivalent elements. The assumption of a regular mesh excludes the usage of meshes with so-called hanging nodes. From the practical point of view, meshes with hanging nodes are very attractive in applications with adaptive mesh refinement, in particular in the 3D-case (see e.g. [9, 10]). In [14], one can find an analysis for mixed hp-fem with hanging nodes. The authors derive a Clément type interpolant for a special two-dimensional case with so-called geometric meshes where the elements are assumed to be affine equivalent quadrilaterals. For quadrilateral or hexahedral meshes, the assumption of affine equivalent elements means that only such elements are admitted that are parallelograms or parallelepipeds, respectively. Thus, from the practical point of view, this assumption is too restrictive. In this note, we construct and analyze an interpolation operator for rough, nonsmooth functions in H 1. Such interpolation operators play an important role for the development of a posteriori error estimators (see e.g. [16, 17, 1] and references therein) as well as for the proof of the inf-sup condition in the context of mixed finite elements [8, 5]. This last application in the context of hp-fem on general meshes with hanging nodes has been the starting point of this work [11]. Despite its high relevance in practice, little attention has been paid to the derivation of such interpolation operators for the case of general quadrilateral and hexahedral meshes with non-affine equivalent elements and with the freedom of having hanging nodes. Our goal in this paper is to fill this gap. We derive an interpolation operator with the following features: - optimal order interpolation for functions in H 1 ; - two and three dimensional meshes consisting of elements mapped by means of a multilinear reference transformation, i.e. non-affine equivalent elements;
Interpolation operator for H 1 functions 3 - possibility to use hanging nodes under the assumption of a so-called 1 regular mesh; - preserving of homogeneous boundary conditions in a natural way. For the construction and analysis of our operator, we use the general concept of defining appropriate nodal functionals (see e.g. [13]). Note that in the three-dimensional case of non-affine equivalent elements, the two dimensional faces of the hexahedral elements can be curved in general. This fact causes some extra difficulties in the analysis of the interpolation operator. The outline of this paper is as follows: In 2, we introduce the notations and state the assumptions to be made on the meshes and finite element spaces. In 3 we prove some specific properties of general quadrilateral and hexahedral meshes with hanging nodes. These properties are needed for the analysis of the proposed interpolation operator. The construction and the proof of optimal local estimates of the interpolation error in H 1 and L 2 are established in 4. 2 Preliminaries and Notation 2.1 General Notations We consider simultaneously the case of scalar and vector-valued functions v : Ω R n where Ω R d, d {2, 3}, is a bounded domain and n = 1 for scalar functions and n = d for vector-valued functions. For a measurable set G Ω, let (, ) G and 0,G denote the inner product and the norm in L 2 (G) or (L 2 (G)) n, respectively. Furthermore, let m,g and m,g denote the seminorm and norm in the Sobolev space H m (G) and (H m (G)) n, respectively. For a (d 1)-dimensional subset E G, we denote by, E the inner product in L 2 (E), i.e. u, v E := u(x)v(x) ds. E We denote by P m (G) the space of all polynomials on the domain G R d with total degree less or equal to m and by Q m (G) the space of those polynomials where the maximum power in each coordinate is less or equal to m. By card(j) we denote the number of elements of a finite set J. The Euclidean norm of a vector v will be denoted by v. For a set G R d, we denote by int(g) and G the interior and closure of G, respectively. If G Ω is a d-dimensional set then we will write
4 V. Heuveline and F. Schieweck G for the d-dimensional measure of G and if E G is a (d 1)-dimensional subset we denote by E the (d 1)-dimensional measure of E. The meaning will be clear from the context. Throughout this paper, C, C, C will denote generic constants which may have different values at different places. All these constants occurring inside of any estimates will be independent of the local and global mesh parameter h and h, respectively, which will be defined below. 2.2 Meshes and finite-element spaces Let the bounded domain Ω R d be decomposed by a mesh T of elements T which are assumed to be open quadrilaterals in the 2D-case and open hexahedrons in the 3D-case such that Ω = T. For an element T we denote by h the diameter of the element and by ρ the diameter of the largest ball that can be inscribed into. The meshwidth h of T is given by h := max T h. We assume that the mesh is shape regular in the sense of [12]. Note that for general non-affine families of quadrilateral or hexahedral meshes the usual shape regularity assumption h ρ C for all T is not sufficient. The shape regularity assumption of [12] imposes that the distortion of the quadrilateral or hexahedral elements from a parallelogram or parallelepiped, respectively, is uniformly bounded (see below for more details). This guarantees that the mapping F : between the reference element = ( 1, 1) d and the original element T is bijective. Note that the mapping F is multi-linear, i.e. F (Q 1 ( )) d, which implies that in the three dimensional case d = 3 the faces of a hexahedral element are in general curved. The corresponding normal unit vectors are therefore not constant. In the following, we describe the shape regularity assumption of [12] in more detail. By a Taylor expansion of F (ˆx) we get F (ˆx) = b + B ˆx + G (ˆx), (1) with b := F (0), B := DF (0) and G (ˆx) := F (ˆx) F (0) DF (0)(ˆx). We denote by Ŝ the d-simplex with the vertices (0,..., 0), (1, 0,..., 0),..., (0,..., 0, 1) and by S the image of Ŝ under the affine mapping ˆx B ˆx+b. For the simplices S, T, we assume the usual shape regularity assumption h S ρ S C T, (2)
Interpolation operator for H 1 functions 5 where h S := diam(s ) and ρ S is the diameter of the largest ball inscribed into S. Note that we have B Ch S, B 1 Ch 1 S T, (3) where B denotes the matrix norm induced by the Euclidean vector norm in R d. For each element T, we define the constant γ by γ := sup B 1 ˆx b DF (0) I, (4) which is a measure of the deviation of from a parallelogram or a parallelepiped, respectively. Note that γ = 0 if the mapping F is affine. Definition 1 A mesh T of quadrilateral or hexahedral elements is called shape regular if the conditions (2) and are satisfied. γ γ 0 < 1 T, (5) In [12], it has been proven that for a shape regular mesh in the sense of Definition 1, the following estimates hold d! (1 γ ) d S det(df (ˆx)) d! (1 + γ ) d S ˆx, (6) DF (ˆx) (1 + γ ) B ˆx. (7) Furthermore, in [12] one can find sufficient conditions that guarantee the assumption (5). These conditions can be easily checked in practical computations. In [2] some conditions for general two-dimensional quadrilateral meshes are given in order to derive optimal approximation estimates of the corresponding Q r finite element spaces. In this paper, our main interest is to derive an H 1 -stable first order interpolation operator for meshes with hanging nodes. regular grid T has to be weakened. That means that the usual assumption of a In the following, we will describe the type of grids that is treated in this paper. T is a muli-level grid generated by a refinement process in the following way. We start with a partition T 0 of the domain Ω into elements T 0 of grid-level 0, i.e. Ω = int ( T 0 ). The grid T 0 is assumed to be regular in the usual sense, i.e. for any two different elements 1, 2 T 0 the intersection 1 2 is either empty or a common (d m)-dimensional face of 1 and 2 where m {1,..., d}. Now, starting with the elements T 0,
6 V. Heuveline and F. Schieweck σ 4 () σ 3 () σ 1 () σ 2 () Figure 1: refinement of element into son-elements σ i (), i = 1,..., 4 an existing element can be refined, i.e. it can be splitted into 2 d many new elements called son-elements and denoted by σ i (), i = 1,..., 2 d (see Figure 1). For a new element = σ i (), we will say that is the father-element of and we will write = F( ). If an element is refined then, in the partition of the domain Ω, it is replaced by the set of its son-elements σ i (), i = 1,..., 2 d. The new elements can be refined again and again and so the final partition T of Ω is created. Examples of such grids used in practical computations can be found in [9], [10]. Definition 2 For an element T, generated from the initial grid T 0 by the refinement process described above we define the refinement level l() as l() := 0 if T 0 and l() := m 1 if there exists a chain of m father-elements i, i = 1,..., m, starting from 0 := and defined by i := F( i 1 ) for i = 1,..., m, such that m T 0. The above defined refinement level l() is equal to the number of refinement steps that is needed to generate element from an element of the coarsest grid T 0. Definition 3 A grid T, generated by the above defined refinement process from the initial grid T 0, is called 1-regular if it holds l() l( ) 1 for any pair of face-neighbored elements, T where the (d 1)-dimensional measure of is positive. In this paper, we consider only grids T which are 1-regular. For practical computations, this is not a restriction since complicated structures can be described in a reasonable way by means of 1-regular grids (see e.g. [9], [10]). Finally, we need some additional notation for the analysis in the following sections. We denote by E() the set of all (d 1)-dimensional faces of an element, by n the unit
Interpolation operator for H 1 functions 7 (E) E (E) (E) E E 1 (E 1 ) E 2 (E 2 ) Figure 2: Two dimensional configuration for the case of a regular inner face i.e. E E r (left) and for the case of an irregular inner face i.e. E E i (right) where E 1, E 2 are the son-faces of E. normal vector on the element boundary directed outward with respect and by n E the restriction of the normal vector n to the face E E(). Let E be the set of all faces E E() of all elements T. We split E in the form E = E 0 E(Γ) where E(Γ) describes all faces of E located at the boundary Γ of Ω and E 0 denotes the set of inner faces of E. For any face E E, we define the set T (E) of cells associated with E as T (E) := { T : E E()}. Let E r and Ẽr denote the set of the regular inner faces and the set of the regular faces defined as respectively. E r := {E E 0 : card(t (E)) = 2} and Ẽ r := E r E(Γ), For each regular face E E r, there exist exactly two different elements denoted by (E) and (E) such that E is one of their faces, i.e. T (E) = {(E), (E)} E E r. For all other faces E E \ E r, there is only one element denoted by (E) which has E as one of its faces, i.e. T (E) = {(E)} E E \ E r. A face Ẽ E is called a son-face of a face E E if Ẽ E and Ẽ < E where Ẽ and E denote the (d 1)-dimensional measure of Ẽ and E, respectively (see Figure 2 We denote
8 V. Heuveline and F. Schieweck by σ(e) the set of all son-faces of E. Note that for each regular face E E r, the set σ(e) is empty. We denote by E i the set of all irregular inner faces defined as E i := {E E 0 : σ(e) }. Using these definitions, the set E 0 of all inner faces can be decomposed as E 0 = E r E i ( E E i σ(e)). Let Ẽ σ(e) be a son-face of E E i, then the face E is called the father-face of Ẽ and we will write E = F(Ẽ). We define the set of all son-faces by E σ := E E i σ(e). For a given element T, we define further E µ () := E() E µ for µ {r, i, σ}. Finally, for each face E E, let n E denote the unit vector n (E) E face E and directed outward with respect to the element (E). which is normal to the For the subsequent analysis, we need the scalar finite element spaces S 1 h H1 (Ω) and S 1 h H1 0(Ω) associated with the mesh T S 1 h := {φ H 1 (Ω) : φ F Q 1 ( ) T }, (8) S 1 h := S 1 h H 1 0(Ω), (9) and the finite element spaces of vector-valued functions v : Ω R n defined as X 1 h := ( S 1 h )n and X 1 h := (S1 h )n. Some attention is required to ensure interelement continuity in (8) and (9) in case of hanging nodes. We refer to section 4.1 for the treatment of this issue. 3 Some properties of the meshes Lemma 4 Let T be a 1-regular mesh which is shape regular in the sense of Definition 1. Furthermore, let h S denote the diameter of simplex S associated to the element T as described in Section 2.2. Then, for each element T, the following estimates are satisfied Ch h S C h, (10)
Interpolation operator for H 1 functions 9 DF (ˆx) Ch ˆx, (11) Ch d det(df (ˆx)) C h d ˆx. (12) Proof. In order to prove (10), we consider the affine mapping which maps Ŝ to S. Then, we get F aff (ˆx) := F (0) + DF (0)ˆx = b + B ˆx, h S = sup F aff ˆx,ŷ S b (ˆx) F aff (ŷ) 2 d B. (13) A direct computation shows that the column vectors of the matrix B can be represented as a linear combination of differences of the vectors a,m = F (â m ), m = 1,..., 2 d, where â m are the vertices of = ( 1, 1) d. The vectors a,m correspond to the vertices of the original element. Therefore, we obtain the estimate B Ch which implies by means of (13) the estimate h S C h. Using the estimates (7), (5) and (3) we get h = sup ˆx,ŷ b F (ˆx) F (ŷ) 2 d sup DF (ˆξ) ˆξ b C(1 + γ ) B C(1 + γ 0 )h S, which proves the estimate Ch h S. Now, the estimate (11) is a simple consequence of (7), (5), (3) and the estimate h S C h. Using the estimates (6), (5), (2) and (10) we get det(df (ˆx)) d!(1 γ 0 ) d S Cρ d S Ch d S Ch d ˆx, which proves the lower bound in (12). The upper bound in (12) is a simple consequence of (11). Lemma 5 Let T be a 1-regular mesh which is shape regular in the sense of Definition 1. Then for any element T and for any face E E() the following estimates hold Ch d 1 E C h d 1. (14)
10 V. Heuveline and F. Schieweck Proof. Let â m, m = 1,..., 2 d describe the vertices of the reference element := ( 1, 1) d in R d. First we consider the two dimensional case d = 2. Clearly there exist i 1, i 2 {1, 2, 3, 4} such that E = F (â i1 ) F (â i2 ) = DF (ξ) (â i1 â i2 ) = 2 DF (ξ) e m, (15) where ξ and e m for m = 1, 2 denotes the m-th unit vector in R 2. Let d 1, d 2 R 2 be defined such that DF (ξ) = [d 1, d 2 ]. It is well known that det([d 1, d 2 ]) corresponds to the area of the parallelogram spanned by the vectors d 1 and d 2, i.e. det(df (ξ)) = d 1 d 2 sin(α), where α is the angle between d 1 and d 2. Then, based on the estimate (12) of Lemma 4 we obtain d 1 Ch 2 d 2 sin(α) Ch. Similarly we derive d 2 Ch and combined with (15) this leads to E Ch. For the three dimensional case d = 3 the proof is slightly more involved. We assume E to be defined such that Ê = F 1 (E) corresponds to the face ˆx 1 = 1. Then, we can represent each point ˆx Ê as and each point x E as Further, we have with ˆx = γ(t 1, t 2 ) := ( 1, t 1, t 2 ) T where (t 1, t 2 ) G := ( 1, 1) 2, x = γ(t 1, t 2 ) := F ( γ(t 1, t 2 )), (t 1, t 2 ) G. E = N E (t 1, t 2 ) := γ γ (t1 t 1 t = F,t 2 ) 2 ˆx 2 By definition we have det(df (ˆγ(t 1, t 2 ))) = F ( F ˆx 1 = F ˆx 1 G N E (t 1, t 2 ) dt 1 dt 2, (16) ˆx 2 F ˆx 3 ˆx=ˆγ(t1,t 2 ). F ˆx 3 ) ˆx=ˆγ(t 1,t 2 ) N E (t 1, t 2 ) = F ˆx 1 N E (t 1, t 2 ) cos(α), (17)
Interpolation operator for H 1 functions 11 where α is the angle between F ˆx 1 and N E (t 1, t 2 ). From (17) we deduce N E (t 1, t 2 ) = det(df (ˆγ(t 1, t 2 ))) F ˆx 1 cos(α) (18) Then, from (12) and (11) we get N E (t 1, t 2 ) Ch 2. (19) Together with (16) we get E Ch 2, which was to be proved. Obviously the proof where Ê corresponds to ˆx i = ±1 is completely analogous. Lemma 6 Let E E r E i and T such that E E(). Then, the following estimate holds v L 2 (E) C h 1/2 { h 1 v 0, + v 1, } Proof. At first, we need to prove the estimate v (H 1 ()) d. (20) v L 2 (E) C h (d 1)/2 ˆv L 2 ( b E), (21) where the function ˆv (H 1 ( )) d is defined by ˆv := v(f (ˆx)) for all ˆx. We present the proof of (21) only for the three dimensional case d = 3. The case d = 2 follows easily by simple transformation of the integrals corresponding to both sides of (21). We consider only the special case where Ê = F 1 (E) corresponds to ˆx 1 = 1. For the face E, we get v 2 L 2 (E) = v(γ(t 1, t 2 )) N E (t 1, t 2 ) dt 1 dt 2, with G N E (t 1, t 2 ) = ( γ t 1 γ t 2 ) (t1,t 2 ). Now, considering the estimate (11), N E (t 1, t 2 ) F ( γ(t 1, t 2 )) ˆx 2 F ( γ(t 1, t 2 )) ˆx 3 Ch2, we obtain v 2 L 2 (E) Ch2 G v(γ(t 1, t 2 )) 2 dt 1 dt 2. (22)
12 V. Heuveline and F. Schieweck The parametrization of Ê is given by ˆx = γ(t 1, t 2 ) = ( 1, t 1, t 2 ) T for (t 1, t 2 ) G and the corresponding normal vector is Therefore, we get ˆv 2 L 2 ( b E) = G N be (t 1, t 2 ) := ( γ t 1 γ t 2 ) (t1,t 2 ) = (1, 0, 0)T. ˆv( γ(t 1, t 2 )) 2 N be (t 1, t 2 ) dt 1 dt 2 = G v(γ(t 1, t 2 )) 2 dt 1 dt 2. Together with (22), this proves (21) for the case d = 3. Now, we apply the trace theorem on the reference element and well-known estimates between the norms of ˆv and and the norms of v on (see e.g. [6]) and get ˆv L 2 ( E) b C ˆv 0, b + C ˆv 1, b Ch d/2 v 0, + Ch 1 d/2 v 1,. The proof where Ê corresponds to ˆx i = ±1 is completely analogous. Together with (21), this proves the estimate (20). 4 Interpolation operator 4.1 Construction of the operator R h Let â m, m = 1,..., 2 d, denote the vertices of the reference element := ( 1, +1) d. We introduce the global index set J 1 of all vertices {a j } j J 1 of the mesh T. An index j J 1 will be called a node and the associated vertex a j a nodal point. Obviously, for each nodal point a j, there exists at least one element T such that a j = F (â m ) where m { 1,..., 2 d}. Let us define by J 1 () := { j J 1 : a j = F (â m ), 1 m 2 d}. the set of nodes associated with the element T. An index j J 1 is called a hanging node if there exists an irregular face E E i and a son face Ẽ σ(e) such that j / J 1 ((E)) and j J 1 ((Ẽ)). The set of indices associated to regular (i.e. non-hanging) nodes is denoted by Jr 1.
Interpolation operator for H 1 functions 13 Following the idea in Scott-Zhang [15], we assign to each nodal point a j, j {1,..., n}, a face E(j) := E j Ẽr E i, such that a j E j E j, (23) a j Ω E j Ω, (24) j J 1 \Jr 1 E j E i. (25) Note that the conditions (23-25) do not lead to a unique possible mapping E( ). For j Jr 1, let ϕ j S h 1 denote the basis function associated with the regular vertex node a j by the condition ϕ j (a i ) = δ ij i Jr 1. (26) Then, due to continuity requirements, the nodal values ϕ(a j ) of a finite element function ϕ S h 1 at a hanging node a j is determined by a linear combination of the nodal values ϕ(a i ) for i J 1 ((E j )) i.e. ϕ(a j ) = α j,i ϕ(a i ) ϕ S h, 1 (27) i J 1 ((E j )) where α j,i := ϕ i (a j ) j J 1 \J 1 r, i J 1 ((E j )). (28) Now, for the definition and also for the subsequent analysis of the interpolation operator, we use the general concept of defining suitable nodal functionals [13]. For j Jr 1 and v := (v 1,..., v n ) T (H 1 (Ω)) n, we define the vector-valued nodal functional N j (v) := (N j,1 (v),..., N j,n (v)) T R n with N j,k (v) := E j E 1 v k ds j j Jr 1, k {1,..., n}. (29) Based on this definition and on the definition (28) we define further for j J 1 \Jr 1 the vector-valued functional Ñ j,k : (H 1 (Ω)) n R by means of Ñ j,k (v) := α j,i N i,k (v) j J 1 \Jr 1, k {1,..., n}. (30) i J 1 ((E j )) For a given function v (H 1 (Ω)) n, we define the interpolate R h v X h 1 locally on each element T as R h v := N j (v) ψj + Ñ j (v) ψj, (31) j Jr 1() j J 1 ()\Jr 1()
14 V. Heuveline and F. Schieweck where ψ j is the usual Q 1 Lagrange basis function on with respect to the node a j for j J 1 (). One can easily show that this elementwise definition yields a globally continuous function, i.e. for v (H 1 (Ω)) n we have R h v X h 1. Due to the condition (25) we have furthermore R h v X 1 h (H 1 0(Ω)) n v (H 1 0(Ω)) n. (32) In the same way, one can easily show the property R h v = v if v(x) = c R n x Ω. (33) 4.2 Properties of the operator R h For an element T, we define the set of neighboring elements of as { } Λ() := T :. (34) Lemma 7 Let T be a 1-regular and shape regular mesh. Then for all T, it holds Ch e h C h e Λ(). (35) Proof. It is sufficient to show the estimate h C h e since the estimate Ch e h follows by exchanging the role of and. For each Λ(), there exists a chain of face neighbored elements i, i = 0,..., s, with 0 = and s = such that for the common boundary E i := i 1 i one the following three conditions is satisfied for i = 1,..., s: Case 1: E i E( i 1 ) and E i E( i ), Case 2: E i E σ ( i 1 ) and F(E i ) E( i ), Case 3: F(E i ) E( i 1 ) and E i E( i ), where F(E i ) denotes the father face of E i. Using (14), we get for each i {1,..., s} the estimates Case 1: h i 1 C E i 1/(d 1) Ch i, Case 2: h i 1 C E i 1/(d 1) C F(E i ) 1/(d 1) Ch i, Case 3: h i 1 C F(E i ) 1/(d 1) C E i 1/(d 1) Ch i.
Interpolation operator for H 1 functions 15 Thus, we obtain h C s h e. Due to the shape regularity of the mesh T, the number s of the chain connecting with Λ() is uniformly bounded which implies the estimate h C h e. We are now able to state the main result of this paper. Theorem 8 For T, the operator R h defined in (31) satisfies R h v 1, C v 1,ω() v (H 1 (Ω)) n, (36) v R h v 0, Ch v 1,ω() v (H 1 (Ω)) n, (37) where δ() :=, ω() := δ( ). e Λ() e Λ() Proof. First we derive some estimates of N j for j J 1 r () and Ñj for j J 1 ()\J 1 r () with respect to h. Based on the definition (29), we obtain for j J 1 r and v (H 1 (Ω)) n N j (v) E j 1 E j v ds E j 1/2 v L 2 (E j ), { Ch 1/2 e Ch 1/2 h 1 e v 0, e + v 1, e }, { h 1 v 0,δ() + v 1,δ() }, (38) where the last two estimates follow from (20) and (35) assuming = (E j ). Now based on the definition (30) of Ñj,k(v) we obtain for j J 1 ()\J 1 r () and for v (H 1 (Ω)) n Ñj(v) i J 1 ((E j )) α j,i N i (v) i J 1 ((E j )) N i (v), (39) where the last inequality directly follows from the definition (28) of α j,i which obviously leads to α j,i 1. Since (E j ) δ(), we deduce from (38) and (39) Ñj(v) Ch 1 d 2 { h 1 v 0,ω() + v 1,ω() } j J 1 ()\J 1 r (). (40) From (31), (38) and (40) we obtain R h v 1, C N j (v) ψj 1, + Ñj(v) ψj 1, j Jr 1() j J 1 ()\Jr 1() C { h 1 v 0,ω() + v 1,ω() }, (41)
16 V. Heuveline and F. Schieweck since ψ j 1, Ch d 2 1 T, j J 1 (). For any constant c R n we obtain from (33) the equality which combined with (41) leads to R h v 1, = R h v c 1, = R h (v c) 1,, R h v 1, C { h 1 v c 0,ω() + v 1,ω() }. Now let c R n be the constant L 2 interpolate of v in ω(), then we get the estimate (36) which is to be proved. The interpolation property (37) is proven in a similar way. From (31), (38) and (40) we obtain R h v 0, C N j (v) ψj 0, + Ñj(v) ψj 0, j Jr 1() j J 1 ()\Jr 1() C { v 0,ω() + h v 1,ω() }, (42) where the last inequality follows from ψ j 0, Ch d/2 T, j J 1 (). Let c R n be the constant interpolate of v on ω() in the L 2 norm, then we obviously get R h (v c) 0, C { v c 0,ω() + h v 1,ω() } Ch v 1,ω(). (43) This estimate combined with (33) the directly leads to v R h v 0, v c 0, + Ch v 1,ω() = Ch v 1,ω() v (H 1 (Ω)) n. This concludes the proof. References [1] M. Ainsworth and J.T. Oden. A posteriori error estimation in finite element analysis. Pure and Applied Mathematics. A Wiley-Interscience Series of Texts, Monographs, and Tracts. Chichester: Wiley. xx, 240 p., 2000.
Interpolation operator for H 1 functions 17 [2] D. N. Arnold, D. Boffi, and R. S. Falk. Approximation by quadrilateral finite elements. Math. Comput., 71(239):909 922, 2002. [3] C. Bernardi. Optimal finite-element interpolation on curved domains. SIAM J. Numer. Anal., 26(5):1212 1240, 1989. [4] S.C. Brenner and R. Scott. The Mathematical Theory of Finite Element Methods. Springer- Verlag, 1994. [5] F. Brezzi and M. Fortin. Mixed and Hybrid Finite Element Methods, volume 15 of Springer Series in Computational Mathematics. Springer-Verlag, 1991. [6] P. G. Ciarlet. The finite element method for elliptic problems. Studies in Mathematics and its Applications. Vol. 4. Amsterdam - New York - Oxford: North-Holland Publishing Company, 1978. [7] Ph. Clément. Approximation by finite element functions using local regularization. RAIRO Anal. Numér., 9(R-2):77 84, 1975. [8] V. Girault and P.-A. Raviart. Finite Element Methods for Navier Stokes equations. Springer- Verlag, Berlin-Heidelberg-New York, 1986. [9] V. Heuveline and R. Rannacher. A posteriori error control for finite element approximations of elliptic eigenvalue problems. Adv. Comput. Math., 15(1-4):107 138, 2001. [10] V. Heuveline and R. Rannacher. Duality-based adaptivity in the hp-finite element method. J. Numer. Math., 11(2):95 113, 2003. [11] V. Heuveline and F. Schieweck. The Inf-Sup condition for higher order finite elements on meshes with hanging nodes. Technical report, University Heidelberg, SFB 359, 2004. [12] G. Matthies and L. Tobiska. The inf-sup condition for the mapped Q k -Pk 1 disc arbitrary space dimensions. Computing, 69:119 139, 2002. element in [13] F. Schieweck. A general transfer operator for arbitrary finite element spaces. Preprint 25/00, Otto-von-Guericke Universität Magdeburg, Fakultät für Mathematik, 2000. http://www-ian.math.uni-magdeburg.de/home/schieweck. [14] S. Schötzau, C. Schwab, and R. Stenberg. Mixed hp-fem on anisotropic meshes ii: Hanging nodes and tensor products of boundary layer meshes. Numer. Math., 83:667 697, 1999.
18 V. Heuveline and F. Schieweck [15] L. R. Scott and S. Zhang. Finite element interpolation of nonsmooth functions satisfying boundary conditions. Math. Comp., 54(190):483 493, 1990. [16] R. Verfürth. A Review of A Posteriori Error Estimation and Adaptive Mesh-Refinement Techniques. Wiley-Teubner series in advances in numerical mathematics. Wiley-Teubner, 1996. [17] R. Verfürth. Error estimates for some quasi-interpolation operators. Math. Model. Numer. Anal., 33(4):695 713, 1999.