We consider the unilateral contact problem between an elastic body and a rigid foundation in a description that includes both Tresca and Coulomb friction conditions. For this problem, we present an a posteriori error analysis based on an equilibrated stress reconstruction in the Arnold--Falk--Winther space that includes a guaranteed upper bound distinguishing the different components of the error. This analysis is the starting point for the development of an adaptive algorithm including a stopping criterion for the generalized Newton method. This algorithm is then used to perform numerical simulations that validate the theoretical results.

翻译：我们考虑包含Tresca摩擦和Coulomb摩擦条件的弹性体与刚性基础之间的单边接触问题。针对该问题，我们提出了一种基于Arnold-Falk-Winther空间中平衡应力重构的后验误差分析方法，该方法给出了区分不同误差分量的保证性上界。该分析是开发包含广义牛顿法停止准则的自适应算法的起点。随后利用该算法进行了数值模拟，验证了理论结果。