arxiv: v2 [math.na] 31 Oct 2016

Transcription

1 1 Multiscale methods for problems with comple geometry Daniel Elfverson, Mats G. Larson, and Ael Målqvist September 10, 2018 arxiv: v2 [math.na] 1 Oct 2016 Abstract We propose a multiscale method for elliptic problems on comple domains, e.g. domains with cracks or complicated boundary. For local singularities this paper also offers a discrete alternative to enrichment techniques such as XFEM. We construct corrected coarse test and trail spaces which takes the fine scale features of the computational domain into account. he corrections only need to be computed in regions surrounding fine scale geometric features. We achieve linear convergence rate in energy norm for the multiscale solution. Moreover, the conditioning of the resulting matrices is not affected by the way the domain boundary cuts the coarse elements in the background mesh. he analytical findings are verified in a series of numerical eperiments. 1 Introduction Partial differential equations with data varying on multiple scales in space and time, so called multiscale problems, appear in many areas of science and engineering. wo of the most prominent eamples are composite materials and flow in a porous medium. Standard numerical techniques may perform arbitrarily bad for multiscale problems, since the convergence rely on smoothness of the solution []. Also adaptive techniques [26], where local singularities are resolved by local mesh refinement, fail for multiscale problems since the roughness of the data is often not localized in space. As a remedy against this issue generalized finite element methods and other related multiscale techniques have been developed [2, 15, 16, 14, 6, 16, 19, 20, 22]. So far these techniques have focused on multiscale coefficients in general and multiscale diffusion in particular. Significantly less work has been directed towards handling a computational domain with multiscale boundary. However, in many applications including voids and cracks in materials and rough surfaces, multiscale behavior emanates from the comple geometry of the computational domain. Furthermore, the classical multiscale methods mentioned above aim at, in different ways, upscaling the multiscale data to a coarse scale where it is possible to solve the equation to a reasonable computational cost. However, these techniques typically assume that the representation of the computational domain is the same on the coarse and fine scale. In practice this is very difficult to achieve unless the computational domain has a simple shape, which is not the case in many practical applications. In this paper we design a multiscale method for problems with comple computational domain. In order to simplify the presentation we neglect multiscale coefficients in the analysis even though the methodology directly etends to this situation. he proposed algorithm is based on the localized orthogonal decomposition (LOD) technique presented in [20] and further developed in [7, 8, 21, 24]. In LOD both test and trail spaces are decomposed into a multiscale space and Department of Mathematics, Umeå University, SE Umeå, Sweden. Supported by SSF. Department of Mathematics, Umeå University, SE Umeå, Sweden. Supported by SSF. Department of Mathematical Sciences, Chalmers University of echnology and University of Gothenburg SE Göoteborg, Sweden. Supported by the Swedish research council and SSF.

2 2 a reminder space that are orthogonal with respect to the scalar product induced by the bilinear form of the problem considered. In this paper we propose and analyze how the modified multiscale basis functions can be blended with standard finite element basis functions, allowing them to be used only close to the comple boundary. We prove optimal convergence and show that the condition number of the resulting coarse system of equations scales at an optimal rate with the mesh sizes. he gain of this approach is that the global solution is computed on the coarse scale, with the accuracy of the fine scale. Also, all localized fine scale computations needed to enrich the standard finite element basis are localized and can thus be done in parallel. Other work on multiscale methods for comple/rough domains are [17, 18], which are based on the multiscale finite element method (MsFEM). However, the analysis in [17, 18] is limited to periodic data. An eplicit methods to handle comple geometry is the cut finite element method (CutFEM) [5] which use a robust Nitsche s formulation to weakly enforce the boundary/interface conditions. See also [12] for an other fictitious domain methods. An other eplicit approach is the composite finite element method [1] which constructs a coarse basis that is fitted to the boundary. he fictitious domain and composite finite element approaches are useful in e.g. multigrid methods since they construct a coarse representation on domains with fine scale features, see also [27]. he technique proposed in this paper is more related to the etended finite element method (XFEM) [11] where the polynomial approimation space is enriched with non-polynomial functions. he method can be used as a discrete alternative to XFEM, that can be useful e.g. when the nature of the singularities are unknown. he outline of the paper is as follows. In Section 2 we present the model problem and introduce some notation. In Section we formulate a multiscale method for problems where the mesh does not resolve the boundary. In Section 4 we analyse the proposed method in several different steps and finally prove a bound of the error in energy norm, which shows that the error is of the same order as the standard finite element method on the coarse mesh for smooth problem. In Section 5 we shortly describe the implementation of the method and prove a bound of the condition number of the stiffness matri. In Section 6 we present some numerical eperiment to verify the convergence rate and conditioning of the proposed method. Finally in the Appendi we prove a technical Lemma. 2 Preliminaries In this section we present a model problem, introduce some notation, and define a reference finite element discretization of the model problem. 2.1 Model problem We consider the Poisson equation in a bounded polygonal/polyhedral domain Ω R d for d = 2,, with a comple/fine scale boundary Ω = D R. hat is, we consider u = f in Ω, ν u + κu = 0 on R, u = 0 on D, where ν is the eterior unit normal of Ω, 0 κ R, and f L 2 (Ω). For simplicity we assume that, if κ = 0 then D to guarantee eistence and uniqueness of the solution u. he weak form of the partial differential equation reads: find u V := {v H 1 (Ω) v D = 0} such that a(u, v) := u v d + κuv ds = fv d =: F (v), (2.2) Ω R Ω (2.1)

