Guaranteed Lower and Upper Bounds for Eigenvalues of Second Order Elliptic Operators in any Dimension
-
Jun Hu
und
Rui Ma
Abstract
A new method is proposed to provide guaranteed lower bounds for eigenvalues of general second order elliptic operators in any dimension. This method employs a novel generalized Crouzeix–Raviart element which is proved to yield asymptotic lower bounds for eigenvalues of general second order elliptic operators, and a simple post-processing method. As a byproduct, a simple and cheap method is also proposed to obtain guaranteed upper bounds for eigenvalues, which is based on generalized Crouzeix–Raviart element approximate eigenfunctions, an averaging interpolation from the generalized Crouzeix–Raviart element space to the conforming linear element space, and an usual Rayleigh–Ritz procedure. The ingredients for the analysis consist of a crucial projection property of the canonical interpolation operator of the generalized Crouzeix–Raviart element, explicitly computable constants for two interpolation operators. Numerical experiments demonstrate that the guaranteed lower bounds for eigenvalues in this paper are superior to those obtained by the Crouzeix–Raviart element.
Funding source: National Natural Science Foundation of China
Award Identifier / Grant number: 12288101
Award Identifier / Grant number: 12301466
Funding statement: The first author was supported by the National Natural Science Foundation of China, Grant No. 12288101. The second author was supported by the National Natural Science Foundation of China, Grant No. 12301466.
Acknowledgements
The authors would like to thank Dr. Sophie Puttkammer from Humboldt Universität zu Berlin for reading the preprint and pointing out a typo in Theorem 4.3.
References
[1] M. G. Armentano and R. G. Durán, Asymptotic lower bounds for eigenvalues by nonconforming finite element methods, Electron. Trans. Numer. Anal. 17 (2004), 93–101. Suche in Google Scholar
[2] I. Babuška and J. Osborn, Eigenvalue problems, Handbook of Numerical Analysis, Vol. II, North-Holland, Amsterdam (1991), 641–787. 10.1016/S1570-8659(05)80042-0Suche in Google Scholar
[3] D. Boffi, Finite element approximation of eigenvalue problems, Acta Numer. 19 (2010), 1–120. 10.1017/S0962492910000012Suche in Google Scholar
[4] C. Carstensen, A. Ern and S. Puttkammer, Guaranteed lower bounds on eigenvalues of elliptic operators with a hybrid high-order method, Numer. Math. 149 (2021), no. 2, 273–304. 10.1007/s00211-021-01228-1Suche in Google Scholar
[5] C. Carstensen and D. Gallistl, Guaranteed lower eigenvalue bounds for the biharmonic equation, Numer. Math. 126 (2014), no. 1, 33–51. 10.1007/s00211-013-0559-zSuche in Google Scholar
[6] C. Carstensen and J. Gedicke, Guaranteed lower bounds for eigenvalues, Math. Comp. 83 (2014), no. 290, 2605–2629. 10.1090/S0025-5718-2014-02833-0Suche in Google Scholar
[7] C. Carstensen, B. Gräßle and E. Pirch, Comparison of guaranteed lower eigenvalue bounds with three skeletal schemes, Comput. Methods Appl. Mech. Engrg. 433 (2025), Article ID 117477. 10.1016/j.cma.2024.117477Suche in Google Scholar
[8] C. Carstensen, B. Gräßle and N. T. Tran, Adaptive hybrid high-order method for guaranteed lower eigenvalue bounds, Numer. Math. 156 (2024), no. 3, 813–851. 10.1007/s00211-024-01407-wSuche in Google Scholar
[9] C. Carstensen and S. Puttkammer, Direct guaranteed lower eigenvalue bounds with optimal a priori convergence rates for the bi-Laplacian, SIAM J. Numer. Anal. 61 (2023), no. 2, 812–836. 10.1137/21M139921XSuche in Google Scholar
[10] C. Carstensen and S. Puttkammer, Adaptive guaranteed lower eigenvalue bounds with optimal convergence rates, Numer. Math. 156 (2024), no. 1, 1–38. 10.1007/s00211-023-01382-8Suche in Google Scholar
[11] C. Carstensen, Q. Zhai and R. Zhang, A skeletal finite element method can compute lower eigenvalue bounds, SIAM J. Numer. Anal. 58 (2020), no. 1, 109–124. 10.1137/18M1212276Suche in Google Scholar
[12] I. Chavel and E. A. Feldman, An optimal Poincaré inequality for convex domains of non-negative curvature, Arch. Ration. Mech. Anal. 65 (1977), no. 3, 263–273. 10.1007/BF00280444Suche in Google Scholar
[13] P. G. Ciarlet, The Finite Element Method for Elliptic Problems, Classics Appl. Math. 40, Society for Industrial and Applied Mathematics, Philadelphia, 2002. 10.1137/1.9780898719208Suche in Google Scholar
[14] M. Crouzeix and P.-A. Raviart, Conforming and nonconforming finite element methods for solving the stationary Stokes equations. I, Rev. Franç. Automat. Inform. Rech. Opér. Sér. Rouge 7 (1973), no. R-3, 33–75. 10.1051/m2an/197307R300331Suche in Google Scholar
[15] J. Hu, Y. Huang and Q. Lin, Lower bounds for eigenvalues of elliptic operators: By nonconforming finite element methods, J. Sci. Comput. 61 (2014), no. 1, 196–221. 10.1007/s10915-014-9821-5Suche in Google Scholar
[16] J. Hu, Y. Huang and R. Ma, Guaranteed lower bounds for eigenvalues of elliptic operators, J. Sci. Comput. 67 (2016), no. 3, 1181–1197. 10.1007/s10915-015-0126-0Suche in Google Scholar
[17] J. Hu, Y. Huang and Q. Shen, The lower/upper bound property of approximate eigenvalues by nonconforming finite element methods for elliptic operators, J. Sci. Comput. 58 (2014), no. 3, 574–591. 10.1007/s10915-013-9744-6Suche in Google Scholar
[18] J. Hu, Y. Huang and Q. Shen, Constructing both lower and upper bounds for the eigenvalues of elliptic operators by nonconforming finite element methods, Numer. Math. 131 (2015), no. 2, 273–302. 10.1007/s00211-014-0688-zSuche in Google Scholar
[19] J. Hu and L. Ma, Asymptotic expansions of eigenvalues by both the Crouzeix–Raviart and enriched Crouzeix–Raviart elements, Math. Comp. 91 (2021), no. 333, 75–109. 10.1090/mcom/3635Suche in Google Scholar
[20] J. Hu, R. Ma and Z. Shi, A new a priori error estimate of nonconforming finite element methods, Sci. China Math. 57 (2014), no. 5, 887–902. 10.1007/s11425-014-4793-3Suche in Google Scholar
[21] S. Larsson and V. Thomée, Partial Differential Equations with Numerical Methods, Texts Appl. Math. 45, Springer, Berlin, 2008. Suche in Google Scholar
[22] R. S. Laugesen and B. A. Siudeja, Minimizing Neumann fundamental tones of triangles: An optimal Poincaré inequality, J. Differential Equations 249 (2010), no. 1, 118–135. 10.1016/j.jde.2010.02.020Suche in Google Scholar
[23] Q. Lin, H. Xie and J. Xu, Lower bounds of the discretization error for piecewise polynomials, Math. Comp. 83 (2014), no. 285, 1–13. 10.1090/S0025-5718-2013-02724-XSuche in Google Scholar
[24] X. Liu, A framework of verified eigenvalue bounds for self-adjoint differential operators, Appl. Math. Comput. 267 (2015), 341–355. 10.1016/j.amc.2015.03.048Suche in Google Scholar
[25] X. Liu, Guaranteed Computational Methods for Self-Adjoint Differential Eigenvalue Problems, Springer Briefs Math., Springer, Singapore, 2024. 10.1007/978-981-97-3577-8Suche in Google Scholar
[26] X. Liu and S. Oishi, Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape, SIAM J. Numer. Anal. 51 (2013), no. 3, 1634–1654. 10.1137/120878446Suche in Google Scholar
[27] F. Luo, Q. Lin and H. Xie, Computing the lower and upper bounds of Laplace eigenvalue problem: By combining conforming and nonconforming finite element methods, Sci. China Math. 55 (2012), no. 5, 1069–1082. 10.1007/s11425-012-4382-2Suche in Google Scholar
[28] S. Mao and Z.-C. Shi, Explicit error estimates for mixed and nonconforming finite elements, J. Comput. Math. 27 (2009), no. 4, 425–440. 10.4208/jcm.2009.27.4.011Suche in Google Scholar
[29] Q. Shen, High-accuracy algorithms for the eigenvalue problems of the elliptic operators and the vibration frequencies of the cavity flow [D], Peking University. Suche in Google Scholar
[30] G. Strang and G. Fix, An Analysis of the Finite Element Method, 2nd ed., Wellesley-Cambridge, Wellesley, 2008. Suche in Google Scholar
[31] F. Stummel, Basic compactness properties of nonconforming and hybrid finite element spaces, RAIRO Anal. Numér. 14 (1980), no. 1, 81–115. 10.1051/m2an/1980140100811Suche in Google Scholar
[32] Y. Yang, J. Han, H. Bi and Y. Yu, The lower/upper bound property of the Crouzeix–Raviart element eigenvalues on adaptive meshes, J. Sci. Comput. 62 (2015), no. 1, 284–299. 10.1007/s10915-014-9855-8Suche in Google Scholar
[33] Y. Yang, Z. Zhang and F. Lin, Eigenvalue approximation from below using non-conforming finite elements, Sci. China Math. 53 (2010), no. 1, 137–150. 10.1007/s11425-009-0198-0Suche in Google Scholar
[34] Z. Zhang, Y. Yang and Z. Chen, Eigenvalue approximation from below by Wilson’s element, Math. Numer. Sin. 29 (2007), no. 3, 319–321. Suche in Google Scholar
© 2025 Institute of Mathematics of the National Academy of Science of Belarus, published by De Gruyter, Berlin/Boston
