- Research
- Open access
- Published:
Strong vector variational like inequality problems with properly quasimonotone bifunctions
Journal of Inequalities and Applications volume 2014, Article number: 142 (2014)
Abstract
In this paper, we introduce two types of proper quasimonotone maps over cones for a vector-valued bifunction and discuss their relations with generalized monotone maps, namely cone pseudomonotone and cone quasimonotone maps. Strong vector variational like inequality problems of the Stampacchia and the Minty type have been defined. These problems are a generalization of the classical Stampacchia and Minty problems and encompass many problems studied in the literature. A generalization of celebrated Minty lemma, relating the solutions of the two problems, has been proved. Existence results for strong Stampacchia and Minty type vector variational like inequality problems have been established using the notions of proper quasimonotone maps over cones. Gap functions have also been proposed for both problems.
1 Introduction
The study of vector variational inequality problem in finite dimensional spaces was initiated by Giannessi [1]. Vector variational inequalities have proved to be efficient tools for investigating vector optimization problems and they also provide with a mathematical model for the problems of equilibrium in a mechanical structure when there are several aspects (weight, cost, resistance etc.) which are in conflict. Because of these applications, the study of vector variational inequalities has attracted wide attention.
A useful and important generalization of the vector variational inequality problem is the vector variational like inequality problem, which has been studied and investigated by many authors like Ansari [2], Garzon et al. [3], Al-Homidan, Ansari and Yao [4], Lee and Lee [5], Li and He [6].
The classical Stampacchia variational inequality problem is to find a vector such that
where is a nonempty closed convex set, and the Minty variational inequality problem is to find a vector such that
It is well known that in contrast to the Stampacchia problem, compactness and convexity of K and continuity assumptions on T do not guarantee the existence of a solution to (MVI) and that some generalized monotonicity assumptions on T are needed. Proper quasimonotonicity, as introduced by Daniilidis and Hadjisavvas [7], plays a significant role in establishing existence results for (MVI) (see [8]).
A generalization and an extension of the problems (SVI) and (MVI) to the vector case was studied by Lalitha and Mehta in [9, 10] where a general vector bifunction was considered, where and is a nonempty closed convex subset. A systematic study of the problem for the scalar case can be found in Ansari et al. [11]. The Stampacchia type vector variational inequality problem (SVVI) considered in [9] was to find such that
and the Minty type vector variational inequality problem (MVVI) considered was to find such that
where is a pointed closed convex cone with nonempty interior. In [10] the problem (SVVI) was studied with a varying cone .
The role of monotonocity in variational inequality theory is the same as that of convexity in optimization theory. In recent years, a number of authors have used many important generalizations of monotonicity such as quasimonotonicity, pseudomonotonicity, dense pseudomonotonicity, p-monotonicity, semimonotonicity, and they have considered these notions to study various variational inequalities and other related problems [7, 9, 12–17]. In this paper, we extend the notion of proper quasimonotonicity to vector-valued bifunctions and use it to establish the existence of solutions to strong Stampacchia and Minty type vector variational like inequalities problems defined by a bifunction h.
The paper is organized as follows. In Section 2, the notions of cone proper quasimonotonicity of Stampacchia and Minty type for a vector-valued bifunction are introduced. Their relations with the class of cone pseudomonotone and cone quasimonotone maps are discussed in this section. In Section 3 two types of strong vector variational like inequality problems, of Stampacchia and Minty kind, are introduced in terms of a general bifunction. Conditions which ensure the equivalence of these problems and existence of solutions for both problems form the basis of this section. In the last section two types of gap functions are proposed for each of the problems. One of the gap functions is given for the case where the cone considered is the nonnegative orthant.
2 Proper cone quasimonotonicity for vector-valued bifunctions
This section has been divided into two subsection. In the first subsection we introduce two types of proper quasimonotone maps over cones for a vector-valued bifunction h and give a set of sufficient conditions for such maps. The second subsection investigates the relation of proper quasimonotonocity introduced in the previous subsection with other generalized monotonicity.
Throughout this paper, we assume the vector-valued bifunctions and to be defined on a nonempty closed convex subset K of , C to be a closed convex pointed cone in with nonempty interior.
2.1 Stampacchia and Minty type proper quasimonotonicity
Definition 2.1 The bifunction h is said to be
-
(i)
-pseudomonotone on K if for any ;
-
(ii)
-quasimonotone on K if for any .
The above definition of quasimonotonicity appears for a general vector-valued bifunction in [18]. When where and then the definition of -pseudomonotonicity reduces to the one considered by Komlosi in [15] referred to as neutral C-pseudomonotonicity.
From the above definition it is clear that every -pseudomonotone bifunction is -quasimonotone but the converse implication is not necessarily true which is illustrated by the following example.
Example 2.1 Let and be defined as . Let and be given as . Then it can easily be verified that h is -quasimonotone on K, but not -pseudomonotone on K because for , , but .
The notion of proper quasimonotonicity for an operator was introduced by Daniilidis and Hadjisavvas in [7]. An earlier version under the name of 0-diagonal quasiconcavity was introduced in [19]. The concept of proper quasimonotonicity for an extended real-valued bifunction has been given by Bianchi and Pini [20] as follows. The bifunction h is said to be properly quasimonotone if for every and there exists such that , where denotes the convex hull of .
We now extend the above definition to the vector case in terms of η.
Definition 2.2 If for every and there exists such that
-
(i)
, then h is said to be properly -quasimonotone of the Stampacchia type on K;
-
(ii)
, then h is said to be properly -quasimonotone of the Minty type on K.
Remark 2.1
-
(i)
If , and then the definition of proper -quasimonotonicity of the Minty type reduces to the definition of proper quasimonotonicity given by Bianchi and Pini [20].
-
(ii)
If , where , is the space of all continuous linear mappings from to , that is, for any and , denotes the value of l at x, then the above definition is the finite dimensional version of Definition 2.5 given by Zhao and Xia [16].
Remark 2.2 The bifunction h considered in Example 2.1 is properly -quasimonotone on K of the Stampacchia type. Suppose on the contrary there exist and , with and such that , , which implies that and . The second inequality implies that , . Summing over i we have , which is a contradiction. Similarly it can be established that h is also properly -quasimonotone of the Minty type on K.
The following two examples elucidate that the two classes of properly -quasimonotonicity are independent in the sense that a bifunction may be properly quasimonotone of the Stampacchia type but may not be properly quasimonotone of the Minty type and vice versa.
Example 2.2 Let and be defined as . Let , and let be defined as . We assert that h is properly -quasimonotone of the Stampacchia type on K. Suppose on the contrary there exist and , with and such that , , which implies that , . Summing over i we have , which is a contradiction. However, h is not properly -quasimonotone of the Minty type because for , , , , for we have and we note that for all .
Example 2.3 Let and be defined as
Let and be defined as . We assert that h is properly -quasimonotone of the Minty type on K. On the contrary suppose that there exist and , with and such that , which implies that , . Summing over i we have which is a contradiction as . Therefore, h is properly -quasimonotone of the Minty type. It can be seen that h is not properly -quasimonotone of the Stampacchia type on K because for , , , for , we have and , .
The following proposition is an extension of Lemma 2.1 of [14] and Lemma 2.1 of [16] in the finite dimensional case.
Proposition 2.1 If h is properly -quasimonotone of the Stampacchia type and is also -pseudomonotone on K, then h is properly -quasimonotone of the Minty type.
Proof The result follows directly from Definitions 2.1 and 2.2. □
The next proposition gives sufficient conditions for the map h to be properly -quasimonotone of the Stampacchia type.
Proposition 2.2 If the following conditions hold:
-
(i)
, ;
-
(ii)
the mapping is a ∗-quasiconvex on K, that is, for all we have
then h is properly -quasimonotone of the Stampacchia type on K.
Proof Let and , with and . Then from assumptions (i) and (ii) it follows that for any
Then it follows that and hence h is properly -quasimonotone of the Stampacchia type. □
Remark 2.3 If h is -pseudomonotone and satisfies the assumptions of Proposition 2.2 then by Proposition 2.1 h is properly -quasimonotone of the Minty type on K.
Remark 2.4 The conditions of the Proposition 2.1 are not necessary as can be seen from the following example.
Example 2.4 Let and be defined as . Let and be defined as . Then it is easy to verify that h is properly -quasimonotone of the Minty type on K. It can be observed that h is -pseudomonotone on K. Here, h is not properly -quasimonotone of the Stampacchia type because for , , for , we have and , .
2.2 Relation with generalized montonicity
In this section, we discuss the relationship of proper quasimonotonicity with pseudomonotonicity and quasimonotonicity.
Remark 2.5 Unlike the operators wherein every pseudomonotone operator is properly quasimonotone (in the Minty sense) (see [7]) we do not have such a relation for the bifunction h as can be seen from the following examples.
Example 2.5 Let , and be defined as . Let be defined as . Then we observe that h is -pseudomonotone on K but is not properly -quasimonotone of the Minty type on K because for , , , , for we have and for all . Also, h is not properly -quasimonotone of the Stampacchia type as , for all .
In case of an operator , where X is a Banach space and is the dual space, it was shown in [7] that if T is properly quasimonotone in the Minty sense then it is quasimonotone. But without any specific assumptions on h and η there is no relation between proper -quasimonotonicity of the Minty type and -quasimonotonicity, as the following two examples put in evidence.
Example 2.6 Let K, C and η be the same as in the above example. Let be defined as
Then as shown in the above example the bifunction h is not -quasimonotone on K and hence not -pseudomonotone on K. We assert that the bifunction h is properly -quasimonotone of the Minty type on K. Suppose on the contrary there exist and , with and such that , . This implies that , , which cannot be true. But h is not properly -quasimonotone of the Stampacchia type on K because for , , for , we have and , .
Example 2.7 Let , and be defined as , where and . Let be defined as . Then h is -quasimonotone on K but h is not properly -quasimonotone of the Minty type on K because for , , and , , we have but , , and also for these set of points , . Therefore h is not properly -quasimonotone of the Stampacchia type as well. Also, h fails to be -pseudomonotone on K because for and we have but .
The following result is an extension of Proposition 1.3 of [18] to the vector case.
Theorem 2.1 Let h be positively homogeneous in the second argument, η be linear in the first argument and , . If h is properly -quasimonotone of the Minty type on K then h is -quasimonotone on K.
Proof Let be such that
Let , for t∈ (0, 1). Now since η is linear in the first argument and , , we have . By positive homogeneity of h in the second argument it follows that . As h is properly -quasimonotone of the Minty type and therefore from (1) it follows that that is, . Again invoking positive homogeneity of h in the second argument we get . □
Also there does not exist any relationship between proper -quasimonotonicity of the Stampacchia type and -quasimonotonicity of the Minty type.
Example 2.8 Let and be defined as
Let and be defined as . Then for and , but . Thus, h is not -quasimonotone on K. Clearly, h is properly -quasimonotone of the Minty type as well as Stampacchia type on K.
The next example is that of a bifunction which is -quasimonotone as well as properly -quasimonotone of the Stampacchia type but not properly -quasimonotone of the Minty type.
Example 2.9 Let , and be defined as
Let be defined as . Then it can be verified that h is properly -quasimonotone of the Stampacchia type and is also -quasimonotone on K. But h is not -pseudomonotone on K because for and we have but . Also h is not properly -quasimonotone of the Minty type because for , , and , for we have and we note that for .
Remark 2.6 The relationship between different classes of bifunctions, studied in this section, is summarized in the following diagram (see Figure 1), where pm, qm, , denote the class of -pseudomonotone, -quasimonotone, properly -quasimonotone of the Stampacchia type, properly -quasimonotone of the Minty type, respectively.
3 Strong vector variational like inequality problems
In this section, we consider the following strong vector variational like inequalities of the Stampacchia and the Minty type. The Stampacchia type vector variational like inequality is to find such that
and the Minty type vector variational like inequality is to find such that
Some special cases are as follows:
-
(i)
When and the problem (SVVLI) was studied by Mehta in [21] wherein existence theorems and relation with an optimization problem were studied.
-
(ii)
When where then the problems (SVVLI) and (MVVLI) are the finite dimensional versions of the problems studied by Zhao and Xia [16].
-
(iii)
If and where and then the problems (SVVLI) and (MVVLI), respectively, reduce to the problem of finding such that , and
These are the finite dimensional versions of the strong implicit vector variational inequality problems that were considered by Fang and Huang [14].
-
(iv)
If where then the problems (SVVLI) and (MVVLI), respectively, reduce to the problems of finding such that , and
which were the problems studied by Komlosi [15] and referred to as ‘neutral’ Stampacchia and Minty vector variational inequalities, respectively.
Definition 3.1 The vector bifunction h is said to be -subodd on K if for each we have .
Remark 3.1 If , then the above definition reduces to the definition of C-subodd given by Lalitha and Mehta [9].
The next theorem is a generalization of the famous Minty Lemma [22].
Theorem 3.1 If the bifunctions h and η satisfy the following conditions:
-
(i)
h is -pseudomonotone on K;
-
(ii)
for each , the mapping is hemicontinuous, that is, for any , ;
-
(iii)
η is affine in the second argument and , ;
-
(iv)
h is -subodd on K;
-
(v)
h is positively homogeneous in the second argument;
then the problems (SVVLI) and (MVVLI) are equivalent.
Proof As h is -pseudomonotone on K therefore it follows that every solution of (SVVLI) is also a solution of (MVVLI). Conversely, let be a solution of (MVVLI) then we have
Let and let , for . Then it follows that , and since η is affine in the second argument and , , it follows that . Using assumption (v) we get , and by assumption (ii) on letting , we have . Then -suboddness of h yields , that is, x solves (SVVLI). □
We now give an example to illustrate the above result.
Example 3.1 Let , , and let be defined as
Let be defined as . Then we note that h is a positively homogeneous function in the second argument and h is -subodd on K as well. Clearly, h is -pseudomonotone on K. So all the conditions of the above theorem are satisfied and it can be seen that is the solution set of the problems (SVVLI) and (MVVLI).
We now give an existence theorem for the problem (SVVLI) using the KKM lemma.
Definition 3.2 A point to set map is called a KKM map, if for every finite subset of X, .
Lemma 3.1 ([23])
Let X be a nonempty, convex subset of . Let be a KKM-map such that for each , is closed and is compact for at least one then .
The following two theorems are extensions of Theorems 2.1 and 2.2 of [14] in the finite dimensional case.
Theorem 3.2 Let K be a nonempty compact convex subset of If the bifunctions h and η satisfy the following conditions:
-
(i)
for each , the mapping is continuous;
-
(ii)
, ;
-
(iii)
h is properly -quasimonotone of the Stampacchia type on K;
then the problem (SVVLI) is solvable.
Proof Define the set-valued mapping as
Then by assumption (ii) it follows that for each , and hence . Next we prove that is a KKM-map. On the contrary suppose that there exists and such that . This implies that ,  , p which contradicts assumption (iii). Thus, is a KKM-map. Assumption (i) ensures that is a closed subset of K and since K is compact it follows that is compact, for each . Hence by Lemma 3.1 we have that is, the problem (SVVLI) is solvable. □
We now establish an existence theorem for (MVVLI) using the proper -quasimonotonicity of h of the Minty type.
Theorem 3.3 Let K be a nonempty compact convex subset of If the bifunctions h and η satisfy the following conditions:
-
(i)
for each , the mapping is continuous;
-
(ii)
, ;
-
(iii)
h is properly -quasimonotone of the Minty type on K;
then the problem (MVVLI) is solvable.
Proof Define the set-valued mapping as
Proceeding on the lines of the above theorem it can be shown that , that is, (MVVLI) has a solution. □
4 Gap functions
It is well known that the concept of gap functions is very important for the study of vector variational inequality problems. Until now, two methods have been used for introducing gap functions for vector variational inequality problems: one is of single-valued type and the other is of vector-valued type. But single-valued gap functions are computationally more tractable. Yang and Yao [24] defined gap functions for vector variational inequality problems as real-valued functions, whereas Chen et al. [25] defined gap functions for vector variational inequality problems as set-valued maps.
We now propose two gap functions for a Stampacchia type vector variational like inequality problem (SVVLI).
Definition 4.1 A function is said to be a gap function for the problem (SVVLI) if
-
(i)
, ;
-
(ii)
if and only if solves (SVVLI).
Define as
where . If C is a closed convex cone then .
Theorem 4.1 The function Φ is a gap function for the problem (SVVLI) provided , .
Proof (i) For any , , . In particular, for we have .
-
(ii)
Now is equivalent to the fact that , which is further equivalent to the fact that , , which holds if and only if , , that is, solves (SVVLI). □
We now propose another gap function for (SVVLI) when . Let
Define as
Theorem 4.2 The function is a gap function for the problem (SVVLI) when provided , .
Proof For any , , . In particular, for we have . Now is equivalent to the fact that , which is further equivalent to the fact that , that is, solves (SVVLI). □
We now give an example to show that the solution of the problem (SVVLI) can easily be computed using the gap function.
Example 4.1 Let , and be defined as , where and . Let be defined as , where . Then , and is the only solution of (SVVLI). By taking the gap function Φ is given as
Since
we have . Clearly , and for . Also is given as
So , and for .
Remark 4.1 If in the above example we define η as , then the gap function for the problem (SVVLI) is given as
We observe that , but for any . Thus, the problem (SVVLI) does not have a solution.
It is also possible to define gap functions as defined above for Minty type vector variational like inequality problem.
Definition 4.2 A function is said to be a gap function for the problem (MVVLI) if
-
(i)
, ;
-
(ii)
if and only if solves (MVVLI).
The first gap function for the problem (MVVLI) is defined as
The following theorem can be established on the lines of Theorem 4.1.
Theorem 4.3 The function ψ is a gap function for the problem (MVVLI) provided , .
We now propose a second gap function for (MVVLI) when .
Define as
The following theorem can be established along the lines of Theorem 4.2.
Theorem 4.4 The function ψ’ is a gap function for the problem (MVVLI) when provided , .
Remark 4.2 For the bifunction h considered in Example 4.1 the solution for the Minty type vector variation like inequality problem (MVVLI) is also . It is noteworthy that all the conditions of Theorem 3.1 are satisfied and hence the problems (SVVLI) and (MVVLI) are equivalent. The gap functions can also be evaluated for the problem (MVVLI) along lines similar to the problem (SVVLI).
References
Giannessi F: Theorems of alternative, quadratic programs and complementarity problems. In Variational Inequality and Complementarity Problems. Edited by: Cottle RW, Gianessi F, Lions JL. Wiley, Chichester; 1980:151–186.
Ansari QH: A note on generalized vector variational like-inequalities. Optimization 1997, 41: 197–205. 10.1080/02331939708844335
Garzon GR, Gomez RO, Lizano AR: Relationships between vector variational-like inequality and optimization problems. Eur. J. Oper. Res. 2004, 157: 113–119. 10.1016/S0377-2217(03)00210-8
Al-Homidan S, Ansari QH, Yao JC: Non smooth invexities, invariant monotonicities and non smooth vector variational-like inequalities with applications to vector optimization. In Recent Developments in Vector Optimization. Edited by: Ansari QH, Yao JC. Springer, Berlin; 2012.
Lee BS, Lee SJ: Vector variational type inequalities for set valued mappings. Appl. Math. Lett. 2000, 13: 57–62.
Li J, He ZQ: Gap functions and existence of solutions to generalized vector variational inequalities. Appl. Math. Lett. 2005, 18: 989–1000. 10.1016/j.aml.2004.06.029
Daniilidis A, Hadjisavvas N: On the subdifferential of quasiconvex and pseudoconvex functions and cyclic monotonicity. J. Math. Anal. Appl. 1999, 237: 30–42. 10.1006/jmaa.1999.6437
John R: A note on Minty variational inequalities and generalized monotonicity. Lecture Notes in Economics and Mathematical Systems 502. In Generalized Convexity and Generalized Monotonicity. Springer, Berlin; 2001:240–246.
Lalitha CS, Mehta M: Vector variational inequalities with cone-pseudomonotone bifunctions. Optimization 2005, 54: 327–338. 10.1080/02331930500100254
Lalitha CS, Mehta M: On vector variational inequalities problem in terms of bifunctions. Aust. J. Math. Anal. Appl. 2006., 3: Article ID 11
Ansari QH, Lalitha CS, Mehta M: Generalized Convexity, Non Smooth Variational Inequalities and Non Smooth Optimization. CRC Press, Boca Raton; 2014.
Aussel D, Luc DT: Existence conditions in general quasimonotone variational inequalities. Bull. Aust. Math. Soc. 2005, 71: 285–303. 10.1017/S0004972700038259
Fang YP, Huang NJ: Variational like inequalities with generalized monotone mappings in Banach spaces. J. Optim. Theory Appl. 2003, 118: 327–338. 10.1023/A:1025499305742
Fang YP, Huang NJ: Existence results for systems of strong implicit vector variational inequalities. Acta Math. Hung. 2004, 103: 265–277.
Komlosi S: On the Stampacchia and Minty variational inequalities. In Generalized Convexity and Optimization for Economic and Financial Decisions. Edited by: Giorgi G, Rossi F. Pitagora Editrice, Bologna; 1999:231–260.
Zhao Y, Xia Z: Existence results for systems of vector variational like inequalities. Nonlinear Anal., Real World Appl. 2005, 8: 1370–1378.
Zheng F: Vector variational inequalities with semi-monotone operators. J. Glob. Optim. 2005, 32: 633–642. 10.1007/s10898-004-2698-3
Bianchi M, Hadjisavvas N, Schaible S: Vector equilibrium problems with generalized monotone bifunctions. J. Optim. Theory Appl. 1997, 92: 527–542. 10.1023/A:1022603406244
Zhou JX, Chen G: Diagonal convexity conditions for problems in convex analysis and quasi-variational inequalities. J. Math. Anal. Appl. 1988, 132: 213–225. 10.1016/0022-247X(88)90054-6
Bianchi M, Pini R: A note on equilibrium problem with properly quasimonotone bifunctions. J. Glob. Optim. 2001, 20: 67–76. 10.1023/A:1011234525151
Mehta M: Existence of solution for a generalized variational like inequality problems in terms of bifunctions. Opsearch 2007, 44: 41–50.
Minty GJ: Monotone (nonlinear) operators in Hilbert space. Duke Math. J. 1962, 29: 341–346. 10.1215/S0012-7094-62-02933-2
Lassonde M: On the use of KKM multifunction in fixed point theory and related topics. J. Math. Anal. Appl. 1983, 97: 151–201. 10.1016/0022-247X(83)90244-5
Yang XQ, Yao JC: Gap functions and existence of solutions to set valued variational inequalities. J. Optim. Theory Appl. 2002, 115: 407–417. 10.1023/A:1020844423345
Chen GY, Goh CJ, Yang XQ: Existence of a solution for generalized vector variational inequalities. Optimization 2001, 50: 1–15. 10.1080/02331930108844550
Acknowledgements
The authors are grateful to Dr. C.S. Lalitha, Associate Professor, Department of Mathematics, University of Delhi South Campus, New Delhi and the referees for their valuable inputs that helped in improving the quality of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both the authors have contributed equally in the development of this study. Both authors have read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Mehta, M., Chaudhary, M. Strong vector variational like inequality problems with properly quasimonotone bifunctions. J Inequal Appl 2014, 142 (2014). https://doi.org/10.1186/1029-242X-2014-142
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-142