Numerical inclusion methods of solutions for variational inequalities

We consider a numerical method that enables us to verify the existence of solutions for variational inequalities. This method is based on the in nite dimensional xed point theorems and explicit error estimates for nite element approximations. Using the nite element approximations and explicit a priori error estimates, we present an e ective veri cation procedure that through numerical computation generates a set which includes the exact solution