We introduce nonsmooth vector quasi-variational-like inequalities (NVQVLI) by means of a bifunction. We establish some existence results for solutions of these inequalities by using Fan-KKM theorem and a maximal element theorem. By using the technique and methodology adopted in Al-Homidan et al. (2012), one can easily derive the relations among these inequalities and a vector quasi-optimization problem. Hence, the existence results for a solution of a vector quasi-optimization problem can be derived by using our results. The results of this paper extend several known results in the literature.
1. Introduction
The theory of quasi-variational inequalities (QVI) was started with a pioneerwork of A. Bensoussan and J. L. Lions in 1973, perhaps motivated by the stochastic control and impulse control problems. It was the paper of Bensoussan et al. [1] in which the term quasi-variational inequality was introduced. The quasi-variational inequality is an extension of a variational inequality [2] in which the underlying set depends on the solution itself. For further details on quasi-variational inequalities, we refer to [3–5] and the references therein. In 1980, Giannessi [6] initiated the theory of vector variational inequalities with applications to vector optimization. Since then, it has been growing up in different directions. One of such directions is the application to the theory of vector optimization. However, if the underlying objective function is not differentiable and not convex, then we need to define a nonsmooth vector variational-like inequality by means of Dini directional derivatives or Clarke directional derivatives. For studying such problems by using vector variational-like inequalities, Alshahrani et al. [7], Al-Homidan et al. [8], Ansari and Lee [9], Crespi et al. [10], and Lalitha and Mehta [11] considered a vector variational inequality, defined by means of Dini directional derivatives, called nonsmooth vector variational inequality. The nonsmooth vector optimization is studied in these references by using nonsmooth vector variational inequalities. Motivated by the extension of variational inequalities for vector-valued functions, several researchers started to study the QVI for vector-valued functions, known as vector quasi-variational inequalities (VQVI); see, for example, [12–16] and the references therein. An optimization problem in which the feasible set depends on the solution itself is called quasi-optimization problem [14]. Such problems can be solved by using the vector quasi-variational inequality technique. To the best of our knowledge, no study has been done in the literature to study nonsmooth quasi-variational inequalities which are defined by means of a bifunction, in particular by means of Dini or Clarke directional derivatives. This paper can be treated as the beginning of the study of nonsmooth (vector) quasi-variational inequalities and nonsmooth vector quasi-optimization problem.
In this paper, we consider the vector quasi-variational-like inequality problems defined by means of a bifunction and present some existence results for solutions of these problems by using Fan-KKM theorem and a maximal element theorem. By using the technique and methodology adopted in [8], one can easily derive the relations among these inequalities and a vector quasi-optimization problem. Hence, the existence results for a solution of a vector quasi-optimization problem can be derived by using our results. The results of this paper extend several known results in the literature.
2. Formulations
We adopt the following ordering relations. We consider the cones C=ℝ+ℓ and C∘:=intℝ+ℓ, where ℝ+ℓ is the nonnegative orthant of ℝℓ, and 0 is the origin of ℝℓ; let D be a set of ℝ+ℓ. Then for all x,y∈D,
(1)x≥Cy⟺x-y∈C;x≱Cy⟺x-y∉C;x≤Cy⟺y-x∈C;x≰Cy⟺y-x∉C;x≥C∘y⟺x-y∈C∘;x≱C∘y⟺x-y∉C∘;x≤C∘y⟺y-x∈C∘;x≰C∘y⟺y-x∉C∘.
Let g:ℝn→ℝ be a real-valued function. The upper Dini directional derivative of g at x∈K in the direction d∈ℝn is defined as
(2)gD(x;d)=limsupt→0+g(x+td)-g(x)t.
For further details on Dini directional derivatives, we refer to the recent book [2].
Let K be a nonempty subset of ℝn, A:K→2K a set-valued map, and η:K×K→ℝn a mapping. Let h=(h1,…,hℓ):K×ℝn→ℝℓ be a vector-valued function such that, for each fixed x∈K, h(x;d) is positively homogeneous in d. In particular, we consider h(x;d)=fD(x;d) where f=(f1,…,fℓ):ℝn→ℝℓ a vector-valued function and
(3)fD(x;d)=(f1D(x;d),…,fℓD(x;d)).
The nonsmooth (Stampacchia or Minty type) vector quasi-variational-like inequality problems are defined as follows.
Nonsmooth Stampacchia Vector Quasi-Variational-Like Inequality Problem (NSVQVLIP). Find x-∈K such that x-∈A(x-) and
(4)h(x-;η(y,x-))=(h1(x-;η(y,x-)),…,hℓ(x-;η(y,x-)))≰C∘0,ggggggggggggggggggdggggg∀y∈A(x-).
Minty Vector Quasi-Variational-Like Inequality Problem (NMVQVLIP). Find x-∈K such that x-∈A(x-) and
(5)h(y;η(x-,y))=(h1(y;η(x-,y)),…,hℓ(y;η(x-,y)))≱C∘0,gggggggggggggggggggggggg∀y∈A(x-).
When A(x)=K, for all x∈K, then these problems were studied in [8, 9, 11] with applications to vector optimization. Furthermore, if we consider the previous Dini directional derivative as a bifunction h(x;d), with x referring to a point in ℝn and d referring to a direction from ℝn, that is, if h(x;·)=fD(x;·), then the previously mentioned problems are studied in [7, 8, 10] and the references therein.
The main motivation of this paper is to establish some existence results for solutions of NMVQVLIP and NSVQVLIP by using Fan-KKM theorem or a maximal element theorem. Of course, by using the technique of [8], we can easily establish some results on the relations among NMVQVLIP, NSVQVLIP, and vector quasi-optimization problems [14]. Since the results are straightforward, we are not including them here.
3. Preliminaries
Let K⊆ℝn be a nonempty set. We denote by K¯, int A, and co(K) the closure of K, the interior of K, and the convex hull of K, respectively.
Definition 1.
Let K⊆ℝn be a nonempty set and η:K×K→X a mapping. The set K is said to be invex with respect to η if, for all x,y∈K and all t∈[0,1], we have x+tη(y,x)∈K.
We say that the map η is skew if, for all x,y∈K,
(6)η(y,x)+η(x,y)=0.
Condition C.
Let K⊆ℝn be an invex set with respect to η:K×K→ℝn. Then, for all x,y∈K, t∈[0,1], we have
(7)η(x,x+tη(y,x))=-tη(y,x).
We adopt the following definition of affineness.
A vector-valued function g:ℝn→ℝℓ is called affine if, for all x1,x2,…,xm∈ℝn and ti≥0 for all i=1,2,…,m with ∑i=1mti=1, we have
(8)g(∑i=1mtixi)=∑i=1mtig(xi).
The following lemma can be easily proved.
Lemma 2 (see [17]).
Let K be a nonempty convex subset of a vector space X and η:K×K→X a mapping. If η is affine in the first argument and skew, then it is also affine in the second argument.
Definition 3 (see [18, 19]).
Let K⊆ℝn be a nonempty set. A vector-valued function g:K→ℝℓ is said to be C-lower semicontinuous (resp., C-upper semicontinuous) at x∈K if for any neighborhood V of g(x), there exists a neighborhood U of x such that g(y)∈V+C for all y∈U∩K (resp., g(y)∈V-C for all y∈U∩K). g is said to be C-lower semicontinuous (resp., C-upper semicontinuous) on K if it is C-lower semicontinuous (resp., C-upper semicontinuous) at every point x∈K.
It is shown in [18] that a function g:K→ℝℓ is C-lower semicontinuous if and only if, for all α∈ℝℓ, the set {x∈K:g(x)≱C∘α} is closed in K.
Definition 4.
Let K⊆ℝn be a nonempty convex set. A vector-valued function g:K→ℝℓ is said to be C-convex if, for all x,y∈K and all t∈[0,1],
(9)g(tx+(1-t)y)≤Ctg(x)+(1-t)g(y).
Definition 5 (see [18, 19]).
Let K⊆ℝn be a nonempty convex set. A vector-valued function g:K→ℝℓ is said to be C-quasiconvex if, for all α∈ℝn, the set {x∈K:g(x)≤Cα} is convex.
It is shown in [18] that if g is C-quasiconvex, then the set {x∈K:g(x)≤C∘α} is convex.
A vector-valued function g:ℝn→ℝℓ is called positively homogeneous if for all x∈ℝn and all r>0, g(rx)=rg(x).
Definition 6.
Let U be a nonempty subset of a topological vector space E. A set-valued map T:U→2U is said to be a KKM map provided and co(M)⊆T(M)=⋃x∈MT(x) for each finite subset M of U, where co(M) denotes the convex hull of M.
The following Fan-KKM theorem [20] will be used in the sequel.
Theorem 7 (see [20]).
Let U be a nonempty subset of a Hausdorff topological vector space E. Assume that T:U→2U∖{∅} is a KKM map satisfying the following conditions:
for each x∈U, T(x) is closed;
for at least one x∈U, T(x) is compact.
Then, ⋂x∈UT(x)≠∅.
We will use the following maximal element theorem to prove the existence of solutions of nonsmooth vector quasi-variational-like inequality problems.
Theorem 8 (see [21, Corollary 3.2]).
Let K be a nonempty convex subset of a Hausdorff topological vector space X and S,T:K→2K two set-valued maps. Assume that the following conditions hold:
for all x∈K, co(S(x))⊆T(x);
for all x∈K, x∉T(x) and S-1(y)={x∈K:y∈S(x)} is open in K;
there exist a nonempty compact convex subset D⊆K and a nonempty compact subset B of K such that for each x∈K∖B, there exists y~∈D such that x∈
intS-1(y~).
Then, there exists x-∈K such that S(x-)=∅.
4. Existence ResultsDefinition 9 (see [8]).
Let K⊆ℝn be a nonempty set and η:K×K→ℝn a mapping. A vector-valued bifunction h=(h1,…,hℓ):K×ℝn→ℝℓ is said to be
C-pseudomonotone with respect to η on K if, for all x,y∈K,
(10)h(x;η(y,x))≰C∘0impliesh(y;η(x,y))≱C∘0,
C-properly subodd if
(11)h(x;d1)+h(x;d2)+⋯+h(x;dm)≥C0,
for every di∈ℝn, i=1,2,…,m with ∑i=1mdi=0 and x∈K.
The definition of proper suboddness is considered in [11]. Of course, if m=2, the definition of proper suboddness reduces to the definition of suboddness.
Definition 10.
Let K be a nonempty convex subset of ℝn. A function g:K→ℝℓ is said to be hemicontinuous if, for all x,y∈K, the mapping t↦g(y+t(x-y)) is continuous. The upper and lower hemicontinuity can be defined analogously.
Definition 11.
Let K⊆ℝn be an invex set with respect to η:K×K→ℝn. A function g:K→ℝℓ is said to be η-hemicontinuous if, for all x,y∈K, the mapping t↦g(y+tη(x,y)) is continuous. The upper and lower η-hemicontinuity can be defined analogously.
The following concept of η-upper sign continuity for the bifunction h is considered in [8].
Definition 12 (see [8]).
Let K⊆ℝn be a nonempty invex set with respect to η:K×K→ℝn. A vector-valued bifunction h=(h1,…,hℓ):K×ℝn→ℝℓ is said to be η-upper sign continuous if, for all x,y∈K and t∈(0,1),
(12)h(x+tη(y,x);η(y,x))≰C∘0impliesh(x;η(y,x))≰C∘0.
Remark 13.
It can be easily seen that if η is skew and h is η-upper hemicontinuous in the first argument, then it is η-upper sign continuous, but the converse is not true in general.
The following result provides the relations between NSVQVLIP and NMVQVLIP when the set-valued map A:K→2K is invex valued.
Proposition 14.
Let K⊆ℝn be a nonempty invex set with respect to η:K×K→ℝn such that Condition C holds. Let A:K→2K be a set-valued map such that, for each x∈K, A(x) is a nonempty and invex set with respect to η. Let the vector-valued bifunction h:K×ℝn→ℝℓ be C-properly subodd, C-pseudomonotone with respect to η, and η-upper sign continuous such that, for each fixed x∈K, h(x;·) is positively homogeneous. Then, x-∈K is a solution of NSVQVLIP if and only if it is a solution of NMVQVLIP.
Proof.
It is similar to the proof of Proposition 7.7 in [8]. However, we include it for the sake of completeness of the paper.
The C-pseudomonotonicity of h with respect to η implies that every solution of NSVQVLIP is a solution of NMVQVLIP.
Conversely, let x-∈K be a solution of NMVQVLIP. Then, x-∈A(x-), and
(13)h(y;η(x-,y))≱C∘0,∀y∈A(x-).
Since A(x-) is invex, we have yt=x-+tη(y,x-)∈A(x-) for all t∈(0,1), and therefore, (13) becomes
(14)h(yt;η(x-,yt))≱C∘0.
By Condition C, η(x-,yt)=-tη(y,x-), and thus,
(15)h(yt;-tη(y,x-))≱C∘0.
By positive homogeneity and C-proper suboddness of h, we have
(16)h(yt;η(y,x-))≰C∘0.
Thus, the η-upper sign continuity of h yields x-∈K is a solution of NSVQVLIP.
The following result gives the equivalence between NSVQVLIP and NMVQVLIP when the set-valued map A:K→2K is convex valued.
Proposition 15.
Let K⊆ℝn be a nonempty convex set, and let η:K×K→ℝn be affine in the first argument and skew. Let A:K→2K be a set-valued map such that, for each x∈K, A(x) is a nonempty and convex set. Let the vector-valued bifunction h:K×ℝn→ℝℓ be C-properly subodd, C-pseudomonotone with respect to η, and η-upper sign continuous such that, for each fixed x∈K, h(x;·) is positively homogeneous. Then, x-∈K is a solution of NSVQVLIP if and only if it is a solution of NMVQVLIP.
Proof.
It is similar to the proof of Proposition 7.8 in [8]. However, we include it for the sake of completeness of the paper.
The C-pseudomonotonicity of h with respect to η implies that every solution of NSVQVLIP is a solution of NMVQVLIP.
Conversely, let x-∈K be a solution of NMVQVLIP. Then, x-∈A(x-), and
(17)h(y;η(x-,y))≱C∘0,∀y∈A(x-).
Since A(x-) is convex, we have yt=x-+t(y-x-)∈A(x-) for all t∈(0,1), and therefore, (17) becomes
(18)h(yt;η(x-,yt))≱C∘0.
Since η is affine in the first argument and skew, by Lemma 2, η is also affine in the second argument. Since η(x,x)=0 by skewness of η, we obtain
(19)h(yt;η(x-,yt))=h(yt;tη(x-,y)+(1-t)η(x-,x-))=h(yt;tη(x-,y))≱C∘0.
By positive homogeneity of h in the second argument, we have
(20)h(yt;η(x-,y))≱C∘0.
Since η(y,x-)+η(x-,y)=0 by skewness of η, the C-proper suboddness of h implies that
(21)h(yt;η(y,x-))≰C∘0.
The η-upper sign continuity of h yields x-∈K is a solution of NSVQVLIP.
Throughout the rest of the paper, unless otherwise specified, we assume that A:K→2K is a set-valued map such that A(x) is nonempty convex for all x∈K, A-1(y) is open for all y∈K, and the set ℱ={x∈K:x∈A(x)} is closed.
We present some existence results for the solutions of NSVQVLIP and NMVQVLIP without boundedness assumption on the underlying set K.
Theorem 16.
Let K⊆ℝn be a nonempty convex set, and η:K×K→ℝn be skew, affine, and lower semicontinuous in the first argument. Let h=(h1,…,hℓ):K×ℝn→ℝℓ be C-properly subodd, positively homogeneous in the second argument, and C-pseudomonotone with respect to η such that x↦h(y;η(x,y)) is continuous. Assume that there exist a nonempty compact convex subset D of K and y~∈D such that, for all x∈K∖D, y~∈A(x) and h(x;η(y~,x))≤C∘0 Then, there exists a solution x-∈K of MVQVLIP.
Furthermore, if h is η-upper sign continuous, then x-∈K is a solution of SVQVLIP.
Proof.
For all x∈K, we define two set-valued maps S1,S2:K→2K by
(22)S1(x)={y∈K:h(x;η(y,x))≤C∘0},S2(x)={y∈K:h(y;η(x,y))≥C∘0}.
For all x,y∈K and for each i=1,2, we also define other two set-valued maps Pi:K→2K and Qi:K→2K by
(23)Pi(x)={A(x)∩Si(x),ifx∈ℱ,A(x),ifx∈K∖ℱ,Qi(y)=K∖Pi-1(y).
For each i=1,2 and for all y∈K, we have (see, e.g., [22])
(24)Pi-1(y)=[(K∖ℱ)∪Si-1(y)]∩A-1(y),
and therefore,
(25)Qi(y)=[ℱ∩(K∖Si-1(y))]∪[K∖A-1(y)].
The rest of the proof is divided into the following four steps.
(a) We claim that Q1 is a KKM map on K.
Assume the contrary that Q1 is not a KKM map. Then, there exist a finite set {y1,…,ym} in K and t1,…,tm≥0 with ∑i=1mti=1 such that x^=∑i=1mtiyi∉Q1(yi) for all i=1,…,m; that is,
(26)x^∈P1-1(yi)⟺yi∈P1(x^)∀i=1,…,m.
If x^∈ℱ, then P1(x^)=A(x^)∩S1(x^), and therefore,
(27)yi∈S1(x^),yi∈A(x^)∀i=1,…,m.
Hence,
(28)h(x^;η(yi,x^))≤C∘0,yi∈A(x^)∀i=1,…,m.
Since C∘ is a convex cone and ti≥0 with ∑i=1mti=1, we have
(29)∑i=1mtih(x^;η(yi,x^))≤C∘0.
Since η is skew, we have η(x,x)=0. By the affineness of η in the first argument, we have
(30)∑i=1mtiη(yi,x^)=η(∑i=1mtiyi,x^)=η(x^,x^)=0.
Since h is C-proper subodd, we have
(31)∑i=1mh(x^;tiη(yi,x^))≥C0.
By positive homogeneity of h, we obtain
(32)∑i=1mtih(x^;η(yi,x^))≥C0,
a contradiction of (29).
If x^∈K∖ℱ, then x^∉A(x^). By the definition of Q1, we have P1(x^)=A(x^), and therefore, yi∈P1(x^)=A(x^) for all i=1,…,m. Since A(x^) is convex, we obtain x^∈A(x^), again a contradiction. Hence, Q1 is a KKM map.
(b) We show that Q1(y~)=K∖P1-1(y~)⊆D, where y~ and D are the same as in the hypothesis.
Indeed, if x∈Q1(y~)∖D, then x∈[ℱ∩(K∖S1-1(y~))]∪[K∖A-1(y~)]; that is, either x∈ℱ∩(K∖S1-1(y~)) or x∈K∖A-1(y~).
If x∈ℱ∩(K∖S1-1(y~)), then x∈ℱ and x∈K∖S1-1(y~); that is, x∈A(x) and h(x;η(y~,x))≰C∘0, a contradiction to our assumption that h(x;η(y~,x))≤C∘0.
If x∈K∖A-1(y~), then x∉A-1(y~) if and only if y~∉A(x), again a contradiction to our assumption that y~∈A(x). Hence, Q1(y~)⊆D.
(c) We show that ⋂y∈KQ1(y)¯≠∅.
Since D is compact, Q1(y~)¯ is also compact. Moreover, since Q1 is a KKM map,
(33)co{y1,…,ym}⊆⋃i=1mQ1(yi)⊆⋃i=1mQ1(yi)¯,
for each finite subset {y1,…,ym} of K. Then by Theorem 7, we get ⋂y∈KQ1(y)¯≠∅.
(d) Next, we claim that ⋂y∈KQ1(y)¯⊆⋂y∈KQ2(y).
Let z∈⋂y∈KQ1(y)¯; then z∈Q1(y)¯ for each y∈K. For an arbitrary element y∈K, we have to show that z∈Q2(y).
Since z∈Q1(y)¯, there exists a sequence {zm}⊆Q1(y) such that {zm} converges to z. Since {zm}⊆Q1(y), we have
(34){zm}⊆K∖P1-1(y)=[ℱ∩(K∖S1-1(y))]∪[K∖A-1(y)].
Then, either {zm}⊆ℱ∩(K∖S1-1(y)) or {zm}⊆K∖A-1(y).
If {zm}⊆ℱ∩(K∖S1-1(y)), then {zm}⊆ℱ and {zm}⊆K∖S1-1(y). It follows that {zm}⊆ℱ and h(zm;η(y,zm))≰C∘0. Since ℱ is closed and zm→z, we have z∈ℱ; that is, z∈A(z). By C-pseudomonotonicity of h, we obtain
(35)z∈A(z),h(y;η(zn,y))≱0.
By the continuity of x↦h(y;η(x,y))h, we get h(y,η(z,y))≱C∘0. This implies that z∈A(z) and y∉S2(z); that is, z∉(K∖ℱ)∪S2-1(y), and hence, z∉P2-1(y). Therefore, z∈A(z), and z∈K∖P2-1(y)=Q2(y).
Let {zm}⊆K∖A-1(y). Since A-1(y) is open in K, for all y∈K, K∖A-1(y) is closed in K. Since zm→z, we have z∈K∖A-1(y). Hence, z∉A-1(y)⇔y∉A(z), which implies that
(36)y∉P2(z)⟺z∉P2-1(y)⟺z∈K∖P2-1(y)⟺z∈Q2(y).
From (c), we get ⋂y∈KQ2(y)≠∅. Hence, there exists x-∈K such that
(37)x-∈⋂y∈K[K∖P2-1(y)]=K∖⋃y∈KP2-1(y).
This implies that P2(x-)=∅.
If x-∈K∖ℱ, then P2(x-)=A(x-)=∅, a contradiction. Otherwise, x-∈ℱ; then ∅=P2(x-)=A(x-)∩S2(x-). Therefore, x-∈A(x-) such that h(y;η(x-,y))≱C00 for all y∈A(x-). From Proposition 15, x-∈K is a solution of SVQVLIP.
Remark 17.
(a) Theorem 16 extends and generalizes [8, Theorem 7.34], [9, Theorem 5.1], and [11, Theorem 2.2].
(b) If A is a closed map, then the set ℱ={x∈K:x∈A(x)} is closed.
By using maximal element Theorem 8, we present the following existence result for solutions of NSVQVLIP and NMVQVLIP without boundedness assumption on the underlying set.
Theorem 18.
Let K⊆ℝn be a nonempty convex set, and let η:K×K→ℝ be skew. Let h:K×ℝn→ℝℓ be C-pseudomonotone with respect to η such that h(x;0)=0 for all x∈K; the set M={y∈K:h(x,η(y,x))≤C∘0} is convex, and the set L={x∈K:h(y,η(x,y))≱C∘0} is closed in K. Assume that there exist a nonempty compact convex subset D⊆K and a nonempty compact subset B of K such that, for each x∈K∖B, there exists y~∈D such that y~∈A(x) and h(y~;η(x,y~))≥C∘0. Then, there exists a solution x-∈K of NMVQVLIP.
Furthermore, if h is C-properly subodd, η-upper sign continuous, and for each fixed x∈K, h(x;·) is positively homogeneous, then x-∈K is a solution of NSVQVLIP.
Proof.
For each x∈K, define two set-valued maps P,Q:K→2K by
(38)P(x)={y∈K:h(y;η(x,y))≥C∘0},Q(x)={y∈K:h(x;η(y,x))≤C∘0}.
Then, x∉Q(x) for all x∈K. Indeed, by skewness of η, η(x,x)=0 for all x∈K. By assumption, 0=h(x;η(x,x))=h(x;0)=0≰C∘0. Thus, x∉Q(x).
By hypothesis, the complement of P-1(y) in K,
(39)[P-1(y)]c={x∈K:h(y,η(x,y))≱C∘0},
is closed in K for each y∈K. Therefore, P-1(y) is open in K for all y∈K.
Define other two set-valued maps S,T:K→2K by
(40)S(x)={A(x)∩P(x),ifx∈ℱ,A(x),ifx∈K∖ℱ,T(x)={A(x)∩Q(x),ifx∈ℱ,A(x),ifx∈K∖ℱ.
Since, for all x∈K, x∉Q(x), we have x∉T(x).
By C-pseudomonotonicity of h, we have P(x)⊆Q(x) for all x∈K. Since A(x) and Q(x) are convex, for all x∈K, we have
(41)S(x)⊆T(x)⟹co(S(x))⊆co(T(x))=T(x).
Since, for each y∈K, A-1(y) and P-1(y) are open in K, (A∩P)-1(y)=A-1(y)∩P-1(y) is open in K. Also, since, for each y∈K,
(42)S-1(y)=(A-1(y)∩P-1(y))∪((K∖ℱ)∩A-1(y))
(see, e.g., the proof of [23, Lemma 2.3]) and K∖ℱ is open in K, we have that S-1(y) is open in K. Therefore, by Theorem 8, there exists x-∈K such that S(x-)=∅. Ifx-∈K∖ℱ, then A(x-)=∅, a contradiction to our assumption. So, x-∈ℱ, and thus, A(x-)∩P(x-)=∅. Therefore,
(43)x-∈A(x-),h(y;η(x-,y))≱C∘0,∀y∈A(x-).
Thus, x- is a solution of NMVQVLIP.
By Proposition 15, x-∈K is a solution of NSVQVLIP.
Remark 19.
If, for each fixed x∈K, the vector-valued function y↦h(x,η(y,x)) is C-quasiconvex, then the set M={y∈K:h(x,η(y,x))≤C∘0} is convex.
Remark 20.
For all x∈K, the set M={y∈K:h(x,η(y,x))≤C∘0} is convex, if η is affine in the first argument and h is C-convex in the second argument.
Indeed, let y1,y2∈M. Since C∘ is a convex cone, for all t∈(0,1), we have
(44)th(x;η(y1,x))≤C∘0,(1-t)h(x;η(y2,x))≤C∘0.
By adding these relations, we get
(45)th(x;η(y1,x))+(1-t)h(x;η(y2,x))≤C∘0.
Since h is C-convex in the second argument, we have
(46)h(x;tη(y1,x)+(1-t)η(y2,x))≤Cth(x;η(y1,x))+(1-t)h(x;η(y2,x)).
By combining relations (45) and (46), we obtain
(47)h(x;tη(y1,x)+(1-t)η(y2,x))≤C∘0.
Since η is affine in the first argument, we get
(48)h(x;η(ty1+(1-t)y2,x))≤C∘0,
and hence, ty1+(1-t)y2∈M. Thus, for all x∈K, M is a convex set.
Remark 21.
The set L={x∈K:h(y,η(x,y))≱C∘0} is closed in K if the vector-valued function x↦h(y,η(x,y)) is C-lower semicontinuous for each fixed y∈K.
5. Conclusions
In this paper, we defined vector quasi-variational-like inequality problems by means of a bifunction and established two existence results for solutions of these problems. One can treat upper Dini directional derivative as a bifunction, and hence, the bifunction can be replaced by upper Dini directional derivative. Then, we get the so-called nonsmooth vector quasi-variational-like inequality problem. By using the technique and methodology given in [8], one can easily derive some relations between vector quasi-variational-like inequality problems and a vector quasi-optimization problem. Since the results are straightforward, we have not included them in this paper. Of course, the results of this paper extend several known results in the literature, namely, [9, Theorem 5.1], [11, Theorem 3.1], and [8, Theorem 7.34] from vector variational (-like) inequality problems to vector quasi-variational (-like) inequality problems. This paper can be treated as the first in this direction.
Acknowledgments
This research was done during the visit of the second author to King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia, and it was supported by KFUPM Funded Research Project no. IN121035.
BensoussanA.GoursatM.LionsJ. L.Contrôle impulsionnel et inéquations quasi-variationnelles stationnaires1973276A1279A1284MR0317143ZBL0264.49004AnsariQ. H.LalithaC. S.MehtaM.2014London, UKCRC Press, Taylor and Francis GroupBaiocchiC.CapeloA.1984New York, NY, USAJohn Wiley & SonsMR745619BensoussanA.LionsJ. L.1978Paris, FranceDunodMR0513618KravchukA. S.NeittaanmäkiP. J.2007Dordrecht, The NetherlandsSpringer10.1007/978-1-4020-6377-0MR2363978GiannessiF.CottleR. W.GiannessiF.LionsJ. L.Theorems of alternative, quadratic programs and complementarity problems1980Chichester, UKWiley151186MR578747ZBL0484.90081AlshahraniM.AnsariQ. H.Al-HomidanS.Nonsmooth variational-like inequalities
and nonsmooth vector optimization201310.1007/s11590-013-0614-9Al-HomidanS.AnsariQ. H.YaoJ. C.AnsariQ. H.YaoJ. C.Nonsmooth invexities, invariant monotonicities and nonsmooth vector variational inequalities with applications to vector
optimization2012Berlin, GermanySpringerAnsariQ. H.LeeG. M.Nonsmooth vector optimization problems and Minty vector variational inequalities2010145111610.1007/s10957-009-9638-9MR2602901ZBL1198.90343CrespiG. P.GinchevI.RoccaM.Some remarks on the Minty vector variational principle2008345116517510.1016/j.jmaa.2008.03.012MR2422642ZBL1152.49007LalithaC. S.MehtaM.Vector variational inequalities with cone-pseudomonotone bifunctions200554332733810.1080/02331930500100254MR2148087ZBL1087.90069AnsariQ. H.ChanW. K.YangX. Q.The system of vector quasi-equilibrium problems with applications2004291455710.1023/B:JOGO.0000035018.46514.caMR2077885ZBL1073.90032AnsariQ. H.ChanW. K.YangX. Q.Weighted quasi-variational inequalities and constrained Nash equilibrium problems2006102361380MR2208272ZBL1098.49009AnsariQ. H.YaoJ. C.DanieleP.GiannessiF.MaugeriA.On vector quasi-equilibrium problems2003London, UKKluwer Academic Publishers11810.1007/978-1-4613-0239-1_1MR2042583ZBL1069.49003GiannessiF.2000Dordrecht, The NetherlandsKluwer Academic PublishersMathematical Theories10.1007/978-1-4613-0299-5MR1789109YuanG. X. Z.1999New York, NY, USAMarcel DekkerMR1676280PengJ. W.Criteria for generalized invex monotonicities without Condition C2006170266767110.1016/j.ejor.2004.11.004MR2175985ZBL1085.90028BianchiM.HadjisavvasN.SchaibleS.Vector equilibrium problems with generalized monotone bifunctions199792352754210.1023/A:1022603406244LucD. T.1989319Berlin, GermanySpringerLecture Notes in Economics and Mathematical SystemsMR1116766FanK.A generalization of Tychonoff's fixed point theorem1961142305310MR0131268LinL. J.YuZ. T.AnsariQ. H.LaiL. P.Fixed point and maximal element theorems with applications to abstract economies and minimax inequalities2003284265667110.1016/S0022-247X(03)00385-8MR1998659ZBL1033.47039KhanhP. Q.LuuL. M.Some existence results for vector quasivariational inequalities involving multifunctions and applications to traffic equilibrium problems200532455156810.1007/s10898-004-2693-8MR2191188ZBL1097.49012DingX. P.Existence of solutions for quasi-equilibrium problems in noncompact topological spaces2000393-4132110.1016/S0898-1221(99)00329-6MR1740903ZBL0956.54024