# A posteriori estimates distinguishing the error components and adaptive stopping criteria for numerical approximations of parabolic variational inequalities

* Corresponding author
Abstract : We consider in this paper a model parabolic variational inequality. This problem is discretized with conforming Lagrange finite elements of order $p ≥ 1$ in space and with the backward Euler scheme in time. The nonlinearity coming from the complementarity constraints is treated with any semismooth Newton algorithm and we take into account in our analysis an arbitrary iterative algebraic solver. In the case $p = 1$, when the system of nonlinear algebraic equations is solved exactly, we derive an a posteriori error estimate on both the energy error norm and a norm approximating the time derivative error. When $p ≥ 1$, we provide a fully computable and guaranteed a posteriori estimate in the energy error norm which is valid at each step of the linearization and algebraic solvers. Our estimate, based on equilibrated flux reconstructions, also distinguishes the discretization, linearization, and algebraic error components. We build an adaptive inexact semismooth Newton algorithm based on stopping the iterations of both solvers when the estimators of the corresponding error components do not affect significantly the overall estimate. Numerical experiments are performed with the semismooth Newton-min algorithm and the semismooth Newton-Fischer-Burmeister algorithm in combination with the GMRES iterative algebraic solver to illustrate the strengths of our approach.
Keywords :
Document type :
Journal articles

Cited literature [48 references]

https://hal.archives-ouvertes.fr/hal-02274493
Contributor : Jad Dabaghi Connect in order to contact the contributor
Submitted on : Wednesday, April 29, 2020 - 12:57:07 AM
Last modification on : Friday, January 21, 2022 - 3:22:12 AM

### File

manuscript.pdf
Files produced by the author(s)

### Citation

Jad Dabaghi, Vincent Martin, Martin Vohralík. A posteriori estimates distinguishing the error components and adaptive stopping criteria for numerical approximations of parabolic variational inequalities. Computer Methods in Applied Mechanics and Engineering, Elsevier, 2020, 367, pp.113105. ⟨10.1016/j.cma.2020.113105⟩. ⟨hal-02274493v3⟩

### Metrics

Les métriques sont temporairement indisponibles