Abstract
In this work, we study coerciveness notions and their implications to existence conditions. We start with the presentation of classical ideas of coerciveness in the framework of Optimization Theory, and, then, using a classical technical result, introduced by Ky Fan in 1961, we extend these ideas first to Optimization Problems and then to Equilibrium Problems. We point out the importance of related conditions to the introduced coerciveness notion in order to obtain existence results for Equilibrium Problems, without using monotonicity or generalized monotonicity assumptions.
Equilibrium Problems; Recession techniques; Minimization Problems
From weierstrass to ky fan theorems and existence results on Optimization and Equilibrium Problems
Wilfredo Sosa
Catholic University of Brasilia. Graduate Program in Economics, SGAN 916, office A116, Asa Norte, 70790160 Brasilia, DF, Brazil. Phone: +55(61)34487192; Fax: +55(61)33474797. Email: sosa@ucb.br
ABSTRACT
In this work, we study coerciveness notions and their implications to existence conditions. We start with the presentation of classical ideas of coerciveness in the framework of Optimization Theory, and, then, using a classical technical result, introduced by Ky Fan in 1961, we extend these ideas first to Optimization Problems and then to Equilibrium Problems. We point out the importance of related conditions to the introduced coerciveness notion in order to obtain existence results for Equilibrium Problems, without using monotonicity or generalized monotonicity assumptions.
Keywords: Equilibrium Problems, Recession techniques, Minimization Problems.
1 INTRODUCTION
In this work, we consider two problems: Minimization and Equilibrium Problems. The Minimization Problem (MP) is defined by a function h: ^{n} → ∪ {+∞} and a nonempty subset C of ^{n}, and it is formulated as
The Equilibrium Problem (EP) is defined by a nonempty subset K of ^{n} and a function : K × K → , and it is formulated as
The Equilibrium Problem appeared for the first time with this name, in 1994, in the paper of Blum and Oettli (see [6]). The interesting aspect about EP is that it has as particular cases the following problems (for more details see [6], [12], [13] and references therein):
a) The minimization problem,
b) The fixed point problem,
c) The saddle point problem,
e) The Nash equilibria problem in non cooperative games,
f) The variational inequality problem,
g) The vector minimization problem.
The solution set of MP and EP, denoted as S(MP) and S(EP), can be represented respectively as the intersection of a family of sets:
where, for each λ ∈, L_{h} (λ) = {x ∈ ^{n}: h(x) < λ} denotes the λlevel set of h, and
where, for each y ∈ K, the function ^{y} : ^{n} → R ∪ {+∞} is defined by
In 1961, Ky Fan introduced in a technical Lemma (see Lemma 1 in [9]) two sufficient conditions in order to guarantee non emptiness of the intersection of a closed set family. Also known as the KKM condition, the first condition establishes that for all finite subset {x^{1},..., x^{m} } of the index set for the set family, its convex hull co{x^{1},..., x^{m}} is a subset of the union of the corresponding sets indexed by {x^{1},..., x^{m}}. The second condition establishes the existence of at least one compact set in the family.
Regarding minimization problems, considering lower semicontinuous functions over compact sets, the Weierstrass Theorem gives the main classical existence result. In Section 3, we shall verify that, under the assumptions of h being lower semicontinuous (lsc) and the existence of at least one compact level set of h, minimization problems have solutions. In order to deal with non compact sets, recession techniques have been introduced. In this sense, several conditions have appeared in the literature such as coerciveness conditions. We observe that coerciveness conditions of a lsc function h are based on compactness of all its level sets. It can be verified, without using Ky Fan's Lemma, that the solution set of the corresponding minimization problem is exactly the intersection of all nonempty level sets of h, and, since the level sets are compact, the intersection is nonempty. It is worth mentioning that some of the results that are presented here for completeness are also in the working paper "Semicontinuous programming: existence conditions and duality scheme" [15].
With respect to equilibrium problems, Ky Fan introduced a technical Lemma to prove his famous Minimax Theorem (see [8]) that gives the main classical existence result for Equilibrium Problems, provided K is compact (2). In order to obtain existence results for equilibrium problem considering non compact sets, some conditions using recession techniques have been introduced in the literature, but all of them require generalized monotonicity assumptions, see for example ([5], [6], [12] and the reference there in).
The objective of this paper is to introduce the notion of coerciveness for the Equilibrium Problem as an extension of the classical coerciveness ideas for the Minimization Problem. In this way, we use the Ky Fan's Lemma, replacing the compactness assumption in the second sufficient condition by another one that is related to a new coerciveness notion here introduced, making use of recession techniques in order to guarantee non emptiness of the solution set of the Equilibrium Problem without using generalized monotonicity assumptions.
The outline of paper is as follows. In Section 2, we recall some basic concepts and recession tools in order to present known coerciveness ideas developed in the context of Optimization Theory. In Section 3, we introduce a new coerciveness idea for Minimization Problems, which is related to other existence conditions already appeared in the literature, considering at least one bounded level set. Some interesting results are commented and an application to the minimization quadratic functions over polyhedral sets is considered in order to recuperate the famous Frank Wolf Theorem. In Section 4, we present theoretical results on Equilibrium Problems and introduce the coerciveness notion for Equilibrium Problems. Also, some existence results are introduced and an application to saddle points for quadratic Lagrangian is considered. For this, we transform the problem of finding a saddle point of a Lagrangian function into an Equilibrium Problem in order to apply our results and so to guarantee the existence of saddle points of a quadratic Lagrangian function over polyhedral sets.
2 PRELIMINARIES
In this section, we introduce some basic concepts and tools in order to introduce a new coerciveness notion in the context of Optimization Theory.
2.1 Some basic concepts and notations
Now, we introduce some basic concepts as well as their respective notations that will be used hereafter. Denote by the whole extended real line ∪{ ∞, + ∞}. Given a function h : ^{n} → R, the effective domain of h is defined as dom(h) = {x ∈ ^{n}: h(x)< +∞}. The function h is proper if dom(h) = Ø and h(x) >  ∞ ∀x ∈ ^{n}. For each λ ∈ , the epigraph of h is defined by epi(h) = {(x, λ) ∈ ^{n} ×: h(x) < λ}. The function h is convex if epi(h) is convex in ^{n} × . The function h is quasi convex if L_{h}(λ) is convex for all λ ∈ . The function h is lower semicontinuous (lsc in short) if L_{h}(λ) is closed for all λ ∈ , while h is upper semicontinuous (usc in short) if  h is lsc. The function h is upper hemicontinuous if h is usc in the segment lines of dom(h).
2.2 Some recession tools
The key for developing recession techniques is the concept of recession sets (see Definition 2.1.1[3]). Given a set K ⊂ ^{n}, the recession set of K is defined by:
where ↓ means that the sequence converges to zero and t_{n} > 0 ∀_{n}.
By convention, the recession set of the empty set is the singleton {0} (i.e. (Ø)^{∞}={0}). Thus, we have the following key property (see Proposition 2.1.2 in [3]):
In case K is also a nonempty closed convex subset of ^{n}, it is known that for any x_{0} ∈ K
Note that definition (7) considers only the vectorial structure where as definition (5) considers vectorial and topological structures.
Now, we enumerate some basic results on recession sets that will be useful in the sequel. Let K, K_{1} and K_{2} be subsets in ^{n}.
1. K_{1} ⊂ K_{2} implies ⊂ ;
2. (K + x)^{∞}= K^{∞ }for all x ∈ ^{n};
3. Let (K_{i}), i ∈ I, be any family of nonempty sets in ^{n}, then
If, in addition, each set is convex and closed and ∩
_{i∈I}
K_{i}
= Ø, then we obtain an equality in the previous inclusion.
Additional properties of the recession set C^{∞ }of a set C are the following (see Proposition 2.1.1 [3]):
1. C^{∞ }is nonempty closed cone.
2. ()^{∞}= C^{∞}.
3. If C is a cone, then C^{∞} =
If C is a nonempty polyhedral set, Auslender [3] proved that if {x^{k} } ⊂ C is a sequence such that ║x^{k}║ → + ∞ and → d when k → + ∞, then for any t > 0, there exists k ∈ such that x^{k}td ∈ C (Proposition 2.3 in [2]). It is easy to see that, for each t > 0, there exists k ∈ , such that x^{k}td ∈ C as well as ║x^{k}td║< ║x^{k}║ (for more details see [2], [3] and [4]). This facts will be used later when we consider quadratic functions over polyhedral sets.
Remark 2.1. Note that the definition of K ^{∞ }is related to the theory of set convergence of PainleveKuratowski. Indeed, for a family {K_{t}}_{t>0} of subsets of ^{n}, the outer limit is the set
It can then be verified that
Given h : ^{n} →∪ {+∞}, the recession function of h denoted by h^{∞ }is defined as the function whose epigraph is the recession set of the epigraph of h, i.e., epi(h^{∞}) = (epi(h))^{∞}.
It is well known that
or equivalently
The relation between the level set of h^{∞ }for λ = 0 and any level set of h is as follows (see Proposition 2.5.3 in [3]): for any proper function h : ^{n} →∪ {+∞} and any λ ∈ , we have
where the equality holds if h is proper, convex and lsc.
Note that if L_{h∞} (0) = {0}, then from (12) we have that all level sets of the function h are bounded. Moreover if h is lsc, then all the level set are compact.
2.3 Some classical coerciveness ideas in Optimization Theory
Here we collect the main ideas about coerciveness in Optimization Theory which can be found in related books, such as, for example, [3] and [16].
Definition 2.2.[3] The function h : ^{n} → ∪ {+∞} is strong coercive if
It is evident that if h is strong coercive and lsc, then for each λ ∈ , L_{h}(λ) is compact. The converse is not true, for example, consider h(x) := .
Definition 2.3.[3] The function h : ^{n} → ∪ {+∞} is Infcompact if ∀λ ∈ , L_{h}(λ) is compact. It follows directly that, h is Infcompact if and only if h is lsc and all level sets are bounded.
Definition 2.4.[3] The function h : ^{n} → ∪ {+∞} is level bounded if ∀λ ∈ , L_{h}(λ) is bounded.
Note that if h is level bounded but not lsc, then h is not Infcompact.
Definition 2.5.[3] The function h : ^{n} → ∪ {+∞}, is zerocoercive if
It is well known that zerocoercive and level bounded notions are equivalent. Moreover, if h is lsc, then Infcompact, zerocoercive and level bounded notions are equivalent.
Note that all these coerciveness ideas require that all the level sets are bounded. Before exploiting the condition that at least one of the level set is bounded, we need to consider some simple ideas using recession techniques.
3 COERCIVENESS FOR MINIMIZATION PROBLEMS
In this section, we introduce some theoretical coerciveness ideas using recession techniques forminimization problems. At the end, we show an application of these ideas to the minimization of quadratic functions over polyhedral sets.
Let us consider first the minimization of a function h : ^{n} → ∪ {+∞} and the corresponding solution set denoted by S(h) := {x ∈ ^{n}: h(x) < h(y) ∀y ∈ ^{n}}. Note that S(h) = L_{h}(h(x)), moreover, if λ = inf{h(x) : x ∈ ^{n}}, then S(h) = L_{h}(λ).
Lemma 3.1.Consider the minimization of h : ^{n} → ∪ {+∞}. It follows that
Proof. Since ∀x ∀x ∈ ^{n}, we have that
Lemma 3.2.Let h : ^{n} → ∪ {+∞} be any function and let be a sequence such that λk = λ := inf{h(x):x ∈ ^{n}}. If L_{h} (λ) = Ø and L_{h}(λ_{k }) = Ø ∀k ∈, then
Proof. First, we show that
Indeed, take u ∈ , thus u ∈ (L_{h}(λ_{k}))^{∞} ∀k ∈ . For each x ∈ ^{n} (arbitrarily fixed), we have that λ < h(x), because L_{h}(λ) = Ø. Since λ_{k }= λ and L_{h}(λ_{k }) ≠ Ø ∀k ∈ , there exists m ∈ such that λ_{m} < h(x). So, L_{h}(λ_{m}) ⊂ L_{h} (h(x)), which implies that (L_{h}(λ_{m}))^{∞} ⊂ (L_{h}(h(x)))^{∞}, and so u ∈ (L_{h}(h(x)))^{∞}. The statement follows.
Finally, we show that
Indeed, take u ∈, thus u ∈ (L_{h}(h(y)))^{∞ }∀y ∈ ^{n}. For each k ∈ (arbitrarily fixed), we have, by assumption, that λ < λk . Since L_{h}(λ_{k}) = Ø, take x ∈ L_{h}(λ_{k}). So h(x) < λ_{k}, it implies that L_{h}(h(x)) ⊂ L_{h}(λ_{k}) and then (L_{h}(h(x))^{)∞} ⊂ (L_{h}(λ_{k}))^{∞}. Here, u ∈ (L_{h}(λ_{k}))^{∞}. The statement follows.
Theorem 3.3.Let h : ^{n} → ∪ {+∞} be a lsc function. S(h) ≠ Ø if and only if (S(h))^{∞} = (L_{h}(_{h}(y)))^{∞}.
Proof. Consider λ := h(x). If S(h) ≠ Ø then L_{h}(λ) = S(h) ≠ Ø. So, we have that
and the statement follows.
Conversely, if S(h) = Ø, then (S(h))^{∞ }= {0} and so L_{h}(h(y)) are unbounded ∀y ∈ ^{n}. Now, take u^{k} ∈ (L_{h}(λ_{k}))^{∞ }with ║u^{k}║ = 1 ∀k ∈ , where λ_{k }→ λ with λ_{k } > λ_{k+1} > λ and λ = (y). Since λ_{i }< λ_{k }∀k ∈ and ∀i > k, we have that
(L_{h}(λ_{i} ))^{∞ }⊂ (L_{h}(λ_{k})) and {u^{i}}_{i>k} ⊂ (L_{h}(λ_{k}))^{∞} ∀k ∈
and so any cluster point of belongs to (L_{h}(λ_{k}))^{∞} ∀k ∈ . From Lemma 3.2, we have that any cluster point of belongs to (L_{h}(h(y)))^{∞}, and so, the statement follows.
The following theorem states necessary and sufficient conditions for the existence of at least one nonempty bounded level set. Here
Theorem 3.4.For any given function h: ^{n} → ∪ {+∞}, the following statements are equivalent:
(a) (L_{h}(h(y)))^{∞} = {0}.
(b) There exists y ∈ ^{n }such that L_{h}(h(y)) is bounded.
(c) There exists y ∈ ^{n }such that L_{h}(h(y)) is bounded.
Proof. We need to prove only that (a) implies (b), because the other equivalences follow from classical results of classical convex analysis. From Lemma 3.1, we have that
and from Theorem 3.3 we have that S(h) ≠ Ø. Finally, the statement follows from the fact that S(h) = L_{h}(λ), where λ = inf h(x).
Now, we are able to introduce a new coerciveness notion for Optimization Theory.
Definition 3.5.We say that h : ^{n} → ∪ {+∞} is a coercive function if there exists λ ∈ such that L_{h}(λ) is nonempty and bounded. From Theorem 3.4, this is equivalent to say that
We notice that, level boundedness implies coerciveness, but the converse is not true; consider, for example, the function h : → defined by h(x) = exp(x^{2}).
Corollary 3.6.If h : ^{n} → ∪{+∞} is a coercive and lsc function, then h reaches its minimum value over ^{n}. Moreover, S(h) is nonempty and compact.
In the convex case, all the previous ideas about coerciveness are equivalent under the lsc assumption on the function, which we can verify in the following result.
Proposition 3.7.If h : ^{n} → ∪ {+∞} is a proper convex and lsc function, then the following statements are equivalent:
(1) h is a strong coercive function.
(2) h is a Infcompact function.
(3) h is a level bounded function.
(4) h is a zerocoercive function.
(5) h is a coercive function.
(6) S(h) is nonempty, convex and compact.
Proof. The equivalence between (2) and (3) is evident from the lsc assumption. The equivalence between (3) and (5) follows from the fact that if a convex function has a nonempty bounded level set, then all the level sets are bounded. The remaining equivalences follow from Proposition 3.1.3 in [3].
Now, given h : ^{n} → ∪ {+∞}, we consider the following assumptions:
(H1) ∀ ⊂ dom(h) with lim ║x^{k}║ = +∞ and lim = u ∈ R(h), ∃m ∈ large enough such that L_{h}(h(x^{m})) ∩ B(0, ║x^{m}║) = Ø.
(H2) ∀ ⊂ ^{n} with lim ║x^{k}║ = +∞, ∃m ∈ large enough such that
L_{h}(h(x^{m})) ∩ B(0, ║x^{m}║) = Ø.
Conditions related to assumptions H1 or H2 can be found, for instance, in [1], [2], [4], [12], [13], [14] and references therein.
The following result is given without proof because it is evident.
Lemma 3.8.Given h : ^{n} → ∪ {+∞}. If h is coercive, then H1 holds.
Theorem 3.9.If h : ^{n} → ∪ {+∞} is proper and lsc, then H1 holds if and only if the solution set of the minimization of h is nonempty, i.e., S(h) ≠ Ø.
Proof. If H1 holds, for each k ∈ , consider h_{k} : ^{n} → ∪ {+∞} defined by
Without loss of generality, consider h_{k} proper ∀k ∈ . So, from Corollary 3.6 S(h_{k}) is nonempty and compact ∀k. Now, take x^{k} ∈ argmin{║x║: x ∈ S(h_{k})} ⊂ dom(h). Suppose that the sequence is unbounded, without loss of generality we can consider ║x^{k} ║ → ∞ when k → ∞ and → u. We see that u ∈ R(h). Indeed, take x ∈ ^{n} arbitrarily fixed, then for all m > ║x║, we have that x^{m} ∈ L_{h}(h(x)) and making t_{m} = , we have that t_{m}x^{m} → u when m → ∞ and so u ∈ (L_{h}(h(x)))^{∞}. Since x is arbitrary, then u ∈ R(h). From H1, ∃m ∈ large enough such that L_{h}(h(x^{m} )) ∩ B(0, ║x^{m}║) ≠ Ø. Now, taking y ∈ L_{h}(h(x^{m} )) ∩ B(0, ║x^{m}║), then h(y) < h(x^{m}) and ║y║ < ║x^{m}║, and so y ∈ S(h_{m}), which is a contradiction. Then the sequence is bounded. If {x^{k} } is bounded, the statement follows, because any cluster point of {x^{k} } is a minimizer of h.
If S(h) ≠ Ø, take ⊂ dom(h) with lim_{k→+∞} ║x^{k} ║ = +∞ and lim = u ∈ R(h). The statement follows taking ∈ S(h) and k ∈ such that ║x^{k} ║ >║║.
Theorem 3.10.If h : ^{n} → ∪ {+∞} is a proper and lsc, then H1 is equivalent to H2.
Proof. We need to prove only that H1 implies H2. Take ⊂ ^{n} with lim_{k→+∞} ║x^{k} ║ = +∞. Since H1 holds and h is lsc, then from Theorem 3.9 we have that S(h) ≠ Ø. The statement follows taking ∈ S(h) and k ∈ such that ║x^{k} ║ > ║x^{k} ║.
Since H1 and H2 are equivalent when h is proper and lsc, from now on, we shall refer to one of them as just H.
3.1 The application to linear constrained quadratic minimization
We finish this section with an application of the introduced coerciveness ideas to the minimization of a quadratic function over nonempty polyhedral set.
Here, we want to minimize h : ^{n} → ∪ {+∞} defined as:
where A is a n × n matrix, B is a p × n matrix, a ∈ ^{n}, b ∈ ^{p} and α ∈ are known given data.
Note that in (16), h : ^{n} → ∪ {+∞} is proper and lsc on ^{n}.
Lemma 3.11.Ifh(x) = β > ∞, then for each x ∈ C and each u ∈ R(h) fixed, the application l :[0, +∞[→ defined by l(t) = h(x +tu) is linear and l(t) > l(0) for all t ∈ [0, +∞[.
Proof. Take d ∈ R(h) arbitrarily fixed, then d ∈ (L_{h}(h(x)))^{∞} ∀x ∈ ^{n}. Now, take x ∈ C arbitrarily fixed, then ∃ ⊂ L_{h}(h(x)), ∃ ↓ 0 such that t_{k}y^{k} → u when k → +∞. So, u ∈ C^{∞ }and ∞ < β < h(y^{k} ) = ½(y^{k} )^{T }Ay^{k} + a^{T }y^{k} + α < h(x) < +∞ ∀k ∈ , implying u^{T }Au = 0. Since (x+tu) ∈ C ∀t > 0, then l(t) = h(x+tu) = h(x)+t[ ½x^{T }Au+½u^{T }Ax+a^{T}u] ∀t > 0. So, the application l is linear on [0, +∞[. Here, l(t) > l(0) ∀t > 0, because l(t) = h(x + tu) > β > ∞ ∀t > 0.
Theorem 3.12. Consider the minimization of h as defined in (16). Then
if and only if the assumption H holds.
Proof. If dom(h) is bounded, then H holds. If not, take ⊂ C such that ║x^{m}║ → +∞ and → u ∈ R(h) when m → +∞. So, from Lemma 3.11, we have that h(x) < h(x + tu) ∀t > 0. From Proposition 2.3 in [2], we have that for any t > 0, there exists k ∈ large enough such that (x^{k}tu) ∈ C. Taking y = x^{k}tu, we have that h(y) < h(y + tu) = h(x^{k} ). Note that, for k large enough we have that ║y║ = ║x^{k}tu║ < ║x^{k}║, and so H holds.
Conversely, the statement follows from the lsc of h, H and Theorem 3.9.
Finally, we state that the well known FrankWolf Theorem is a consequence of Theorems 3.9 and 3.12.
Corollary 3.13.(FrankWolf Theorem). Consider the minimization of h as defined in (16). If his bounded below, then S(h) ≠ Ø.
4 COERCIVENESS FOR EQUILIBRIUM PROBLEMS
In the Introduction, we showed that the solution set of EP can be written as an intersection of a set family, where the index set is the set K, and, for each y ∈ K, the respective set is the 0level set of the function ^{y} (4). In other words, it follows that ∈ S(EP) (3) if and only if ∈ L _{y} (0).
Now, we present the contents of the Ky Fan's Lemma.
Lemma 4.1.(Lemma 1 in [9], Ky Fan's Lemma). Given Y ≠ Ø and for each y ∈ Y consider C(y) as a closed set. If the following two conditions hold:
(C1) For any finite subset {x^{1 },..., x^{q }} ⊂ Y: co{x^{1 },..., x^{q }}⊂
(C2) C(x) is compact for at least some x ∈ Y,
then
C(y) ≠ Ø. y∈ YIn the sequel, let us denote EP by EP(f,K) and consider the following assumptions for the function .
(f0)^{y }is lsc ∀y ∈ K ,
(f1) For any finite set {x^{1 },..., x^{q }}⊂ K and for any x ∈co{x^{1 },..., x^{q }}:
(x, x^{i }) > 0.Remark 4.2. We point out that assumptions f0 and f1 are related to the Ky Fan's Lemma. Indeed, taking Y =K and C(y) = L_{fy}(0) for each y ∈ Y
1. Assumption f1 is equivalent to condition C1. 2. Assumption f0 implies that C(y) is a closed for each y ∈ Y. 3. If K is convex, (x, x) > 0 for each x ∈ K , and the function _{x}: ^{n} → ∪ {+∞} defined by
is quasiconvex, then f1 holds, as well as C1.
Given EP(f,K), we introduce the coerciveness notion for it, using the notation of the previous section, as follow.
Definition 4.3. We say that EP(f,K) is:
1. Strong coercive if there exist y ∈ K such that ^{y }is strong coercive. 2. Infcompact if there exist y ∈ K such that ^{y }is Infcompact. 3. Level bounded if there exist y ∈ K such that ^{y }is level bounded.
4. Coercive if there exist y ∈ K such that L_{y}(0) is bounded.
Remark 4.4. We can find in the literature some extensions of classical coerciveness ideas that were introduced in the setting of the Variational Inequality Problem (VIP), which is defined by the set K and the operator T , and consists of
VIP(T,K): Find x ∈ K such that T (x), y x
> 0 for all y ∈ K.1. Harker and Pang [11] consider the following condition for some ∈ K
2. Guo and Yao [10] consider another condition for some ∈ K
The following trivial result is given without proof.
Lemma 4.5.Given VIP(T,K), consider conditions (18) and (19). Take (x, y) = T (x), y x, it follows that
1. Condition (18) implies that EP(,K) is strong coercive.
2. Condition (19) implies that EP(,K) is level bounded.
Existence results for EP(f,K) with K compact have been introduced for the first time in 1972, with the formulation of the famous Minimax Theorem by Ky Fan (see [8]). In the same year, Brezis, Nirenberg and Stampacchia extend the Minimax Theorem to non compact sets (see [7])using the following assumption regarding :K × K → R:
(BNS) there exists a nonempty compact subset L of ^{n} and ∈ L ∩ K such that for every x ∈ K \L, (x, )< 0.
As a consequence, we have the following result.
Lemma 4.6. Given EP(,K).
1. If K is compact, then EP(,K) is strong coercive.
2. If BNS holds, then EP(,K) is coercive.
Recall that R(h) (15) was set as an upper bound to the recession cone of the solution set of theminimization problem. As the solution set of EP(f,K) is the intersection of L_{y}(0), for all y ∈ K ,analogous to R(h) we define
The following Lemma is given for completeness.
Lemma 4.7. Given EP(f,K). If f0 is fulfilled, then the following statements hold.
1. If EP(f,K) is strong coercive, then EP(f,K) is Infcompact. 2. If EP(f,K) is Infcompact, then EP(f,K) is level bounded. 3. If EP(f,K) is level bounded, then EP(f,K) is coercive.
4. If EP(f,K) is coercive, then RE() ={0}.
Theorem 4.8. Given EP(f,K) with K nonempty and closed, and assume that 0 and 1 hold. If RE() ={0}, then the solution set of EP(f,K), denoted by S(EP), is compact and nonempty.
Proof. Since S(EP) = ∩_{y∈K} L_{y}(0), (∩_{y∈K }L_{y}(0))^{∞}⊂ R ={0} and f0 hold, we have that S(EP) is closed and bounded and so it is compact. In order to prove that S(EP) is nonempty, we define for each i ∈, K_{i}={x ∈ K : x
< i}. Without loss of generality, we can consider K_{i}= Ø for all i ∈. The compactness of K_{i}, f0 and f1 imply that EP(f, Ki) satisfies C1 and C2 of Ky Fan's Lemma and so we can take x^{i }∈ S(EP(f, K_{i})). Suppose that the sequence {x^{i}} is unbounded, without loss of generality, consider that x → +∞ and→u when i → +8. Now take y ∈ K arbitrarily fixed, then(x^{i}, y) > 0 ∀i > y, and so ⊂ L_{y }(0).
It implies that u ∈ (Ly (0))^{∞}. Since y ∈ K is arbitrary, then 0 ≠ u ∈ R. This contradiction implies that the sequence {x^{i}} is bounded. Finally, any cluster point of {x^{i}} is a solution of EP(f,K).
Before extending the assumption H to the setting of the Equilibrium Problems, we consider the definition of function h : ^{n} → ∪ {+∞} as
Note that h(x) = inf y∈ K (x, y) and  h(x) = sup_{x∈K }inf_{y∈K} (x, y).
Proposition 4.9. Given EP(,K) and the definition of h as in (21). If K is compact and satisfies f0, then
EP( f, K ) has solution if and only if
h(x) < 0.Proof. Let be a solution of EP(f,K), then we have that (, y) > 0. Thus, infy∈Kf (, y) > 0 and so  h(x) = sup_{x∈K }inf_{y∈K} (x, y) > 0.
Conversely, from f0 the application h is lsc. On the other hand, K compact implies that exists such that 0 <  =  h() = inf_{y∈K} (, y) and so is solution of EP(f,K). D
If we replace the compactness of K by the assumption H for the function h, we have the following result that is given without proof, since it is a direct consequence of Proposition 4.9.
Theorem 4.10.Given EP(f,K). If satisfies f0 and h defined as in (21) satisfies H, then EP(f,K) has solution if and only if h(x) < 0.
Given : K × K → R, we consider for each x 2 K the following sets, called Lower Diagonal level sets of the function .
LD _{}(x) := {y ∈ K : (x, y) < 0}.
Note that, if x ∉ L_{y}(0), then y ∈LD (x).
Now, we are able to extend the assumptions H (introduced for Optimization Problems) to anassumption for Equilibrium problems as follows:
xk
(F1) ∀{x^{k }}k∈ ⊂ K with lim x^{k } = +∞ and lim = u ∈ RE(), there exists m ∈ such that LD f (x^{m }) n B(0, x^{m }) =Ø.
(F2) ∀{x^{k }}k∈N ⊂ K with lim x^{k } = +∞, there exists m ∈ Nsuch that
LD _{f}(x^{m }) ∩ B(0, x^{m }) = Ø.
Theorem 4.11.Given a nonempty set K and : K ×K → R. The assumptions F1 and F2 are equivalent.
Proof. We need only to show that F1 implies F2. Indeed, take {x^{k }}k∈ ⊂ K with lim x^{k } = +∞. Without loss of generality, we can consider that lim = u. If u ∈ RE(), then the statement follows from F1. In other case, u ∉ RE(), so there exists y ∈ K such that u ∉ (L_{y}(0))^{∞}. It implies that there exists N ∈ such that ∀k > N, x^{k }∉ L_{fy}(0). Finally, we can take k large enough such that y < ix^{k }I and y ∈ DL f (x^{k }).
Since F1 and F2 are equivalent, then hereafter we refer to one of them as just F.
The notion of pseudoconvexity for functions in the setting of real vectorial spaces (withouttopological structure) appears in [13] as follows, given a function h : ^{n} → ∪ {+∞}, we say that f is pseudoconvex if for all (x, y) ∈ ^{n} × ^{n} and all t ∈]0, 1[: h(tx + (1  t)y) > f (x)implies h(tx + (1  t)y) < f (y). So, now we consider the following assumption for f .
(f1') For all x ∈K , fx is pseudoconvex and f (x, x) > 0.
It is easy to see that convexity implies pseudoconvexity and pseudoconvexity implies quasiconvexity. But, the converses are not true.
Theorem 4.12.Given f satisfying f0, f1' and let K be a nonempty closed convex set. If F holds then EP(f,K) has solutions.
Proof. From f0, f1' and the compactness of K_{i}:= {x ∈ K : x
< i} we have from Ky Fan's Lemma that the Equilibrium Problem defined by f and K_{i}(EP( f, K_{i})) has solutions for all i ∈ N (without loss of generality, we can consider that Ki ≠ Ø). Take a solution x^{i }of EP( f, K_{i}).If the sequence {x^{i}} is unbounded, without loss of generality, we can consider x → +∞,when i → +∞. So, from assumption F, there exists m ∈ Nsuch that LD f (x^{m }) ∩ B(0, x^{m }) = Ø. Take y ∈ LD_{f}(x^{m }) ∩ B(0, x^{m}), then f (x^{m }, y) < 0 and y < x^{m }. Now taking w ∈ K arbitrary fixed, there exists t ∈]0, 1[ such that wt =tw + (1  t)y ∈ Km . Then, f (x^{m },w_{t }) > 0 > f (x^{m }, y), from f1' we have 0 < f (x^{m },w_{t}) < f (x^{m }, w). Since w ∈ K isarbitrary, we have that x^{m }is a solution of EP(f,K).
If {x^{i}} is bounded, from f0, we have that any cluster point of {x^{i}} is solution of EP(f,K). D
Finally consider the following problem:
Let U ⊂ ^{m }and V ⊂ ^{n} be two nonempty convex polyhedral sets; let L :U ×V → be the Lagrangian function defined by
where S is a real matrix of order (n, m), and P (resp. Q) is a real symmetric matrix of order (m, m) (resp. (n, n)). We are interested in solving the Saddle Point Problem (SPP) formulated as follows:
SPP(L,U,V) is a particular case of the Equilibrium Problem. Indeed, let us consider K =U × V , u = (x, y) and v = (w, z), and let us define the function f :K ×K → by
f (u, v) = L(w, y)  L(x, z).
We now consider the following equilibrium problem
Proposition 4.13. (, )is a solution of SPP(L,U,V) (23) if, and only if, = (, ) is a solution of EP(K,f) (24).
Take
We notice that A is a symmetric matrix and B^{t}=B. One can verify that K is a polyhedral set and
Lemma 4.14. Given L as defined in (22) and f as defined in (25). If U ⊂ ^{n }and V ⊂ ^{m }are nonempty convex polyhedral sets and K =U ×V ⊂ ^{n+m}, then the following statements are equivalent.
1. inf_{x∈U }sup_{y∈V} L(x, y) = sup_{y∈V }inf_{x∈U} L(x, y) ∈ .
2. inf_{v∈K} sup_{u∈K}f (u, v) = 0 = sup_{u∈K }inf_{v∈K}f (u, v).
3. sup_{u∈K }inf_{v∈K}f (u, v) = 0.
4. infv∈K sup_{u∈K}f (u, v) = 0.
3. sup_{u∈K} inf_{v∈K}f (u, v) = 0.
4. inf_{v∈K} sup_{u∈K}f (u, v) = 0.
Theorem 4.15. Given EP(f,K) as defined in (24). It follows that
EP(f,K) has solutions if and only if f (u, v) = 0.
Proof. We only need to prove that sup_{u∈K }inf_{v∈K }f(u, v) = 0 implies that EP(f,K) has solutions. Indeed, take h : ^{n+m }→ ∪ {+∞} defined by h(u) = sup_{v∈k}f^{v}(u). Note that
inf_{u}∈^{n+m} h(u)= sup_{u∈K }inf_{v∈K}f (u, v) = 0. The statement follows from Theorem 4.10, if we prove that H holds. By contradiction, there exists {u^{k }}⊂ dom(h) with u^{k } → +∞ and → d ∈ R(h), such that for all k we have that L_{h}(h(u^{k }) ∩ B(0, u^{k }) =Ø, i.e., for
each k we have that h(u)> h(u^{k }) for all u < u^{k }. From Proposition 2.3 in [2], take t > 0 such that for k large enough u^{k }td < u^{k }, u^{k }td ∈ K , then h(u^{k }td)> h(u^{k }). Since h(v) = sup_{u∈K} f (u, v), then from the continuity of f , there exists ∈ dom(h) such that h(u^{k }td) > f (, u^{k }td)> h(u^{k }) > f ( , u^{k }). Taking u u^{k }td, we have that f ( , u) > f(, u+td), but this is a contradiction to Lemma 3.11.
Corollary 4.16.The Lagrangian function L (22) has saddle points on a polyhedral set U ×V ⊂ ^{n} × ^{m }if and only if
ACKNOWLEDGMENTS
The author is thankful to Fernanda Raupp from PUCRio for her suggestions.
Received May 7, 2012
Accepted December 15, 2012
 [1] ADLER S, GOELEVEN D & THERA M. 1996. Recession mappings and noncoercive variational inequalities. Nonlinear Analysis, Theory, Methods and Applications, 26:15731603.
 [2] AUSLENDER A. 1996. Noncoercive optimization problems. Mathematics of Operation Research, 21:769782.
 [3] AUSLENDER A & TEBOULLE M. 2003. Asymptotic cones and functions in Optimization and Variational Inequalities. Springer Monographs in Mathematics.
 [4] BAIOCCHI C, BUTTAZO G, GASTALDI F & TOMARELLI F. 1988. General existence theorem for unilateral problems in continuum mechanics. Archive for Rational Mechanics and Analysis, 100:149189.
 [5] BIANCHI M & PINI R. 2005. Coercivity conditions for equilibrium problems. Journal of Optimization Theory and Applications, 124:7992.
 [6] BLUM E & OETTLI W. 1994. From optimization and variational inequalities to equilibrium problems. The Mathematics Student, 63:123145.
 [7] BREZIS H, NIRENBERG L & STAMPACCHIA G. 1972. A remark on Ky Fan's minimax principle. Bolletino della Unione Matematica Italiana, 6:293300.
 [8] FAN K. 1972. A minimax inequality and applications, in O. Shisha (Ed.), Inequality III, Academic Press, New York, pp. 103113.
 [9] FAN K. 1961. A generalization of Tychonoff's fixed point theorem, Mathematische Annalen, 142:305310.
 [10] GUO JS & YAO JC. 1994. Variational inequalities with monotone operators. Journal of Optimization Theory and Applications, 80:6374.
 [11] HARKER PT & PANG JS. 1990. Finite dimensional variational inequality and nonlinear complementarity problems: a survey of theory, algorithms and applications. Mathematical Programming, 48:161220.
 [12] IUSEM AN & SOSA W. 2003. New existence results for equilibrium problems. Nonlinear Analysis, 52:621635.
 [13] IUSEM AN, KASSAY G & SOSA W. 2009. On certain conditions for the existence of solutions of equilibrium problems. Journal of Mathematical Programming, serie B 116:259273.
 [14] IUSEM AN, KASSAY G & SOSA W. 2009. An existence result for equilibrium problems with some surjectivity consequences. Journal of Convex Analysis, 16:807826.
 [15] RAUPP FMP & SOSA W. 2012. Semicontinuous programming: existence conditions and duality scheme, working paper of 2012.
 [16] ROCKAFELLAR RT & WETS RJB. 1998. Variational Analysis, Springer Verlag, New York.
Publication Dates

Publication in this collection
16 July 2013 
Date of issue
Aug 2013
History

Received
07 May 2012 
Accepted
15 Dec 2012