3 for all v V. hroughout the paper we use standard notation for Sobolev spaces [1]. We denote the local energy and L 2 -norm in a subset ω Ω by ( 1/2 v ω = u 2 d + κu ds) 2, (2.) ω R ω and ( 1/2 v ω = u d) 2, (2.4) ω respectively. Moreover, if ω = Ω we omit the subscript, v := v Ω and v := v Ω. 2.2 he reference finite element method We embed the domain Ω in a polygonal domain Ω 0 equipped with a quasi-uniform and shape regular mesh H,0, i.e., Ω Ω 0 and Ω 0 = H,0. We let H be the sub mesh of H,0 consisting of elements that are cut or covered by the physical domain Ω, i.e, he finite element space on H is defined by H = { H,0 Ω }. (2.5) V H = {v C 0 (Ω) H, v P 1 ( )}, (2.6) where P 1 ( ) is the space of polynomials of total degree 1 on. We have V H = span{ϕ } N, where N is the set of all nodes in the mesh H and ϕ is the linear nodal basis function associated with node N. he space V H will not be sufficiently fine to represent the boundary data. We therefore enrich the space V H close to the boundary Ω. In order to construct the enrichment we define L-layer patches around the boundary recursively as follows ω 0 := int ( ( H Ω ) Ω ), ω l := int ( ( H ω l 1 ) Ω ), for l = 1,..., L. Note that ω 0 is the set of all elements which are cut by the domain boundary Ω. An illustration of Ω, H,0, ω 0, and ω1 are given in Figure 1. We will later see, in Lemma 4.8, that the appropriate number of layers is determined by the decay of the H 2 -norm of the eact solution away from the boundary. Let h be a fine mesh defined on ω k, obtained by refining the coarse mesh in ωk. On the interior part of the boundary ω k \ Ω we allow hanging nodes. We define V h(ω k) = {v C 0 (ω k) h, v P 1 ( )} and a reference finite element space by (2.7) V h := (V H + V h (ω k )) H 1 D (Ω), (2.8) which consists of the standard finite element space enriched with a locally finer finite element space in ω k. We assume that the space V h is fine enough to resolve the boundary, i.e., we assume that the boundary Ω is eactly represented by the fine mesh h. he finite element method posed in the enriched space Vh reads: find u h Vh such that a(u h, v) = F (v) for all v V h. (2.9) We call the solution to (2.9) the reference solution. We have the following a priori error estimate u u h C(H u H2 (Ω\ω k 1 ) + hs 1 u Hs (ω k 1 ) ) (2.10) where 1 s 2 depends on the regularity of u in ω k 1. For a proof of (2.10) see Section 4..

4 4 Figure 1: he computational domain Ω embedded in the mesh H,0. he dark grey area is ω 0, and the union of the dark and light grey area is ω 1. he multiscale method In the multiscale method we want to construct a coarse scale approimation of u h, which can be computed at a low cost. We present the method in two steps: First, we construct a global multiscale method using a corrected coarse basis which takes the fine scale variation of the boundary into account. hen, we construct a localized multiscale method where the corrected basis is computed on localized patches..1 Global multiscale method For each N (the set of free nodes) we define a L-layer nodal patch recursively by letting ω 0 =: int ( ( H ) Ω ), ω l =: int ( ( H ω l 1 ) Ω ), for l = 1,..., L. We consider a projective Clément interpolation operator defined by I H v = (.1) N I (P v)()ϕ, (.2) where N I is the inde set of all interior nodes in Ω and P is a local L 2 -projection defined by: find P v {v V H supp(v) ω 0 } such that (P v, w) ω 0 = (v, w) ω 0 for all w {v V H supp(v) ω 0 }. (.) his is not the same operator as proposed in the original LOD paper [20]. We choose the projective Clément interpolation operator since projective property simplifies the analysis and that it is slightly more stable for multiscale problems [4].

5 5 Using the interpolation operator we split the space Vh into the range and the kernel of the interpolation operator, i.e., V H = I H Vh and Vf = (1 I H )Vh. Since the space V H does not have the sufficient approimation properties we use the same idea as in LOD and construct an orthogonal splitting with respect to the bilinear form. We define the corrected coarse space as V H = (1 + Q)I H V h (.4) where the operator Q is defined as follows: given v H V H find Q(v H ) {v V f v D = v H } such that a(q(v H ), w) = a(v H, w) for all v {v V f w D = 0}. (.5) Note that V H Vh but V H V h because the correctors are solved with boundary conditions that compensates for the nonconformity of the space V H and also that Q(v H ) Ω\ω k = 0 since V f only has support in ω k. From (.5) we have the orthogonality a(v H, Vf ) = 0 and we can write the reference space as the direct sum Vh = V H a V f, where the orthogonality is with respect to the bilinear form a. he multiscale method posed in the space VH reads: find u H VH such that a(u H, v) = F (v) for all v V H. (.6) Remark.1. Note that, even in the global multiscale method the support of the correctors are only in ω k which we defined in Section Localized multiscale method Finally, we further localize the computation of the corrected basis functions to nodal patches on ω k. Using linearity of the operator Q(v H), we obtain Q(v H ) = N I v H ()Q(ϕ ). (.7) We denote the localized corrector by Q L (v H ) = N I v H ()Q L (ϕ ). (.8) where Q L (ϕ ) is the localization of Q(ϕ ) computed on an L-layer patch. he local correctors are computed as follows: given N I find Q L (ϕ ) {v V f v Ω\ω L = 0 and v D = ϕ } such that, a(q L (ϕ ), w) = a(ϕ, w) for all v {v V f v Ω\ω L = 0 and v D = 0}. (.9) he localized multiscale method reads: find u L H V,L H := span{ϕ + Q L (ϕ )} NI such that a(u L H, v) = F (v) for all v V,L H. (.10) he space V,L H has the same dimension as the coarse space V H but the basis functions have slightly larger support. he multiscale solution u L H V,L H has better approimation properties than the standard finite element solution on the same mesh satisfy u h u L H C 1 H, (.11) where H is the mesh size, C 1 is a constant independent of the fine scale features of the boundary, and L = C 2 log 2 (H 1 ) for a constant C 2 (= 1.5 in the numercal eperminents). A proof is given in heorem 4.12 in the coming section.

