Skip to main content

Well-posed symmetric vector quasi-equilibrium problems

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.

1 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\).

Let \(S :C\times D\rightrightarrows C\) and \(T : C\times D\rightrightarrows D\) be two set-valued mappings and \(F , G :C \times D\rightarrow Z\) be two vector-valued mappings. Fu [1] defined a class of symmetric vector quasi-equilibrium problems (for short, SVQEP), which consist in finding \((x,y)\in C\times D\) such that

$$\begin{aligned}& (x,y)\in(S\times T) (x,y), \end{aligned}$$
(1)
$$\begin{aligned}& F(u,y)-F(x,y)\notin-\operatorname{int}P,\quad \forall u\in S(x,y) \end{aligned}$$
(2)

and

$$ G(x,v)-G(x,y)\notin-\operatorname{int}P,\quad \forall v\in T(x,y). $$
(3)

Now we introduce the notion of Tykhonov approximating solution sequence for (SVQEP).

Definition 2.1

A sequence \(\{(x_{n},y_{n})\}\in C\times D\) is called a Tykhonov approximating solution sequence for (SVQEP) if there exists \(\{\epsilon_{n}\}\subset\mathbb{R}_{+}^{1}\) with \(\epsilon_{n}\rightarrow 0\) such that

$$\begin{aligned}& (x_{n},y_{n})\in(S\times T) (x_{n},y_{n}), \end{aligned}$$
(4)
$$\begin{aligned}& F(u,y_{n})-F(x_{n},y_{n})+ \epsilon_{n} e\notin-\operatorname{int}P,\quad \forall u\in S(x_{n},y_{n}) \end{aligned}$$
(5)

and

$$ G(x_{n},v)-G(x_{n},y_{n})+ \epsilon_{n} e\notin-\operatorname{int}P, \quad \forall v\in T(x_{n},y_{n}). $$
(6)

Next, we introduce a nonlinear scalarization function and their related properties. For any fixed \(e\in \operatorname{int}P\), the nonlinear scalarization function is defined by

$$\xi_{e}(z):=\inf\{r\in\mathbb{R}:z\in re-P\},\quad \forall z\in Z. $$

It is well known from [23–25] that \(\xi_{e}\) is continuous, homogeneous, (strictly) monotone (i.e., \(\xi _{e}(z_{1})\leq \xi_{e}(z_{2})\) if \(z_{1}-z_{2}\in P\) and \(\xi_{e}(z_{1}) < \xi_{e}(z_{2})\) if \(z_{2}-z_{1}\in \operatorname{int}P\)) and convex. For any fixed \(e\in \operatorname{int}P\), \(z\in Z\), and \(r\in \mathbb{R}\), then \(\xi_{e}(z)\geq r\) is equivalent to \(z \notin re-\operatorname{int}P\).

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.

Let \((X, d)\) be a metric space. Denote a family of all nonempty compact subsets of X by \(K(X)\). For any \(A,B\in K(X)\), let

$$h(A,B)=\max\Bigl\{ \sup_{a\in A}\inf_{b\in B}d(a,b), \sup_{b\in B}\inf_{a\in A}d(a,b)\Bigr\} $$

denote the Hausdorff metric on \(K(X)\). It is well known that \((K(X),h)\) is complete if and only if \((X,d)\) is complete.

Definition 2.2

(see [26])

Let \(F:X \rightrightarrows Y\) be a set-valued mapping.

  1. 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. 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. 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. 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)

Let Λ be the collection of all problem \({\lambda}=(S,T,F,G)\) such that

  1. (a)

    \(S:C\times D\rightrightarrows C\) and \(T:C\times D\rightrightarrows D\) are continuous with nonempty compact values;

  2. (b)

    \(F, G:C\times D\rightarrow Z\) are continuous;

  3. (c)

    \(\sup_{(x,y)\in C\times D}\|F(x,y)\|<+\infty\) and \(\sup_{(x,y)\in C\times D}\|G(x,y)\|<+\infty\);

  4. (d)

    there exists \((x,y)\in C\times D\) meets (1), (2), and (3).

