Guaranteed Lower and Upper Bounds for Eigenvalues of Second Order Elliptic Operators in any Dimension
-
Jun Hu
and
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. Search 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-0Search in Google Scholar
[3] D. Boffi, Finite element approximation of eigenvalue problems, Acta Numer. 19 (2010), 1–120. 10.1017/S0962492910000012Search 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-1Search 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-zSearch 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-0Search 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.117477Search 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-wSearch 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/21M139921XSearch 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-8Search 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/18M1212276Search 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/BF00280444Search 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.9780898719208Search 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/197307R300331Search 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-5Search 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-0Search 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-6Search 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-zSearch 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/3635Search 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-3Search in Google Scholar
[21] S. Larsson and V. Thomée, Partial Differential Equations with Numerical Methods, Texts Appl. Math. 45, Springer, Berlin, 2008. Search 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.020Search 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-XSearch 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.048Search 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-8Search 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/120878446Search 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-2Search 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.011Search 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. Search in Google Scholar
[30] G. Strang and G. Fix, An Analysis of the Finite Element Method, 2nd ed., Wellesley-Cambridge, Wellesley, 2008. Search 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/1980140100811Search 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-8Search 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-0Search 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. Search in Google Scholar
© 2025 Institute of Mathematics of the National Academy of Science of Belarus, published by De Gruyter, Berlin/Boston
