Numerical Verification Methods for Solutions of Free Boundary Problems

In this paper, we consider numerical techniques which enable us to verify the existence of solutions for the free boundary problems governed by two kinds of elliptic variational inequalities(EVIs). Based upon the finite element approximations and the explicit a priori error estimates for some simple EVIs, we present effective verification procedures that, through numerical computation, generate a set which includes exact solutions. We describe a survey of the previous works as well as show some newly obtained results up to now.