Verification for existence of solutions for some generalized obstacle problems

doi:10.1016/j.aml.2004.01.011

Applied Mathematics Letters

Volume 18, Issue 6, June 2005, Pages 635-640

https://doi.org/10.1016/j.aml.2004.01.011 Get rights and content

Under an Elsevier user license

open archive

Abstract

We describe some numerical methods to automatically prove the existence of solutions for some generalized obstacle problems. In this paper, our goal is to establish a new procedure for numerical verification of generalized obstacle problems.

Keywords

Numerical verification

Fixed-point theorem

Error estimates

Obstacle problems