• No results found

The uniqueness and well-posedness of vector equilibrium problems with a representation theorem for the solution set

N/A
N/A
Protected

Academic year: 2020

Share "The uniqueness and well-posedness of vector equilibrium problems with a representation theorem for the solution set"

Copied!
13
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

The uniqueness and well-posedness of vector

equilibrium problems with a representation

theorem for the solution set

Ding-Tao Peng

1*

, Jian Yu

1

and Nai-Hua Xiu

2

*Correspondence:

[email protected] 1College of Science, Guizhou

University, Guiyang, Guizhou 550025, China

Full list of author information is available at the end of the article

Abstract

This paper aims to present some uniqueness and well-posedness results for vector equilibrium problems (for short, VEPs). We first construct a complete metric spaceM consisting of VEPs satisfying some conditions. Using the method of set-valued analysis, we prove that there exists a dense everywhere residual subsetQofMsuch that each VEP inQhas a unique solution. Moreover, we introduce and obtain the generalized Hadamard well-posedness and generic Hadamard well-posedness of VEPs by considering the perturbations of both vector-valued functions and feasible sets. As an application, we provide a representation theorem for the solution set to each VEP inM.

MSC: 49K40; 90C31; 46B40; 47H04

Keywords: vector equilibrium problem; set-valued mapping; dense everywhere

residual set; uniqueness; well-posedness

1 Introduction

The vector equilibrium problem (for short, VEP) is a natural generalization of the equilib-rium problem for the vector-valued function. It is well known that the vector equilibequilib-rium problem is a unified model of several fundamental mathematical problems, namely, the vector optimization problem, the vector variational inequality, the vector complementar-ity problem, the multiobjective game, the vector network equilibrium problemetc.Since the VEP was proposed at about  lots of peoples have made many contributions to this problem and hundreds of papers have been published; see,e.g., the collection [] and the monograph []. However, works on the uniqueness of solutions to VEPs were hardly seen. The only work we can find about the uniqueness of solutions to VEPs is [], in which Khanh and Tung established sufficient conditions for the local uniqueness of solutions to VEPs by using approximations as generalized derivatives under the assumption that the functions have first and second Fréchet derivatives. The reason why results on uniqueness are so few is due to the fact that except for a few types of mathematical problems, most of the mathematical problems cannot guarantee the uniqueness of the solution. Therefore, to consider the generic uniqueness of the solutions may be more suitable, which will answer the question how many problems there are in a class of problems having a unique solution. The generic uniqueness of solutions to VEPs is our main motivation in this paper.

As we know, several works have been achieved about the generic uniqueness of solutions to some optimization-related problems such as optimization problems [, ], two-person

(2)

zero-sum continuous games [], saddle point problems [], large crowding games []. Re-cently, some new results were obtained. Yuet al.[] obtained the generic uniqueness of equilibrium points for a class of equilibrium problems. The results in [] showed that most of the monotone equilibrium problems (in the sense of Baire category) have a unique equi-librium point and that each monotone equiequi-librium problem can be arbitrarily approached by a sequence of such equilibrium problems that each of them has a unique equilibrium point. Moreover, Penget al.[] provided a unified approach to the generic uniqueness and applied it to several nonlinear problems. However, the study of the generic uniqueness of solutions to VEPs has an essential difficulty: that the values of different vector-valued functions are incomparable. To overcome such a difficulty is one of the main tasks in this paper.

The stability of solutions to nonlinear problems is also an important topic. The notion of well-posedness is just one of the approaches to the stability. There have been several notions of well-posedness about optimization-related problems. We refer to [–] for more details. For well-posedness of equilibrium problems or vector equilibrium prob-lems, there are some results. Fanget al.[] investigated the well-posedness of equilibrium problems; Kimuraet al.[] studied the parametric well-posedness for vector equilibrium problems; Bianchiet al.[] introduced and studied two types of well-posedness for vec-tor equilibrium problems; Li and Li [] investigated the Levitin-Polyak well-posedness of vector equilibrium problems with variable domination structures; Salamon [] ana-lyzed the Hadamard well-posedness of parametric vector equilibrium problems; Penget al.[] investigated several types of Levitin-Polyak well-posedness of generalized vector equilibrium problems. Most of these works considered the perturbation of the parameters in the vector-valued functions. Different from these works, we will not only consider the perturbation of objective functions but also consider the perturbation of feasible sets.

