Numerical Approximation of a Unilateral Obstacle Problem

We consider a reformulation of the unilateral obstacle problem presented by the authors (Addou and Mermri in Math-Rech. Appl. 2:59-69, 2000). This reformulation introduces a continuous function, whose subdifferential characterizes the noncontact domain. Our goal in this paper is to give a numerical approximation of the solution of the reformulated problem. We consider discretization of the problem based on finite element method. Then we prove the convergence of the approximate solution to the exact one. Some numerical tests on one-dimensional obstacle problem are provided.