 Research Article
 Open Access
 Published:
Existence of Solutions to the System of Generalized Implicit Vector Quasivariational Inequality Problems
Journal of Inequalities and Applications volume 2009, Article number: 654370 (2009)
Abstract
We study the system of generalized implicit vector quasivariational inequality problems and prove a new existence result of its solutions by KakutaniFanGlicksberg's fixed points theorem. As a special case, we also derive a new existence result of solutions to the generalized implicit vector quasivariational inequality problems.
1. Introduction
The system of generalized implicit vector quasivariational inequality problems generalizes the generalized implicit vector quasivariational inequality problems, and the latter had been studied in [1–3]. In this paper, we study the system of generalized implicit vector quasivariational inequality problems and prove a new existence result of its solutions by KakutaniFanGlicksberg's fixed points theorem. For other existence results with respect to the system of generalized implicit vector quasivariational inequality problems, we refer the reader to [4–6] and references therein.
Let be an index set (finite or infinite). For each , let and be two Hausdorff topological vector spaces, a nonempty subset of , and a closed, convex and pointed cone of with , where denotes the interior of . Denote that , . For each , we can write . For each , let be a nonempty subset of the continuous linear operators space from into and let , , be three setvalued maps, where and denote the family of all nonempty subsets of and , respectively. The system of generalized implicit vector quasivariational inequality problems (briefly, SGIVQIP) is as follows: find such that for each and
is said to be a solution of the SGIVQIP. An SGIVQIP is usually denoted by .
If is a singleton, then the SGIVQIP coincides with the generalized implicit vector quasivariational inequality problems (briefly, GIVQIP). A GIVQIP is usually denoted by .
Throughout this paper, unless otherwise specified, assume that for each , is a nonempty convex compact subset of a Banach space is a Hausdorff topological vector space, and is a closed, convex, and pointed cone of with , where denotes the interior of .
2. Preliminaries
In this section, we introduce some useful notations and results.
Definition 2.1.
Let and be two topological spaces and a nonempty convex subset of . is a setvalued map.
(1) is called upper semicontinuous at if, for any open set , there exists an open neighborhood of in such that for all ,
and upper semicontinuous on if it is upper semicontinuous at every point of
(2) is called lower semicontinuous at if, for any open set , there exists an open neighborhood of in such that for all ,
and lower semicontinuous on if it is lower semicontinuous at every point of
(3) is called continuous at if, it is both upper semicontinuous and lower semicontinuous at ; and continuous on if it is continuous at every point of .
Definition 2.2.
Let and be two topological vector spaces and a nonempty convex subset of .Also is a setvalued map.
(1) is called upper semicontinuous at if, for any open neighborhood of the zero element in , there exists an open neighborhood of in such that, for all ,
and upper semicontinuous on if it is upper semicontinuous at every point of .
(2) is called lower semicontinuous at if, for any open neighborhood V of the zero element in , there exists an open neighborhood of in such that, for all ,
and lower semicontinuous on if it is lower semicontinuous at every point of .
(3) is called continuous at if it is upper semicontinuous and lower semicontinuous at ; and continuous on if it is continuous at every point of .
Definition 2.3.
Let and be two topological vector spaces and a nonempty convex subset of . Let be a setvalued map.
(1) is called convex if, for each ,
and concave if is convex.
(2) is called quasiconvexlike if, for each , ,
and quasiconcavelike if is quasiconvexlike.
Lemma 2.4 ([7, Theorem 1]).
Let be a nonempty paracompact subset of a Hausdorff topological space and, be a nonempty subset of a Hausdorff topological vector space . Suppose that be two setvalued maps with following conditions:
(1)for each , ;

(2)
for each , is open.
Then has a continuous selection, that is, there is a continuous map such that for each .
3. Existence of Solutions to the SGIVQIP
Lemma 3.1.
Let be three Hausdorff topological spaces, a topological vector space, and a closed, convex, and pointed cone of . Let and be two setvalued maps. Assume that and
(1) is upper semicontinuous on with nonempty and compact values;
(2) is upper semicontinuous on with nonempty and compact values;

(3)
for each .
Then there exist open neighborhood of and open neighborhood of , and open neighborhood of such that whenever , ,
Proof.
By (3) and compactness of , there exists an open neighborhood of the zero element of such that . By (2), there exist open neighborhood of and open neighborhood of , open neighborhood of such that whenever . Since is compact and , there exist finite such that . Taking
Clearly, and are open neighborhood of and , respectively. Thus for each , we have whenever , By (1), there exist open neighborhood of with and open neighborhood of such that whenever , which implies that
whenever , ,
The proof is finished.
By Lemma 3.1, we obtain the following result.
Theorem 3.2.
Consider an SGIVQIP . For each , assume that
(1) is continuous on with convex compact values and for each ;
(2) is upper semicontinuous on with nonempty and compact values;
(3) is upper semicontinuous on with nonempty and compact values;