This paper aims to present some generic uniqueness and well-posedness results for VEPs. We consider both the perturbation of vector-valued functions and the perturbation of feasible sets. The paper is organized as follows. In Section , we recall some definitions and preliminaries. In Section , we investigate the uniqueness of solutions to VEPs. We first construct a complete metric spaceMconsisting of VEPs satisfying some conditions. Then we prove that most of the VEPs (in the sense of Baire category) inMhave a unique so-lution. In Section , the Hadamard well-posedness of VEPs is introduced and studied. The generalized Hadamard well-posedness and generic Hadamard well-posedness of VEPs are derived. In Section , applying the above results we provide an interesting representation theorem for the solution set of each VEP inM. Finally, we briefly conclude our results in Section .

2 Preliminaries

Throughout this section, let H be a Hausdorff topological vector space and C be a nonempty closed, convex and pointed cone inHwithintC=∅, whereintCdenotes the topological interior ofC. We note thatintC+C⊂intC(see []).

LetXbe a nonempty set andφ:X×XHbe a vector-valued function. The so-called vector equilibrium problem (for short, VEP) [] is to findx∗∈Xsuch that

(3)

We callx∗ a solution ofVEP(φ). IfH=R,C= (–∞, ], the VEP becomes the Ky Fan inequality [, ]. Similarly, ifH=R,C= [, +∞), the VEP becomes the equilibrium problem [].

Definition . (see []) Let X be a nonempty subset of a Hausdorff topological vec-tor spaceE andf :XH be a vector-valued function.f is said to beC-upper semi-continuous at xX iff for any open neighborhoodV of  inH, there exists an open neighborhoodUofxinXsuch that, for anyxU,

fxf(x) +VC or equivalently,f(x)∈fx+V+C;

f is said to beC-upper semi-continuous onXifff isC-upper semi-continuous at each xX; andf is said toC-lower semi-continuous onXiff –f isC-upper semi-continuous onX.

Definition . LetXbe a nonempty subset of a Hausdorff topological vector spaceEand

φ:X×XHbe a vector-valued function.φis said to beC-strictly-quasi-monotone on X×Xiff for anyx,yXwithx=y,

φ(x,y) /∈–intCφ(y,x)∈–C.

Example . LetE=R,X= [–, ]⊂E,H=RandC=R

+⊂H. Define

f(x) :=

(, ), –≤x< , (, ), ≤x≤; f(x) := (x,x), –≤x≤;

φ(x,y) :=|x|–|y|,|x|–|y|, –≤x,y≤.

One can easily check that f isC-upper semi-continuous on X but not C-lower

semi-continuous at x= ;f is bothC-upper semi-continuous andC-lower semi-continuous

onX;φis bothC-upper semi-continuous andC-lower semi-continuous onX×X;φis C-strictly-quasi-monotone onX×X; and thatx=±∈Xare the only two solutions to

VEP(φ).

To investigate the uniqueness of solutions to VEPs, we will use the way of set-valued analysis. So let us recall some definitions and lemmas about set-valued mappings; for more details see [].

Definition . Let X, M be two topological spaces. Denote by X the space of all

(4)

Lemma .(see [, ]) Let M be a Baire space,X be a metric space and S:M→Xbe

a usco mapping,then there exists a dense everywhere residual subset Q of M such that S is lower semi-continuous at each xQ.

Remark . If there exists a dense everywhere residual subsetQofMsuch that, for each

uQ, a certain propertyPdepending onuholds, then we say that the propertyPis generic onM. SinceQis a second category set, we may say that the propertyPholds for most of the points (in the sense of Baire category) inM. The research on generic properties (including generic existence, generic uniqueness, generic stability, generic well-posedness and so on) has attracted much attention; see,e.g., [–, , , , , ] and the references therein.

Lemma .(see []) Let A and An(n= , , . . .)all be nonempty compact subsets of a

met-ric space X with AnA in the Hausdorff distance topology,then the following statements

hold:

(i) +n=AnAis also nonempty compact subset ofX;

(ii) IfxnAn,xnx,thenxA.

