Norm bound computation for inverses of linear operators in Hilbert spaces

Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao

研究成果: ジャーナルへの寄稿記事

3 引用 (Scopus)

抜粋

This paper presents a computer-assisted procedure to prove the invertibility of a linear operator which is the sum of an unbounded bijective and a bounded operator in a Hilbert space, and to compute a bound for the norm of its inverse. By using some projection and constructive a priori error estimates, the invertibility condition together with the norm computation is formulated as an inequality based upon a method originally developed by the authors for obtaining existence and enclosure results for nonlinear partial differential equations. Several examples which confirm the actual effectiveness of the procedure are reported.

元の言語英語
ページ(範囲)6363-6374
ページ数12
ジャーナルJournal of Differential Equations
260
発行部数7
DOI
出版物ステータス出版済み - 4 5 2016

    フィンガープリント

All Science Journal Classification (ASJC) codes

  • Analysis
  • Applied Mathematics

これを引用