For any \(\lambda_{1}=(S_{1},T_{1},F_{1},G_{1})\), \(\lambda_{2}=(S_{2},T_{2},F_{2},G_{2})\in{ \varLambda }\), we define

$$\begin{aligned} \rho(\lambda_{1},\lambda_{2}): =&\sup_{(x,y)\in C\times D}h_{1} \bigl(S_{1}(x,y),S_{2}(x,y)\bigr)+\sup_{(x,y)\in C\times D}h_{2} \bigl(T_{1}(x,y),T_{2}(x,y)\bigr) \\ &{}+\sup_{(x,y)\in C\times D}\bigl\Vert F_{1}(x,y)-F_{2}(x,y) \bigr\Vert +\sup_{(x,y)\in C\times D}\bigl\Vert G_{1}(x,y)-G_{2}(x,y) \bigr\Vert , \end{aligned}$$

where \(h_{1}\), \(h_{2}\) are Hausdorff metrics on \(K(C)\) and \(K(D)\), respectively. By Proposition 3.1 in [4], it is easy to prove that \(({\varLambda },\rho)\) is a complete metric space.

Let \(X^{*}=C\times D\), \(x^{*}=(x,y)\), and \(d=\max\{d_{1},d_{2}\}\). The bounded rationality model \(M=\{{ \varLambda },X^{*},f,{\varPhi }\}\) for (SVQEP) corresponding to \(\lambda\in{ \varLambda }\) is defined as follows:

  1. (i)

    \(({ \varLambda },\rho)\) is a metric space and \((X^{*},d)\) is a compact metric space;

  2. (ii)

    the feasible set of λ is defined by

    $$f(\lambda):=\bigl\{ x^{*}\in X^{*}:x^{*}\in(S\times T) \bigl(x^{*}\bigr)\bigr\} ; $$
  3. (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\} ; $$
  4. (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

Let \(C=D=[0,2]\), \(P=\mathbb{R}_{+}\), and \(e=1\). For any \((x,y)\in C\times D\), assume that

$$\begin{aligned}& S(x,y)=T(x,y)=[0,1], \\& F(x,y)=G(x,y)=-(x+y), \end{aligned}$$

and, for any \((u,v)\in C\times D\),

$$F(u,y)=-(u+y), \qquad G(x,v)=-(x+v). $$

Then it is easy to see that

$$\begin{aligned}& f(\lambda)=\bigl\{ (x,y):x\in[0,1],y\in[0,1]\bigr\} , \\& {\varPhi }\bigl(\lambda,x^{*}\bigr)=\operatorname{Max} \Bigl\{ \sup _{u\in [0,1]}\bigl\{ -\xi_{e}(x-u)\bigr\} ,\sup _{v\in [0,1]}\bigl\{ -\xi_{e}(y-v)\bigr\} \Bigr\} . \end{aligned}$$
  1. 1.

    If \(x^{*}\in f(\lambda)\), then \(x\in[0,1]\) and \(y\in[0,1]\). Obviously, \({\varPhi }(\lambda,x^{*})\geq0\).

  2. 2.

    For any \(\lambda\in \varLambda \), one has

    $$E(\lambda)=\bigl\{ (x,y):x=1,y=1\bigr\} \neq\emptyset. $$
  3. 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. 1.

    \(\forall\lambda\in \varLambda \), \(E(\lambda)\neq\emptyset\) and \(\forall x^{*}\in f(\lambda)\), \({\varPhi }(\lambda,x^{*})\geq0\).

  2. 2.

    \(\forall\lambda\in \varLambda \), \({\varPhi }(\lambda,x^{*})\leq \epsilon\) if and only if \(x^{*}\) meets (5) and (6).

  3. 3.

    \(x^{*}\in E(\lambda)\) if and only if \({\varPhi }(\lambda,x^{*})= 0\).

Proof

1. By the definition of Λ, \(\forall \lambda\in \varLambda \), \(E(\lambda)\neq\emptyset\). If \(x^{*}=(x,y)\in f(\lambda )\), then \(x\in S(x,y)\), \(y\in T(x,y)\) and

$${\varPhi }\bigl(\lambda,x^{*}\bigr)\geq \operatorname{Max} \bigl\{ \bigl\{ - \xi_{e}\bigl(F(x,y)-F(x,y)\bigr)\bigr\} ,\bigl\{ -\xi_{e} \bigl(G(x,y)-G(x,y)\bigr)\bigr\} \bigr\} =0. $$

2. If \(x^{*}\) meets (5) and (6), then

$$\xi_{e}\bigl(F(u,y)-F(x,y)\bigr)\geq-\epsilon, \quad \forall u\in S(x,y) $$

and

$$\xi_{e}\bigl(G(x,v)-G(x,y)\bigr)\geq-\epsilon,\quad \forall v\in T(x,y). $$

Thus, we have

$$ {\varPhi }\bigl(\lambda,x^{*}\bigr) =\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\} \leq\epsilon. $$

