An approach to the numerical verification of solutions for obstacle problems

doi:10.1016/j.camwa.2006.03.042

Computers & Mathematics with Applications

Volume 53, Issue 5, March 2007, Pages 842-850

https://doi.org/10.1016/j.camwa.2006.03.042 Get rights and content

Under an Elsevier user license

open archive

Abstract

In this paper, we consider numerical techniques which enable us to verify the existence of solutions for a general obstacle problem using computers. We describe the numerical verification algorithm for solving a two dimensional obstacle problem and report a numerical result.

Keywords

Numerical verification

Fixed-point theorem

Error estimates

Variational inequalities

Finite element method