## Serviços Personalizados

## Journal

## Artigo

## Indicadores

- Citado por SciELO
- Acessos

## Links relacionados

- Citado por Google
- Similares em SciELO
- Similares em Google

## Compartilhar

## Pesquisa Operacional

##
*versão impressa* ISSN 0101-7438

### Pesqui. Oper. vol.33 no.2 Rio de Janeiro maio/ago. 2013 Epub 16-Jul-2013

#### http://dx.doi.org/10.1590/S0101-74382013005000003

**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 A-116, Asa Norte, 70790-160 Brasilia, DF, Brazil. Phone: +55(61)3448-7192; Fax: +55(61)3347-4797. E-mail: 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

*, and it is formulated as*

^{n}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}* :

*→ R ∪ {+∞} is defined by*

^{n}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*} is a subset of the union of the corresponding sets indexed by {

^{m}*x*

^{1},...,

*x*}. The second condition establishes the existence of at least one compact set in the family.

^{m}Regarding minimization problems, considering lower semi-continuous 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 semi-continuous (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 "Semi-continuous 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*∈

*. For each λ ∈ , the epigraph of*

^{n}*h*is defined by

*epi*(

*h*) = {(

*x*, λ) ∈

*×:*

^{n}*h*(

*x*)

__<__λ}. The function

*h*is convex if

*epi*(

*h*) is convex in

*× . The function*

^{n}*h*is quasi convex if

*L*(λ) is convex for all λ ∈ . The function

_{h}*h*is lower semi-continuous (lsc in short) if

*L*(λ) is closed for all λ ∈ , while

_{h}*h*is upper semicontinuous (usc in short) if -

*h*is lsc. The function

*h*is upper hemi-continuous 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 allx∈;^{n}3. Let (

K),_{i}i∈I, be any family of nonempty sets in, then^{n}

If, in addition, each set is convex and closed and ∩_{i∈I}K= Ø, then we obtain an equality in the previous inclusion._{i}

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

Cis a cone, thenC^{∞}=

If *C* is a nonempty polyhedral set, Auslender [3] proved that if {*x ^{k}* } ⊂

*C*is a sequence such that ║

*x*║ → + ∞ and →

^{k}*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*║ (for more details see [2], [3] and [4]). This facts will be used later when we consider quadratic functions over polyhedral sets.

^{k}**Remark 2.1.** Note that the definition of *K* ^{∞ }is related to the theory of set convergence of Painleve-Kuratowski. Indeed, for a family {*K _{t}*}

_{t>0}of subsets of

*, the outer limit is the set*

^{n}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 Inf-compact if*∀λ ∈

*, L*(λ)

_{h}*is compact.*It follows directly that,

*h*is Inf-compact 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 Inf-compact.

**Definition 2.5.** *[3] The function h* : * ^{n}* → ∪ {+∞}

*, is zero-coercive if*

It is well known that zero-coercive and level bounded notions are equivalent. Moreover, if *h* is lsc, then Inf-compact, zero-coercive 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*∈

*}. Note that*

^{n}*S*(

*h*) =

*L*(

_{h}*h*(

*x*)), moreover, if λ = inf{

*h*(

*x*) :

*x*∈

*}, then*

^{n}*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*∈

*(arbitrarily fixed), we have that λ <*

^{n}*h*(

*x*), because

*L*(λ) = Ø. Since λ

_{h}*= λ and*

_{k }*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*∈

*. For each*

^{n}*k*∈ (arbitrarily fixed), we have, by assumption, that λ < λ

*k*. Since

*L*(λ

_{h}*) = Ø, take*

_{k}*x*∈

*L*(λ

_{h}*). So*

_{k}*h*(

*x*)

__<__λ

*, it implies that*

_{k}*L*(

_{h}*h*(

*x*)) ⊂

*L*(λ

_{h}*) and then (*

_{k}*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*∈

*. Now, take*

^{n}*u*∈ (

^{k}*L*(λ

_{h}*))*

_{k}^{∞ }with ║

*u*║ = 1 ∀

^{k}*k*∈ , where λ

*→ λ with λ*

_{k }

_{k }__>__λ

*> λ and λ = ƒ(*

_{k+1}*y*). Since λ

_{i }__<__λ

*∀*

_{k }*k*∈ and ∀

*i*

__>__

*k*, we have that

(*L _{h}*(λ

*))*

_{i}^{∞ }⊂ (

*L*(λ

_{h}*)) and {*

_{k}*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 means the closed convex hull.

**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 thatL(_{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 Inf-compact function.(3)

h is a level bounded function.(4)

h is a zero-coercive 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║ = +∞ and lim =^{k}u∈R(h), ∃m∈ large enough such thatL(_{h}h(x)) ∩^{m}B(0, ║x║) = Ø.^{m}

(H2)∀ ⊂with lim ║^{n}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}* :

*→ ∪ {+∞} defined by*

^{n}Without loss of generality, consider *h _{k}* proper ∀

*k*∈ . So, from Corollary 3.6

*S*(

*h*) is nonempty and compact ∀

_{k}*k*. Now, take

*x*∈ argmin{║

^{k}*x*║:

*x*∈

*S*(

*h*)} ⊂

_{k}*dom*(

*h*). Suppose that the sequence is unbounded, without loss of generality we can consider ║

*x*║ → ∞ when

^{k}*k*→ ∞ and →

*u*. We see that

*u*∈

*R*(

*h*). Indeed, take

*x*∈

*arbitrarily fixed, then for all*

^{n}*m*

__>__║

*x*║, we have that

*x*∈

^{m}*L*(

_{h}*h*(

*x*)) and making

*t*= , we have that

_{m}*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*║) ≠ Ø. Now, taking

^{m}*y*∈

*L*(

_{h}*h*(

*x*)) ∩

^{m}*B*(0, ║

*x*║), then

^{m}*h*(

*y*)

__<__

*h*(

*x*) and ║

^{m}*y*║ < ║

*x*║, and so

^{m}*y*∈

*S*(

*h*), which is a contradiction. Then the sequence is bounded. If {

_{m}*x*} is bounded, the statement follows, because any cluster point of {

^{k}*x*} is a minimizer of

^{k}*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*║ = +∞. Since

^{k}**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*∈

*and α ∈ are known given data.*

^{p}Note that in (16), *h* : * ^{n}* → ∪ {+∞} is proper and lsc on

*.*

^{n}**Lemma 3.11.** *If* *h*(*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*∈

*. Now, take*

^{n}*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*= 0. Since (

^{T }Au*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*, we have that

^{k}-tu*h*(

*y*)

__<__

*h*(

*y + tu*) =

*h*(

*x*). Note that, for

^{k}*k*large enough we have that ║

*y*║ = ║

*x*║ < ║

^{k}-tu*x*║, and so H holds.

^{k}Conversely, the statement follows from the lsc of *h*, H and Theorem 3.9.

Finally, we state that the well known Frank-Wolf Theorem is a consequence of Theorems 3.9 and 3.12.

**Corollary 3.13.** *(Frank-Wolf 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 0-level 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∈ Y*

In 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} → ∪ {+∞} defined by ^{n} |

is quasi-convex, 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. Inf-compact if there exist y ∈ K such that ƒ^{y }is Inf-compact. 3. Level bounded if there exist y ∈ K such that ƒ^{y }is level bounded.

4. Coercive if there exist y ∈ K such that L(0)_{ƒy}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 Inf-compact. 2. If EP(f,K) is Inf-compact, 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), (∩

*(0))*

_{y∈K }L_{ƒy}^{∞}⊂

*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*= Ø for all

_{i}*i*∈. The compactness of

*K*, f0 and f1 imply that

_{i}*EP*(

*f, Ki*) satisfies C1 and C2 of Ky Fan's Lemma and so we can take

*x*(

^{i }∈ S*EP*(

*f, K*)). Suppose that the sequence {

_{i}*x*} is unbounded, without loss of generality, consider that

^{i}*x*→ +∞ and→

*u*when i → +8. Now take y ∈ K arbitrarily fixed, then

*ƒ*(*x ^{i}, y*)

__>__0 ∀

*i*

__>__

*y*, and so ⊂

*L*(0).

_{ƒy }It implies that *u *∈ (*Lƒy *(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, inf*y∈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*= +∞ and lim =

^{k }*u ∈ RE*(

*ƒ*), there exists

*m*∈ such that

*LD f*(

*x*) n

^{m }*B*(0,

*x*) =Ø.

^{m }**(F2)** ∀{*x ^{k }*}

*k*∈N ⊂

*K*with lim

*x*= +∞, there exists

^{k }*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*= +∞. Without loss of generality, we can consider that lim =

^{k }*u*. If

*u ∈ RE*(

*ƒ*), then the statement follows from F1. In other case,

*u*∉

*RE*(

*ƒ*), so there exists

*y ∈ K*such that

*u*∉ (

*L*(0))

_{ƒy}^{∞}. It implies that there exists

*N*∈ such that ∀

*k*

__>__

*N, x*∉

^{k }*L*(0). Finally, we can take

_{fy}*k*large enough such that

*y*< i

*x*I and

^{k }*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 pseudo-convexity 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 pseudo-convex if for all (

*x, y*) ∈

*×*

^{n}*and all*

^{n}*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 pseudo-convex and *f *(*x, x*) __>__ 0.

It is easy to see that convexity implies pseudo-convexity and pseudo-convexity 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*)) has solutions for all

_{i}*i*∈ N (without loss of generality, we can consider that

*Ki*≠ Ø). Take a solution

*x*of

^{i }*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*) = Ø. Take

^{m }*y ∈ LD*(

_{f}*x*) ∩

^{m }*B*(0,

*x*), then

^{m}*f*(

*x*,

^{m }*y*)

__<__0 and

*y*<

*x*. Now taking w ∈

^{m }*K*arbitrary fixed, there exists

*t*∈]0, 1[ such that w

*t =t*w + (1 -

*t*)

*y ∈ Km*. Then,

*f*(

*x*,w

^{m }*)*

_{t }__>__0

__>__

*f*(

*x*,

^{m }*y*), from f1' we have 0

__<__

*f*(

*x*,w

^{m }*)*

_{t}__<__

*f*(

*x*, w). Since w ∈

^{m }*K*isarbitrary, we have that

*x*is a solution of EP(f,K).

^{m }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*⊂

*be two nonempty convex polyhedral sets; let*

^{n}*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

*inf*

_{y∈V }*(*

_{x∈U}L*x, y*) ∈ .

2. inf_{v∈K} sup* _{u∈K}f *(

*u*, v) = 0 = sup

*inf*

_{u∈K }_{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*:

*→ ∪ {+∞} defined by*

^{n+m }*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*|| → +∞ and →

^{k }*d ∈ R*(

*h*), such that for all

*k*we have that

*L*(

_{h}*h*(

*u*) ∩

^{k }*B*(0, ||

*u*||) =Ø, i.e., for

^{k }each *k *we have that *h*(*u*)> *h*(*u ^{k }*) for all ||

*u*|| < ||

*u*||. From Proposition 2.3 in [2], take

^{k }*t*> 0 such that for

*k*large enough ||

*u*|| < ||

^{k }-td*u*||,

^{k }*u*, then

^{k }-td ∈ K*h*(

*u*)>

^{k }-td*h*(

*u*). Since

^{k }*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*). Taking

^{k }*u u*, we have that

^{k }-td*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 PUC-Rio for her suggestions.

**REFERENCES**

[1] ADLER S, GOELEVEN D & THERA M. 1996. Recession mappings and noncoercive variational inequalities. *Nonlinear Analysis, Theory, Methods and Applications*, **26**:1573-1603. [ Links ]

[2] AUSLENDER A. 1996. Noncoercive optimization problems. *Mathematics of Operation Research*, **21**:769-782. [ Links ]

[3] AUSLENDER A & TEBOULLE M. 2003. Asymptotic cones and functions in Optimization and Variational Inequalities. Springer Monographs in Mathematics. [ Links ]

[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**:149-189. [ Links ]

[5] BIANCHI M & PINI R. 2005. Coercivity conditions for equilibrium problems. *Journal of Optimization Theory and Applications*, **124**:79-92. [ Links ]

[6] BLUM E & OETTLI W. 1994. From optimization and variational inequalities to equilibrium problems.* The Mathematics Student*, **63**:123-145. [ Links ]

[7] BREZIS H, NIRENBERG L & STAMPACCHIA G. 1972. A remark on Ky Fan's minimax principle. *Bolletino della Unione Matematica Italiana*, **6**:293-300. [ Links ]

[8] FAN K. 1972. A minimax inequality and applications, in O. Shisha (Ed.), Inequality III, Academic Press, New York, pp. 103-113. [ Links ]

[9] FAN K. 1961. A generalization of Tychonoff's fixed point theorem, *Mathematische Annalen*, **142**:305-310. [ Links ]

[10] GUO JS & YAO JC. 1994. Variational inequalities with monotone operators. *Journal of Optimization Theory and Applications*, **80**:63-74. [ Links ]

[11] HARKER PT & PANG JS. 1990. Finite dimensional variational inequality and nonlinear complementarity problems: a survey of theory, algorithms and applications. *Mathematical Programming*, **48**:161-220. [ Links ]

[12] IUSEM AN & SOSA W. 2003. New existence results for equilibrium problems. *Nonlinear Analysis*, **52**:621-635. [ Links ]

[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**:259-273. [ Links ]

[14] IUSEM AN, KASSAY G & SOSA W. 2009. An existence result for equilibrium problems with some surjectivity consequences. *Journal of Convex Analysis*, **16**:807-826. [ Links ]

[15] RAUPP FMP & SOSA W. 2012. Semi-continuous programming: existence conditions and duality scheme, working paper of 2012. [ Links ]

[16] ROCKAFELLAR RT & WETS RJ-B. 1998. Variational Analysis, Springer Verlag, New York. [ Links ]

Received May 7, 2012

Accepted December 15, 2012