The contact between two membranes can be described by a system of variationalinequalities, where the unknowns are the displacements of the membranes and theaction of a membrane on the other one. We first perform the analysis of thissystem. We then propose a discretization, where the displacements areapproximated by standard finite elements and the action by alocal postprocessing. Such a discretization admits an equivalent mixedreformulation. We prove the well-posedness of the discrete problem and establishoptimal a priori error estimates.
