Broken-FEEC discretizations and Hodge Laplace problems
HTML articles powered by AMS MathViewer
- by Martin Campos Pinto and Yaman Güçlü;
- Math. Comp.
- DOI: https://doi.org/10.1090/mcom/4085
- Published electronically: April 9, 2025
Abstract:
This article studies structure-preserving discretizations of Hilbert complexes with nonconforming (broken) spaces that rely on projection operators onto an underlying conforming subcomplex. This approach follows the conforming/nonconforming Galerkin (CONGA) method introduced by Campos Pinto and Sonnendrücker [Math. Comp. 85 (2016), pp. 2651–2685; SMAI J. Comput. Math. 3 (2017), pp 53–89; SMAI J. Comput. Math. 3 (2017), pp. 91–116] to derive efficient structure-preserving finite element schemes for the time-dependent Maxwell and Maxwell-Vlasov systems by relaxing the curl-conforming constraint in finite element exterior calculus (FEEC) spaces. Here, it is extended to the discretization of full Hilbert complexes with possibly nontrivial harmonic fields, and the properties of the resulting CONGA Hodge Laplacian operator are investigated.
By using block-diagonal mass matrices which may be locally inverted, this framework possesses a canonical sequence of dual commuting projection operators which are local in standard finite element applications, and it naturally yields local discrete coderivative operators, in contrast to conforming FEEC discretizations. The resulting CONGA Hodge Laplacian operator is also local, and its kernel consists of the same discrete harmonic fields as that of the underlying conforming operator, provided that a symmetric stabilization term is added to handle the space nonconformities.
Under the assumption that the underlying conforming subcomplex admits a bounded cochain projection, and that the conforming projections are stable with moment-preserving properties, a priori convergence results are established for both the CONGA Hodge Laplace source and eigenvalue problems. Our theory is finally illustrated with a spectral element method, and numerical experiments are performed which show optimal convergence rates despite the lack of a formal stability result for the associated conforming projections. Applications to spline finite elements on multi-patch mapped domains are described in a related article (see Y. Güçlü, S. Hadjout, and M. Campos Pinto [J. Sci. Comput. 97 (2023)]), for which the present work provides a theoretical background.
References
- Douglas Arnold and Johnny Guzmán, Local $L^2$-bounded commuting projections in FEEC, ESAIM Math. Model. Numer. Anal. 55 (2021), no. 5, 2169–2184. MR 4323408, DOI 10.1051/m2an/2021054
- Douglas N. Arnold, Pavel B. Bochev, Richard B. Lehoucq, Roy A. Nicolaides, and Mikhail Shashkov (eds.), Compatible spatial discretizations, The IMA Volumes in Mathematics and its Applications, vol. 142, Springer, New York, 2006. Papers from the IMA Hot Topics Workshop on Compatible Spatial Discretizations for Partial Differential Equations held at the University of Minnesota, Minneapolis, MN, May 11–15, 2004. MR 2256572, DOI 10.1007/0-387-38034-5
- Douglas N. Arnold, Richard S. Falk, and Ragnar Winther, Finite element exterior calculus, homological techniques, and applications, Acta Numer. 15 (2006), 1–155. MR 2269741, DOI 10.1017/S0962492906210018
- Douglas N. Arnold, Richard S. Falk, and Ragnar Winther, Finite element exterior calculus: from Hodge theory to numerical stability, Bull. Amer. Math. Soc. (N.S.) 47 (2010), no. 2, 281–354. MR 2594630, DOI 10.1090/S0273-0979-10-01278-4
- Daniele Boffi, Fortin operator and discrete compactness for edge elements, Numer. Math. 87 (2000), no. 2, 229–246. MR 1804657, DOI 10.1007/s002110000182
- Daniele Boffi, Compatible discretizations for eigenvalue problems, Compatible spatial discretizations, IMA Vol. Math. Appl., vol. 142, Springer, New York, 2006, pp. 121–142. MR 2249348, DOI 10.1007/0-387-38034-5_{6}
- Daniele Boffi, Finite element approximation of eigenvalue problems, Acta Numer. 19 (2010), 1–120. MR 2652780, DOI 10.1017/S0962492910000012
- Daniele Boffi, Franco Brezzi, and Michel Fortin, Mixed finite element methods and applications, Springer Series in Computational Mathematics, vol. 44, Springer, Heidelberg, 2013. MR 3097958, DOI 10.1007/978-3-642-36519-5
- Daniele Boffi, Franco Brezzi, and Lucia Gastaldi, On the problem of spurious eigenvalues in the approximation of linear elliptic problems in mixed form, Math. Comp. 69 (2000), no. 229, 121–140. MR 1642801, DOI 10.1090/S0025-5718-99-01072-8
- Alain Bossavit, Computational electromagnetism, Electromagnetism, Academic Press, Inc., San Diego, CA, 1998. Variational formulations, complementarity, edge elements. MR 1488417
- Haim Brezis, Functional analysis, Sobolev spaces and partial differential equations, Universitext, Springer, New York, 2011. MR 2759829
- Annalisa Buffa, Ilaria Perugia, and Tim Warburton, The mortar-discontinuous Galerkin method for the 2D Maxwell eigenproblem, J. Sci. Comput. 40 (2009), no. 1-3, 86–114. MR 2511729, DOI 10.1007/s10915-008-9238-0
- A. Buffa, J. Rivas, G. Sangalli, and R. Vázquez, Isogeometric discrete differential forms in three dimensions, SIAM J. Numer. Anal. 49 (2011), no. 2, 818–844. MR 2792397, DOI 10.1137/100786708
- A. Buffa, G. Sangalli, and R. Vázquez, Isogeometric analysis in electromagnetics: B-splines approximation, Comput. Methods Appl. Mech. Engrg. 199 (2010), no. 17-20, 1143–1152. MR 2594830, DOI 10.1016/j.cma.2009.12.002
- Martin Campos Pinto, Constructing exact sequences on non-conforming discrete spaces, C. R. Math. Acad. Sci. Paris 354 (2016), no. 7, 691–696 (English, with English and French summaries). MR 3508565, DOI 10.1016/j.crma.2016.03.008
- Martin Campos Pinto, Katharina Kormann, and Eric Sonnendrücker, Variational framework for structure-preserving electromagnetic particle-in-cell methods, J. Sci. Comput. 91 (2022), no. 2, Paper No. 46, 39. MR 4402737, DOI 10.1007/s10915-022-01781-3
- Martin Campos Pinto and Eric Sonnendrücker, Gauss-compatible Galerkin schemes for time-dependent Maxwell equations, Math. Comp. 85 (2016), no. 302, 2651–2685. MR 3522966, DOI 10.1090/mcom/3079
- Martin Campos Pinto and Eric Sonnendrücker, Compatible Maxwell solvers with particles I: conforming and non-conforming 2D schemes with a strong Ampere law, SMAI J. Comput. Math. 3 (2017), 53–89. MR 3695788, DOI 10.5802/smai-jcm.20
- Martin Campos Pinto and Eric Sonnendrücker, Compatible Maxwell solvers with particles II: conforming and non-conforming 2D schemes with a strong Faraday law, SMAI J. Comput. Math. 3 (2017), 91–116. MR 3695789, DOI 10.5802/smai-jcm.21
- Salvatore Caorsi, Paolo Fernandes, and Mirco Raffetto, On the convergence of Galerkin finite element approximations of electromagnetic eigenproblems, SIAM J. Numer. Anal. 38 (2000), no. 2, 580–607. MR 1770063, DOI 10.1137/S0036142999357506
- Gary Cohen and Peter Monk, Gauss point mass lumping schemes for Maxwell’s equations, Numer. Methods Partial Differential Equations 14 (1998), no. 1, 63–88. MR 1601785, DOI 10.1002/(SICI)1098-2426(199801)14:1<63::AID-NUM4>3.3.CO;2-O
- Herbert Egger and Bogdan Radu, A second-order finite element method with mass lumping for Maxwell’s equations on tetrahedra, SIAM J. Numer. Anal. 59 (2021), no. 2, 864–885. MR 4238011, DOI 10.1137/20M1318912
- Marc Gerritsma, Edge functions for spectral element methods, Spectral and high order methods for partial differential equations, Lect. Notes Comput. Sci. Eng., vol. 76, Springer, Heidelberg, 2011, pp. 199–207. MR 3204817, DOI 10.1007/978-3-642-15337-2_{1}7
- Yaman Güçlü, Said Hadjout, and Martin Campos Pinto, A broken FEEC framework for electromagnetic problems on mapped multipatch domains, J. Sci. Comput. 97 (2023), no. 2, Paper No. 52, 53. MR 4654157, DOI 10.1007/s10915-023-02351-x
- R. Hiptmair, Finite elements in computational electromagnetism, Acta Numer. 11 (2002), 237–339. MR 2009375, DOI 10.1017/S0962492902000041
- M. Kraus, K. Kormann, P. J. Morrison, and E. Sonnendrücker, GEMPIC: geometric electromagnetic particle-in-cell methods, J. Plasma Phys. 83 (2017), no. 4.
- J. Kreeft, A. Palha, and M. Gerritsma, Mimetic framework on curvilinear quadrilaterals of arbitrary order, technical report, Delft University (2011) arXiv:1111.4304.
- Jeonghun J. Lee, High order approximation of Hodge Laplace problems with local coderivatives on cubical meshes, ESAIM Math. Model. Numer. Anal. 56 (2022), no. 3, 867–891. MR 4411484, DOI 10.1051/m2an/2022009
- Jeonghun J. Lee and Ragnar Winther, Local coderivatives and approximation of Hodge Laplace problems, Math. Comp. 87 (2018), no. 314, 2709–2735. MR 3834682, DOI 10.1090/mcom/3315
- P. Monk and L. Demkowicz, Discrete compactness and the approximation of Maxwell’s equations in ${\Bbb R}^3$, Math. Comp. 70 (2001), no. 234, 507–523. MR 1709155, DOI 10.1090/S0025-5718-00-01229-1
- N. Robidoux, Polynomial histopolation, superconvergent degrees of freedom and pseudo-spectral discrete Hodge operators, Unpublished, 2008.
Bibliographic Information
- Martin Campos Pinto
- Affiliation: Max-Planck-Institut für Plasmaphysik, Boltzmannstr. 2, 85748 Garching, Germany
- MR Author ID: 758627
- ORCID: 0000-0002-8915-1627
- Email: martin.campos-pinto@ipp.mpg.de
- Yaman Güçlü
- Affiliation: Max-Planck-Institut für Plasmaphysik, Boltzmannstr. 2, 85748 Garching, Germany
- ORCID: 0000-0003-2619-5152
- Email: yaman.guclu@ipp.mpg.de
- Received by editor(s): September 21, 2022
- Received by editor(s) in revised form: December 19, 2023, December 9, 2024, and February 8, 2025
- Published electronically: April 9, 2025
- Additional Notes: The work of the second author was partially supported by the European Council under the Horizon 2020 Project Energy oriented Centre of Excellence for computing applications - EoCoE, Project ID 676629
- © Copyright 2025 by the authors
- Journal: Math. Comp.
- MSC (2020): Primary 65N30, 58A14, 65N25, 65N12
- DOI: https://doi.org/10.1090/mcom/4085