We consider a class of quasi-variational inequalities arising in a large number of mathematical models, which describe quasi-static processes of contact between a deformable body and an obstacle, the so-called foundation. The novelty lies in the special structure of these inequalities that involve a history-dependent term as well as in the fact that the inequalities are formulated on the unbounded interval of time [0, +∞). We prove an existence and uniqueness result of the solution, then we complete it with a regularity result. The proofs are based on arguments of monotonicity and convexity, combined with a fixed point result obtained in [22]. We also describe a number of quasi-static frictional contact problems in which we model the material's behaviour with an elastic or viscoelastic constitutive law. The contact is modelled with normal compliance, with normal damped response or with the Signorini condition, as well, associated to versions of Coulomb's law of dry friction or to the frictionless condition. We prove that all these models cast in the abstract setting of history-dependent quasi-variational inequalities, with a convenient choice of spaces and operators. Then, we apply the abstract results in order to prove the unique weak solvability of each contact problem.

In this paper, the convergence of a Neumann-Dirichlet algorithm to approximateCoulomb's contact problem between two elastic bodies is proved in a continuous setting. In this algorithm, the natural interface between the two bodies is retained as a decomposition zone.

A general setting is proposed for the mixed finite element approximations of elliptic differential problems involving a unilateral boundary condition. The treatment covers the Signorini problem as well as the unilateral contact problem with or without friction. Existence, uniqueness for both the continuous and the discrete problem as well as error estimates are established in a general framework. As an application, the approximation of the Signorini problem by the lowest order mixed finite element method of Raviart–Thomas is proved to converge with a quasi-optimal error bound.

Semi–smooth Newton methods are analyzed for a class of variational inequalities in infinite dimensions.It is shown that they are equivalent to certain active set strategies. Global and local super-linear convergence areproved. To overcome the phenomenon of finite speed of propagation of discretized problems a penalty versionis used as the basis for a continuation procedure to speed up convergence. The choice of the penalty parameter can be made on the basis of an L∞ estimate for the penalized solutions. Unilateral as well as bilateral problems are considered.