Research Article Strict Efficiency in Vector Optimization with Nearly Convexlike Set-Valued Maps

advertisement
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
Download