arxiv: v3 [math.na] 25 Jun 2017

Transcription

1 ANALYSIS OF A HIGH ORDER UNFITTED FINITE ELEMENT METHOD FOR ELLIPTIC INTERFACE PROBLEMS CHRISTOPH LEHRENFELD AND ARNOLD REUSKEN arxiv: v3 [mat.na] 25 Jun 2017 Abstract. In te context of unfitted finite element discretizations te realization of ig order metods is callenging due to te fact tat te geometry approximation as to be sufficiently accurate. We consider a new unfitted finite element metod wic acieves a ig order approximation of te geometry for domains wic are implicitly described by smoot level set functions. Te metod is based on a parametric mapping wic transforms a piecewise planar interface reconstruction to a ig order approximation. Bot components, te piecewise planar interface reconstruction and te parametric mapping are easy to implement. In tis paper we present an a priori error analysis of te metod applied to an interface problem. Te analysis reveals optimal order error bounds for te geometry approximation and for te finite element approximation, for arbitrary ig order discretization. Te teoretical results are confirmed in numerical experiments. Key words. unfitted finite element metod, isoparametric finite element metod, ig order finite element metods, geometry errors, interface problems, Nitsce s metod AMS subject classifications. 65M06, 65D05 1. Introduction Motivation. In recent years tere as been a strong increase in te researc on development and analysis of unfitted finite element metods. In unfitted finite element metods a geometry description wic is separated from te computational mes is used to provide a more flexible andling of te geometry compared to traditional conforming mes descriptions. Often a level set function is used to describe geometries implicitly. Recently, significant progress as been made in te construction, analysis and application of metods of tis kind, see for instance te papers [6, 7, 20, 27, 29, 44]. Despite tese acievements, te development and rigorous error analysis of ig order accurate unfitted finite element metods is still callenging. Tis is mainly due to te fact tat efficient, igly accurate numerical integration on domains tat are implicitly described is not straigt-forward. In te recent paper [35], a new approac based on isoparametric mappings of te underlying mes (outlined in section 1.4 below) as been introduced wic allows for an efficient, robust and igly accurate numerical integration on domains tat are described implicitly by a level set function. Te main contribution of tis paper is an error analysis of tis metod applied to a model interface problem Literature. We review te state of te art wit respect to iger order geometry approximations in te literature to put te approac proposed in [35] and analysed in tis paper into its context. For discretizations based on piecewise linear (unfitted) finite elements a numerical integration approac wic is second order accurate suffices to preserve te overall order of accuracy. Tis is wy an approximation wit piecewise planar geometries is an establised approac. Piecewise planar approximations allow for a tesselation into simpler geometries, e.g. simplices, on wic standard quadrature rules are applicable. Hence, a robust realization is fairly simple. It can be applied to quadrilateral and Institut für Numerisce und Angewandte Matematik, University of Göttingen, D Göttingen, Germany; lerenfeld@mat.uni-goettingen.de Institut für Geometrie und Praktisce Matematik, RWTH Aacen University, D Aacen, Germany; reusken@igpm.rwt-aacen.de 1

2 exaedral meses, as in te marcing cube algoritm [38] as well as to simplex meses, cf. (among oters) [34, Capter 4], [40], [42, Capter 5] for triangles and tetraedra and [33],[34, Capter 4] for 4-prisms and pentatopes (4-simplices). Suc strategies are used in many simulation codes, e.g. [6, 10, 19, 26, 48] and are often combined wit a geometrical refinement in te quadrature. Especially on octree-based meses tis can be done very efficiently [12]. However, by construction, te tesselation approac is only second order accurate and ence limits te overall accuracy wen combined wit iger order finite elements. Many unfitted discretizations based on piecewise linear finite elements ave a natural extension to iger order finite element spaces, see for instance [2, 30, 39, 47]. It requires, owever, additional new tecniques to obtain also iger order accuracy wen errors due to te geometry approximation and quadrature are taken into account. We review suc tecniques, starting wit approaces from te engineering literature. One suc a tecnique is based on moment fitting approaces, resulting in special quadrature rules [41, 52]. Tis approac provides (arbitrary) ig order accurate integration on implicit domains. However, te construction of tese quadrature rules is fairly involved and te positiveness of quadrature weigts can not be guaranteed wic can lead to stability problems. Furtermore, as far as we know tere is no rigorous complexity and error analysis. For special cases also oter tecniques ave been proposed in te literature to obtain ig order accurate approximations of integrals on unfitted domains. In [50] a new algoritm is presented wic can acieve arbitrary ig order accuracy and guarantee positivity of integration weigts. However, it is applicable only on tensor-product elements. Te approac is based on te idea of locally interpreting te interface as a grap over a yperplane. In te community of te extended finite element metod (XFEM) approaces applying a parametric mapping of te sub-trianguation are often used, e.g., [11, 17, 21]. Te realization of suc strategies is tecnically involved, especially in tree (or iger) dimensions. Moreover, ensuring robustness (teoretically and practically) of tese approaces is difficult. Concerning te finite cell metod (FCM) [47], wic is also a (ig order) unfitted finite element metod, we refer to [1] for a comparison of different approaces for te numerical integration on unfitted geometries. We note tat te aforementioned papers on numerical integration in iger order unfitted finite element metods, wic are all from te engineering literature, only present new approaces for te numerical integration and carry out numerical convergence studies. Rigorous error analyses of tese metods are not known. We now discuss tecniques and corresponding rigorous error analyses tat ave been considered in te matematical literature. In te recent papers [5, 8] te piecewise planar approximation discussed before as been used and combined wit a correction in te imposition of boundary values (based on Taylor expansions) to allow for iger order accuracy in fictitious domain metods applied to Diriclet problems. Optimal order a priori error bounds are derived. For a iger order unfitted discretization of partial differential equations on surfaces, a parametric mapping of a piecewise planar interface approximation as been developed and analyzed in [25]. Tese are te only papers, tat we know of, in wic geometry errors in iger order unfitted finite element metods are included in te error analysis. We also mention relevant numerical analysis papers using low order unfitted or iger order geometrically conforming ( fitted ) metods. For unfitted piecewise linear finite element discretizations of partial differential equations on surfaces, errors 2

3 caused by geometry approximation are analyzed in [15, 9]. Error analyses for fitted isoparametric finite elements for te accurate approximation of curved boundaries ave been developed in te classical contributions [4, 13, 37]. In te context of interface problems and surface-bulk coupling isoparametric fitted tecniques are analyzed in [18]. Recently, tese isoparametric fitted metods ave also been used to adjust a simple background mes to curved implicitly defined geometries in a iger order accurate fasion [3, 16, 23, 45]. Te approac analyzed in tis paper is similar to above-mentioned approaces [3, 11, 17, 23, 25, 37, 45] in tat it is also based on a piecewise planar geometry approximation wic is significantly improved using a parametric mapping. Te important difference compared to [3, 23, 37, 45] is tat we consider an unfitted discretization and compared to [11, 17, 25] is tat we consider a parametric mapping of te underlying mes rater tan te sub-triangulation or only te interface. Te discretization on te iger order geometry approximation tat we obtain from a parametric mapping is based on a variant of Nitsce s metod [43] for te imposition of interface conditions in non-conforming unfitted finite element spaces [29]. To our knowledge, tere is no literature in wic geometrical errors for isoparamteric or iger order unfitted Nitsce-type discretizations as been considered Te problem setting. On a bounded connected polygonal domain Ω R d, d = 2, 3, we consider te model interface problem div(α i u) = f i in Ω i, i = 1, 2, (1.1a) [α u] Γ n Γ = 0, [u] Γ = 0 on Γ, (1.1b) u = 0 on Ω. (1.1c) Here, Ω 1 Ω 2 = Ω is a nonoverlapping partitioning of te domain, Γ = Ω 1 Ω 2 is te interface and [ ] Γ denotes te usual jump operator across Γ. f i, i = 1, 2 are domain-wise described sources. In te remainder we will also use te source term f on Ω wic we define as f Ωi = f i, i = 1, 2. Te diffusion coefficient α is assumed to be piecewise constant, i.e. it as a constant value α i on eac sub-domain Ω i. We assume simplicial triangulations of Ω wic are not fitted to Γ. Furtermore, te interface is caracterized as te zero level of a given level set function φ Basic idea of te isoparametric unfitted discretization. Te new idea of te metod introduced in [35] is to construct a parametric mapping of te underlying triangulation based on a iger order (i.e. degree at least 2) finite element approximation φ of te level set function φ wic caracterizes te interface. Tis mapping, wic is easy to construct, uses information extracted from te level set function to map a piecewise planar interface approximation of te interface to a iger order approximation, cf. te sketc in Figure 1.1. A iger order isoparametric unfitted finite element metod is ten obtained by first formulating a iger order discretization wit respect to te low order geometry approximation wic serves as a reference configuration. Te parametric mapping is ten applied to improve te accuracy of te geometry approximation. Te application of te transformation also induces a cange of te finite element space wic renders te space an isoparametric finite element space. Tis approac is geometry-based and can be applied to unfitted interface or boundary value problems as well as to partial differential equations on surfaces. All volume and interface integrals tat occur in te implementation of te metod can be formulated in terms of integrals on te 3

4 + Θ Fig Basic idea of te metod in [35]: Te geometry description wit te level set function approximation φ is igly accurate but implicit (left). Te zero level Γ lin of te piecewise linear interpolation ˆφ as an explicit representation but is only second order accurate (center). Γ lin is mapped approximately to te implicit interface {φ = 0} using a mes transformation Θ, resulting in a igly accurate and explicit representation Γ = Γ lin Θ 1 (rigt). reference configuration, i.e. on simplices cut by te piecewise planar approximation of te interface. Hence, quadrature is straigtforward. For te definition of te discretization of te model problem (1.1) on te reference geometry we take an unfitted iger order cut finite element space, were te cut occurs at te piecewise planar zero level of te piecewise linear finite element approximation of φ. Applying te mes transformation to tis space induces an isoparametric unfitted finite element space for te discretization of (1.1). In te same way as in te seminal paper [29] te continuity of te discrete solution across te (numerical) interface is enforced in a weak sense using Nitsce s metod. Te resulting discrete problem as a unique solution u in te isoparametric unfitted finite element space ( is related in te usual way to te size of te simplices in te triangulation) Content and structure of te paper. In tis paper we present a rigorous error analysis of te metod introduced in [35] applied to te interface problem (1.1). Te main result of te paper is te discretization error bound in Teorem 5.8. As a corollary of tat result we obtain for isoparametric unfitted finite elements of degree k 1 an error bound of te form 1 2 [ũ ] Γ L 2 (Γ) + u ũ H 1 (Ω 1 Ω 2) c k( u H k+1 (Ω 1 Ω 2) + f H 1, (Ω 1 Ω 2)), wit a constant c > 0 tat is independent of and te interface position witin te computational mes. ũ := u Φ 1 is te mapped discrete solution were Φ is a smoot transformation wic maps from te approximated to te exact domains Ω i, i = 1, 2 and is close to te identity (precise definition given in section 5.2). Here, H1 (Ω 1 Ω 2) = H 1,2 (Ω 1 Ω 2) and H 1, (Ω 1 Ω 2) are broken Sobolev norms wit 2 W (Ω = 1 Ω 2) i=1,2 2 W (Ω, W i) {H1, H k+1, H 1, }. As far as we know tis is te first rigorous iger order error bound for an unfitted finite element metod applied to a problem wit an implicitly given interface. Te paper is organized as follows. In Section 2 we introduce notation and assumptions and define a finite element projection operator. Te parametric mapping Θ is introduced in Section 3. In Section 4 te isoparametric unfitted finite element metod is presented and numerical examples are given. Te main contribution of tis paper is te error analysis of te metod given in Section 5. 4

5 2. Preliminaries Notation and assumptions. We introduce notation and assumptions. Te simplicial triangulation of Ω is denoted by T and te standard finite element space of continuous piecewise polynomials up to degree k by V k. Te nodal interpolation operator in V k is denoted by I k. For ease of presentation we assume quasi-uniformity of te mes, s.t. denotes a caracteristic mes size wit T := diam(t ), T T. We assume tat te smoot interface Γ is te zero level of a smoot level set function φ, i.e., Γ = { x Ω φ(x) = 0 }. Tis level set function is not necessarily close to a distance function, but as te usual properties of a level set function: φ(x) 1, D 2 φ(x) c for all x in a neigborood U of Γ. (2.1) We assume tat te level set function as te smootness property φ C k+2 (U). Te assumptions on te level set function (2.1) imply te following relation, wic is fundamental in te analysis below φ(x + ɛ φ(x)) φ(x + ɛ φ(x)) ɛ ɛ x U, (2.2) for ɛ, ɛ sufficiently small. As input for te parametric mapping we need an approximation φ V k and we assume tat tis approximation satisfies te error estimate of φ, max φ φ m,,t U k+1 m, 0 m k + 1. (2.3) T T Here m,,t U denotes te usual semi-norm on te Sobolev space H m, (T U). Note tat (2.3) olds for te nodal interpolation φ = I k φ and implies te estimate φ φ,u + (φ φ),u k+1. (2.4) Here and in te remainder we use te notation (and for and ), wic denotes an inequality wit a constant tat is independent of and of ow te interface Γ intersects te triangulation T. Tis constant may depend on φ and on te diffusion coefficient α, cf. (1.1a). In particular, te estimates tat we derive are not uniform in te jump in te diffusion coefficient α 1 /α 2. Te zero level of te finite element function φ (implicitly) caracterizes te discrete interface. Te piecewise linear nodal interpolation of φ is denoted by ˆφ = I 1 φ. Hence, ˆφ (x i ) = φ (x i ) at all vertices x i in te triangulation T. Te low order geometry approximation of te interface, wic is needed in our discretization metod, is te zero level of tis function, Γ lin := { ˆφ = 0}. Te corresponding subdomains are denoted as Ω lin i = { ˆφ 0}. All elements in te triangulation T wic are cut by Γ lin are collected in te set T Γ := {T T, T Γ lin }. Te corresponding domain is Ω Γ := {x T, T T Γ }. Te extended set wic includes all neigbors tat sare at least one vertex wit elements in T Γ is T+ Γ := {T T, T Ω Γ } wit te corresponding domain Ω Γ + := {x T, T T Γ } Projection operator onto te finite element space V k(ωγ ) d. In te construction of te isoparametric mapping Θ we need a projection step from a function wic is piecewise polynomial but discontinuous (across element interfaces) to te space of continuous finite element functions. Let C(T Γ ) = C(T ) and T T Γ 5

6 V k (ΩΓ ) := V k Ω Γ. We introduce a projection operator P Γ : C(T Γ ) d V k (ΩΓ ) d. Te projection operator relies on a nodal representation of te finite element space V k (ΩΓ ). Te set of finite element nodes x i in T Γ is denoted by N(T Γ ), and N(T ) denotes te set of finite element nodes associated to T T Γ. All elements T T Γ wic contain te same finite element node x i form te set denoted by ω(x i ): ω(x i ) := {T T Γ x i N(T )}, x i N(T Γ ). For eac finite element node we define te local average as A xi (v) := 1 ω(x i ) T ω(x i) v T (x i ), x i N(T Γ ). (2.5) were denotes te cardinality of te set ω(x i ). Te projection operator P Γ : C(T Γ ) d V k(ωγ ) d is defined as P Γ v := A xi (v) ψ i, v C(T Γ ) d, x i N(T Γ ) were ψ i is te nodal basis function corresponding to x i. Tis is a simple and wellknown projection operator considered also in e.g., [46, Eqs.(25)-(26)] and [28]. Note tat P Γ w = I k w w C(Ω Γ ) d, P Γ w,ω max T T Γ w,t w C(T Γ ) d. (2.6) 3. Te isoparametric mapping Θ. In tis section we introduce te transformation Θ (V k)d wic is a bijection on Ω and satisfies Θ = id on Ω \ Ω Γ +. Tis mapping is constructed in two steps. First a local mapping Θ Γ, wic is defined on Ω Γ, is derived and tis local mapping is ten extended to te wole domain. We also need anoter bijective mapping on Ω, denoted by Ψ, wic is constructed in a similar two-step procedure. Tis mapping Ψ is needed in te error analysis and in te derivation of important properties of Θ. In te iger order finite element metod, wic is presented in Section 4, te mapping Θ is a key component, and te mapping Ψ is not used. In tis section we introduce bot Θ and Ψ, because te construction of bot mappings as strong similarities. Since te construction is not standard and consists of a two-step procedure, we outline our approac, cf. Fig. 3.1: We start wit te relatively simple definition of te local mapping Ψ Γ, wic as te property Ψ Γ (Γ lin ) = Γ (Section 3.1), but is only defined in Ω Γ. In general tis mapping can not (efficiently) be constructed in practice. Te definition of Ψ Γ is sligtly modified, to allow for a computationally efficient construction, wic ten results in te local isoparametric mapping Θ Γ wit te property Θ Γ (Γlin ) = Γ Γ (Section 3.2). Θ Γ is only defined in ΩΓ. Te extension of te mappings Ψ Γ and Θ Γ is based on te same general procedure, wic is derived from extension tecniques tat are standard in te literature on isoparametric finite element metods, cf. [37, 4]. Tis general procedure is explained in Section 3.3. Te general extension procedure is applied to te mapping Ψ Γ, resulting in te global bijection Ψ. Important properties of Ψ are derived (Section 3.4). Finally te general extension procedure is applied to te mapping Θ Γ, resulting in te global bijection Θ. Important properties of Θ are derived (Section 3.5). 6

7 Γ Ψ Ψ Γ Ω Γ + Γ lin Ω Γ Φ Θ Γ Γ Θ Fig Sketc of different mes transformations Ψ Γ, Θ Γ, Ψ, Θ and Φ := Ψ Θ Construction of Ψ Γ. We introduce te searc direction G := φ and a function d : Ω Γ R defined as follows: d(x) is te (in absolute value) smallest number suc tat φ(x + d(x)g(x)) = ˆφ (x) for x Ω Γ. (3.1) (Recall tat ˆφ is te piecewise linear nodal interpolation of φ.) We summarize a few properties of te function d. Lemma 3.1. For sufficiently small, te relation (3.1) defines a unique d(x) and d C(Ω Γ ) H 1, (Ω Γ ) C k+1 (T Γ ). Furtermore tere olds d(x i ) k+1 for all vertices x i of T T Γ, (3.2a) d,ω Γ 2, (3.2b) d H 1, (Ω Γ ), (3.2c) max d H l, (T ) 1, for l k + 1. (3.2d) T T Γ Proof. For α α 0, wit a fixed α 0 > 0, we introduce for a fixed x Ω Γ te continuous function g(α) := φ(x + αg(x)) ˆφ (x). From (2.4) one obtains ˆφ φ,ω Γ 2. Using tis, a triangle inequality and (2.1) we get g(α) = α φ(x) O( 2 ). (3.3) Hence, tere exists 0 > 0 suc tat for all 0 < 0 and all x Ω Γ te equation g(α) = 0 as a unique solution α =: d(x) in [ α 0, α 0 ]. Te result in (3.2b) follows from (3.3). Using (2.2) and (2.4) we get, for a vertex x i of T T Γ, d(x i ) φ(x i + d(x i )G(x i )) φ(x i ) = ˆφ (x i ) φ(x i ) = φ (x i ) φ(x i ) k+1, wic is te estimate in (3.2a). Te continuity of d on Ω Γ follows from te continuity of φ, G and ˆφ. 7

8 For (3.2c) we differentiate (3.1) and write y = x + d(x)g(x): Tis yields φ(y) + d φ(y) T G + d(dg T ) φ(y) = ˆφ (x). d( φ O( 2 )) + O( 2 ) = ˆφ (x) φ(y) = ˆφ (x) φ(x) + O( 2 ), wic, in combination wit ˆφ φ,ω Γ, implies d(x) a.e. in Ω Γ. For T T Γ we consider te function F (x, y) = φ(x + yg(x)) ˆφ (x), (x, y) T ( α 0, α 0 ). Te function d(x) = y(x) solves te implicit equation F (x, y(x)) = 0 on T. We recall te regularity assumption φ C k+2 (U). From te implicit function teorem we know tat y C k+1 (T ), because F C k+1( T ( α 0, α 0 ) ). From y C k+1 (T Γ ) and y C(Ω Γ ) we conclude y H 1, (Ω Γ ). Note tat D α ˆφ = 0 for α 2 and D α ˆφ,T φ H 2, (T ) for α 1. Hence, D α (x,y) F,T (α 0,α 0) φ H l+1, (U) for α k + 1. (3.4) Differentiating F (x, y(x)) = 0 yields D α y(x) = D y F (x, y(x)) 1 D α x F (x, y(x)) = A(x)D α x F (x, y(x)), α = 1, (3.5) wit A(x) = S(x) 1, S(x) = D y F (x, y(x)) = φ(x + yg(x)) T φ(x) [c 0, c 1 ] wit c 0, c 1 > 0 independent of, x, T. Differentiating S(x)A(x) = I we get D α A(x) = A(x) 2 D α S(x), α = 1. (3.6) From te relations (3.5) and (3.6) it follows tat D α y(x), α = l can be bounded in terms of A(x) and D(x,y) α F (x, y(x)), α l. Combining tis wit (3.4) proves (3.2d). Given te function dg C(Ω Γ ) d H 1, (Ω Γ ) d we define: Ψ Γ (x) := x + d(x)g(x), x Ω Γ. (3.7) Note tat te function d and mapping Ψ Γ depend on, troug ˆφ in (3.1). We do not sow tis dependence in our notation. As a direct consequence of te estimates derived in Lemma 3.1 and te smootness assumption G = φ C k+1 (U) we ave te following uniform bounds on (iger) derivatives of Ψ Γ. Corollary 3.2. Te following olds: Ψ Γ id,ω Γ + DΨ Γ I,Ω Γ 2, (3.8) max D l Ψ Γ,T 1, l k + 1. (3.9) T T Γ 3.2. Construction of Θ Γ. Te construction of ΘΓ consists of two steps. In te first step we introduce a discrete analogon of Ψ Γ defined in (3.7), denoted by Ψ Γ. Based on tis Ψ Γ, wic can be discontinuous across element interfaces, we obtain a continuous transformation Θ Γ C(ΩΓ ) d by averaging wit te projection operator P Γ from Section

9 For te construction of Ψ Γ we need an efficiently computable good approximation of G = φ on T Γ. For tis we consider te following two options G (x) = φ (x), or G (x) = (P Γ φ )(x), x T T Γ. (3.10) Lemma 3.3. Bot for G = P Γ φ and G = φ te estimate G G,Ω Γ + max T T Γ D(G G),T k (3.11) olds wit G = φ. Proof. For G = φ te result is a direct consequence of (2.4). For G = P Γ φ we use P Γ φ φ,ω Γ P Γ φ I k φ,ω Γ + φ I k φ,ω Γ, P Γ φ I k φ,ω Γ = P Γ ( φ φ),ω Γ max T T Γ φ φ,t, and (2.4) to estimate G G,Ω Γ k. For te derivative we make use of (2.3) and (2.4): D(G G),T D(G I k G),T + D(G I k G),T 1 G I k G,T + k 1 wit estimates tat are uniform in T T Γ. 1 G G,T + 1 G I kg,t + k 1 k 1, Remark 1. We comment on te options in (3.10). An important property of te searc direction G is te proximity to a continuous vector field G wic describes te direction wit respect to wic te interface Γ can be interpreted as a grap on Γ lin : For eac x Γ tere exists a unique y Γ lin and d R, s.t. x = y + d G(x). Te coices in (3.10) are accurate approximations of G(x) = φ wic (locally) ave te grap property for sufficiently smoot interfaces Γ. Despite te discontinuities across element interfaces, te discrete searc direction G = φ is a reasonable coice as te distance to te continuous searc direction G = φ is sufficiently small, cf. Lemma 3.3. Let E T φ be te polynomial extension of φ T. We define a function d : T Γ [ δ, δ], wit δ > 0 sufficiently small, as follows: d (x) is te (in absolute value) smallest number suc tat E T φ (x + d (x)g (x)) = ˆφ, for x T T Γ. (3.12) Clearly, tis d (x) is a reasonable approximation of te steplengt d(x) defined in (3.1). We summarize a few properties of te function d. Lemma 3.4. For sufficiently small, te relation (3.12) defines a unique d (x) and d C (T Γ ). Furtermore: d (x i ) = 0 for all vertices x i of T T Γ, (3.13a) max d,t 2, T T Γ max d,t 1, T T Γ 9 (3.13b) (3.13c)

10 Proof. Tese results can be derived using arguments very similar to te ones used in te proof of Lemma 3.1. For completeness suc a proof is given in te Appendix, section 7.1. Given te function d G C(T Γ ) d we define Ψ Γ (x) := x + d (x)g (x) for x T T Γ, (3.14) wic approximates te function Ψ Γ defined in (3.7). To remove possible discontinuities of Ψ Γ in ΩΓ we apply te projection to obtain Θ Γ := P Γ Ψ Γ = id + P Γ (d G ). (3.15) Using te results in te Lemmas 3.1 and 3.4 one can derive estimates on te difference Ψ Γ Ψ Γ and ΘΓ ΨΓ. Suc results, wic are needed in te error analysis, are presented in te next two lemmas. Lemma 3.5. Te estimate max Ψ Γ Ψ Γ,T + max D(Ψ Γ Ψ Γ ),T k+1 (3.16) T T Γ T T Γ olds. Proof. In te Appendix, section 7.2, we give a proof wic is based on te definitions of Ψ Γ, ΨΓ and te properties of d and d in Lemmas 3.4 and 3.1. Next, we compare Ψ Γ wit te isoparametric mapping Θ Γ = P Ψ Γ. Lemma 3.6. Te estimate k+1 r max D r (Θ Γ T T Γ Ψ Γ ),T k+1 (3.17) r=0 olds. Proof. We ave wit P v = I k v for v C(Ω Γ ) Θ Γ Ψ Γ,Ω Γ P (Ψ Γ Ψ Γ ),Ω Γ + I k Ψ Γ Ψ Γ,Ω Γ Ψ Γ Ψ Γ,Ω Γ + k+1 max T T Γ dg H k+1, (T ). Wit (3.2d) and te smootness of G we ave tat max T T Γ dg H k+1, (T ) is uniformly bounded. Furter we ave due to (3.16) Ψ Γ ΨΓ,Ω Γ k+1, wic proves te estimate for te r = 0 term in te sum. For r = 1,..., k + 1 terms we note r D r (Θ Γ Ψ Γ ),T r D r (Θ Γ I k Ψ Γ ),T + r D r (I k Ψ Γ Ψ Γ ),T Θ Γ I k Ψ Γ,T + r D r (I k Ψ Γ Ψ Γ ),T Θ Γ Ψ Γ,T + Ψ Γ I k Ψ Γ,T + r D r (I k Ψ Γ Ψ Γ ),T, wit estimates tat are uniform in T T Γ. Te bound for te first term on te rigt and side follows from te previous result. Te oter terms are also uniformly bounded by k+1 due to te regularity of Ψ Γ, cf. (3.9). From te result in Lemma 3.6 we obtain an optimal convergence order result for te distance between te approximate interface Γ = Θ Γ (Γlin ) and Γ. 10

