Search Results - Non numerical algorithms and problems—complexity of proof procedures General Terms

A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems by Sekine, Kouta, Nakao, Mitsuhiro T., Oishi, Shin'ichi, Kashiwagi, Masahide

“… 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…”
Get full text