Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 570918, 9 pages http://dx.doi.org/10.1155/2013/570918 Research Article Strict Efficiency in Vector Optimization with Nearly Convexlike Set-Valued Maps Xiaohong Hu,1 Zhimiao Fang,2 and Yunxuan Xiong3 1 Department of Mathematics and Physics, Chongqing University of Posts and Telecommunications, Chongqing 400065, China Chongqing Police College, Chongqing 401331, China 3 Basic Course Department, Nanchang Institute of Science and Technology, Nanchang 330108, China 2 Correspondence should be addressed to Xiaohong Hu; huxh@cqupt.edu.cn Received 10 December 2012; Revised 6 March 2013; Accepted 11 March 2013 Academic Editor: Sheng-Jie Li Copyright © 2013 Xiaohong Hu 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. The concept of the well posedness for a special scalar problem is linked with strictly efficient solutions of vector optimization problem involving nearly convexlike set-valued maps. Two scalarization theorems and two Lagrange multiplier theorems for strict efficiency in vector optimization involving nearly convexlike set-valued maps are established. A dual is proposed and duality results are obtained in terms of strictly efficient solutions. A new type of saddle point, called strict saddle point, of an appropriate set-valued Lagrange map is introduced and is used to characterize strict efficiency. 1. Introduction One important problem in vector optimization is to find the efficient points of a set. As observed by Kuhn, Tucker, and later by Geoffrion, some efficient points exhibit certain abnormal properties. To eliminate such abnormal efficient points, various concepts of proper efficiency have been introduced. The original concept was introduced by Kuhn and Tucker [1] and Geoffrion [2] and was later modified and formulated in a more general framework by Borwein [3], Hartley [4], Benson [5], Henig [6], and Borwein and Zhuang [7]; also see the references therein. In particular, the concept of strict efficiency was first introduced by Bednarczak and Song [8] in order to obtain upper semicontinuity of the section mapping πΊ(π¦) = π ∩ (π¦ − πΆ) at an efficient point. Zaffaroni [9] used a special scalar function to characterize the strict efficiency and obtained some properties of strict efficiency, which includes well posedness. Recently, several authors have turned their interests to vector optimization of set-valued maps. For instance, see [10–16]. Li [17] extended the concept of Benson proper efficiency to set-valued maps and presented two scalarization theorems and Lagrange multiplier theorems for set-valued vector optimization problem under cone subconvexlikeness. Mehra [18] and Xia and Qiu [19] discussed the super efficiency in vector optimization problem involving nearly coneconvexlike set-valued maps and nearly cone-subconvexlike set-valued maps, respectively. Miglierina [20] linked the properly efficient solutions of set-valued vector optimization with well-posedness hypothesis of a special scalar problem. In this paper, inspired by [8, 17, 18], we study strict efficiency for vector optimization problem involving nearly cone-convexlike set-valued maps in the framework of real normed locally convex spaces. The paper is organized as follows. In Section 2, we recall some basic concepts and lemmas. In Section 3, the well posedness of a special scalar problems on strict efficiency involving nearly cone-convexlike setvalued maps is discussed. In Section 4, two scalarization theorems for strict efficiency in vector optimization problems involving nearly cone-convexlike set-valued maps are obtained. In Section 5, we establish two Lagrange multiplier theorems which show that strictly efficient solution of the constrained vector optimization problem is equivalent to strictly efficient solution of an appropriate unconstrained vector optimization problem. In Section 6, some results on strict duality are given. In Section 7, a new concept of strict saddle point for set-valued Lagrangian map is introduced and is then utilized to characterize strict efficiency. 2 Abstract and Applied Analysis 2. Preliminaries Throughout this paper, let π be a linear space and π and π two real normed locally convex spaces, with topological dual spaces π∗ and π∗ . For a set π΄ ⊂ π, cl π΄, int π΄, ππ΄, and π΄π denote the closure, the interior, the boundary, and the complement of π΄, respectively. Moreover, we will denote by π΅ the closed unit ball of π. A set πΆ ⊂ π is said to be a cone if ππ ∈ πΆ for any π ∈ πΆ and π ≥ 0. A cone πΆ is said to be convex if πΆ + πΆ ⊂ πΆ, and it is said to be pointed if πΆ ∩ (−πΆ) = {0}. The generated cone of πΆ is defined by cone πΆ := {ππ | π ≥ 0, π ∈ πΆ} . (1) The dual cone of πΆ is defined as πΆ+ := {π ∈ π∗ | π (π) ≥ 0, ∀π ∈ πΆ} . ∗ πΆ := {π ∈ π | π (π) > 0, ∀π ∈ πΆ \ {0π }} . πΆ = cone Θ. (i) for each π ∈ πΆ+ \ {0π }, (ππΉ, πΊ) is nearly R+ × π·convexlike on π; (3) (4) Definition 1. Let π be a nonempty subset of π. The set of all strictly efficient points and the set of all efficient points with respect to the convex cone πΆ with nonempty interior are defined as 3. Strict Efficiency and Well Posedness Consider the following vector optimization problem with setvalued maps: πΆ- min πΉ (π₯) s.t. πΊ (π₯) ∩ (−π·) =ΜΈ 0, such that (π − π¦) ∩ (πΏπ΅ − πΆ) ⊆ ππ΅} , (5) Denote the feasible solution set of (VP) by π₯∈π΄ It is easy to verify that (6) Also, in this paper, we assume that πΆ ⊂ π and π· ⊂ π are pointed closed convex cone with nonempty interior. πΉ : π → 2π and πΊ : π → 2π are set-valued maps with nonempty value. Let πΏ(π, π) be the space of continuous linear operations from π to π, and let (7) (9) And denote the image of π΄ under πΉ by πΉ (π΄) = β πΉ (π₯) . πΈ (π, πΆ) := {π¦ | (π − π¦) ∩ −πΆ = 0π } . (VP) π₯ ∈ π. π΄ := {π₯ ∈ π : πΊ (π₯) ∩ (−π·) =ΜΈ 0} , ππ‘πΈ (π, πΆ) := {π¦ | for every π > 0, ∃πΏ > 0 πΏ + (π, π) := {π ∈ πΏ (π, π) | π (π·) ⊂ πΆ} . Lemma 4 (see [12]). If (πΉ, πΊ) is nearly πΆ × π·-convexlike on π, then Lemma 5 (see [21]). Let π be a closed convex subset of π and πΎ a closed convex pointed cone. Then π ∩ (−πΎ \ {0π }) = 0, if and only if there exists π ∈ πΎ+π such that π(π ) ≥ 0, for all π ∈ π. Of course, πΆ is pointed whenever πΆ has a base. Furthermore, if πΆ is a nonempty closed convex pointed cone in π, then πΆ+π =ΜΈ 0 if and only if πΆ has a base. ππ‘πΈ (π, πΆ) ⊆ πΈ (π, πΆ) . (i) ∃π₯ ∈ π such that πΉ(π₯) ∩ (− int πΆ) =ΜΈ 0, (ii) ∃π ∈ πΆ+ \ {0π } such that (ππΉ)(π₯) ⊂ R+ . (ii) for each π ∈ πΏ + (π, π), πΉ + ππΊ is nearly πΆ-convexlike on π. Recall that a base of a cone πΆ is a convex subset Θ of πΆ such that 0π ∉ cl Θ, Lemma 3 (see [12]). Let πΉ : π → 2π be nearly πΆconvexlike set-valued map on π. Then exactly one of the following statement holds: (2) The quasi-interior of πΆ+ is the set +π Definition 2 (see [12]). A set-valued map πΉ : π → 2π is said to be nearly πΆ-convexlike on π if cl (πΉ(π₯) + πΆ) is convex in π. (10) Definition 6. A point π₯ is said to be a strictly efficient solution of (VP), if there exists π¦ ∈ πΉ(π₯) such that π¦ ∈ ππ‘πΈ[πΉ(π΄), πΆ], and the point (π₯, π¦) is said to be a strictly efficient minimizer of (VP). Definition 7. For a set π ⊆ π, let the function Δ π : π → R ∪ {±∞} be defined as Δ π (π¦) = ππ (π¦) − ππ\π (π¦) , (11) where ππ (π¦) = inf{βπ − π¦β : π ∈ π} with π0 (π¦) = +∞. Let (πΉ, πΊ) be the set-valued map from π to π × π, denoted by The function Δ was first introduced in [22], and its main properties are gathered together in the following proposition. (πΉ, πΊ) (π₯) = πΉ (π₯) × πΊ (π₯) . Proposition 8 (see [9]). If the set π is nonempty and π =ΜΈ π, then (8) If π ∈ π∗ , π ∈ πΏ(π, π), we also define ππΉ : π → 2R and πΉ + ππΊ : π → 2π by (ππΉ)(π₯) = π[πΉ(π₯)] and (πΉ + ππΊ)(π₯) = πΉ(π₯) + π[πΊ(π₯)], respectively. (1) Δ π is real valued; (2) Δ π is 1-Lipschitzian; Abstract and Applied Analysis 3 (3) Δ π (π¦) < 0 for every π¦ ∈ int π΄, Δ π (π¦) = 0 for every π¦ ∈ ππ΄, and Δ π (π¦) > 0 for every π¦ ∈ int ππ ; (4) if π is closed, then it holds that π = {π¦ : Δ π (π¦) ≤ 0}; (5) if π is a convex, then Δ π is convex; (6) if π is a cone, then Δ π is positively homogeneous; (7) if π is a closed convex cone, then Δ π is nonincreasing with respect to the ordering relation induced on π. We consider the following parameterized scalar problem: min Δ −πΆ (π¦ − π¦) s.t. π¦ ∈ πΉ (π΄) . (Pπ¦ ) exists a forcing function π such that Δ −πΆ(π¦ − π¦) ≥ π(βπ¦ − π¦β), for all π¦ ∈ πΉ(π΄). Since π(π‘π ) → 0 implies π‘π → 0, hence for any sequence π¦π ∈ πΉ(π΄) such that Δ −πΆ(π¦π − π¦) → 0, then it must converge to π¦. Conversely, if the scalar problem (Pπ¦ ) is Tikhonov well posed, then π−πΆ(π¦−π¦) = Δ −πΆ(π¦−π¦) holds for every π¦ ∈ πΉ(π΄). Thus, we consider the function π(π) = inf{π−πΆ(π¦ − π¦) : βπ¦ − π¦β ≥ π}; it holds by the construction that π−πΆ(π¦−π¦ ≥ π(π¦−π¦), and it is to see that π is nondecreasing on [0,∞) with π(0) = 0 and π(π‘) > 0 for all π‘ > 0. Hence, again, by the Theorem 9, we get that (π₯, π¦) is a strictly efficient minimizer of (VP). 4. Strict Efficiency and Linear Scalarization The following theorem characterize the relation between strictly efficient points of (VP) and the parameterized scalar problem (Pπ¦ ). In association with the vector optimization problem (VP) involving set-valued maps, we consider the following linearly scalar optimization problem with a set-valued map: Theorem 9. Let π₯ ∈ π΄, π¦ ∈ πΉ(π₯). Then (π₯, π¦) is a strictly efficient minimizer of (VP) if and only if there exists a nondecreasing function π : R+ → R+ with π(0) = 0 and π(π‘) > 0 for all π‘ > 0, such that Δ −πΆ(π¦ − π¦) ≥ π(βπ¦ − π¦β) for all π¦ ∈ πΉ(π΄). min (ππΉ) (π₯) Proof. Since (π₯, π¦) is a strictly efficient minimizer of vector optimization problem (VP) can be rephrased as follows: for every π > 0 there exists πΏ > 0 such that π−πΆ(π¦ − π¦) ≥ πΏ for every π¦ ∈ πΉ(π΄) with βπ¦ − π¦β > π. So suppose that the point (π₯, π¦) is a strictly efficient minimizer of (VP) and consider the following functions: σ΅© σ΅© π0 (π) = inf {π−πΆ (π¦ − π¦) | π¦ ∈ πΉ (π΄) , σ΅©σ΅©σ΅©π¦ − π¦σ΅©σ΅©σ΅© ≥ π} , π (π) = min (π0 (π) , 1) . (12) It is evident that π is nondecreasing, null at the origin, and positive elsewhere; moreover, for every π¦ ∈ πΉ(π΄) it holds that σ΅© σ΅© Δ −πΆ (π¦ − π¦) = π−πΆ (π¦ − π¦) ≥ π (σ΅©σ΅©σ΅©π¦ − π¦σ΅©σ΅©σ΅©) . (13) If, on the other hand, there exists a nondecreasing function π with the above properties and such that Δ −πΆ(π¦ − π¦) ≥ π(βπ¦ − π¦β) for all π¦ ∈ πΉ(π΄), then it holds that Δ −πΆ(π¦ − π¦) = π−πΆ(π¦ − π¦) > 0 for all π¦ ∈ πΉ(π΄) with π¦ =ΜΈ π¦. To show that (π₯, π¦) is a strictly efficient minimizer of (VP), for every π > 0, we can let πΏ = inf{π−πΆ(π¦ − π¦) : βπ¦ − π¦β > π}, and it implies that the proof is completed. The scalar problem (Pπ¦ ) is Tikhonov well posed if Δ −πΆ(π¦ − π¦) > 0 for all π¦ ∈ πΉ(π΄) with π¦ =ΜΈ π¦ and π¦π ∈ πΉ (π΄) , π−πΆ (π¦π − π¦) σ³¨→ 0 σ³¨⇒ π¦π σ³¨→ π¦. (14) Theorem 10. Let π₯ ∈ π΄, π¦ ∈ πΉ(π₯). The (π₯, π¦) is a strictly efficient minimizer of (VP) if and only if π¦ is a solution of (Pπ¦ ) and the scalar problem (Pπ¦ ) is Tikhonov well posed. Proof. If (π₯, π¦) is a strictly efficient minimizer of (VP), then, by Theorem 9, π¦ is the unique solution of (Pπ¦ ) and there s.t. π₯ ∈ π΄, (LSPπ ) where π ∈ π∗ \ {0π∗ }. Definition 11. If π₯ ∈ π΄, π¦ ∈ πΉ(π΄) and π (π¦) ≤ π (π¦) , ∀π¦ ∈ πΉ (π΄) , (15) then π₯ and (π₯, π¦) are called a minimal solution and a minimizer of (LSPπ ), respectively. Lemma 12. Let π¦ ∈ π ⊂ π, and πΆ is a closed convex cone with having a compact base Θ. Then π¦ is a strictly efficient point of π if and only if cl (π + πΆ − π¦) ∩ −πΆ = {0π }. Proof. The definition of strict efficiency of π can be rephrased as follows: for every π > 0, there exists πΏ > 0 such that π−πΆ(π¦− π¦) > πΏ for every π¦ ∈ π with βπ¦ − π¦β > π. Hence, if there exists sequence π¦π ∈ π, ππ ∈ πΆ, and some π ∈ int πΆ such that π¦π + ππ − π¦ → −π, then π¦π + ππ + π − π¦ → 0; hence, π−πΆ(π¦ − π¦) → 0. Since π¦π − π¦ = −(ππ + π), π =ΜΈ 0, and πΆ is pointed, π¦π − π¦ is outside some small ball around the origin. This shows that π¦ is not the strictly efficient point of π, this contraction shows that cl (π + πΆ − π¦) ∩ −πΆ = {0π }. Conversely, if π¦ is not a strictly efficient point of π, then there exists π > 0 and a sequence π¦π ∈ π, and ππ ∈ πΆ such that σ΅©σ΅© σ΅© σ΅©σ΅©π¦π − π¦σ΅©σ΅©σ΅© ≥ π, σ΅©σ΅© σ΅© σ΅©σ΅©π¦π + ππ − π¦σ΅©σ΅©σ΅© σ³¨→ 0. (16) We write ππ = π π ππ with π π > 0 and ππ ∈ Θ, then, by (16) and as Θ is compact, there exists πΌ > 0 and π ∈ π + such that πΌ < π π . Indeed, by (16), we have ππ ∉ (π/2)π΅; furthermore, since Θ is compact, thus π π does not converse to 0, and it implies that there exists a real number πΌ > 0 and π ∈ R+ such that πΌ < π π for all π ≥ π. Now, we define ππσΈ = (π π −πΌ)ππ , π ≥ π. Thus, we obtain π¦π + ππσΈ − π¦ = π¦π + ππ − π¦ − πΌππ σ³¨→ −πΌπ =ΜΈ 0. (17) 4 Abstract and Applied Analysis Corollary 15. Let πΉ be nearly πΆ-convexlike on π. Then, Hence, cl (π + πΆ − π¦) ∩ −πΆ \ {0π } =ΜΈ 0. (18) ππ‘πΈ (ππ) = β π (πΏπππ ) . π∈πΆ+π This contradiction shows that π¦ is a strictly efficient point of π. Theorem 13. Let π₯ ∈ π΄, π¦ ∈ πΉ(π₯), let πΆ have a compact base, and let π ∈ πΆ+π be fixed. If (π₯, π¦) is a minimizer of (LSPπ ), then (π₯, π¦) is a strictly efficient minimizer of (VP). Proof. By Lemma 12, we need only to prove that cl (πΉ (π΄) + πΆ − π¦) ∩ −πΆ = {0π } . (19) Indeed, let π ∈ cl (π + πΆ − π¦) ∩ −πΆ. Then there exists {π¦π } ⊂ πΉ(π΄), {ππ } ⊂ πΆ such that π = lim (π¦π + ππ − π¦) , (20) π (π) = lim [π (π¦π ) + π (ππ ) − π (π¦)] . (21) π → +∞ hence, π → +∞ Since (π₯, π¦) is a minimizer of (LSPπ ) and π¦π ∈ πΉ(π΄), we have π(π¦π ) ≥ π(π¦), while ππ ∈ πΆ and π ∈ πΆ+π imply that π(ππ ) ≥ 0. Hence, π(π) ≥ 0. On the other hand, since π ∈ −πΆ, we have π(π) ≤ 0. Thus π(π) = 0. Again, by π ∈ πΆ+ and π ∈ −πΆ, we must have π = 0π . Hence, we have shown that cl (π + πΆ − π¦) ∩ −πΆ = {0π }. Therefore, this proof is completed. Theorem 14. Let πΉ be nearly πΆ-convexlike on π΄, π₯ ∈ π΄, and π¦ ∈ πΉ(π₯), and let πΆ have a compact base. If (π₯, π¦) is a strictly efficient minimizer of (VP), then there exists π ∈ πΆ+ such that (π₯, π¦) is a minimizer of (LSPπ ). Proof. Since (π₯, π¦) is a strictly efficient minimizer of (VP), thus by Lemma 12, we have −πΆ ∩ cl [πΉ (π΄) + πΆ − π¦] = {0π } . (22) By the definition of nearly πΆ-convexlike set-valued map πΉ, we have that cl [πΉ(π΄) + πΆ − π¦] is closed convex set in π, since πΆ is a closed, convex, pointed, compact cone. Thus, by Lemma 5, there exists π ∈ πΆ+π such that π (cl [πΉ (π΄) + πΆ − π¦]) ≥ 0. (23) Since πΉ (π΄) − π¦ ⊂ πΉ (π΄) + πΆ − π¦ ⊂ cl [πΉ (π΄) + πΆ − π¦] , (24) we obtain π (π¦) − π (π¦) ≥ 0, ∀π¦ ∈ πΉ (π΄) . (25) Therefore, (π₯, π¦) is a minimizer of (LSPπ ). If we denote by ππ‘πΈ(VP) the set of strictly efficient minimizer of (VP) and by π(LSPπ ) the set of minimizer of (LSPπ ), then from Theorems 13 and 14, we get immediately the following corollary. (26) 5. Strict Efficiency and Lagrange Multipliers In this section, we establish two Lagrange multiplier theorems which show that the set of strictly efficient minimizer of the constrained set-valued vector optimization problem (VP), it is equivalent to the set of an appropriate unconstrained vector optimization problem. The following concept is a generalization of Slater constraint qualification in mathematical programming and in vector optimization. Definition 16. We say that (VP) satisfies the generalized Slater Μ ∩ constraint qualification if there exists π₯Μ ∈ π such that πΊ(π₯) (− int π·) =ΜΈ 0. Theorem 17. Let πΉ be nearly πΆ-convexlike on π. Let (πΉ, πΊ) be nearly πΆ × π·-convexlike on π and let πΆ have a compact base. Furthermore, let (VP) satisfy the generalized Slater constraint qualification. If (π₯, π¦) is a strictly efficient minimizer of (VP), then there exists π ∈ πΏ + (π, π) such that π[πΊ(π₯) ∩ (−π·)] = 0π and (π₯, π¦) is a strictly efficient minimizer of the following unconstrained vector optimization problem: πΆ-minπΉ (π₯) + π [πΊ (π₯)] (UVP) π .π‘. π₯ ∈ π. Proof. Since (π₯, π¦) is a strictly efficient minimizer of (VP), by Theorem 14, there exists π ∈ πΆ+π such that π [πΉ (π₯) − π¦] ≥ 0, ∀π₯ ∈ π΄. (27) Define π» : π → 2R×π by π» (π₯) = π [πΉ (π₯) − π¦] × πΊ (π₯) = (ππΉ, πΊ) (π₯) − (π (π¦, 0π )) . (28) Since (πΉ, πΊ) is nearly πΆ × π·-convexlike on π, by Lemma 4, we have that π» is nearly R+ × π·-convexlike on π, while (27) implies that π» (π₯) ∩ [− int (R+ × π·)] =ΜΈ 0, ∀π₯ ∈ π, (29) has no solution, and hence, by Lemma 3, there exists (π, π) ∈ R+ × π· \ {0π∗ } such that ππ [πΉ (π₯) − π¦] + π [πΊ (π₯)] ≥ 0, ∀π₯ ∈ π. (30) Since π₯ ∈ π΄, that is, πΊ(π₯) ∩ (−π·) =ΜΈ 0, this implies that there exists π§ ∈ πΊ(π₯) such that −π§ ∈ π·. Then, since π ∈ π·+ , we get π (π§) ≤ 0. (31) Also, let π₯ = π₯ in (30) and noting that π¦ ∈ πΉ(π₯), and π§ ∈ πΊ(π₯), we get π(π§) ≥ 0. Abstract and Applied Analysis 5 Hence, π [πΊ (π₯) ∩ −π·] = 0π . (32) Since π₯ ∈ π΄, we have πΊ(π₯) ∩ (−π·) =ΜΈ 0. Thus there exists π§π₯ ∈ πΊ(π₯) ∩ (−π·). Then, −π (π§π₯ ) ∈ πΆ, We now claim that π =ΜΈ 0. If this is not the case, then π ∈ π·+ \ {0π∗ } . (33) By the generalized Slater constraint qualification, there exists π₯Μ ∈ π such that Μ ∩ − int π· =ΜΈ 0, πΊ (π₯) (34) Μ such that and so there exists π§Μ ∈ πΊ(π₯) which implies that πΆ − π(π§π₯ ) ⊂ πΆ; that is, πΆ ⊂ πΆ + π(π§π₯ ), ∀π₯ ∈ π΄. So, we have πΉ (π΄) + πΆ − π¦ ⊂ β [πΉ (π₯) + πΆ − π¦] π₯∈π΄ ⊂ β (πΉ (π₯) + π [πΊ (π₯)] + πΆ − π¦) π₯∈π΄ −Μπ§ ∈ int π·. (35) Hence, π(Μπ§) < 0. But substituting π = 0 into (30), and by Μ in (30), we have taking π₯ = π₯Μ and π§Μ ∈ πΊ(π₯) π (Μπ§) ≥ 0. (36) This contradiction shows that π > 0. From this and π ∈ πΆ+π , we can choose π ∈ πΆ \ {0π } such that ππ(π) = 1 and define the operator π : π → π by π (π§) = π (π§) π. π [πΊ (π₯) ∩ −π·] = {0π } . ⊂ β (πΉ (π₯) + π [πΊ (π₯)]) + πΆ − π¦. π₯∈π΄ This together with (43) implies (−πΆ) ∩ cl [πΉ (π΄) + πΆ − π¦] = {0π } . 6. Strict Efficiency and Duality (38) Definition 19. The Lagrange map for (VP) is the set-valued map L : π × πΏ + (π, π) → 2π defined by L (π₯, π) = πΉ (π₯) + π [πΊ (π₯)] . π¦ ∈ πΉ (π₯) ⊂ πΉ (π₯) + π [πΊ (π₯)] . (39) We denote π₯∈π ππ [πΉ (π₯) + ππΊ (π₯)] = ππ [πΉ (π₯)] + π [πΊ (π₯)] ππ (π) = ππ [πΉ (π₯)] + π [πΊ (π₯)] (40) L (π₯, π) β (48) π∈πΏ + (π,π) = (πΉ (π₯) + π [πΊ (π₯)]) . β π∈πΏ + (π,π) ∀π₯ ∈ π. π [πΉ (π₯) + ππΊ (π₯)] ≥ π (π¦) , π₯∈π L (π₯, πΏ + (π, π)) = Definition 20. The set-valued map Φ : πΏ + (π, π) → 2π is defined as Dividing the above inequality by π > 0, we obtain ∀π₯ ∈ π. (41) Since, (πΉ, πΊ) is nearly πΆ × π·-convexlike on π, by Lemma 4, πΉ+ππΊ is nearly πΆ-convexlike on π. Therefore, by Theorem 13 and π ∈ πΆ+π , we have that (π₯⋅π¦) is a strictly efficient minimizer of (UVP). Theorem 18. Let π₯, π¦ ∈ πΉ(π₯) and let πΆ have a compact base. If there exists π ∈ πΏ + (π, π) such that 0π ∈ π[πΊ(π₯)] and (π₯, π¦) is a strictly efficient minimizer of (UVP), then (π₯, π¦) is a strictly efficient minimizer of (VP). π¦ ∈ πΉ (π₯) ⊂ πΉ (π₯) + π [πΊ (π₯)] , Φ (π) = ππ‘πΈ [L (π, π) , πΆ] , ∀π ∈ πΏ + (π, π) , (49) which is called a strict dual map of (VP). Using this definition, we define the Lagrange dual problem associated with the primal problem (VP) as follows: πΆ- max Φ (π) (VD) s.t. π ∈ πΏ + (π, π) . Definition 21. π¦ ∈ βπ∈πΏ + (π,π) Φ(π) is called an efficient point of (VD) if Proof. From the assumption, we have (42) (−πΆ) ∩ cl [ β (πΉ (π₯) + π [πΊ (π₯)]) + πΆ − π¦] = {0π } . (43) π₯∈π (47) L (π, π) = β L (π₯, π) = β (πΉ + ππΊ) (π₯) , From (30) and (37), we obtain ≥ ππ (π¦) , (46) Noting that π₯ ∈ π΄, π¦ ∈ πΉ(π₯) ⊂ πΉ(π΄) and by Lemma 12, we have that (π₯, π¦) is a strictly efficient minimizer of (VP). Thus, 0π ∈ π [πΊ (π₯)] , (45) (37) Obviously, π ∈ πΏ + (π, π) , (44) π¦ − π¦ ∉ πΆ \ {0π } , π¦∈ β Φ (π) . π∈πΏ + (π,π) We can now establish the following dual theorems. (50) 6 Abstract and Applied Analysis Theorem 22 (weak duality). If π₯ βπ∈πΏ + (π,π) Φ(π), then ∈ π΄ and π¦0 [π¦0 − πΉ (π₯)] ∩ (πΆ \ {0π }) = 0. ∈ (51) Proof. From π¦0 ∈ βπ∈πΏ + (π,π) Φ(π), there exists π ∈ πΏ + (π, π) such that 7. Strict Efficient and Strict Saddle Point We will now introduce a new concept of strict saddle point for a set-valued Lagrange map L and use it to characterize strict efficiency. For a nonempty subset π of π, we define a set ππ‘π (π, πΆ) = {π¦ ∈ π | ∀π > 0, ∃πΏ > 0 π¦0 ∈ Φ (π) such that (π − π¦) ∩ (−πΏπ΅ + πΆ) ⊆ ππ΅} . (58) ∈ ππ‘πΈ ( β [πΉ (π₯) + ππΊ (π₯)] , πΆ) π₯∈π (52) ⊂ πΈ ( β [πΉ (π₯) + ππΊ (π₯)] , πΆ) . π₯∈π It is easy to find that π¦ ∈ ππ‘π(π, πΆ) if and only if −π¦ ∈ ππ‘πΈ(−π, πΆ), and if π is normed space and πΆ has a compact base. Then by Lemma 12, we have π¦ ∈ ππ‘π(π, πΆ) if and only if cl (π − πΆ − π¦) ∩ πΆ = {0π }. Definition 24. A pair (π₯, π) ∈ π × πΏ + (π, π) is said to be a strict saddle point of Lagrange map L if Hence, (π¦0 − πΉ (π₯) − π [πΊ (π₯)]) ∩ (πΆ \ {0π }) = 0, ∀π₯ ∈ π. (53) L (π₯, π) ∩ ππ‘πΈ [ β L (π₯, π) , πΆ] In particular, π₯∈π π¦0 − π¦ − π (π§) ∉ πΆ \ {0π } , ∀π¦ ∈ πΉ (π₯) , ∀π§ ∈ πΊ (π₯) . (54) Noting that π₯ ∈ π΄, we choose π§ ∈ πΊ(π₯)∩(−π·). Then, −π(π§) ∈ πΆ, and taking π§ = π§ in (54), we have π¦0 − π¦ − π (π§) ∉ πΆ \ {0π } , ∀π¦ ∈ πΉ (π₯) . (55) Hence, from −π(π§) ∈ πΆ and πΆ + πΆ \ {0π } ⊆ πΆ \ {0π }, we obtain π¦0 − π¦ ∉ πΆ \ {0π } , ∀π¦ ∈ πΉ (π₯) . (56) This completes the proof. Theorem 23 (strong duality). Let πΉ be nearly C-convexlike on π. Let (πΉ, πΊ) be nearly (πΆ × π·)-convexlike on π and let πΆ have a compact base. Furthermore, let (VP) satisfy the generalized Slater constraint qualification. If π₯ is a strictly efficient solution of (VP), then there exists that π¦ ∈ πΉ(π₯) is an efficient point of (VD). Proof. Since π₯ is a strictly efficient solution of (VP), then there exists π¦ ∈ πΉ(π₯) such that (π₯, π¦) is a strictly efficient minimizer of (VP). According to Theorem 17, there exists π ∈ πΏ + (π, π) such that π[πΊ(π₯) ∩ (−π·)] = {0π }, and (π₯, π¦) is a strictly efficient minimizer of (UVP). Hence, π¦ ∈ ππ‘πΈ[βπ₯∈π (πΉ(π₯) + π[πΊ(π₯)]), πΆ] = Φ(π) ⊂ βπ∈πΏ + (π,π) Φ(π). By Theorem 22, we have (π¦ − π¦) ∉ πΆ \ {0π } , ∀π¦ ∈ β π∈πΏ + (π,π) Φ (π) . (59) ∩ ππ‘π [ β L (π₯, π) , πΆ] =ΜΈ 0. ] [π∈πΏ + (π,π) We first present an important equivalent characterization for a strict saddle point of the Lagrange map L. Lemma 25. Let πΆ have a compact base. (π₯, π) ∈ π × πΏ + (π, π) is said to be a strict saddle point of Lagrange map L if only if there exist π¦ ∈ πΉ(π₯) and π§ ∈ πΊ(π₯) such that (i) π¦ ∈ ππ‘πΈ[βπ₯∈π L(π₯, π), πΆ] ππ‘π[βπ∈πΏ + (π,π) L(π₯, π), πΆ], ∩ (ii) π(π§) = 0π . Proof (necessity). Since (π₯, π) is a strict saddle point of the map L, by Definition 24 there exists π¦ ∈ πΉ(π₯), π§ ∈ πΊ(π₯) such that π¦ + π (π§) ∈ ππ‘πΈ [ β L (π₯, π) , πΆ] , (60) π₯∈π π¦ + π (π§) ∈ ππ‘π [ β L (π₯, π) , πΆ] . [π∈πΏ + (π,π) ] (61) From (61), we have (57) Therefore, by Definition 20, we know that π¦ is an efficient point of (VD). πΆ ∩ cl [ β L (π₯, π) − πΆ − (π¦ + π (π§))] = {0π } . ] [π∈πΏ + (π,π) (62) Abstract and Applied Analysis 7 Since every π ∈ πΏ + (π, π), we have In the above expression, taking π = 0π§ ∈ π· gets π (π§) − π (π§) π (π§) > 0, while letting π → +∞ leads to = [π¦ + π (π§)] − [π¦ + π (π§)] ∈ πΉ (π₯) + π [πΊ (π₯)] − [π¦ + π (π§)] (73) (63) π (π) ≥ 0, ∀π ∈ π·. (74) Hence, = L (π₯, π) − [π¦ + π (π§)] . π ∈ π·+ \ {0π∗ } . We have Let π∗ ∈ int πΆ be fixed, and define π∗ : π → π as {π (π§) : π ∈ πΏ + (π, π)} − πΆ − π (π§) ⊂ L (π₯, π) − πΆ − [π¦ + π (π§)] . β (75) (64) π∗ (π§) = [ π∈πΏ + (π,π) Hence, π (π§) ∗ ] π + π (π§) . π (π§) (76) It is evident that π∗ ∈ πΏ(π, π) and that cl [ β {π (π§)} − πΆ − π (π§)] ] [π∈πΏ + (π,π) π∗ (π) = [ (65) ⊂ cl [ β L (π₯, π) − πΆ − [π¦ + π (π§)]] . [π∈πΏ + (π,π) ] π (π) ] + π (π) ∈ πΆ + πΆ ⊂ πΆ, π (π§π∗ ) ∀π ∈ π·. (77) Hence, π∗ ∈ πΏ + (π, π). Taking π§ = π§ in (66), we obtain π∗ (π§) − π (π§) = π∗ . (78) π [π∗ (π§)] − π [π (π§)] = π (π∗ ) > 0, (79) Hence, Thus, from (62), we have πΆ ∩ cl [ β {π (π§)} − πΆ − π (π§)] = {0π } . [π∈πΏ + (π,π) ] (66) which contradicts (70). Therefore, Let π : πΏ(π, π) → π be defined by −π§ ∈ π·. π (π) = −π (π§) . (67) Then, (66) can be written as (−πΆ) ∩ cl [π (πΏ + (π, π)) + πΆ − π (π)] = {0π } . (68) This together with Lemma 12 shows that π ∈ πΏ + (π, π) is a strictly efficient point of the vector optimization problem s.t. π ∈ πΏ + (π, π) . (69) Since π is a linear map, then of course −π is nearly πΆconvexlike on πΏ + (π, π). Hence, by Theorem 14, there exists π ∈ πΆ+π such that π [−π (π§)] = π [π (π)] ≤ π [π (π)] = π [−π (π§)] , ∀π ∈ πΏ + (π, π) . (70) −π (π§) ∈ πΆ \ {0π } , −π§ ∈ π·. (71) If this is not true, then since π· is a closed convex cone set, by the strong separation theorem in topological vector space [21], there exists π ∈ π∗ \ {0π∗ } such that ∀π ∈ π·, ∀π > 0. (81) hence, π[π(π§)] < 0, by π ∈ πΆ+π , while taking π = 0 ∈ πΏ + (π, π) leads to (82) This contradiction shows that π(π§) = 0π , that is, condition (ii) holds. Therefore, by (60) and (61), we know π¦ ∈ ππ‘πΈ [ β L (π₯, π) , πΆ] π₯∈π (83) ∩ ππ‘π [ β L (π₯, π) , πΆ] ; ] [π∈πΏ + (π,π) Now, we claim that π (−π§) < π (ππ) , Thus, −π(π§) ∈ πΆ, since π ∈ πΏ + (π, π). If π(π§) =ΜΈ 0π , then π (π (π§)) ≥ 0. πΆ-minπ (π) (80) (72) that is, condition (i) holds. Sufficiency. From π¦ ∈ πΉ(π₯), π§ ∈ πΊ(π₯), and condition (ii), we get π¦ = π¦ + π (π§) ∈ πΉ (π₯) + π [πΊ (π₯)] = L (π₯, π) . (84) 8 Abstract and Applied Analysis (b) π(π§) = 0π , And by condition (i), we obtain are equivalent to the following conditions: π¦ ∈ L (π₯, π) ∩ ππ‘πΈ [ β L (π₯, π) , πΆ] (i) π¦ ∈ ππ‘πΈ[βπ₯∈π L(π₯, π), πΆ] ∩ ππ‘π[πΉ(π₯), πΆ], π₯∈π (85) ∩ ππ‘π [ β L (π₯, π) , πΆ] . ] [π∈πΏ + (π,π) (ii) πΊ(π₯) ⊂ −π·, (iii) π(π§) = 0π . Therefore, (π₯, π) is a strict saddle point of the set-valued Lagrange map L, and the proof is complete. The following saddle-point theorems allow us to express a strictly efficient solution of (VP) as a strict saddle of the setvalued Lagrange map L. Theorem 26. Let πΉ be nearly πΆ-convexlike on π΄, let (πΉ, πΊ) be nearly (πΆ × π·)-convexlike on π΄, and let πΆ have a compact base. Moreover, (VP) satisfies generalized Slater constrained qualification. (i) If (π₯, π) is a strict saddle point of the map L, then π₯ is strictly efficient solution of (VP). (ii) If (π₯, π¦) is a strictly efficient minimizer of (VP), and π¦ ∈ ππ‘π[βπ∈πΏ + (π,π) L(π₯, π), πΆ], then there exists π ∈ πΏ + (π, π) such that (π₯, π) is a strict saddle point of the map L. Proof. By conditions (a) and (b), it is easy to verify that conditions (i) and (iii) hold. Now, we show that πΊ(π₯) ⊂ −π·. If this is not true, then there would exist π§0 ∈ πΊ(π₯) such that −π§0 ∉ π·. Then, since π· is a closed convex set, by the strong separation theorem in topological vector space (see [21]), there exists π0 ∈ π∗ \ {0π∗ } such that π0 (−π§0 ) < π (ππ) , π0 (π§0 ) > 0, (86) and there exists π¦ ∈ πΉ(π₯) such that (π₯, π¦) is a strictly efficient minimizer of the problem and taking π → +∞ leads to π0 (π) ≥ 0, ∀π ∈ π·. Take π0 ∈ int πΆ and define π0 : π → π as π0 (π§) = π0 (π§) π0 . (93) Then, π0 ∈ Ε+ (π, π) and π0 (π§0 ) = π0 (π§0 ) π0 ∈ int πΆ ⊂ πΆ \ {0π } . π¦ − π¦ ∉ πΆ \ {0π } , ∀π¦ ∈ (94) L (π₯, π) . β π∈πΏ + (π,π) (95) From π¦ + π0 (π§0 ) ∈ πΉ (π₯) + π0 [πΊ (π₯)] = πΏ (π₯, π0 ) ⊂ (87) β L (π₯, π) , (96) π∈πΏ + (π,π) and by (95), we have π [πΊ (π₯) ∩ (−π·)] = 0π . Therefore, there exists π§ ∈ πΊ(π₯) such that π(π§) = 0π . Hence, from Lemma 25, it follows that (π₯, π) is a strict saddle point of the map L. Lemma 27. Let (π₯, π) ∈ π × πΏ + (π, π), π¦ ∈ πΉ(π₯), and π§ ∈ πΊ(π₯). Then the following conditions: ∈ ππ‘πΈ[βπ₯∈π L(π₯, π), πΆ] (a) π¦ ππ‘π[βπ∈πΏ + (π,π) L(π₯, π), πΆ], (92) And, by condition (a), we have According to Theorem 18, (π₯, π¦) is a strictly efficient minimizer of (VP). Therefore, π₯ is strictly efficient solution of (VP). (ii) From the assumption, and by the Theorem 17, there exists π ∈ πΏ + (π, π) such that π₯∈π (91) Hence, (UVP) π¦ ∈ ππ‘πΈ [ β L (π₯, π) , πΆ] , (89) (90) π0 ∈ π·+ \ {0π§∗ } . 0π ∈ π [πΊ (π₯)] , s.t. π₯ ∈ π. ∀π ∈ π·, ∀π > 0. In the above expression, taking π = 0π§ ∈ π· gives Proof. (i) By the necessity of Lemma 25, we have πΆ- min πΉ (π₯) + π [πΊ (π₯)] (88) ∩ π0 (π§0 ) = [π¦ + π0 (π§0 )] − π¦ ∉ πΆ \ {0π } . (97) This conflicts with (99). Therefore, πΊ(π₯) ⊂ −π·. Conversely, by (i), we have π¦ ∈ ππ‘π [πΉ (π₯) , πΆ] , (98) cl [πΉ (π₯) − πΆ − π¦] ∩ πΆ = {0π } . (99) that is, Abstract and Applied Analysis 9 By condition (ii), for every π ∈ πΏ + (π, π), we have π [πΊ (π₯)] ⊂ π (−π·) ⊂ −πΆ. (100) Thus, β L (π₯, π) − πΆ − π¦ π₯∈π = β [πΉ (π₯) + π [πΊ (π₯)]] − πΆ − π¦ π₯∈π = β π [πΊ (π₯)] + πΉ (π₯) − πΆ − π¦ (101) π₯∈π ⊂ πΉ (π₯) − πΆ − πΆ − π¦ ⊂ πΉ (π₯) − πΆ − π¦. Therefore, by (99), we have cl [ β L (π₯, π) − πΆ − π¦] ∩ πΆ = {0π } , (102) π₯∈π that is, π¦ ∈ ππ‘π[βπ₯∈π L(π₯, π)]. Therefore, this proof is completed. By Lemmas 25 and 27 and Theorem 26, we can obtain immediately the following corollary. Corollary 28. Let πΉ be nearly πΆ-convexlike on π΄, let (πΉ, πΊ) be nearly (πΆ×π·)-convexlike on π΄, and let (VP) satisfy generalized Slater constrained qualification. (i) If (π₯, π) is a strict saddle point of the map L, then π₯ is strictly efficient solution of (VP). (ii) If (π₯, π¦) is a strictly efficient minimizer of (VP) and πΊ(π₯) ⊂ −π·, π¦ ∈ ππ‘π[πΉ(π₯), πΆ], then there exists π ∈ πΏ + (π, π) such that (π₯, π) is a strict saddle point of the map L. Acknowledgments Zhimiao Fang’s research was supported by the Natural Science Foundation Project of CQ CSTC (Grant no. cstc2012jjA00033). The authors would like to thank two anonymous referees for their valuable comments and suggestions, which helped to improve the paper. References [1] H. W. Kuhn and A. W. Tucker, “Nonlinear programming,” in Proceedings of the 2nd Berkeley Symposium on Mathematical Statistics and Probability, pp. 481–492, University of California Press, Los Angeles, Calif, USA, 1951. [2] A. M. Geoffrion, “Proper efficiency and the theory of vector maximization,” Journal of Mathematical Analysis and Applications, vol. 22, pp. 618–630, 1968. [3] 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. [4] R. Hartley, “On cone-efficiency, cone-convexity and cone-compactness,” SIAM Journal on Applied Mathematics, vol. 34, no. 2, pp. 211–222, 1978. [5] H. P. Benson, “An improved definition of proper efficiency for vector maximization with respect to cones,” Journal of Mathematical Analysis and Applications, vol. 71, no. 1, pp. 232–241, 1979. [6] M. I. Henig, “Proper efficiency with respect to cones,” Journal of Optimization Theory and Applications, vol. 36, no. 3, pp. 387– 407, 1982. [7] J. M. Borwein and D. Zhuang, “Super efficiency in vector optimization,” Transactions of the American Mathematical Society, vol. 338, no. 1, pp. 105–122, 1993. [8] E. Bednarczuk and W. Song, “PC points and their application to vector optimization,” Pliska Studia Mathematica Bulgarica, vol. 12, pp. 21–30, 1998. [9] A. Zaffaroni, “Degrees of efficiency and degrees of minimality,” SIAM Journal on Control and Optimization, vol. 42, no. 3, pp. 1071–1086, 2003. [10] H. W. Corley, “Existence and Lagrangian duality for maximizations of set-valued functions,” Journal of Optimization Theory and Applications, vol. 54, no. 3, pp. 489–500, 1987. [11] Z.-F. Li and G.-Y. Chen, “Lagrangian multipliers, saddle points, and duality in vector optimization of set-valued maps,” Journal of Mathematical Analysis and Applications, vol. 215, no. 2, pp. 297–316, 1997. [12] W. Song, “Lagrangian duality for minimization of nonconvex multifunctions,” Journal of Optimization Theory and Applications, vol. 93, no. 1, pp. 167–182, 1997. [13] G. Y. Chen and J. Jahn, “Optimality conditions for set-valued optimization problems,” Mathematical Methods of Operations Research, vol. 48, no. 2, pp. 187–200, 1998. [14] W. D. Rong and Y. N. Wu, “Characterizations of super efficiency in cone-convexlike vector optimization with set-valued maps,” Mathematical Methods of Operations Research, vol. 48, no. 2, pp. 247–258, 1998. [15] X. M. Yang, D. Li, and S. Y. Wang, “Near-subconvexlikeness in vector optimization with set-valued functions,” Journal of Optimization Theory and Applications, vol. 110, no. 2, pp. 413–427, 2001. [16] S. J. Li, X. Q. Yang, and G. Y. Chen, “Nonconvex vector optimization of set-valued mappings,” Journal of Mathematical Analysis and Applications, vol. 283, no. 2, pp. 337–350, 2003. [17] Z. F. Li, “Benson proper efficiency in the vector optimization of set-valued maps,” Journal of Optimization Theory and Applications, vol. 98, no. 3, pp. 623–649, 1998. [18] A. Mehra, “Super efficiency in vector optimization with nearly convexlike set-valued maps,” Journal of Mathematical Analysis and Applications, vol. 276, no. 2, pp. 815–832, 2002. [19] L. Y. Xia and J. H. Qiu, “Superefficiency in vector optimization with nearly subconvexlike set-valued maps,” Journal of Optimization Theory and Applications, vol. 136, no. 1, pp. 125–137, 2008. [20] E. Miglierina, “Characterization of solutions of multiobjective optimization problem,” Rendiconti del Circolo Matematico di Palermo, vol. 50, no. 1, pp. 153–164, 2001. [21] J. Jahn, Mathematical Vector Optimization in Partially Ordered Linear Spaces, vol. 31 of Methods and Procedures in Mathematical Physics, Peter D. Lang, Frankfurt, Germany, 1986. [22] J.-B. Hiriart-Urruty, “Tangent cones, generalized gradients and mathematical programming in Banach spaces,” Mathematics of Operations Research, vol. 4, no. 1, pp. 79–97, 1979. 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