Skip to content
Publicly Available Published by De Gruyter March 14, 2016

Estimates of the modeling error generated by homogenization of an elliptic boundary value problem

  • Sergey Repin EMAIL logo , Tatiana Samrowski and Stefan Sauter

Abstract

In this paper, we derive a posteriori bounds of the difference between the exact solution of an elliptic boundary value problem with periodic coefficients and an abridged model, which follows from the homogenization theory. The difference is measured in terms of the energy norm of the basic problem and also in the combined primal–dual norm. Using the technique of functional type a posteriori error estimates, we obtain two-sided bounds of the modelling error, which depends only on known data and the solution of the homogenized problem. It is proved that the majorant with properly chosen arguments possesses the same convergence rate, which was established for the true error. Numerical tests confirm the efficiency of the estimates.

MSC 2010: 35J15; 35B27; 65N15

1 Introduction

Boundary value problems with periodic structures arise in various applications. Homogenization theory is the major tool used to quantitatively analyze media with periodic structures. Within the framework of the theory (see, e.g., [9, 14]), the behavior of a heterogeneous media is described with the help of a certain homogenized problem, which is typically a boundary value problem with smooth coefficients, and the solution of a specially constructed problem with periodic boundary conditions. It has been proved that the functions reconstructed by this procedure converge to the exact solution as the cell size ε tends to zero. Moreover, known a priori error estimates qualify the convergence rate in terms of ε. The goal of this paper is to derive two-sided estimates of the modeling error generated by homogenization. In other words, we wish to estimate the difference between the exact solution of the original problem and its approximation obtained by the corresponding homogenized model.

Let Ωd be a bounded domain with Lipschitz boundary ∂Ω, such thatΩ=UiΠiε, where

iε=xi+ε={xd|xxiεΠ}

is the basic ‘cell’ (repeating element of the periodic structure, see Fig. 1), which is a simply connected domain with Lipschitz boundary, xi is the reference point of Πiε, and ∊ is a small parameter (geometrical size of a cell). Here and later on, x denotes the global (Cartesian) coordinate system in d and i= (i1, i2. . . id) denotes the counting multi-indices for the cells. The notations ∪i and ∑i are shorthands for the union and summation over all cells. It is assumed that the overall amount of Πiε in Ω is bounded from above by the quantity

(1.1)c0εd,c0=O(1)

and the diameter of Πiε, satisfies the relation

(1.2)diamΠiε  =ρε            

where ρ is a parameter depending on the geometry of the cell. Usually, ρ is easy to find (e.g., for a cubic cell ρ=d).

Figure 1. Periodic structure (left) and its basic cell (right).
Figure 1.

Periodic structure (left) and its basic cell (right).

In the basic cell (see Fig. 1), we use local Cartesian coordinates y    Rd. For any Πiε, local and global coordinates are joined by the relation

y=xxiεΠxΠiε,i.

On Π^, we define a matrix function where symd×d denotes the set of symmetric d × d matrices. We assume that

(1.3)c1|ξ|2A^(y)ξξc2|ξ|2ξd,yΠ

where 0 < c1c2 < ∞ and introduce the ‘global’ matrix

(1.4)Aε(x):=A^(xxiε)xΠiε,i

which defines the periodic structure on Ω. In view of (1.3), Aε (and its inverse counterpart Aε1) satisfy similar two-sided estimates for any ε.

Consider the second-order elliptic equation

(1.5)div(Aεuε)=fin  Ω,fL2(Ω)

with homogeneous Dirichlet boundary conditions. The corresponding generalized solution uεH01(Ω) is defined by the relation

(1.6)ΩAεuε.w=ΩfwwH01(Ω).

For any ε > 0, the solution uε exists and is unique.

For a function ζL1(ω), where ω is a measurable subset of Ω, we define the mean value by

(1.7)ζω:=1|ω|ωζ.

If no confusion may arise, we omit in integrals the symbol of the corresponding Lebesque measure (e.g., dx).However, we write the measure explicitly if it is necessary to distinguish between integration over the global and local coordinates (as in Lemma 2.1).

If we writeωζω, then the average is considered as a constant function on ω (for vector-valued functions, we apply this definition component wise). The error caused by the averaging (1.7) is denoted by

δωζ:=ζζωω

where ∥·∥ω denotes the standard L2-norm on ω.

For a vector (μi)i=1d(>0)d and s ∈ ℝ, μs denotes the component wise application of the power s, i.e., μs = (μis)i=1d. For vector-valued functions ζ=(ζk)k=1dL1 (ω, ℝd). and φ:= (φk)k=1dεL1(Ω,ℝd)., we define the local and piecewise constant averages by means of the relations

δωζ:=(ζkζkωω)k=1d,δΩpwφ:=εd/2(iφkφkΠiεΠiε)k=1d