6 6 4 Error estimates In this section we derive our main error estimates. First we present some technical tools needed to prove the main result: We present an eplicit way to compute an upper bound for Poincaré-Friedrichs constants on comple domains. We prove approimation properties of the interpolation operator on these domains. he main result is obtained in four steps: We bound the difference between the analytic solution and the reference finite element solution u u h. We bound the difference between the reference finite element solution and the ideal multiscale method u h u H. We bound the difference between a function v V H modified by the global corrector and localized corrector Q(v) Q L (v). ogether these properties are used to estimate the error between the analytic solution and the localized multiscale approimation. Furthermore, let a b abbreviate the inequality a Cb where C is any generic positive constant independent on the domain Ω and of the the coarse and fine mesh sizes H, h. 4.1 Poincaré-Friedrichs inequality on comple domains A crucial part of the proof is a Poincaré-Friedrichs inequality with a constant of moderate size. he inequality reads: for all u H 1 (ω) it holds, where the optimal constant is inf u c ω C(ω)diam(ω) u ω, (4.1) c R c = 1 u d. (4.2) ω ω Following [2], we consider inequalities of the following type: for all u H 1 (ω) u λ γ (u) ω C(ω)diam(ω) u ω, (4.) where γ ω is a (d 1)-dimensional manifold and λ γ (u) = 1 γ u ds. (4.4) We introduce the notation C PF = C(ω), and refer to C PF as the Poincaré-Friedrichs constant, which depends on the domain ω but not on its diameter. A direct consequence of (4.) is the following inequality γ u ω C PF diam(ω) u ω + diam(ω) 1/2 u γ, (4.5)

7 7 which holds if diam(ω) d 1 γ, i.e., the average is taken over a large enough manifold γ ω. A short proof is given by u ω u λ γ (u) ω + λ γ (u) ω C PF diam(ω) u ω + λ γ (u) ω 1/2 C PF diam(ω) u ω + λ γ (u) γ γ 1/2 ω 1/2 C PF diam(ω) u ω + diam(ω) 1/2 λ γ (u) γ. (4.6) Furthermore, from [2] we have the bound C PF 1 for the Poincaré constant on a d-dimensional simple where γ is one of the facets. Net we will review some results given in [2] applied to domains with comple boundary. In [2] the notion of quasi-monotone paths is use to prove weighted Poincaré-Friedrichs type inequalities using average on (d 1)-dimensional manifolds γ ω. hese results have also been discussed for perforated domains in [4]. Definition 4.1. For simplicity we assume that ω is a polygonal domain that is subdivided into a quasi-uniform partition of simplices τ = { l } n l=1. We call the region P l 1,l 2 = ( l1 l2 ls ) a path, if li and li+1 share a common (d 1)-dimensional manifold. We will call s l1,l s := s the length of the path P l1,l s and η = ma τ {diam( )}. Lemma 4.2. Given τ from Definition 4.1 and the inde set J = {l : l γ } it holds C 2 PF s mar ma η d+1 γ H 2, (4.7) where s ma = ma(s k,j ) is the length of the longest path and r ma = ma i I {(s, k) I J i P k,j } is the maimum number of times the paths intersect. Proof. See [2]. We will now use Lemma 4.2 to show some cases when C PF can be bounded independent of the comple/fine scale boundary Ω. Fractal domain. We consider the fractal shaped domain given in Figure 2. First we compute s ma. he number of l on γ is then proportional to 2 k, where k is the total number of uniform refinements of the domain and we bound the maimum path length as s ma k i=0 2 k 2 i 2 2k, (4.8) i.e., the maimum length of a path is proportional to 2 k. Net we compute the maimum number of times a simple is in a path, r ma. First we show how many times the elements besides γ are in a path and then we show that this number is larger than on any other γ i, see Figure 2. he number of paths on each l is the total number of elements in the domain. On γ we get r γ k n (i)e (i) = i=0 k i=0 i (2k ) 2 4 i 4 k k i=0 ( ) i 4 4 k, (4.9) 4 where n (i) is the number sub domains with inde i and e (i) is the number of elements inside a single sub domain with inde i. Net we show that there is no in other parts of the domain

8 γ γ 1 γ 2 2 γ η Figure 2: A fractal domain that has a bounded Poincaré-Friedrichs constant. where the number of paths is proportional to something with a stronger dependence on n than r γ. We obtain, k r γ j 2j j n (i)e (i) < r γ, (4.10) i=j where 2 j comes from that γ j is 2 j times smaller than γ and 1/ j since the area of the domain affecting boundary r γ j is less than j of the total area. his proves that r ma r γ, choosing structured paths in the interior of the squares. o finish the argument we note that H/η = 2 k and γ = H, and we obtain CPF 2 s mar ma η d+1 γ H 2 1. (4.11) Saw tooth domain. An other eample of a comple geometry is the saw domain given in Figure. Let the width of the saw teeth be η = 2 k. A mesh constructed using 2 k uniform γ Figure : Saw tooth domain that has a bounded Poincaré-Friedrichs constant. Here η is the width of one of the saw teeth. refinements are needed to resolve the saw teeth. It is clear that s ma 2 k and choosing the structural paths we have that r ma (2 k ) 2. Again we have that C PF 1 as long the length of the saw teeth are fied.

