Residual-based a posteriori error estimates for a conforming mixed finite element discretization of the Monge-Ampère equation

12/03/2019 ∙ by Jamal Adetola, et al. ∙ 0

In this paper we develop a new a posteriori error analysis for the Monge-Ampère equation approximated by conforming finite element method on isotropic meshes in 2D. The approach utilizes a slight variant of the mixed discretization proposed by Gerard Awanou and Hengguang Li in International Journal of Numerical Analysis and Modeling, 11(4):745-761, 2014. The a posteriori error estimate is based on a suitable evaluation on the residual of the finite element solution. It is proven that the a posteriori error estimate provided in this paper is both reliable and efficient.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1. General introduction

The adaptive techniques have become indispensable tools and unavoidable in the field of study behavior of the error committed during solving partial differential equations (PDE). A posteriori error estimators are computable quantities, expressed in terms of the discrete solution and of the data that measure the actual discrete errors without the knowledge of the exact solution. They are essential to design adaptive mesh refinement algorithms which equi-distribute the computational effort and optimize the approximation efficiency. Since the pioneering work of Babuska and Rheinboldt

[8, 7], adaptive finite element methods based on a posteriori error estimates have been extensively investigated. Several a-posteriori error analysis methods for PDE have been developped in the last five decades [24, 23, 1, 3, 5, 6, 9, 10, 11, 28, 16, 19, 2, 21].

We consider the Monge-Ampère equation on a convex domain of with a smooth solution and our approach utilizes a slight variant of the mixed discretization proposed by Gerard Awanou and Hengguang Li in [4]. The purpose of these work is to determine to which extend the general framework for adaptivity for nonlinear problems of Gatica and his collaborators in [15, 19] can be applied to the Monge-Ampère equation. More precisely, we attempt to determine to which extent one can prove results analogous to the ones of Houédanou, Adetola and Ahounou [20]. Ideed, in [4] Gerard Awanou and Li study the mixed method for this equation and they gave a priori error estimator under the assumption of regularity for the solution of continuous problem. Omar Lakkis in his presentation of July 15, 2014, presents a family of reliable error indicators for a primal formulation [22]. However, to our best knowledge, they din’t talk about adaptative method for this mixed formulation. In this case we have for main to give a posteriori error analysis by constucting reliable and efficiency indicator error.

In [4] Gerard and Li have introduce a mixed finite element method formulation for the elliptic Monge-Ampère equation by puting . The news unknowns in the formulation are and which been approached respectively by the discrete polynomials spaces of Lagrange. Finally, they give a result of error priori analysis with some numerical tests confirming the convergence rates. In this paper, we have got a new family of a local indicator error (see Definition 3.1, eq. 3.1) and global (eq. 26) efficiency and reliability for the mixed method of Monge-Ampère model. We prove that our indicators error are efficiency and reliability, and then, are optimal. The global inf-sup condition is the main tool yielding the reliability. In turn, The local efficiency result is derived using the technique of bubble function introduced by R. Verfürth [25] and used in similar context by C. Carstensen [13, 12].

The paper is organized as follows. Some preliminaries and notation are given in section 2. In section 3, the a posteriori error estimates are derived. We offer our conclusion and the further works in Section 4.

2. Preliminaries and Notation

2.1. Model

Let be a convex polygonal domain of with boundary . We consider the following problem : find the unique strictly convex solution (when it exists) of

(1)

The given function is assumed to satisfy and the function is also given and assumed to extend to a function. Here denotes the determinant of the Hessian matrix .

2.2. Modified continuous mixed weak formulation

We begin this subsection by introducing some useful notations. If is a bounded domain of and is a non negative integer, the Sobolev space is defined in the usual way with the usual norm and semi-norm . In particular, and we write for . Similarly we denote by the , or inner product. Now, we recall the continuous mixed weak formulation introduce by Gérard et al. [4]. The mixed weak formulation of (1) is : find such that

(2)

Let introduce Lagrange multiplier , the modified mixed weak formulation of (1) is : find such that

(3)
Lemma 2.1.

(ref. [4]) The problem (2) is well defined, and if is a smooth solution of (1), then solves (2).

Remark 2.1.

In this formulation the boundary condition on viewed as constraints and imposed via Lagrange multiplier.

We end this section with some notation. Let be the space of polynomials of total degree not larger than . In order to avoid excessive use of constants, the abbreviations and stand for and , respectively, with positive constants independent of , or (meshes).

2.3. Modified discrete formulation

Let be an open convex bounded subset of with boundary and let denote a triangulation of into simplices . We denote by the diameter of the element and . We make the assumption that the triangulation is conforming and satisfies the usual shape regularity condition, i.e. there exists a constant suth that: for all where denotes the radius of the largest ball inside . (See Figs. 3, 3,3).

Figure 1. Isotropic element in .
Figure 2. Example of conforming mesh in

Figure 3. Example of nonconforming mesh in

To be able to use global inverse estimates, c.f. (2.2) and of [4], we require the triangulation to be also quasi-uniform, i.e. there is a constant such that for all .

