Compatible schemes localize degrees of freedom according to the physical nature of the underlying fields and operate a clear distinction between topological laws and closure relations. For elliptic problems, the cornerstone in the scheme design is the discrete Hodge operator linking gradients to fluxes by means of a dual mesh, while a structure-preserving discretization is employed for the gradient and divergence operators. The discrete Hodge operator is sparse, symmetric positive definite and is assembled cellwise from local operators. We analyze two schemes depending on whether the potential degrees of freedom are attached to the vertices or to the cells of the primal mesh. We derive new functional analysis results on the discrete gradient that are the counterpart of the Sobolev embeddings. Then, we identify the two design properties of the local discrete Hodge operators yielding optimal discrete energy error estimates. Additionally, we show how these operators can be built from local nonconforming gradient reconstructions using a dual barycentric mesh. In this case, we also prove an optimal L^{2}-error estimate for the potential for smooth solutions. Links with existing schemes (finite elements, finite volumes, mimetic finite differences) are discussed. Numerical results are presented on three-dimensional polyhedral meshes.

Keywords: compatible schemes, mimetic discretization, Hodge operator, error analysis, elliptic problems, polyhedral meshes

@article{M2AN_2014__48_2_553_0, author = {Bonelle, J\'er\^ome and Ern, Alexandre}, title = {Analysis of {Compatible} {Discrete} {Operator} schemes for elliptic problems on polyhedral meshes}, journal = {ESAIM: Mathematical Modelling and Numerical Analysis }, pages = {553--581}, publisher = {EDP-Sciences}, volume = {48}, number = {2}, year = {2014}, doi = {10.1051/m2an/2013104}, mrnumber = {3177857}, zbl = {1297.65132}, language = {en}, url = {http://www.numdam.org/articles/10.1051/m2an/2013104/} }

TY - JOUR AU - Bonelle, Jérôme AU - Ern, Alexandre TI - Analysis of Compatible Discrete Operator schemes for elliptic problems on polyhedral meshes JO - ESAIM: Mathematical Modelling and Numerical Analysis PY - 2014 SP - 553 EP - 581 VL - 48 IS - 2 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/m2an/2013104/ DO - 10.1051/m2an/2013104 LA - en ID - M2AN_2014__48_2_553_0 ER -

%0 Journal Article %A Bonelle, Jérôme %A Ern, Alexandre %T Analysis of Compatible Discrete Operator schemes for elliptic problems on polyhedral meshes %J ESAIM: Mathematical Modelling and Numerical Analysis %D 2014 %P 553-581 %V 48 %N 2 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/m2an/2013104/ %R 10.1051/m2an/2013104 %G en %F M2AN_2014__48_2_553_0

Bonelle, Jérôme; Ern, Alexandre. Analysis of Compatible Discrete Operator schemes for elliptic problems on polyhedral meshes. ESAIM: Mathematical Modelling and Numerical Analysis , Volume 48 (2014) no. 2, pp. 553-581. doi : 10.1051/m2an/2013104. http://www.numdam.org/articles/10.1051/m2an/2013104/

[1] Vector potentials in three-dimensional non-smooth domains. Math. Meth. Appl. Sci. 21 (1998) 823-864. | MR | Zbl

, , and ,[2] Discrete duality finite volume schemes for Leray-Lions-type elliptic problems on general 2D meshes. Numer. Methods Partial Differ. Eqs. 23 (2007) 145-195. | MR | Zbl

, and ,[3] Finite element exterior calculus, homological techniques, and applications. Acta Numerica 15 (2006) 1-155. | MR | Zbl

, and ,[4] Étude théorique et numérique des équations de Vlasov-Maxwell dans le formalisme covariant. Ph.D. thesis, University of Strasbourg (2011).

,[5] Principles of mimetic discretizations of differential operators, Compatible Spatial Discretization. In vol. 142 of The IMA Volumes Math. Appl., edited by D. Arnold, P. Bochev, R. Lehoucq, R.A. Nicolaides and M. Shashkov (2005) 89-120. | MR | Zbl

and ,[6] On the geometry of electromagnetism. J. Japan Soc. Appl. Electromagn. Mech. 6 (1998) (no 1) 17-28, (no 2) 114-23, (no 3) 233-40, (no 4) 318-26.

,[7] Computational electromagnetism and geometry. J. Japan Soc. Appl. Electromagn. Mech. 7-8 (1999-2000) (no 1) 150-9, (no 2) 294-301, (no 3) 401-8, (no 4) 102-9, (no 5) 203-9, (no 6) 372-7.

,[8] Mimetic finite difference for elliptic problem. Math. Model. Numer. Anal. 43 (2009) 277-295. | Numdam | MR | Zbl

, and ,[9] Convergence of the mimetic finite difference method for diffusion problems on polyhedral meshes. SIAM J. Numer. Anal. 43 (2005) 1872-1896. | MR | Zbl

, and ,[10] A dual finite element complex on the barycentric refinement. Math. Comput. 76 (2007) 1743-1769. | MR | Zbl

and ,[11] A construction of spaces of compatible differential forms on cellular complexes. Math. Models Methods Appl. Sci. 18 (2008) 739-757. | MR | Zbl

,[12] Topics in structure-preserving discretization. Acta Numer. 20 (2011) 1-119. | MR | Zbl

, and ,[13] Base functions and discrete constitutive relations for staggered polyhedral grids. Comput. Methods Appl. Mech. Engrg. 198 (2009) 1117-1123. | MR | Zbl

, and ,[14] A new set of basis functions for the discrete geometric approach. J. Comput. Phys. 229 (2010) 7401-7410. | MR | Zbl

, and ,[15] Convergence of electromagnetic problems modelled by discrete geometric approach. CMES 58 (2010) 15-44. | MR | Zbl

and ,[16] Discrete Exterior Calculus. Technical report (2005).

, , and ,[17] Mathematical Aspects of Discontinuous Galerkin Methods, in vol. 69 of SMAI Math. Appl. Springer (2012). | MR | Zbl

and ,[18] Finite-difference approach to the Hodge theory of harmonic forms. Amer. J. Math. 98 (1976) 79-104. | MR | Zbl

,[19] A finite volume method for the Laplace equation on almost arbitrary two-dimensional grids. ESAIM: M2AN 39 (2005) 1203-1249. | Numdam | MR | Zbl

and ,[20] A mixed finite volume scheme for anisotropic diffusion problems on any grid. Numer. Math. 105 (2006) 35-71. | MR | Zbl

and ,[21] A Unified Approach to Mimetic Finite Difference, Hybrid Finite Volume and Mixed Finite Volume Methods. Math. Models and Methods Appl. Sci. 20 (2010) 265-295. | MR | Zbl

, , and ,[22] Discretization of heterogeneous and anisotropic diffusion problems on general nonconforming meshes SUSHI: a scheme using stabilization and hybrid interfaces. IMA J. Numer. Anal. 30 (2010) 1009-1043. | MR | Zbl

, and ,[23] Small stencil 3d schemes for diffusive flows in porious media. ESAIM: M2AN 46 (2012) 265-290. | Numdam | MR | Zbl

, and ,[24] 3d benchmark on discretization schemes for anisotropic diffusion problems on general grids, in vol. 2 of Finite Volumes for Complex Applic. VI - Problems Perspectives. Springer (2011) 95-130. | MR

, , , , and ,[25] Stability of dual discretization methods for partial differential equations. Ph.D. thesis, University of Texas at Austin (2011).

,[26] Discrete hodge operators: An algebraic perspective. Progress In Electromagnetics Research 32 (2001) 247-269. | MR | Zbl

,[27] Covolume techniques for anisotropic media. Numer. Math. 61 (1992) 215-234. | MR | Zbl

and ,[28] Deriving mimetic difference approximations to differential operators using algebraic topology. Los Alamos National Laboratory (1988).

and ,[29] Mimetic framework on curvilinear quadrilaterals of arbitrary order. Technical Report, Delft University (2011) ArXiv: 1111.4304v1.

, and ,[30] The finite volume, finite element, and finite difference methods as numerical methods for physical field problems. In vol. 113 of Advances in Imaging and Electron Phys. Elsevier (2000) 1-146.

,[31] Discrete calculus methods for diffusion. J. Comput. Phys. 224 (2007) 59-81. | MR | Zbl

and ,[32] Some realizations of a discrete hodge operator: A reinterpretation of finite element techniques. IEEE Transactions on Magnetics 35 (1999) 1494-1497.

, and ,[33] On the formal structure of physical theories. Instituto di matematica, Politecnico, Milano (1975).

,[34] Mixed finite element methods: implementation with one unknown per element, local flux expressions, positivity, polygonal meshes, and relations to other methods. Math. Models Methods Appl. Sci. 23 (2013) 803-838. | MR | Zbl

and ,[35] Geometric integration theory. Princeton University Press, Princeton, N.J. (1957). | MR | Zbl

,[36] High order finite element methods for electromagnetic field computation. Ph.D. thesis, Johannes Kepler Universität Linz (2006).

,*Cited by Sources: *