Numerical verification of solutions for variational inequalities of the second kind (Q1609070)

Weakly nonlinear elliptic variational inequalities are considered where the differential part is generated by the bilinear form related to the Laplacian operator over a two dimensional domain. As standard in nonlinear problems of this type the wanted solution is equivalently described by means of the fixed point of some mapping which is obtain by replacing the nonlinear part of Nemytskij type by its previous realization. Approximation by conforming finite elements is studied. Further numerical bounds are introduced to generate containments of solutions. For a simple one-dimensional test example results with piecewise linear finite elements are reported. As mentioned by the authors, additional interval tools have to be used to make the procedure completely reliable.