{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T15:48:34Z","timestamp":1774885714448,"version":"3.50.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T00:00:00Z","timestamp":1657670400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T00:00:00Z","timestamp":1657670400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1007\/s00211-022-01304-0","type":"journal-article","created":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:29:32Z","timestamp":1657747772000},"page":"183-221","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Fully computable a posteriori error bounds for eigenfunctions"],"prefix":"10.1007","volume":"152","author":[{"given":"Xuefeng","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vejchodsk\u00fd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,7,13]]},"reference":[{"key":"1304_CR1","first-page":"93","volume":"17","author":"MG Armentano","year":"2004","unstructured":"Armentano, M.G., Dur\u00e1n, R.G.: Asymptotic lower bounds for eigenvalues by nonconforming finite element methods. Electron. Trans. Numer. Anal. 17, 93\u2013101 (2004). ((electronic))","journal-title":"Electron. Trans. Numer. Anal."},{"key":"1304_CR2","first-page":"641","volume-title":"Eigenvalue problems, Handbook of numerical analysis","author":"I Babu\u0161ka","year":"1991","unstructured":"Babu\u0161ka, I., Osborn, J.E.: Eigenvalue problems, Handbook of numerical analysis, vol. II, pp. 641\u2013787. North-Holland, Amsterdam (1991)"},{"issue":"1","key":"1304_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/BF02242019","volume":"47","author":"H Behnke","year":"1991","unstructured":"Behnke, H.: The calculation of guaranteed bounds for eigenvalues using complementary variational principles. Comput. 47(1), 11\u201327 (1991)","journal-title":"Comput."},{"key":"1304_CR4","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1137\/0703015","volume":"3","author":"G Birkhoff","year":"1966","unstructured":"Birkhoff, G., de Boor, C., Swartz, B., Wendroff, B.: Rayleigh-Ritz approximation by piecewise cubic polynomials. SIAM J. Numer. Anal. 3, 188\u2013203 (1966)","journal-title":"SIAM J. Numer. Anal."},{"key":"1304_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0962492910000012","volume":"19","author":"D Boffi","year":"2010","unstructured":"Boffi, D.: Finite element approximation of eigenvalue problems. Acta Numer. 19, 1\u2013120 (2010)","journal-title":"Acta Numer."},{"issue":"5","key":"1304_CR6","doi-asserted-by":"publisher","first-page":"2228","DOI":"10.1137\/15M1038633","volume":"55","author":"E Canc\u00e8s","year":"2017","unstructured":"Canc\u00e8s, E., Dusson, G., Maday, Y., Stamm, B., Vohral\u00edk, M.: Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: conforming approximations. SIAM J. Numer. Anal. 55(5), 2228\u20132254 (2017)","journal-title":"SIAM J. Numer. Anal."},{"issue":"4","key":"1304_CR7","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1007\/s00211-018-0984-0","volume":"140","author":"E Canc\u00e8s","year":"2018","unstructured":"Canc\u00e8s, E., Dusson, G., Maday, Y., Stamm, B., Vohral\u00edk, M.: Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: a unified framework. Numer. Math. 140(4), 1033\u20131079 (2018)","journal-title":"Numer. Math."},{"issue":"326","key":"1304_CR8","doi-asserted-by":"publisher","first-page":"2563","DOI":"10.1090\/mcom\/3549","volume":"89","author":"E Canc\u00e8s","year":"2020","unstructured":"Canc\u00e8s, E., Dusson, G., Maday, Y., Stamm, B., Vohral\u00edk, M.: Guaranteed a posteriori bounds for eigenvalues and eigenvectors: multiplicities and clusters. Math. Comp. 89(326), 2563\u20132611 (2020)","journal-title":"Math. Comp."},{"issue":"1","key":"1304_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s00211-013-0559-z","volume":"126","author":"C Carstensen","year":"2014","unstructured":"Carstensen, C., Gallistl, D.: Guaranteed lower eigenvalue bounds for the biharmonic equation. Numer. Math. 126(1), 33\u201351 (2014)","journal-title":"Numer. Math."},{"issue":"290","key":"1304_CR10","doi-asserted-by":"publisher","first-page":"2605","DOI":"10.1090\/S0025-5718-2014-02833-0","volume":"83","author":"C Carstensen","year":"2014","unstructured":"Carstensen, C., Gedicke, J.: Guaranteed lower bounds for eigenvalues. Math. Comp. 83(290), 2605\u20132629 (2014)","journal-title":"Math. Comp."},{"key":"1304_CR11","volume-title":"Spectral approximation of linear operators","author":"F Chatelin","year":"1983","unstructured":"Chatelin, F.: Spectral approximation of linear operators. Academic Press Inc, New York (1983)"},{"issue":"5","key":"1304_CR12","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1016\/j.apnum.2012.01.005","volume":"62","author":"EA Dari","year":"2012","unstructured":"Dari, E.A., Dur\u00e1n, R.G., Padra, C.: A posteriori error estimates for non-conforming approximation of eigenvalue problems. Appl. Numer. Math. 62(5), 580\u2013591 (2012)","journal-title":"Appl. Numer. Math."},{"issue":"1","key":"1304_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/0707001","volume":"7","author":"C Davis","year":"1970","unstructured":"Davis, C., Kahan, W.M.: The rotation of eigenvectors by a perturbation. III. SIAM J. Numer. Anal. 7(1), 1\u201346 (1970)","journal-title":"SIAM J. Numer. Anal."},{"key":"1304_CR14","unstructured":"Debnath, L., Mikusinski, P.: Introduction to Hilbert spaces with applications. Elsevier Academic Press (2005)"},{"issue":"8","key":"1304_CR15","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1142\/S021820259900052X","volume":"9","author":"RG Dur\u00e1n","year":"1999","unstructured":"Dur\u00e1n, R.G., Gastaldi, L., Padra, C.: A posteriori error estimators for mixed approximations of eigenvalue problems. Math. Models Methods Appl. Sci. 9(8), 1165\u20131178 (1999)","journal-title":"Math. Models Methods Appl. Sci."},{"key":"1304_CR16","first-page":"562","volume":"319","author":"S Giani","year":"2018","unstructured":"Giani, S., Grubi\u0161i\u0107, L., Hakula, H., Ovall, J.S.: An a posteriori estimator of eigenvalue\/eigenvector error for penalty-type discontinuous Galerkin methods. Appl. Math. Comput. 319, 562\u2013574 (2018)","journal-title":"Appl. Math. Comput."},{"key":"1304_CR17","doi-asserted-by":"crossref","unstructured":"Giani, S., Hall, E.J.C.: An a posteriori error estimator for $$hp$$-adaptive discontinuous Galerkin methods for elliptic eigenvalue problems. Math. Models Methods Appl. Sci. 22(10), 1250030-1\u20131250030-35 (2012)","DOI":"10.1142\/S0218202512500303"},{"issue":"3","key":"1304_CR18","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1002\/zamm.19850650302","volume":"65","author":"F Goerisch","year":"1985","unstructured":"Goerisch, F., Haunhorst, H.: Eigenwertschranken f\u00fcr Eigenwertaufgaben mit partiellen Differentialgleichungen. Z. Angew. Math. Mech. 65(3), 129\u2013135 (1985)","journal-title":"Z. Angew. Math. Mech."},{"issue":"1\u20132","key":"1304_CR19","first-page":"260","volume":"15","author":"Q Hong","year":"2018","unstructured":"Hong, Q., Xie, H., Yue, M., Zhang, N.: Fully computable error bounds for eigenvalue problem. Int. J. Numer. Anal. Model. 15(1\u20132), 260\u2013270 (2018)","journal-title":"Int. J. Numer. Anal. Model."},{"issue":"1","key":"1304_CR20","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/s10915-014-9821-5","volume":"61","author":"H Jun","year":"2014","unstructured":"Jun, H., Huang, Y., Lin, Q.: Lower bounds for eigenvalues of elliptic operators: by nonconforming finite element methods. J. Sci. Comput. 61(1), 196\u2013221 (2014)","journal-title":"J. Sci. Comput."},{"issue":"5","key":"1304_CR21","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1007\/s11425-013-4614-0","volume":"56","author":"S Jia","year":"2013","unstructured":"Jia, S., Chen, H., Xie, H.: A posteriori error estimator for eigenvalue problems by mixed finite element method. Sci. China Math. 56(5), 887\u2013900 (2013)","journal-title":"Sci. China Math."},{"key":"1304_CR22","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1143\/JPSJ.4.334","volume":"4","author":"T Kato","year":"1949","unstructured":"Kato, T.: On the upper and lower bounds of eigenvalues. J. Phys. Soc. Japan 4, 334\u2013339 (1949)","journal-title":"J. Phys. Soc. Japan"},{"key":"1304_CR23","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1002\/zamm.19502911005","volume":"29","author":"NJ Lehmann","year":"1949","unstructured":"Lehmann, N.J.: Beitr\u00e4ge zur numerischen L\u00f6sung linearer Eigenwertprobleme. I. Z. Angew. Math. Mech. 29, 341\u2013356 (1949)","journal-title":"Z. Angew. Math. Mech."},{"key":"1304_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/zamm.19500300101","volume":"30","author":"NJ Lehmann","year":"1950","unstructured":"Lehmann, N.J.: Beitr\u00e4ge zur numerischen L\u00f6sung linearer Eigenwertprobleme. II. Z. Angew. Math. Mech. 30, 1\u201316 (1950)","journal-title":"Z. Angew. Math. Mech."},{"issue":"2","key":"1304_CR25","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/s13160-019-00351-9","volume":"36","author":"S-K Liao","year":"2019","unstructured":"Liao, S.-K., Shu, Y.-C., Liu, X.: Optimal estimation for the Fujino-Morley interpolation error constants. Jpn. J. Ind. Appl. Math. 36(2), 521\u2013542 (2019)","journal-title":"Jpn. J. Ind. Appl. Math."},{"key":"1304_CR26","first-page":"341","volume":"267","author":"X Liu","year":"2015","unstructured":"Liu, X.: A framework of verified eigenvalue bounds for self-adjoint differential operators. Appl. Math. Comput. 267, 341\u2013355 (2015)","journal-title":"Appl. Math. Comput."},{"key":"1304_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2019.112666","volume":"371","author":"X Liu","year":"2020","unstructured":"Liu, X.: Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms. J. of Comp. & Appl. Math. 371, 112666 (2020)","journal-title":"J. of Comp. & Appl. Math."},{"issue":"3","key":"1304_CR28","doi-asserted-by":"publisher","first-page":"1634","DOI":"10.1137\/120878446","volume":"51","author":"X Liu","year":"2013","unstructured":"Liu, X., Oishi, S.: Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape. SIAM J. Numer. Anal. 51(3), 1634\u20131654 (2013)","journal-title":"SIAM J. Numer. Anal."},{"key":"1304_CR29","doi-asserted-by":"crossref","unstructured":"Liu, X., Okayama, T., Oishi, S.: High-Precision Eigenvalue Bound for the Laplacian with Singularities, Computer Mathematics, Springer, pp.\u00a0311\u2013323 (2014)","DOI":"10.1007\/978-3-662-43799-5_23"},{"key":"1304_CR30","first-page":"693","volume":"319","author":"X Liu","year":"2018","unstructured":"Liu, X., You, C.: Explicit bound for quadratic Lagrange interpolation constant on triangular finite elements. Appl. Math. Comput. 319, 693\u2013701 (2018)","journal-title":"Appl. Math. Comput."},{"key":"1304_CR31","unstructured":"Liu, X., Vejchodsk\u00fd, T.: Rigorous and fully computable a posteriori error bounds for eigenfunctions, arXiv preprint arXiv:1904.07903v1, (2019)"},{"issue":"3","key":"1304_CR32","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1002\/nla.733","volume":"18","author":"V Mehrmann","year":"2011","unstructured":"Mehrmann, V., Miedlar, A.: Adaptive computation of smallest eigenvalues of self-adjoint elliptic partial differential equations. Numer. Linear Algebra Appl. 18(3), 387\u2013409 (2011)","journal-title":"Numer. Linear Algebra Appl."},{"key":"1304_CR33","doi-asserted-by":"crossref","unstructured":"Meyer, C.: Matrix analysis and applied linear algebra, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA (2000)","DOI":"10.1137\/1.9780898719512"},{"key":"1304_CR34","doi-asserted-by":"crossref","unstructured":"Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to interval analysis, vol. 110. SIAM, Philadelphia (2009)","DOI":"10.1137\/1.9780898717716"},{"key":"1304_CR35","doi-asserted-by":"publisher","first-page":"1843","DOI":"10.1090\/mcom\/3519","volume":"89","author":"Y Nakatsukasa","year":"2020","unstructured":"Nakatsukasa, Y.: Sharp error bounds for Ritz vectors and approximate singular vectors. Math. Comp. 89, 1843\u20131866 (2020)","journal-title":"Math. Comp."},{"key":"1304_CR36","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1090\/qam\/25902","volume":"5","author":"W Prager","year":"1947","unstructured":"Prager, W., Synge, J.L.: Approximations in elasticity based on the concept of function space. Quart. Appl. Math. 5, 241\u2013269 (1947)","journal-title":"Quart. Appl. Math."},{"key":"1304_CR37","doi-asserted-by":"publisher","DOI":"10.1515\/9783110203042","volume-title":"A posteriori estimates for partial differential equations","author":"S Repin","year":"2008","unstructured":"Repin, S.: A posteriori estimates for partial differential equations. Walter de Gruyter GmbH & Co. KG, Berlin (2008)"},{"issue":"1","key":"1304_CR38","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1137\/13091467X","volume":"52","author":"I \u0160ebestov\u00e1","year":"2014","unstructured":"\u0160ebestov\u00e1, I., Vejchodsk\u00fd, T.: Two-sided bounds for eigenvalues of differential operators with applications to Friedrichs, Poincar\u00e9, trace, and similar constants. SIAM J. Numer. Anal. 52(1), 308\u2013329 (2014)","journal-title":"SIAM J. Numer. Anal."},{"issue":"1","key":"1304_CR39","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0377-0427(02)00431-4","volume":"147","author":"K Toyonaga","year":"2002","unstructured":"Toyonaga, K., Nakao, M.T., Watanabe, Y.: Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators. J. Comput. Appl. Math. 147(1), 175\u2013190 (2002)","journal-title":"J. Comput. Appl. Math."},{"issue":"4","key":"1304_CR40","doi-asserted-by":"publisher","first-page":"1188","DOI":"10.1002\/num.22251","volume":"34","author":"T Vejchodsk\u00fd","year":"2018","unstructured":"Vejchodsk\u00fd, T.: Three methods for two-sided bounds of eigenvalues-a comparison. Numer. Methods Partial Differ. Equ. 34(4), 1188\u20131208 (2018)","journal-title":"Numer. Methods Partial Differ. Equ."},{"key":"1304_CR41","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1016\/j.cam.2018.02.034","volume":"340","author":"T Vejchodsk\u00fd","year":"2018","unstructured":"Vejchodsk\u00fd, T.: Flux reconstructions in the Lehmann-Goerisch method for lower bounds on eigenvalues. J. Comput. Appl. Math. 340, 676\u2013690 (2018)","journal-title":"J. Comput. Appl. Math."},{"issue":"1","key":"1304_CR42","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/s13160-017-0291-7","volume":"35","author":"M Xie","year":"2018","unstructured":"Xie, M., Xie, H., Liu, X.: Explicit lower bounds for Stokes eigenvalue problems by using nonconforming finite elements. Jpn. J. Ind. Appl. Math. 35(1), 335\u2013354 (2018)","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"1","key":"1304_CR43","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s11425-009-0198-0","volume":"53","author":"Y Yang","year":"2010","unstructured":"Yang, Y., Zhang, Z., Lin, F.: Eigenvalue approximation from below using non-conforming finite elements. Sci. China Ser. A: Math. 53(1), 137\u2013150 (2010)","journal-title":"Sci. China Ser. A: Math."},{"issue":"3","key":"1304_CR44","doi-asserted-by":"publisher","first-page":"1395","DOI":"10.1137\/18M1189592","volume":"57","author":"C You","year":"2019","unstructured":"You, C., Xie, H., Liu, X.: Guaranteed eigenvalue bounds for the Steklov eigenvalue problem. SIAM J. Numer. Anal. 57(3), 1395\u20131410 (2019)","journal-title":"SIAM J. Numer. Anal."},{"key":"1304_CR45","doi-asserted-by":"publisher","DOI":"10.1016\/j.cnsns.2021.106223","volume":"108","author":"X Liu","year":"2022","unstructured":"Liu, X., Nakao, M.T., Oishi, S.: Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains. Commun. Nonlinear Sci. Numer. Simul. 108, 106223 (2022)","journal-title":"Commun. Nonlinear Sci. Numer. Simul."}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-022-01304-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00211-022-01304-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-022-01304-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,28]],"date-time":"2022-08-28T02:02:51Z","timestamp":1661652171000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00211-022-01304-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,13]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["1304"],"URL":"https:\/\/doi.org\/10.1007\/s00211-022-01304-0","relation":{},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"value":"0029-599X","type":"print"},{"value":"0945-3245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,13]]},"assertion":[{"value":"28 May 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 May 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 June 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 July 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}