and

(δωζ)2:=(ζkζkωω2)k=1d,(δΩpwφ)2:=εd/2((iφkφkΠiεΠiε)2)k=1d.

Within the framework of homogenization theory, an approximation of uε is constructed by the following procedure (see, e.g., [7, 9, 14]). First, we define (for k = 1, 2 ... d) the solutions Nk of ‘cell problems’

(1.8)div(A^Nk)=(divA^)kin  Π^Nk  is  periodic  in  Π^Π^Nk  =0

With the help of them, the homogenized matrix

(1.9)A0=Α^(IN)Π^

is defined. The function u0H01(Ω) such that

(1.10)ΩA0u0.w=ΩfwwH01(Ω)

provides a “coarse” approximation of uε. It is known that (see, e.g., [7]),

uεu0in  L2(Ω),uεu0in  H01(Ω)for  ε0.

However, it is necessary to construct a sequence of more accurate approximations, which converges in a stronger sense. For this purpose, the homogenization theory suggests to use advanced approximations

(1.11)wε1(x):=u0(x)εψε(x)Nk(xxiε)u0(x)χkxΠiε,i

Where ψ:= min{1, dist(x, ∂Ω)/} is a cutoff function.

To prove optimal a priori convergence rates for the modeling error

(1.12)eεmod:=uεwε1

we need some extra assumptions (see [14], p.28), namely,

(1.13)u0W2,(Ω¯)

and

(1.14)NkyjL(Π^)

Then, it can be proved (see, e.g., [7], Remark 5.13; [10]; [14], p. 28) that the modeling error satisfies the asymptotic estimates:

(1.15)uεwε1H1(Ω)c˜ε

and

(1.16)Aεuεv0εv1c^ε

where

(1.17)v0:=(IcurlyN˜)μμ:=A01(IcurlyN˜)Π˜1u0v1:=curlx(N˜μ)

the d × d matrix N˜with columns N˜kis the solution of the auxiliary problem

(1.18)curlA01(curlNk˜(y))=curl(A01)kinΠ^divN˜k=0N˜kisperiodicinΠ^Π^N˜k=0

and the columns of the matrixcurlyN˜ are given by curlyN˜k, k = 1, 2, …, d.

Numerical methods for homogenized problems are actively studied. Such questions as adaptively and error indication are among the most important questions arising in quantitative analysis of periodical structures. Here, we first of all mention residual type error indicators that develop the ideas suggested in [2, 3] for definite element approximations. Since our approach is based on a different technique, we will sketch here only briefly some relevant literature on residual based estimation and refer for a detailed review, e.g., to [13]. A posteriori error estimates for the heterogeneous multiscale discretization (HMM) of elliptic problems in a periodic setting can be found in [12, 17]. In [1], an a posteriori estimate of residual type for general, possibly non-periodic, diffusion tensors with micro-scales is presented while a residual-type a posteriori error estimate for more general diffusion tensors has been developed in[13]. Also, we mention the papers [4, 5, 29, 30], which are closely related to the topic.

Our goal is to deduce estimates of eεmod of a different type, which provide guaranteed and fully computable bounds of the modeling error. The corresponding error majorant uses the solution of the homogenized problem and, in addition, involves free functions and a function η defined on the cell of periodicity. This freedom can be utilized for improving the efficiency of the corresponding error bounds. Besides, the functions obtained in this way provide efficient reconstructions of the flux. In general, the estimates have the form

(1.19)M(wε1;Θ)(uεwε1)AεM(wε1;η,λ,s)

where

(1.20)qAε:=(ΩAεq.q)1/2.

The majorant ℳ and a minorant ℳ. are derived in Sections 2 and 3, respectively. Numerical tests are exposed in Section 4. They confirm the efficiency of the estimates.

2 Upper bound of the modeling error

First, we prove a subsidiary result, which states an upper bound of the L2-product of a globally defined function and a periodic function defined on the cell.

Lemma 2.1.

For all gL2(Ω)d, ηL2(Π^)d, and all λ=(λd)k=1d(>0)d it holds

(2.1)iΠiεg(x)η(xxiε)dx|Ω|gΩηΠ^+λ2(δΩpwg)2+λ12(δΠ^η)2.

Proof. For any gL2(Ω)d, we have

J:=iΠiεg(x).η(xxiε)dx=k=1diΠiεgk(x)ηk(xxiε)dx=k=1diΠiε(gk(x)gkΠiε)ηk(xxiε)dx+k=1diΠiεgkΠiεηk(xxiε)dx.

Since

(2.2)iΠiεgkΠiεηk(xxiε)dx=εd(Π^ηk(y)dy)i1|Πiε|Πiεgk(x)dx=εd(Π^ηk(y)dy)i1εd|Π^|Πiεgk(x)dx=Π^ηk(y)dy1|Π^|Ωgk(x)dx

