+ All Categories
Home > Documents > Stability of a solution set for parametric generalized vector mixed quasivariational inequality...

Stability of a solution set for parametric generalized vector mixed quasivariational inequality...

Date post: 10-Dec-2016
Category:
Upload: nguyen-van-hung
View: 212 times
Download: 0 times
Share this document with a friend
17
Hung Journal of Inequalities and Applications 2013, 2013:276 http://www.journalofinequalitiesandapplications.com/content/2013/1/276 RESEARCH Open Access Stability of a solution set for parametric generalized vector mixed quasivariational inequality problem Nguyen Van Hung * * Correspondence: [email protected] Department of Mathematics, Dong Thap University, 783 Pham Huu Lau Street, Ward 6, Cao Lanh, Vietnam Abstract In this paper, we study a class of parametric generalized vector mixed quasivariational inequality problems (in short, (MQVIP)) in Hausdorff topological vector spaces. The upper semicontinuity, closedness, the outer-continuity and the outer-openness of the solution set are obtained. Moreover, a key assumption is introduced by virtue of a parametric gap function. Then, by using the key assumption, we establish that the condition (H h (γ 0 , μ 0 )) is a sufficient and necessary condition for the lower semicontinuity, the Hausdorff lower semicontinuity, the continuity and Hausdorff continuity of solutions for (MQVIP). The results presented in this paper are new and extend some main results in the literature. MSC: 90C31; 49J53; 49J40; 49J45 Keywords: parametric generalized vector mixed quasivariational inequality problem; parametric gap function; upper semicontinuity; outer-continuity; outer-openness; lower semicontinuity; Hausdorff lower semicontinuity; continuity; H-continuity 1 Introduction Let X, Y be two Hausdorff topological vector spaces and let , M be two topological vector spaces. Let L(X, Y ) be the space of all linear continuous operators from X to Y . Let K : X × X , T : X × M L(X,Y ) be set-valued mappings and let C : X Y be a set-valued mapping such that C(x) is a closed pointed convex cone with int C(x) = . Let : X × X × X, : X × X × Y be two continuous vector-valued functions satisfying (y, y, γ ) = and (y, y, γ ) = for each y X, γ . And let Q : L(X, Y ) L(X, Y ), ψ : X X be continuous single-valued mappings. Denoting by z, x the value of a linear operator z L(X; Y ) at x X, we always assume that ·, · is continuous. For γ , μ M, we consider the following parametric generalized vector mixed qua- sivariational inequality problem (in short, (MQVIP)). (MQVIP) Find ¯ x K ( ¯ x, γ ) and ¯ z T ( ¯ x, μ) such that Q( ¯ z), ( y, ψ ( ¯ x), γ ) + ( y, ψ ( ¯ x), γ ) / int C( ¯ x), y K ( ¯ x, γ ). For each γ , μ M, we let E(γ ) := {x X|x K (x, γ )} and : × M X be a set- valued mapping such that (γ , μ) is the solution set of (MQVIP). Throughout this paper, we always assume that (γ , μ) = for each (γ , μ) in the neighborhood (γ , μ ) × M. © 2013 Hung; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribu- tion 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.
Transcript

Hung Journal of Inequalities and Applications 2013, 2013:276http://www.journalofinequalitiesandapplications.com/content/2013/1/276

RESEARCH Open Access

Stability of a solution set for parametricgeneralized vector mixed quasivariationalinequality problemNguyen Van Hung*

*Correspondence:[email protected] of Mathematics, DongThap University, 783 Pham Huu LauStreet, Ward 6, Cao Lanh, Vietnam

AbstractIn this paper, we study a class of parametric generalized vector mixed quasivariationalinequality problems (in short, (MQVIP)) in Hausdorff topological vector spaces. Theupper semicontinuity, closedness, the outer-continuity and the outer-openness ofthe solution set are obtained. Moreover, a key assumption is introduced by virtue of aparametric gap function. Then, by using the key assumption, we establish that thecondition (Hh(γ0,μ0)) is a sufficient and necessary condition for the lowersemicontinuity, the Hausdorff lower semicontinuity, the continuity and Hausdorffcontinuity of solutions for (MQVIP). The results presented in this paper are new andextend some main results in the literature.MSC: 90C31; 49J53; 49J40; 49J45

Keywords: parametric generalized vector mixed quasivariational inequalityproblem; parametric gap function; upper semicontinuity; outer-continuity;outer-openness; lower semicontinuity; Hausdorff lower semicontinuity; continuity;H-continuity

1 IntroductionLet X, Y be two Hausdorff topological vector spaces and let �, M be two topologicalvector spaces. Let L(X,Y ) be the space of all linear continuous operators from X to Y .Let K : X × � → X , T : X × M → L(X,Y ) be set-valued mappings and let C : X → Y

be a set-valued mapping such that C(x) is a closed pointed convex cone with intC(x) �= ∅.Let � : X × X × � → X, � : X × X × � → Y be two continuous vector-valued functionssatisfying �(y, y,γ ) = and �(y, y,γ ) = for each y ∈ X, γ ∈ �. And let Q : L(X,Y ) →L(X,Y ), ψ : X → X be continuous single-valued mappings. Denoting by 〈z,x〉 the value ofa linear operator z ∈ L(X;Y ) at x ∈ X, we always assume that 〈·, ·〉 is continuous.For γ ∈ �, μ ∈M, we consider the following parametric generalized vector mixed qua-

sivariational inequality problem (in short, (MQVIP)).(MQVIP) Find x̄ ∈ K(x̄,γ ) and z̄ ∈ T(x̄,μ) such that

⟨Q(z̄),�

(y,ψ(x̄),γ

)⟩+�

(y,ψ(x̄),γ

)/∈ – intC(x̄), ∀y ∈ K(x̄,γ ).

For each γ ∈ �, μ ∈M, we let E(γ ) := {x ∈ X|x ∈ K(x,γ )} and � :� ×M → X be a set-valued mapping such that�(γ ,μ) is the solution set of (MQVIP). Throughout this paper,we always assume that �(γ ,μ) �= ∅ for each (γ ,μ) in the neighborhood (γ,μ) ∈ � ×M.

© 2013 Hung; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribu-tion License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in anymedium, provided the original work is properly cited.

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 2 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

Special cases of the problem (MQVIP) are as follows:(a) If we let K(x,γ ) = K(x), �(y,ψ(x),γ ) =�(y,ψ(x)), �(y,ψ(x),γ ) =�(ψ(x), y), then

the problem (MQVIP) is reduced to the following generalized vector mixed generalquasi-variational-like inequality problem:Find x̄ ∈ X such that x̄ ∈ K(x̄) and for each y ∈ K(x̄), there exists z̄ ∈ T(x̄) satisfying

⟨Q(z̄),�

(y,ψ(x̄)

)⟩+�

(ψ(x̄), y

)/∈ – intC(x̄).

This problem was studied in [].(b) If Q, ψ are identity mappings and �(y,ψ(x),γ ) =�(y,x), �(y,ψ(x),γ ) =�(y,x),

K(x,γ ) = K(γ ), then the problem (MQVIP) is reduced to the following parametricgeneralized vector quasi-variational-like inequality problem (in short,(PGVQVLIP)):(PGVQVLIP) Find x̄ ∈ K(γ ) and z̄ ∈ T(x̄,μ) such that

⟨z̄,η(y, x̄)

⟩+ψ(y, x̄) /∈ – intC(x̄), ∀y ∈ K(γ ).

This problem was studied in [].(c) If Q, ψ are identity mappings and K(x,γ ) = X , T(x̄,μ) = T(x̄),

�(y,ψ(x),γ ) =�(y,x), �(y,ψ(x),γ ) =�(y,x) and C(x) = C with C ⊆ Y is a pointed,closed and convex cone in Y with intC �= ∅, then the problem (MQVIP) is reducedto the following generalized vector variational inequality problem:Find x̄ ∈ X and z̄ ∈ T(x̄) such that

⟨z̄,η(y, x̄)

⟩+ψ(y, x̄) /∈ – intC, ∀y ∈ K(γ ).

This problem was studied in [].(d) If Q, ψ are identity mappings and �(y,η(x),γ ) = y – x, �(y,ψ(x),γ ) = , � =M,

then the problem (MQVIP) is reduced to the following generalized vectorquasivariational inequality problem (in short, (PGVQVI)):(PGVQVI) Find x̄ ∈ K(x̄,γ ) and z̄ ∈ T(x̄,γ ) such that

〈z̄, y – x̄〉 ∈ Y \ – intC(x̄), ∀y ∈ K(x̄,γ ).

This problem was studied in [].(e) If Q, ψ are identity mappings and �(y,η(x),γ ) = y – x, �(y,ψ(x),γ ) = ,

K(x,γ ) = K(γ ), � =M and C(x) = C with C ⊆ Y is a pointed closed and convexcone in Y with intC �= ∅, then the problem (MQVIP) is reduced to the followingparametric set-valued weak vector variational inequality (in short, (PSWVVI)):(PSWVVI) Find x̄ ∈ K(γ ) and z̄ ∈ T(x̄,γ ) such that

〈z̄, y – x̄〉 /∈ – intC, ∀y ∈ K(γ ).

This problem was studied in [].(f ) If Q, ψ are identity mappings and �(y,η(x),γ ) = , �(y,ψ(x),γ ) =�(x, y, z), � =M,

then the problem (MQVIP) is reduced to the following parametric generalizedvector quasiequilibrium problem (in short, (PGVQEP)):

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 3 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

(PGVQEP) Find x̄ ∈ K(x̄,γ ) and z̄ ∈ T(x̄,γ ) such that

�(x, y, z) ∈ Y \ – intC(x̄), ∀y ∈ K(x̄,γ ).

This problem was studied in [].(g) If Q, ψ are identity mappings and Y =Rn, C(x) =Rn

+, � =M, K(x,γ ) = K(γ ),�(y,η(x),γ ) = y – x, �(y,ψ(x),γ ) = and T : X × � → L(X,Rn), then the problem(MQVIP) is reduced to the parametric weak vector variational inequality problem(in short, (PWVVI)):(PWVVI) Find x̄ ∈ K(γ ) such that

⟨T(x̄,γ ), y – x

⟩/∈ – intRn

+, ∀y ∈ K(γ ).

This problem was studied in [].Stability of solutions for the parametric generalized vector mixed quasivariational in-

equality problem is an important topic in optimization theory and applications. Recently,the continuity, especially the upper semicontinuity, the lower semicontinuity and theHausdorff lower semicontinuity of the solution sets for parametric optimization problems,parametric vector variational inequality problems andparametric vector quasiequilibriumproblems have been studied in the literature; see [, –] and the references therein.The structure of our paper is as follows. In the first part of this article, we introduce

the model parametric generalized vector mixed quasivariational inequality problems. InSection , we recall definitions for later uses. In Section , we establish the upper semi-continuity, closedness, the outer-continuity and the outer-openness, and in Section , weestablish that the condition (Hh(γ,μ)) is a sufficient and necessary condition for thelower semicontinuity, the Hausdorff lower semicontinuity, the continuity and Hausdorffcontinuity of the solution set for the parametric generalized vectormixed quasivariationalinequality problem in Hausdorff topological vector spaces.

2 PreliminariesIn this section, we recall some basic definitions and some of their properties.First, we recall two limits in [, ]. Let X and Y be two topological vector spaces and

G : X → Y be a multifunction. The superior limit and the superior open limit of G aredefined as

lim supx→x

G(x) :={y ∈ Y | ∃xν → x,∃yν ∈G(xν) : yν → y,∀ν

},

limsupox→x

G(x) :={y ∈ Y | there are an open neighborhood U of y and a net

{xν} ⊆ X,xν �= x converging to x such that U ⊆G(xν),∀ν}.

Definition . ([, , ]) Let X and Y be topological vector spaces and G : X → Y bea multifunction.

(i) G is said to be outer-continuous at x ∈ X if lim supx→x G(x)⊆ G(x). G is said tobe outer-continuous in X if it is outer-continuous at each x ∈ X .

(ii) G is said to be outer-open at x ∈ X if limsupox→x G(x)⊆ G(x). G is said to beouter-open in X if it is outer-open at each x ∈ X .

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 4 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

(iii) G is said to be lower semicontinuous (lsc) at x ∈ X if G(x)∩U �= ∅ for some openset U ⊆ Y implies the existence of a neighborhood N of x such that G(x)∩U �= ∅,∀x ∈N . G is said to be lower semicontinuous in X if it is lower semicontinuous ateach x ∈ X .

(iv) G is said to be upper semicontinuous (usc) at x ∈ X if for each open setU ⊇G(x), there is a neighborhood N of x such that U ⊇G(x), ∀x ∈N . G is saidto be upper semicontinuous in X if it is upper semicontinuous at each x ∈ X .

