Lower semicontinuity of solutions for order-perturbed parametric vector equilibrium problems

The lower semicontinuity of the (weak) efficient solution mappings for parametric vector equilibrium problems under more weaker assumptions is established. Some examples are developed to illustrate our results are real generalization different from recent ones in the literature and to describe the essential conditions of the latest results in the references are not real essential.


Introduction
Several classes of problems, including the vector variational inequality problem, the vector complementarity problem, the vector optimization problem and the vector saddle point problem, have been unified as a model of the vector equilibrium problem, which has been intensively studied in the literature (see [1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16]). One of the important topics in optimization theory is the stability analysis of the solution mappings for vector equilibrium problems. Stability may be understood as some types of lower or upper semicontinuity. Recently, the semicontinuity, especially the lower semicontinuity, of the solution mappings for parametric vector equilibrium problems has been intensively studied in various directions (see [1,2,4,6,10,15] and references therein).
Anh and Khanh first obtained the semicontinuity of the solution mappings of parametric multivalued vector quasiequilibrium problems (see [1]), and then obtained verifiable sufficient conditions for solution sets of general quasivariational inclusion problems to have these semicontinuity-related properties and discussed in detail a traffic network problem as a sample for employing the main results in practical situations (see [2]), and latter established sufficient conditions for lower and Hausdorff lower semicontinuity, upper semicontinuity, and continuity of solution mappings of parametric quasi-equilibrium problems in topological vector spaces (see [3]).
Gong and Yao, by virtue of a density result and a scalarization technique, first discussed the lower semicontinuity of the set of efficient solutions to parametric vector equilibrium problems with monotone bifunctions (see [4]), and studied the continuity of the solution mapping to parametric weak vector equilibrium problems (see [5] generalized strong vector equilibrium problem without the assumptions of monotonicity of the objective mapping and compactness of the constraint mapping (see [6]). Huang et al. used local existence results to establish the lower semicontinuity of solution mappings for parametric implicit vector equilibrium problems (see [7]). By using a new proof which is different from the ones of [4,5], Chen et al. established the lower semicontinuity and continuity of the solution mappings to a parametric generalized vector equilibrium problem (see [9]). Li and Fang investigated the lower semicontinuity of the solutions mapping to parametric generalized Ky Fan inequality under a weaker assumption than C-strict monotonicity (see [10]). Recently, by using an idea of [4], Li et al. established the continuity of solution mappings to a parametric generalized strong vector equilibrium problem for set-valued mappings under an assumption which is different from the C-strict monotonicity (see [11]). Kimura and Yao discussed the semicontinuity of solution mappings of parametric vector quasi-equilibrium problems (see [13]). Cheng and Zhu obtained a lower semicontinuity result of the solution mapping to weak vector variational inequalities in finite-dimensional spaces by using the scalarization method (see [14]). Zhang et al. obtained the lower semicontinuity of solution mappings for parametric vector equilibrium problems under the Höder-related assumptions [15]. Wangkeeree et al. extended the results in [15] to the case of set-valued mappings on parametric strong vector equilibrium problems (see [16]).
However, all these results are with respect to the fixed order relationship in the object space, that is, the cone partial order is not perturbed by the parameters. Motivated by the idea of variational domination structure, the main results in [15] will be obtained under more weaker conditions in this paper.
The organization of this work is as follows. In Sect. 2, we introduce the efficient solutions to parametric vector equilibrium problems with the cone partial order being perturbed by the parameters and recall some basic notions. In Sect. 3, we discuss the lower semicontinuity of the (weak) efficient solution mappings for parametric vector equilibrium problems in the case of weakly conditions. Some examples are given to illustrate that the assumptions of the main results in our work or in [15] are only sufficient for some special problems and indicate also that our outcomes are real extension from the corresponding ones in [15].

Preliminaries
Let X and Z be two metric spaces, and let Y be a metric vector space and C be a pointed closed convex cone in Y with nonempty interior intC; the zero element in Y is denoted by h. Let A be a nonempty subset of X and F be a vector-valued mapping from A 9 A into Y. A vector equilibrium problem, in short (VEP), is described as: Find x 2 A such that Fðx; yÞ 6 2 ÀCnfhg, for all y 2 A A point x 2 A is said to be an efficient solution to (VEP) if Fðx; yÞ 6 2 ÀCnfhg; for all y 2 A When the subset A of X and the function F are perturbed by the parameter k 2 K, where K , Z, a parametric vector equilibrium problem, in short (PVEP), is a problem as following: Fðx; y; kÞ 6 2 ÀCnfhg; for all y 2 A k ð Þ In this work, we consider (PVEP) with cone C being also perturbed by parameter k 2 K, described as follows: where, for each k 2 K, C(k) is a pointed closed convex cone in Y with nonempty interior, that is to say, C:K ? 2 Y is a cone-valued mapping. In this case, we call the (PVEP) as parametric vector order-perturbed equilibrium problem, in short (PVOPEP).
A point x 2 A(k) is called an efficient solution to (PVOPEP) if Fðx; y; kÞ 6 2 ÀCðkÞnfhg; for all y 2 A k ð Þ The set of efficient solutions to (PVOPEP) is denoted by S(k), i.e., SðkÞ :¼ fx 2 AðkÞjFðx; y; kÞ 6 2 ÀCðkÞnfhg; 8y 2 AðkÞg It is easy to see that S is a set-valued mapping S:K ? 2 X . Throughout this work, we always assume that S(k) = /; for all k 2 K. Next, we recall some basic definitions and their properties which will be needed in the following.
B X (k, d) denotes the open ball with center k and radius d [ 0 in a metric space X, d X (Á, Á) denotes the distance in X, and the distance from x to the set A , X is denoted by d X (x, A).  1. S:K ? 2 X is l.s.c. at k 0 2 K if and only if for any sequence {k n } , K with k n ? k 0 and any x 0 2 S(k 0 ), there exists x n 2 S(k n ) such that x n ? x 0 . 2. If S has compact values (i.e., S(k) is a compact set for each k 2 K), then S is u.s.c. at k 0 2 K if and only if for any sequence {k n } , K with k n ? k 0 and for any x n 2 S(k n ), there exist x 0 2 S(k 0 ) and a subsequence fx n k g of {x n } such that x n k ! x 0 .

The main results
In this section, we present the lower semicontinuity of the solution mapping to (PVOPEP). Proof Suppose to the contrary that there exists k 0 2 K such that S(Á)is not l.s.c. at k 0 . Then, there exists a sequence {k n } , K with k n ? k 0 and x 0 2 S(k 0 ) with some open set V 1 of x 0 , such that for any x n 0 2 S(k n ), x n 0 6 2 V 1 .
From x 0 2 S(k 0 ), we have x 0 2 A(k 0 ) and Fðx 0 ; y; k 0 Þ 6 2 ÀCðk 0 Þnfhg; 8y 2 Aðk 0 Þ ð 1Þ Since A(Á) is l.s.c. at k 0 , there exists a sequence {x n } , -A(k n ) such that x n 2 V 1 . Then, for the above open set V 1 , there exists a positive integer N; such that x n 2 V 1 , for all n C N. Obviously, we have x n 2 Aðk n ÞnSðk n Þ for all n C N. For the sake of convenience, we consider n as still from one to infinity. Byˆ, for each x n 2 Aðk n ÞnSðk n Þ, there exist y n 2 S(k n ) and a positive function M:K ? (0, ? ?) which is upper semicontinuous on K, such that d X ðx n ; y n Þ Mðk n Þ Á d Y ðFðx n ; y n ; k n Þ; Yn À intCðk n ÞÞ ð2Þ Since y n 2 A(k n ), it follows from the upper semicontinuity and compactness of A(Á) at k 0 that there exist y 0 2 A(k 0 ) and a subsequence fy n i g of {y n } such that y n i ! y 0 . In particular, from (2), we have Since the distance function d(Á, Á) is continuous, F(Á, Á, Á) is c.l.s.c., M(Á) is u.s.c., and C(Á) is an upper semicontinuous cone-valued mapping, then let i ? ? ? on both sides of (3), we have If x 0 = y 0 , by (4), we can obtain

Thus, we have
Fðx 0 ; y 0 ; k 0 Þ 2 ÀintCðk 0 ÞÞ which contradicts (1) as we see by taking y = y 0 . Therefore x 0 = y 0 . This is impossible by the contradiction assumption. Thus, the proof is complete. h The following examples indicate that the assumptionˆin Theorem 3.1 in our work (or the assumption (iii) of Theorem 3.1 in [15]) cannot be applied to the case when AðkÞnSðkÞ ¼ /, for some k 2 K. So the assumptionˆof Theorem 3.1 in our paper (or the assumption (iii) of Theorem 3.1 in [15])is not essential. F(x, y, k) = (k(yx), k(yx)). It follows from a direct computation that From above two inequalities, it easy to see that the assumption (iii) in Theorem 3.1. in [15] is violated when k 2 K 1 . However, S 1 (Á) and S 2 (Á) are all continuous on K 1 and K 2 , respectively. If we take M:  [15]. h And it is easy to check that S(Á) is continuous on K. For any k 2 (0, 1], for each x 2 AðkÞnSðkÞ ¼ ðk 2 ; 1 þ k, taking the unique element y = k 2 2 S(k), we have Obviously, the assumption (iii) of Theorem 3.1. in [15] is violated, but if taking M: K ? (0, ? ?) as following: MðkÞ ¼ a k ; 8k 2 K where a is a constant number and a C 1.
Thus, the example 3.2 satisfies all the assumptions of Theorem 3.1. in our work, and it follows from Theorem 3.1. in our work that S(Á) is l.s.c. on K. But the Theorem 3.1. in [15] is invalid.
It follows from a direct computation that S(k) = [1 -k 2 , 1 ? k 2 ] = A(k). For any k 2 [0, 1], AðkÞnSðkÞ ¼ /. Obviously, we cannot take any x 2 AðkÞnSðkÞ. So the condition (iii) of Theorem 3.1 in [15] (or the assumptionˆin Theorem 3.1 in our work) cannot be applied. But it is easy to check that S(Á) is continuous on K.
Our approach can also be applied to study the lower semicontinuity of the weak solution mappings. A point x 2 A(k) is called a weak efficient solution to (PVOPEP) if Fðx; y; kÞ 6 2 ÀintCðkÞ; 8y 2 AðkÞ The set of weak efficient solutions to (PVOPEP) is denoted by S W (k), i.e., S W ðkÞ :¼ fx 2 AðkÞjFðx; y; kÞ 6 2 ÀintCðkÞ; 8y 2 AðkÞg We can also obtain the following theorem on the lower semicontinuity of the weak efficient solution map to (PVOPEP) with a trivial adaptation of the proof.