A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems

M. T. Nakao*, K. Hashimoto, Y. Watanabe

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

研究成果: Article査読

36 被引用数 (Scopus)

抄録

In this paper, we propose a numerical method to verify the invertibility of second-order linear elliptic operators. By using the projection and the constructive a priori error estimates, the invertibility condition is formulated as a numerical inequality based upon the existing verification method originally developed by one of the authors. As a useful application of the result, we present a new verification method of solutions for nonlinear elliptic problems, which enables us to simplify the verification process. Several numerical examples that confirm the actual effectiveness of the method are presented.

本文言語English
ページ(範囲)1-14
ページ数14
ジャーナルComputing (Vienna/New York)
75
1 SPEC. ISS.
DOI
出版ステータスPublished - 2005 7月
外部発表はい

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • 計算理論と計算数学

フィンガープリント

「A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル