Abstract
In this paper we present results on existence, uniqueness and convergence of solutions to the Cauchy problem for abstract first order evolutionary inclusion which contains two operators depending on the history of the solution. These results are applicable to a dynamic contact problem for viscoelastic materials with a normal compliance contact condition with memory and a friction law in which the friction bound depends on the magnitude of the tangential displacement. The proofs are based on recent results for hemivariational inequalities and a fixed point argument.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
The subject of our research is a contact model that involves history-dependent operators. This model describes the dynamic frictional contact between a viscoelastic body and a foundation. We consider the contact condition with a normal compliance and a memory effect of the foundation. The research that we present in this paper concerns the study on existence and uniqueness of solutions to the hemivariational inequalities with history-dependent operators, and the investigation on the behaviour of solutions to such inequalities with respect to perturbations of operators and functions.
We note that the history-dependent operators have been considered for quasistatic and evolutionary contact problems by several authors, for example, by Sofonea et al. in [8, 21, 26–28] and [29], Migórski et al. in [5, 15, 19] and [20], Ogorzały in [23], Yao et al. in [31], and Zhu in [33]. The normal compliance contact condition was introduced in [13, 14, 22] and it was used in many papers, see, e.g., [3, 9, 25] and [29]. In [28], Sofonea and Patrulescu considered a contact condition which describes a foundation that is rigid if the penetration reaches a critical bound. Moreover, their model takes into account the memory effect of the foundation. In turn, Farcas et al. in [8] studied the model which describes the quasistatic contact between a viscoplastic body and a foundation. The authors used a contact condition which involves both a normal compliance, a unilateral constraint and a memory effect on the foundation. They proved that the problem under consideration has a unique solution. In [25], Sofonea et al., the behaviour of the solutions of variational inequalities with history-dependent operator is investigated. In our paper we use the contact condition with the normal compliance and memory effect which was introduced in [5] in the study of a quasistatic contact problem. In contrast to [5], our model is dynamic and we assume that the magnitude of the friction force is bounded by a function, the so-called friction bound. We also mention that various classes of hemivariational inequalities for contact problems with slip-dependent friction have been studied, e.g., in [17] and [18].
In the present paper, we start with the study of an abstract evolutionary inclusion of the first order with a history-dependent operator. We prove results on existence and uniqueness of solution and a result on the convergence of solution of the inclusion with history-dependent operators with respect to perturbations in the data. The existence result is obtained by a technique used by Migórski and Kulig in [20] who studied second order subdifferential inclusions with a Volterra-type operator. The unique solvability of the inclusion is proved by a standard fixed point argument similar to those used in many papers, for instance in [15, 19–21] and [23]. Furthermore, we note that the abstract convergence result of Theorem 13 is based on arguments and assumptions similar to those exploited, for instance in [2, 15, 25] and [27]. In the second part of the paper we analyze a mathematical model of a contact problem for viscoelastic materials with history-dependent operators and a slip-dependent friction. We provide its variational formulation and deliver results on existence, uniqueness and convergence of solutions.
There are two main novel features of this paper. First novelty consists in the more general form of the friction law. We study a contact model which involves the friction condition with the friction bound depending on the magnitude of the tangential displacement. Such dependence is met in several models of Contact Mechanics, for example, in [1, 10–12, 16, 18] and [30]. In the analysis of frictional processes, such as modelling of motions of tectonic plates and earthquakes, it is necessary to consider the friction bound which varies with the magnitude of the tangential displacement. In the aformentioned situations, the constant friction bound is inadequate to model the dynamic frictional contact. Another novel feature of this paper is the analysis of the dynamics. In contrast to other contributions in the field, cf., e.g., [1, 12, 17, 27] and [31], we treat a dynamic contact problem for which the mathematical techniques are less developed than for quasistatic evolutionary models. We underline that there are no results on existence, uniqueness and convergence of solutions to the dynamic hemivariational inequality in Problem 17, which models the contact problem under consideration.
The rest of paper is structured as follows. In Sect. 2, we recall some preliminary material. In Sect. 3, we state and prove our abstract existence, uniqueness and convergence results. In Sect. 4, we study the dynamic contact problem for which we use the results obtained for the abstract inclusion.
2 Preliminaries
In this section we present a material which is helpful in the rest of the paper. Let \(X\) be a Banach space with norm \(\Vert\cdot\Vert_{X}\) and let \(X^{*}\) be its dual. The notation \(\langle\cdot, \cdot\rangle _{X^{*} \times X}\) stands for the duality pairing between \(X^{*}\) and \(X\), and \(2^{X^{*}}\) represents the collection of all subsets of \(X\). We denote by \(\mathcal{L}(X,Y)\) the space of linear and bounded operators defined on a Banach space \(X\) with values in a Banach space \(Y\) with the usual norm \(\Vert\cdot\Vert_{\mathcal{L}(X,Y)}\). For a set \(U \subset X\), we define \(\Vert U \Vert_{X} = \mathrm{sup} \lbrace\Vert u \Vert_{X} \vert u \in U \rbrace\).
In the paper we use the concepts of the generalized directional derivative and the Clarke subdifferential, see, for example, [6, 7] and [21].
Definition 1
The generalized directional derivative (in the sense of Clarke) of a locally Lipschitz function \(\varphi\colon X \longrightarrow\mathbb{R}\) at the point \(x \in X\) in the direction \(v \in X\), denoted \(\varphi^{0} (x;v)\) is defined by
Definition 2
Let \(\varphi\colon X \longrightarrow\mathbb{R}\) be a locally Lipschitz function. The Clarke generalized gradient (subdifferential) of \(\varphi\) at \(x \in X\), denoted \(\partial\varphi(x)\), is the subset of a dual space \(X^{*}\) defined by
We have the following definition of regularity in sense of Clarke (see, for instance, [6]).
Definition 3
A locally Lipschitz function \(\varphi\colon X \longrightarrow\mathbb {R}\) is called regular at \(x \in X\), if for all \(v \in X\), the one-sided directional derivative \(\varphi'(x,v)\) exists and it satisfies \(\varphi^{0}(x;v) = \varphi'(x,v)\) for all \(v \in X\).
The proof of the following result can be found in Theorem 2.3.10 in [6].
Proposition 4
Let \(X\) and \(Y\) be Banach spaces, \(L \in\mathcal{L}(Y,X)\) and let \(\varphi\colon X \longrightarrow\mathbb {R}\) be a locally Lipschitz function. Then
-
(i)
\((\varphi\circ L)^{0}(x;z)\leqslant\varphi^{0}(L x; L z)\) for \(x\), \(z \in Y\),
-
(ii)
\(\partial(\varphi\circ L)(x) \subseteq L^{*} \partial\varphi (L x)\) for \(x \in Y\),
where \(L^{*} \in\mathcal{L}(X^{*},Y^{*})\) denotes the adjoint operator to \(L\). If, in addition, either \(\varphi\) or \(- \varphi\) is regular, then (i) and (ii) hold with the corresponding equalities.
We recall the result which is a consequence of the Banach contraction principle (for the proof see, for instance, [15]).
Lemma 5
Let \(X\) be a Banach space with a norm \(\Vert\cdot\Vert_{X}\) and \(T>0\). Let \(\varLambda\colon L^{2} (0,T;X) \longrightarrow L^{2} (0,T;X)\) be an operator such that
for every \(\eta_{1}, \eta_{2} \in L^{2} (0,T;X)\), a.e. \(t \in(0,T)\) with a constant \(c>0\). Then \(\varLambda\) has a unique fixed point in \(L^{2}(0,T;X)\), i.e., there exists a unique \(\eta^{*} \in L^{2}(0,T;X)\) such that \(\varLambda\eta^{*} = \eta^{*}\).
Here and subsequently \(c\) denotes a positive constant which value can change from line to line.
Finally, we recall an existence and uniqueness result for the evolutionary inclusion of first order. We assume that \(V\) and \(Z\) are separable and reflexive Banach spaces with the duals \(V^{*}\) and \(Z^{*}\), respectively. Let \(H\) denote a separable Hilbert space and we identify \(H\) with its dual. We suppose that \(V \subset H \subset V^{*}\) and \(Z \subset H \subset Z^{*}\) are Gelfand triples of spaces where all embeddings are continuous, dense and compact (see, for instance, Chap. 23.4 of [32], Chap. 3.4 of [7]). Moreover, for \(0< T < \infty\), we introduce the following spaces \(\mathcal {V}= L^{2}(0,T;V)\) and \(\mathcal {W}= \lbrace v \in\mathcal {V} \vert v' \in\mathcal {V}^{*} \rbrace\). The first order evolutionary inclusion reads as follows.
Problem 6
Find \(u \in\mathcal {W}\) such that
We assume the following hypotheses on the data of Problem 6.
Theorem 7
Under assumptions (1)–(3), Problem 6 has a unique solution.
Proof
It follows the lines of proof of Theorem 3 in [15], cf. Sects. 3.2.2 and 3.2.3 in [15]. □
3 History-Dependent Subdifferential Inclusion
In this section we study the Cauchy problem for a subdifferential inclusion with history-dependent operators. We provide an existence and uniqueness result and a theorem on the dependence of solution on the data. Here, we use the spaces \(V\), \(Z\), \(H\), \(\mathcal {V}\) and \(\mathcal {W}\) which are defined in Sect. 2. Additionally, we denote by \(C(0,T;H)\) the space of continuous functions from \([0,T]\) into \(H\). We consider the following abstract inclusion.
Problem 8
Find \(u \in\mathcal {W}\) such that
We admit the following definition.
Definition 9
A function \(u \in\mathcal {W}\) is a solution of Problem 8 if and only if there exists \(\zeta\in L^{2}(0,T;Z^{*})\) such that
For operators ℛ and \(\mathcal {S}\), we need the following hypotheses.
\(\mathcal {R}\colon\mathcal {V}\longrightarrow\mathcal {V}\) is such that
for \(u_{1}, u_{2} \in\mathcal {V}\), a.e. \(t \in(0,T)\) with \(L_{\mathcal {R}} >0\).
\(\mathcal {S}\colon\mathcal {V}\longrightarrow\mathcal {V}^{*}\) is such that
for \(u_{1}, u_{2} \in\mathcal {V}\), a.e. \(t \in(0,T)\) with \(L_{\mathcal {S}} >0\).
In the case of operators (5) and (6), the values \((\mathcal {R}v)(t)\) and \((\mathcal {S}v)(t)\), respectively, at the moment \(t\) depend on the history of the value of \(v\) at the moment \(0 \leqslant s \leqslant t\). For this reason these operators are called the history-dependent operators. Some examples of the history-dependent operators can be found, for instance, in [27].
For the multifunction \(F\) in Problem 8, we need the following assumption.
Theorem 10
Assume that (1), (3)(a) and (5)–(8) hold. Then Problem 8 has a unique solution.
Proof
Let \((\eta, \xi) \in\mathcal {V}^{*} \times\mathcal {V}\) be given. We consider the following auxiliary problem.
Problem 11
Find \(u_{\eta\xi} \in\mathcal {W}\) such that
We establish the existence of a unique solution to Problem 11 by using Theorem 7. Let \(G_{\xi}\colon(0,T) \times V \longrightarrow2^{Z^{*}}\) be defined by \(G_{\xi}(t,v)= F(t, \xi (t),v)\) for all \(v \in V\) and a.e. \(t \in (0,T)\). It easy to see that \(G_{\xi}(\cdot,v)\) is measurable on \((0,T)\) for all \(v \in V\) and \(G_{\xi}(t, \cdot)\) is upper semicontinuous from \(V\) into \(w\)–\(Z^{*}\) for a.e. \(t \in(0,T)\). From (7)(c), we infer that \(\Vert G_{\xi}(t,v)\Vert_{Z^{*}} = \Vert F(t,\xi(t),v)\Vert_{Z^{*}} \leqslant d_{0}(t) + d_{1} \Vert\xi(t) \Vert_{V} + d_{2} \Vert v \Vert_{V}\). Hence \(G_{\xi}\) satisfies hypothesis (2)(c) with \(\tilde{d}_{0}(t) = d_{0}(t) + d_{1} \Vert\xi(t) \Vert_{V}, \tilde{d}_{0} \in L^{2}(0,T)\) and \(\tilde{d}_{1} = d_{2}\). Finally, from (7)(d), we have
Hence, we deduce that the operator \(G_{\xi}\) satisfies condition (2)(d) with \(m_{2} = m_{F1}\). Since \(d_{2} = \tilde{d}_{1}\), condition (8)(a) implies (3)(c). Using the fact that \(m_{2} = m_{F 1}\), from (8)(b), we deduce (3)(b). Therefore, the hypotheses of Theorem 7 are verified. From this theorem, we infer that Problem 11 has a unique solution \(u_{\eta\xi} \in \mathcal {W}\).
Next, we will establish an inequality which shows the dependence of the solution \(u_{\eta\xi} \in\mathcal {W}\) of Problem 11 on \(\eta\) and \(\xi\). Let \(u_{\eta_{i} \xi_{i}} = u_{i} \in\mathcal {W}\) be the unique solution to Problem 11 corresponding to \((\eta _{i},\xi_{i}) \in\mathcal {V}^{*} \times\mathcal {V}\) for \(i=1,2\). Then, there exists \(\zeta_{i} \in L^{2}(0,T;Z^{*})\) such that \(\zeta_{i} (t) \in F(t, \xi _{i}(t), u_{i}(t))\) for a.e. \(t \in(0,T)\), \(i=1\), 2, and we have
for a.e. \(t \in(0,T)\). Multiplying Eq. (10) by \(u_{2}(t)-u_{1}(t)\) and Eq. (11) by \(u_{1}(t)-u_{2}(t)\), and adding the results, we obtain
Integrating the above inequality over \((0,t)\), for all \(t \in[0,T]\), and next using the integration by parts formula, the Cauchy-Schwartz inequality, conditions (1)(b) and (7)(d), we have
Omitting the first term on the left hand side, using condition (8)(b) and the Hölder inequality, we obtain
Next, we define the operator \(\varLambda\colon L^{2}(0,T;V^{*} \times V) \longrightarrow L^{2}(0,T;V^{*} \times V)\) by
where \(u_{\eta\xi} \in\mathcal {W}\) denotes the unique solution to Problem 11 corresponding to \((\eta,\xi)\). Then, from (5) and (6), we get
for a.e. \(t \in(0,T)\). Using the Hölder inequality, we see that
for a.e. \(t \in(0,T)\). Combining the latter with (12), we obtain the following inequality
\(\mbox{for a.e. } t \in(0,T)\). Based on Lemma 5 and estimate (13), we conclude that the operator \(\varLambda\) has a unique fixed point \((\eta ^{*},\xi^{*}) \in\mathcal {V}^{*} \times\mathcal {V}\). This implies that \(u_{\eta^{*} \xi^{*}} \in\mathcal {W}\) is a solution of Problem 8, which concludes the existence part of the theorem.
The uniqueness of solution to Problem 8 is a consequence of the uniqueness of the fixed point of \(\varLambda\). Namely, let \(u \in\mathcal {W}\) be a solution to Problem 8 and define the element \((\eta,\xi) \in\mathcal {V}^{*} \times\mathcal {V}\) by \((\eta,\xi) = (\mathcal {S}u,\mathcal {R}u)\). It follows that \(u\) is the solution to Problem 11 and, by the uniqueness of solutions to Problem 11, we obtain that \(u = u_{\eta\xi}\). This implies that \(\varLambda(\eta,\xi) = (\eta, \xi )\). By the uniqueness of the fixed point of \(\varLambda\), we have \((\eta,\xi) = (\eta^{*}, \xi^{*})\), so \(u = u_{\eta^{*} \xi^{*}}\). This completes the proof of the theorem. □
Now, we study the dependence of solution of the history-dependent subdifferential inclusion (4) with respect to the perturbations of the operators \(A\), ℛ, \(\mathcal {S}\) and the function \(f\). For every \(\rho>0\), let \(A_{\rho}\), \(\mathcal {R}_{\rho}\), \(\mathcal {S}_{ \rho}\), \(f_{\rho}\) and \(u_{0 \rho}\) be perturbations of \(A\), ℛ, \(\mathcal {S}\), \(f\) and \(u_{0}\), respectively. We introduce the following hypotheses.
We consider the following perturbed version of Problem 8.
Problem 12
Find \(u_{\rho} \in\mathcal {W}\) such that
We have the following convergence result.
Theorem 13
Under assumptions (7), (8)(a), (14), \(u_{0} \in V\) and
the solution \(u_{\rho}\) of Problem 12 converges to the solution \(u\) of Problem 8 in the following sense \(\Vert u_{\rho} - u\Vert_{\mathcal {V}} + \Vert u_{\rho}-u \Vert _{C(0,T;H)} \longrightarrow0\), as \(\rho\longrightarrow0\).
Proof
We observe that hypothesis (15) implies condition (8)(b). From Theorem 10 there exist \(u_{\rho}, u \in \mathcal {W}\) unique solutions to Problems 12 and 8, respectively. From Definition 9, we have
for a.e. \(t \in(0,T)\), where \(\zeta_{\rho}(t) \in F(t, (\mathcal {R}_{ \rho} u_{\rho})(t), u_{\rho}(t)) \) and \(\zeta(t) \in F(t,(\mathcal {R}u)(t), u(t))\) for a.e. \(t \in(0,T)\). We substract the equality (17) from (16) and multiply obtained result by \(u(t) - u_{\rho}(t)\). Integrating the result over \((0,t)\), for all \(t \in[0, T]\), we have
We apply the integration by parts formula, properties (1)(b) and (7)(d), and obtain
for all \(t \in[0, T]\). Omitting the first term on the left hand side, using hypothesis (14)(b), (d) and the Hölder inequality, we infer that
Hence, by hypothesis (15) and the elementary property: \(x^{2} \leqslant ax +b\) implies \(x^{2} \leqslant a^{2} + b\) for all \(x\), \(a\), \(b \geqslant0\), we get
with a constant \(c\) independent of \(\rho\). Since \(A_{\rho}\) is a bounded operator (cf. (1)(d)), from condition (14)(a) and the Lebesgue dominated convergence theorem, we see that
Moreover, from conditions (14)(c), (e), we have
which imply
These observations, together with assumptions (14)(f) and (g), lead to the following conclusion
Finally, from (19), the Hölder inequality and assumptions (1)(b), (6), (7)(d), (15), and (14)(b), (d), we obtain
for all \(t \in[0,T]\) with a constant \(c\) independent of \(\rho\). Hence and from conditions (14)(f), (g), and (20)–(22), we see that \(\Vert u_{\rho}- u \Vert_{C(0,T;H)} \longrightarrow0,\ \mbox{as}\ \rho \longrightarrow0\). This completes the proof of the theorem. □
We note that the result of Theorem 10 on the existence and uniqueness of solution to Problem 8 holds without any restriction on the size \(T\) of the time interval. On contrary, the convergence result provided in Theorem 13 requires an essential smallness condition (15) which relates the coercivity constant of the operator \(A\) with the monotonicity constants \(m_{F1}\) and \(m_{F2}\), the constants for the history-dependent operators \(L_{1}\) and \(L_{2}\), and the length of the time interval. This condition can be violated when \(T\) is sufficiently large, and therefore, the convergence result is only a local one. On the other hand, the convergence result presented in Theorem 13 represents a crucial tool in the analysis of dynamic frictional contact problems for viscoelastic materials.
4 A Viscoelastic Contact Model
This section is devoted to the analysis of a viscoelastic contact model with history-dependent operators. First, we deliver a result on the unique weak solvability. Then, we present a result concerning the dependence of the solution of Problem 17 on perturbations of the viscosity operator, the elasticity operator, the relaxation operator, the normal compliance function \(p_{\nu}\), the memory function \(b\), body forces \(f_{0}\) and surface tractions \(f_{2}\). In the study of this model, we use the abstract results that we obtained in Sect. 3.
We consider a body which occupies an open, bounded and connected set \(\varOmega\subset\mathbb {R}^{d}\), where \(d=2\), 3. We assume that the set \(\varOmega\) has a Lipschitz continuous boundary \(\varGamma\). The boundary \(\varGamma\) is divided into three mutually disjoint and relatively open sets \(\varGamma_{1}, \varGamma_{2}\) and \(\varGamma_{3}\). Moreover, we assume that \(\mbox{ meas}(\varGamma_{1}) >0\) and the body is clamped on \(\varGamma_{1}\). Surface tractions of density \(f_{2}\) act on the part \(\varGamma_{2}\), whereas a force of density \(f_{0}\) acts in \(\varOmega\). The body is in frictional contact on \(\varGamma_{3}\) with a deformable foundation. We suppose that between the body and the foundation there is no separation. The problem is dynamic and we study the evolution process of the mechanical state of the body on the finite time interval \([0,T]\), where \(T > 0\).
We denote by \(\mathbb {S}^{d}\) the space of second order symmetric tensors on \(\mathbb {R}^{d}\). We will use the symbols \(\sigma= \sigma(x,t) = (\sigma_{ij} (x,t))\) and \(u = u(x,t) = (u_{i} (x,t))\) to denote the stress field and the displacement field, respectively. Moreover, by \(\nu= (\nu_{i})\) we denote the outward unit normal on \(\varGamma\). Here, the indices \(i\) and \(j\) run between 1 and \(d\). The functions \(\sigma\colon\varOmega\times[0,T] \longrightarrow \mathbb{S}^{d}\) and \(u \colon\varOmega\times[0,T] \longrightarrow \mathbb{R}^{d}\) are the unknowns in the contact problem. We recall that in \(\mathbb{R}^{d}\) and \(\mathbb{S}^{d}\), we consider the following canonical inner products and corresponding norms.
Moreover, \(u' = \frac{\partial u}{\partial t}\) and \(u'' = \frac {\partial^{2} u}{\partial t^{2}}\) represent the velocity field and the acceleration field, respectively. We use the standard notation for Lebesgue and Sobolev spaces. Moreover, we consider the following spaces.
Recall that \(V \subset H \subset V^{*}\) and \(Z \subset H \subset Z^{*}\) form the evolution triples of spaces and the embedding \(V \subset Z\) is compact. We denote by \(c_{\mathrm{e}} > 0\) the embedding constant of \(V\) into \(Z\). We define the deformation operator \(\varepsilon\colon H_{1} \longrightarrow\mathcal{H}\) by \(\varepsilon(u) = (\varepsilon_{ij} (u)), \ \varepsilon_{ij} (u) = \frac{1}{2} ( \frac{\partial u_{i}}{\partial x_{j}} + \frac{\partial u_{j}}{\partial x_{i}})\). The spaces \(H\), ℋ and \(H_{1}\) are Hilbert spaces endowed with the canonical inner products given by
and the associated norms \(\Vert\cdot\Vert_{H},\Vert\cdot\Vert _{\mathcal{H}}, \Vert\cdot\Vert_{H_{1}}\), respectively. The space \(V\) is a real Hilbert space with the inner product given by \(\langle u, v \rangle_{V} = \langle\varepsilon(u), \varepsilon(v) \rangle_{\mathcal{H}} \ \mbox{for all } u, v \in V \) and the corresponding norm defined by \(\Vert v \Vert_{V} = \Vert\varepsilon(v) \Vert_{\mathcal {H}}\ \mbox{for all} \ v \in V\). From the assumption \(\mbox{meas}(\varGamma_{1})>0\), it follows that the space \(V\) is complete and the Korn inequality holds, i.e., there exists \(\tilde{c} >0\), which depends on \(\varOmega\) and \(\varGamma_{1}\), such that \(\Vert\varepsilon(v) \Vert_{\mathcal {H}} \geqslant\tilde{c} \Vert v \Vert_{H_{1}}\ \mbox{for all} \ v \in V\). We denote by \(\gamma\colon Z \longrightarrow L^{2}(\varGamma;\mathbb {R}^{d})\) the trace operator, by \(\Vert\gamma\Vert=\Vert\gamma\Vert _{\mathcal{L}(Z;L^{2}(\varGamma;\mathbb {R}^{d}))}\) its norm and by \(\gamma ^{*}\colon L^{2}(\varGamma;\mathbb {R}^{d}) \longrightarrow Z^{*}\) the operator adjoint to \(\gamma\). The normal and the tangential components of the displacement field on the boundary \(\varGamma\) are defined by \(v_{\nu} = v \cdot\nu\) and \(v_{\tau} = v - v_{\nu} \cdot\nu\), respectively. Under the assumption that \(\sigma\) is a regular function, we can define the normal and tangential components of the stress field \(\sigma \) on the boundary \(\varGamma\) as follows \(\sigma_{\nu} = \sigma\nu\cdot\nu\ \mbox{and} \ \sigma_{\tau} = \sigma{\nu} - \sigma_{\nu} \nu\). The following Green formula will be used in the derivation of variational formulation of a contact problem.
where \(\mbox{Div} \sigma= (\sigma_{ij,j})\) denotes the divergence operator. Moreover, the following decomposition formula holds
To shorten the notation, we write \(Q= \varOmega\times(0,T)\) and \(\varSigma_{i} = \varGamma_{i} \times(0,T)\) for \(i=1,2,3\).
We consider the classical formulation of the contact problem.
Problem 14
Find a displacement field \(u\colon Q \longrightarrow\mathbb {R}^{d}\) and a stress field \(\sigma\colon Q \longrightarrow\mathbb {S}^{d}\) such that
We present a short description of the equations and conditions in Problem 14. Equation (25) represents the viscoelastic constitutive law in which \(\mathcal {A}\) denotes the viscosity operator, ℬ is the elasticity operator and \(\mathcal {C}\) stands for the relaxation operator. Equation (26) is the equation of motion. Equations (27) and (28) are the displacement and the traction boundary conditions, respectively. Condition (29) was introduced in [5] and represents the contact condition. Here \(p\) and \(b\) are given functions which describe the instantaneous and the memory reaction of the obstacle, respectively. Condition (30) represents a friction law in which the coefficient \(F_{b} = F_{b}(\Vert u_{\tau}(t) \Vert_{\mathbb {R}^{d}})\) is a friction bound. The latter is assumed to be dependent on the magnitude of the tangential displacement. We refer to the tangential component \(u_{\tau}\) as the slip, cf. [21] and [27]. The physical model of slip-dependent friction was introduced by Rabinowicz [24] in the geophysical context of earthquakes’ modelling. This model of friction was studied in the literature by Ionescu and Paumier [12], Ionescu and Nguyen [10], Ionescu et al. [11], Shillor et al. in Chap. 10.1 of [30], Migórski [16, 17], and Migórski and Ochal [18]. The law 30 is a generalization of the Coulomb law with slip-dependent friction. In many geophysical publications the motion of tectonic plates is modeled with the Coulomb law in which the friction bound is assumed to depend on the magnitude of the tangential displacement. The friction bound \(F_{b}\) depends also explicitely on \(x\) which allows to describe the nonhomogeneity of the contact surface. For concrete examples of the friction law of the form (30), we refer to Sects. 6 and 7 in [21]. More detailed information about the law (30) can be found, for instance, in [19, 21, 27, 30] and the references therein. Finally, Eqs. (31) are the initial conditions, in which \(u_{0}\) denotes the initial displacement and \(v_{0}\) denotes the initial velocity.
In the study of Problem 14, we consider the following assumptions for operators and functions.
Below we provide concrete examples of the tangential potentials which satisfy the hypothesis (38). For simplicity, we skip the dependence on the \((x,t)\) variable.
Example 15
Let \(j_{\tau}\colon\mathbb {R}^{d} \longrightarrow\mathbb {R}\) be defined by
for \(\xi \in \mathbb {R}^{d}\), where \(\rho> 0\) is a fixed regularization parameter. The function \(j_{\tau}\) is convex and Gateaux differentiable with \(\partial j_{\tau}(\xi) = \frac{\xi}{\sqrt{\Vert \xi\Vert^{2} + \rho^{2}} }\) for \(\xi\in\mathbb {R}^{d}\), and it satisfies hypothesis (38) with \(M =1 \) and \(L_{j_{\tau}} = \frac{1}{\rho}\). In this case, the friction condition (30) reduces to the following law
This condition represents a regularization of the Coulomb law which is used in the literature for numerical reasons, cf. [30]. For more discussion, see Chap. 6 of [21].
Example 16
Let \(j_{\tau}\colon\mathbb {R}^{d} \longrightarrow\mathbb {R}\) be defined by
for \(\xi\in\mathbb {R}^{d}\), where \(L_{0} > 0\). Then
for \(\xi\in\mathbb {R}^{d}\). It is clear that \(j_{\tau}\) satisfies hypotheses (38) with \(M = L_{0}\) and \(L_{j_{\tau}} = 1\). In this case, the friction condition (30) takes the following form
where \(R \colon\mathbb {R}^{d} \longrightarrow\mathbb {R}^{d}\) is the truncation operator given by
for \(\xi\in\mathbb {R}^{d}\). The constant \(L_{0}\) is a limit bound constant, cf. [4] and [30].
Moreover, we assume that the body forces and tractions in Problem 14 have the following regularity
The initial displacement and the initial velocity are such that
Next, we present a variational formulation of Problem 14. Let \((u, \sigma)\) be a couple of sufficiently smooth functions which satisfy Problem 14. Let \(t \in(0,T)\) and \(v \in V\). Using the Green formula (23) and the equation of motion (26), we obtain
From conditions (27), (28) and the decomposition formula (24), we get
Based on the definition of the Clarke subdifferential and the boundary condition (30), the following inequality holds
On the other hand, from the boundary condition (29), we have
Let \(f\colon(0,T) \longrightarrow V^{*}\) be given by
for all \(v \in V\) and a.e. \(t \in(0,T)\). Combining (41)–(45) and (25), we obtain the following variational formulation of Problem 14.
Problem 17
Find a displacement field \(u \in\mathcal {V}\) such that \(u' \in\mathcal {W}\) and
for all \(v \in V\) and a.e. \(t \in(0,T)\) with \(u(0)=u_{0} \ \mbox{and}\ u'(0) = v_{0}\).
Problem 17 has a general form of an evolutionary hemivariational inequality of second order. Such inequalities were used to model various contact problems and studied in several papers, cf. [21] and the references therein. We note that results on the unique solvability of Problem 17 are not available in the literature. The main difficulty lies in the nonlinear term involving the product of the functions \(F_{b}\) and \(j^{0}_{\tau}\). All results on the unique solvability of several classes of hemivariational inequalities presented, e.g., in [21], assume that \(F_{b}\) is a constant and \(\partial j_{\tau}\) satisfies the relaxed monotonicity condition and has a sublinear growth. In comparison to other contributions, in the present paper, we reject the hypothesis that \(F_{b}\) is a constant and assume that the friction bound \(F_{b}\) depends on the slip. For this reason, we need to consider a more restrictive assumption than in [21], on the potential \(j_{\tau}\), cf. (38). The unique solvability of Problem 17 without the hypotheses (38)(c) and (d) represents an interesting open problem.
Our main result on the unique solvability of Problem 17 reads as follows.
Theorem 18
Under assumptions (32)–(40) and the following smallness condition
Problem 17 has a unique solution.
Proof
The proof is based on Theorem 10. To use it, we first rewrite Problem 17 in an equivalent form of a first order hemivariational inequality for the velocity field. Let \(w = u'\). Then, by using the initial condition (40), we have
We introduce the operators ℛ, \(\mathcal {R}_{1} \colon\mathcal {V}\longrightarrow\mathcal {V}\) defined by
for \(v \in\mathcal {V}\) and a.e. \(t \in(0,T)\). With this notation, Problem 17 can be formulated as follows.
Problem 19
Find a velocity field \(w \in\mathcal {W}\) such that
for all \(v \in V\) and a.e. \(t \in(0,T)\) with \(w(0) = v_{0}\).
It is clear that \(w \in\mathcal {W}\) satisfies (50) if and only if \(u \in\mathcal {V}\) such that \(u' \in\mathcal {W}\) satisfies (46).
Next, we associate with Problem 19, an abstract evolutionary inclusion of the form as in Problem 8. To this end, we introduce the notation for this abstract inclusion. Let \(A\colon(0,T) \times V \longrightarrow V^{*}\) be defined by
Exploiting Theorem 10 in [19], we infer, that under hypothesis (32), the operator \(A\) satisfies (1) with \(m_{\mathcal {A}} = m_{A} ,\ a_{0}(t) = \sqrt{2} \Vert\overline{a}_{0} (t) \Vert_{L^{2}(\varOmega)}\) and \(a_{1} = \overline{a}_{1} \sqrt{2}\). Next, from the following inequality
we deduce that the operator ℛ satisfies (5) with \(L_{\mathcal {R}} = c_{\mathrm{e}} \Vert\gamma\Vert\). Subsequently, let \(\mathcal {S}\colon\mathcal {V}\longrightarrow\mathcal {V}^{*}\) be the operator given by
for \(u \in\mathcal {V}\), \(v \in V\) and a.e. \(t \in(0,T)\). From hypotheses (33)–(36) and (52), we obtain the following inequalities
for \(u_{1}\), \(u_{2} \in\mathcal {V}\), \(v \in V\), a.e. \(t \in(0,T)\). Hence, we infer that the operator \(\mathcal {S}\) is well defined, and since the sum of history-dependent operators is a history-dependent operator, it satisfies (6) with \(L_{\mathcal {S}} = L_{\mathcal {B}} + \Vert\mathcal {C}\Vert_{L^{\infty}(Q;\mathbb {S}^{d})} + (L_{p} + \Vert b \Vert_{L^{1}(0,T;L^{\infty}(\varGamma_{3}))}) c_{\mathrm{e}}^{2} \Vert\gamma \Vert^{2}\) (for more details, cf. also [5]).
Next, we introduce the functional \(J\colon(0,T) \times L^{2} (\varGamma _{3};\mathbb {R}^{d})^{2} \longrightarrow\mathbb {R}\) defined by
for all \(w,v \in L^{2} (\varGamma_{3};\mathbb {R}^{d})\), a.e. \(t \in(0,T)\). Let \(j \colon\varSigma_{3} \times\mathbb {R}\times\mathbb {R}^{d} \longrightarrow\mathbb {R}\) be given by \(j(x,t,r,\xi) = F_{b}(x,r)j_{\tau}(x,t,\xi)\) for \(r \in\mathbb {R},\ \xi\in\mathbb {R}^{d}\), a.e. \((x,t)\in \varSigma_{3}\). From hypotheses (37) and (38), the function \(j\) has the following properties.
The properties (a)–(e) are obvious consequences of the hypotheses. We show the condition (f). Let \((r_{n}, \xi_{n})\), \((r, \xi) \in \mathbb {R}\times\mathbb {R}^{d},\ (r_{n}, \xi_{n}) \longrightarrow(r,\xi)\) in \(\mathbb {R}\times\mathbb {R}^{d}\) and \(\eta\in\mathbb {R}^{d}\). We have
for a.e. \((x,t) \in\varSigma_{3}\). In the last inequality, we have used the fact that \(j^{0}_{\tau}(x,t,\cdot;\eta)\) is upper semicontinuous for all \(\eta\in\mathbb {R}\), a.e. \((x,t) \in\varSigma_{3}\), cf. Proposition 3.23 (ii) of [21]. This proves the property (f).
Finally, the property (g) follows immediately from the following inequality
for all \(\overline{\xi}_{i} \in\partial j (x,t,r_{i},\xi_{i}), (r_{i},\xi _{i})\in\mathbb {R}\times\mathbb {R}^{d}, i=1,2\).
From the properties (55)(a)–(f) of the function \(j\), by applying Lemma 10 in [16], we obtain that the functional \(J(t,w,v) = \int_{\varGamma_{3}} j(x,t,\Vert w(x) \Vert _{\mathbb {R}^{d}}, v_{\tau}(x)) d \varGamma\) for \(w\), \(v, \in L^{2}(\varGamma _{3};\mathbb {R}^{d})\), a.e. \(t \in(0,T)\), has the following properties.
Moreover, the functional \(J\) satisfies the following condition.
for all \(\eta_{i} \in\partial J (t,w_{i},v_{i})\), \(w_{i}\), \(v_{i}\), \(\eta_{i} \in L^{2}(\varGamma_{3};\mathbb {R}^{d})\), \(i =1\), 2, a.e. \(t \in(0,T)\) with \(c_{1 J} = \overline{F} L_{j_{\tau}}\) and \(c_{2 J} = M L_{F_{b}}\). In order to show the condition (57), let \(w_{i}\), \(v_{i}\), \(\eta_{i} \in L^{2}(\varGamma_{3};\mathbb {R}^{d})\), \(\eta_{i} \in\partial J (t,w_{i},v_{i})\), \(i= 1\), 2. From Theorem 3.47 in [21], we know that there exists \(\zeta_{i} \in L^{2}(\varGamma_{3};\mathbb {R}^{d})\) such that \(\zeta_{i}(x) \in[\partial j (x,t,\Vert w_{i}(x)\Vert, v_{i \tau}(x))]_{\tau}\), \(i= 1, 2\), for a.e. \((x,t) \in\varSigma_{3}\) and
Then, we have \(\zeta_{i}(x) = z_{i \tau}(x)\) with \(z_{i}(x) \in\partial j (x,t,\Vert w_{i}(x) \Vert, v_{i \tau}(x))\), \(i = 1\), 2, for a.e. \((x,t) \in\varSigma_{3}\), and from the property (55)(g) of the function \(j\) and the Hölder inequality, we obtain
for a.e. \(t \in(0,T)\). Hence \(J\) satisfies the condition (57).
Subsequently, we define the multifunction \(F \colon(0,T) \times V \times V \longrightarrow2^{Z^{*}}\) by
where, recall, \(\gamma\colon Z \longrightarrow L^{2}(\varGamma_{3};\mathbb {R}^{d})\) denotes the trace operator. From the properties (56) and (57) of the functional \(J\) and the properties of the Clarke generalized gradient, we infer the following properties of the multifunction \(F\).
-
(I)
the values of \(F\) are nonempty, closed and convex sets in \(Z^{*}\),
-
(II)
\(F(\cdot,u,v)\) is measurable for all \(u,v \in V\); cf. Proposition 3.44 of [21],
-
(III)
\(F(t, \cdot,\cdot)\) is upper semicontinuous from \(V \times V\) to \((w-Z^{*})\) topology, for a.e. \(t \in(0, T)\); this follows from property (56)(e) of the functional \(J\) and Theorem 5.13 of [21],
-
(IV)
\(\Vert F(t,u,v)\Vert_{Z^{*}} \leqslant\Vert\gamma^{*} \Vert \overline {F} M \mbox{meas}(\varGamma_{3})\) for all \(u,v \in V\), a.e. \(t \in (0,T)\); this follows from property (56)(c) of the functional \(J\) and the continuity of the trace operator,
-
(V)
$$\begin{aligned} &\bigl\langle F(t,u_{1},v_{1}) - F(t,u_{2},v_{2}), v_{1} - v_{2} \bigr\rangle _{Z^{*} \times Z} \\ &\quad \geqslant\bigl\langle \gamma^{*} \eta_{1} - \gamma^{*} \eta_{2}, v_{1} - v_{2} \bigr\rangle _{Z^{*} \times Z} = \langle\eta_{1} - \eta_{2}, \gamma v_{1} - \gamma v_{2} \rangle_{L^{2}(\varGamma_{3};\mathbb {R}^{d})} \\ &\quad\geqslant- c_{1 J} \Vert\gamma v_{1} - \gamma v_{2} \Vert ^{2}_{L^{2}(\varGamma_{3};\mathbb {R}^{d})} - c_{2 J} \Vert \gamma v_{1} - \gamma v_{2} \Vert_{L^{2}(\varGamma_{3};\mathbb {R}^{d})}\Vert\gamma u_{1} - \gamma u_{2} \Vert_{L^{2}(\varGamma_{3};\mathbb {R}^{d})} \\ &\quad \geqslant- c_{1 J} c_{\mathrm{e}}^{2} \Vert\gamma \Vert^{2} \Vert v_{1} - v_{2} \Vert^{2}_{V} - c_{2 J} c_{\mathrm{e}}^{2} \Vert\gamma\Vert^{2} \Vert v_{1} - v_{2} \Vert_{V} \Vert u_{1} - u_{2} \Vert_{V}, \end{aligned}$$
where \(\eta_{i} \in\partial J (t,\gamma u_{i},\gamma v_{i})\), \(\eta_{i} \in L^{2}(\varGamma_{3};\mathbb {R}^{d})\) for all \(u_{i}\), \(v_{i} \in V\), \(i= 1\), 2, a.e. \(t \in(0, T)\). Here, we have used the property (57) of \(J\). Hence, we deduce that the multifunction \(F\) satisfies the hypothesis (7) with \(d_{0}(t) = \Vert\gamma^{*} \Vert \overline{F} M \mbox{meas}(\varGamma_{3})\), \(d_{1} = d_{2} = 0\), \(m_{F 1} = \overline{F} L_{j_{\tau}} c_{\mathrm{e}}^{2} \Vert\gamma \Vert^{2}\) and \(m_{F 2} = M L_{F_{b}} c_{\mathrm{e}}^{2} \Vert\gamma\Vert^{2}\).
Next, we consider the following inclusion associated with Problem 19.
From the definitions of \(F\) and \(J\), we obtain that \(w \in\mathcal {W}\) is a solution to (58) if and only if \(w \in\mathcal {W}\) solves Problem 19. Indeed, let \(w \in\mathcal {W}\) be a solution to Problem 19. From the definition of the operator \(\mathcal {S}\) and the property (56)(d), it is clear that \(w \in\mathcal {W}\) solves the following inequality
for all \(v \in V\), a.e. \(t \in(0,T)\). Using Proposition 4 (i), this inequality is equivalent to
for all \(v \in V\), a.e. \(t \in(0,T)\). This means, by the definition of the subdifferential, that
for a.e. \(t \in(0,T)\). Exploiting Proposition 4 (ii) and the definition of \(F\), we know that
for a.e. \(t \in(0,T)\). Hence, we deduce that \(f(t) - w'(t) - A(t,w(t)) - (\mathcal {S}w)(t) \in F(t,(\mathcal {R}w)(t), w(t))\) for a.e. \(t \in(0,T)\). This proves that \(w \in\mathcal {W}\) is a solution to Problem 19 if and only if \(u \in\mathcal {W}\) is a solution to (58).
Therefore, it is enough to establish the existence of a solution to (58). Since the operators \(A\), ℛ, \(\mathcal {S}\) and the multifunction \(F\) satisfy (1), (5), (6) and (7), respectively, and the smallness condition (47) implies (3) (recall that \(d_{2} = 0\)), we are in a position to apply Theorem 10 to Problem 58. We conclude that Problem 58 has a unique solution \(w \in\mathcal {W}\). Finally, we obtain that there is a unique solution \(u \in\mathcal {V}\) with \(u' \in\mathcal {W}\) defined by (48) to Problem 17. This completes the proof of the theorem. □
Next, we study the behaviour of the solution of Problem 17 with respect to perturbations of the data. For every \(\rho>0\), let \(\mathcal {A}_{\rho}\), \(\mathcal {B}_{\rho}\), \(\mathcal {C}_{\rho}\), \(p_{\rho}\), \(b_{\rho}\) and \(f_{\rho}\) be perturbations of \(\mathcal {A}\), ℬ, \(\mathcal {C}\), \(p\), \(b\) and \(f\), respectively. We need the following hypotheses.
The perturbed version of Problem 17 is the following. Let \(\rho > 0\).
Problem 20
Find a displacement field \(u_{\rho}\in\mathcal {V}\) such that \(u'_{\rho}\in\mathcal {W}\) and
for all \(v \in V\), a.e. \(t \in(0,T)\) and with \(u_{\rho}(0) = u_{0 \rho },\ u'_{\rho}(0) = v_{0 \rho}\).
We have the following convergence result.
Theorem 21
Under assumptions (7), (8)(a), (14)(f), (g), (15), (37), (38), (47) and (59)–(62), the solution \(u_{\rho}\) of Problem 20 converges to the solution \(u\) of Problem 17, i.e.,
Proof
From Theorem 18, we deduce that, for every \(\rho>0\), Problem 20 has a unique solution \(u_{\rho}\in\mathcal {V}\) with \(u_{\rho}' \in\mathcal {W}\). We denote by \(w_{\rho}= u'_{\rho}\) the velocity field. For each \(\rho > 0\), we define the operator \(\mathcal {R}_{1 \rho} \colon\mathcal {V}\longrightarrow\mathcal {V}\) by
With this notation, Problem 20 can be written in the following form.
Problem 22
Find a velocity field \(w_{\rho} \in\mathcal {W}\) such that
for all \(v \in V\) and a.e. \(t \in(0,T)\) with \(w_{\rho}(0) = v_{ 0 \rho}\).
We apply Theorem 13 for Problem 22. Now, for every \(\rho> 0\), we introduce the operator \(A_{\rho}\colon(0,T)\times V \longrightarrow V^{*}\) defined by
for all \(v,z \in V\) and a.e. \(t \in(0,T)\). Using (59)(a), we have
for all \(v \in V\), a.e. \((x,t) \in Q\). From (32)(c), we deduce
for a.e. \((x,t) \in Q\). Hence, by the Lebesgue dominated convergence theorem, we obtain
On the other hand, by Hölder inequality, we have
for all \(v\), \(z \in V\), a.e. \(t \in(0,T)\). Hence, we have \(A_{\rho}(t,v) \longrightarrow A(t,v)\) for all \(v \in V\), a.e. \(t \in(0,T)\), which implies (14)(a).
Subsequently, for every \(\rho> 0\), we define the operator \(\mathcal {R}_{\rho}\colon\mathcal {V}\longrightarrow\mathcal {V}\) by
and the operator \(\mathcal {S}_{\rho} \colon\mathcal {V}\longrightarrow \mathcal {V}^{*}\) by
for all \(v \in\mathcal {V}, z \in V\), a.e. \(t \in(0,T)\).
Now, we show that the operators \(\mathcal {R}_{\rho}\) and \(\mathcal {S}_{\rho}\) satisfy hypotheses (14)(b)–(e). Using (67), we observe that
and
for a.e. \(t \in(0, T)\). Hence, the conditions (14)(d) and (e) hold with \(L_{\mathcal {R}_{\rho}} = c_{\mathrm{e}} \Vert\gamma\Vert\), \(k_{2}(\rho) = c_{\mathrm{e}} \Vert\gamma\Vert \Vert u_{0 \rho} - u_{0} \Vert_{V}\) and \(g_{2}(u) =1\). Using (62), it easy to see that \(k_{2}(\rho) \longrightarrow0\), as \(\rho\longrightarrow0\). Hence (14)(d) and (e) hold.
Note that, using (59)–(62) in (68), we obtain
for a.e. \(t \in(0, T)\). From this, (60)(a) and (61)(a), we obtain
for a.e. \(t \in(0, T)\). From the above calculations, we deduce that (14)(b) holds with \(L_{1}= L_{3} + \Vert\mathcal {C}_{\rho}\Vert_{L^{\infty}(Q;\mathbb {S}^{d})} + c_{\mathrm{e}} \Vert\gamma\Vert^{2} (\Vert b_{\rho} \Vert _{L^{1}(0,T,L^{\infty}(\varGamma_{3}))} + L_{4} )\). On the other hand from (60)(b), (61)(b) and (68), we have
for a.e. \(t \in(0, T)\). Hence, we see that the condition (14)(c) is satisfied with
and \(g_{1}(u) = \max \lbrace1, \int_{0}^{t} \Vert u(s) \Vert _{V} ds, \Vert(\mathcal {R}_{1} u)(t)\Vert_{V} \rbrace\). Using conditions (59)(b) and (c), (60)(b), (61)(b) and (62), we have \(k_{1}(\rho) \longrightarrow0\), as \(\rho\longrightarrow0\).
Finally, we define the functional \(J\colon(0,T) \times L^{2}(\varGamma _{3};\mathbb {R}^{d})^{2} \longrightarrow\mathbb {R}\) as in (54). This functional satisfies (56) and (57). Using (66)–(68) in Problem 22, and a reasoning analogous as in the proof of Theorem 18, we associate with Problem 22, the following subdifferential inclusion.
Problem 23
Find \(w_{\rho} \in\mathcal {W}\) such that
Based on Theorem 13, we deduce that
where \(w\), \(w_{\rho}\in\mathcal {W}\) are the unique solutions to Problem 58 and Problem 12, respectively. Hence and from the fact that \(u'_{\rho}(t) = w_{\rho}(t)\) and \(u' (t) = w (t)\), we have
Note that from (48), we obtain \(\Vert u_{\rho} - u \Vert_{\mathcal {V}} \leqslant \sqrt{2} T \Vert u'_{\rho} - u \Vert_{\mathcal {V}} + \sqrt{2 T} \Vert u_{0 \rho} - u_{0} \Vert_{V}\). This inequality combined with (62) and (71) implies that
This completes the proof of the theorem. □
In addition to the mathematical interest in the convergence results (71) and (72), they are of importance from the mechanical point of view, since they provide a dependence of the weak solution of the Problem 14 on the viscosity operator, elasticity operator, relaxation operator, normal compliance function, the surface memory function, as well. Moreover, it is clear that if \(f_{0 \rho} \longrightarrow f_{0}\) in \(L^{2} (0,T; L^{2}(\varOmega;\mathbb {R}^{d}))\) and \(f_{2 \rho} \longrightarrow f_{2}\) in \(L^{2}(0,T;L^{2}(\varGamma _{2};\mathbb {R}^{d}))\), as \(\rho\longrightarrow0\), then from the definition (45), we obtain that \(f_{\rho}\longrightarrow f\) in \({\mathcal {V}}\), as \(\rho\longrightarrow0\).
We conclude this paper with a simple example of a normal compliance function for which the condition (61) holds. Let \(c_{\nu\rho },\ c_{\nu} >0\) be such that \(c_{\nu\rho} \longrightarrow c_{\nu}\), as \(\rho\longrightarrow0\). Assume that the functions \(p\) and \(p_{\nu}\) are defined by
where \(r_{+} = \max\lbrace0, r\rbrace\) and \(c_{\nu}\), \(c_{\nu \rho}\) represent the surface stiffness coefficients. We remark that the dependence of these functions on stiffness coefficients is important in contact problems. When \(c_{\nu}\) is larger the reaction force of the foundation to penetration is larger and so the same force will result in a smaller penetration, which means that the foundation is less deformable. When \(c_{\nu}\) is smaller the reaction force of the foundation to penetration is smaller, and then the foundation is less stiff and more deformable. For more discussion, we refer to (see Chap. 4 in [27]). It easy to see that \(\vert p_{\rho}(r) - p(r)\vert\leqslant\vert c_{\nu\rho} - c_{\nu} \vert\vert r \vert\leqslant P(\rho)\vert r \vert \) for all \(r \in\mathbb {R}\) with \(P(\rho) = \vert c_{\nu\rho} - c_{\nu} \vert\longrightarrow0\), as \(\rho\longrightarrow0\). Since the function \(r \to r_{+}\) is Lipschitz continuous, we conclude that the condition (61) is satisfied.
References
Barboteu, M., Bartosz, K., Kalita, P., Ramadan, A.: Analysis of a contact problem with normal compliance, finite penetration and nonmonotone slip dependent friction. Commun. Contemp. Math. 16, 1–29 (2014)
Barboteu, M., Danan, D., Sofonea, M.: Analysis of a contact problem with normal damped response and unilateral constraint. Z. Angew. Math. Mech. (2015). doi:10.1002/zamm.201400304
Chau, O., Fernandez-Garcia, J.R., Han, W., Sofonea, M.: A frictionless contact problem for elastic-viscoplastic materials with normal compliance and damage. Comput. Methods Appl. Mech. Eng. 191, 5007–5026 (2002)
Chau, O., Shillor, M., Sofonea, M.: Dynamic frictionless contact with adhesion. Z. Angew. Math. Phys. 1, 32–47 (2004)
Cheng, X., Migórski, S., Ochal, A., Sofonea, S.: Analysis of two quasistatic history-dependent contact models. Discrete Contin. Dyn. Syst., Ser. B 8(19), 2425–2445 (2014)
Clarke, F.H.: Optimization and Nonsmooth Analysis. Canad. Math. Soc. Ser. Monogr. Adv. Texts. Wiley, New York (1983)
Denkowski, Z., Migórski, S., Papageorgiou, N.S.: An Introduction to Nonlinear Analysis: Applications. Kluwer Academic/Plenum, Boston, Dordrecht/London, New York (2003)
Farcas, A., Patrolescu, F., Sofonea, M.: A history-dependent contact problem with unilateral constrain. Ann. Acad. Rom. Sci. Ser. Math. Appl. 4(1), 90–96 (2012)
Fernandez, J.R., Santamarina, D.: A dynamic viscoelastic contact problem with normal compliance. J. Comput. Appl. Math. 276, 30–46 (2015)
Ionescu, I.R., Nguyen, Q.: Dynamic contact problem with slip-dependent friction in viscoelasticity. Int. J. Appl. Math. Comput. Sci. 12, 71–80 (2002)
Ionescu, I.R., Nguyen, Q., Wolf, S.: Slip-dependent friction in dynamic elasticity. Nonlinear Anal. 53, 375–390 (2003)
Ionescu, I.R., Paumier, J.: On the contact problem with slip displacement dependent friction in elastostatics. Int. J. Eng. Sci. 34, 471–491 (1996)
Klarbring, A., Mikelic, A., Shillor, M.: Frictional contact problems with normal compliance. Int. J. Eng. Sci. 26, 811–832 (1988)
Klarbring, A., Mikelic, A., Shillor, M.: On friction problems with normal compliance. Nonlinear Anal. 13, 935–955 (1989)
Kulig, A., Migórski, S.: Solvability and continuous dependence results for second order nonlinear evolution inclusion with a Volterra-type operator. Nonlinear Anal. 75, 4729–4746 (2012)
Migórski, S.: Evolution hemivariational inequality for a class of dynamic viscoelastic nonmonotone frictional contact problems. Comput. Math. Appl. 52, 677–698 (2006)
Migórski, S.: A class of hemivariational inequalities for electroelastic contact problems with slip dependent friction. Discrete Contin. Dyn. Syst., Ser. S 1(1), 117–126 (2008)
Migórski, S., Ochal, A.: Hemivariational inequality for viscoelastic contact problem with slip-dependent friction. Nonlinear Anal. 61, 135–161 (2005)
Migórski, S., Ochal, A., Sofonea, S.: History-dependent subdifferential inclusions and hemivariational inequality in contact mechanics. Nonlinear Anal., Real World Appl. 12, 3385–3396 (2011)
Migórski, S., Ochal, A., Sofonea, M.: History-dependent hemivariational inequalities with applications to Contact Mechanics. Ann. Univ. Buchar. Math. Ser. 4(LXII), 193–212 (2013)
Migórski, S., Ochal, A., Sofonea, M.: Nonlinear Inclusions and Hemivariational Inequalities. Models and Analysis of Contact Problems. Advances in Mechanics and Mathematics, vol. 26. Springer, New York (2013)
Oden, J.T., Martins, J.A.C.: Models and computational methods for dynamic friction phenomena. Comput. Methods Appl. Mech. Eng. 52, 527–634 (1985)
Ogorzały, J.: Quasistatic bilateral contact problem with time delay for viscoelastic materials. Math. Mech. Solids (2014). doi:10.1177/1081286514552208
Rabinowicz, E.: The nature of the static and kinetic coefficients of friction. J. Appl. Phys. 22(11), 1373–1379 (1951)
Sofonea, M., Han, W., Barboteu, M.: Analysis of a viscoelastic contact problem with multivalued normal compliance and unilateral constraint. Comput. Methods Appl. Mech. Eng. 264, 12–22 (2013)
Sofonea, M., Farcas, A.: Analysis of a history-dependent frictional contact problem. Appl. Anal. 2, 428–444 (2014)
Sofonea, M., Matei, A.: Mathematical Models in Contact Mechanics. London Mathematical Society Lecture Note Series, vol. 398. Cambridge University Press, Cambridge (2012)
Sofonea, M., Patrulescu, F.: Analysis of a history-dependent frictionless contact problems. Math. Mech. Solids 18(4), 409–430 (2012)
Sofonea, M., Patrulescu, F., Farcas, A.: A Viscoplastic contact problem with normal compliance, unilateral constraint and memory term. Appl. Math. Optim. 69, 175–198 (2014)
Sofonea, M., Shillor, M., Telega, J.: Models and Analysis of Quasistatic Contact. Variational Methods. Springer, Berlin (2004)
Yao, S., Huang, N.: A quasistatic contact problem for viscoelastic materials with slip-dependent friction and time delay. Math. Probl. Eng. 2012, 1–23 (2012)
Zeidler, E.: Nonlinear Functional Analysis and Applications, II A/B. Springer, New York (1999)
Zhu, S.W.: Optimal control of variational inequalities with delays in the highest order spatial derivatives. Acta Math. Sin. Engl. Ser. 22, 607–624 (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Research supported by the Marie Curie International Research Staff Exchange Scheme Fellowship within the 7th European Community Framework Programme under Grant Agreement No. 295118 and the National Science Center of Poland under the Maestro Project no. DEC-2012/06/A/ST1/00262.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ogorzały, J. A Dynamic Contact Problem with History-Dependent Operators. J Elast 124, 107–132 (2016). https://doi.org/10.1007/s10659-015-9563-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10659-015-9563-0
Keywords
- Viscoelastic material
- History-dependent operator
- Clarke subdifferential
- Multifunction
- Dynamical process
- Friction