9 9 An eample of a domain with a non-bounded Poincaré-Friedrichs constant is e.g. a dumbbell domain. 4.2 Estimation of the interpolation error In this section we compute the interpolation error for a class of fine scale functions needed in the analysis. For each H we define an L-layer element patch recursively as ω 0 := Ω, ω l := int ( ( H ω l 1 0) Ω ), for l = 1,..., L. (4.12) Lemma 4.. he projective Clément type operator inherits the local approimation and stability properties for all interior elements, i.e., for all v H 1 (Ω) holds for all interior elements H. H 1 (v I H v) + I H v v ω 1, (4.1) Proof. It follows directly from the standard proof [4] since i N ϕ i is a partition of unity on interior elements. he trace of a function v V f is small since the function v is in the kernel of an averaging operator, V f = {v V h I H v = 0}. (4.14) We formulate this more precisely in the following Lemma. Lemma 4.4. Given an interior element H let γ be one of its faces. hen holds for all v V f. v γ H 1/2 v ω 1, (4.15) Proof. For an interior element the standard approimation property of the Clemént type interpolation operator holds, i.e., since v V f. Using a trace inequality and (4.16) we obtain where is an interior element. v = v I H v H v ω 1. (4.16) v 2 γ H 1 v 2 + H v 2 H v 2 ω, 1 (4.17) We will now make an assumption which is a sufficient condition to prove the main results of the paper and which will also simplifies the analysis. Assumption 4.5. All elements in S H element H such that Ω =. share a verte with an interior element, i.e., an Lemma 4.6. Let be an element that is cut by the boundary Ω. Under Assumption 4.5 the following Poincaré-Friedrichs type inequality holds v H v ω 2 for all v V f. (4.18)

10 10 Figure 4: Admissible (left) and non-admissible (right) mesh according to Assumption 4.5. he irregular curve is where the elements are cut by the outer boundary. Proof. Let be an element which share the verte with. Using (4.5) we have that v v ω 0 H v ω 0 + H 1/2 v γ H v ω 1 H v ω 2, (4.19) holds, since diam(ω 0 ) H, diam(ω 1 ) H and ω 0 ω 1 ω 2 choosing γ as an edge of which contains the verte. Net we prove local approimation and stability properties for functions which are in some sense close to but outside V f. Lemma 4.7. Let I H : L 2 (Ω H ) V H be the Clément interpolation operator defined by (.2). If v = ηw, where η and w satisfies 0 η 1, η L H 1, and w V f, then the following estimate holds H 1 (v I H v) + I H v w ω 2, (4.20) for all H. Proof. he local approimation and stability properties for an interior element follows directly from Lemma 4.6 together with ηw H 1 w + w w ω 1. (4.21) Net we investigate the local approimation and stability properties for elements on the boundary. Let be an element cut by the boundary and an interior element sharing verte with. hen the L 2 -stability follows directly from the stability of the interior elements, i.e, (P v)() = (P v)() (P v)() 1 = (P v)() H d/2 (P v)() L ( ) Hd/2 P v L ( ) P v P v ω 0 v ω 0 v ω 1. (4.22) We obtain v I H v v ω 1 w ω 1 H w ω 2, (4.2) since w V f using Lemma 4.4, L 2 -stability of the interpolation operator, and w V f. Similar argument yield I H v H 1 (P v)() w ω 2, (4.24) N where N is all vertices in element.

11 11 4. Estimation of the error in the reference finite element solution We bound the error in the reference finite element solution u h V h. Lemma 4.8. Let u V and u h Vh be the solutions to (2.2) and (2.9) respectively. hen ( ) u u h inf H 1 (u v H ) v H V Ω\ω k 1 + u v H H Ω\ω k 1 + inf u v h ω k v h V h (ω k), (4.25) holds. Proof. We split Ω into the different parts Ω \ ω k, ωk \ ωk 1, and ω k 1. Since Vh V, we have the best approimation result u u h u w, for all w V h. (4.26) Let η V H be a cut off function, where η Ω\ω k = 0, η ω k 1 = 1, and η L ( ) H 1. We construct w = v H + π h η(v h v H ) Vh where v H V H, v h V h (ω k), and π h is the nodal interpolant onto the finite element space V h and obtain u w 2 = u v H 2 Ω\ω k + u v H π h η(v h v H ) 2 ω k \ωk 1 + u v h 2. ω k 1 (4.27) he first and third term are in the right form, see the statement of Lemma 4.8. We turn to the second term. Using the fact that the nodal interpolant π h is H 1 -stable for finite polynomial degrees (2 in our case) we obtain π h η(v h v H ) 2 ω k \ωk 1 We have η(v h v H ) 2 ω k\ωk 1 = (η(v h v H )) 2 + κ η(v ω k h v H ) 2. \ωk 1 (ω k\ωk 1 ) R (4.28) (η(v h v H )) ω k \ω k 1 (v h v H ) η ω k \ω + η (v k 1 h v H ) ω k \ω k 1 Furthermore H 1 v h v H ω k \ω k 1 H 1 v h u + u v H ω k \ω k 1 H 1 u v H ω k \ω k 1 + H 1 u v h ω k \ω k 1 κ η(v h v H ) 2 (ω k\ωk 1 κh 1 v h v H 2 ω k\ωk 1 aking the infimum and using that ( inf H 1 u v h v h V ω k h \ω k 1 + (v h v H ) ω k \ω k 1 + (v h u + u v H ) ω k \ω k 1 + (u v H ) ω k \ω k 1 ( inf H 1 u v H v H V ω k H \ω k 1 since h < H and V H V h, concludes the proof. + (u v h ) ω k \ω k 1 ) Ω κ v h v H 2 (ω k \ωk 1. ) Ω + H (v h v H ) 2 ω k \ωk 1 + (u v h ) ω k \ω k 1 ) + (u v H ) ω k \ω k 1. ), (4.29) (4.0) (4.1) he analysis etends to a non-polygonal boundary if we assume that h is fine enough to approimate the boundary using interpolation onto piecewise affine functions, see e.g. [25].

