Convergence of a double step scheme for a class of second order Clarke subdifferential inclusions

In this paper we deal with a second order evolution inclusion involving a multivalued term generated by a Clarke subdifferential of a locally Lipschitz potential. For this problem we construct a double step time-semidiscrete approximation, known as the Rothe scheme. We study a sequence of solutions of the semidiscrete approximate problems and provide its weak convergence to a limit element that is a solution of the original problem.