Research Article Multiobjective Fractional Programming Involving

0 downloads 0 Views 2MB Size Report
May 5, 2014 - We study a nonlinear multiple objective fractional programming with inequality .... rectionally differentiable functions introduced in [34] to.
Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences Volume 2014, Article ID 496149, 12 pages http://dx.doi.org/10.1155/2014/496149

Research Article Multiobjective Fractional Programming Involving Generalized Semilocally V-Type I-Preinvex and Related Functions Hachem Slimani1 and Shashi Kant Mishra2 1 2

LaMOS Research Unit, Computer Science Department, University of Bejaia, 06000 Bejaia, Algeria Department of Mathematics, Faculty of Science, Banaras Hindu University, Varanasi 221005, India

Correspondence should be addressed to Hachem Slimani; [email protected] Received 12 January 2014; Revised 5 April 2014; Accepted 5 April 2014; Published 5 May 2014 Academic Editor: Ram U. Verma Copyright Β© 2014 H. Slimani and S. K. Mishra. 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 a nonlinear multiple objective fractional programming with inequality constraints where each component of functions occurring in the problem is considered semidifferentiable along its own direction instead of the same direction. New Fritz John type necessary and Karush-Kuhn-Tucker type necessary and sufficient efficiency conditions are obtained for a feasible point to be weakly efficient or efficient. Furthermore, a general Mond-Weir dual is formulated and weak and strong duality results are proved using concepts of generalized semilocally V-type I-preinvex functions. This contribution extends earlier results of Preda (2003), Mishra et al. (2005), Niculescu (2007), and Mishra and Rautela (2009), and generalizes results obtained in the literature on this topic.

1. Introduction Because of many practical optimization problems where the objective functions are quotients of two functions, multiobjective fractional programming has received much interest and has grown significantly in different directions in the setting of efficiency conditions and duality theory these later years. The field of multiobjective fractional optimization has been naturally enriched by the introductions and applications of various types of convexity theory, with and without differentiability assumptions, and in the framework of symmetric duality, variational problems, minimax programming, continuous time programming, and so forth. More specifically, works in the area of nonsmooth setting can be found in Chen [1], Kim et al. [2], Kuk et al. [3], Mishra and Rautela [4], Mishra et al. [5], Niculescu [6], Preda [7], and Soleimani-damaneh [8]. Efficiency conditions and duality models for multiobjective fractional subset programming problems are studied by Preda et al. [9], Verma [10], and Zalmai [11–13]. Higher order duality in multiobjective fractional programming is discussed in Gulati and Geeta [14] and Suneja et al. [15]. Solving nonlinear multiobjective fractional programming problems by a modified objective function

method is the subject matter of Antczak [16]. Further works on multiobjective fractional programming are established by Chinchuluun et al. [17], J.-C. Liu and C.-Y. Liu [18], Mishra et al. [19], Verma [20], Zhang and Wu [21], and others. The common point in all of these developments is the convexity theory that does not stop extending itself in different directions with new variants of generalized convexity and various applications to nonlinear programming problems in different settings. The concept of invexity introduced by Hanson [22] is a generalization of convexity which has received much interest these later years, and many advances in the theory and practice have been established using this concept and its extensions. In practice, recently Dinuzzo et al. [23] have obtained some kernel function in machine learning which is not quasiconvex (and hence also neither convex nor pseudoconvex), but it is invex. Nickisch and Seeger [24] have studied a multiple kernel learning problem and have used the invexity to deal with the optimization which is nonconvex. The concept of semilocally convex functions was introduced by Ewing [25] and was further extended to semilocally quasiconvex, semilocally pseudoconvex functions by Kaul and Kaur [26, 27]. Other generalizations of semilocally convex functions and their properties were investigated in

2 Mishra and Rautela [4], Mishra et al. [5], Niculescu [6], Preda [7, 28], Preda and Stancu-Minasian [29], Preda et al. [30], and Stancu-Minasian [31]. In Preda [7], necessary and sufficient efficiency conditions for a nonlinear fractional multiple objective programming problem are obtained involving πœ‚-semidifferentiable functions. Furthermore, a general dual was formulated and duality results were proved using concepts of generalized semilocally preinvex functions. Thus, results of Preda [28], Preda and Stancu-Minasian [29], and Preda et al. [30] were generalized. Mishra et al. [5] extended the issues of Preda [7] to the case of semilocally type I and related functions, generalizing results of Preda [7] and Stancu-Minasian [31]. Niculescu [6] extended the work of Mishra et al. [5] by using concepts of generalized 𝜌-semilocally type I-preinvex functions. Mishra and Rautela [4] extended the works of Mishra et al. [5] and Preda [7] to the case of semilocally type I univex and related functions. By considering the invexity with respect to different (πœ‚π‘– )𝑖 (each function occurring in the studied problem is considered with respect to its own function πœ‚π‘– instead of the same function πœ‚), Slimani and Radjef [32–34] have obtained necessary and sufficient optimality/efficiency conditions and duality results for nonlinear scalar and (nondifferentiable) multiobjective problems. Ahmad [35] has considered a nondifferentiable multiobjective problem and, by using generalized univexity with respect to different (πœ‚π‘– )𝑖 , he has obtained efficiency conditions and duality results. ́ Arana-Jimenez et al. [36] have used the concept of semidirectionally differentiable functions introduced in [34] to derive characterizations of solutions and duality results by means of generalized pseudoinvexity for nondifferentiable multiobjective programming. In this paper, motivated by the work of Slimani and Radjef [34], we define semilocally vector-type I problems, where each component of the objective and constraint functions is semidifferentiable along its own direction instead of the same direction. Then we consider necessary and sufficient efficiency conditions for a nonlinear fractional multiple objective programming problem involving semidifferentiable functions. Furthermore, we formulate a general Mond-Weir dual and prove duality results using concepts of generalized semilocally V-type I-preinvex and related functions. Thus, we extend the works of Mishra and Rautela [4], Mishra et al. [5], Niculescu [6], and Preda [7] and generalize results obtained in the literature on this topic.

2. Preliminaries and Definitions The following conventions for equalities and inequalities will be used. If π‘₯ = (π‘₯1 , . . . , π‘₯𝑛 ) and 𝑦 = (𝑦1 , . . . , 𝑦𝑛 ) ∈ R𝑛 , then π‘₯ = 𝑦 ⇔ π‘₯𝑖 = 𝑦𝑖 , 𝑖 = 1, . . . , 𝑛; π‘₯ < 𝑦 ⇔ π‘₯𝑖 < 𝑦𝑖 , 𝑖 = 1, . . . , 𝑛; π‘₯ ≦ 𝑦 ⇔ π‘₯𝑖 ≦ 𝑦𝑖 , 𝑖 = 1, . . . , 𝑛; π‘₯ ≀ 𝑦 ⇔ π‘₯ ≦ 𝑦 and π‘₯ =ΜΈ 𝑦. π‘ž π‘ž π‘ž We also denote by R≧ (resp., Rβ‰₯ or R> ) the set of vectors 𝑦 ∈ Rπ‘ž with 𝑦 ≧ 0 (resp., 𝑦 β‰₯ 0 or 𝑦 > 0). Let 𝐷 βŠ† R𝑛 be a set and πœ‚ : 𝐷 Γ— 𝐷 β†’ R𝑛 a vector application. We say that 𝐷 is πœ‚-invex at π‘₯0 ∈ 𝐷 if π‘₯0 +

International Journal of Mathematics and Mathematical Sciences πœ†πœ‚(π‘₯, π‘₯0 ) ∈ 𝐷 for any π‘₯ ∈ 𝐷 and πœ† ∈ [0, 1]. We say that the set 𝐷 is πœ‚-invex if 𝐷 is πœ‚-invex at any π‘₯0 ∈ 𝐷. Definition 1 (see [7]). We say that the set 𝐷 βŠ† R𝑛 is an πœ‚locally star-shaped set at π‘₯0 , π‘₯0 ∈ 𝐷, if, for any π‘₯ ∈ 𝐷, there exists 0 < π‘Žπœ‚ (π‘₯, π‘₯0 ) ≦ 1 such that π‘₯0 + πœ†πœ‚(π‘₯, π‘₯0 ) ∈ 𝐷 for any πœ† ∈ [0, π‘Žπœ‚ (π‘₯, π‘₯0 )]. Definition 2 (see [7]). Let 𝑓 : 𝐷 β†’ R𝑁 be a function, where 𝐷 βŠ† R𝑛 is an πœ‚-locally star-shaped set at π‘₯0 ∈ 𝐷. We say that 𝑓 is πœ‚-semidifferentiable at π‘₯0 if (𝑑𝑓)+ (π‘₯0 , πœ‚(π‘₯, π‘₯0 )) exists for each π‘₯ ∈ 𝐷, where +

(𝑑𝑓) (π‘₯0 , πœ‚ (π‘₯, π‘₯0 )) = lim+ πœ†β†’0

1 [𝑓 (π‘₯0 + πœ†πœ‚ (π‘₯, π‘₯0 )) βˆ’ 𝑓 (π‘₯0 )] πœ†

(1)

(the right derivative of 𝑓 at π‘₯0 along the direction πœ‚(π‘₯, π‘₯0 )). If 𝑓 is πœ‚-semidifferentiable at any π‘₯0 ∈ 𝐷, then 𝑓 is said to be πœ‚-semidifferentiable on 𝐷. Note that a function which is πœ‚-semidifferentiable at π‘₯0 is not necessarily directionally differentiable at this point (see [34]). Slimani and Radjef [34] have considered the functions whose directional derivatives exist and are finite in some directions (not necessarily in all directions) and they called them semidirectionally differentiable functions. This class of functions, where no assumptions on continuity are needed, is an extension of locally Lipschitz functions. Definition 3 (see [37]). A function 𝑓 : 𝐷 β†’ R𝑁 is a convexlike function if, for any π‘₯, 𝑦 ∈ 𝐷 and 0 ≦ πœ† ≦ 1, there exists 𝑧 ∈ 𝐷 such that 𝑓 (𝑧) ≦ πœ†π‘“ (π‘₯) + (1 βˆ’ πœ†) 𝑓 (𝑦) .

(2)

We consider the following multiobjective fractional optimization problem: (VFP) Minimize subject to

𝑓 (π‘₯) 𝑓 (π‘₯) 𝑓 (π‘₯) ,..., 𝑁 ), =( 1 𝑔 (π‘₯) 𝑔1 (π‘₯) 𝑔𝑁 (π‘₯) β„Žπ‘— (π‘₯) ≦ 0,

(3)

𝑗 = 1, 2, . . . , π‘˜,

where 𝑓𝑖 , 𝑔𝑖 , β„Žπ‘— : 𝐷 β†’ R, 𝑖 ∈ N = {1, 2, . . . , 𝑁}, 𝑗 ∈ 𝐾 = {1, 2, . . . , π‘˜} with 𝐷 is a nonempty subset of R𝑛 , and 𝑓𝑖 (π‘₯) ≧ 0, 𝑔𝑖 (π‘₯) > 0 for all π‘₯ ∈ 𝐷 and each 𝑖 ∈ N. Let 𝑓 = (𝑓1 , . . . , 𝑓𝑁), 𝑔 = (𝑔1 , . . . , 𝑔𝑁), and β„Ž = (β„Ž1 , . . . , β„Žπ‘˜ ). We put 𝑋 = {π‘₯ ∈ D : β„Ž(π‘₯) ≦ 0} as the set of all feasible solutions of VFP. For π‘₯0 ∈ 𝐷, we denote by 𝐽(π‘₯0 ) the set {𝑗 ∈ 𝐾 : β„Žπ‘— (π‘₯0 ) = 0}, where 𝐽 = |𝐽(π‘₯0 )| is the cardinal of Μƒ 0 ) (resp., 𝐽(π‘₯0 )) the set {𝑗 ∈ 𝐾 : β„Žπ‘— (π‘₯0 ) < set 𝐽(π‘₯0 ), and by 𝐽(π‘₯ Μƒ 0 ) βˆͺ 𝐽(π‘₯0 ) = 𝐾 0 (resp., β„Žπ‘— (π‘₯0 ) > 0) }. We have 𝐽(π‘₯0 ) βˆͺ 𝐽(π‘₯ and if π‘₯0 ∈ 𝑋, 𝐽(π‘₯0 ) = 0. For such optimization problems, minimization means obtaining (weakly) efficient solutions in the following sense.

International Journal of Mathematics and Mathematical Sciences Definition 4. A point π‘₯0 ∈ 𝑋 is said to be a weakly efficient solution of the problem VFP, if there exists no π‘₯ ∈ 𝑋 such that 𝑓𝑖 (π‘₯) 𝑓𝑖 (π‘₯0 ) < , 𝑔𝑖 (π‘₯) 𝑔𝑖 (π‘₯0 )

βˆ€π‘– ∈ N.

(4)

Definition 5. A point π‘₯0 ∈ 𝑋 is said to be an efficient solution of the problem VFP, if there exists no π‘₯ ∈ 𝑋 such that for some 𝑝 ∈ N 𝑓𝑝 (π‘₯) 𝑔𝑝 (π‘₯)


0,

π‘—βˆˆπ½0

𝑖=1

Lemma 13. Suppose that

(𝑑𝑓𝑖 ) (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )) < 0,

𝑁

𝑖=1

To prove necessary conditions for VFP, we need to prove the following lemma.

π‘—βˆˆπ½π‘ 

βˆ€π‘₯ ∈ 𝑋,

(16) 𝑠 = 1, 2, . . . , 𝛼.

If the second (implied) inequality in (16) is strict (π‘₯ =ΜΈ π‘₯0 ), we say that VFP is semilocally extendedly quasi strictly partially pseudo-V-type I-preinvex at π‘₯0 with respect to {(πœ‚π‘– )π‘–βˆˆN , (πœƒπ‘– )π‘–βˆˆN , (πœ™π‘— )π‘—βˆˆπ½0 } and {(πœ™π‘— )π‘—βˆˆπ½π‘  , 𝑠 = 1, 2, . . . , 𝛼}. If, for all 𝑖 ∈ N, πœƒπ‘– = πœ‚π‘– , we say that VFP is semilocally extendedly quasi (strictly) partially pseudo-V-type I-preinvex at π‘₯0 with respect to {(πœ‚π‘– )π‘–βˆˆN , (πœ™π‘— )π‘—βˆˆπ½0 } and {(πœ™π‘— )π‘—βˆˆπ½π‘  , 𝑠 = 1, 2, . . . , 𝛼}. Remark 12. In Definition 11 if 𝐽0 = 0 and 𝛼 = 1, then the concept of semilocally extendedly quasi (strictly) partially pseudo-V-type I-preinvexity reduces to the concept of semilocally quasi (strictly) pseudo-V-type I-preinvexity given in Definition 8.

Proof. Let π‘₯0 ∈ 𝑋 be a local weakly efficient solution for VFP and suppose there exists π‘₯Μƒ ∈ 𝑋 such that inequalities (20)– (22) are true. Μƒ 𝜏) = 𝑓𝑖 (π‘₯0 + πœπœ‚(π‘₯, Μƒ π‘₯0 )) βˆ’ 𝑓𝑖 (π‘₯0 ). For 𝑖 ∈ N, let πœ‘π‘“π‘– (π‘₯0 , π‘₯, We observe that this function vanishes at Μƒ 𝜏) βˆ’ πœ‘π‘“π‘– (π‘₯0 , π‘₯, Μƒ 0)] 𝜏 = 0 and lim𝜏 β†’ 0+ πœβˆ’1 [πœ‘π‘“π‘– (π‘₯0 , π‘₯, Μƒ π‘₯0 )) βˆ’ 𝑓𝑖 (π‘₯0 )] = = lim𝜏 β†’ 0+ πœβˆ’1 [𝑓𝑖 (π‘₯0 + πœπœ‚(π‘₯, Μƒ π‘₯0 )) ≦ (𝑑𝑓𝑖 )+ (π‘₯0 , πœ‚π‘– (π‘₯, Μƒ π‘₯0 )) < 0 using (𝑑𝑓𝑖 )+ (π‘₯0 , πœ‚(π‘₯, (17) and (20). Μƒ 𝜏) < 0 if 𝜏 is in It follows that, for all 𝑖 ∈ N, πœ‘π‘“π‘– (π‘₯0 , π‘₯, some open interval (0, 𝛿𝑓𝑖 ), 𝛿𝑓𝑖 > 0. Thus, for all 𝑖 ∈ N, Μƒ π‘₯0 )) < 𝑓𝑖 (π‘₯0 ) , 𝑓𝑖 (π‘₯0 + πœπœ‚ (π‘₯,

𝜏 ∈ (0, 𝛿𝑓𝑖 ) .

(23)

Similarly, by using (18) with (21) and (19) with (22), we get Μƒ π‘₯0 )) > 𝑔𝑖 (π‘₯0 ) , 𝑔𝑖 (π‘₯0 + πœπœ‚ (π‘₯,

𝜏 ∈ (0, 𝛿𝑔𝑖 ) , βˆ€π‘– ∈ N,

Μƒ π‘₯0 )) < β„Žπ‘— (π‘₯0 ) = 0, β„Žπ‘— (π‘₯0 + πœπœ‚ (π‘₯, 𝜏 ∈ (0, π›Ώβ„Žπ‘— ) , βˆ€π‘— ∈ 𝐽 (π‘₯0 ) , (24) where, for all 𝑖 ∈ N, 𝛿𝑔𝑖 > 0 and, for all 𝑗 ∈ 𝐽(π‘₯0 ), π›Ώβ„Žπ‘— > 0.

International Journal of Mathematics and Mathematical Sciences

5

Μƒ 0 ), β„Žπ‘— (π‘₯0 ) < 0 and β„Žπ‘— is continuous Now, since, for 𝑗 ∈ 𝐽(π‘₯ at π‘₯0 , then there exists 𝛿𝑗 > 0 such that Μƒ π‘₯0 )) < 0, β„Žπ‘— (π‘₯0 + πœπœ‚ (π‘₯,

Μƒ 0 ) and there exist (ii) β„Žπ‘— is continuous at π‘₯0 for 𝑗 ∈ 𝐽(π‘₯ vector functions πœ‚π‘– : 𝑋 Γ— 𝐷 β†’ R𝑛 , πœƒπ‘– : 𝑋 Γ— 𝐷 β†’ R𝑛 , 𝑖 ∈ N, and πœ™π‘— : 𝑋 Γ— 𝐷 β†’ R𝑛 , 𝑗 ∈ 𝐽(π‘₯0 ), which satisfy at π‘₯0 with respect to πœ‚ : 𝑋 Γ— 𝐷 β†’ R𝑛 inequalities (17)–(19);

𝜏 ∈ (0, 𝛿𝑗 ) , βˆ€π‘— ∈ 𝐽̃ (π‘₯0 ) . (25)

Let 𝛿0 = min{𝛿𝑓𝑖 , 𝑖 ∈ N, 𝛿𝑔𝑖 , 𝑖 ∈ N, π›Ώβ„Žπ‘— , 𝑗 ∈ 𝐽(π‘₯0 ), 𝛿𝑗 , 𝑗 ∈ Μƒ 0 )}. Then 𝐽(π‘₯ Μƒ π‘₯0 )) ∈ 𝑁𝛿0 (π‘₯0 ) , (π‘₯0 + πœπœ‚ (π‘₯,

𝜏 ∈ (0, 𝛿0 ) ,

(26)

where 𝑁𝛿0 (π‘₯0 ) is a neighborhood of π‘₯0 . Now, for all 𝜏 ∈ (0, 𝛿0 ), we have Μƒ π‘₯0 )) < 𝑓𝑖 (π‘₯0 ) , 𝑓𝑖 (π‘₯0 + πœπœ‚ (π‘₯,

𝑖 ∈ N,

(27)

Μƒ π‘₯0 )) > 𝑔𝑖 (π‘₯0 ) , 𝑔𝑖 (π‘₯0 + πœπœ‚ (π‘₯,

𝑖 ∈ N,

(28)

Μƒ π‘₯0 )) < 0, β„Žπ‘— (π‘₯0 + πœπœ‚ (π‘₯,

𝑗 ∈ 𝐾.

(29)

Μƒ π‘₯0 )) ∈ 𝑁𝛿0 (π‘₯0 ) ∩ 𝑋, for By (26) and (29), we get (π‘₯0 + πœπœ‚(π‘₯, all 𝜏 ∈ (0, 𝛿0 ). Using (27) and (28), for 𝑅(π‘₯) = (𝑓1 (π‘₯)/𝑔1 (π‘₯), . . ., 𝑓𝑁(π‘₯)/𝑔𝑁(π‘₯)), we get Μƒ π‘₯0 )) < 𝑅 (π‘₯0 ) , 𝑅 (π‘₯0 + πœπœ‚ (π‘₯,

(30)

which contradicts the assumption that π‘₯0 is a (local) weakly efficient solution for VFP. Hence, there exists no π‘₯ ∈ 𝑋 satisfying the system (20)–(22). Thus the lemma is proved. The following lemma given by Hayashi and Komiya [39] will be used. Lemma 14. Let 𝑆 be a nonempty set in R𝑛 and let πœ“ : 𝑆 β†’ Rπ‘š be a convex-like function. Then either πœ“ (π‘₯) < 0 β„Žπ‘Žπ‘  π‘Ž π‘ π‘œπ‘™π‘’π‘‘π‘–π‘œπ‘› π‘₯ ∈ 𝑆

(31)

(iii) for all 𝑖 ∈ N, 𝑓𝑖 , 𝑔𝑖 (for all 𝑗 ∈ 𝐽(π‘₯0 ), β„Žπ‘— ) is semidifferentiable at π‘₯0 along the direction πœ‚π‘– , πœƒπ‘– (πœ™π‘— ) and let 𝐿(π‘₯) = [(𝑑𝑓𝑖 )+ (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )), βˆ’(𝑑𝑔𝑖 )+ (π‘₯0 , πœƒπ‘– (π‘₯, π‘₯0 )), 𝑖 ∈ N, (π‘‘β„Žπ‘— )+ (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )), 𝑗 ∈ 𝐽(π‘₯0 )] ∈ R2𝑁+𝐽 be a convex-like function of π‘₯ on 𝑋. Then there exists (πœ‡, πœ†, 𝛿) ∈ R2𝑁+𝐽 such that (π‘₯0 , πœ‡, πœ†, 𝛿) β‰₯ satisfies 𝑁

𝑁

+

+

βˆ‘πœ‡π‘– (𝑑𝑓𝑖 ) (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )) βˆ’ βˆ‘πœ† 𝑖 (𝑑𝑔𝑖 ) (π‘₯0 , πœƒπ‘– (π‘₯, π‘₯0 )) 𝑖=1

𝑖=1

+

(33)

+ βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) ≧ 0, π‘—βˆˆπ½(π‘₯0 )

βˆ€π‘₯ ∈ 𝑋.

Proof. If the conditions (i) and (ii) are satisfied, then, by Lemma 13, system (20)–(22) has no solution for π‘₯ ∈ 𝑋. Since, by hypothesis (iii), 𝐿(π‘₯) = [(𝑑𝑓𝑖 )+ (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )), βˆ’(𝑑𝑔𝑖 )+ (π‘₯0 , πœƒπ‘– (π‘₯, π‘₯0 )), 𝑖 ∈ N, (π‘‘β„Žπ‘— )+ (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )), 𝑗 ∈ 𝐽(π‘₯0 )] ∈ R2𝑁+𝐽 is a convex-like function of π‘₯ on 𝑋, therefore, by Lemma 14, there exists 𝑝 = (πœ‡, πœ†, 𝛿) ∈ R2𝑁+𝐽 such that β‰₯ relation (33) is satisfied. Remark 16. As particular case of Theorem 15, if πœ‚π‘– = πœƒπ‘– = πœ‚, βˆ€π‘– ∈ N, πœ™π‘— = πœ‚, and βˆ€π‘— ∈ 𝐽(π‘₯0 ) (i.e., if we consider that all of the functions 𝑓𝑖 , 𝑔𝑖 , 𝑖 ∈ N, and β„Žπ‘— , 𝑗 ∈ 𝐽(π‘₯0 ), are semidifferentiable at π‘₯0 along the same direction πœ‚), we obtain Theorem 14 of Preda [7], Lemma 5 of Mishra et al. [5], Lemma 5 of Niculescu [6], and Lemma 2.5 of Mishra and Rautela [4]. Now, we define a constraint qualification given as follows.

or 𝑝𝑇 πœ“ (π‘₯) ≧ 0 π‘“π‘œπ‘Ÿ π‘Žπ‘™π‘™ π‘₯ ∈ 𝑆, π‘“π‘œπ‘Ÿ π‘ π‘œπ‘šπ‘’ 𝑝 ∈ Rπ‘š β‰₯,

(32)

but both alternatives are never true (here the symbol 𝑇 denotes the transpose of matrix). Preda [7], Mishra et al. [5], Niculescu [6], and Mishra and Rautela [4] have given necessary conditions for π‘₯0 ∈ 𝑋 to be a weakly efficient solution for VFP by taking the functions 𝑓𝑖 , 𝑔𝑖 , 𝑖 ∈ N, and β„Žπ‘— , 𝑗 ∈ 𝐽(π‘₯0 ), semidifferentiable along the same direction πœ‚(π‘₯, π‘₯0 ). Now we give necessary efficiency criteria by considering each function 𝑓𝑖 , 𝑔𝑖 , 𝑖 ∈ N (resp., β„Žπ‘— , 𝑗 ∈ 𝐽(π‘₯0 )) semidifferentiable along its own direction πœ‚π‘– (π‘₯, π‘₯0 ), πœƒπ‘– (π‘₯, π‘₯0 ), 𝑖 ∈ N (resp., πœ™π‘— (π‘₯, π‘₯0 ), 𝑗 ∈ 𝐽(π‘₯0 )). In the next theorem, we obtain Fritz John type necessary efficiency conditions. Theorem 15 (Fritz John type necessary efficiency conditions). Suppose that (i) π‘₯0 is a (local) weakly efficient solution for VFP;

Definition 17. Let π‘₯0 be a feasible point of 𝑉𝐹𝑃 and let πœƒπ‘– : 𝑋 Γ— 𝑋 β†’ R𝑛 , 𝑖 ∈ N, πœ™π‘— : 𝑋 Γ— 𝑋 β†’ R𝑛 , 𝑗 ∈ 𝐽(π‘₯0 ) be vector functions. (i) The function β„Ž is said to satisfy the semiconstraint qualification at π‘₯0 ∈ 𝑋 with respect to (πœ™π‘— )π‘—βˆˆπ½(π‘₯0 ) , if there exist π‘₯ ∈ 𝑋 such that +

(π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) < 0,

βˆ€π‘— ∈ 𝐽 (π‘₯0 ) .

(34)

(ii) The function β„Ž is said to satisfy the semiconstraint qualification at π‘₯0 ∈ 𝑋 with respect to ((𝑔𝑖 )π‘–βˆˆN , (πœƒπ‘– )π‘–βˆˆN , (πœ™π‘— )π‘—βˆˆπ½(π‘₯0 ) ), if there exist π‘₯ ∈ 𝑋 such that +

(𝑑𝑔𝑖 ) (π‘₯0 , πœƒπ‘– (π‘₯, π‘₯0 )) > 0, +

(π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) < 0,

βˆ€π‘– ∈ N, βˆ€π‘— ∈ 𝐽 (π‘₯0 ) .

(35)

To prove Karush-Kuhn-Tucker type necessary efficiency conditions for VFP, we need to prove the following result.

6

International Journal of Mathematics and Mathematical Sciences

Theorem 18. Suppose that (i) π‘₯0 is a (local) weakly efficient solution for the following problem: π‘€π‘–π‘›π‘–π‘šπ‘–π‘§π‘’

(πœ‘1 (π‘₯) , . . . , πœ‘π‘ (π‘₯)) ,

𝑠𝑒𝑏𝑗𝑒𝑐𝑑 π‘‘π‘œ

β„Žπ‘— (π‘₯) ≦ 0,

𝑗 = 1, 2, . . . , π‘˜,

(36)

where πœ‘ = (πœ‘1 , . . . , πœ‘π‘) : 𝐷 β†’ R𝑁; Μƒ 0 ) and there exist (ii) β„Žπ‘— is continuous at π‘₯0 for 𝑗 ∈ 𝐽(π‘₯ vector functions πœ‚π‘– : 𝑋 Γ— 𝐷 β†’ R𝑛 , 𝑖 ∈ N, and πœ™π‘— : 𝑋 Γ— 𝐷 β†’ R𝑛 , 𝑗 ∈ 𝐽(π‘₯0 ), which satisfy at π‘₯0 with respect to πœ‚ : 𝑋 Γ— 𝐷 β†’ R𝑛 the following inequalities: +

Lemma 19 (see [7]). If π‘₯0 is a (local) weakly efficient solution for VFP, then π‘₯0 is a (local) weakly efficient solution for (VFPπœ†0 ), where πœ†0𝑖 = 𝑓𝑖 (π‘₯0 )/𝑔𝑖 (π‘₯0 ), 𝑖 ∈ N. Using this lemma and Theorem 18, we can derive KarushKuhn-Tucker type necessary efficiency conditions for the problem VFP. Theorem 20 (Karush-Kuhn-Tucker type necessary efficiency conditions). Suppose that (i) π‘₯0 is a (local) weakly efficient solution for VFP; Μƒ 0 ) and there exist (ii) β„Žπ‘— is continuous at π‘₯0 for 𝑗 ∈ 𝐽(π‘₯ vector functions πœ‚π‘– : 𝑋 Γ— 𝐷 β†’ R𝑛 , 𝑖 ∈ N, and πœ™π‘— : 𝑋 Γ— 𝐷 β†’ R𝑛 , 𝑗 ∈ 𝐽(π‘₯0 ), which satisfy at π‘₯0 with respect to πœ‚ : 𝑋 Γ— 𝐷 β†’ R𝑛 inequalities (17) and (19) with

+

(π‘‘πœ‘π‘– ) (π‘₯0 , πœ‚ (π‘₯, π‘₯0 )) ≦ (π‘‘πœ‘π‘– ) (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )) , βˆ€π‘₯ ∈ 𝑋, βˆ€π‘– ∈ N, +

+

(π‘‘β„Žπ‘— ) (π‘₯0 , πœ‚ (π‘₯, π‘₯0 )) ≦ (π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) ,

(37)

+

+

(𝑑𝑔𝑖 ) (π‘₯0 , πœ‚ (π‘₯, π‘₯0 )) ≧ (𝑑𝑔𝑖 ) (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )) ,

βˆ€π‘₯ ∈ 𝑋, βˆ€π‘— ∈ 𝐽 (π‘₯0 ) ;

βˆ€π‘₯ ∈ 𝑋, βˆ€π‘– ∈ N;

(iii) for all 𝑖 ∈ N, πœ‘π‘– (for all 𝑗 ∈ 𝐽(π‘₯0 ), β„Žπ‘— ) is semidifferentiable at π‘₯0 along the direction πœ‚π‘– (πœ™π‘— ) and let 𝐿 1 (π‘₯) = [(π‘‘πœ‘π‘– )+ (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )), 𝑖 ∈ N, (π‘‘β„Žπ‘— )+ (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )), 𝑗 ∈ 𝐽(π‘₯0 )] ∈ R𝑁+𝐽 be a convex-like function of π‘₯ on 𝑋; (iv) the function β„Ž satisfies the semiconstraint qualification at π‘₯0 ∈ 𝑋 with respect to (πœ™π‘— )π‘—βˆˆπ½(π‘₯0 ) . 𝐽 Then there exist πœ‡ ∈ R𝑁 β‰₯ and 𝛿 ∈ R≧ such that (π‘₯0 , πœ‡, 𝛿) satisfies 𝑁

(iii) for all 𝑖 ∈ N, 𝑓𝑖 , 𝑔𝑖 (for all 𝑗 ∈ 𝐽(π‘₯0 ), β„Žπ‘— ) is semidifferentiable at π‘₯0 along the direction πœ‚π‘– (πœ™π‘— ) and let 𝐿 2 (π‘₯) = [[(𝑑𝑓𝑖 )+ (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )) βˆ’ πœ†0𝑗 (𝑑𝑔𝑖 )+ (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 ))], 𝑖 ∈ N, (π‘‘β„Žπ‘— )+ (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )), 𝑗 ∈ 𝐽(π‘₯0 )] ∈ R𝑁+𝐽 be a convex-like function of π‘₯ on 𝑋, where πœ†0 = (πœ†01 , . . . , πœ†0𝑁), πœ†0𝑖 = 𝑓𝑖 (π‘₯0 )/𝑔𝑖 (π‘₯0 ), 𝑖 ∈ N; (iv) the function β„Ž satisfies the semiconstraint qualification at π‘₯0 ∈ 𝑋 with respect to (πœ™π‘— )π‘—βˆˆπ½(π‘₯0 ) . 𝐽 Then there exist πœ‡ ∈ R𝑁 β‰₯ and 𝛿 ∈ R≧ such that 0 (π‘₯0 , πœ‡, πœ† , 𝛿) satisfies

+

βˆ‘πœ‡π‘– (π‘‘πœ‘π‘– ) (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )) 𝑖=1

(38)

+

+ βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) ≧ 0, π‘—βˆˆπ½(π‘₯0 )

βˆ€π‘₯ ∈ 𝑋.

+

βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) ≧ 0,

βˆ€π‘₯ ∈ 𝑋,

π‘—βˆˆπ½(π‘₯0 )

(39)

which contradicts semiconstraint qualification (34). Hence πœ‡ =ΜΈ 0. 𝑁 For each πœ† = (πœ† 1 , . . . , πœ† 𝑁) ∈ R𝑁 + , where R+ denotes the 𝑁 positive orthant of R , we consider

(VFPπœ† ) Minimize

(𝑓1 (π‘₯) βˆ’ πœ† 1 𝑔1 (π‘₯) , . . . , 𝑓𝑁 (π‘₯) βˆ’ πœ† 𝑁𝑔𝑁 (π‘₯)) ,

subject to β„Žπ‘— (π‘₯) ≦ 0, 𝑗 = 1, 2, . . . , π‘˜. The following lemma can be proved without difficulty.

𝑁

+

+

βˆ‘πœ‡π‘– [(𝑑𝑓𝑖 ) (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )) βˆ’ πœ†0𝑖 (𝑑𝑔𝑖 ) (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 ))] 𝑖=1

Proof. In the same line as in the proof of Theorem 15, we prove that there exists 𝑝 = (πœ‡, 𝛿) ∈ R𝑁+𝐽 such that relation β‰₯ (38) is satisfied. Now it is enough to prove that πœ‡ =ΜΈ 0. We proceed by contradiction. If πœ‡ = 0, then 𝛿 =ΜΈ 0 and (38) takes the following form:

(40)

(41)

+

+ βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) ≧ 0, π‘—βˆˆπ½(π‘₯0 )

(42) βˆ€π‘₯ ∈ 𝑋.

Proof. Let π‘₯0 be a (local) weakly efficient solution for VFP. According to Lemma 19 we have that π‘₯0 is a (local) weakly efficient solution for (VFPπœ†0 ). Now applying Theorem 18 to 𝐽 problem (VFPπœ†0 ), we get that there exist πœ‡ ∈ R𝑁 β‰₯ and 𝛿 ∈ R≧ such that relation (42) is satisfied, and the theorem is proved. In the Karush-Kuhn-Tucker type necessary efficiency condition (42) of Theorem 20, the functions 𝑓𝑖 and 𝑔𝑖 are considered semidifferentiable at π‘₯0 along the same direction πœ‚π‘– , 𝑖 ∈ N. To obtain a necessary condition with different directions πœ‚π‘– and πœƒπ‘– , we need to use the second variant of the semiconstraint qualification given in Definition 17. Theorem 21 (Karush-Kuhn-Tucker type necessary efficiency conditions). Suppose that the hypotheses (𝑖), (𝑖𝑖), and (𝑖𝑖𝑖) of Theorem 15 are satisfied and the function β„Ž satisfies the

International Journal of Mathematics and Mathematical Sciences semiconstraint qualification at π‘₯0 ∈ 𝑋 with respect to ((𝑔𝑖 )π‘–βˆˆN , (πœƒπ‘– )π‘–βˆˆN , (πœ™π‘— )π‘—βˆˆπ½(π‘₯0 ) ). Then there exist πœ‡ ∈ R𝑁 β‰₯, πœ† ∈ 𝐽 , and 𝛿 ∈ R such that (π‘₯ , πœ‡, πœ†, 𝛿) satisfies relation (33). R𝑁 0 ≧ ≧

7 Multiplying (6) by πœ‡π‘– , 𝑖 ∈ N, and (8) by 𝛿𝑗 , 𝑗 ∈ 𝐽(π‘₯0 ), then summing the obtained relation and using (44), we get 𝑁

βˆ‘πœ‡π‘– [𝑓𝑖 (π‘₯) βˆ’ 𝑓𝑖 (π‘₯0 )] βˆ’ βˆ‘ 𝛿𝑗 β„Žπ‘— (π‘₯0 ) 𝑖=1 π‘—βˆˆπ½(π‘₯0 )

Proof. Based on Theorem 15, we obtain the existence of (πœ‡, πœ†, 𝛿) ∈ R2𝑁+𝐽 such that (π‘₯0 , πœ‡, πœ†, 𝛿) satisfies relation β‰₯ (33). Now it is enough to prove that πœ‡ =ΜΈ 0. We proceed by contradiction. If πœ‡ = 0, then (πœ†, 𝛿) =ΜΈ 0 and (33) takes the following form:

𝑁

+

(47)

≧ βˆ‘πœ‡π‘– (𝑑𝑓𝑖 ) (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )) 𝑖=1

+

𝑁

+ βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) ≧ 0. π‘—βˆˆπ½(π‘₯0 )

+

βˆ’ βˆ‘ πœ† 𝑖 (𝑑𝑔𝑖 ) (π‘₯0 , πœƒπ‘– (π‘₯, π‘₯0 )) 𝑖=1

(43) +

+ βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) ≧ 0,

βˆ€π‘₯ ∈ 𝑋,

From the above inequality and the fact that β„Žπ‘— (π‘₯0 ) = 0, βˆ€π‘— ∈ 𝐽(π‘₯0 ), it follows that

π‘—βˆˆπ½(π‘₯0 )

𝑁

which contradicts the semiconstraint qualification (ii) of Definition 17. Hence πœ‡ =ΜΈ 0.

4. Sufficient Efficiency Criteria In this section, we present some Karush-Kuhn-Tucker type sufficient efficiency conditions for a feasible solution to be efficient or weakly efficient for VFP under various types of generalized semilocally V-type I-preinvex assumptions. Theorem 22. Let π‘₯0 ∈ 𝑋 and suppose that there exist (2𝑁 + 𝐽) vector functions πœ‚π‘– : 𝑋 Γ— 𝐷 β†’ R𝑛 , πœƒπ‘– : 𝑋 Γ— 𝐷 β†’ R𝑛 , 𝑖 ∈ N and πœ™π‘— : 𝑋×𝐷 β†’ R𝑛 , 𝑗 ∈ 𝐽(π‘₯0 ), such that VFP is semilocally V-type I-preinvex at π‘₯0 with respect to (πœ‚π‘– )π‘–βˆˆN , (πœƒπ‘– )π‘–βˆˆN , and 𝐽 𝑁 (πœ™π‘— )π‘—βˆˆπ½(π‘₯0 ) . If there exist vectors πœ‡ ∈ R𝑁 β‰₯ , πœ† ∈ R≧ , and 𝛿 ∈ R≧ such that 𝑁

+

βˆ‘πœ‡π‘– (𝑑𝑓𝑖 ) (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )) 𝑖=1

(44)

+

+ βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) ≧ 0, π‘—βˆˆπ½(π‘₯0 ) +

(𝑑𝑔𝑖 ) (π‘₯0 , πœƒπ‘– (π‘₯, π‘₯0 )) ≦ 0,

βˆ€π‘₯ ∈ 𝑋,

βˆ€π‘₯ ∈ 𝑋, βˆ€π‘– ∈ N,

(45)

then π‘₯0 is a weakly efficient solution for VFP. Proof. Suppose that π‘₯0 is not a weakly efficient solution of VFP. Then there exists a feasible solution π‘₯ ∈ 𝑋 of VFP such that

βˆ‘πœ‡π‘– [𝑓𝑖 (π‘₯) βˆ’ 𝑓𝑖 (π‘₯0 )] ≧ 0.

(48)

𝑖=1

Since πœ‡ β‰₯ 0, from (48) we obtain that there exists 𝑖0 ∈ N such that 𝑓𝑖0 (π‘₯) ≧ 𝑓𝑖0 (π‘₯0 ) .

(49)

By (45) and (7) it follows that 𝑔𝑖 (π‘₯) ≦ 𝑔𝑖 (π‘₯0 ) ,

βˆ€π‘– ∈ N.

(50)

Now using (49), (50), and 𝑓 ≧ 0, 𝑔 > 0, we obtain 𝑓𝑖0 (π‘₯) 𝑔𝑖0 (π‘₯)

≧

𝑓𝑖0 (π‘₯0 ) 𝑔𝑖0 (π‘₯0 )

,

(51)

which is a contradiction to (46). Thus π‘₯0 is a weakly efficient solution for VFP and the theorem is proved. Remark 23. As particular case of Theorem 22, if πœ‚π‘– = πœƒπ‘– = πœ‚, βˆ€π‘– ∈ N, and πœ™π‘— = πœ‚, βˆ€π‘— ∈ 𝐽(π‘₯0 ), we obtain Theorem 1 of Mishra et al. [5]. Theorem 24. Let π‘₯0 ∈ 𝑋 and suppose that there exist (2𝑁 + 𝐽) vector functions πœ‚π‘– : 𝑋 Γ— 𝐷 β†’ R𝑛 , πœƒπ‘– : 𝑋 Γ— 𝐷 β†’ R𝑛 , 𝑖 ∈ N, and πœ™π‘— : 𝑋×𝐷 β†’ R𝑛 , 𝑗 ∈ 𝐽(π‘₯0 ), such that VFP is semilocally V-type I-preinvex at π‘₯0 with respect to (πœ‚π‘– )π‘–βˆˆN , (πœƒπ‘– )π‘–βˆˆN , and 𝑁 (πœ™π‘— )π‘—βˆˆπ½(π‘₯0 ) . If there exist vectors πœ‡ ∈ R𝑁 β‰₯ , πœ† ∈ R≧ (πœ† 𝑖 = 𝐽 𝑓𝑖 (π‘₯0 )/𝑔𝑖 (π‘₯0 ), 𝑖 ∈ N), and 𝛿 ∈ R≧ such that 𝑁

+

βˆ‘πœ‡π‘– [(𝑑𝑓𝑖 ) (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )) 𝑖=1

𝑓𝑖 (π‘₯) 𝑓𝑖 (π‘₯0 ) , < 𝑔𝑖 (π‘₯) 𝑔𝑖 (π‘₯0 )

βˆ€π‘– ∈ N.

(46)

Since VFP is semilocally V-type I-preinvex at π‘₯0 with respect to (πœ‚π‘– )π‘–βˆˆN , (πœƒπ‘– )π‘–βˆˆN , and (πœ™π‘— )π‘—βˆˆπ½(π‘₯0 ) , we get that inequalities (6), (7), and (8) are true for π‘₯ = π‘₯.

+

βˆ’πœ† 𝑖 (𝑑𝑔𝑖 ) (π‘₯0 , πœƒπ‘– (π‘₯, π‘₯0 ))] +

+ βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) ≧ 0, π‘—βˆˆπ½(π‘₯0 ) then π‘₯0 is a weakly efficient solution for VFP.

(52) βˆ€π‘₯ ∈ 𝑋,

8

International Journal of Mathematics and Mathematical Sciences

Proof. Suppose that π‘₯0 is not a weakly efficient solution of VFP. Then there exists a feasible solution π‘₯ ∈ 𝑋 of VFP such that 𝑓𝑖 (π‘₯) 𝑓𝑖 (π‘₯0 ) < , 𝑔𝑖 (π‘₯) 𝑔𝑖 (π‘₯0 )

βˆ€π‘– ∈ N,

that is, 𝑓𝑖 (π‘₯) < πœ† 𝑖 𝑔𝑖 (π‘₯) ,

βˆ€π‘– ∈ N.

(53) (54)

Since VFP is semilocally V-type I-preinvex at π‘₯0 with respect to (πœ‚π‘– )π‘–βˆˆN , (πœƒπ‘– )π‘–βˆˆN , and (πœ™π‘— )π‘—βˆˆπ½(π‘₯0 ) , we get that inequalities (6), (7), and (8) are true for π‘₯ = π‘₯. Using these inequalities, πœ‡ β‰₯ 0, πœ† ≧ 0, 𝛿 ≧ 0, and (52), we get 𝑁

𝑁

𝑖=1

𝑖=1

βˆ‘πœ‡π‘– [𝑓𝑖 (π‘₯) βˆ’ 𝑓𝑖 (π‘₯0 )] βˆ’ βˆ‘πœ‡π‘– πœ† 𝑖 [𝑔𝑖 (π‘₯) βˆ’ 𝑔𝑖 (π‘₯0 )] βˆ’ βˆ‘ 𝛿𝑗 β„Žπ‘— (π‘₯0 ) π‘—βˆˆπ½(π‘₯0 ) 𝑁

Remark 26. As a particular case of Theorem 24, if πœ‚π‘– = πœƒπ‘– = πœ‚, βˆ€π‘– ∈ N, and πœ™π‘— = πœ‚, βˆ€π‘— ∈ 𝐽(π‘₯0 ), we obtain Theorem 2 of Mishra et al. [5]. Preda [7], Mishra et al. [5], Niculescu [6], and Mishra and Rautela [4] have given sufficient efficiency conditions for a feasible solution to be weakly efficient under various types of (generalized) πœ‚-semilocally (type I-) preinvex (univex) assumptions. In the following theorem, we give sufficient efficiency conditions for a feasible solution to be efficient involving generalized semilocally V-type I-preinvex functions. Theorem 27. Let π‘₯0 ∈ 𝑋 and suppose that there exist (2𝑁 + 𝐽) vector functions πœ‚π‘– : 𝑋 Γ— 𝐷 β†’ R𝑛 , πœƒπ‘– : 𝑋 Γ— 𝐷 β†’ R𝑛 , 𝑖 ∈ N, πœ™π‘— : 𝑋 Γ— 𝐷 β†’ R𝑛 , 𝑗 ∈ 𝐽(π‘₯0 ), and vectors 𝐽 𝑁 πœ‡ ∈ R𝑁 β‰₯ , πœ† ∈ R≧ (πœ† 𝑖 = 𝑓𝑖 (π‘₯0 )/𝑔𝑖 (π‘₯0 ), 𝑖 ∈ N), and 𝛿 ∈ R≧ such that relation (52) is satisfied. If any one of the following conditions holds, (a) VFP is semilocally strictly pseudo quasi-V-type Ipreinvex at π‘₯0 with respect to (πœ‚π‘– )π‘–βˆˆN , (πœƒπ‘– )π‘–βˆˆN , and (πœ™π‘— )π‘—βˆˆπ½(π‘₯0 ) and for πœ‡, πœ†, and 𝛿;

(55)

+

≧ βˆ‘πœ‡π‘– [(𝑑𝑓𝑖 ) (π‘₯0 , πœ‚π‘– (π‘₯, π‘₯0 )) 𝑖=1

(b) VFP is semilocally quasi strictly pseudo-V-type Ipreinvex at π‘₯0 with respect to (πœ‚π‘– )π‘–βˆˆN , (πœƒπ‘– )π‘–βˆˆN , and (πœ™π‘— )π‘—βˆˆπ½(π‘₯0 ) and for πœ‡, πœ†, and 𝛿,

+

βˆ’πœ† 𝑖 (𝑑𝑔𝑖 ) (π‘₯0 , πœƒπ‘– (π‘₯, π‘₯0 ))] +

+ βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (π‘₯0 , πœ™π‘— (π‘₯, π‘₯0 )) ≧ 0. π‘—βˆˆπ½(π‘₯0 )

then π‘₯0 is an efficient solution for VFP. Proof. Suppose that π‘₯0 is not an efficient solution of VFP. Then there exists a feasible solution π‘₯ ∈ 𝑋 of VFP such that for some 𝑝 ∈ N

Therefore, 𝑁

βˆ‘πœ‡π‘– [(𝑓𝑖 (π‘₯) βˆ’ πœ† 𝑖 𝑔𝑖 (π‘₯)) βˆ’ (𝑓𝑖 (π‘₯0 ) βˆ’ πœ† 𝑖 𝑔𝑖 (π‘₯0 ))] 𝑖=1

(56) βˆ’ βˆ‘ 𝛿𝑗 β„Žπ‘— (π‘₯0 ) ≧ 0. π‘—βˆˆπ½(π‘₯0 )

𝑓𝑝 (π‘₯) 𝑔𝑝 (π‘₯)


0; (b) the problem VFP is semilocally strictly extendedly pseudo partially quasi-V-type I-preinvex at 𝑦 with respect to {(πœ‚π‘– )π‘–βˆˆN , (πœ™π‘— )π‘—βˆˆπ½0 } and {(πœ™π‘— )π‘—βˆˆπ½π‘  , 𝑠 = 1, 2, . . . , 𝛼} and for πœ‡, πœ†, and 𝛿; (c) the problem VFP is semilocally extendedly quasi strictly partially pseudo-V-type I-preinvex at 𝑦 with respect to {(πœ‚π‘– )π‘–βˆˆN , (πœ™π‘— )π‘—βˆˆπ½0 } and {(πœ™π‘— )π‘—βˆˆπ½π‘  , 𝑠 = 1, 2, . . . , 𝛼} and for πœ‡, πœ†, and 𝛿.

(77)

𝑓𝑖0 (π‘₯) βˆ’ πœ† 𝑖0 𝑔𝑖0 (π‘₯) < 0 π‘“π‘œπ‘Ÿπ‘ π‘œπ‘šπ‘’ 𝑖0 ∈ N.

(78)

Proof. By condition (a), since the problem VFP is semilocally extendedly pseudo partially quasi-V-type I-preinvex at 𝑦 with respect to {(πœ‚π‘– )π‘–βˆˆN , (πœ™π‘— )π‘—βˆˆπ½0 } and {(πœ™π‘— )π‘—βˆˆπ½π‘  , 𝑠 = 1, 2, . . . , 𝛼} and for πœ‡, πœ†, and 𝛿, then +

(83)

𝛿𝐽𝑇0 β„Žπ½0 (π‘₯) ≦ 0.

(84)

Combining (82), (83), (84), and (72), we get 𝑓𝑖 (π‘₯) βˆ’ πœ† 𝑖 𝑔𝑖 (π‘₯) + 𝛿𝐽𝑇0 β„Žπ½0 (π‘₯) ≦ 𝑓𝑖 (𝑦) βˆ’ πœ† 𝑖 𝑔𝑖 (𝑦) + 𝛿𝐽𝑇0 β„Žπ½0 (𝑦)

for each 𝑖 ∈ N,

(85)

𝑓𝑖0 (π‘₯) βˆ’ πœ† 𝑖0 𝑔𝑖0 (π‘₯) + 𝛿𝐽𝑇0 β„Žπ½0 (π‘₯) < 𝑓𝑖0 (𝑦) βˆ’ πœ† 𝑖0 𝑔𝑖0 (𝑦) + 𝛿𝐽𝑇0 β„Žπ½0 (𝑦)

for some 𝑖0 ∈ N. (86)

Since πœ‡π‘– > 0 for any 𝑖 ∈ N, by (85), (86) and (74), we obtain 𝑁

𝑁

π‘—βˆˆπ½0

π‘—βˆˆπ½0

where by using the reverse implication in (79) it follows that 𝑁

+

+

βˆ‘ πœ‡π‘– [(𝑑𝑓𝑖 ) (𝑦, πœ‚π‘– (π‘₯, 𝑦)) βˆ’ πœ† 𝑖 (𝑑𝑔𝑖 ) (𝑦, πœ‚π‘– (π‘₯, 𝑦))]

𝑖=1

+

+ βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (𝑦, πœ™π‘— (π‘₯, 𝑦)) < 0.

𝑠=1π‘—βˆˆπ½π‘ 

(79)

≧ βˆ‘πœ‡π‘– [𝑓𝑖 (𝑦) βˆ’ πœ† 𝑖 𝑔𝑖 (𝑦)] + βˆ‘ 𝛿𝑗 β„Žπ‘— (𝑦) ,

𝑖=1

+

βˆ‘ βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (𝑦, πœ™π‘— (π‘₯, 𝑦)) > 0,

π‘—βˆˆπ½0

π‘—βˆˆπ½0

< βˆ‘πœ‡π‘– [𝑓𝑖 (𝑦) βˆ’ πœ† 𝑖 𝑔𝑖 (𝑦)] + βˆ‘ 𝛿𝑗 β„Žπ‘— (𝑦) ,

𝛼

+

+ βˆ‘ 𝛿𝑗 (π‘‘β„Žπ‘— ) (𝑦, πœ™π‘— (π‘₯, 𝑦)) ≧ 0 𝑁

(87)

𝑁

(88)

Now, from (88) and (71) we obtain

𝑖=1

󳨐⇒ βˆ‘πœ‡π‘– [𝑓𝑖 (π‘₯) βˆ’ πœ† 𝑖 𝑔𝑖 (π‘₯)] + βˆ‘ 𝛿𝑗 β„Žπ‘— (π‘₯)

π‘—βˆˆπ½0

π‘—βˆˆπ½0

+

βˆ‘πœ‡π‘– [(𝑑𝑓𝑖 ) (𝑦, πœ‚π‘– (π‘₯, 𝑦)) βˆ’ πœ† 𝑖 (𝑑𝑔𝑖 ) (𝑦, πœ‚π‘– (π‘₯, 𝑦))]

𝑖=1

𝑓𝑖0 (π‘₯) βˆ’ πœ† 𝑖0 𝑔𝑖0 (π‘₯) < 0 for some 𝑖0 ∈ N.

𝑖=1

𝑓𝑖 (π‘₯) βˆ’ πœ† 𝑖 𝑔𝑖 (π‘₯) ≦ 0 π‘“π‘œπ‘Ÿπ‘’π‘Žπ‘β„Ž 𝑖 ∈ N,

𝑖=1

(82)

βˆ‘πœ‡π‘– [𝑓𝑖 (π‘₯) βˆ’ πœ† 𝑖 𝑔𝑖 (π‘₯)] + βˆ‘ 𝛿𝑗 β„Žπ‘— (π‘₯)

Then the following cannot hold:

𝑁

𝑓𝑖 (π‘₯) βˆ’ πœ† 𝑖 𝑔𝑖 (π‘₯) ≦ 0 for each 𝑖 ∈ N,

(89)

which is a contradiction to (81). The proofs of parts (b) and (c) are very similar to the proof of part (a), except that, for part (b), since πœ‡ β‰₯ 0, then inequality (87) becomes nonstrict (≦) and it follows that inequalities (88) and (89) remain true and strict (), respectively.

International Journal of Mathematics and Mathematical Sciences For part (c), inequality (81) becomes strict (