Numerical inclusion methods of solutions for variational inequalities

Abstract

We consider a numerical method that enables us to verify the existence of solutions for variational inequalities. This method is based on the infinite dimensional fixed point theorems and explicit error estimates for finite element approximations. Using the finite element approximations and explicit a priori error estimates, we present an effective verification procedure that through numerical computation generates a set which includes the exact solution. Copyright © 2002 John Wiley and Sons, Ltd.