Well-posed symmetric vector quasi-equilibrium problems
- Xicai Deng^{1, 2}Email author and
- Shuwen Xiang^{2}
https://doi.org/10.1186/s13660-015-0749-6
© Deng and Xiang 2015
Received: 13 April 2015
Accepted: 7 July 2015
Published: 26 July 2015
Abstract
In this paper, we consider well-posedness of symmetric vector quasi-equilibrium problems. Based on a nonlinear scalarization technique, we first establish the bounded rationality model M for symmetric vector quasi-equilibrium problems, and then introduce a well-posedness concept for symmetric vector quasi-equilibrium problems, which unifies its Hadamard and Tykhonov well-posedness. Finally, sufficient conditions on the well-posedness for symmetric vector quasi-equilibrium problems are given.
Keywords
well-posedness bounded rationality model nonlinear scalarization function symmetric vector quasi-equilibrium problems sufficient conditionsMSC
91A26 49K40 90C311 Introduction
In 2003, Fu [1] introduced the symmetric vector quasi-equilibrium problem (for short, SVQEP) which is a generalization of equilibrium problem proposed by Blum and Oettli [2] and gave an existence theorem for a weak Pareto solution for (SVQEP). It provides a very general model for a wide range of problems, for example, the vector optimization problem, the vector variational inequality problem, the vector complementarity problem and the vector saddle point problem. In 2006, Farajzadeh [3] considered existence theorem of the solution of (SVQEP) in the Hausdorff topological vector space. In 2008, Chen and Gong [4] studied the stability of the set of solutions for (SVQEP), proved a generic stability theorem and gave an existence theorem for essentially connected components of the set of solutions for (SVQEP). In 2012, Zhang [5] introduced the notion of a generalized Levitin-Polyak well-posedness and gave sufficient conditions of the generalized Levitin-Polyak well-posedness for (SVQEP). Recently, by using the same roadmap as Deng and Xiang [6], Zhang et al. [7] introduce and study well-posedness in connection with (SVQEP), which unifies its Hadamard and Levitin-Polyak well-posedness.
As is well known, the notion of well-posedness can be divided into two different groups: Hadamard type and Tykhonov type [8, 9]. Roughly speaking, Hadamard type well-posedness is based on the continuous dependence of the optimal solution from the data of the considered optimization problem. Tykhonov types well-posedness such as Tikhonov and Levitin-Polyak well-posedness deal with the behavior of a prescribed class of sequence of approximate solutions. Two kinds of well-posedness have been generalized to various problems related to vector optimization, e.g., vector optimization problems [10–15], vector variational inequality problems [10, 16], and vector equilibrium problems [5–7, 17]. Among many approaches for dealing with Tykhonov types well-posedness for vector optimization problems, vector variational inequality problems, and vector equilibrium problems, the nonlinear scalarization technique is of considerable interest. On the other hand, almost all the literature deals with directly specific notions of well-posedness, especially Tykhonov types of well-posedness, while some researchers have investigated a unified approaches to two different types of well-posedness. For one thing, the notion of extended well-posedness for vector optimization problems has been investigated in [12]. In some sense this notion unifies the ideas of Tykhonov and Hadamard well-posedness, allowing perturbations of the objective function and the feasible set. For another, well-posedness under perturbations (called also parametric well-posedness) for vector equilibrium problems has also been investigated in [18]. This kind of well-posedness is a blending of Hadamard and Tikhonov notions, and it gives also links to stability theory and seems well adapted to describe the behaviors of solutions under perturbations.
In this paper, we will introduce a well-posedness concept for (SVQEP), which unifies its Hadamard and Tykhonov well-posedness. The distinguishing feature of our work lies in the use of the scalarization technique and the bounded rationality model M (see [19–22]) to establish well-posedness results of (SVQEP). It is worthy that our research method is different from extended well-posedness and parametric well-posedness. Finally, by using the conditions of the existence theorem of the solutions to (SVQEP) (see [1]), we obtain sufficient conditions of the well-posedness for (SVQEP).
2 Preliminaries
Throughout this paper, unless otherwise specified, let C and D be a compact metric space supplied with distance \(d_{1}\), \(d_{2} \), respectively. Let \((Z,\|\cdot\|)\) be a Banach space and P be a nonempty, closed, convex, and pointed cone in Z with apex at the origin and \(\operatorname{int}P\neq\emptyset\).
Now we introduce the notion of Tykhonov approximating solution sequence for (SVQEP).
Definition 2.1
Remark 2.1
Note that the nonlinear scalarization function \(\xi _{e}\) is not strongly monotone (see [24]). It is for the reason that the function \(\xi_{e}\) is more useful in dealing with weakly efficient points.
Finally, we recall some useful definitions and lemmas.
Definition 2.2
(see [26])
- 1.
F is said to be upper semicontinuous at \(x\in X\) if for any open set \(U\supset F(x)\), there is an open neighborhood \(O(x)\) of x such that \(U \supset F(x')\) for each \(x'\in O(x)\);
- 2.
F is said to be lower semicontinuous at x if for any open set \(U\cap F(x)\neq\emptyset\), there is an open neighborhood \(O(x)\) of x such that \(U\cap F(x')\neq\emptyset\), for each \(x'\in O(x)\);
- 3.
F is said to be an usco mapping if F is upper semicontinuous and \(F(x)\) is nonempty compact for each \(x\in X\);
- 4.
F is said to be closed if \(\operatorname{Graph}(F)\) is closed, where \(\operatorname{Graph}(F)=\{(x,y)\in X\times Y: x\in X, y\in F(x)\}\) is the graph of F.
Lemma 2.1
(see [26])
If \(F:X\rightrightarrows Y\) is closed and Y is compact, then F is upper semicontinuous at each \(x\in X\).
3 A unified approach to notions of well-posedness for (SVQEP)
- (a)
\(S:C\times D\rightrightarrows C\) and \(T:C\times D\rightrightarrows D\) are continuous with nonempty compact values;
- (b)
\(F, G:C\times D\rightarrow Z\) are continuous;
- (c)
\(\sup_{(x,y)\in C\times D}\|F(x,y)\|<+\infty\) and \(\sup_{(x,y)\in C\times D}\|G(x,y)\|<+\infty\);
- (d)
- (i)
\(({ \varLambda },\rho)\) is a metric space and \((X^{*},d)\) is a compact metric space;
- (ii)the feasible set of λ is defined by$$f(\lambda):=\bigl\{ x^{*}\in X^{*}:x^{*}\in(S\times T) \bigl(x^{*}\bigr)\bigr\} ; $$
- (iii)the solution set of λ is defined by$$E(\lambda):=\bigl\{ x^{*}\in X^{*}: x^{*} \mbox{ meets (\ref{eq:1}), (\ref{eq:2}) and (\ref{eq:3})}\bigr\} ; $$
- (iv)the rationality function of λ is defined by$$\begin{aligned}& {\varPhi }\bigl(\lambda,x^{*}\bigr) \\& \quad :=\operatorname{Max} \Bigl\{ \sup_{u\in S(x,y)}\bigl\{ - \xi_{e}\bigl(F(u,y)-F(x,y)\bigr)\bigr\} ,\sup_{v\in T(x,y)} \bigl\{ -\xi_{e}\bigl(G(x,v)-G(x,y)\bigr)\bigr\} \Bigr\} . \end{aligned}$$
Remark 3.1
In (iv), a nonlinear scalarization function \(\xi_{e}\) is applied to reduce (SVQEP) to a scalar optimization problem since (SVQEP) does not possess linearity and convexity. Referring to [25], if one needs to solve exactly one representation to catch all the solution of (SQVEP), then the nonlinear scalarization technique is feasible.
Example 3.1
- 1.
If \(x^{*}\in f(\lambda)\), then \(x\in[0,1]\) and \(y\in[0,1]\). Obviously, \({\varPhi }(\lambda,x^{*})\geq0\).
- 2.For any \(\lambda\in \varLambda \), one has$$E(\lambda)=\bigl\{ (x,y):x=1,y=1\bigr\} \neq\emptyset. $$
- 3.
It is easy to check that \((x,y)\in E(\lambda)\) if and only if \({\varPhi }(\lambda,x^{*})=0\). Moreover, taking \(x=0\), \(y=\frac{1}{2}\), then \((x,y)=(0,\frac{1}{2})\notin E(\lambda)\) and \({\varPhi }(\lambda,x^{*})=1\neq0\).
Lemma 3.1
- 1.
\(\forall\lambda\in \varLambda \), \(E(\lambda)\neq\emptyset\) and \(\forall x^{*}\in f(\lambda)\), \({\varPhi }(\lambda,x^{*})\geq0\).
- 2.
\(\forall\lambda\in \varLambda \), \({\varPhi }(\lambda,x^{*})\leq \epsilon\) if and only if \(x^{*}\) meets (5) and (6).
- 3.
\(x^{*}\in E(\lambda)\) if and only if \({\varPhi }(\lambda,x^{*})= 0\).
Proof
3. Using the above results, this result can be obtained. □
Tykhonov well-posedness for (SVQEP) corresponding to the problem λ is given as follows.
Definition 3.1
- 1.
If \(\forall x^{*}_{n}\in E(\lambda,\epsilon _{n})\), \(\epsilon_{n}>0\) with \(\epsilon_{n}\rightarrow0\), there must exist a subsequence \(\{x^{*}_{n_{k}}\}\subset\{x^{*}_{n}\}\) such that \(x^{*}_{n_{k}}\rightarrow x^{*}\in E(\lambda)\), then the problem λ is said to be generalized Tykhonov well-posed (for short GT-wp).
- 2.
If \(E(\lambda)=\{x^{*}\}\) (a singleton), \(\forall x^{*}_{n}\in E(\lambda,\epsilon_{n})\), \(\epsilon_{n}>0\) with \(\epsilon_{n}\rightarrow 0\), we must have \(x^{*}_{n}\rightarrow x^{*}\), then the problem λ is said to be Tykhonov well-posed (for short T-wp).
Referring to [9], Hadamard well-posedness for (SVQEP) corresponding to the problem λ is defined as follows.
Definition 3.2
- 1.
If \(\forall\lambda_{n}\in \varLambda \), \(\lambda _{n}\rightarrow \lambda\), \(\forall x^{*}_{n}\in E(\lambda_{n})\), there must exist a subsequence \(\{x^{*}_{n_{k}}\}\subset\{x^{*}_{n}\}\) such that \(x^{*}_{n_{k}}\rightarrow x^{*}\in E(\lambda)\), then the problem λ is said to be generalized Hadamard well-posed (for short GH-wp).
- 2.
If \(E(\lambda)=\{x^{*}\}\) (a singleton), \(\forall\lambda_{n}\in \varLambda \), \(\lambda_{n}\rightarrow\lambda\), \(\forall x^{*}_{n}\in E(\lambda_{n})\), we must have \(x^{*}_{n}\rightarrow x^{*}\), then the problem λ is said to be Hadamard well-posed (for short H-wp).
Finally, we establish a well-posedness concept for (SVQEP) corresponding to the problem λ, which unifies its Hadamard and Tykhonov well-posedness.
Definition 3.3
- 1.
If \(\forall\lambda_{n}\in \varLambda \), \(\lambda _{n}\rightarrow \lambda\), \(\forall x^{*}_{n}\in E(\lambda_{n},\epsilon_{n})\), \(\epsilon_{n}>0\) with \(\epsilon_{n}\rightarrow0\), there must exist a subsequence \(\{x^{*}_{n_{k}}\}\subset\{x^{*}_{n}\}\) such that \(x^{*}_{n_{k}}\rightarrow x^{*}\in E(\lambda)\), then the problem λ is said to be generalized well-posed (for short G-wp).
- 2.
If \(E(\lambda)=\{x^{*}\}\) (a singleton), \(\forall\lambda_{n}\in \varLambda \), \(\lambda_{n}\rightarrow\lambda\), \(\forall x^{*}_{n}\in E(\lambda_{n},\epsilon_{n})\), \(\epsilon_{n}>0\) with \(\epsilon_{n}\rightarrow0\), we must have \(x^{*}_{n}\rightarrow x^{*}\), then the problem λ is said to be well-posed (for short wp).
4 Sufficient conditions for well-posedness of (SVQEP)
Assume that the bounded rationality model \(M=\{\varLambda ,X^{*},f,\varPhi \}\) for (SVQEP) is given. In order to show sufficient conditions for well-posedness of (SVQEP), we first give the following lemmas.
Lemma 4.1
\(f:{\varLambda }\rightrightarrows X^{*}\) is an usco mapping.
Proof
Since \(X^{*}\) is a compact metric space, by Lemma 2.1, it suffices to show that \(\operatorname{Graph}(f)\) is closed. That is to say, \(\forall\lambda_{n}\in{ \varLambda }\), \(\lambda_{n}\rightarrow\lambda\in \varLambda \), \(\forall x_{n}^{*}\in f(\lambda_{n})\), \(x_{n}^{*}\rightarrow x^{*}\), we need to show that \(x^{*}\in f(\lambda)\).
Lemma 4.2
Suppose that \(f:\varLambda \rightrightarrows X^{*}\) is a usco mapping. Then, for any \(\lambda_{n}\rightarrow\lambda\) and any \(x_{n}^{*}\in f(\lambda_{n})\), there is a subsequence \(\{x^{*}_{n_{k}}\}\subset\{ x^{*}_{n}\}\) such that \(x_{n_{k}}^{*}\rightarrow x^{*}\in f(\lambda)\).
Lemma 4.3
Φ is lower semicontinuous at \((\lambda,x^{*})\).
Proof
Finally, we give sufficient conditions for G-wp and wp of (SVQEP) corresponding to \(\lambda\in{ \varLambda }\).
Theorem 4.1
- 1.
Every \(\lambda\in{ \varLambda }\) is G-wp.
- 2.
Let \(\lambda\in{ \varLambda }\) and suppose furthermore \(E(\lambda)=\{x^{*}\}\) (a singleton), then λ is wp.
Proof
2. By way of contradiction. If the sequence \(\{x_{n}^{*}\}\) does not converge \(x^{*}\), then there exist an open neighborhood O at \(x^{*}\) and a subsequence \(\{x_{n_{k}}^{*}\}\) of \(\{x_{n}^{*}\}\) such that \(x_{n_{k}}^{*}\notin O\). Since \(E(\lambda)=\{x^{*}\}\) (a singleton), using the above proof, we get \(x_{n_{k}}^{*}\rightarrow x^{*}\). This is a contradiction to \(x_{n_{k}}^{*}\notin O\). □
Example 4.1
Finally, by Definition 3.1, Definition 3.2, Definition 3.3, and Theorem 4.1, it is easy to check the following.
Corollary 4.1
- 1.
Every \(\lambda\in{ \varLambda }\) must be GT-wp and GH-wp.
- 2.
Let \(\lambda\in{ \varLambda }\), if \(E(\lambda)=\{x^{*}\}\) (a singleton), then λ must be T-wp and H-wp.
Declarations
Acknowledgements
The authors would like to thank the editor and the reviewers for their helpful comments and suggestions, which have improved the presentation of the paper. This work is supported by NSFC (Grant No. 11161008) and Natural Science Foundation Guizhou Province, P.R. China (Grant Nos. 20132235, 20122289).
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided 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.
Authors’ Affiliations
References
- Fu, JY: Symmetric vector quasi-equilibrium problems. J. Math. Anal. Appl. 285, 708-713 (2003) MathSciNetView ArticleMATHGoogle Scholar
- Blum, E, Oettli, W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 63, 123-145 (1994) MathSciNetMATHGoogle Scholar
- Farajzadeh, AP: On the symmetric vector quasi-equilibrium problems. J. Math. Anal. Appl. 322, 1099-1110 (2006) MathSciNetView ArticleMATHGoogle Scholar
- Chen, JC, Gong, XH: The stability of set of solutions for symmetric vector quasi-equilibrium problems. J. Optim. Theory Appl. 136, 359-374 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Zhang, WY: Well-posedness for convex symmetric vector quasi-equilibrium problems. J. Math. Anal. Appl. 387, 909-915 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Deng, XC, Xiang, SW: Well-posed generalized vector equilibrium problems. J. Inequal. Appl. 2014, Article ID 127 (2014) MathSciNetView ArticleGoogle Scholar
- Zhang, WB, Huang, NJ, O’Regan, D: Generalized well-posedness for symmetric vector quasi-equilibrium problems. J. Appl. Math. 2015, Article ID 108357 (2015) MathSciNetMATHGoogle Scholar
- Dontchev, AL, Zolezzi, T: Well-Posed Optimization Problems. Lecture Notes in Mathematics, vol. 1543. Springer, Berlin (1993) Google Scholar
- Yu, J, Yang, H, Yu, C: Well-posed Ky Fan’s point, quasi-variational inequality and Nash equilibrium problems. Nonlinear Anal. 66, 777-790 (2007) MathSciNetView ArticleMATHGoogle Scholar
- Crespi, GP, Guerraggio, A, Rocca, M: Well posedness in vector optimization problems and vector variational inequalities. J. Optim. Theory Appl. 132, 213-226 (2007) MathSciNetView ArticleGoogle Scholar
- Durea, M: Scalarization for pointwise well-posed vectorial problems. Math. Methods Oper. Res. 66, 409-418 (2007) MathSciNetView ArticleMATHGoogle Scholar
- Huang, XX: Extended well-posedness properties of vector optimization problems. J. Optim. Theory Appl. 106, 165-182 (2000) MathSciNetView ArticleMATHGoogle Scholar
- Huang, XX, Yang, XQ: Levitin-Polyak well-posedness of constrained vector optimization problems. J. Glob. Optim. 37, 287-304 (2007) View ArticleMATHGoogle Scholar
- Li, Z, Xia, FQ: Scalarization method for Levitin-Polyak well-posedness of vectorial optimization problems. Math. Methods Oper. Res. 76, 361-375 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Miglierina, E, Molho, E, Rocca, M: Well-posedness and scalarization in vector optimization. J. Optim. Theory Appl. 126, 391-409 (2005) MathSciNetView ArticleGoogle Scholar
- Zui, X, Zhu, DL, Huang, XX: Levitin-Polyak well-posedness in generalized vector variational inequality problem with functional constraints. Math. Methods Oper. Res. 67, 505-524 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Li, SJ, Li, MH: Levitin-Polyak well-posedness of vector equilibrium problems. Math. Methods Oper. Res. 69, 125-140 (2009) MathSciNetView ArticleMATHGoogle Scholar
- Kimura, K, Liou, YC, Wu, SY: Well-posedness for parametric vector equilibrium problems with applications. J. Ind. Manag. Optim. 4, 313-327 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Anderlini, L, Canning, D: Structural stability implies robustness to bounded rationality. J. Econ. Theory 101, 395-422 (2001) MathSciNetView ArticleGoogle Scholar
- Yu, C, Yu, J: On structural stability and robustness to bounded rationality. Nonlinear Anal. TMA 65, 583-592 (2006) View ArticleMATHGoogle Scholar
- Yu, C, Yu, J: Bounded rationality in multiobjective games. Nonlinear Anal. TMA 67, 930-937 (2007) View ArticleMATHGoogle Scholar
- Yu, J, Yang, H, Yu, C: Structural stability and robustness to bounded rationality for non-compact cases. J. Glob. Optim. 44, 149-157 (2009) MathSciNetView ArticleGoogle Scholar
- Gerth, C, Weidner, P: Nonconvex separation theorems and some applications in vector optimization. J. Optim. Theory Appl. 67, 297-320 (1990) MathSciNetView ArticleMATHGoogle Scholar
- Chen, GY, Huang, XX, Yang, XQ: Vector Optimization: Set-Valued and Variational Analysis. Springer, Berlin (2005) Google Scholar
- Luc, DT: Theory of Vector Optimization. Springer, Berlin (1989) View ArticleGoogle Scholar
- Aliprantis, CD, Border, KC: Infinite Dimensional Analysis. Springer, Berlin (1999) View ArticleMATHGoogle Scholar