Abstract
We provide a short introduction to the theory of M-decompositions in the framework of steady-state diffusion problems. This theory allows us to systematically devise hybridizable discontinuous Galerkin and mixed methods which can be proven to be superconvergent on unstructured meshes made of elements of a variety of shapes. The main feature of this approach is that it reduces such an effort to the definition, for each element K of the mesh, of the spaces for the flux, V (K), and the scalar variable, W(K), which, roughly speaking, can be decomposed into suitably chosen orthogonal subspaces related to the space traces on ∂K of the scalar unknown, M(∂K). We begin by showing how a simple a priori error analysis motivates the notion of an M-decomposition. We then study the main properties of the M-decompositions and show how to actually construct them. Finally, we provide many examples in the two-dimensional setting. We end by briefly commenting on several extensions including to other equations like the wave equation, the equations of linear elasticity, and the equations of incompressible fluid flow.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Arbogast, T., Xiao, H.: Two-level mortar domain decomposition mortar preconditioners for heterogeneous elliptic problems. Comput. Methods Appl. Mech. Eng. 292, 221–242 (2015)
Arnold, D.N., Brezzi, F., Cockburn, B., Marini, L.D.: Unified analysis of discontinuous Galerkin methods for elliptic problems. SIAM J. Numer. Anal. 39, 1749–1779 (2002)
Bastian, P., Rivière, B.: Superconvergence and H(div) projection for discontinuous Galerkin methods. Int. J. Numer. Methods Fluids 42, 1043–1057 (2003)
Brezzi, F., Douglas, J. Jr., Marini, L.D.: Two families of mixed finite elements for second order elliptic problems. Numer. Math. 47, 217–235 (1985)
Castillo, P., Cockburn, B., Perugia, I., Schötzau, D.: An a priori error analysis of the local discontinuous Galerkin method for elliptic problems. SIAM J. Numer. Anal. 38, 1676–1706 (2000)
Chabaud, B., Cockburn, B.: Uniform-in-time superconvergence of HDG methods for the heat equation. Math. Comput. 81, 107–129 (2012)
Chung, E.T., Engquist, B.: Optimal discontinuous Galerkin methods for the acoustic wave equation in higher dimensions. SIAM J. Numer. Anal. 47(5), 3820–3848 (2009)
Cockburn, B.: Static condensation, hybridization, and the devising of the HDG methods. In: Barrenechea, G.R., Brezzi, F., Cagniani, A., Georgoulis, E.H. (eds.) Building Bridges: Connections and Challenges in Modern Approaches to Numerical Partial Differential Equations. Lecture Notes in Computational Science and Engineering, vol. 114, pp. 129–177. Springer, Berlin (2016). LMS Durham Symposia funded by the London Mathematical Society. Durham, July 8–16, 2014
Cockburn, B., Shu, C.-W.: The local discontinuous Galerkin method for time-dependent convection-diffusion systems. SIAM J. Numer. Anal. 35, 2440–2463 (1998)
Cockburn, B., Shi, K.: Conditions for superconvergence of HDG methods for stokes flow. Math. Comput. 82, 651–671 (2013)
Cockburn, B., Shi, K.: Superconvergent HDG methods for linear elasticity with weakly symmetric stresses. IMA J. Numer. Anal. 33, 747–770 (2013)
Cockburn, B., Quenneville-Bélair, V.: Uniform-in-time superconvergence of HDG methods for the acoustic wave equation. Math. Comput. 83, 65–85 (2014)
Cockburn, B., Fu, G.: Devising superconvergent HDG methods with symmetric approximate stresses for linear elasticity by M-decomposition. IMA J. Numer. Anal. 38(2), 566–604 (2018)
Cockburn, B., Fu, G., Superconvergence by M-decompositions. Part II: construction of two-dimensional finite elements. ESAIM Math. Model. Numer. Anal. 51(1), 165–186 (2017)
Cockburn, B., Fu, G.: Superconvergence by M-decompositions. Part III: construction of three-dimensional finite elements. ESAIM Math. Model. Numer. Anal. 51(1), 365–398 (2017)
Cockburn, B., Fu, G.: A systematic construction of finite element commuting exact sequences. SIAM J. Numer. Anal. 55(4), 1650–1688 (2017)
Cockburn, B., Kanschat, G., Schötzau, D.: A locally conservative LDG method for the incompressible Navier-Stokes equations. Math. Comput. 74, 1067–1095 (2005)
Cockburn, B., Guzmán, J., Wang, H.: Superconvergent discontinuous Galerkin methods for second-order elliptic problems. Math. Comput. 78, 1–24 (2009)
Cockburn, B., Gopalakrishnan, J., Lazarov, R.: Unified hybridization of discontinuous Galerkin, mixed and continuous Galerkin methods for second order elliptic problems. SIAM J. Numer. Anal. 47, 1319–1365 (2009)
Cockburn, B., Gopalakrishnan, J., Sayas, F.-J.: A projection-based error analysis of HDG methods. Math. Comput. 79, 1351–1367 (2010)
Cockburn, B., Qiu, W., Shi, K.: Conditions for superconvergence of HDG methods on curvilinear elements for second-order elliptic problems. SIAM J. Numer. Anal. 50, 1417–1432 (2012)
Cockburn, B., Qiu, W., Shi, K.: Conditions for superconvergence of HDG methods for second-order elliptic problems. Math. Comput. 81, 1327–1353 (2012)
Cockburn, B., Di-Pietro, D.A., Ern, A.: Bridging the hybrid high-order and hybridizable discontinuous Galerkin methods. ESAIM Math. Model. Numer. Anal. 50, 635–650 (2016)
Cockburn, B., Fu, G., Qiu, W.: Discrete H1-inequalities for spaces admitting M-decompositions (2017, submitted)
Cockburn, B., Fu, G., Qiu, W.: A note on the devising of superconvergent HDG methods for stokes flow by M-decompositions. IMA J. Numer. Anal. 37(2), 730–749 (2017)
Cockburn, B., Fu, X., Hungria, A., Ji, L., Sánchez, M.A., Sayas, F.-J.: Stormer-Numerov HDG methods for the acoustic waves. J. Sci. Comput. 75(2), 597–624 (2018)
Cockburn, B., Fu, G., Sayas, F.J.: Superconvergence by M-decompositions. Part I: general theory for HDG methods for diffusion. Math. Comput. 86(306), 1609–1641 (2017)
Di-Pietro, D.A., Ern, A.: A hybrid high-order locking-free method for linear elasticity on general meshes. Comput. Methods Appl. Mech. Eng. 283, 1–21 (2015)
Di-Pietro, D.A., Ern, A., Lemaire, S.: An arbitrary-order and compact-stencil discretization of diffusion on general meshes based on local reconstruction operators. Comput. Meth. Appl. Math. 14(4), 461–472 (2014)
Egger, H., Schöberl, J.: A hybrid mixed discontinuous Galerkin finite-element method for convection-diffusion problems. IMA J. Numer. Anal. 30(4), 1206–1234 (2010)
Ern, A., Nicaise, S., Vohralík, M.: An accurate H(div) flux reconstruction for discontinuous Galerkin approximations of elliptic problems. C. R. Math. Acad. Sci. Paris 345, 709–712 (2007)
Gastaldi, L., Nochetto, R.H.: Sharp maximum norm error estimates for general mixed finite element approximations to second order elliptic equations. RAIRO Modél. Math. Anal. Numér. 23, 103–128 (1989)
Lehrenfeld, C.: Hybrid discontinuous Galerkin methods for solving incompressible flow problems. Ph.D. thesis, Diplomigenieur Rheinisch-Westfalishen Technischen Hochchule Aachen (2010)
Oikawa, I.: A hybridized discontinuous Galerkin method with reduced stabilization. J. Sci. Comput. 65, 327–340 (2015)
Oikawa, I.: Analysis of a reduced-order HDG method for the stokes equations. J. Sci. Comput. 67(2), 475–492 (2016)
Qiu, W., Shen, J., Shi, K.: An HDG method for linear elasticity with strong symmetric stresses. Math. Comput. 87, 69–93 (2018)
Qui, W., Shi, K.: A superconvergent HDG method for the incompressible Navier-Stokes equations on general polyhedral meshes. IMA J. Numer. Anal. 36, 1943–1967 (2016)
Raviart, P.A., Thomas, J.M.: A mixed finite element method for second order elliptic problems. In: Galligani, I., Magenes, E. (eds.) Mathematical Aspects of Finite Element Method. Lecture Notes in Mathematics, vol. 606, pp. 292–315. Springer, New York (1977)
Sánchez, M.A., Ciuca, C., Nguyen, N.C., Peraire, J., Cockburn, B.: Symplectic Hamiltonian HDG methods for wave propagation phenomena. J. Comput. Phys. 350, 951–973 (2018)
Stenberg, R.: A family of mixed finite elements for the elasticity problem. Numer. Math. 53, 513–538 (1988)
Stenberg, R.: Postprocessing schemes for some mixed finite elements. RAIRO Modél. Math. Anal. Numér. 25, 151–167 (1991)
Acknowledgements
The authors would like to express their gratitude to Daniele Antonio Di Pietro, Alexander Ern and Luca Formaggia for their invitation to write this paper. The first author would thank them for the invitation to give a couple of lectures on HDG methods as part of the Introductory School (to the IHP quarter on Numerical Methods for PDEs) they organized in September 5–9, 2016, at the Institut d’Études Scientifiques de Cargèse, in Corse, France. Part of the material of those lectures is further developed here.
The author “Bernardo Cockburn” was partially supported by National Science Foundation grant DMS 1522657.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix: Proof of the Characterization of M-Decompositions
Appendix: Proof of the Characterization of M-Decompositions
In this Appendix, we provide a proof Theorem 2.3, as it sheds light on the nature of M-decompositions. We closely follow the proof given in [27], and use the existence of the so-called canonical decomposition of Proposition 2.1.
- Step 1.:
-
We take \({\widetilde {{\boldsymbol V}}}\times {\widetilde W}\) given by the canonical M-decomposition and begin by showing that
$$\displaystyle \begin{aligned} \dim {\widetilde{{\boldsymbol V}}{}^\perp}\cdot{\boldsymbol n}|{}_{\partial K} =\dim {\widetilde{{\boldsymbol V}}{}^\perp} \quad \mbox{ and } \quad \dim {\widetilde W}^\perp|{}_{\partial K} =\dim {\widetilde W}^\perp. \end{aligned}$$Let us prove the first equality. If \(\widetilde {{\boldsymbol v}}^\perp \in {\widetilde {{\boldsymbol V}}{ }^\perp }\) is such that \(\widetilde {{\boldsymbol v}}^\perp \cdot {\boldsymbol n}|{ }_{\partial K}=0\), for any w ∈ W, we have that
$$\displaystyle \begin{aligned} 0=\langle w, \widetilde{{\boldsymbol v}}^\perp\cdot{\boldsymbol n}\rangle_{\partial K} =(\nabla w, \widetilde{{\boldsymbol v}}^\perp)_K+(\widetilde{w}^\perp,\nabla\cdot\widetilde{{\boldsymbol v}}^\perp)_K =(\widetilde{w}^\perp,\nabla\cdot\widetilde{{\boldsymbol v}}^\perp)_K \end{aligned}$$since \(\nabla w\subset {\widetilde {{\boldsymbol V}}}\). Since W ⊃∇⋅V , we can take \(w:=\nabla \cdot \widetilde {{\boldsymbol v}}^\perp \) and conclude that \(\nabla \cdot \widetilde {{\boldsymbol v}}^\perp =0\), which means that \(\widetilde {{\boldsymbol v}}^\perp \in {{\boldsymbol V}}_{\mathrm {sbb}}\), which means that \(\widetilde {{\boldsymbol v}}^\perp =\boldsymbol {0}\). Thus, the first equity holds.
Now, let us prove the second equality. If \(\widetilde {w}^\perp \in {\widetilde W}^\perp \) and is zero on ∂K, then, for any v ∈V , we have
$$\displaystyle \begin{aligned} 0=\langle \widetilde{w}^\perp, \boldsymbol{v}\cdot\boldsymbol{n}\rangle_{\partial K} =(\nabla \widetilde{w}^\perp, \boldsymbol{v})_K+(\widetilde{w}^\perp,\nabla\cdot\boldsymbol{v})_K =(\nabla \widetilde{w}^\perp, \boldsymbol{v})_K \end{aligned}$$since \({\widetilde W}=\nabla \cdot {{\boldsymbol V}}\). Since V ⊃∇W, we can now take \(\boldsymbol {v}:=\nabla \widetilde {w}^\perp \) and conclude that \(\widetilde {w}^\perp \) is a constant on K. As a consequence \(\widetilde {w}^\perp =0\), and the second equality follows.
- Step 2.:
-
Next, we show that
$$\displaystyle \begin{aligned} \dim {\mbox{tr}}({\widetilde{{\boldsymbol V}}{}^\perp}\times {\widetilde W^\perp})= \dim {\widetilde{{\boldsymbol V}}{}^\perp}\cdot{\boldsymbol n}|{}_{\partial K} + \dim {\widetilde W^\perp}|{}_{\partial K}. \end{aligned}$$To do that, we only need to show that \({\widetilde {{\boldsymbol V}}{ }^\perp }\cdot {\boldsymbol n}|{ }_{\partial K}\cap {\widetilde W}^\perp |{ }_{\partial K}=\{0\}\). So, if \((\widetilde {{\boldsymbol v}}^\perp , \widetilde {w}^\perp )\in {\widetilde {{\boldsymbol V}}{ }^\perp }\times {\widetilde W^\perp }\) we get that
$$\displaystyle \begin{aligned} \langle \widetilde{w}^\perp, \widetilde{{\boldsymbol v}}^\perp\cdot{\boldsymbol n}\rangle_{\partial K} =(\nabla \widetilde{w}^\perp, \widetilde{{\boldsymbol v}}^\perp)_K+(\widetilde{w}^\perp,\nabla\cdot\widetilde{{\boldsymbol v}}^\perp)_K =0, \end{aligned}$$because \(\nabla \widetilde {w}^\perp \in \nabla W\subset {\widetilde {{\boldsymbol V}}}\) and because \(\nabla \cdot \widetilde {{\boldsymbol v}}^\perp \in \nabla \cdot {\widetilde {{\boldsymbol V}}}\subset {\widetilde W}\).
- Step 3.:
-
By the inclusion property (a), the number
$$\displaystyle \begin{aligned}\begin{array}{r*{20}l} I:= &\; \dim M - \dim {\widetilde{{\boldsymbol V}}{}^\perp} -\dim {\widetilde W^\perp} \\ =&\; \dim M -\dim {\widetilde{{\boldsymbol V}}{}^\perp}\cdot{\boldsymbol n}|{}_{\partial K} - \dim {\widetilde W^\perp}|{}_{\partial K}. \end{array}\end{aligned} $$is always nonnegative and is equal to zero if and only if property (c) holds. Next, we show that I = I M(V × W); this is the key computation of the proof. Indeed, we have
$$\displaystyle \begin{aligned}\begin{array}{r*{20}l} I:=&\dim M-\dim {\widetilde{{\boldsymbol V}}{}^\perp} - \dim {\widetilde W}^\perp \\=& \dim M-(\dim{{\boldsymbol V}}- \dim {\widetilde{{\boldsymbol V}}}) -(\dim W-\dim {\widetilde W}) \\ =& \dim M-(\dim{{\boldsymbol V}}- \dim \nabla W- \dim {{\boldsymbol V}}_{\mathrm{sbb}}) -(\dim W-\dim \nabla\cdot {{\boldsymbol V}}) \\ =& \dim M-\left(\dim{{\boldsymbol V}}- \dim \nabla\cdot {{\boldsymbol V}}- \dim {{\boldsymbol V}}_{\mathrm{sbb}}\right) -(\dim W-\dim \nabla W) \\ =& \dim M-(\dim\{{\boldsymbol v}\in{{\boldsymbol V}}: \nabla\cdot {\boldsymbol v}=0\}- \dim\{{\boldsymbol v}\in{{\boldsymbol V}}: \nabla\cdot {\boldsymbol v}=0, {\boldsymbol v}\cdot{\boldsymbol n}|{}_{\partial K}=0\} ) \\&- \dim\{ w\in W: \nabla w=0\} \\ =&\dim M-\dim\{{\boldsymbol v}\cdot{\boldsymbol n}|{}_{\partial K}:\, {\boldsymbol v}\in {{\boldsymbol V}}, \nabla \cdot{\boldsymbol v}=0\} -\dim \{w|{}_{\partial K}:\, w\in W, \nabla w=0\} \\=&I_M({{\boldsymbol V}}\times W). \end{array}\end{aligned} $$ - Step 4.:
-
Now, by the inclusion property (a), we have that
$$\displaystyle \begin{aligned} \{{\boldsymbol v}\cdot{\boldsymbol n}|{}_{\partial K}:\, {\boldsymbol v}\in {{\boldsymbol V}}, \nabla \cdot{\boldsymbol v}=0\} \oplus \{w|{}_{\partial K}:\, w\in W, \nabla w=0\}\subset M, \end{aligned}$$where the sum is L 2(∂K)-orthogonal since
$$\displaystyle \begin{aligned} \langle{\boldsymbol v}\cdot{\boldsymbol n}, w\rangle_{\partial K}=(\nabla\cdot {\boldsymbol v}, w)_K+({\boldsymbol v}, \nabla w)_K=0 \end{aligned}$$if ∇⋅v = 0 and ∇w = 0. Finally, since the M-index I M(V × W) is zero by property (c), the equality holds. This completes the proof of the characterization Theorem 2.3.
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Cockburn, B., Fu, G., Shi, K. (2018). An Introduction to the Theory of M-Decompositions. In: Di Pietro, D., Ern, A., Formaggia, L. (eds) Numerical Methods for PDEs. SEMA SIMAI Springer Series, vol 15. Springer, Cham. https://doi.org/10.1007/978-3-319-94676-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-94676-4_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-94675-7
Online ISBN: 978-3-319-94676-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)