Journal of Elasticity

, Volume 110, Issue 1, pp 1–31

Hyperbolic Hemivariational Inequalities for Dynamic Viscoelastic Contact Problems

Open AccessArticle

DOI: 10.1007/s10659-012-9380-7

Cite this article as:
Kulig, A. J Elast (2013) 110: 1. doi:10.1007/s10659-012-9380-7


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.


Evolution inclusionPseudomonotone operatorVolterra-type operatorMultifunctionHyperbolicContact problemHemivariational inequalityViscoelasticityClarke subdifferential

Mathematics Subject Classification


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
$$u''(t) + A \bigl(t, u'(t) \bigr) + B\bigl(t, u(t) \bigr)+ \int_0^t C(t-s) u(s) \,ds+ F \bigl(t, u(t), u'(t) \bigr) \ni f(t)$$
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
where g0 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 [2225], 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 UX, then we have ∥UX=sup{∥xX:xU}. 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.,
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
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
The index following comma indicates a partial derivative.

Given vH1 we denote its trace γv on Γ by v, where γ:H1(Γ;ℝd)→H1/2(Γ;ℝd)⊂L2(Γ;ℝ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 vH1/2(Γ;ℝd) we denote its normal and tangential components by vN=vn and vT=vvNn.

Let V be a separable Banach space. We identify H with its dual and we consider a Gelfand triple VHV 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 UX 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 xX in the direction vX, denoted by h0(x;v), is defined by (cf. [6])
$$h^0(x; v)= \limsup_{y\rightarrow{x},\lambda\downarrow{0}} \frac {h(y+\lambda{v})-h(y)}{\lambda}.$$

Generalized gradient

Let X be a Banach space. The generalized gradient of a function h:X→ℝ at xX, 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 xX if for all vX the one-sided directional derivative h′(x;v) exists and satisfies h0(x;v)=h′(x;v) for all vX.

Finally we state results needed in a sequel whose proofs can be found in Kulig [18].

Lemma 1

LetXandYbe Banach spaces andφ:X×Y→ℝ be such that
  1. (i)

    φ(⋅,y) is continuous for allyY;

  2. (ii)

    φ(x,⋅) is locally Lipschitz onYfor allxX;

  3. (iii)
    there is a constantc>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 onX×Y.

Proposition 2

LetXbe a separable reflexive Banach space, 0<T<∞ andφ:(0,TX→ℝ be a function such thatφ(⋅,x) is measurable for allxXandφ(t,⋅) is locally Lipschitz for allt∈(0,T). Then the multifunction (0,TX∋(t,x)↦∂φ(t,x)⊂Xis 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 mD)>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)=(u1(x,t),…,ud(x,t)) which describes the displacement at time t of a particle that has the position x=(x1,…,xd) 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
$$u''(t) - \operatorname{Div}\sigma(t) = f_0 (t) \quad \mbox{in} \ Q,$$
where \(\operatorname{Div}\) denotes the divergence operator for tensor valued functions and f0 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
$$ \sigma(t) = {\mathcal{A}} \bigl(t, \varepsilon \bigl(u'(t) \bigr) \bigr) + {\mathcal{B}} \bigl(t, \varepsilon \bigl(u(t) \bigr) \bigr) + \int_0^t {\mathcal{C}}(t-s) \varepsilon \bigl(u(s) \bigr) \,ds \quad \mbox{in} \ Q.$$
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) f1=f1(x,t) is applied, thus we have the condition σ(t)ν=f1 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
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 jk, k=1,…,4 are prescribed and locally Lipschitz in their last variables. The component στ represents the friction force on the contact surface and ∂jk, k=1,…,4 denote the Clarke subdifferentials of the superpotentials jk, 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.,
$$u(0) = u_0 \quad \mbox{and} \quad u'(0) =u_1 \quad \mbox{in} \ \Omega,$$
where u0 and u1 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
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
$$V = \{ v \in H_1 \mid v = 0 \ \mbox{on} \ \Gamma_D \}.$$
This is a closed subspace of H1 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,vV. By the Korn inequality \(\| v \|_{H_{1}} \le c \| \varepsilon(v) \|_{\mathcal{H}}\) for vV with c>0 (cf. Sect. 6.3 of [31]), it follows that \(\| \cdot\|_{H_{1}}\) and ∥⋅∥ are the equivalent norms on V. Identifying H=L2(Ω;ℝ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).
The viscosity operator \({\mathcal{A}} \colon Q \times{ \mathbb {S}^{d}} \to{ \mathbb {S}^{d}}\) is such that
  1. (i)

    \({\mathcal{A}}(\cdot,\cdot, \varepsilon)\) is measurable on Q for all \(\varepsilon\in{ \mathbb {S}^{d}}\);

  2. (ii)

    \({\mathcal{A}}(x, t, \cdot)\) is continuous on \({\mathbb {S}^{d}}\) for a.e. (x,t)∈Q;

  3. (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\);

  4. (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\);

  5. (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\).


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].

The elasticity operator \({\mathcal{B}} \colon Q \times{ \mathbb {S}^{d}} \to{ \mathbb {S}^{d}}\) is such that
  1. (i)

    \({\mathcal{B}}(\cdot,\cdot, \varepsilon)\) is measurable on Q for all εSd;

  2. (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\);

  3. (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\).


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 [2327, 32, 35] where the elasticity operator is assumed to be linear (which corresponds to the Hooke law).


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)={cijkl(x,t)} with cijkl=cjikl=clkijL(Q).


f0L2(0,T;H), f1L2(0,T;L2N;ℝd)), u0V, u1H.

The functions jk for k=1, 2 satisfy the following
The function jkC×(0,T)×(ℝd)2×ℝ→ℝ is such that
  1. (i)

    jk(⋅,⋅,ζ,ρ,r) is measurable for all ζ, ρ∈ℝd, r∈ℝ,

    jk(⋅,⋅,v(⋅),w(⋅),0)∈L1C×(0,T)) for all v, wL2C;ℝd);

  2. (ii)

    jk(x,t,⋅,⋅,r) is continuous for all r∈ℝ, a.e. (x,t)∈ΓC×(0,T),

    jk(x,t,ζ,ρ,⋅) is locally Lipschitz for all ζ, ρ∈ℝd, a.e. (x,t)∈ΓC×(0,T);

  3. (iii)

    |∂jk(x,t,ζ,ρ,r)|≤ck0+ck1∥ζ∥+ck2ρ∥+ck3|r| for all ζ, ρ∈ℝd, r∈ℝ, a.e. (x,t)∈ΓC×(0,T) with ckj≥0, j=0, 1, 2, 3, where ∂jk denotes the Clarke subdifferential of jk(x,t,ζ,ρ,⋅);

  4. (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 jk(x,t,ζ,ρ,⋅) in the direction s.


The functions jk for k=3, 4 satisfy the corresponding conditions with the last variable being in ℝd.

Moreover, we need the following hypothesis.

The functions jk for k=1,…,4 are such that for all ζ, ρ∈ℝd, a.e. (x,t)∈ΓC×(0,T), either all jk(x,t,ζ,ρ,⋅) are regular or all −jk(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 vV. We define \(f \in{\mathcal{V}}^{*}\) by
$$\bigl\langle f(t),v \bigr\rangle_{V^*\times V} = \bigl\langle f_0(t), v \bigr\rangle_H + \bigl\langle f_1(t), v \bigr \rangle_{L^2(\Gamma_N; \mathbb{R}^d)}$$
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
$$\bigl\langle u''(t), v \bigr\rangle + \bigl\langle \sigma(t), \varepsilon(v) \bigr\rangle_{\mathcal{H}} - \int_{\Gamma}\sigma(t) \nu\cdot v(x) \,d\Gamma= \bigl\langle f_0(t), v \bigr \rangle_H$$
for a.e. t∈(0,T). From the boundary conditions (4) and (5), we have
$$\int_{\Gamma} \sigma(t) \nu\cdot v \,d\Gamma= \int _{\Gamma_N} f_1(t) \cdot v \,d\Gamma+ \int _{\Gamma_C} \bigl( \sigma_\tau(t) \cdot v_\tau+ \sigma_\nu(t) v_\nu \bigr)\,d\Gamma.$$
On the other hand, the subdifferential boundary conditions (6) and (7) imply
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

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 γ:ZL2C;ℝd) be the trace operator. Let γ:L2C;ℝd)→Z stand for the adjoint operator to γ.

