optimality and duality for a multi-objective programming problem involving generalized d-type-i and...
TRANSCRIPT
European Journal of Operational Research 173 (2006) 405–418
www.elsevier.com/locate/ejor
Continuous Optimization
Optimality and duality for a multi-objectiveprogramming problem involving generalized d-type-I
and related n-set functions q
S.K. Mishra a, S.Y. Wang b,d, K.K. Lai c,d,*
a Department of Mathematics, Statistics and Computer Science, College of Basic Sciences and Humanities,
Govind Ballabh Pant University of Agriculture and Technology, Pantnagar 263 145, Indiab Institute of Systems Science, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences, Beijing 100080, China
c Department of Management Sciences, City University of Hong Kong, Tat Chee Avenue, Kowloon, Hong Kongd College of Business Administration, Hunan University, Changsha, China
Received 3 November 2003; accepted 21 February 2005Available online 6 June 2005
Abstract
In this paper, we introduce several generalized convexity for a real-valued set function and establish optimality andduality results for a multi-objective programming problem involving generalized d-type-I and related n-set functions.� 2005 Elsevier B.V. All rights reserved.
Keywords: Multi-objective programming; n-set functions; Optimality; Duality; Generalized convexity
1. Introduction
In this paper, we consider the following multi-objective programming problem involving n-set functions:
0377-2doi:10.
q TheIndia uNatura
* CoKowlo
E-m
ðVPÞ minimize F ðSÞ ¼ ðF 1ðSÞ; . . . ; F pðSÞÞsubject to GjðSÞ 5 0; j 2 M ;
217/$ - see front matter � 2005 Elsevier B.V. All rights reserved.1016/j.ejor.2005.02.062
research was supported by the Department of Science and Technology, Ministry of Science and Technology, Government ofnder SERC Fast Track Scheme for Young Scientists 2001–2002 through grant No. SR/FTP/MS-22/2001 and The Nationall Science Foundation of China.
rresponding author. Address: Department of Management Sciences, City University of Hong Kong, Tat Chee Avenue,on, Hong Kong. Fax: +852 27888563.ail address: [email protected] (K.K. Lai).
406 S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418
where S = (S1, . . . , Sn) 2 Cn, Cn is the n-fold product of a r-algebra C, Fi, i 2 P = {1,2, . . . , p} and Gj,j 2 M = {1,2, . . . , m} are real-valued functions defined on Cn. Let I0 ¼ fS : S 2 Cn;GðSÞ 5 0g be the setof all feasible solutions to (VP), where G = (G1,G2, . . . , Gm).
The analysis of optimization problems with set functions has been the subject of many papers (see [2–4,6,10–14,19,21–25,32–35]). A formulation of optimization problems with set functions was first given inMorris [19]. Its main results are confined only to set functions of a single set. Corley [6] gave conceptsof a partial derivative and a derivative of a real-valued n-set function. Chou et al. [4,5], Kim et al. [10],Lin [11–14], Preda [21,22], and Preda and Minasian [24,25] studied optimality and duality for optimizationproblems involving vector-valued n-set functions. For details, one can refer to Bector and Singh [2], Hsiaand Lee [7], Kim et al. [10], Lin [11–14], Mazzoleni [16], Preda [22], Rosenmuller and Weidner [28], Tanakaand Maruyama [29] and Zalmai [31–35].
Starting from the method used by Jeyakumar and Mond [8], Mangasarian [15], Mond and Weir [18],Mukherjee [20], Ye [30] and Preda and Minasian [26] defined some new classes of scalar and vector func-tions called d-type-I, d-pseudo-type-I and d-quasi-type-I for a multi-objective programming probleminvolving n-set functions and obtained some interesting results on optimality and Wolfe duality.
Recently, Aghezzaf and Hachimi [1] introduced new classes of generalized type-I vector valued functionswhich are different from those defined in Kaul et al. [9]. For details, see Aghezzaf and Hachimi [1]. In thispaper, we extend the generalized d-type-I vector valued functions of Preda et al. [27] as well as the general-ized type-I functions of Aghezzaf and Hachimi [1] to new generalized d-type-I and related n-set functionsand establish optimality and Mond–Weir type duality results for problem (VP).
2. Definitions and preliminaries
In this section we introduce some notions and definitions. For x = (x1, x2, . . . , xm) andy = (y1, y2, . . . , ym) 2 Rm, we denote x 5 y iff xi 5 yi for all i 2 M; x 6 y iff xi 5 yi for all i 2 M withx 5 y; x < y iff xi < yi for all i 2 M; and x 6< y is the negation of x < y. We denote that x 2 Rm
þ iff x = 0.Let (X,C,l) be a finite atomless measure space with L1(X,C,l) separable, and let d be the pseudo-metric
on Cn defined by dðS; T Þ ¼ ½Pn
k¼1l2ðSkDT kÞ�1=2, where S = (S1, . . . , Sn) and T = (T1, . . . , Tn) 2 Cn and D
denotes the symmetric difference. Thus, (Cn, d) is a pseudo-metric space.For h 2 L1(X,C,l), the integral �S h dl is denoted by hh, ISi, where IS 2 L1(X,C,l) is the indicator
(characteristic) function of S 2 C.A concept of differentiability for a real-valued set function was originally introduced by Morris [19]. Its
n-set counterpart was discussed in Corley [6].A function u : C ! R is said to be differentiable at S0 2 C if there exists Du(S0) 2 L1(X,C,l), called the
derivative of u at S0, and w : C · C ! R such that for each S 2 C,
uðSÞ ¼ uðS0Þ þ hDuðS0Þ; IS � IS0i þ wðS; S0Þ;
where w(S, S0) is o(d(S, S0)), that is, limdðS;S0Þ!0wðS;S0ÞdðS;S0Þ ¼ 0.
A function F : Cn ! R is said to have a partial derivative at S0 ¼ ðS01; . . . ; S0
nÞ with respect to its kth argu-ment if the function
uðSkÞ ¼ F ðS01; . . . ; S0
k�1; S0kþ1; . . . ; S0
nÞ
has derivative DuðS0kÞ and we define DkF ðS0Þ ¼ DuðS0
kÞ. If DkF(S0) exists for 1 5 k 5 n, we denoteDF(S0) = (D1F(S0), . . . , DnF(S0)).
F : Cn ! R is said to be differentiable at S0 ¼ ðS01; . . . ; S0
nÞ if there exist DF(S0) and w : Cn · Cn ! R suchthat
S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418 407
F ðSÞ ¼ F ðS0Þ þXn
k¼1
hDkF ðS0Þ; ISk � IS0ki þ wðS; S0Þ;
where w(S, S0) is o(d(S, S0)).A feasible solution S0 of (VP) is said to be an efficient solution of (VP) if there exists no other feasible
solution S of (VP) such that Fi(S) 5 Fi(S0), for all i 2 M with strict inequality for at least one i 2 M.
A feasible solution S0 of (VP) is said to be a weakly minimum (weakly efficient solution) of (VP) if thereexists no other feasible solution S of (VP) such that Fi(S) < Fi(S
0), for all i 2 M.Let q1,q2, . . . ,qp,q01,q02, . . . ,q0m,q,q 0 be real numbers, and denote �q ¼ ðq1; . . . ; qpÞ and �q0 ¼ ðq01; . . . ; q0mÞ.
Let h : Cn · Cn ! R+ be a function such that h(S, S0) 5 0 for S 5 S0.Along the lines of Aghezzaf and Hachimi [1] and Preda et al. [27], we define the following classes of n-set
functions, called (q,q 0, d)—strong pseudo-quasi-type-I, (q,q 0, d)—weak strictly-pseudo-quasi-type-I,(q,q 0, d)—weak strictly pseudo-type-I, (q,q 0, d)—weak quasi-strictly-pseudo-type-I functions.
Definition 2.1. (F, G) is said to be (q,q 0, d)—weak strictly-pseudo-quasi-type-I at S0 2 Cn with respect toki,dj : Cn · Cn! R+n{0}, i 2 P, j 2 M, if for all S 2 I0, we have
Xpi¼1
ciðS; S0ÞF iðSÞ 6Xp
i¼1
ciðS; S0ÞF iðS0Þ )Xp
i¼1
Xn
k¼1
hDkF iðS0Þ; ISk � IS0ki < �qhðS; S0Þ
and
�Xm
j¼1
djðS; S0ÞGjðS0Þ 5 0)Xm
j¼1
Xn
k¼1
hDkGjðS0Þ; ISk � IS0ki 5 � q0hðS; S0Þ.
The above definition extends the concept of (q,q 0, d)-pseudo-quasi-type-I functions of Preda et al. [27] aswell as the concept of weak strictly-pseudo-quasi-type-I functions of Aghezzaf and Hachimi [1].
Definition 2.2. (F, G) is said to be (q,q 0, d)-strong-pseudo-quasi-type-I at S0 2 Cn with respect toki,dj : Cn · Cn! R+n{0}, i 2 P, j 2 M, if for all S 2 I0, we have
Xpi¼1
ciðS; S0ÞF iðSÞ 6Xp
i¼1
ciðS; S0ÞF iðS0Þ )Xp
i¼1
Xn
k¼1
hDkF iðS0Þ; ISk � IS0ki 6 �qhðS; S0Þ
and
�Xm
j¼1
djðS; S0ÞGjðS0Þ 5 0)Xm
j¼1
Xn
k¼1
hDkGjðS0Þ; ISk � IS0ki 5 � q0hðS; S0Þ.
Definition 2.3. (F, G) is said to be (q,q 0, d)-weak quasi-strictly-pseudo-type-I at S0 2 Cn with respect toki,dj : Cn · Cn! R+n{0}, i 2 P, j 2 M, if for all S 2 I0, we have
Xpi¼1
ciðS; S0ÞF iðSÞ 6Xp
i¼1
ciðS; S0ÞF iðS0Þ )Xp
i¼1
Xn
k¼1
hDkF iðS0Þ; ISk � IS0ki 5 � qhðS; S0Þ
and
�Xm
j¼1
djðS; S0ÞGjðS0Þ 5 0)Xm
j¼1
Xn
k¼1
hDkGjðS0Þ; ISk � IS0ki 6 �q0hðS; S0Þ.
408 S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418
Definition 2.4. (F, G) is said to be (q,q 0, d)-weak strictly pseudo-type-I at S0 2 Cn with respect toki,dj : Cn · Cn ! R+n{0}, i 2 P, j 2 M, if for all S 2 I0, we have
Xpi¼1
ciðS; S0ÞF iðSÞ 6Xp
i¼1
ciðS; S0ÞF iðS0Þ )Xp
i¼1
Xn
k¼1
hDkF iðS0Þ; ISk � IS0ki < �qhðS; S0Þ
and
�Xm
j¼1
djðS; S0ÞGjðS0Þ 5 0)Xm
j¼1
Xn
k¼1
hDkGjðS0Þ; ISk � IS0ki < �q0hðS; S0Þ.
Remark 2.1. The above definitions are extensions of the corresponding concepts in Aghezzaf and Hachimi[1]. These definitions are also different from the definitions given in Preda [27], Mishra [17] and Kaul et al.[9].
The following lemma will be needed in Section 4 and its proof can be found in Zalmai [33].
Lemma 2.1. Let S0 be an efficient (or weakly efficient) solution for (VP) and let Fi, i 2 P and Gj, j 2 M be
differentiable at S0. Then there exist k 2 Rpþ, l 2 Rm
þ, (k,l) 5 0 such that
Xnk¼1
Xp
i¼1
kiDkF iðS0Þ þXm
j¼1
ljDkGjðS0Þ; ISk � IS0k
* += 0; for all S 2 Cn
ljGjðS0Þ ¼ 0; j 2 M .
Definition 2.5. A feasible solution S0 is said to be a regular feasible solution if there exists bS 2 Cn such that
GjðS0Þ þXn
k¼1
hDkGjðS0Þ; I Sk� IS0
ki < 0; j 2 M .
3. Optimality conditions
In this section, we establish some sufficient optimality conditions for a weakly efficient solution to (VP)under the assumptions of new types of generalized convexity introduced in Section 2.
Theorem 3.1. Let S0 be a feasible solution for (VP). Suppose that
(A1) there exist k0i = 0, i 2 P,
Ppi¼1k
0i ¼ 1, l0
j = 0, j 2 M0 = M(S0) = {j 2 M : Gj(S0) = 0} such that
Xpi¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki þ
Xj2M0
Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki = 0; 8S 2 Cn
(A2) (F, G0) is (q,q 0, d)-strong pseudo-quasi-type-I at S0, with respect to ci, and dj;
(A3) q + q 0 = 0.
Then S0 is a weak minimum to (VP).
Proof. Assume that S0 is not a weakly efficient solution to (VP). There is a feasible solution S 5 S0 to (VP)such that
F iðSÞ < F iðS0Þ; for all i 2 P . ð1Þ
S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418 409
According to (A2), there exist ki, dj : Cn · Cn ! R+n{0}, i 2 P, j 2 M0, such that for any S 2 I0,
Xpi¼1
ciðS; S0Þk0i F iðSÞ <
Xp
i¼1
ciðS; S0Þk0i F iðS0Þ )
Xp
i¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki < �qhðS; S0Þ ð2Þ
and
�Xj2M0
djðS; S0Þl0j GjðS0Þ 5 0)
Xj2M0
Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki 5 � q0hðS; S0Þ. ð3Þ
From (1) and k0i = 0, i 2 P, with
Ppi¼1k
0i ¼ 1 and ci > 0, for any i 2 P, we get
Xpi¼1
ciðS; S0Þk0i F iðSÞ <
Xp
i¼1
ciðS; S0Þk0i F iðS0Þ.
By (2), we get
Xpi¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki < �qhðS; S0Þ. ð4Þ
Since S0 is feasible to (VP) and Gj(S0) = 0 for j 2 M0, we obtain
�Xj2M0
djðS; S0Þl0j GjðS0Þ 6 0.
This relation together with (3) implies
Xj2M0Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki 5 � q0hðS; S0Þ. ð5Þ
By (4) and (5), we get
Xpi¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki þ
Xj2M0
Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki < �ðqþ q0ÞhðS; S0Þ 5 0;
which contradicts (A1). Hence, S0 is a weak minimum of (VP). h
Theorem 3.2. Let S0 be a feasible solution for (VP). Suppose that
(B1) there exist k0i = 0, i 2 P,
Ppi¼1k
0i ¼ 1, l0
j = 0, j 2 M0 = M(S0) = {j 2 M : Gj(S0) = 0} such that
Xpi¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki þ
Xj2M0
Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki = 0; 8S 2 Cn
(B2) ððk0i F Þi2P ; ðl0
j GjÞj2M0Þ is (q,q 0, d)-weak strictly pseudo-quasi-type-I at S0, with respect to ci, and dj;
(B3) q + q 0 = 0.
Then S0 is a weak minimum to (VP).
Proof. Assume that S0 is not a weakly efficient solution to (VP). Thus, there is a feasible solution S 5 S0 to(VP) such that
F iðSÞ < F iðS0Þ; for all i 2 P . ð6Þ
410 S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418
According to (B2), there exist ki,dj : Cn · Cn! R+n{0}, i 2 P, j 2 M0, such that for any S 2 I0,
Xpi¼1
ciðS; S0Þk0i F iðSÞ 6
Xp
i¼1
ciðS; S0Þk0i F iðS0Þ )
Xp
i¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki < �qhðS; S0Þ ð7Þ
and
�Xj2M0
djðS; S0Þl0j GjðS0Þ 5 0)
Xj2M0
Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki 5 � q0hðS; S0Þ. ð8Þ
From (6) and k0i = 0, i 2 P, with
Ppi¼1k
0i ¼ 1 and ci > 0, for any i 2 P, we get
Xpi¼1
ciðS; S0Þk0i F iðSÞ 6
Xp
i¼1
ciðS; S0Þk0i F iðS0Þ.
By (7), we get
Xpi¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki < �qhðS; S0Þ. ð9Þ
Since S0 is feasible to (VP) and Gj(S0) = 0 for j 2 M0, we obtain
�Xj2M0
djðS; S0Þl0j GjðS0Þ 6 0.
This relation together with (8) implies
Xj2M0Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki 5 � q0hðS; S0Þ. ð10Þ
By (9) and (10), we get
Xpi¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki þ
Xj2M0
Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki < �ðqþ q0ÞhðS; S0Þ 5 0;
which contradicts (B1). Hence, S0 is a weak minimum for (VP). h
Theorem 3.3. Let S0 be a feasible solution for (VP). Suppose that
(C1) there exist k0i = 0, i 2 P,
Ppi¼1k
0i ¼ 1, l0
j = 0, j 2 M0 = M(S0) = {j 2 M : Gj(S0) = 0} such that
Xpi¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki þ
Xj2M0
Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki = 0; 8S 2 Cn
(C2) ððk0i F Þi2P ; ðl0
j GjÞj2M0Þ is (q,q 0, d)-weak strictly pseudo-type-I at S0, with respect to ci, and dj;
(C3) q + q 0 = 0.
Then S0 is a weak minimum to (VP).
Proof. Assume that S0 is not a weakly efficient solution to (VP). Thus, there is a feasible solution S 5 S0 to(VP) such that
F iðSÞ < F iðS0Þ; for any i 2 P . ð11Þ
S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418 411
According to (C2), there exist ki,dj : Cn · Cn ! R+n{0}, i 2 P, j 2 M0, such that for any S 2 I0,
Xpi¼1
ciðS; S0Þk0i F iðSÞ 6
Xp
i¼1
ciðS; S0Þk0i F iðS0Þ )
Xp
i¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki < �qhðS; S0Þ ð12Þ
and
�Xj2M0
djðS; S0Þl0j GjðS0Þ 5 0)
Xj2M0
Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki < �q0hðS; S0Þ. ð13Þ
From (11) and k0i = 0, i 2 P, with
Ppi¼1k
0i ¼ 1 and ci > 0, for all i 2 P, we get
Xpi¼1
ciðS; S0Þk0i F iðSÞ 6
Xp
i¼1
ciðS; S0Þk0i F iðS0Þ.
By (12), we get
Xpi¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki < �qhðS; S0Þ. ð14Þ
Since S0 is a feasible solution of (VP) and Gj(S0) = 0 for j 2 M0, we obtain
�Xj2M0
djðS; S0Þl0j GjðS0Þ 6 0.
This relation together with (13) implies
Xj2M0Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki < �q0hðS; S0Þ. ð15Þ
By (14) and (15), we get
Xpi¼1
Xn
k¼1
k0i hDkF iðS0Þ; ISk � IS0
ki þ
Xj2M0
Xn
k¼1
l0j hDkGjðS0Þ; ISk � IS0
ki < �ðqþ q0ÞhðS; S0Þ 5 0;
which contradicts (C1). Hence, S0 is a weak minimum for (VP). h
4. Mond–Weir duality
In this section, we consider the following Mond–Weir dual problem:
ðMDÞ maximize F ðT Þ
subject toXp
i¼1
Xn
k¼1
kihDkðF ÞðT Þ; ISk � IT k i þXm
j¼1
Xn
k¼1
ljhDkðGÞðT Þ; ISk � IT k i = 0;
ljGjðT Þ = 0; j ¼ 1; . . . ;m;
ki = 0; i 2 P andXp
i¼1
ki ¼ 1; lj = 0; j 2 M ;
where S 2 Cn and T 2 Cn.
412 S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418
Let N be the set of all feasible solutions to (MD).
Theorem 4.1 (Weak duality). Suppose that S 2 I0 and (T,k,l) 2 N. Assume that
(D1) (F, G0) is (q,q 0, d)-strong pseudo-quasi-type-I at T with respect to ci, and dj and k > 0;
(D2) q + q 0 = 0.
Then F(S) 6< F(T).
Proof. We proceed by contradiction. If there exist S 2 I0 and (T,k,l) 2 N such that F(S) < F(T). Sinceci > 0, we have
Xpi¼1
ciðS; T ÞF iðSÞ 6Xp
i¼1
ciðS; T ÞF iðT Þ. ð16Þ
Since (T,k,l) 2 N, it follows that
Xmj¼1
ljGjðT Þ = 0; that is; �Xm
j¼1
ljGjðT Þ 5 0.
Because dj > 0, we have
�Xm
j¼1
djðS; T ÞljGjðT Þ 5 0. ð17Þ
By (D1), (16) and (17) yield
Xpi¼1
Xn
k¼1
kihDkF iðT Þ; ISk � IT k i 6 �qhðS; T Þ
and
Xmj¼1
Xn
k¼1
ljhDkGjðT Þ; ISk � IT k i 5 � q0hðS; T Þ.
Since k > 0, the above two inequalities imply
Xnk¼1
hDkðkF ÞðT Þ þ DkðlGÞðT Þ; ISk � IT k i < �ðqþ q0ÞhðS; T Þ 5 0;
which contradicts the feasibility of (T,k,l) to (MD). Thus, F(S) 6< F(T). The proof is completed. h
Theorem 4.2 (Weak duality). Suppose that S 2 I0 and (T, k,l) 2 N. Assume that
(E1) ððk0i F Þi2P ; ðl0
j GjÞj2MÞ is (q,q 0, d)-weak strictly pseudo-quasi-type-I at T with respect to ci, and dj;
(E2) q + q 0 = 0.
Then F(S) 6< F(T).
Proof. We proceed by contradiction. If there exist S 2 I0 and (T,k,l) 2 N such that F(S) < F(T). Becauseci > 0, we have
Xpi¼1
ciðS; T ÞF iðSÞ 6Xp
i¼1
ciðS; T ÞF iðT Þ. ð18Þ
S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418 413
Since (T,k,l) 2 N, it follows that
Xmj¼1
ljGjðT Þ = 0; that is; �Xm
j¼1
ljGjðT Þ 5 0.
Because dj > 0, we have
�Xm
j¼1
djðS; T ÞljGjðT Þ 5 0. ð19Þ
By (E1), (18) and (19) yield
Xpi¼1
Xn
k¼1
kihDkF iðT Þ; ISk � IT k i < �qhðS; T Þ
and
Xmj¼1
Xn
k¼1
ljhDkGjðT Þ; ISk � IT k i 5 � q0hðS; T Þ.
The above two inequalities imply
Xnk¼1
hDkðkF ÞðT Þ þ DkðlGÞðT Þ; ISk � IT k i < �ðqþ q0ÞhðS; T Þ 5 0.
This contradicts the feasibility of (T,k,l) for (MD). Thus, F(S) 6< F(T). The proof is completed. h
Theorem 4.3 (Weak duality). Suppose that S 2 I0 and (T, k,l) 2 N. Assume that
(F1) ððk0i F Þi2P ; ðl0
j GjÞj2MÞ is (q,q 0, d)-weak strictly pseudo-type-I at T with respect to ci, and dj;
(F2) q + q 0 = 0.
Then F(S) 6< F(T).
Proof. We proceed by contradiction. If there exist S 2 I0 and (T,k,l) 2 N such that F(S) < F(T). Sinceci > 0, we have
Xpi¼1
ciðS; T ÞF iðSÞ 6Xp
i¼1
ciðS; T ÞF iðT Þ. ð20Þ
Since (T,k,l) 2 N, it follows that
Xmj¼1
ljGjðT Þ = 0; that is; �Xm
j¼1
ljGjðT Þ 5 0.
Because dj > 0, we have
�Xm
j¼1
djðS; T ÞljGjðT Þ 5 0. ð21Þ
By (F1), (20) and (21) yield
Xpi¼1
Xn
k¼1
kihDkF iðT Þ; ISk � IT k i < �qhðS; T Þ
414 S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418
and
Xmj¼1
Xn
k¼1
ljhDkGjðT Þ; ISk � IT k i < �q0hðS; T Þ.
The above two inequalities imply
Xnk¼1
hDkðkF ÞðT Þ þ DkðlGÞðT Þ; ISk � IT k i < �ðqþ q0ÞhðS; T Þ 5 0.
This contradicts the feasibility of (T,k,l) for (MD). Thus, F(S) 6< F(T). The proof is completed. h
Theorem 4.4 (Strong duality). Let S0 2 I0 be a regular weak minimum to (VP). Then there exist k0 2 Rp and
l0 2 Rm such that (S0,k0,l0) is a feasible solution to (MD) and the values of the objective functions of (VP)
and (MD) are equal at S0 and (S0,k0,l0), respectively. Furthermore, if the conditions of Theorem 4.1 (respec-
tively Theorem 4.2 or Theorem 4.3) hold for each feasible (T, k,l) to (MD), then (S0,k0,l0) is a weak max-
imum to (MD).
Proof. By Lemma 2.1, there exist k0i = 0, i 2 P with
Ppi¼1k
0i ¼ 1 and l0
j = 0, j 2 M such that (S0,k0,l0) isfeasible for (MD) and the values of the objective functions of (VP) and (MD) are equal. The last part fol-lows directly from Theorem 4.1 (respectively Theorem 4.2 or Theorem 4.3). h
5. General Mond–Weir duality
In this section, we would like to study general Mond-Weir type duality for (VP) and establish weak andstrong duality theorems under the generalized convexity introduced in Section 2.
Consider the following general Mond–Weir type of dual problem:X
ðGMDÞ maximize F ðT Þ þj2J0
ljGjðT Þ
subject toXp
i¼1
Xn
k¼1
kihDkðF ÞðT Þ; ISk � IT k i þXm
j¼1
Xn
k¼1
ljhDkðGÞðT Þ; ISk � IT k i = 0;Xj2Ja
ljGjðT Þ = 0 for 1 5 a 5 r;
k = 0; l = 0 andXp
i¼1
ki ¼ 1;
where S 2 Cn, Ja, 0 5 a 5 r is a partitions of set M with Js \ Jt = /(empty) for s 5 t andSr
s¼0J s ¼ M .
Theorem 5.1 (Weak duality). Suppose that for any S 2 I0 and (T, k,l) feasible for (GMD),
(G1) k > 0 and ððF þP
j2J0ljGjÞð�Þ;
Pj2Ja
ljGjð�ÞÞ is (q,q 0, d)-strong pseudo-quasi-type-I at T with respect to
ci and dj for any a, 1 5 a 5 r;
(G2) q + q 0 = 0.
Then
F ðSÞ¥ F ðT Þ þXj2J0
ljGjðT Þ.
S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418 415
Proof. Suppose to the contrary that the result does not hold. Since S 2 I0 and l = 0, we haveX X
F ðSÞ þj2J0
ljGjðSÞ < F ðT Þ þj2J0
ljGjðT Þ.
From the feasibility of (T,k,l), we have
�Xj2Ja
ljGjðT Þ 5 0; for any 0 5 a 5 r.
Since ci > 0 and dj > 0, for j 2 M � J0, from the above two inequalities, we have
Xpi¼1
ciðS; T Þ F iðSÞ þXj2J0
ljGjðSÞ !
<Xp
i¼1
ciðS; T Þ F iðT Þ þXj2J0
ljGjðT Þ !
ð22Þ
and
�Xj2Ja
djðS; T ÞljGjðT Þ 5 0. ð23Þ
By (G1), (22) and (23), we have
Xpi¼1
Xn
k¼1
ki DkF iðT Þ þXj2J0
ljDkGjðT Þ; ISk � IT k
* +< �qhðS; T Þ ð24Þ
and
Xnk¼1
Xj2Ja
ljhDkGjðT Þ; ISk � IT k i 5 � q0hðS; T Þ. ð25Þ
Since Ja, 0 5 a 5 r are partitions of set M, k = 0 andPp
i¼1ki ¼ 1, (24) and (25) yield
Xpi¼1
Xn
k¼1
kihDkðkF ÞðT Þ; ISk � IT k i þXm
j¼1
Xn
k¼1
ljhDkðlGÞðT Þ; ISk � IT k i < �ðqþ q0ÞhðS; T Þ 5 0.
This contradicts the feasibility of (T,k,l) for (GMD). The proof is completed. h
Theorem 5.2 (Weak duality). Suppose that for any S 2 I0 and (T, k,l) feasible for (GMD),
(H1) ððF þP
j2J0ljGjÞð�Þ;
Pj2Ja
ljGjð�ÞÞ is (q,q 0, d)-weak strictly pseudo-quasi-type-I at T with respect to ci
and dj for any a, 1 5 a 5 r;
(H2) q + q 0 = 0.
Then
F ðSÞ¥ F ðT Þ þXj2J0
ljGjðT Þ.
Proof. Suppose to the contrary that the result doe not hold. Since S 2 I0 and l = 0, we have
F ðSÞ þXj2J0
ljGjðSÞ < F ðT Þ þXj2J0
ljGjðT Þ.
From the feasibility of (T,k,l), we have
�Xj2Ja
ljGjðT Þ 5 0; for any 0 5 a 5 r.
416 S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418
Since ci > 0 and dj > 0, for j 2 M � J0, from the above two inequalities, we have
Xp
i¼1
ciðS; T Þ F iðSÞ þXj2J0
ljGjðSÞ !
<Xp
i¼1
ciðS; T Þ F iðT Þ þXj2J0
ljGjðT Þ !
ð26Þ
and
�Xj2Ja
djðS; T ÞljGjðT Þ 5 0; for any 0 5 a 5 r. ð27Þ
By (H1), (26) and (27), we have
Xpi¼1
Xn
k¼1
ki DkF iðT Þ þXj2J0
ljDkGjðT Þ; ISk � IT k
* +< �qhðS; T Þ ð28Þ
and
Xnk¼1
Xj2Ja
ljhDkGjðT Þ; ISk � IT k i 5 � q0hðS; T Þ. ð29Þ
Since Ja, 0 5 a 5 r is a partition of set M, k = 0 andPp
i¼1ki ¼ 1, (28) and (29) yield
Xpi¼1
Xn
k¼1
kihDkðkF ÞðT Þ; ISk � IT k i þXm
j¼1
Xn
k¼1
ljhDkðlGÞðT Þ; ISk � IT k i < �ðqþ q0ÞhðS; T Þ 5 0.
This contradicts the feasibility of (T,k,l) for (GMD). The proof is completed. h
Theorem 5.3 (Weak duality). Suppose that for any S 2 I0 and (T, k,l) feasible for (GMD),
(K1) ððF þP
j2J0ljGjÞð�Þ;
Pj2Ja
ljGjð�ÞÞ is (q,q 0, d)-weak strictly pseudo-type-I at T with respect to ci and dj
for any a, 1 5 a 5 r;
(K2) q + q 0 = 0.
Then
F ðSÞ¥ F ðT Þ þXj2J0
ljGjðT Þ.
Proof. Because ððF þP
j2J0ljGjÞð�Þ;
Pj2Ja
ljGjð�ÞÞ is of (q,q 0, d)-weak strictly pseudo-type-I, we get (28)and
Xn
k¼1
Xj2Ja
ljhDkGjðT Þ; ISk � IT k i < �q0hðS; T Þ. ð30Þ
Adding (28) and (30), we get a contradiction to the feasibility of (T,k,l). This completes the proof. h
Theorem 5.4 (Strong duality). Let S0 2 I0 be a regular weak minimum to (VP). Then there exist k0 2 Rp and
l0 2 Rm such that (S0,k0,l0) is a feasible solution to (GMD) and the values of the objective functions of (VP)
and (GMD) are equal at S0 and (S0,k0,l0), respectively. Furthermore, if the conditions in (respectivelyTheorem 5.2 or Theorem 5.3) hold for each feasible (T,k,l) to (GMD), then (S0,k0,l0) is a weak maximum
to (GMD).
S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418 417
Proof. By Lemma 2.1, there exist k0i = 0, i 2 P with
Ppi¼1k
0i ¼ 1 and l0
j = 0, j 2 M such that (S0,k0,l0) isfeasible for (MD) and the values of the objective functions of (VP) and (MD) are equal. The last part fol-lows directly from Theorem 5.1 (respectively Theorem 5.2 or Theorem 5.3). h
Acknowledgment
The authors are thankful to two anonymous referees for their helpful comment that improved the pre-sentation of the paper.
References
[1] B. Aghezzaf, M. Hachimi, Multiobjective programming problems, Journal of Global Optimization 18 (2000) 91–101.[2] C.R. Bector, M. Singh, Duality for multiobjective B-vex programming involving n-set functions, Journal of Mathematical
Analysis and Applications 202 (1996) 701–726.[3] D. Bhatia, P. Kumar, A note on fractional minmax programs containing n-set functions, Journal of Mathematical Analysis and
Applications 215 (1997) 283–292.[4] J.H. Chou, W.S. Hsia, T.Y. Lee, On multiple objective programming problems with set functions, Journal of Mathematical
Analysis and Applications 105 (1985) 383–394.[5] J.H. Chou, W.S. Hsia, T.Y. Lee, Epigraphs of convex set functions, Journal of Mathematical Analysis and Applications 118
(1986) 247–254.[6] H.W. Corley, Optimization theory for n-set functions, Journal of Mathematical Analysis and Applications 127 (1987) 193–205.[7] W.S. Hsia, T.Y. Lee, Proper D-solution of multiobjective programming problems with set functions, Journal of Optimization
Theory and Applications 53 (1987) 247–258.[8] V. Jeyakumar, B. Mond, On generalized convex mathematical programming, Journal of the Australian Mathematical Society
Series B—Applied Mathematics 34 (1992) 43–53.[9] R.N. Kaul, S.K. Suneja, M.K. Srivastava, Optimality criteria and duality in multiple objective optimization involving generalized
invexity, Journal of Optimization Theory and Applications 80 (1994) 465–482.[10] D.S. Kim, C.L. Jo, G.M. Lee, Optimality and duality for multiobjective fractional programming involving n-set functions,
Journal of Mathematical Analysis and Applications 224 (1998) 1–13.[11] L.J. Lin, Optimality of differentiable vector-valued n-set functions, Journal of Mathematical Analysis and Applications 149 (1990)
255–270.[12] L.J. Lin, On the optimality conditions of vector-valued n-set functions, Journal of Mathematical Analysis and Applications 161
(1991) 367–387.[13] L.J. Lin, Duality theorems of vector valued n-set functions, Computers & Mathematics with Applications 21 (1991) 165–175.[14] L.J. Lin, On optimality of differentiable nonconvex n-set functions, Journal of Mathematical Analysis and Applications 168 (1992)
351–366.[15] O.L. Mangasarian, Nonlinear Programming, McGraw-Hill, New York, 1969.[16] P. Mazzoleni, On constrained optimization for convex set functions, in: A. Prekop (Ed.), Survey of Mathematical Programming,
North-Holland, Amsterdam, 1979, pp. 273–290.[17] S.K. Mishra, On multiple-objective optimization with generalized univexity, Journal of Mathematical Analysis and Applications
224 (1998) 131–148.[18] B. Mond, T. Weir, Generalized concavity and duality, in: S. Schaible, W.T. Ziemba (Eds.), Generalized Concavity in
Optimization and Economics, Academic Press, New York, 1981, pp. 263–280.[19] R.J.T. Morris, Optimal constrained selection of a measurable subset, Journal of Mathematical Analysis and Applications 70
(1979) 546–562.[20] R.N. Mukherjee, Genaralized convex duality for multiobjective fractional programs, Journal of Mathematical Analysis and
Applications 162 (1991) 309–316.[21] V. Preda, On minimax programming problems containing n-set functions, Optimization 22 (1991) 527–537.[22] V. Preda, On duality of multiobjective fractional measurable subset selection problems, Journal of Mathematical Analysis and
Applications 196 (1995) 514–525.[23] V. Preda, A. Batatorescu, On duality for minmax generalized B-vex programming involving n-set functions, Journal of Convex
Analysis 9 (2002) 609–623.
418 S.K. Mishra et al. / European Journal of Operational Research 173 (2006) 405–418
[24] V. Preda, I.M. Stancu-Minasian, Mond–Weir duality for multiobjective mathematical programming with n-set functions, AnaleleUniversitati Bucuresti, Matematica-Informatica 46 (1997) 89–97.
[25] V. Preda, I.M. Stancu-Minasian, Mond–Weir duality for multiobjective mathematical programming with n-set functions, RevueRoumaine de Mathematiques Pures et Appliquees 44 (1999) 629–644.
[26] V. Preda, I.M. Stancu-Minasian, Optimality and Wolfe duality for multiobjective programming problems involving n-setfunctions, in: Nicolas Hadjisavvas, J.-E. Martinez-Legaz, J.-P. Penot (Eds.), Generalized Convexity and GeneralizedMonotonicity, Springer, Berlin, 2001, pp. 349–361.
[27] V. Preda, I.M. Stancu-Minasian, E. Koller, On optimality and duality for multiobjective programming problems involvinggeneralized d-type-I and related n-set functions, Journal of Mathematical Analysis and Applications 283 (2003) 114–128.
[28] J. Rosenmuller, H.G. Weidner, Extreme convex set functions with finite carries: General theory, Discrete Mathematics 10 (1974)343–382.
[29] K. Tanaka, Y. Maruyama, The multiobjective optimization problems of set functions, Journal of Information & OptimizationSciences 5 (1984) 293–306.
[30] Y.L. Ye, D-invexity and optimality conditions, Journal of Mathematical Analysis and Applications 162 (1991) 242–249.[31] G.J. Zalmai, Optimality conditions and duality for constrained measurable subset selection problems with minmax objective
functions, Optimization 20 (1989) 377–395.[32] G.J. Zalmai, Sufficiency criteria and duality for nonlinear programs involving n-set functions, Journal of Mathematical Analysis
and Applications 149 (1990) 322–338.[33] G.J. Zalmai, Optimality conditions and duality for multiobjective measurable subset selection problems, Optimization 22 (1991)
221–238.[34] G.J. Zalmai, Semiparametric sufficiency conditions and duality models for multiobjective fractional subset programming
problems with generalized (I, q, h)-convex functions, Southeast Asian Bulletin of Mathematics 25 (2001) 529–563.[35] G.J. Zalmai, Efficiency conditions and duality models for multiobjective fractional subset programming problems with generalized
(I, a, q, h)–V-convex functions, Computers and Mathematics with Applications 43 (2002) 1489–1520.