Beruflich Dokumente
Kultur Dokumente
TECHNICAL NOTE
Communicated by F. Giannessi
1. Introduction
e.g., see Lemma 3.25 in Ref. 1. This inequality is the key for a generalization
to cone-convex set-valued maps. Instead of the directional derivative, we
use the concept of contingent epiderivative presented in Ref. 2, and the
1
Graduate Student, Angewandte Mathematik II, Universitat Erlangen-Nurnberg, Erlangen,
Germany.
2
AssociateProfessor, Angewandte Mathematik II, Universitat Erlangen-Nurnberg, Erlangen,
Germany.
233
0022-3239/99/0100-0233$16.00/0 C 1999 Plenum Publishing Corporation
234 JOTA: VOL. 100, NO. 1, JANUARY 1999
Recall that the contingent cone T(epi(.F), (x, y)) consists of all tangent
vectors
with
JOTA: VOL. 100, NO. 1, JANUARY 1999 235
2. Concept of Subdifferential
The inequality (2) is a natural extension of the inequality (1) to the set-
valued case. Here, the directional derivative is replaced by the contingent
236 JOTA: VOL. 100, NO. 1, JANUARY 1999
epiderivative and the usual < ordering is replaced by the partial ordering
< c induced by the convex cone C.
Obviously, the subdifferential is not defined, if the contingent epideriv-
ative does not exist. Conditions ensuring the existence of the contingent
epiderivative can be found in Theorem 1 in Ref. 2 and Theorem 3 in Ref.
4. Notice also that the assumption of cone-convexity of F is actually not
needed in Definition 2.1.
Theorem 3.2. Let Assumptions (A1) and (A2) be satisfied. Then, the
subdifferential is convex.
Hence,
The next result shows that the subdifferential is closed under appropri-
ate assumptions.
or
and with (4) and the assumption that C is closed we conclude that
Notice that, for X = R n and Y=R m , linear maps are bounded, and in
this special case the subdifferential is closed whenever C is closed.
The following result presents a condition under which the subdifferential
is a singleton.
or
Theorem 3.5. Let Assumptions (A1) and (A2) be satisfied. Then, every
subgradient L of F at (x, y) fulfills the inequality
4. Optimality Conditions
Definition 4.1. Let Assumption (A1) be satisfied, and let the problem
(5) be given. Let F(S) := UxesF(x) denote the image set of F. The pair
(x, y) is called a strong minimizer of the set-valued optimization problem
(5), if y is a strongly minimal element of the set F(S), i.e.,
or
or
5. Conclusions
References