(v) G is said to be Hausdorff upper semicontinuous (H-usc) at x ∈ X if for eachneighborhood B of the origin in Z, there exists a neighborhood N of x such thatG(x)⊆G(x) + B, ∀x ∈N . G is said to be Hausdorff upper semicontinuous in X ifit is Hausdorff upper semicontinuous at each x ∈ X .

(vi) G is said to be Hausdorff lower semicontinuous (H-lsc) at x ∈ X if for eachneighborhood B of the origin in Y , there exists a neighborhood N of x such thatG(x)⊆G(x) + B, ∀x ∈N . G is said to be Hausdorff lower semicontinuous in X ifit is Hausdorff lower semicontinuous at each x ∈ X .

(vii) G is said to be continuous at x ∈ X if it is both lsc and usc at x and to beH-continuous at x ∈ X if it is both H-lsc and H-usc at x. G is said to becontinuous in X if it is both lsc and usc at each x ∈ X and to be H-continuous inX if it is both H-lsc and H-usc at each x ∈ X .

(viii) G is said to be closed at x ∈ X if and only if ∀xn → x, ∀yn → y such thatyn ∈G(xn), we have y ∈G(x). G is said to be closed in X if it is closed at eachx ∈ X .

Lemma . ([, ]) Let X and Y be topological vector spaces and G : X → Y be a mul-tifunction.

(i) If G is usc at x, then G is H-usc at x. Conversely if G is H-usc at x and if G(x) iscompact, then G is usc at x;

(ii) If G is H-lsc at x then G is lsc at x. The converse is true if G(x) is compact;(iii) If Y is compact and G is closed at x, then G is usc at x;(iv) If G is usc at x and G(x) is closed, then G is closed at x;(v) If G has compact values, then G is usc at x if and only if, for each net {xα} ⊆ X

which converges to x and for each net {yα} ⊆G(xα), there are y ∈G(x) and asubnet {yβ} of {yα} such that yβ → y.

Lemma . ([, ]) Let e : X → Y be a vector-valued mapping and for any x ∈ X, e ∈intC(x). The nonlinear scalarization function ξe : X × Y → R defined by ξe(x, y) := inf{r ∈R : y ∈ re(x) –C(x)} has the following properties:

(i) ξe(x, y) < r ⇔ y ∈ re– intC(x);(ii) ξe(x, y)≥ r ⇔ y /∈ re– intC(x).

Lemma . (See [, ]) Let X and Y be two locally convex Hausdorff topological vectorspaces, and let C : X → Y be a set-valued mapping such that, for each x ∈ X,C(x) is aproper, closed, convex cone in Y with intC(x) �= ∅. Furthermore, let e : X → Y be the contin-uous selection of the set-valued map intC(·). Define a set-valued mapping V : X → Y byV (x) = Y \ intC(x) for x ∈ X.We have

(i) If V (·) is usc in X , then ξe(·, ·) is upper semicontinuous in X × Y ;(ii) If C(·) is usc in X , then ξe(·, ·) is lower semicontinuous in X × Y .

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 5 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

From Lemma ., we know that if V (·) and C(·) are both usc in X, then ξe(·, ·) is contin-uous in X × Y .Now we suppose that K(x,γ ) and T(x,μ) are compact sets for any (x,γ ) ∈ X × � and

(x,μ) ∈ X ×M. We define a function h : X × � ×M →R as follows:

h(x,γ ,μ) = minz∈T(x,μ)

maxy∈K (x,γ )

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))}.

Since K(x,γ ) and T(x,μ) are compact sets, h(x,γ ,μ) is well defined.

Lemma .(i) h(x,γ ,μ)≥ for all x ∈ E(γ );(ii) h(x,γ,μ) = if and only if x ∈ �(γ,μ).

Proof We define a function h : X × L(X,Y )→R as follows:

h(x, z) = maxy∈K (x,γ )

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))}.

(i) It is easy to see that h(x, z) ≥ . Suppose to the contrary that there exists x ∈ E(γ )and z ∈ T(x,μ) such that h(x, z) < , then

> h(x, z) = maxy∈K (x,γ )

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))}

≥ –ξe(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

)).

When ψ(x) = y, we have

ξe(x,

⟨Q(z),�(y, y,γ )

⟩+�(y, y,γ )

)

= ξe(x, )

= inf{r ∈R : ∈ re(x) –C(x)

}

= inf{r ∈R : –re(x) ∈ –C(x)

}

= inf{r ∈R : r ≥ } = ,

which is a contradiction. Hence,

h(x, z) = maxy∈K (x,γ )

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))} ≥ ,

x ∈ E(γ ), z ∈ T(x,γ ).

Thus, since z ∈ T(x,μ) is arbitrary, we have

h(x,γ ,μ) = minz∈T(x,μ)

maxy∈K (x,γ )

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))} ≥ .

(ii) By definition, h(x,γ,μ) = if and only if there exists z ∈ T(x,μ) such thath(x, z) = , i.e.,

maxy∈K (x,γ)

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))}= , x ∈ E(γ)

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 6 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

if and only if, for any y ∈ K(x,γ),

–ξe(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

)) ≤ ,

or

ξe(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

)) ≥ .

By Lemma .(ii), if and only if

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

)) /∈ – intC(x), ∀y ∈ K(x,γ),

that is, x ∈ �(γ,μ). �

We may call the function h(·, ·, ·) a parametric gap function for (MQVIP) if the prop-erties of Lemma . are satisfied. Many authors have studied the gap functions for vectorequilibriumproblems and vector variational inequalities; see [, –] and the referencestherein.

Example . Let ψ , Q be identity mappings and X = Y = R, � =M = [, ], C(x) = R+,K(x,γ ) = [, ], T(x,γ ) = {γ +}, �(y,ψ(x),γ ) = �(y,ψ(x),γ ) = y – x. Now we considerthe problem (MQVIP) of finding x ∈ K(x,γ ) and z ∈ T(x,γ ) such that

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

)= γ +(y – x) + y – x /∈ – intR+.

It follows from a direct computation �(γ ,μ) = {} for all γ ∈ [, ]. Now we show thath(·, ·, ·) is a parametric gap function of (MQVIP). Indeed, taking e = ∈ intR+, we have

h(x,γ ,μ) = minz∈T(x,μ)

maxy∈K (x,γ )

{–ξe

(x⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))}

= maxy∈K (x,γ )

(( + γ +)(x – y)

)

=

⎧⎨⎩ if x = ,( + γ +)x if x ∈ (, ].

Hence, h(·, ·, ·) is a parametric gap function of (MQVIP).

The following lemma gives a sufficient condition for the parametric gap function h(·, ·, ·)is continuous in X × � ×M.

