1. Introduction
In the last two decades, the vector equilibrium problem (VEP) has received much attention because it provides a unified framework for many important particular problems such as vector variational inequality, vector optimization, vector saddle points, multiobjective games, multiobjective transportation equilibrium problems, and so forth. A large amount of research on VEP mainly focuses on the following aspects—the existence of solution (see References [
1,
2,
3,
4,
5,
6]), property of solution (including connection and continuity, see References [
7,
8,
9,
10,
11,
12]), stability of solution (including well-posedness and sensitivity analysis, see References [
13,
14,
15,
16,
17]) and various algorithms for solving VEP (see References [
6,
18,
19,
20,
21,
22] and the references therein). However, the approximation theorem of VEP has hardly been seen from the perspective of algorithms.
As we know, the approximation theorems are central to many computing problems and the related theory provides insight as well as a foundation for algorithms. Various iterative methods for solving equilibrium problems have been developed, which can be divided into several classes—fixed point methods, extragradient methods, descent methods, proximal point and Tykhonov-Browder regularization methods (see the recent survey in Reference [
6]). On the one hand, we know that an exact solution of a VEP may not exist in practice if the data of the VEP model are not “regular” and so the VEP model is generally solved by numerical methods (iterative procedures or heuristic algorithms), producing approximations to the exact solutions. Thus, in general, obtaining exact solutions to many practical problems is not possible. Naturally, it is interesting and important to investigate some characterizations for approximate solutions of VEP. On the other hand, from the view of Simon’s bounded rationality theory [
23], the decision is to seek the satisfactory solution rather than the exact optimal solution. Indeed, the satisfactory solution corresponds to the approximate solution, which reflects the bounded rationality and the exact optimal solution corresponds to the full rationality. However, the exact optimal solution is hardly obtained in the specific calculation process. We always obtain the approximate solution by means of iterative algorithms. Therefore, it is very important that the approximate solution approaches the exact optimal solution which implies that the full rationality can be approached by the bounded rationality.
In this paper, we aim to give an approximation theorem for VEP under some general assumptions and frames. Some corollaries and remarks will be obtained under some conditions. This paper is organized as follows—in
Section 2, some definitions and two necessary lemmas are introduced. In
Section 3, an approximation theorem and some corollaries are proved, and we give the details proofs and notations. In
Section 4, the generic convergence theorem on monotone VEP is obtained. Some applications of the approximation theorem for vector equilibrium problems are given in
Section 5.
Section 6 provides a conclusion.
2. Preliminaries
Definition 1 ([
24])
. Let X be a Hausdorff topological space and be a function.- (i)
ϕ is called upper pseudocontinuous (lower pseudocontinuous) at iff for all such that , we have - (ii)
ϕ is called pseudocontinuous at iff ϕ is both upper pseudocontinuous and lower pseudocontinuous at x.
- (iii)
Let be a vector-valued mapping, where . Then Φ is pseudocontinuous (resp.upper pseudocontinuous, lower pseudocontinuous) iff is pseudocontinuous (resp.upper pseudocontinuous, lower pseudocontinuous) for every .
Remark 1. Each upper(resp.lower) semicontinuous function is also upper(resp.lower) pseudocontinuous. But the converse is not true.
Let , , , It is obvious that is not upper semicontinuous but upper pseudocontinuous at and that is not lower semicontinuous but lower pseudocontinuous at .
Definition 2 ([
14])
. A vector-valued function is called -strictly-quasi-monotone on iff for any with , implies . Let
be a metric space, the following two lemmas are important to prove the approximation theorem for VEP in
Section 3.
Lemma 1 ([
25])
. Assume that there is a sequence of a nonempty bounded subset of X and a nonempty compact subset A of X. If for any and , where means the Hausdorff metric on then there exists a subsequence of such that Lemma 2 ([
25])
. Assume that there is a sequence of a nonempty bounded subset of X and a nonempty subset A of X. Let G be an open set of X, if and , then there exists a positive integer N such that for any 3. Approximation Theorem
In this section, we are interested in the approximation of both the constraint set and the bifunction of (VEP). To this purpose, we introduce a definition of an approximate equilibrium point. We start our analysis with (VEP).
Let X be a nonempty subset of , let A be a nonempty compact subset of X and let be defined by for all where each function is pseudocontinuous and satisfies the condition for all .
Problem (VEP) consists in finding
such that
Definition 3. Given and is said to be an equilibrium point of ϕ ifwhere For solving this problem, we propose approximating the function ϕ by a sequence of vector-valued functions such that for all n,and Furthermore, the compact subset A is approximated by means of a sequence of subsets of X withwhere denotes the Hausdorff metric on X between the sets and A. Theorem 1. Let be a sequence in X and let be a sequence of positive numbers such that for all n and ,where . If and as , then - (i)
There exists a subsequence of which converges to some ;
- (ii)
For any ,
Proof. (i) Since there exists a sequence such that Since the compactness of A and (6), by Lemma 1, there exists a subsequence of such that Hence there exists a subsequence of which converges to some .
(ii) Without loss of generality, it follows from (i) that we may assume that
. If the statement of (ii) was false, then there exists some point
such that
Since
, then
By the definition of pseudocontinuity of
at
for each
we have
Hence there exists
such that
By Proposition 2.1 of Reference [
24], there exists a neighborhood
of
and a neighborhood
of
such that
for any
and any
Notice that the condition (5) and
, there exists a positive integer
such that for any
Since
and
by Lemma 2, there exists a positive integer
such that for any
and
We take
Hence we have
and
Consequently This leads to a contradiction that is an -equilibrium point of Thus the proof is finished. □
Remark 2. In Theorem 1, if is continuous for each then Theorem 1 holds; if for each then Theorem 1 also holds.
Remark 3. It is obvious that Theorem 1 reflects the theoretical significance—the bifunctions are approximate, the constraint sets are approximate, and the solutions of VEP are also approximate. In that case, there exists such that . If we see the solutions of ϕ as the optimal solutions under full rationality and -equilibrium points of as the approximate solutions under bounded rationality, Theorem 1 reflects that the full rationality can be approached by the bounded rationality.
Notice that the above approximation theorem for vector equilibrium problems can be weakened by the following Corollary 1.
Corollary 1. Let X be a nonempty subset of and all the following assumptions are satisfied:
- (i)
For any the vector-valued function sequence is satisfied with , where the function is upper pseudocontinuous at the first variable on X;
- (ii)
A is a nonempty compact subset of X and for any ;
- (iii)
For any is equilibrium point of , that is, for any , where and
Then
- (i)
there exists a subsequence of which converges to some ;
- (ii)
for any ,
Proof. In Theorem 1, let then Corollary 1 can be completed in the similar method as shown in Theorem 1. □
For scalar equilibrium problems, we can obtain the following Corollary 2, which can be seen Theroem A in Reference [
26].
Corollary 2. Let X be a metric space and all the following assumptions are satisfied:
- (i)
For any the function sequence is satisfied with , where the function is upper pseudocontinuous;
- (ii)
For any is a subset sequence of X with , where A is a nonempty compact subset of X and for any ;
- (iii)
For any is equilibrium point of , that is, for any , where and
Then
- (i)
there exists a subsequence of which converges to some ;
- (ii)
for any ,
4. Generic Convergence
In this section, we will study the generic convergence of VEP. Firstly we construct a space of VEP under some assumptions and study the property of the set of solutions.
Let a space M of VEP be defined by
For any
,
, denote
where
h is the Hausdorff distance on
X.
Denote by the set of all solutions to VEP in A. Then it yields a set-valued mappings , that is, for all .
By Reference [
14], the authors obtain an important result using the way of set-valued analysis.
Lemma 3. There exists a dense everywhere residual subset Q of M such that is a singleton for each , that is, VEP has a unique solution in A.
Lemma 4. If the solution of VEP is a singleton set, then .
Proof. By contradiction, assume that does not converge to , then there exists and a subsequence of such that , . By Theorem 1, there exists a subsequence of , , we may suppose that , that is . satisfies for each . Since the solution is singleton set, then , which is a contradiction. Thus, the result holds. □
Remark 4. In fact, the convergence of Lemma 4 is better than Theorem 1, Corollary 1 and Corollary 2. In Lemma 4, there exists the convergence sequence but not the convergence subsequence if the solution of VEP is a singleton set.
Next, we can obtain the generic convergence theorem of solutions of VEP.
Theorem 2. Let be of with the convergence function ϕ under the uniform metric. There exists a dense residual subset Q of M such that for any , then ϕ has a unique solution with and .
Proof. It is obvious that Theorem 2 can be deduced by combining Lemma 4 with Lemma 3. □
Remark 5. Note that is -upper-continuouson . If is -pseudocontinuous on , then Theorem 2 also holds. All the proofs are similar and so we omit it.
5. Applications
In this section, we obtain some applications of the approximation theorem for vector equilibrium problems.
5.1. Vector Variational Inequality Problems
Let X and Y be topological vector spaces and K be a nonempty subset of X. Let be an operator, for each , the value of l at x is denoted by . The vector variational inequality problems (VVIPs) are defined as follows:
Find such that , for all .
Then VVIPs are equivalent to the corresponding VEPs. By Theorem 1, we can obtain the following Proposition 1.
Proposition 1. If the following conditions are satisfied:
- (i)
For any the operator sequence is satisfied with , where the operator is pseudocontinuous;
- (ii)
For any is a subset sequence of K with , where A is a nonempty compact subset of K;
- (iii)
For any and there holds , , where , and
Then
- (i)
there exists a subsequence of which converges to some ;
- (ii)
for any , .
5.2. Vector Optimization Problems
Let X be a topological vector space and K be a nonempty subset of X. Let be a vector function. The vector optimization problems (VOPs) are defined as follows:
Find such that , for all .
Then VOPs are equivalent to the corresponding VEPs. By Theorem 1, we can obtain the following Proposition 2.
Proposition 2. If the following conditions are satisfied:
- (i)
For any the function sequence is satisfied with , where the function is pseudocontinuous;
- (ii)
For any is a subset sequence of K with , where A is a nonempty compact subset of K;
- (iii)
For any and there holds , , where , and
Then
- (i)
There exists a subsequence of which converges to some ;
- (ii)
For any , .
5.3. Nash Equilibrium Problems of Multiobjective Games (In Short, NEPs)
Let denote the set of players. For each , assume that the strategy set of the player is denoted by . Now denote the players’ strategy profile , where and .
For each , let denote the objective function of the player. A point is called to be a weakly Pareto-Nash equilibrium of multiobjective games, that is, for each , , for all .
Then NEPs are equivalent to the corresponding VEPs. By Theorem 1, we can obtain the following Proposition 3.
Proposition 3. If the following conditions are satisfied:
- (i)
For any the function sequence is satisfied with , where the operator is pseudocontinuous for each ;
- (ii)
For any is a subset sequence of with , where is a nonempty compact subset of ;
- (iii)
For any and there holds , for any , where , and
Then
- (i)
There exists a subsequence of which converges to some ;
- (ii)
For any , for each .
6. Conclusions
In this paper, we propose an approximate theorem (Theorem 1) for vector equilibrium problems under bounded rationality. According to the theorem, we illustrate the Simon’s bounded rationality theory from the perspective of the vector equilibrium problems. That means the bounded rationality is an approximate way to full rationality. In Theorem 1, we can obtain the convergent subsequence of approximate solutions on VEPs and prove that the limitation of the subsequence belongs to the set of solutions of objective functions. This theory provides a basis for the algorithm of the vector equilibrium problem. Moreover, we also get the generic convergence of solutions of strictly-quasi-monotone vector equilibrium problems in the sense of the Baire category. Some examples, such as VVIPs, VOPs and NEPs, are given to investigate our results.
Author Contributions
Writing-original manuscript and Project management, W.J.; Methodology and formal analysis, X.Q.; Supervision and writing-review, D.P. All authors have read and agreed to the published version of the manuscript.
Funding
This research was funded by NSFC (Grant numbers 11561013, 11861020), the Foundation of Overseas Students for Science and Technology Activities (Grant No. [2015]15), the Foundation for Selected Excellent Project of Guizhou Province for High-level Talents Back from Overseas (Grant No. [2018]03)), the Science and Technology Foundation of Guizhou Province (Grant numbers QKH[2014]7643, QKH[2019]1123), the Foundation of Guizhou University (Grant numbers 201405, 201811).
Acknowledgments
The authors gratefully acknowledge Yu Jian for many useful discussion.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Ansari, Q.H.; Oettli, W.; Schldoger, D. A generalization of vector equilibria. Math. Methods Oper. Res. 1997, 46, 147–152. [Google Scholar] [CrossRef]
- Ansari, Q.H.; Yao, J.C. An existence result for the generalized vector equilibrium problem. Appl. Math. Lett. 1999, 12, 53–56. [Google Scholar] [CrossRef] [Green Version]
- Bianchi, M.; Hadjisavvas, N.; Schaible, S. Vector equilibrium problems with generalized monotone bifunctions. J. Optim. Theory Appl. 1997, 92, 527–542. [Google Scholar] [CrossRef]
- Kassay, G.; Miholca, M. Existence results for vector equilibrium problems given by a sum of two functions. J. Glob. Optim. 2015, 63, 195–211. [Google Scholar] [CrossRef]
- CAPǍTǍ, A. Existence results for globally efficient solutions of vector equilibrium problems via a generalized KKM principle. Acta Math. Sci. 2017, 37, 463–476. [Google Scholar] [CrossRef]
- Giancarlo, B.; Marco, C.; Massimo, P.; Mauro, P. Existence and solution methods for equilibria. Eur. J. Oper. Res. 2013, 227, 1–11. [Google Scholar]
- Ansari, Q.H.; Konnov, I.V.; Yao, J.C. Characterizations of solutions for vector equilibrium problems. J. Optim. Theory Appl. 2002, 113, 435–447. [Google Scholar] [CrossRef]
- Gong, X.H. Connectedness of the solution sets and scalarization for vector equilibrium problems. J. Optim. Theory Appl. 2007, 133, 151–161. [Google Scholar] [CrossRef]
- Colao, V.; López, G.; Marino, G.; Martín-Márquez, V. Equilibrium problems in Hadamard manifolds. J. Math. Anal. Appl. 2012, 388, 61–77. [Google Scholar] [CrossRef] [Green Version]
- Anh, L.Q.; Khanh, P.Q.; Tam, T.N. Continuity of approximate solution maps of primal and dual vector equilibrium problems. Optim. Lett. 2012, 13, 201–211. [Google Scholar] [CrossRef]
- Han, Y.; Huang, N.J. Some characterizations of the approximate solutions to generalized vector equilibrium problems. J. Ind. Manag. Optim. 2016, 12, 1135–1151. [Google Scholar] [CrossRef]
- Li, S.J.; Li, X.B.; Wang, L.N.; Teo, K.L. The Holder continuity of solutions to generalized vector equilibrium problems. Eur. J. Oper. Res. 2009, 119, 334–338. [Google Scholar] [CrossRef] [Green Version]
- Fang, Y.P.; Hu, R.; Huang, N.J. Well-posedness for equilibrium problems and for optimization problems with equilibrium constraints. Comput. Math. Appl. 2008, 55, 89–100. [Google Scholar] [CrossRef] [Green Version]
- Peng, D.T.; Yu, J.; Xiu, N.H. The uniqueness and well-posedness of vector equilibrium problems with a representation theorem for the solution set. Fixed Point Theory Appl. 2014, 115, 1–13. [Google Scholar] [CrossRef] [Green Version]
- Peng, D.T.; Yu, J.; Xiu, N.H. Generic uniqueness of solutions of several types of nonlinear problems. Acta Math. Sin. Chin. Ser. 2014, 57, 373–386. [Google Scholar]
- Yang, Y.L.; Deng, X.C.; Xiang, S.W.; Jia, W.S. Well-posedness for a class of strong vector equilibrium problems. J. Nonlinear Sci. Appl. 2016, 9, 1–8. [Google Scholar]
- Huang, N.J.; Lan, H.Y.; Cho, Y.J. Sensitivity analysis for nonlinear generalized mixed implicit equilibrium problems with non-monotone set-valued mappings. J. Comput. Appl. Math. 2006, 196, 608–618. [Google Scholar] [CrossRef] [Green Version]
- Zhang, L.M.; Hao, Y. Fixed point methods for solving solutions of a generalized equilibrium problem. J. Nonlinear Sci. Appl. 2016, 9, 149–159. [Google Scholar] [CrossRef] [Green Version]
- Strodiot, J.J.; Vuong, P.T.; van Nguyen, T.T. A class of shrinking projection extragradient methods for solving non-monotone equilibrium problems in Hilbert spaces. J. Glob. Optim. 2016, 64, 159–178. [Google Scholar] [CrossRef]
- Giancarlo, B.; Mauro, P. Descent and Penalization Techniques for Equilibrium Problems with Nonlinear Constraints. J. Optim. Theory Appl. 2015, 164, 804–818. [Google Scholar]
- Huppmann, D.; Siddiqui, S. An exact solution method for binary equilibrium problems with compensation and the power market uplift problem. Eur. J. Oper. Res. 2018, 266, 622–638. [Google Scholar] [CrossRef] [Green Version]
- Iusem, A.N.; Mohebbi, V. Extragradient methods for vector equilibrium problems in Banach spaces. Numer. Funct. Anal. Optim. 2019, 40, 993–1022. [Google Scholar] [CrossRef]
- Simon, H.A. Administrative Behavior: A Study of Decision-Making Processces in Administrative Organizations, 4th ed.; Mechanical Industry Press: Beijing, China, 2013. [Google Scholar]
- Morgan, J.; Scalzo, V. Pseudocontinuous functions and existence of Nash equilibria. J. Math. Econ. 2007, 43, 174–183. [Google Scholar] [CrossRef]
- Yu, J. Bounded Rationality and Stability of Equilibrium for Game Theory; Science Press: Beijing, China, 2017. [Google Scholar]
- Qiu, X.L.; Jia, W.S.; Peng, D.T. An approximation theorem and generic convergence for equlibrium prlblems. J. Inequalities Appl. 2018, 30, 1–12. [Google Scholar]
© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).