3 Uniqueness of solutions to VEPs

In the rest of this paper, letXbe a nonempty and closed subset of a complete metric space E, (H, · ) be a Banach space, andCbe a nonempty, closed, convex, and pointed cone in H withintC=∅. For any> , denote byB() :={zH:z}andB◦() :={zH:

z<}. We emphasize that the open neighborhoodV in Definition . can be replaced byB◦() in the case thatHis a normed space.

Let a spaceMof VEPs be defined by

M=

⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩

u= (φ,A) :

φ:X×XHisC-upper semi-continuous onX×X;

φisC-strictly-quasi-monotone onX×X;

sup(x,y)X×Xφ(x,y)< +∞;

Ais a nonempty compact subset ofX; and∃xAsuch thatφ(x,y) /∈–intC,yA

⎫ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎬ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎭

.

For anyu= (φ,A),u= (φ,A)∈M, define

ρ(u,u) = sup (x,y)∈X×X

φ(x,y) –φ(x,y)+h(A,A),

wherehis the Hausdorff distance onX.

Lemma . (M,ρ)is a complete metric space.

Proof Clearly,ρ is a metric on M. We only need to show that (M,ρ) is complete. Let

{un= (φn,An)}be a Cauchy sequence ofM, then for any> , there exists a positive integer

N() such that

ρ(um,un) = sup (x,y)∈X×X

(5)

Hence

sup (x,y)∈X×X

φm(x,y) –φn(x,y)< and h(Am,An) <, ∀m,nN().

SinceHis a Banach space, for anyx,yX, there existsφ(x,y)Hsuch thatlimm→∞φm(x,

y) =φ(x,y) and

sup (x,y)∈X×X

φn(x,y) –φ(x,y), ∀nN(). (.)

SinceXis complete,K(X) is also complete, whereK(X) denotes the space of all nonempty compact subsets ofXand is endowed with the Hausdorff distancehinduced by the metric onX. Consequently, byh(Am,An) <, there existsAK(X) such thatAnA. Next, we

will proveu:= (φ,A)M.

(i) FixnN(). SinceφnisC-upper semi-continuous onX×X, there exists a

neigh-borhoodU(x,y)X×Xof (x,y) such that

φn

x,yφn(x,y) +B◦() –C,

x,yU(x,y). (.)

Thus, by (.) and (.), for any (x,y)∈U(x,y), we have

φx,yφn

x,y+B()⊂φn(x,y) +B◦() –Cφ(x,y) +B◦() –C.

It follows thatφisC-upper semi-continuous onX×X.

(ii) For any x,yX with x =y, suppose φ(x,y) /∈ –intC. Since intC is open and

limn→∞φn(x,y) =φ(x,y), we have φn(x,y) /∈–intC when n is big enough. It follows

from the C-strictly-quasi-monotonicity of φn that φn(y,x) ∈ –C. Since C is closed

and limn→∞φn(y,x) =φ(y,x), we obtainφ(y,x)∈–C. Therefore, φ is

C-strictly-quasi-monotone onX×X.

(iii) For eachnN(), we have

sup (x,y)∈X×X

φn(x,y) –φ(x,y) and sup (x,y)∈X×X

φn(x,y)< +∞.

Hencesup(x,y)X×Xφ(x,y) ≤sup(x,y)X×Xφn(x,y)+< +∞.

(iv) Sinceun= (φn,An)∈Mfor eachn= , , . . . , there existsxnAnsuch that

φn(xn,y) /∈–intC,yAn. (.)

SinceAandAn(n= , , . . .) are all compact andAnA, by Lemma .(i), +∞

n=AnAis

also compact. Note that{xn} ⊂ +∞

n=AnA. Without loss of generality, supposexnx∗.

By Lemma .(ii),x∗∈A. We shall show thatx∗fulfills

φx∗,y∈/–intC,yA.

Assume, by contradiction, that there existsy∈Asuch thatφ(x∗,y)∈–intC. SinceintC

is open, there exists>  such that

φx∗,y

(6)

Fory∈A, by virtue ofAnA, there existynAn(n= , , . . .) such thatyny. By

(.), it follows fromynAnthat

φn(xn,yn) /∈–intC. (.)

SinceφisC-upper semi-continuous onX×Xandxnx∗,yny, there existsN≥

