Hindawi Publishing Corporation Journal of Applied Mathematics Volume 2013, Article ID 383692, 8 pages http://dx.doi.org/10.1155/2013/383692 Research Article Univex Interval-Valued Mapping with Differentiability and Its Application in Nonlinear Programming Lifeng Li,1,2 Sanyang Liu,1 and Jianke Zhang2 1 2 Department of Mathematics, School of Science, Xidian University, Xi’an 710126, China Department of Mathematics, School of Science, Xi’an University of Posts and Telecommunications, Xi’an 710121, China Correspondence should be addressed to Sanyang Liu; liusanyang@126.com Received 25 November 2012; Accepted 26 May 2013 Academic Editor: Lotfollah Najjar Copyright © 2013 Lifeng Li 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. Interval-valued univex functions are introduced for differentiable programming problems. Optimality and duality results are derived for a class of generalized convex optimization problems with interval-valued univex functions. 1. Introduction Imposing the uncertainty upon the optimization problems is an interesting research topic. The uncertainty may be interpreted as randomness, fuzziness, or interval-valued fuzziness. The randomness occurring in the optimization problems is categorized as the stochastic optimization problems, and the imprecision (fuzziness) occurring in the optimization problems is categorized as the fuzzy optimization problems. In order to perfectly match the real situations, intervalvalued optimization problems may provide an alternative choice for considering the uncertainty into the optimization problems. That is to say, the coefficients in the interval-valued optimization problems are assumed as closed intervals. Many approaches for interval-valued optimization problems have been explored in considerable details; see, for example, [1– 3]. Recently, Wu has extended the concept of convexity for real-valued functions to LU-convexity for interval-valued functions, then he has established the Karush-Tucker conditions [4–6] for an optimization problem with intervalvalued objective functions under the assumption of LUconvexity. Similar to the concept of nondominated solution in vector optimization problems, Wu has proposed a solution concept in optimization problems with interval-valued objective functions based on a partial ordering on the set of all closed intervals, then the interval-valued Wolfe duality theory [7] and Lagrangian duality theory [8] for intervalvalued optimization problems have been proposed. Recently, Wu [9] has studied the duality theory for interval-valued linear programming problems. In 1981, Hanson [10] introduced the concept of invexity and established Karush-Tucker type sufficient optimality conditions for a nonlinear programming problem. In [11], Kaul et al. considered a differentiable multiobjective programming problem involving generalized type I functions. They investigated Karush-Tucker type necessary and sufficient conditions and obtained duality results under generalized type I functions. The class of B-vex functions has been introduced by Bector and Singh [12] as a generalization of convex functions, and duality results are established for vector valued B-invex programming in [13]. Bector et al. [14] introduced the concept of univex functions as a generalization of B-vex functions introduced by Bector et al. [15]. Combining the concepts of type I and univex functions, Rueda et al. [16] gave optimality conditions and duality results for several mathematical programming problems. Aghezzaf and Hachimi [17] introduced classes of generalized type I functions for a differentiable multiobjective programming problem and derived some Mond-Weir type duality results under the above generalized type I assumptions. Gulati et al. [18] introduced the concept of (πΉ, πΌ, π, π)-π-type I functions and also studied sufficiency optimality conditions and duality multiobjective programming problems. This paper aims at extending the Karush-Tucker optimality conditions to nonconvex optimization problem with interval-valued functions. First, we extend the concept of 2 Journal of Applied Mathematics univexity for a real-valued function to an interval-valued function and present the concept of interval-valued univex functions. Then, the Karush-Tucker optimality conditions are proposed for an interval-valued function under the assumption of interval-valued univexity. 2. Preliminaries Let one denotes by I the class of all closed intervals in π . π΄ = [ππΏ , ππ] ∈ I denotes a closed interval, where ππΏ and ππ mean the lower and upper bounds of π΄, respectively. For every π ∈ π , we denote π = [π, π]. Definition 1. Let π΄ = [ππΏ , ππ] and π΅ = [ππΏ , ππ] be in I; one has (i) π΄ + π΅ = {π + π : π ∈ π΄ and π ∈ π΅} = [ππΏ + ππΏ , ππ + ππ]; (ii) −π΄ = {−π : π ∈ π΄} = [−ππ, −ππΏ ]; (iii) π΄ × π΅ = {ππ : π ∈ π΄ and π ∈ π΅} = [minππ , maxππ ], where minππ = min{ππΏ ππΏ , ππΏ ππ, ππππΏ , ππππ} and maxππ = max{ππΏ ππΏ , ππΏ ππ, ππππΏ , ππππ}. Then, we can see that π΄ − π΅ = π΄ + (−π΅) = [ππΏ − ππ, ππ − ππΏ ] , πΏ π {[ππ , ππ ] ππ΄ = {ππ : π ∈ π΄} = { π πΏ [ππ , ππ ] { if π ≥ 0, (1) if π < 0, where π is a real number. By using Hausdorff metric, Neumaier [19] has proposed Hausdorff metric between the two closed intervals π΄ and π΅ as follows: σ΅¨ σ΅¨ σ΅¨ σ΅¨ (2) ππ» (π΄, π΅) = max {σ΅¨σ΅¨σ΅¨σ΅¨ππΏ − ππΏ σ΅¨σ΅¨σ΅¨σ΅¨ , σ΅¨σ΅¨σ΅¨σ΅¨ππ − ππσ΅¨σ΅¨σ΅¨σ΅¨} . πΏ π πΏ π Definition 2. Let π΄ = [π , π ] and π΅ = [π , π ] be two closed intervals in π . One writes π΄ βͺ― π΅ if and only if ππΏ ≤ ππΏ and ππ ≤ ππ, π΄ βΊ π΅ if and only if π΄ βͺ― π΅ and π΄ =ΜΈ π΅, that is, the following (a1), (a2), or (a3) is satisfied: (a1) ππΏ < ππΏ and ππ ≤ ππ; (a2) ππΏ ≤ ππΏ and ππ < ππ; (a3) ππΏ < ππΏ and ππ < ππ. Definition 3 (see [20]). Let π΄ = [ππΏ , ππ] and π΅ = [ππΏ , ππ] be two closed intervals, the gH-difference of π΄ and π΅ is defined by πΏ π πΏ π [π , π ] βπ [π , π ] = [min (ππΏ − ππΏ , ππ − ππ) , max (ππΏ − ππΏ , ππ − ππ)] . (3) For example, [1, 3]βπ [0, 3] = [0, 1], [0, 3]βπ [1, 3] = [−1, 0]. And π − π = [π, π]βπ [π, π] = [π − π, π − π] = π − π. Proposition 4. (i) For every π΄, π΅ ∈ I, π΄βπ π΅ always exists and π΄βπ π΅ ∈ I. (ii) π΄βπ π΅ βͺ― 0 if and only if π΄ βͺ― π΅. 3. Interval-Valued Univex Functions Definition 5 (interval-valued function). The function π : Ω → I is called an interval-valued function, where Ω ⊆ π π . Then, π(x) = π(π₯1 , . . . , π₯π ) is a closed interval in π for each x ∈ π π , and π(x) can be also written as π(x) = [ππΏ (x), ππ(x)], where ππΏ (x) and ππ(x) are two real-valued functions defined on π π and satisfy ππΏ (x) ≤ ππ(x) for every x ∈ Ω. Definition 6 (continuity of an interval-valued function). The function π : Ω ⊆ π π → I is said to be continuous at π₯ ∈ Ω if both ππΏ (x) and ππ(x) are continuous functions of x. The concept of gH-derivative of a function π : (π, π) → I is defined in [19]. Definition 7. Let π₯0 ∈ (π, π) and β be such that π₯0 + β ∈ (π, π), then the gH-derivative of a function π : (π, π) → I at π₯0 is defined as πσΈ (π₯0 ) = lim [π (π₯0 + β) βπ π (π₯0 )] . (4) π₯→0 If πσΈ (π₯0 ) ∈ I exists, then we say that π is generalized Hukuhara differentiable (gH-differentiable, for short) at π₯0 . Moreover, [21] also proved the following theorem. Theorem 8. Let π : (π, π) → I be such that π(π₯) = [ππΏ (π₯), ππ(π₯)]. The function π(π₯) is gH-differentiable if and only if ππΏ (π₯) and ππ(π₯) are differentiable real-valued functions. Furthermore, σΈ σΈ πσΈ (π₯) = [min {(ππΏ ) (π₯) , (ππ) (π₯)} , πΏ σΈ (5) π σΈ max {(π ) (π₯) , (π ) (π₯)}] . Definition 9 (gradient of an interval-valued function). Let π(x) be an interval-valued function defined on Ω, where Ω is an open subset of π π . Let π·π₯π (π = 1, 2, . . . , π) stand for the partial differentiation with respect to the πth variable π₯π . Assume that ππΏ (x) and ππ(x) have continuous partial derivatives so that π·π₯π ππΏ (x) and π·π₯π ππ(x) are continuous. For π = 1, 2, . . . , π, define π·π₯π π (x) = [min (π·π₯π ππΏ (x) , π·π₯π ππ (x)) , (6) max (π·π₯π ππΏ (x) , π·π₯π ππ (x))] . We will say that π(x) is differentiable at x, and we write π‘ ∇π (x) = (π·π₯1 π (x) , π·π₯2 π (x) , . . . , π·π₯π π (x)) . (7) We call ∇π(x) the gradient of the interval-valued univex function at x. Journal of Applied Mathematics 3 Example 10. Let π : R2 → I defined by π(x) = [π₯12 + π₯22 , 2π₯12 + 2π₯22 + 3]. So ππΏ (x) = π₯12 + π₯22 and ππ(x) = 2π₯12 + 2π₯22 + 3. π·π₯1 ππΏ (x) = 2π₯1 , π·π₯2 ππΏ (x) = 2π₯2 , π·π₯1 ππ(x) = 4π₯1 , π·π₯2 ππ(x) = 4π₯2 . Thus, {[2π₯1 , 4π₯1 ] if π₯1 ≥ 0, π·π₯1 π (x) = { [4π₯1 , 2π₯1 ] if π₯1 < 0, { {[2π₯2 , 4π₯2 ] if π₯2 ≥ 0, π·π₯2 π (x) = { [4π₯2 , 2π₯2 ] if π₯2 < 0. { (8) π‘ if π₯1 ≥ 0, π₯2 ≥ 0, if π₯1 ≥ 0, π₯2 < 0, if π₯1 < 0, π₯2 ≥ 0, if π₯1 < 0, π₯2 < 0. (9) Further, π‘ (2π₯1 , 2π₯2 ) { { { { { π‘ { { (2π₯1 , 4π₯2 ) { { ∇πΏ π (x) = { { π‘ { { (4π₯1 , 2π₯2 ) { { { { { π‘ {(4π₯1 , 4π₯2 ) if π₯1 ≥ 0, π₯2 ≥ 0, π‘ if π₯1 ≥ 0, π₯2 ≥ 0, (4π₯1 , 4π₯2 ) { { { { { π‘ { { { {(4π₯1 , 2π₯2 ) π ∇ π (x) = { { π‘ { { (2π₯1 , 4π₯2 ) { { { { { π‘ {(2π₯1 , 4π₯2 ) if π₯1 < 0, π₯2 ≥ 0, (12) Example 15. Consider the real-valued function π1 given by π1 (π₯) = π₯ + 1, π₯ ∈ π , then we can obtain Φ1 ([ππΏ , ππ]) = [ππΏ + 1, ππ + 1]. If π2 (π₯) = |π₯|, π₯ ∈ π . Then if ππΏ ≥ 0, [ππΏ , ππ] { { { { π πΏ { if ππ ≤ 0, Φ2 ([ππΏ , ππ]) = {[−π , −π ] { { { {[0, max (−ππΏ , ππ)] if ππΏ < 0, ππ ≥ 0. { (13) Example 17. Let π(π₯) = [π₯3 , π₯3 + 1], π₯ ∈ π , (10) if π₯1 ≥ 0, π₯2 < 0, 2 { π¦ if π₯ ≥ π¦, π (π₯, π¦) = { π₯ − π¦ if π₯ ≤ π¦, {0 π (π₯, π¦) = { if π₯1 < 0, π₯2 ≥ 0, if π₯1 < 0, π₯2 < 0. Remark 11. If ππΏ = ππ, then ∇π(x) of interval-valued functions is the extension of ∇π(x), where π : Ω → π . The concept of convexity plays an important role in the optimization theory. In recent years, the concept of convexity has been generalized in several directions by using novel and innovative techniques. An important generalization of convex functions is the introduction of univex functions, which was introduced by Bector et al. [15]. Let πΎ be a nonempty open set in π π , and let π : πΎ → π , π : πΎ × πΎ → π π , Φ : π → π , and π : πΎ × πΎ × [0, 1] → π + , π = π(x, y, π). If the function π is differentiable, then π does not depend on π; see [12] or [15]. Definition 12. A differentiable real-valued function π is said to be univex at y ∈ πΎ with respect to π, Φ, π if for all x ∈ πΎ π (x, y) Φ [π (x) − π (y)] ≥ ππ‘ (x, y) ∇π (y) . π (x, y) Φ [π (x) βπ π (y)] βͺ° ππ‘ (x, y) ∇π (y) . Example 16. Let π(π₯) = [π₯2 , 2π₯2 + 3], π₯ ∈ π , π = 1, π(π₯, π¦) = π₯ − π¦, Φ = Φ2 , then π(π₯) is univex with respect to π, π, and Φ. if π₯1 ≥ 0, π₯2 < 0, if π₯1 < 0, π₯2 < 0. Definition 13 (interval-valued univex function). A differentiable interval-valued function π is said to be univex at y ∈ πΎ with respect to π, Φ, π if for all x ∈ πΎ Remark 14. (i) An interval-valued univex function is the extension of a univex function by ππΏ = ππ. (ii) Φ : I → I could be deduced from π : π → π by Φ(π΄) := {π¦ : ∃π₯ ∈ π΄, π(π₯) = π¦, π¦ ∈ π }. Thus, ([2π₯1 , 4π₯1 ] , [2π₯2 , 4π₯2 ]) { { { { { π‘ { { { {([2π₯1 , 4π₯1 ] , [4π₯2 , 2π₯2 ]) ∇π (x) = { { π‘ { { ([4π₯1 , 2π₯1 ] , [2π₯2 , 4π₯2 ]) { { { { { π‘ {([4π₯1 , 2π₯1 ] , [4π₯2 , 4π₯2 ]) Let πΎ be a nonempty open set in π π , and let π : πΎ → I be an interval-valued function, π : πΎ × πΎ → π π , Φ : I → I, and π : πΎ × πΎ × [0, 1] → π + , π = π(x, y, π). (11) 2 (14) 2 π₯ + π¦ + π₯π¦ if π₯ ≥ π¦, π₯−π¦ if π₯ ≤ π¦. Let Φ : I → I be defined by Φ([ππΏ , ππ]) = 3[ππΏ , ππ], then π(π₯) is univex with respect to π, π and Φ. 4. Optimality Criteria Let π(x), π1 (x), . . . , ππ (x) be differentiable interval-valued functions defined on a nonempty open set π ⊆ π π . Throughout this paper we consider the following primal problem (P): min π (x) s.t. π (x) βͺ― 0, π = 1, 2, . . . , π. (P) Let π := {x ∈ π : π(x) βͺ― 0, π = 1, 2, . . . , π}. We say x∗ is an optimal solution of (P) if π(x) βͺ° π(x∗ ) for all P-feasible x. In this section, we obtain sufficient optimality conditions for a feasible solution x∗ to be efficient or properly efficient for (P) in the form of the following theorems. 4 Journal of Applied Mathematics Theorem 18. Let x∗ be P-feasible. Suppose that It is equivalent to (i) there exist π, Φ0 , π0 , Φπ , ππ , π = 1, 2, . . . , π such that π0 (x, x∗ ) Φ0 [π (x) βπ π (x∗ )] βͺ° ππ‘ (x, x∗ ) ∇π (x∗ ) , −ππ (x, x∗ ) Φπ [ππ (x∗ )] βͺ° ππ‘ (x, x∗ ) ∇ππ (x∗ ) (15) (16) πΏ π πΏ {ππ‘ (x, x∗ ) ∇π (x∗ )} = −{ππ‘ (x, x∗ ) ∑ π¦π ∇π (x∗ )} , π=1 π π π (28) {ππ‘ (x, x∗ ) ∇π (x∗ )} = −{ππ‘ (x, x∗ ) ∑ π¦π ∇π (x∗ )} . π=1 for all feasible x; From (16), we have (ii) there exist y∗ = (π¦1 , π¦2 , . . . , π¦π )π‘ ∈ π π such that π ∗ ∗ ∇π (x ) + ∑ π¦π ∇π (x ) = 0, (17) y∗ ≥ 0. (18) πΏ πΏ π π π πΏ {−ππ (x, x∗ ) Φπ [ππ (x∗ )]} ≥ {ππ‘ (x, x∗ ) ∇ππ (x∗ )} , {−ππ (x, x∗ ) Φπ [ππ (x∗ )]} ≥ {ππ‘ (x, x∗ ) ∇ππ (x∗ )} . π=1 From Definition 1, we have Further, suppose that −{ππ (x, x∗ ) Φπ [ππ (x∗ )]} ≥ {ππ‘ (x, x∗ ) ∇ππ (x∗ )} , Φ0 (π΄) βͺ° 0 σ³¨⇒ π΄ βͺ° 0, (19) π΄ βͺ― 0 σ³¨⇒ Φπ (π΄) βͺ° 0, (20) π0 (x, x∗ ) > 0, ππ (x, x∗ ) > 0 ∗ ∗ πΏ π‘ ∗ π ∗ Thus, {π0 (x, x∗ ) Φ0 [π (x) βπ π (x∗ )]} ∗ for all feasible x. Then, x is an optimal solution of (P). ≥ {ππ‘ (x, x∗ ) ∇π (x∗ )} Proof. Let x be P-feasible. Then, (22) π‘ ∗ πΏ πΏ π πΏ ∗ = −{π (x, x ) ∑ π¦π ∇π (x )} π=1 From (20), we conclude that π Φπ [ππ (x)] βͺ° 0. ≥ ∑ {ππ (x, x∗ ) Φπ [ππ (x∗ )]} (23) π π=1 Thus, (31) π ≥ ∑ {ππ (x, x∗ ) Φπ [ππ (x∗ )]} ΦπΏπ [ππ (x)] ≥ 0, Φπ π [ππ (30) −{ππ (x, x ) Φπ [ππ (x )]} ≥ {π (x, x ) ∇ππ (x )} . (21) ππ (x) βͺ― 0. (29) π=1 (24) (x)] ≥ 0. πΏ ≥ 0, By (15) and Definition 2, we have πΏ {π0 (x, x∗ ) Φ0 [π (x) βπ π (x∗ )]} πΏ {π0 (x, x∗ ) Φ0 [π (x) βπ π (x∗ )]} ≥ {ππ‘ (x, x∗ ) ∇π (x∗ )} , π π ≥ {π0 (x, x∗ ) Φ0 [π (x) βπ π (x∗ )]} π {π0 (x, x∗ ) Φ0 [π (x) βπ π (x∗ )]} ≥ {ππ‘ (x, x∗ ) ∇π (x∗ )} . (25) πΏ ≥ 0. So, From (17), π‘ ∗ ∗ π‘ ∗ π0 (x, x∗ ) Φ0 [π (x) βπ π (x∗ )] βͺ° 0. π ∗ π (x, x ) ∇π (x ) + π (x, x ) ∑ π¦π ∇π (x ) = 0. (26) π=1 From (21), it follows that It follows from Definition 2 that π‘ ∗ ∗ πΏ π‘ ∗ π π=1 ∗ ∗ π π‘ ∗ π Φ0 [π (x) βπ π (x∗ )] βͺ° 0. (33) π (x) βπ π (x∗ ) βͺ° 0. (34) By (19), πΏ ∗ {π (x, x ) ∇π (x )} + {π (x, x ) ∑ π¦π ∇π (x )} = 0, π‘ (32) From Proposition 4, it follows that π ∗ {π (x, x ) ∇π (x )} + {π (x, x ) ∑ π¦π ∇π (x )} = 0. π=1 (27) π (x) βͺ° π (x∗ ) . Therefore, x∗ is an optimal solution of (P). (35) Journal of Applied Mathematics 5 Theorem 19. Let x∗ be P-feasible. Suppose that From (38) and Definition 2, it follows that (i) there exist π, Φ0 , π0 , Φπ , ππ , π = 1, 2, . . . , π such that ππ‘ (x, x∗ ) ∇π (x∗ ) βͺ° 0 σ³¨⇒ π0 (x, x∗ ) Φ0 [π (x) βπ π (x∗ )] βͺ° 0, (36) πΏ π πΏ {ππ‘ (x, x∗ ) ∇π (x∗ )} + {ππ‘ (x, x∗ ) ∑ π¦π ∇π (x∗ )} = 0, π=1 π‘ ∗ π ∗ π‘ ∗ π π ∗ {π (x, x ) ∇π (x )} + {π (x, x ) ∑ π¦π ∇π (x )} = 0. −ππ (x, x∗ ) Φπ [ππ (x∗ )] βͺ― 0 σ³¨⇒ ππ‘ (x, x∗ ) ∇ππ (x∗ ) βͺ― 0 π=1 (37) (48) It is equivalent to for all feasible x; π‘ ∗ π (ii) there exist y = (π¦1 , π¦2 , . . . , π¦π ) ∈ π such that π ∇π (x∗ ) + ∑ π¦π ∇π (x∗ ) = 0, π π y∗ ≥ 0. πΏ π=1 (38) π=1 (39) π (49) {ππ‘ (x, x∗ ) ∇π (x∗ )} = −{ππ‘ (x, x∗ ) ∑ π¦π ∇π (x∗ )} . π=1 Therefore, Further, suppose that Φ0 (π΄) βͺ° 0 σ³¨⇒ π΄ βͺ° 0, (40) π΄ βͺ― 0 σ³¨⇒ Φπ (π΄) βͺ° 0, (41) ∗ ∗ π0 (x, x ) > 0, ππ (x, x ) > 0 (42) πΏ {ππ‘ (x, x∗ ) ∇π (x∗ )} ≥ 0, π‘ Proof. Let x be P-feasible. Then, ππ (x∗ ) βͺ― 0, from (41), we obtain that ∗ Φπ [ππ (x )] βͺ° 0. (43) ∗ π ππ‘ (x, x∗ ) ∇π (x∗ ) βͺ° 0. (51) π0 (x, x∗ ) Φ0 [π (x) βπ π (x∗ )] βͺ° 0. (52) By (36), Then, from (40) and (42), we have π (x) βπ π (x∗ ) βͺ° 0. −ππ (x, x∗ ) Φπ [ππ (x∗ )] βͺ― 0. (44) π (x) βͺ° π (x∗ ) . π (x, x ) ∇ππ (x ) βͺ― 0. (45) (53) From Proposition 4, it follows that By (37), ∗ (50) From Definition 2, we obtain that So, ∗ ∗ {π (x, x ) ∇π (x )} ≥ 0. for all feasible x. Then, x∗ is an optimal solution of (P). π‘ π πΏ {ππ‘ (x, x∗ ) ∇π (x∗ )} = −{ππ‘ (x, x∗ ) ∑ π¦π ∇π (x∗ )} , (54) Therefore, x∗ is an optimal solution of (P). Thus, 5. Duality π π‘ ∗ ∗ − ∑ π¦π π (x, x ) ∇ππ (x ) βͺ° 0. (46) π=1 Consider the following: max Then, we have π π π π‘ ∗ π (u) s.t. ∗ − {∑ π¦π π (x, x ) ∇ππ (x )} ∇π (u) + ∑ π¦π ∇ππ (u) = 0, π=1 π=1 π¦π ∇ππ (u) βͺ° 0 πΏ π π‘ ∗ ∗ = {− ∑ π¦π π (x, x ) ∇ππ (x )} ≥ 0, π=1 π π‘ ∗ ∗ − {∑ π¦π π (x, x ) ∇ππ (x )} π=1 π π = {− ∑ π¦π ππ‘ (x, x∗ ) ∇ππ (x∗ )} ≥ 0. π=1 π¦π ≥ 0. (47) πΏ (D) Theorem 20 (weak duality). Let x be P-feasible, and let (u, y) be D-feasible. Assume that there exist π, Φ0 , π0 , Φπ , ππ , π = 1, 2, . . . , π such that π0 (x, u) Φ0 [π (x) βπ π (u)] βͺ° ππ‘ (x, u) ∇π (u) , −ππ (x, u) Φπ [ππ (u)] βͺ° ππ‘ (x, u) ∇ππ (u) (55) 6 Journal of Applied Mathematics at u; Since (u, y) is D-feasible we can obtain that, π Φ0 (π΄) βͺ° 0 σ³¨⇒ π΄ βͺ° 0, π0 (x, u) > 0, ∇π (u) + ∑π¦π ∇ππ (u) = 0. (56) ππ (x, u) ≥ 0 So, and ∑π π=1 ππ (x, u)π¦π Φπ (ππ (u)) βͺ° 0. Then, π(x) βͺ° π(u). π ππ‘ (x, u) ∇π (u) + ππ‘ (x, u) ∑ π¦π ∇ππ (u) = 0. Proof. It is similar to the proof of Theorem 18. ππ‘ (x, u) ∇π (u) βͺ° 0 σ³¨⇒ π0 (x, u) Φ0 [π (x) βπ π (u)] βͺ° 0, (57) π π=1 π=1 π‘ −π1 (x, u) Φ1 [∑ π¦π ππ (u)] βͺ― 0 σ³¨⇒ ∑ π¦π π (x, u) ∇ππ (u) βͺ― 0 (58) at u; By Definition 2, it follows that π πΏ πΏ {ππ‘ (x, u) ∇π (u)} + {ππ‘ (x, u) ∑ π¦π ∇ππ (u)} = 0, π=1 π π π Φ0 (π΄) βͺ° 0 σ³¨⇒ π΄ βͺ° 0, (59) π΄ βͺ° 0 σ³¨⇒ Φ1 (π΄) βͺ° 0, (60) π1 (x, u) ≥ 0. (61) Then, π(x) βͺ° π(u). π=1 Therefore, π πΏ πΏ {ππ‘ (x, u) ∇π (u)} = −{ππ‘ (x, u) ∑ π¦π ∇ππ (u)} ≥ 0, π π π (68) {ππ‘ (x, u) ∇π (u)} = −{ππ‘ (x, u) ∑ π¦π ∇ππ (u)} ≥ 0. π=1 Then, ππ‘ (x, u) ∇π (u) βͺ° 0. (69) π0 (x, u) Φ0 [π (x) βπ π (u)] βͺ° 0. (70) By (57), Since (u, y) is D-feasible, then π¦ππ‘ ∇ππ (u) Proof. and (61), βͺ° 0, from (60) From (59) and (61), π −π1 (x, u) Φ1 [∑ π¦π ππ (u)] βͺ― 0. (62) π=1 π π‘ ∑π¦π π (x, u) ∇ππ (u) βͺ― 0. π − ∑ π¦π ππ‘ (x, u) ∇ππ (u) βͺ° 0, π=1 π π − {∑ π¦π ππ‘ (x, u) ∇ππ (u)} π=1 πΏ π‘ = {− ∑ π¦π π (x, u) ∇ππ (u)} ≥ 0, π=1 (72) (64) Proof. Since a constraint qualification is satisfied at x∗ , there exists y∗ ∈ π π such that the following Kuhn-Tucker conditions are satisfied: π ∇π (x∗ ) + ∑ π¦π ∇ππ (x∗ ) = 0, πΏ π‘ − {∑ π¦π π (x, u) ∇ππ (u)} π π=1 ∑ π¦π ∇ππ (x∗ ) = 0, π=1 π = {− ∑ π¦π ππ‘ (x, u) ∇ππ (u)} ≥ 0. π=1 π (x) βͺ° π (u) . Theorem 22 (strong duality). If x∗ is P-optimal and a constraint qualification is satisfied at x∗ , then there exists y∗ = (π¦1 , π¦2 , . . . , π¦π )π‘ ∈ π π such that (x∗ , y∗ ) is D-feasible and the values of the objective functions for (P) and (D) are equal at x∗ and (x∗ , y∗ ), respectively. Furthermore, if for all P-feasible x and D-feasible (u, y), the hypotheses of Theorem 19 are satisfied, then (x∗ , y∗ ) is D-optimal. Thus, π (71) (63) π=1 π π (x) βπ π (u) βͺ° 0. thus, Then, we have π (67) {ππ‘ (x, u) ∇π (u)} + {ππ‘ (x, u) ∑ π¦π ∇ππ (u)} = 0. π=1 π0 (x, u) > 0, (66) π=1 Theorem 21 (weak duality). Let x be P-feasible, and let (u, y) be D-feasible. Assume that there exist π, Φ0 , π0 , Φ1 , π1 such that π (65) π=1 π=1 π¦π ≥ 0. Therefore, (x∗ , y∗ ) is D-feasible. (73) Journal of Applied Mathematics 7 Suppose that (x∗ , y∗ ) is not D-optimal. Then, there exists a D-feasible (u, y) such that π(u) β» π(x∗ ). This contradicts Theorem 20. Therefore, (x∗ , y∗ ) is D-optimal. 6. Numerical Example Consider the following example: minimize π (x) = [π₯1 − sin (π₯2 ) + 1, π₯1 − sin (π₯2 ) + 3] subject to π1 (x) = [sin (π₯1 ) − 4 sin (π₯2 ) − 2, sin (π₯1 ) − 4 sin (π₯2 )] βͺ― 0, π2 (x) = [2 sin (π₯1 ) + 7 sin (π₯2 ) + π₯1 − 7, 2 sin (π₯1 ) + 7 sin (π₯2 ) + π₯1 − 6] βͺ― 0, π3 (x) = [2π₯1 + 2π₯2 − 5, 2π₯1 + 2π₯2 − 3] βͺ― 0, π4 (x) = [4π₯12 + 4π₯22 − 12, 4π₯12 + 4π₯22 − 9] βͺ― 0, π5 (x) = [− sin (π₯1 ) − 1, − sin (π₯1 )] βͺ― 0, π6 (x) = [− sin (π₯2 ) − 1, − sin (π₯2 )] βͺ― 0. (74) Note that the interval-valued objective function is univex with respect to π = 1, π(x, u) = x − u, Φ([ππΏ , ππ]) = [ππΏ , ππ], and every ππ (π = 1, 2, . . . , 6) is univex with respect to π = 1, Φ([ππΏ , ππ]) = [ππΏ , ππ] π (x, u) = ( sin π₯1 − sin π’1 sin π₯2 − sin π’2 π , ) , cos π’1 cos π’2 (75) where x = (π₯1 , π₯2 )π and u = (π’1 , π’2 )π . It is easy to see that the problem satisfies the assumptions of Theorem 18. Then, π π (1, − cos π₯2 ) + π1 (cos π₯1 , −4 cos π₯2 ) π + π2 (2 cos π₯1 + 1, 7 cos π₯2 ) + π3 (2, 2)π π + π4 (8π₯1 , 8π₯2 ) + π5 (− cos π₯1 , 0) π (76) π + π6 (0, − cos π₯2 ) = (0, 0)π . After some algebraic calculations, we obtain that x∗ = (0, sin−1 (6/7))π and u∗ = (0, 1/7, 0, 0, 10/7, 0)π . Therefore, x∗ is a solution. Acknowledgments This work is supported by the National Natural Science Foundation of China (Grant no. 60974082), and the Science Plan Foundation of the Education Bureau of Shaanxi Province (nos. 11JK1051, 2013JK1098, 2013JK1130, and 2013JK1182). References [1] C. Jiang, X. Han, G. R. Liu, and G. P. Liu, “A nonlinear interval number programming method for uncertain optimization problems,” European Journal of Operational Research, vol. 188, no. 1, pp. 1–13, 2008. [2] S. Chanas and D. Kuchta, “Multiobjective programming in optimization of interval objective functions—a generalized approach,” European Journal of Operational Research, vol. 94, no. 3, pp. 594–598, 1996. [3] S.-T. Liu, “Posynomial geometric programming with interval exponents and coefficients,” European Journal of Operational Research, vol. 186, no. 1, pp. 7–27, 2008. [4] H.-C. Wu, “The Karush-Kuhn-Tucker optimality conditions in an optimization problem with interval-valued objective function,” European Journal of Operational Research, vol. 176, no. 1, pp. 46–59, 2007. [5] H.-C. Wu, “The Karush-Kuhn-Tucker optimality conditions in multiobjective programming problems with interval-valued objective functions,” European Journal of Operational Research, vol. 196, no. 1, pp. 49–60, 2009. [6] H.-C. Wu, “On interval-valued nonlinear programming problems,” Journal of Mathematical Analysis and Applications, vol. 338, no. 1, pp. 299–316, 2008. [7] H. C. Wu, “Wolfe duality for interval-valued optimization,” Journal of Optimization Theory and Applications, vol. 138, no. 3, pp. 497–509, 2008. [8] H. C. Wu, “Duality theory for optimization problems with interval-valued objective functions,” Journal of Optimization Theory and Applications, vol. 144, no. 3, pp. 615–628, 2010. [9] H.-C. Wu, “Duality theory in interval-valued linear programming problems,” Journal of Optimization Theory and Applications, vol. 150, no. 2, pp. 298–316, 2011. [10] M. A. Hanson, “On sufficiency of the Kuhn-Tucker conditions,” Journal of Mathematical Analysis and Applications, vol. 80, no. 2, pp. 545–550, 1981. [11] R. N. Kaul, S. K. Suneja, and M. K. Srivastava, “Optimality criteria and duality in multiple-objective optimization involving generalized invexity,” Journal of Optimization Theory and Applications, vol. 80, no. 3, pp. 465–482, 1994. [12] C. R. Bector and C. Singh, “B-vex functions,” Journal of Optimization Theory and Applications, vol. 71, no. 2, pp. 237– 253, 1991. [13] C. R. Bector, M. K. Bector, A. Gill, and C. Singh, “Duality for vector valued B-invex programming,” in Generalized Convexity Proceedings, S. Komlosi, T. Rapcsak, and S. Schaible, Eds., pp. 358–373, Springer, Berlin, Germany, 1992. [14] C. R. Bector, M. K. Bector, A. Gill, and C. Singh, “Univex sets, functions and univex nonlinear programming,” in Generalized Convexity Proceedings, S. Komlosi, T. Rapcsak, and S. Schaible, Eds., pp. 3–18, Springer, Berlin, Germany, 1992. [15] C. R. Bector, S. K. Suneja, and S. Gupta, “Univex functions and Univex nonlinear programming,” in Proceedings of the Administrative Sciences Association of Canada, pp. 115–124, 1992. [16] N. G. Rueda, M. A. Hanson, and C. Singh, “Optimality and duality with generalized convexity,” Journal of Optimization Theory and Applications, vol. 86, no. 2, pp. 491–500, 1995. [17] B. Aghezzaf and M. Hachimi, “Generalized invexity and duality in multiobjective programming problems,” Journal of Global Optimization, vol. 18, no. 1, pp. 91–101, 2000. 8 [18] T. R. Gulati, I. Ahmad, and D. Agarwal, “Sufficiency and duality in multiobjective programming under generalized type I functions,” Journal of Optimization Theory and Applications, vol. 135, no. 3, pp. 411–427, 2007. [19] A. Neumaier, Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, UK, 1990. [20] L. Stefanini, “A generalization of Hukuhara difference for interval and fuzzy arithmetic,” in Soft Methods for Handling Variability and Imprecision, D. Dubois, M. A. Lubiano et al., Eds., vol. 48 of Series on Advances in Soft Computing, Springer, Berlin, Germany, 2008. [21] L. Stefanini and B. Bede, “Generalized Hukuhara differentiability of interval-valued functions and interval differential equations,” Nonlinear Analysis: Theory, Methods and Applications A, vol. 71, no. 3-4, pp. 1311–1328, 2009. Journal of Applied Mathematics Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014