TY - JOUR
T1 - A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
AU - Sekine, Kouta
AU - Nakao, Mitsuhiro T.
AU - Oishi, Shin'ichi
AU - Kashiwagi, Masahide
N1 - Funding Information:
This work was supported by JST CREST Grant Number JPMJCR14D4 . The second author was supported by JSPS KAKENHI Grant Number 18K03434 . We thank the editors and reviewers for providing useful comments that helped to improve the content of this manuscript.
Publisher Copyright:
© 2021 The Author(s)
PY - 2021/11
Y1 - 2021/11
N2 - 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.
AB - 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.
KW - Computer-assisted proof
KW - Elliptic problems
KW - Non-existence proof
KW - Numerical proof
UR - http://www.scopus.com/inward/record.url?scp=85109210238&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85109210238&partnerID=8YFLogxK
U2 - 10.1016/j.apnum.2021.06.011
DO - 10.1016/j.apnum.2021.06.011
M3 - Article
AN - SCOPUS:85109210238
SN - 0168-9274
VL - 169
SP - 87
EP - 107
JO - Applied Numerical Mathematics
JF - Applied Numerical Mathematics
ER -