11 Lemma 3.7. Te estimate dist(γ, Γ) k+1 olds. Proof. Take x Γ. Let y = x + ξ φ(x) Γ = Θ Γ (Γlin ) be te point closest to x. Using (2.2) and φ(x) 2 1 we get, using φ(ψ Γ (Γ lin )) = 0, x y 2 ξ φ(x + ξ φ(x)) φ(x) = φ(x + ξ φ(x)) φ,γ = φ Θ Γ,Γ lin = φ Θ Γ φ Ψ Γ,Γ lin Θ Γ Ψ Γ,Ω Γ k Extension procedure. In tis section we explain and analyze a general extension procedure for extending piecewise smoot functions given on Ω Γ to te domain Ω \ Ω Γ, in suc a way tat te extension is zero on Ω \ Ω Γ + and piecewise smoot on Ω Γ + \ Ω Γ. We use a local extension procedure, introduced and analyzed in [37, 4], wic is a standard tool in isoparametric finite element metods. In te sections 3.4 and 3.5 tis procedure is applied to construct extensions of Ψ Γ and Θ Γ. We first describe an extension operator, introduced in [37], wic andles te extension of a function from (only) one edge or face to a triangle or tetraedron. Te presentation ere is simpler as in [37], because we restrict to te case d = 2, 3 (altoug tis is not essential) and we only treat extension of functions given on te piecewise linear boundary Ω Γ, ence we do not ave to consider te issue of boundary parametrizations. Let F be an edge or a face of T T+ Γ \ T Γ from wic we want to extend a function w C(F ), wic is zero at te vertices of F, to te interior of T. F is called a 1-face of T if F is an edge of te triangle T (d = 2) or an edge te tetraedron T (d = 3) and it is called a 2-face if F is a face of te tetraedron T. Applying affine linear transformations ˆΦ F : ˆF F and ˆΦ T : ˆT T we consider te extension problem in te reference configuration wit ˆT and ˆF te reference element and a corresponding face (or edge) and ŵ := w. By λ i, i = 1,.., d+1, we denote te barycentric coordinates of ˆT and we assume tat te vertices corresponding to te coordinates λ 1,..., λ p+1 wit coordinates a 1,..., a p+1 R d are also te vertices of te p-face ˆF. Te linear scalar weigt function ω and te vector function Z, mapping from ˆT to ˆF, are defined by p+1 ω := λ i and Z := i=1 ˆΦ 1 F ( p+1 ) λ i a i /ω. (3.18) Furtermore, given te interpolation operator Λ l : C( ˆF ) P l ( ˆF ) we define i=1 A l := id Λ l, A l := Λ l Λ l 1 = A l + A l 1. (3.19) Te interpolation operator Λ l in [37] is te usual nodal interpolation operator. We note owever tat tis coice is not crucial. Given tese components we define te following extension operator from [37, 4]: E ˆF ˆT ŵ := ω k+1 A k(ŵ) Z + k ω l A l (ŵ) Z, ŵ C( ˆF ). (3.20) l=2 11

12 Te extension in pysical coordinates is ten given by E F T w := (E ˆF ˆT (w 1 ˆΦ F 1 )) ˆΦ T. (3.21) A few elementary properties of tis extension operator are collected in te following lemma. Tese results easily follow from Remarks in [4]. We use te notation C m 0 (F ) := { v C m (F ) v F = 0}. We write C 0 (F ) := C 0 0(F ). Lemma 3.8. Te following olds: (E F T w) F = w F for all w C 0 (F ), (3.22) E F T w P k (T ) for all w P k (F ), (3.23) E F T w = 0 for all w P 1 (F ). (3.24) For all p-faces F, F of T wit F F : (E F T w) F = 0 for all w C 0 (F ). (3.25) Let T, T be two tetraedra wit a common face F 2 = T T and F 1 an edge of F 2. Ten: (E F1 T w) F2 = (E F1 T w) F2 for all w C 0 (F 1 ). (3.26) Te following result is a key property of tis extension operator. Similar results are derived in [37, 4]. Lemma 3.9. For any p-face F of T te following olds: k+1 D n E F T w,t r n D r w,f, w C0 k+1 (F ), n = 0,.., k + 1. r=n Proof. Te proof is along te same lines as te proof of Teorem 6.2 in [4], and is given in te appendix, Section 7.3. We now describe ow to obtain a global extension w ext of a function w C( Ω Γ ). Te structure of tis extension is as follows. First, we introduce a simple variant of te previous extension operator E F T to extend values from vertices and obtain w0 ext. Te difference w w0 ext as, by construction, zero values on all vertices, so tat we can apply te extension from edges to elements, using E F T on eac element, to obtain w1 ext. In two dimensions tis already concludes te extension and we set w ext = w1 ext. In tree dimensions we finally apply te extension from faces to elements, based on w w1 ext wic as zero values on all edges, and obtain te extended function w ext. Te extension from vertices We define te linear interpolation I1 ext : C( Ω Γ ) V 1(ΩΓ + \ Ω Γ ) as { (I1 ext w)(x i ) = w(x i ) for all vertices x i Ω Γ (I1 ext w)(x i ) = 0 at all oter vertices in Ω Γ + \ Ω Γ (3.27), and for w C( Ω Γ ) we set w0 ext := I1 ext w. Wit tis extension we ave (w w0 ext )(x i ) = 0 for all vertices x i Ω Γ. On all elements T T+ Γ \ T Γ tat ave no edge in Ω Γ we set w ext = w0 ext. All oter elements are treated below. 12

13 Te extension from edges Let S 1 be te set of edges in Ω Γ and T (F ) te set of elements T T+ Γ \ T Γ wic ave F as an edge. We define te extension from edges as w ext 1 := w ext 0 + F S 1 T T (F ) E F T (w w ext 0 ). (3.28) We note tat w1 ext is continuous due to te consistency property (3.26). On all elements T T+ Γ \T Γ tat ave no face in Ω Γ, i.e. all elements in te two dimensional case, we set w ext := w1 ext. All oter elements are treated below wit an additional extension from faces to elements. Te extension from faces Let S 2 be te set of faces in Ω Γ and T (F ) te set of elements T T Γ + \ T Γ wic ave F as a face. Analogously to (3.28) we define te extension from faces as w ext 2 := w ext 1 + F S 2 T T (F ) E F T (w w ext 1 ) (3.29) Wit tis extension we finally ave (w w ext 2 ) Ω Γ = 0 and set w ext = w ext 2. From te properties of te extension operator listed above it follows tat w ext C(Ω Γ + \ Ω Γ ), w ext is a continuous extension of w and w = 0 on Ω Γ +. Tis defines te linear extension operator E ΩΓ : C( Ω Γ ) C(Ω Γ + \ Ω Γ ), by w ext = E ΩΓ w. Tis operator is suitable for te extensions of Θ Γ id and ΨΓ id and inerits te boundedness property given in Lemma 3.9 wic leads to te following result. Teorem Let V( Ω Γ ) denote te set of vertices in Ω Γ and F( Ω Γ ) te set of all edges (d = 2) or faces (d = 3) in Ω Γ. Te following estimates old D n E ΩΓ w,ω Γ + \ΩΓ max F F( Ω Γ ) r=n k+1 r n D r w,f + n max w(x i ), n = 0, 1, (3.30) x i V( Ω Γ ) k+1 max D n E Ω Γ w,t r n D r w,f, n = 2,..., k + 1, (3.31) T Ω Γ + \ΩΓ r=n for all w C( Ω Γ ) suc tat w C k+1 (F ) for all F F( Ω Γ ). Proof. We note tat due to (3.24) we ave tat E ΩΓ = I1 ext + E ΩΓ (id I1 ext ). Furtermore, (w I1 ext w)(x i ) = 0 for all vertices x i Ω Γ and E ΩΓ (id I1 ext ) is a composition of te element-local extension operator E F T only. Hence, te results in Lemma 3.9 imply corresponding results for E ΩΓ (id I1 ext ). For r 2 we ave D r I1 ext w = 0 and furtermore D r (w I ext 1 w),f D r w,f, for 0 r k + 1, and F F( Ω Γ ). (3.32) From tis estimate and te result in Lemma 3.9 te estimate (3.31) follows. Using I1 ext w,ω Γ + \Ω + Γ DIext 1 w,ω Γ + \ΩΓ max w(x i ) x i V( Ω Γ ) in combination wit te result in Lemma 3.9 and (3.32) yields te estimate (3.30). 13

14 3.4. Te global mes transformation Ψ. Given te local transformation Ψ Γ and te extension operator E ΩΓ defined in section 3.3 we define te following global continuous mapping on Ω: Ψ Γ on Ω Γ, EΨ Γ = id + E (Ψ Γ id) on Ω Γ + \ Ω Γ, (3.33) id on Ω \ Ω Γ +, and Ψ := EΨ Γ. For tis global mapping te following bounds on derivatives are easily derived from te results already obtained for Ψ Γ and for te extension operator E ΩΓ. Teorem For Ψ = EΨ Γ te following olds: Ψ id,ω + DΨ I,Ω 2, (3.34) max T T Dl Ψ,T 1, 0 l k + 1. (3.35) Proof. On Ω \ Ω Γ + tese results are trivial since Ψ I = 0. On Ω Γ we ave DΨ I = DΨ Γ I and te results are a direct consequence of Corollary 3.2. On Ω Γ + \ Ω Γ te result in (3.35) for l = 0, 1 follows from (3.34) and for l 2 it follows from (3.31) combined wit (3.9). We use te estimate in (3.30) and tus get Ψ id,ω Γ + \Ω Γ + DΨ I,Ω Γ + \ΩΓ = E ΩΓ (Ψ Γ id),ω Γ + \Ω Γ + DE ΩΓ (Ψ Γ id),ω Γ + \Ω Γ k+1 r=0 r max F F( Ω Γ ) D r (Ψ Γ id),f + max x i V( Ω Γ ) (Ψ Γ id)(x i ) Ψ Γ id,ω Γ + DΨ Γ I,Ω Γ + 2 max max D l Ψ Γ,T + 2 l k+1 T T Γ and using (3.2a) and te results of Corollary 3.2 completes te proof. max x i V( Ω Γ ) From (3.34) it follows tat, for sufficiently small, Ψ is a bijection on Ω. Furtermore tis mapping induces a family of (curved) finite elements tat is regular of order k, in te sense as defined in [4]. Te corresponding curved finite element space is given by d(x i ), V,Ψ := { v Ψ 1 v V k }. (3.36) Due to te results in Teorem 3.11 te analysis of te approximation error for tis finite element space as developed in [4] can be applied. Corollary 4.1 from tat paper yields tat tere exists an interpolation operator Π : H k+1 (Ω) V,Ψ suc tat u Π u L 2 (Ω) + u Π u H 1 (Ω) k+1 u H k+1 (Ω) for all u H k+1 (Ω). (3.37) Tis interpolation result will be used in te error analysis of our metod in section Te global mes transformation Θ. We define te extension of Θ Γ by using te same approac as for Ψ Γ in (3.33), i.e. Θ := EΘ Γ. Tis global mapping Θ is used in te isoparametric unfitted finite element metod explained in te next section. Note tat Ψ := EΨ Γ is only used in te analysis. Remark 2. Te mapping Θ Γ is a piecewise polynomial function of degree k on Ω Γ and tus Θ V k(ω)d, cf. (3.23). Furter we ave Θ Γ (x i) = 0 on all vertices of 14

15 Ω Γ. Bot lead to simplifications in te extension of Θ Γ. In (3.20) te first term involving A k vanises as ΘΓ F P k (F ) for every edge and face F Ω Γ. Furtermore, I1 ext Θ Γ = 0 so tat in an implementation only te extensions from edges and faces (wit w0 ext = 0) ave to be considered. We do not address furter implementation aspects of te mapping Θ ere. For te local mapping Θ Γ tese are discussed in [35]. Te extension procedure is te same as in te well-establised isoparametric finite element metod for a ig order boundary approximation. Here we only note tat in our implementation of tis extension we use a convenient approac based on a ierarcical/modal basis for te finite element space V k, cf. [31]. We discuss sape regularity of te mapping Θ. Clearly, te mapping Θ sould be a bijection on Ω and te transformed simplices Θ (T ), T T, sould ave some sape regularity property. It is convenient to relate te transformed simplices Θ (T ) to (piecewise) transformations of te unit simplex, denoted by ˆT. Te simplicial triangulation T can be represented by affine transformations Φ T (x) = A T x + b T, i.e. T = { Φ T ( ˆT ) }. Tis defines a mapping ˆT T := Θ (Φ T ( ˆT )). Tis mapping sould be bijective and well conditioned. Note tat κ(d(θ Φ T )) κ(dθ )κ(dφ T ), were κ( ) denotes te spectral condition number. Since Φ T : ˆT T is bijective and well-conditioned it suffices to sow te bijectivity and well-conditioning of Θ : T Θ (T ). Note tat Ψ Θ = E(Ψ Γ Θ Γ ) and using te estimate (3.30), wit n = 1, combined wit te result in Lemma 3.6, we get D(Ψ Θ ),Ω. Tus, combined wit te estimate in (3.34) we get DΘ I,Ω. (3.38) Tis implies tat for sufficiently small (te resolved case) DΘ is invertible and tus Θ : T Θ (T ) = T is a bijection and furtermore κ(dθ ) = 1 + O(). Hence, we ave sape regularity of T = { T } for sufficiently small. In te analysis we consider only te resolved case wit sufficiently small. In practice one needs suitable modifications of te metod to guarantee sape regularity also in cases were is not sufficiently small. We do not discuss tis ere and instead refer to [35]. Furter important consequences of te smallness of te deformation Θ are summarized in te following lemma. Lemma Let F := DΘ, J V := det(f ), J Γ := J V F T n Γ lin 2. Tere olds: Ω lin i max F I,T, T T v 2 d x J V v 2 d x = Ω lin i v 2 d s Γ lin J Γ v 2 d s = Γ lin Θ (Ω lin i ) Θ (Γ lin ) (3.39a) (v Θ 1 )2 dx, (3.39b) (v Θ 1 )2 ds, (3.39c) (v Θ 1 ) 2 v 2 a.e. in Ω for v H 1 (Ω). (3.39d) Proof. From (3.38) te result (3.39a) and det(f ) = 1 + O() easily follow. Te latter implies te result in (3.39b). We now consider te integral transformation result in (3.39c). We only treat d = 3 (d = 2 is very similar). Take x Γ lin T and a local ortonormal system t 1, t 2 n Γ lin(x) at x. Te function g(z 1, z 2 ) := 15

16 Θ (x + z 1 t 1 + z 2 t 2 ), z i R parametrizes Θ (Γ lin T ). For te cange in measure we ave, wit F = F (x) = DΘ (x), ds = g z 1 g z 2 2 d s = F t 1 F t 2 2 d s = det(f ) F T (t 1 t 2 ) 2 d s = det(f ) F T n Γ lin(x) 2 d s = J Γ d s, (3.40) wic proves te equality in (3.39c). From (3.39a) and det(f ) = 1 + O() we get te result in (3.39c). Wit (v Θ 1 ) = F T v and (3.39a) te result in (3.39d) follows. 4. Isoparametric unfitted finite element metod. In tis section we introduce te isoparametric unfitted finite element metod based on te isoparametric mapping Θ. We consider te model elliptic interface problem (1.1). Te weak formulation of tis problem is as follows: determine u H0 1 (Ω) suc tat α u v dx = fv dx for all v H0 1 (Ω). Ω Ω We define te isoparametric Nitsce unfitted FEM as a transformed version of te original Nitsce unfitted FE discretization [29] wit respect to te interface approximation Γ = Θ (Γ lin ). We introduce some furter notation. Te standard unfitted space w.r.t. Γ lin is denoted by V Γ := V k Ω lin 1 V k Ω. lin 2 To simplify te notation we do not explicitly express te polynomial degree k in V Γ. Remark 3. Note tat te polynomial degree k is used in te finite element space tat contains te level set function approximation, φ V k. In te definition of te unfitted finite element space V Γ above, wic is used for te discretization of te interface problem (1.1), we could also use a polynomial degree m k. We restrict to te case tat bot spaces (for te discrete level set function and for te discretization of te PDE) use te same degree k, because tis simplifies te presentation and tere is no significant improvement of te metod if one allows m k. Te isoparametric unfitted FE space is defined as V Γ,Θ := { v Θ 1 v V Γ } = { ṽ ṽ Θ V Γ }. (4.1) Based on tis space we formulate a discretization of (1.1) using te Nitsce tecnique [29] wit Γ = Θ (Γ lin ) and Ω i, = Θ (Ω lin i ) as numerical approximation of te geometries: determine u V,Θ Γ suc tat A (u, v ) := a (u, v ) + N (u, v ) = f (v ) for all v V Γ,Θ (4.2) wit te bilinear forms a (u, v) := 2 α i u vdx, (4.3a) Ω i, i=1 N (u, v) := N(u, c v) + N(v, c u) + N(u, s v), N(u, c v) := { α v } n[u]ds, N(u, s v) := ᾱ λ [u][[v ]ds Γ Γ 16 (4.3b) (4.3c)

17 for u, v V,Θ Γ + V reg, wit V reg, := H 1 (Ω) H 2 (Ω 1, Ω 1, ). Here, n = n Γ denotes te outer normal of Ω 1, and ᾱ = 1 2 (α 1 + α 2 ) te mean diffusion coefficient. For te averaging operator { } tere are different possibilities. We use {w } := κ 1 w Ω1, + κ 2 w Ω2, wit a Heaviside coice were κ i = 1 if T i > 1 2 T and κ i = 0 if T i 1 2 T. Here, T i = T Ω lin i, i.e. te cut configuration on te undeformed mes is used. Tis coice in te averaging renders te sceme in (4.2) stable (for sufficiently large λ) for arbitrary polynomial degrees k, independent of te cut position of Γ, cf. Lemma 5.2 below. A different coice for te averaging wic also results in a stable sceme is κ i = T i / T. In order to define te rigt and side functional f we first assume tat te source term f i : Ω i R in (1.1a) is (smootly) extended to Ω i,, suc tat f i = f i, on Ω i olds. Tis extension is denoted by f i,. We define f (v) := i=1,2 Ω i, f i, vdx. (4.4) We define f on Ω by f Ωi, := f i,, i = 1, 2. For te implementation of tis metod, in te integrals we apply a transformation of variables y := Θ 1 (x). Tis results in te following representations of te bi- and linear forms: a (u, v) = α i DΘ T u DΘ T v det(dθ ) dy, (4.5a) i=1,2 f (v) = N(u, c v) = i=1,2 N s (u, v) = ᾱ λ Ω lin i Ω lin i (f i, Θ )v det(dθ ) dy, (4.5b) det(dθ )DΘ T Γ lin Γ lin J Γ [u][[v ]dy, { α v } (DΘ T n lin )[u]dy, (4.5c) (4.5d) were J Γ = det(dθ ) DΘ T n lin is te ratio between te measures on Γ and Γ lin and n lin = ˆφ / ˆφ is te normal to Γ lin. We note tat in (4.5c) we exploited tat te normalization factor DΘ 1 nlin for te normal direction n of Γ cancels out wit te corresponding term in J Γ. Based on tis transformation te implementation of integrals is carried out as for te case of te piecewise planar interface Γ lin. Te additional variable coefficients DΘ T, det(dθ ) are easily and efficiently computable using te property tat Θ is a finite element (vector) function. Te integrands in (4.5) are in general not polynomial so tat exact integration can typically not be guaranteed. For a discussion of te tereby introduced additional consistency error we refer to Remark 8 in te analysis Numerical experiment. In tis section we present results of a numerical experiment for te metod (4.2). Te domain is Ω = [ 1.5, 1.5] 2, and te interface is given as Γ = {φ(x) = 0} wit te level set function φ(x) = x 4 1. Here x 4 := ( d i=1 x4 i ) 1 4. Te zero level of φ describes a smooted square and φ is equivalent to a signed distance function in te sense tat 4 1/2 φ 2 1 suc tat dist(x, Γ) 4 2 φ(x) for all x Ω. Te level set function φ is approximated wit φ V k by interpolation. For te problem in (1.1), we take te diffusion 17

18 u(x, 0) 2 0 Ω 1 Γ Ω Fig Sketc of domains Ω 1, Ω 2 (left), te solution (middle and rigt) and te initial mes (L = 0, rigt) for te example in Section 4.1. coefficient (α 1, α 2 ) = (1, 2) and Diriclet boundary conditions and rigt-and side f suc tat te solution is given by { 1 + π u(x) = 2 2 cos( π 4 x 4 4), x Ω 1, π 2 x (4.6) 4, x Ω 2. We note tat u is continuous on Ω but as a kink across te interface Γ suc tat α 1 u 1 n Γ = α 2 u 2 n Γ, cf. te sketc of te solution in Figure 4.1. For te construction of te mapping Θ, te one-dimensional nonlinear problem wic results from (3.12) is solved wit a Newton-iteration, cf. [35, section 2.3], up to a (relative) tolerance of 10 14, wic required only 2 3 iterations for eac point. For te searc direction we cose G = φ, cf. (3.10). We also considered G = P Γ φ, wic led to very similar results. For te computation of te integrals we apply te transformation to te reference domains Ω lin i and Γ lin as in (4.5). On eac element of te reference domain (e.g. Ω lin i T, T T ) we apply quadrature rules of exactness degree 2k 2 for te integrals in a (, ) and N c(, ) and quadrature rules of exactness degree 2k for te integrals in N s (, ), see also remark 8 below. Te metod as been implemented in te add-on library ngsxfem to te finite element library NGSolve [51]. We cose an initial simplicial mes (L = 0) wit 282 elements wic sufficiently resolves te interface suc tat sape regularity of te mes (after transformation) is given witout a furter limitation step as discussed in [35, section 2.6]. Starting from tis initial triangulation uniform refinements are applied. Te stabilization parameter λ in te unfitted Nitsce metod is cosen as λ = 20 k 2. Wit te discrete solution to (4.2) u V,Θ Γ, and u as in (4.6) we define te following error quantities wic we can evaluate for te numerical solutions: d Γ := φ,γ, e [ ] := [E i u u ] L2 (Γ ) e 2 L := E 2 i u u 2 L 2 (Ω i, ), e2 H := (E 1 i u u ) 2 L 2 (Ω i, ). i=1,2 i=1,2 Here, E i : Ω i Ω i, = Θ (Ω lin i ) denotes te canonical extension operator for te solution (using te representation in (4.6)). Due to te equivalence of φ to a signed distance function we ave dist(γ, Γ) 4 2 d Γ and tus d Γ yields a (sarp) bound for te error in te geometry approximation. Te error quantities e H 1, d Γ and e [ ] are also used in te error analysis, cf. (5.1). Te results in te experiment confirm te teoretical error bounds. We also include te L 2 -error e L 2, altoug in te analysis in tis paper we do not derive L 2 -error bounds, cf. Section 6. 18

19 k L d Γ (eoc) e L 2 (eoc) e H 1 (eoc) e [ ] (eoc) ( - ) ( - ) ( - ) ( - ) (1.2) (1.8) (0.8) (1.2) (2.0) (2.0) (0.9) (2.1) (2.1) (2.0) (1.0) (1.8) (1.9) (2.0) (1.0) (2.1) (1.9) (2.0) (1.0) (2.0) (2.0) (2.0) (1.0) (2.0) ( - ) ( - ) ( - ) ( - ) (3.4) (2.4) (1.6) (1.9) (2.4) (2.9) (1.9) (3.1) (2.5) (3.0) (2.0) (2.9) (3.1) (3.0) (2.0) (3.1) ( - ) ( - ) ( - ) ( - ) (2.1) (3.1) (2.0) (3.3) (4.0) (4.1) (3.1) (4.7) (4.3) (4.0) (3.1) (3.8) ( - ) ( - ) ( - ) ( - ) (4.3) (5.2) (3.7) (4.2) (5.4) (4.7) (4.1) (4.9) ( - ) ( - ) ( - ) ( - ) (3.6) (6.1) (5.2) (4.1) ( - ) ( - ) ( - ) ( - ) Table 4.1 Discretization errors and estimated orders of convergence (eoc) for te example in Section 4.1. Results are listed in Table 4.1. We observe d Γ O( k+1 ), e L 2 O( k+1 ), e H 1 O( k ), i.e., optimal order of convergence in tese quantities. Te observed convergence rate for te jump across te interface, e [ ] O( k+1 ), is better tan predicted in te analysis below (by alf an order). For a fixed mes (L = const) we observe tat increasing te polynomial degree k dramatically decreases te error in all four error quantities. Te discretization wit k = 6 on te coarsest mes L = 0 wit only 6835 unknowns (last row in te table) is muc more accurate in all four quantities tan te discretization wit k = 1 after 6 additional mes refinements and unknowns (row k = 1, L = 6 in te table). Remark 4. We note tat te arising linear systems depend on te position of te interface witin te computational mes and can become arbitrarily ill-conditioned. To circumvent te impact of tis we used a sparse direct solver for te solution of linear systems. In our experiment te very poor conditioning of te stiffness matrix for ig order discretizations limited te acievable accuracy to e L and e H Hence, we stopped te refinement if discretization errors in tis order of magnitude ave been reaced. Te solution of linear systems is an important issue for ig order unfitted discretizations and requires furter attention. To deal wit te ill-conditioning one may consider (new) preconditioning strategies or furter stabilization mecanisms in te weak formulation. We leave tis as a topic for future researc. 19

20 5. Error Analysis. Te main new contribution of tis paper is an error analysis of te metod presented in Section 4. We start wit te definition of norms and derive properties of te discrete variational formulation in Section 5.1. Tese results are obtained using te fact tat te isoparametric metod can be seen as a small perturbation of te standard unfitted Nitsce-XFEM metod. To bound te error terms we use te bijective mapping on Ω given by Φ := Ψ Θ 1. Tis mapping as te property Φ (Γ ) = Γ and is close to te identity. Some furter relevant properties of tis mapping are treated in Section 5.2. Using tis mapping we derive a Strang lemma type result wic relates te discretization error to consistency errors in te bilinear form and rigt-and side functional and to approximation properties of te finite element space, cf. Section 5.3. In te Sections 5.4 and 5.5 we prove bounds for te consistency and approximation error, respectively. Finally, in Section 5.6 an optimal-order H 1 -error bound is given Norms and properties of te bilinear forms. In te error analysis we use te norm v 2 := v [v ] 2 1 2,,Γ + {α v } 2 1 2,,Γ, (5.1) wit v 2 ± 1 2,,Γ := (ᾱ/)±1 v 2 L 2 (Γ ) and v 2 1 := α i v 2 L 2 (Ω i, ). (5.2) i=1,2 Note tat te norms are formulated wit respect to Ω i, = Θ (Ω lin i ) and Γ = Θ (Γ lin ) and include a scaling depending on α. Remark 5. For simplicity we restrict to te setting of a quasi-uniform family of triangulations. In te more general case of a sape regular (not necessarily quasiuniform) family of triangulations one as to replace te interface norm in (5.2) by one wit an element wise scaling: v 2 ± 1 2,,Γ := (ᾱ/ T ) ±1 v 2 L 2 (Γ,T ) wit Γ,T := Θ (T Γ lin ) (5.3) T T Γ We furter define te space of sufficiently smoot functions wic allow for te evaluation of normal gradients at te interface Γ : V reg, := H 1 (Ω) H 2 (Ω 1, Ω 2, ). (5.4) Note tat te norm and te bilinear forms in (4.3) are well-defined on V reg, +V Γ,Θ. Te stability of te metod relies on an appropriate coice for te weigting operator {u } = κ 1 u 1 + κ 2 u 2 in (4.2). For te stability analysis of te weigting operator we introduce te criterion κ 2 i c κ T i / T, i = 1, 2, (5.5) wit a constant c κ independent of α, and te cut configuration. We note tat tis criterion is fulfilled for te Heaviside coice, cf. Section 4, wit c κ = 2 and te weigting κ i = T i / T proposed in [29] wit c κ = 1. Using tis criterion we derive te following inverse estimate, wic is an important ingredient in te stability analysis of te unfitted Nitsce metod. Lemma 5.1. On a sape regular (not necessarily quasi-uniform) family of triangulations wit an averaging operator {u } satisfying (5.5) tere olds {α u } 1 2,,Γ u 1 for all u V Γ. (5.6) 20