An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces

Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

研究成果: Contribution to journalArticle査読

3 被引用数 (Scopus)

抄録

In the present paper, we propose a computer-assisted procedure to prove the invertibility of a linear operator in a Hilbert space and to compute a verified norm bound of its inverse. A number of the authors have previously proposed two verification approaches that are based on projection and constructive a priori error estimates. The approach of the present paper is expected to bridge the gap between the two previous procedures in actual numerical verifications. Several verification examples that confirm the actual effectiveness of the proposed procedure are reported.

本文言語英語
ページ(範囲)5431-5447
ページ数17
ジャーナルJournal of Differential Equations
266
9
DOI
出版ステータス出版済み - 4 15 2019

All Science Journal Classification (ASJC) codes

  • Analysis
  • Applied Mathematics

フィンガープリント 「An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル