Pointwise a posteriori error estimates for monotone semi-linear equations

We derive upper and lower a~posteriori estimates for the maximum norm error in finite element solutions of monotone semi-linear equations. The estimates hold for Lagrange elements of any fixed order, non-smooth nonlinearities, and take numerical integration into account. The proof hinges on constructing continuous barrier functions by correcting the discrete solution appropriately, and then applying the continuous maximum principle; no geometric mesh constraints are thus required. Numerical experiments illustrate reliability and efficiency properties of the corresponding estimators and investigate the performance of the resulting adaptive algorithms in terms of the polynomial order and quadrature.