and for any (ck)k=1dd

(2.3)iΠiε(gk(x)gkΠiε)ηk(xxiε)dx=iΠiε(gk(x)gkΠiε)(ηk(xxiε)ck)dx(igkgkΠiεΠiε)(Πiε(ηk(xxiε)ck)2dx)1/2=(igkgkΠiεΠiε)εd/2ηkckΠ^

we find that

Jk(|Ω|gkΩηkΠ^+(δΩpwg)kηkckΠ^)k(|Ω|gkΩηkΠ^+λk2(δΩpwg)k2ηkckΠ^)=|Ω|gΩηΠ^+12λ(δΩpwg)2+12Π^i1λk(ηkck)2dy

for any arbitrary vector λ>0d. In particular, we set ck=ηkΠ^ and obtain (2.1). □

In order to present the main estimate in a transparent form, we introduce the function

(2.4)gτ0(x):=Aεwε1τ0

where

(2.5)τ0H(Ω,div):={ϑ(L2(Ω))d,divϑL2(Ω)}

and the quantity

(2.6)F(wε1;τ0,η,λ,s):=gτ0Aε12+2ε2|Ω|gτ0Ω.ηΠ^+εs(λ1.(δΠ^η)2+λ(δΩpw(gτ0))2)+c0ε2sηA^1,Π^2

where λ>0d, s ∈ ℝ>0, and

(2.7)ηH0(Π^,div):{ϑH(Π^,div),divϑΠ^=0}.

Now, we can deduce the first (general) form of the majorant . It is presented in Theorem 2.1 (see also [25]), which proof uses the technique developed in [1927].

Theorem 2.1.

Let the cell of periodicity Π^ be convex and the conditions (1.1), (1.3), (1.9), (1.11), and(1.13)besatisfied. Then, for any λ    ℝ>0d, s ∈ ℝ>0τ0H(Ω, div) and ηH0(Π^, div) we have the estimate

(2.8)(uεwε1)AεM(wε1;τ0,η,λ,s):=F1/2(wε1;τ0,η,λ,s)+C˜FΩdivτ0+f+εsC˜div  ηΠ^

where ℱ, C˜FΩandC˜are defined by(2.6)and(2.13), respectively.

Proof. For any v, wH01(Ω) and τH (Ω, div), we have

(2.9)ΩAε(uεv)w=Ω(Aεvw+fw)=Ω(τAεv)w+Ω(divτ+f)w.

We set w = uεv and estimate the first term in (2.9) as follows:

(2.10)Ω(τAεv)(uεv)(uεv)AεAεvτAε1.

Henceforth, we select τ in a special form, namely,

(2.11)τ(x)=τ0(x)εsη(xxiε)onΠiε

where

ηH0(Π^,div).

Since

divτ(x)=divτ0(x)εsdivη(xxiε)xΠiε,i

and

divη(xiε)Πiε=εd1divηΠ^=0

we obtain

Ω(divτ+f)(uεv)dx=Ω(divτ0+  f)(uεv)dxiΠiεεsdivη(xiε)(uεv)dxCFΩdivτ0+  f(uεv)+εsiεd/21divηΠ^CΠiε(uεv)Πiε

where CFΩ is a constant in the Friedrich’s inequality for Ωand CΠiε is a constant in the Poincare’s inequality for Πiε. It is known (cf. [18]) that for convex Πiε

CΠiεdiamΠiεπd1.

We use (1.1) and (1.2) and arrive at the estimate

Ω(divτ+  f)(uεv)dxCFΩdivτ0+  f(uεv)+εsεd/21div  ηΠ^c0εd/21εϱπ(uεv)=CFΩdivτ0+  f(uεv)+εsϱπc0div  ηΠ^(uεv).

In view of (1.3), we obtain

(2.12)Ω(divτ+  f)(uεv)C˜FΩdivτ0+  f(uεv)Aε+εsC˜div  ηΠ^(uεv)Aε

where

(2.13)C˜FΩ:=CFΩc1,ϱπc0c1.

Now (2.9), (2.10), and (2.12) imply the estimate

(2.14)(uεv)AεAεvτ0+εsηAε1+C˜FΩdivτ0+  f+εsC˜div  ηΠ^.

Consider the first term in the right-hand side of the estimate (2.14). We have

Aεvτ0+εsηAε12=iΠiεA^1(xxiε)(A^(xxiε)v(x)τ0(x)+εsη(xxiε))×(A^(xxiε)v(x)τ0(x)+εsη(xxiε))dx.

We set v=wε1 and obtain with the help of (2.4)

