Numerical verification of solutions for obstacle problems

This article is an extension of the previous paper (Numer. Math. 81 (1998) 305) by the same authors. We propose a method to prove the existence of solutions for more general obstacle problems by numerical computations. The main task in this paper consists of the numerical determination of some constants which appear in a priori error estimations for the finite element approximation of a simple variational inequality. We present a numerical example for verification.