# Noncompact Equilibrium Points for Set-Valued MapsAcademic research paper on "Mathematics"

CC BY
0
0
Share paper
Abstract and Applied Analysis
OECD Field of science
Keywords
{""}

## Academic research paper on topic "Noncompact Equilibrium Points for Set-Valued Maps"

﻿Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2014, Article ID 959612, 4 pages http://dx.doi.org/10.1155/2014/959612

Research Article

Noncompact Equilibrium Points for Set-Valued Maps

Souhail Chebbi and Bessem Samet

Department of Mathematics, College of Science, KingSaud University, P.O. Box 2455, Riyadh 11451, Saudi Arabia Correspondence should be addressed to Souhail Chebbi; schebbi@ksu.edu.sa Received 23 August 2013; Accepted 17 January 2014; Published 25 March 2014 Academic Editor: Hichem Ben-El-Mechaiekh

Copyright © 2014 S. Chebbi and B. Samet. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We prove a generalized result on the existence of equilibria for a monotone set-valued map defined on noncompact domain and take its values in an order of topological vector space. As consequence, we give a new variational inequality.

1. Introduction

In the literature, the notion of an equilibrium point (or equilibrium problem) has been firstly introduced by Kara-mardian in [1] and Allen in [2]. By using the well-known KKM principle, they proved that for a real valued function f defined on a product of two sets X and Y, there exists an element x of X, which will be called an equilibrium point, satisfying for all y e X:

f(x,y)>0. (1)

The classical hypothesis used to prove this type of equilibrium result concerns the convexity and compactness of the domain X, the monotonicity, the convexity, and the continuity of f and all extensions of this result obtained in the literature are about these hypotheses. In a recent work (see [3]), this result was extended to the noncompact case by using a coercivity type condition on a bifunction f. In this context the function f is supposed to take its values in a topological vector space endowed with an order defined by a cone C in the same way that has been used by [4-7]. Note that the result on the existence of equilibrium points proved in [3] was obtained via a result on the existence of what we called weak equilibrium points, that is, a point x e X, satisfying the following condition:

f(x,y)t- int C, VyeX, (2)

where int C denotes the interior of the cone C in Y.

In this paper, we investigate the extension of equilibrium points to set-valued maps F in the same context. Generally,