N() such that

φ(xn,yn) –φ

x∗,y

B◦() –C,nN. (.)

From (.), we derive

φn(xn,yn) –φ(xn,yn)∈B(), ∀nN. (.)

By (.), (.), and (.), we obtain for allnN,

φn(xn,yn) = φ

x∗,y

+φn(xn,yn) –φ(xn,yn)

+φ(xn,yn) –φ

x∗,y

φx∗,y

+B() +B◦() –C

φx∗,y

+B◦() –C

⊂–intCC⊂–intC,

which contradicts (.). Hence φ(x∗,y) /∈–intCfor allyA. Thus we have shownu:= (φ,A)M. Consequently, the inequality (.) andh(An,A)→ imply thatlimn→∞ρ(un,

u) = . Therefore, (M,ρ) is a complete metric space.

Lemma . Let f :XH be C-upper semi-continuous on X,then the set L:={xX: f(x) /∈–intC}is closed in X.

Proof LetxnLwithxnxX. We only need to provexL. Assume, by contradiction,

thatx∈/L, thenf(x)∈–intC. Note that –intCis open, there exists>  such thatf(x) + B◦()⊂–intC. Sincef :XHisC-upper semi-continuous atxandxnx, there exists

N>  such that, for anyn>N, we havef(xn)∈f(x) +B◦() –C⊂–intCC⊂–intC. But

it follows fromxnLthatf(xn) /∈–intC, which is a contradiction. The proof is complete.

For eachu= (φ,A)M, by the definition ofM,VEP(φ) must have at least one solution inA,i.e.,x∗∈Asuch thatφ(x∗,y) /∈–intCfor allyA. Denote byS(u) the set of all solutions toVEP(φ) inA. Then the correspondenceuS(u) yields a set-valued mapping S:M→X.

Lemma . S:M→Xis a usco mapping.

Proof For eachu= (φ,A)M, note that

S(u) =xA:φ(x,y) /∈–intC,yA=

yA

(7)

Sinceφ isC-upper semi-continuous onX×X, it is alsoC-upper semi-continuous on A×A. Moreover,xφ(x,y) is alsoC-upper semi-continuous onA. By Lemma ., for eachyA, the set{xA:φ(x,y) /∈–intC}is closed inA. ThusS(u) is closed inA. Fur-thermore,S(u) is compact sinceAis compact.

Next, we will prove thatSis upper semi-continuous onM. We assume, by contradiction, that there existsu= (φ,A)Msuch thatSis not upper semi-continuous atu, then there exists an open neighborhoodGinXwithGS(u) such that, for eachn= , , . . . and each open neighborhoodUn={u= (φ,A)∈M:ρ(u,u) <n}ofu, there existun= (φn,An)∈

UnandxnS(un) butxn∈/G.

Sinceun= (φn,An)∈Unfor eachn= , , . . . , we haveρ(un,u) <n→. Then

φnφ and AnA. (.)

It follows fromxnS(un) thatxnAnand

φn(xn,y) /∈–intC,yAn. (.)

By Lemma .(i),+n=AnAis compact due to the compactness ofAnandA. Note that

{xn}+n=∞⊂ +∞

n=AnA. Without loss of generality, we suppose that{xn}+n=∞is convergent.

Moreover, by Lemma .(ii), the limitx∗of{xn}n+=∞belongs toA,i.e.,xnx∗∈A.

Mean-while,xn∈/GandGis open, thusx∗∈/G. SinceS(u)G, we havex∗∈/S(u). Consequently,

there existsyAsuch thatφ(x∗,y)∈–intC. Note that –intCis open; then there exists

>  such that

φx∗,y+B◦()⊂–intC. (.)

SinceAnAandyA, there exists a sequence{yn}+n=∞ such thatynAnandyny.

Sinceφnφ, there existsN>  such that, for anynN,

φn(xn,yn) –φ(xn,yn)∈B

. (.)

Moreover,φisC-upper semi-continuous onX×Xas well asxnx∗,yny, hence there

existsN>Nsuch that, for anynN,

φ(xn,yn) –φ

x∗,yB

C. (.)

By (.)-(.), we have for anynN, φn(xn,yn) =φ

