Abstract
The paper deals with second order nonlinear evolution inclusions and their applications. First, we study an evolution inclusion involving Volterra-type integral operator which is considered within the framework of an evolution triple of spaces. We provide a result on the unique solvability of the Cauchy problem for the inclusion. Next, we examine a dynamic frictional contact problem of viscoelasticity for materials with long memory and derive a weak formulation of the model in the form of a hemivariational inequality. Then, we embed the hemivariational inequality into a class of second order evolution inclusions involving Volterra-type integral operator and indicate how the result on evolution inclusion is applicable to the model of the contact problem. We conclude with examples of the subdifferential boundary conditions for different types of frictional contact.
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
An important number of problems arising in Mechanics, Physics and Engineering Science lead to mathematical models expressed in terms of nonlinear inclusions and hemivariational inequalities. For this reason the mathematical literature dedicated to this field is extensive and the progress made in the last decades is impressive. It concerns both results on the existence, uniqueness, regularity and behavior of solutions for various classes of nonlinear inclusions as well as results on numerical approach of the solution for the corresponding problems.
The purpose of this paper is to use a recent result on unique solvability of the following second order evolution inclusion
which is considered on a finite time interval in the framework of evolution triple of spaces (V,H,V ∗) and show how the result on the evolution inclusion is applicable to the model of the contact problem. We provide conditions on a unique solvability of the inclusion which were studier earlier in [18, 19]. Subsequently, we consider the class of evolution hemivariational inequalities of second order of the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equb_HTML.gif)
where g 0 denotes the generalized directional derivative of Clarke of a possibly nonconvex function g, γ is a trace map and 〈⋅,⋅〉 stands for the duality pairing between V ∗ and V.
Our study includes the modeling of a mechanical problem and its variational analysis. We derive the hemivariational inequality for the displacement field from nonconvex superpotentials through the generalized Clarke subdifferential. The novelty of the model is to deal with nonlinear elasticity and viscosity operators and to consider the coupling between two kinds of nonmonotone possibly multivalued boundary conditions which depend on the normal (respectively, tangential) components of both the displacement and velocity. We recall that the notion of hemivariational inequality is based on the generalized gradient of Clarke [6] and has been introduced in the early 1980s by Panagiotopoulos [33, 34]. We also note that the existence of solutions to the second order evolution inclusions as well as to the corresponding dynamic hemivariational inequalities has been studied, for instance, in Migórski [22–25], Migórski and Ochal [27, 28] and Kulig [17, 18].
Finally, in order to illustrate the cross fertilization between rigorous mathematical description and Nonlinear Analysis on one hand, and modeling and applications on the other hand, we provide several examples of contact and friction subdifferential boundary conditions.
The paper is structured as follows. In Sect. 2 we recall some preliminary material. In Sect. 3 we describe the dynamic viscoelastic contact problem and present its classical and weak formulation. Next, we recall a result on the existence and uniqueness of solutions to the Cauchy problem for the second order nonlinear evolution inclusion involving a Volterra-type integral operator. We establish the link between a nonlinear evolution inclusion and the hemivariational inequality, and apply the aforementioned results to the viscoelastic contact problem with a memory term. The review of several examples of contact and friction subdifferential boundary conditions which illustrates the applicability of our results is provided in Sect. 4.
2 Preliminaries
In this section we recall the notation and basic definitions needed in the sequel.
Given a Banach space (X,∥⋅∥ X ), we use the symbol w-X to denote the space X endowed with the weak topology. The class of linear and bounded operators from X to X ∗ is denoted by \(\mathcal{L}(X,X^{*})\). If U⊂X, then we have ∥U∥ X =sup{∥x∥ X :x∈U}. The duality between X and its dual is denoted by \(\langle\cdot,\cdot\rangle_{X^{*} \times X}\).
The linear space of second order symmetric tensors on ℝd will be denoted by \(\mathbb {S}^{d}\). The inner product and the corresponding norm on \(\mathbb {S}^{d}\) is defined similarly to the inner product on ℝd, i.e.,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equc_HTML.gif)
The summation convention over repeated indices is used here and below.
Let Ω⊂ℝd be a bounded domain with Lipschitz boundary Γ. In what follows we will need the following Hilbert spaces with their inner products
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equd_HTML.gif)
Here \(\varepsilon\colon H^{1}(\Omega; \mathbb{R}^{d}) \to L^{2}(\Omega; \mathbb {S}^{d})\) denotes the deformation operator, \(\operatorname{Div}\colon\mathcal{H}_{1} \to L^{2}(\Omega; \mathbb{R}^{d})\) stands for the divergence operator, where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Eque_HTML.gif)
The index following comma indicates a partial derivative.
Given v∈H 1 we denote its trace γv on Γ by v, where γ:H 1(Γ;ℝd)→H 1/2(Γ;ℝd)⊂L 2(Γ;ℝd) is the trace map. Let n denote the outward unit normal vector to Γ. Since Γ is Lipschitz continuous, the normal vector is defined a.e. on Γ. For v∈H 1/2(Γ;ℝd) we denote its normal and tangential components by v N =v⋅n and v T =v−v N n.
Let V be a separable Banach space. We identify H with its dual and we consider a Gelfand triple V⊂H⊂V ∗ where all embeddings are compact, dense and continuous (see [7, 44]). We will need the following spaces \(\mathcal{V} = L^{2}(0,T;V)\) and \(\mathcal{W} = \{ w \in\mathcal{V} : w' \in\mathcal{V}^{*} \}\). The time derivative involved in the definition of \(\mathcal{W}\) is understood in the sense of vector valued distributions. It is well known that \(\mathcal{W}\) is a separable Banach space equipped with the norm \(\| v \|_{\mathcal{W}} = \|v\|_{\mathcal{V}} + \|v\|_{\mathcal{V}^{*}}\) and \(\mathcal{W} \subset\mathcal{V} \subset L^{2}(0,T;H) \subset {\mathcal{V}^{*}}\).
Let us recall some definitions needed in the next sections.
Measurable multifunction
Let (Ω,Σ) be a measurable space, \(\mathcal{X}\) be a separable Banach space and \(F \colon\Omega\to{2}^{\mathcal{X}}\). The multifunction F is said to be measurable if for every U⊂X open, we have F −(U)={ω∈Ω:F(ω)∩U≠∅}∈Σ.
Generalized directional derivative
Let X be a Banach space. The generalized directional derivative of Clarke of locally Lipschitz function h:X→ℝ at x∈X in the direction v∈X, denoted by h 0(x;v), is defined by (cf. [6])
Generalized gradient
Let X be a Banach space. The generalized gradient of a function h:X→ℝ at x∈X, denoted by ∂h(x), is a subset of a dual space X ∗ given by \(\partial{h}(x) =\{ \zeta\in X^{*} \mid h^{0}(x; v) \ge\langle\zeta, v \rangle_{X^{*}\times X}\ \mbox{for all} \ v \in X \}\).
Regular function
A locally Lipschitz function h is called regular (in the sense of Clarke) at x∈X if for all v∈X the one-sided directional derivative h′(x;v) exists and satisfies h 0(x;v)=h′(x;v) for all v∈X.
Finally we state results needed in a sequel whose proofs can be found in Kulig [18].
Lemma 1
Let X and Y be Banach spaces and φ:X×Y→ℝ be such that
-
(i)
φ(⋅,y) is continuous for all y∈Y;
-
(ii)
φ(x,⋅) is locally Lipschitz on Y for all x∈X;
-
(iii)
there is a constant c>0 such that for all η∈∂φ(x,y), we have
$$\| \eta\|_{Y^*} \le c \bigl(1 + \| x \|_X + \| y\|_Y \bigr) \quad \mbox{\textit{for\ all}} \ x \in X, \ y \in Y,$$where ∂φ denotes the generalized gradient of φ(x,⋅).
Then φ is continuous on X×Y.
Proposition 2
Let X be a separable reflexive Banach space, 0<T<∞ and φ:(0,T)×X→ℝ be a function such that φ(⋅,x) is measurable for all x∈X and φ(t,⋅) is locally Lipschitz for all t∈(0,T). Then the multifunction (0,T)×X∋(t,x)↦∂φ(t,x)⊂X ∗ is measurable, where ∂φ denotes the Clarke generalized gradient of φ(t,⋅).
3 Dynamic Viscoelastic Contact Problem with Memory Term
In this section we present a short description of the modeled process, give its weak formulation which is a hyperbolic hemivariational inequality and obtain results on existence and uniqueness of weak solutions.
3.1 Physical Setting of the Problem
The physical setting and the process are as follows. The set Ω is occupied by a viscoelastic body in ℝd (d=2, 3 in applications) which is referred to as the reference configuration. We assume that Ω is a bounded domain with Lipschitz boundary Γ which is divided into three mutually disjoint measurable parts Γ D , Γ N and Γ C with m(Γ D )>0.
We study the process of evolution of the mechanical state in time interval [0,T], 0<T<∞. The system evolves in time as a result of applied volume forces and surface tractions. The description of this evolution is done by introducing a vector function u=u(x,t)=(u 1(x,t),…,u d (x,t)) which describes the displacement at time t of a particle that has the position x=(x 1,…,x d ) in the reference configuration. We denote by σ=σ(x,t)=(σ ij (x,t)) the stress tensor and by ε(u)=(ε ij (u)) the linearized (small) strain tensor whose components are given by (a compatibility condition) \(\varepsilon_{ij} = \varepsilon_{ij}(u) = \frac{1}{2} (u_{i,j} + u_{j,i})\), where i, j=1,…,d. In cases where an index appears twice, we use the summation convention. We also put Q=Ω×(0,T).
Since the process is dynamic, we deal with the dynamic equation of motion representing momentum conservation (cf. [11, 33]) and governing the evolution of the state of the body
where \(\operatorname{Div}\) denotes the divergence operator for tensor valued functions and f 0 is the density of applied volume forces such as gravity. We assume that the mass density is constant and set equal to one.
In the model the material is assumed to be viscoelastic and for its description we suppose a general constitutive law of the form
Here \({\mathcal{A}}\) is a nonlinear operator describing the purely viscous properties of the material while \({\mathcal{B}}\) and \({\mathcal{C}}\) are the nonlinear elasticity and the linear relaxation operators, respectively. Note that the operators \({\mathcal{A}}\) and \({\mathcal{B}}\) may depend explicitly on the time variable and this is the case when the viscosity and elasticity properties of the material depend on the temperature field which plays the role of a parameter and whose evolution in time is prescribed. When \({\mathcal{C}} = 0\) the constitutive law (1) reduces to a viscoelastic constitutive law (the so called Kelvin-Voigt law) with short memory and in the case when \({\mathcal{A}} = 0\), it reduces to an elastic constitutive law with long memory.
Next, we describe the boundary conditions. The body is supposed to be held fixed on the part Γ D of the surface, so the displacement u=0 on Γ D ×(0,T). On the part Γ N a prescribed surface force (traction) f 1=f 1(x,t) is applied, thus we have the condition σ(t)ν=f 1 on Γ N ×(0,T). Here ν∈ℝd denotes the outward unit normal to Γ and σ(t)ν represents the boundary stress vector. The body may come in contact over the part Γ C of its surface. As it is met in the literature (cf. [10, 11, 41, 42]) the conditions on the contact surface are naturally divided to conditions in the normal direction and those in the tangential direction, cf. Sect. 5.4 of [11] for the normal approach and the tangential process. In the model under consideration, the frictional contact on the part Γ C is described by the subdifferential boundary conditions of the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equi_HTML.gif)
on Γ C ×(0,T), where σ ν and σ τ , u ν and u τ , \(u'_{\nu}\) and \(u'_{\tau}\) denote the normal and the tangential components of the stress tensor, the displacement and the velocity, respectively. The functions j k , k=1,…,4 are prescribed and locally Lipschitz in their last variables. The component σ τ represents the friction force on the contact surface and ∂j k , k=1,…,4 denote the Clarke subdifferentials of the superpotentials j k , k=1,…,4 with respect to their last variables. Concrete examples of contact models which lead to aforementioned subdifferential boundary conditions will be provided in Sect. 4.
Finally, we prescribe the initial conditions for the displacement and the velocity, i.e.,
where u 0 and u 1 denote the initial displacement and the initial velocity, respectively. In what follows we skip occasionally the dependence of various functions on the spatial variable x∈Ω∪Γ.
Collecting the equations and conditions described above, we obtain the following formulation of the mechanical problem: find a displacement field u:Q→ℝd and a stress field \(\sigma\colon Q \to{\mathcal{S}_{d}}\) such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ2_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ3_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ4_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ5_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ6_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ7_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ8_HTML.gif)
The problem above represents the classical formulation of the viscoelastic frictional contact problem. The conditions (6) and (7) introduce one of the main difficulties to the problem since the superpotentials are nonconvex and nonsmooth in general. This is the reason why the problem (2)–(8) has no classical solutions, i.e., solutions which posses all necessary classical derivatives and satisfy the relations in the usual sense at each point and at each time instant. In the following we formulate the above problem in a weak sense.
3.2 Weak Formulation of the Problem
In this section we give a weak formulation of the classical viscoelastic frictional contact problem (2)–(8). Due to the Clarke subdifferential boundary conditions (6) and (7) this formulation will be a hyperbolic hemivariational inequality. We introduce
This is a closed subspace of H 1 and so it is a Hilbert space with the inner product and the corresponding norm given by \((u, v)_{V} = (\varepsilon(u), \varepsilon(v))_{\mathcal{H}}\) and \(\| v \| = \| \varepsilon(v) \|_{\mathcal{H}}\) for u,v∈V. By the Korn inequality \(\| v \|_{H_{1}} \le c \| \varepsilon(v) \|_{\mathcal{H}}\) for v∈V with c>0 (cf. Sect. 6.3 of [31]), it follows that \(\| \cdot\|_{H_{1}}\) and ∥⋅∥ are the equivalent norms on V. Identifying H=L 2(Ω;ℝd) with its dual, we have an evolution triple of spaces (V,H,V ∗) with dense, continuous and compact embeddings. For this evolution triple, analogously as in Sect. 2, we define the spaces \({\mathcal{V}} = L^{2}(0, T; V)\), \({\widehat{\mathcal{H}}} = L^{2}(0,T;H)\), \({\mathcal{V}}^{*} = L^{2}(0, T; V^{*})\) and \({\mathcal{W}} = \{ v \in{\mathcal{V}} \mid v' \in{\mathcal{V}}^{*} \}\). The duality pairing between V ∗ and V is denoted by 〈⋅,⋅〉.
We admit the following hypotheses on the data of the problem (2)–(8).
- \(\underline{H({\mathcal{A}})}\)::
-
The viscosity operator \({\mathcal{A}} \colon Q \times{ \mathbb {S}^{d}} \to{ \mathbb {S}^{d}}\) is such that
-
(i)
\({\mathcal{A}}(\cdot,\cdot, \varepsilon)\) is measurable on Q for all \(\varepsilon\in{ \mathbb {S}^{d}}\);
-
(ii)
\({\mathcal{A}}(x, t, \cdot)\) is continuous on \({\mathbb {S}^{d}}\) for a.e. (x,t)∈Q;
-
(iii)
\(\| {\mathcal{A}}(x,t,\varepsilon) \|_{{\mathbb {S}^{d}}} \le {\widetilde{a_{1}}}(x,t) + {\widetilde{a_{2}}} \| \varepsilon\|_{{\mathbb {S}^{d}}}\) for all \(\varepsilon\in{ \mathbb {S}^{d}}\), a.e. (x,t)∈Q with \({\widetilde{a_{1}}} \in L^{2}(Q)\), \({\widetilde {a_{1}}}\), \({\widetilde{a_{2}}} \ge0\);
-
(iv)
\(( {\mathcal{A}}(x, t, \varepsilon_{1}) - {\mathcal{A}} (x, t, \varepsilon_{2}) ): (\varepsilon_{1} - \varepsilon_{2}) \ge{\widetilde{a_{4}}}\| \varepsilon_{1} - \varepsilon_{2} \|^{2}_{\mathbb {S}^{d}}\) for all ε 1, \(\varepsilon_{2} \in{ \mathbb {S}^{d}}\), a.e. (x,t)∈Q with \({\widetilde{a_{4}}} > 0\);
-
(v)
\({\mathcal{A}}(x,t,\varepsilon) : \varepsilon\ge {\widetilde{a_{3}}} \| \varepsilon\|^{2}_{{\mathbb {S}^{d}}}\) for all \(\varepsilon\in{ \mathbb {S}^{d}}\), a.e. (x,t)∈Q with \({\widetilde{a_{3}}} > 0\).
-
(i)
Remark 3
It should be remarked that the growth condition \(H({\mathcal{A}})\)(iii) excludes terms with power greater than one, but is satisfied within linearized viscoelasticity, and is satisfied by truncated operators, cf. [11, 41].
- \(\underline{H({\mathcal{B}})}\)::
-
The elasticity operator \({\mathcal{B}} \colon Q \times{ \mathbb {S}^{d}} \to{ \mathbb {S}^{d}}\) is such that
-
(i)
\({\mathcal{B}}(\cdot,\cdot, \varepsilon)\) is measurable on Q for all ε∈S d ;
-
(ii)
\(\| {\mathcal{B}}(x,t,\varepsilon) \|_{{\mathbb {S}^{d}}} \le {\widetilde{b_{1}}}(x,t) + {\widetilde{b_{2}}} \| \varepsilon\|_{{\mathbb {S}^{d}}}\) for all \(\varepsilon\in{ \mathbb {S}^{d}}\), a.e. (x,t)∈Q with \({\widetilde{b_{1}}} \in L^{2}(Q)\), \({\widetilde {b_{1}}}\), \({\widetilde{b_{2}}} \ge0\);
-
(iii)
\(\| {\mathcal{B}}(x,t,\varepsilon_{1}) - {\mathcal{B}} (x,t,\varepsilon_{2})\|_{{\mathbb {S}^{d}}}\le L_{\mathcal{B}} \| \varepsilon_{1} - \varepsilon_{2} \|_{\mathbb {S}^{d}}\) for all ε 1, \(\varepsilon_{2} \in{ \mathbb {S}^{d}}\), a.e. (x,t)∈Q with \(L_{\mathcal{B}} > 0\).
-
(i)
Remark 4
If \({\mathcal{B}} (x, t, \cdot) \in{\mathcal{L}}(\mathbb {S}^{d}, \mathbb {S}^{d})\) for a.e. (x,t)∈Q, the conditions \(H({\mathcal{B}})\)(ii) and (iii) hold. Thus the hypothesis \(H({\mathcal{B}})\) is more general than the ones considered in [23–27, 32, 35] where the elasticity operator is assumed to be linear (which corresponds to the Hooke law).
- \(\underline{H({\mathcal{C}})}\)::
-
The relaxation operator \({\mathcal{C}} \colon Q \times{ \mathbb {S}^{d}} \to{ \mathbb {S}^{d}}\) is of the form \({\mathcal{C}}(x,t,\varepsilon) = c(x,t) \varepsilon\) and c(x,t)={c ijkl (x,t)} with c ijkl =c jikl =c lkij ∈L ∞(Q).
- \(\underline{H(f)}\)::
-
f 0∈L 2(0,T;H), f 1∈L 2(0,T;L 2(Γ N ;ℝd)), u 0∈V, u 1∈H.
The functions j k for k=1, 2 satisfy the following
- \(\underline{H(j_{k})}\)::
-
The function j k :Γ C ×(0,T)×(ℝd)2×ℝ→ℝ is such that
-
(i)
j k (⋅,⋅,ζ,ρ,r) is measurable for all ζ, ρ∈ℝd, r∈ℝ,
j k (⋅,⋅,v(⋅),w(⋅),0)∈L 1(Γ C ×(0,T)) for all v, w∈L 2(Γ C ;ℝd);
-
(ii)
j k (x,t,⋅,⋅,r) is continuous for all r∈ℝ, a.e. (x,t)∈Γ C ×(0,T),
j k (x,t,ζ,ρ,⋅) is locally Lipschitz for all ζ, ρ∈ℝd, a.e. (x,t)∈Γ C ×(0,T);
-
(iii)
|∂j k (x,t,ζ,ρ,r)|≤c k0+c k1∥ζ∥+c k2∥ρ∥+c k3|r| for all ζ, ρ∈ℝd, r∈ℝ, a.e. (x,t)∈Γ C ×(0,T) with c kj ≥0, j=0, 1, 2, 3, where ∂j k denotes the Clarke subdifferential of j k (x,t,ζ,ρ,⋅);
-
(iv)
\(j^{0}_{k} (x,t, \cdot, \cdot, \cdot; s)\) is upper semicontinuous on (ℝd)2×ℝ for all s∈ℝ, a.e. (x,t)∈Γ C ×(0,T), where \(j^{0}_{k}\) denotes the generalized directional derivative of Clarke of j k (x,t,ζ,ρ,⋅) in the direction s.
-
(i)
The functions j k for k=3, 4 satisfy the corresponding conditions with the last variable being in ℝd.
Moreover, we need the following hypothesis.
- \(\underline{H(j)_{reg}}\)::
-
The functions j k for k=1,…,4 are such that for all ζ, ρ∈ℝd, a.e. (x,t)∈Γ C ×(0,T), either all j k (x,t,ζ,ρ,⋅) are regular or all −j k (x,t,ζ,ρ,⋅) are regular for k=1,…,4.
The above hypotheses are realistic with respect to the physical data and the process modeling. We will see this in the specific examples of contact laws which are given in Sect. 4.
Next, let v∈V. We define \(f \in{\mathcal{V}}^{*}\) by
for a.e. t∈(0,T). Assuming that the functions in the problem (2)–(8) are sufficiently regular, using the equation of motion (2) and the Green formula (cf. [44]), we obtain
for a.e. t∈(0,T). From the boundary conditions (4) and (5), we have
On the other hand, the subdifferential boundary conditions (6) and (7) imply
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equo_HTML.gif)
Using the constitutive law (3) and the above relations, we obtain the following weak formulation of the problem (2)–(8) which is called hemivariational inequality.
Problem (HVI): find u:(0,T)→V such that \(u \in {\mathcal{V}}\), \(u' \in{\mathcal{W}}\) and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equp_HTML.gif)
3.3 Evolution Inclusion for Hemivariational Inequality
In this section we state a result on the existence of solutions to second order evolution inclusions and apply it to an abstract hemivariational inequality. To this end, let Z=H δ(Ω;ℝd), δ∈(1/2,1) and γ:Z→L 2(Γ C ;ℝd) be the trace operator. Let γ ∗:L 2(Γ C ;ℝd)→Z ∗ stand for the adjoint operator to γ.
Problem \({\mathcal{P}}\): find \(u \in{\mathcal{V}}\) such that \(u' \in{\mathcal{W}}\) and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equq_HTML.gif)
where A, B:(0,T)×V→V ∗ are nonlinear operators, C(t) is a bounded linear operator for a.e. t∈(0,T) and \(F \colon(0, T) \times V\times V \to2^{Z^{*}}\) is a multivalued mapping. Let us notice that the initial conditions in Problem \({\mathcal{P}}\) have sense in V and H since the embeddings \(\{ v \in{\mathcal{V}} \mid v' \in{\mathcal{W}}\} \subset C(0, T; V)\) and \({\mathcal{W}} \subset C(0, T; H)\) are continuous (see [7, 44]). A solution to Problem \({\mathcal{P}}\) is understood as follows.
Definition 5
A function \(u \in{\mathcal{V}}\) is a solution of Problem \({\mathcal{P}}\) if and only if \(u' \in{\mathcal{W}}\) and there exists \(z \in{\mathcal{Z}}^{*}\) such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equr_HTML.gif)
We will need the following hypotheses on the data.
- \(\underline{H(A)}\)::
-
The operator A:(0,T)×V→V ∗ is such that
-
(i)
A(⋅,v) is measurable on (0,T) for all v∈V;
-
(ii)
A(t,⋅) is strongly monotone for a.e. t∈(0,T), i.e. there exists m 1>0 such that 〈A(t,v)−A(t,u),v−u〉≥m 1∥v−u∥2 for all u, v∈V, a.e. t∈(0,T);
-
(iii)
\(\| A(t, v) \|_{V^{*}} \le a_{0}(t) + a_{1} \| v \|\) for all v∈V, a.e. t∈(0,T) with a 0∈L 2(0,T), a 0≥0 and a 1>0;
-
(iv)
〈A(t,v),v〉≥α∥v∥2 for all v∈V, a.e. t∈(0,T) with α>0;
-
(v)
A(t,⋅) is hemicontinuous for a.e. t∈(0,T).
-
(i)
Remark 6
The hypothesis H(A) implies the operator A is pseudomonotone. Indeed, strong monotonicity clearly implies monotonicity which with hemicontinuity entails (cf. Proposition 27.6(a), p. 586, of Zeidler [44]) pseudomonotonicity. We also recall (cf. Remark 1.1.13 of [8]) that for monotone operators, demicontinuity and hemicontinuity are equivalent notions.
- \(\underline{H(B)}\)::
-
The operator B:(0,T)×V→V ∗ is such that
-
(i)
B(⋅,v) is measurable on (0,T) for all v∈V;
-
(ii)
B(t,⋅) is Lipschitz continuous for a.e. t∈(0,T), i.e. \(\| B(t, u) - B(t, v) \|_{V^{*}} \le L_{B} \| u - v \|\) for all u, v∈V, a.e. t∈(0,T) with L B >0;
-
(iii)
\(\| B(t, v) \|_{V^{*}} \le b_{0}(t) + b_{1} \| v \|\) for all v∈V, a.e. t∈(0,T) with b 0∈L 2(0,T) and b 0, b 1≥0.
-
(i)
- \(\underline{H(C)}\)::
-
The operator C satisfies \(C\in L^{2}(0,T; {\mathcal{L}}(V, V^{*}))\).
- \(\underline{H(F)}\)::
-
The multifunction \(F \colon(0,T) \times V \times V \to{\mathcal{P}}_{fc}(Z^{*})\) is such that
-
(i)
F(⋅,u,v) is measurable on (0,T) for all u, v∈V;
-
(ii)
F(t,⋅,⋅) is upper semicontinuous from V×V into w-Z ∗ for a.e. t∈(0,T), where V×V is endowed with (Z×Z)-topology;
-
(iii)
\(\| F(t, u, v) \|_{Z^{*}} \le d_{0}(t) + d_{1} \| u \| + d_{2} \| v \|\) for all u, v∈V, a.e. t∈(0,T) with d 0∈L 2(0,T) and d 0, d 1, d 2≥0.
-
(i)
- \(\underline{H(F)_{1}}\)::
-
The multifunction \(F \colon(0,T) \times V \times V \to{\mathcal{P}}_{fc}(Z^{*})\) satisfies H(F) and
-
(iv)
\(\langle F(t, u_{1}, v_{1}) - F(t, u_{2}, v_{2}), v_{1} - v_{2} \rangle_{Z^{*}\times Z} \ge -m_{2} \|v_{1} - v_{2}\|^{2} - m_{3} \|v_{1} - v_{2}\| \|u_{1}-u_{2}\|\) for all u i , v i ∈V, i=1, 2, a.e. t∈(0,T) with m 2, m 3≥0.
-
(iv)
- \(\underline{(H_{0})}\)::
-
\(f \in{\mathcal{V}}^{*}\), u 0∈V, u 1∈H.
- \(\underline{(H_{1})}\)::
-
\(\alpha> 2 \sqrt{3} c_{e} (d_{1} T + d_{2})\), where c e >0 is the embedding constant of V into Z, i.e., ∥⋅∥ Z ≤c e ∥⋅∥.
- \(\underline{(H_{2})}\)::
-
\(m_{1} > m_{2} + \frac{1}{\sqrt{2}} m_{3}T\).
Theorem 7
Under the hypotheses H(A), H(B), H(C), H(F)1, (H 0), (H 1) and (H 2), Problem \({\mathcal{P}}\) admits a unique solution.
For the proof, we refer to Theorem 8 of [19].
We are now in a position to apply Theorem 7 to the hemivariational inequality problem we are dealing with. We define the following operators A, B, C:(0,T)×V→V ∗ by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ9_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ10_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ11_HTML.gif)
for u, v∈V, a.e. t∈(0,T).
Lemma 8
Under the hypothesis \(H({\mathcal{A}})\), the operator A:(0,T)×V→V ∗ defined by (9) satisfies H(A) with \(a_{0}(t) = \sqrt{2} \| {\widetilde{a_{1}}} (t) \|_{L^{2}(\Omega)}\), \(a_{1} = \sqrt{2} {\widetilde{a_{2}}}\), \(\alpha= {\widetilde{a_{3}}}\), and \(m_{1} = {\widetilde{a_{4}}}\).
Proof
By \(H({\mathcal{A}})\)(iii) and Hölder’s inequality, we have
for all v, w∈V, a.e. t∈(0,T). Hence the function \((x, t) \mapsto{\mathcal{A}}(x, t, \varepsilon(v)) \colon\varepsilon(w)\) is integrable for all v, w∈V. By Fubini’s theorem, we have that t↦〈A(t,v),w〉 is measurable for all v, w∈V. Hence, for all v∈V, the function t↦A(t,v) is weakly measurable from (0,T) into V ∗. Since the latter is separable, from the Pettis measurability theorem, it follows that t↦A(t,v) is measurable for all v∈V, i.e. H(A)(i) holds. Next, from \(H({\mathcal{A}})\)(iv), it follows
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equs_HTML.gif)
for all u, v∈V, a.e. t∈(0,T). This shows H(A)(ii). Again from (12) we obtain that H(A)(iii) is satisfied with \(a_{0}(t) = \sqrt{2} \| {\widetilde{a_{1}}} (t) \|_{L^{2}(\Omega)}\) and \(a_{1} = \sqrt{2} {\widetilde{a_{2}}}\).
From the hypothesis \(H({\mathcal{A}})\)(v), it follows
for all v∈V, a.e. t∈(0,T). Hence H(A)(iv) holds with \(\alpha= {\widetilde{a_{3}}}\). Similarly \(H({\mathcal{A}})\)(iv) implies that A(t,⋅) is monotone for a.e. t∈(0,T). From Proposition 26.12 of Zeidler [44], we know that the operator A(t,⋅) is continuous for a.e. t∈(0,T). Hence, in particular, it is hemicontinuous proves that H(A)(v) is satisfied and ends the proof of the lemma. □
Lemma 9
Under the hypothesis \(H({\mathcal{B}})\), the operator B:(0,T)×V→V ∗ defined by (10) satisfies H(B) with \(L_{B} = L_{\mathcal{B}}\), \(b_{0}(t) = \sqrt{2} \| {\widetilde{b}}_{1}(t) \|_{L^{2}(\Omega)}\) and \(b_{1} = \sqrt{2} {\widetilde{b}}_{2}\).
Proof
The measurability of B(⋅,v) for all v∈V is shown analogously as in the proof of Lemma 8. Indeed, using \(H({\mathcal{B}})\)(ii) and Hölder’s inequality, we have
for all v, w∈V, a.e. t∈(0,T). From Fubini’s theorem, we know that t↦〈B(t,v),w〉 is measurable for all v, w∈V. Clearly t↦B(t,v) is weakly measurable from (0,T) into V ∗ for all v∈V and since V ∗ is separable, by the Pettis measurability theorem, we deduce that t↦B(t,v) is measurable for all v∈V. This proves H(B)(i).
Using (13), we easily obtain that H(B)(iii) holds with \(b_{0}(t) = \sqrt{2} \| {\widetilde{b_{1}}} (t) \|_{L^{2}(\Omega)}\) and \(b_{1} = \sqrt{2} {\widetilde{b_{2}}}\). Next, from \(H({\mathcal{B}})\)(iii) and Hölder’s inequality, we get
for all u, v, w∈V, a.e. t∈(0,T). Hence, H(B)(ii) follows. The proof of the lemma is thus complete. □
Lemma 10
Under the hypothesis \(H({\mathcal{C}})\), the operator C defined by (11) satisfies H(C).
Proof
From the hypothesis \(H({\mathcal{C}})\), we have
Since c(x,t)={c ijkl (x,t)} and c ijkl ∈L ∞(Q), using the Hölder inequality we readily obtain that \(C\in L^{2}(0,T; {\mathcal{L}}(V, V^{*}))\). □
We also observe that if H(f) holds then (H 0) is satisfied as well. Now, in order to formulate Problem (HVI) in the form of evolution inclusion, we extend the pointwise relations (6) and (7) to relations involving multifunctions. To this end, we consider the function g:Γ C ×(0,T)×(ℝd)4→ℝ defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ14_HTML.gif)
for ζ, ρ, ξ, η∈ℝd and a.e. (x,t)∈Γ C ×(0,T).
In what follows, we will need the following hypotheses.
- \(\underline{H(g)}\)::
-
The function g:Γ C ×(0,T)×(ℝd)4→ℝ satisfies the following
-
(i)
g(⋅,⋅,ζ,ρ,ξ,η) is measurable for all ζ, ρ, ξ, η∈ℝd,
g(⋅,⋅,v(⋅),w(⋅),0,0)∈L 1(Γ C ×(0,T)) for all v, w∈L 2(Γ C ;ℝd);
-
(ii)
g(x,t,⋅,⋅,ξ,η) is continuous for all ξ, η∈ℝd, a.e. (x,t)∈Γ C ×(0,T),
g(x,t,ζ,ρ,⋅,⋅) is locally Lipschitz for all ζ, ρ∈ℝd, a.e. (x,t)∈Γ C ×(0,T);
-
(iii)
\(\| \partial g (x, t,\zeta, \rho, \xi, \eta) \|_{(\mathbb{R}^{d})^{2}} \le c_{g0} + c_{g1} (\| \zeta\| + \| \xi\|) + c_{g2} (\| \rho\| + \|\eta\|)\) for all ζ, ρ, ξ, η∈ℝd, a.e. (x,t)∈Γ C ×(0,T) with c g0, c g1, c g2≥0, where ∂g denotes the Clarke subdifferential of g(x,t,ζ,ρ,⋅,⋅);
-
(iv)
g 0(x,t,⋅,⋅,⋅,⋅;χ,σ) is upper semicontinuous on (ℝd)4 for a.e. (x,t)∈Γ C ×(0,T) and all χ, σ∈ℝd where g 0 denotes the generalized directional derivative of Clarke of g(x,t,ζ,ρ,⋅,⋅) in the direction (χ,σ).
-
(i)
- \(\underline{H(g)_{reg}}\)::
-
The function g:Γ C ×(0,T)×(ℝd)4→ℝ is such that either g(x,t,ζ,ρ,⋅,⋅) or −g(x,t,ζ,ρ,⋅,⋅) is regular for all ζ,ρ∈ℝd, a.e. (x,t)∈Γ C ×(0,T).
Lemma 11
Under the hypotheses H(j k ) for k=1,…,4 and H(j) reg the function g defined by (14) satisfies H(g) with c g0=max1≤k≤4 c k0, c g1=max{max1≤k≤4 c k1,c 13,c 33}, c g2=max{max1≤k≤4 c k2,c 23,c 43}. Additionally the following equality holds
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ15_HTML.gif)
for ζ, ρ, ξ, η, χ, σ∈ℝd and a.e. (x,t)∈Γ C ×(0,T) where \(j^{0}_{k}\) denotes the generalized directional derivative of j k (x,t,ζ,ρ,⋅) for k=1,…,4.
Proof
The conditions H(g)(i) and (ii) follow directly from the hypotheses on j k for k=1,…,4. For the proof of (15), let ζ, ρ, ξ, η∈ℝd and (x,t)∈Γ C ×(0,T). Let us also suppose that j k (x,t,ζ,ρ,⋅) for k=1,…,4 are regular in the sense of Clarke. This means, by definition, that for all r∈ℝ and θ∈ℝd the usual directional derivatives \(j'_{k} (x, t, \zeta, \rho, r; s)\) for k=1, 2 and \(j'_{k} (x, t, \zeta, \rho, \theta; \sigma)\) for k=3, 4 exist and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ16_HTML.gif)
for all s∈ℝ and σ∈ℝd. Hence we deduce that the directional derivative \(g'_{\xi\eta}\) of the function g(x,t,ζ,ρ,⋅,⋅) also exists at every point (ξ,η)∈ℝd×ℝd and in any direction (χ,σ)∈(ℝd)2. By the definition of g, we can write \(g (x, t,\zeta, \rho, \xi, \eta) = \sum_{k=1}^{4} {\widehat{j}}_{k}(x, t,\zeta, \rho, \xi, \eta)\), where the functions \({\widehat{j}}_{k} \colon\Gamma_{C} \times(0, T)\times(\mathbb{R}^{d})^{4} \to \mathbb{R}\) are defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equw_HTML.gif)
By Proposition 2.3.3 of [6], we have
for every direction (χ,σ)∈(ℝd)2. Consider now the operators \(N_{1} \in{\mathcal{L}}(\mathbb{R}^{d}, \mathbb{R})\) and \(N_{2} \in{\mathcal{L}}(\mathbb{R}^{d}, \mathbb{R}^{d})\) given by N 1 ξ=ξ ν and N 2 ξ=ξ τ for ξ∈ℝd. From Theorem 2.3.10 of [6] applied to the functions j k , k=1,…,k and the operators N 1 and N 2, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equx_HTML.gif)
The latter four inequalities together with (17) imply
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ18_HTML.gif)
for ζ, ρ, ξ, η, χ, σ∈ℝd and a.e. (x,t)∈Γ C ×(0,T). On the other hand, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equy_HTML.gif)
which together with (18) and (16) implies
for all ξ, η, χ, σ∈ℝd. As it follows directly from the definitions the opposite inequality \(g'_{\xi\eta} \le g^{0}\) is always true, so we deduce that \(g'_{\xi\eta}(x, t, \zeta, \rho, \xi, \eta; \chi, \sigma) =g^{0}(x, t, \zeta, \rho, \xi, \eta;\allowbreak \chi, \sigma)\) for ζ, ρ, ξ, η, χ, σ∈ℝd, a.e. (x,t)∈Γ C ×(0,T), which means that g(x,t,ζ,ρ,⋅,⋅) is regular in the sense of Clarke. Thus (15) follows.
If for k=1,…,k the functions −j k are regular in their last variables, then we proceed in the same way as above and deduce the regularity of −g(x,t,ζ,ρ,⋅,⋅) for (x,t)∈Γ C ×(0,T) and ζ, ρ∈ℝd. We use the property (−g)0(x,t,ζ,ρ,ξ,η;χ,σ)=g 0(x,t,ζ,ρ,ξ,η;−χ,−σ) for all ζ, ρ, ξ, η, χ, σ∈ℝd, a.e. (x,t)∈Γ C ×(0,T) (cf. Proposition 2.1.1 of [6]), and again deduce (15).
In order to show H(g)(iii), let us take \(({\overline {\chi}}, {\overline {\sigma}}) \in\partial g(x, t, \zeta,\rho ,\xi, \eta)\), where ζ, ρ, ξ, η, \({\overline {\chi}}\), \({\overline {\sigma}} \in \mathbb{R}^{d}\) and (x,t)∈Γ C ×(0,T). By the definition of the subdifferential and (15), for all χ, σ∈ℝd, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equaa_HTML.gif)
Using Proposition 2.1.2 of [6] and H(j 1)(iii), we deduce
Analogously, by H(j k )1(iii) for k=2, 3, 4, we obtain the similar inequalities. Recalling that |ξ ν |≤∥ξ∥ and ∥ξ τ ∥≤∥ξ∥ for all ξ∈ℝd, from the above, we have
where c g0=maxc k0, c g1=max{maxc k1,c 13,c 33}, c g2=max{maxc k2,c 23,c 43}. Hence H(g)(iii) holds.
Finally, we suppose the hypotheses H(j k )(iv) for k=1,…,4 and H(j) reg . In order to prove H(g)(iv), it is enough to show that g 0(x,t,⋅,⋅,⋅,⋅;χ,σ) is upper semicontinuous on (ℝd)4 for all χ, σ∈ℝd and a.e. (x,t)∈Γ C ×(0,T). Let χ, σ∈ℝd and (x,t)∈Γ C ×(0,T), and let {ζ n }, {ρ n }, {ξ n }, {η n } be sequences in ℝd such that ζ n →ζ, ρ n →ρ, ξ n →ξ and η n →η. By the hypothesis H(j k )(iv) for k=1,…,4 and equality (15), we find
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equad_HTML.gif)
Hence the condition H(g)(iv) follows. The proof of the lemma is complete. □
The next step is to study the integral functional corresponding to superpotentials which appear in the boundary conditions. Let us consider the functional G:(0,T)×L 2(Γ C ;ℝd)4→ℝ defined by
for w, z, u, v∈L 2(Γ C ;ℝd), t∈(0,T), where the integrand g is given by (14).
We introduce the following hypothesis.
- \(\underline{H(G)}\)::
-
The functional G:(0,T)×L 2(Γ C ;ℝd)4→ℝ is such that
-
(i)
G(⋅,w,z,u,v) is measurable for all w, z, u, v∈L 2(Γ C ;ℝd),
G(⋅,w,z,0,0)∈L 1(0,T) for all w, z∈L 2(Γ C ;ℝd);
-
(ii)
G(t,w,z,⋅,⋅) is Lipschitz continuous on bounded subsets of L 2(Γ C ;ℝd)2 for all w, z∈L 2(Γ C ;ℝd), a.e. t∈(0,T);
-
(iii)
\(\| \partial G (t, w, z, u, v) \|_{L^{2}(\Gamma_{C};\mathbb{R}^{d})^{2}} \le c_{G0} + c_{G1} (\| w \| + \| u \|) + c_{G2} (\| z \| + \| v \| )\) for all w, z, u, v∈L 2(Γ C ;ℝd), a.e. t∈(0,T) with c G0, c G1, c G2≥0, where ∂G denotes the Clarke subdifferential of G(t,w,z,⋅,⋅);
-
(iv)
For all w, z, u, v, \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\), a.e. t∈(0,T), we have
$$ G^0(t, w, z, u, v; {\overline {u}}, {\overline {v}}) = \int _{\Gamma_C} g^0 \bigl(x, t, w(x), z(x), u(x), v(x); {\overline {u}}(x), {\overline {v}}(x) \bigr) \,d\Gamma,$$(20)where G 0 denotes the generalized directional derivative of G(t,w,z,⋅,⋅) at a point (u,v) in the direction \(({\overline {u}}, {\overline {v}})\);
-
(v)
\(G^{0} (t, \cdot, \cdot, \cdot, \cdot; {\overline {u}}, {\overline {v}})\) is upper semicontinuous on L 2(Γ C ;ℝd)4 for all \({\overline {u}}, {\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\), a.e. t∈(0,T).
-
(i)
- \(\underline{H(G)_{reg}}\)::
-
The functional G:(0,T)×L 2(Γ C ;ℝd)4→ℝ is such that either G(t,w,z,⋅,⋅) or −G(t,w,z,⋅,⋅) is regular for all w, z∈L 2(Γ C ;ℝd), a.e. t∈(0,T).
Lemma 12
Under the hypotheses H(g) and H(g) reg hold the functional G defined by (19) satisfies H(G) with \(c_{G0} = c_{g0} \sqrt{5 m(\Gamma_{C})}\), \(c_{G1} = c_{g1} \sqrt{5}\), \(c_{G2} = c_{g2} \sqrt{5}\) and H(G) reg .
Proof
First, from H(g)(ii) and Lemma 1, it follows that g(x,t,⋅,⋅,⋅,⋅) is continuous on (ℝd)4 which together with H(g)(i) implies that g is a Carathéodory function. Hence (x,t)↦g(x,t,w(x),z(x),u(x),v(x)) is measurable for all w, z, u, v∈L 2(Γ C ;ℝd) and subsequently the integrand of (19) is a measurable function of x.
Next, applying the Lebourg mean value theorem (cf., e.g., Theorem 5.6.25 of [7]) to a locally Lipschitz function g(x,t,ζ,ρ,⋅,⋅) (cf. H(g)(ii)), we deduce that there exist \(({\overline {\xi}}, {\overline {\eta}})\) in the interval [0,(ξ,η)]⊂(ℝd)2 and \((\xi^{*}, \eta^{*}) \in\partial g(x, t, \zeta, \rho, {\overline {\xi }}, {\overline {\eta}})\) such that
for all ζ, ρ, ξ, η∈ℝd, a.e. (x,t)∈Γ C ×(0,T). Hence, by H(g)(iii), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equaf_HTML.gif)
for all w, z, u, v∈L 2(Γ C ;ℝd), a.e. (x,t)∈Γ C ×(0,T) with a constant c>0. From H(g)(i), it is easy to see that (x,t)↦g(x,t,w(x),z(x),u(x),v(x)) is integrable and from Fubini’s theorem, we infer that G(⋅,w,z,u,v) is measurable and H(G)(i) holds.
Now, let w, z∈L 2(Γ C ;ℝd) and let \({\widetilde{g}} \colon\Gamma_{C} \times(0, T) \times(\mathbb{R}^{d})^{2}\to \mathbb{R}\) be defined by
From (i) and (ii) of H(g), it follows that \({\widetilde{g}}(\cdot, \cdot, \xi, \eta)\) is measurable for all ξ, η∈ℝd, \({\widetilde{g}}(\cdot, t, 0, 0) \in L^{1}(\Gamma_{C})\) for a.e. t∈(0,T) (by invoking again Fubini’s theorem) and \({\widetilde{g}}(x, t, \cdot, \cdot)\) is locally Lipschitz for a.e. (x,t)∈Γ C ×(0,T). Moreover, by employing H(g)(iii), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equah_HTML.gif)
with ω∈L 2(Γ C ). At this stage we use Aubin-Clarke’s theorem (cf. Theorem 5.6.39 of [7]) to deduce that the functional G(t,w,z,⋅,⋅) is well defined, finite and Lipschitz continuous on bounded subsets of L 2(Γ C ;ℝd) for all w, z∈L 2(Γ C ;ℝd), a.e. t∈(0,T). Hence H(G)(ii) is satisfied. Furthermore, for w, z, u, v∈L 2(Γ C ;ℝd) and a.e. t∈(0,T), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ21_HTML.gif)
Hence, by H(g)(iii), we thus obtain that for all \(({\overline {u}}, {\overline {v}}) \in\partial G(t, w, z, u, v)\), \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\), we have
which entails that the condition H(G)(iii) holds with the aforementioned constants c g0, c g1 and c g2.
Next, by the Fatou lemma, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equaj_HTML.gif)
for all w, z, u, v, \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\), a.e. t∈(0,T).
Since the function g(x,t,ζ,ρ,⋅,⋅) is regular in the sense of Clarke. By exploiting the Fatou lemma and the above, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equak_HTML.gif)
for all w, z, u, v, \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\), a.e. t∈(0,T). Hence \(G'_{(u,v)}(t,w,z,u,v; {\overline {u}}, {\overline {v}})\) exists and
which means that G(t,w,z,⋅,⋅) is regular for all w, z∈L 2(Γ C ;ℝd) and a.e. t∈(0,T). The two above also imply that H(G)(iv) holds.
When −g(x,t,ζ,ρ,⋅,⋅) is regular in the sense of Clarke, we proceed analogously as above and deduce the regularity of −G(t,w,z,⋅,⋅). From the property
for all w, z, u, v, \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\), a.e. t∈(0,T) (cf. Proposition 2.1.1 of [6]), we again get equality (20).
Finally, we suppose the hypotheses H(g)(iv). Let t∈(0,T), w, z, u, v, \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\) and {w n }, {z n }, {u n }, {v n } be sequences in L 2(Γ C ;ℝd) such that w n →w, z n →z, u n →u and v n →v in L 2(Γ C ;ℝd). We may assume by passing to subsequences, if necessary, that w n (x)→w(x), z n (x)→z(x), u n (x)→u(x) and v n (x)→v(x) in ℝd for a.e. x∈Γ C , ∥w n (x)∥≤w 0(x), ∥z n (x)∥≤z 0(x), ∥u n (x)∥≤u 0(x) and ∥v n (x)∥≤v 0(x) with w 0, z 0, u 0, v 0∈L 2(Γ C ;ℝd). By the Fatou lemma and H(g)(iv), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equan_HTML.gif)
for all \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\) and a.e. t∈(0,T). This means that \(G^{0}(t, \cdot, \cdot, \cdot, \cdot, {\overline {u}},{\overline {v}})\) is upper semicontinuous on L 2(Γ C ;ℝd)4 for all \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\) and a.e. t∈(0,T). This completes the proof that the functional G satisfies H(G)(v). The proof of the lemma is done. □
Now we are in a position to carry out the last step of the construction of the multifunction which will appear in the evolution inclusion. We introduce the following operators
We define the following multivalued mapping \(F \colon(0,T) \times V\times V \to2^{Z^{*}}\) by
where ∂G denotes the Clarke subdifferential of the functional G=G(t,w,z,u,v) defined by (19) with respect to (u,v).
Before we establish the properties of the multifunction F given by (22), we need the following auxiliary lemma (cf. [18]).
Lemma 13
Let (Ω,Σ) be a measurable space, Y 1, Y 2 be separable Banach spaces, \(A \in{\mathcal{L}}(Y_{1}, Y_{2})\) and let \(G \colon\Omega\to{\mathcal{P}}_{wkc}(Y_{1})\) be measurable. Then the multifunction \(F \colon\Omega\to{\mathcal{P}}_{wkc}(Y_{2})\) given by F(ω)=AG(ω) for ω∈Ω is measurable.
Lemma 14
Under H(G) and H(G) reg , the multifunction \(F \colon(0,T) \times V \times V \to2^{Z^{*}}\) defined by (22) satisfies H(F) with d 0(t)=c G0∥γ∥, d 1=2c e c G1∥γ∥2 and d 2=2c e c G2∥γ∥2.
Proof
The fact that the mapping F has nonempty and convex values follows from the nonemptiness and convexity of values of the Clarke subdifferential of G (cf. Proposition 2.1.2 of [6]). Because the values of the subdifferential ∂G(t,w,z,⋅,⋅) are weakly closed subsets of L 2(Γ C ;ℝd), using H(G)1, we can also easily check that the mapping F has closed values in Z ∗.
To show that F(⋅,u,v) is measurable on (0,T) for all u, v∈V, let w, z, \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C}; \mathbb{R}^{d})\). Since, by the hypothesis H(G)1, \(G(\cdot, w, z, {\overline {u}}, {\overline {v}})\) is measurable and G(t,w,z,⋅,⋅) is locally Lipschitz on L 2(Γ C ;ℝd)2 (being Lipschitz continuous on bounded subsets) for a.e. t∈(0,T), according to Lemma 2, we know that
is measurable. Hence, by Proposition 2.4.3 of [7], we infer that also the multifunction \((0, T) \ni t \mapsto\partial G(t, w, z, {\overline {u}}, {\overline {v}})\) is measurable, and clearly it is \({\mathcal{P}}_{wkc}(L^{2}(\Gamma_{C}; \mathbb{R}^{d})^{2})\)-valued. On the other hand, we can readily verify that SR ∗:L 2(Γ C ;ℝd)2→Z ∗ is a linear continuous operator. These properties ensure the applicability of Lemma 13. So we have that \((0, T) \ni t \mapsto S R^{*} \partial G(t, w, z, {\overline {u}}, {\overline {v}})\) is measurable. As a consequence the multifunction F(⋅,u,v) is measurable for all u, v∈V.
Next we will prove the upper semicontinuity of F(t,⋅,⋅) for a.e. t∈(0,T). According to Proposition 4.1.4 of [7], we show that for every weakly closed subset K of Z ∗, the set
is closed in Z×Z. Let t∈(0,T), {(u n ,v n )}⊂F −(K) and (u n ,v n )→(u,v) in Z×Z. We can find ζ n ∈F(t,u n ,v n )∩K for n∈ℕ. By the definition of F, we have \(\zeta_{n} = \zeta_{n}^{1} + \zeta_{n}^{2}\), \((\zeta_{n}^{1},\zeta_{n}^{2}) = (\gamma^{*}\eta_{n}^{1}, \gamma^{*}\eta_{n}^{2})\) with \((\eta_{n}^{1}, \eta_{n}^{2})\in L^{2}(\Gamma_{C}; \mathbb{R}^{d})\) and
Using the continuity of the trace operator, we have γu n →γu, γv n →γv in L 2(Γ C ;ℝd). Since by H(G)(iii) the operator ∂G(t,⋅,⋅,⋅,⋅) is bounded (it maps bounded sets into bounded sets), from (23), it follows that the sequence \(\{ (\eta_{n}^{1}, \eta_{n}^{2}) \}\) remains in a bounded subset of L 2(Γ C ;ℝd)2. Thus, by passing to a subsequence, if necessary, we may suppose that
for some η 1, η 2∈L 2(Γ C ;ℝd). Now, we will use the fact that the graph of ∂G(t,⋅,⋅,⋅,⋅) is closed in L 2(Γ C ;ℝd)4×(w-L 2(Γ C ;ℝd)2)-topology for a.e. t∈(0,T), which will be showed at the end of this proof. Hence and from (23), we obtain
Furthermore, since {ζ n } also remains in a bounded subset of Z ∗, we may assume that ζ n →ζ weakly in Z ∗. Because ζ n ∈K and K is weakly closed in Z ∗, it follows that ζ∈K. By the continuity and linearity of the operator γ ∗, we obtain
Hence
and ζ=ζ1+ζ2, where (ζ1,ζ2)=(γ ∗ η 1,γ ∗ η 2) and (η 1,η 2)∈∂G(t,γu,γv,γu,γv). This, by the definition of F implies that ζ∈F(t,u,v). As a consequence, once ζ∈K, we know that F −(K) is closed in Z×Z. Hence H(F)(ii) follows.
Next, we show that F satisfies H(F)(iii). Let t∈(0,T), u, v∈V and z ∗∈Z ∗, z ∗∈F(t,u,v). The latter is equivalent to \(z^{*} = z^{*}_{1} + z^{*}_{2}\), \(z^{*}_{1}\), \(z^{*}_{2} \in Z^{*}\), \((z_{1}^{*}, z_{2}^{*}) = (\gamma^{*}\eta_{1}, \gamma^{*}\eta_{2})\) where η 1, η 2∈L 2(Γ C ;ℝd) and (η 1,η 2)∈∂G(t,γu,γv,γu,γv). Using the estimate H(G)(iii), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equav_HTML.gif)
where ∥γ ∗∥=∥γ∥ denotes the norm in \({\mathcal{L}}(L^{2}(\Gamma_{C};\mathbb{R}^{d}), Z^{*})\) and c e >0 is the embedding constant of V into Z. This implies that F satisfies H(F)(iii) with d 0(t)=c G0∥γ∥, d 1=2c e c G1∥γ∥2 and d 2=2c e c G2∥γ∥2.
To complete the proof, it is enough to show that the graph of ∂G(t,⋅,⋅,⋅,⋅) is closed in L 2(Γ C ;ℝd)4×(w-L 2(Γ C ;ℝd)2)-topology for a.e. t∈(0,T). This is a simple consequence of H(G)(v). Indeed, let t∈(0,T), {w n }, {z n }, {u n }, {v n } be sequences in L 2(Γ C ;ℝd) such that w n →w, z n →z, u n →u, v n →v in L 2(Γ C ;ℝd), let \(\{ (\eta^{1}_{n}, \eta^{2}_{n}) \} \subset L^{2}(\Gamma_{C}; \mathbb{R}^{d})^{2}\), \((\eta^{1}_{n}, \eta^{2}_{n}) \to(\eta^{1}, \eta^{2})\) weakly in L 2(Γ C ;ℝd)2 and \((\eta^{1}_{n}, \eta^{2}_{n}) \in\partial G (t, w_{n}, z_{n}, u_{n}, v_{n})\). The latter means that
The hypothesis H(G)(v) implies
for all \(\overline {u}\), \(\overline {v} \in L^{2}(\Gamma_{C}; \mathbb{R}^{d})\) which entails (η 1,η 2)∈∂G(t,w,z,u,v). The above finishes the proof that the graph is closed. This argument completes the proof of the lemma. □
In order to prove that the multifunction F defined by (22) satisfies the hypothesis H(F)1, we need additional conditions on the superpotentials j k for k=1,…,4.
- \(\underline{H(j_{1})_{1}}\)::
-
j 1:Γ C ×(0,T)×(ℝd)2×ℝ→ℝ is such that
$$\bigl| \partial j_1 (x, t,\zeta_1, \rho_1,r_1) - \partial j_1 (x, t,\zeta_2,\rho_2, r_2)\bigr| \le L_1 \bigl( \| \zeta_1- \zeta_2 \| + \| \rho_1 - \rho_2 \| +|r_1 - r_2| \bigr)$$for all ζ1, ζ2, ρ 1, ρ 2∈ℝd, r 1, r 2∈ℝ, a.e. (x,t)∈Γ C ×(0,T) with a constant L 1≥0.
- \(\underline{H(j_{2})_{1}}\)::
-
j 2:Γ C ×(0,T)×(ℝd)2×ℝ→ℝ is such that
for all ζ1, ζ2, ρ 1, ρ 2∈ℝd, r 1, r 2∈ℝ, a.e. (x,t)∈Γ C ×(0,T) with a constant L 2≥0.
- \(\underline{H(j_{3})_{1}}\)::
-
j 3:Γ C ×(0,T)×(ℝd)3→ℝ is such that
$$\bigl\| \partial j_3 (x, t,\zeta_1, \rho_1,\theta_1) - \partial j_3 (x, t,\zeta_2,\rho_2, \theta_2)\bigr\| \le L_3 \bigl( \|\zeta_1 - \zeta_2 \| + \| \rho_1 -\rho_2 \| + \| \theta_1 - \theta_2 \| \bigr)$$for all ζ1, ζ2, ρ 1, ρ 2, θ 1, θ 2∈ℝd, a.e. (x,t)∈Γ C ×(0,T) with a constant L 3≥0.
- \(\underline{H(j_{4})_{1}}\)::
-
j 4:Γ C ×(0,T)×(ℝd)3→ℝ is such that
for all ζ1, ζ2, ρ 1, ρ 2, θ 1, θ 2∈ℝd, a.e. (x,t)∈Γ C ×(0,T) with a constant L 4≥0.
Remark 15
The hypothesis H(j 2)1 (and H(j 4)1) has been introduced and used earlier in [23] (under the name of relaxed monotonicity condition) in the case when j 2 (and j 4) does not depend on the variables ζ and ρ.
Lemma 16
Assume that the hypotheses H(j k ) hold for k=1,…,4, and that either
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ24_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ25_HTML.gif)
Then the multifunction \(F \colon(0,T) \times V \times V \to2^{Z^{*}}\) defined by (22) with the functional G given by (19) and its integrand g defined by (14), satisfies the condition H(F)1 with m 2=c e k 1∥γ∥2 and m 3=c e k 2∥γ∥2.
Proof
It is clear that under the hypotheses, the condition H(j) reg holds. By Lemma 11 we know that the integrand g given by (14) satisfies H(g) and H(g) reg . Hence by Lemma 12, it follows that the functional G given by (19) satisfies H(G). Using Lemma 14, under H(G), we obtain that the multifunction F satisfies H(F).
Now, it is enough to prove that the multifunction F satisfies H(F)1(iv). We suppose (24), the case when (25) holds can be treated analogously. We show that the following inequality holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ26_HTML.gif)
for all ξ i , η i ∈ℝd, i=1, 2, a.e. (x,t)∈Γ C ×(0,T) with k 1, k 2≥0. Under (24), it follows that g(x,t,ζ,ρ,⋅,⋅) is regular for all ζ, ρ∈ℝd, a.e. (x,t)∈Γ C ×(0,T). Using this regularity, by Theorem 2.3.10 of [6] and Proposition 5.6.33 of [7], we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbc_HTML.gif)
where ∂g denotes the subdifferential of g with respect to (ξ,η), \(N_{1} \in{\mathcal{L}}(\mathbb{R}^{d}, \mathbb{R})\), \(N_{2} \in{\mathcal{L}}(\mathbb{R}^{d}, \mathbb{R}^{d})\) are operators defined by N 1 ξ=ξ ν , N 2 ξ=ξ τ for all ξ∈ℝd with their adjoints \(N_{1}^{*} \in{\mathcal{L}}(\mathbb{R}, \mathbb{R}^{d})\), \(N_{2}^{*}\in{\mathcal{L}}(\mathbb{R}^{d}, \mathbb{R}^{d})\) given by \(N_{1}^{*} r = r \nu\), \(N_{2}^{*} \xi= \xi_{\tau}\) for all r∈ℝ, ξ∈ℝd i.e., \(N_{2}^{*} = N_{2}\).
Let \(({\overline {\chi}}_{i}, {\overline {\sigma}}_{i}) \in\partial g(x,t,\xi_{i},\eta_{i},\xi_{i},\eta_{i})\), (x,t)∈Γ C ×(0,T) with ξ i , η i ∈ℝd, i=1, 2. For simplicity of notation we omit the dependence on (x,t). Then for k=1,2 we have \({\overline {\chi}}_{k} \in\partial j_{1} (x,t, \xi_{k},\eta_{k},\xi_{k\nu})\nu+( \partial j_{3} (x,t,\xi_{k},\eta_{k},\xi_{k\tau}) )_{\tau}\) and \({\overline {\sigma}}_{k} \in\partial j_{2} (x,t, \xi_{k},\eta_{k},\eta_{k\nu }) \nu+( \partial j_{4} (x,t, \xi_{k},\eta_{k},\eta_{k\tau}) )_{\tau}\) which means that
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Eqube_HTML.gif)
for i=1, 2. By the hypotheses H(j k )1 for k=1,3, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbf_HTML.gif)
whereas for k=2,4 we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbg_HTML.gif)
Using the last four inequalities and the fact that \((\zeta_{\tau}, \rho)_{\mathbb{R}^{d}} = (\zeta, \rho_{\tau})_{\mathbb{R}^{d}}\) for all ζ, ρ∈ℝd, we calculate
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbh_HTML.gif)
with k 1=max{L 1,2L 2,L 3,2L 4} and k 2=max{2L 1,L 2,2L 3,L 4}. Hence the proof of the property (26) is complete.
Next we will prove that the subdifferential ∂G of the functional G defined by (19) satisfies the condition
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ27_HTML.gif)
for all w i , z i ∈L 2(Γ C ;ℝd), a.e. t∈(0,T) with k 1, k 2≥0, where ∂G denotes the subdifferential of G(t,w,z,⋅,⋅). Similarly as in the proof of Lemma 12 and Theorem 2.7.5 of Clarke [6], we use the property that if \(({\overline {u}}, {\overline {v}}) \in\partial G(t, w, z, u, v)\) for a.e. t∈(0,T) then
for every w, z, u, v, \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\). For the proof of (27), let w i , z i , \({\overline {u}}_{i}\), \({\overline {v}}_{i} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\) with \(({\overline {u}}_{i}, {\overline {v}}_{i}) \in\partial G(t, w_{i}, z_{i}, w_{i},z_{i})\) for i=1, 2, a.e. t∈(0,T). From the aforementioned property, we know that
for a.e. (x,t)∈Γ C ×(0,T). Exploiting the inequality (26), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbk_HTML.gif)
for a.e. x∈Γ C . Integrating this inequality over Γ C and applying the Hölder inequality, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbl_HTML.gif)
which means that (27) is satisfied.
Finally we show that the multifunction F defined by (22) satisfies H(F)1(iv). Let u i , v i ∈V, t∈(0,T) and z i ∈F(t,u i ,v i ) for i=1, 2. By the definition of F, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbm_HTML.gif)
with a i , b i ∈Z ∗ and η i , ξ i ∈L 2(Γ C ;ℝd), i=1, 2. Exploiting (27) and the continuity of the trace operator, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbn_HTML.gif)
where c e >0 is the embedding constant of V into Z and ∥γ∥ is the norm of the trace operator. Thus the condition H(F)1(iv) holds with m 2=c e k 1∥γ∥2 and m 3=c e k 2∥γ∥2. The proof of the lemma is complete. □
In order to formulate and prove the results on the existence and uniqueness of solutions to the hemivariational inequality in Problem (HVI), we need the following two lemmas.
Lemma 17
Under hypotheses \(H({\mathcal{A}})\), \(H({\mathcal{B}})\), \(H({\mathcal{C}})\), H(f) and H(j k ) for k=1,…,4, every solution of the Problem \(\mathcal{P}\) with the multivalued mapping of the form (22), with G:(0,T)×L 2(Γ C ;ℝd)4→ℝ of the form (19) and its integrand g:Γ C ×(0,T)×(ℝd)4→ℝ given by (14), and the operators A, B and C defined by (9), (10) and (11) respectively, is a solution to Problem (HVI).
Proof
Let \(u \in{\mathcal{V}}\) with \(u' \in{\mathcal{W}}\) be a solution of Problem \(\mathcal{P}\). Then there exists \(z \in{\mathcal{Z}}^{*}\) such that
Hence, by the definition of the multivalued term, we obtain z(t)=z 1(t)+z 2(t), (z 1(t),z 2(t))=(γ ∗ η 1(t),γ ∗ η 2(t)) and (η 1(t),η 2(t))∈∂G(t,γu(t),γu′(t),γu(t),γu′(t)) for a.e. t∈(0,T), where η i ∈L 2(0,T;L 2(Γ C ;ℝd)), i=1, 2. The last inclusion, by the definition of the subdifferential is equivalent to
for all \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C}; \mathbb{R}^{d})\) and a.e. t∈(0,T). On the other hand, by Lemmas 11 and 12, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ30_HTML.gif)
for all \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C}; \mathbb{R}^{d})\), a.e. t∈(0,T). By (28), (29) and (30), for all v∈V and a.e. t∈(0,T), we deduce
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbo_HTML.gif)
which means that u is a solution to Problem (HVI). The proof of the lemma is complete. □
Lemma 18
Assume the function definitions and hypotheses of Lemma 17. If either j 1=j 3=0 or j 2=j 4=0, then u is a solution to Problem (HVI) if and only if u is a solution to Problem \(\mathcal{P}\).
Proof
In view of Lemma 17, it is enough to show that every solution to Problem (HVI) is a solution to Problem \(\mathcal{P}\). Let \(u \in\mathcal{V}\) with \(u' \in\mathcal{W}\) be a solution of Problem (HVI), i.e., u(0)=u 0, u′(0)=u 1 and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ31_HTML.gif)
for all v∈V, a.e. t∈(0,T), where the operators A, B and C are defined by (9), (10) and (11), respectively. From H(j) reg , by Lemmas 11 and 12, we know that equalities (15) and (20) hold, which implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ32_HTML.gif)
for all v∈V, a.e. t∈(0,T). Suppose now that j 1=j 3=0. Then g is given by g(x,t,ζ,ρ,ξ,η)=j 2(x,t,ζ,ρ,η ν )+j 4(x,t,ζ,ρ,η τ ) for all ζ, ρ, ξ, η∈ℝd, a.e. (x,t)∈Γ C ×(0,T) and is independent of ξ, and consequently G is given by
for \({\widehat{w}}\), \({\widehat{z}}\), \({\widehat{u}}\), \({\widehat {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\), a.e. t∈(0,T) and is independent of \({\widehat{u}}\). We denote the latter by G 1, i.e.,
with G 1:(0,T)×L 2(Γ C ;ℝd)3→ℝ. We observe that
for all \({\widehat{w}}\), \({\widehat{z}}\), \({\widehat{u}}\), \({\widehat{v}}\), \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\), a.e. t∈(0,T), where \(G^{0}_{1}\) denotes the generalized derivative of \(G_{1}(t, {\widehat{w}}, {\widehat{z}}, \cdot)\), and
for all \({\widehat{w}}\), \({\widehat{z}}\), \({\widehat{u}}\), \({\widehat{v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\), a.e. t∈(0,T), where ∂G 1 denotes the generalized gradient of \(G_{1}(t, {\widehat{w}}, {\widehat{z}}, \cdot)\). From (31)–(34), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ36_HTML.gif)
for all v∈V, a.e. t∈(0,T). Using the equality
(which is a consequence of Theorem 2.3.10 of [6] and the regularity of \(G_{1}(t, {\widehat{w}}, {\widehat{z}}, \cdot)\)), from (36), it follows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ37_HTML.gif)
for a.e. t∈(0,T). The last equality follows from Theorem 2.3.10 of [6].
On the other hand, we observe that the multifunction F defined by (22), with G given by (33), is now of the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbr_HTML.gif)
for all \({\widetilde{u}}\), v∈V, a.e. t∈(0,T). Therefore, from (37), we have
for a.e. t∈(0,T) which means that u is a solution Problem \(\mathcal{P}\).
The case when j 2=j 4=0 can be treated in an analogous way. This completes the proof of the lemma. □
The following are the existence result for the hemivariational inequality in Problem (HVI) which are the direct conclusion from the lemmas above and Theorem 7.
Theorem 19
Under the hypotheses \(H(\mathcal{A})\), \(H(\mathcal{B})\), \(H(\mathcal{C})\), H(f), H(j k ) for k=1,…,4, either (24) or (25), and the following conditions
and
Problem (HVI) admits a solution.
Theorem 20
Assume the hypotheses of Theorem 19. If, in addition, either j 1=j 3=0 or j 2=j 4=0, then the hemivariational inequality in Problem (HVI) admits a unique solution.
4 Applications to Viscoelastic Mechanical Problems
The aim of this section is to explain, by providing several examples, formulations of multivalued boundary conditions of mechanics. We consider boundary conditions resulting from convex or nonconvex and nonsmooth potentials using the concept of a subdifferential. We restrict ourselves to one-dimensional examples, referring to Chap. 4.6 of [30] for two- and three-dimensional contact laws. We present specific examples of contact and friction laws which can be met in mechanics and which lead to the subdifferential boundary conditions of the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ38_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ39_HTML.gif)
on Γ C ×(0,T).
4.1 Prescribed Normal Stress and Nonmonotone Friction Laws
Let us consider the following boundary conditions on Γ C ×(0,T):
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ40_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ41_HTML.gif)
Equation (40) states that the normal stress is prescribed on Γ C ×(0,T) and is given by S=S(x,t)≥0. Such a condition makes sense when the real contact area is close to the nominal one and the surfaces are conforming. Then S=S(x,t) is the contact pressure and it is given by the ratio of the total applied force to the nominal contact area. It is considered (see Chaps. 2.6 and 10.1 of Shillor et al. [41]) to be a good approximation when the load is light and the contact surface is transmitted by the asperity tips only. This law is of the form (38) with j 1(x,t,ζ,ρ,r)=S(x,t)r and j 2=0, where S∈L ∞(Γ C ×(0,T)), S≥0 is a given normal stress. It is clear that j 1(x,t,ζ,ρ,⋅) is convex (hence regular), and that H(j 1) and H(j 1)1 hold.
4.1.1 Nonmonotone Friction Independent of Slip and Slip Rate
We consider the nonmonotone friction laws which are independent of the slip displacement and the slip rate. This is the case when the superpotential j 4=j 4(x,t,ζ,ρ,θ) is independent of (ζ,ρ) and nonconvex in θ. Then the friction law (41) takes the form
This law appears (cf. Sect. 7.2 of Panagiotopoulos [34]) in the tangential direction of the adhesive interface and describes the partial cracking and crushing of the adhesive bonding material. Several examples of zig-zag friction laws from Sect. 2.4 of Panagiotopoulos [34] can be formulated in the form (42). For instance, let j 4:ℝ→ℝ be given by j 4(r)=min{φ 1(r),φ 2(r)}, where φ 1(r)=ar 2, \(\varphi_{2}(r) = \frac{a}{2} (r^{2} +1)\), r∈ℝ (for simplicity we also drop the (x,t)-dependence) and a>0. Its subdifferential is as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbv_HTML.gif)
By Theorem 2.5.1 of [6], we know that \(\partial j_{4}(r) \subset{\mbox{co}} \{ \varphi'_{1}(r), \varphi'_{2}(r)\}\) and that the subdifferential ∂j 4 has at most linear growth. Since j 4 is the minimum of the strictly differentiable functions, the function −j 4 is regular. From the above and Proposition 2.1.1 of [6], the hypothesis H(j 4) holds.
Another example of nonmonotone friction law can be obtained from the nonconvex function j 4:ℝd→ℝ given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbw_HTML.gif)
for ξ∈ℝd, where M is a positive constant. This function can be represented as a difference of convex functions, i.e., j 4(ξ)=φ 1(ξ)−φ 2(ξ) for ξ∈ℝd, where φ 1(ξ)=∥ξ∥2 and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbx_HTML.gif)
Since ∂φ 1(ξ) is a singleton for ξ∈ℝd, by Lemma 14 of [29], we deduce that −j 4 is regular and ∂j 4(ξ)=∂φ 1(ξ)−∂φ 2(ξ) for ξ∈ℝd. Additionally, it is easy to observe that j 4 satisfies H(j 4).
4.1.2 Contact with Nonmonotone Normal Damped Response
This contact condition is of the form (38) with j 1=0 and it models the situations with granular or wet surfaces in which the response of the foundation depends on the normal velocity of the body. For simplicity, we describe the case when
The specific example of the nonmonotone normal damped response condition is given by the following nonconvex, regular and d.c. function
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbz_HTML.gif)
It is clear that |∂j 2(r)|≤1+|r| for r∈ℝ; The function j 2 can be represented as the difference of convex functions, i.e. j 2(r)=φ 1(r)−φ 2(r), r∈ℝ, where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equca_HTML.gif)
Since φ 1, φ 2 are convex functions, ∂φ 1, ∂φ 2 have a sublinear growth with ∂φ 2 being a singleton, we deduce by Lemma 14 of [29] that j 2 is regular. From the above and the Proposition 2.1.1 of [6], it is obvious that H(j 2) holds. Next, we verify that η 1≤η 2−(r 1−r 2) for all r 1<r 2 and η i ∈∂j 2(r i ), i=1, 2 which implies relaxed monotonicity condition (∂j 2(r 1)−∂j 2(r 2))(r 1−r 2)≥−|r 1−r 2|2 (cf. Remark 15), as well as H(j 2)1.
4.2 Viscous Contact with Tresca’s Friction Law
We consider a model of damped response contact with time-dependent Tresca’s friction law. In this model the contact is characterized by the following boundary conditions:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equcb_HTML.gif)
on Γ C ×(0,T), where k∈L ∞(Γ C ), k>0 a.e. on Γ C , 0<q≤1, ψ∈L ∞(Γ C ×(0,T)) and ψ≥0 a.e. on Γ C ×(0,T), cf. Shillor and Sofonea [40] and Chap. 13 of Han and Sofonea [11]. These boundary conditions are of the form (38) and (39) with j 1=j 3=0, \(j_{2}(x, t, \zeta, \rho, r) = \frac{k(x)}{q+1}|r|^{q+1}\) and j 4(x,t,ζ,ρ,θ)=ψ(x,t)∥θ∥. Therefore
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equcc_HTML.gif)
Thus H(j 2)1 holds with \(c_{20} = c_{23} = \| k_{0}\|_{L^{\infty}(\Gamma_{C})}\), c 21=c 22=0 while j 4 satisfies H(j 4)1 with \(c_{40} = \| \psi\|_{L^{\infty}(\Gamma_{C} \times(0,T))}\), c 41=c 42=c 43=0 and H(j 4)2; j 4 is also convex (so regular) in θ and H(j 4)3 holds. Classically the Tresca friction law is characterized by a given constant friction bound, that is, ψ(x,t)=const., cf., e.g., Amassad and Fabre [1], Amassad and Sofonea [2, 3], Duvaut and Lions [10], Han and Sofonea [11], Panagiotopoulos [33], Selmani and Sofonea [40].
4.3 Other Nonmonotone Friction Contact Laws
In this part we comment on the boundary conditions expressed in the form
This relation describes the tangential contact law between reinforcement and concrete in a concrete structure. In literature, cf. Chap. 2.4 in Panagiotopoulos [34] (diagrams of Fig. 2.4.1), Chap. 1.4 in Naniewicz and Panagiotopoulos [30] (diagrams of Fig. 1.4.3), one can find a couple of examples of the superpotential j 3 which describes such type of contact. We give two examples of nonconvex functions which appear in (43).
In the first example the superpotential j 3:ℝ→ℝ and its subdifferential are of the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equcd_HTML.gif)
It is easy to check that the function j 3 satisfies H(j 3). Furthermore, j 3 can be represented as the difference of convex functions, j 3(r)=φ 1(r)−φ 2(r), r∈ℝ with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equce_HTML.gif)
Since φ 1, φ 2 are convex functions and ∂φ 1 is a singleton, from Lemma 14 of [29] we deduce that the function −j 3 is regular. Moreover, its subdifferential ∂j 3 is Lipschitz which implies that the condition H(j 3)1 is fulfilled.
In the second example, we consider the function j 3:ℝ→ℝ such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equcf_HTML.gif)
Similarly to the previous case, j 3 satisfies H(j 3)1. It can be also represented as the difference of convex functions, j 3(r)=φ 1(r)−φ 2(r), r∈ℝ, where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equcg_HTML.gif)
Again, from the fact that φ 1 and φ 2 are convex functions and ∂φ 1 is a singleton, we conclude that −j 3 is regular.
We end this section with indications on specific applications of research on contact problems. It is of importance to provide various applications of the theoretical results to contact problems arising in real world. The applications concern the following areas.
Construction and exploitation of machines
The understanding of contact problems are extremely important in various branches of engineering such as structural foundations, bearings, metal forming processes, drilling problems, the simulation of car crashes, the car braking system, contact of train wheels with the rails, a shoe with the floor, machine tools, bearings, motors, turbines, cooling of electronic devices, joints in mechanical devices, ski lubricants, and many more, cf., e.g., Andrews et al. [4], Chau et al. [5], Kuttler and Shillor [20, 21], Rochdi et al. [37] and Sofonea and Matei [43].
Biomechanics
The applications concerns the medical field of arthoplasty where bonding between the bone implant and the tissue is of considerable importance. Artificial implants of knee and hip prostheses (both cemented and cement-less) demonstrate that the adhesion is important at the bone-implant interface. These applications are related to contact modeling and design of biomechanical parts like human joints, implants or teeth, cf. Panagiotopoulos [34], Rojek and Telega [38], Rojek et al. [39], Shillor et al. [41] and Sofonea et al. [42].
Plate tectonics and earthquakes predictions
Results may be applicable to models with nonmonotone strain-stress laws in rock layers. Frictional contact between rocks are described by several models, cf. Dumont et al. [9], Ionescu et al. [12, 14], Ionescu and Nguyen [13], Ionescu and Paumier [15, 16] and Rabinowicz [36].
Medicine and biology
Results are applicable to nonmonotone semipermeable membranes and walls (biological and artificial), cf. Duvaut and Lions [10]. In particular, contact problems for piezoelectric materials will continue to play a decisive role in the field of ultrasonic transducers for imaging applications, e.g., medical imaging (sonogram), nondestructive testing and high power applications (medical treatment, sonochemistry and industrial processing), cf. Shillor et al. [41], Sofonea et al. [42].
References
Amassad, A., Fabre, C.: On the analysis of viscoplastic contact problem with time dependent Tresca’s friction law. Electron. J. Math. Phys. Sci. 1, 47–71 (2002)
Amassad, A., Sofonea, M.: Analysis of a quasistatic viscoplastic problem involving Tresca friction law. Discrete Contin. Dyn. Syst. 4, 55–72 (1998)
Amassad, A., Sofonea, M.: Analysis of some nonlinear evolution systems arising in rate-type viscoplasticity. In: Chen, W., Hu, S. (eds.) Dynamical System and Differential Equations, an added volume to Discrete and Continuous Dynamical Systems, pp. 58–71 (1998)
Andrews, K.T., Shillor, M., Wright, S., Klarbring, A.: A dynamic viscoelastic contact problem with friction and wear. Int. J. Eng. Sci. 35, 1291–1309 (1997)
Chau, O., Han, W., Sofonea, M.: A dynamic frictional contact problem with normal damped response. Acta Appl. Math. 71, 159–178 (2002)
Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley-Interscience, New York (1983)
Denkowski, Z., Migórski, S., Papageorgiou, N.S.: An Introduction to Nonlinear Analysis: Theory. Kluwer Academic/Plenum, Boston (2003)
Denkowski, Z., Migórski, S., Papageorgiou, N.S.: An Introduction to Nonlinear Analysis: Applications. Kluwer Academic/Plenum, Boston (2003)
Dumont, Y., Goeleven, D., Rochdi, M., Kuttler, K.L., Shillor, M.: A dynamic model with friction and adhesion with applications to rocks. J. Math. Anal. Appl. 247, 87–109 (2000)
Duvaut, G., Lions, J.L.: Les Inéquations en Mécanique et en Physique. Dunod, Paris (1972)
Han, W., Sofonea, M.: Quasistatic Contact Problems in Viscoelasticity and Viscoplasticity. American Mathematical Society/International Press, Providence (2002)
Ionescu, I.R., Dascalu, C., Campillo, M.: Slip-weakening friction on a periodic system of faults: spectral analysis. Z. Angew. Math. Phys. 53, 980–995 (2002)
Ionescu, I.R., Nguyen, Q.L.: Dynamic contact problems with slip dependent friction in viscoelasticity. Int. J. Appl. Math. Comput. Sci. 12, 71–80 (2002)
Ionescu, I.R., Nguyen, Q.L., Wolf, S.: Slip-dependent friction in dynamic elasticity. Nonlinear Anal. 53, 375–390 (2003)
Ionescu, I.R., Paumier, J.-C.: On the contact problem with slip displacement dependent friction in elastostatics. Int. J. Eng. Sci. 34, 471–491 (1996)
Ionescu, I.R., Paumier, J.-C.: On the contact problem with slip rate dependent friction in elastodynamics. Eur. J. Mech. A, Solids 13, 555–568 (1994)
Kulig, A.: Hemivariational inequality approach to the dynamic viscoelastic contact problem with nonmonotone normal compliance and slip-dependent friction. Nonlinear Anal., Real World Appl. 9, 1741–1755 (2008)
Kulig, A.: Nonlinear evolution inclusions and hemivariational inequalities for nonsmooth problems in contact mechanics. PhD thesis, Jagiellonian University, Krakow, Poland (2010)
Kulig, A., Migórski, S.: Solvability and continuous dependence results for second order nonlinear evolution inclusions with a Volterra-type operator. Nonlinear Anal. Theory Methods Appl. (2012, in press)
Kuttler, K.L., Shillor, M.: Dynamic bilateral contact with discontinuous friction coefficient. Nonlinear Anal. 45, 309–327 (2001)
Kuttler, K.L., Shillor, M.: Dynamic contact with Signorini’s condition and slip rate dependent friction. Electron. J. Differ. Equ. 83, 1–21 (2004)
Migórski, S.: On the existence of solutions for parabolic hemivariational inequalities. J. Comput. Appl. Math. 129, 77–87 (2001)
Migórski, S.: Dynamic hemivariational inequality modeling viscoelastic contact problem with normal damped response and friction. Appl. Anal. 84, 669–699 (2005)
Migórski, S.: Boundary hemivariational inequalities of hyperbolic type and applications. J. Glob. Optim. 31, 505–533 (2005)
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., Ochal, A.: Hemivariational inequality for viscoelastic contact problem with slip dependent friction. Nonlinear Anal. 61, 135–161 (2005)
Migórski, S., Ochal, A.: A unified approach to dynamic contact problems in viscoelasticity. J. Elast. 83, 247–275 (2006)
Migórski, S., Ochal, A.: Existence of solutions for second order evolution inclusions with application to mechanical contact problems. Optimization 55, 101–120 (2006)
Migórski, S., Ochal, A.: Dynamic bilateral contact problem for viscoelastic piezoelectric materials with adhesion. Nonlinear Anal. 69, 495–509 (2008)
Naniewicz, Z., Panagiotopoulos, P.D.: Mathematical Theory of Hemivariational Inequalities and Applications. Marcel Dekker, New York (1995)
Nečas, J., Hlaváček, I.: Mathematical Theory of Elastic and Elasto-plastic Bodies: An Introduction. Elsevier, Amsterdam (1981)
Ochal, A.: Existence results for evolution hemivariational inequalities of second order. Nonlinear Anal. 60, 1369–1391 (2005)
Panagiotopoulos, P.D.: Inequality Problems in Mechanics and Applications. Convex and Nonconvex Energy Functions. Birkhäuser, Basel (1985)
Panagiotopoulos, P.D.: Hemivariational Inequalities, Applications in Mechanics and Engineering. Springer, Berlin (1993)
Park, J.Y., Ha, T.G.: Existence of antiperiodic solutions for hemivariational inequalities. Nonlinear Anal. 68, 747–767 (2008)
Rabinowicz, E.: The nature of the static and kinetic coefficients of friction. J. Appl. Phys. 22, 1373–1379 (1951)
Rochdi, M., Shillor, M., Sofonea, M.: A quasistatic viscoelastic contact problem with normal compliance and friction. J. Elast. 51, 105–126 (1998)
Rojek, J., Telega, J.J.: Numerical simulation of bone-implant systems using a more realistic model of the contact interfaces with adhesion. J. Theor. Appl. Mech. 37, 659–686 (1999)
Rojek, J., Telega, J.J., Stupkiewicz, S.: Contact problems with friction adhesion and wear in orthopaedic biomechanics II: numerical implementation and application to implanted knee joints. J. Theor. Appl. Mech. 39, 679–706 (2001)
Selmani, M., Sofonea, M.: Viscoelastic frictionless contact problems with adhesion. J. Inequal. Appl. 2006, Article ID 36130 (2006), pp. 22
Shillor, M., Sofonea, M., Telega, J.J.: Models and Analysis of Quasistatic Contact. Springer, Berlin (2004)
Sofonea, M., Han, W., Shillor, M.: Analysis and Approximation of Contact Problems with Adhesion or Damage. Chapman & Hall/CRC, Boca Raton (2006)
Sofonea, M., Matei, A.: Variational Inequalities with Applications. A Study of Antiplane Frictional Contact Problems. Advances in Mechanics and Mathematics. Springer, Berlin (2009)
Zeidler, E.: Nonlinear Functional Analysis and Applications, II A/B. Springer, New York (1990)
Acknowledgements
Research partially supported by a Marie Curie International Research Staff Exchange Scheme Fellowship within the 7th European Community Framework Programme under Grant Agreement No. 295118.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work is based on the author Ph.D. thesis conferred at Jagiellonian University, Krakow, Poland, 2010.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Kulig, A. Hyperbolic Hemivariational Inequalities for Dynamic Viscoelastic Contact Problems. J Elast 110, 1–31 (2013). https://doi.org/10.1007/s10659-012-9380-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10659-012-9380-7
Keywords
- Evolution inclusion
- Pseudomonotone operator
- Volterra-type operator
- Multifunction
- Hyperbolic
- Contact problem
- Hemivariational inequality
- Viscoelasticity
- Clarke subdifferential