Journal of Elasticity

, Volume 110, Issue 1, pp 1–31

Hyperbolic Hemivariational Inequalities for Dynamic Viscoelastic Contact Problems

Authors

    • Faculty of Mathematics and Computer Science, Institute of Computer ScienceJagiellonian University

DOI: 10.1007/s10659-012-9380-7

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.

Keywords

Evolution inclusion Pseudomonotone operator Volterra-type operator Multifunction Hyperbolic Contact problem Hemivariational inequality Viscoelasticity Clarke subdifferential

Mathematics Subject Classification

35L90 35R70 45P05 47H04 47H05 74H20 74H25

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
https://static-content.springer.com/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 [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 ∥U X =sup{∥x X :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.,
https://static-content.springer.com/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
https://static-content.springer.com/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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Eque_HTML.gif
The index following comma indicates a partial derivative.

Given vH 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 vH 1/2(Γ;ℝ d ) we denote its normal and tangential components by v N =vn and v T =vv N n.

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 h 0(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 h 0(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

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

    φ(⋅,y) is continuous for all yY;

     
  2. (ii)

    φ(x,⋅) is locally Lipschitz on Y for all xX;

     
  3. (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,TX→ℝ be a function such that φ(⋅,x) is measurable for all xX and φ(t,⋅) is locally Lipschitz for all t∈(0,T). Then the multifunction (0,TX∋(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
$$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 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
$$ \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.$$
(1)
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
https://static-content.springer.com/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.,
$$u(0) = u_0 \quad \mbox{and} \quad u'(0) =u_1 \quad \mbox{in} \ \Omega,$$
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ2_HTML.gif
(2)
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ3_HTML.gif
(3)
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ4_HTML.gif
(4)
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ5_HTML.gif
(5)
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ6_HTML.gif
(6)
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ7_HTML.gif
(7)
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ8_HTML.gif
(8)
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 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,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=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
  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].

\(\underline{H({\mathcal{B}})}\):
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 εS d ;

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

\(\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 0L 2(0,T;H), f 1L 2(0,T;L 2 N ;ℝ d )), u 0V, u 1H.

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
  1. (i)

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

    j k (⋅,⋅,v(⋅),w(⋅),0)∈L 1 C ×(0,T)) for all v, wL 2 C ;ℝ d );

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

     
  3. (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,ζ,ρ,⋅);

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

     

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 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
https://static-content.springer.com/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
https://static-content.springer.com/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 γ:ZL 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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equq_HTML.gif
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
https://static-content.springer.com/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,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 m 1>0 such that 〈A(t,v)−A(t,u),vu〉≥m 1vu2 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 a 0L 2(0,T), a 0≥0 and a 1>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.

\(\underline{H(B)}\):
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 L B >0;

     
  3. (iii)

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

     
\(\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
  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 d 0L 2(0,T) and d 0, d 1, d 2≥0.

     
\(\underline{H(F)_{1}}\):
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 u i , v i V, i=1, 2, a.e. t∈(0,T) with m 2, m 3≥0.

     
\(\underline{(H_{0})}\):

\(f \in{\mathcal{V}}^{*}\), u 0V, u 1H.

\(\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,TVV by
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ9_HTML.gif
(9)
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ10_HTML.gif
(10)
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ11_HTML.gif
(11)
for u, vV, a.e. t∈(0,T).

Lemma 8

Under the hypothesis \(H({\mathcal{A}})\), the operator A:(0,TVV 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
$$\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 \| $$
(12)
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equs_HTML.gif
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 operator B:(0,TVV 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 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 \|$$
(13)
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 operator C defined by (11) satisfies H(C).

Proof

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)={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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ14_HTML.gif
(14)
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
  1. (i)

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

    g(⋅,⋅,v(⋅),w(⋅),0,0)∈L 1 C ×(0,T)) for all v, wL 2 C ;ℝ 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 c g0, c g1, c g2≥0, where ∂g denotes the Clarke subdifferential of g(x,t,ζ,ρ,⋅,⋅);

     
  4. (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 (χ,σ).

     
\(\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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ15_HTML.gif
(15)
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ16_HTML.gif
(16)
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equw_HTML.gif
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),$$
(17)
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equx_HTML.gif
The latter four inequalities together with (17) imply
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ18_HTML.gif
(18)
for ζ, ρ, ξ, η, χ, σ∈ℝ d and a.e. (x,t)∈Γ C ×(0,T). On the other hand, we have
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equy_HTML.gif
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 −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
https://static-content.springer.com/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
$$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(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
$$\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 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
https://static-content.springer.com/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,TL 2 C ;ℝ 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 $$
(19)
for w, z, u, vL 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,TL 2 C ;ℝ d )4→ℝ is such that
  1. (i)

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

    G(⋅,w,z,0,0)∈L 1(0,T) for all w, zL 2 C ;ℝ d );

     
  2. (ii)

    G(t,w,z,⋅,⋅) is Lipschitz continuous on bounded subsets of L 2 C ;ℝ d )2 for all w, zL 2 C ;ℝ 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, vL 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,⋅,⋅);

     
  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,$$
    (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}})\);
     
  5. (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).

     