Problem\({\mathcal{P}}\): find \(u \in{\mathcal{V}}\) such that \(u' \in{\mathcal{W}}\) and
where A, B:(0,TVV 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
We will need the following hypotheses on the data.
The operator A:(0,TVV is such that
  1. (i)

    A(⋅,v) is measurable on (0,T) for all vV;

  2. (ii)

    A(t,⋅) is strongly monotone for a.e. t∈(0,T), i.e. there exists m1>0 such that 〈A(t,v)−A(t,u),vu〉≥m1vu2 for all u, vV, a.e. t∈(0,T);

  3. (iii)

    \(\| A(t, v) \|_{V^{*}} \le a_{0}(t) + a_{1} \| v \|\) for all vV, a.e. t∈(0,T) with a0L2(0,T), a0≥0 and a1>0;

  4. (iv)

    A(t,v),v〉≥αv2 for all vV, a.e. t∈(0,T) with α>0;

  5. (v)

    A(t,⋅) is hemicontinuous for a.e. t∈(0,T).


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.

The operator B:(0,TVV is such that
  1. (i)

    B(⋅,v) is measurable on (0,T) for all vV;

  2. (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, vV, a.e. t∈(0,T) with LB>0;

  3. (iii)

    \(\| B(t, v) \|_{V^{*}} \le b_{0}(t) + b_{1} \| v \|\) for all vV, a.e. t∈(0,T) with b0L2(0,T) and b0, b1≥0.


The operator C satisfies \(C\in L^{2}(0,T; {\mathcal{L}}(V, V^{*}))\).

The multifunction \(F \colon(0,T) \times V \times V \to{\mathcal{P}}_{fc}(Z^{*})\) is such that
  1. (i)

    F(⋅,u,v) is measurable on (0,T) for all u, vV;

  2. (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;

  3. (iii)

    \(\| F(t, u, v) \|_{Z^{*}} \le d_{0}(t) + d_{1} \| u \| + d_{2} \| v \|\) for all u, vV, a.e. t∈(0,T) with d0L2(0,T) and d0, d1, d2≥0.

The multifunction \(F \colon(0,T) \times V \times V \to{\mathcal{P}}_{fc}(Z^{*})\) satisfies H(F) and
  1. (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 ui, viV, i=1, 2, a.e. t∈(0,T) with m2, m3≥0.


\(f \in{\mathcal{V}}^{*}\), u0V, u1H.


\(\alpha> 2 \sqrt{3} c_{e} (d_{1} T + d_{2})\), where ce>0 is the embedding constant of V into Z, i.e., ∥⋅∥Zce∥⋅∥.


\(m_{1} > m_{2} + \frac{1}{\sqrt{2}} m_{3}T\).

Theorem 7

Under the hypothesesH(A), H(B), H(C), H(F)1, (H0), (H1) and (H2), 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,TVV by
for u, vV, a.e. t∈(0,T).

Lemma 8

Under the hypothesis\(H({\mathcal{A}})\), the operatorA:(0,TVVdefined by (9) satisfiesH(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}}}\).


By \(H({\mathcal{A}})\)(iii) and Hölder’s inequality, we have
$$\bigl| \bigl\langle A(t,v), w \bigr\rangle\bigr| \le\int_{\Omega} \bigl\| {\mathcal{A}} \bigl(x, t, \varepsilon(v) \bigr)\bigr\|_{{\mathbb {S}^d}} \bigl\|\varepsilon(w)\bigr\|_{{\mathbb {S}^d}} \,dx \le\sqrt{2} \bigl( \bigl\| {\widetilde{a_1}}(t)\bigr\|_{L^2(\Omega)} + {\widetilde{a_2}} \| v \| \bigr) \| w \| $$
for all v, wV, 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, wV. By Fubini’s theorem, we have that t↦〈A(t,v),w〉 is measurable for all v, wV. Hence, for all vV, the function tA(t,v) is weakly measurable from (0,T) into V. Since the latter is separable, from the Pettis measurability theorem, it follows that tA(t,v) is measurable for all vV, i.e. H(A)(i) holds. Next, from \(H({\mathcal{A}})\)(iv), it follows
for all u, vV, 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
$$\bigl\langle A(t, v), v \bigr\rangle= \int_{\Omega} {\mathcal{A}}\bigl(x, t, \varepsilon(v) \bigr) : \varepsilon(v) \,dx \ge{\widetilde{a_3}} \int_{\Omega} \bigl\|\varepsilon(v)\bigr\|^2_{{\mathbb {S}^d}} \,dx = {\widetilde{a_3}} \| v\|^2$$
for all vV, 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 operatorB:(0,TVVdefined by (10) satisfiesH(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}\).


The measurability of B(⋅,v) for all vV is shown analogously as in the proof of Lemma 8. Indeed, using \(H({\mathcal{B}})\)(ii) and Hölder’s inequality, we have
$$ \bigl| \bigl\langle B(t, v), w \bigr\rangle\bigr| \le\sqrt{2} \bigl( \bigl\| {\widetilde{b_1}}(t) \bigr\|_{L^2(\Omega)} + {\widetilde{b_2}}\| v \| \bigr) \| w \|$$
for all v, wV, a.e. t∈(0,T). From Fubini’s theorem, we know that t↦〈B(t,v),w〉 is measurable for all v, wV. Clearly tB(t,v) is weakly measurable from (0,T) into V for all vV and since V is separable, by the Pettis measurability theorem, we deduce that tB(t,v) is measurable for all vV. 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
$$\bigl| \bigl\langle B (t, u) - B (t, v), w \bigr\rangle\bigr| \le L_{\mathcal{B}} \int _\Omega\bigl\|\varepsilon(u) - \varepsilon(v)\bigr\|_{{\mathbb {S}^d}} \bigl\|\varepsilon(w)\bigr\|_{{\mathbb {S}^d}} \,dx \le L_{\mathcal{B}} \| u - v \| \| w \|$$
for all u, v, wV, 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 operatorCdefined by (11) satisfiesH(C).


From the hypothesis \(H({\mathcal{C}})\), we have
$$\bigl\langle C(t, u), v \bigr\rangle= \int_\Omega c(x, t)\varepsilon(u) : \varepsilon(v) \,dx \quad \mbox{for} \ u, v \in V, \ \mbox{a.e.} \ t \in(0,T).$$
Since c(x,t)={cijkl(x,t)} and cijklL(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 (H0) 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 gC×(0,T)×(ℝd)4→ℝ defined by
for ζ, ρ, ξ, η∈ℝd and a.e. (x,t)∈ΓC×(0,T).
In what follows, we will need the following hypotheses.
The function gC×(0,T)×(ℝd)4→ℝ satisfies the following
  1. (i)

    g(⋅,⋅,ζ,ρ,ξ,η) is measurable for all ζ, ρ, ξ, η∈ℝd,

    g(⋅,⋅,v(⋅),w(⋅),0,0)∈L1C×(0,T)) for all v, wL2C;ℝd);

  2. (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);

  3. (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 cg0, cg1, cg2≥0, where ∂g denotes the Clarke subdifferential of g(x,t,ζ,ρ,⋅,⋅);

  4. (iv)

    g0(x,t,⋅,⋅,⋅,⋅;χ,σ) is upper semicontinuous on (ℝd)4 for a.e. (x,t)∈ΓC×(0,T) and all χ, σ∈ℝd where g0 denotes the generalized directional derivative of Clarke of g(x,t,ζ,ρ,⋅,⋅) in the direction (χ,σ).


The function gC×(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 hypothesesH(jk) fork=1,…,4 andH(j)regthe functiongdefined by (14) satisfiesH(g) withcg0=max1≤k≤4ck0, cg1=max{max1≤k≤4ck1,c13,c33}, cg2=max{max1≤k≤4ck2,c23,c43}. Additionally the following equality holds
for ζ, ρ, ξ, η, χ, σ∈ℝdand a.e. (x,t)∈ΓC×(0,T) where\(j^{0}_{k}\)denotes the generalized directional derivative ofjk(x,t,ζ,ρ,⋅) fork=1,…,4.


The conditions H(g)(i) and (ii) follow directly from the hypotheses on jk for k=1,…,4. For the proof of (15), let ζ, ρ, ξ, η∈ℝd and (x,t)∈ΓC×(0,T). Let us also suppose that jk(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
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
By Proposition 2.3.3 of [6], we have
$$ g^0 (x, t,\zeta, \rho, \xi, \eta; \chi, \sigma) \le \sum_{k=1}^4 ({\widehat{j}}_k)^0(x, t,\zeta, \rho, \xi, \eta; \chi, \sigma),$$
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 N1ξ=ξν and N2ξ=ξτ for ξ∈ℝd. From Theorem 2.3.10 of [6] applied to the functions jk, k=1,…,k and the operators N1 and N2, we get
The latter four inequalities together with (17) imply
for ζ, ρ, ξ, η, χ, σ∈ℝd and a.e. (x,t)∈ΓC×(0,T). On the other hand, we have
which together with (18) and (16) implies
$$g'_{\xi\eta}(x, t, \zeta, \rho, \xi, \eta; \chi, \sigma) \ge g^0(x, t, \zeta, \rho, \xi, \eta; \xi, \sigma)$$
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 −jk 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,ζ,ρ,ξ,η;χ,σ)=g0(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
Using Proposition 2.1.2 of [6] and H(j1)(iii), we deduce
$$j^0_1 (x, t, \zeta, \rho,\xi_\nu;\chi_\nu) \le|\chi_\nu| \bigl(c_{10} +c_{11} \| \zeta\| + c_{12} \| \rho\| + c_{13} |\xi_\nu|\bigr).$$
Analogously, by H(jk)1(iii) for k=2, 3, 4, we obtain the similar inequalities. Recalling that |ξν|≤∥ξ∥ and ∥ξτ∥≤∥ξ∥ for all ξ∈ℝd, from the above, we have
$$\bigl\langle({\overline {\chi}}, {\overline {\sigma}}), (\chi, \sigma) \bigr \rangle_{(\mathbb{R}^d)^2} \le \bigl( c_{g0} + c_{g1} \bigl(\| \zeta\|+ \| \xi\|\bigr) + c_{g2} \bigl(\| \rho\| + \| \eta\|\bigr) \bigr) \bigl\| (\chi,\sigma)\bigr\|_{(\mathbb{R}^d)^2},$$
where cg0=maxck0, cg1=max{maxck1,c13,c33}, cg2=max{maxck2,c23,c43}. Hence H(g)(iii) holds.
Finally, we suppose the hypotheses H(jk)(iv) for k=1,…,4 and H(j)reg. In order to prove H(g)(iv), it is enough to show that g0(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(jk)(iv) for k=1,…,4 and equality (15), we find
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,TL2C;ℝd)4→ℝ defined by
$$ G(t, w, z, u, v) = \int_{\Gamma_C} g \bigl(x, t, w(x),z(x), u(x), v(x) \bigr) \,d\Gamma $$
for w, z, u, vL2C;ℝd), t∈(0,T), where the integrand g is given by (14).
We introduce the following hypothesis.
The functional G:(0,TL2C;ℝd)4→ℝ is such that
  1. (i)

    G(⋅,w,z,u,v) is measurable for all w, z, u, vL2C;ℝd),

    G(⋅,w,z,0,0)∈L1(0,T) for all w, zL2C;ℝd);

  2. (ii)

    G(t,w,z,⋅,⋅) is Lipschitz continuous on bounded subsets of L2C;ℝd)2 for all w, zL2C;ℝd), a.e. t∈(0,T);

  3. (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, vL2C;ℝd), a.e. t∈(0,T) with cG0, cG1, cG2≥0, where ∂G denotes the Clarke subdifferential of G(t,w,z,⋅,⋅);

  4. (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,$$
    where G0 denotes the generalized directional derivative of G(t,w,z,⋅,⋅) at a point (u,v) in the direction \(({\overline {u}}, {\overline {v}})\);
  5. (v)

    \(G^{0} (t, \cdot, \cdot, \cdot, \cdot; {\overline {u}}, {\overline {v}})\) is upper semicontinuous on L2C;ℝd)4 for all \({\overline {u}}, {\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\), a.e. t∈(0,T).


The functional G:(0,TL2C;ℝd)4→ℝ is such that either G(t,w,z,⋅,⋅) or −G(t,w,z,⋅,⋅) is regular for all w, zL2C;ℝd), a.e. t∈(0,T).

Lemma 12

Under the hypothesesH(g) andH(g)reghold the functionalGdefined by (19) satisfiesH(G) with\(c_{G0} = c_{g0} \sqrt{5 m(\Gamma_{C})}\), \(c_{G1} = c_{g1} \sqrt{5}\), \(c_{G2} = c_{g2} \sqrt{5}\)andH(G)reg.


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, vL2C;ℝ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
$$g(x, t, \zeta, \rho, \xi, \eta) - g(x, t, \zeta, \rho, 0, 0) = \bigl( \bigl(\xi^*, \eta^* \bigr), (\xi, \eta) \bigr)_{(\mathbb{R}^d)^2}$$
for all ζ, ρ, ξ, η∈ℝd, a.e. (x,t)∈ΓC×(0,T). Hence, by H(g)(iii), we obtain
for all w, z, u, vL2C;ℝ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, zL2C;ℝd) and let \({\widetilde{g}} \colon\Gamma_{C} \times(0, T) \times(\mathbb{R}^{d})^{2}\to \mathbb{R}\) be defined by
$${\widetilde{g}}(x, t, \xi, \eta) = g \bigl(x, t, w(x), z(x), \xi, \eta \bigr)\quad \mbox{for} \ \xi, \eta\in \mathbb{R}^d, \ \mbox{a.e.} \ (x, t) \in \Gamma_C \times(0, T).$$
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
with ωL2C). 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 L2C;ℝd) for all w, zL2C;ℝd), a.e. t∈(0,T). Hence H(G)(ii) is satisfied. Furthermore, for w, z, u, vL2C;ℝd) and a.e. t∈(0,T), we have
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
$$\bigl\| ({\overline {u}}, {\overline {v}}) \bigr\|_{L^2(\Gamma_C;\mathbb{R}^d)^2} \le \sqrt{5} \bigl(c_{g0} \sqrt{m(\Gamma_C)} + c_{g1} \bigl(\| w \| + \|u \|\bigr) + c_{g2}\bigl(\| z \| + \| v \|\bigr) \bigr),$$
which entails that the condition H(G)(iii) holds with the aforementioned constants cg0, cg1 and cg2.
Next, by the Fatou lemma, we have
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
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
$$G'_{(u,v)}\bigl(t,w,z,u,v; {\overline {u}}, {\overline {v}}\bigr) =G^0\bigl(t,w,z,u,v; {\overline {u}}, {\overline {v}}\bigr)$$
which means that G(t,w,z,⋅,⋅) is regular for all w, zL2C;ℝ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
$$(-G)^0\bigl(t, w, z, u, v; {\overline {u}}, {\overline {v}}\bigr) = G^0 \bigl(t, w,z, u, v; -{\overline {u}}, -{\overline {v}}\bigr)$$
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 {wn}, {zn}, {un}, {vn} be sequences in L2C;ℝd) such that wnw, znz, unu and vnv in L2C;ℝd). We may assume by passing to subsequences, if necessary, that wn(x)→w(x), zn(x)→z(x), un(x)→u(x) and vn(x)→v(x) in ℝd for a.e. x∈ΓC, ∥wn(x)∥≤w0(x), ∥zn(x)∥≤z0(x), ∥un(x)∥≤u0(x) and ∥vn(x)∥≤v0(x) with w0, z0, u0, v0L2C;ℝd). By the Fatou lemma and H(g)(iv), we obtain
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 L2C;ℝ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
$$\everymath{\displaystyle}\begin{array}[b]{@{}l@{}l@{\quad}l@{\quad}l}R& \colon Z \times Z \to L^2 \bigl(\Gamma_C;\mathbb{R}^d \bigr)^2& \text{by} \ R(z_1, z_2) = (\gamma z_1, \gamma z_2)& \text{for all} \ z_1, z_2 \in Z,\\[2mm]R^*&\colon L^2 \bigl(\Gamma_C;\mathbb{R}^d\bigr)^2 \to Z^* \times Z^*&\text{by} \ R^*(u, v) = \bigl(\gamma^* u, \gamma^* v \bigr)& \text{for\ all} \ u, v \in L^2 \bigl(\Gamma_C;\mathbb{R}^d \bigr),\\[2mm]S&\colon Z^* \times Z^* \to Z^*&\text{by} \ S \bigl(z^*_1, z^*_2 \bigr) =z^*_1 + z^*_2& \text{for\ all} \ z^*_1, z^*_2 \in Z^*.\end{array}$$
We define the following multivalued mapping \(F \colon(0,T) \times V\times V \to2^{Z^{*}}\) by
$$ F(t, u, v) = S R^* \partial G \bigl(t, R(u, v), R(u, v) \bigr)\quad \mbox{for} \ u, v \in V, \ \mbox{a.e.} \ t \in(0,T),$$
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, Y1, Y2be 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 byF(ω)=AG(ω) forω∈Ω is measurable.

