Constrained Variational-Hemivariational Inequalities on Nonconvex Star-Shaped Sets

Abstract

In this paper, we study a class of constrained variational-hemivariational inequality problems with nonconvex sets which are star-shaped with respect to a certain ball in a reflexive Banach space. The inequality is a fully nonconvex counterpart of the variational-hemivariational inequality of elliptic type since it contains both, a convex potential and a locally Lipschitz one. Two new results on the existence of a solution are proved by a penalty method applied to a variational-hemivariational inequality penalized by the generalized directional derivative of the distance function of the constraint set. In the first existence theorem, the strong monotonicity of the governing operator and a relaxed monotonicity condition of the Clarke subgradient are assumed. In the second existence result, these two hypotheses are relaxed and a suitable hypothesis on the upper semicontinuity of the operator is adopted. In both results, the penalized problems are solved by using the Knaster, Kuratowski, and Mazurkiewicz (KKM) lemma. For a suffciently small penalty parameter, the solution to the penalized problem solves also the original one. Finally, we work out an example on the interior and boundary semipermeability problem that ilustrate the applicability of our results.

1. Introduction

In this paper, we are initially motivated by the investigation of the class of variational-hemivariational inequalities considered in [1]. Let V be a reflexive Banach space. Consider an operator $A:V\to V^{*}$, functions $\phi :V\to \mathbb{R}$, $j:V\to \mathbb{R}$ and a set $K\subset V$. The constrained variational-hemivariational inequality studied in the paper reads as follows: find an element $u\in K$ such that

$$\langle Au,v-u\rangle +\phi \left(v\right)-\phi \left(u\right)+j^0(u;v-u)\ge \langle f,v-u\rangle \mathrm{for}\mathrm{all}v\in K.$$

(1)

Particular forms of problem (1) contain various formulations investigated in the literature: the elliptic variational inequalities of the first and second kind, see [2,3,4,5], the elliptic hemivariational inequalities, see [6,7,8,9], and the elliptic equations, see [6,10,11]. Moreover, the quasi-variational inequalities corresponding to problem (1) and its variants can be treated by a fixed point technique, see [1,5]. In all aforementioned papers, the usual hypotheses for existence (and uniqueness) of a solution involve the function $\phi$, which is supposed to be convex, the function j which is locally Lipschitz and in general nonconvex, the operator A pseudomonotone and strongly monotone, and a nonempty, closed and convex set of constraints K.

In the current paper, we treat the counterpart of problem (1) where the set K represents a set of admissible constraints which is star-shaped with respect to a certain ball in V. Note that for this class of nonconvex sets, some particular versions have been studied earlier in Section 7.4 of [8] if $j=0$, in Section 7.3 of [8,12] if $\phi =0$, and Section 7.2 of [8] when $\phi =j=0$. The first novelty of our contribution is to study the class of fully variational-hemivariational inequalities involving nonconvex constraints. In contrast to contributions in [8,12,13] which are based on surjectivity methods for the multivalued pseudomonotone operators for the existence proof of the penalized problem, in this paper we employ another method based on the Knaster, Kuratowski, and Mazurkiewicz (KKM) theory for the penalized problem. The second novelty is to study the constrained variational-hemivariational inequality on star-shaped sets without hypothesis on the strong monotonicity of the operator and without the relaxed monotonicity condition of the generalized subgradient. To the best of our knowledge, it is a new approach in the examination of this class of variational-hemivariational inequalities. We will use the celebrated lemma by Fan which is a milestone in the KKM theory and it is sufficient for our purpose.

For related results on variational-hemivariational equalities on nonconvex star-shaped constraint sets, we refer to [12,13] for stationary problems, and to [14,15] for evolution problems. Numerous applications of variational-hemivariational inequalities to problems of nonsmooth contact mechanics, economics, etc. can be found in classical monographs [8,9,16], and in two recent books [17,18], and the references therein. A unified method, based on the hemivariational inequality formulation, to study contact problems of viscoelasticity is given in [19], the abstract elliptic variational-hemivariational inequalities in reflexive Banach spaces with applications can be found in [1], and the variational-hemivariational inqualities which model fluid flow in mechanics were treated in [20,21] and very recently in [22,23]. Other recent developments on variational methods in the study of existence and multiplicity of solutions, see [24,25].

The paper is structured as follows. Notations, basic definitions and preliminaries are provided in Section 2. Section 3 contains problem formulation with the first existence result, Theorem 1, whose proof is provided in Section 4. Finally, the second existence theorem is proved in Section 5.

2. Basic Material

In this part of the paper we recall the standard notations and definitions from [10,17,26,27].

Let $(X,\parallel ·{\parallel }_X)$ be a Banach space. By $(X^{*},\parallel ·{\parallel }_{X^{*}})$ we denote its dual space while the symbol ${\langle ·,·\rangle }_{X^{*}\times X}$ stands for the duality pairing between $X^{*}$ and X.

Nonlinear operators and the KKM lemma. Let X be a reflexive Banach space and $T:X\to 2^{X^{*}}$ be a multivalued mapping. A mapping $T:X\to 2^{X^{*}}$ is called bounded if the image of each bounded set in X remains in a bounded subset of $X^{*}$. A mapping $T:X\to 2^{X^{*}}$ is called pseudomonotone, provided the following conditions are satisfied

(i)

T has nonempty, bounded, closed and convex values.

(ii)

T is upper semicontinuous (u.s.c.) from each finite dimensional subspace of X into $X^{*}$ equipped with its weak topology.

(iii)

if $u_n\in X$, ${\displaystyle u_n\to u}$ weakly in X, $u_n^{*}\in T{u}_n$ and ${\displaystyle lim\; sup{\langle u_n^{*},u_n-u\rangle }_{X^{*}\times X}\le 0}$, then to each $y\in X$, there exists $u^{*}\left(y\right)\in Tu$ such that ${\displaystyle {\langle u^{*}\left(y\right),u-y\rangle }_{X^{*}\times X}\le lim\; inf{\langle u_n^{*},u_n-y\rangle }_{X^{*}\times X}}$.

A mapping $T:X\to 2^{X^{*}}$ is called generalized pseudomonotone, if for each sequences $\left\{u_n\right\}\subset X$, $u_n\to u$ weakly in X, $\left\{u_n^{*}\right\}\subset X^{*}$, $u_n^{*}\to u^{*}$ weakly in $X^{*}$, $u_n^{*}\in T{u}_n$ and ${\displaystyle lim\; sup{\langle u_n^{*},u_n-u\rangle }_{X^{*}\times X}\le 0}$, we have $u^{*}\in Tu$ and ${\langle u_n^{*},u_n\rangle }_{X^{*}\times X}\to {\langle u^{*},u\rangle }_{X^{*}\times X}$.

The following relations concern the classes of pseudomonotone and generalized pseudomonotone mappings, see Propositions 1.3.65 and 1.3.68 in [10]. If $T:X\to 2^{X^{*}}$ is a pseudomonotone mapping, then it is also generalized pseudomonotone. If $T:X\to 2^{X^{*}}$ is a bounded, generalized pseudomonotone mapping with nonempty, closed and convex values, then T is pseudomonotone.

A single-valued mapping $A:X\to X^{*}$ is said to be pseudomonotone, provided it is bounded and if $u_n\to u$ weakly in X with ${\displaystyle lim\; sup{\langle A{u}_n,u_n-u\rangle }_{X^{*}\times X}\le 0}$ imply ${\displaystyle {\langle Au,u-v\rangle }_{X^{*}\times X}\le lim\; inf{\langle A{u}_n,u_n-v\rangle }_{X^{*}\times X}}$ for all $v\in X$. Equivalently, see Proposition 3.66 in [17], a single-valued mapping A is pseudomonotone, if and only if it is bounded and $u_n\to u$ weakly in X with $lim\; sup{〈A{u}_n,u_n-u〉}_{X^{*}\times X}\le 0$ imply $lim{〈A{u}_n,u_n-u〉}_{X^{*}\times X}=0$ and $A{u}_n\to Au$ weakly in $X^{*}$. A mapping $A:X\to X^{*}$ is demicontinuous, if it is continuous as a map from X to $X^{*}$ furnished with the weak topology.

We recall below the KKM lemma in a version stated by Fan in Lemma 1 of [28]. For various extensions to the Fan-KKM theorem, we refer to [29] and the references therein.

Lemma 1.

Let X be a subset of a Haussdorf topological vector space Y. For any$x\in X$, let a set$F\left(x\right)$in Y be given such that:

(a)

for every $x\in X$, $F\left(x\right)$ is a closed set in Y,

(b)

convex hull of any finite set $\{x_1,\dots ,x_r\}$ of X is contained in ${\bigcup }_{i=1}^{r}F\left(x_i\right)$,

(c)

$F\left(x\right)$ is a compact set at least for one $x\in X$.

Then ${\bigcap }_{x\in X}F\left(x\right)\ne \varnothing$.

The Clarke generalized subgradient and tangent cones. Let X be a Banach space, $h:X\to \mathbb{R}$ be a locally Lipschitz function, and x, $v\in X$. The Clarke generalized directional derivative of h at x in the direction v is given by

$$h^0(x;v)=\underset{y\to x,\lambda \downarrow 0}{lim\; sup}\frac{h(y+\lambda v)-h\left(y\right)}{\lambda }.$$

The Clarke generalized subgradient of h at x is defined by

$$\partial h\left(x\right)=\{\zeta \in X^{*}\mid h^0(x;v)\ge {\langle \zeta ,v\rangle }_{X^{*}\times X}\mathrm{for}\mathrm{all}v\in X\}.$$

It is well known that

$$h^0(x;v)=max\{\langle \zeta ,v\rangle \mid \zeta \in \partial h\left(x\right)\}.$$

(2)

Let $\mathbb{B}(u_0,\varrho )$ be the closed ball in a normed space E with centre $u_0\in E$ and radius $\varrho >0$. A nonempty set $K\subset E$ is called star-shaped with respect to a ball $\mathbb{B}(u_0,\varrho )$, if $tv+(1-t)w\in K$ for all $v\in K$, $w\in \mathbb{B}(u_0,\varrho )$, $t\in [0,1]$. When a set K is star-shaped with respect to a closed ball, we just say that K is star-shaped. Next, we denote by $d:E\to \mathbb{R}$ the distance function of K defined by

$$d\left(u\right)=\underset{v\in K}{inf}{\parallel v-u\parallel }_E\mathrm{for}\mathrm{all}u\in E.$$

The Clarke generalized directional derivative of the function d is well defined since d is a Lipschitz continuous. Recall that for a star-shaped set, the Clarke directional derivative of the function d enjoys the following discontinuity property, see Lemma 7.2, p. 224 in [8].

Lemma 2.

Let E be a reflexive Banach space and $K\subset E$ be a closed set which is star-shaped with respect to a ball $\mathbb{B}(u_0,\varrho )$ with some $u_0\in K$ and $\varrho >0$. Then

$$\begin{array}{ccc}& & d^0(u,u_0-u)\le -d\left(u\right)-\varrho \mathrm{for}\mathrm{all}u\notin K,\hfill \\ & & d^0(u,u_0-u)=0\mathrm{for}\mathrm{all}u\in K.\hfill \end{array}$$

Finally, we shortly recall a material on tangent cones needed in what follows. Let $K\subset E$ be a set of a Banach space E and $u\in K$. The Bouligand (contingent) cone to K at the point u is defined by

$$K_K\left(u\right)=\{v\in E\mid \underset{t\downarrow 0}{lim\; inf}\frac{d(u+tv)}{t}=0\}$$

and the (Clarke) tangent cone to K at u is given by

$$T_K\left(u\right)=\{v\in E\mid d^0(u;v)=0\}=\{v\in E\mid d^0(u;v)\le 0\}.$$

It is well-known that $T_K\left(u\right)\subset K_K\left(u\right)$. The set K is said to be regular at $u\in K$ when $T_K\left(u\right)=K_K\left(u\right)$. We also know that if K is closed, convex and $u\in K$, then K is regular at u, see Theorem 10.39 in [30]. Further, it follows from Proposition 2.9 in [30] that if K is a convex set in E and $u\in K$, then $K_K\left(u\right)$ is a convex cone and

$$K\subset u+K_K\left(u\right).$$

(3)

Equivalent definitions and properties of these and other cones can be found in [26,30] and Section 5.7 of [27].

3. Formulation of the Problem

In this section we consider the constrained problem in which the set of admissible elements is nonconvex. The main goal is to prove the existence of solution.

Let $(V,\parallel ·{\parallel }_V)$ be a reflexive Banach space which is continuously and compactly embedded in a Hilbert space $(H,\parallel ·{\parallel }_H)$. The duality pairing between $V^{*}$ and V is denoted by $\langle ·,·\rangle$, and ${\langle ·,·\rangle }_H$ stands for the inner product in H. Let $K_0$ be nonempty, closed, star-shaped with respect to a closed ball $\mathbb{B}(u_0,\varrho )$ in H, where $u_0\in V$ and $\varrho >0$. Let K and $T_K\left(u\right)$ for $u\in K$ denote the realization of $K_0$ and $T_{K_0}\left(u\right)$ in V, i.e.,

$$K:=K_0\cap V,T_K\left(u\right):=T_{K_0}\left(u\right)\cap V,$$

where $T_{K_0}\left(u\right)$ stands for the Clarke tangent cone of $K_0$ at u.

Problem 1.

Find an element $u\in K$ such that

$$\langle Au-f,v-u\rangle +j^0(u;v-u)+\phi \left(v\right)-\phi \left(u\right)\ge 0\mathrm{for}\mathrm{all}v\in u+T_K\left(u\right).$$

The hypotheses on the data of Problem 1 are as follows.

H(A):

$A:V\to V^{*}$ is a mapping such that

(a)

A is pseudomonotone,

(b)

A is strongly monotone with constant $m_A>0$, i.e.,

$$\langle A{v}_1-A{v}_2,v_1-v_2\rangle \ge m_A{\parallel v_1-v_2\parallel }_V^2\mathrm{for}\mathrm{all}{v}_1,v_2\in V.$$

H(j):

$j:V\to \mathbb{R}$ is a mapping such that

(a)

j is locally Lipschitz,

(b)

${\parallel \partial j\left(v\right)\parallel }_{V^{*}}\le c_0+c_1{\parallel v\parallel }_V\mathrm{for} \mathrm{all}v\in V\mathrm{with}{c}_0,c_1\ge 0$,

(c)

$\mathrm{there} \mathrm{exist}{\alpha }_j\ge 0\mathrm{such} \mathrm{that}$

$$j^0(v_1;v_2-v_1)+j^0(v_2;v_1-v_2)\le {\alpha }_j{\parallel v_1-v_2\parallel }_V^2\mathrm{for} \mathrm{all}{v}_1,v_2\in V.$$

H(φ):

$\phi :V\to \mathbb{R}$ is a convex and lower semicontinuous function.

H(K):

K is a nonempty, closed and star-shaped in V.

H(f):

$f\in V^{*}$.

In hypothesis $H\left(j\right)$, the notation $j^0$ and $\partial j$ stand for the Clarke generalized directional derivative and the Clarke generalized subgradient, respectively, of the function j. We write ${\parallel \partial j\left(v\right)\parallel }_{V^{*}}=sup\{\parallel v^{*}{\parallel }_{V^{*}}\mid v^{*}\in \partial j\left(v\right)\}$. Condition $H\left(j\right)$–(c) is known in the literature as a relaxed monotonicity condition, it holds with ${\alpha }_j=0$ when j is a convex function, see [1,7,17,18] and the references therein. Examples of functions j that satisfy $H\left(j\right)$–(c) with single-valued and multivalued generalized subgradient can be found in Section 7.4 of [17] and Examples 16 and 17 in [1].

A sufficient condition for hypothesis $H\left(K\right)$ reads as follows, see Theorem 7.4 of [8] and [12,13]. Let $K_i$, $i=1,\dots ,k$, be nonempty, closed, convex subsets of V such that there is $u_0\in {\bigcap }_{i=1}^k\mathrm{int}{K}_i$. Then the set $K:={\bigcup }_{i=1}^k$ is star-shaped with respect to a certain ball with center at $u_0$.

We state below our first existence result.

Theorem 1.

Let the hypotheses $H\left(A\right)$, $H\left(j\right)$, $H\left(\phi \right)$, $H\left(K\right)$, and $H\left(f\right)$ hold, and assume the following smallness condition

$$m_A>{\alpha }_j.$$

(4)

Then, Problem 1 admits a solution $u\in K$.

The proof of this theorem will be given in the next section. The motivation to study Problem 1 is given in the remark below.

Remark 1.

If K is a nonempty, closed and convex set, then any solution to Problem 1 is a solution to the classical variational-hemivariational inequality:

$$\left\{\begin{array}{c}find an elementu\in Ksuch that\hfill \\ \langle Au-f,v-u\rangle +j^0(u;v-u)+\phi \left(v\right)-\phi \left(u\right)\ge 0\mathrm{for}\mathrm{all}v\in K.\hfill \end{array}\right.$$

(5)

In fact, let $u\in K$ solve Problem 1 and $v\in K$. The set K is regular, being convex, and by (3), we have

$$K\subset u+K_K\left(u\right)=u+T_K\left(u\right).$$

Therefore, we deduce that $v\in u+T_K\left(u\right)$. Then, $u\in K$ is a solution to problem (5).

4. Proof of Theorem 1

In this section, we assume the hypotheses of Theorem 1. The proof is based on the penalty method, where the penalty parameter is taken to be small and does not necessary tend to zero. Let $d\equiv d_{K_0}:H\to \mathbb{R}$ be the distance function of the set $K_0$ defined by $d_{K_0}\left(v\right)={inf\{\parallel v-w\parallel }_H\mid w\in K_0\}$. Let $\lambda >0$ represent a penalty parameter. Consider the penalized problem corresponding to Problem 1:

Problem 2.

Find an element $u_{\lambda }\in V$ such that

$$\langle A{u}_{\lambda }-f,v-u_{\lambda }\rangle +j^0(u_{\lambda };v-u_{\lambda })+\phi \left(v\right)-\phi \left(u_{\lambda }\right)+\frac{1}{\lambda }{d}^0(u_{\lambda };v-u_{\lambda })\ge 0\mathrm{for}\mathrm{all}v\in V.$$

We formulate a result on the generalized pseudomonotonicity property of a multivalued mapping.

Lemma 3.

Under the assumptions of Theorem 1, the multivalued mapping $A+\partial j+\frac{1}{\lambda }\partial d:V\to 2^{V^{*}}$ is generalized pseudomonotone.

Proof. 

Let $\left\{w_n\right\}\subset V$, $\left\{w_n^{*}\right\}\subset V^{*}$ with $w_n^{*}\in A{w}_n+\partial j\left(w_n\right)+\frac{1}{\lambda }\partial d\left(w_n\right)$, $w_n\to w$ weakly in V, $w_n^{*}\to w^{*}$ weakly in $V^{*}$ and

$$lim\; sup\langle w_n^{*},w_n-w\rangle \le 0.$$

(6)

We need to show that $w^{*}\in Aw+\partial j\left(w\right)+\frac{1}{\lambda }\partial d\left(w\right)$ and $\langle w_n^{*},w_n\rangle \to \langle w^{*},w\rangle$.

We have $w_n^{*}=A{w}_n+{\xi }_n+\frac{1}{\lambda }{\eta }_n$ with ${\xi }_n\in \partial j\left(w_n\right)$ and ${\eta }_n\in \partial d\left(w_n\right)$. From hypothesis $H\left(j\right)$–(b) and the estimate ${\parallel \partial d\left(v\right)\parallel }_H\le 1$ for all $v\in V$, we infer that

$${\xi }_n\to \xi \mathrm{weakly} \mathrm{in}{V}^{*}\mathrm{and}{\eta }_n\to \eta \mathrm{weakly} \mathrm{in}H,$$

(7)

where $\xi \in V^{*}$ and $\eta \in H$. Since the embedding $V\subset H$ is compact, we get

$$w_n\to w\mathrm{in}H.$$

(8)

Moreover, by the closedness of the graph of $\partial d:H\to 2^H$ in $H\times \left(w-H\right)$-topology, see Proposition 3.23(v) in [17], we deduce that

$$\eta \in \partial d\left(w\right).$$

Subsequently, using the relation

$$\begin{array}{ccc}& & \langle A{w}_n+\partial j\left(w_n\right)-(Aw+\partial j\left(w\right)),w_n-w\rangle +\frac{1}{\lambda }{\langle \partial d\left(w_n\right)-\partial d\left(w\right),w_n-w\rangle }_H\hfill \\ & & =\langle A{w}_n+\partial j\left(w_n\right)+\frac{1}{\lambda }\partial d\left(w_n\right)-(Aw+\partial j\left(w\right)+\frac{1}{\lambda }\partial d\left(w\right)),w_n-w\rangle ,\hfill \end{array}$$

we have

$$\begin{array}{ccc}& & (m_A-{\alpha }_j){\parallel w_n-w\parallel }_V^2+\frac{1}{\lambda }{\langle {\eta }_n-\eta ,w_n-w\rangle }_H\hfill \\ & & \le \langle w_n^{*},w_n-w\rangle -\langle Aw+\partial j\left(w\right)+\frac{1}{\lambda }\partial d\left(w\right),w_n-w\rangle .\hfill \end{array}$$

Take the upper limit of both sides,

$$\begin{array}{ccc}& & (m_A-{\alpha }_j)\underset{n}{lim\; sup}{\parallel w_n-w\parallel }_V^2+\frac{1}{\lambda }\underset{n}{lim}{\langle {\eta }_n-\eta ,w_n-w\rangle }_H\hfill \\ & & \le \underset{n}{lim\; sup}\langle w_n^{*},w_n-w\rangle -\underset{n}{lim}\langle Aw+\partial j\left(w\right)+\frac{1}{\lambda }\partial d\left(w\right),w_n-w\rangle .\hfill \end{array}$$

Exploiting (6)–(8), the boundeness of the mapping $A+\partial j+\frac{1}{\lambda }\partial d$, and the smallness condition (4), we deduce

$$w_n\to w\mathrm{in}V.$$

(9)

Since every single-valued pseudomonotone operator is demicontinuous, see Theorem 3.69(ii) in [17], we infer $A{w}_n\to Aw$ weakly in $V^{*}$. From the convergences (7) and (9), we have $\xi \in \partial j\left(w\right)$. Hence, taking the limit in the equality $w_n^{*}=A{w}_n+{\xi }_n+\frac{1}{\lambda }{\eta }_n$, we get

$$w^{*}=Aw+\xi +\frac{1}{\lambda }\eta \in Aw+\partial j\left(w\right)+\frac{1}{\lambda }\partial d\left(w\right).$$

Further, by (9), it is obvious that $\langle w_n^{*},w_n\rangle \to \langle w^{*},w\rangle$, which completes the proof. □

We continue the proof with three main steps.

Step 1. We show the existence of solution to Problem 2, for every $\lambda >0$ fixed. For simplicity, we skip $\lambda$ in this part of the proof. We define the multivalued mapping $F:V\to 2^V$ by

$$F\left(v\right)=\{u\in V\mid M_v\left(u\right)\ge 0\}\mathrm{for}v\in V$$

(10)

and

$$M_v\left(u\right):=\langle Au-f,v-u\rangle +j^0(u;v-u)+\phi \left(v\right)-\phi \left(u\right)+\frac{1}{\lambda }{d}^0(u;v-u)$$

for $v\in V$. We note that

$$\begin{array}{ccc}& & u\in V\mathrm{solves}\mathrm{Problem} 2⟺u\in V\mathrm{satisfies}{M}_v\left(u\right)\ge 0\mathrm{for} \mathrm{all}v\in V\hfill \\ & & ⟺u\in F\left(u\right)\mathrm{for} \mathrm{all}v\in V⟺u\in \bigcap _{v\in V}F\left(v\right).\hfill \end{array}$$

Now, we prove that ${\bigcap }_{v\in V}F\left(v\right)\ne \varnothing$. We will apply the KKM lemma, see Lemma 1, with the space V endowed with the weak topology. We shall verify that the mapping F defined by (10) enjoys the properties:

(a)

for every $v\in V$, the set $F\left(v\right)$ is closed in V,

(b)

for any finite set $\{v_1,\dots ,v_r\}\subset V$, we have $\mathrm{co}\{v_1,\dots ,v_r\}\subset {\bigcup }_{i=1}^{r}F\left(v_i\right),$

(c)

there is $v_0\in V$ such that $F\left(v_0\right)$ is compact in V.

We show that the set $F\left(v\right)$ in bounded in V for all $v\in V$. Let $v\in V$ and $u\in F\left(v\right)$. Thus

$$\langle Au-f,v-u\rangle +j^0(u;v-u)+\phi \left(v\right)-\phi \left(u\right)+\frac{1}{\lambda }{d}^0(u;v-u)\ge 0.$$

(11)

We show that u stays in a bounded subset of V. First, by hypothesis $H\left(j\right)$–(b), (c), we have

$$\begin{array}{ccc}\hfill j^0(u;v-u)& =& j^0(u;v-u)+j^0(v;u-v)-j^0(v,u-v)\hfill \\ & \le & {\alpha }_j{\parallel u-v\parallel }_V^2+\left|\langle \partial j\left(v\right),u-v\rangle \right|\hfill \\ & \le & {\alpha }_j{\parallel u-v\parallel }_V^2+(c_0+c_1{\parallel v\parallel }_V{)\parallel u-v\parallel }_V.\hfill \end{array}$$

(12)

Next, using $H\left(\phi \right)$ and Proposition 5.2.25 in [27], it follows that $\phi$ admits an affine minorant, that is, we can find $l\in V^{*}$ and $b\in \mathbb{R}$ such that $\phi \left(v\right)\ge \langle l,v\rangle +b$ for all $v\in V$. Hence

$$-\phi \left(u\right)\le -\langle l,u\rangle -b.$$

(13)

We employ the strong monotonicity of the mapping A, (11)–(13) to deduce

$$\begin{array}{ccc}& & m_A{\parallel u-v\parallel }_V^2\le \langle Au-Av,u-v\rangle =\langle Au,u-v\rangle -\langle Av,u-v\rangle \hfill \\ & & \le j^0(u;v-u)+\phi \left(v\right)-\phi \left(u\right)+\langle f,u-v\rangle +\frac{1}{\lambda }{d}^0(u;v-u)-\langle Av,u-v\rangle \hfill \\ & & \le {\alpha }_j{\parallel u-v\parallel }_V^2+(c_0+c_1{\parallel v\parallel }_V{)\parallel u-v\parallel }_V+\left|\phi \left(v\right)\right|+{\parallel l\parallel }_{V^{*}}{\parallel u\parallel }_V\hfill \\ & & {+\left|b\right|+\parallel f-Av\parallel }_{V^{*}}{\parallel u-v\parallel }_V+\frac{1}{\lambda }{d}^0(u;v-u).\hfill \end{array}$$

We exploit the global Lipschitz property of the function d, see Lemma 2.1 in [14], to infer that ${\parallel \partial d\left(v\right)\parallel }_H\le 1$ for all $v\in V$. Hence

$$d^0(u;v-u)\le {\parallel u-v\parallel }_H\le c_e{\parallel u-v\parallel }_V\mathrm{for} \mathrm{all}u,v\in V,$$

(14)

where $c_e>0$ denotes the embedding constant $V\subset H$. Using (14) in the estimate, we obtain

$$\begin{array}{ccc}\hfill & & (m_A-{\alpha }_j){\parallel u-v\parallel }_V^2\le (c_0+c_1{\parallel v\parallel }_V{)\parallel u-v\parallel }_V+|\phi \left(v\right){|+\parallel l\parallel }_{V^{*}}{\parallel u\parallel }_V\hfill \\ & & {+\left|b\right|+\parallel f-Av\parallel }_{V^{*}}{\parallel u-v\parallel }_V+\frac{c_e}{\lambda }{\parallel u-v\parallel }_V.\hfill \end{array}$$

(15)

By the smallness condition (4), since $\lambda >0$ is fixed, we know that ${\parallel u-v\parallel }_V$ is bounded, and thus ${\parallel u\parallel }_V$ is also bounded. This completes the proof that $F\left(v\right)$ is a bounded subset of V.

First, we establish the property (a). Let $\lambda >0$ and $v\in V$ be fixed. It is enough to prove that the set $F\left(v\right)$ is sequentially weakly closed in V. Let $\left\{u_k\right\}\subset F\left(v\right)$ and $u_k\to u$ weakly in V, as $k\to \infty$. We prove that $u\in F\left(v\right)$. We have $M_v\left(u_k\right)\ge 0$ for all $v\in V$, that is,

$$0\le \langle A{u}_k-f,v-u_k\rangle +j^0(u_k;v-u_k)+\phi \left(v\right)-\phi \left(u_k\right)+\frac{1}{\lambda }{d}^0(u_k;v-u_k).$$

(16)

From Proposition 3.23(ii) in [17], there are ${\xi }_k\in V$, ${\eta }_k\in H$ such that ${\xi }_k\in \partial j\left(u_k\right)$, ${\eta }_k\in \partial d\left(u_k\right)$ with

$$j^0(u_k;v-u_k)=\langle {\xi }_k,v-u_k\rangle and{d}^0(u_k;v-u_k)={\langle {\eta }_k,v-u_k\rangle }_H=\langle {\eta }_k,v-u_k\rangle .$$

Subsequently, by (16), it follows

$$\langle A{u}_k+{\xi }_k+\frac{1}{\lambda }{\eta }_k,u_k-v\rangle \le \langle f,u_k-v\rangle +\phi \left(v\right)-\phi \left(u_k\right)\mathrm{for} \mathrm{all}v\in V$$

and

$$\underset{k}{lim\; sup}\langle A{u}_k+{\xi }_k+\frac{1}{\lambda }{\eta }_k,u_k-v\rangle \le \langle f,u-v\rangle +\phi \left(v\right)-\phi \left(u\right)\mathrm{for} \mathrm{all}v\in V.$$

(17)

Here, we have used the fact that $\phi$ is weakly sequentially l.s.c. (being convex and sequentially l.s.c. by $H\left(\phi \right)$). Take $v=u$ in (17) to get

$$\underset{k}{lim\; sup}\langle A{u}_k+{\xi }_k+\frac{1}{\lambda }{\eta }_k,u_k-u\rangle \le 0.$$

(18)

Let $u_k^{*}=A{u}_k+{\xi }_k+\frac{1}{\lambda }{\eta }_k\in A{u}_k+\partial j\left(u_k\right)+\frac{1}{\lambda }\partial d\left(u_k\right)$. By the boundedness of the mapping $A+\partial j+\frac{1}{\lambda }\partial d$, we may assume that

$$u_k^{*}\to u^{*}\mathrm{weakly\; in}{V}^{*}$$

for some $u^{*}\in V^{*}$. Summing up, we obtain

$$\left\{\begin{array}{c}\left\{u_k\right\}\subset V,\left\{u_k^{*}\right\}\subset V^{*},u_k^{*}=A{u}_k+{\xi }_k+\frac{1}{\lambda }{\eta }_k\in A{u}_k+\partial j\left(u_k\right)+\frac{1}{\lambda }\partial d\left(u_k\right),\hfill \\ u_k\to u\mathrm{weakly} \mathrm{in}V,u_k^{*}\to u^{*}\mathrm{weakly} \mathrm{in}{V}^{*}\mathrm{and}{\mathrm{lim\; sup}}_k\langle u_k^{*},u_k-u\rangle \le 0.\hfill \end{array}\right.$$

Hence, by the generalized pseudomonotonicity of the mapping $A+\partial j+\frac{1}{\lambda }\partial d$, see Lemma 3, we have

$$\begin{array}{ccc}& & u^{*}\in Au+\partial j\left(u\right)+\frac{1}{\lambda }\partial d\left(u\right),\hfill \end{array}$$

(19)

$$\begin{array}{ccc}& & \langle u_k^{*},u_k\rangle \to \langle u^{*},u\rangle .\hfill \end{array}$$

(20)

By (19), we know that $u^{*}=Au+{\xi }_0+\frac{1}{\lambda }{\eta }_0$ with some ${\xi }_0\in \partial j\left(u\right)$, ${\eta }_0\in \partial d\left(u\right)$ and

$$\langle {\xi }_0,v-u\rangle \le j^0(u;v-u),\langle {\eta }_0,v-u\rangle \le d^0(u;v-u)\mathrm{for} \mathrm{all}v\in V.$$

(21)

From (20), it follows

$$\langle u_k^{*},u_k-v\rangle \to \langle u^{*},u-v\rangle .$$

Using the latter, we can pass to the limit in inequality (17) to get

$$\langle Au+{\xi }_0+\frac{1}{\lambda }{\eta }_0,u-v\rangle \le \langle f,u-v\rangle +\phi \left(v\right)-\phi \left(u\right)\mathrm{for} \mathrm{all}v\in V.$$

(22)

Hence and by (21) implies that $u\in V$ satisfies

$$0\le \langle Au-f,v-u\rangle +j^0(u;v-u)+\phi \left(v\right)-\phi \left(u\right)+\frac{1}{\lambda }{d}^0(u;v-u)\mathrm{for} \mathrm{all}v\in V.$$

This means that $0\le M_v\left(u\right)$ for all $v\in V$, that is, $u\in F\left(v\right)$ for all $v\in V$. Thus, the set $F\left(v\right)$ is sequentially weakly closed in V.

Second, we show the property (b), that is, $F:V\to 2^V$ is a KKM map. Let $r\in \mathbb{N}$, $\{z_1,\dots ,z_r\}\subset V$ be an arbitrary finite set. Let $z={\sum }_{i=1}^r{\lambda }_i{z}_i$ with ${\lambda }_i\in (0,1)$ and ${\sum }_{i=1}^r{\lambda }_i=1$. We suppose by contradiction that

$$z\notin \bigcup _{i=1}^{r}F\left(z_i\right).$$

Then, for all $i=1,\dots ,r$, we have $z\notin F\left(z_i\right)$. So, for all $i=1,\dots ,r$, it holds $M_{z_i}\left(z\right)<0$. By this inequality and the convexity of the function $z\mapsto M_z\left(u\right)$ for all $u\in V$, we have

$$0=M_z\left(z\right)=M_{{\sum }_{i=1}^r{\lambda }_i{z}_i}\left(z\right)\le \sum _{i=1}^r{\lambda }_i{M}_{z_i}\left(z\right)<0$$

which is a contradiction. This proves (b).

We show property (c): the set $F\left(v\right)$ is weakly compact in V for all $v\in V$. Let $v\in V$ and $\left\{w_n\right\}\subset V$, $w_n\in F\left(v\right)$. Since the sequence $\{\parallel w_n{\parallel }_V\}$ is bounded in V by a constant independent of $n\in \mathbb{N}$, by the reflexivity of V, it is clear that there is a subsequence $\left\{w_{n_k}\right\}\subset \left\{w_n\right\}$ such that $w_{n_k}\to w_0$ weakly in V, with $w_0\in V$. Because $F\left(v\right)$ is sequentially weakly closed in V, see property (a), we have $w_0\in F\left(v\right)$. Therefore, $F\left(v\right)$ is weakly compact in V for all $v\in V$.

Having verified properties (a)–(c), for any $\lambda >0$ fixed, by the KKM lemma, we get that ${\bigcap }_{v\in V}F\left(v\right)\ne \varnothing$. This means that, for any $\lambda >0$ fixed, there exists $u_{\lambda }\in V$ solution to problem (2). This finishes Step 1.

Step 2. We show that the solution $u_{\lambda }\in V$ to Problem 2 obtained in Step 1 satisfies $u_{\lambda }\in K$ for $\lambda >0$ sufficiently small. We claim that there is a constant $M>0$ such that $\parallel u_{\lambda }{\parallel }_V\le M$ for all $\lambda >0$. In fact, to obtain the uniform estimate of ${\left\{u_{\lambda }\right\}}_{\lambda >0}$ in V, we choose $v:=u_0$ in Problem 2, where $u_0\in V$ is the center of the ball $\mathbb{B}(u_0,\varrho )$ to get

$$\langle A{u}_{\lambda }-f,u_0-u_{\lambda }\rangle +j^0(u_{\lambda };u_0-u_{\lambda })+\phi \left(u_0\right)-\phi \left(u_{\lambda }\right)+\frac{1}{\lambda }{d}^0(u_{\lambda };u_0-u_{\lambda })\ge 0.$$

Analogously as in estimate (15), we have

$$\begin{array}{ccc}& & (m_A-{\alpha }_j)\parallel u_{\lambda }-u_0{\parallel }_V^2\le (c_0+c_1\parallel u_0{\parallel }_V)\parallel u_{\lambda }-u_0{\parallel }_V+|\phi \left(u_0\right){|+\parallel l\parallel }_{V^{*}}{\parallel u_{\lambda }\parallel }_V\hfill \\ & & +\left|b\right|+\parallel f-A{u}_0{\parallel }_{V^{*}}{\parallel u_{\lambda }-u_0\parallel }_V+\frac{1}{\lambda }{d}^0(u_{\lambda };u_0-u_{\lambda }).\hfill \end{array}$$

Hence

$$(m_A-{\alpha }_j)\parallel u_{\lambda }{\parallel }_V^2\le d_1{\parallel u_{\lambda }\parallel }_V+d_2+\frac{2}{\lambda }{d}^0(u_{\lambda };u_0-u_{\lambda }),$$

(23)

where

$$\begin{array}{ccc}& & d_1=2\left((c_0+c_1\parallel u_0{\parallel }_V{)+\parallel l\parallel }_{V^{*}}+{\parallel f-A{u}_0\parallel }_{V^{*}}\right),\hfill \\ & & d_2=2\left(\right(c_0+c_1\parallel u_0{\parallel }_V)\parallel u_0{\parallel }_V+\left|b\right|+|\phi \left(u_0\right)|\hfill \\ & & +\parallel f-A{u}_0{\parallel }_{V^{*}}\parallel u_0{\parallel }_V+(m_A-{\alpha }_j)\parallel u_0{\parallel }_V).\hfill \end{array}$$

By Lemma 2, it follows that $d^0(u_{\lambda };u_0-u_{\lambda })\le 0$, so we can skip the last term in estimate (23). We deduce that $\parallel u_{\lambda }{\parallel }_V\le M$ with $M>0$ independent of $\lambda >0$.

Let ${\lambda }_0:=\frac{2\rho }{d_{1}M+d_2}$. We claim that for all $\lambda \in (0,{\lambda }_0)$, it holds $u_{\lambda }\in K$. We continue by contradiction and assume that

$$\exists \lambda \in (0,{\lambda }_0)\mathrm{such} \mathrm{that}{u}_{\lambda }\notin K.$$

Since $u_{\lambda }\notin K$, by Lemma 2, we have

$$d^0(u_{\lambda };u_0-u_{\lambda })\le -d\left(u_{\lambda }\right)-\rho \le -\rho .$$

Again, by (23), we infer that

$$0\le d_{1}M+d_2-\frac{2}{\lambda }\rho ,$$

which implies

$$\lambda \ge \frac{2\rho }{d_{1}M+d_2},$$

a contradiction with the choice of $\lambda$. Hence

$$u_{\lambda }\in K\mathrm{for}\mathrm{all}\lambda \in (0,{\lambda }_0),$$

which proves the claim.

Step 3. Fix $\lambda \in (0,{\lambda }_0)$ with ${\lambda }_0$ defined in Step 2. We will show that $u:=u_{\lambda }$ solves Problem 1. From Step 1 we know that $u_{\lambda }\in V$ is a solution to Problem 2, and by Step 2, it is obvious that $u_{\lambda }\in K$. Thus $u=u_{\lambda }\in K$ satisfies

$$\langle Au-f,v-u\rangle +j^0(u;v-u)+\phi \left(v\right)-\phi \left(u\right)+\frac{1}{\lambda }{d}^0(u;v-u)\ge 0\mathrm{for}\mathrm{all}v\in V.$$

We choose $v\in u+T_K\left(u\right)$ as the test function in the latter. Since $v-u\in T_K\left(u\right)$, we have $d^0(u;v-u)=0$. Hence

$$\langle Au-f,v-u\rangle +j^0(u;v-u)+\phi \left(v\right)-\phi \left(u\right)\ge 0\mathrm{for}\mathrm{all}v\in u+T_K\left(u\right).$$

Finally, $u\in K$ is a solution to Problem 1. This finishes the proof. □

5. Second Existence Result

In this section we deliver an existence result for Problem 1 under hypotheses different than the ones of Section 3. We do not assume the strong monotonicity of the mapping A, the relaxed monotonicity of the generalized subgradient $\partial j$, and consider the nonconvex star-shaped admissible set of constraints.

We admit the following assumptions.

H(A)₁:

$A:V\to V^{*}$ is a mapping such that

(a)

for all $v\in V$, $V\ni u\mapsto \langle Au,v-u\rangle \in \mathbb{R}$ is weakly upper semicontinuous,

(b)

for any $v\in V$, there exists $m_v>0$ such that $\langle Au,u-v\rangle \ge {\alpha }_A{\parallel u\parallel }^2$ for

all $\parallel u\parallel \ge m_v$, where ${\alpha }_A>0$.

H(j)₁:

$j:V\to \mathbb{R}$ is a mapping such that

(a)

j is locally Lipschitz,

(b)

${\parallel \partial j\left(v\right)\parallel }_{V^{*}}\le c_0+c_1{\parallel v\parallel }_V\mathrm{for} \mathrm{all}v\in V\mathrm{with}{c}_0,c_1\ge 0$,

(c)

$lim\; sup{j}^0(u_n;v-u_n)\le j^0(u;v-u)$ for all $v\in V$ and $u_n\to u$ weakly in V.

The following example provides a sufficient condition for $H{\left(j\right)}_1$–(c). Let Y be a reflexive Banach space, $\psi :Y\to \mathbb{R}$ be a locally Lipschitz function such that $\psi$ or $-\psi$ is regular, and $M:V\to Y$ be given by $Mv=Lv+v_0$, where $L:V\to Y$ represents a linear, compact operator and $v_0\in Y$ is fixed. In this situation, the function $j:V\to \mathbb{R}$ defined by $j\left(v\right)=\psi \left(Mv\right)$ for $v\in V$ satisfies $H{\left(j\right)}_1$–(c). In applications, M is a compact trace operator or a compact embedding operator, see, for instance, Section 6.

We obtain the second existence result by employing the approach used in Theorem 1.

Theorem 2.

Under hypotheses $H{\left(A\right)}_1$, $H{\left(j\right)}_1$, $H\left(\phi \right)$, $H\left(K\right)$, $H\left(f\right)$ and the smallness condition

$${\alpha }_A>c_1,$$

(24)

Problem 1 has a solution $u\in K$.

Proof. 

We use the notation of Section 4 and treat Problem 1 by the penalized inequality stated in Problem 2. We follow the three steps in the proof of Theorem 1. We only indicate below the new ingredients of the proof.

(i) We prove that the set $F\left(v\right)$ in bounded in V for all $v\in V$, where the multivalued mapping $F:V\to 2^V$ is given by (10). Let $v\in V$ and $u\in F\left(v\right)$. Hence

$$\langle Au,u-v\rangle \le \langle f,u-v\rangle +j^0(u;v-u)+\phi \left(v\right)-\phi \left(u\right)+\frac{1}{\lambda }{d}^0(u;v-u).$$

(25)

From this inequality, we use $H{\left(J\right)}_1$–(b), (13) and (14) to obtain

$$\begin{array}{ccc}& & \langle Au,u-v\rangle \le {\parallel f\parallel }_{V^{*}}{\parallel u\parallel }_V+{\parallel f\parallel }_{V^{*}}{\parallel v\parallel }_V+(c_0+c_1{\parallel u\parallel }_V{)\parallel u\parallel }_V\hfill \\ & & +(c_0+c_1{\parallel u\parallel }_V{)\parallel v\parallel }_V+\left|\phi \left(v\right)\right|+{\parallel l\parallel }_{V^{*}}{\parallel u\parallel }_V+\left|b\right|+\frac{c_e}{\lambda }{\parallel u\parallel }_V+\frac{c_e}{\lambda }{\parallel v\parallel }_V.\hfill \end{array}$$

(26)

By the condition $H{\left(A\right)}_1$–(a) and the smallness condition (24), we deduce that ${\parallel u\parallel }_V$ is bounded by a constant which depends on v but is independent of u. This completes the proof that $F\left(v\right)$ is a bounded set in V.

(ii) We prove that for $\lambda >0$ and $v\in V$ fixed, the set $F\left(v\right)$ is sequentially weakly closed in V. Let $\left\{u_k\right\}\subset F\left(v\right)$ and $u_k\to u$ weakly in V, as $k\to \infty$. This means that $M_v\left(u_k\right)\ge 0$ for all $v\in V$, and

$$0\le \langle A{u}_k-f,v-u_k\rangle +j^0(u_k;v-u_k)+\phi \left(v\right)-\phi \left(u_k\right)+\frac{1}{\lambda }{d}^0(u_k;v-u_k).$$

(27)

We show that $M_v(·):V\to \mathbb{R}$ is sequentially weakly upper semicontinuous, that is,

$$lim\; sup{M}_v\left(u_k\right)\le M_v\left(u\right).$$

We take upper limit in (27) to get

$$\begin{array}{ccc}\hfill & & 0\le lim\; sup\langle A{u}_k,v-u_k\rangle -lim\langle f,v-u_k\rangle +lim\; sup{j}^0(u_k;v-u_k)\hfill \\ & & +\phi \left(v\right)+lim\; sup(-\phi \left(u_k\right))+\frac{1}{\lambda }lim\; sup{d}^0(u_k;v-u_k).\hfill \end{array}$$

(28)

Again, by the compactness of the embedding $V\subset H$, we apply Proposition 3.23(ii) in [17] to deduce

$$lim\; sup{d}^0(u_k;v-u_k)\le d^0(u;v-u).$$

(29)

We use $H{\left(A\right)}_1$–(a), $H{\left(j\right)}_1$–(c), $H\left(\phi \right)$ and (29) in (28) to obtain

$$0\le \langle Au-f,v-u\rangle +j^0(u;v-u)+\phi \left(v\right)-\phi \left(u\right)+\frac{1}{\lambda }{d}^0(u;v-u).$$

Hence $0\le M_v\left(u\right)$ and $u\in F\left(v\right)$. This completes this proof.

(iii) We show that the solution $u_{\lambda }\in V$ to Problem 2 satisfies $\parallel u_{\lambda }{\parallel }_V\le M_1$ for all $\lambda >0$ with $M_1>0$ independent of $\lambda$. We take $v:=u_0$ in the penalized Problem 2, where, recall, $u_0\in V$ is the center of the ball $\mathbb{B}(u_0,\varrho )$. We have

$$0\le \langle A{u}_{\lambda }-f,u_0-u_{\lambda }\rangle +j^0(u_{\lambda };u_0-u_{\lambda })+\phi \left(u_0\right)-\phi \left(u_{\lambda }\right)+\frac{1}{\lambda }{d}^0(u_{\lambda };u_0-u_{\lambda }).$$

Simarily as in (26), we infer that

$$\begin{array}{ccc}& & \langle A{u}_{\lambda },u_{\lambda }-v\rangle \le {\parallel f\parallel }_{V^{*}}\parallel u_{\lambda }{\parallel }_V+{\parallel f\parallel }_{V^{*}}{\parallel v\parallel }_V+(c_0+c_1\parallel u_{\lambda }{\parallel }_V)\parallel u_{\lambda }{\parallel }_V\hfill \\ & & +(c_0+c_1\parallel u_{\lambda }{\parallel }_V{)\parallel v\parallel }_V+\left|\phi \left(v\right)\right|+{\parallel l\parallel }_{V^{*}}\parallel u_{\lambda }{\parallel }_V+\left|b\right|+\frac{c_e}{\lambda }\parallel u_{\lambda }{\parallel }_V+\frac{c_e}{\lambda }{\parallel v\parallel }_V.\hfill \end{array}$$

(30)

Again, by the condition $H{\left(A\right)}_1$–(a) and the smallness condition (24), we deduce that $\parallel u_{\lambda }{\parallel }_V$ is bounded by a constant $M_1>0$ which is independent of $\lambda$.

The remaining parts of the proof follow the lines in the proof of Theorem 1. □

From Remark 1 and Theorem 2, the deduce the following result on the existence of solution to the variational-hemivariational inequality with the convex constraint set.

Corollary 1.

Assume hypotheses $H{\left(A\right)}_1$, $H{\left(j\right)}_1$, $H\left(\phi \right)$, $H\left(f\right)$ and the smallness condition (24). If K is a nonempty, closed and convex set, then Problem 5 has a solution $u\in K$.

We conclude the section with comments on the assumptions $H\left(A\right)$–(a) and $H{\left(A\right)}_1$–(a).

(1) If $A:V\to V^{*}$ is monotone, bounded and $\left(w-V\right)\times \left(w-V^{*}\right)$ continuous, then $H\left(A\right)$–(a) holds. This follows by an observation that every $\left(w-V\right)\times \left(w-V^{*}\right)$ continuous operator is demicontinuous. Then, the notions of demicontinuity and hemicontinuity coincide for monotone operators, see Exercise VI.9 in [10]. Finally, by Theorem 3.69(i) in [17], a bounded, monotone and hemicontinuous mapping is pseudomonotone, that is, $H\left(A\right)$–(a) holds. Note that linear and bounded operators, and most quasilinear differential operators are weakly-weakly continuous, see e.g., [11].

(2) If $A:V\to V^{*}$ is monotone and $\left(w-V\right)\times \left(w-V^{*}\right)$ continuous, then $H{\left(A\right)}_1$–(a) holds. To prove this, first, we observe that if A is monotone, then for all $u_n\to u$ weakly in V, we have $lim\; sup\langle A{u}_n,u-u_n\rangle \le 0$. Indeed, we proceed by contradiction. Suppose that there are $\left\{w_n\right\}\subset V$, $w\in V$ such that $w_n\to w$ weakly in V and $lim\; sup\langle A{w}_n,w-w_n\rangle >0$. The latter is equivalent to $lim\; inf\langle A{w}_n,w_n-w\rangle <0$. On the other hand by the monotonicity of A, we have

$$\langle Aw,w_n-w\rangle \le \langle A{w}_n,w_n-w\rangle .$$

We take lower limit in this inequality, and deduce

$$0=lim\; inf\langle Aw,w_n-w\rangle \le lim\; inf\langle A{w}_n,w_n-w\rangle <0,$$

which is a contradiction. Second, to prove $H{\left(A\right)}_1$–(a), let $v\in V$, $u_n\to u$ weakly in V. Then, $A{u}_n\to Au$ weakly in $V^{*}$ and

$$\begin{array}{ccc}& & lim\; sup\langle A{u}_n,v-u_n\rangle \le lim\; sup(\langle A{u}_n,v-u\rangle +\langle A{u}_n,u-u_n\rangle )\hfill \\ & & \le lim\; sup\langle A{u}_n,v-u\rangle +lim\; sup\langle A{u}_n,u-u_n\rangle \le \langle Au,v-u\rangle ,\hfill \end{array}$$

where we have used the inequality $lim\; sup\langle A{u}_n,u-u_n\rangle \le 0$. Hence, $H{\left(A\right)}_1$–(a) is verified.

(3) It is clear that if the mapping A is strongly monotone with constant $m_A>0$, see $H\left(A\right)$–(b), then A is coercive in the sense that

$$\langle Au,u\rangle \ge m_A{\parallel u\parallel }_V^2-{\parallel A0\parallel }_{V^{*}}{\parallel u\parallel }_V\mathrm{for} \mathrm{all}u\in V,$$

and

$$\langle Au,u-v\rangle \ge m_A{\parallel u-v\parallel }_V^2-{\parallel Av\parallel }_{V^{*}}{\parallel u-v\parallel }_V\mathrm{for} \mathrm{all}u,v\in V,$$

compare with $H{\left(A\right)}_1$–(b).

6. Semipermeability Model

In this section we provide an illustrative model which weak formulation leads to a constrained variational-hemivariational inequality. Based on this model, we justify the nature of operator M which may appear in applications.

Consider the following semipermeability model for the stationary heat conduction problem. Let $\Omega \subset {\mathbb{R}}^d$ be a bounded domain with the regular boundary $\Gamma$ which consists of three mutually disjoint and relatively open subsets ${\Gamma }_1$, ${\Gamma }_2$ and ${\Gamma }_3$ with $\Gamma ={\overline{\Gamma }}_1\cup {\overline{\Gamma }}_2\cup {\overline{\Gamma }}_3$ and $m\left({\Gamma }_1\right)>0$. Consider the following boundary value problem.

Problem 3.

Find a temperature $u:\Omega \to \mathbb{R}$ such that $u\in U$ and

$$\begin{array}{ccc}\hfill {\displaystyle Au+\partial j_1\left(u\right)+\partial g_1\left(u\right)\ni f_1}& \mathrm{in}& \Omega \hfill \\ \hfill {\displaystyle u=0}& \mathrm{on}& {\Gamma }_1\hfill \\ \hfill {\displaystyle \frac{\partial u}{\partial {\nu }_A}+\partial j_2\left(u\right)\ni f_2}& \mathrm{on}& {\Gamma }_2\hfill \\ \hfill {\displaystyle \frac{\partial u}{\partial {\nu }_A}+\partial g_2\left(u\right)\ni f_3}& \mathrm{on}& {\Gamma }_3,\hfill \end{array}$$

where $A:V\to V^{*}$ is a given linear mapping, ν denotes the outward normal on the boundary, and $\frac{\partial u}{\partial {\nu }_A}$ is the conormal derivative with respect to A and represents the heat flux through a part of the boundary. Further, $U\subset V$ is a nonempty, closed set of constraints which can be convex or nonconvex, and $V=\{v\in H^1(\Omega )\mid v=0on{\Gamma }_1\}$. We denote by $i:V\to L^2(\Omega )$ the embedding operator and by $\gamma :V\to L^2(\Gamma )$ the trace operator. It is well known that both operators are linear and compact.

Problem 3 is motivated by several kinds of semipermeability relations which arise in several situations in hydraulics, flow problems through porous media and electrostatics, the solution can represent temperature, pressure and the electric potential Chapter I in [31] (where the monotone semipermeability relations were considered with convex potentials), and Chapter 5.5.3 of [8,16] (where nonmonotone subdifferential conditions were treated). Mappings $g_1$ and $j_1$ describe the interior semipermeability phenomena while $g_2$ and $j_2$ provide the boundary semipermeability relations in the subdifferential form. Additional constraints for the temperature (or the pressure of the fluid in a fluid flow model) are represented by the condition $u\in U$. The set U can be employed to introduce a bilateral obstacle which means that we look for the temperature within prescribed bounds in the domain $\Omega$. The function $f_1$ corresponds to the density of heat sources in the domain. The multivalued subdifferential boundary conditions on ${\Gamma }_2$ (and ${\Gamma }_3$) describe the nonmonotone (and monotone, respectively) behavior of a semipermeable membrane (a wall) of finite thickness, and appear in a temperature control problem, see [32].

We need the following hypotheses on the data.

H(A)₂:

${\displaystyle A:V\to V^{*}}$ is a mapping such that $A=-{\sum }_{i,j=1}^d{D}_i\left(a_{ij}\left(x\right)D_j\right)$, and

(i)

$a_{ij}\in L^{\infty }(\Omega )$ for i, $j=1,\dots ,d$.

(ii)

${\sum }_{i,j=1}^d{a}_{ij}\left(x\right){\xi }_i{\xi }_j\ge {\alpha }_0{\parallel \xi \parallel }^2$ for all $\xi \in {\mathbb{R}}^d$, a.e. $x\in \Omega$ with ${\alpha }_0>0$.

H(j₁):

$j_1:\mathbb{R}\to \mathbb{R}$ is such that

(i)

$j_1$ is locally Lipschitz.

(ii)

$|\partial j_1\left(r\right)|\le c_{0j}+c_{1j}\left|r\right|$ for all $r\in \mathbb{R}$ with $c_{0j}$, $c_{1j}\ge 0$.

(iii)

$(\partial j_1\left(r_1\right)-\partial j_1\left(r_2\right))(r_1-r_2)\ge -{\beta }_{1j}{|r_1-r_2|}^2$ all $r_1$, $r_2\in \mathbb{R}$ with ${\beta }_{1j}\ge 0$.

H(j₂):

$j_2:\mathbb{R}\to \mathbb{R}$ is such that

(i)

$j_2$ is locally Lipschitz.

(ii)

$|\partial j_2\left(r\right)|\le c_{2j}+c_{3j}\left|r\right|$ for all $r\in \mathbb{R}$ with $c_{2j}$, $c_{3j}\ge 0$.

(iii)

$(\partial j_2\left(r_1\right)-\partial j_2\left(r_2\right))(r_1-r_2)\ge -{\beta }_{2j}{|r_1-r_2|}^2$ all $r_1$, $r_2\in \mathbb{R}$ with ${\beta }_{2j}\ge 0$.

H(g₁):

$g_1:\mathbb{R}\to \mathbb{R}$ is such that

(i)

$g_1$ is convex and l.s.c.

(ii)

$|\partial g_1\left(r\right)|\le c_{0g}+c_{1g}\left|r\right|$ for all $r\in \mathbb{R}$ with $c_{0g}$, $c_{1g}\ge 0$.

H(g₂):

$g_2:\times \mathbb{R}\to \mathbb{R}$ is such that

(i)

$g_2$ is convex and l.s.c.

(ii)

$|\partial g_2\left(r\right)|\le c_{2g}+c_{3g}\left|r\right|$ for all $r\in \mathbb{R}$ with $c_{2g}$, $c_{3g}\ge 0$.

H(f):

$f_1\in L^2(\Omega ),f_2\in L^2\left({\Gamma }_2\right),f_b\in L^2\left({\Gamma }_3\right).$

(H₀):

${\alpha }_0>{\beta }_{1j}{\parallel i\parallel }^2+{\beta }_{2j}{\parallel \gamma \parallel }^2.$

Assume that U is a convex set. Under the hypotheses above, by a standard procedure, we obtain the following weak formulation of Problem 3.

Problem 4.

Find $u\in U$ such that

$$\begin{array}{ccc}& & \langle Au-f,v-u\rangle +{\int }_{\Omega }{j}_1^0(iu;iv-iu)dx+{\int }_{{\Gamma }_2}{j}_2^0(\gamma u;\gamma v-\gamma u)d\Gamma \hfill \\ & & {\displaystyle +{\int }_{\Omega }(g_1\left(iv\right)-g_1\left(iu\right))dx+{\int }_{{\Gamma }_3}(g_2\left(\gamma v\right)-g_2\left(\gamma u\right))d\Gamma \ge 0\mathrm{for}\mathrm{all}v\in U,}\hfill \end{array}$$

where $f\in V^{*}$ is given by

$$\langle f,v\rangle ={\int }_{\Omega }{f}_{1}ivdx+{\int }_{{\Gamma }_2}{f}_2\gamma vd\Gamma +{\int }_{{\Gamma }_3}{f}_3\gamma vd\Gamma \mathrm{for}v\in V.$$

We introduce the functionals $G_1$, $G_2$, $J_1$, $J_2:V\to \mathbb{R}$ defined by

$$\begin{array}{ccc}& & G_1\left(v\right)={\int }_{\Omega }{g}_1\left(iv\right)dx,G_2\left(v\right)={\int }_{{\Gamma }_3}{g}_2\left(\gamma v\right)d\Gamma ,\hfill \\ & & J_1\left(v\right)={\int }_{\Omega }{j}_1\left(iv\right)dx,J_2\left(v\right)={\int }_{{\Gamma }_2}{j}_2\left(\gamma v\right)d\Gamma \hfill \end{array}$$

for $v\in V$. Let $\phi =G_1+G_2$ and $j=J_1+J_2$. We observe that from Propositions 3.37(i) and 3.46(iv) in [17], we get

$$\begin{array}{ccc}& & j^0(u;v-u)\le J_1^0(u;v-u)+J_2^0(u;v-u)\hfill \\ & & \le {\int }_{\Omega }{j}_1^0(iu;iv-iv)dx+{\int }_{{\Gamma }_2}{j}_2^0(\gamma u;\gamma v-\gamma u)d\Gamma \mathrm{for} \mathrm{all}u,v\in V.\hfill \end{array}$$

Using the last inequality, definitions of the convex subdifferential and the Clarke subgradient, we easily deduce that if $u\in U$ solves the problem: find an element $u\in U$ such that

$$\langle Au-f,v-u\rangle +\phi \left(v\right)-\phi \left(u\right)+j^0(u;v-u)\ge 0\mathrm{for}\mathrm{all}v\in U,$$

then u is a solution to Problem 4.

If the set of constraints U is a nonempty, closed and nonconvex subset of V, we can derive a weak formulation as in Problem 4. Then, Theorems 1 and 2 can be applied in this situation.

7. Conclusions

In this paper, we have given some sufficient conditions for the existence of solution to a class of variational-hemivariational inequality problems involving the Clarke tangent cone of the constraint set in a reflexive Banach space. The main feature of this class is the nonconvexity of the constraint set, and the presence of two potential which are convex and locally Lipschitz, respectively. In the proofs, we have employed the well-known KKM lemma combined with the penalty method without making the small parameter tend to zero.

It is an intersting open problem to establish existence results without the smallness hypotheses (4) and (24). The results will find important applications to model the semipermeable media, contact problems in solid and fluid mechanics, etc. Moreover, it would be desirable to extend the results with nonconvex constraints sets to second order evolution problems motivated by dynamic contact models in viscoelasticity, thermoviscoelasticty, see [17,19], and nonstationary fluid models, see [20,21].