Solvability of dynamic antiplane frictional contact problems for viscoelastic cylinders

We study a mathematical model which describes the antiplane shear deformations of a cylinder in frictional contact with a rigid foundation. The process is dynamic, the material behavior is described with a linearly viscoelastic constitutive law and friction is modeled with a general subdifferential boundary condition. We derive a variational formulation of the model which is in a form of an evolutionary hemivariational inequality for the displacement field. Then we prove the existence of a weak solution to the model. The proof is based on an abstract result for second order evolutionary inclusions in Banach spaces. Also, we prove that, under additional assumptions, the weak solution to the model is unique. We complete our results with concrete examples of friction laws for which our results are valid.