12 Estimation of the error in the global multiscale method In this section we present and analyze the method with non-localized correctors. Lemma 4.9. Let u h V h solve (2.9) and u H V H solve (.6), then u h u H H f ω k (4.2) holds. Proof. Any u h V h can be uniquely written as u h = u H + u f where u H V H and uf V f. his follows from the result from functional analysis, that if we have a projection P : u h u H onto a closed subspace, there is a unique split u h = Pu h + (1 P)u h. For P = (1 + Q)I H, we have PV h = V H and We obtain P 2 = (1 + Q)I H (1 + Q)I H = (1 + Q)I H I H = (1 + Q)I H = P. (4.) u f 2 = a(u f, u f ) = (f, u f ) L2 (Ω) = (f, u f I H u f ) L 2 (ω k ) H f ω k u f, (4.4) which concludes the proof. 4.5 Estimation of the error between global and localized correction he correctors fulfill the following decay property. Lemma 4.10 (Decay of correctors). For any N I there eist a 0 < γ < 1 such that the local corrector Q L (ϕ ) V f L (ϕ ) and the global corrector Q(ϕ ) V f (ϕ ), which solves (.9) and (.5) respectively, fulfills the decay property (Q Q L )(v H ) 2 L d γ (L )/ N I v 2 Qφ 2, (4.5) where is the floor function which maps a real number to the largest smaller integer. Proof. See Appendi A he localized corrected basis functions fulfill the following stability property. Lemma Under Assumption 4.5 we have the stability for the corrected basis function given any N I. ϕ + Q L (ϕ ) H 1 ϕ, (4.6) Proof. First we will prove that there eist a (non-unique) function g V f (ω L ) such that (g ϕ ) D = 0 and g ϕ for all N I. Given any node define w = g ϕ and w Ω\ = 0 where is an interior element. he function w have to fulfill the following restriction I H w = I H ϕ = ϕ, (4.7) which is equivalent to (P y w)(y) = δ y, (4.8)

13 1 where δ y is the Kronecker delta function. In order to construct w we perform two a uniform refinements in 2D. A similar construction is possible in D using two red-green refinements but we restrict the discussion to 2D for simplicity. hen we have three free nodes in for a function that is zero on the boundary. We write w as w = d+1 j=1 α j ˆϕ j where ϕ j are the P 1 Lagrange basis function associated with the three interior nodes. We can determine w by letting it fulfill d+1 i,j=1 he value (P y ˆϕ j )() can be computed as α j (P yi ˆϕ j )(y i ) = δ,yi. (4.9) (P y ˆϕ j )(y) = δ y (Π M H/4 Π) 1 Π M H/4 ˆϕ j, (4.40) where M H/4 is a local mass matri computed on ω, 0 δ = 1 for inde and 0 otherwise, and Π : V H V H/4 is a projection from the finer space onto the coarse. On a quasi-uniform mesh P y ˆϕ j (y) is independent of H. herefore, α j is independent of H and there eist a constant such that w C ϕ. (4.41) his yields Using the triangle inequality we have w 4H 1 w H 1 ϕ. (4.42) g ϕ + w H 1 ϕ. (4.4) Net we consider the problem: find Q 0 V f (ω L ) such that a(q 0, w) = a(ϕ g, w) w V f (ω L ), (4.44) where g satisfies g V f (ω L ), (ϕ g ) D = 0, and g ϕ. It is clear that Q L (ϕ ) = Q 0 + g. For the stability we obtain ϕ + Q L (ϕ ) 2 a(ϕ + Q L (ϕ ), ϕ + Q L (ϕ )) = a(ϕ + Q L (ϕ ), ϕ + Q 0 + g) = a(ϕ + Q L (ϕ ), ϕ + g) ϕ + Q L (ϕ ) ( ϕ + g ) ϕ + Q L (ϕ ) ϕ, (4.45) which concludes the proof. 4.6 Estimation of the error for the localized multiscale method he a priori results for the localized multiscale method reads. heorem Let u V solve (2.2) and u L H V,L H solve (.6). hen under Assumption 4.5 the bound ( ) u u L H inf H 1 (u v) v V Ω\ω k 1 + u v H Ω\ω k 1 holds for k 2. + inf v V h (ω k ) u v ω k + Hf ω k + L d/2 H 1 γ L f, (4.46)

14 14 Proof. Since V,L H We obtain V we have the best approimation result u u L H u v H for all v H V,L H. (4.47) u u L H u u h + u h u H + u H v H, (4.48) using the triangle inequality. he first and second term is bounded using Lemma 4.8 and 4.9. For the third term we choose v H = u H + Q(u H ) which gives u H v H 2 = Q(u H ) Q L (u H ) 2 L d γ 2L N I v 2 Qφ 2, (4.49) using Lemma Lemma 4.11 now gives u H v H 2 H 2 L d γ 2L u H () 2 ϕ 2 L d γ 2L u H 2 N I H 2 L d γ 2L u H 2 H 2 L d γ 2L f 2, (4.50) where also a Poincaré-Friedrich inequality has been used. Combining (4.48) and (4.50) concludes the proof. 5 Implementation and conditioning In this section we will shortly discuss how to implement the proposed method and analyze the conditioning of the matrices. For a more detailed discussion on implementation of LOD see [10]. 5.1 Implementation o compute Q L (ϕ ) in (.9) we impose the etra condition I H v = 0 using Lagrangian multipliers. Let n and N be the number of fine and coarse degrees of freedom in the patch ω 0. Let M and K denote the local mass and stiffness matri on ω 0 satisfying and (v, w) ω 0 ŵ M ˆv, (5.1) a(v, w) ω 0 ŵ K ˆv, (5.2) where v, w V h ω 0 and ŵ, ˆv R n are the nodal values of v, w. We also define the projection matri Π : {v V H (ω 0 ) supp(v) ω 0 0} V h (ω 0 ) of size (n N ) which project a coarse function onto the fine mesh and a Kronecker delta vector of size N 1 as δ = (0,..., 0, 1, 0,..., 0) where the 1 is in node. We obtain P v() = 0 λ ˆv = δ (Π M Π ) 1 Π M ˆv = 0. (5.) Set Λ = [λ y1, λ y1,..., λ yn ], then (.9) is equivalent to solving the linear system [ ] [ ] K Λ QL (ϕ ) Λ 0 µ = [ ] K Π ϕ, (5.4) 0 where Q L (ϕ ) R n contains the nodal values of Q L (ϕ ) and µ is a Lagrange multiplier. For each coarse node in ω 0 we need to invert Π M Π to assemble (5.4), however since the size is