(4)
for each and each , is convex or quasiconvexlike;

(5)
for each and each , if , then , where is the component of .
Then the SGIVQIP has a solution, that is, there exists such that for each and
Proof.
For each , define a setvalued map by
Step 1.
We prove that the set is closed. For any sequence with , we have
If , then there exists such that for each . By Lemma 3.1, there exist open neighborhood of and open neighborhood of , such that whenever . By (1), there exist such that , which implies that there exists a positive integer such that whenever . Thus we have whenever , a contradiction. This shows that is closed,that is, is open.
Without loss of generality, assume that .
Define a setvalued map by
Step 2.
We prove that for each is nonempty and convex.
For each , we have . By Lemma 3.1, there exists an open neighborhood of such that whenever , which implies that , that is, is open. By (4), it is easy to verify that is convex.
Since is convex and , then for each is nonempty and convex.
Step 3.
We prove that has a continuous selection .
For each , we have and . By , there exists such that , where . Since is continuous with convex compact values, then there exists an open neighborhood of such that
whenever , where . Thus whenever , which implies that whenever , that is, whenever . This shows that the set is open. By , we have . By Lemma 3.1, there exists an open neighborhood of such that
whenever , which implies that , that is, is open. Hence, for each , the set is open.
By Lemma 2.4, has a continuous selection .
Step 4.
We prove that the SGIVQIP has a solution.
For each , define the setvalued map by
Note that is upper semicontinuous when and is upper semicontinuous when , and it is easy to verify that is also upper semicontinuous when , where denotes the boundary of . Thus, is upper semicontinuous with nonempty convex compact values. By [8, Theorem 7.1.15], the setvalued map defined by is closed with nonempty convex values. By KakutaniFanGlicksberg's fixed points theorem (see [9, pages 550]), has a fixed point, that is, there exists . The condition (5) implies that for each , , that is, for each . Thus we have that for each , and
The proof is finished.
If is a singleton, we obtain the following existence result of solutions to the GIVQIP by Theorem 3.2.
Corollary 3.3.
Consider a GIVQIP . Assume that
(1) is continuous on with convex compact values and for each ;
(2) is upper semicontinuous on with nonempty and compact values;
(3) is upper semicontinuous on with nonempty and compact values;

(4)
for each and each , is convex or quasiconvexlike;

(5)
for each and each , if , then .
Then the GIVQIP has a solution, that is, there exists such that ,
Remark 3.4.
Theorem 3.2, Corollary 3.3, and each corresponding result in literatures [1–6] do not include each other as a special case.
References
 1.
Chiang Y, Chadli O, Yao JC: Existence of solutions to implicit vector variational inequalities. Journal of Optimization Theory and Applications 2003,116(2):251–264. 10.1023/A:1022472103162
 2.
Cubiotti P, Yao J: Discontinuous implicit generalized quasivariational inequalities in Banach spaces. Journal of Global Optimization 2007,37(2):263–274. 10.1007/s1089800690486
 3.
Lin LJ, Chen HL: The study of KKM theorems with applications to vector equilibrium problems with implicit vector variational inequalities problems. Journal of Global Optimization 2005,32(1):135–157. 10.1007/s1089800421197
 4.
Peng JW, Lee HWJ, Yang XM: On system of generalized vector quasiequilibrium problems with setvalued maps. Journal of Global Optimization 2006,36(1):139–158. 10.1007/s1089800690045
 5.
Ansari QH: Existence of solutions of systems of generalized implicit vector quasiequilibrium problems. Journal of Mathematical Analysis and Applications 2008,341(2):1271–1283. 10.1016/j.jmaa.2007.11.033
 6.
AlHomidan S, Ansari QH, Schaible S: Existence of solutions of systems of generalized implicit vector variational inequalities. Journal of Optimization Theory and Applications 2007,134(3):515–531. 10.1007/s1095700792367
 7.
Wu X, Shen S: A further generalization of YannelisPrabhakar's continuous selection theorem and its applications. Journal of Mathematical Analysis and Applications 1996,197(1):61–74. 10.1006/jmaa.1996.0007
 8.
Klein E, Thompson AC: Theory of Correspondences, Canadian Mathematical Society Series of Monographs and Advanced Texts. John Wiley & Sons, New York, NY, USA; 1984:xi+256.
 9.
Aliprantis CD, Border KC: InfiniteDimensional Analysis. 2nd edition. Springer, Berlin, Germany; 1999:xx+672.
Acknowledgments
The research was supported by the Natural Science Foundation of CQ CSTC.
Author information
Affiliations
Corresponding author
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
Lin, Z. Existence of Solutions to the System of Generalized Implicit Vector Quasivariational Inequality Problems. J Inequal Appl 2009, 654370 (2009). https://doi.org/10.1155/2009/654370
Received:
Revised:
Accepted:
Published:
Keywords
 Linear Operator
 Point Theorem
 Operator Space
 Open Neighborhood
 Existence Result