Aεwε1τ0+εsηAε12=iΠiε(ε2sA^1(xxiε)η(xxiε)η(xxiε)+2A^1(xxiε)εSgτ0(x)η(xxiε)+A^1(xxiε)εSgτ0(x)gτ0(x))dx.

Now we apply Lemma 2.1 to the second term in the right-hand side of the above relation and arrive at (2.8). □

We note that the estimate (2.14) also holds in a more general setting and can be applied to any reconstruction v (including numerical one) of u with the requirement that vH1(Ω).

Remark 2.1.

It is not difficult to show that the majorant has the same convergence rate as the a priori estimate (cf.(1.16)) provided that the parameters are selected as is recommended by the theory [14].

Indeed, let us choose

(2.15)τ0:=v0εv1*

where v0and v1 are defined by (1.17) and * means periodification of a function,i.e.

w*(x):=w(x,xxiε)

for anyxΠiε and for any i. Then,

div  τ0=divv0εdivv*1=divv0ε((divxv1)*+ε1(divyv1)*).

Sincev1:=curlx(N˜μ), (cf. (1.17)), the first term in the brackets vanishes and for the second one we use the fact that

(divyv1)*=f+  divxv0

(see, e.g., [7], p. 65). Then, we obtain

(2.16)divτ0=divv0fdivv0=f.

Therefore,

(2.17)(uεwε1)AεM(wε1,τ0,η,λ,s)=F1/2(wε1;τ0,η,λ,s)+εsC˜divη^

where ℱ is defined by (2.6) and

gτ0(x)=Aεwε1(v0εv1).

Then, with the help of (1.15), (1.16), and the triangle inequality, we find that

gτ0(x)=Aε(wε1uε+uε)(v0εv1)Aε1Aε(wε1uε)Aε1+Aεuε(v0εv1)Aε1cε.

We set η = 0, tend all components of λ to zero and find that

(2.18)cε1/2.

It is worth noting that in some special cases this asymptotic result can be proved in a simpler way. For example, if

A0=A^1Π^1

(which is always the situation in the one-dimensional case or if curl A^1 = 0), then the simplest choice

τ0=A0u0

implies div τ0 = −f. In this case,

