# Continuity of solutions for parametric generalized quasi-variational relation problems

- Nguyen Van Hung
^{1}Email author

**2012**:102

https://doi.org/10.1186/1687-1812-2012-102

© Van Hung; licensee Springer. 2012

**Received: **1 January 2012

**Accepted: **21 June 2012

**Published: **21 June 2012

## Abstract

In this article, we establish sufficient conditions for the solution sets of parametric generalized quasi-variational relation problems with the stability properties such as the upper semicontinuity, lower semi-continuity, the Hausdorff lower semicontinuity, continuity, Hausdorff continuity, and closedness. Our results improve recent existing ones in the literature.

**Mathematics Subject Classification 2010**: 90C31; 49J53; 49J40; 49J45.

## Keywords

## Introduction and preliminaries

Let *X*, *Y* be Hausdorff topological vector spaces and Λ, Γ, *M* be topological spaces. Let *A* ⊆ *X* and *B* ⊆ *Y* be nonempty sets. Let *K*_{1}: *A* × Λ → 2 ^{
A
} , *K*_{2}: *A* *×* Λ → 2 ^{
A
} , *T* : *A* *×* *A* *×* Γ → 2 ^{
B
} be multifunctions and *R*(*x*, *t*, *y*, *μ*) be a relation linking *x* ∈ *A*, *t* ∈ *B*, *y* ∈ *A* and *μ* ∈ *M*.

*U*and

*V*under consideration we adopt the notations

Let *α* ∈ {w, m, s}, $\stackrel{\u0304}{\alpha}\phantom{\rule{0.3em}{0ex}}\in \phantom{\rule{0.3em}{0ex}}\left\{\stackrel{\u0304}{w},\phantom{\rule{0.3em}{0ex}}\stackrel{\u0304}{m},\phantom{\rule{0.3em}{0ex}}\stackrel{\u0304}{s}\right\},$*ρ* ∈ {*ρ*_{1}, *ρ*_{2}}, and $\stackrel{\u0304}{\rho}\phantom{\rule{0.3em}{0ex}}\in \phantom{\rule{0.3em}{0ex}}\left\{{\stackrel{\u0304}{\rho}}_{1},\phantom{\rule{0.3em}{0ex}}{\stackrel{\u0304}{\rho}}_{2}\right\}$. We consider the following for parametric generalized quasi-variational relation problem (in short, (QVR_{α})):

**(QVR**

_{α}

**)**: Find $\stackrel{\u0304}{x}\phantom{\rule{0.3em}{0ex}}\in \phantom{\rule{0.3em}{0ex}}{K}_{1}\left(\stackrel{\u0304}{x},\phantom{\rule{0.3em}{0ex}}\lambda \right)$ such that $\left(y,t\right)\alpha {K}_{2}\left(\stackrel{\u0304}{x},\lambda \right)\times T\left(\stackrel{\u0304}{x},y,\gamma \right)$ satisfying

For each *λ* ∈ Λ, *γ* ∈ Γ, *μ* ∈ *M*, we let *E*(*λ*) := {*x* ∈ *A*|*x* ∈ *K*_{1}(*x*, *λ*)} and let *S*_{
α
} : Λ × Γ × *M* → 2 ^{
A
} be a set-valued mapping such that *S*_{
α
} (*λ*, *γ*, *μ*) is the solution set of (QVR_{α}).

Throughout the article, we assume that *S*_{
α
} (*λ*, *γ*, *μ*) ≠ ∅ for each (*λ*, *γ*, *μ*) in the neighborhoods (*λ*_{0}, *γ*_{0}, *μ*_{0}) ∈ Λ × Γ × *M*.

- (a)
The parametric variational relation problem (VR):

Let *A*, *B*, *X*, *Y*, *M* = Γ = Λ, *K*_{1}, *K*_{2}, *T*, *α* = *s* as in (QVR_{α}). Then, (QVR_{α}) becomes (VR) is studied in [3]:

- (b)
The parametric generalized quasi-variational inclusion problem (QGVIP

_{α}):

*A*,

*B*,

*X*,

*Y*,

*M*, Γ, Λ,

*K*

_{1},

*K*

_{2},

*T*as in (QVR

_{α}) and let

*Z*be a Hausdorff topological vector space. Given a mapping

*F*:

*A*×

*B*×

*A*×

*M*→ 2

^{ Z }, the relation

*R*is defined as follows

Then, (QVR_{α}) becomes (QGVIP_{α})

- (c)
The parametric quasi-variational inclusion problem (P

_{αρ}):

*A*,

*B*,

*X*,

*Y*,

*M*, Γ, Λ,

*K*

_{1},

*K*

_{2},

*T*,

*R*as in (QVR

_{α}) and let

*Z*be a Hausdorff topological vector space. Let

*F*:

*A*×

*B*×

*A*×

*M*→ 2

^{ Z }and

*G*:

*A*×

*B*×

*A*×

*M*→ 2

^{ Z }be multivalued mappings. The relation

*R*is defined as follows

Then, (QVR_{α}) becomes (P_{αρ}) is studied in [1, 2]:

- (d)
The parametric vector quasi-equilibrium problems:

*A*,

*X*,

*M*, Γ, Λ,

*K*

_{1}

*≡*

*K*

_{2}

*≡*

*K*,

*T*as in (QVR

_{α}) and let

*Y*be a Hausdorff topological vector space. Given a mapping

*F*:

*A*×

*A*×

*M*→ 2

^{ Y }and

*C*⊆

*Y*be a closed subset with nonempty interior, the relation

*R*is defined as follows

_{α}) becomes the parametric vector quasi-equilibrium problems is studied in [4]. Find $\stackrel{\u0304}{x}\in \mathsf{\text{clK}}\left(\stackrel{\u0304}{\mathsf{\text{x}}},\lambda \right)$ such that $\left(y,t\right)\alpha K\left(\stackrel{\u0304}{x},\lambda \right)\times T\left(\stackrel{\u0304}{x},y,\gamma \right)$ satisfying

- (e)
The parametric multivalued vector quasi-equilibrium problems:

*A*=

*B*,

*X*=

*Y*,

*M*= Γ, Λ,

*K*

_{1}= clK, K

_{2}= K, T = {t} as in (QVR

_{α}) and let

*Z*be a Hausdorff topological vector space. Given a mapping

