Skip to content

Advertisement

  • Research
  • Open Access

Existence conditions for symmetric generalized quasi-variational inclusion problems

Journal of Inequalities and Applications20132013:40

https://doi.org/10.1186/1029-242X-2013-40

  • Received: 5 July 2012
  • Accepted: 9 January 2013
  • Published:

Abstract

In this paper, we establish an existence theorem by using the Kakutani-Fan-Glicksberg fixed-point theorem for a symmetric generalized quasi-variational inclusion problem in real locally convex Hausdorff topological vector spaces. Moreover, the closedness of the solution set for this problem is obtained. As special cases, we also derive the existence results for symmetric weak and strong quasi-equilibrium problems. The results presented in the paper improve and extend the main results in the literature.

MSC:90B20, 49J40.

Keywords

  • symmetric generalized quasi-variational inclusion problem
  • symmetric weak quasi-equilibrium problem
  • symmetric strong quasi-equilibrium problem
  • Kakutani-Fan-Glicksberg fixed-point theorem
  • existence
  • closedness

1 Introduction

Let X and Z be real locally convex Hausdorff spaces, A X be a nonempty subset and C Z be a closed convex pointed cone. Let F : A × A 2 Z be a given set-valued mapping. Ansari et al. [1] introduced the following two problems (in short, (VEP) and (SVEP)), respectively:

Find x ¯ A such that
F ( x , y ) int C , y A ,
and find x ¯ A such that
F ( x , y ) C , y A .

The problem (VEP) is called the weak vector equilibrium problem and the problem (SVEP) is called the strong vector equilibrium problem. Later, these two problems have been studied by many authors; see, for example, [2, 3] and references.

In 2008, Long et al. [4] introduced a generalized strong vector quasi-equilibrium problem (for short, (GSVQEP)). Let X, Y and Z be real locally convex Hausdorff topological vector spaces, A X and B Y be nonempty compact convex subsets and C Z be a nonempty closed convex cone, and let S : A 2 A , T : A 2 B , F : A × B × A 2 Z be set-valued mappings.

(GSVQEP): Find x ¯ A and y ¯ T ( x ¯ ) such that x ¯ S ( x ¯ ) and
F ( x ¯ , y ¯ , x ) C , x S ( x ¯ ) ,

where x ¯ is a strong solution of (GSVQEP).

Recently, Plubtieng and Sitthithakerngkietet [5] considered the system of generalized strong vector quasi-equilibrium problems (in short, (SGSVQEPs)). This model is a general problem which contains (GVEP) and (QSVQEP). Let X, Y, Z be real locally convex Hausdorff topological vector spaces, A X and B Y be nonempty compact convex subsets and C Z be a nonempty closed convex cone. Let S 1 , S 2 : A 2 A , T 1 , T 2 : A 2 B and F 1 , F 2 : A × B × A 2 Z be set-valued mappings. They considered (SGSVQEPs) as follows.

Find ( x ¯ , u ¯ ) A × A and z ¯ T 1 ( x ¯ ) , v ¯ T 2 ( u ¯ ) such that x ¯ S 1 ( x ¯ ) , u ¯ S 2 ( u ¯ ) and
F 1 ( x ¯ , z ¯ , y ) C , y S 1 ( x ¯ )
and
F 2 ( u ¯ , v ¯ , y ) C , y S 2 ( u ¯ ) ,

where ( x ¯ , u ¯ ) is a strong solution of (SGSVQEPs).

Very recently, new symmetric strong vector quasi-equilibrium problems (in short, (SSVQEP)) in Hausdorff locally convex spaces were introduced by Chen et al. [6]. Let X, Y, Z be real locally convex Hausdorff topological vector spaces, A X and B Y be nonempty compact convex subsets and C Z be a nonempty closed convex cone. Let S 1 , S 2 : A × A 2 A , T 1 , T 2 : A × A 2 B and F 1 , F 2 : A × B × A 2 Z be set-valued mappings. They considered the following (SSVQEP):

Find ( x ¯ , u ¯ ) A × A and z ¯ T 1 ( x ¯ , u ¯ ) , v ¯ T 2 ( x ¯ , u ¯ ) such that x ¯ S 1 ( x ¯ , u ¯ ) , u ¯ S 2 ( x ¯ , u ¯ ) and
F 1 ( x ¯ , z ¯ , y ) C , y S 1 ( x ¯ , u ¯ )
and
F 2 ( u ¯ , v ¯ , y ) C , y S 2 ( x ¯ , u ¯ ) ,

where ( x ¯ , u ¯ ) is a strong solution for the (SSVQEP).

Motivated by the research works mentioned above, in this paper, we introduce symmetric generalized quasi-variational inclusion problems. Let X, Y, Z be real locally convex Hausdorff topological vector spaces and A X , B Y be nonempty compact convex subsets. Let K i , P i : A × A 2 A , T i : A × A 2 B and F i : A × B × A 2 Z , i = 1 , 2 , be set-valued mappings.

Now, we adopt the following notations (see [79]). Letters w, m and s are used for weak, middle and strong problems, respectively. For subsets U and V under consideration, we adopt the following notations:
( u , v )  w  U × V means  u U , v V , ( u , v )  m  U × V means  v V , u U , ( u , v )  s  U × V means  u U , v V .

Let α { w, m, s } . We consider the following for symmetric generalized quasi-variational inclusion problem (in short, (SQVIP α )).

(SQVIP ): Find ( x ¯ , u ¯ ) A × A such that x ¯ K 1 ( x ¯ , u ¯ ) , u ¯ K 2 ( x ¯ , u ¯ ) and
( y , z ¯ ) α P 1 ( x ¯ , u ¯ ) × T 1 ( x ¯ , u ¯ ) satisfying  0 F 1 ( x ¯ , z ¯ , y ) , ( y , v ¯ ) α P 2 ( x ¯ , u ¯ ) × T 2 ( x ¯ , u ¯ ) satisfying  0 F 2 ( u ¯ , v ¯ , y ) .

We denote that Ξ α ( F ) is the solution set of (SQVIP α ).

The symmetric generalized quasi-variational inclusion problems include as special cases symmetric generalized vector quasi-equilibrium problems, vector quasi-equilibrium problems, symmetric vector quasi-variational inequality problems, variational relation problems, etc. In recent years, a lot of results for the existence of solutions for symmetric vector quasi-equilibrium problems, vector quasi-equilibrium problems, vector quasi-variational inequality problems, variational relation problems and optimization problems have been established by many authors in different ways. For example, equilibrium problems [16, 1021], variational inequality problems [2224], variational relation problems [7, 25], optimization problems [22, 26] and the references therein.

The structure of our paper is as follows. In the first part of this article, we introduce the model symmetric generalized quasi-variational inclusion problem. In Section 2, we recall definitions for later use. In Section 3, we establish an existence and closedness theorem by using the Kakutani-Fan-Glicksberg fixed-point theorem for a symmetric generalized quasi-variational inclusion problem. Applications to symmetric weak and strong vector quasi-equilibrium problems are presented in Section 4.

2 Preliminaries

In this section, we recall some basic definitions and some of their properties.

Definition 1 [27, 28]

Let X, Y be two topological vector spaces, A be a nonempty subset of X and F : A 2 Z be a set-valued mapping.
  1. (i)

    F is said to be lower semicontinuous (lsc) at x 0 A if F ( x 0 ) U for some open set U Y implies the existence of a neighborhood N of x 0 such that F ( x ) U , x N . F is said to be lower semicontinuous in A if it is lower semicontinuous at all x 0 A .

     
  2. (ii)

    F is said to be upper semicontinuous (usc) at x 0 A if for each open set U G ( x 0 ) , there is a neighborhood N of x 0 such that U F ( x ) , x N . F is said to be upper semicontinuous in A if it is upper semicontinuous at all x 0 A .

     
  3. (iii)

    F is said to be continuous in A if it is both lsc and usc in A.

     
  4. (iv)

    F is said to be closed if Graph ( F ) = { ( x , y ) : x A , y F ( x ) } is a closed subset in A × Y .

     

Definition 2 [27]

Let X, Y be two topological vector spaces, A be a nonempty subset of X, F : A 2 Y be a multifunction and C Y be a nonempty closed convex cone.
  1. (i)
    F is called upper C-continuous at x 0 A if for any neighborhood U of the origin in Y, there is a neighborhood V of x 0 such that
    F ( x ) F ( x 0 ) + U + C , x V .
     
  2. (ii)
    F is called lower C-continuous at x 0 A if for any neighborhood U of the origin in Y, there is a neighborhood V of x 0 such that
    F ( x 0 ) F ( x ) + U C , x V .
     

Definition 3 [6]

Let X, Y be two topological vector spaces and A be a nonempty subset of X and C Y be a nonempty closed convex cone. A set-valued mapping F : A 2 Y is said to be type II C-lower semicontinuous at x 0 A if for each y F ( x 0 ) and any neighborhood U of the origin in Y, there exists a neighborhood U ( x 0 ) of x 0 such that
F ( x ) ( y + U C ) , x U ( x 0 ) A .

Definition 4 [6, 28]

Let X and Y be two topological vector spaces and A be a nonempty convex subset of X. A set-valued mapping F : A 2 Y is said to be C-convex if for any x , y A and t [ 0 , 1 ] , one has
F ( t x + ( 1 t ) y ) t F ( x ) + ( 1 t ) F ( y ) C .

F is said to be C-concave if -F is C-convex.

Definition 5 [28]

Let X and Y be two topological vector spaces and A be a nonempty convex subset of X. A set-valued mapping F : A 2 Y is said to be properly C-quasiconvex if for any x , y A and t [ 0 , 1 ] , we have
either F ( x ) F ( t x + ( 1 t ) y ) + C , or F ( y ) F ( t x + ( 1 t ) y ) + C .

Lemma 6 [28]

Let X, Y be two topological vector spaces, A be a nonempty convex subset of X and F : A 2 Y be a multifunction.
  1. (i)

    If F is upper semicontinuous at x 0 A with closed values, then F is closed at x 0 A ;

     
  2. (ii)

    If F is closed at x 0 A and Y is compact, then F is upper semicontinuous at x 0 A .

     
  3. (iii)

    If F has compact values, then F is usc at x 0 A if and only if, for each net { x α } A which converges to x 0 A and for each net { y α } F ( x α ) , there are y 0 F ( x 0 ) and a subnet { y β } of { y α } such that y β y 0 .

     

Lemma 7 (Kakutani-Fan-Glickcberg (see [29]))

Let A be a nonempty compact convex subset of a locally convex Hausdorff vector topological space X. If F : A 2 A is upper semicontinuous and for any x A , F ( x ) is nonempty, convex and closed, then there exists an x A such that x F ( x ) .

3 Main results

In this section, we discuss the existence and closedness of the solution sets of symmetric generalized quasi-variational inclusion problems by using the Kakutani-Fan-Glicksberg fixed point theorem.

Theorem 8 For each { i = 1 , 2 } , assume for the problem (SQVIP α ) that
  1. (i)

    K i is usc in A × A with nonempty convex closed values and P i is lsc in A × A with nonempty closed values;

     
  2. (ii)

    T i is usc in A × A with nonempty convex compact values if α = w (or α = m ) and T i is lsc in A × A with nonempty convex values if α = s ;

     
  3. (iii)

    for all ( x , z , u ) A × B × A , 0 F i ( x , z , P i ( x , u ) ) ;

     
  4. (iv)

    for all ( x , z , u ) A × B × A , the set { a K i ( x , u ) : 0 F i ( a , z , y ) , y P i ( x , u ) } is convex;

     
  5. (v)

    the set { ( x , z , y ) A × B × A : 0 F i ( x , z , y ) } is closed.

     
Then the (SQVIP α ) has a solution, i.e., there exist ( x ¯ , u ¯ ) A × A such that x ¯ K 1 ( x ¯ , u ¯ ) , u ¯ K 2 ( x ¯ , u ¯ ) and
( y , z ¯ ) α P 1 ( x ¯ , u ¯ ) × T 1 ( x ¯ , u ¯ ) satisfying  0 F 1 ( x ¯ , z ¯ , y ) , ( y , v ¯ ) α P 2 ( x ¯ , u ¯ ) × T 2 ( x ¯ , u ¯ ) satisfying  0 F 2 ( u ¯ , v ¯ , y ) .

Moreover, the solution set of the (SQVIP α ) is closed.

Proof Similar arguments can be applied to three cases. We present only the proof for the case where α = m .

Indeed, for all ( x , z , u , v ) A × B × A × B , define mappings: Φ m , Π m : A × B × A 2 A by
Φ m ( x , z , u ) = { a K 1 ( x , u ) : 0 F 1 ( a , z , y ) , y P 1 ( x , u ) } ,
and
Π m ( x , v , u ) = { b K 2 ( x , u ) : 0 F 2 ( b , v , y ) , y P 2 ( x , u ) } .
  1. (a)

    Show that Φ m ( x , z , u ) and Π m ( x , v , u ) are nonempty convex sets.

     
Indeed, for all ( x , z , u ) A × B × A and ( x , v , u ) A × B × A , for each { i = 1 , 2 } , K i ( x , u ) , P i ( x , u ) are nonempty. Thus, by assumptions (i), (ii) and (iii), we have Φ m ( x , z , u ) and Π m ( x , v , u ) are nonempty. On the other hand, by the condition (iv), we also have Φ m ( x , z , u ) , Π m ( x , v , u ) are convex.
  1. (b)

    We will prove Φ m and Π m are upper semicontinuous in A × B × A with nonempty closed values.

     
First, we show that Φ m is upper semicontinuous in A × B × A with nonempty closed values. Since A is a compact set, by Lemma 6(ii), we need only to show that Φ m is a closed mapping. Indeed, let a net { ( x n , z n , u n ) : n I } A × B × A such that ( x n , z n , u n ) ( x , z , u ) A × B × A , and let a n Φ m ( x n , z n , u n ) such that a n a 0 . Now we need to show that a 0 Φ m ( x , z , u ) . Since a n K 1 ( x n , u n ) and K 1 is upper semicontinuous with nonempty closed values by Lemma 6(i), hence K 1 is closed, thus we have a 0 K 1 ( x , u ) . Suppose the contrary a 0 Φ m ( x , z , u ) . Then y 0 P 1 ( x , u ) such that
0 F 1 ( a 0 , z , y 0 ) .
(1)
By the lower semicontinuity of P 1 , there is a net { y n } such that y n P 1 ( x n , u n ) , y n y 0 . Since a n Φ m ( x n , z n , u n ) , we have
0 F 1 ( a n , z n , y n ) .
(2)
By the condition (v) and (2), we have
0 F 1 ( a 0 , z , y 0 ) .
(3)
This is a contradiction between (3) and (1). Thus, a 0 Φ m ( x , z , u ) . Hence, Φ m is upper semicontinuous in A × B × A with nonempty closed values. Similarly, we also have Π m ( x , v , u ) is upper semicontinuous in A × B × A with nonempty closed values.
  1. (c)

    Now we need to prove the solution set Ξ m ( F ) .

     
