Some considerations of the invertibility verifications for linear elliptic operators

Mitsuhiro T. Nakao, Yoshitaka Watanabe*, Takehiko Kinoshita, Takuma Kimura, Nobito Yamamoto

*この研究の対応する著者

研究成果: Article査読

7 被引用数 (Scopus)

抄録

This paper presents three computer-assisted procedures for verifying the invertibility of second-order linear elliptic operators and for computing a bound on the norm of its inverse. One of these procedures is an improvement of a theorem by Nakao et al. (Computing 75:1–14, 2005) that uses projection and constructive a priori error estimates and was proposed by two of the authors of this paper. Results verifying these procedures are presented for several numerical examples.

本文言語English
ページ(範囲)19-31
ページ数13
ジャーナルJapan Journal of Industrial and Applied Mathematics
32
1
DOI
出版ステータスPublished - 2015
外部発表はい

ASJC Scopus subject areas

  • 応用数学
  • 工学(全般)

フィンガープリント

「Some considerations of the invertibility verifications for linear elliptic operators」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル