 Research
 Open Access
 Published:
Existence theorems of an extension for generalized strong vector quasiequilibrium problems
Fixed Point Theory and Applications volume 2013, Article number: 342 (2013)
Abstract
In this paper, we study generalized strong vector quasiequilibrium problems in topological vector spaces. Using the generalization of FanBrowder fixed point theorem, we provide existence theorems for an extension of generalized strong vector quasiequilibrium problems with and without monotonicity. The results in this paper generalize, extend and unify some wellknown existence theorems in literature.
MSC:49J30, 49J40, 47H10, 47H17.
1 Introduction
The minimax inequalities of Fan [1] are fundamental in proving many existence theorems in nonlinear analysis. Their equivalence to the equilibrium problems was introduced by Takahashi [[2], Lemma 1] Blum and Oettli [3] and Noor and Oettli [4]. The equilibrium problem theory provides a novel and united treatment of a wide class of problems which arise in economics, finance, image reconstruction, ecology, transportation, network, elasticity and optimization. This theory has had a great impact and influence in the development of several branches of pure and applied sciences. During this period, many results on existence of solutions for vector variational inequalities and vector equilibrium problems have been established (see, for example, [5–12]).
Recently, the equilibrium problem has been extensively generalized to the vector mappings (see [6–8, 10–16]). Let X and Y be real topological vector spaces and K be a nonempty subset of X. Let C be a closed and convex cone in Y with intC\ne \mathrm{\varnothing}, where intC denotes the topological interior of C. For a vectorvalue function F:K\times K\to Y, at least two different vector equilibrium problems are the following problems:
and
The first problem is called weak vector equilibrium problem (see, for instance, [13, 17, 18]) and the second one is normally called strong vector equilibrium problem (see [19]). However, Kazmi and Khan [20] called problem (1.2) the generalized system (for short, GS). Recently, many existence results extended and improved WVEP and its particular cases (see, for instance, [21–25]), but not VEP.
For a more general form of vector equilibrium problem, we let A:K\to {2}^{K} be a multivalued map with nonempty values where {2}^{K} denotes the family of subsets of K. Then we consider the following problem: find x\in K such that
It is known that a vector quasiequilibrium problem (for short, VQEP) was introduced by Ansari et al. [23]. If the mapping F is replaced by a multivalued map, saying F:K\times K\to {2}^{Y} with Y being a topological vector space, VEP can be generalized in the following way: find x\in K such that
It is called generalized vector equilibrium problem (for short, GVEP) and it has been studied by many authors; see, for example, [14, 15, 21, 22, 26] and references therein. In 2003, Ansari and FloresBazás [21] introduced the generalized vector quasiequilibrium problem (for short, GVQEP): find x\in K such that
which is a general form of GVEP; more examples can also be found in [13–15, 26]. In another way, Kum and Wong [27] considered the multivalued generalized system (for short, MGS): find x\in K such that
Throughout this paper, unless otherwise specified, we assume that X and Y are Hausdorff topological vector spaces, K is a nonempty convex subset of X and C is a pointed closed convex cone in Y with intC\ne \mathrm{\varnothing}. For a given multivalued bioperator F:K\times K\to {2}^{Y} such that \{0\}\subseteq F(x,x) for each x\in K, where {2}^{Y} denotes the family of subsets of Y, the new type of generalized strong vector quasiequilibrium problem (for short, GSVQEP) is the problem to find x\in K such that
where A:K\to {2}^{K} is a multivalued map with nonempty values. If we set F(x,y)=\u3008Tx,\eta (yx)\u3009 for all x,y\in K, then the GSVQEP reduces to the following generalized quasivariational like inequality problem (for short, GQVLIP): find x\in K such that
where T:K\to {2}^{L(X,Y)} is a multivalued mapping, \eta :K\times K\to X is a nonlinear mapping and L(X,Y) is denoted by the space of all continuous linear operators for X to Y. This above formulation is the generalization of vector variational inequalities, variationallike inequality problems and vector complementarity problems in infinite dimensional spaces studied by many authors (see [28–30] and references therein).
The main motivation of this paper is to establish some existence results for a solution to the new type of the generalized strong vector quasiequilibrium problems GSVQEP with and without monotonicity by using the generalization of FanBrowder fixed point theorem.
2 Preliminaries
Let us recall some definitions and lemmas that are needed in the main results of this paper.
Definition 2.1 [31]
Let X and Y be two topological vector spaces, and let T:X\to {2}^{Y} be a setvalued mapping.

(i)
T is said to be upper semicontinuous at x\in X if for each x\in X and each open set V in Y with T(x)\subset V, there exists an open neighborhood U of x in X such that T(y)\subset V for each y\in U.

(ii)
T is said to be lower semicontinuous at x\in X if for each x\in X and each open set V in Y with T(x)\cap V\ne \mathrm{\varnothing}, there exits an open neighborhood U of x in X such that T(y)\cap V\ne \mathrm{\varnothing} for each y\in U.

(iii)
T is said to be continuous on X if it is at the same time upper semicontinuous and lower semicontinuous on X. It is also known that T:X\to {2}^{Y} is lower semicontinuous if and only if for each closed set V in Y, the set \{x\in X\mid T(x)\subset V\} is closed in X.

(iv)
T is said to be closed if the graph of T, i.e., Graph(T)=\{(x,y):x\in X\text{and}y\in T(x)\}, is a closed set in X\times Y.
Definition 2.2 [27]
Let X, Y be Hausdorff topological vector spaces, K be a nonempty convex subset of X and C be a pointed closed convex cone in Y with intC\ne \mathrm{\varnothing}.

(i)
A multivalued bioperator F:K\times K\to {2}^{Y} is said to be Cstrongly pseudomonotone if it satisfies
\mathrm{\forall}x,y\in K,\phantom{\rule{1em}{0ex}}F(x,y)\u2288C\setminus \{0\}\phantom{\rule{1em}{0ex}}\Rightarrow \phantom{\rule{1em}{0ex}}F(y,x)\subseteq C. 
(ii)
A multivalued mapping G:K\to {2}^{Y} is said to be Cconvex if for all x,y\in K and for all \lambda \in [0,1],
G(\lambda x+(1\lambda )y)\subseteq \lambda G(x)+(1\lambda )G(y)C.And the mapping G is said to be generalized hemicontinuous (in short, g.h.c.) if for all x,y\in K and for all \lambda \in [0,1],
\lambda \mapsto G(x+\lambda (yx))\phantom{\rule{1em}{0ex}}\text{is upper semicontinuous at}{0}^{+}.
Definition 2.3 [27]
Let T:K\to {2}^{L(X,Y)} and \eta :K\times K\to X be nonlinear mappings. Then:

(i)
T is said to be hemicontinuous if, for any given x,y,z\in K and for \lambda \in [0,1], the mapping \lambda \to \u3008T(x+\lambda (yz),z)\u3009 is continuous at 0^{+};

(ii)
T is said to be Cηstrongly pseudomonotone if, for any x,y\in K,
\u3008Tx,\eta (y,x)\u3009\u2288C\setminus \{0\}\phantom{\rule{1em}{0ex}}\text{implies}\phantom{\rule{1em}{0ex}}\u3008Ty,\eta (x,y)\u3009\subseteq C; 
(iii)
η is said to be affine in the second argument if, for any {x}_{i}\in K and {\lambda}_{i}\ge 0 (1\le i\le n), with {\sum}_{i=1}^{n}{\lambda}_{i}=1 and any y\in K, \eta (y,{\sum}_{i=1}^{n}{\lambda}_{i}{x}_{i})={\sum}_{i=1}^{n}{\lambda}_{i}\eta (y,{x}_{i}).
The following lemma is useful in what follows and can be found in [32].
Lemma 2.4 Let X be a topological space and Y be a set. Let T:X\to {2}^{Y} be a map with nonempty values. Then the following are equivalent:

(i)
T has the local intersection property;

