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

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [66 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02274493
Contributor : Jad Dabaghi <>
Submitted on : Thursday, August 29, 2019 - 8:28:56 PM
Last modification on : Friday, November 29, 2019 - 11:35:44 AM

File

manuscript.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02274493, version 1

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. 2019. ⟨hal-02274493⟩

Share

Metrics

Record views

111

Files downloads

95