15 15 only (N N ) it is cheap. he coarse scale stiffness matri K in (.10) is given element wise by K i,j = a(ϕ j + Q L (ϕ j ), ϕ i + Q L (ϕ i )). (5.5) We save the nodal values of the corrected basis [ Φ = ϕ y1 + Q L (ϕ y1 ), ϕ y2 + Q L (ϕ y2 )..., ϕ yn + Q ] L (ϕ yn ). (5.6) Given the fine scale stiffness matri K and the collection of corrected basis functions Φ, we can compute the coarse stiffness matri as and the linear system (.10) is computed as K = Φ KΦ, (5.7) Kû,L H = b, (5.8) where û,l H is the nodal values of û,l H and b correspond to the right hand side b y 1 = (f, ϕ y1 + Q L (ϕ y1 )). However, the fine stiffness matri does not have to be assembled globally. If a Petrov- Galerkin formulation is used, further savings can be made [9]. 5.2 Conditioning he Euclidean matri norm is defined as A N = where v, w = N i=1 v( i)w( i ) and v N = v, v. heorem 5.1. he bound on the condition number κ holds. Av N sup, (5.9) 0 v R v N N κ = K N K 1 N H 2, (5.10) Proof. o prove the bound of the condition number we use the following three properties. 1. An inverse type inequality for the modified basis functions. We have from Lemma ϕ i + Q(ϕ i ) H 1 ϕ i, (5.11) 2. A Poincaré-Friedrich type inequality on the full domain, see Section An equivalence between the Euclidean norm and the L 2 -norm. We have that v 2 v 2 i ϕ i + Q(ϕ i ) 2 v 2 i ( ϕ i + Q(ϕ i ) I H Q(ϕ i ) ) 2 v 2 i ( ϕ i + H Q(ϕ i ) ) 2 v 2 i ( ϕ i + H ϕ i + H (ϕ i Q(ϕ i )) ) 2 (5.12) v 2 i ϕ i 2 H d v N,

16 16 and We have v 2 N = N vi 2 H d i=1 N i=1 holds, hence v N H d/2 v. v 2 i ϕ i 2 H d N v i ϕ i 2 = H d I H v 2 H d v 2. (5.1) Kv N = sup Kv, w a(v, w) v w = sup = sup H d 2 v N, (5.14) 0 w R w N N 0 w R w N N 0 w R w N N using property 1) and ). Also i=1 K 1 v 2 N = H d K 1 v 2 C PF H d K 1 v 2 H d K K 1 v, K 1 v H d v N K 1 v N, (5.15) using property 2) and ). he proof is concluded by taking the supremum over v. 6 Numerical eperiments In the following section we present some numerical eperiments that verifies our analytical results. In all the eperiments we fi the right hand side to f = 1 and the localization parameter L = 1.5 log 2 (H 1 ). 6.1 Accuracy on fractal shaped domain We consider the domain in Figure 2. We use homogeneous Dirichlet boundary conditions on the most left, down, and right hand side boundaries and Robin boundary condition with κ = 10 on the rest, see Figure 5. We compute localized correctors in the full domain. he reference solution is computed using h = 2 9. As seen in Figure 6, a even higher convergence rate than linear convergence to the reference solution is observed. We also see that the correct scaling of the condition number with respect to the coarse mesh parameter H. 6.2 Locally added correctors around singularities Let us consider two different domains, a domain with a re-entrant corner ([0, 1] [0, 1])\([0.5, 1] [0, 0.5]) and a slit-domain ([0, 1] [0, 1])\([0.5, 0.5] [0, 0.5]) with homogeneous Dirichlet boundary condition. We only compute correctors in a vicinity of the singularities, and denote this domain ω k. he size of ω k can be determined by the size of u H2 (ω k ) (see Section 2.2), i.e., how fast the singularity decay away from the boundary. We choose ω k as in Figure 7. As seen in Figure 8, the correct convergence rates to the reference solutions and the correct scaling of the condition number are observed for both singularities. 6. Locally add correctors around saw tooth boundary Let us consider a unit square where one of the boundaries are cut as a saw tooth and where correctors are only computed in a vicinity of the saw teeth shown in Figure 9. On all the non saw tooth boundaries we use homogeneous Dirichlet boundary conditions. On the saw tooth

17 17 Figure 5: he fractal computational domain used in Section 6.1. We use homogeneous Dirichlet boundary conditions on the boundary segments marked by a thicker line and Robin boundary conditions elsewhere. boundary we test both homogeneous Dirichlet and Neumann boundary condition. We observe the correct convergence (although the Neumann case is a bit more sensitive and might need slightly larger domain where correctors are computed) and scaling of the condition number, see Figure Accuracy and conditioning on cut domains Let us consider a domain with a re-entrant corner Ω = ([0, 1] [0, 1])\([0.5, 1] [0, 0.5]). We want to investigate how the location of the boundary relative to the coarse background mesh affects the accuracy in the approimation and the conditioning of the matri. We fi the coarse H = 2 and fine h = 2 8 mesh sizes and consider three different setups of boundary condition, homogeneous Dirichlet on the whole boundary, homogeneous Dirichlet on the cut elements and homogeneous Neumann otherwise, and homogeneous Neumann on the cut elements and homogeneous Dirichlet otherwise. We will cut the coarse mesh in two different ways, 1) with a horizontal cut and 2) a circular cut around the reentered corner, see Figure 11. he errors are measured in energy norm. he results are presented in able 1 and 2. We conclude that neither the error nor the conditioning are sensitive to how the domain is cut.