Conversely, if \({\varPhi }(\lambda,x^{*})\leq\epsilon\), then we get

$$-\xi_{e}\bigl(F(u,y)-F(x,y)\bigr) \geq\epsilon,\quad \forall u\in S(x,y) $$

and

$$-\xi_{e}\bigl(G(x,v)-G(x,y)\bigr)\geq\epsilon,\quad \forall v\in T(x,y). $$

It follows that

$$F(u,y)-F(x,y)+\epsilon e\notin-\operatorname{int}P,\quad \forall u\in S(x,y) $$

and

$$G(x,v)-G(x,y)+\epsilon e\notin-\operatorname{int}P, \quad \forall v\in T(x,y). $$

Hence, \(x^{*}\) meets (5) and (6).

3. Using the above results, this result can be obtained. □

Let \(x^{*}_{n}=(x_{n},y_{n})\) and \(x^{*}_{n_{k}}=(x_{n_{k}},y_{n_{k}})\). By Lemma 3.1, we get some new representations on (1)-(6) as follows:

$$\begin{aligned}& \mbox{(\ref{eq:1})}\quad \Longleftrightarrow\quad x^{*}\in f(\lambda); \qquad \mbox{(\ref{eq:2}) and (\ref{eq:3})} \quad \Longleftrightarrow\quad {\varPhi } \bigl(\lambda,x^{*}\bigr)=0; \\& \mbox{(\ref{eq:4})}\quad \Longleftrightarrow \quad x_{n}^{*}\in f( \lambda);\qquad \mbox{(\ref{eq:5}) and (\ref{eq:6})}\quad \Longleftrightarrow\quad {\varPhi }\bigl(\lambda,x_{n}^{*}\bigr)\leq \epsilon_{n}. \end{aligned}$$

Therefore, the set of solutions for the problem \(\lambda\in{ \varLambda }\) and \(\lambda_{n}\in{ \varLambda }\) (\(n=1,2,3,\ldots\)) is defined as

$$\begin{aligned}& E(\lambda):=\bigl\{ x^{*}\in X^{*} :x^{*}\in f(\lambda),{\varPhi }\bigl(\lambda,x^{*}\bigr)=0 \bigr\} , \\& E(\lambda_{n}):=\bigl\{ x^{*}\in X^{*}: x^{*}\in f(\lambda_{n}), { \varPhi }\bigl(\lambda_{n},x^{*}\bigr)=0 \bigr\} . \end{aligned}$$

The Tykhonov approximating solution set for the problem \(\lambda\in {\varLambda }\) and \(\lambda_{n}\in{ \varLambda }\) (\(n=1,2,3,\ldots\)) is defined as

