Journal of Inequalities and Applications Volume 2010, Article ID 620928,17pages doi:10.1155/2010/620928
Research Article
Optimality Conditions for Approximate Solutions
in Multiobjective Optimization Problems
Ying Gao,
1Xinmin Yang,
1and Heung Wing Joseph Lee
21Department of Mathematics, Chongqing Normal University, Chongqing 400047, China 2Department of Applied Mathematics, The Hong Kong Polytechnic University,
Hung Hom, Kowloon, Hong Kong
Correspondence should be addressed to Ying Gao,[email protected]
Received 18 July 2010; Accepted 25 October 2010
Academic Editor: Mohamed El-Gebeily
Copyrightq2010 Ying Gao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We study first- and second-order necessary and sufficient optimality conditions for approximate weakly, properlyefficient solutions of multiobjective optimization problems. Here, tangent cone,
-normal cone, cones of feasible directions, second-order tangent set, asymptotic second-order cone, and Hadamard upperlowerdirectional derivatives are used in the characterizations. The results are first presented in convex cases and then generalized to nonconvex cases by employing local concepts.
1. Introduction
During the past decades, researchers and practitioners in optimization had a keen interest in approximate solutions of optimization problems. There are several important reasons for considering this kind of solutions. One of them is that an approximate solution of an optimization problem can be computed by using iterative algorithms or heuristic methods. In vector optimization, the notion of approximate solution has been defined in several ways. The first concept was introduced by Kutateladze10and has been used to establish vector variational principle, approximate Kuhn-Tucker-type conditions and approximate duality theorems, and so forth,see11–20. Later, several authors have proposed other-efficiency conceptssee, e.g., White21; Helbig22and Tanaka23.
In this paper, we derive different characterizations for approximate solutions by treating convex case and nonconvex cases. Giving up convexity naturally means that we need local instead of global analysis. Some definitions and notations are given in
Section 2. InSection 3, we derive some characterizations for global approximate solutions of
multiobjective optimization problems by using tangent cone, the cone of feasible directions and -normal cone. Finally, in Section 3, we introduce some local approximate concepts and present some properties of these notions, and then, first and second-order sufficient conditions for local properly approximate efficient solutions of vector optimization problems are derived. These conditions are expressed by means of tangent cone, second-order tangent set and asymptotic second-order set. Finally, some sufficient conditions are given for localweaklyapproximate efficient solutions by using Hadamard upperlowerdirectional derivatives.
2. Preliminaries
Let Rn be the n-dimensional Euclidean space and let Rn
be its nonnegative orthant. Let C
be a subset of Rn, then, the cone generated by the set Cis defined as coneC ∪ α≥0αC,
and intCand clCreferred to as the interior and the closure of the setC, respectively. A set
D ⊂ Rnis said to be a cone if coneD D. We say that the coneDis solid if intD /∅, and pointed ifD∩−D ⊂ {0}. The coneD is said to have a baseBifBis convex, 0/∈clBand
D coneB. The positive polar cone and strict positive polar cone ofDare denoted byD
andDs, respectively.
Consider the following multiobjective optimization problem:
minfx:x∈S, 2.1
whereS ⊂Rnis an arbitrary nonempty set,f :S → Rm. As usual, the preference relation≤ defined inRmby a closed convex pointed coneD⊂Rmis used, which models the preferences used by the decision-maker:
y, z∈Y, y≤z⇐⇒y−z∈ −D. 2.2
We recall thatx0 ∈Sis an efficient solution of2.1with respect toDiffx0−D∩ fS {fx0}.x0 ∈ S is a weakly efficient solution of 2.1with respect toD iffx0−
intD∩fS ∅ in this case, it is assumed thatD is solid.x0 ∈ Sis a Benson properly
Definition 2.1see18,25. Letq∈D\ {0}be a fixed element, and≥0.
ix∈Sis said to be a weaklyq-efficient solution of problem2.1iffS−fx q∩−intD ∅in this case it is assumed thatDis solid.
iix∈Sis said to be a efficientq-solution of problem2.1iffS−fxq∩−D\ {0} ∅.
iiix∈Sis said to be a properlyq-efficient solution of problem2.1, if cl conefS qD−fx∩−D {0}.
The sets of q-efficient solutions, weakly q-efficient solutions, and properly q -efficient solutions of problem 2.1 are denoted by AEf, S, q, WAEf, S, q, and PAEf, S, q, respectively.
Remark 2.2. If 0, thenq-efficient solution, weaklyq-efficient solution, and properlyq -efficient solution reduce to efficient solution, weakly efficient solution and properly efficient solution of problem2.1.
Definition 2.3. LetZ⊂Rmbe a nonempty convex set. The contingent cone ofZatz∈Zis defined as
Tz, Z d∈Rm: there existst
j ↓0 anddj−→dsuch thatztjdj∈Z
. 2.3
The cone of feasible directions ofZatz∈Zis defined as
Fz, Z {d∈Rm: there existst >0 such thatztd∈Z}. 2.4
Let≥0, the-normal set ofZatz∈Zis defined as
Nz, Z
y∈Rm:yTx−z≤, ∀x∈Z. 2.5
Lemma 2.4see26. LetN, K⊂Rmbe closed convex cones such thatN∩K {0}. Suppose that
Kis pointed and locally compact, orintK/∅, then,−N∩Ks/∅.
3. Cone Characterizations of Approximate Solutions: Convex Case
In this section, we assume thatfSis a convex set.
Theorem 3.1. Letx∈Sand≥0. If
Ffx, fS∩−q−D\ {0} ∅, 3.1
thenx∈AEf, S, q.
Theorem 3.2. Letx∈S.
iIfTfx, fS∩−D\ {0} ∅, thenx∈PAEf, S.
iiLet >0, andDis solid set andq∈intD. IfTfx, fS∩−q−D\ {0} ∅, then
x∈PAEf, S, q.
Proof. iSuppose, on the contrary, thatx /∈PAEf, S, then, there existsq ∈ −D\ {0}such thatq∈cl conefS−fx D. Hence, there existλn ∈R,xn ∈Sandqn∈D, n∈Nsuch thatλnfxn−fx qn → q. Sinceq /0, there existsn∈Nsuch thatλn>0.
SincefSis convex set, cl conefS−fx Tfx, fS. Hence, cl conefS− fx∩−D\ {0} ∅. FromLemma 2.4, there existsu ∈ Ds such thatu, y ≥ 0, for all
y∈cl conefS−fx.
On the other hand, fromu ∈ Ds, we have u, q < 0. Therefore, there exists n
1 ∈ N such that u, fxn1−fx qn1 < 0, and so u, fxn1−fx < 0, which deduces a
contradiction, and the proof is completed.
iiNow, we let >0. FromTfx, fS∩−q−D\ {0} ∅, we have
Tfx, fS∩−intD ∅. 3.2
In fact, if there existsp ∈ Rm such thatp ∈ Tfx, fS∩−intD, then, from q ∈ intD and > 0, there existsλ > 0 such thatp1 −λp−q ∈ D \ {0}. Hence,−q−p1 λp ∈ Tfx, fS∩−q−D\ {0}, which is a contradiction to the assumption.
SincefSis a convex set, cl conefS−fx Tfx, fS. Hence,
cl conefS−fx∩−intD ∅. 3.3
By using the convex separation theorem, there existsu∈Rm\ {0}such thatu, y ≥0, for all
y∈ −intDandu, y ≤0, for ally∈cl conefS−fx. It is easy to get thatu, y ≥0, for ally∈ −D. Hence,u, y>0, for ally∈ −intD.
Suppose, on the contrary, thatx /∈PAEf, S, q, then, there existsy∈Rmsuch that
y∈cl conefS qD−fx∩−D\ {0}, 3.4
and there existyn∈conefS qD−fx, for alln∈Nsuch thatyn → y. That is, there existλn≥0, xn∈Sandpn∈D, for alln∈Nsuch thatyn λnfxn qpn−fx, for all
n∈N. Sincey /0, there existsn1 ∈Nsuch thatλn >0, for alln≥n1. From >0,q∈intD
andpn∈D, for alln∈N, we haveqpn∈intD, for alln∈N. Therefore,
u, yn λn
u, fxn−fx
u, qpn < λn
u, fxn−fx ≤0, ∀n≥n1. 3.5
Which impliesu, y<0. On the other hand, fromy∈ −D\ {0}, we haveu, y ≥0, which yields a contradiction. This completes the proof.
Example 3.4. LetD R2
,q 1,1T,S {x ∈ R2 : x1 ≥ 0, x2 ≥ 0},f : S → R2,fx x, 1/2 andx 1/2,1/2T, then,x∈AEf, S, qandx∈PAEf, S, q. ButFfx, fS R2 Tfx, fS. Hence,Ffx, fS∩−q−D\ {0}
/∅andTfx, fS∩−q−D\ {0}/∅.
Theorem 3.5. Let x ∈ S, ≥ 0,D be a solid set andq ∈ intD. If there existsu ∈ −D\ {0}
such that −u, q ≥ 1 and u ∈ Nfx, fS, then x ∈ WAEf, S, q. Conversely, if x ∈
WAEf, S, q, then there existsu∈ −D\ {0}such that−u, q 1andu∈Nfx, fS.
Proof. Assume that, there existsu∈ −D\{0}such that−u, q ≥1 andu∈Nfx, fS. Suppose, on the contrary, thatx /∈WAEf, S, q, then, there existp∈ −intDandx∈Ssuch thatp fx−fxq. Fromu∈ −D\{0}and−u, q ≥1, we haveu, fx−fxq>0. Hence,
u, fx−fx >−u, q ≥. 3.6
On the other hand, from u ∈ Nfx, fS, we have u, fx −fx ≤ , which is a contradiction to the above inequality. Hence,x∈WAEf, S, q.
Conversely, letx∈WAEf, S, q, then,fS−fx q∩−intD ∅. SincefSis convex andDis a convex cone, there existsu∈ −D\ {0}such thatu, fx−fx q ≤
0, for all x ∈ S. Since q ∈ intD, there existsu ∈ −D \ {0} such that−u, q 1 and
u, fx−fx q ≤0, for allx∈S. Therefore,u, fx−fx ≤ −u, q , for allx∈S, which impliesu∈Nfx, fS. This completes the proof.
Theorem 3.6. Let x ∈ S and ≥ 0. If there exists u ∈ −Ds such that−u, q ≥ 1 and u ∈ Nfx, fS, thenx∈PAEf, S, q. Conversely, assume thatDis a locally compact set, ifx∈
PAEf, S, q, then there existsu∈ −Dssuch that−u, q 1andu∈N
fx, fS.
Proof. Assume that, there existsu ∈ −Ds such that −u, q ≥ 1 and u ∈ N
fx, fS. Suppose, on the contrary, thatx /∈PAEf, S, q, then, there existsp∈Rmsuch that
p∈cl conefS qD−fx∩−D\ {0}, 3.7
and there exists pn ∈ conefS qD−fx, for alln ∈ N such thatpn → p. From
u ∈ Ds and p ∈ −D \ {0}, we have u, p > 0. Hence, there existsn1 ∈ N such that
u, pn > 0, for alln≥ n1. Frompn ∈ conefS qD−fx, for alln∈ N, there exist
λn ≥0,xn∈S, andqn∈Dsuch thatpn λnfxn qqn−fx, for alln∈N. Therefore,
u, fxnqqn−fx>0, for alln≥n1, which combing withqn∈Dand−u, q ≥1 yields
u, fxn−fx>−u, q ≥, for alln≥n1, which is a contradiction tou∈Nfx, fS. Hence,x∈PAEf, S, q.
Conversely, letx∈PAEf, S, q, then,
cl conefS qD−fx∩−D {0}. 3.8
Since fS is a convex set, cl conefS q D −fx is a closed convex cone. From
Lemma 2.4, there existsu∈−Ds −Ds such thatu∈ −cl conefS qD−fx.
Sinceq∈intD,Dsandcl conefS qD−fxare cone, there existsu∈−Dssuch
Now, we prove thatu∈Nfx, fS. That is,u, fx−fx ≤, for allx∈S. Fromu∈ −cl conefS qD−fx, we have
u, fx−fx qp ≤0, ∀x∈S, p∈D. 3.9
Since 0∈Dand−u, q 1, we have
u, fx−fx ≤ −u, q , ∀x∈S. 3.10
Which impliesu∈Nfx, fS. This completes the proof.
Example 3.7. LetD R2,q 1,1T,S {x ∈ R2 : x1 ≥ 0, x2 ≥ 0},f : S → R2,fx x, 1/2 andx 1/2,1/2T, then,x∈WAEf, S, andx∈PAEf, S, . Letu −1/2,1/2T, thenu, p 1 andu∈Nfx, fS {x∈R2:x1x2≥ −1, x1≤0, x0≤0}.
Remark 3.8. iIf 0 andD Rm
, then Theorems3.1and3.5reduce to the corresponding
results in1.
ii In 1, the cone characterizations of Henig’ properly efficient solution were derived. We know that Henig’ properly efficient solution equivalent to Benson properly efficient solution, whenDis a closed convex pointed conesee24. Therefore, if 0 and
D Rm
, Theorems3.2and3.6reduce to the corresponding results in1.
4. Cone Characterizations of Approximate Solutions: Nonconvex Case
In this section,fSis no longer assumed to be convex. In nonconvex case, the corresponding local concepts are defined as follows.
Definition 4.1. Letq∈D\ {0}be a fixed element and≥0.
ix∈Sis said to be a local weaklyq-efficient solution of problem2.1, if there exists a neighborhoodVofxsuch thatfS∩V−fx q∩−intD ∅in this case, it is assumed thatDis solid.
iix ∈ Sis said to be a local q-efficient solution of problem2.1, if there exists a neighborhoodV ofxsuch thatfS∩V−fx q∩−D\ {0} ∅.
iiix ∈ Sis said to be a local properlyq-efficient solution of problem2.1, if there exists a neighborhoodV ofxsuch that cl conefS∩VqD−fx∩−D {0}.
The sets of local q-efficient solutions, local weaklyq-efficient solutions and local properlyq-efficient solutions of problem2.1are denoted by LAEf, S, q, LWAEf, S, q
and LPAEf, S, q, respectively.
Definition 4.2see4,5. LetZ⊂Rmandy, v∈Rm.
iThe second-order tangent set toZaty, vis defined as
T2Z, y, v
d∈Rm:∃tn↓0, ∃dn−→dsuch thatyn ytnv 1 2t
2
ndn ∈Z, ∀n∈N
.
4.1
iiThe asymptotic second-order tangent cone toZaty, vis defined as
TZ, y, v
d∈Rm:∃tn, rn↓0,0, ∃dn−→d
such that tn
rn−→
0, yn xtnv 1
2tnrndn∈Z, ∀n∈N
.
4.2
In 4–9, some properties of second-order tangent sets have been derived, see the following Lemma.
Lemma 4.3. Lety∈clZandv∈Rm, then,
iT2Z, y, vandTZ, y, vare closed sets contained incl coneconeZ−y−v, and TZ, y, vis a cone.
iiIf v /∈Ty, Z, thenT2Z, y, v TZ, y, v ∅. Ifv ∈ Ty, Z, thenT2Z, y, v∪ TZ, y, v/∅. Ify ∈ intZ, thenT2Z, y, v TZ, y, v Rm, andT2Z, y,0 TZ, y,0 Ty, Z.
iiiLet Z is convex. Ifv ∈ Ty, Z andTZ, y, v/∅, thenT2Z, y, v ⊂ TZ, y, v
cl coneconeZ−y−v Tv, TZ, y.
Definition 4.4see27. LetK⊂Rnandφ:K → Rbe a nonsmooth function. The Hadamard upper directional derivative and the Hadamard lower directional derivative derivative ofφ
atx∈Kin the directiond∈Rnare given by
φx, d lim t↓0 suph→d
φxth−φx
t ,
φ−x, d lim t↓0 hinf→d
φxth−φx
t .
4.3
Lemma 4.5see7. LetY be a finite-dimensional space andy0 ∈ E ⊂ Y. If the sequence yn ∈
E\ {y0} converges to y0, then there exists a subsequence (denoted the same) yn such thatyn −
y0/tnconverges to some nonnull vectoru∈Ty0, E, wheretn yn−y0, and eitheryn−y0− tnu/1/2t2nconverges to some vectorz∈T2E, y0, u∩u⊥or there exists a sequencern → 0such
thattn/rn → 0andyn−y0−tnu/1/2tnrnconverges to some vectorz∈TE, y0, u∩u⊥\ {0}, whereu⊥denotes the orthogonal subspace tou.
Theorem 4.6. iLetintD /∅, then, for any fixedq∈D\ {0},
LWEf, S⊂
>0
LWAEf, S, q. 4.4
Conversely, ifx∈S, and there exists a neighborhoodV ofxsuch thatfS∩V−fx∩−q−
intD ∅, for all >0, that is,x∈WAEf, S∩V , q, for all >0, thenx∈LWEf, S.
iiFor any fixedq∈D\ {0}, LEf, S⊂>0LAEf, S, q. Conversely, ifx∈Sand there exists a neighborhoodV ofxsuch that for any fixedq∈ D\ {0}and > 0,fS∩V−fx∩
−q−D\ {0} ∅, thenx∈LEf, S.
iiiFor any fixedq∈D\ {0}, LPEf, S⊂ >0LPAEf, S, q. Conversely, ifx ∈Sand there exists a neighborhoodV ofx such that for any fixedq ∈ D \ {0}and > 0,conefS∩ V−fx qDis a closed set, andcl conefS∩V−fx qD∩−D {0}, then
x∈LPEf, S.
Proof. iLetx∈LWEf, S, then, there exists a neighborhoodV1ofxsuch thatfS∩V1− fx∩−intD ∅. Fromq∈D\ {0}, we have
fS∩V1−fx∩
−q−intD ∅, ∀ >0. 4.5
Which impliesx∈>0LWAEf, S, q.
Conversely, we assume that there exists a neighborhood V of x such that x ∈
WAEf, S∩V , q, for all >0. Suppose, on the contrary, thatx /∈LWEf, S, then, for any neighborhoodV ofxfS∩V−fx∩−intD/∅. TakeV V, then, there existp ∈ intD
and x ∈ S∩V such that fx−fx −p. Therefore, if > 0 is sufficiently small, we have fx − fx −p −q − p − q ∈ −q − intD, which is a contradiction to
x∈WAEf, S ∩ V , q, for all >0. This completes the proof.
iiIt is easy to see that LEf, S⊂>0LAEf, S, q.
Conversely, we assume that there exists a neighborhoodV ofxsuch that for any fixed
q∈D\ {0}and >0,fS∩V−fx∩−q−D\ {0} ∅. Suppose, on the contrary, that
x /∈LEf, S, then, for any neighborhoodV ofx, we havefS∩V−fx∩−D\{0}/∅. Take
V V, then, there existp∈D\ {0}andx∈S∩V such thatfx−fx −p. Takeq p/2 and 1, then,fx−fx −p −q−p/2∈ −q−D\ {0}, which is a contradiction to the assumption. This completes the proof.
iiiIt is easy to see that LPEf, S⊂>0LPAEf, S, q.
Conversely, we assume that there exists a neighborhoodV ofxsuch that for any fixed
q ∈ D\ {0}and > 0, conefS∩V−fx qDis a closed set, and cl conefS∩ V−fx qD∩−D {0}. Suppose, on the contrary, thatx /∈LPEf, S, then, for any neighborhoodVofx, we have cl conefS∩V−fx D∩−D\ {0}/∅. TakeV V, then, there existλ >0,p1∈D\ {0},p2∈Dandx∈S∩V such thatλfx−fx p2 −p1. Take
Theorem 4.7. Letfbe a continuous function onS,x∈S, and >0.
iIfTfx, fS∩−q−D ∅, thenx∈LAEf, S, q.
iiIfTfx, fS∩−q−D/∅, and for eachv∈Tfx, fS∩−q−D
T2fS, fx, v∩v⊥∩−cl coneDqv ∅,
TfS, fx, v∩v⊥∩−cl coneDqv {0},
4.6
thenx∈LAEf, S, q.
Proof. iLetTfx, fS∩−q−D ∅. Suppose, on the contrary, thatx /∈LAEf, S, q, then, there existsxn ∈Sandxn → xsuch thatfxn−fx q ∈ −D\ {0}, for alln∈N. Sincef is a continuous function and D is a pointed cone,fxn/fx, for alln ∈ N and
fxn → fx. Therefore,fxn−fx/fxn−fx → d∈Tfx, fS. On the other hand, for anyn∈N, we have
fxn−fx
fxn−fx ∈ − 1 fxn−fx
qD\ {0}
⊂ −
qD\ {0}
1
fxn−fx−1
q
.
4.7
Sincefxn → fxandq∈D\ {0}, there existsn1∈Nsuch that
1
fxn−fx−1
q∈D, ∀n≥n1. 4.8
Hence,d∈ −qD, which is a contradiction to the assumption. This completes the proof.
iiSuppose, on the contrary, thatx /∈LAEf, S, q. Similar to the proof ofi, we have there existsxn → xsuch that
fxn−fx
fxn−fx −→d∈Tfx, fS∩−q−D. 4.9
Corollary 4.8. Letfbe a continuous function onS,x∈Sand 0.
iIfTfx, fS∩−D {0}, thenxis a local efficient solution of problem2.1. iiIfTfx, fS∩−D\ {0}/∅, and for eachv∈Tfx, fS∩−D\ {0}
T2fS, fx, v∩v⊥∩−cl coneDv ∅,
TfS, fx, v∩v⊥∩−cl coneDv {0},
4.10
thenxis a local efficient solution of problem2.1.
Proof. The proof is similar toTheorem 4.7.
Remark 4.9. If fS is convex, then the condition ii of Theorem 4.7 is equivalent to the following condition
iiTfx, fS∩−q−D/∅, and for eachv∈Tfx, fS∩−q−D
0/∈T2fS, fx, v, TfS, fx, v∩v⊥∩−cl coneDqv {0}, 4.11
sinceT2fS, fx, v⊂TfS, fx, vbyLemma 4.3iii.
Theorem 4.10. Letfbe continuous onS,x∈S, and≥0.
iAssume thatDhas a compact baseB,p αbforb∈Bandα >0, and there existsδ >0
such thatfS−fx∩δU⊂Tfx, fS. IfTfx, fS∩−q−D\ {0} ∅, thenx∈LPAEf, S, q.
iiAssume thatTfx, fS∩−q−D\ {0}/∅, and there existsβ >0such that for each
d∈Tfx, fS\ {0}∩−q−DβUthe following conditions hold
T2fS, fx, d∩d⊥∩−cl coneDqβUd ∅,
TfS, fx, d∩d⊥∩−cl coneDqβUd {0},
4.12
thenx∈LPAEf, S, q, where,Udenotes the closed unit ball ofRm.
Proof. iLetTfx, fS∩−q−D\ {0} ∅, then,Tfx, fS∩−λb−B ∅, for all
λ >0. The assumptions and the separation result28, page 9implies that for anyλ >0 there exists a neighborhoodVλof 0 such that
Tfx, fS∩−λb−BVλ ∅. 4.13
Suppose, on the contrary, thatx /∈LPAEf, S, q, then, for any neighborhoodVof 0, we have
cl cone
f
S∩
xV
n
−fx qD
Therefore, cl cone f S∩ xV
n
−fx qD
∩ −B /∅. 4.15
That is, for anyn ∈ N there exist zn ∈ cl conefS∩xV/n−fx qD∩−B, and so, for anyn ∈ N there existsλk
n ≥ 0, xnk ∈ S∩xV/nand pkn ∈ Dsuch thatzkn
λk
nfxkn−fx qpnkand zkn → zn. Since znk → zn, there existsk1 ∈ N such that zkn∈znV, for allk≥k1. Byzkn λnkfxnk−fx qpkn, we have
λkn
fxkn
−fx∈znV −λkn
qpkn
, ∀k≥k1. 4.16
Letpk
n βknθnkforβkn≥0 andθkn∈B, then,
λk n 1λknβkn
fxkn
−fx∈ −
− zn 1λknβnk
λknβknθkn 1λknβnk
− αλknb 1λknβkn
V
1λknβkn
. 4.17
Letγk
n −zn/1λnkβkn λknβknθkn/1λknβnk, then,γnk∈B, sinceBis a convex set, and so,
λk n 1λk
nβkn
fxkn
−fx∈ −γnk−
αλk nb 1λk
nβnk
V
1λk nβkn
, ∀k≥k1. 4.18
On the other hand, fromxk
n ∈S∩xV/n, we havexkn → xwhenn → ∞andk → ∞. Sincefis a continuous function,fxk
n → fxwhenn → ∞andk → ∞, which combining with the assumptionfS−fx∩δU⊂Tfx, fSyields there existn1∈Nandkn1∈N
such that
fxkn1
−fx∈fS−fx∩δU⊂Tfx, fS, ∀k≥kn1. 4.19
Fromzn1/0, there existskn1 ∈ Nsuch thatλkn1 > 0, for allk ≥ kn1. Takek2 max{kn1, kn1},
and letλ αλk2
n1/1λnk1β2 kn21>0. SinceV is an arbitrary set, it follows that
λk2
n1
1λk2
n1β
k2
n1
fxk2
n1
−fx∈−B−λbVλ. 4.20
Which is a contradiction to4.13. This completes the proof.
iiSuppose, on the contrary, thatx /∈LPAEf, S, , then, for anyγ >0 andn∈N, we have cl cone f S∩ xγU
n
−fx qD
∩−D\ {0}/∅. 4.21
Let V γU. Similar to the proof ofi, we have for any n ∈ N there exist λk
n ≥ 0, xnk ∈
obvious thatfxk
n/fx. Otherwise,zn∈qD∩−D\ {0}, which is a contradiction to the assumption thatDis a pointed cone. Sincezn/0 andznk → zn, there existsk1 ∈Nsuch
thatλk
n >0 andzkn∈znV, for allk≥k1. Fromxkn ∈S∩xV/n, we havexnk → x, when
n → ∞andk → ∞. Sincefis a continuous function andfxk
n/fx, it is easy to see that
fxkn−fx/fxnk−fx → d ∈Tfx, fS. Fromzkn λknfxkn−fx qpkn, we have for sufficiently largen, k∈N
fxkn
−fx
fxkn
−fx
zkn−λkn
qpkn
λknf
xnk
−fx. 4.22
On the other hand, we have
zkn−λkn
qpnk
λknf
xkn
−fx ∈ −q−DV, 4.23
for sufficiently largek, n∈N. In fact, for sufficiently largek, n∈N
zk n−λkn
qpk
n
λknf
xkn
−fx∈
znV−λkn
qD
λknf
xkn
−fx . 4.24
Hence,
zk n−λkn
qpk
n
λk nf
xk
n
−fx∈ −q−D
V λk
nf
xk
n
−fx, 4.25
whenkandnsufficiently large enough. Sinceγ >0 is arbitrary,
fxk n
−fx
fxk n
−fx zk
n−λkn
qpk
n
λk nf
xk
n
−fx −→d∈
−q−DβU∩Tfx, fS. 4.26
Let tkn fxnk−fx and zkn 2/tknfxkn −fx/tkn −d. Similar to the proof of
Remark 4.11. IffSis convex, then the conditionsiandiiofTheorem 4.10are equivalent toiandii, respectively.
i Dhas a compact baseB,p αbfor someb∈B,α >0, andTfx, fS∩−q− D\ {0} ∅.
iiTfx, fS∩−q−D\ {0}/∅, and there existsβ > 0 such that for eachd ∈
Tfx, fS\ {0}∩−q−DβU
0/∈T2fS, fx, d, TfS, fx, d∩d⊥∩−cl coneDqβUd {0}.
4.27
Remark 4.12. The conditions of Theorem 4.7, Corollary 4.8 and Theorem 4.10 are not necessary conditions, see Examples4.14and4.15.
Now, we give some examples to verify the results ofTheorem 4.7,Theorem 4.10and
Corollary 4.8.
Example 4.13. Let D R2
, S {x1, x2 ∈ R2 : x2 ≥ |x1|3/2},f : S → R2,fx1, x2 x1, x2T,q 1,1T, and > 0. We consider x 0,0T ∈ S. It is easy to see that Tfx, fS∩−q−D ∅ and fS−fx ⊂ Tfx, fS. That is, the conditioni ofTheorem 4.10is valid, andx∈LPAEf, S, q PAEf, S, q, for all >0.
If we let 0 < <1 andx , 3/2T ∈S, then,Tfx, fS∩−q−D/∅. But the conditioniiofTheorem 4.10is valid. Hence,x∈LPAEf, S, P EAf, S, .
Let 0, then,Tfx, fS∩−D\ {0}/∅. But for alld∈Tfx, fS∩−D\ {0}, the condition ii of Corollary 4.8 satisfies see Example 3.7 in 7, and x is an efficient solution of this problem, since fS is a convex set. But for any β > 0, it is easy to check that there existsd ∈ Tfx, fS\ {0}∩−DβUsuch thatTfS, fx, d T2fS, fx, d cl coneDdβU R2. In fact, for anyβ > 0, taked β/2, β/2T ∈
Tfx, fS\ {0}∩−DβU, then,TfS, fx, d T2fS, fx, d cl coneDd βU R2andd⊥ {y y
1, y2T∈R2:y1y2 0}. Hence, the conditioniiofTheorem 4.10
is false, andxis not a properly efficient solution of this problem.
Example 4.14. LetD R2
,q 1,1T,S {x1, x2T : x1x2 ≥ 0} ∪ {x1, x2 ∈ R2 : x1 ≥
1} ∪ {x1, x2∈R2 :x2 ≥1},fx:S → R2andfx x. Takex 0,0T, then, it is easy to
see that there existsδ >0 such thatfS−fx∩δU ⊂Tfx.fSandTfx, fS∩
−q−D\ {0} ∅, for all≥0. Hence,x∈LPAEf, , p, for all≥0. Butxis not a global properly efficient solution, where,Uis closed unit ball ofR2.
We let 0< <1 andx , T ∈S, then,Tfx, fS∩−q−D\ {0}/∅, for all
>0, andiiinTheorem 4.10is false. In fact, for anyβ >0 andd ∈Tfx, fS∩−q− DβU ⊂ −intR2
,T2fx, fS, d Tfx, fS, d R2, sincefx ∈ intfS. But x∈LPAEf, S, . This implies that the conditions ofTheorem 4.10are not necessary.
Example 4.15. LetD R2
condition iiof Theorem 4.7is false. In fact, if we taked −2,−2T ∈ Tfx, fS ∩
−q−D, then,d⊥ {y1, y2T :y1y2 0},−cl coneDqd R2andTfS, fx, d
{y1, y2T ∈R2:y2≥y1}. Therefore,TfS, fx, v∩vT∩−cl coneDqv {y1, y2∈ R2 :y
1y2 0, y1≤0}.
Example 4.16. LetD R2,S {x1, x2∈R2 :x2 |x1|3/2},f :S → R2,fx1, x2 x1, x2T, q 1,1T, and >0. We considerx 0,0T ∈S. It is easy to see thatTfx, fS∩−q− D ∅andfS−fx⊂Tfx, fS. That is, the conditioniofTheorem 4.7is valid, and
x∈LPAEf, S, q PAEf, S, q, for all >0.
Theorem 4.17. Letx∈S,≥0andD Rm
.
iIff−x, d∩−q−intRm
∅, for any unit vectord∈Tx, S, thenx∈LWAEf, S, q.
iiIff−x, d∩−q−Rm
\{0} ∅, for any unit vectord∈Tx, S, thenx∈LAEf, S, q.
Where,f−x, d f−1x, d, . . . ,f−mx, dT.
Proof. iSuppose, on the contrary, thatx /∈LWAEf, S, q, then, there existsxk ∈ S\ {x},
k∈Nandxk → xsuch thatfxk−fx∈ −q − intRm. Letdk xk − x/xk − xand
tk xk−x, then,tk → 0,dk → d∈Tx, Sandd 1. Hence,
fxk−fx
tk
fxtkdk−fx
tk ∈ −q−intR m
−
1
tk −1
q. 4.28
Sincetk ↓ 0, there existsk1 ∈ N such thatfxk−fx/tk ∈ −q−intRm, for allk ≥ k1.
Hence,
fixk−fix
tk qi<
0, ∀i∈ {1, . . . , m}, k≥k1. 4.29
Therefore,
f−ix, d qi limt↓0 hinf→d
fixth−fix
t qi
≤lim inf n→ ∞
fixtndn−fix
tn qi<
0, ∀i∈ {1, . . . , m}.
4.30
Which is a contradictions to the assumption. This completes the proof.
iiSimilar to the proof ofi, we have there existsxk∈S\{x}, k∈Nandxk → xsuch thatfxk−fx∈ −q−Rm \ {0}. Hence, there existsk1∈Nsuch thatfxk−fx/tk ∈
andtk
nofxkandtk, respectively, then there exist an indexi0∈ {1, . . . , m},n0∈Nandk0 ∈N
such that
fi
xk
n
−fix
tkn
qi≤0, ∀i∈ {1, . . . , m}, ∀k≥k0, n≥n0,
fi0
xk n
−fi0x tk
n
qi0 <0, ∀k≥k0, n≥n0.
4.31
Therefore,f−ix, d qi ≤ 0, for alli ∈ {1, . . . , m}, andf−i0x, d qi0 < 0, which is a
contradiction to the assumption. This completes the proof.
Remark 4.18. The following necessary conditions for-local weaklyefficientsolutions may not be true.
x∈LWAEf, S, q ⇒f−x, d∩−q−intRm ∅, ∀d∈Tx, S.
x∈LAEf, S, q ⇒f−x, d∩−q−Rm \ {0} ∅, ∀d∈Tx, S. 4.32
See the following example.
Example 4.19. Letfx f1x, f2xT :R → R2,
f1x ⎧ ⎨ ⎩
xsin1
x, x /0,
0, x 0,
4.33
f2x x, 2/π,q 1,1T,S {x ∈ R : −2/π ≤ x ≤ 2/π}. Consider the following
problem:
min
x∈Sfx. MP
It is easy to see thatx 0 is anq-efficient solution ofMP, but,{d∈R : f−x, d q ∈ −intR2} ∩Tx, S/∅. In fact,
f1
−x, d limt↓0 infh↓d
f1th−f10
t limt↓0 infh↓dhsin 1
th −|d|, ∀d∈R. 4.34
f2−x, d d, for alld∈R. It is obvious that−1∈ {d∈R:f−x, d q∈ −intR2}. On the
Acknowledgments
This work was partially supported by the National Science Foundation of China no. 10771228 and 10831009, the Research Committee of The Hong Kong Polytechnic University, the Doctoral Foundation of Chongqing Normal Universityno.10XLB015and the Natural Science Foundation project of CQ CSTCno. CSTC. 2010BB2090.
References
1 K. Miettinen and M. M. M¨akel¨a, “On cone characterizations of weak, proper and Pareto optimality in multiobjective optimization,”Mathematical Methods of Operations Research, vol. 53, no. 2, pp. 233–245, 2001.
2 L. G. Huang and S. Y. Liu, “Cone characterizations of Pareto, weak and proper efficient points,” Journal of Systems Science and Mathematical Sciences, vol. 23, no. 4, pp. 452–460, 2003Chinese. 3 A. Engau and M. M. Wiecek, “Cone characterizations of approximate solutions in real vector
optimization,”Journal of Optimization Theory and Applications, vol. 134, no. 3, pp. 499–513, 2007. 4 B. Aghezzaf and M. Hachimi, “Second-order optimality conditions in multiobjective optimization
problems,”Journal of Optimization Theory and Applications, vol. 102, no. 1, pp. 37–50, 1999.
5 A. Cambini, L. Martein, and M. Vlach, “Second-order tangent sets and optimaity conditions,” Tech. Rep., Japan Advanced Studies of Science and Technology, Hokuriku, Japan, 1997.
6 J.-P. Penot, “Second-order conditions for optimization problems with constraints,”SIAM Journal on Control and Optimization, vol. 37, no. 1, pp. 303–318, 1999.
7 B. Jim´enez and V. Novo, “Optimality conditions in differentiable vector optimization via second-order tangent sets,”Applied Mathematics and Optimization, vol. 49, no. 2, pp. 123–144, 2004.
8 C. Guti´errez, B. Jim´enez, and V. Novo, “New second-order directional derivative and optimality conditions in scalar and vector optimization,”Journal of Optimization Theory and Applications, vol. 142, no. 1, pp. 85–106, 2009.
9 G. Bigi, “On sufficient second order optimality conditions in multiobjective optimization,” Mathematical Methods of Operations Research, vol. 63, no. 1, pp. 77–85, 2006.
10 S. S. Kutateladze, “Convexε-programming,”Soviet Mathematics. Doklady, vol. 20, pp. 390–1393, 1979. 11 I. V´alyi, “Approximate saddle-point theorems in vector optimization,”Journal of Optimization Theory
and Applications, vol. 55, no. 3, pp. 435–448, 1987.
12 J.-C. Liu, “ε-properly efficient solutions to nondifferentiable multiobjective programming problems,”
Applied Mathematics, vol. 12, no. 6, pp. 109–113, 1999.
13 S. Bolintin´eanu, “Vector variational principles;ε-efficiency and scalar stationarity,”Journal of Convex Analysis, vol. 8, no. 1, pp. 71–85, 2001.
14 J. Dutta and V. Vetrivel, “On approximate minima in vector optimization,” Numerical Functional Analysis and Optimization, vol. 22, no. 7-8, pp. 845–859, 2001.
15 A. G ¨opfert, H. Riahi, C. Tammer, and C. Z˘alinescu, Variational Methods in Partially Ordered Spaces, Springer, New York, NY, USA, 2003.
16 E. M. Bednarczuk and M. J. Przybyła, “The vector-valued variational principle in Banach spaces ordered by cones with nonempty interiors,”SIAM Journal on Optimization, vol. 18, no. 3, pp. 907–913, 2007.
17 G. Chen, X. Huang, and X. Yang,Vector Optimization. Set-Valued and Variational Analysis, vol. 541 of Lecture Notes in Economics and Mathematical Systems, Springer, Berlin, Germany, 2005.
18 D. Gupta and A. Mehra, “Two types of approximate saddle points,”Numerical Functional Analysis and Optimization, vol. 29, no. 5-6, pp. 532–550, 2008.
19 C. Guti´errez, B. Jim´enez, and V. Novo, “A Set-valued ekeland’s variational principle in vector optimization,”SIAM Journal on Control and Optimization, vol. 47, no. 2, pp. 883–903, 2008.
20 C. Guti´errez, R. L´opez, and V. Novo, “Generalizedε-quasi-solutions in multiobjective optimization problems: existence results and optimality conditions,” Nonlinear Analysis: Theory, Methods & Applications, vol. 72, no. 11, pp. 4331–4346, 2010.
21 D. J. White, “Epsilon efficiency,”Journal of Optimization Theory and Applications, vol. 49, no. 2, pp. 319–337, 1986.
22 S. Helbig, “One new concept forε-efficency,” talk at Optimization Days, Montreal, Canada, 1992.
Proceedings of APORS, M. Fushimi and K. Tone, Eds., vol. 1995, pp. 497–504, World Scientific, Singapore, 1994.
24 Y. Sawaragi, H. Nakayama, and T. Tanino,Theory of Multiobjective Optimization, vol. 176 ofMathematics in Science and Engineering, Academic Press, Orlando, Fla, USA, 1985.
25 W. D. Rong and Y. Ma, “ε-properly efficient solution of vector optimization problems with set-valued
maps,”OR Transaction, vol. 4, pp. 21–32, 2000.
26 J. Borwein, “Proper efficient points for maximizations with respect to cones,”SIAM Journal on Control and Optimization, vol. 15, no. 1, pp. 57–63, 1977.
27 L. R. Huang, “Separate necessary and sufficient conditions for the local minimum of a function,” Journal of Optimization Theory and Applications, vol. 125, no. 1, pp. 241–246, 2005.