- Research
- Open access
- Published:
A kind of unified super efficiency via Assumption (A) and applications in vector optimization
Journal of Inequalities and Applications volume 2015, Article number: 171 (2015)
Abstract
In this paper, we propose a new kind of S-super efficiency of vector optimization problems with set-valued maps via Assumption (A), which unifies exact and approximate super efficiency well known in the literature. Furthermore, we also introduce the concept of nearly S-subconvexlikeness via Assumption (A) and discuss some relations with other types of generalized convexity. Moreover, we establish some scalarization theorems and Lagrange multiplier theorems of S-super efficiency under the nearly S-subconvexlikeness.
1 Introduction
Borwein and Zhuang introduced the concept of super efficient solutions of vector optimization problems in normed linear spaces and established a scalarization theorem and Lagrange multiplier theorem for super efficiency of convex vector optimization in [1, 2]. Then Zheng generalized the concept of super efficient points from normed spaces to real locally convex topological vector spaces in [3]. With the development of set-valued analysis, some researchers studied the super efficient solutions for vector optimization problems with set-valued maps. Especially, Rong and Wu [4] and Mehra [5] investigated super efficient solutions of vector optimization problems with set-valued maps in normed spaces under the cone-convexlikeness and the nearly cone-convexlikeness of set-valued maps, respectively. Qiu and Fu [6] studied the connectedness of super efficient solution sets of vector optimization problems with set-valued maps under the cone-convexlikeness. Xia and Qiu [7] studied the super efficiency under the nearly cone-subconvexlikeness of set-valued maps.
On the other hand, the concepts of approximate solutions play an important role when a vector optimization problem has no exact solutions. Kutateladze [8] introduced the notion of an approximate solution firstly. Then many researchers extended the notions of approximate solutions of vector-valued optimization problems to set-valued optimization problems. Rong and Wu [9] introduced ε-weakly minimal solutions of vector optimization problems. Ling [10, 11] introduced ε-super efficient solutions of vector optimization problems and established the scalarization theorem, the Lagrange multiplier theorem, the ε-saddle points theorem, and the duality theorem for ε-super efficient solution under the assumption of the nearly generalized cone-subconvextikeness for set-valued maps. Tuan [12] studied ε-Benson efficient solutions of vector optimization problems in locally convex topological spaces.
Recently, Chicco et al. [13] introduced the concepts of improvement sets and E-optimal points and investigated the existence of this solution in \(\mathbb{R}^{n}\). Furthermore, Gutiérrez et al. extended the notion of improvement sets and E-optimal points to a general (non-necessarily Pareto) quasi-ordered linear space and obtained some necessary and sufficient conditions for E-optimal solutions of vector optimization problems through scalarization in [14]. Zhao et al. [15–17] investigated E-optimal solutions and E-Benson properly efficient solutions of set-valued optimization problems based on improvement sets in real locally convex Hausdorff topological vector spaces. Gutiérrez et al. proposed \((C, \varepsilon)\)-efficient solutions via co-radiant sets, which extended and unified some known different notions of approximate solution in [18], and they obtained some characterizations of this kind of approximate solution by linear scalarization in [19]. Under the assumption of generalized subconvexlikeness and by using co-radiant sets, Gao et al. presented an alternative theorem of set-valued maps, and then derived scalarization theorems and Lagrange multiplier theorems for approximate solutions of vector optimization problems with set-valued maps in [20]. Moreover, Flores-Bazán and Hernández proposed Assumption (A) and Assumption (B) and obtained a complete scalarization in [21].
Motivated by the work of [15, 21–23], in this paper, we introduce a kind of unified super efficiency of vector optimization problems with set-valued maps, which is named S-super efficiency via Assumption (A) in real locally convex Hausdorff topological vector spaces. We also present the concept of nearly S-subconvexlikeness of set-valued maps. As applications, we establish some scalarization theorems and Lagrange multiplier theorems of S-super efficiency for vector optimization problems with set-valued maps.
2 Preliminaries
In this paper, let X be a linear space, Y and Z be two real locally convex Hausdorff topological vector spaces with topological dual spaces \(Y^{*}\) and \(Z^{*}\), respectively. For a subset M of Y, we denote the topological interior, topological closure, complement and topological boundary of M by intM, clM, \(\mathcal {C}(M)\), and ∂M. For any \(0\neq q\in Y\), we denote \(\mathbb {R}_{++}q=\{rq \mid r>0\}\). The family of the neighborhood of 0 in Y is denoted by \(N(0)\). Let the support functional of M at m be defined as
The positive dual cone of \(M\subseteq Y\) is defined as
and the strict positive dual cone of M is defined as
The cone generated by the set M is defined as \(\operatorname {cone}M=\bigcup_{\alpha\geq0}\alpha M\).
Let \(K\subseteq Y\) and \(P\subseteq Z\) be nontrivial pointed closed convex cones with a nonempty topological interior. For any given \(x, y\in Y\), \(x\leq_{K}y\Leftrightarrow y-x\in K\).
A set C is called a co-radiant set if \(\lambda c\in C\), \(\forall c\in C\), \(\forall\lambda>1\). Moreover, we assume that C is a proper pointed co-radiant set and \(\operatorname{int}C\neq\emptyset\). We denote \(C(\varepsilon )=\varepsilon C\), \(\forall\varepsilon>0\), and
Definition 2.1
(see [1])
Let B be a nonempty convex subset of the cone K. B is a base of K if \(K=\operatorname{cone}B\) and \(0\notin \operatorname{cl}B\).
Definition 2.2
(see [3])
Let \(M\subseteq Y\) be a nonempty set. \(\overline{y}\in M\) is called a super efficient point of M if for any given \(V\in N(0)\), there exists \(U\in N(0)\) such that
and we denote it by \(\overline{y}\in Se(M,K)\).
Definition 2.3
(see [14])
Let E be a nonempty subset in Y. E is called an improvement set with respect to K if and only if \(0\notin E\) and \(E+K=E\).
The family of the improvement sets in Y is denoted by \(\mathfrak{T}_{Y}\).
Definition 2.4
(see [22])
Let \(E\in\mathfrak{T}_{Y}\) and a nonempty set \(M\subseteq Y\). \(\overline{y}\in M\) is called an E-super efficient point of M, if for any given \(V\in N(0)\), there exists \(U\in N(0)\) such that
Lemma 2.1
(see [15])
If \(M\subseteq Y\) and \(E\in\mathfrak {T}_{Y}\), then
-
(i)
\(E+\operatorname{int}K=\operatorname{int}E\);
-
(ii)
\(\operatorname{cl}(\operatorname{cone}(M+E)) =\operatorname{cl}(\operatorname{cone}(M+\operatorname{int}E))\).
Let B be a base of K and write
Lemma 2.2
(see [24])
Let B be a base of K and \(y^{*}\in Y^{*}\setminus\{0\}\). \(y^{*}\in B^{st}\) if and only if there exists a neighborhood \(U \in N(0)\) such that \(\langle u-b,y^{*}\rangle\leq 0\), \(\forall u\in U\), \(\forall b\in B\).
Lemma 2.3
(see [25])
Let B be a base of K and \(y^{*}\in B^{st}\). Then \(y^{*}\in K^{+}\).
Lemma 2.4
(see [23])
Let S be any nonempty set in a real topological linear space Y. Then
Lemma 2.5
(see [26])
Let Y be a real locally convex Hausdorff topological vector space and \(M, N\subseteq Y\) be two convex sets with nonempty topological interior. If \(M\cap\operatorname{int}N=\emptyset\), then there exists a hyperplane in Y separating M and N.
Lemma 2.6
(see [27])
Let \(y^{*}\in K^{+}\setminus\{0\}\), if \(y\in\operatorname{int}K\), then \(\langle y,y^{*}\rangle>0\).
3 A kind of unified super efficiency
In this section, we propose a kind of unified super efficiency via Assumption (A) proposed by Flores-Bazán and Hernández in [21] and discuss some relations with other supper efficiencies.
Assumption (A)
(see [21])
Let \(K \subseteq Y\) be a proper (not necessarily closed or pointed) convex cone with nonempty topological interior and \(S \subsetneq Y\) be such that \(0\in\partial S\) and \(S+\operatorname{int}K=\operatorname{int}S\), or equivalently, \(S+\operatorname{int}K \subseteq S\), or equivalently, \(\operatorname{cl}S+\operatorname{int}K\subseteq S\).
Several other conditions related to Assumption (A) have been considered in economic theory and optimization.
Assumption (P)
(see [21])
Let \(K \subseteq Y\) be a closed convex cone. A closed set \(S\subsetneq Y\) satisfies the free disposal Assumption (P) if \(S+K=S\).
Assumption (P S )
(see [21])
Let \(K \subseteq Y\) be a closed convex cone. A closed set \(S\subsetneq Y\) satisfies the strong free disposal Assumption (P S ) if \(S+K\setminus\{0\}=\operatorname{int}S\), or equivalently, \(S+K\setminus\{0\}\subseteq\operatorname{int}S\).
Assumption (B)
(see [21])
Assume that \(0\neq q\in Y\) and \(S\subsetneq Y\) is a proper (not necessarily closed) set such that \(0\in \partial S\) and \(\operatorname{cl}(\mathcal{C}(-S))+\mathbb {R}_{++}q\subseteq \operatorname{int}(\mathcal{C}(-S))\).
Obviously, the condition \(0\in\partial S\) can be assumed after a translation whenever \(S\neq Y\). Moreover, when \(0\in\partial S\), \(\operatorname{int}S\neq\emptyset\), and \(\operatorname{int}K\neq\emptyset\), it is clear that (P S ) ⇒ (P) ⇒ (A) ⇒ (B). But the converses may not be true. In the following, we give three examples to illustrate them, respectively.
Example 3.1
Let \(Y=\mathbb{R}^{2}\), \(K=\{(x,y)\in\mathbb {R}^{2}\mid y\geq0\}\), \(S=K\). Then \(S+\operatorname{int}K=\operatorname{int}S\) and \(S+K=S\). Therefore, S satisfies Assumption (A) and Assumption (P). S cannot satisfy Assumption (P S ) since \(S+K\setminus\{0\} =S\neq\operatorname{int}S\).
Example 3.2
Let \(Y=\mathbb{R}^{2}\), \(K=\{(x,y)\in\mathbb {R}^{2}\mid y\geq-x\}\), \(S=\mathcal{C}(-K)\cup\{0\}\). Then \(S+\operatorname{int}K=\operatorname{int}S=\{(x,y)\in\mathbb{R}^{2}\mid y>-x\}\), \(S+K=K\neq S=\{ (x,y)\in\mathbb{R}^{2}\mid y>-x\}\cup\{0\}\). Hence, we see that S satisfies Assumption (A) and cannot satisfy Assumption (P).
Example 3.3
Let \(Y=\mathbb{R}^{2}\), \(K=\{(x,y)\in\mathbb {R}^{2}\mid y\geq0\}\cup\{(x,y)\mid y\geq x\}\), and \(S=\mathcal{C}(-K)\cup(K\cap (-K))\). Then \(S+\operatorname{int}K=Y\neq\operatorname{int}S\) and therefore S cannot satisfy Assumption (A). It is obvious that S satisfies Assumption (B).
Remark 3.1
Let \(S=K\) be a pointed closed convex cone. Then \(S+\operatorname{int}S=\operatorname{int}S\). It follows that S satisfies Assumption (A). Let \(S=E\in\mathfrak{T}_{Y}\). From Lemma 2.1(i), we can see that S satisfies Assumption (A).
Remark 3.2
Let C be a convex co-radiant set. Then we can easily verify that \(C(\varepsilon)+\operatorname{int}C(0) =\operatorname{int}C(\varepsilon)\), which implies that \(C(\varepsilon)\) satisfies Assumption (A).
Assumption (A) holds for a wide class of (not necessarily closed) sets including these classical models. Now, we introduce a new notion of super efficiency named S-super efficiency via Assumption (A) in a real locally convex Hausdorff topological vector space and discuss some relations with other super efficiencies.
Definition 3.1
Assume that S satisfies Assumption (A) with respect to K and \(M\in Y\). We say \(\overline{y}\in M\) is a S-super efficient point of M if and only if for any given \(V\in N(0)\), there exists \(U\in N(0)\) such that
The set of S-super efficient points of the set M is denoted by \(O_{Se}^{S}(M,K)\).
Remark 3.3
It follows from Definition 3.1 that \(\overline{y}\in O_{Se}^{S}(M,K)\) if and only if, for any given \(V\in N(0)\), there exists \(U\in N(0)\) such that
Remark 3.4
Let \(S=E\) be an improvement set. From Lemma 2.1(i), S satisfies Assumption (A). Then from Lemma 2.1(ii), the S-super efficiency reduces to E-super efficiency proposed by Zhou and Yang in [22].
Remark 3.5
Let \(S=\varepsilon+K\) where K is a pointed closed convex cone. Then we can easily see that S satisfies Assumption (A) and hence S-super efficiency reduces to ε-super efficiency as proposed by Ling in [10].
Remark 3.6
Let \(K\subseteq Y\) be a point closed convex cone with nonempty topological interior and \(S=K\). Then S-super efficiency reduces to the classical super efficiency. In fact, since K is a convex cone, we have \(K+\operatorname{int}K=\operatorname{int}K\), and \(0\in\partial K\). Then it satisfies Assumption (A). Assume that \(\overline{y}\) is a S-super efficiency point of set-valued map, and from Lemma 2.4 we have
which implies that \(\overline{y}\) is a super efficient point.
Theorem 3.1
Let S satisfy Assumption (A) with respect to K, \(M\subseteq Y\), B be a base of K, and \(\overline{y}\in O_{Se}^{S}(M,K)\). Then there exists \(U\in N(0)\) such that
Proof
Since B is a base of K, \(0\notin\operatorname{cl}B\). Therefore, there exists a convex balanced neighborhood \(V\in N(0)\) such that \(0\notin B+V\). Write \(V_{1}=\frac{1}{2}V\). Clearly,
From (3.1) and the fact that \(V_{1}\) is balanced, it is easy to prove that
By \(\overline{y} \in O_{Se}^{S}(M,K)\) and \(V_{1}\in N(0)\), there exists a convex neighborhood \(U_{1}\in N(0)\) such that
Write \(U=U_{1}\cap V_{1}\). Clearly, U is a convex neighborhood in \(N(0)\). Since \(U\subseteq U_{1}\), it follows that
Since \(U\subseteq V_{1}\), it follows from (3.2) that
Clearly,
By (3.3), we obtain
Using (3.4), (3.5), and (3.6), we have \(\operatorname{cl}(\operatorname{cone}(M+S-\overline{y}))\cap (U-B)=\emptyset\). □
4 Scalarization theorems
Theory and practice of vector optimization have always been closely related to scalarization procedures. The one most widely used is probably the linear scalarization, by which the properly efficient points can be characterized (under convexity assumptions) as the solutions of a linearly scalarized problem.
In this section, we establish scalarization theorems of S-super efficiency for a vector optimization problem with set-valued maps. Let \(F:I\rightrightarrows Y\) and \(G:I\rightrightarrows Z\) be two set-valued maps. Consider the following vector optimization problems with set-valued maps:
The corresponding scalar optimization problem of (VP) is defined as follows:
where \(\varphi\in Y^{*}\setminus\{0\}\).
Definition 4.1
Let \(S\subsetneq Y\) satisfy Assumption (A) with respect to K, \(\overline{x}\in D\) is a S-super efficient solution of (VP) if and only if there exists \(\overline{y}\in F(\overline{x})\) such that \(\overline{y}\in O_{Se}^{S}(F(D))\). The point pair \(\langle \overline{x},\overline{y}\rangle\) is called a S-super efficient element of (VP).
Definition 4.2
A point \(\overline{x}\in D\) is called an optimal solution of \((\mathrm{VP})_{\varphi}\) with respect to S which satisfies Assumption (A) with respect to K, if there exists \(\overline{y}\in F(\overline{x})\) such that
The point pair \((\overline{x}, \overline{y})\) is called a S-optimal point of \((\mathrm{VP})_{\varphi}\).
Definition 4.3
Let \(D\subseteq Y\) and \(S\subsetneq Y\) satisfy Assumption (A) with respect to K. The set-valued map \(F:D\rightrightarrows Y\) is called nearly S-subconvexlike on D if and only if \(\operatorname{cl}(\operatorname{cone}(F(D)+S))\) is a convex set in Y.
Remark 4.1
If \(S=E\in\mathfrak{T}_{Y}\), then nearly S-subconvexlikeness coincides with nearly E-subconvexlikeness as proposed by Zhao et al. in [15].
Remark 4.2
If C is a convex co-radiant set, \(\varepsilon\geq 0\), and \(S=C(\varepsilon)\), then nearly S-subconvexlikeness coincides with nearly C-subconvexlikeness as in [20].
Remark 4.3
If \(S=K\) is a pointed closed convex cone, then nearly S-subconvexlikeness coincides with nearly K-subconvexlikeness as in [23].
Theorem 4.1
Let B be a base of K and S satisfy the Assumption (A) with respect to K. Suppose that the following conditions hold:
-
(i)
\((\overline{x},\overline{y})\) is a S-super efficient element of (VP);
-
(ii)
\(F-\overline{y}\) is nearly S-subconvexlike on D.
Then there exists \(\varphi\in B^{st}\) such that \((\overline{x},\overline {y})\) is a S-optimal element of \((\mathrm{VP})_{\varphi}\).
Proof
By condition (i) and the proof of Theorem 3.1, there exists a convex neighborhood in \(N(0)\), such that
Since \(F-\overline{y}\) is nearly S-subconvexlike on D, \(\operatorname{cl}(\operatorname{cone}(F(D)+S-\overline{y}))\) is a convex set in Y. Clearly, \(U-B\) is a nonempty open convex set in Y. By Lemma 2.5, there exists \(\varphi\in Y^{*}\setminus\{0\}\) such that
Since \(0\in\operatorname{cl}(\operatorname{cone}(F(D)+S-\overline {y}))\), it follows that
From Lemma 2.2, \(\varphi\in B^{st}\).
By (4.1), φ is bounded below on \(\operatorname {cl}(\operatorname{cone}(F(D)+S-\overline{y}))\). Since \(\operatorname{cl}(\operatorname{cone}(F(D)+S-\overline{y}))\) is a cone in Y, it follows from (4.1) that
Clearly
Hence
Then we have
which implies that \((\overline{x}, \overline{y})\) is a S-optimal element of \((\mathrm{VP})_{\varphi}\). □
Remark 4.4
Theorem 4.1 is a generalization of Corollary 2.3 in [1], Theorem 3.1 in [10], Theorem 4.1 in [22], and Theorem 2.1 in [28].
Theorem 4.2
Let B be a bounded base of K and S satisfy Assumption (A) with respect to K. If there exists \(\varphi\in B^{st}\) such that \((\overline{x}, \overline{y})\) is a S-optimal element of \((\mathrm{VP})_{\varphi}\), then \((\overline{x}, \overline{y})\) is a S-super efficient element of (VP).
Proof
Suppose that \((\overline{x}, \overline{y})\) is not a S-super efficient element of (VP). Therefore, \(\overline{y}\notin O_{Se}^{S}(F(D))\). By Remark 3.3 there exists \(V_{1}\in N(0)\), such that
Thus, for any \(U\in N(0)\), there exists \(a_{U}\in U\), \(\lambda_{U}\geq 0\), \(b_{U}\in B\), such that
and
For \(V_{1}\), there exists \(V_{2}\in N(0)\) such that
without loss of generality, we may assume that \(\{a_{U}\mid U\in N(0)\} \subseteq V_{2}\). Clearly, \(\lim_{U}a_{U}=0\). For any \(U\in N(0)\), it follows from (4.3) and (4.4) that \(\lambda _{U}b_{U}\notin V_{2}\). Since B is bounded, there exists \(\lambda_{0}>0\) such that
It is easy to check that \(\lambda_{U}>\lambda_{0}\) for any \(U\in N(0)\). It follows from (4.2) that there exist \(r_{U}>0\), \(y_{U}\in F(D)\) and \(s_{U}\in S\), such that
Since \((\overline{x},\overline{y})\) is an S-optimal element of \((\mathrm{VP})_{\varphi}\), it follows from (4.5) that
i.e.,
Because \(\varphi\in B^{st}\), there exists \(t>0\), such that
Then we obtain
Limiting (4.6), we have \(0=\lim_{U}\langle a_{U}, \varphi \rangle \geq\lambda_{0}t>0\). This is a contradiction. Therefore, \((\overline {x},\overline{y})\) is a S-super efficient element of (VP). □
5 Lagrange multipliers theorems
In this section, we establish Lagrange multipliers theorems of S-super efficiency under the nearly S-subconvexlikeness. Let \(L(Z, Y)\) be the set of all linear continuous operators from Z to Y. A subset \(L^{+}(Z, Y)\) of \(L(Z, Y)\) is defined as
The Lagrange set-valued map of (VP) is defined by
Consider the following vector optimization problem:
Assume that \(I(x)=F(x)\times G(x)\) is the set-valued map with \(I: D\rightrightarrows Y\times Z\). \(I(x)\) is nearly \(S\times P\)-subconvexlike on D if and only if \(\operatorname{cl}(\operatorname {cone}(I(D)+S\times P))\) is a convex set in \(Y\times Z\).
Theorem 5.1
Let B be a bounded base of K and S satisfy Assumption (A) with respect to K. Let \(\overline{x}\in D\) and \(0\in G(\overline{x})\). Suppose the following conditions hold:
-
(i)
\((\overline{x},\overline{y})\) is a S-super efficient element of (VP);
-
(ii)
\(\overline{I}(x)\) is nearly \(S\times P\)-subconvexlike on D, where
$$\overline{I}(x)= \bigl(F(x)-\overline{y} \bigr)\times G(x); $$ -
(iii)
\(\operatorname{cl}(\operatorname{cone}(G(D)+P))=Z\).
Then there exists \(\overline{T}\in L^{+}(Z, Y)\) such that
-
(a)
\(-\overline{T}(G(\overline{x})\cap(-P)) \subseteq(\operatorname{int}K\cup\{0\})\setminus\operatorname{int}S\);
-
(b)
\((\overline{x}, \overline{y})\) is a S-super efficient element of \((\mathrm{UVP})_{\overline{T}}\).
Proof
(a) Since \((\overline{x}, \overline{y})\) is a S-super efficient element of (VP), from Theorem 3.1, there exists a convex neighborhood \(U\in N(0)\), such that
Then
Then it is easy to prove that
Since \((U-B)\times(-\operatorname{int}P)\) is an open convex set in \(Y\times Z\),
By condition (ii), \(\operatorname{cl}(\operatorname{cone}(\overline {I}(D)+S\times P))\) is a nonempty convex set in \(Y\times Z\). Then from Lemma 2.5 there exists \((y^{*}, z^{*})\in(Y^{*}\times Z^{*})\setminus\{(0_{Y}^{*},0_{Z}^{*})\}\), for any \(\lambda\geq0\), \(x\in D\), \((y, z)\in F(x)\times G(x)\), \(s\in S\), \(p\in P\), and \((u, p')\in(U-B)\times(-\operatorname{int}P)\) such that
Then
where \(p''=\lambda p-p'\in P+\operatorname{int}P=\operatorname{int}P\), \(u'=-u\in B-U\).
Let \(\lambda=0\) in (5.1), we have
Because P is a cone in Z,
So, from Lemma 2.2, \(y^{*}\in B^{st}\), \(z^{*}\in P^{+}\). Fixing \(u'\) and \(p''\) in (5.1), we have
Let \(\lambda\rightarrow+\infty\) in (5.2), it follows that
we can prove that \(y^{*}\neq0\). Otherwise, \(z^{*}\neq0\), then
From \(z^{*}\in P^{+}\), we have \(z^{*}\in\operatorname{cl}(\operatorname {cone}(G(D)+P))^{+}\). By condition (iii), \(z^{*}\in Z^{+}\). Then \(z^{*}=0\), which is a contradiction. Hence, \(y^{*}\neq0\). From \(y^{*}\in B^{st}\), there exists \(k_{1}\in\operatorname{int}K\), which satisfies \(\langle k_{1},y^{*}\rangle=1\).
Define the map \(\overline{T}:Z\rightrightarrows Y\) as follows:
Then \(\overline{T}\in L^{+}(Z,Y)\). Since \(0\in G(x)\), \(\overline{y}\in F(\overline{x})\subseteq F(\overline{x})+\overline{T}(G(\overline {x}))\). Setting \(x=\overline{x}\) and \(y=\overline{y}\) in (5.3), we have
Then
In the following, we prove that
Otherwise, there exists \(\tilde{z}\in G(\overline{x})\cap(-P)\) such that \(-\overline{T}(\tilde{z})\in\operatorname{int}S\). From S satisfying Assumption (A), there exists \(s\in S\), \(k\in\operatorname{int}K\) such that
From Lemmas 2.3 and 2.6, we have \(y^{*}\in K^{+}\setminus\{0\}\), then \(\langle-\overline{T}(\tilde{z})-s, y^{*}\rangle>0\), i.e., \(\langle-s, y^{*}\rangle>\langle\tilde{z}, z^{*}\rangle\), which contradicts (5.5). Then (5.6) is true. Therefore, \(-\overline{T}(G(-\overline {x})\cap (-P))\subseteq\operatorname{int}K \cup\{0\}\setminus\operatorname{int}S\).
(b) Since \(0\in G(\overline{x})\), from (5.3) and (5.4) we have
Then we have
i.e.,
It follows that \((\overline{x},\overline{y})\) is a S-optimal element of the problem
According to Theorem 4.2, \((\overline{x},\overline{y})\) is a S-super efficient element of \((\mathrm{UVP})_{\overline{T}}\). □
Remark 5.1
Theorem 5.1 is a generalization of Theorem 6 in [2], Theorem 5.1 in [4], Theorem 4.1 in [5], Theorem 4.1 in [10], Theorem 4.1 in [22], and Theorem 4.1 in [29].
Theorem 5.2
Let \(S\subsetneq Y\) satisfy Assumption (A) with respect to K and \(\overline{x}\in D\), \(\overline{y}\in F(\overline{x})\). If there exists \(\overline{T}\in L^{+}(Z, Y)\) such that \((\overline {x},\overline{y})\) is a S-super efficient element of \((\mathrm{UVP})_{\overline{T}}\), then \((\overline{x},\overline{y})\) is a S-super efficient element of (VP).
Proof
Since \((\overline{x},\overline{y})\) is a S-super efficient element of \((\mathrm{UVP})_{\overline{T}}\), for any neighborhood \(V\in N(0)\), there exists a neighborhood \(U\in N(0)\) such that
Let \(x\in D\). Taking \(z\in G(x)\cap(-P)\), we have \(-\overline{T}(z)\in \operatorname{int}K\cup\{0\}\). Then \(0\in\overline{T}(G(x)) +(\operatorname{int}K)\cup\{ 0\}\). Hence, from S satisfying Assumption (A), we have
It follows that
From (5.7), we have
Then \((\overline{x},\overline{y})\) is a S-super efficient element of (VP). □
Remark 5.2
When \(S=K \setminus\{0\}\), Theorem 5.2 reduces to Theorem 4.2 in [7]. Furthermore, the condition \(\overline{T}(G(\overline {x})\cap(-P))=\{0\}\) is removed.
In this paper, we established scalarization theorems and Lagrange multiplier theorems of S-super efficiency under the assumption of nearly S-subconvexlikeness. It will be a future study to use the main results to derive the S-super saddle point theorem, S-super duality results including weak duality, and strong duality theorems of the vector optimization with set-valued maps. We believe that the results have both potential consequences for theoretical and numerical investigations in vector optimization problems.
References
Borwein, JM, Zhuang, DM: Supper efficiency in vector optimization. Trans. Am. Math. Soc. 338(1), 105-122 (1993)
Borwein, JM, Zhuang, DM: Supper efficiency in convex vector optimization. ZOR, Z. Oper.-Res. 35, 175-184 (1991)
Zheng, XY: Proper efficiency in locally convex topological vector spaces. J. Optim. Theory Appl. 94(2), 469-486 (1997)
Rong, WD, Wu, YN: Characterizations of super efficiency in cone-convexlike vector optimization with set-valued maps. Math. Methods Oper. Res. 48(2), 247-258 (1998)
Mehra, A: Super efficiency in vector optimization with nearly convexlike set-valued maps. J. Math. Anal. Appl. 276(2), 815-832 (2002)
Qiu, QS, Fu, WT: The connectedness of the super efficient solution sets of the optimization problem for a set-valued mapping. J. Syst. Sci. Math. Sci. 22(1), 107-114 (2002)
Xia, LY, Qiu, JH: Superefficiency in vector optimization with nearly subconvexlike set-valued maps. J. Optim. Theory Appl. 136(1), 125-137 (2008)
Kutateladze, SS: Convex ε-programming. Sov. Math. Dokl. 20(2), 391-393 (1979)
Rong, WD, Wu, YN: ε-Weak minimal solutions of vector optimization problems with set-valued maps. J. Optim. Theory Appl. 48(2), 247-258 (1998)
Ling, C: ε-Super efficient solutions of vector optimization problems with set-valued maps. Oper. Res. Trans. 5(3), 51-56 (2001)
Ling, C: ε-Super saddle points and ε-duality theorems of vector optimization problems with set-valued maps. Oper. Res. Trans. 6(1), 53-60 (2002)
Tuan, LA: ε-Optimality conditions for vector optimization problems with set-valued maps. Numer. Funct. Anal. Optim. 31(1), 78-95 (2010)
Chicco, M, Mignanego, F, Pusillo, L, Tijs, S: Vector optimization problems via improvement sets. J. Optim. Theory Appl. 150(3), 516-529 (2011)
Gutiérrez, C, Jiménez, B, Novo, V: Improvement sets and vector optimization. Eur. J. Oper. Res. 223(2), 304-311 (2012)
Zhao, KQ, Yang, XM, Peng, JW: Weak E-optimal solution in vector optimization. Taiwan. J. Math. 17(4), 1287-1302 (2013)
Zhao, KQ, Yang, XM: E-Benson proper efficiency in vector optimization. Optimization (2013). doi:10.1080/02331934.2013.798321
Zhao, KQ, Yang, XM: Characterizations of the E-Benson proper efficiency in vector optimization problems. Numer. Algebra Control Optim. 3(4), 643-653 (2013)
Gutiérrez, C, Jiménez, B, Novo, V: A unified approach and optimality conditions for approximate solutions of vector optimization problems. SIAM J. Optim. 17(3), 688-710 (2006)
Gutiérrez, C, Jiménez, B, Novo, V: Optimality conditions via scalarization for a new ε-efficiency concept in vector optimization problems. Eur. J. Oper. Res. 201(1), 11-22 (2010)
Gao, Y, Yang, XM, Yang, Y, Yan, H: Scalarization and Lagrange multipliers for approximate solutions in the vector optimization problems with set-valued maps. J. Ind. Manag. Optim. 11(2), 673-683 (2015)
Flores-Bazán, F, Hernández, E: A unified vector optimization problem: complete scalarizations and applications. Optimization 60(12), 1399-1419 (2011)
Zhou, ZZ, Yang, XM: E-Super efficiency of set-valued optimization problems involving improvement sets. J. Ind. Manag. Optim. (accepted)
Yang, XM, Li, D, Wang, SY: Near-subconvexlikeness in vector optimization with set-valued functions. J. Optim. Theory Appl. 110(2), 413-427 (2001)
Cheng, YH, Fu, WT: Strong efficiency in a locally convex space. Math. Methods Oper. Res. 50(3), 373-384 (1999)
Fu, WT, Cheng, YH: On the strict efficiency in a locally convex space. J. Syst. Sci. Complex. 12(1), 40-44 (1999)
Tiel, JV: Convex Analysis. Wiley, New York (1984)
Li, ZM: A theorem of the alternative and its application to the optimization of set-valued maps. J. Optim. Theory Appl. 100(2), 365-375 (1999)
Hu, YD, Gong, XH: Super efficiency and its scalarization in topological vector space. Acta Math. Appl. Sin. 16(1), 22-26 (2000)
Xu, YH, Liu, SY: Super efficiency in the nearly cone-subconvexlike vector optimization with set-valued functions. Acta Math. Sci. 25(1), 152-160 (2005)
Acknowledgements
This work is partially supported by the National Natural Science Foundation of China (Grants: 11301574, 11271391, 11431004) and the Second Sponsoring Plan for Young Key Teachers from Universities of Chongqing.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Guo, H., Zhao, K.Q. A kind of unified super efficiency via Assumption (A) and applications in vector optimization. J Inequal Appl 2015, 171 (2015). https://doi.org/10.1186/s13660-015-0690-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0690-8