A certain number of frictional dynamic contact problems can be formulated as implicit variational inequalities. A time discretization of such inequalities is given. Sequences of mappings interpolating the discrete solution are then shown to converge towards the unique solution of the variational inequality.
展开▼