A posteriori error estimators for obstacle problems – another look

We show that a posteriori estimators for the obstacle problem are easily obtained from the theory for linear equations. The theory would be even simpler if the Lagrange multiplier does not have a nonconforming contribution as it has in actual finite element computations.