(ii)
There exits a map F:X\to {2}^{Y} such that F(x)\subset T(x) for each x\in X, {F}^{1}(y) is open for each y\in Y and X={\bigcup}_{y\in Y}{F}^{1}(y).
Subsequently, Browder [33] obtained in 1986 the following fixed point theorem.
Theorem 2.5 (FanBrowder fixed point theorem)
Let X be a nonempty compact convex subset of a Hausdorff topological vector space and T:X\to {2}^{X} be a map with nonempty convex values and open fibers (i.e., for y\in Y, {T}^{1}(y) is called the fiber of T on y). Then T has a fixed point.
The generalization of the FanBrowder fixed point theorem was obtained by Balaj and Muresan [34] in 2005 as follows.
Theorem 2.6 Let X be a compact convex subset of a topological vector space and T:X\to {2}^{X} be a map with nonempty convex values having the local intersection property. Then T has a fixed point.
Lemma 2.7 [35]
Let X be a bounded subset of E. Then the usual pairing \u3008\cdot ,\cdot \u3009:{E}^{\ast}\times X\to R is continuous.
3 Main theorem
In this section, we shall investigate the existence results for GSVQEP and GQVLIP with monotonicity and without monotonicity. First, we present the following lemma which is of Minty’s type for GSVQEP.
Lemma 3.1 Let K be a nonempty and convex subset of X, let A:K\to {2}^{K} be a setvalued mapping such that for any x\in K, A(x) is a nonempty convex subset of K and let F:K\times K\to {2}^{y} be g.h.c. in the first argument, Cconvex in the second argument and Cstrongly pseudomonotone. Then the following problems are equivalent:

(i)
Find x\in K such that x\in A(x), F(x,y)\u2288C\setminus \{0\}, \mathrm{\forall}y\in A(x).

