Some improvements of invertibility verifications for second-order linear elliptic operators

Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao

研究成果: Contribution to journalArticle査読

抄録

This paper presents some computer-assisted procedures to prove the invertibility of a second-order linear elliptic operator and to compute a bound for the norm of its inverse. These approaches are based on constructive L2-norm estimates of the Laplacian and improve on previous procedures that use projection and a priori error estimations. Several examples which confirm the actual effectiveness of the procedures are reported.

本文言語英語
ページ(範囲)36-46
ページ数11
ジャーナルApplied Numerical Mathematics
154
DOI
出版ステータス出版済み - 8 2020

All Science Journal Classification (ASJC) codes

  • Numerical Analysis
  • Computational Mathematics
  • Applied Mathematics

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

引用スタイル