*F*:

*A*×

*A*×

*M*→ 2

^{ Z }and

*C*⊆

*Z*be a closed subset with nonempty interior, the relation

*R*is defined as follows

_{α}) becomes the parametric multivalued vector quasi-equilibrium problems is studied in [5]. Find $\stackrel{\u0304}{x}\in \mathsf{\text{clK}}\left(\stackrel{\u0304}{\mathsf{\text{x}}},\lambda \right)$ such that

- (f)
The parametric generalized vector quasi-equilibrium problems (QEP

_{αρ}):

*A*,

*B*,

*X*,

*Y*,

*M*, Γ, Λ,

*K*

_{1},

*K*

_{2},

*T*as in (QVR

_{α}) and let

*Z*be a Hausdorff topological vector space. Given a mapping

*F*:

*A*×

*B*×

*A*×

*M*→ 2

^{ Z }and

*C*⊆

*Z*be a closed subset with nonempty interior, the relation

*R*is defined as follows

Then, (QVR_{α}) becomes (QEP_{αρ})

Stability properties of solution sets for parametric generalized quasi-variational relation problem is an important topic in optimization theory and applications. Recently, the continuity, especially the upper semicontinuity, the lower semicontinuity and the Hausdorff lower semicontinuity of the solution sets have been investigated in models as equilibrium problems [1, 2, 4–13], variational inequality problems [14–19], and the references therein.

The structure of this article is as follows. In the remaining part of this section, we recall definitions for later uses. Section "Main results" is devoted to the upper semicontinuity, the lower semicontinuity, and the Hausdorff lower semicontinuity of solutions for problem (QVR_{α}). Applications to the parametric vector quasi-equilibrium problem are presented in Section "Applications".

Now we recall some notions see [5, 6, 20, 21]. Let *X* and *Y* be as above and *G* : *X* → 2 ^{
Y
} be a multifunction. *G* is said to be lower semicontinuous (lsc) at *x*_{0} if *G*(*x*_{0}) *∩ U* ≠ ∅ for some open set *U* ⊆ *Y* implies the existence of a neighborhood *N* of *x*_{0} such that, for all *x* ∈ *N*, *G*(*x*) *∩ U* ≠ ∅. An equivalent formulation is that: *G* is lsc at *x*_{0} if $\forall {x}_{\alpha}\to {x}_{0},\forall {z}_{0}\in G\left({x}_{0}\right),\exists {z}_{\alpha}\in G\left({x}_{\alpha}\right),{z}_{\alpha}\to {z}_{0}$. *G* is called upper semicontinuous (usc) at *x*_{0} if for each open set *U* ⊇ *G*(*x*_{0}), there is a neighborhood *N* of *x*_{0} such that *U* ⊇ *G*(*x*), for all *x* ∈ *N. G* is said to be Hausdorff upper semicontinuous (H-usc in short; Hausdorff lower semicontinuous, H-lsc, respectively) at *x*_{0} if for each neighborhood *B* of the origin in *Y*, there exists a neighborhood *N* of *x*_{0} such that, *G*(*x*) ⊆ *G*(*x*_{0}) + *B*, ∀*x* ∈ *N* (*G*(*x*_{0}) ⊆ *G*(*x*) + *B*, ∀*x* ∈ *N*). *G* is said to be continuous at *x*_{0} if it is both lsc and usc at *x*_{0} and to be H-continuous at *x*_{0} if it is both H-lsc and H-usc at *x*_{0}. *G* is called closed at *x*_{0} if for each net {(*x*_{
α
} , *z*_{
α
} )} graph*G* := {(*x*, *z*) *|* *z* ∈ *G*(*x*)}, (*x*_{
α
} , *z*_{
α
} ) → (*x*_{0}, *z*_{0}), *z*_{0} must belong to *G*(*x*_{0}). We say that *G* satisfies a certain property in a subset *A* ⊆ *X* if *G* satisfies it at every points of *A*. If *A* = *X* we omit "in *X*" in the statement.

*A*and

*Y*be as above and

*G*:

*A*→ 2

^{ Y }be a multifunction.

- (i)
If

*G*is usc at*x*_{0}, then*G*is*H*-usc at*x*_{0}. Conversely if*G*is*H*-usc at*x*_{0}and if*G*(*x*_{0}) is compact, then*G*is usc at*x*_{0}; - (ii)
If

*G*is H-lsc at*x*_{0}, then*G*is lsc at*x*_{0}. The converse is true if*G*(*x*_{0}) is compact; - (iii)
If

*Y*is compact and*G*is closed at*x*_{0}, then*G*is usc at*x*_{0}; - (iv)
If

*G*is usc at*x*_{0}and*G*(*x*_{0}) is closed, then*G*is closed at*x*_{0}; - (v)
If

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

*A*,

*B*,

*X*,

*Y*,

*M*, Γ, Λ,

*R*as in (QVR

_{α}), we use the following notations for level sets of

*R*

## Main results

In this section, we discuss the upper semicontinuity, the lower semicontinuity, the Hausdorff lower semicontinuity, continuity, and H-continuity of solution sets for parametric quasi-variational relation problem (QVR_{α}).

**Theorem 1** *Assume for problem* (QVR_{α}) *that*

*(i) E is usc at λ*_{0}*and E*(*λ*_{0}) *is compact, and K*_{2}*is lsc in K*_{1}(*A*, Λ) × {*λ*_{0}};

*(ii) in K*_{1}(*A*, Λ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ) × {*γ*_{0}}, *T is usc and compact-valued if α* = *w (or α* = *m)*, *and lsc if α* = *s*;

*(iii) in K*_{1}(*A*, Λ) × *T*(*K*_{1}(*A*, Λ), *K*_{2}(*K*_{1}(*A*, Λ), Λ), Γ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ) × {*μ*_{0}}, *lev*_{
upper
}*R is closed*.

*Then S*_{
α
} *is both usc and closed at* (*λ*_{0}, *γ*_{0}, *μ*_{0}).

**Proof**. Since

*α*= {

*w*,

*m*,

*s*}, we have in fact three cases. However, the proof techniques are similar. We consider only the cases

*α*=

*w*. We first prove that

*S*

_{ w }is upper semicontinuous at (

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}). Indeed, we suppose to the contrary that

*S*

_{ w }is not upper semicontinuous at (

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}), i.e., there is an open subset

*U*of

*S*

_{ w }(

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}) such that for all nets {(

*λ*

_{ n },

*γ*

_{ n },

*μ*

_{ n })} convergent to (

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}), there exists

*x*

_{ n }∈

*S*

_{ w }(

*λ*

_{ n },

*γ*

_{ n },

*μ*

_{ n }),

*x*

_{ n }∉

*U*, ∀

*n*. By the upper semicontinuity of

*E*and the compactness of

*E*(

*λ*

_{0}), one can assume that

*x*

_{ n }→

*x*

_{0}for some

*x*

_{0}∈

*E*(

*λ*

_{0}). If

*x*

_{0}∉

*S*

_{ w }(

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}), then ∃

*y*

_{0}∈

*K*

_{2}(

*x*

_{0},

*λ*

_{0}), ∀

*t*

_{0}∈

*T*(

*x*

_{0},

*y*

_{0},

*γ*

_{0}) such that

*K*

_{2}at (

*x*

_{0},

*λ*

_{0}), there exists

*y*

_{ n }∈

*K*

_{2}(

*x*

_{ n },

*λ*

_{ n }) such that

*y*

_{ n }→

*y*

_{0}. Since

*x*

_{ n }∈

*S*

_{ w }(

*λ*

_{ n, }

*γ*

_{ n },

*μ*

_{ n }), ∃

*t*

_{ n }∈

*T*(

*x*

_{ n },

*y*

_{ n },

*γ*

_{ n }) such that

*T*is usc at (

*x*

_{0},

*y*

_{0},

*γ*

_{0}) and

*T*(

*x*

_{0},

*y*

_{0},

*γ*

_{0}) is compact, there exists

*t*

_{0}∈

*T*(

*x*

_{0},

*y*

_{0},

*γ*

_{0}) such that

*t*

_{ n }→

*t*

_{0}(can take a subnet if necessary). By the condition (iii) and (2), we have

we see a contradiction between (1) and (3). Thus, *x*_{0} ∈ *S*_{
w
} (λ_{0}, *γ*_{0}, *μ*_{0}) ⊆ *U*, this contradicts to the fact *x*_{
n
} ∉ *U*, ∀*n*. Hence, *S*_{
w
} is upper semicontinuous at (*λ*_{0}, *γ*_{0}, *μ*_{0}).

Now we prove that *S*_{
w
} is closed at (*λ*_{0}, *γ*_{0}, *μ*_{0}). Indeed, we supposed that *S*_{
w
} is not closed at (*λ*_{0}, *γ*_{0}, *μ*_{0}), i.e., there is a net {(*x*_{
n
} , *λ*_{
n
} , *γ*_{
n
} , *μ*_{
n
} )} → (*x*_{0}, *λ*_{0}, *γ*_{0}, *μ*_{0}) with *x*_{
n
} ∈ *S*_{
w
} (*λ*_{
n
} , *γ*_{
n
} , *μ*_{
n
} ) but *x*_{0} ∉ *S*_{
w
} (*λ*_{0}, *γ*_{0}, *μ*_{0}). The further argument is the same as above. And so we have *S*_{
w
} is closed at (*λ*_{0}, *γ*_{0}, *μ*_{0}). □

The following example shows that the upper semicontinuity and the compactness of *E* are essential.

**Example 2** Let *A* = *B* = *X* = *Y* = ℝ, Λ = Γ = *M* = [0, 1], *λ*_{0} = 0, *F*(*x*, *t*, *y*, *λ*) = 2^{λ+1}, *K*_{1}(*x*, *λ*) = (*−λ −* 1, *λ*], *K*_{2}(*x*, *λ*) = {-1} and $T\left(x,\phantom{\rule{0.3em}{0ex}}y,\phantom{\rule{0.3em}{0ex}}\lambda \right)\phantom{\rule{0.3em}{0ex}}=\phantom{\rule{0.3em}{0ex}}\left[0,\phantom{\rule{0.3em}{0ex}}{e}^{{2}^{\lambda}+\text{cos}\lambda}\right]$. We let relation *R* be defined by *R*(*x*, *t*, *y*, λ) holds iff *F* (*x*, *t*, *y*, *λ*) ⊆ ℝ_{+}. Then, we have *E*(0) = (-1, 0] and *E*(*λ*) = (*−λ −* 1, *λ*], ∀*λ* ∈ (0, 1]. We show that *K*_{2} is lsc and assumptions (ii) and (iii) of Theorem 1 are fulfilled. But *S*_{
α
} is neither usc nor closed at (0, 0, 0). The reason is that *E* is not usc at 0 and *E*(0) is not compact. In fact, *S*_{
α
} (0, 0, 0) = (-1, 0] and *S*_{
α
} (*λ*, *γ*, *μ*) = (*−λ −* 1, *λ*], ∀*λ* ∈ (0, 1].

The following example shows that the lower semicontinuity of *K*_{2} is essential.

**Example 3**Let

*X*,

*Y*, Λ, Γ,

*M*,

*λ*

_{0}as in Example 2 and let

*A*=

*B*= [-3, 3],

*F*(

*x*,

*t*,

*y*,

*λ*) =

*x*+

*y*+

*λ*,

*K*

_{1}(

*x*,

*λ*) = [0, 3],

*T*(

*x*,

*y*,

*λ*) = {

*t*}. Let relation

*R*be defined by

*R*(

*x*,

*t*,

*y*,

*λ*) holds iff

*F*(

*x*,

*t*,

*y*,

*λ*) ⊆ ℝ

_{+}and

*E*(

*λ*) = [0, 3], ∀

*λ*∈ [0, 1]. Hence

*E*is usc at 0 and

*E*(0) is compact and the conditions (ii) and (iii) of Theorem 1 are easily seen to be fulfilled. But

*S*

_{ α }is not upper semicontinuous at (0, 0, 0). The reason is that

*K*

_{2}is not lower semicontinuous. In fact,

The following example shows that the condition (iii) of Theorem 1 is essential.

**Example 4**Let Λ, Γ,

*M*,

*T*,

*λ*

_{0}as in Example 3 and let

*X*=

*Y*=

*A*=

*B*= [0, 1]. Let relation

*R*be defined by

*R*(

*x*,

*t*,

*y*,

*λ*) holds iff

*F*(

*x*,

*t*,

*y*,

*λ*) ⊆ ℝ

_{+},

*K*

_{1}(

*x*,

*λ*) =

*K*

_{2}(

*x*,

*λ*) = [0, 1] and $F\left(x,t,y,0\right)=\phantom{\rule{0.3em}{0ex}}\frac{x}{2}-\phantom{\rule{0.3em}{0ex}}\frac{y}{2}$, $F\left(x,t,y,\lambda \right)=\phantom{\rule{0.3em}{0ex}}\frac{y}{2}-\phantom{\rule{0.3em}{0ex}}\frac{x}{3}$, $\forall \lambda \in \left(0,1\right]$. We show that the assumptions (i) and (ii) of Theorem 1 are easily seen to be fulfilled and

But *S*_{
α
} is not usc at (0, 0, 0). The reason is that assumption (iii) is violated. Indeed, taking *x*_{
n
} = 0, *t*_{
n
} = 0, ${y}_{n}=\phantom{\rule{0.3em}{0ex}}\frac{1}{2}$, ${\lambda}_{n}=\phantom{\rule{0.3em}{0ex}}\frac{1}{n}\to 0$ as *n* → ∞, then $\left\{\left({x}_{n},{t}_{n},{y}_{n},{\lambda}_{n}\right)\right\}\to \left(0,0,\frac{1}{2},0\right)$ and $F\left({x}_{n},{t}_{n},{y}_{n},{\lambda}_{n}\right)=F\left(0,0,\frac{1}{2},\phantom{\rule{0.3em}{0ex}}\frac{1}{n}\right)=\phantom{\rule{0.3em}{0ex}}\frac{1}{4}>0$, but $F\left(0,0,\phantom{\rule{0.3em}{0ex}}\frac{1}{2},0\right)=-\frac{1}{4}<0$.

The following example shows that all assumptions of Theorem 1 are fulfilled. But Theorem 3.2 in [5] cannot be applied.

**Example 5**Let

*A*,

*B*,

*X*,

*Y*, Λ, Γ,

*M*,

*λ*

_{0}as in Example 2 and let K

_{1}(

*x*,

*λ*) = K

_{2}(

*x*,

*λ*) = [0, 1], $T\left(x,y,\gamma \right)=[0,{2}^{{\text{cos}}^{6}x+{\text{sin}}^{4}x+2}]$ and

*R*be defined by

*R*(

*x*,

*t*,

*y*,

*λ*) holds iff

*F*(

*x*,

*t*,

*y*,

*λ*) ⊆ ℝ

_{+}. We show that the assumptions (i), (ii), and (iii) of Theorem 1 are easily seen to be fulfilled and

Hence, *S*_{
α
} is usc at (0, 0, 0). But Theorem 3.2 in [5] cannot be applied. The reason is that *F* is not usc at (*x*, *t*, *y*, 0).

The following example shows that all assumptions of Theorem 1 are fulfilled. But Theorem 3.4 in [5] cannot be applied.

**Example 6**Let

*A*,

*B*,

*X*,

*Y*, Λ, Γ,

*M*,

*λ*

_{0}, as in, Example, 5 and, let,

*K*

_{1}(

*x*,

*λ*), =

*K*

_{2}(

*x*,

*λ*) = [0, 3],

*T*(

*x*,

*y*,

*γ*) = {

*t*} and

Let relation *R* be defined by *R*(*x*, *t*, *y*, *λ*) holds iff *F*(*x*, *t*, *y*, *λ*) ⊆ ℝ_{+}. We show that the assumption (i), (ii,) and (iii) of Theorem 1 are easily seen to be fulfilled

Hence, *S*_{
α
} is usc at (0, 0, 0). But Theorem 3.4 in [5] cannot be applied. The reason is that *F* is not usc (x, t, y, 0).

Assumptions in Theorem 1, we have *K*_{2} is lsc in *K*_{1}(*A*, Λ) × {*λ*_{0}} (which is not imposed in this Theorem 4.1 of [10]). The Example 3 shows that the lower semicontinuity of *K*_{2} needs to be added to Theorem 4.1 of [10].

**Remark 7**(i) In the special case, if

*T*(

*x*,

*y*,

*γ*) = {

*t*}, Λ = Γ =

*M*,

*A*=

*B*,

*X*=

*Y*,

*K*

_{1}=

*K*

_{2}=

*K*and the variational relation

*R*is defined as follows $R(x,t,y,\lambda )$ holds iff

*F*(

*x*,

*y*,

*λ*) ⊄ -intC(x,

*λ*) (or

*F*(

*x*,

*y*,

*λ*)

*∩−*intC(x,

*λ*) = ∅), where

*F*:

*A*×

*A*× Λ → 2

^{ Y }and

*C*:

*A*× Λ → 2

^{ Y }be multifunctions, with

*C*(

*x*, λ) being a convex cone. Then, (QVR

_{α}) becomes (PGQVEP) and (PEQVEP) in [10].

- (ii)
In the special case as in Remark 7 (i). Then, Theorem 1 reduces to Theorem 4.1 in [10]. However the proof of the Theorem 4.1 in a different way. Its assumptions (i)-(iv) derive (i) Theorem 1, assumptions (v) and (vi) coincide with (iii) of Theorem 1.

The following example shows a case where the assumed compactness in Theorem 4.1 of [10] is violated but the assumptions of Theorem 1 are fulfilled.

**Example 8** Let *X*, *Y*, Λ, Γ, *M*, *T*, *λ*_{0}, as in Example 6 and we let *A* = *B* = [0, 3), *F*(*x*, *y*, *λ*) = *x − y* and *K*_{1}(*x*, *λ*) = *K*_{2}(*x*, *λ*) = [1, 2]. Let relation *R* be defined by *R*(*x*, *t*, *y*, *λ*) holds iff *F*(*x*, *t*, *y*, *λ*) ⊆ ℝ_{+}. We show that the assumptions of Theorem 1 are easily seen to be fulfilled and so *S*_{
α
} is usc and closed at (0, 0, 0), although *A* is not compact. In fact, *S*_{
α
} (*λ*, *γ*, *μ*) = {2},∀*λ* ∈ [0, 1].

**Theorem 9** *Assume for problem* (QVR_{α}) *that*

