Abstract
By using a density technique, sufficient conditions for lower semicontinuity of strong solutions to a parametric generalized vector equilibrium problem are established, where the monotonicity is not necessary. The obtained results are different from the corresponding ones in the literature (Gong and Yao in J. Optim. Theory Appl. 138:197-205, 2008; Gong in J. Optim. Theory Appl. 139:35-46, 2008; Chen and Li in Pac. J. Optim. 6:141-151, 2010; Li and Fang in J. Optim. Theory Appl. 147:507-515, 2010; Gong and Yao in J. Optim. Theory Appl. 138:189-196, 2008). Some examples are given to illustrate the results.
MSC:49K40, 90C29, 90C31.
Similar content being viewed by others
1 Introduction
It is well known that the vector equilibrium problem (VEP, in short) is a very general mathematical model, which embraces the formats of several disciplines, as those for Nash equilibria, those from Game Theory, those from (Vector) Optimization and (Vector) Variational Inequalities, and so on (see [1–4]).
The stability analysis of solution maps for parametric vector equilibrium problems (PVEP, in short) is an important topic in optimization theory and applications. There are some papers discussing the upper and/or lower semicontinuity of solution maps. Cheng and Zhu [5] obtained a result on the lower semicontinuity of the solution set map to a PVEP in finite-dimensional spaces by using a scalarization method. Huang et al. [6] used local existence results of the models considered and additional assumptions to establish the lower semicontinuity of solution mappings for parametric implicit vector equilibrium problems. Recently, by virtue of a density result and scalarization technique, Gong and Yao [7] have first discussed the lower semicontinuity of efficient solutions to parametric vector equilibrium problems, which are called generalized systems in their paper. By using the idea of Cheng and Zhu [5], Gong [8] has discussed the continuity of the solution maps to a weak PVEP in Hausdorff topological vector spaces. Kimura and Yao [9] discussed the semicontinuity of solution maps for parametric vector quasi-equilibrium problems by virtue of the closedness or openness assumptions for some certain sets. Xu and Li [10] proved the lower semicontinuity for PVEP by using a new proof method, which is different from the one used in Gong and Yao [7]. Chen and Li [11] studied the continuity of solution sets for parametric generalized systems without the uniform compactness assumption, which improves the corresponding results in [8]. We observe that the semicontinuity of solution maps for the PVEP has been discussed under the assumption of C-strict (strong) monotonicity, which implies that the f-solution set of the PVEP is a singleton for a linear continuous functional f (see [5, 7, 8, 10, 11]). However, it is well known that the f-solution set of (weak) PVEPs should be general, but not a singleton. Moreover, to the best of our knowledge, there are few results of semicontinuity have been established for strong solution maps of PVEP in the literature. So, in this paper, by using a density skill, we aim at studying the lower semicontinuity of the strong solution map for a class of parametric generalized vector equilibrium problems (PGVEPs), when the f-solution set is a general set by removing the assumption of C-strict monotonicity.
The rest of the paper is organized as follows. In Section 2, we introduce a class of parametric generalized vector equilibrium problem, and recall some concepts and their properties. In Section 3, by the density and scalarization technique, we discuss the lower semicontinuity of strong solution mappings to the PGVEP, and compare our main results with the corresponding ones in the recent literature [7, 8, 10, 11]. We also give some examples to illustrate our results.
2 Preliminaries
Throughout this paper, unless specified otherwise, let X, Y be normed spaces and Z be Banach space. Let be the topological dual space of Y, and C be a closed convex pointed cone in Y with nonempty topological interior intC.
Let
be the dual cone of C. Denote the quasi-interior of by , i.e.,
Let A be a nonempty subset of X and be a vector-valued mapping. We consider the following generalized vector equilibrium problem:
where is a convex cone in Y.
When the subset A and the mapping F are perturbed by a parameter , in which Λ is a nonempty subset of Z, we consider the following parametric generalized vector equilibrium problem (PGVEP):
where is a set-valued mapping, is a vector-valued mapping with .
Definition 2.1 [12]
A vector is called a weak solution to the (PGVEP), iff
The set of the weak solutions to the (PGVEP) is denoted by .
Definition 2.2 A vector is called a strong solution to the (PGVEP), iff
The set of the strong solutions to the (PGVEP) is denoted by .
Definition 2.3 [7]
Let . A vector is called an f-solution to the (PGVEP), iff
The set of the f-solution to the (PGVEP) is denoted by .
Definition 2.4 Let be a vector-valued mapping.
-
(i)
is called C-monotone on , iff for any given , for each , .
-
(ii)
is called C-strictly monotone (i.e., C-strongly monotone in [13]) on , iff F is a C-monotone on , and for any given , for each with , .
-
(iii)
is called C-convex if, for each and , .
-
(iv)
is called C-like-convex on , iff for any and any , there exists such that .
-
(v)
A set is called a C-convex set, iff is a convex set in Y.
Throughout this paper, we always assume and for all . This paper aims at investigating the semicontinuity of the strong solution mappings to (PGVEP).
Lemma 2.1 [14]
Let be a C-convex set for each and . If , then .
The notation denotes the open ball with center and radius . Let be a set-valued mapping, and let there be given .
Definition 2.5 [15]
-
(i)
F is called lower semicontinuous (l.s.c., for short) at , iff for any open set V satisfying , there exists , such that for every , .
-
(ii)
F is called upper semicontinuous (u.s.c., for short) at , iff for any open set V satisfying , there exists , such that for every , .
We say F is l.s.c. (resp. u.s.c.) on Λ, iff it is l.s.c. (resp. u.s.c.) at each . F is said to be continuous on Λ, iff it is both l.s.c. and u.s.c. on Λ.
Proposition 2.1 [15]
-
(i)
F is l.s.c. at if and only if for any sequence with and any , there exists , such that .
-
(ii)
If F has compact values (i.e., is a compact set for each ), then F is u.s.c. at if and only if for any sequences with and with , there exist and a subsequence of , such that .
The following lemma plays an important role in the proof of the lower semicontinuity of the solution map .
Lemma 2.2 [[16], Theorem 2, p.114]
The union of a family of l.s.c. set-valued mappings from a topological space X into a topological space Y is also an l.s.c. set-valued mapping from X into Y, where I is an index set.
Let be a set-valued mapping between two topological spaces. The lower limit of Q is defined as
Proposition 2.2 [17]
-
(i)
is a closed set.
-
(ii)
Q is l.s.c. at if and only if .
3 Lower semicontinuity of strong solution sets to (PGVEP)
In this section, we discuss the lower semicontinuity of the strong solutions for (PVEP). Firstly, we obtain two important lemmas relevant to the (PVEP) as follows.
Lemma 3.1 Let . Suppose the following conditions are satisfied:
-
(i)
is continuous with compact convex values on Λ.
-
(ii)
For each , is continuous on .
-
(iii)
For each , , there exist and , such that
Then is l.s.c. on Λ.
Proof Suppose to the contrary that there exists , such that is not l.s.c. at . Then there exist a sequence with and , such that for any , .
Since is l.s.c. at , there exists , such that . Obviously, . By (iii), there exists such that
For , because is u.s.c. at with compact values, there exist and a subsequence of , such that . In particular, for (3.1), we have
Taking the limit as , we have
Noting that and , we have
Moreover, since and , it follows from the continuity of f and F that
By (3.4), (3.5), and the linearity of f, we have
Assume that ; by (3.3), we obtain . Thus, we have
which contradicts (3.6). Therefore , which leads to a contradiction. Hence, for each , is l.s.c. on Λ. □
Lemma 3.2 Let . Suppose the following conditions are satisfied:
-
(i)
A is nonempty compact set.
-
(ii)
is continuous on .
-
(iii)
For each there exist and , such that
Let us define the set-valued mapping by
then we see that is l.s.c. on .
Proof By using Lemma 3.1 and following a similar way to the proof to Lemma 3.1 of [18], we can obtain the conclusion. □
Now, we discuss the lower semicontinuity of strong solution mappings to (PGVEP).
Theorem 3.1 Let . Suppose the following conditions are satisfied:
-
(i)
is continuous with compact convex values on Λ.
-
(ii)
For each and , is C-like-convex on .
-
(iii)
For each , is continuous on .
-
(iv)
For each , , there exist and , such that
-
(v)
are bounded subsets of Y for each .
-
(vi)
and .
Then is lower semicontinuous on Λ.
Proof We prove the result in the following three steps.
Step 1. We first show that
Since , for each . Then, by definition, we have
Since for any , is C-like-convex, then is a convex set. From Lemma 2.1, we have
By (3.7) and (3.8), we get
To show that
we first prove
Let us define the set-valued mapping by
By Lemma 3.2, we know that is lower semicontinuous on .
Let . Then there exists such that
Since , let and set
Then . We show that converges to with respect to the topology .
For any neighborhood U of 0 with respect to , there exist bounded subsets () and such that
Since is bounded and , is bounded for . Thus, there exists N such that
Hence , that is, . This means that converges to with respect to .
Since is l.s.c. at , for sequence , and , there exists , such that . This means that
By the arbitrariness of , we have
Then we can obtain the result that for each (3.11) is valid, and the validity of (3.7) follows readily from (3.10) and (3.11).
Step 2. For each , let . By a similar argument to the proof of Lemma 3.1, we find for each , that is l.s.c. on Λ. It follows from Lemma 2.2 that is l.s.c. on Λ.
Step 3. Now we show that is lower semicontinuous on Λ. From Step 1, we have
Let be any fixed point. Because of the lower semicontinuity of at and the closedness of the lower limit of (see Proposition 2.2), together with the above inclusion relation, we have
Hence, is l.s.c. at . By the arbitrariness of , is l.s.c. on Λ. This completes the proof. □
Remark 3.2 In Theorem 3.1, by using the density technique, we obtain a sufficient condition for the lower semicontinuity of strong solutions to (PGVEP). Our approach is different from the corresponding ones in [7] (see Theorem 2.1 of [7]). Furthermore, the condition of C-strong (strict) monotonicity is not required, and the C-convexity of F is generalized to the C-like-convexity. Thus, Theorem 3.1 improves and extends the corresponding results in the literature [5, 7, 8, 10, 11]. The following example is given to illustrate the case.
Example 3.1 Let , , , , , and . For any , it follows from a direct computation that . It is clear that is a continuous set-valued mapping with nonempty compact convex values and for each , is continuous on . Therefore, conditions (i)-(ii) of Theorem 3.1 are satisfied. For any given and for any given , we have, for any , ,
Thus, for any given and for any given , is -like-convex on , that is, condition (iii) of Theorem 3.1 is satisfied.
For any , there exists , such that
Thus, the condition (iv) of Theorem 3.1 is satisfied. It is clear that are bounded subsets of Y for each , , and . Consequently, by Theorem 3.1, is lower semicontinuous on Λ.
However, the condition of C-strong monotonicity does not hold. Indeed, for any , there exists , such that
Obviously, is not C-strongly monotone on . Then Theorem 2.1 in [7] and Theorem 3.2 in [11] are not applicable, and the corresponding results in references [[8], Theorem 4.2], [[10], Theorem 3.1] are also not applicable.
Finally, we give an example to illustrate that the assumption (iv) of Theorem 3.1 is essential.
Example 3.2 Let , , . Let and
It is clear that A is a continuous set-valued mapping from Λ to X with nonempty compact convex values. Define the mapping by
Obviously, we know that conditions (ii), (iii), (v), and (vi) are satisfied.
We have, for any , , and
In fact, there exists , for , we have
Using a similar method, there exists , for , we have . Thus, condition (iv) of Theorem 3.1 is not satisfied.
Now, we show that is not lower semicontinuous at . There exists and there exists a neighborhood of 0, for any neighborhood of 4, there exists such that and
Thus,
By virtue of Definition 2.5, we know that is not lower semicontinuous at .
References
Fan K: Extensions of two fixed point theorems of F.E. Browder. Math. Z. 1969, 112: 234-240. 10.1007/BF01110225
Fan K: A minimax inequality and applications. III. In Inequality. Edited by: Shihsha O. Academic Press, New York; 1972:103-113.
Giannessi F (Ed): Vector Variational Inequalities and Vector Equilibria. Mathematical Theories. Kluwer, Dordrecht; 2000.
Hou SH, Gong XH, Yang XM: Existence and stability of solutions for generalized Ky Fan inequality problems with trifunctions. J. Optim. Theory Appl. 2010, 146: 387-398. 10.1007/s10957-010-9656-7
Cheng YH, Zhu DL: Global stability results for the weak vector variational inequality. J. Glob. Optim. 2005, 32: 543-550. 10.1007/s10898-004-2692-9
Huang NJ, Li J, Thompson HB: Stability for parametric implicit vector equilibrium problems. Math. Comput. Model. 2006, 43: 1267-1274. 10.1016/j.mcm.2005.06.010
Gong XH, Yao JC: Lower semicontinuity of the set of efficient solutions for generalized systems. J. Optim. Theory Appl. 2008, 138: 197-205. 10.1007/s10957-008-9379-1
Gong XH: Continuity of the solution set to parametric weak vector equilibrium problems. J. Optim. Theory Appl. 2008, 139: 35-46. 10.1007/s10957-008-9429-8
Kimura K, Yao JC: Sensitivity analysis of solution mappings of parametric vector quasi-equilibrium problems. J. Glob. Optim. 2008, 41: 187-202. 10.1007/s10898-007-9210-9
Xu S, Li SJ: A new proof approach to lower semicontinuity for parametric vector equilibrium problems. Optim. Lett. 2009, 3: 453-459. 10.1007/s11590-009-0124-y
Chen CR, Li SJ: On the solution continuity of parametric generalized systems. Pac. J. Optim. 2010, 6: 141-151.
Gong XH: Efficiency and Henig efficiency for vector equilibrium problems. J. Optim. Theory Appl. 2001, 108: 139-154. 10.1023/A:1026418122905
Gong XH, Yao JC: Connectedness of the set of efficient solution for generalized systems. J. Optim. Theory Appl. 2008, 138: 189-196. 10.1007/s10957-008-9378-2
Gong XH: Connectedness of the solution sets and scalarization for vector equilibrium problems. J. Optim. Theory Appl. 2007, 133: 151-161. 10.1007/s10957-007-9196-y
Aubin JP, Ekeland I: Applied Nonlinear Analysis. Wiley, New York; 1984.
Aubin JP, Frankowska H: Set-Valued Analysis. Birkhäuser, Boston; 1990.
Anh LQ, Khanh PQ: Semicontinuity of the solution sets to parametric quasivariational inclusions with applications to traffic networks I: upper semicontinuities. Set-Valued Anal. 2008, 16: 267-279. 10.1007/s11228-008-0074-z
Peng, ZY, Yang, XM: On the connectedness of efficient solutions for generalized Ky Fan inequality problems. J. Nonlinear Convex Anal. (accepted)
Acknowledgements
This work was supported by the Natural Science Foundation of China (Nos. 11301571, 11271389, 71201126), the science foundation of Ministry of Education of China (No. 12XJC910001), the Natural Science Foundation Project of ChongQing (No. 2012jjA00016) and the Education Committee Research Foundation of Chongqing (KJ130428).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Peng, Z.Y., Lin, Z., Yu, K.Z. et al. A note on solution lower semicontinuity for parametric generalized vector equilibrium problems. J Inequal Appl 2014, 325 (2014). https://doi.org/10.1186/1029-242X-2014-325
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-325