{"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":1778746854772,"version":"3.51.4"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T00:00:00Z","timestamp":1603324800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T00:00:00Z","timestamp":1603324800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2020,12]]},"abstract":"Abstract<\/jats:title>Infinite-dimensional Newton methods can be effectively used to derive numerical proofs of the existence of solutions to partial differential equations (PDEs). In computer-assisted proofs of PDEs, the original problem is transformed into the infinite-dimensional Newton-type fixed point equation $$w = - {\\mathcal {L}}^{-1} {\\mathcal {F}}(\\hat{u}) + {\\mathcal {L}}^{-1} {\\mathcal {G}}(w)$$<\/jats:tex-math>\n \n w<\/mml:mi>\n =<\/mml:mo>\n -<\/mml:mo>\n \n \n L<\/mml:mi>\n <\/mml:mrow>\n \n -<\/mml:mo>\n 1<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msup>\n F<\/mml:mi>\n \n (<\/mml:mo>\n \n u<\/mml:mi>\n ^<\/mml:mo>\n <\/mml:mover>\n )<\/mml:mo>\n <\/mml:mrow>\n +<\/mml:mo>\n \n \n L<\/mml:mi>\n <\/mml:mrow>\n \n -<\/mml:mo>\n 1<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msup>\n G<\/mml:mi>\n \n (<\/mml:mo>\n w<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n <\/mml:mrow>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, where $${\\mathcal {L}}$$<\/jats:tex-math>\n L<\/mml:mi>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula> is a linearized operator, $${\\mathcal {F}}(\\hat{u})$$<\/jats:tex-math>\n \n F<\/mml:mi>\n (<\/mml:mo>\n \n u<\/mml:mi>\n ^<\/mml:mo>\n <\/mml:mover>\n )<\/mml:mo>\n <\/mml:mrow>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula> is a residual, and $${\\mathcal {G}}(w)$$<\/jats:tex-math>\n \n G<\/mml:mi>\n (<\/mml:mo>\n w<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula> is a nonlinear term. Therefore, the estimations of $$\\Vert {\\mathcal {L}}^{-1} {\\mathcal {F}}(\\hat{u}) \\Vert $$<\/jats:tex-math>\n \n \n \u2016<\/mml:mo>\n <\/mml:mrow>\n \n \n L<\/mml:mi>\n <\/mml:mrow>\n \n -<\/mml:mo>\n 1<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msup>\n F<\/mml:mi>\n \n (<\/mml:mo>\n \n u<\/mml:mi>\n ^<\/mml:mo>\n <\/mml:mover>\n )<\/mml:mo>\n <\/mml:mrow>\n \n \u2016<\/mml:mo>\n <\/mml:mrow>\n <\/mml:mrow>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula> and $$\\Vert {\\mathcal {L}}^{-1}{\\mathcal {G}}(w) \\Vert $$<\/jats:tex-math>\n \n \n \u2016<\/mml:mo>\n <\/mml:mrow>\n \n \n L<\/mml:mi>\n <\/mml:mrow>\n \n -<\/mml:mo>\n 1<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msup>\n \n G<\/mml:mi>\n \n (<\/mml:mo>\n w<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n \u2016<\/mml:mo>\n <\/mml:mrow>\n <\/mml:mrow>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula> play major roles in the verification procedures . In this paper, using a similar concept to block Gaussian elimination and its corresponding \u2018Schur complement\u2019 for matrix problems, we represent the inverse operator $${\\mathcal {L}}^{-1}$$<\/jats:tex-math>\n \n \n L<\/mml:mi>\n <\/mml:mrow>\n \n -<\/mml:mo>\n 1<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msup>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula> as an infinite-dimensional operator matrix that can be decomposed into two parts: finite-dimensional and infinite-dimensional. This operator matrix yields a new effective realization of the infinite-dimensional Newton method, which enables a more efficient verification procedure compared with existing Nakao\u2019s methods for the solution of elliptic PDEs. We present some numerical examples that confirm the usefulness of the proposed method. Related results obtained from the representation of the operator matrix as $${\\mathcal {L}}^{-1}$$<\/jats:tex-math>\n \n \n L<\/mml:mi>\n <\/mml:mrow>\n \n -<\/mml:mo>\n 1<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msup>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula> are presented in the \u201cAppendix\u201d.\n<\/jats:p>","DOI":"10.1007\/s00211-020-01155-7","type":"journal-article","created":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T06:03:21Z","timestamp":1603346601000},"page":"907-926","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator"],"prefix":"10.1007","volume":"146","author":[{"given":"Kouta","family":"Sekine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitsuhiro T.","family":"Nakao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin\u2019ichi","family":"Oishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,10,22]]},"reference":[{"key":"1155_CR1","unstructured":"Kashiwagi, M.: kv library (2016). http:\/\/verifiedby.me\/kv\/index-e.html"},{"issue":"2","key":"1155_CR2","first-page":"109","volume":"31","author":"S Kimura","year":"1999","unstructured":"Kimura, S., Yamamoto, N.: On explicit bounds in the error for the $$ H_0^1 $$-projection into piecewise polynomial spaces. Bull. Inf. Cybern. 31(2), 109\u2013115 (1999)","journal-title":"Bull. Inf. Cybern."},{"issue":"9","key":"1155_CR3","doi-asserted-by":"publisher","first-page":"5431","DOI":"10.1016\/j.jde.2018.10.027","volume":"266","author":"T Kinoshita","year":"2019","unstructured":"Kinoshita, T., Watanabe, Y., Nakao, M.T.: An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces. J. Differ. Equ. 266(9), 5431\u20135447 (2019)","journal-title":"J. Differ. Equ."},{"issue":"2","key":"1155_CR4","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/BF03167877","volume":"5","author":"MT Nakao","year":"1988","unstructured":"Nakao, M.T.: A numerical approach to the proof of existence of solutions for elliptic problems. Jpn. J. Appl. Math. 5(2), 313\u2013332 (1988)","journal-title":"Jpn. J. Appl. Math."},{"issue":"3","key":"1155_CR5","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/BF03167855","volume":"7","author":"MT Nakao","year":"1990","unstructured":"Nakao, M.T.: A numerical approach to the proof of existence of solutions for elliptic problems ii. Jpn. J. Appl. Math. 7(3), 477 (1990)","journal-title":"Jpn. J. Appl. Math."},{"issue":"3\u20134","key":"1155_CR6","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1081\/NFA-100105107","volume":"22","author":"MT Nakao","year":"2001","unstructured":"Nakao, M.T.: Numerical verification methods for solutions of ordinary and partial differential equations. Numer. Funct. Anal. Optim. 22(3\u20134), 321\u2013356 (2001)","journal-title":"Numer. Funct. Anal. Optim."},{"issue":"1","key":"1155_CR7","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.cam.2007.04.036","volume":"218","author":"MT Nakao","year":"2008","unstructured":"Nakao, M.T., Hashimoto, K.: Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications. J. Comput. Appl. Math. 218(1), 106\u2013115 (2008)","journal-title":"J. Comput. Appl. Math."},{"issue":"1","key":"1155_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00607-004-0111-1","volume":"75","author":"MT Nakao","year":"2005","unstructured":"Nakao, M.T., Hashimoto, K., Watanabe, Y.: A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems. Computing 75(1), 1\u201314 (2005)","journal-title":"Computing"},{"key":"1155_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-7669-6","volume-title":"Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations","author":"MT Nakao","year":"2019","unstructured":"Nakao, M.T., Plum, M., Watanabe, Y.: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations. Springer, Berlin (2019)"},{"issue":"1\u20134","key":"1155_CR10","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1023\/B:NUMA.0000049477.75366.94","volume":"37","author":"MT Nakao","year":"2004","unstructured":"Nakao, M.T., Watanabe, Y.: An efficient approach to the numerical verification for solutions of elliptic differential equations. Numer. Algorithms 37(1\u20134), 311\u2013323 (2004)","journal-title":"Numer. Algorithms"},{"issue":"1","key":"1155_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1587\/nolta.2.2","volume":"2","author":"MT Nakao","year":"2011","unstructured":"Nakao, M.T., Watanabe, Y.: Numerical verification methods for solutions of semilinear elliptic boundary value problems. Nonlinear Theory Appl. IEICE 2(1), 2\u201331 (2011)","journal-title":"Nonlinear Theory Appl. IEICE"},{"issue":"1","key":"1155_CR12","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s13160-014-0160-6","volume":"32","author":"MT Nakao","year":"2015","unstructured":"Nakao, M.T., Watanabe, Y., Kinoshita, T., Kimura, T., Yamamoto, N.: Some considerations of the invertibility verifications for linear elliptic operators. Jpn. J. Ind. Appl. Math. 32(1), 19\u201331 (2015)","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"1","key":"1155_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0377-0427(94)00090-N","volume":"60","author":"S Oishi","year":"1995","unstructured":"Oishi, S.: Numerical verification of existence and inclusion of solutions for nonlinear operator equations. J. Comput. Appl. Math. 60(1), 171\u2013185 (1995)","journal-title":"J. Comput. Appl. Math."},{"issue":"6","key":"1155_CR14","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1007\/BF00944567","volume":"42","author":"M Plum","year":"1991","unstructured":"Plum, M.: Bounds for eigenvalues of second-order elliptic differential operators. Zeitschrift f\u00fcr angewandte Mathematik und Physik ZAMP 42(6), 848\u2013863 (1991)","journal-title":"Zeitschrift f\u00fcr angewandte Mathematik und Physik ZAMP"},{"key":"1155_CR15","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1142\/9789812798879_0042","volume-title":"Inequalities and Applications","author":"M Plum","year":"1994","unstructured":"Plum, M.: Enclosures for weak solutions of nonlinear elliptic boundary value problems. In: Agarwal, R.P. (ed.) Inequalities and Applications, pp. 505\u2013521. World Scientific, Singapore (1994)"},{"issue":"1","key":"1155_CR16","first-page":"19","volume":"110","author":"M Plum","year":"2008","unstructured":"Plum, M.: Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance. Jahresbericht der Deutschen Mathematiker Vereinigung 110(1), 19\u201354 (2008)","journal-title":"Jahresbericht der Deutschen Mathematiker Vereinigung"},{"issue":"2\u20133","key":"1155_CR17","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/BF03186542","volume":"26","author":"M Plum","year":"2009","unstructured":"Plum, M.: Computer-assisted proofs for semilinear elliptic boundary value problems. Jpn. J. Ind. Appl. Math. 26(2\u20133), 419\u2013442 (2009)","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"1","key":"1155_CR18","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1587\/nolta.4.34","volume":"4","author":"A Takayasu","year":"2013","unstructured":"Takayasu, A., Liu, X., Oishi, S.: Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains. Nonlinear Theory Appl. IEICE 4(1), 34\u201361 (2013)","journal-title":"Nonlinear Theory Appl. IEICE"},{"issue":"3","key":"1155_CR19","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1007\/s13160-014-0156-2","volume":"31","author":"K Tanaka","year":"2014","unstructured":"Tanaka, K., Takayasu, A., Liu, X., Oishi, S.: Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation. Jpn. J. Ind. Appl. Math. 31(3), 665\u2013679 (2014)","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"283","key":"1155_CR20","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1090\/S0025-5718-2013-02676-2","volume":"82","author":"Y Watanabe","year":"2013","unstructured":"Watanabe, Y., Kinoshita, T., Nakao, M.: A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations. Math. Comput. 82(283), 1543\u20131557 (2013)","journal-title":"Math. Comput."},{"issue":"2","key":"1155_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s13160-019-00344-8","volume":"36","author":"Y Watanabe","year":"2019","unstructured":"Watanabe, Y., Kinoshita, T., Nakao, M.T.: An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space. Jpn. J. Ind. Appl. Math. 36(2), 1\u201314 (2019)","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"7","key":"1155_CR22","doi-asserted-by":"publisher","first-page":"6363","DOI":"10.1016\/j.jde.2015.12.041","volume":"260","author":"Y Watanabe","year":"2016","unstructured":"Watanabe, Y., Nagatou, K., Plum, M., Nakao, M.T.: Norm bound computation for inverses of linear operators in Hilbert spaces. J. Differ. Equ. 260(7), 6363\u20136374 (2016)","journal-title":"J. Differ. Equ."},{"issue":"1","key":"1155_CR23","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BF03167208","volume":"10","author":"Y Watanabe","year":"1993","unstructured":"Watanabe, Y., Nakao, M.T.: Numerical verifications of solutions for nonlinear elliptic equations. Jpn. J. Ind. Appl. Math. 10(1), 165\u2013178 (1993)","journal-title":"Jpn. J. Ind. Appl. Math."}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-020-01155-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00211-020-01155-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-020-01155-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T23:15:19Z","timestamp":1634858119000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00211-020-01155-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,22]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["1155"],"URL":"https:\/\/doi.org\/10.1007\/s00211-020-01155-7","relation":{},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"value":"0029-599X","type":"print"},{"value":"0945-3245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,10,22]]},"assertion":[{"value":"31 May 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 August 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 October 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 October 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}