18 18 Error Fractal O(H) Mesh size H Condition number 10 4 Fractal O(H 2 ) Mesh size H Figure 6: he convergence rate to the reference solution in relative energy norm (left) and the scaling of the condition number (right) for the fractal domain in Figure 6. Figure 7: he marked area ω k is where the finite element space is enriched, for domain with a re-entrant corner (left) and domain with a slit (right). cut Ω \ cut e rel (a) e rel (b) e rel (c) D D D N N D cond(a) cond(b) cond(c) D D D N N D able 1: For cut 1 we have L [0, 1 r] [0, 1], where r = {h, 0.5H, H h} in a), b), and c), respectively. he errors measured in relative energy norm and condition number of the coarse stiffness matri are presented. We try the different boundary conditions, D (Dirichlet) and N (Neumann), on the boundary segement cut, which cuts the elements. A Proofs In the appendi we present the proof of Lemma 4.10.

19 19 Error Corner Slit O(H) Mesh size H Condition number Mesh size H Corner Slit O(H 2 ) Figure 8: he convergence rate to the reference solution in relative energy norm (left) and scaling of the condition number (right) for the re-entrant corner and the slit domain. Figure 9: We consider the saw tooth domain (left). he marked area (right) is where the finite element space is enriched. cut Ω \ cut e rel (a) e rel (b) e rel (c) D D D N N D cond(a) cond(b) cond(c) D D D N N D able 2: For cut 2 we have L \ B( 0, r) for a ball B centered in 0 = (0.5, 0.5) and with radius r, where r = {h, 0.5H, H} in a), b), and c), respectively. he errors measured in energy norm and condition number of the coarse stiffness matri are presented. We try the different boundary conditions, D (Dirichlet) and N (Neumann), on the boundary segement cut, which cuts the elements. Proof of Lemma We will make frequent use of the cut off function η k 1,k which satisfy η k 1,k = 0 in ω k 1, η k 1,k = 1 in Ω \ ω, k and η k 1,k L (Ω) H 1. Given v H V H with nodal values v we define define e = (Q Q L )(v H ) and e = N I e where e = (Q Q L )v ϕ,

20 20 Error Dirichlet Neumann O(H) Mesh size H Condition number Mesh size H Dirichlet Neumann O(H 2 ) Figure 10: he convergence rate to the reference solution in relative energy norm (left) and the scaling of the condition number (right) for the saw tooth shaped boundary using different boundary condition on the saw tooths. we obtain e 2 a(e, e) = N I a ( (Q Q L )v ϕ, e ) = N I a (e, e ṽ ) (A.1) for ṽ which satisfy a(e, ṽ ) = 0. (A.2) We choose ṽ = η L+2,L+1 e I H η L+2,L+1 e + g where I H g = 0, g Ω = I H η L+2,L+1 e, and g I H η L+2,L+1 e. It is possible to construct g with the given properties, see the proof of Lemma Equation (A.2) now follows since ṽ V f and supp(ṽ ) supp(q L (v)) = 0. For each N I, we obtain a (e, e ṽ ) e e ṽ (A.) where we split he first term in (A.4) can be bounded as e ṽ e η L+2,L+1 e + η L+2,L+1 e ṽ. (A.4) (1 η L+2,L+1 )e 2 (1 η L+2,L+1 ω L+2 )e 2 + κ(1 η L+2,L+1 ω L+2 )e 2 ω L+2 + κ(1 η L+2,L+1 e 2 ω L+2 + H 1 e 2 ω L+2 )e 2 ω L+2 (A.5) e 2 ω L+ using the product rule, inverse estimates, and interpolation estimates. he second term in (A.4) can be bounded as η L+2,L+1 e ṽ 2 = I H (η L e) 2 + κi H (η L e) 2 e 2 ω L+4 (A.6) where we used I H (η L+2,L+1 e) 2 = (I H η L+2,L+1 e) 2 ω L+ \ω L e 2 e 2 ω L+4 \ω L 1 ω L+4 H 2 e 2 ω L+ \ω L (A.7)

21 a b c 2) c b a 1) Figure 11: A given background mesh that is cut in two different ways 1) and 2) with different size of the cut a), b), and c). and κi H (η L+2,L+1 e) 2 L = E L κi H (η L 2,L 1 κh 1 e I H e 2 ω L+ e) 2 E κh 1 I H (η ω L 1 κh e 2 ω L+4 e) 2 ω L+ e 2 ω L+4 (A.8) which follows from Lemma 4.7 and that κ H 1. Hence, combining (A.1), (A.4), (A.5), and (A.6) we obtain that is e 2 e e ω L+4 N I e 2 L d L d ( N I e 2 N I e 2 ) 1/2 e (A.9) (A.10) We use w = (1 η L 1,L 2 )Q(v ϕ ) + I H η L 1,L 2 Q(v ϕ ) + g V f (ω L ) where we use the same construction of g as for g and obtain e 2 a(e, e ) = a(e, Q(v ϕ ) w ) = a(e, η L 1,L 2 Q(v ϕ ) I H η L 1,L 2 Q(v ϕ ) + g ) e ( η L 1,L 2 Q(v ϕ ) + I H η L 1,L 2 Q(v ϕ ) ) e Q(v ϕ ) Ω\ω L (A.11) and hence e v Q(ϕ ) Ω\ω L (A.12)