Lemma . Consider (MQVIP). If the following conditions hold:(i) K(·, ·) is continuous with compact values in �;(ii) T(·, ·) is continuous with compact values in X × �;(iii) C(·) is upper semicontinuous in X and e(·) ∈ intC(·) is continuous in X .

Then h(·, ·, ·) is continuous in X × � ×M.

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 7 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

Proof First we prove that h(·, ·, ·) is lower semicontinuous in X × � × M. Indeed, we letr ∈R. Suppose that {(xα ,γα ,μα)} ⊆ X × � ×M satisfies

h(xα ,γα ,μα)≤ r, ∀α

and

(xα ,γα ,μα)→ (x,γ,μ) as α → ∞.

It follows that

h(xα ,γα ,μα)

= minz∈T(xα ,μα )

maxy∈K (xα ,γα )

{–ξe

(xα ,

⟨Q(z),�

(y,ψ(xα),γα

)⟩+�

(y,ψ(xα),γα

))} ≤ r.

We define the function g : X × L(X,Y )× � ×M →R by

g(x, z,γ ,μ) = maxy∈K (x,γ )

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))}, x ∈ E(γ ).

By the continuity of ψ(·), �(·, ·, ·), �(·, ·, ·), ξe(·, ·) and since K(·, ·) is continuous with com-pact values in X×�, thus, by Proposition in Section of Chapter [], we can deducethat g(x, z,γ ,μ) is continuous with respect to (x, z,γ ,μ). By the compactness of T(xα ,μα),there exists zα ∈ T(xα ,μα) such that

h(xα ,γα ,μα) = minz∈T(xα ,μα )

maxy∈K (xα ,γα )

{–ξe

(xα ,

⟨Q(z),�

(y,ψ(xα),γα

)⟩+�

(y,ψ(xα),γα

))}

= g(xα , zα ,γα ,μα)

= maxy∈K (xα ,γα )

{–ξe

(xα ,

⟨Q(zα),�

(y,ψ(xα),γα

)⟩+�

(y,ψ(xα),γα

))} ≤ r.

Since K(·, ·) is lower semicontinuous in X × �, for any y ∈ K(x,γ), there exists yα ∈K(xα ,γα) such that yα → y. For yα ∈ K(xα ,γα), we have

–ξe(xα ,

⟨Q(zα),�

(yα ,ψ(xα),γα

)⟩+�

(yα ,ψ(xα),γα

)) ≤ r. (.)

Since T(·, ·) is upper semicontinuous with compact values in X × M, there exists z ∈T(x,μ) such that zα → z (taking a subnet {zβ} of {zα} if necessary) as α → ∞. From thecontinuity of ξe(·, (Q(·,ψ(·), ·) +�(·,ψ(·), ·))), taking the limit in (.), we have

–ξe(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

)) ≤ r. (.)

Since y ∈ K(x,γ) is arbitrary, it follows from (.) that

g(x, z,γ,μ) = maxy∈K (x,γ)

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))} ≤ r.

And so, for any z ∈ T(x,μ), we have

h(x,γ,μ) = minz∈T(x,μ)

maxy∈K (x,γ)

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))} ≤ r.

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 8 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

This proves that, for r ∈R, the level set {(x,γ ,μ)|h(x,γ ,μ)≤ r} is closed. Hence, h(·, ·, ·) islower semicontinuous in X ×X × �.Next, we need to prove that h(·, ·, ·) is upper semicontinuous in X × � ×M. Indeed, let

r ∈R. Suppose that {(xα ,γα ,μα)} ⊆ X × � ×M satisfies

h(xα ,γα ,μα)≥ r, ∀α

and

(xα ,γα ,μα)→ (x,γ,μ) as α → ∞,

then

minz∈T(xα ,μα )

maxy∈K (xα ,γα )

{–ξe

(xα ,

⟨Q(z),�

(y,ψ(xα),γα

)⟩+�

(y,ψ(xα),γα

))} ≥ r,

and so, for any z ∈ T(xα ,μα), we have

maxy∈K (xα ,γα )

{–ξe

(xα ,

⟨Q(z),�

(y,ψ(xα),γα

)⟩+�

(y,ψ(xα),γα

))} ≥ r. (.)

Since T(·, ·) is lower semicontinuous in X × M, for any z ∈ T(x,μ), there exists zα ∈T(xα ,μα) such that zα → z as α → ∞. Since zα ∈ T(xα ,μα), it follows (.) that

maxy∈K (xα ,γα )

{–ξe

(xα ,

⟨Q(zα),�

(y,ψ(xα),γα

)⟩+�

(y,ψ(xα),γα

))} ≥ r. (.)

By the compactness of K(·, ·), there exists yα ∈ K(xα ,γα) such that

–ξe(xα ,

⟨Q(zα),�

(yα ,ψ(xα),γα

)⟩+�

(yα ,ψ(xα),γα

)) ≥ r. (.)

Since K(·, ·) is upper semicontinuous with compact values, there exists y ∈ K(x,γ) suchthat yα → y (taking a subnet {yβ} of {yα} if necessary) as α → ∞. From the continuity ofξe(·, (Q(·,ψ(·), ·) +�(·,ψ(·), ·))), taking the limit in (.), we have

–ξe(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

)) ≥ r.

For any y ∈ K(x,γ), we have

maxy∈K (x,γ)

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))} ≥ r. (.)

Since z ∈ T(x,γ) is arbitrary, it follows from (.) that

h(x,γ,μ) = minz∈T(x,μ)

maxy∈K (x,γ)

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))} ≥ r.

This proves that, for r ∈R, the level set {(x,γ ,μ)|h(x,γ ,μ)≥ r} is closed. Hence, h(·, ·, ·)is upper semicontinuous in X × � ×M. �

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 9 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

Remark . In special cases as those in Section (d), (e) and (f ),(i) Lemma . extends Proposition . of Chen et al. in [] and Lemma . of

Zhong-Huang in [].(ii) Lemma . extends Lemma . of Chen et al. in [], Lemma . of Zhong-Huang in

[] and Lemma . of Zhong-Huang in [].

3 Upper semicontinuity of a solution setIn this section, we establish the upper semicontinuity, closedness, outer-continuity andouter-openess of the solution set for the parametric generalized vector mixed quasivaria-tional inequality problem (MQVIP).

Theorem . Assume for the problem (MQVIP) that(i) E(·) is upper semicontinuous with compact values in � and K(·, ·) is lower

semicontinuous in X × �;(ii) T(·, ·) is upper semicontinuous with compact values in X ×M;(iii) W (·) = Y \ – intC(·) is closed in X .

