{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T08:20:54Z","timestamp":1778746854779,"version":"3.51.4"},"reference-count":10,"publisher":"American Mathematical Society (AMS)","issue":"283","license":[{"start":{"date-parts":[[2014,2,25]],"date-time":"2014-02-25T00:00:00Z","timestamp":1393286400000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>This paper presents constructive a posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations (PDEs) on a bounded domain. This type of estimate plays an important role in the numerical verification of the solutions for boundary value problems in nonlinear elliptic PDEs. In general, it is not easy to obtain the a priori estimates of the operator norm for inverse elliptic operators. Even if we can obtain these estimates, they are often over estimated. Our proposed a posteriori estimates are based on finite-dimensional spectral norm estimates for the Galerkin approximation and expected to converge to the exact operator norm of inverse elliptic operators. This provides more accurate estimates, and more efficient verification results for the solutions of nonlinear problems.<\/p>","DOI":"10.1090\/s0025-5718-2013-02676-2","type":"journal-article","created":{"date-parts":[[2013,2,25]],"date-time":"2013-02-25T08:53:56Z","timestamp":1361782436000},"page":"1543-1557","source":"Crossref","is-referenced-by-count":15,"title":["A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations"],"prefix":"10.1090","volume":"82","author":[{"given":"Yoshitaka","family":"Watanabe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takehiko","family":"Kinoshita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitsuhiro","family":"Nakao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"14","published-online":{"date-parts":[[2013,2,25]]},"reference":[{"issue":"13-14","key":"1","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1016\/j.crma.2008.05.015","article-title":"Gagliardo-Nirenberg inequalities involving the gradient \ud835\udc3f\u00b2-norm","volume":"346","author":"Agueh, Martial","year":"2008","journal-title":"C. R. Math. Acad. Sci. Paris","ISSN":"https:\/\/id.crossref.org\/issn\/1631-073X","issn-type":"print"},{"issue":"37-40","key":"2","doi-asserted-by":"publisher","first-page":"3750","DOI":"10.1016\/j.cma.2006.10.029","article-title":"Estimation of interpolation error constants for the \ud835\udc43\u2080 and \ud835\udc43\u2081 triangular finite elements","volume":"196","author":"Kikuchi, Fumio","year":"2007","journal-title":"Comput. Methods Appl. Mech. Engrg.","ISSN":"https:\/\/id.crossref.org\/issn\/0045-7825","issn-type":"print"},{"issue":"2","key":"3","doi-asserted-by":"crossref","first-page":"109","DOI":"10.5109\/13484","article-title":"On explicit bounds in the error for the \ud835\udc3b\u00b9\u2080-projection into piecewise polynomial spaces","volume":"31","author":"Kimura, Seiji","year":"1999","journal-title":"Bull. Inform. Cybernet.","ISSN":"https:\/\/id.crossref.org\/issn\/0286-522X","issn-type":"print"},{"issue":"3-4","key":"4","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1080\/01630560802679364","article-title":"On the \ud835\udc3f\u00b2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator","volume":"30","author":"Kinoshita, T.","year":"2009","journal-title":"Numer. Funct. Anal. Optim.","ISSN":"https:\/\/id.crossref.org\/issn\/0163-0563","issn-type":"print"},{"issue":"3","key":"5","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1006\/jath.1998.3172","article-title":"On the best constant in the error bound for the \ud835\udc3b\u00b9\u2080-projection into piecewise polynomial spaces","volume":"93","author":"Nakao, Mitsuhiro T.","year":"1998","journal-title":"J. Approx. Theory","ISSN":"https:\/\/id.crossref.org\/issn\/0021-9045","issn-type":"print"},{"issue":"1","key":"6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00607-004-0111-1","article-title":"A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems","volume":"75","author":"Nakao, M. T.","year":"2005","journal-title":"Computing","ISSN":"https:\/\/id.crossref.org\/issn\/0010-485X","issn-type":"print"},{"issue":"1","key":"7","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.cam.2007.04.036","article-title":"Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications","volume":"218","author":"Nakao, Mitsuhiro T.","year":"2008","journal-title":"J. Comput. Appl. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0377-0427","issn-type":"print"},{"issue":"1-2","key":"8","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0377-0427(94)00090-N","article-title":"Numerical verification of existence and inclusion of solutions for nonlinear operator equations","volume":"60","author":"Oishi, Shin\u2019ichi","year":"1995","journal-title":"J. Comput. Appl. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0377-0427","issn-type":"print"},{"issue":"2-3","key":"9","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF03186542","article-title":"Computer-assisted proofs for semilinear elliptic boundary value problems","volume":"26","author":"Plum, Michael","year":"2009","journal-title":"Japan J. Indust. Appl. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0916-7005","issn-type":"print"},{"key":"10","doi-asserted-by":"crossref","unstructured":"S.M. Rump, INTLAB\u2013INTerval LABoratory, in Developments in Reliable Computing, Tibor Csendes, ed., pp. 77\u2013104, Kluwer Academic Publishers, Dordrecht, (1999). http:\/\/www.ti3.tu-harburg.de\/rump\/intlab\/","DOI":"10.1007\/978-94-017-1247-7_7"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2013-82-283\/S0025-5718-2013-02676-2\/S0025-5718-2013-02676-2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2013-82-283\/S0025-5718-2013-02676-2\/S0025-5718-2013-02676-2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T17:34:37Z","timestamp":1776792877000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2013-82-283\/S0025-5718-2013-02676-2\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2,25]]},"references-count":10,"journal-issue":{"issue":"283","published-print":{"date-parts":[[2013,7]]}},"alternative-id":["S0025-5718-2013-02676-2"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-2013-02676-2","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2013,2,25]]}}}