*(i) E is lsc at* λ_{0}*, K*_{2}*is usc and compact-valued in K*_{1}(*A*, Λ) × {λ_{0}}*;*

*(ii)* *in K*_{1}(*A*, Λ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ) × {*γ*_{0}}, *T is usc and compact-valued if α* = *s*, *and lsc if α* = *w* *(or* *α* = *m);*

*(iii) in K*_{1}(*A*, Λ) × *T*(*K*_{1}(*A*, Λ), *K*_{2}(*K*_{1}(*A*, Λ), Λ), Γ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ) × {*μ*_{0}}*, lev*_{
lower
}*R is closed*.

*Then S*_{
α
} *is lower semicontinuous at* (*λ*_{0}, *γ*_{0}, *μ*_{0}).

**Proof**. Since

*α*= {

*w*,

*m*,

*s*}, we have in fact three cases. However, the proof techniques are similar. We consider only the cases

*α*=

*s*. Suppose to the contrary that

*S*

_{ s }is not lsc at (

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}), i.e., there are

*x*

_{0}∈

*S*

_{ s }(

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}) and net {(

*λ*

_{ n },

*γ*

_{ n },

*μ*

_{ n })}, (

*λ*

_{ n },

*γ*

_{ n },

*μ*

_{ n }) → (

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}) such that ∀

*x*

_{ n }∈

*S*

_{ s }(

*λ*

_{ n },

*γ*

_{ n },

*μ*

_{ n }),

*x*

_{ n }→

*x*

_{0}. Since

*E*is lsc at

*λ*

_{0}, there is ${x}_{n}^{\prime}\phantom{\rule{0.3em}{0ex}}\in \phantom{\rule{0.3em}{0ex}}E\left({\lambda}_{n}\right)$ with ${x}_{n}^{\prime}\phantom{\rule{0.3em}{0ex}}\to \phantom{\rule{0.3em}{0ex}}{x}_{0}$. By the above contradiction assumption, there must be a subnet $\left\{{{x}^{\prime}}_{m}\right\}$ of $\left\{{{x}^{\prime}}_{n}\right\}$ such that, $\forall m,\phantom{\rule{0.3em}{0ex}}{x}_{m}^{\prime}\notin {S}_{s}\left({\lambda}_{m},{\gamma}_{m},{\mu}_{m}\right)$, i.e., $\exists {y}_{m}\in {K}_{2}\left({x}_{m}^{\prime},{\lambda}_{m}\right)$, $\exists {t}_{m}\in T\left({x}_{m}^{\prime},{y}_{m},{\gamma}_{m}\right)$ such that

As *K*_{2}, is usc at (*x*_{0}, *λ*_{0}) and *K*_{2}(*x*_{0}, *λ*_{0}) is compact, one has *y*_{0} ∈ *K*_{2}(*x*_{0}, *λ*_{0}) such that *y*_{
m
} → *y*_{0} (taking a subnet if necessary). By the upper semicontinuity of *T* at (*x*_{0}, *y*_{0}, *γ*_{0}), one has *t*_{0} ∈ *T*(*x*_{0}, *y*_{0}, *γ*_{0}) such that *t*_{
m
} → *t*_{0}.

which is impossible since *x*_{0} ∈ *S*_{
s
} (λ_{0}, *γ*_{0}, *μ*_{0}). Therefore, *S*_{
s
} is lsc at (*λ*_{0}, *γ*_{0}, *μ*_{0}). □

The following example shows that the lower semicontinuity of *E* is essential

**Example 10**Let

*A*,

*B*,

*X*,

*Y*, Λ, Γ,

*M*,

*λ*

_{0}as in Example 2 and let

*F*(

*x*,

*t*,

*y*,

*λ*) = 2

^{ λ },

*T*(

*x*,

*y*,

*λ*) = {

*t*},

*K*

_{2}(

*x*,

*λ*) = [0, 1]. Let relation

*R*be defined by

*R*(

*x*,

*t*,

*y*,

*λ*) holds iff

*F*(

*x*,

*t*,

*y*,

*λ*) ⊆ (0, +∞) and

We have *E*(0) = [-1, 1], *E*(*λ*) = [*−λ −* 1, 0], ∀*λ* ∈ (0, 1]. Hence *K*_{2} is usc and the conditions (ii) and (iii) of Theorem 9 are easily seen to be fulfilled. But *S* is not lower semicontinuous at (0, 0, 0). The reason is that *E* is not lower semicontinuous at 0. In fact, *S*_{
α
} (0, 0, 0) = [-1, 1] and *S*_{
α
} (*λ*, *γ*, *μ*) = [*−λ −* 1, 0], ∀*λ* ∈ (0, 1].

The following example shows that all assumptions of Theorem 9 are fulfilled. But Theorems 2.1 and 2.3 in [5] and Theorem 2.2 in [4] are not fulfilled.

**Example 11**Let

*A*,

*B; X*,

*Y*,

*T*, Λ, Γ,

*M*,

*λ*

_{0}as in Example 10, let ${K}_{1}\left(x,\phantom{\rule{0.3em}{0ex}}\lambda \right)\phantom{\rule{0.3em}{0ex}}=\phantom{\rule{0.3em}{0ex}}{K}_{2}\left(x,\phantom{\rule{0.3em}{0ex}}\lambda \right)\phantom{\rule{0.3em}{0ex}}=\phantom{\rule{0.3em}{0ex}}\left[0,\phantom{\rule{0.3em}{0ex}}\frac{1}{2}\right]$ and

and we let relation *R* be defined by *R*(*x*, *t*, *y*, *μ*) holds iff *F*(*x*, *y*, *λ*) ⊆ (0, +∞). We show that the assumptions (i), (ii) and (iii) of Theorem 9 are satisfied and ${S}_{\alpha}(\lambda ,\phantom{\rule{0.3em}{0ex}}\gamma ,\phantom{\rule{0.3em}{0ex}}\mu ))\phantom{\rule{0.3em}{0ex}}=\phantom{\rule{0.3em}{0ex}}[0,\phantom{\rule{0.3em}{0ex}}\frac{1}{2}]$, $\forall \lambda \phantom{\rule{0.3em}{0ex}}\in \phantom{\rule{0.3em}{0ex}}\left[0,\phantom{\rule{0.3em}{0ex}}1\right]$. Theorems 2.1 and 2.3 in [5] and Theorem 2.2 in [4] are not fulfilled. The reason is that *F* is neither usc nor lsc at (*x*, *y*, 0).

**Theorem 12**
*Impose the assumption of Theorem 9 and the following additional conditions:*

*(iv) K*_{2}(., *λ*_{0}) *is lsc in K*_{1}(*A*, Λ) *and E*(*λ*_{0}) *is compact*;

*(v) in K*_{1}(*A*, Λ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ), *T* (., ., *γ*_{0}) *is usc and compact-valued if α* = *w (or α* = *m), and lsc if α* = *s*;

*(vi) in K*_{1}(*A*, Λ) × *T*(*K*_{1}(*A*, Λ), *K*_{2}(*K*_{1}(*A*, Λ), Λ), Γ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ), *lev*_{
upper
}*R*(., ., *μ*_{0}) *is closed* ;

*Then S*_{
α
} *is Hausdorff lower semicontinuous at* (*λ*_{0}, *γ*_{0}, *μ*_{0}).

**Proof**. We consider only for the cases

*α*=

*s*. We first prove that

*S*

_{ s }(

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}) is closed. Indeed, we let

*x*

_{ n }∈

*S*

_{ s }(

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}) such that

*x*

_{ n }→

*x*

_{0}. If

*x*

_{0}∉

*S*

_{ s }(

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}), then ∃

*y*

_{0}∈

*K*

_{2}(

*x*

_{0},

*λ*

_{0}), ∃

*t*

_{0}∈

*T*(

*x*

_{0},

*y*

_{0},

*γ*

_{0}) such that

*K*

_{2}(.,

*λ*

_{0}) at

*x*

_{0}, one has

*y*

_{ n }∈

*K*

_{2}(

*x*

_{ n },

*λ*

_{0}) such that

*y*

_{ n }→

*y*

_{0}. By the lower semicontinuity of

*T*(., .,

*γ*

_{0}) at (

*x*

_{0},

*y*

_{0}), one has

*t*

_{ n }∈

*T*(

*x*

_{ n },

*y*

_{ n },

*γ*

_{0}) such that

*t*

_{ n }→

*t*

_{0}. Since

*x*

_{ n }∈

*S*

_{ s }(

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}), we have

*x*

_{ n },

*t*

_{ n },

*y*

_{ n }) → (

*x*

_{0},

*t*

_{0},

*y*

_{0}) and by the condition (vi) and (6) yields that

we see a contradiction between (5) and (7). Therefore, *S*_{
s
} (*λ*_{0}, *γ*_{0}, *μ*_{0}) is closed.

On the other hand, since *S*_{
s
} (*λ*_{0}, *γ*_{0}, *μ*_{0}) ⊆ *E*(*λ*_{0}) is compact by *E*(*λ*_{0}) compact. Since *S*_{
s
} is lower semicontinuous at (*λ*_{0}, *γ*_{0}, *μ*_{0}) and *S*_{
s
} (*λ*_{0}, *γ*_{0}, *μ*_{0}) compact. Hence *S*_{
s
} is Hausdorff lower, semicontinuous at (*λ*_{0}, *γ*_{0}, *μ*_{0}). And so we complete the proof. □

The following example shows that the assumed compactness in (iv) is essential

**Example 13**Let

*X*=

*A*=

*B*= ℝ

^{2},

*Y*= ℝ, Λ = Γ =

*M*= [0, 1],

*λ*

_{0}= 0, and $x=\left({x}_{1},{x}_{2}\right)\in {\mathbb{R}}^{2}$, ${K}_{1}\left(x,\lambda \right)={K}_{2}\left(x,\lambda \right)=\left\{\left({x}_{1},\lambda {x}_{1}^{4}\right)\right\}$, $T\left(x,y,\lambda \right)=\left[0,{3}^{{\text{sin}}^{4}\mathsf{\text{x}}+{\text{sin}}^{2}\mathsf{\text{x}}+1}\right]$ and

Let relation *R* be defined by *R*(*x*, *t*, *y*, *λ*)^{:}holds iff *F*(*x*, *t*, *y*, *λ*) ⊆ (0, +∞). We have *E*(0) =, {*x* ∈ ℝ^{2} | *x*^{2} = 0} and $E\left(\lambda \right)=\{x\in {\mathbb{R}}^{2}|{x}_{2}=\lambda {x}_{1}^{4}\left)\right\}$, ∀*λ* ∈ (0, 1]. We show that the assumptions, of Theorem 12 are satisfied, but the compactness of *E*(0) is not satisfied. Hence, *S*_{
α
} is not, Hausdorff lower semicontinuous at (0, 0, 0). In fact, *S*_{
α
} (0, 0, 0) = {(*x*_{1}, *x*_{2}) ∈ ℝ^{2}|*x*_{2} = 0} and ${S}_{\alpha}(\lambda ,\gamma ,\mu )=\left\{\right({x}_{1},{x}_{2})\in {\mathbb{R}}^{2}|{x}_{2}=\lambda {x}_{1}^{4}\left)\right\}$, ∀*λ* ∈ (0, 1].

**Corollary 14** *Suppose that all conditions in Theorems 1 and 9 are satisfied. Then, we have* *Sα* *is both continuous and closed at* (*λ*_{0}, *γ*_{0}, *μ*_{0}).

**Corollary 15** *Suppose that all conditions in Theorems 1 and 12 are satisfied. Then, we have S*_{
α
} *is Hausdorff continuous and closed at* (*λ*_{0}, *γ*_{0}, *μ*_{0}).

## Applications

Since our generalized quasi-variational relation problems include many rather general problems as particular cases as mentioned in Section "Introduction". The results of Section "Main results" can derive corresponding to results of these special cases. In Section "Applications" we discuss only some corollaries for generalized vector quasi-equilibrium problems as example.

In this section, we discuss the upper semicontinuity, the lower semicontinuity, the Hausdorff lower semicontinuity, continuity, H-continuity of solution sets for generalized parametric vector quasi-equilibrium problems (QEP_{αρ}).

For each *λ* ∈ Λ, *γ* ∈ Γ, *μ* ∈ *M*, let Ψ _{
αρ
} : Λ × Γ × *M* → 2 ^{
A
} e a set-valued mapping such that Ψ_{αρ}(*λ*, *γ*, *μ*) is the solution set of (QEP_{αρ}).