\(\underline{H(G)_{reg}}\):

The functional G:(0,TL 2 C ;ℝ d )4→ℝ is such that either G(t,w,z,⋅,⋅) or −G(t,w,z,⋅,⋅) is regular for all w, zL 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, vL 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
$$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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equaf_HTML.gif
for all w, z, u, vL 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, zL 2 C ;ℝ 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
https://static-content.springer.com/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, zL 2 C ;ℝ d ), a.e. t∈(0,T). Hence H(G)(ii) is satisfied. Furthermore, for w, z, u, vL 2 C ;ℝ d ) and a.e. t∈(0,T), we have
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ21_HTML.gif
(21)
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 c g0, c g1 and c g2.
Next, by the Fatou lemma, we have
https://static-content.springer.com/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
https://static-content.springer.com/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
$$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, zL 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
$$(-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 {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 0L 2 C ;ℝ d ). By the Fatou lemma and H(g)(iv), we obtain
https://static-content.springer.com/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
$$\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),$$
(22)
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, 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 L 2 C ;ℝ 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 :L 2 C ;ℝ 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), {(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
$$ \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).$$
(23)
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
$$\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, η 2L 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
$$\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 ζ n K 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^*.$$
Hence
$$\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 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, η 2L 2 C ;ℝ d ) and (η 1,η 2)∈∂G(t,γu,γv,γu,γv). Using the estimate H(G)(iii), we have
https://static-content.springer.com/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
$$\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 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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equaz_HTML.gif
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbb_HTML.gif
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ24_HTML.gif
(24)
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ25_HTML.gif
(25)
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:
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ26_HTML.gif
(26)
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
https://static-content.springer.com/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
$${\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},$$
with
https://static-content.springer.com/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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbf_HTML.gif
whereas for k=2,4 we have
https://static-content.springer.com/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
https://static-content.springer.com/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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ27_HTML.gif
(27)
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
$$\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 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
$$\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
https://static-content.springer.com/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
https://static-content.springer.com/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
https://static-content.springer.com/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
https://static-content.springer.com/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,TL 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
$$\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}$$
(28)
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
$$ \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)$$
(29)
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ30_HTML.gif
(30)
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
https://static-content.springer.com/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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ31_HTML.gif
(31)
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ32_HTML.gif
(32)
for all vV, 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
$$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 G 1, 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),$$
(33)
with G 1:(0,TL 2 C ;ℝ 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}})$$
(34)
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}})$$
(35)
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ36_HTML.gif
(36)
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ37_HTML.gif
(37)
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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equbr_HTML.gif
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 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
$${\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)$$
and
$${\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, 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
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ38_HTML.gif
(38)
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ39_HTML.gif
(39)
on Γ C ×(0,T).

4.1 Prescribed Normal Stress and Nonmonotone Friction Laws

Let us consider the following boundary conditions on Γ C ×(0,T):
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ40_HTML.gif
(40)
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equ41_HTML.gif
(41)
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 SL 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
$$ -\sigma_\tau(t) \in\partial j_4\bigl(x,t, u'_\tau(t) \bigr)\quad \mbox{on} \ \Gamma_C \times(0, T).$$
(42)
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:
https://static-content.springer.com/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
https://static-content.springer.com/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
https://static-content.springer.com/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
$$- \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
https://static-content.springer.com/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
https://static-content.springer.com/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 1r 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 1r 2)≥−|r 1r 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:
https://static-content.springer.com/image/art%3A10.1007%2Fs10659-012-9380-7/MediaObjects/10659_2012_9380_Equcb_HTML.gif
on Γ C ×(0,T), where kL 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
https://static-content.springer.com/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
$$ -\sigma_\tau(t) \in\partial j_3\bigl(x, t, u(t), u'(t), u_\tau(t) \bigr).$$
(43)
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
https://static-content.springer.com/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
https://static-content.springer.com/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
https://static-content.springer.com/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
https://static-content.springer.com/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].

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.

Copyright information

© The Author(s) 2012