Gradient discretisation method explained

In numerical mathematics, the gradient discretisation method (GDM) is a framework which contains classical and recent numerical schemes for diffusion problems of various kinds: linear or non-linear, steady-state or time-dependent. The schemes may be conforming or non-conforming, and may rely on very general polygonal or polyhedral meshes (or may even be meshless).

Some core properties are required to prove the convergence of a GDM. These core properties enable complete proofs of convergence of the GDM for elliptic and parabolic problems, linear or non-linear. For linear problems, stationary or transient, error estimates can be established based on three indicators specific to the GDM [1] (the quantities

CD

,

SD

and

WD

, see below). For non-linear problems, the proofs are based on compactness techniques and do not require any non-physical strong regularity assumption on the solution or the model data.[2] Non-linear models for which such convergence proof of the GDM have been carried out comprise: the Stefan problem which is modelling a melting material, two-phase flows in porous media, the Richards equation of underground water flow, the fully non-linear Leray—Lions equations.[3]

Any scheme entering the GDM framework is then known to converge on all these problems. This applies in particular to conforming Finite Elements, Mixed Finite Elements, nonconforming Finite Elements, and, in the case of more recent schemes, the Discontinuous Galerkin method, Hybrid Mixed Mimetic method, the Nodal Mimetic Finite Difference method, some Discrete Duality Finite Volume schemes, and some Multi-Point Flux Approximation schemes

The example of a linear diffusion problem

Consider Poisson's equation in a bounded open domain

\Omega\subsetRd

, with homogeneous Dirichlet boundary condition

where

f\inL2(\Omega)

. The usual sense of weak solution [4] to this model is:

In a nutshell, the GDM for such a model consists in selecting a finite-dimensional space and two reconstruction operators (one for the functions, one for the gradients) and to substitute these discrete elements in lieu of the continuous elements in (2). More precisely, the GDM starts by defining a Gradient Discretization (GD), which is a triplet

D=(XD,0,\PiD,\nablaD)

, where:

XD,0

is a finite dimensional real vector space,

\PiD~:~XD,0\toL2(\Omega)

is a linear mapping that reconstructs, from an element of

XD,0

, a function over

\Omega

,

\nablaD~:~XD,0\toL2(\Omega)d

is a linear mapping which reconstructs, from an element of

XD,0

, a "gradient" (vector-valued function) over

\Omega

. This gradient reconstruction must be chosen such that

\Vert\nablaD

\Vert
L2(\Omega)d
is a norm on

XD,0

.

The related Gradient Scheme for the approximation of (2) is given by: find

u\inXD,0

such that

The GDM is then in this case a nonconforming method for the approximation of (2), which includes the nonconforming finite element method. Note that the reciprocal is not true, in the sense that the GDM framework includes methods such that the function

\nablaDu

cannot be computed from the function

\PiDu

.

The following error estimate, inspired by G. Strang's second lemma,[5] holds

and

defining:

which measures the coercivity (discrete Poincaré constant),

which measures the interpolation error,

which measures the defect of conformity.

Note that the following upper and lower bounds of the approximation error can be derived:

Then the core properties which are necessary and sufficient for the convergence of the method are, for a family of GDs, the coercivity, the GD-consistency and the limit-conformity properties, as defined in the next section. More generally, these three core properties are sufficient to prove the convergence of the GDM for linear problems and for some nonlinear problems like the

p

-Laplace problem. For nonlinear problems such as nonlinear diffusion, degenerate parabolic problems..., we add in the next section two other core properties which may be required.

The core properties allowing for the convergence of a GDM

Let

(Dm)m\inN

be a family of GDs, defined as above (generally associated with a sequence of regular meshes whose size tends to 0).

Coercivity

The sequence

(C
Dm

)m\inN

(defined by) remains bounded.

GD-consistency

For all

\varphi\in

1
H
0(\Omega)
,

\limm\toinfty

S
Dm

(\varphi)=0

(defined by).

Limit-conformity

For all

\varphi\inH\operatorname{div}(\Omega)

,

\limm\toinfty

W
Dm

(\varphi)=0

(defined by).This property implies the coercivity property.

Compactness (needed for some nonlinear problems)

For all sequence

(um)m\inN

such that

um\in

X
Dm,0

for all

m\inN

and

(\Vertum

\Vert
Dm

)m\inN

is bounded, then the sequence
(\Pi
Dm

um)m\inN

is relatively compact in

L2(\Omega)

(this property implies the coercivity property).

Piecewise constant reconstruction (needed for some nonlinear problems)

Let

D=(XD,0,\PiD,\nablaD)

be a gradient discretisation as defined above.The operator

\PiD

is a piecewise constant reconstruction if there exists a basis

(ei)i\in

of

XD,0

and a family of disjoint subsets

(\Omegai)i\in

of

\Omega

such that \Pi_D u = \sum_u_i\chi_ for all u=\sum_ u_i e_i\in X_, where
\chi
\Omegai
is the characteristic function of

\Omegai

.

Some non-linear problems with complete convergence proofs of the GDM

We review some problems for which the GDM can be proved to converge when the above core properties are satisfied.

Nonlinear stationary diffusion problems

-\operatorname{div}(Λ(\overline{u})\nabla\overline{u})=f

In this case, the GDM converges under the coercivity, GD-consistency, limit-conformity and compactness properties.

p-Laplace problem for p > 1

-\operatorname{div}\left(|\nabla\overline{u}|p-2\nabla\overline{u}\right)=f

In this case, the core properties must be written, replacing

L2(\Omega)

by

Lp(\Omega)

,
1
H
0(\Omega)
by
1,p
W
0(\Omega)
and

H\operatorname{div}(\Omega)

by
p'
W
\operatorname{div}