x∗,y+φn(xn,yn) –φ(xn,yn)

+φ(xn,yn) –φ

x∗,y

φx∗,y+B

+B

C

=φx∗,y+B◦() –C⊂–intCC⊂–intC,

which is in contradiction with (.). Therefore,Smust be upper semi-continuous onM.

(8)

Theorem . There exists a dense everywhere residual subset Q of M such that S(u)is a singleton for each u= (φ,A)Q,that is,VEP(φ)has a unique solution in A.

Proof By Lemma .,Mis a complete metric space, so it is a Baire space. SinceS:M→X

is a usco mapping (Lemma .) andXis a metric subspace, by Lemma ., there exists a dense everywhere residual subset QofMsuch thatSis lower semi-continuous at each u= (φ,A)Q.

Assume, by contradiction, thatS(u) is not a singleton for someu= (φ,A)∈Q. Then

there exist at least two pointsx,x∈S(u)⊂Awithx=x. Consequently, there exist

two open subsetsUandVinXsuch thatx∈U,x∈VandUV=∅.

Define a functiong:X→Ras follows:

g(x) = d(x,x) d(x,x) +d(x,X\U)

, ∀xX,

wheredis the metric onX. Note thatg is continuous onX; g(x)≤ for allxX; g(x) =  if and only ifx=x;g(x) =  for allxV.

Takez∈–intC. For eachn= , , . . . , letφn:X×XHbe defined by

φn(x,y) =φ(x,y) +

ng(x)

z,x,yX.

Furthermore, define

un= (φn,A).

For eachn= , , . . . , we will proveunM.

(i) It is easy to check thatφnisC-upper semi-continuous onX×X;

(ii) For any x,yX with x=y, suppose φn(x,y) /∈–intC. Then we can claim that

φ(x,y) /∈–intC. Otherwiseφ(x,y)∈–intC. Note that [ng(x)]z∈–C, then

φn(x,y) =φ(x,y) +

ng(x)

z∈–intCC⊂–intC,

which is a contradiction. By theC-strictly-quasi-monotonicity ofφandφ(x,y) /∈–intC,

we getφ(y,x)∈–C. Hence

φn(y,x) =φ(y,x) +

ng(y)

z∈–C–C⊂–C.

That is,φnisC-strictly-quasi-monotone onX×X.

(iii)sup(x,y)X×Xφn(x,y) ≤sup(x,y)∈X×(x,y)+n· z< +∞.

(iv) Fromx∈S(u) andg(x) = , we derive

φn(x,y) =φ(x,y) +

ng(x)

z=φ(x,y) /∈–intC,yA,

(9)

Thus we have shownunMfor eachn= , , . . . . Consequently,ρ(un,u)≤n· z →

asn→ ∞.

Note thatx∈VS(u), thenVS(u)=∅. SinceSis lower semi-continuous atuand

unu, there exists a positive integern>  big enough such thatVS(un)=∅. Take

xnVS(un), then we havexnVA,g(xn) =  andφn(xn,y) /∈–intCfor any

yA. Takey=x(∈A), then we get

φ(xn,x) +

n

z=φ(xn,x) +

n

g(xn)

z=φn(xn,x) /∈–intC. (.)

Note that nz∈–intC. Ifφ(xn,x)∈–C, thenφn(xn,x)∈–C–intC⊂–intC, which

contradicts (.). Hence we have

φ(xn,x) /∈–C. (.)

Since x∈S(u), we have φ(x,y) /∈–intC for any yA. Taking y=xn (∈A), we

get φ(x,xn) /∈ –intC. It follows from the C-strictly-quasi-monotonicity of φ that φ(xn,x)∈–C, which is in contradiction with (.). Therefore,S(u) must be a singleton

for eachuQ.

WhenH=R,C= [, +∞), we get Corollary . as follows. Corollary . Let

M=

⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩

u= (f,A) :

f:X×X→Ris upper semi-continuous on X×X; f is pseudo-monotone on X×X;

sup(x,y)X×X|f(x,y)|< +∞;

A is a nonempty compact subset of X; andxA such that f(x,y)≥,∀yA

⎫ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎬ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎭

,

where f is called pseudo-monotone(see[])on X×X iff for any x,yX with x=y, f(x,y)≥ ⇒ f(y,x)≤.

