Verifications of primal energy identities for variational problems with obstacles

We discuss error identities for two classes of free boundary problems generated by obstacles. The identities suggest true forms of the respective error measures which consist of two parts: standard energy norm and a certain nonlinear measure. The latter measure controls (in a weak sense) approximation of free boundaries. Numerical tests confirm sharpness of error identities and show that in different examples one or another part of the error measure may be dominant.Comment: 8 pages, 2 figures, conference paper: LSSC (Large-Scale scientific computing), Sozopol, Bulgaria, 2017. The final version will be published at Springe