$$\begin{aligned}& E(\lambda,\epsilon_{n}):=\bigl\{ x^{*}\in X^{*} :x^{*}\in f(\lambda),\varPhi \bigl(\lambda ,x^{*}\bigr)\leq\epsilon_{n}\bigr\} , \\& E(\lambda_{n},\epsilon_{n}):=\bigl\{ x^{*}\in X^{*} :x^{*}\in f( \lambda_{n}) , {\varPhi }\bigl(\lambda_{n},x^{*}\bigr)\leq \epsilon_{n}\bigr\} . \end{aligned}$$

Tykhonov well-posedness for (SVQEP) corresponding to the problem λ is given as follows.

Definition 3.1

  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. 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. 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. 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. 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. 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)\).

Let \(h_{1}(S_{n}(x_{n},y_{n}),S(x_{n},y_{n}))\leq\epsilon_{n}\) and \(h_{2}(T_{n}(x_{n},y_{n}),T(x_{n},y_{n}))\leq\epsilon_{n}\). For each \(n=1,2,3,\ldots\) , since \((x_{n},y_{n})\in f(\lambda_{n})\), then there exists \((x_{n},y_{n})\in X^{*}\) such that \((x_{n},y_{n})\in (S_{n}\times T_{n})(x_{n},y_{n})\). So there exists \(x_{n}'\in S(x_{n},y_{n})\) such that \(d_{1}(x_{n},x_{n}')\leq\epsilon_{n}\). By

$$d_{1}\bigl(x_{n}',x\bigr)\leq d_{1} \bigl(x_{n}',x_{n}\bigr)+d_{1}(x_{n},x) \rightarrow0, $$