(\Omega)

with \frac 1 p +\frac 1 =1, and the GDM converges only under the coercivity, GD-consistency and limit-conformity properties.

Linear and nonlinear heat equation

\partialt\overline{u}-\operatorname{div}(Λ(\overline{u})\nabla\overline{u})=f

In this case, the GDM converges under the coercivity, GD-consistency (adapted to space-time problems), limit-conformity and compactness (for the nonlinear case) properties.

Degenerate parabolic problems

Assume that

\beta

and

\zeta

are nondecreasing Lipschitz continuous functions:

\partialt\beta(\overline{u})-\Delta\zeta(\overline{u})=f

Note that, for this problem, the piecewise constant reconstruction property is needed, in addition to the coercivity, GD-consistency (adapted to space-time problems), limit-conformity and compactness properties.

Review of some numerical methods which are GDM

All the methods below satisfy the first four core properties of GDM (coercivity, GD-consistency, limit-conformity, compactness), and in some cases the fifth one (piecewise constant reconstruction).

Galerkin methods and conforming finite element methods

Let

Vh\subset

1
H
0(\Omega)
be spanned by the finite basis

(\psii)i\in

. The Galerkin method in

Vh

is identical to the GDM where one defines

XD,0=\{u=(ui)i\in\}=RI,

\PiDu=\sumi\inui\psii

\nablaDu=\sumi\inui\nabla\psii.

In this case,

CD

is the constant involved in the continuous Poincaré inequality, and, for all

\varphi\inH\operatorname{div}(\Omega)

,

WD(\varphi)=0

(defined by). Then and are implied by Céa's lemma.

The "mass-lumped"

P1

finite element case enters the framework of the GDM, replacing

\PiDu

by \widetilde_D u = \sum_ u_i \chi_, where

\Omegai

is a dual cell centred on the vertex indexed by

i\inI

. Using mass lumping allows to get the piecewise constant reconstruction property.

Nonconforming finite element

On a mesh

T

which is a conforming set of simplices of

Rd

, the nonconforming

P1

finite elements are defined by the basis

(\psii)i\in

of the functions which are affine in any

K\inT

, and whose value at the centre of gravity of one given face of the mesh is 1 and 0 at all the others (these finite elements are used in [Crouzeix ''et al''][6] for the approximation of the Stokes and Navier-Stokes equations). Then the method enters the GDM framework with the same definition as in the case of the Galerkin method, except for the fact that

\nabla\psii

must be understood as the "broken gradient" of

\psii

, in the sense that it is the piecewise constant function equal in each simplex to the gradient of the affine function in the simplex.

Mixed finite element

The mixed finite element method consists in defining two discrete spaces, one for the approximation of

\nabla\overline{u}

and another one for

\overline{u}

.[7] It suffices to use the discrete relations between these approximations to define a GDM. Using the low degree Raviart–Thomas basis functions allows to get the piecewise constant reconstruction property.

Discontinuous Galerkin method

The Discontinuous Galerkin method consists in approximating problems by a piecewise polynomial function, without requirements on the jumps from an element to the other.[8] It is plugged in the GDM framework by including in the discrete gradient a jump term, acting as the regularization of the gradient in the distribution sense.

Mimetic finite difference method and nodal mimetic finite difference method

This family of methods is introduced by [Brezzi ''et al''][9] and completed in [Lipnikov ''et al''].[10] It allows the approximation of elliptic problems using a large class of polyhedral meshes. The proof that it enters the GDM framework is done in [Droniou ''et al''].

See also

External links

Notes and References

  1. R. Eymard, C. Guichard, and R. Herbin. Small-stencil 3d schemes for diffusive flows in porous media. M2AN, 46:265–290, 2012.
  2. J. Droniou, R. Eymard, T. Gallouët, and R. Herbin. Gradient schemes: a generic framework for the discretisation of linear, nonlinear and nonlocal elliptic and parabolic equations. Math. Models Methods Appl. Sci. (M3AS), 23(13):2395–2432, 2013.
  3. J. Leray and J. Lions. Quelques résultats de Višik sur les problèmes elliptiques non linéaires par les méthodes de Minty-Browder. Bull. Soc. Math. France, 93:97–107, 1965.
  4. H. Brezis. Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer, New York, 2011.
  5. G. Strang. Variational crimes in the finite element method. In The mathematical foundations of the finite element method with applications to partial differential equations (Proc. Sympos., Univ. Maryland, Baltimore, Md., 1972), pages 689–710. Academic Press, New York, 1972.
  6. M. Crouzeix and P.-A. Raviart. Conforming and nonconforming finite element methods for solving the stationary Stokes equations. I. Rev. Française Automat. Informat. Recherche Opérationnelle Sér. Rouge, 7(R-3):33–75, 1973.
  7. P.-A. Raviart and J. M. Thomas. A mixed finite element method for 2nd order elliptic problems. In Mathematical aspects of finite element methods (Proc. Conf., Consiglio Naz. delle Ricerche (C.N.R.), Rome, 1975), pages 292–315. Lecture Notes in Math., Vol. 606. Springer, Berlin, 1977.
  8. D. A. Di Pietro and A. Ern. Mathematical aspects of discontinuous Galerkin methods, volume 69 of Mathématiques & Applications (Berlin) [Mathematics & Applications]. Springer, Heidelberg, 2012.
  9. F. Brezzi, K. Lipnikov, and M. Shashkov. Convergence of the mimetic finite difference method for diffusion problems on polyhedral meshes. SIAM J. Numer. Anal., 43(5):1872–1896, 2005.
  10. K. Lipnikov, G. Manzini, and M. Shashkov. Mimetic finite difference method. J. Comput. Phys., 257-Part B:1163–1227, 2014.