# Well-posedness for parametric strong vector quasi-equilibrium problems with applications

- Qiu-ying Li
^{1}and - San-hua Wang
^{2}Email author

**2011**:62

https://doi.org/10.1186/1687-1812-2011-62

© Li and Wang; licensee Springer. 2011

**Received: **13 May 2011

**Accepted: **7 October 2011

**Published: **7 October 2011

## Abstract

In this article, we generalize the concept of well-posedness to the parametric strong vector quasi-equilibrium problem. Under some suitable conditions, we establish some characterizations of well-posedness for parametric strong vector quasi-equilibrium problems. The corresponding concept of well-posedness in the generalized sense is also investigated for the parametric strong vector quasi-equilibrium problem. As applications, we investigate the well-posedness for strong vector quasi-variational inequality problems and strong vector quasi-optimization problems.

**2000 Mathematics subject classification:** 49K40; 90C31.

## Keywords

## 1 Introduction

Equilibrium problem was first introduced by Blum and Oettli [1], which includes optimization problems, fixed point problems, variational inequality problems, and complementarity problems as special cases. During the recent years, equilibrium problem has been extensively studied and generalized (e.g., [2, 3]).

It is well known that well-posedness is very important for both optimization theory and numerical methods of optimization problems, which guarantees that, for every approximating solution sequence, there is a subsequence which converges to a solution. Well-posedness of unconstrained and constrained scalar optimization problems was first introduced and studied by Tykhonov [4] and Levitin and Polyak [5], respectively. Since then, various concepts of well-posedness have been introduced and extensively studied for minimization problems and vector optimization problems. For details, we refer readers to [6–13] and the references therein.

In recent years, the concept of well-posedness has been generalized to several related problems: variational inequality problems [14–18], saddle point problems [19], Nash equilibrium problems [16, 20–23], inclusion problems [24, 25], and fixed point problems [24–26].

Recently Fang et al. [27] generalized the concepts of well-posedness to equilibrium problems and to optimization problems with equilibrium constraints and gave some metric characterizations of well-posedness for equilibrium and optimization problems with equilibrium constraints. Subsequently, the well-posedness has been extensively studied by many authors for various equilibrium problems, such as scalar equilibrium problems [28], vector equilibrium problems [29–31], parametric vector equilibrium problems [32], vector quasi-equilibrium problems [33], generalized vector quasi-equilibrium problems [34], and symmetric quasi-equilibrium problems [35]. It is worth mentioning that the most of results of well-posedness are for scalar equilibrium problem or for weak vector equilibrium problem which depends on int*C* ≠ ∅. However, in many cases, the cone *C* has an empty interior. For example, in the classical Banach spaces *l*^{
p
} and *L*^{
p
} (Ω), where 1 *< p* < ∞, the standard ordering cone has an empty interior. In this case, we cannot study the well-posedness for the weak vector equilibrium problem. However, we can study the strong vector equilibrium problem since the strong vector equilibrium problem does not need int*C* ≠ ∅. On the other hand, to the best of our knowledge, the result of well-posedness for the strong vector equilibrium problem is very few.

On the other hand, the strong vector equilibrium problem is a class of important equilibrium problems since a solution for the strong vector equilibrium problem is an ideal solution, which is better than other solutions such as efficient solution, weak efficient solution, Henig efficient solution and supper efficient solution (e.g., [36]). Thus, it is important to investigate the well-posedness for strong vector equilibrium problems.

Motivated and inspired by the studies mentioned above, in this article, we introduce and study the well-posedness for parametric strong vector quasi-equilibrium problems. Under suitable conditions, we obtain some necessary and sufficient conditions for the well-posedness of parametric strong vector quasi-equilibrium problems. As applications, we investigate the well-posedness for strong vector quasi-variational inequality problems and strong vector quasi-optimization problems.

## 2 Preliminaries

*X*be a nonempty closed subset of a metric space (

*E*,

*d*);

*Y*be a Huasdorff topological vector space; and Λ and

*P*be two nonempty closed subsets of two metric spaces, respectively. Let

*K*: Λ ×

*X*→ 2

^{ X }and

*C*: Λ ×

*X*→ 2

^{ Y }be set-valued mappings such that, for each (

*λ*,

*x*) ∈ Λ ×

*X*,

*C*(

*λ*,

*x*) is a nonempty closed convex cone in

*Y*. Let

*e*:

*X*→

*Y*be a continuous mapping such that, for each

*x*∈

*X*and

*λ*∈ Λ,

*e*(

*x*) ∈

*C*(

*λ*,

*x*). Let

*f*:

*P*×

*X*×

*X*→

*Y*be a vector-valued mapping. For any fixed (

*λ*,

*p*) ∈ Λ ×

*P*, the parametric strong vector quasi-equilibrium problem (for short, (PSVQEP)

_{ λ }

_{,}

_{ p }) is to find $\stackrel{\u0304}{x}\in X$ such that $\stackrel{\u0304}{x}\in K\left(\lambda ,\stackrel{\u0304}{x}\right)$ and

_{ λ }

_{,}

_{ p }: (

*λ*,

*p*) ∈ Λ ×

*P*}. For each (

*λ*,

*p*) ∈ Λ ×

*P*, let

*S*(

*λ*,

*p*) be the solution set for (PSVQEP)

_{ λ }

_{,}

_{ p }, i.e.,

**Remark 2.1**. If

*E*is a real Banach space,

*Y*=

*R*,

*f*:

*P*×

*X*×

*X*→

*R*,

*K*(

*λ*,

*x*) =

*X*and

*C*(

*λ*,

*x*) = (0, +∞) for all (

*λ*,

*x*) ∈ Λ ×

*X*, then (PSVQEP)

_{ λ }

_{,}

_{ p }reduces to the following parametric equilibrium problem (for short, (PEP)

_{ p }): find $\stackrel{\u0304}{x}\in X$ such that

which has been studied in [27].

**Definition 2.1**. Let (

*λ*,

*p*) ∈ Λ ×

*P*and {(

*λ*

_{ n },

*p*

_{ n })} ⊆ Λ ×

*P*with (

*λ*

_{ n },

*p*

_{ n }) → (

*λ*,

*p*). A sequence {

*x*

_{ n }} ⊆

*X*is said to be approximating for (PSVQEP)

