A class of evolution variational inequalities with memory and its application to viscoelastic frictional contact problems.pdfVIP

J. Math. Anal. Appl. 442 (2016) 685–702 Contents lists available at ScienceDirect Journal of Mathematical Analysis and Applications /locate/jmaa A class of evolution variational inequalities with memory and its application to viscoelastic frictional contact problems Stanislaw Migórski ?, Justyna Ogorza?y Faculty of Mathematics and Computer Science, Jagiellonian University in Krakow, ul. ?ojasiewicza 6, 30348 Krakow, Poland article info Article history: Received 14 November 2015 Available online 4 May 2016 Submitted by B. Kaltenbacher Keywords: Variational inequality Subdi?erential History-dependent operator Viscoelastic material Frictional contact Existence abstract In this paper we consider the ?rst order evolution variational inequality involving two history-dependent operators. A result on existence and uniqueness of solution is proved. We illustrate the applicability of this result by considering a dynamic frictional contact problem for viscoelastic material with the normal compliance contact condition with memory and Coulomb’s law of dry friction. ? 2016 Elsevier Inc. All rights reserved. 1. Introduction In this paper we investigate the problem of existence and uniqueness of solution to the Cauchy problem for the ?rst order evolution variational inequality. We formulate this problem in the framework of evolution triple of spaces. The variational inequality involves a nonlinear strongly monotone operator and a convex potential which depends on a nonlinear history-dependent operator. These properties represent the main novelty of the problem. We underline that such class of abstract evolution variational inequalities, to the best of our knowledge, has not been studied in the literature till now. The idea of the proof of our existence result, Theorem 5, is based on a result on existence of solution to evolution subdi?erential inclusions based on a surjectivity result and provided recently by Migórski et al. [26], and a ?xed point argument introduced and developed