Lemma 14

UnderH(G) andH(G)reg, the multifunction\(F \colon(0,T) \times V \times V \to2^{Z^{*}}\)defined by (22) satisfiesH(F) withd0(t)=cG0γ∥, d1=2cecG1γ2andd2=2cecG2γ2.


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 L2C;ℝ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, vV, 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 L2C;ℝd)2 (being Lipschitz continuous on bounded subsets) for a.e. t∈(0,T), according to Lemma 2, we know that
$$(0, T) \times L^2 \bigl(\Gamma_C; \mathbb{R}^d\bigr)^2 \ni(t, {\overline {u}}, {\overline {v}}) \quad \mapsto \quad \partial G(t, w, z, {\overline {u}}, {\overline {v}}) \subset L^2 \bigl(\Gamma_C;\mathbb{R}^d \bigr)^2$$
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:L2C;ℝd)2Z 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, vV.
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
$$F^{-}(K) = \bigl\{ (u,v) \in V \times V \mid F(t, u, v) \cap K \not=\emptyset \bigr\}$$
is closed in Z×Z. Let t∈(0,T), {(un,vn)}⊂F(K) and (un,vn)→(u,v) in Z×Z. We can find ζnF(t,un,vn)∩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
$$ \bigl(\eta_n^1,\eta_n^2\bigr) \in\partial G (t, \gamma u_n, \gamma v_n, \gamma u_n ,\gamma v_n) \quad \mbox{for a.e.} \ t \in(0,T).$$
Using the continuity of the trace operator, we have γunγu, γvnγv in L2C;ℝ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 L2C;ℝd)2. Thus, by passing to a subsequence, if necessary, we may suppose that
$$\eta_n^1 \to\eta^1, \quad \eta_n^2 \to\eta^2 \quad \mbox{weakly\ in} \ L^2 \bigl(\Gamma_C; \mathbb{R}^d \bigr)$$
for some η1, η2L2C;ℝd). Now, we will use the fact that the graph of ∂G(t,⋅,⋅,⋅,⋅) is closed in L2C;ℝd)4×(w-L2C;ℝ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
$$\bigl(\eta^1, \eta^2 \bigr) \in\partial G(t, \gamma u,\gamma v, \gamma u, \gamma v).$$
Furthermore, since {ζn} also remains in a bounded subset of Z, we may assume that ζn→ζ weakly in Z. Because ζnK and K is weakly closed in Z, it follows that ζ∈K. By the continuity and linearity of the operator γ, we obtain
$$\gamma^*\eta_n^1 \to\gamma^*\eta^1,\quad \gamma^*\eta_n^2 \to\gamma^*\eta^2 \quad \mbox{weakly\ in} \ Z^*.$$
$$\zeta_n = \gamma^*\eta_n^1 + \gamma^*\eta_n^2 \to\gamma^*\eta^1 + \gamma^*\eta^2 = \zeta^1 + \zeta^2 \quad \mbox{weakly\ in} \ Z^*$$
and ζ=ζ12, where (ζ12)=(γη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, vV and zZ, zF(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, η2L2C;ℝd) and (η1,η2)∈∂G(t,γu,γv,γu,γv). Using the estimate H(G)(iii), we have
where ∥γ∥=∥γ∥ denotes the norm in \({\mathcal{L}}(L^{2}(\Gamma_{C};\mathbb{R}^{d}), Z^{*})\) and ce>0 is the embedding constant of V into Z. This implies that F satisfies H(F)(iii) with d0(t)=cG0γ∥, d1=2cecG1γ2 and d2=2cecG2γ2.
To complete the proof, it is enough to show that the graph of ∂G(t,⋅,⋅,⋅,⋅) is closed in L2C;ℝd)4×(w-L2C;ℝd)2)-topology for a.e. t∈(0,T). This is a simple consequence of H(G)(v). Indeed, let t∈(0,T), {wn}, {zn}, {un}, {vn} be sequences in L2C;ℝd) such that wnw, znz, unu, vnv in L2C;ℝ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 L2C;ℝ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
$$\bigl\langle \bigl(\eta^1_n, \eta^2_n\bigr), (\overline {u},\overline {v}) \bigr\rangle_{L^2(\Gamma_C;\mathbb{R}^d)^2} \le G^0(t,w_n, z_n, u_n, v_n; \overline {u},\overline {v}) \quad \mbox{for\ all} \ \overline {u}, \overline {v} \in L^2 \bigl(\Gamma_C; \mathbb{R}^d \bigr).$$
The hypothesis H(G)(v) implies
$$\bigl\langle \bigl(\eta^1, \eta^2 \bigr), (\overline {u},\overline {v}) \bigr\rangle_{L^2(\Gamma_C; \mathbb{R}^d)^2} \le\limsup G^0 (t,w_n, z_n, u_n, v_n; \overline {u},\overline {v}) \le G^0 (t, w, z, u, v; \overline {u}, \overline {v})$$
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 jk for k=1,…,4.
j1C×(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, r1, r2∈ℝ, a.e. (x,t)∈ΓC×(0,T) with a constant L1≥0.
j2C×(0,T)×(ℝd)2×ℝ→ℝ is such that
for all ζ1, ζ2, ρ1, ρ2∈ℝd, r1, r2∈ℝ, a.e. (x,t)∈ΓC×(0,T) with a constant L2≥0.
j3C×(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 L3≥0.
j4C×(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 L4≥0.

Remark 15

The hypothesis H(j2)1 (and H(j4)1) has been introduced and used earlier in [23] (under the name of relaxed monotonicity condition) in the case when j2 (and j4) does not depend on the variables ζ and ρ.

Lemma 16

Assume that the hypothesesH(jk) hold fork=1,…,4, and that either
Then the multifunction\(F \colon(0,T) \times V \times V \to2^{Z^{*}}\)defined by (22) with the functionalGgiven by (19) and its integrandgdefined by (14), satisfies the conditionH(F)1withm2=cek1γ2andm3=cek2γ2.


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:
for all ξi, ηi∈ℝd, i=1, 2, a.e. (x,t)∈ΓC×(0,T) with k1, k2≥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
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 N1ξ=ξν, N2ξ=ξτ 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
$${\overline {\chi}}_1 = \alpha_1 \nu+\gamma_{1\tau}, \quad {\overline {\sigma}}_1 = \beta_1\nu+ \delta_{1\tau}, \quad {\overline {\chi}}_2 =\alpha_2 \nu+ \gamma_{2\tau}, \quad {\overline {\sigma}}_2 = \beta_2 \nu+ \delta_{2\tau},$$
for i=1, 2. By the hypotheses H(jk)1 for k=1,3, we have
whereas for k=2,4 we have
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
with k1=max{L1,2L2,L3,2L4} and k2=max{2L1,L2,2L3,L4}. 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
for all wi, ziL2C;ℝd), a.e. t∈(0,T) with k1, k2≥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
$$\bigl({\overline {u}}(x), {\overline {v}}(x) \bigr) \in\partial g \bigl(x, t, w(x), z(x),u(x), v(x) \bigr) \quad \mbox{for\ a.e.} \ (x, t) \in\Gamma_C \times(0,T),$$
for every w, z, u, v, \({\overline {u}}\), \({\overline {v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\). For the proof of (27), let wi, zi, \({\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
$$\bigl({\overline {u}}_i(x), {\overline {v}}_i(x) \bigr) \in \partial g \bigl(x, t, w_i(x), z_i(x),w_i(x), z_i(x) \bigr)$$
for a.e. (x,t)∈ΓC×(0,T). Exploiting the inequality (26), we have
for a.e. x∈ΓC. Integrating this inequality over ΓC and applying the Hölder inequality, we obtain
which means that (27) is satisfied.
Finally we show that the multifunction F defined by (22) satisfies H(F)1(iv). Let ui, viV, t∈(0,T) and ziF(t,ui,vi) for i=1, 2. By the definition of F, we have
with ai, biZ and ηi, ξiL2C;ℝd), i=1, 2. Exploiting (27) and the continuity of the trace operator, we obtain
where ce>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 m2=cek1γ2 and m3=cek2γ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) andH(jk) fork=1,…,4, every solution of the Problem\(\mathcal{P}\)with the multivalued mapping of the form (22), withG:(0,TL2C;ℝd)4→ℝ of the form (19) and its integrandgC×(0,T)×(ℝd)4→ℝ given by (14), and the operatorsA, BandCdefined by (9), (10) and (11) respectively, is a solution to Problem (HVI).


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
$$\everymath{\displaystyle}\begin{array}{@{}l}u''(t) + A \bigl(t, u'(t) \bigr) + B\bigl(t, u(t) \bigr)+ \int_0^t C(t-s) u(s) \,ds + z (t) = f(t) \quad \mbox{a.e.} \ t, \\[4mm]z (t) \in S R^* \partial G \bigl(t, R \bigl(u(t), u'(t)\bigr), R \bigl(u(t), u'(t) \bigr) \bigr) \quad \mbox{a.e.} \ t \in (0,T),\\[2mm]u(0) = u_0, \quad u'(0) = u_1.\end{array}$$
Hence, by the definition of the multivalued term, we obtain z(t)=z1(t)+z2(t), (z1(t),z2(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 ηiL2(0,T;L2C;ℝd)), i=1, 2. The last inclusion, by the definition of the subdifferential is equivalent to
$$ \bigl\langle\eta_1(t), {\overline {u}} \bigr \rangle_{L^2(\Gamma_C; \mathbb{R}^d)} + \bigl\langle\eta_2(t), {\overline {v}} \bigr \rangle_{L^2(\Gamma_C; \mathbb{R}^d)} \le G^0 \bigl(t, \gamma u(t), \gamma u'(t), \gamma u(t), \gamma u'(t); {\overline {u}}, {\overline {v}}\bigr)$$
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
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 vV and a.e. t∈(0,T), we deduce
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 eitherj1=j3=0 orj2=j4=0, thenuis a solution to Problem (HVI) if and only ifuis a solution to Problem\(\mathcal{P}\).


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)=u0, u′(0)=u1 and
for all vV, 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
for all vV, a.e. t∈(0,T). Suppose now that j1=j3=0. Then g is given by g(x,t,ζ,ρ,ξ,η)=j2(x,t,ζ,ρ,ην)+j4(x,t,ζ,ρ,ητ) for all ζ, ρ, ξ, η∈ℝd, a.e. (x,t)∈ΓC×(0,T) and is independent of ξ, and consequently G is given by
$$G(t, {\widehat{w}}, {\widehat{z}}, {\widehat{u}}, {\widehat{v}}) = \int _{\Gamma_C} \bigl( j_2 \bigl(x, t, {\widehat{w}}(x), {\widehat{z}}(x), {\widehat{v}}_\nu(x) \bigr) + j_4\bigl(x, t, {\widehat{w}}(x), {\widehat{z}}(x), {\widehat{v}}_\tau(x)\bigr) \bigr) \,d\Gamma $$
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 G1, i.e.,
$$ G(t, {\widehat{w}}, {\widehat{z}}, {\widehat{u}}, {\widehat{v}}) =G_1(t, {\widehat{w}}, {\widehat{z}}, {\widehat{v}})\quad \mbox{for} \ {\widehat{w}}, {\widehat{z}}, {\widehat{u}}, {\widehat{v}} \in L^2\bigl(\Gamma_C;\mathbb{R}^d \bigr), \ \mbox{a.e.} \ t \in(0,T),$$
with G1:(0,TL2C;ℝd)3→ℝ. We observe that
$$ G^0(t, {\widehat{w}}, {\widehat{z}}, {\widehat{u}}, {\widehat{v}}; {\overline {u}}, {\overline {v}}) = G^0_1(t, {\widehat{w}}, {\widehat{z}}, {\widehat{v}}; {\overline {v}})$$
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
$$ \partial G(t, {\widehat{w}}, {\widehat{z}}, {\widehat {u}}, {\widehat{v}}) = \{ 0 \} \times\partial G_1(t, {\widehat{w}}, {\widehat{z}}, {\widehat{v}})$$
for all \({\widehat{w}}\), \({\widehat{z}}\), \({\widehat{u}}\), \({\widehat{v}} \in L^{2}(\Gamma_{C};\mathbb{R}^{d})\), a.e. t∈(0,T), where ∂G1 denotes the generalized gradient of \(G_{1}(t, {\widehat{w}}, {\widehat{z}}, \cdot)\). From (31)–(34), we obtain
for all vV, a.e. t∈(0,T). Using the equality
$$G_1^0 \bigl(t, \gamma u(t), \gamma u'(t),\gamma u'(t); \gamma v \bigr) = (G_1 \circ \gamma)^0 \bigl(t, \gamma u(t), \gamma u'(t),u'(t); v \bigr)$$
(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
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
for all \({\widetilde{u}}\), vV, a.e. t∈(0,T). Therefore, from (37), we have
$$f(t) - u''(t) - A \bigl(t, u'(t) \bigr) -B \bigl(t, u(t) \bigr) - \int_0^t C(t - s)u(s) \,ds \in F \bigl(t, u(t), u'(t) \bigr)$$
for a.e. t∈(0,T) which means that u is a solution Problem \(\mathcal{P}\).

The case when j2=j4=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(jk) fork=1,…,4, either (24) or (25), and the following conditions
$${\widetilde{a}}_3 > 4 \sqrt{15} c_e^2\| \gamma\|^2 \Bigl( T \max \Bigl\{ \max_{1 \le k \le4}c_{k1}, c_{13}, c_{33} \Bigr\} + \max \Bigl\{\max_{1 \le k \le4} c_{k2}, c_{23}, c_{43} \Bigr\}\Bigr)$$
$${\widetilde{a}}_4 > c_e \| \gamma\|^2\biggl( \max\{L_1, 2 L_2, L_3, 2L_4 \} + \frac{T}{\sqrt{2}} \max\{2 L_1, L_2,2 L_3, L_4 \} \biggr) ,$$
Problem (HVI) admits a solution.

Theorem 20

Assume the hypotheses of Theorem 19. If, in addition, eitherj1=j3=0 orj2=j4=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
on ΓC×(0,T).

4.1 Prescribed Normal Stress and Nonmonotone Friction Laws

Let us consider the following boundary conditions on ΓC×(0,T):
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 j1(x,t,ζ,ρ,r)=S(x,t)r and j2=0, where SLC×(0,T)), S≥0 is a given normal stress. It is clear that j1(x,t,ζ,ρ,⋅) is convex (hence regular), and that H(j1) and H(j1)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 j4=j4(x,t,ζ,ρ,θ) is independent of (ζ,ρ) and nonconvex in θ. Then the friction law (41) takes the form
$$ -\sigma_\tau(t) \in\partial j_4\bigl(x,t, u'_\tau(t) \bigr)\quad \mbox{on} \ \Gamma_C \times(0, T).$$
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 j4:ℝ→ℝ be given by j4(r)=min{φ1(r),φ2(r)}, where φ1(r)=ar2, \(\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:
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 ∂j4 has at most linear growth. Since j4 is the minimum of the strictly differentiable functions, the function −j4 is regular. From the above and Proposition 2.1.1 of [6], the hypothesis H(j4) holds.
Another example of nonmonotone friction law can be obtained from the nonconvex function j4:ℝd→ℝ given by
for ξ∈ℝd, where M is a positive constant. This function can be represented as a difference of convex functions, i.e., j4(ξ)=φ1(ξ)−φ2(ξ) for ξ∈ℝd, where φ1(ξ)=∥ξ2 and
Since ∂φ1(ξ) is a singleton for ξ∈ℝd, by Lemma 14 of [29], we deduce that −j4 is regular and ∂j4(ξ)=∂φ1(ξ)−∂φ2(ξ) for ξ∈ℝd. Additionally, it is easy to observe that j4 satisfies H(j4).

4.1.2 Contact with Nonmonotone Normal Damped Response

This contact condition is of the form (38) with j1=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
$$- \sigma_\nu(t) \in\partial j_2 \bigl(u'_\nu(t)\bigr) \quad \mbox{on} \ \Gamma_C \times(0, T).$$
The specific example of the nonmonotone normal damped response condition is given by the following nonconvex, regular and d.c. function
It is clear that |∂j2(r)|≤1+|r| for r∈ℝ; The function j2 can be represented as the difference of convex functions, i.e. j2(r)=φ1(r)−φ2(r), r∈ℝ, where
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 j2 is regular. From the above and the Proposition 2.1.1 of [6], it is obvious that H(j2) holds. Next, we verify that η1η2−(r1r2) for all r1<r2 and ηi∂j2(ri), i=1, 2 which implies relaxed monotonicity condition (∂j2(r1)−∂j2(r2))(r1r2)≥−|r1r2|2 (cf. Remark 15), as well as H(j2)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:
on ΓC×(0,T), where kLC), k>0 a.e. on ΓC, 0<q≤1, ψLC×(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 j1=j3=0, \(j_{2}(x, t, \zeta, \rho, r) = \frac{k(x)}{q+1}|r|^{q+1}\) and j4(x,t,ζ,ρ,θ)=ψ(x,t)∥θ∥. Therefore
Thus H(j2)1 holds with \(c_{20} = c_{23} = \| k_{0}\|_{L^{\infty}(\Gamma_{C})}\), c21=c22=0 while j4 satisfies H(j4)1 with \(c_{40} = \| \psi\|_{L^{\infty}(\Gamma_{C} \times(0,T))}\), c41=c42=c43=0 and H(j4)2; j4 is also convex (so regular) in θ and H(j4)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
$$ -\sigma_\tau(t) \in\partial j_3\bigl(x, t, u(t), u'(t), u_\tau(t) \bigr).$$
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 j3 which describes such type of contact. We give two examples of nonconvex functions which appear in (43).
In the first example the superpotential j3:ℝ→ℝ and its subdifferential are of the form
It is easy to check that the function j3 satisfies H(j3). Furthermore, j3 can be represented as the difference of convex functions, j3(r)=φ1(r)−φ2(r), r∈ℝ with
Since φ1, φ2 are convex functions and ∂φ1 is a singleton, from Lemma 14 of [29] we deduce that the function −j3 is regular. Moreover, its subdifferential ∂j3 is Lipschitz which implies that the condition H(j3)1 is fulfilled.
In the second example, we consider the function j3:ℝ→ℝ such that
Similarly to the previous case, j3 satisfies H(j3)1. It can be also represented as the difference of convex functions, j3(r)=φ1(r)−φ2(r), r∈ℝ, where
Again, from the fact that φ1 and φ2 are convex functions and ∂φ1 is a singleton, we conclude that −j3 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].


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].


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.

Copyright information

© The Author(s) 2012

Authors and Affiliations

  1. 1.Faculty of Mathematics and Computer Science, Institute of Computer ScienceJagiellonian UniversityKrakowPoland