Then there exists a dense everywhere residual subset Qof Msuch that,for each u= (f,A)Q,f has a unique equilibrium point in A.

Remark . Corollary . generalized Theorem . of [], one of main results of [], as regards the following four aspects:

(i) we do not require the convexity of functionfM;

(ii) we do not require the convexity and linear structure of the setX; (iii) we omit the requirement thatf(x,x)≥for allxX;

(iv) we replace the monotonicity off by pseudo-monotonicity which is weaker than the former.

4 Well-posedness of VEPs

(10)

consider Tykhonov well-posedness of a problem, one introduces the notion of ‘approxi-mating sequence’ for the solution and requires some convergence of such sequences to a solution of the problem; while, Hadamard well-posedness of a problem means the con-tinuous dependence of the solutions on the data or the parameter of the problem; as for Levitin-Polyak well-posedness, we mean the convergence of the approximating solution sequence to a solution of the problem with some constraints; for more details to see [– ]. In this section, we will investigate the Hadamard well-posedness of VEPs.

Definition . Let uM. () The VEP associated with u is said to be generalized Hadamard well-posed iff for anyunMand anyxnS(un),unuimplies that{xn}has

a subsequence converging to an element ofS(u); () The VEP associated withuis said to be Hadamard well-posed iffS(u) ={x}(a singleton) and for anyunMand anyxnS(un),

unuimplies that{xn}converges tox.

Theorem . For each u= (φ,A)M,the VEP associated with u is generalized Hadamard well-posed.

Proof Letun= (φn,An)∈M,xnS(un), andunu. Note thatAnAbecauseunu.

According to Lemma .(i), it follows from the compactness ofAnandAthat +∞

n=AnA

is compact. SincexnS(un)⊂+n=∞AnA, there exists a convergent subsequence{xnk}of

{xn}. Moreover, by Lemma .(ii), the limit pointx∗of{xnk}belongs toA,i.e.,xnkx∗∈A. By Lemma .,Sis upper semi-continuous atuandS(u) is compact.

Ifx∗∈/S(u), then there exists an open setOinXsuch thatOS(u) andx∗∈ ¯/O. SinceSis upper semi-continuous atuandunu, there is a positive integerNsuch thatOS(un)

for allnN. FromxnkS(unk)⊂Ofor allnkN andxnkx

, it follows thatx∈ ¯O, which is a contradiction. Hencex∗∈S(u). The proof is complete. Theorem . There exists a dense everywhere residual subset Q of M such that,for each u= (φ,A)Q,the VEP associated with u is Hadamard well-posed,that is,VEPs in M are generic Hadamard well-posed.

Proof By Theorem ., there exists a dense everywhere residual subsetQofMsuch that, for eachuQ,S(u) is a singleton.

Letu= (φ,A)QandS(u) ={x}. SupposeunM,xnS(un), andunu. We shall

provexnx. If it is not true, then there exist an open neighborhoodOofxand a

sub-sequence{xnk} such thatxnk ∈/ O. By Theorem ., the VEP associateduis generalized Hadamard well-posed. SinceS(u) ={x},{xnk}has a subsequence converging tox, which

contradictsxnk∈/O.

5 A representation theorem of the solution set to VEPs

In this section, we use the limits of the solutions to VEPs, each of which has a unique solu-tion, to provide an interesting representation of the solution set of each VEP inM, which in forms is very similar with the Clarke subdifferentials of the local Lipschitz functions.

Denote by

(11)

By Theorem .,P=∅. It is clear thatPis the largest dense everywhere residual subset (ordered by the set inclusion) ofMsuch that, for eachuP,S(u) is a singleton and the VEP associated withuis Hadamard well-posed.

Theorem . For each u= (φ,A)M, S(u) =

lim

n xn:xnS(un),unP,unu

. (.)

Proof The right-hand side of (.) means that we only consider such sequences{xn}and

{un}satisfying that{un} ⊂P;{un}converges tou;xnis the unique point ofS(un); and that

{xn}is convergent.

SincePis dense inMandu= (φ,A)M, there exists{un= (φn,An)} ⊂Psuch that{un}

converges tou. By the definition ofP,S(un) has a unique point, denoted byxn. Note that

{xn} ⊂

+∞

n=AnA, as well asAnandAare compact andAnA, due to Lemma .,

{xn}or its subsequence converges to a point ofA. Hence the right-hand side set of (.) is

well-defined and nonempty.

First, supposeunP,xnS(un),unuandxnx. By Theorem ., the VEP

asso-ciated withuis generalized Hadamard well-posed. It follows fromxnxthatxS(u).

HenceS(u)⊃ {limnxn:xnS(un),unP,unu}.

Next, letx∗∈S(u). Define a functiong:X→Ras follows:

g(x) = d(x,x)

 +d(x,x∗), ∀xX,

where dis the metric onX. Note thatg is continuous onX; g(x) <  for allxX; g(x) =  if and only ifx=x∗.

Takez∈–intC. For eachn= , , . . . , define

φn(x,y) :=φ(x,y) +

ng(x)

z,x,yX and un:= (φn,A).

Same as in the proof of Theorem ., one can check thatunMandx∗∈S(un) for each

n= , , . . . , and thatunuasn→ ∞. Moreover, we shall show thatS(un) is a singleton,

and henceS(un) ={x∗}for eachn= , , . . . . By way of contradiction, assume thatS(un) is

not a singleton for someun= (φn,A). Then there existsxS(un)⊂Awithx=x∗. It

follows fromx∗∈S(u) thatφ(x∗,x) /∈–intC. By theC-strictly-quasi-monotonicity ofφ, we getφ(x,x∗)∈–C. Note thatg(x) >  and [ng(x)]z∈–intC. Then

φn

x,x∗:=φx,x∗+

n

gxz∈–C–intC⊂–intC.

But it follows from xS(un) that φn(x,x∗) /∈–intC, which is a contradiction. Thus

S(un) ={x∗}for eachn= , , . . . .

Takexn=x∗ for eachn= , , . . . , then we haveunP,unu, xnS(un), andx∗= limnxn. From the arbitrariness ofx∗∈S(u), we derive

S(u)

lim

n xn:xnS(un),unP,unu

.

(12)

6 Conclusions

In this paper, we considered a class of vector equilibrium problems. By considering the perturbations of vector-valued functions and feasible sets, we proved that each of the problems is generalized Hadamard well-posed, and that in the sense of Baire category, most of the problems have unique solution and are Hadamard well-posed. As an appli-cation, an interesting representation theorem for the solution set to each of the problems was provided.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

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

Author details

1College of Science, Guizhou University, Guiyang, Guizhou 550025, China.2School of Science, Beijing Jiaotong University,

Beijing, 100044, China.

Acknowledgements

The first author was supported by the NSFC (11271098), the Science and Technology Foundation of Guizhou Province (20102133), and the Scientific Research Projects for the Introduced Talents of Guizhou University (201343). The third author was supported by the National Basic Research Program of China (2010CB732501) and the NSFC (71271021). The authors, therefore, acknowledge these supports.

Received: 1 December 2013 Accepted: 22 April 2014 Published:09 May 2014 References

1. Giannessi, F (ed.): Vector Variational Inequalities and Vector Equilibria: Mathematical Theories. Kluwer Academic, Dordrecht (2000)

2. Chen, GY, Huang, XX, Yang, XQ: Vector Optimization: Set-Valued and Variational Analysis. Springer, Berlin (2005) 3. Khanh, PQ, Tung, LT: Local uniqueness of solutions to Ky Fan vector inequalities using approximations as derivatives.

J. Optim. Theory Appl.155, 840-854 (2012)

4. Kenderov, PS: Most of the optimization problems have unique solution. C. R. Acad. Bulgare Sci.37, 297-299 (1984) 5. Beer, G: On a generic optimization theorem of Petar Kenderov. Nonlinear Anal. TMA12, 627-655 (1988) 6. Kenderov, PS, Ribarska, NK: Most of the two person zero-sum games have unique solution. In:

Workshop/Mini-Conference on Functional Analysis and Optimization, Canberra, pp. 73-82 (1988) 7. Tan, KK, Yu, J, Yuan, XZ: The uniqueness of saddle points. Bull. Pol. Acad. Sci., Math.43, 119-129 (1995) 8. Milchtaich, I: Generic uniqueness of equilibrium in large crowding games. Math. Oper. Res.25, 349-364 (2000) 9. Yu, J, Peng, DT, Xiang, SW: Generic uniqueness of equilibrium points. Nonlinear Anal. TMA74, 6326-6332 (2011) 10. Peng, DT, Yu, J, Xiu, NH: Generic uniqueness theorems with some applications. J. Glob. Optim.56, 713-725 (2013) 11. Lucchetti, R, Revalski, JP (eds.): Recent Developments in Well-Posed Variational Problems. Kluwer Academic,

Dordrecht (1995)

12. Yang, H, Yu, J: Unified approaches to well-posedness with some applications. J. Glob. Optim.31, 371-381 (2005) 13. Lucchetti, R: Convexity and Well-Posed Problems. Springer, New York (2006)

14. Huang, XX, Yang, XQ: Generalized Levitin-Polyak well-posedness in constrained optimization. SIAM J. Optim.17, 243-258 (2006)

15. Yu, J: On well-posed problems. Acta Math. Appl. Sin.34, 1007-1022 (2011)

16. Fang, YP, Hu, R, Huang, NJ: Well-posedness for equilibrium problems and for optimization problems with equilibrium constraints. Comput. Math. Appl.55, 89-100 (2008)

17. Kimura, K, Liou, Y-C, Wu, S-Y, Yao, J-C: Well-posedness for parametric vector equilibrium with applications. J. Ind. Manag. Optim.4, 313-327 (2008)

18. Bianchi, M, Kassay, G, Pini, R: Well-posedness for vector equilibrium problems. Math. Methods Oper. Res.70, 171-182 (2009)

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

20. Salamon, J: Closedness and Hadamard well-posedness of the solution map for parametric vector equilibrium problems. J. Glob. Optim.47, 173-183 (2010)

21. Peng, JW, Wang, Y, Wu, SY: Levitin-Polyak well-posedness of generalized vector equilibrium problems. Taiwan. J. Math.

15, 2311-2330 (2011)

22. Yang, H, Yu, J: Essential components of the set of weakly Pareto-Nash equilibrium points. Appl. Math. Lett.15, 553-560 (2002)

23. Fan, K: A minimax inequality and applications. In: Shisha, O (ed.) Inequalities III, pp. 103-113. Academic Press, New York (1972)

24. Tan, KK, Yu, J, Yuan, XZ: The stability of Ky Fan’s points. Proc. Am. Math. Soc.123, 1511-1519 (1995)

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

(13)

27. Fort, MK: Points of continuity of semi-continuous functions. Publ. Math. (Debr.)2, 100-102 (1951)

28. Yu, J: Essential weak efficient solution in multiobjective optimization problems. J. Math. Anal. Appl.166, 230-235 (1992)

29. Xiang, SW, Yin, WS: Stability results for efficient solutions of vector optimization problems. J. Optim. Theory Appl.134, 385-398 (2007)

30. Bianchi, M, Schaible, S: Equilibrium problems under generalized convexity and generalized monotonicity. J. Glob. Optim.30, 121-134 (2004)

10.1186/1687-1812-2014-115

References

Related documents

Fragment to argue, firstly, that its primary theme is not general intellect, but fixed capital; sec- ondly, that its emphasis on fixed capital is unduly narrow and

This has rendered further subgroup analyses (e.g. age, gender, socioeco- nomic influences) less fruitful against our aim and the backdrop of updating the evidence base on ethnic

sions regarding the effect of acute treatment for prenatal common mental disorders on offspring could be made, given that the majority of the studies that were included in this

Discrimination of movement of different parts of the reproductive tract shows that the ovarioles, the peritoneal sheath of the ovary, oviduct and spermatheca all generate

Unlike technologies used to secure physical goods, these technological constraints occur in the context of cultural and informational content basic to human flourishing, a

This interpretation of evolution differs from its interpretation in statistical thermodynamics, when the universe is considered as a (multi-phase) closed system, in which no phase

Consistent with expression in immature glial cells in the germinal zones, Notch signaling is required for prevent- ing neuronal differentiation and promoting neural stem cell

In the first stage, we fit models based on the 64 combinations of seasonality (low season is January through June), vaccine-derived immunity for type 1 poliovirus, under-