TY - JOUR
T1 - Unified formulation and analysis of mixed and primal discontinuous skeletal methods on polytopal meshes
AU - Boffi, Daniele
AU - Di Pietro, Daniele A.
N1 - Generated from Scopus record by KAUST IRTS on 2020-05-05
PY - 2018/1/1
Y1 - 2018/1/1
N2 - We propose in this work a unified formulation of mixed and primal discretization methods on polyhedral meshes hinging on globally coupled degrees of freedom that are discontinuous polynomials on the mesh skeleton. To emphasize this feature, these methods are referred to here as discontinuous skeletal. As a starting point, we define two families of discretizations corresponding, respectively, to mixed and primal formulations of discontinuous skeletal methods. Each family is uniquely identified by prescribing three polynomial degrees defining the degrees of freedom, and a stabilization bilinear form which has to satisfy two properties of simple verification: stability and polynomial consistency. Several examples of methods available in the recent literature are shown to belong to either one of those families. We then prove new equivalence results that build a bridge between the two families of methods. Precisely, we show that for any mixed method there exists a corresponding equivalent primal method, and the converse is true provided that the gradients are approximated in suitable spaces. A unified convergence analysis is carried out delivering optimal error estimates in both energy- and L2-norms.
AB - We propose in this work a unified formulation of mixed and primal discretization methods on polyhedral meshes hinging on globally coupled degrees of freedom that are discontinuous polynomials on the mesh skeleton. To emphasize this feature, these methods are referred to here as discontinuous skeletal. As a starting point, we define two families of discretizations corresponding, respectively, to mixed and primal formulations of discontinuous skeletal methods. Each family is uniquely identified by prescribing three polynomial degrees defining the degrees of freedom, and a stabilization bilinear form which has to satisfy two properties of simple verification: stability and polynomial consistency. Several examples of methods available in the recent literature are shown to belong to either one of those families. We then prove new equivalence results that build a bridge between the two families of methods. Precisely, we show that for any mixed method there exists a corresponding equivalent primal method, and the converse is true provided that the gradients are approximated in suitable spaces. A unified convergence analysis is carried out delivering optimal error estimates in both energy- and L2-norms.
UR - https://www.esaim-m2an.org/10.1051/m2an/2017036
UR - http://www.scopus.com/inward/record.url?scp=85035077173&partnerID=8YFLogxK
U2 - 10.1051/m2an/2017036
DO - 10.1051/m2an/2017036
M3 - Article
SN - 1290-3841
VL - 52
SP - 1
EP - 28
JO - ESAIM: Mathematical Modelling and Numerical Analysis
JF - ESAIM: Mathematical Modelling and Numerical Analysis
IS - 1
ER -