A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems

Kouta Sekine*, Mitsuhiro T. Nakao, Shin'ichi Oishi, Masahide Kashiwagi

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

研究成果: Article査読

抄録

In 1988, M.T. Nakao developed an algorithm that was based on the fixed-point theorem on Sobolev spaces for the numerical proof of the existence of solutions to elliptic boundary value problems on a bounded domain with a Lipschitz boundary (Nakao (1988) [9]). Thereafter, many researchers reported that the numerical existence proof algorithm to elliptic boundary value problems is actually significant and sufficiently useful. However, the numerical proof of the non-existence of solutions to the problem has hitherto not been considered due to several challenges. The purpose of this paper is to solve these difficulties and to propose an algorithm for the numerical proof of the non-existence of solutions in a closed ball B¯H01(uˆ,ρ)={u∈H01(Ω)|‖u−uˆ‖H01≤ρ} to elliptic boundary value problems. We demonstrate some numerical examples that confirm the usefulness of the proposed algorithm.

本文言語English
ページ(範囲)87-107
ページ数21
ジャーナルApplied Numerical Mathematics
169
DOI
出版ステータスPublished - 2021 11

ASJC Scopus subject areas

  • 数値解析
  • 計算数学
  • 応用数学

フィンガープリント

「A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル