1. Introduction
Let
X be a real Banach space, and let
F be a map of
X into its dual
. We denote by
the canonical pairing between
and
X, so that
stands for the value
of the bounded linear form
at the point
. Recall that given a closed convex subset
K of
X and given
, a point
such that
is said to be a solution of the Variational Inequality given by
F,
K and
y.
Classical references on the topic of Variational Inequality (V.I.) and their applications to partial differential equations and inequalities are, for instance, the book of Kinderlehrer and Stampacchia [
1], as well as Chapter 2 of Lions’ book [
2]. For a more recent reference, with special emphasis on the applications to concrete problems in mechanics, see [
3].
In the first part of this paper (
Section 2), which is of an introductory and expository nature, we merely comment on the definition just given and recall some known existence results for (
1). We emphasize that no boundedness assumption on the (closed convex) set
is made through the paper. In the second part (
Section 3), we consider the special case in which
F is a gradient operator, which allows us to prove the existence of solutions to (
1) via a minimization process for the corresponding functional: we do this using the Ekeland Variational Principle (see, e.g., [
4]), and extend in this way the surjectivity results for such operators obtained in [
5,
6].
Wishing to describe in more detail the content of the present paper, we start recalling a famous result due to Browder ([
7], Theorem 11), that ensures the existence of a solution to (
1) for any given
under the assumptions that
is continuous, monotone and
coercive, with the latter condition meaning that
For a coercive
F, it is easily seen that it suffices to consider the case that
in (
1), and so we consider the equation
In the search of a solution
to (
2), a fundamental step of Browder [
7]—see also Lions’ book [
2]—is the construction of an increasing sequence
of compact convex subsets of
K and a sequence
of points of
K, with
for each
, such that
The points
satisfying (
3) can be considered as
approximate solutions of the V.I. (
2), and this is, in fact, the terminology employed by Lions in his discussion of V.I. ([
2], Chapter 2, Section 8). In this review paper, we wish to show that a somewhat similar, yet conceptually and constructively different, situation appears quite naturally when dealing with the case that
F is a
gradient operator, meaning that
for some differentiable functional
. For such an
F, the existence of a solution to (
2) can be proved through a minimization procedure on
K for the corresponding functional
f: indeed, as is well known and as we shall briefly recall later, (
2) merely expresses the condition that must be necessarily satisfied if the restriction of
f to
K has a minimum at the point
. In turn, the Ekeland variational principle (see, e.g., [
4]) is a powerful, and by now classical, tool available for minimization problems, and we use it here—as we did in [
5,
6] to prove surjectivity of
F—to provide, among others, a simple alternative proof of two existence results of Browder [
7] about the V.I. (
1), the one cited above and a second one, having somewhat different assumptions and reported here as Theorem 3.
As we did in papers [
5,
6], the preliminary conditions that we impose on
F for a fruitful use of the Ekeland principle are that
is continuous, bounded on bounded sets, and coercive. The novelty here with respect to the papers [
5,
6] is that using the Ekeland principle for the minimization of the functional
f on the convex set
K rather than on the whole of
X, we find a sequence
of reals, with
for all
and
as
, and a corresponding sequence
of points of
K, which is a minimizing sequence for
f in
K—in the sense that
—and is such that
In our approach, the inequalities (
4) are the
approximate variational inequalities which replace those in Browder’s approach defined via (
3). Then, we show that the addition to (
4) of properties of
F such as Monotonicity,
property or, more generally, Pseudo-Monotonicity—each of these qualities of
F will be carefully recalled, as due, in the course of the next Section—leads easily to the existence of an
satisfying (
2). Moreover,
will actually minimize
f on
K if, in addition, we know that
converges strongly to
and assume—as we do in this paper—the continuity of
f.
Resuming, the ideas sketched above lead us to the following result (stated formally as Theorem 6): Suppose that
X is a real, reflexive Banach space and let
be a gradient operator that is continuous and bounded on bounded subsets of
X. Then, if
F is pseudo-monotone and coercive, the V.I. (
1) has a solution to any closed convex set
and the point
.
This paper is organized as follows. In the first part (
Section 2), for the content of which we claim no real novelty, we introduce the reader interested in our theme by presenting a brief review of some relevant points concerning V.I., and propose an elementary proof based on the Contraction Mapping Theorem—of a basic existence result about (
1) in the simplified context of Hilbert spaces and under the assumptions of Lipschitz continuity and strong Monotonicity of
F. It is possible that such a proof already exist in the literature; however, we include it here both for completeness and because of our admittedly limited knowledge of the vast literature on the subject.
Some classical and more general existence results for (
1) are then recalled and commented, concerning operators that are monotone or, more generally, satisfy a
generalized Monotonicity condition in the language of Browder [
7]. In particular, we close the Section stating an existence theorem that follows from more general results of Lions [
2] and involves the class of pseudo-monotone operators.
In
Section 3, whose content we believe to be new—though still presented in an expository style—we recall and use the Ekeland principle to state and prove our main result in this paper, namely Theorem 6 already highlighted above. Our statement turns out to be essentially identical, with the one by Lions just cited and regarding pseudo-monotone but not necessarily gradient operators. However, we feel that the appeal of our procedures stems from the simplicity and novelty of the proof and also from the proposed parallel with classical results for non-gradient operators that arise in the passage from
approximate to
exact solutions of a variational inequality, along the lines summarized above and that will be detailed in the proof of Theorem 6.
2. A View to Variational Inequalities
We begin this expository Section, recalling two simple general remarks about (
1).
Remark 1 (Variational interpretation of (1))
. Suppose that is the gradient of a real functional f defined on X, meaning thatfor all , with standing for the Fréchet derivative of f at the point , that is an element of . Then, for , the V.I. (1) readsand expresses the condition that must be necessarily satisfied if the restriction of f to the convex subset K has a local minimum at (“Fermat’s constrained condition”). Indeed, recall that by the definition and properties of we haveNext, let stand for the norm in X and for , let stand for the r-neighborhood of . Then, using the convexity of K and the assumption that for some and for every , we obtain, in particular, thatfor every and every sufficiently small. Taking the limit as in (7) and looking at (6), we thus obtain (5). Remark 2 (Relation with Surjectivity)
. It is immediate to check that, in the special case , the existence of a solution to the V.I. (1) for a given y means thatIndeed, taking in (1) with and giveswhence taking we conclude that for every , which yields the conclusion (8). Therefore, an existence result for the V.I. (1) for every closed convex and every will, in particular, imply the surjectivity of F. Let us continue for a while the reasoning of Remark 2. We recall that if
is a
contraction, that is,
for all
and for some constant
k with
, then
is surjective (and in fact a homeomorphism of
X onto itself): this is an easy consequence of the Contraction Mapping Theorem, for the equation
can be written as the fixed-point equation
that has a unique solution by virtue of the assumption (
9). Now observe that if
is a Hilbert space with scalar product still denoted with
, and if
is a contraction, then
is
strongly monotone, in the sense that
for all
and for a positive constant
c. Indeed, we have
However, the Schwarz inequality shows that
so that inserting this in (
11) and using (
9) we obtain (
10) with
.
On the basis of these remarks, we can imagine that the surjectivity property (or, more strongly, the existence of a solution to the V.I. (
1) for every
) continues to hold for maps
that are strongly monotone in the general sense that satisfy (
10) with
now expressing the duality pairing between
X and
. For a continuous
F this is really so, and it is interesting to see that for Lipschitz-continuous
F and for the Hilbert space case, this can be proved again on the basis of the Contraction Mapping Theorem. Here follows the formal statement of this fact and its proof.
Theorem 1. Let H be a real Hilbert space, and let be Lipschitz continuous and strongly monotone. Then, for every closed convex and for every , the V.I. (1) given by F, K, and y has a unique solution. The proof of Theorem 1 exploits, in addition to the Contraction Mapping Theorem, the basic result on the existence and uniqueness of the nearest point in a closed convex set to a given point of a Hilbert space, which we recall next.
Proposition 1. Let H be a real Hilbert space, and let be closed and convex. Then, for every , there exists a unique such thatMoreover, is characterized by the propertyThe vector is called the projection of y onto K and is denoted with the symbol . For a proof of Proposition 1 see, for instance, Theorem 5.2 in Brezis’ book [
8]. Aside and independently from the core of the proof, which exploits the parallelogram law satisfied by the Hilbert norm, it is important to note the following facts, which can be checked by mere computation:
1. The properties (
12) and (
13) are a priori equivalent; in particular, (
12) follows immediately from (
13) on expanding
, while (
13) is nothing but the necessary consequence—stated in general form as (
5)—of the minimum property on
K for the functional
stated by the inequality (
12).
2. The map
of
H into
K defined via Proposition 1 is Lipschitz continuous of constant 1, that is,
To obtain (
14), take
and write down the inequalities (
13) for the corresponding projections
; adding up these two inequalities and using the Schwarz inequality, the result easily follows.
Before going to the proof of Theorem 1, one more remark is useful. Writing (
13) in the form
and comparing it with the general form (
1) of a Variational Inequality, we see that Theorem 1 is true in the special case that
, the identity map in
H. It is thus a matter of extending this fact to Lipschitz continuous and strongly monotone maps that are quite close to the identity. We do this by employing for such operators the arguments given by Brezis (Theorem 5.6 in [
8]) in the special case that
F is the bounded linear operator associated with a coercived continuous bilinear form
: in this case, Theorem 1 reduces to the well known Stampacchia Theorem, whose familiar form states that for each given
there is a unique
such that
To prove Theorem 1 in general, we start writing the conclusion of Proposition 1 in the form of an equivalence as follows:
Now, let
be any positive constant and write the V.I. (
1) in the form
or else
Comparing this with (
16), we conclude that the existence of a solution
to (
1) is equivalent to the existence of an
such that
that is, to the existence of a fixed point for the map
defined putting
It is now a matter to show that for some
,
is a contraction of the complete metric space
K into itself. Here, the Lipschitz and strong Monotonicity assumptions on
F come into play. Suppose indeed that
and that
for all
and for some positive constant
k and
c. We first have, from (
18) and (
14),
for every pair
of points of
K (and in fact of the entire space
H). Therefore,
whence, using (
19) and (
20), we finally obtain
For
positive and sufficiently small (precisely, for
), the coefficient in the right-hand side of (
21) becomes less than 1, thus proving the claim that
is a contraction of
K into itself and therefore possesses a unique fixed point, which is, by the discussion made before, the unique solution of the V.I. (
1).
As to the existence of solutions, the main lines along which Theorem 1 has been extended to more general situations can roughly be resumed as follows:
- (i)
From Hilbert spaces to reflexive Banach spaces;
- (ii)
From strongly monotone to monotone and coercive maps;
- (iii)
From Lipschitz continuous to merely continuous maps.
The properties mentioned in ii) above have not been defined so far and so we do this next. Henceforth, we consider mappings F from a real Banach space X to its dual and denote with , the canonical pairing between and X.
Definition 1. Let F be a map of X into its dual . F is said to be monotone
if Definition 2. Let F be a map of X into its dual . F is said to be coercive
if It is clear that if
is strongly monotone (definition as in (
10), with the scalar product replaced by the canonical pairing between
X and
), then it is both monotone and coercive: as to coercivity, just note that (
10) implies, in particular,
whence (
23) follows at once noting that
for all
.
To appreciate the importance of the definitions just given, it will be enough to recall a famous surjectivity result (usually referred to as the Minty–Browder Theorem) for mappings from a reflexive Banach space to its dual.
Theorem 2. Let X be a real, reflexive Banach space, and let F be a map of X into its dual . Suppose that F is continuous, monotone, and coercive. Then, F is surjective.
For the statement and the proof of Theorem 2, we refer to Theorem 2 of Browder’s paper [
7]. The continuity assumption on
F can be weakened to that of
hemicontinuity (see, for instance, Theorem 12.1 in Deimling [
9] or Theorem 2.1 in Chapter 2 of Lions [
2]), but for simplicity and uniformity of exposition, we shall keep assuming the continuity of
F throughout this whole paper. We rather stress the point that Browder’s paper [
7] contains a variant of Theorem 2, stated as Theorem 5 in [
7], in which the same conclusion is reached on replacing the Monotonicity property of
F with those of boundedness on bounded sets and
-property, the latter being defined as follows:
Definition 3. A map is said to be of type (or to satisfy condition ) if for every sequence , which converges weakly to some and is such thatwe have that converges strongly to x. It is easily seen that the condition
is implied by the strong Monotonicity property defined via Equation (
10); in fact, an even stronger property is implied by the latter, and is given in the next Definition [
7].
Definition 4. A map is said to be of type
if whenever converges weakly to andwe have that converges strongly to x. To check that the implication
is strongly monotone ⇒
F of type
holds true, suppose that a sequence
converges weakly to
and that (
25) is satisfied. If
F is strongly monotone, we also have
for all
and some
, whence we conclude that
converges strongly to
x.
For a rather complete discussion of the various “generalized Monotonicity conditions” such as
and
, including the Pseudo-Monotonicity that we are going to define shortly, see, for instance, Section 6 of [
10].
Let us now move—following Browder [
7]—from the surjectivity property to the more general existence problem for Variational Inequalities. Here, we can see the importance of the property
defined considering the following statement, which is a special case of Theorem 13 in [
7]. Indeed, both in view of the comparison with our results in
Section 3 and in order to reduce technicalities to the bare minimum, here and elsewhere, we suppose that the operators are defined on the whole of
X and coercive on
X, along with Definition 2.
Theorem 3. Let X be a real, reflexive Banach space and let be of type . Suppose, moreover, that F is bounded on bounded sets, continuous and coercive. Also, let be closed and convex with . Then, given any , there exists such that Remark 3. The condition is employed in the proof, together with the coercivity of F, in order to show that the approximating sequence to the solution of the Variational Inequality (27)—see the discussion below—is bounded and thus, by the reflexivity of X, contains a subsequence converging weakly to some . In detail, (28) shows (since by construction ) that , forcing the sequence to stay bounded by virtue of the coercivity assumption (23). As already recalled in the Introduction, a result similar to Theorem 3 is stated and proved by Browder himself ([
7], Theorem 11) on replacing the
assumption on
F with that of Monotonicity and dropping the assumption that
F maps bounded sets onto bounded sets. The proof of both results is based on the construction of (essentially) finite-dimensional approximations
of the desired solution
to the Variational Inequality given by
F and
K. In fact, one first proves an existence theorem for continuous mappings defined on
compact convex subsets of a Banach space
X ([
7], Lemma 5). Then, one constructs an increasing sequence
of compact convex subsets of
K, whose union
is dense in
K, and a corresponding sequence
with
for each
, such that
The
approximate inequalities (
28) then lead—using the weak convergence of (a subsequence of)
to some
and either the Monotonicity of
F or its
property—to the
exact inequality
thus proving Theorem 3 in the special case that
. The general case follows easily on considering, for each given
, the map
defined putting
that satisfies the same properties stated for
F.
Let us add here an informal and qualitative remark concerning the two properties mentioned above in commenting on Browder’s work [
7], namely the
property and Monotonicity. While
is implied by strong Monotonicity, as shown above, it appears to be somewhat independent from mere Monotonicity. Indeed, taking
, we have a trivial example of a monotone operator that is not of type
: to see this, just take a sequence
converging weakly but not strongly (which of course requires that
). On the other hand, if
then any continuous map
is of type
without being necessarily monotone.
Pseudo-Monotone Operators
A “reunion” of the two properties, Monotonicity and
(Definitions 1 and 4, respectively) is made possible in a sense by the introduction—due to Brezis [
11]—of the idea of a
Pseudo-Monotone Operator, such quality being defined as follows. Here and elsewhere, the symbol ⇀ will denote the weak convergence of a sequence, while the symbol → will denote its strong convergence.
Definition 5. A map is said to be Pseudo-Monotone
if, for every sequence , the conditionsimply thatfor every . Indeed, assuming—as we are doing throughout the whole paper—that F is continuous, we have:
- (a)
F Monotone and bounded on bounded sets ⇒
F Pseudo-Monotone. For a proof of this implication, see, for instance, Chapter 2 Proposition 2.5 of [
2].
- (b)
On the other hand, it is immediate to check that
F of type
⇒
F is Pseudo-Monotone for, suppose that the conditions in (
29) are satisfied. Then, the property
implies that
and so—by the continuity of
F—is
. It then follows that for every
,
More generally, the Pseudo-Monotonicity property will be satisfied by
F provided that the conditions in (
29) imply that
.
As a final statement in this Section, we report a result that shows the relevance of Pseudo-Monotonicity in the context of Variational Inequalities and—in view of the remarks made above connecting this property with Monotonicity and
—marks a generalization of the two mentioned Theorems of Browder (Theorems 11 and 13 in [
7]).
Theorem 4. Let X be a real, reflexive Banach space, and let be Pseudo-Monotone. Suppose, moreover, that F is bounded on bounded sets, continuous and coercive. Let be closed and convex with . Then, for every , the V.I. (27) has a solution . Theorem 4 is a special case of more general results to be found in Lions’ book (see Theorems 8.1 and 8.2 in Chapter 2 of [
2]), whose proofs follow essentially the same pattern as that of Browder’s Theorem 3. For an updated reference to the concept of a Pseudo-Monotone map and its use for the applications to existence results for nonlinear elliptic equations see, for instance, Chapter 10 of [
12].
So far, we have merely reported a few statements and remarks about Variational Inequalities considered in their generality. In the next Section, we restrict our attention to the special case in which the involved operator
is a gradient: as recalled in the Introduction, this allows us to employ variational methods in order to obtain the existence results of the type discussed above. In fact, on the basis of Remarks 1 and 2, it is natural to see whether the method that we have employed in [
5,
6] for the study of surjectivity of
F, namely the Ekeland Variational Principle and its consequences (see, e.g., [
4]) can be used also in the context of Variational Inequalities, and this is precisely what we do in the next Section.
3. The Ekeland Principle on Convex Sets and Pseudo-Monotonicity
Let
X be a real Banach space and let
f be a
functional defined on
X. For
,
is a bounded linear form on
X, whose norm in
is
In the study of minimum problems for
f, one standard way of using the Ekeland principle (see, e.g., [
4]) is provided by the following statement.
Lemma 1. Let f be a functional defined on X and suppose that f is bounded below on X. Let . Then, given any , there exists such that Before looking more closely at Lemma 1 and its proof, it can be noted at once that taking a sequence
with
and putting
, it follows from (
32) that
and if we know in addition that
converges through some subsequence, we can argue from (
33) the existence of an
such that
and
, thus giving an affirmative answer to the minimum problem for
f on
X. In turn, one way to obtain the desired information about
is by knowing at least that it is bounded—this property is usually recovered if
f is assumed to be
coercive (see Definition 6 below)—and assuming, for instance, that
is
locally proper, meaning that any bounded sequence
such that
converges contains a convergent subsequence. In fact, this is the reasoning that we have followed in [
5] to prove that
is surjective.
Question: What can be said when X is replaced by a closed convex ?
For an answer to this question, it is useful to see how Lemma 1 follows the Ekeland Variational Principle. The following “weak form” of the latter (see, e.g., [
4], Chapter 4, Theorem 4.1) is sufficient for our purposes:
Theorem 5 (Ekeland variational principle)
. Let be a complete metric space. Let be lower semicontinuous and bounded below. Put ; then given any , there exists such that To prove Lemma 1 on the basis of Theorem 5, let
,
and take
in the second inequality in (
34): this yields
Thus, taking
, we obtain
and therefore, letting
,
Similarly, taking
in (
35) yields
whence, letting
,
Using (
31), (
36) and (
37) then yields the second inequality in (
32).
Suppose now that K is a closed, convex subset of the Banach space X. Then, Lemma 1 should be replaced by the following statement.
Proposition 2. Let f be a functional defined on X and let be closed and convex. Suppose that f is bounded below on K, and let . Then, given any , there exists such that Proof. Apply the Ekeland principle taking as a complete metric space
K itself. Given
, let
be as in the statement of Theorem 5. Moreover, let
, and for
take
in the second inequality in (
34): this yields
and thus, dividing both members of (
39) by
t and letting
, we obtain the second inequality in (
38). □
As noted before when commenting on the statement of Lemma 1, it follows at once from Proposition 2 that taking a sequence
with
and
, and putting
, we obtain a minimizing sequence for
f in
K such that, in addition,
Now, the continuity of
will imply that, if
converges through a subsequence to some
, then
is a minimum point for
f in
K and is also a solution of the variational inequality
However, at this stage, the convergence of (a subsequence of)
is not granted even if we assume the local properness of
: indeed, the inequality (
40)—that replaces the limit relation
appearing in (
33) and holding in case
—does not necessarily yield the convergence of
.
In the discussion that follows, we are going to see how a different condition on
, namely its Monotonicity or its
property (Definitions 1 and 4, respectively), or more generally its
Pseudo-Monotonicity (Definition 5), will guarantee the existence of a solution
to the variational inequality (
41) starting from the solutions
of the
approximate inequalities (
40).
Before doing that, we have to satisfy ourselves that the Ekeland Variational Principle and its concrete application to our problem, namely Proposition 2, is being used correctly, and in particular, that the relevant functional is bounded below on K. In our simplified discussion, we will, in fact, give conditions on f, implying that it is bounded below on the whole of X. In this respect, we first need to complete the definition of coercivity: this was given in Definition 2 for operators acting from X to , and we give it next for functionals defined on X.
Definition 6. Let X be a real Banach space. A functional is said to be coercive
if The two Propositions below are taken from [
6]—where they appear as Lemma 1 and Proposition 2, respectively—to which we refer also for their proof.
Proposition 3. Let be a gradient operator with potential f. Suppose that F is continuous, coercive and bounded on bounded subsets of X. Then, is coercive and bounded on bounded subsets of X.
Proposition 4. If is continuous, coercive and bounded on bounded subsets of X, then f is bounded below on X, and any minimizing sequence is necessarily bounded.
We are now ready to state and prove our main result.
Theorem 6. Let X be a real, reflexive Banach space, and let be a gradient operator that is continuous and bounded on bounded subsets of X. Suppose, moreover, that:
- (i)
F is coercive;
- (ii)
F is Pseudo-Monotone.
Then, for every , K closed and convex, and for every , there exists such that Remark 4. If the assumption (ii) above is strengthened to either “F is of type ” or “F is Monotone”, and if f is the potential of F (), then in addition, minimizes in K the functional defined puttingWe are unable to say whether this conclusion can be drawn in the more general case that F is merely Pseudo-Monotone. Proof of Theorem 6. We find it convenient to divide the proof of Theorem 6 into two parts as follows. □
Let
X,
F and
K be as in Theorem 6. For a given
, consider the map
defined putting
and check that
satisfies the same assumptions as
F. Indeed,
is plainly continuous and bounded on bounded subsets of
X if
F is as well. Moreover, if
f is the potential of
F, then the functional
defined in (
44) is the potential of
, so that
is a gradient is
F is as well. It is also coercive if
F is as well, by virtue of the inequality
The verification that the Pseudo-Monotonicity of
F implies that
is likewise straightforward.
Thus, if we assume the validity of Theorem 6 for the case
, it follows that there exists an
such that
which is nothing but the desired inequality (
43).
It is, therefore, enough to prove Theorem 6 for the case
. In turn, as
F is a gradient, in order to find a solution
of the V.I.
it will be enough to prove that the potential
f of
F is bounded below on
K and achieves its infimum on
K (Remark 1).
By the assumptions on F and Propositions 3 and 4, we know that f is bounded below on the whole of X and also that any minimizing sequence is necessarily bounded; a fortiori, the same conclusions will hold if we consider the restriction of f to a given closed and convex subset K of X.
Now, applying the Ekeland Variational Principle to
f on
K, namely using Proposition 2—see, in particular, the comments following it and leading to Equation (
40)—we find a sequence
with
and
and a minimizing sequence
, such that
It is now convenient to put , noting that for every n and as by virtue of the boundedness of the sequence .
Our proof of Theorem 6 will now be completed starting from the
Approximate Variational Inequalities
that hold in the closed convex
, and showing that our Pseudo-Monotonicity assumption on
F ensures that the approximate inequalities (
46) lead, in the limit as
, to the
exact desired inequality
holding for some
.
The first assertion to be made is that using the boundedness of and the reflexivity of X, we can assume—passing if necessary to a subsequence—that converges weakly to some ; then since K, being closed and convex, is weakly closed.
Now the approximate inequalities (
46) can be equivalently written as
whence in particular, since
,
Resuming, the approximate inequalities (
46) imply not only the particular inequality (
50) involving the weak limit
of the sequence
, but also the general inequality (
49), which implies a fortiori that
The Pseudo-Monotonicity condition satisfied by
F (see Definition 5) now implies that
which is precisely (
47). This ends the proof of Theorem 6.
Remark 5. It is interesting to see how our proof of Theorem 6 based on the approximate inequalities (46) becomes immediate if one strengthens the assumption of Pseudo-Monotonicity on F to that of being of type , and more transparent anyway if one strengthens the assumption of Pseudo-Monotonicity to that of Monotonicity (see the remarks following Definition 5). 1. The desired inequality (47) follows immediately from (46) if F is of type . Indeed, as we have seen above in the proof of Theorem 6, (46) imply (50) so that, looking back at Definition 4, we conclude that (strongly). The continuity of F then implies that , and using this in (46) yields (47). 2. The desired inequality (47) also follows from (46) if F is monotone: indeed, if whence, letting , we obtain However, this implies (47) by virtue of the convexity of K and the continuity of F: to see this, just take any , using (55) with () and finally let .