Numerical verification of solutions for a simplified Signorini problem
The author proposes a numerical method for the automatic proof of existence of solutions for variational inequalities, which is based on Nakao's method by using a finite element approximation. The proposed method enables to verify the free boundary of a simplified Signorini problem, which has been impossible so far. The author has prepared a digestible exposition of several current methods for the existence of solutions of problems in the area of variational inequalities.
scientific article; zbMATH DE number 1550656