we get \(x_{n}'\rightarrow x\). Note that set-value mapping S is continuous on \(X^{*}\), then we get

$$d_{1}\bigl(x,S(x,y)\bigr)\leq d_{1}\bigl(x,x_{n}' \bigr)+d_{1}\bigl(x_{n}',S(x_{n},y_{n}) \bigr)+h_{1}\bigl(S(x_{n},y_{n}),S(x,y)\bigr) \rightarrow 0. $$

By compactness of \(S(x,y)\), we have \(x\in S(x,y)\). Similarly, we can prove that \(y\in T(x,y)\). Hence, \((x,y)\in(S\times T)(x,y)\). It shows that \(x^{*}\in f(\lambda)\). □

Lemma 4.2

(see [9, 22])

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

We only need to show that \(\forall\epsilon>0\), \(\forall\lambda_{n}=(S_{n},T_{n},F_{n},G_{n})\in {\varLambda }\), \(\lambda_{n}\rightarrow\lambda=(S,T,F,G) \in {\varLambda }\), \(\forall x_{n}^{*}\in X^{*}\), \(x^{*}_{n}\rightarrow x^{*}\in X^{*}\), there exists a positive integer N such that, \(\forall n\geq N\),

$$ {\varPhi }\bigl(\lambda_{n},x_{n}^{*}\bigr)>{\varPhi } \bigl(\lambda,x^{*}\bigr)-\epsilon. $$
(7)

Let

$$\varPhi _{1}\bigl(\lambda,x^{*}\bigr):=\sup_{u\in S(x,y)} \bigl\{ - \xi_{e}\bigl(F(u,y)-F(x,y)\bigr) \bigr\} $$

and

$${\varPhi }_{2}\bigl(\lambda,x^{*}\bigr):=\sup_{v\in T(x,y)} \bigl\{ -\xi_{e}\bigl(G(x,v)-G(x,y)\bigr) \bigr\} . $$

By the definition of the least upper bound, there exists \(u_{0}\in S(x,y)\) such that

$$ -\xi_{e}\bigl(F(u_{0},y)-F(x,y)\bigr)>{ \varPhi }_{1}\bigl(\lambda,x^{*}\bigr)-\frac{\epsilon}{2}. $$
(8)

Note that \(\sup_{(x,y)\in C\times D}h_{1}(S_{n}(x,y),S(x,y))\rightarrow0\) and \(h_{1}(S(x_{n},y_{n}),S(x,y))\rightarrow0\), we have

$$ h_{1}\bigl(S_{n}(x_{n},y_{n}),S(x,y) \bigr) \leq h_{1}\bigl(S_{n}(x_{n},y_{n}),S(x_{n},y_{n}) \bigr)+h_{1}\bigl(S(x_{n},y_{n}),S(x,y)\bigr) \rightarrow0. $$
(9)

By (9), there exists \(u_{n}\in S_{n}(x_{n},y_{n})\) such that \(d_{1}(u_{n}, u_{0})\rightarrow0\). Since F is continuous on \(C\times D\) and \(\sup_{(x,y)\in C\times D}\|F_{n}(x,y)-F(x,y)\|\rightarrow0\), letting \(n\rightarrow \infty\), we have

$$ \bigl\Vert F_{n}(u_{n},y_{n})-F_{n}(x_{n},y_{n})- \bigl(F(u_{0},y)-F(x,y)\bigr)\bigr\Vert \rightarrow0. $$
(10)

Using continuity of \(\xi_{e}\) and (10), we have

$$ -\xi_{e}\bigl(F_{n}(u_{n},y_{n})-F_{n}(x_{n},y_{n}) \bigr)\rightarrow -\xi_{e}\bigl(F(u_{0},y)-F(x,y)\bigr). $$
(11)

By (11), there exists a positive integer \(N_{1}\) such that, for any \(n\geq N_{1}\),

$$ -\xi_{e}\bigl(F_{n}(u_{n},y_{n})-F_{n}(x_{n},y_{n}) \bigr)>-\xi_{e}\bigl(F(u_{0},y)-F(x,y)\bigr)- \frac{\epsilon}{2}. $$
(12)

From (8) and (12), for any \(n\geq N_{1}\), we get

$$\begin{aligned} {\varPhi }_{1}\bigl(\lambda_{n},x_{n}^{*}\bigr)&=\sup _{u\in S_{n}(x_{n},y_{n})} \bigl\{ -\xi _{e}\bigl(F_{n}(u,y_{n})-F_{n}(x_{n},y_{n}) \bigr) \bigr\} \\ &\geq-\xi_{e}\bigl(F_{n}(u_{n},y_{n})-F_{n}(x_{n},y_{n}) \bigr) \\ & >-\xi_{e}\bigl(F(u_{0},y)-F(x,y)\bigr)-\frac{\epsilon}{2} \\ &>{\varPhi }_{1}\bigl(\lambda,x^{*}\bigr)-\epsilon. \end{aligned}$$
(13)

Similarly, we can prove that there exists a positive integer \(N_{2}\) such that, for any \(n\geq N_{2}\),

$$ {\varPhi }_{2}\bigl(\lambda_{n},x_{n}^{*} \bigr)>{\varPhi }_{2}\bigl(\lambda,x^{*}\bigr)-\epsilon. $$
(14)

Let \(N=\max\{N_{1},N_{2}\}\), \(\forall n\geq N\), by (13) and (14), we get (7), that is,

$${\varPhi }\bigl(\lambda_{n},x_{n}^{*}\bigr)\geq \operatorname{Max} \bigl\{ {\varPhi }_{1}\bigl(\lambda,x^{*}\bigr),{\varPhi }_{2}\bigl( \lambda ,x^{*}\bigr)\bigr\} -\epsilon={\varPhi }\bigl(\lambda,x^{*}\bigr)-\epsilon. $$

 □

Finally, we give sufficient conditions for G-wp and wp of (SVQEP) corresponding to \(\lambda\in{ \varLambda }\).

Theorem 4.1

  1. 1.

    Every \(\lambda\in{ \varLambda }\) is G-wp.

  2. 2.

    Let \(\lambda\in{ \varLambda }\) and suppose furthermore \(E(\lambda)=\{x^{*}\}\) (a singleton), then λ is wp.

Proof

1. \(\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\), then we have \(x_{n}^{*}\in f(\lambda_{n})\) and \({\varPhi }(\lambda_{n},x_{n}^{*})\leq\epsilon_{n}\). First, by Lemma 4.1 and Lemma 4.2, if \(\lambda_{n}\rightarrow\lambda\), then there exists \(\{x_{n_{k}}^{*}\}\subset\{x_{n}^{*}\}\) such that \(x_{n_{k}}^{*}\rightarrow x^{*}\in f(\lambda)\). Secondly, by \({\varPhi }(\lambda_{n},x_{n}^{*})\leq\epsilon_{n}\) and Lemma 4.3, we have

$$0\leq{ \varPhi }\bigl(\lambda,x^{*}\bigr)\leq\liminf_{n_{k}\rightarrow\infty} {\varPhi } \bigl(\lambda_{n_{k}},x_{n_{k}}^{*}\bigr)\leq \liminf _{n_{k}\rightarrow\infty}\epsilon_{n_{k}} =0, $$

which implies that \({\varPhi }(\lambda,x^{*})=0\). It shows that the problem λ is G-wp.

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

Let \(C=D=[0,2]\times[0,2]\), \(Z=\mathbb{R}^{2}\), \(P=\mathbb{R}_{+}^{2}\), and \(e=(1,1)\). For any \((x,y)\in X\times Y\), assume that

$$\begin{aligned}& S(x,y)=T(x,y)=[0,1]\times[0,1],\quad \forall x,y\in C\times D, \\& F(x,y)=G(x,y)=-(x+y), \end{aligned}$$

and for any \((u,v)\in C\times D\),

$$F(u,y)=-(u+y), \qquad G(x,y)=-(x+v). $$

Then it is easy to see that, for \(\lambda=(S,T,F,G)\in \varLambda \),

$$f(\lambda)= \bigl\{ (x,y)|x\in[0,1]\times[0,1],y\in[0,1]\times [0,1] \bigr\} $$

and

$$E(\lambda)= \bigl\{ (x,y)\in f(\lambda)|x=(x_{1},x_{2}),y=(y_{1},y_{2}), \max\{ x_{1},x_{2}\}=1,\max\{y_{1},y_{2} \}=1 \bigr\} . $$

Moreover, by Theorem 4.1, the problem λ must be G-wp.

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. 1.

    Every \(\lambda\in{ \varLambda }\) must be GT-wp and GH-wp.

  2. 2.

    Let \(\lambda\in{ \varLambda }\), if \(E(\lambda)=\{x^{*}\}\) (a singleton), then λ must be T-wp and H-wp.

Remark 4.1

In Theorem 4.1 and Corollary 4.1, \(\lambda\in \varLambda \) means that the problem \(\lambda=(S,T,F,G)\) holds for all conditions (a), (b), (c), and (d).

References

  1. Fu, JY: Symmetric vector quasi-equilibrium problems. J. Math. Anal. Appl. 285, 708-713 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  2. Blum, E, Oettli, W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 63, 123-145 (1994)

    MathSciNet  MATH  Google Scholar 

  3. Farajzadeh, AP: On the symmetric vector quasi-equilibrium problems. J. Math. Anal. Appl. 322, 1099-1110 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  4. Chen, JC, Gong, XH: The stability of set of solutions for symmetric vector quasi-equilibrium problems. J. Optim. Theory Appl. 136, 359-374 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  5. Zhang, WY: Well-posedness for convex symmetric vector quasi-equilibrium problems. J. Math. Anal. Appl. 387, 909-915 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  6. Deng, XC, Xiang, SW: Well-posed generalized vector equilibrium problems. J. Inequal. Appl. 2014, Article ID 127 (2014)

    Article  MathSciNet  Google Scholar 

  7. Zhang, WB, Huang, NJ, O’Regan, D: Generalized well-posedness for symmetric vector quasi-equilibrium problems. J. Appl. Math. 2015, Article ID 108357 (2015)

    MathSciNet  MATH  Google Scholar 

  8. Dontchev, AL, Zolezzi, T: Well-Posed Optimization Problems. Lecture Notes in Mathematics, vol. 1543. Springer, Berlin (1993)

    Google Scholar 

  9. 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)

    Article  MathSciNet  MATH  Google Scholar 

  10. Crespi, GP, Guerraggio, A, Rocca, M: Well posedness in vector optimization problems and vector variational inequalities. J. Optim. Theory Appl. 132, 213-226 (2007)

    Article  MathSciNet  Google Scholar 

  11. Durea, M: Scalarization for pointwise well-posed vectorial problems. Math. Methods Oper. Res. 66, 409-418 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  12. Huang, XX: Extended well-posedness properties of vector optimization problems. J. Optim. Theory Appl. 106, 165-182 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  13. Huang, XX, Yang, XQ: Levitin-Polyak well-posedness of constrained vector optimization problems. J. Glob. Optim. 37, 287-304 (2007)

    Article  MATH  Google Scholar 

  14. Li, Z, Xia, FQ: Scalarization method for Levitin-Polyak well-posedness of vectorial optimization problems. Math. Methods Oper. Res. 76, 361-375 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  15. Miglierina, E, Molho, E, Rocca, M: Well-posedness and scalarization in vector optimization. J. Optim. Theory Appl. 126, 391-409 (2005)

    Article  MathSciNet  Google Scholar 

  16. 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)

    Article  MathSciNet  MATH  Google Scholar 

  17. Li, SJ, Li, MH: Levitin-Polyak well-posedness of vector equilibrium problems. Math. Methods Oper. Res. 69, 125-140 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  18. Kimura, K, Liou, YC, Wu, SY: Well-posedness for parametric vector equilibrium problems with applications. J. Ind. Manag. Optim. 4, 313-327 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  19. Anderlini, L, Canning, D: Structural stability implies robustness to bounded rationality. J. Econ. Theory 101, 395-422 (2001)

    Article  MathSciNet  Google Scholar 

  20. Yu, C, Yu, J: On structural stability and robustness to bounded rationality. Nonlinear Anal. TMA 65, 583-592 (2006)

    Article  MATH  Google Scholar 

  21. Yu, C, Yu, J: Bounded rationality in multiobjective games. Nonlinear Anal. TMA 67, 930-937 (2007)

    Article  MATH  Google Scholar 

  22. Yu, J, Yang, H, Yu, C: Structural stability and robustness to bounded rationality for non-compact cases. J. Glob. Optim. 44, 149-157 (2009)

    Article  MathSciNet  Google Scholar 

  23. Gerth, C, Weidner, P: Nonconvex separation theorems and some applications in vector optimization. J. Optim. Theory Appl. 67, 297-320 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  24. Chen, GY, Huang, XX, Yang, XQ: Vector Optimization: Set-Valued and Variational Analysis. Springer, Berlin (2005)

    Google Scholar 

  25. Luc, DT: Theory of Vector Optimization. Springer, Berlin (1989)

    Book  Google Scholar 

  26. Aliprantis, CD, Border, KC: Infinite Dimensional Analysis. Springer, Berlin (1999)

    Book  MATH  Google Scholar 

Download references

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).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Xicai Deng.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Deng, X., Xiang, S. Well-posed symmetric vector quasi-equilibrium problems. J Inequal Appl 2015, 232 (2015). https://doi.org/10.1186/s13660-015-0749-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-015-0749-6

MSC

Keywords