_{ λ }

_{,}

_{ p }corresponding to {(

*λ*

_{ n },

*p*

_{ n })} if there exists a sequence {

*ε*

_{ n }} ⊆

*R*

^{+}with

*ε*

_{ n }→ 0 such that, for each

*n*∈

*N*,

**Definition 2.2**. (PSVQEP) is said to be well-posed if, for every (

*λ*,

*p*) ∈ Λ ×

*P*,

- (i)
(PSVQEP)

_{ λ }_{,}_{ p }has a unique solution*x*_{ λ }_{,}_{ p }, i.e.,*S*(*λ*,*p*) = {*x*_{ λ }_{,}_{ p }}; - (ii)
for any sequence {(

*λ*_{ n },*p*_{ n })} ⊆ Λ ×*P*with (*λ*_{ n },*p*_{ n }) → (*λ*,*p*), every approximating sequence {*x*_{ n }} for (PSVQEP)_{ λ }_{,}_{ p }corresponding to {(*λ*_{ n },*p*_{ n })} converges to*x*_{ λ }_{,}_{ p }.

**Definition 2.3**. (PSVQEP) is said to be well-posed in the generalized sense if, for every (

*λ*,

*p*) ∈ Λ ×

*P*,

- (i)
*S*(*λ*,*p*) ≠ ∅; - (ii)
for any sequence {(

*λ*_{ n },*p*_{ n })} ⊆ Λ ×*P*with (*λ*_{ n },*p*_{ n }) → (*λ*,*p*), every approximating sequence {*x*_{ n }} for (PSVQEP)_{ λ }_{,}_{ p }corresponding to {(*λ*_{ n },*p*_{ n })} has a subsequence which converges to some point of*S*(*λ*,*p*).

**Remark 2.2**. When (PSVQEP)_{
λ
}_{,}_{
p
} reduces to (PEP)_{
p
}, Definition 2.1 coincides with 3.1 of [27], and Definitions 2.2 and 2.3 coincide with 3.2 of [27].

**Definition 2.4**. Let Λ,

*P*, and

*X*be topological spaces and

*Y*be a topological vector space. Let

*C*: Λ ×

*X*→ 2

^{ Y }be a set-valued mapping such that, for each (

*λ*,

*x*) ∈ Λ ×

*X*,

*C*(

*λ*,

*x*) is a nonempty closed convex cone in

*Y*. Let

*f*:

*P*×

*X*×

*X*→

*Y*be a vector-valued mapping. For any fixed (

*λ*,

*x*) ∈ Λ ×

*X*,

*f*is said to be upper (resp. lower)

*C*(

*λ*,

*x*) continuous if, for any (

*p*,

*y*) ∈

*P*×

*X*and any neighborhood

*V*of 0 in

*Y*, there exist neighborhoods

*U*

_{ p },

*U*

_{ x }and

*U*

_{ y }of

*p*,

*x*, and

*y*, respectively, such that

**Remark 2.3**. If *f* : *P* × *X* × *X* → *Y* is continuous, then for any fixed (*λ*, *x*) ∈ Λ × *X*, *f* is both upper *C*(*λ*, *x*) continuous and lower *C*(*λ*, *x*) continuous.

**Definition 2.5**[37]. Let

*X*and

*Y*be two topological spaces. A set-valued mapping

*T*:

*X*→ 2

^{ Y }is said to be

- (i)
upper semicontinuous (for short, u.s.c.) at

*x*_{0}∈*X*if, for each open set*V*in*Y*with*T*(*x*_{0}) ⊆*V*, there exists an open neighborhood*U*(*x*_{0}) of*x*_{0}such that*T*(*x*) ⊆*V*for all*x*∈*U*(*x*_{0}); - (ii)
lower semicontinuous (for short, l.s.c.) at

*x*_{0}∈*X*if, for each open set*V*in*Y*with*T*(*x*_{0}) ∩*V*≠ ∅, there exists an open neighborhood*U*(*x*_{0}) of*x*_{0}such that*T*(*x*) ∩*V*≠ ∅ for all*x*∈*U*(*x*_{0}); - (iii)
u.s.c. (resp. l.s.c.) on

*X*if it is u.s.c. (resp. l.s.c.) at every point*x*∈*X*; - (iv)
continuous on

*X*if it is both u.s.c. and l.s.c. on*X*; - (v)
closed if the graph Gr(

*T*) = {(*x*,*y*) ∈*X*×*Y*:*y*∈*T*(*x*)} is a closed subset of*X*×*Y*.

**Lemma 2.1**[37]. Let

*X*and

*Y*be two topological spaces, and

*F*:

*X*→ 2

^{ Y }a set-valued mapping.

- (i)
If

*F*is u.s.c. and close-valued, then*F*is closed; - (ii)
If

*F*(*x*) is a compact set, then*F*is u.s.c. at*x*∈*X*, if and only if for any net {*x*_{ α }} ⊆*X*with*x*_{ α }→*x*and any net {*y*_{ α }} ⊆*Y*with*y*_{ α }∈*F*(*x*_{ α }) for all*α*, there exist*y*∈*F*(*x*) and a subnet {*y*_{ β }} of {*y*_{ α }} such that*y*_{ β }→*y*; - (iii)
*F*is l.s.c. at*x*∈*X*, if and only if for any*y*∈*F*(*x*) and for any net {*x*_{ α }} with*x*_{ α }→*x*, there exists a net {*y*_{ α }} with*y*_{ α }∈*F*(*x*_{ α }) for all*α*such that*y*_{ α }→*y*.

We also need the concepts of noncompactness measure and Hausdorff metric.

**Definition 2.6**[38]. Let

*E*be completed. The Kuratowski measure of noncompactness of a set

*A*⊆

*E*is defined by

where diam*A* denotes the diameter of *A* defined by diam*A* = sup{*d*(*x*_{1}, *x*_{2}): *x*_{1}, *x*_{2} ∈ *A*}.

**Definition 2.7**[38]. Let

*A*and

*B*be nonempty subsets of

*E*. The Hausdorff metric

*H*(·,·) between

*A*and

*B*is defined by

where *h*(*A*, *B*) = sup_{
a
}_{∈}_{
A
}*d*(*a*, *B*) with *d*(*a*, *B*) = inf_{
b
}_{∈}_{
B
}*d*(*a*, *b*).

## 3 Well-posedness for (PSVQEP)

In this section, we shall establish some characterizations of well-posedness for (PSVQEP).

### 3.1 Continuity characterization of well-posedness for (PSVQEP)

*λ*,

*p*) ∈ Λ ×

*P*and

*ε*≥ 0, the

*ε*-solution set for (PSVQEP)

_{ λ,p }is defined by

We call Π an *ε*-solution mapping.

Clearly, for each (*λ*, *p*) ∈ Λ × *P* and *ε* ≥ 0, *S*(*λ*, *p*) ⊆ Π(*λ*, *p*, *ε*), and *S*(*λ*, *p*) = Π(*λ*, *p*, 0).

**Lemma 3.1**. For any fixed (*λ*, *x*) ∈ Λ × *X*, if *f* is lower *C*(*λ*, *x*) continuous, then for every *ε* ≥ 0, *f*(*p*, *x*, *y*) + *εe*(*x*) is lower *C*(*λ*, *x*) continuous.

*λ*,

*x*) ∈ Λ ×

*X*be such that

*f*is lower

*C*(

*λ*,

*x*) continuous. For any given

*ε*≥ 0, define a vector-valued mapping

*F*:

*P*×

*X*×

*X*→

*Y*as follows:

*V*of 0 in

*Y*, there exists a balanced neighborhood

*V*

_{1}of 0 in

*Y*such that

*p*,

*y*) ∈

*P*×

*X*, since

*e*is continuous and

*f*is lower

*C*(

*λ*,

*x*) continuous, there exist neighborhoods

*U*

_{ p },

*U*

_{ x }and

*U*

_{ y }of

*p*,

*x*, and

*y*, respectively, such that

*U*=

*U*

_{ p }×

*U*

_{ x }×

*U*

_{ y }, then by (3.2), (3.3), and (3.1), we have, for each (

*p*',

*x*',

*y*') ∈

*U*,

Thus, *F* is lower *C*(*λ*, *x*) continuous. This completes the proof.

**Lemma 3.2**. Assume that

- (i)
for each

*λ*∈ Λ,*K*(*λ*, ·) is continuous and close-valued on*X*; - (ii)
for each

*λ*,*C*(*λ*, ·) is u.s.c. on*X*; - (iii)
for each (

*λ*,*x*) ∈ Λ ×*X*,*f*is lower*C*(*λ*,*x*) continuous.

Then for each (*λ*, *p*, *ε*) ∈ Λ × *P* × *R*^{+}, *S*(*λ*, *p*) and Π(*λ*, *p*, *ε*) are closed subsets of *X*.

*λ*,

*p*) ∈ Λ ×

*P*be any given sequence. Let {

*x*

_{ n }} ⊆

*S*(

*λ*,

*p*) be any sequence such that

*x*

_{ n }→

*x*∈

*X*. Then, for each

*n*, we have

*K*(

*λ*, ·) is u.s.c. and close-valued,

*K*(

*λ*, ·) is closed and so

*x*∈

*K*(

*λ*,

*x*). For each

*y*∈

*K*(

*λ*,

*x*), since

*K*(

*λ*, ·) is l.s.c. at

*x*, there exists a sequence {

*y*

_{ n }} with

*y*

_{ n }∈

*K*(

*λ*,

*x*

_{ n }) such that

*y*

_{ n }→

*y*. Then, by (3.4), we have

*V*of 0 in

*Y*, there exists a balanced neighborhood

*V*

_{0}of 0 in

*Y*such that

*V*

_{0}, since

*C*(

*λ*, ·) is u.s.c. at

*x*and

*f*is lower

*C*(

*λ*,

*x*) continuous, there exist neighborhoods

*U*

_{ x }and

*U*

_{ y }of

*x*and

*y*, respectively, such that

*x*

_{ n }→

*x*and

*y*

_{ n }→

*y*, there exists

*n*

_{0}∈

*N*such that, for all

*n*≥

*n*

_{0},

*x*

_{ n }∈

*U*

_{ x }, and

*y*

_{ n }∈

*U*

_{ y }. Then, by (3.7) and (3.8), for all

*n*≥

*n*

_{0},

*V*

_{0}is balanced, we have -

*V*

_{0}=

*V*

_{0}. Then, by (3.10), (3.5), (3.9), and (3.6), we have, for each

*n*≥

*n*

_{0},

*V*, we get

*x*∈

*S*(

*λ*,

*p*), and this implies that

*S*(

*λ*,

*p*) is closed.

- (2)For each
*ε >*0, let$F\left(p,x,y\right)=f\left(p,x,y\right)+\epsilon e\left(x\right),\phantom{\rule{1em}{0ex}}\forall \left(p,x,y\right)\in P\times X\times X.$

*λ*,

*x*) ∈ Λ ×

*X*,

*F*is lower

*C*(

*λ*,

*x*) continuous. It follows from (1) that, for each (

*λ*,

*p*) ∈

*λ*×

*P*, the set

is closed, i.e., Π(*λ*, *p*, *ε*) is closed. This completes the proof.

The following theorem gives a characterization of the well-posedness in the generalized sense for (PSVQEP).

**Theorem 3.1**. *(PSVQEP) is well-posed in the generalized sense, if and only if for every* (*λ*, *p*) ∈ Λ × *P, S*(*λ*, *p*) *is a nonempty compact subset of X and* Π *is u.s.c. at* (*λ*, *p*, 0).

*Proof*. For any (

*λ*,

*p*) ∈ Λ ×

*P*, suppose that

*S*(

*λ*,

*p*) is a nonempty compact subset of

*X*and Π is u.s.c. at (

*λ*,

*p*, 0). Let {(

*λ*

_{ n },

*p*

_{ n })} ⊆ Λ ×

*P*be an arbitrary sequence with (

*λ*

_{ n },

*p*

_{ n }) → (

*λ*,

*p*) and {

*x*

_{ n }} be an approximating sequence of (PSVQEP)

_{ λ }

_{,}

_{ p }corresponding to {(

*λ*

_{ n },

*p*

_{ n })}. Then, there exists a sequence {

*ε*

_{ n }} ⊆

*R*

^{+}with

*ε*

_{ n }→ 0 such that, for each

*n*∈

*N*,