we have many choices to formulate the notion of equilibrium point. In fact, if P is a closed convex cone of a topological vector space Y with nonempty interior, (P = Y), and F : X x X ^ Y is a set-valued map, then the equilibrium point for a set-valued map can be extended in several possible ways (see [8, 9]) as follows: F(x,y) cP; F(x,y)n- int P = 0; F(x,y) £ - int P; F(x, y)(lP = 0. In this paper, we select the one that will be more adapted technically to our arguments. We will put a "moving" order on Y by a cone and the notions of convexity and continuity are naturally extended in our setting. We will use the pseudomonotonicity condition on F borrowed from [10]. As an application, we prove a variational inequality. The results obtained in this paper generalize the corresponding one in [9,10].

2. Preliminaries

We extend the notions of convexity, monotonicity, and continuity given previously to set-valued maps. If X and Y are two sets, a set-valued map F : X ^ 2Y, where 2X denotes the family of all subsets of X, is a map that is assigned to each x e X, a subset F(x) £ Y. Note that for the notation of set-valued maps, we will simply write F : X ^ Y instead of F:X ^ 2y.

We firstly need to define an order on the codomain of set-valued maps as it has done for single valued maps. If X is a subset of some real topological vector space E, let Y be another real topological vector space, and let C £ Y be a closed convex cone (not necessarily pointed) with nonempty

interior and C = Y. Then C defines an ordering "t" on Y by means of

yt0 ^^ y eC, y>0 ^^ y e int C. (3) We extend this notation to arbitrary subset S c Y by setting StO^ScC, S>0^Sc int C,

SQ-C, S<0

S Q- int C.

By using this order, we naturally extend the notion of convexity for set-valued maps as follows.

Definition 1. Given a set-valued map F : X ^ Y defined on a vector space X with values in a vector space Y endowed with an order defined by a convex cone C c Y,we say that F is convex with respect to C if for all x,yeX and a e [0,1]:

F (ax + (1 - a) y) < aF (x) + (1 - a) F (y),

which means that

F(ax + (l-a)y) çaF (x) + (I - a) F (y) - C. (6)

Note that in particular, if X = Y = R and C = R+, we obtain the standard definition of convex set-valued maps.

As in the case of single valued maps, we can find many kinds of monotonicity for set-valued maps in the literature. We will use the notion of pseudomonotonicity defined in [10] which in turn extends the corresponding one defined in [7] for single valued maps.

Definition 2. Let E and Y be two real topological vector spaces, let X c E be a nonempty closed and convex set, and let C : X ^ Y be a set-valued map such that for every x e X, C(x) is a closed and convex cone in Y with int C(x) = 0. Consider a set-valued map F : X x X ^ Y. F is said to be pseudomonotone if, for any given x,y e X,

In this paper, we will use the definition of coercing family borrowed from [11].

Definition 4. Consider a subset X of a topological vector space and a topological space Y. A family {(C,, Ki)}i€l of pair of sets is said to be coercing for a set-valued map F : X ^ Y if and only if

(i) for each i e I, C, is contained in a compact convex subset of X and K, is a compact subset of Y;

(ii) for each i, j e I, there exists k e I such that C; U Cj C

(iii) for each i e I, there exists k e I with Hxzck F(x) c

Remark 5. Definition 1 can be reformulated by using the "dual" set-valued map F* : Y ^ X defined for all y e Y by F*(y) = X \ F-1(y). Indeed, a family {(Ci,Ki)}ier is coercing for F if and only if it satisfies conditions (i), (ii) of Definition 4, and the following one:

Vi el, 3k el, Vy eY\ K,, F* (y) nCk = 0. (8)

Note that in the case where the family is reduced to one element, condition (iii) of Definition 4 and in the sense of Remark 5 appeared first in this generality (with two sets K and C) in [12] and generalized condition of Karamardian [1] and Allen [2]. Condition (iii) is also an extension of the coercivity condition given by Fan [13]. For other examples of set-valued maps admitting a coercing family that is not necessarily reduced to one element, see [11].

The following generalization of KKM principle obtained in [11] willbe used in the proof of the main result of this paper.

Proposition 6. Let E be a Hausdorff topological vector space,

Y aconvexsubsetof E, X anonemptysubsetofY,andF : X ^

Y a KKM map with compactly closed values in Y (i.e., for all x e X, F(x) nC is closed for every compact set C of Y). If F admits a coercing family, then H^x = &

F (x, y)i- int C(x)=^F(y,x)ç-c (y). (7) 3. The Main Result

We recall the classical notions of continuity for set-valued maps as follows.

Definition 3. Given a set-valued map F : X ^ Y defined on a vector space X with values in a vector space Y. Then

(1) F is said to be lower semicontinuous (l.s.c) at x0 e X if, for every open set V CY with F(x0) nV = 0, there exists a neighborhood U c X of x with F(x) nV = 0 for all x e U. F is said to be l.s.c. on X if F is l.s.c. at every x e X.

(2) F is said to be upper semicontinuous (u.s.c) at x0 e X if, for every open set V c Y with F(x0) c V, there exists a neighborhood set U c X of x with F(x) c V for all x eU. F is said to be u.s.c. on X if F is u.s.c. at every x e X.

(3) A set-valued map which is both lower and upper semicontinuous is called continuous.

As it is mentioned in the introduction, at an abstract level all possible extension of equilibria can be handled equally well. But there are great practical differences if we try to replace the resulting abstract conditions by simpler, verifiable hypotheses like convexity or semicontinuity. This is even more so if we admit a "moving" ordering cone P(x) (see [10]). For these reasons we choose to consider here the following generalized equilibrium problem.

Definition 7. Let X be a nonempty convex subset of some real topological vector space E, Y a real topological vector space, and P : X ^ Y a set-valued map such that for any x e X, P(x) is a closed convex cone with int P(x) = 0 and P(x) = Y. Let F : X x X ^ Y be a set-valued map. The generalized equilibrium problem is to find x e X such that

F (x, y)c- int P (x) Vy eX; (9)

in this case, x is said to be an equilibrium point.

Theorem 8. Let E and Y be real topological vector spaces (not necessarily Hausdorff). Let a nonempty, convex set X ç E and three set-valued mappings F : XxX ^ Y, C : X ^ Y, and D : X ^ Y be given. Suppose that the following conditions are satisfied.

(1) For all x,y e X, F(x, y) Ç C(x) implies F(y, x) ç D(y) (pseudomonotonicity).

(2) For all y e X, [x e X : F(y, x) ç D(y)} is closed in X.

(3) For all x e X, [y e X : F(x, y) ç C(x)} is convex.

(4) For all x e X, F(x,x) Ç C(x).

(5) There exists a family [(Ct, K)i€l satisfying conditions (i) and (ii) of Definition 4 and the following one: for each i e I, there exists k e I such that

{x6X:F(y,x)cD(y),VyeCk}cK,

Then there exists x e X such that F(y,x) c D(y) for all y e X.

Proof. Let us consider a set-valued map S : X ^ Y defined for every y e X by

S(y):={xeX:F (y, x) ç D (y)}.

Then we can see firstly that S is a KKM map; that is, for every finite subset {y1,..., yn} of X there holds

co{yi,...,yn} ç ^M.

In fact, let z e co[yl,..., yn} and assume by contradiction that z i Un=i ^(y); it means that z = £ieI Aiyi with Xi > 0, Z>£I = 1 and z i S(y{) for all i. Then F(yi,z) Ç D(yt) for all i, hence from condition (1) F(z,yi) ç C(z) for all i. It follows from condition (3) that F(z, £ieI Xiyi) ç C(z), and then F(z, z) ç C(z), which contradicts condition (4); thus S is a KKM map.

It is also clear from condition (2) that, for all y e X, S(y) is closed.

In addition, we can verify that condition (5) implies that the family [(Cit K)}i€l satisfies the following condition: for all i e I there exists k e I with

^S(y)cKi.

We deduce that S satisfies all hypothesis of Proposition 6, so we have

Therefore there exists x e X such that for any y e X, x e S(y). Hence

F(y,x)çD(y), VyeX.

(15) □

Theorem 9. Let E, Y, X, F, C, and D satisfy the assumptions of Theorem 8 and the additional following conditions.

(6) For all x,yeX with y = x and u e (x, y) if F(u, x) c D(u) and F(u,y) c C(u), then F(u, v) c C(u) for all v e (x, y).

(7) For all x,yeX with y = x,{u e [x, y] : F(u, y) c C(u)} is open in [x, y].

Then there exists x e X such that F(x, y) c C(x) for all y eX.

Proof. By Theorem 8, there exists x e X with F(y, x) c D(y) for all y e X. Assume that F(x, y) c C(x) for some y e X; then y = x by (6) and from (7) there exists u e (x,y) such that F(u,y) c C(u). Since F(u,x) c D(u), we deduce that F(u,u) c C(u), but this contradicts (6) and the theorem is proved. □

The following result, which corresponds to Theorem 1 in [10], can be deduced from the two previous theorems.

Corollary 10. Let F, C, D satisfy hypothesis (1-4) of Theorem 8, (6, 7) of Theorem 9 and the following condition.

(5') There exists a nonempty compact set A c X and a compact convex set B c X such that for every x e X\ A there exists y e B with F(x, y) c C(x).

Then there exists x e A such that F(x, y) c C(x) for all y eX.

Proof. By taking for all i e I, Ct = B, which is convex compact set, and Kt = A, which is compact set, and by using hypothesis (5'), we can see that S admits a coercing family in the sense of Remark 5; that is, for all x e X \ A, S*(x)nB = 0. Suppose, per absurdum, that there exists x0 e X \ A with S*(x0) n B = 0. Hence for all y e B, y i S*(x0). This means that for all y e B, ye S-1(x0) and so x0 e S(y). Therefore, there exists x0 e X\ A such that for all y e B,we have

F(y,x0)çD(y).

Then by Theorem 9, we deduce that there exists x0 e X\A such that for all y e B

F (x0, y)çC (x0), but this contradicts hypothesis (5').

Corollary 11. Let F : XxX ^ Y be a set-valued map satisfy the following conditions.

(1) For all x,y e X, F(x, y) ç - int P(x) implies F(y, x) ç -P(y).

(2) For all y e X, F(y, ■) is lower semicontinuous.

(3) For all x e X, F(x, ■) is convex with respect to P(x).

(4) The map int P(x) has open graph in XxY.

(5) For all x,y e X, F(■, y) is upper semicontinuous and compact valued on [x, y].

(6) For all xeX, F(x, x) ç - int P(x).

(7) There exists a family {Ciy Kt] i€l satisfying conditions (i) and (ii) of Definition 4 coercing and the following one. For each i e I, there exists k e I such that

[xeX:F(y,x)c -P (y) ,VyeCk}c K, (18)

Then there exists x e X such that F(x, y) i - int P(x) for all y eX.

Proof. Following [10], if the map F(y, ■) is lower semicontin-uous and D(y) is closed, then condition (7) of Theorem 9 is satisfied. Furthermore and also by [10], condition (7) of Theorem 9 is fulfilled, if for all x e X, the map F(■, x) is upper semicontinuous along line segments [x, y] i X with compact values, and the map C(^) has open graph in XxY. □

Now let L : X ^ Z denote the space of all continuous linear operators X ^ Z. For 0 e L(X, Z), we write x) : cp(x) and for O i L(x, Z), we write (O, x) := {(\$, x) : \$ e Oj. The following result is a variational inequality formulation of our main result.

Corollary 12. Let a map O:K ^ L(X,Z) be given such that for all x e K, O(x) is nonempty. Suppose the following.

(1) For all x,y e K, (O(x),y - x) i - int P(x) implies (O(y),x-y) i -P(y).

(2) The map int P() has open graph in K x Z.

(3) For all x,y e K, (O(-), y-x) is upper semicontinuous on [x, y] and compact valued.

(4) There exists a family {Ct, Kiji€l satisfying conditions (i) and (ii) of Definition 4 and the following one: for each i e I, there exists k e I such that

jieX: (O(y),x-y) i -P(y),Vy e Ck} i Kt. (19)

Then there exists x e X such that (O(x), y-x)) i - int P(x) for all y e K.

Proof. Take F(x,y) := (O(x),y - x), C(x) := - int P(x),and D(x) := -P(x). Then conditions (1) and (5) of Theorem 9 are clearly satisfied. (2) holds since each member of O(y) is continuous and D(y) is closed. (4) is satisfied since F(x, x) = {0} and P(x) = Z. (3) and (6) hold since for all a e [0,1]:

F (x, <xy1 + (1 - a) y2) i aF (x, y1) + (1 - a) F (x, y2).

To verify hypothesis (7), we have to show that R = {u e [x, y] : (O(u),y - u)j is closed in [x, y]. Let {Ujj be a net in R converging to u e [x, y]; we may assume u = y, since y e R, and we may assume ut = y for all i as well. Thus y-u = A(y - x) with X=0 and y - ut = Xt(y - x) with A; = 0. For every i, there exists wt e (O(u) y - ut) with wt i - int P(ui); then Zj = X-1wi e (O(Uj), y-x). We conclude as above that there is a subnet Zj converging to some z e (O(u), y-x). The corresponding Wj converges to w = Az(O(u),y - u), since - int P() has open graph; we obtain w i - int P(u); hence ueR. □

Note that Corollaries 11 and 12 extend, respectively, Corollaries 1 and 2 in [10] obtained in noncompact case since our coercivity condition is more general.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The authors extend their appreciation to the Deanship of Scientific Research at King Saud University for funding the work through the research group Project (RGP-VPP 237).

References

[1] S. Karamardian, "Generalized complementarity problem," Journal ofOptimization Theory andApplications, vol. 8, pp. 161-168, 1971.

[2] G. Allen, "Variational inequalities, complementarity problems, and duality theorems," Journal of Mathematical Analysis and Applications, vol. 58, no. 1, pp. 1-10,1977.

[3] Z. Al-Rumaih, S. Chebbi, and H. K. Xu, "Non-compact equilibrium point and applications," Journal of Applied Mathematics, vol. 2012, Article ID 373462, 9 pages, 2012.

[4] M. Bianchi, N. Hadjisavvas, and S. Schaible, "Vector equilibrium problems with generalized monotone bifunctions," Journal of Optimization Theory and Applications, vol. 92, no. 3, pp. 527-542,1997.

[5] M. Bianchi and S. Schaible, "Generalized monotone bifunctions and equilibrium problems," Journal ofOptimization Theory and Applications, vol. 90, no. 1, pp. 31-43,1996.

[6] E. Blum and W. Oettli, "From optimization and variational inequalities to equilibrium problems," The Mathematics Student, vol. 63, no. 1-4, pp. 123-145,1994.

[7] N. X. Tan and P. N. Tinh, "On the existence of equilibrium points of vector functions," Numerical Functional Analysis and Optimization, vol. 19, no. 1-2, pp. 141-156, 1998.

[8] G. Y. Chen, "Existence of solutions for a vector variational inequality: an extension of the Hartmann-Stampacchia theorem," Journal ofOptimization Theory and Applications, vol. 74, no. 3, pp. 445-456,1992.

[9] Q. H. Ansari, W. Oettli, and D. Schläger, "A generalization of vectorial equilibria," Mathematical Methods of Operations Research, vol. 46, no. 2, pp. 147-152,1997.

[10] W. Oettli and D. Schläger, "Existence of equilibria for monotone multivalued mappings," Mathematical Methods of Operations Research, vol. 48, no. 2, pp. 219-228, 1998.

[11] H. Ben-El-Mechaiekh, S. Chebbi, and M. Florenzano, "A generalized KKMF principle," Journal of Mathematical Analysis and Applications, vol. 309, no. 2, pp. 583-590, 2005.

[12] H. Ben-El-Mechaiekh, P. Deguire, and A. Granas, "Points fixed et coincidences pour les applications multivoque (application de Ky fan)," Comptes Rendus des Seances de l'Académie des Sciences I, vol. 295, no. 3, pp. 257-259,1982.

[13] K. Fan, "Some properties of convex sets related to fixed point theorems," Mathematische Annalen, vol. 266, no. 4, pp. 519-537, 1984.

Copyright of Abstract & Applied Analysis is the property of Hindawi Publishing Corporation and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use.