Pointwise a posteriori error control for elliptic obstacle problems

We consider a finite element method for the elliptic obstacle problem over polyhedral domains in R-d, which enforces the unilateral constraint solely at the nodes. We derive novel optimal upper and lower a posteriori error bounds in the maximum norm irrespective of mesh fineness and the regularity of the obstacle, which is just assumed to be Holder continuous. They exhibit optimal order and localization to the non-contact set. We illustrate these results with simulations in 2d and 3d showing the impact of localization in mesh grading within the contact set along with quasi-optimal meshes.