For any , we denote by (resp. the set of its edges (resp. vertices) and set , . For we define:

Let denote the standard Lagrange finite element space of degree and ; that is we consider the following discret spaces :

(4)
(5)

The discrete formulation of (2) is given by : find such that

(6)

We recall that is the subset of of elements with vanishing trace on . Let

denote the standard Lagrangian interpolation operator from

into the space . The modified discrete formulation of (3) is given by find : For , we difine by : such that

(7)

with

Now, we define

and

where

By simple calcultions, the problem (7) is logically equivalent to (6) and we have the result:

Lemma 2.2.

(cf. [4]) The problem (7) as unique solution in .

Theorem 2.1.

[4] Let be the convex solution of non linear problem (2) with . The discrete non linear problem (6) has a unique solution in . Moreover the following estimate holds.

(8)
(9)

3. A-posteriori error analysis

In order to solve Monge-Ampère problem by efficient adaptive finite element methods, reliable and efficient a posteriori error analysis is important to provide appropriated indicators. In this section, we first define the local and global indicators and then the lower and upper error bounds are derived.

3.1. Residual Error Estimators

The general philosophy of residual error estimators is to estimate an appropriate norm of the correct residual by terms that can be evaluated easier, and that involve the data at hand.

Let and . We define the operator B by

and

We also define by and . Then the continuous problem (3) is equivalent to : find , such that

(10)

We define the discrete version by the same way.

Then let, and . We define by:

(11)

and

(12)

We also define by . The discrete problem (7) is equivalent
to : find , such that,

(13)

We recall the following Lemma

Lemma 3.1.

(cf. [4, Section 3.1]) : Fréchet derivate of the determinant. For , we have .

By using the Lemma 3.1, we have the operator is differentiable and for all , and , its differential at is given by:

(14)

We deduce the existence of a positive constant , independent of and the continuous and discrete solutions, such that the following global inf-sup condition holds:

(15)

We have the following lemma:

Lemma 3.2.

There holds

(16)

Where is the residual functional define by , which satisfies:

Proof.

Let , and , we have

and

Particulary for , we have

where . Therefore,

(17)

Using Cauchy-Schwarz inequality and the inequality (15), the result follows. ∎

Now we define the residual equation:

(18)

hence,

By integrating by parts, we obtain for , the equation:

(19)

where:

In this way, it follows that:

(20)

and hence our next purpose is to derive suitable upper bounds for each one of the terms on the right hand side of (20). We start with the following lemma, which is a direct consequence of the Cauchy-Schwarz inequality.

Lemma 3.3.

There exist , and , independent of the meshsizes, such that:

(21)

and

(22)

In addition there holds

(23)
Lemma 3.4.

There exist a positive constant , such that

(24)
Proof.

By using (20),(21),(22),(23) and Cauchy-Schwarz inequality, the result follows. ∎

3.1.1. A posteriori error indicators

Now, we define the error indicators:

Definition 3.1 (A-posteriori error indicators).

Let be the finite element solution. Then, the residual error estimator is locally defined by:

The global residual error estimator is given by:

(26)

Furthermore denote the local and global approximation terms by:

and

3.1.2. Reliability of

The first main result is given by the following theorem.

Theorem 3.1 (Reliability of the a posteriori error estimator).

Let be the exact solution and be the finite element solution. Then, there exist a positive constant such that:

(27)
Proof.

By using Lemma 3.2 and the estimate (24), the result follows. ∎

3.1.3. Efficiency of

The second main result of this paper is the efficiency of the a posteriori error estimator . In order to derive the local lower bounds, we proceed similarly as in [12, 20, 14] (see also [18]), by applying inverse inequalities, and the localization technique based on simplex-bubble and face-bubble functions. To this end, we recall some notation and introduce further preliminary results. Given , and , we let and be the usual simplexe-bubble and face-bubble functions respectively (see (1.5) and (1.6) in [27]). In particular, satisfies , , , and . Similarly, , , and . We also recall from [26] that, given , there exists an extension operator that satisfies and . A corresponding vectorial version of , that is, the componentwise application of , is denoted by L. Additional properties of , and are collected in the following lemma (see [26]):

Lemma 3.5.

Given , there exist positive constants depending only on and shape-regularity of the triangulations (minimum angle condition), such that for each simplexe and there hold

(28)
(29)
(30)
(31)

To this end, we recall some notation. We define the error respect to , and respectively by , and . Then we recall the global error define by . To prove local efficiency for , let us denote by:

The main result of this subsection can be given as follows:

Theorem 3.2.

Let , . Let be the unique solution of the continous problem and be the unique solution of discret problem. Then, the local error estimator satisfies :

(32)

Where is a finite union of neighbouring elements of .

Proof.

To establish the lower error bound (32), we will make extensive use of the original system of equations given by (1) and (3), which is recovered from the mixed formulation (6) by choosing suitable test functions and integrating by parts backwardly the corresponding equations. Thereby, we bound each term of the residual separately.

  1. Residual element

    Let us define by where is the bubble fonction define in the Section 3.1.3. We have

    (33)

    Introduce and use the modified continuous formulation (3) to get:

    Using Cauchy-Schwarz inequality we obtain

    (34)

    Using an inverses inequalities we have

    (35)

    Thus,

    (36)
  2. Residual element Let . We have

    The triangular inequality leads to

    Hence,

    (37)
  3. Residual element: From the residu equation of differential form (17), we obtain for :

    and we deduce for :