This note deals with approximate solutions in vector optimization involving a generalized cone-invex set-valued mapping. First, a new class of generalized cone-invex set-valued maps, called cone-subinvex set-valued maps, is introduced. Then the sufficient optimality condition and two types dual theorems are established for weakly approximate minimizers under the assumption of cone-subinvexity. Finally, it also reveals the closed relationships between a weakly approximate minimizer of a cone-subinvex set-valued optimization problem and a weakly approximate solution of a kind of vector variational inequality.
Hinweise
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
1 Introduction
Recently, there has been an increasing interest in the extension of vector optimization to set-valued optimization. As a bridge between different areas of optimization, the theory of set-valued optimization problems has wide applications in differential inclusion, variational inequality, optimal control, game theory, economic equilibrium problem, decision making, etc. For more details of set-valued optimization theory and applications, the reader can refer to the excellent books [1‐4].
The derivative of set-valued maps is most important for the formulation of optimality conditions. Aubin and Frankowsa [1] introduced the notion of a contingent derivative of a set-valued map as an extension of the concept of Fréchet differentiability. From then on, various approaches have been followed in defining the concept of derivative for set-valued maps. Among these notions, a meaningful and useful concept is the contingent epiderivative, which was given by Jahn and Rauh [5]. It is important to note that the contingent epiderivative is a single-valued map. Recently, much attention has been paid to characterizing optimality conditions for set-valued optimization and related problems by utilizing contingent epiderivatives; for example, see [6‐12]. On the other hand, convex analysis is a powerful tool for the investigation of optimal solutions of vector optimization problems. Various notions of generalized convexity have been introduced to weaken convexity. One of such generalizations is invexity, which was firstly introduced by Hanson [13] for nonlinear programming. Based upon this concept, some scholars developed further generalizations of invexity to vector optimization involving set-valued maps. For example, Luc and Malivert [14] extended the concept of invexity to set-valued optimization and investigated the necessary and sufficient optimality conditions; Sach and Craven [15] proved duality theorems for set-valued optimization problems under invexity assumptions. In [16‐19], optimality conditions and a characterization of solution sets of set-valued optimization problems involving generalized invexity are investigated.
Anzeige
Since duality assertions allow us to study a minimization problem through a maximization problem and to know what one can expect in the best case. At the same time, duality has resulted in many applications within optimization, and it has provided many unifying conceptual insights into economics and management science. So, it is not surprising that duality is one of the important topics in set-valued optimization. There are many papers dedicated to duality theory of set-valued optimization, for instance, [20‐25] cited in this paper are closely related to the present work.
On the other hand, since it has been introduced by Giannessi [26], the theory of vector variational inequalities has shown many applications in vector optimization problems and traffic equilibrium problems. In fact, some recent work has shown that optimality conditions of some vector optimization problems can be characterized by vector variational inequalities. For example, Al-Homidan and Ansari [27] dealt with different kinds of generalized vector variational-like inequality problems and a vector optimization problem. Some relationships between the solutions of generalized vector variational-like inequality problem and an efficient solution of a vector optimization problem have been established; Ansari et al. [28] worked on the generalized vector variational-like inequalities involving the Dini subdifferential, and some relations among these inequalities and vector optimization problems are presented. In the literature [29, 30], the authors focused on the exponential type vector variational-like inequalities and vector optimization problems with exponential type invexities. Observing the above mentioned papers, we found that the invexity plays exactly the same role in variational-like inequalities as the classical convexity plays in variational inequalities. Motivated by this work, this paper will extend the partial results to the setting of a set-valued mapping under the weaker invexity assumption.
In addition, approximate solutions of optimization problems are very important from both the theoretical and the practical points of view because they exist under very mild hypotheses and a lot of solution methods propose this kind of solutions. Thus, it is meaningful to consider various concepts of approximate solutions to set-valued optimization problems. Recently, approximate solutions for set-valued optimization have caught many scholars’ attention; for example, see [31‐34] and the references therein.
Based upon the above observation, the purpose of this paper is two aspects: first, to introduce a new class of generalized set-valued cone-invex maps and establish sufficient optimal conditions and dual theorems of approximate solutions for set-valued optimization problems under these generalized convexities; second, to study the optimality conditions of weakly approximate minimizer in vector optimization involving generalized cone-invex set-valued mappings by using the notions of vector variational inequality.
Anzeige
This paper is structured as follows: In Section 2, some well-known definitions and results used in the sequel are recalled; a new class of generalized set-valued cone-invex maps, named cone-subinvex set-valued maps, is introduced. In Section 3 and Section 4, we give the sufficient optimality conditions and two types dual theorems of weakly approximate minimizers, respectively. Section 5 is devoted to revealing the closed relation between weakly approximate solutions of vector optimization and variational inequality involving set-valued cone-subinvex mappings.
2 Preliminaries
In this paper, X, Y, and Z are assumed to be Banach spaces with topological dual \(X^{*}\), \(Y^{*}\), and \(Z^{*}\), respectively. For any \(x\in X\) and \(x^{*}\in X^{*}\), the canonical form between X and \(X^{*}\) is denoted by \(x^{*T}x\). Let \(D\subset Y\) and \(E\subset Z\) be pointed closed convex cones with \(\operatorname{int} (D)\neq\emptyset\). We write
Let \((\bar{x},\bar{y})\in\operatorname{graph}(F)\). The contingent cone (see [5]) to \(\operatorname{epi}(F)\) at \((\bar{x},\bar{y})\) denoted by \(T(\operatorname{epi}(F),(\bar{x},\bar{y}))\), which consists of all tangent vectors
where \((\bar{x},\bar{y})=\lim_{n\rightarrow \infty}(x_{n},y_{n})\), \((x_{n},y_{n})\in\operatorname{epi}(F)\), \(\lambda_{n} >0\), for all \(n\in\mathbb{N}\).
Let a pair \((\bar{x},\bar {y})\in\operatorname{graph}(F)\) be given. A single-valued map \(D F(\bar{x},\bar{y}): X\rightarrow Y\) whose epigraph equals the contingent cone to the epigraph of F at \((\bar{x},\bar{y})\), that is,
is called contingent epiderivative of F at \((\bar{x},\bar{y})\). If the contingent epiderivative of F at any point in \(\operatorname{graph}(F)\) exists, then we say F is a contingent epiderivable set-valued map.
Next, we begin with recalling the concepts of a convex set and an invex set. It is well known that a subset S of X is a convex set, if for any \(x,z\in S\), \(t\in[0,1]\), we have \(tz+(1-t)x\in S \).
A subset \(S\subset X\) is said to be an η-invex set, if, for every \(x\in S\), \(z\in S\), there exists a map \(\eta: X\times X\rightarrow X\) such that \(z+t\eta(x,z)\in S\), for all \(t\in[0,1]\).
Example 2.3
Let \(S=(0, +\infty)\subset\mathbb{R}=X\). Then S is invex with respect to \(\eta: X\times X\rightarrow X\), \(\eta (x,y)=x+y\).
In Definition 2.2, when \(\eta(x,z)=x-z\), then S is a convex set. In general, the opposite is not true.
Example 2.4
Suppose that \(S=[-5,-2]\cup[2,10]\), then S is an invex with respect to \(\eta(x,y)\), defined by
Let \(\eta: X\times X\rightarrow X\) be a map and \(F: X\rightarrow2^{Y}\) be a contingent epiderivable set-valued map at a point \((\bar{x},\bar{y})\in\operatorname {graph}(F)\) with \(\operatorname{dom} (DF(\bar{x},\bar{y}) )=X\). Then F is said to be a D-η-invex map at \((\bar{x},\bar{y})\) if
$$ F(x)-\bar{y}\subset DF(\bar{x},\bar{y}) \bigl(\eta(x,\bar{x}) \bigr)+D, \quad\mbox{for all }x\in X. $$
(2.1)
F is said to be a D-η-invex map at x̄, if (2.1) holds for any \(\bar{y}\in F(\bar{x})\).
Example 2.6
Let \(X=\mathbb{R}_{+}\), \(Y=\mathbb{R}^{2}\), \(D=\mathbb{R}^{2}_{+} \), and \(F: \mathbb{R}_{+}\rightarrow2^{\mathbb {R}{^{2}}}\) be defined by
Therefore, \(DF(0,(0,0))\) exists for any \(x\in\mathbb{R}_{+}\) and for any map \(\eta: \mathbb{R}_{+}\times\mathbb{R}_{+}\rightarrow\mathbb{R}_{+}\), one has
$$\bigl(x^{2},x\bigr)-(0,0)\in\bigl\{ (0,0)\bigr\} +\mathbb{R}^{2}_{+}, \quad \mbox{for all } y\geq 0. $$
So, F is a D-η-invex map at \((\bar{x},\bar{y})= (0,(0,0) )\) with respect to any mapping η.
Definition 2.7
Suppose that \(\eta: X\times X\rightarrow X\), \(e\in\operatorname{int} (D)\), \(\varepsilon\geq0\), and \(F: X\rightarrow2^{Y}\) is a contingent epiderivable set-valued map at a point \((\bar{x},\bar{y})\in\operatorname{graph}(F)\) with \(\operatorname{dom} (DF(\bar{x},\bar{y}) )=X\). Then F is said to be a D-η-subinvex set-valued mapping at \((\bar{x},\bar{y})\) with respect to \(\varepsilon\cdot e\), if
F is said to be a D-η-subinvex map at x̄ with respect to \(\varepsilon\cdot e\), if (2.2) holds for any \(\bar{y}\in F(\bar {x})\).
Obviously, if F is a D-η-invex map at \((\bar{x},\bar{y})\in \operatorname{graph}(F) \), then F is a D-η-subinvex set-valued mapping at \((\bar{x},\bar{y})\) with respect to \(\varepsilon\cdot e\). However, the inverse proposition is not necessarily true, as is illustrated in the following example.
Example 2.8
Let \(X=\mathbb{R}\), \(Y=\mathbb{R}^{2}\), \(D=\mathbb{R}^{2}_{+} \), and \(F: \mathbb{R}\rightarrow2^{\mathbb{R}{^{2}}}\) be defined by
which indicates that F is not D-η-invex at \((\bar{x},\bar {y})= (0,(0,0) )\) with respect to any mapping η.
Now, choosing any η, \(e=(1,1)\in\operatorname{int}(\mathbb{R}^{2}_{+})\), and \(\varepsilon\geq4\) (or, \(e=(4,4)\in\operatorname{int}(\mathbb{R}^{2}_{+})\) and \(\varepsilon\geq1\)), we have
$$\varepsilon\cdot e+F(x)-(0,0)\subset DF\bigl(0,(0,0)\bigr) \bigl(\eta(x,0) \bigr)+\mathbb{R}^{2}_{+}, \quad\mbox{for all } x\in\mathbb{R}. $$
Hence, F is a D-η-subinvex set-valued mapping at \((0,(0,0) )\) with respect to \(\varepsilon\cdot e\).
3 Sufficient optimality conditions
Let \(F: X\rightarrow2^{Y}\) and \(G: X\rightarrow2^{Z}\) be two set-valued maps with \(\operatorname{dom}(F)=\operatorname{dom}(G)=X\). In Section 3 and Section 4, we consider the following set-valued optimization problem:
A point \((\bar{x},\bar{y})\in X\times Y\) is said to be a feasible point of the problem (SOP-I) if \(\bar{x}\in X\), \(\bar{y}\in F(\bar{x})\), and \(G(\bar{x})\cap(-E)\neq\emptyset\). Let \(\Omega=\{x\in X: (x,y) \mbox{ is a feasible point of the problem (SOP-I)}\}\). Then the weakly approximate minimizer for the set-valued optimization problem (SOP-I) is defined in the following way.
and the pair \((\bar{x},\bar{y})\in\operatorname{graph}(F)\) is said to be a weak minimizer of (SOP-I).
(ii) Let \(\varepsilon\geq0\) and \(e\in\operatorname{int} (D)\). A point \(\bar {x}\in\Omega\) is said to be a weak \(\varepsilon\cdot e\)-efficient solution of the problem (SOP-I), if there exists \(\bar{y}\in F(\bar {x})\) such that
$$\bigl(F(\Omega)-\bar{y}+\varepsilon\cdot e \bigr)\cap \bigl(-\operatorname {int}(D) \bigr)=\emptyset, $$
and the pair \((\bar{x},\bar{y})\in\operatorname{graph}(F)\) is said to be a weak \(\varepsilon\cdot e\)-minimizer of (SOP-I).
Theorem 3.2
(Sufficient optimality condition)
Let\(e\in \operatorname{int}(D)\), \(\varepsilon\geq0\), and\((\bar{x},\bar{y})\in\operatorname {graph}(F)\)be a feasible point of the problem (SOP-I) and\(\bar{z}\in G(\bar{x})\cap(-E)\). Assume that the contingent epiderivatives\(DF(\bar {x},\bar{y})\)and\(DG(\bar{x},\bar{z})\)exist with\(\operatorname{dom} (DF(\bar{x},\bar{y}) )=\operatorname{dom} (DG(\bar{x},\bar{z}) )=X\). LetFbeD-η-subinvex at\((\bar{x},\bar{y})\)with respect to\(\varepsilon\cdot e\)andGbeE-η-invex at\((\bar{x},\bar{z})\)with respect to the sameη. If there exists\((y^{*},z^{*})\in D^{*}\times E^{*}\)with\(y^{*}\neq0_{Y^{*}}\)such that
A point \((x',y',z',y^{*},z^{*})\) satisfying all the constraints of the problem (MWD) is called a feasible point of the problem (MWD). Let \(K_{1}=\{y': (x',y',z',y^{*},z^{*}) \mbox{ is a feasible point of} \mbox{ }\mbox{(MWD)}\}\).
Definition 4.1
Let \(\varepsilon\geq0\) and \(e\in \operatorname{int}(D)\). A feasible point \((x',y',z',y^{*},z^{*})\) of the problem (MWD) is called a weak \(\varepsilon\cdot e\)-maximizer of (MWD) if
Let\(e\in\operatorname{int}(D)\), \(\varepsilon\geq0\), \((\bar{x},\bar{y})\), and\((x',y',z',y^{*},z^{*})\)be feasible points for (SOP-I) and (MWD), respectively. Suppose thatFisD-η-subinvex at\((x',y')\)with respect to\(\varepsilon\cdot e\)andGisE-η-invex at\((x',z')\)with respect to the sameη. Then we have
Since \(y^{*}\in D^{*}\backslash\{0_{Y^{*}}\}\), we have
$$ y^{*T}\bigl(\bar{y}-y'+\varepsilon\cdot e \bigr)< 0. $$
(4.2)
And because x̄ is feasible point for (SOP-I), we get \(G(\bar {x})\cap(-E)\neq\emptyset\). Hence, there exists \(\bar{z}\in G(\bar {x})\cap(-E)\) such that \(z^{*T}\bar{z}\leq0\). On the other hand, we have from the dual constraint of (MWD) \(-z^{*T}z'\leq0\). Therefore,
which contradicts the dual constraint of (MWD). So, (4.1) is satisfied and this completes the proof. □
Theorem 4.3
(Strong duality)
Let\(e\in\operatorname{int}(D)\), \(\varepsilon\geq0\), and\((\bar{x},\bar{y})\)be a weak\(\varepsilon\cdot e\)-minimizer of (SOP-I). Suppose that, for some\((y^{*},z^{*})\in (D^{*}\backslash\{0_{Y^{*}}\} )\times E^{*}\)and\(\bar {z}\in G(\bar{x})\cap(-E)\), (3.1) and (3.2) are satisfied. Then\((\bar{x},\bar{y},\bar{z},y^{*},z^{*})\)is a feasible point for (MWD). Furthermore, if the weak duality theorem, Theorem 4.2, between (SOP-I) and (MWD) holds, then\((\bar{x},\bar{y},\bar{z},y^{*},z^{*})\)is a weak\(\varepsilon\cdot e\)-maximizer of (MWD).
Proof
Since (3.1) and (3.2) hold, it is obvious that \((\bar{x},\bar{y},\bar{z},y^{*},z^{*})\) is a feasible point for (MWD). Afterwards, we will prove that
In fact, assume that there exists \(y'\in K_{1}\) such that
$$y'-\bar{y}-\varepsilon\cdot e \in\operatorname{int}(D). $$
This contradicts the weak duality theorem, Theorem 4.2, between (SOP-I) and (MWD). □
Theorem 4.4
(Converse duality)
Let\(e\in\operatorname{int}(D)\), \(\varepsilon\geq0\), and\((x',y',z',y^{*},z^{*})\)be a feasible point of the problem (MWD) and\(z'\in G(x')\cap(-E)\). Suppose thatFisD-η-subinvex at\((x',y')\)with respect to\(\varepsilon\cdot e\)andGisE-η-invex at\((x',z')\)with respect to the sameη. Then\((x',y')\)is a weak\(\varepsilon\cdot e\)-minimizer of the problem (SOP-I).
Proof
Firstly, it is clearly that \((x',y')\) is a feasible point of the problem (SOP-I). Next, assuming that \((x',y')\) is not a weak \(\varepsilon\cdot e\)-minimizer of the problem (SOP-I),
Noticing that \(y^{*}\in D^{*}\backslash\{0_{Y^{*}}\}\), we have
$$ y^{*T}\bigl(\hat{y}- y'+\varepsilon\cdot e \bigr)< 0. $$
(4.7)
Again, because \(\hat{x}\in\Omega\), we get \(G(\hat{x})\cap(-E)\neq \emptyset\). Taking \(\hat{z}\in G(\hat{x})\cap(-E)\), we derive from \(z^{*}\in E^{*}\) that \(z^{*T}\hat{z}\leq0\). By the constraint of (MWD), we have \(z^{*T}z'\geq0\). Therefore, we get
A point \((x',y',z',y^{*},z^{*})\) satisfying all the constraints of problem (WD) is called a feasible point of the problem (WD). Let \(K_{2}=\{ y'+z^{*T}z'\cdot d_{0}: (x',y',z',y^{*},z^{*}) \mbox{ is a feasible point}\mbox{ }\mbox{of (WD)}\}\).
Definition 4.5
Let \(\varepsilon\geq0\) and \(e\in \operatorname{int}(D)\). A feasible point \((x',y',z',y^{*},z^{*})\) of the problem (WD) is called to be a weak \(\varepsilon\cdot e\)-maximizer of (WD) if
$$\bigl(K_{2}-\bigl(y'+z^{*T}z'\cdot d_{0}\bigr)-\varepsilon\cdot e \bigr)\cap\operatorname{int}(D)= \emptyset. $$
Theorem 4.6
(Weak duality)
Let\(e\in\operatorname{int}(D)\), \(\varepsilon\geq0\), \((\bar{x},\bar{y})\)and\((x',y',z',y^{*},z^{*})\)be feasible points for (SOP-I) and (WD), respectively. Suppose thatFisD-η-subinvex at\((x',y')\)with respect to\(\varepsilon\cdot e\)andGisE-η-invex at\((x',z')\)with respect to the sameη. Then we have
Since \(G(\bar{x})\cap(-E)\neq\emptyset\), let \(\bar{z}\in G(\bar{x})\cap (-E)\), \(z^{*T}\bar{z}\leq0\). Hence, we get \(z^{*T}\bar{z}\cdot d_{0}\in -D\) and
Noticing that \(y^{*}\in D^{*}\backslash\{0_{Y^{*}}\}\) and \(y^{*T}d_{0}=1\), we have
$$ y^{*T}\bigl(\bar{y}-y'+\varepsilon\cdot e \bigr)+z^{*T}\bigl(\bar{z}-z'\bigr)< 0. $$
(4.10)
This proves that inequality (4.4) holds. So, the rest of the proof follows from the same arguments as that of the weak duality theorem, Theorem 4.2, for the problem (MWD), we can still get
which also contradicts the dual constraint of (WD). Thus, \(\bar {y}-y'-z^{*T}z'\cdot d_{0}+\varepsilon\cdot e\notin-\operatorname{int}(D)\), as desired. □
Theorem 4.7
(Strong duality)
Let\(e\in\operatorname {int}(D)\), \(\varepsilon\geq0\), and\((\bar{x},\bar{y})\)be a weak\(\varepsilon\cdot e\)-minimizer of (SOP-I). Suppose that, for some\((y^{*},z^{*})\in (D^{*}\backslash\{0_{Y^{*}}\} )\times E^{*}\)with\(y^{*T}\cdot d_{0}=1\), (3.1) and (3.2) are satisfied for some\(\bar{z}\in G(\bar{x})\cap(-E)\). Then\((\bar{x},\bar{y},\bar{z},y^{*},z^{*})\)is a feasible point for (WD). Furthermore, if the weak duality theorem, Theorem 4.6, between (SOP-I) and (WD) holds, then\((\bar{x},\bar {y},\bar{z},y^{*},z^{*})\)is a weak\(\varepsilon\cdot e\)-maximizer of (WD).
Proof
Since (3.1) and (3.2) are fulfilled, it is obviously that \((\bar{x},\bar{y},\bar{z},y^{*},z^{*})\) is a feasible point for (WD). Next, we show that
This contradicts the weak duality theorem, Theorem 4.6, between (SOP-I) and (WD). □
Theorem 4.8
(Converse duality)
Let\(e\in\operatorname {int}(D)\), \(\varepsilon\geq0\), and\((x',y',z',y^{*},z^{*})\)be a feasible point of the problem (WD) with\(z'\in G(x')\cap(-E)\)and\(z^{*T}z'=0\). Suppose thatFisD-η-subinvex at\((x',y')\)with respect to\(\varepsilon\cdot e\)andGisE-η-invex at\((x',z')\)with respect to the same η. Then\((x',y')\)is a weak\(\varepsilon\cdot e\)-minimizer of the problem (SOP-I).
Proof
Obviously, \((x',y')\) is a feasible point of the problem (SOP-I). Let \((x',y')\) be not a weak \(\varepsilon\cdot e\)-minimizer of the problem (SOP-I), then
Noticing that \(y^{*}\in D^{*}\backslash\{0_{Y^{*}}\}\), we have
$$ y^{*T}\bigl(\hat{y}- y'+\varepsilon\cdot e \bigr)< 0. $$
(4.11)
Again, since \(\hat{x}\in\Omega\), we get \(G(\hat{x})\cap(-E)\neq \emptyset\). Let \(\hat{z}\in G(\hat{x})\cap(-E)\), it follows from \(z^{*}\in E^{*}\) that \(z^{*T}\hat{z}\leq0\). Noticing that \(z^{*T}z'= 0\), we get
$$y^{*T}\bigl(\hat{y}- y'+\varepsilon\cdot e \bigr)+z^{*T}\bigl(\hat{z}-z'\bigr)< 0, $$
which illustrates that (4.8) is satisfied. By the same arguments as that of the converse duality theorem, Theorem 4.4, for the problem (MWD), we also have
This also contradicts the dual constraint of (WD). Hence, \((x',y')\) is a weak \(\varepsilon\cdot e\)-minimizer of the problem (SOP-I). □
5 Vector optimization and variational inequality
This section is devoted to a discussion of the relationship between approximate solutions of set-valued optimization and that of a kind of vector variational inequality. Let S be a nonempty invex subset of X and \(F: X\rightarrow2^{Y}\) be a set-valued mapping. Considering the following set-valued optimization problem (SOP-II):
$$\mbox{(SOP-II)}\quad \textstyle\begin{cases} \mbox{minimize}& F(x)\\ \mbox{subject to}& x\in S. \end{cases} $$
Let\(\bar{x}\in S\),\(\bar{y}\in F(\bar{x})\)and\(\eta: X\times X \rightarrow X\)be a map. In the following, it is assumed that\(DF(\bar {x},\bar{y})\)exists, and\(\eta(S,\bar{x}):=\{\eta(x,\bar{x}): x\in S\}\)belongs to the domain of\(DF(\bar{x},\bar{y})\).
Now, we consider the vector variational inequality problem \((\mathrm{VVIP})_{\eta }\), that is, to find \(\bar{x}\in S\), \(\bar{y}\in F(\bar{x})\) such that
$$\mbox{(VVIP)}_{\eta} \quad D F(\bar{x},\bar{y}) \bigl(\eta(x,\bar{x}) \bigr)\notin-D, \quad \forall x\in S. $$
When \(\eta(x,\bar{x})=x-\bar{x}\), the vector variational inequality problem (VVIP) was investigated by Liu and Gong [35].
Definition 5.1
(i) The pair \((\bar{x},\bar{y})\in\operatorname{graph}(F)\) is called a weak efficient solution of the problem \((\mathrm{VVIP})_{\eta}\), if we have
$$DF(\bar{x},\bar{y}) \bigl(\eta(x,\bar{x}) \bigr)\notin-\operatorname{int}(D), \quad \forall x\in S. $$
(ii) Let \(e\in\operatorname{int}(D)\) and \(\varepsilon\geq0\). The pair \((\bar{x},\bar{y})\) is called a weak \(\varepsilon\cdot e\)-efficient solution of the problem \((\mathrm{VVIP})_{\eta}\), if we have
$$DF(\bar{x},\bar{y}) \bigl(\eta(x,\bar{x}) \bigr)+\varepsilon\cdot e\notin - \operatorname{int}(D), \quad\forall x\in S. $$
Theorem 5.2
Let\(e\in\operatorname{int}(D)\)and\(\varepsilon \geq0\). If a pair\((\bar{x},\bar{y})\)is a weak\(\varepsilon\cdot e\)-minimizer of problem (SOP-II), then\((\bar{x},\bar{y})\)is a weak\(\varepsilon\cdot e\)-efficient solution of\((\mathrm{VVIP})_{\eta}\).
Proof
Since the pair \((\bar{x},\bar{y})\in \operatorname{graph}(F)\) is a weak \(\varepsilon\cdot e\)-minimizer of (SOP-II), one has
$$ \bigl(F(S)-\bar{y}+\varepsilon\cdot e \bigr)\cap- \operatorname{int} (D)=\emptyset. $$
(5.1)
We proceed by contradictions. Assume that there is an \(x'\in S\) with \(y'= D F(\bar{x},\bar{y}) (\eta(x',\bar{x}) ) \) such that
Then there are a sequence \((x_{n},y_{n})_{n\in\mathbb{N}}\) in \(\operatorname{graph}(F)\) with \((x_{n},y_{n}+\varepsilon\cdot e)_{n\in\mathbb{N}}\) in \(\operatorname{epi}(\hat{F})\) and a sequence \((\lambda_{n})_{n\in\mathbb{N}}\) of positive real numbers with \((\bar{x},\bar{y})=\lim_{n\rightarrow\infty} (x_{n},y_{n}+\varepsilon\cdot e)\) and
At the same time, since \((x_{n},y_{n}+\varepsilon\cdot e)\in \operatorname{epi}(\hat{F})\), there exists \(y_{n}'\in F(x_{n})\) and \(d_{n}\in D\) such that \(y_{n}+\varepsilon\cdot e=y_{n}'+\varepsilon\cdot e+d_{n}\). So, we get from (5.4)
For the problem (SOP-II), since every weak minimizer is a weak \(\varepsilon\cdot e\)-minimizer, we can immediately derive Corollary 5.3.
Corollary 5.3
Let\(e\in\operatorname{int}(D)\)and\(\varepsilon \geq0\). If a pair\((\bar{x},\bar{y})\)is a weak minimizer of problem (SOP-II), then\((\bar{x},\bar{y})\)is a weak\(\varepsilon\cdot e\)-minimizer of\((\mathrm{VVIP})_{\eta}\).
Theorem 5.4
LetSbe an invex set with respect toηand the set-valued mapping\(F: S\rightarrow2^{Y}\)beD-η-subinvex onSwith respect to\(\varepsilon\cdot e\). If\((\bar{x},\bar{y})\)is a weak efficient solution of\((\mathrm{VVIP})_{\eta}\), then\((\bar{x},\bar{y})\)is a weak\(\varepsilon\cdot e\)-minimizer of the problem (SOP-II).
Proof
By the assumptions, we get
$$ DF(\bar{x},\bar{y}) \bigl(\eta(x,\bar{x}) \bigr)\notin-\operatorname{int} (D), \quad \forall x\in S. $$
(5.5)
Assuming that \((\bar{x},\bar{y})\) is not a weak \(\varepsilon\cdot e\)-minimizer of (SOP-II), then \(\hat{x}\in S\), \(\hat{y}\in F(\hat{x})\) such that
Theorem 5.4 generalizes and improves the result of Liu and Gong (see [35], Theorem 7) in the following aspects:
(1)
The constraint set which is a convex subset is extended to the invex set.
(2)
The objective function, that is, a cone-convex set-valued mapping, is extended to cone-subinvex.
Remark 5.6
This note only presents the relationships between a kind of generalized variational-like inequalities and set-valued optimization problem. However, we do not discuss the relationships of other kinds of variational-like inequalities and set-valued optimization, and the existence problems of variational-like inequalities are not involved. For more details related to these problems, we refer the reader to [27, 28, 36].
6 Conclusions and remarks
In this paper, we focus on the approximate solutions in set-valued optimization. We present the notion of cone-subinvex set-valued maps and investigate its properties. A sufficient optimality condition and two types dual theorems are established for weakly approximate minimizers under the assumption of cone-subinvexity. We also discuss the relationships between a kind of vector variational inequality and set-valued optimization. Under the assumption cone-subinvexity, it shows that the weakly approximate minimizers of set-valued optimization are characterized by the weakly approximate solution of a kind of vector variational inequality.
It is worthy underlining that Ansari and Jahn [36] defined the \(\mathbb {T}\)-epiderivative of a set-valued map, which includes the contingent epiderivative as its special case. They provided necessary and sufficient conditions for a solution of a set-valued problems and some existence results for solutions of set-valued optimization problems and a generalized vector \(\mathbb{T}\)-inequality problem under the assumption of cone-convexity for set-valued maps. It is possible to extend the notion of cone-subinvexity in the setting of \(\mathbb {T}\)-epiderivative and to deal with similar problems for approximate solutions in set-valued optimization, such as optimality conditions and duality. This must be an interesting and meaningful work.
Acknowledgements
This research was supported by Natural Science Foundation of China under Grant No. 11361001; Ministry of Education Science and technology key projects under Grant No. 212204; Natural Science Foundation of Ningxia under Grant No. NZ14101. The authors are grateful to the anonymous referees who have contributed to improve the quality of the paper.
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.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.