(2.19)(uεwε1Aε(wε1,τ0,η,λ,s):=1/2(wε1;τ0,η,λ,s)+εsC˜divηΠ^

where ℱ is defined by (2.6) and

gτ0(x)=Aεwε1A0u0

for all yΠ^,xΠiε. Choosing again η = 0 in (2.19), we obtain (2.18).

Remark 2.2.

The right-hand side of the majorant (2.8) is the sum of three non-negative terms, which include a global function τ0 and a function η defined on the cell of periodicity. This reflects the specifics of the considered class of problems. Hence, the computation of the majorant is based on the flux of the homogenized solution and a proper selection (cf. Section 4) of the function τ defined on the cell of periodicity. The scalar parameters λi and the power s can be selected in order to minimize the overall value of the majorant. We emphasize that the computation of the majorant does not require an approximation of the flux associated with the original (global) periodic problem.

The choice

τ0=A0u0,η=0

leads to the simplified error estimator

(2.20)(uεwε1)Aε|iΠiεA1(xxiε)gτ0(x)gτ0(x)dx|1/2=Aεwε1A0u0Aε1=:M(wε1,u0).

It is easy to show that this simplified majorant is equivalent to the combined primal–dual norm

(2.21)[uεwε1,Aεuετ0]:=(uεwε1)Aε+Aεuετ0Aε1

Indeed, from one hand

(2.22)[uεwε1,Aεuετ0]:=(uεwε1)Aε+AεuεA0u0Aε1(uεwε1)Aε+AεuεAεwε1Aε1+Aεwε1A0u0Aε13AεuεA0u0Aε1=3M(wε1,u0).

From the other hand,

(2.23)M(wε1,u0)=Aεwε1τ0Aε1Aεwε1AεuεAε1+Aεuετ0Aε1=[uεwε1,Aεuετ0].

Hence, we obtain

(2.24)M(wε1,u0)[uεwε1,Aεuετ0]3M(wε1,u0).

We note that this result is similar to that has been obtained in [22] for errors of mixed approximations of elliptic partial differential equations.

Remark 2.3.

One can show that in the one-dimensional case, (2.20) holds as equality provided that

(2.25)Ω(Aε10xf)=Ω(A010xf).
Remark 2.4.

In certain cases, we may know only numerical approximations to the solutions Nk, N˜k and u0of the auxiliary cell problems (cf.(1.8), (1.18)) and of the homogenized equation (cf. (1.10)). The corresponding approximation errors can be estimated by error majorants of similar types (see [1924] and references therein). Then, the overall error majorant will include both, approximation and modeling errors. A combined modeling-discretization strategy is suggested in [24] (where the modeling error is generated by defeaturing of a complicated structure) and in [28] (where the modeling error is generated by dimension reduction) and should be used in this case. This topic deserves a separate investigation and lies beyond the framework of this paper which is focused on the principal structure of the guaranteed error bound for homogenized problems.

3 Lower bound of the modeling error

Lower bounds of the modeling error allow us to estimate numerically the sharpness of the error majorant and to evaluate the efficiency of error estimation. A lower bound of the energy error norm can be derived by means of the well known relation (see, e.g.,[22], pp. 85–86):

(3.1)(uεv)Aε2=supwH01(Ω)M2(v;w):=supwH01(Ω)Ω(2(fwAεvw)Aεww).

Clearly, for any wH01(Ω) it holds (uεv)Aε(v;w) Moreover, there exists a function w such that the inequality holds as equality. use (3.1) with v=wε1 (cf. (1.11)) and represent w in the form w = ρmaxz, where zH01(Ω)is a certain specially selected function and the multiplier ρmax is defined by the relation

ρmax=Ω(fzAεwε1z)ΩAεzz

In this case, M2(wε1;ρz) attains its maximum as a quadratic function with respect to ρ. Inserting this value into M2(v;w), we obtain the following lower bound of the modeling error (uεwε1)Aε.

(3.2)M2(wε1;z):=|Ω(fzAεwε1z)|zAε=|Ω(A0u0Aεwε1)z|zAε.

Below we consider two possible choices of the function z. Let

(3.3)z(x):=wε1(x)u0(x)εΘ(xxiε)

where Θ((xxi)/∊) is a periodic function defined in Π^, and

(3.4)φε0(x,xxiε):=ψε(x)N(xxiε)u0(x).

Then, we rewrite (1.11) in the form

(3.5)wε1=u0+εφε0

and

(3.6)z(x)=ε(φε0(x,xxiε)Θ(xxiε))

we see that in this case the test function z is a periodical function. The minorant is defined by the relation

(3.7)2(wε1;Θ)=(Ω[qφε0qΘ])2ΩAε(φε0Θ)(φε0Θ)

where

(3.8)q:=(A0Aε)u0εAεφε0.

For this ansatz, the best lower bound will be obtained if (3.7) is maximized with respect to the cell based function Θ and global function ψ. However, in general, finding these (optimal) functions may require essential computational efforts. In the tests below, we used a much simpler choice, namely, Θ = 0,

(3.9)Θ=0,ψε=min{1,1εdist(x,Ω)}

and the minorant (3.7) is reduced to

(3.10)per(Wε1;0)=|Ωqφε0|φε0Aε.

Also, we may try to find a suitable z represented aperiodically, for example in the form u0 plus small quasi-periodical disturbances

(3.11)z(x)=ρ(u0(x)+εψεΘ(xxiε)).

In this case,

(3.12)2(wε1,Θ)=(Ω[q˜u0+q˜(εψεΘ)])2ΩAε(u0+εψεΘ)(u0+εψεΘ),

where

(3.13)q˜:=  (A0  Aε)u0  +ε  Aε(ψεNu0).

In general, the minorant should be maximized with respect to Θ. However, even the simplest choice Θ = 0 yields a lower bound

(3.14)aper(Wε1;0)=|Ωqu0|u0Aε.

4 Numerical experiments

A general strategy of computing the majorant consists of minimizing ℳ with respect to parameters λ, s, vector function τ ϵ H (Ω, div) and vector function η ϵ H0(Π^, div) using finite dimensional subspaces Sh (Ω) ⊂ H(Ω, div) (e.g. a finite element space) and Sh(Π^)⊂ H0(Π^, div), respectively. The process can be started with

(4.1)τ0=A0u0,η=  0.

In the numerical experiments discussed below, we set τ and η in accordance with (4.1) and use the simplest error estimator M(wε1,u0):

(4.2)(uεWε1)Aε|iΠiεA1(xxiε)gτ0(x)gτ0(x)dx|1/2

where g>τ0 (x) is defined by (2.4). In most cases, this choice was enough in order to have sufficiently sharp estimates. This is explainable because if the periodic structure is fine and contains many cells, then the correction term is less significant and its influence can be diminished by increasing values of s. However, if a periodic structure is rather coarse (e.g., 25–50 cells) and/or the coefficient of the matrix A^ have jumps, sharp oscillations, etc. then the term 𝜀s𝛈 may augment the homogenized flux substantially and it may be required to use the most general form of the majorant.

Below, we apply the estimates derived in Sections 2 and 3 to several one- and two-dimensional test problems. For this purpose, we select problems used in publications related to analysis of homogenized and interface problems, e.g., see [8, 13, 15, 16, 30]. Our goal is to validate the sharpness of the two-sided error bounds presented by M. and two lower bounds introduced in Section 3 (i.e.,Mis computed by per(Wε1;0) or per(Wε1;0); (3.10) and (3.14)).

For the quantitative characterization of two-sided bounds, we use the number

(4.3)x:=MM

which can be also viewed as a computable upper bound of the efficiency index

ieff:=M(uεwε1)Aε

and gives insights of the quality of the error majorant. Similarly, we define the efficiency index of the lower bound

iΘeff:=MΘ(uεwε1)Aε.

In the first series of tests, we set d=1 and Ω=(0, 1). Then, uεH01(Ω) is defined by the relation

(4.4)01Aεuεv=01fvvH01(Ω)
Example 4.1.

Let

A^(y):={1,0<y1/22,1/2<y<1

and Aε is defined as in (1.4). The right-hand side is given by f:= sin (2πx/ε). Here, the explicit forms of A0, u0, dN/dy and N are known (they can be found from (1.9) and (1.8)):

A0(x)=43u0=3ε8πcos(2πxε1)dNdy(y)={13,0<y1/213,1/2<y<1N(y)={y3+112,0<y1/2y314,1/2<y<1
Example 4.2.

Let Aε(x) = 2 + cos (2πx/ε), f := e10 x. Then, see (1.9) and (1.8):

A0(x)=3u0=30.510e10x+30.5100e10dNdy(y)=13(2+cos(2πy))1N(y)=(13(2+cos(2πy))1)dy.

In Example 4.1,f is a periodic function. Therefore, it is natural to expect that the minorant Mper (in which the periodicity is taken into account) will provide better results. In Example 4.2, the right-hand side is represented by a non-periodical function, and, therefore, we expect that Maper will be better (at least for problems with relatively small amount of cells). The corresponding numerical results are depicted in Fig. 2 and confirm the proposed choice of the lower error bound. We note that in Example 4.1 the equality (2.25) holds and (cf. Remark 2.3) the majorant (4.2) coincides with the error. This fact is con_rmed numerically (see Fig. 2a, 2b). Example 4.2 shows that the majorant and minorants are quite sharp if the number of cells is sufficiently large (regardless of the condition (2.25)).

Figure 2. Error bounds (left) and efficiency indices (right) for Example 4.1 and Example 4.2.
Figure 2.

Error bounds (left) and efficiency indices (right) for Example 4.1 and Example 4.2.

Example 4.3.

Let d = 2, Ω = (0, 1)2, and uε    H01(Ω) be defined by the relation

ΩAεuε.v=ΩfvvH01(Ω)

Here A𝜀 is generated by the matrix A^:=aI (cf. (1.4)), where

(4.5)a:={a1>0in(0,12)2(12,1)2a2>0in  (0,1)2\(0,12)2(12,1)2.  Π^:a2a1a1a2

Then (see, e.g.,[14], pp. 35–39), A0=a1,a2 We choose

f=  2a1a2  (x1(1  x1)  +x2(1  x2))

such that

(4.6)u0(x)  =x1x2(1  x1)(1  x2).

Exact solutions of the cell problems

(4.7)yi(A^ij(y)Nk(y)yj)=yiA^ik(y)inΠ^=(0,1)2Nkis  periodic  in  Π^NkΠ^=0
(4.8)Nk(y)=v(y+12)+yk,k=1,2.

Here v(y) is the unique solution of the problem

(4.9)  div  (a.v)  =  0    in  (1,  1)2

with homogenous Dirichlet boundary conditions and a is defined by (4.5). This solution is given in polar coordinates (r, ℐ) centered at the origin by the relation

(4.10)v=rγμ(ϑ)

where

(4.11)μ(ϑ):={cos(αβ)cos((ϑπ2+α)γ),0ϑπ2cos(αγ)cos((ϑπ+β)γ),π2ϑπcos(αβ)cos((ϑπα)γ),πϑ3π2cos((π2α)γ)cos((ϑ3π2β)γ),3π2ϑ2π

is a continuous and piecewise smooth function and the numbers α, β, and γ depend on a1/a2 and satisfy the relations

(4.12){a1a2=tan(βγ)cot(αγ)a2a1=tan(αγ)cot(βγ)a1a2=tan(βγ)cot((π2α)γ)a2a1=tan((π2α)γ)cot(βγ)γ>0max{0,πγπ}<2αγ<min{πγ,π}max{0,π}<2βγ<min{π,2π}

It is known that v has a restricted regularity (namely,vH1+γε(Π^) for any ∊ > 0).

We use this fact in order to verify the efficiency of the error majorant in different situations, we consider two cases, in which the ratio between a1 and a2 (and the regularity of Nk) are quite different.

  • Case 1: let a1 = 5.0, a2 = 1.0. In this case, the solution (4.9) has γ = 0.53544094560 and ℐ = π/2 (cf. system (3.2) in [15]) so that v ∈ H3/2(Ω).

  • Case 2: now, we set γ = 0.1 and = π/2. By solving (4.11) and (4.12), we find that in this case a1=161.4476387975881 and a2 = 1.0. Here, vH1+α(Π^).) with 0 < α < 0.1, i.e., it is almost an H1 function.

To quantify the efficiency of the estimates (4.2) and (3.10), we compare them with the exact error

(4.13)e:=(uεwε1)Aε

Since u is unknown, we replace it by the ‘reference’ solution uref computed on a very fine mesh (h ≪ ∊). The corresponding efficiency indices are defined by the relations

(4.14)ieff=M(wε1;0,1,1)(urefwε1)Aε,ieff,per=Mper(wε1;0)(urefwε1)Aε

In Table 1 (Case 1) and 2 (Case 2), we present these quantities together with the quantity x as in (4.3). We see that the estimates adequately reproduce the modeling error.

Table 1

Efficiency of error majorant and minorant for Example 4.3, Case 1.

ε−1ieffieffx
81.07140.88241.2141
161.08740.87811.2384
321.09880.85911.2790
641.16330.84611.3749
Table 2

Efficiency of error majorant and minorant for Example 4.3, Case 2.

ε−1ieffieffx
81.07240.82912.0533
161.97010.79612.4750
322.18480.73702.9644
642.27710.71243.1964

It is quite predictable that the estimates are better in the first case (related to a more regular v ). For the first problem, efficiency indices of the majorant and minorant are quite close to 1. However, the estimates are also valid for the second case (minimal regularity). Indeed, the efficiency index of the majorant does not exceed 2.3 and the one of the minorant does not go below 0.7.

Acknowledgment

The authors are grateful to Swiss National Science Foundation for supporting this research under the grants 200021_119809 and 200020_134621. The first co-author also thanks the Institute for Mathematical Research (FIM, ETH, Zurich) for support. We are grateful to Dr. Christian Wüst — the finite element computations have been performed on the basis of his program JCFD.

References

[1] A. Abdulle, A. Nonnenmacher, A posteriori error analysis of the heterogeneous multiscale method for homogenization problems. C. R. Math. Acad. Sci. Paris, 347(2009), No. 17-18, 1081–1086.10.1016/j.crma.2009.07.004Search in Google Scholar

[2] I. Babuška, W. C. Rheinboldt, A posteriori error estimates for the finite element method, Intern. J. Numer. Math. Engrg., 12(1978), 1597–1615.10.1002/nme.1620121010Search in Google Scholar

[3] I. Babuška, W. C. Rheinboldt, Error estimates for adaptive finite element computations, SIAM J. Numer. Anal., 15(1978), 736–754.10.1137/0715049Search in Google Scholar

[4] I. Babuška, I. Lee, C. Schwab, On the a posteriori estimation of the modeling error for the heat conduction in a plate and its use for adaptive hierarchical modeling, Appl. Numer. Math., 14(1994), 5–21.10.1016/0168-9274(94)90016-7Search in Google Scholar

[5] I. Babuška, C. Schwab, A posteriori error estimation for hierarchic models of elliptic boundary value problems on thin domains, SIAM J. Numer. Anal., 33(1996), 221–246.10.1137/0733013Search in Google Scholar

[6] N. S. Bakhvalov, G. Panasenko, Homogenisation: Averaging Processes In Periodic Media: Mathematical Problems In The Mechanics Of Composite Materials, Springer, 1989.10.1007/978-94-009-2247-1Search in Google Scholar

[7] A. Bensoussan, J.-L. Lions, G. Papanicolaou, Asymptotic Analysis for Periodic Structures, North-Holland, Amsterdam, 1978.Search in Google Scholar

[8] Z. Cai, S. Zhang, Recovery-based error estimator for interface problems: conforming linear elements, SIAM J. Numer. Anal., 47(2009), 2132–2156.10.1137/080717407Search in Google Scholar

[9] M. Chipot, Elliptic Equations: An Introductory Course. Birkhäuser Verlag AG, 2009.10.1007/978-3-7643-9982-5Search in Google Scholar

[10] D. Cioranescu, P. Donato, An Introduction To Homogenization, Oxford Lecture Series in Mathematics and its Applications, Vol. 17, Oxford University Press, 1999.Search in Google Scholar

[11] A. Friedman, Partial Di_erential Equations, R. E. Krieger Pub. Co., Huntington, NY, 1976.Search in Google Scholar

[12] P. Henning, M. Ohlberger, The heterogeneous multiscale _nite element method for elliptic homogenization problems in perforated domains, Numer. Math., 113(2009), No. 4, 601–629.10.1007/s00211-009-0244-4Search in Google Scholar

[13] P. Henning, M. Ohlberger, A-posteriori error estimation for a heterogeneous multiscale method for monotone operators and beyond a periodic setting, Technical Report 01/11-N, FB 10, Universität Münster, 2011.Search in Google Scholar

[14] V. V. Jikov, S. M. Kozlov, O. A.Oleinik, Homogenization of Diffierential Operators and Integral Functionals, Springer, Berlin, 1994.10.1007/978-3-642-84659-5Search in Google Scholar

[15] R. B. Kellogg, On the Poisson equation with intersecting interfaces, Appl. Anal., 4(1975), 101–129.10.1080/00036817408839086Search in Google Scholar

[16] J. T. Oden, J. R. Cho, Adaptive hpq-finite element methods of hierarchical models for plate- and shell-like structures, Comput. Meth. Appl. Mech. Engrg.,136(1996), 317–345.10.1016/0045-7825(95)00986-8Search in Google Scholar

[17] M. Ohlberger, A posteriori error estimates for the heterogeneous multiscale finite element method for elliptic homogenization problems,Multiscale Model. Simul.,4(2005), No. 1, 88–114.10.1137/040605229Search in Google Scholar

[18] L. E. Payne, H. F. Weinberger, An optimal Poincaré inequality for convex domains, Arch. Ration. Mech. Anal.,5(1960), No. 1, 286–292.10.1007/BF00252910Search in Google Scholar

[19] S. Repin, A posteriori error estimation for nonlinear variational problems by duality theory, Zapiski Nauch. Semin.(POMI),243(1997), 201–214.10.1007/BF02673600Search in Google Scholar

[20] S. I. Repin, A posteriori error estimation for variational problems with uniformly convex functionals,Math. Comp.,69(2000), 481–600.10.1090/S0025-5718-99-01190-4Search in Google Scholar

[21] S. I. Repin, The estimates of the error of some two-dimensional models in the elasticity theory,J.Math. Sci., New York,106(2001), 3027–3041.10.1023/A:1011323722683Search in Google Scholar

[22] S. I. Repin, A posteriori estimates for partial differential equations, Walter de Gruyter, Berlin, 200810.1515/9783110203042Search in Google Scholar

[23] S. I. Repin and T. S. Samrowski Estimates of dimension reduction errors for stationary reaction–diffusion problems, Problems of Math. Anal., 173 (2011), No. 6, 803–821.10.1007/s10958-011-0272-3Search in Google Scholar

[24] S. I. Repin, T. S. Samrowski, and S. A. Sauter, Combined a posteriori modelling–discretization error estimate for elliptic problems with variable coeffcients, ESAIM, Math. Model. Numer. Anal., 46 (2012), No. 6, 1389–1405.10.1051/m2an/2012007Search in Google Scholar

[25] S. I. Repin, T. S. Samrowski, and S. A. Sauter, A posteriori error majorants of the modeling errors for elliptic homogenization problems, C. R., Math., Acad. Sci. Paris, 351 (2013), No. 23/24, 877–882.10.1016/j.crma.2013.10.025Search in Google Scholar

[26] S. I. Repin, S. A. Sauter, and A. A. Smolianski, A posteriori error estimation for the Dirichlet problem with account of the error in the approximation of boundary conditions, Computing, 70 (2003), 205–233.10.1007/s00607-003-0013-7Search in Google Scholar

[27] S. I. Repin, S. A. Sauter, and A. A. Smolianski, A posteriori estimation of dimension reduction errors for elliptic problems in thin domains, SIAM J. Numer. Anal., 42 (2004), No. 4, 1435–1451.10.1137/030602381Search in Google Scholar

[28] T. S. Samrowski, Combined error estimates in the case of the dimension reduction, Preprint 16-2011, Universität Zürich, 2011.Search in Google Scholar

[29] C. Schwab, A-posteriori modeling error estimation for hierarchic plate model, Numer. Math., 74 (1996), 221–259.10.1007/s002110050215Search in Google Scholar

[30] Ch. Schwab, A.Matache, Generalized FEM for homogenization problems, in: Multiscale and multiresolution methods, Lect. Notes Comput. Sci. Engrg., 20 (2002), 197–237. Springer, Berlin, 2002.10.1007/978-3-642-56205-1_4Search in Google Scholar

[31] Ch.Wüst, JCFD: Custom flow simulation in Java URL: http://www.math.uzh.ch/compmath/jcfdSearch in Google Scholar

Received: 2014-1-26
Revised: 2014-11-21
Accepted: 2015-1-28
Published Online: 2016-3-14
Published in Print: 2016-3-1

© 2016 by Walter de Gruyter Berlin/Boston

Downloaded on 26.9.2023 from https://www.degruyter.com/document/doi/10.1515/jnma-2014-1002/html
Scroll to top button