Then �(·, ·) is upper semicontinuous in � ×M.Moreover, �(γ,μ) is a compact set and�(·, ·) is closed in � ×M.

Proof First we prove that �(·, ·) is upper semicontinuous in � × M. Indeed, we sup-pose that �(·, ·) is not upper semicontinuous at (γ,μ), i.e., there is an open subset Vof�(γ,μ) such that for all nets {(γα ,μα)} convergent to (γ,μ), there is xα ∈ �(γα ,μα),xα /∈ V , ∀α. By the upper semicontinuity of E(·) in � and the compactness of E(γ ),one can assume that xα → x ∈ E(γ) (taking a subnet if necessary). Now we show thatx ∈ �(γ,μ). If x /∈ �(γ,μ), then ∀z ∈ T(x,μ), ∃y ∈ K(x,γ) such that

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

) ∈ – intC(x). (.)

By the lower semicontinuity of K(·, ·) at (x,γ), there exists yα ∈ K(xα ,γα) such thatyα → y. Since xα ∈ �(γα ,μα), there exists zα ∈ T(xα ,μα) such that

⟨Q(zα),�

(yα ,ψ(xα),γα

)⟩+�

(yα ,ψ(xα),γα

)/∈ – intC(xα). (.)

Since T(·, ·) is upper semicontinuous and with compact values in X × M, one has z ∈T(x,μ) such that zα → z (can take a subnet if necessary) and since Q(·), �(·,ψ(·), ·) arecontinuous, we have

⟨Q(zα),�

(yα ,ψ(xα),γα

)⟩ → ⟨Q(z),�

(y,ψ(x),γ

)⟩.

It follows from the continuity of �(·,ψ(·), ·) that⟨Q(zα),�

(yα ,ψ(xα),γα

)⟩+�

(yα ,ψ(xα),γα

)

→ ⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

).

By the condition (iii), we have

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

)/∈ – intC(x). (.)

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 10 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

We see a contradiction between (.) and (.), and so we have x ∈ �(γ,μ)⊆ V , whichcontradicts the fact xα /∈ V , ∀α. Hence, �(·, ·) is upper semicontinuous in � ×M.Nowwe prove that�(γ,μ) is compact.We first show that�(γ,μ) is a closed set. In-

deed, we supposed that�(γ,μ) is not a closed set, then there exists a net {xα} ∈ �(γ,μ)such that xα → x, but x /∈ �(γ,μ). The further argument is the same as above. And sowe have �(γ,μ) is a closed set. Moreover, as �(γ,μ)⊆ E(γ) and E(γ) is compact, itfollows that�(γ,μ) is compact. Hence, by Lemma .(iv), it follows that�(·, ·) is closedin � ×M. �

Remark . In the special case as that in Section (d), Theorem . extends Theorem .of Chen et al. in [].

Theorem . Assume for the problem (MQVIP) that(i) E(·) is outer-continuous in � and K(·, ·) is lower semicontinuous in X × �;(ii) T(·, ·) is upper semicontinuous with compact values in X ×M;(iii) W (·) = Y \ – intC(·) is closed in X .

Then �(·, ·) is outer-continuous in � ×M.

Proof Let x ∈ lim supγ→γ,μ→μ �(γ ,μ). There are nets {(γα ,μα)} converging to (γ,μ)and {xα} converging to x with xα ∈ �(γα ,μα). By the outer continuity of E(·), we havex ∈ E(γ). Now we show that x ∈ �(γ,μ). Indeed, by the lower-semicontinuity of K(·, ·)in X × �, for any y ∈ K(x,γ), there exists yα ∈ K(xα ,γα) such that yα → y. As xα ∈�(γα ,μα), there exists zα ∈ T(xα ,μα) such that

⟨Q(zα),�

(yα ,ψ(xα),γα

)⟩+�

(yα ,ψ(xα),γα

)/∈ – intC(xα). (.)

Since T(·, ·) is upper semicontinuous with compact-values in X × M, there exists z ∈T(x,μ) such that zα → z (can take a subnet if necessary). Since Q(·), �(·,ψ(·), ·) arecontinuous, we have

⟨Q(zα),�

(yα ,ψ(xα),γα

)⟩ → ⟨Q(z),�

(y,ψ(x),γ

)⟩.

It follows from the continuity of �(·,ψ(·), ·) that⟨Q(zα),�

(yα ,ψ(xα),γα

)⟩+�

(yα ,ψ(xα),γα

)

→ ⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

).

By the condition (iii) and (.), we have

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

)/∈ – intC(x).

Hence, x ∈ �(γ,μ). Thus, �(·, ·) is outer-continuous in � ×M. �

Theorem . Assume for the problem (MQVIP) that(i) E(·) is outer-open in � and K(x, ·) is lower semicontinuous in � for all x ∈ E(γ);(ii) for all x ∈ E(γ), T(x, ·) is upper semicontinuous with compact values inM;

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 11 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

(iii) for all x ∈ E(γ),W (x) = Y \ – intC(x) is closed.Then �(·, ·) is outer-open in � ×M.

Proof Let x ∈ limsupoγ→γ,μ→μ �(γ ,μ). There are a neighborhood V of x and nets{γα} ⊆ �, γα �= γ converging to γ and {μα} ⊆ M, μα �= μ converging to μ such thatV ⊂ �(γα ,μα), ∀α. By V ⊂ E(γα), we have x ∈ limsupoγ→γ E(γ ). It follows from (i) thatx ∈ E(γ). Now we show that x ∈ �(γ,μ). Indeed, by the lower-semicontinuity ofK(x, ·) in �, for any y ∈ K(x,γ), there exists yα ∈ K(x,γα) such that yα → y. Asx ∈ �(γα ,μα), there exists zα ∈ T(x,μα) such that

⟨Q(zα),�

(yα ,ψ(x),γα

)⟩+�

(yα ,ψ(x),γα

)/∈ – intC(x). (.)

Since T(x, ·) is upper semicontinuous with compact-values in M, there exists z ∈T(x,μ) such that zα → z (can take a subnet if necessary). Since Q(·), �(·,ψ(·), ·) arecontinuous, we have

⟨Q(zα),�

(yα ,ψ(x),γα

)⟩ → ⟨Q(z),�

(y,ψ(x),γ

)⟩.

It follows from the continuity of �(·,ψ(·), ·) that⟨Q(zα),�

(yα ,ψ(x),γα

)⟩+�

(yα ,ψ(x),γα

)

→ ⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

).

By the condition (iii) and (.), we have

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

)/∈ – intC(x).

Hence, x ∈ �(γ,μ). Thus, �(·, ·) is outer-open in � ×M. �

The following example shows that all assumptions of Theorem . are fulfilled. But theouter-continuity in Theorem . is not satisfied. Thus, Theorem . cannot be applied.

Example . Let X = Y = R, � = M = [, ], γ = , C = [,+∞), let ψ , Q be identitymappings, and T(x,γ ) = [, x+y+γ+], K(x,γ ) = (–,γ ) and �(y,x,γ ) = and

�(y,x,γ ) =

⎧⎨⎩ if γ = ,[ γ+ , ] otherwise.

We have E(γ ) = (–,γ ), ∀γ ∈ [, ]. We show that the conditions (i), (ii) and (iii) of The-orem . are easily seen to be fulfilled. And so �(·, ·) is outer-open at (, ) (in fact,�(, ) = (–, ) and �(γ ,μ) = (–,γ ) for all γ ∈ (, ]), but E(·) is not outer-continuousat . Hence �(·, ·) is not outer-continuous at (, ).

The following example shows that all assumptions of Theorem . and Theorem . arefulfilled. But Theorem . cannot be applied.

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 12 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

Example . Let Q, X, Y , �, M, T , C, ψ , �, γ as in Example ., and let K(x,γ ) ={(ζ ,γ ζ ) : ζ ∈R} and

�(y,x,γ ) =

⎧⎨⎩ if λ = ,[ ecos λ+ , ] otherwise.

Then, we have E(γ ) = {(ζ ,γ ζ ) : ζ ∈R} for all γ ∈ [, ]. Hence, E is outer-open and outer-continuous at . It is not hard to see that (i)-(iii) in Theorem . and Theorem . aresatisfied. Hence, �(·, ·) is outer-open and outer-continuous at (, ) (in fact, �(γ ,μ) ={(ζ ,γ ζ ) : ζ ∈R} for all γ ∈ [, ]). We see that E(·) is not upper semicontinuous at . Thus,�(·, ·) is not upper semicontinuous at (, ). Hence, we cannot apply Theorem ..

The following example shows that the assumptions in Theorem ., Theorem . andTheorem . may be satisfied in every case.

Example . Let X, Y , �, M, ψ , Q, C, γ be as in Example ., and let T(x,γ ) = { e },�(y,x,γ ) = γ +sin x+, K(x,γ ) = [, ] and

�(y,x,γ ) =

⎧⎨⎩ if γ = ,[ , ] otherwise.

We see that the conditions (i), (ii) and (iii) in Theorem ., Theorem . and Theorem .are satisfied. And so,�(·, ·) is outer-open, outer-continuous and upper semicontinuous at(, ) (in fact, �(γ ,μ) = [, ], ∀γ ∈ [, ]).

4 Lower semicontinuity of a solution setIn this section, we establish that the condition (Hh(γ,μ)) is a sufficient and necessarycondition for the lower semicontinuity, theHausdorff lower semicontinuity, the continuityand Hausdorff continuity of the solution set for the parametric generalized vector mixedquasivariational inequality problem (MQVIP).Motivated by the hypothesis (H) of [, ] and the assumption (Hg ) in [, ], by virtue

of the parametric gap function h(·, ·, ·), now we introduce the following key assumption.

(Hh(γ,μ)) Given (γ,μ) ∈ � × M. For any open neighborhood N of the origin in X,there exist α > and a neighborhood V (γ,μ) of (γ,μ) such that for all (γ ,μ) ∈V (γ,μ) and x ∈ E(γ ) \ (�(γ ,μ) +N), one has h(x,γ ,μ)≥ α.

Asmentioned in Zhao [] and Kien [], the above hypothesis (Hh(γ,μ)) is character-ized by a common theme used in mathematical analysis. Such a theme interprets a propo-sition associated with a set in terms of other propositions associated with the complementset. Instead of imposing restrictions on the solution set, the hypothesis (Hh(γ,μ)) laysa condition on the behavior of the parametric gap function on the complement of thesolution set.Geometrically, the hypothesis (Hh(γ,μ)) means that, given a small open neighbor-

hood N of the origin in X, we can find a small positive number α > and a neighborhoodV (γ,μ) of (γ,μ), such that for all (γ ,μ) in the neighborhood of (γ,μ), if a feasiblepoint x is not in the set�(γ ,μ) +N , then a ‘gap’ by an amount of at least α will be yielded.

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 13 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

The following Lemma . is modified from Proposition . in Kien [].

Lemma . Suppose that all conditions in Lemma . are satisfied. For any open neigh-borhood N of the origin in X, let

�(γ ,μ) := infx∈E(γ )\(�(γ ,μ)+N)

h(x,γ ,μ).

Then (Hh(γ,μ)) holds if and only if for any open neighborhood N of the origin in X, onehas

limγ→γ,μ→μ

inf�(γ ,μ) > .

Proof If (Hh(γ,μ)) holds, then for any open neighborhood N of the origin in X, thereexist α > and a neighborhood V (γ,μ) of (γ,μ) such that for all (γ ,μ) ∈ V (γ,μ)and x ∈ E(γ ) \ (�(γ ,μ) +N), one has h(x,γ ,μ)≥ α.This implies that �(γ ,μ)≥ α for every (γ ,μ) ∈ V (γ,μ), hence

limγ→γ,μ→μ

inf�(γ ,μ)≥ α > .

Conversely, for any open neighborhood N of the origin in X,

π = limγ→γ,μ→μ

inf�(γ ,μ) > ,

then there exists a neighborhood V (γ,μ) of (γ,μ) such that

�(γ ,μ) = infx∈E(γ )\(�(γ ,μ)+N)

h(x,γ ,μ)≥ α >

for all (γ ,μ) ∈ V (γ,μ), where α := π . Hence, for any x ∈ E(γ ) \ (�(γ ,μ) +N), we have

h(x,γ ,μ)≥ α > ,

which shows that (Hh(γ,μ)) holds. �

Remark . ([])(i) Let a set A⊂ X , A is said to be balanced if λA⊂ A for every λ ∈ R with |λ| ≤ ;(ii) For each neighborhood N of the origin in X , there exists a balanced open

neighborhood U of the origin in X such that U +U +U ⊂N .

Theorem . Suppose that the condition (Hh(γ,μ)) holds and(i) E(·) is lower semicontinuous with compact values in �;(ii) K(·, ·) is continuous with compact values in X × �;(iii) T(·, ·) is continuous with compact values in X ×M;(iv) C(·) is upper semicontinuous in X and e(·) ∈ intC(·) is continuous in X ;(v) W (·) = Y \ – intC(·) is closed in X .

Then �(·, ·) is Hausdorff lower semicontinuous in � ×M.

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 14 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

Proof Suppose to the contrary that (Hh(γ,μ)) holds but �(·, ·) is not Hausdorff lowersemicontinuous at (γ,μ) ∈ � × M. Then there exist a neighborhood N of the originin X, a net {(γα ,μα)} ⊂ � ×M with (γα ,μα)→ (γ,μ) and a net {xα} such that

xα ∈ �(γ,μ) \(�(γα ,μα) +N

). (.)

By the compactness of�(γ,μ), we can assume that xα → x ∈ �(γ,μ). By Lemma .,there exists a balanced open neighborhood U of the origin in X such that U + U +U ⊂N . Hence, for any given ε > , (x +εU)∩E(γ) �= ∅. By E(·) is lower semicontinuousat γ ∈ �, there exists some k such that (x + εU)∩ E(γk) �= ∅ for all k ≥ k.For ε ∈ (, ], suppose that ak ∈ (x + εU)∩ E(γk). We claim that ak /∈ �(γk) +U. Oth-

erwise, there exists tk ∈ �(γk) such that ak – tk ∈ U. Without loss of generality, we mayassume that xk – x ∈U whenever k is sufficiently large. Consequently, we get

xk – tk = (xk – x) + (x – ak) + (ak – tk) ∈ U + (–εU) +U ⊂U +U +U ⊂N .

This implies that xk ∈ �(γk ,μk) +N , contrary to (.). Thus,

ak /∈ �(γk ,μk) +U.

By the assumption (Hh(γ,μ)), there exists σ > such that h(ak ,γk ,μk) ≥ σ . By Lem-ma ., h(·, ·, ·) is upper semicontinuous in X × � × M. So, for any δ > and for k suffi-ciently large, we have

h(ak ,γk ,μk) – δ ≤ h(x,γ,μ).

We can take δ such that σ – δ > . Thus,

h(x,γ,μ)≥ h(ak ,γk ,μk) – δ ≥ σ – δ > .

Hence

h(x,γ,μ) = minz∈T(x,μ)

maxy∈K (x,γ)

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))}> ,

and so

maxy∈K (x,γ)

{–ξe

(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))}> , ∀z ∈ T(x,μ).

Since y ∈ K(x,λ) is arbitrary, we have

–ξe(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))>

or

ξe(x,

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

))< .

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 15 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

By Lemma .(i), we have

⟨Q(z),�

(y,ψ(x),γ

)⟩+�

(y,ψ(x),γ

)) ∈ – intC(x),

which contradicts x ∈ �(γ,μ). Therefore, �(·, ·) is Hausdorff lower semicontinuous in� ×M. �

Corollary . Suppose that all conditions in Theorem . are satisfied. Then we have�(·, ·) is lower semicontinuous in � ×M.

Theorem . Suppose that(i) E(·) is continuous with compact values in �;(ii) K(·, ·) is continuous with compact values in X × �;(iii) T(·, ·) is continuous with compact values in X ×M;(iv) C(·) is upper semicontinuous in X and e(·) ∈ intC(·) is continuous in X ;(v) W (·) = Y \ – intC(·) is closed in X .

Then �(·, ·) is Hausdorff lower semicontinuous in � ×M if and only if (Hh(γ,μ)) holds.

Proof From Theorem ., we only need to prove the necessity. Suppose to the contrarythat �(·, ·) is Hausdorff lower semicontinuous at (γ,μ) ∈ � × M, but (Hh(γ,μ)) doesnot hold. By Lemma ., there exists a neighborhood N of the origin in X such that

limγ→γ,μ→μ

inf�(γ ,μ) = .

Then there exists a net {(γα ,μα)} ⊂ � ×M with (γα ,μα)→ (γ,μ) such that

limα→∞�(γα ,μα) = lim

α→∞ infx∈E(γα )\(�(λα ,μα )+N)

h(x,γα ,μα) = . (.)

By E(γα) \ (�(γα ,μα) + N) is a compact set and h(·, ·, ·) is continuous from Lemma .,there exists xα ∈ E(γα) \ (�(γα ,μα) +N) satisfying �(γα ,μα) = h(xα ,γα ,μα). Clearly, (.)implies

limα→∞h(xα ,γα ,μα) = .

Since E(·) is upper semicontinuous with compact values in�, we can assume that xα → xwith x ∈ E(γ). By the continuity of h(·, ·, ·), we have h(x,γ,μ) = and so x ∈ �(γ,μ).For any t ∈ �(γ,μ), since�(·, ·) is Hausdorff lower semicontinuous at (γ,μ) ∈ �×M,we can find a net {tα} ⊂ �(γα ,μα) such that tα → t, ∀α. By xα ∈ E(γα) \ (�(γα ,μα) +N),tα – xα � N . Letting α → ∞, we have t – x � N , ∀t ∈ �(γ,μ). Since x ∈ �(γ,μ),we have a contradiction. Thus, (Hh(γ,μ)) holds. �

The following example shows that (Hh(γ,μ)) in Theorem . is essential.

Example . Let X,�,M, γ,ψ ,Q as in Example ., let Y =R,C =R+,K(x,γ ) = [–, ],

T(x,μ) = [,γ + x], �(y,ψ(x),γ ) = , �(y,ψ(x),γ ) = y – x. Now we consider the problem(MQVIP) of finding x ∈ E(γ ) and z ∈ T(x,μ) such that

⟨Q(z),�

(y,η(x),γ

)⟩+�

(y,η(x),γ

)=

((y – x),

(γ + x

)(y – x)

)/∈ – intR

+.

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 16 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

It follows from a direct computation

�(γ ,μ) =

⎧⎨⎩

{–, } if γ = ,{–} otherwise.

Hence �(·, ·) is not H-lsc in � × M. Now we show that condition (Hh(γ,μ)) does nothold at (, ). Taking e = (, ) ∈ intR

+, we have

h(x,γ ,μ) = minz∈T(x,γ )

maxy∈K (x,γ )

{–ξe

(x,

⟨Q(z),�

(y,η(x),γ

)⟩+�

(y,η(x),γ

))}

= maxy∈K (x,γ )

((λ + x

)(x – y)

)

=(γ + x

)(x + ).

We have h(·, ·, ·) is a parametric gap function of (MQVIP). For given (γ,μ) ∈ � × M,for any open neighborhood Nε() = (–ε, ε), choose ε such that < ε < . For any α > ,taking (γβ ,μβ )→ (, ) with < γβ < α and xβ = ∈ E(γβ ) \ (�(γβ ,μβ ) +Nε()), we haveh(xβ ,γβ ,μβ ) = γβ < α. Hence, (Hh(γ,μ)) does not hold at (, ).

Corollary .(i) Suppose that all conditions in Theorem . are satisfied. Then we have �(·, ·) is lower

semicontinuous in � ×M if and only if (Hh(γ,μ)) holds.(ii) Suppose that all conditions in Theorem . are satisfied. Then we have �(·, ·) is both

continuous (H-continuous) and closed in � ×M if and only if (Hh(γ,μ)) holds.

Remark .(i) In special cases as those in Section (e) and (f ), Theorem . extends Theorem .

in [] and Theorem . in []. Moreover, our assumption (Hh(γ,μ)) is differentfrom the assumption (Hg ) in [, ]. Besides, our problem (MQVIP) is considered inHausdorff topological vector spaces.

(ii) In the special case as that in Section (d), Theorem . extends Theorem . in [],and in the special case as that in Section (b), Corollary .(ii) extends Theorem .in []. Indeed, our assumption (Hh(γ,μ)) is a sufficient and necessary conditionfor the lower semicontinuity, the Hausdorff lower semicontinuity, the continuity andHausdorff continuity of the solution set for (MQVIP) while the assumption (Hg ) in[, ] is only a sufficient condition.

Competing interestsThe author declares that they have no competing interests.

Authors’ contributionsThe author is grateful to Professor Phan Quoc Khanh and Professor Lam Quoc Anh for their help in the research process.The author also thanks the two anonymous referees for their valuable remarks and suggestions, which helped to improvethe article considerably.

Received: 16 June 2012 Accepted: 14 May 2013 Published: 3 June 2013

Hung Journal of Inequalities and Applications 2013, 2013:276 Page 17 of 17http://www.journalofinequalitiesandapplications.com/content/2013/1/276

References1. Ding, XP, Salahuddin: Generalized vector mixed general quasi-variational-like inequalities in Hausdorff topological

vector spaces. Optim. Lett. (2012). doi:10.1007/s11590-012-0464-x2. Agarwal, RP, Chen, JW, Cho, YJ, Wan, Z: Stability analysis for parametric generalized vector quasi-variational-like

inequality problems. J. Inequal. Appl. (2012). doi:10.1186/1029-242X-2012-573. Li, J, He, ZQ: Gap functions and existence of solutions to generalized vector variational inequalities. Appl. Math. Lett.

18, 989-1000 (2005)4. Chen, CR, Li, SJ, Fang, ZM: On the solution semicontinuity to a parametric generalized vector quasivariational

inequality. Comput. Math. Appl. 60, 2417-2425 (2010)5. Zhong, RY, Huang, NJ: Lower semicontinuity for parametric weak vector variational inequalities in reflexive Banach

spaces. J. Optim. Theory Appl. 150, 2417-2425 (2011)6. Zhong, RY, Huang, NJ: On the stability of solution mapping for parametric generalized vector quasiequilibrium

problems. Comput. Math. Appl. 63, 807-815 (2012)7. Li, SJ, Chen, CR: Stability of weak vector variational inequality problems. Nonlinear Anal. TMA 70, 1528-1535 (2009)8. Anh, LQ, Khanh, PQ: Semicontinuity of the solution sets of parametric multivalued vector quasiequilibrium problems.

J. Math. Anal. Appl. 294, 699-711 (2004)9. Chen, CR, Li, SJ: Semicontinuity of the solution set map to a set-valued weak vector variational inequality. J. Ind.

Manag. Optim. 3, 519-528 (2007)10. Hung, NV: Continuity of solutions for parametric generalized quasi-variational relation problems. Fixed Point Theory

Appl. 2012, Article ID 102 (2012)11. Hung, NV: Sensitivity analysis for generalized quasi-variational relation problems in locally G-convex spaces. Fixed

Point Theory Appl. 2012, Article ID 158 (2012)12. Hung, NV: Existence conditions for symmetric generalized quasi-variational inclusion problems. J. Inequal. Appl.

2013, Article ID 40 (2013)13. Khanh, PQ, Luu, LM: Upper semicontinuity of the solution set of parametric multivalued vector quasivariational

inequalities and applications. J. Glob. Optim. 32, 551-568 (2005)14. 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. 133, 329-339 (2007)15. Kien, BT: On the lower semicontinuity of optimal solution sets. Optimization 54, 123-130 (2005)16. Li, SJ, Chen, GY, Teo, KL: On the stability of generalized vector quasivariational inequality problems. J. Optim. Theory

Appl. 113, 283-295 (2002)17. Zhao, J: The lower semicontinuity of optimal solution sets. J. Math. Anal. Appl. 207, 240-254 (1997)18. Khanh, PQ, Luc, DT: Stability of solutions in parametric variational relation problems, submitted for publication.

Set-Valued Anal. 16, 1015-1035 (2008)19. Rockafellar, RT, Wets, RJ-B: Variational Analysis. Springer, Berlin (1998)20. Aubin, JP, Ekeland, I: Applied Nonlinear Analysis. Wiley, New York (1984)21. Berge, C: Topological Spaces. Oliver & Boyd, London (1963)22. Chen, GY, Huang, XX, Yang, XQ: Vector Optimization: Set-Valued and Variational Analysis. Lecture Notes in Economics

and Mathematical Systems, vol. 541. Springer, Berlin (2005)23. Chen, GY, Yang, XQ, Yu, H: A nonlinear scalarization function and generalized quasi-vector equilibrium problems.

J. Glob. Optim. 32, 451-466 (2005)24. Mastroeni, G: Gap functions for equilibrium problems. J. Glob. Optim. 27, 411-426 (2003)25. Li, SJ, Teo, KL, Yang, XQ, Wu, SY: Gap functions and existence of solutions to generalized vector quasi-equilibrium

problems. J. Glob. Optim. 34, 427-440 (2006)26. Li, J, Mastroeni, G: Vector variational inequalities involving set-valued mappings via scalarization with applications to

error bounds for gap functions. J. Optim. Theory Appl. 145, 355-372 (2010)27. Yang, XQ, Yao, JC: Gap functions and existence of solutions to set-valued vector variational inequalities. J. Optim.

Theory Appl. 115, 407-417 (2002)

doi:10.1186/1029-242X-2013-276Cite this article as: Hung: Stability of a solution set for parametric generalized vector mixed quasivariationalinequality problem. Journal of Inequalities and Applications 2013 2013:276.


Recommended