Define the set-valued mappings Θ m , Ω m : A × B × A : 2 A × B by
Θ m ( x , z , u ) = ( Φ m ( x , z , u ) , T 1 ( x , u ) ) , ( x , z , u ) A × B × A
and
Ω m ( x , v , u ) = ( Π m ( x , v , u ) , T 2 ( x , u ) ) , ( x , v , u ) A × B × A .

Then Θ m , Ω m are upper semicontinuous and ( x , z , u ) A × B × A , ( x , v , u ) A × B × A , Θ m ( x , z , u ) and Θ m ( x , v , u ) are nonempty closed convex subsets of A × B × A .

Define the set-valued mapping H : ( A × B ) × ( A × B ) 2 ( A × B ) × ( A × B ) by
H ( ( x , z ) , ( u , v ) ) = ( Θ m ( x , z , u ) , Ω m ( x , v , u ) ) , ( ( x , z ) , ( u , v ) ) ( A × B ) × ( A × B ) .

Then H is also upper semicontinuous and ( ( x , z ) , ( u , v ) ) ( A × B ) × ( A × B ) , H ( ( x , z ) , ( u , v ) ) is a nonempty closed convex subset of ( A × B ) × ( A × B ) .

By Lemma 7, there exists a point ( ( x , z ) , ( v , u ) ) ( A × B ) × ( A × B ) such that ( ( x , z ) , ( u , v ) ) H ( ( x , z ) , ( u , v ) ) , that is,
( x , z ) Θ m ( x , z , u ) , ( u , v ) Ω m ( x , v , u ) ,
which implies that x Φ m ( x , z , u ) , z T 1 ( x , u ) , u Π m ( x , v , u ) and v T 2 ( x , u ) . Hence, there exists ( x , u ) A × A , z T 1 ( x , u ) , v T 2 ( x , u ) such that x K 1 ( x , u ) , u K 2 ( x , u ) , satisfying
0 F 1 ( x , z , y ) , y P 1 ( x , u ) ,
and
0 F 2 ( u , v , y ) , y P 2 ( x , u ) ,
i.e., (SQVIP α ) has a solution.
  1. (d)
    Now we prove that Ξ m ( F ) is closed. Indeed, let a net { ( x n , u n ) , n I } Ξ m ( F ) : ( x n , u n ) ( x 0 , u 0 ) . We need to prove that ( x 0 , u 0 ) Ξ m ( F ) . Indeed, by the lower semicontinuity of P i , i = 1 , 2 , for any y 0 P i ( x 0 , u 0 ) , there exists y n P i ( x n , u n ) such that y n y 0 . Since ( x n , u n ) Ξ m ( F ) , there exists z n T 1 ( x n , u n ) , v n T 2 ( x n , u n ) , x n K 1 ( x n , u n ) , u n K 2 ( x n , u n ) such that
    0 F 1 ( x n , z n , y n ) ,
     
and
0 F 2 ( u n , v n , y n ) .
Since K 1 , K 2 are upper semicontinuous in A × A with nonempty closed values, by Lemma 6(i), we have K 1 , K 2 are closed. Thus, x 0 K 1 ( x 0 , u 0 ) , u 0 K 2 ( x 0 , u 0 ) . Since T 1 , T 2 are upper semicontinuous in A × A with nonempty compact values, there exists z 0 T 1 ( x 0 , u 0 ) and v 0 T 2 ( x 0 , u 0 ) such that z n z 0 , v n v 0 (taking subnets if necessary). By the condition (v) and ( x n , z n , u n , v n ) ( x 0 , z 0 , u 0 , v 0 ) , we have
0 F 1 ( x 0 , z 0 , y 0 ) ,
and
0 F 2 ( u 0 , v 0 , y 0 ) .

This means that ( x 0 , u 0 ) Ξ m ( F ) . Thus, Ξ m ( F ) is a closed set.

 □

If K 1 ( x , u ) = P 1 ( x , u ) = S 1 ( x , u ) , K 2 ( x , u ) = P 2 ( x , u ) = S 2 ( x , u ) , α = m , and F 1 ( x , z , y ) = G 1 ( x , z , y ) C , F 2 ( u , z , y ) = G 2 ( u , z , y ) C , with S 1 , S 2 : A × A 2 A , G 1 , G 2 : A × B × A 2 Z are set-valued mappings, and C Z is a nonempty closed convex cone. Then (SQVIP α ) becomes (SSVQEP) studied in [6].

In this special case, we have the following corollary.

Corollary 9 For each { i = 1 , 2 } , assume for the problem (SSVQEP) that
  1. (i)

    S i is continuous in A × A with nonempty convex closed values;

     
  2. (ii)

    T i is usc in A × A with nonempty convex compact values;

     
  3. (iii)

    for all ( x , z , u ) A × B × A , G i ( x , z , S i ( x , u ) ) C ;

     
  4. (iv)

    for all ( x , z , u ) A × B × A , the set { a S i ( x , u ) : G i ( a , z , y ) C , y S i ( x , u ) } is convex;

     
  5. (v)

    the set { ( x , z , y ) A × B × A : G i ( x , z , y ) C } is closed.

     
Then the (SSVQEP) has a solution, i.e., there exist ( x ¯ , u ¯ ) A × A and z ¯ T 1 ( x ¯ , u ¯ ) , v ¯ T 2 ( x ¯ , u ¯ ) such that x ¯ S 1 ( x ¯ , u ¯ ) , u ¯ S 2 ( x ¯ , u ¯ ) and
G 1 ( x ¯ , z ¯ , y ) C , y S 1 ( x ¯ , u ¯ ) ,
and
G 2 ( u ¯ , v ¯ , y ) C , y S 2 ( x ¯ , u ¯ ) .

Moreover, the solution set of the (SSVQEP) is closed.

Remark 10 Chen et al. [6] obtained an existence result of (SSVQEP). However, the assumptions in Theorem 3.1 in [6] are different from the assumptions in Corollary 9. The following example shows that all assumptions of Corollary 9 are satisfied. But Theorem 3.1 in [6] is not fulfilled.

Example 11 Let X = Y = Z = R , A = B = [ 0 , 1 ] , C = [ 0 , + ) and let S 1 ( x ) = S 2 ( x ) = [ 0 , 1 ] , G 1 , G 2 , F : [ 0 , 1 ] × [ 0 , 1 ] × [ 0 , 1 ] 2 R and
T 1 ( x , u ) = T 2 ( x , u ) = { [ 0 , 2 ] if  x 0 = u 0 = 1 2 , [ 0 , 1 ] otherwise .
and
G 1 ( x , z , y ) = G 2 ( u , z , y ) = F ( x , z , y ) = { [ 1 2 , 1 ] if  x 0 = z 0 = y 0 = 1 2 , [ 1 , 2 ] otherwise .

We show that assumptions of Corollary 9 are easily seen to be fulfilled. Hence, by Corollary 9, (SSVQEP) has a solution. But F is neither type II C-lower semicontinuous nor C-concave at x 0 = 1 2 . Thus, Theorem 3.1 in [6] does not work.

If K 1 ( x , u ) = P 1 ( x , u ) = S 1 ( x ) , K 2 ( x , u ) = P 2 ( x , u ) = S 2 ( u ) , T 1 ( x , u ) = T 1 ( x ) , T 2 ( x , u ) = T 2 ( u ) , α = m and F 1 ( x , z , y ) = G 1 ( x , z , y ) C , F 2 ( u , z , y ) = G 2 ( u , z , y ) C , with S 1 , S 2 : A 2 A , G 1 , G 2 : A × B × A 2 Z are set-valued mappings, and C Z is a nonempty closed convex cone. Then (SQVIP α ) becomes (SGSVQEP) studied in [5].

In this special case, we have the following corollary.

Corollary 12 For each { i = 1 , 2 } , assume for the problem (SGSVQEP) that
  1. (i)

    S i is continuous in A with nonempty convex closed values;

     
  2. (ii)

    T i is usc in A with nonempty convex compact values;

     
  3. (iii)

    for all ( x , z ) A × B , G i ( x , z , S i ( x ) ) C ;

     
  4. (iv)

    for all ( x , z ) A × B , the set { a S i ( x ) : G i ( a , z , y ) C , y S i ( x ) } is convex;

     
  5. (v)

    the set { ( x , z , y ) A × B × A : G i ( x , z , y ) C } is closed.

     
Then the (SGSVQEP) has a solution, i.e., there exist ( x ¯ , u ¯ ) A × A and z ¯ T 1 ( x ¯ ) , v ¯ T 2 ( u ¯ ) such that x ¯ S 1 ( x ¯ ) , u ¯ S 2 ( u ¯ ) and
G 1 ( x ¯ , z ¯ , y ) C , y S 1 ( x ¯ )
and
G 2 ( u ¯ , v ¯ , y ) C , y S 2 ( u ¯ ) .

Moreover, the solution set of the (SGSVQEP) is closed.

Remark 13 In [5], Plubtieng-Sitthithakerngkiet also obtained an existence result of (SGSVQEP). However, the assumptions in Theorem 3.1 in [5] are different from the assumptions in Corollary 12. The following example shows that in this special case, all assumptions of Corollary 12 are satisfied. But Theorem 3.1 in [5] is not fulfilled.

Example 14 Let X = Y = Z = R , A = B = [ 0 , 1 ] , C = [ 0 , + ) and let S 1 ( x ) = S 2 ( x ) = [ 0 , 1 ] , F : [ 0 , 1 ] × [ 0 , 1 ] × [ 0 , 1 ] 2 R and
T 1 ( x ) = T 2 ( x ) = { [ 0 , 2 ] if  x 0 = 1 2 , [ 0 , 1 ] otherwise .
and
G 1 ( x , z , y ) = G 2 ( u , z , y ) = F ( x , z , y ) = { [ 1 2 , 1 ] if  x 0 = z 0 = y 0 = 1 2 , [ 1 , 2 ] otherwise .

We show that all assumptions of Corollary 12 are satisfied. So, by this corollary, the considered problem has solutions. However, F is not lower ( C ) -continuous at x 0 = 1 2 . Also, Theorem 3.1 in [5] does not work.

If K 1 ( x ¯ , u ¯ ) = P 1 ( x ¯ , u ¯ ) = K 2 ( x ¯ , u ¯ ) = P 2 ( x ¯ , u ¯ ) = S ( x ¯ ) , T 1 ( x ¯ , u ¯ ) = T 2 ( x ¯ , u ¯ ) = { z } and F 1 ( x , z , y ) = F 2 ( u , z , y ) = G ( x , y ) C , for each x ¯ , u ¯ A and S : A 2 A , G : A × A 2 Z are set-valued mappings, and C Z is a nonempty closed convex cone. Then (SQVIP α ) becomes (SVQEP) studied in [21].

In this special case, we also have the following corollary.

Corollary 15 Assume for the problem (SVQEP) that
  1. (i)

    S is continuous in A with nonempty convex closed values;

     
  2. (ii)

    for all x A , G ( x , S ( x ) ) C ;

     
  3. (iii)

    for all x A , the set { a S ( x ) : G ( a , y ) C , y S ( x ) } is convex;

     
  4. (iv)

    the set { ( x , y ) A × A : G ( x , y ) C } is closed.

     
Then the (SVQEP) has a solution, i.e., there exists x ¯ S ( x ¯ ) such that
G ( x ¯ , y ) C , y S ( x ¯ ) .

Moreover, the solution set of the (SVQEP) is closed.

The following example shows that in this special case, all assumptions of Corollary 15 are satisfied. But Theorem 3.3 in [21] is not fulfilled.

Example 16 Let X, Y, Z, A, B, C as in Example 14, and let S ( x ) = [ 0 , 1 ] , G : [ 0 , 1 ] × [ 0 , 1 ] 2 R and
G ( x , y ) = { [ 1 , 5 2 ] if  x 0 = z 0 = y 0 = 1 2 , [ 1 5 , 3 4 ] otherwise .

We show that all assumptions of Corollary 15 are satisfied. So, (SVQEP) has a solution. However, G is not upper C-continuous at x 0 = 1 2 . Also, Theorem 3.3 in [21] does not work.

The following example shows that all assumptions of Corollary 9, Corollary 12 and Corollary 15 are satisfied. However, Theorem 3.1 in [6], Theorem 3.1 in [5] and Theorem 3.3 in [21] are not fulfilled. The reason is that G is not properly C-quasiconvex.

Example 17 Let A, B, X, Y, Z, C as in Example 14, and let S : [ 0 , 1 ] 2 R , G : [ 0 , 1 ] × [ 0 , 1 ] 2 R , S 1 ( x , u ) = S 2 ( x , u ) = S ( x ) = [ 0 , 1 ] , T 1 ( x , u ) = T 2 ( x , u ) = T ( x , u ) = { z } and
G 1 ( x , z , y ) = G 2 ( u , z , y ) = G ( x , y ) = { [ 1 , 2 ] if  x 0 = y 0 = 1 2 , [ 1 2 , 1 ] otherwise .

We show that all assumptions of Corollary 9, Corollary 12 and Corollary 15 are satisfied. However, G is not properly C-quasiconvex at x 0 = 1 2 . Thus, it gives the case where Corollary 9, Corollary 12 and Corollary 15 can be applied but Theorem 3.1 in [6], Theorem 3.1 in [5] and Theorem 3.3 in [21] do not work.

4 Applications

Since our symmetric vector quasi-equilibrium problems include many rather general problems as particular cases mentioned in Section 1, from the results of Section 2 we can derive consequences for such special cases. In this section, we discuss only some corollaries for symmetric weak and strong quasi-equilibrium problems as examples.

Let X, Y, Z, A, B be as in Section 1, and C Z be a nonempty closed convex cone. Let S i , P i : A × A 2 A , T i : A × A 2 B be set-valued mappings and f i : A × B × A Z , i = 1 , 2 be vector-valued functions. We consider the two following symmetric weak and strong vector quasi-equilibrium problems (in short, (SWQVEP) and (SSQVEP)), respectively.

(SWQVEP): Find ( x ¯ , u ¯ ) A × A and z ¯ T 1 ( x ¯ , u ¯ ) , v ¯ T 2 ( x ¯ , u ¯ ) such that x ¯ S 1 ( x ¯ , u ¯ ) , u ¯ S 2 ( x ¯ , u ¯ ) satisfying
f 1 ( x ¯ , z ¯ , y ) int C , y S 1 ( x ¯ , u ¯ ) , f 2 ( u ¯ , v ¯ , y ) int C , y S 2 ( x ¯ , u ¯ ) .
(SSQVEP): Find ( x ¯ , u ¯ ) A × A and z ¯ T 1 ( x ¯ , u ¯ ) , v ¯ T 2 ( x ¯ , u ¯ ) such that x ¯ S 1 ( x ¯ , u ¯ ) , u ¯ S 2 ( x ¯ , u ¯ ) satisfying
f 1 ( x ¯ , z ¯ , y ) C , y S 1 ( x ¯ , u ¯ ) , f 2 ( u ¯ , v ¯ , y ) C , y S 2 ( x ¯ , u ¯ ) .
Corollary 18 For each { i = 1 , 2 } , assume for the problem (SWQVEP) that
  1. (i)

    S i is continuous in A × A with nonempty convex closed values;

     
  2. (ii)

    T i is usc in A × A with nonempty convex compact values;

     
  3. (iii)

    for all ( x , z , u ) A × B × A , f i ( x , z , S i ( x , u ) ) int C ;

     
  4. (iv)

    for all ( x , z , u ) A × B × A , the set { a S i ( x , u ) : f i ( a , z , y ) int C , y S i ( x , u ) } is convex;

     
  5. (v)

    the set { ( x , z , y ) A × B × A : f i ( x , z , y ) int C } is closed.

     
Then the (SWQVEP) has a solution, i.e., there exist ( x ¯ , u ¯ ) A × A and z ¯ T 1 ( x ¯ , u ¯ ) , v ¯ T 2 ( x ¯ , u ¯ ) such that x ¯ S 1 ( x ¯ , u ¯ ) , u ¯ S 2 ( x ¯ , u ¯ ) satisfying
f 1 ( x ¯ , z ¯ , y ) int C , y S 1 ( x ¯ , u ¯ ) , f 2 ( u ¯ , v ¯ , y ) int C , y S 2 ( x ¯ , u ¯ ) .

Moreover, the solution set of the (SWQVEP) is closed.

Proof Setting α = m , F 1 ( x , z , y ) = Z ( f 1 ( x , z , y ) + int C ) and F 2 ( u , z , y ) = Z ( f 2 ( u , z , y ) + int C ) , problem (SWQVEP) becomes a particular case of (SQVIP α ) and Corollary 18 is a direct consequence of Theorem 8. □

Corollary 19 Assume for the problem (SWQVEP) assumptions (i), (ii), (iii) and (iv) as in Corollary  18 and replace (v) by (v′)

(v′) for each i = { 1 , 2 } , f i is continuous in A × B × A .

Then the (SWQVEP) has a solution. Moreover, the solution set of the (SWQVEP) is closed.

Proof We omit the proof since the technique is similar to that for Corollary 18 with suitable modifications. □

Corollary 20 For each { i = 1 , 2 } , assume for the problem (SSQVEP) that
  1. (i)

    S i is continuous in A × A with nonempty convex closed values;

     
  2. (ii)

    T i is usc in A × A with nonempty convex compact values;

     
  3. (iii)

    for all ( x , z , u ) A × B × A , f i ( x , z , S i ( x , u ) ) C ;

     
  4. (iv)

    for all ( x , z , u ) A × B × A , the set { a S i ( x , u ) : f i ( a , z , y ) C , y S i ( x , u ) } is convex;

     
  5. (v)

    the set { ( x , z , y ) A × B × A : f i ( x , z , y ) C } is closed.

     
Then the (SSQVEP) has a solution, i.e., there exist ( x ¯ , u ¯ ) A × A and z ¯ T 1 ( x ¯ , u ¯ ) , v ¯ T 2 ( x ¯ , u ¯ ) such that x ¯ S 1 ( x ¯ , u ¯ ) , u ¯ S 2 ( x ¯ , u ¯ ) satisfying
f 1 ( x ¯ , z ¯ , y ) C , y S 1 ( x ¯ , u ¯ ) , f 2 ( u ¯ , v ¯ , y ) C , y S 2 ( x ¯ , u ¯ ) .

Moreover, the solution set of the (SSQVEP) is closed.

Proof Setting α = m , F 1 ( x , z , y ) = f 1 ( x , z , y ) C and F 2 ( u , z , y ) = f 2 ( u , z , y ) C , problem (SSQVEP) becomes a particular case of (SQVIP α ) and the Corollary 20 is a direct consequence of Theorem 8. □

Corollary 21 Assume for the problem (SSQVEP) assumptions (i), (ii), (iii) and (iv) as in Corollary  20 and replace (v) by (v′)

(v′) for each i = { 1 , 2 } , f i is continuous in A × B × A .

Then the (SSQVEP) has a solution. Moreover, the solution set of the (SSQVEP) is closed.

Declarations

Acknowledgements

The author thanks the two anonymous referees for their valuable remarks and suggestions, which helped them to improve the article considerably.

Authors’ Affiliations

(1)
Department of Mathematics, Dong Thap University, 783 Pham Huu Lau Street, Ward 6, Cao Lanh City, Vietnam

References

  1. Ansari QH, Oettli W, Schiager D: A generalization of vectorial equilibria. Math. Methods Oper. Res. 1997, 46: 147–152. 10.1007/BF01217687MathSciNetView ArticleGoogle Scholar
  2. Ansari QH, Schaible S, Yao JC: System of generalized vector equilibrium problems with applications. J. Glob. Optim. 2002, 22: 3–16. 10.1023/A:1013857924393MathSciNetView ArticleGoogle Scholar
  3. Ansari QH, Konnov IV, Yao JC: On generalized vector equilibrium problems. Nonlinear Anal. TMA 2001, 47: 543–554. 10.1016/S0362-546X(01)00199-7MathSciNetView ArticleGoogle Scholar
  4. Long XJ, Huang NJ, Teo KL: Existence and stability of solutions for generalized strong vector quasi-equilibrium problems. Math. Comput. Model. 2008, 47: 445–451. 10.1016/j.mcm.2007.04.013MathSciNetView ArticleGoogle Scholar
  5. Plubtieng S, Sitthithakerngkiet K: On the existence result for system of generalized strong vector quasi-equilibrium problems. Fixed Point Theory Appl. 2011., 2011: Article ID 475121Google Scholar
  6. Chen B, Huang NJ, Cho YJ: Symmetric strong vector quasiequilibrium problems in Hausdorff locally convex spaces. J. Inequal. Appl. 2011., 2011: Article ID 56Google Scholar
  7. Hung NV: Sensitivity analysis for generalized quasi-variational relation problems in locally G -convex spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 158Google Scholar
  8. Hung NV: Continuity of solutions for parametric generalized quasi-variational relation problems. Fixed Point Theory Appl. 2012., 2012: Article ID 102Google Scholar
  9. Anh LQ, Khanh PQ: On the stability of the solution sets of general multivalued vector quasiequilibrium problems. J. Optim. Theory Appl. 2007, 135: 271–284. 10.1007/s10957-007-9250-9MathSciNetView ArticleGoogle Scholar
  10. Anh LQ, Khanh PQ: Existence conditions in symmetric multivalued vector quasiequilibrium problem. Control Cybern. 2008, 36: 519–530.MathSciNetGoogle Scholar
  11. Fu JY: Symmetric vector quasiequilibrium problems. J. Math. Anal. Appl. 2003, 285: 708–713. 10.1016/S0022-247X(03)00479-7MathSciNetView ArticleGoogle Scholar
  12. Lin LJ, Liu YH: Existence theorems for systems of generalized vector quasiequilibrium problems and optimization problems. J. Optim. Theory Appl. 2006, 130: 461–475.MathSciNetView ArticleGoogle Scholar
  13. Kien BT, Huy NQ, Wong NC: On the solution existence of generalized vector quasi-equilibrium problems with discontinuous multifunctions. Taiwan. J. Math. 2009, 13: 757–775.MathSciNetGoogle Scholar
  14. Liu QY, Long XJ, Huang NJ: Connectedness of the sets of weak efficient solutions for generalized vector equilibrium problems. Math. Slovaca 2012, 62: 123–136. 10.2478/s12175-011-0077-3MathSciNetGoogle Scholar
  15. Long XJ, Peng JW: Connectedness and compactness of weak efficient solutions for vector equilibrium problems. Bull. Korean Math. Soc. 2011, 48: 1225–1233.MathSciNetView ArticleGoogle Scholar
  16. Long XJ, Huang YQ, Peng ZY: Optimality conditions for the Henig efficient solution of vector equilibrium problems with constraints. Optim. Lett. 2011, 5: 717–728. 10.1007/s11590-010-0241-7MathSciNetView ArticleGoogle Scholar
  17. Lin Z, Yang H, Yu J: On existence and essential components of the solution set for the system of vector quasiequilibrium problems. Nonlinear Anal. 2005, 63: 2445–2452. 10.1016/j.na.2005.03.049View ArticleGoogle Scholar
  18. Lin Z, Yu J: The existence of solutions for the system of generalized vector quasiequilibrium problems. Appl. Math. Lett. 2005, 18: 415–422. 10.1016/j.aml.2004.07.023MathSciNetView ArticleGoogle Scholar
  19. Song QQ, Wang LS: The existence of solutions for the system of vector quasiequilibrium problems in topological order spaces. Comput. Math. Appl. 2011, 62: 1979–1983. 10.1016/j.camwa.2011.06.041MathSciNetView ArticleGoogle Scholar
  20. Plubtieng S, Sitthithakerngkiet K: Existence result of generalized vector quasiequilibrium problems in locally G -convex spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 967515Google Scholar
  21. Yang Y, Pu YJ: On the existence and essential components for solution set for system of strong vector quasiequilibrium problems. J. Glob. Optim. 2011. doi:10.1007/s10898–011–9830-yGoogle Scholar
  22. Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.MathSciNetGoogle Scholar
  23. 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-7MathSciNetView ArticleGoogle Scholar
  24. Lin Z: Existence of solutions to the system of generalized implicit vector quasivariational inequality problems. Fixed Point Theory Appl. 2009., 2009: Article ID 654370Google Scholar
  25. Balaj M, Lin LJ: Generalized variational relation problems with applications. J. Optim. Theory Appl. 2011, 148: 1–13. 10.1007/s10957-010-9741-yMathSciNetView ArticleGoogle Scholar
  26. Yu J: Essential weak efficient solution in multiobjective optimization problems. J. Math. Anal. Appl. 1992, 166: 230–235. 10.1016/0022-247X(92)90338-EMathSciNetView ArticleGoogle Scholar
  27. Berge C: Topological Spaces. Oliver and Boyd, London; 1963.Google Scholar
  28. Luc DT: Theory of Vector Optimization: Lecture Notes in Economics and Mathematical Systems. Springer, Berlin; 1989.View ArticleGoogle Scholar
  29. Holmes RB: Geometric Functional Analysis and Its Application. Springer, New York; 1975.View ArticleGoogle Scholar

Copyright

Advertisement