Stokes flow with Tresca boundary condition: a posteriori error analysis

In this article, a reliable a posteriori error estimate of residual type is derived for a variational inequality of second kind modeling Stokes equations with Tresca’s boundary condition. Two sources of the error are considered here; the discretization error and the linearization error. Balancing these two errors is crucial to design an adaptive strategy for mesh refinement. Numerical results are reported to illustrate the good performance of the estimator constructed.