Throughout the article, we assume that Ψ_{αρ}(*λ*, *γ*, *μ*) ≠ ∅ for each (*λ*, *γ*, *μ*) in the neighborhoods (*λ*_{0}, *γ*_{0}, *μ*_{0}) ∈ Λ × Γ × *M*.

**Corollary 16** *Assume for problem* (QEP_{αρ}) *that*

*(i) E is usc at λ*_{0}*and E*(*λ*_{0}) *is compact, and K*_{2}*is lsc in K*_{1}(*A*_{,} Λ) × {λ_{0}}*;*

*(ii) in K*_{1}(*A*, Λ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ) × {*γ*_{0}}, *T is usc and compact-valued if α* = *w (or α* = *m), and lsc if α* = *s*;

*(iii) in K*_{1}(*A*, Λ) × *T*(*K*_{1}(*A*, Λ), *K*_{2}(*K*_{1}(*A*, Λ), Λ), Γ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ) × {*μ*_{0}}*, the set* $\left\{\left(x,t,y,\mu \right)\in A\times B\times A\times M|\rho \left(F\left(\stackrel{\u0304}{x},t,y,\mu \right);C\right)\right\}$ is closed.

*Then* Ψ _{
αρ
} *is both usc and closed at* (*λ*_{0}, *γ*_{0}, *μ*_{0}).

**Proof**. Since *α* = {*w*, *m*, *s*}, *ρ* = {*ρ*_{1}, *ρ*_{2}}, we have in fact six cases. However, the proof techniques are similar. We consider only the cases *α* = *w*, *ρ* = *ρ*_{1}. Let relation *R* be defined by *R*(*x*, *t*, *y*, *μ*) holds iff $F\left(\stackrel{\u0304}{x},\phantom{\rule{0.3em}{0ex}}t,\phantom{\rule{0.3em}{0ex}}y,\phantom{\rule{0.3em}{0ex}}\mu \right)\phantom{\rule{0.3em}{0ex}}\subseteq \phantom{\rule{0.3em}{0ex}}C.$ To apply Theorem 1, we need to check only that in *K*_{1}(*A*, Λ) × *T*(*K*_{1}(*A*, Λ), *K*_{2}(*K*_{1}(*A*, Λ), Λ), Γ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ) × {*μ*_{0}}, the set $\left\{\left(x,t,y,\mu \right)\in A\times B\times A\times M|F\left(\stackrel{\u0304}{x},t,y,\mu \right)\subseteq C\right\}$ is closed.

*x*

_{ n },

*t*

_{ n },

*y*

_{ n },

_{n})} → (

*x*

_{0},

*t*

_{0},

*y*

_{0},

*μ*

_{0}) such that

□

**Corollary 17** *Assume for problem* (QEP_{αρ}) *that*

*(i) E is lsc at λ*_{0}, *K*_{2}*is usc and compact-valued in K*_{1}(*A*, Λ) × {*λ*_{0}};

*(ii) in K*_{1}(*A*, Λ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ) × {*γ*_{0}}, *T is usc and compact-valued if α* = *s, and lsc if α* = *w* *(or* *α* = *m);*

*(iii) in K*_{1}(*A*, Λ) × *T*(*K*_{1}(*A*, Λ), *K*_{2}(*K*_{1}(*A*, Λ), Λ), Γ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ) × {*μ*_{0}}*, the set* $\left\{\left(x,t,y,\mu \right)\in A\times B\times A\times M|\stackrel{\u0304}{\rho}\left(F\left(x,t,y,\mu \right);C\right)\right\}$ *is closed*.

*Then* Ψ _{
αρ
} *is lower semicontinuous at* (*λ*_{0}, *γ*_{0}, *μ*_{0}).

**Proof**. Since *α* = {*w*, *m*, *s*}, *ρ* = {*ρ*_{1}, *ρ*_{2}}, we have in fact six cases. However, the proof techniques are similar. We consider only the cases *α* = *s*, *ρ* = *ρ*_{1}. Let relation *R* be defined by *R*(*x*, *t*, *y*, *μ*) holds iff *F*(*x*, *t*, *y*, *μ*) ⊆ *C*. To apply Theorem 9, we need to check only that in *K*_{1}(*A*, Λ) × *T* (*K*_{1}(*A*, Λ), *K*_{2}(*K*_{1}(*A*, Λ), Λ), Γ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ) × {*μ*_{0}}, the set {(*x*, *t*, *y*, *μ*) ∈ *A* × *B* × *A* × *M | F*(*x*, *t*, *y*, *μ*) ⊆ *C*)} is closed.

*x*

_{ n },

*t*

_{ n },

*y*

_{ n },

*μ*

_{ n })} → (

*x*

_{0},

*t*

_{0},

*y*

_{0},

*μ*

_{0}) such that

□

**Corollary 18**
*Impose the assumption of Corollary 17 and the following additional conditions:*

*(iv) K*_{2}(., *λ*_{0}) *is lsc in K*_{1}(*A*, Λ) *and E*(*λ*_{0}) *is compact;*

*(v) in K*_{1}(*A*, Λ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ), *T* (., ., *γ*_{0}) *is usc and compact-valued if α* = *w (or α* = *m), and lsc if α* = *s;*

*(vi) in K*_{1}(*A*, Λ) × *T*(*K*_{1}(*A*, Λ), *K*_{2}(*K*_{1}(*A*, Λ), Λ), Γ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ), *the set* {(*x*, *t*, *y*) ∈ *A* × *B* × *A | ρ*(*F*(*x*, *t*, *y*, *μ*_{0}); *C*)} *is closed*.

*Then* Ψ _{
αρ
} *is Hausdorff lower semicontinuous at* (*λ*_{0}, *γ*_{0}, *μ*_{0}).

**Proof**. Since *α* = {*w*, *m*, *s*}, *ρ* = {*ρ*_{1}, *ρ*_{2}}, we have in fact six cases. However, the proof techniques are similar. We consider only the cases *α* = *s*, *ρ* = *ρ*_{1}. Let relation *R* be defined by *R*(*x*, *t*, *y*, *μ*) holds iff *F*(*x*, *t*, *y*, *μ*) ⊆ *C*. To apply Theorem 12, we need to check only that in *K*_{1}(*A*, Λ) × *T* (*K*_{1}(*A*, Λ), *K*_{2}(*K*_{1}(*A*, Λ), Λ), Γ) × *K*_{2}(*K*_{1}(*A*, Λ), Λ), the set {(*x*, *t*, *y*) ∈ *A* × *B* × *A | F*(*x*, *t*, *y*, *μ*_{0}) ⊆ *C*)} is closed. Indeed, for all nets {(*x*_{
n
} , *t*_{
n
} , *y*_{
n
} )} *→* (*x*_{0}, *t*_{0}, *y*_{0}) such that *R*(*x*_{
n
} , *t*_{
n
} , *y*_{
n
} , *μ*_{0}) holds. By assumption (vi), we have *F*(*x*_{0}, *t*_{0}, *y*_{0}, *μ*_{0}) ⊆ *C*. □

**Remark 19**(i) Suppose that all conditions in Corollaries 16 and 17 are satisfied. Then, we have Ψ

_{ α }is both continuous and closed at (

*λ*

_{0},

*γ*

_{0},

*μ*

_{0}).

- (ii)
Suppose that all conditions in Corollaries 16 and 18 are satisfied. Then, we have Ψ

_{ αρ }is Hausdorff continuous and closed at (*λ*_{0},*γ*_{0},*μ*_{0}).

## Declarations

### Acknowledgements

The author is grateful to Prof. Phan Quoc Khanh and Dr. Lam Quoc Anh for their encour-agements in research. The author also thanks to the two anonymous referees for their valuable remarks and suggestions, which helped them to improve considerably the article.

## Authors’ Affiliations

## References

- Anh LQ, Khanh PQ: Semicontinuity of solution sets to parametric quasivariational inclusions with applications to traffic networks I: upper semicontinuities.
*Set-Valued Anal*2008, 16: 267–279. 10.1007/s11228-008-0074-zMathSciNetView ArticleGoogle Scholar - Anh LQ, Khanh PQ: Semicontinuity of solution sets to parametric quasivariational inclusions with applications to traffic networks II: lower semicontinuities.
*Set-Valued Anal*2008, 16: 943–960. 10.1007/s11228-008-0082-zMathSciNetView ArticleGoogle Scholar - Khanh PQ, Luc DT: Stability of solutions in parametric variational relation problems.
*Set-Valued Anal*2008, 16: 1015–1035. 10.1007/s11228-008-0101-0MathSciNetView ArticleGoogle Scholar - 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 - Anh LQ, Khanh PQ: Semicontinuity of the solution sets of parametric multivalued vector quasiequilibrium problems.
*J Math Anal Appl*2004, 294: 699–711. 10.1016/j.jmaa.2004.03.014MathSciNetView ArticleGoogle Scholar - Anh LQ, Khanh PQ: Continuity of solution maps of parametric quasiequilibrium problems.
*J Glob Optim*2010, 46: 247–259. 10.1007/s10898-009-9422-2MathSciNetView ArticleGoogle Scholar - Bianchi M, Pini R: A note on stability for parametric equilibrium problems.
*Oper Res Lett*2003, 31: 445–450. 10.1016/S0167-6377(03)00051-8MathSciNetView ArticleGoogle Scholar - Bianchi M, Pini R: Sensitivity for parametric vector equilibria.
*Optimization*2006, 55: 221–230. 10.1080/02331930600662732MathSciNetView ArticleGoogle Scholar - Kimura K, Yao JC: Sensitivity analysis of solution mappings of parametric vector quasiequilibrium problems.
*J Glob Optim*2008, 41: 187–202. 10.1007/s10898-007-9210-9MathSciNetView ArticleGoogle Scholar - Kimura K, Yao JC: Sensitivity analysis of solution mappings of parametric generalized quasi vector equilibrium problems.
*Taiwan J Math*2008, 9: 2233–2268.MathSciNetGoogle Scholar - Kimura K, Yao JC: Semicontinuity of solution mappings of parametric generalized vector equilibrium problems.
*J Optim Theory Appl*2008, 138: 429–443. 10.1007/s10957-008-9386-2MathSciNetView ArticleGoogle Scholar - Li XB, Li SJ: Continuity of approximate solution mappings for parametric equilibrium problems.
*J Glob Optim*2011, 51: 541–548. 10.1007/s10898-010-9641-6View ArticleGoogle Scholar - Xu S, Li SJ: A new proof approach to lower semicontinuity for parametric vector equilibrium problems.
*Optim Lett*2009, 3: 453–459. 10.1007/s11590-009-0124-yMathSciNetView ArticleGoogle Scholar - Khanh PQ, Luu LM: Upper semicontinuity of the solution set of parametric multivalued vector quasivariational inequalities and applications.
*J Glob Optim*2005, 32: 551–568. 10.1007/s10898-004-2693-8MathSciNetView ArticleGoogle Scholar - Khanh PQ, Luu LM: Lower and upper semicontinuity of the solution sets and approximate solution sets to parametric multivalued quasivariational inequalities.
*J Optim Theory Appl*2007, 133: 329–339. 10.1007/s10957-007-9190-4MathSciNetView ArticleGoogle Scholar - Lalitha CS, Bhatia G: Stability of parametric quasivariational inequality of the Minty type.
*J Optim Theory Appl*2011, 148: 281–300. 10.1007/s10957-010-9755-5MathSciNetView ArticleGoogle Scholar - Li SJ, Chen GY, Teo KL: On the stability of generalized vector quasivariational inequality problems.
*J Optim Theory Appl*2002, 113: 283–295. 10.1023/A:1014830925232MathSciNetView ArticleGoogle Scholar - Muu LD: Stability property of a class of variational inequalities.
*Math Operationsforsch Statist Ser Optim*1984, 15: 347–351. 10.1080/02331938408842947MathSciNetView ArticleGoogle Scholar - Wong MM: Lower semicontinuity of the solution map to a parametric vector variational inequality.
*J Glob Optim*2010, 46: 435–446. 10.1007/s10898-009-9447-6View ArticleGoogle Scholar - Aubin JP, Ekeland I:
*Applied Nonlinear Analysis*. John Wiley and Sons, New York; 1984.Google Scholar - Berge C:
*Topological Spaces*. Oliver and Boyd, London; 1963.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.