(ii)
Find x\in K such that x\in A(x), F(y,x)\subseteq C, \mathrm{\forall}y\in A(x).
Proof (i) → (ii) It is clear by the Cstrong pseudomonotonicity.
(ii) → (i) Let x\in K. For any y\in A(x) and \theta \in (0,1), we set {z}_{\theta}=\theta y+(1\theta )X. By the assumption (ii) and the convexity of A(x), we conclude that
Since F is Cconvex in the second argument, we have
Then we have F({z}_{\theta},y)\cap C\ne \mathrm{\varnothing}, because C is a convex cone. Since F is g.h.c. in the first argument, we have x\in A(x), F(x,y)\cap C\ne \mathrm{\varnothing}, \mathrm{\forall}y\in A(x). It implies that x\in A(x), F(x,y)\u2288C\setminus \{0\} for all y\in A(x). This completes the proof. □
In the following theorem, we present the existence result for GSVQEP by assuming the monotonicity of the function.
Theorem 3.2 Let K be a nonempty compact convex subset of X. Let A:K\to {2}^{K} be a setvalued mapping such that for any x\in K, A(x) is a nonempty convex subset of K and for each y\in K, {A}^{1}(y) is open in K. Let the set P:=\{x\in X\mid x\in A(x)\} be closed. Assume that F:K\times K\to {2}^{Y} is Cstrongly pseudomonotone, g.h.c. in the first argument, Cconvex and l.s.c. in the second argument. Then GSVQEP has a solution.
Proof For any x\in K, we define the setvalued mapping S,T:K\to {2}^{K} by
and for any y\in K, we denoted the complement of {S}^{1}(y) by {({S}^{1}(y))}^{C}=\{x\in K\mid F(y,x)\subseteq C\}. For each x\in K, we define multivalued maps G,H:K\to {2}^{K} by
and
Clearly, G(x) and H(x) are nonempty sets for all x\in K, and by the Cstrong pseudomonotonicity of F, we have G(x)\subseteq H(x) for all x\in K. We claim that H(x) is convex. Let {y}_{1},{y}_{2}\in T(x) and \theta \in (0,1). Since F is Cconvex in the second argument, we have
Then we have T(x) is convex and so H(x) is convex by the convexity of A(x). Next, we will show that {G}^{1}(y) is open in K for each y\in K. Since F is l.s.c. in the second argument and by the definition of {({S}^{1}(y))}^{C}, we have {({S}^{1}(y))}^{C} closed and so {S}^{1}(y) is open in K. By assumption, we obtain that
is open in K. It is easy to see that the mapping H has no fixed point because 0\in F(x,x), \mathrm{\forall}x\in K. From the contrapositive of the generalization of the FanBrowder fixed point theorem and Lemma 2.4, we have
Hence, there exists \overline{x}\in K such that G(\overline{x})=\mathrm{\varnothing}. If \overline{x}\in K\setminus P, we have A(\overline{x})=\mathrm{\varnothing}, which contradicts the assumptions. Then \overline{x}\in P and hence S(\overline{x})\cap A(\overline{x})=\mathrm{\varnothing}. This means that \overline{x}\in A(\overline{x}) and F(y,\overline{x})\subseteq C for all y\in A(\overline{x}). This completes the proof by Lemma 3.1. □
The following example shows that GSVQEP has a solution under the condition of Theorem 3.2.
Example 3.3 Let Y=\mathbb{R}, C=[0,\mathrm{\infty}) and K=[1,1]. Define the mapping A:K\to {2}^{K} and F:K\times K\to {2}^{Y} by
and
respectively. By the definition of A, see Figure 1, we have the set P=\{x\in X\mid x\in A(x)\}=[0.5,0.5] which is closed and for each y\in K, {A}^{1}(y) is open in K.
We see that F is Cstrongly pseudomonotone. Indeed, if F(x,y)\u2288C\setminus \{0\}, then we only consider the case x<y, so F(x,y)=[0,yx]. That is,
Let x,y,z\in K and \lambda \in [0,1]. If x<\lambda y+(1\lambda )z, then
Similarly, in another case, we have F is Cconvex in the second argument. Clearly, F is g.h.c. in the first argument and l.s.c. in the second argument.
Moreover, this example asserts that −0.5 is one of the solutions because if x=0.5, then A(x)=[0.5,0). Note that for all y\in A(x), y>x. Therefore F(0.5,y)[0,y+0.5]\u2288C\setminus \{0\} for all y\in [0.5,0).
Now, we present an existence theorem for GSVQEP when F is not necessarily monotone.
Theorem 3.4 Let K be a nonempty compact convex subset of X, let A:K\to {2}^{K} be a setvalued mapping such that for each x\in K, A(x) is a nonempty convex subset of K, and let the set P:=\{x\in X\mid x\in A(x)\} be closed. Assume that F:K\times K\to {2}^{Y} is Cconvex in the second argument and for each y\in K, the set \{x\in K\mid F(x,y)\subseteq C\setminus \{0\}\} is open. Then GSVQEP has a solution.
Proof We proceed with the contrary statements, that is, for each x\in X, x\notin A(x) or there exists y\in A(x) such that
For every y\in K, we define the sets {N}_{y} and {M}_{y} as follows:
and
By the assumption, we have the set {M}_{y} is open in K and we see that {\{{M}_{y}\}}_{y\in K} is an open cover of K. Since K is compact, there exists a finite subcover {\{{M}_{{y}_{i}}\}}_{i=1}^{n} such that K={\bigcup}_{i=1}^{n}{M}_{{y}_{i}}. By a partition of unity, there exists a family {\{{\beta}_{i}\}}_{i=1}^{n} of realvalued continuous functions subordinate to {\{{M}_{{y}_{i}}\}}_{i=1}^{n} such that for all x\in K, 0\le {\beta}_{i}(x)\le 1 and {\sum}_{i=1}^{n}{\beta}_{i}(x)=1 and for each x\notin {M}_{{y}_{i}}, {\beta}_{i}(x)=0. Let C:=co\{{y}_{1},{y}_{2},\dots ,{y}_{n}\}\subseteq K. Then C is a simplex of a finite dimensional space. Define a mapping S:C\to C by
Hence, we have S is continuous since {\beta}_{i} is continuous for each i. From Brouwer’s fixed point theorem, there exists {x}_{0}\in C such that {x}_{0}=S({x}_{0}). We define a setvalued mapping T:K\to {2}^{Y} by
Now, we note that for any x\in K, \{{y}_{i}\mid x\in {M}_{{y}_{i}}\}\ne \mathrm{\varnothing}. Since F is Cconvex in the second argument, it follows from (3.1), (3.2) and (3.3) that we have
for all x\in K. Since {x}_{0}\in K and it is a fixed point of S, 0=F(x,x)=F(x,S(x))=T(x)\subseteq C\setminus \{0\}, which is a contradiction. This completes the proof. □
If we set A\equiv I, then Theorem 3.2 and Theorem 3.4 are reduced to Theorem 1 and Theorem 3 in Kum and Wong [27], respectively. Moreover, Theorem 3.2 is a multivalued version of Theorem 2.3 in Kazmi and Khan [20].
Let F(x,y)=\u3008Tx,\eta (y,x)\u3009 for all x,y\in K, where \eta :K\times K\to X and T:K\to {2}^{L(X,Y)}. As a consequence of Theorem 3.2 and using the same argument as in Kum and Wang ([27], Theorem 2), we have the following existence result for GQVLIP.
Corollary 3.5 Let K be a nonempty compact convex subset of X, let A:K\to {2}^{K} be a setvalued mapping such that for any x\in K, A(x) is a nonempty convex subset of K and for each y\in K, {A}^{1}(y) is open in K. Let the set P:=\{x\in X\mid x\in A(x)\} be closed, let \eta :K\times K\to X be affine and continuous in the first argument and hemicontinuous in the second argument, and let T:K\to {2}^{L(X,Y)} be a Cstrongly pseudomonotone and g.h.c. with nonempty compact values where L(X,Y) is equipped with topology of bounded convergence. Then GQVLIP has a solution.
As a consequence of Theorem 3.4, we obtain the following existence result for GQVLIP.
Corollary 3.6 Let K be a nonempty compact convex subset of X. Let A:K\to {2}^{K} be a setvalued mapping such that for each x\in X, A(x) is a nonempty convex subset of K and let the set P:=\{x\in X\mid x\in A(x)\} be closed. Assume that \eta :K\times K\to X is affine in the first argument and T:K\to {2}^{L(X,Y)} is a nonlinear mapping such that, for every y\in K, the set \{x\in K\mid \u3008T(x),\eta (y,x)\u3009\subseteq C\setminus \{0\}\} is open. Then GQVLIP has a solution.
References
Fan K: Minimax theorems. Proc. Natl. Acad. Sci. USA 1953, 39: 42–47. 10.1073/pnas.39.1.42
Takahashi W: Nonlinear variational inequalities and fixed point theorems. J. Math. Soc. Jpn. 1976, 28: 168–181. 10.2969/jmsj/02810168
Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.
Noor MA, Oettli W: On general nonlinear complementarity problems and quasiequilibria. Matematiche 1994, 49: 313–331.
Ansari QH, Yao JC: On nondifferentiable and nonconvex vector optimization problems. J. Optim. Theory Appl. 2000, 106: 487–500.
Fu JY: Generalized vector quasiequilibrium problems. Math. Methods Oper. Res. 2000, 52: 57–64. 10.1007/s001860000058
Giannessi F: Vector Variational Inequalities and Vector Equilibria. Mathematical Theories. Kluwer Academic, Dordrecht; 2000.
Gong XH: Strong vector equilibrium problems. J. Glob. Optim. 2006, 36: 339–349. 10.1007/s1089800690125
Lee GM, Kim DS, Kuk H: Existence of solutions for vector optimization problems. J. Math. Anal. Appl. 1998, 220: 90–98. 10.1006/jmaa.1997.5821
Li SJ, Teo KL, Yang XQ: Generalized vector quasiequilibrium problem. Math. Methods Oper. Res. 2005, 61: 385–397. 10.1007/s001860400412
Long XJ, Huang NJ, Teo KL: Existence and stability of solutions for generalized strong vector quasiequilibrium problems. Math. Comput. Model. 2008, 47: 445–451. 10.1016/j.mcm.2007.04.013
Wan AH, Fu JY, Mao WH: On generalized vector equilibrium problems. Acta Math. Appl. Sinica (Engl. Ser.) 2006, 22: 21–26.
Ansari QH, Konnov IV, Yao JC: Characterizations of solutions for vector equilibrium problems. J. Optim. Theory Appl. 2002, 113: 435–447. 10.1023/A:1015366419163
Ansari QH, Schaible S, Yao JC: Generalized vector equilibrium problems under generalized pseudomonotonicity with applications. J. Nonlinear Convex Anal. 2002, 3: 331–344.
Konnov IV, Yao JC: Existence of solutions for generalized vector equilibrium problems. J. Fixed Point Theory Appl. 1999, 233: 213–221.
Song W: On generalized vector equilibrium problems. J. Comput. Appl. Math. 2002, 146: 167–177. 10.1016/S03770427(02)004260
Chen GY, Hou SH: Existence of solutions for vector variational inequalities. In Vector Variational Inequalities and Vector Equilibria. Edited by: Giannessi F. Kluwer Academic, Dordrecht; 2000:73–86.
Fang YP, Huang NJ: Strong vector variational inequalities in Banach spaces. Appl. Math. Lett. 2006, 19: 362–368. 10.1016/j.aml.2005.06.008
Bigi G, Capata A, Kassay G: Existence results for strong vector equilibrium problems and their applications. Optimization 2012, 61(5):567–583. 10.1080/02331934.2010.528761
Kazmi KR, Khan SA: Existence of solution to a generalized system. J. Optim. Theory Appl. 2009, 142: 355–361. 10.1007/s1095700995307
Ansari QH, FloresBazán F: Generalized vector quasiequilibrium problems with applications. J. Math. Anal. Appl. 2003, 277: 246–256. 10.1016/S0022247X(02)005358
Ansari QH, Konnov IV, Yao JC: On generalized vector equilibrium problems. Nonlinear Anal. 2001, 47: 543–554. 10.1016/S0362546X(01)001997
Ansari QH, Yao JC: On vector quasiequilibrium problems. In Variational Problems and Equilibria. Edited by: Maugeri A, Giannessi F. Kluwer Academic, Dordrecht; 2003.
Bianchi M, Kassay G, Pini R: Ekeland’s principle for vector equilibrium problems. Nonlinear Anal. 2007, 66: 1454–1464. 10.1016/j.na.2006.02.003
Tanaka T: Existence results of cone saddlepoints for vectorvalued functions. Appl. Math. Optim. 1997, 36: 313–322. 10.1007/s002459900065
Ansari QH, Oettli W, Schiager D: A generalization of vector equilibrium. Math. Methods Oper. Res. 1997, 46: 147–152. 10.1007/BF01217687
Kum S, Wong MM: An extension of a generalized equilibrium problem. Taiwan. J. Math. 2011, 15: 1667–1675.
Huang NJ, Li J: On vector implicit variational inequalities and complementarity problems. J. Glob. Optim. 2004, 34: 399–408.
Lee GM, Kim DS, Lee BS: Generalized vector variational inequality. Appl. Math. Lett. 1996, 9: 39–42.
Yang XQ: Vector variational inequality and its duality. Nonlinear Anal. 1993, 95: 729–734.
Berge C: Topological Spaces. Oliver & Boyd, Edinburgh; 1963.
Ding XP: A coincidence theorem involving contractible space. Appl. Math. Lett. 1997, 10: 53–56.
Browder FE: The fixed point theory of multivalued mapping in topological vector spaces. Math. Ann. 1968, 177: 238–301.
Balaj M, Muresan S: Generalizations of the FanBrowder fixed point theorem and minimax inequalities. Arch. Math. 2005, 41: 399–407.
Kum S: A generalization of generalized quasivariational inequalities. J. Math. Anal. Appl. 1994, 182: 158–164. 10.1006/jmaa.1994.1073
Acknowledgements
The first author would like to thank the King Mongkut’s University of Technology North Bangkok, Thailand.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The work presented here was carried out in collaboration between all authors. SP designed theorems and methods of the proof and interpreted the results. KS proved the theorems, interpreted the results and wrote the paper. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
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
Sitthithakerngkiet, K., Plubtieng, S. Existence theorems of an extension for generalized strong vector quasiequilibrium problems. Fixed Point Theory Appl 2013, 342 (2013). https://doi.org/10.1186/168718122013342
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122013342
Keywords
 quasiequilibrium problems
 variational inequality
 monotonicity
 Brouwer fixed point theorem