A third Strang lemma and an Aubin–Nitsche trick for schemes in fully discrete formulation

Daniele A. Di Pietro, Jérôme Droniou

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Abstract

In this work, we present an abstract error analysis framework for the approximation of linear partial differential equation problems in weak formulation. We consider approximation methods in fully discrete formulation, where the discrete and continuous spaces are possibly not embedded in a common space. A proper notion of consistency is designed, and, under a classical inf–sup condition, it is shown to bound the approximation error. This error estimate result is in the spirit of Strang’s first and second lemmas, but applicable in situations not covered by these lemmas (because of a fully discrete approximation space). An improved estimate is also established in a weaker norm, using the Aubin–Nitsche trick. We then apply these abstract estimates to an anisotropic heterogeneous diffusion model and two classical families of schemes for this model: virtual element and finite volume methods. For each of these methods, we show that the abstract results yield new error estimates with a precise and mild dependency on the local anisotropy ratio. A key intermediate step to derive such estimates for virtual element methods is proving optimal approximation properties of the oblique elliptic projector in weighted Sobolev seminorms. This is a result whose interest goes beyond the specific model and methods considered here. We also obtain, to our knowledge, the first clear notion of consistency for finite volume methods, which leads to a generic error estimate involving the fluxes and valid for a wide range of finite volume schemes. An important application is the first error estimate for multi-point flux approximation L and G methods.

Original languageEnglish
Article number40
Number of pages39
JournalCalcolo
Volume55
Issue number3
DOIs
Publication statusPublished - 1 Sep 2018

Keywords

  • Aubin–Nitsche trick
  • Consistency
  • Error estimate
  • Finite volume methods
  • Oblique elliptic projector
  • Strang lemma
  • Virtual element methods

Cite this

@article{278b95ebc4ec42f3a02cb865ee436765,
title = "A third Strang lemma and an Aubin–Nitsche trick for schemes in fully discrete formulation",
abstract = "In this work, we present an abstract error analysis framework for the approximation of linear partial differential equation problems in weak formulation. We consider approximation methods in fully discrete formulation, where the discrete and continuous spaces are possibly not embedded in a common space. A proper notion of consistency is designed, and, under a classical inf–sup condition, it is shown to bound the approximation error. This error estimate result is in the spirit of Strang’s first and second lemmas, but applicable in situations not covered by these lemmas (because of a fully discrete approximation space). An improved estimate is also established in a weaker norm, using the Aubin–Nitsche trick. We then apply these abstract estimates to an anisotropic heterogeneous diffusion model and two classical families of schemes for this model: virtual element and finite volume methods. For each of these methods, we show that the abstract results yield new error estimates with a precise and mild dependency on the local anisotropy ratio. A key intermediate step to derive such estimates for virtual element methods is proving optimal approximation properties of the oblique elliptic projector in weighted Sobolev seminorms. This is a result whose interest goes beyond the specific model and methods considered here. We also obtain, to our knowledge, the first clear notion of consistency for finite volume methods, which leads to a generic error estimate involving the fluxes and valid for a wide range of finite volume schemes. An important application is the first error estimate for multi-point flux approximation L and G methods.",
keywords = "Aubin–Nitsche trick, Consistency, Error estimate, Finite volume methods, Oblique elliptic projector, Strang lemma, Virtual element methods",
author = "{Di Pietro}, {Daniele A.} and J{\'e}r{\^o}me Droniou",
year = "2018",
month = "9",
day = "1",
doi = "10.1007/s10092-018-0282-3",
language = "English",
volume = "55",
journal = "Calcolo",
issn = "0008-0624",
publisher = "Springer",
number = "3",

}

A third Strang lemma and an Aubin–Nitsche trick for schemes in fully discrete formulation. / Di Pietro, Daniele A.; Droniou, Jérôme.

In: Calcolo, Vol. 55, No. 3, 40, 01.09.2018.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - A third Strang lemma and an Aubin–Nitsche trick for schemes in fully discrete formulation

AU - Di Pietro, Daniele A.

AU - Droniou, Jérôme

PY - 2018/9/1

Y1 - 2018/9/1

N2 - In this work, we present an abstract error analysis framework for the approximation of linear partial differential equation problems in weak formulation. We consider approximation methods in fully discrete formulation, where the discrete and continuous spaces are possibly not embedded in a common space. A proper notion of consistency is designed, and, under a classical inf–sup condition, it is shown to bound the approximation error. This error estimate result is in the spirit of Strang’s first and second lemmas, but applicable in situations not covered by these lemmas (because of a fully discrete approximation space). An improved estimate is also established in a weaker norm, using the Aubin–Nitsche trick. We then apply these abstract estimates to an anisotropic heterogeneous diffusion model and two classical families of schemes for this model: virtual element and finite volume methods. For each of these methods, we show that the abstract results yield new error estimates with a precise and mild dependency on the local anisotropy ratio. A key intermediate step to derive such estimates for virtual element methods is proving optimal approximation properties of the oblique elliptic projector in weighted Sobolev seminorms. This is a result whose interest goes beyond the specific model and methods considered here. We also obtain, to our knowledge, the first clear notion of consistency for finite volume methods, which leads to a generic error estimate involving the fluxes and valid for a wide range of finite volume schemes. An important application is the first error estimate for multi-point flux approximation L and G methods.

AB - In this work, we present an abstract error analysis framework for the approximation of linear partial differential equation problems in weak formulation. We consider approximation methods in fully discrete formulation, where the discrete and continuous spaces are possibly not embedded in a common space. A proper notion of consistency is designed, and, under a classical inf–sup condition, it is shown to bound the approximation error. This error estimate result is in the spirit of Strang’s first and second lemmas, but applicable in situations not covered by these lemmas (because of a fully discrete approximation space). An improved estimate is also established in a weaker norm, using the Aubin–Nitsche trick. We then apply these abstract estimates to an anisotropic heterogeneous diffusion model and two classical families of schemes for this model: virtual element and finite volume methods. For each of these methods, we show that the abstract results yield new error estimates with a precise and mild dependency on the local anisotropy ratio. A key intermediate step to derive such estimates for virtual element methods is proving optimal approximation properties of the oblique elliptic projector in weighted Sobolev seminorms. This is a result whose interest goes beyond the specific model and methods considered here. We also obtain, to our knowledge, the first clear notion of consistency for finite volume methods, which leads to a generic error estimate involving the fluxes and valid for a wide range of finite volume schemes. An important application is the first error estimate for multi-point flux approximation L and G methods.

KW - Aubin–Nitsche trick

KW - Consistency

KW - Error estimate

KW - Finite volume methods

KW - Oblique elliptic projector

KW - Strang lemma

KW - Virtual element methods

UR - http://www.scopus.com/inward/record.url?scp=85052758374&partnerID=8YFLogxK

U2 - 10.1007/s10092-018-0282-3

DO - 10.1007/s10092-018-0282-3

M3 - Article

VL - 55

JO - Calcolo

JF - Calcolo

SN - 0008-0624

IS - 3

M1 - 40

ER -