22 22 Net we construct a recursive scheme which will be used to show the decay. We obtain Qϕ 2 Ω\ω η k,k 1 k Qϕ Qϕ d + η k,k 1 κqφ Qϕ ds Ω R = Qϕ (η k,k 1 Qϕ ) d + κqϕ (η k,k 1 Qϕ ) ds Ω R Qϕ Qϕ η k,k 1 d Ω = a(qϕ, η k,k 1 Qϕ ) Qϕ Qϕ η k,k 1 d. he first term in (A.1) can be bounded as Ω (A.1) a(qϕ, η k,k 1 Qϕ ) = a(qϕ, η k,k 1 Qϕ I H η k,k 1 Qϕ ĝ ) + a(qϕ, I H η k,k 1 Qϕ + ĝ ) = a(qϕ, I H η k,k 1 Qϕ ω k \ω k 1 Qϕ + ĝ ) Qϕ ω k \ω k 1 Qϕ ω k+1 \ω k 2 where again we construct ĝ such that ĝ I H η k,k 1 second term is bounded as Ω Qϕ Qϕ η k,k 1 Qϕ 2 ω k+1 \ω k 2 d H 1 Qϕ I H Q v ω k \ω Qϕ k 1 ω k \ω k 1 Qϕ ω k+1 \ω k 2 Combining (A.1), (A.14), and (A.15) we obtain and hence where γ = Qϕ 2 Ω\ω C 1 Qϕ k 2 ω k+1 \ω k 2 C 1 ( Qϕ 2 Ω\ω k 2 Q(v ϕ ) 2 Ω\ω k C1 1+C 1. Using (A.17) recursively we obtain Qϕ ω k+1 \ω k 2 I H η k,k 1 Qϕ (A.14) Qϕ and use Lemma 4.7. he Qϕ 2 ω k+1 \ω k 2 (A.15) = C 1 ( Qϕ 2 Qϕ Ω\ω k 2 2 Ω \ω ) k+1 (A.16) Qϕ 2 Ω \ω k γ Q(v ϕ ) 2, (A.17) Ω\ω k 2 ) Qϕ 2 Ω\ω L γk Qϕ 2 Ω\ω L (k+1) Qϕ 2 Ω\ω L γ (L )/ Qϕ 2 Ω\ω 0 γ (L )/ Qϕ 2. Combing (A.9), (A.12), and, (A.18) we get which concludes the lemma. e 2 L d γ (L )/ N I v 2 Qϕ 2 (A.18) (A.19) References [1] R. A. Adams. Sobolev spaces. Academic Press, Pure and Applied Mathematics, Vol. 65.

23 2 [2] I. Babuška, G. Caloz, and J. E. Osborn. Special finite element methods for a class of second order elliptic problems with rough coefficients. SIAM J. Numer. Anal., 1(4): , [] I. Babuška and J. E. Osborn. Can a finite element method perform arbitrarily badly? Math. Comp., 69(20):44 462, [4] D. Brown and D. Peterseim. A Multiscale Method for Porous Microstructures. Multiscale Model. Simul., 14(): , [5] E. Burman, S. Claus, P. Hansbo, M. G. Larson, and A. Massing. Cutfem: Discretizing geometry and partial differential equations. International Journal for Numerical Methods in Engineering, [6] W. E and B. Engquist. he heterogeneous multiscale methods. Commun. Math. Sci., 1(1):87 12, 200. [7] D. Elfverson, E. H. Georgoulis, and A. Målqvist. An adaptive discontinuous Galerkin multiscale method for elliptic problems. Multiscale Model. Simul., 11(): , 201. [8] D. Elfverson, E. H. Georgoulis, A. Målqvist, and D. Peterseim. Convergence of a discontinuous Galerkin multiscale method. SIAM J. Numer. Anal., 51(6):51 72, 201. [9] D. Elfverson, V. Ginting, and P. Henning. On multiscale methods in petrovgalerkin formulation. Numerische Mathematik, pages 1 40, [10] C. Engwer, P. Henning, A. Målqvist, and D. Peterseim. Efficient implementation of the localized orthogonal decomposition method. ArXiv e-prints, [11].-P. Fries and. Belytschko. he etended/generalized finite element method: an overview of the method and its applications. Internat. J. Numer. Methods Engrg., 84():25 04, [12] R. Glowinski,.-W. Pan, and J. Periau. A fictitious domain method for dirichlet problem and applications. Computer Methods in Applied Mechanics and Engineering, 111():28 0, [1] W. Hackbusch and S. A. Sauter. Composite finite elements for the approimation of PDEs on domains with complicated micro-structures. Numer. Math., 75(4): , [14]. Y. Hou and X.-H. Wu. A multiscale finite element method for elliptic problems in composite materials and porous media. J. Comput. Phys., 14(1): , [15]. J. R. Hughes, G. R. Feijóo, L. Mazzei, and J.-B. Quincy. he variational multiscale method a paradigm for computational mechanics. Comput. Methods Appl. Mech. Engrg., 166(1-2): 24, [16] M. G. Larson and A. Målqvist. Adaptive variational multiscale methods based on a posteriori error estimation: energy norm estimates for elliptic problems. Comput. Methods Appl. Mech. Engrg., 196(21-24):21 224, [17] A. L. Madureira. A multiscale finite element method for partial differential equations posed in domains with rough boundaries. Math. Comp., 78(265):25 4, [18] A. L. Madureira and F. Valentin. Asymptotics of the Poisson problem in domains with curved rough boundaries. SIAM J. Math. Anal., 8(5): (electronic), 2006/07.

24 24 [19] A. Målqvist. Multiscale methods for elliptic problems. Multiscale Model. Simul., 9(): , [20] A. Målqvist and D. Peterseim. Localization of elliptic multiscale problems. Math. Comp., 8(290): , [21] A. Målqvist and D. Peterseim. Computation of eigenvalues by numerical upscaling. Numerische Mathematik, 10(2):7 61, [22] H. Owhadi, L. Zhang, and L. Berlyand. Polyharmonic homogenization, rough polyharmonic splines and sparse super-localization. ESAIM Math. Model. Numer. Anal., 48(2): , [2] C. Pechstein and R. Scheichl. Weighted Poincaré inequalities. IMA J. Numer. Anal., (2): , 201. [24] D. Peterseim. Eliminating the pollution effect in Helmholtz problems by local subscale correction. Math. Comp., Also available as INS Preprint No [25] R. Scott. Interpolated boundary conditions in the finite element method. SIAM J. Numer. Anal., 12: , [26] R. Verführt. A review of a posteriori error estimation and adaptive mesh-refinement techniques. Advances in numerical mathematics. Wiley, [27] H. Yserentant. Coarse grid spaces for domains with a complicated boundary. Numer. Algorithms, 21(1-4):87 92, 1999.