Thus, *x*_{
n
} ∈ Π(*λ*_{
n
} , *p*_{
n
} , *ε*_{
n
} ). Note that Π(*λ*, *p*, 0) = *S*(*λ*, *p*) is compact. Since Π is u.s.c. at (*λ*, *p*, 0), there exists a subsequence $\left\{{x}_{{n}_{j}}\right\}$ of {*x*_{
n
} } which converges to some point *x*_{0} ∈ Π(*λ*, *p*, 0) = *S*(*λ*, *p*). Therefore, (PSVQEP) is well-posed in the generalized sense.

*λ*,

*p*) ∈ Λ ×

*P*,

*S*(

*λ*,

*p*) is nonempty and compact, and so Π(

*λ*,

*p*, 0) is nonempty and compact. Let {(

*λ*

_{ n },

*p*

_{ n },

*ε*

_{ n })} ⊆ Λ ×

*P*×

*R*

^{+}be an arbitrary sequence with (

*λ*

_{ n },

*p*

_{ n },

*ε*

_{ n }) → (

*λ*,

*p*, 0) and

*x*

_{ n }∈ Π(

*λ*

_{ n },

*p*

_{ n },

*ε*

_{ n }). Then, for each

*n*∈

*N*,

Thus, {*x*_{
n
} } is an approximating sequence of (PSQVEP)_{
λ
}_{,}_{
p
} corresponding to {(*λ*_{
n
} , *p*_{
n
} )}. By the well-posedness in the generalized sense of (PSVQEP), {*x*_{
n
} } has a subsequence $\left\{{x}_{{n}_{j}}\right\}$ which converges to some point of *S*(*λ*, *p*) = Π(*λ*, *p*, 0). Thus, Π is u.s.c. at (*λ*, *p*, 0). This completes the proof.

For the well-posedness of (PSVQEP), we have the following result.

**Theorem 3.2**. *(PSVQEP) is well-posed, if and only if for every* (*λ*, *p*) ∈ Λ × *P, S*(*λ*, *p*) *has a unique point and* Π *is u.s.c. at* (*λ*, *p*, 0).

*Proof*. The necessity is a direct conclusion of Definition 2.2 and Theorem 3.1.

*λ*,

*p*) ∈ Λ ×

*P*,

*S*(

*λ*,

*p*) has a unique point

*x*

_{ λ }

_{,}

_{ p }and Π is u.s.c. at (

*λ*,

*p*, 0). Let {(

*λ*

_{ n },

*p*

_{ n })} ⊆ Λ ×

*P*be an arbitrary sequence with (

*λ*

_{ n },

*p*

_{ n }) → (

*λ*,

*p*) and {

*x*

_{ n }} be an approximating sequence of (PSVQEP)

_{ λ }

_{,}

_{ p }corresponding to {(

*λ*

_{ n },

*p*

_{ n })}. Then, there exists a sequence {

*ε*

_{ n }} ⊆

*R*

^{+}with

*ε*

_{ n }→ 0 such that, for each

*n*∈

*N*,

*x*

_{ n }∈ Π(

*λ*

_{ n },

*p*

_{ n },

*ε*

_{ n }). Note that Π(

*λ*,

*p*, 0) =

*S*(

*λ*,

*p*) = {

*x*

_{ λ }

_{,}

_{ p }} is a singleton set and so is compact. Since Π is u.s.c. at (

*λ*,

*p*, 0), for any neighborhood

*V*of

*x*

_{ λ }

_{,}

_{ p }, there exists a neighborhood

*U*of (

*λ*,

*p*, 0) such that

*λ*

_{ n },

*p*

_{ n },

*ε*

_{ n }) → (

*λ*,

*p*, 0), there exists

*n*

_{0}∈

*N*such that

Hence *x*_{
n
} → *x*_{
λ
}_{,}_{
p
}, and this implies that (PSVQEP) is well-posed. This completes the proof.

Now we give a sufficient condition for the upper semicontinuity of the *ε*-solution mapping.

**Theorem 3.3**.

*Let X be a nonempty compact subset of E. Assume that*

- (i)
*K is continuous and close-valued on*Λ ×*X;* - (ii)
*C is u.s.c. on X*×*X;* - (iii)
*for any fixed*(*λ*,*x*) ∈ Λ ×*X, f is lower C*(*λ*,*x*)*continuous;* - (iv)
*for each λ*∈ Λ*and p*∈*P, S*(*λ*,*p*) ≠ ∅.

*Then*, Π *is u.s.c. on* Λ × *P* × *R*^{+}.

*Proof*. Let (*λ*_{0}, *p*_{0}, *ε*_{0}) ∈ Λ × *P* × *R*^{+} be any fixed point. Then, by (iv) and Lemma 3.2, Π(*λ*_{0}, *p*_{0}, *ε*_{0}) is nonempty and closed. Furthermore, Π(*λ*_{0}, *p*_{0}, *ε*_{0}) is nonempty and compact since Π(*λ*_{0}, *p*_{0}, *ε*_{0}) ⊆ *X* and *X* is compact. Let (*λ*_{
n
} , *p*_{
n
} , *ε*_{
n
} ) → (*λ*_{0}, *p*_{0}, *ε*_{0}) and *x*_{
n
} ∈ Π(*λ*_{
n
} , *p*_{
n
} , *ε*_{
n
} ). Observe that {*x*_{
n
} } ⊆ *X* and *X* is compact. We may assume that *x*_{
n
} → *x*_{0} for some *x*_{0} ∈ *X*. Then, by similar arguments as Lemma 3.2, we can show that *x*_{0} ∈ Π(*λ*_{0}, *p*_{0}, *ε*_{0}). This implies that Π is u.s.c. at (*λ*_{0}, *p*_{0}, *ε*_{0}). Then, by the arbitrary of (*λ*_{0}, *p*_{0}, *ε*_{0}), we know that Π is u.s.c. on Λ × *P* × *R*^{+}. This completes the proof.

Next, we give an example to illustrate Theorem 3.3.

**Example 3.1**. Let

*E*=

*R*,

*X*= [0, 2], Λ =

*P*= [0, 1] ⊆

*R*,

*Y*=

*R*

^{2}. Let

Then, it is easy to see that all the conditions of Theorem 3.3 are satisfied and so Π is u.s.c. on Λ × *P* × *R*^{+}. Indeed, by simple computation, we have Π(*λ*, *p*, *ε*) = [0, *p* + *ε*] ∩ [0, 2] for all (*λ*, *p*, *ε*) ∈ Λ × *P* × *R*^{+}. Thus, Π is u.s.c. on Λ × *P* × *R*^{+}.

### 3.2 Metric characterization of well-posedness for (PSVQEP)

In order to give metric characterizaton of well-posedness for (PSVQEP), we introduce the following notation.

*λ*,

*p*) ∈ Λ ×

*P*be given sequence. The approximating solution set of (PSVQEP)

_{^Jp}

_{,}

_{ p }is defined by, for each

*δ*≥ 0 and

*ε*≥ 0,

where *B*(*a*, *r*) denotes the closed ball centered at *a* with radius *r*.

*λ*,

*p*) ∈ Λ ×

*P*,

- (i)
Ω

_{^Jp}_{,}_{^Jp}(0, 0) = Π(*λ*,*p*, 0) =*S*(*λ*,*p*); - (ii)
*S*(*λ*,*p*) ⊆ Π(*λ*,*p*,*ε*) ⊆ Ω_{^Jp}_{,}_{^Jp}(*δ*,*ε*), ∀*δ*,*ε >*0; - (iii)
if 0 ≤

*δ*_{1}≤*δ*_{2}and 0 ≤*ε*_{1}≤*ε*_{2}, then Ω_{^Jp}_{,}_{^Jp}(*δ*_{1},*ε*_{1}) ⊆ Ω_{^Jp}_{,}_{^Jp}(*δ*_{2},*ε*_{2}).

**Lemma 3.3**. Assume that

- (i)
for each

*x*∈*X*,*K*(·,*x*) is continuous and close-valued; - (ii)
for each

*x*∈*X*,*C*(·,*x*) is u.s.c. and close-valued; - (iii)
for each

*x*∈*X*,*f*(·,*x*, ·) is continuous.

Then, for every (*λ*, *p*) ∈ Λ × *P*, $S\left(\lambda ,p\right)=\bigcap _{\delta >0,\epsilon >0}{\mathrm{\Omega}}_{\lambda ,p}\left(\delta ,\epsilon \right)$.

*λ*,

*p*) ∈ Λ ×

*P*be any given sequence. Clearly, $S\left(\lambda ,p\right)\subseteq \bigcap _{\delta >0,\epsilon >0}{\mathrm{\Omega}}_{\lambda ,p}\left(\delta ,\epsilon \right)$. Thus, we only need to show that $\bigcap _{\delta >0,\epsilon >0}{\mathrm{\Omega}}_{\lambda ,p}\left(\delta ,\epsilon \right)\subseteq S\left(\lambda ,p\right)$. Indeed, if $x\in \bigcap _{\delta >0,\epsilon >0}{\mathrm{\Omega}}_{\lambda ,p}\left(\delta ,\epsilon \right)$, then, for each

*δ*> 0, and

*ε >*0,

*x*∈ Ω

_{^Jp}

_{,}

_{^Jp}(

*δ*,

*ε*). Thus, for each

*n*∈

*N*, $x\in {\mathrm{\Omega}}_{\lambda ,p}\left(\frac{1}{n},\frac{1}{n}\right)$ and, so there exists (

*λ*

_{ n },

*p*

_{ n }) ∈ Λ ×

*P*with ${\lambda}_{n}\in B\left(\lambda ,\frac{1}{n}\right)$ and ${p}_{n}\in B\left(p,\frac{1}{n}\right)$ such that

*λ*

_{ n }→

*λ*and

*p*

_{ n }→

*p*as

*n*→ ∞. Since

*K*(·,

*x*) is u.s.c. and closed-valued,

*K*(·,

*x*) is closed and so

*x*∈

*K*(

*λ*,

*x*). For each

*y*∈

*K*(

*λ*,

*x*), since

*K*(·,

*x*) is l.s.c., there exists

*y*

_{ n }∈

*K*(

*λ*

_{ n },

*x*) such that

*y*

_{ n }→

*y*. Then, by (3.12), we have

*C*(·,

*x*) is u.s.c. and close-valued,

*C*(·,

*x*) is closed. Then, by the continuity of

*f*(·,

*x*, ·), we get

By the arbitrary of *y*, we know that *x* ∈ *S*(*λ*, *p*) and this implies that $\bigcap _{\delta >0,\epsilon >0}{\mathrm{\Omega}}_{\lambda ,p}\left(\delta ,\epsilon \right)\subseteq S\left(\lambda ,p\right)$. Therefore, $S\left(\lambda ,p\right)=\bigcap _{\delta >0,\epsilon >0}{\mathrm{\Omega}}_{\lambda ,p}\left(\delta ,\epsilon \right)$. This completes the proof.

**Lemma 3.4**. Assume that

- (i)
Λ and

*P*are finite dimensional; - (ii)
*K*is continuous and close-valued; - (iii)
*C*is u.s.c. and close-valued; - (iii)
*f*is continuous.

Then, for each *δ >* 0 and *ε >* 0, Ω_{^Jp}_{,}_{^Jp}(*δ*, *ε*) is closed.

*δ*≥ 0 and

*ε*≥ 0 be given. Let {

*x*

_{ n }} ⊆ Ω

_{^Jp}

_{,}

_{^Jp}(

*δ*,

*ε*) be any sequence such that

*x*

_{ n }→

*x*. Then, for each

*n*∈

*N*, there exist (

*λ*

_{ n },

*p*

_{ n }) ∈ Λ ×

*P*with

*λ*

_{ n }∈

*B*(

*λ*,

*δ*) and

*p*

_{ n }∈

*B*(

*p*,

*δ*) such that

*P*are finite dimensional, without loss of generality, we may assume that

*λ*

_{ n }→

*λ*

_{0}and

*p*

_{ n }→

*p*

_{0}for some

*λ*

_{0}∈ Λ and

*p*

_{0}∈

*P*. It follows that

*λ*

_{0}∈

*B*(

*λ*,

*δ*) and

*p*

_{0}∈

*B*(

*p*,

*δ*). Since

*K*is u.s.c. and close-valued,

*K*is closed and so

*x*∈

*K*(

*λ*,

*x*). For each

*y*∈

*K*(

*λ*,

*x*), since

*K*is l.s.c., there exists

*y*

_{ n }∈

*K*(

*λ*

_{ n },

*x*

_{ n }) such that

*y*

_{ n }→

*y*. Then, by (3.14), we have

*C*is u.s.c. and close-valued,

*C*is closed. Then, by the continuity of

*f*and

*e*, we get

Thus, *x* ∈ Ω_{^Jp}_{,}_{^Jp}(*δ*, *ε*), and so Ω_{^Jp}_{,}_{^Jp}(*δ*, *ε*) is closed. This completes the proof.

The following theorem shows that the well-posedness in the generalized sense for (PSVQEP) can be characterized by considering the noncompactness of approximating solution set.

**Theorem 3.4**.

*Let*Λ

*and P be finite dimensional. Assume that*

- (i)
*K is continuous and close-valued;* - (ii)
*C is continuous and close-valued;* - (iii)
*f is continuous*.

*Then, (PQSVEP) is well-posed in the generalized sense, if and only if for every*(

*λ*,

*p*) ∈ Λ ×

*P*

*Proof*. Suppose that (PSVQEP) is well-posed in the generalized sense. Then, for each (

*λ*,

*p*) ∈ Λ ×

*P*,

*S*(

*λ*,

*p*) is nonempty and compact. Clearly,

*S*(

*λ*,

*p*) ⊆ Ω

_{^Jp}

_{,}

_{^Jp}(

*δ*,

*ε*) for all

*δ*,

*ε >*0. It follows that Ω

_{^Jp}

_{,}

_{^Jp}(

*δ*,

*ε*)

*≠*∅ for all

*δ*,

*ε >*0. Now we shall show that

*δ*,

*ε >*0,

*S*(

*λ*,

*p*), we get

*h*(Ω

_{^Jp}

_{,}

_{^Jp}(

*δ*,

*ε*),

*S*(

*λ*,

*p*)) ↛ 0 as (

*δ*,

*ε*) → (0, 0), then there exist

*l >*0 and

*δ*

_{ n }

*>*0,

*ε*

_{ n }

*>*0 with

*δ*

_{ n }→ 0,

*ε*

_{ n }→ 0, and

*x*

_{ n }∈ Ω

_{^Jp}

_{,}

_{^Jp}(

*δ*

_{ n },

*ε*

_{ n }) such that

*x*

_{ n }∈ Ω

_{^Jp}

_{,}

_{^Jp}(

*δ*

_{ n },

*ε*

_{ n }), {

*x*

_{ n }} is an approximating sequence for (PSVQEP)

_{^Jp}

_{,}

_{^Jp}. By the well-posedness in the generalized sense of (PSVQEP), there exists a subsequence $\left\{{x}_{{n}_{k}}\right\}$ of {

*x*

_{ n }} converging to some point of

*S*(

*λ*,

*p*). This contradicts (3.16) and so

*λ*,

*p*) ∈ Λ ×

*P*, by Lemma 3.4, Ω

_{^Jp}

_{,}

_{^Jp}(

*δ*,

*ε*) is closed for all

*δ*,

*ε >*0. By Lemma 3.3, we have $S\left(\lambda ,p\right)=\bigcap _{\delta >0,\epsilon >0}{\mathrm{\Omega}}_{\lambda ,p}\left(\delta ,\epsilon \right)$. Since

*S*(

*λ*,

*p*) is nonempty, compact, and

*λ*

_{ n },

*p*

_{ n }) → (

*λ*,

*p*) ∈ Λ ×

*P*and {

*x*

_{ n }} ⊆

*X*be an approximating sequence for (PSVQEP)

_{^Jp}

_{,}

_{ p }corresponding to {(

*λ*

_{ n },

*p*

_{ n })}. Then there exist

*ε*

_{ n }

*>*0 with

*ε*

_{ n }→ 0 such that, for each

*n*∈

*N*,

*n*∈

*N*, let

*δ*

_{ n }= max{

*d*(

*λ*

_{ n },

*λ*),

*d*(

*p*

_{ n },

*p*)}. Then

*δ*

_{ n }→ 0 and

*x*

_{ n }∈ Ω

_{^Jp}

_{,}

_{^Jp}(

*δ*

_{ n },

*ε*

_{ n }). It follows from (3.17) that

*S*(

*λ*,

*p*) is compact, there exists ${\stackrel{\u0304}{x}}_{n}\in S\left(\lambda ,p\right)$ such that

Again from the compactness of *S*(*λ*, *p*), $\left\{{\stackrel{\u0304}{x}}_{n}\right\}$ has a subsequence $\left\{{\stackrel{\u0304}{x}}_{{n}_{k}}\right\}$ converging to $\stackrel{\u0304}{x}\in S\left(\lambda ,p\right)$. Hence, the corresponding subsequence $\left\{{x}_{{n}_{k}}\right\}$ of {*x*_{
n
} } converges to $\stackrel{\u0304}{x}$. Therefore, (PSVQEP) is well-posed in the generalized sense. This completes the proof.

**Example 3.2**. Let

*E*,

*X*, Λ,

*P*,

*Y*,

*e*,

*K*,

*C*, and

*f*be the same as in Example 3.1. Then, it is easy to see that the conditions (i)

*-*(iii) of Theorem 3.4 are satisfied. Moreover, by simple computation, we have, for each (

*λ*,

*p*) ∈ Λ ×

*P*and each

*δ*,

*ε*≥ 0 and each

*λ*' ∈ [

*λ*-

*δ*,

*λ*+

*δ*] ∩ Λ and each

*p*' ∈ [

*p*-

*δ*,

*p*+

*δ*] ∩

*P*,

Thus, Ω_{^Jp}_{,}_{^Jp}(*δ*, *ε*) ≠ ∅ for all *δ*, *ε >* 0 and *μ*(Ω_{^Jp}_{,}_{^Jp}(*δ*, *ε*)) → 0 as (*δ*, *ε*) → (0, 0). By Theorem 3.4, (PSVQEP) is well-posed in the generalized sense.

Indeed, by simple computation, we have *S*(*λ*, *p*) = [0, *p*] for all (*λ*, *p*) ∈ Λ × *P*. Suppose that {(*λ*_{
n
} , *p*_{
n
} )} ⊆ Λ × *P* with (*λ*_{
n
} , *p*_{
n
} ) → (*λ*, *p*) and {*x*_{
n
} } is an approximating sequence for (PSVQEP)_{^Jp}_{,}_{
p
} corresponding to {(*λ*_{
n
} , *p*_{
n
} )}. Then there exists {*ε*_{
n
} } ⊆ *R*^{+} with *ε*_{
n
} → 0 such that *x*_{
n
} ∈ Π(*λ*_{
n
} , *p*_{
n
} , *ε*_{
n
} ), i.e., *x*_{
n
} ∈ [0, *p*_{
n
} + *ε*_{
n
} ] ∩ [0, 2]. Since *p*_{
n
} → *p* ∈ *P* = [0, 1] and *ε*_{
n
} → 0, there exists *n*_{0} ∈ *N* such that, for each *n* ≥ *n*_{0}, *p*_{
n
} + *ε*_{
n
} *<* 2, and so *x*_{
n
} ∈ [0, *p*_{
n
} + *ε*_{
n
} ]. Since {*x*_{
n
} } is bounded, it has a subsequence which converges to some point of [0, *p*] = *S*(*λ*, *p*). Therefore, (PSVQEP) is well-posed in the generalized sense.

## 4 Applications

Since vector quasi-equilibrium problems contain vector quasi-variational inequality problems, vector quasi-optimization problems, and vector quasi-saddle point problems as special cases, we can derive from the result in Section 3, some consequences for such special cases. In this section, we discuss only some applications of our results to strong vector quasi-variational inequality problems and strong vector quasi-optimization problems.

Let *X* and *Y* be two real Banach spaces and *C* be a closed convex cone in *Y*. Let *L*(*X*, *Y*) be the set of all the continuous linear operators from *X* into *Y*. Let *e* ∈ *C* be a fixed point.

### 4.1 Strong vector quasi-variational inequality problems

*F*:

*X*→ 2

^{ X }be a set-valued mapping and

*G*:

*X*→

*L*(

*X*,

*Y*) a vector-valued mapping. We consider the following strong vector quasi-variational inequality problem (for short, SVQVIP): find

*x*∈

*X*such that

*S*the set of solutions for (SVQVIP). For each

*ε*≥ 0, we denote by Π(

*ε*) the

*ε*-solution set of (SVQVIP), i.e.,

Let *f*(*x*, *y*) = 〈*Gx*, *y* - *x*〉. We can obtain the following results for (SVQVIP).

**Theorem 4.1**. *(SVQVIP) is well-posed in the generalized sense, if and only if S is a nonempty compact subset of X and* Π *is u.s.c. at* 0.

**Theorem 4.2**. *(SVQVIP) is well-posed, if and only if S has a unique point and* Π *is u.s.c. at* 0.

### 4.2 Strong vector quasi-optimization problems

*F*:

*X*→ 2

^{ X }be a set-valued mapping and

*φ*:

*X*→

*Y*be a vector-valued mapping. We consider the following strong vector quasi-optimization problem (for short, SVQOP):

*x*

_{0}∈

*X*is called a strongly efficient solution of (SVQOP), if

*S*the set of all strongly efficient solutions for (SVQOP). For each

*ε*≥ 0, we denote by Π(

*ε*) the

*ε*-strongly efficient solution set of (SVQOP) as follows:

Let *f*(*x*, *y*) = *φ*(*y*) *- φ*(*x*). We can obtain the following results for (SVQOP).

**Theorem 4.3**. *(SVQOP) is well-posed in the generalized sense, if and only if S is a nonempty compact subset of X and* Π *is u.s.c. at* 0.

**Theorem 4.4**. *(SVQOP) is well-posed, if and only if S has a unique point and* Π *is u.s.c. at* 0.

## Declarations

### Acknowledgements

This study was supported by the National Natural Science Foundation of China (11061023, 11071108), the Natural Science Foundation of Jiangxi Province (2010GZS0145, 2010GZS0151), the Youth Foundation of Jiangxi Educational Committee (GJJ10086) and the Scientific Research Fund Project of College of Science and Technology of Nanchang University (ZL-2010-01).

## Authors’ Affiliations

## References

- Blum E, Oettli W:
**From optimization and variational inequalities to equilibrium problems.***Math Student*1994,**63:**123–145.MathSciNetGoogle Scholar - Chen GY, Huang XX, Yang XQ:
*Vector optimization: set-valued and variational analysis.*Springer, Berlin, Heidelberg; 2005.Google Scholar - Giannessi F, (Ed):
*Vector variational inequalities and vector equilibria: mathematical theories.*Kluwer Academic Publishers, Dordrecht; 2000.View ArticleGoogle Scholar - Tykhonov AN:
**On the stability of the functional optimization problems.***USSR J Comput Math Math Phys*1966,**6**(4):28–33. 10.1016/0041-5553(66)90003-6View ArticleGoogle Scholar - Levitin ES, Polyak BT:
**Convergence of minimizing sequences in conditional extremum problem.***Soviet Math Dokl*1966,**7:**764–767.Google Scholar - Bednarczuck E, Penot JP:
**Metrically well-set minimization problems.***Appl Math Optim*1992,**26:**273–285. 10.1007/BF01371085MathSciNetView ArticleGoogle Scholar - Crespi GP, Guerraggio A, Rocca M:
**Well posedness in vector optimization problems and vector variational inequalities.***J Optim Theory Appl*2007,**132:**213–226. 10.1007/s10957-006-9144-2MathSciNetView ArticleGoogle Scholar - Dontchev AL, Zolezzi T:
*Well-posed optimization problems, Lecture notes in mathematics.**Volume 1543*. Springer, Berlin; 1993.Google Scholar - Huang XX, Yang XQ:
**Generalized Levitin-Polyak well-posedness in constrained optimization.***SIAM J Optim*2006,**17:**243–258. 10.1137/040614943MathSciNetView ArticleGoogle Scholar - Miglierina E, Molho E, Rocca M:
**Well-posedness and scalarization in vector optimization.***J Optim Theory Appl*2005,**126:**391–409. 10.1007/s10957-005-4723-1MathSciNetView ArticleGoogle Scholar - Revalski JP:
**Hadamard and strong well-posedness for convex programs.***SIAM J Optim*1997,**7:**519–526. 10.1137/S1052623495286776MathSciNetView ArticleGoogle Scholar - Zolezzi T:
**Well-posedness criteria in optimization with application to the calculus of variations.***Nonlinear Anal*1995,**25:**437–453. 10.1016/0362-546X(94)00142-5MathSciNetView ArticleGoogle Scholar - Zolezzi T:
**Extended well-posedness of optimization problems.***J Optim Theory Appl*1996,**91:**257–266. 10.1007/BF02192292MathSciNetView ArticleGoogle Scholar - Ceng LC, Hadjisavvas N, Schaible S, Yao JC:
**Well-posedness for mixed quasivariational-like inequalities.***J Optim Theory Appl*2008,**139:**109–125. 10.1007/s10957-008-9428-9MathSciNetView ArticleGoogle Scholar - Fang YP, Hu R:
**Parametric well-posedness for variational inequalities defined by bifunctions.***Comput Math Appl*2007,**53:**1306–1316. 10.1016/j.camwa.2006.09.009MathSciNetView ArticleGoogle Scholar - Lignola MB, Morgan J:
**Approximating solutions and**α**-well-posedness for variational inequalities and Nash equilibria.**In*Decision and Control in Management Science*. Kluwer Academic Publishers, Dordrecht; 2002:367–378.View ArticleGoogle Scholar - Lignola MB:
**Well-posedness and L-well-posedness for quasivariational inequalities.***J Optim Theory Appl*2006,**128**(1):119–138. 10.1007/s10957-005-7561-2MathSciNetView ArticleGoogle Scholar - Lucchetti R, Patrone F:
**A characterization of Tyhonov well-posedness for minimum problems, with applications to variational inequalities.***Numer Funct Anal Optim*1981,**3**(4):461–476. 10.1080/01630568108816100MathSciNetView ArticleGoogle Scholar - Cavazzuti E, Morgan J:
**Well-posed saddle point problems.**In*Optimization, Theory and Algorithms*. Edited by: Hirriart-Urruty JB, Oettli W, Stoer J. Marcel Dekker, New York; 1983:61–76.Google Scholar - Lucchetti R, Revalski J, (Eds):
*Recent Developments in Well-Posed Variational Problems.*Kluwer Academic Publishers, Dordrecht; 1995.View ArticleGoogle Scholar - Margiocco M, Patrone F, Pusillo L:
**A new approach to Tykhonov well-posedness for Nash equilibria.***Optimization*1997,**40**(4):385–400. 10.1080/02331939708844321MathSciNetView ArticleGoogle Scholar - Margiocco M, Patrone F, Pusillo L:
**On the Tykhonov well-posedness of concave games and Cournot oligopoly games.***J Optim Theory Appl*2002,**112**(2):361–379. 10.1023/A:1013658023971MathSciNetView ArticleGoogle Scholar - Morgan J:
**Approximations and well-posedness in multicriteria games.***Ann Oper Res*2005,**137:**257–268. 10.1007/s10479-005-2260-9MathSciNetView ArticleGoogle Scholar - Lemaire B:
**Well-posedness, conditioning, and regularization of minimization, inclusion, and fixed point problems.***Pliska Stud Math Bulgar*1998,**12:**71–84.MathSciNetGoogle Scholar - Lemaire B, Ould Ahmed Salem C, Revalski JP:
**Well-posedness by perturbations of variational problems.***J Optim Theory Appl*2002,**115**(2):345–368. 10.1023/A:1020840322436MathSciNetView ArticleGoogle Scholar - Yang H, Yu J:
**Unified approaches to well-posedness with some applications.***J Global Optim*2005,**31:**371–381. 10.1007/s10898-004-4275-1MathSciNetView ArticleGoogle Scholar - Fang YP, Hu R, Huang NJ:
**Well-posedness for equilibrium problems and for optimization problems with equilibrium constraints.***Comput Math Appl*2008,**55:**89–100. 10.1016/j.camwa.2007.03.019MathSciNetView ArticleGoogle Scholar - Hu R, Fang YP:
**Levitin-Poylak well-posedness of variational inequalities.***Nonlinear Anal*2010,**72:**373–381. 10.1016/j.na.2009.06.071MathSciNetView ArticleGoogle Scholar - Bianchia M, Kassay G, Pini R:
**Well-posedness for vector equilibrium problems.***Math Meth Oper Res*2009,**70:**171–182. 10.1007/s00186-008-0239-4View ArticleGoogle Scholar - Bianchia M, Kassay G, Pini R:
**Well-posed equilibrium problems.***Nonlinear Anal*2010,**72:**460–468. 10.1016/j.na.2009.06.081MathSciNetView ArticleGoogle Scholar - Long XJ, Huang NJ, Teo KL:
**Levitin-Polyak well-posedness for equilibrium problems with functional constraints.***J Inequal Appl*2008. Article ID 657329, 14 pagesGoogle Scholar - Kimura K, Liou YC, Wu SY, Yao JC:
**Well-posedness for parametric vector equilibtium problems with applications.***J Indust Manag Optim*2008,**4**(2):313–327.MathSciNetView ArticleGoogle Scholar - Huang NJ, Long XJ, Zhao CW:
**Well-posedness for vector quasi-equilibrium problems with applications.***J Indust Manag Optim*2009,**5**(2):341–349.MathSciNetView ArticleGoogle Scholar - Li MH, Li SJ, Zhang WY:
**Levitin-Polyak well-posedness of generalized vector quasi-equilibrium problems.***J Indust Manag Optim*2009,**5**(4):683–696.View ArticleGoogle Scholar - Long XJ, Huang NJ:
**Metric characterizations of**α**-well-posedness for symmetric quasi-equilibrium problems.***J Global Optim*2009,**45:**459–471. 10.1007/s10898-008-9385-8MathSciNetView ArticleGoogle Scholar - Gong XH:
**Strong vector equilibrium problems.***J Global Optim*2006,**36:**339–349. 10.1007/s10898-006-9012-5MathSciNetView ArticleGoogle Scholar - Aubin JP, Ekeland I:
*Applied nonlinear analysis.*Wiley, New York; 1984.Google Scholar - Kuratowski K:
*Topology.**Volume 1 and 2*. Academic Press, New York; 1968.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.