Skip to main content
Erschienen in: Journal of Inequalities and Applications 1/2015

Open Access 01.12.2015 | Research

Approximate solutions for nonconvex set-valued optimization and vector variational inequality

verfasst von: Guolin Yu, Xiangyu Kong

Erschienen in: Journal of Inequalities and Applications | Ausgabe 1/2015

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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 [14].
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 [612]. 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 [1619], optimality conditions and a characterization of solution sets of set-valued optimization problems involving generalized invexity are investigated.
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, [2025] 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 [3134] 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.
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
$$D^{*}=\bigl\{ y^{*}: y^{*T}d\geq0, \forall d\in D\bigr\} , $$
and similarly for \(E^{*}\). Let \(F: X\rightarrow2^{Y}\) be a set-valued mapping. The set
$$\operatorname{dom}(F):=\bigl\{ x\in X: F(x)\neq\emptyset\bigr\} $$
is called the domain of F. The set
$$\operatorname{graph}(F):=\bigl\{ (x,y)\in X\times Y: y\in F(x)\bigr\} $$
is called the graph of the map F. The set
$$\operatorname{epi}(F):=\bigl\{ (x,y)\in X\times Y: y\in F(x)+D\bigr\} $$
is called the epigraph of F.
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
$$(x,y):=\lim_{n\rightarrow \infty}\lambda_{n} \bigl((x_{n},y_{n})-( \bar{x},\bar{y}) \bigr), $$
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}\).
Definition 2.1
(see [5])
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,
$$\operatorname{epi} \bigl(D F(\bar{x},\bar{y}) \bigr)=T \bigl( \operatorname{epi}(F),(\bar {x},\bar{y}) \bigr), $$
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 \).
Definition 2.2
(see [14])
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
$$\eta(x,y)= \textstyle\begin{cases} x-y, &\mbox{if } x\leq0,y\leq0 ,\\ x-y, &\mbox{if } x\geq0,y\geq0, \\ -5-y, &\mbox{if } x\geq0,y\leq0 ,\\ 2-y, &\mbox{if } x\leq0,y\geq0. \end{cases} $$
Obviously, S is not a convex set.
Definition 2.5
(see [14])
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 , 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
$$F(x)= \bigl\{ \bigl(x^{2},x\bigr), x\geq0\bigr\} , $$
and the epigraph of F
$$\operatorname{epi}(F)= \bigl\{ \bigl(x,(y_{1},y_{2}) \bigr) \in\mathbb{R}_{+}\times\mathbb {R}^{2}_{+}: (y_{1},y_{2}) \in F(x)+\mathbb{R}^{2}_{+} \bigr\} . $$
Let \(0=\bar{x}\in\mathbb{R}_{+}\) and \((0,0)=\bar{y}=(\bar{y_{1}},\bar {y_{2}})\in F(\bar{x})\). By calculating, we have
$$T \bigl(\operatorname{epi}(F), \bigl(0,(0,0)\bigr) \bigr)=\mathbb{R}_{+}\times \mathbb {R}^{2}_{+}. $$
Hence, for any \(x\in\mathbb{R}_{+}\),
$$DF\bigl(0,(0,0)\bigr) (x)=\bigl\{ (0,0)\bigr\} . $$
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. $$
Hence,
$$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}_{+}. $$
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
$$ \varepsilon\cdot e+ 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.2)
F is said to be a D-η-subinvex map at 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
$$F(x)= \textstyle\begin{cases} \{(y,\sqrt{y}): y\geq0 \},& \mbox{if } x\geq0,\\ \{(y,\sqrt{-y}): y\in[-4,0] \},& \mbox{if } x< 0, \end{cases} $$
and the epigraph of F
$$\operatorname{epi}(F)= \bigl\{ \bigl(x,(y_{1},y_{2}) \bigr) \in\mathbb{R}\times\mathbb {R}^{2}: (y_{1},y_{2})\in F(x)+\mathbb{R}^{2}_{+} \bigr\} . $$
Let \(0=\bar{x}\in\mathbb{R}\) and \((0,0)=\bar{y}=(\bar{y_{1}},\bar {y_{2}})\in F(\bar{x})\), we get
$$T \bigl(\operatorname{epi}(F), \bigl(0,(0,0)\bigr) \bigr)=\mathbb{R}\times \mathbb {R}^{2}_{+} $$
and
$$DF\bigl(0,(0,0)\bigr) (x)=\bigl\{ (0,0)\bigr\} ,\quad \forall x\in\mathbb{R}. $$
Thus, \(DF(0,(0,0))\) exists for any \(x\in\mathbb{R}\). However, for any map \(\eta: \mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}\), we have
$$\bigl(y,|\sqrt{-y}|\bigr)-(0,0)\notin\bigl\{ (0,0)\bigr\} +\mathbb{R}^{2}_{+}, \quad \mbox{for all } y\in[-4,0]. $$
Hence,
$$F(x)-(0,0)\not\subset DF\bigl(0,(0,0)\bigr) \bigl(\eta(x,0) \bigr)+ \mathbb{R}^{2}_{+}, \quad \mbox{for all } x\in\mathbb{R}, $$
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+\bigl(y,|\sqrt{y}|\bigr)-(0,0)\in\bigl\{ (0,0)\bigr\} + \mathbb{R}^{2}_{+}, \quad \mbox{for all } y\geq0, x\geq0, $$
and
$$\varepsilon\cdot e+\bigl(y,|\sqrt{-y}|\bigr)-(0,0)\in\bigl\{ (0,0)\bigr\} + \mathbb{R}^{2}_{+}, \quad \mbox{for all } y\in[-4, 0], x< 0. $$
So, we get
$$\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:
$$\mbox{(SOP-I)} \quad \textstyle\begin{cases} \mbox{minimize}& F(x)\\ \mbox{subject to}& G(x)\cap(-E)\neq\emptyset,\\ & x\in X. \end{cases} $$
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.
Definition 3.1
(see [21])
(i) A point \(\bar{x}\in\Omega \) is said to be a weak efficient solution of the problem (SOP-I), if there exists \(\bar{y}\in F(\bar{x})\) such that
$$\bigl(F(\Omega)-\bar{y} \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 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\). Let F be D-η-subinvex at \((\bar{x},\bar{y})\) with respect to \(\varepsilon\cdot e\) and G be E-η-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
$$ y^{*T}DF(\bar{x},\bar{y}) \bigl(\eta(x,\bar{x}) \bigr)+ z^{*T}DG(\bar {x},\bar{z}) \bigl(\eta(x,\bar{x}) \bigr)\geq0, \quad \forall x\in X, $$
(3.1)
and
$$ z^{*T}\bar{z}=0, $$
(3.2)
then \((\bar{x},\bar{y})\) is a weak \(\varepsilon\cdot e\)-minimizer of the problem (SOP-I).
Proof
Assuming that \((\bar{x},\bar{y})\) is not a weak \(\varepsilon\cdot e\)-minimizer of the problem (SOP-I),
$$\bigl(F(\Omega)-\bar{y}+\varepsilon\cdot e \bigr)\cap \bigl(-\operatorname {int}(D) \bigr)\neq\emptyset. $$
Hence, there exist \(\hat{x}\in\Omega\) and \(\hat{y}\in F(\hat{x})\) such that
$$\hat{y}-\bar{y}+\varepsilon\cdot e\in-\operatorname{int}(D). $$
Noticing that \(y^{*}\in D^{*}\backslash\{0_{Y^{*}}\}\), we get
$$y^{*T}(\hat{y}-\bar{y}+\varepsilon\cdot e)< 0. $$
On the other hand, since F is D-η-subinvex at \((\bar{x},\bar {y})\) with respect to \(\varepsilon\cdot e\), we obtain
$$F(\hat{x})-\bar{y}+\varepsilon\cdot e\subset DF(\bar{x},\bar{y}) \bigl(\eta( \hat{x},\bar{x}) \bigr)+D. $$
Therefore,
$$\hat{y}-\bar{y}+\varepsilon\cdot e\in DF(\bar{x},\bar{y}) \bigl(\eta(\hat {x}, \bar{x}) \bigr)+D. $$
So, we get
$$0>y^{*T}(\hat{y}-\bar{y}+\varepsilon\cdot e)\geq y^{*T}DF( \bar{x},\bar {y}) \bigl(\eta(\hat{x},\bar{x}) \bigr), $$
and then
$$ y^{*T}DF(\bar{x},\bar{y}) \bigl(\eta(\hat{x},\bar{x}) \bigr)< 0. $$
(3.3)
Again, since G is E-η-invex at \((\bar{x},\bar{z})\), we have
$$G(\hat{x})-\bar{z}\subset DG(\bar{x},\bar{z}) \bigl(\eta(\hat{x},\bar {x}) \bigr)+E. $$
Because \(\hat{x}\in\Omega\), there exists an element \(\hat{z}\in G(\hat {x})\cap(-E)\) such that
$$\hat{z}-\bar{z}\in DG(\bar{x},\bar{z}) \bigl(\eta(\hat{x},\bar{x}) \bigr)+E. $$
It follows from \(z^{*}\in E^{*}\) that
$$z^{*T}(\hat{z}-\bar{z})\geq z^{*T} DG(\bar{x},\bar{z}) \bigl( \eta(\hat {x},\bar{x}) \bigr). $$
Since \(z^{*T}\hat{z}\leq0\) and \(z^{*T}\bar{z}=0\), we get \(z^{*T}(\hat {z}-\bar{z})\leq0\) and
$$ z^{*T} DG(\bar{x},\bar{z}) \bigl(\eta(\hat{x},\bar{x}) \bigr)\leq0. $$
(3.4)
So, we have from (3.3) and (3.4)
$$y^{*T}DF(\bar{x},\bar{y}) \bigl(\eta(\hat{x},\bar{x}) \bigr)+z^{*T} DG(\bar {x},\bar{z}) \bigl(\eta(\hat{x},\bar{x}) \bigr)< 0, $$
which contradicts (3.1). Hence, \((\bar{x},\bar{y})\) is a weak \(\varepsilon\cdot e\)-minimizer of the problem (SOP-I). □

4 Duality theorems

4.1 Mond-Weir type duality

For the primal problem (SOP-I), this subsection considers the Mond-Weir dual problem (MWD):
$$\mbox{(MWD)} \quad \textstyle\begin{cases} \mbox{maximize}& y'\\ \mbox{subject to}& y^{*T}DF(x',y') (\eta(x,x') )+z^{*T}DG(x',z') (\eta(x,x') )\geq0,\quad \forall x\in X,\\ & z^{*T}z'\geq0, (y^{*},z^{*})\in(D^{*}\backslash\{0_{Y^{*}}\} )\times E^{*},\\ & x'\in X, y'\in F(x') \mbox{ and } z'\in G(x'). \end{cases} $$
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
$$\bigl(K_{1}-y'-\varepsilon\cdot e\bigr)\cap \operatorname{int}(D)=\emptyset. $$
Theorem 4.2
(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 (MWD), respectively. Suppose that F is D-η-subinvex at \((x',y')\) with respect to \(\varepsilon\cdot e\) and G is E-η-invex at \((x',z')\) with respect to the same η. Then we have
$$ \bar{y}-y'+\varepsilon\cdot e\notin- \operatorname{int}(D). $$
(4.1)
Proof
We proceed by contradiction. Suppose that
$$\bar{y}-y'+\varepsilon\cdot e\in-\operatorname{int}(D). $$
Since \(y^{*}\in D^{*}\backslash\{0_{Y^{*}}\}\), we have
$$ y^{*T}\bigl(\bar{y}-y'+\varepsilon\cdot e \bigr)< 0. $$
(4.2)
And because 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,
$$ z^{*T}\bigl(\bar{z}-z'\bigr)\leq0. $$
(4.3)
We get from (4.2) and (4.3)
$$ y^{*T}\bigl(\bar{y}-y'+\varepsilon e \bigr)+z^{*T}\bigl(\bar{z}-z'\bigr)< 0. $$
(4.4)
Now, since F is D-η-subinvex at \((x',y')\) with respect to \(\varepsilon\cdot e\) and G is E-η-invex at \((x',z')\), we derive
$$F(\bar{x})-y'+\varepsilon\cdot e \subset DF\bigl(x',y' \bigr) \bigl(\eta\bigl(\bar {x},x'\bigr) \bigr)+D $$
and
$$G(\bar{x})-z' \subset DG\bigl(x',z'\bigr) \bigl(\eta\bigl(\bar{x},x'\bigr) \bigr)+E. $$
Therefore, we obtain
$$ y^{*T}\bigl(\bar{y}-y'+\varepsilon\cdot e \bigr)\geq y^{*T} DF\bigl(x',y'\bigr) \bigl( \eta \bigl(\bar{x},x'\bigr) \bigr), $$
(4.5)
and
$$ z^{*T}\bigl(\bar{z}-z' \bigr)\geq z^{*T} DG\bigl(x',z'\bigr) \bigl(\eta\bigl( \bar{x},x'\bigr) \bigr). $$
(4.6)
Furthermore, we find from (4.4), (4.5), and (4.6) that
$$y^{*T} DF\bigl(x',y'\bigr) \bigl(\eta\bigl( \bar{x},x'\bigr) \bigr)+ z^{*T} DG\bigl(x',z' \bigr) \bigl(\eta \bigl(\bar{x},x'\bigr) \bigr)< 0, $$
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
$$(K_{1}-\bar{y}-\varepsilon\cdot e)\cap\operatorname{int}(D)=\emptyset. $$
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 that F is D-η-subinvex at \((x',y')\) with respect to \(\varepsilon\cdot e\) and G is E-η-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),
$$\bigl(F(\Omega)- y'+\varepsilon\cdot e\bigr)\cap \bigl(- \operatorname{int}(D) \bigr)\neq \emptyset. $$
Hence, there are \(\hat{x}\in\Omega\) and \(\hat{y}\in F(\hat{x})\) such that
$$\bigl(\hat{y}- y'+\varepsilon\cdot e\bigr)\in-\operatorname{int}(D). $$
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
$$z^{*T}\bigl(\hat{z}-z'\bigr)\leq0. $$
Together with (4.7), we obtain
$$ y^{*T}\bigl(\hat{y}- y'+\varepsilon\cdot e \bigr)+z^{*T}\bigl(\hat{z}-z'\bigr)< 0. $$
(4.8)
On the other hand, since F is D-η-subinvex at \((x',y')\) with respect to \(\varepsilon\cdot e\) and G is E-η-invex at \((x',z')\), it follows that
$$F(\hat{x})-y'+\varepsilon\cdot e \subset DF\bigl(x',y' \bigr) \bigl(\eta\bigl(\hat {x},x'\bigr) \bigr)+D $$
and
$$G(\hat{x})-z' \subset DG\bigl(x',z'\bigr) \bigl(\eta\bigl(\hat{x},x'\bigr) \bigr)+E. $$
Thus, combining with (4.8), we get
$$0>y^{*T}\bigl(\hat{y}- y'+\varepsilon\cdot e \bigr)+z^{*T}\bigl(\hat{z}-z'\bigr)\geq y^{*T}DF \bigl(x',y'\bigr) \bigl(\eta\bigl(\hat{x},x' \bigr) \bigr)+ z^{*T} DG\bigl(x',z'\bigr) \bigl(\eta \bigl(\hat{x},x'\bigr) \bigr). $$
So,
$$y^{*T}DF\bigl(x',y'\bigr) \bigl(\eta\bigl( \hat{x},x'\bigr) \bigr)+ z^{*T} DG\bigl(x',z' \bigr) \bigl(\eta \bigl(\hat{x},x'\bigr) \bigr)< 0, $$
which contradicts the dual constraint of (MWD). Hence, \((x',y')\) is a weak \(\varepsilon\cdot e\)-minimizer of the problem (SOP-I). □

4.2 Wolfe type duality

Let us fix a point \(d_{0}\in D\backslash\{0_{Y}\}\) and consider the following problem (WD), called the Wolfe type dual problem of (SOP-I):
$$\mbox{(WD)} \quad \textstyle\begin{cases} \mbox{maximize}& y'+z^{*T}z'\cdot d_{0}\\ \mbox{subject to}& y^{*T}DF(x',y') (\eta(x,x') )+z^{*T}DG(x',z') (\eta(x,x') )\geq0,\quad \forall x\in X,\\ & y^{*T}d_{0}=1 (y^{*},z^{*})\in(D^{*}\backslash\{0_{Y^{*}}\})\times E^{*},\\ & x'\in X, y'\in F(x') \mbox{ and } z'\in G(x'). \end{cases} $$
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 that F is D-η-subinvex at \((x',y')\) with respect to \(\varepsilon\cdot e\) and G is E-η-invex at \((x',z')\) with respect to the same η. Then we have
$$ \bar{y}-y'-z^{*T}z'\cdot d_{0}+\varepsilon\cdot e\notin-\operatorname{int}(D). $$
(4.9)
Proof
Assume that
$$\bar{y}-y'-z^{*T}z'\cdot d_{0}+ \varepsilon\cdot e\in-\operatorname {int}(D). $$
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
$$\bar{y}+z^{*T}\bar{z}\cdot d_{0}-y'-z^{*T}z' \cdot d_{0}+\varepsilon\cdot e\in-D-\operatorname{int}(D)\subset- \operatorname{int}(D). $$
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
$$y^{*T} DF\bigl(x',y'\bigr) \bigl(\eta\bigl( \bar{x},x'\bigr) \bigr)+ z^{*T} DG\bigl(x',z' \bigr) \bigl(\eta \bigl(\bar{x},x'\bigr) \bigr)< 0, $$
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
$$\bigl(K_{2}-\bar{y}-z^{*T}\bar{z}\cdot d_{0}- \varepsilon\cdot e\bigr)\cap\operatorname{int}(D)=\emptyset. $$
Let \((x^{1},y^{1},z^{1},y_{1}^{*},z_{1}^{*})\) be a feasible point for (WD) such that \(y^{1}+z_{1}^{*T}z_{1}\cdot d_{0} \in K_{2}\) and
$$y^{1}+z_{1}^{*T}z^{1}\cdot d_{0}-\bar{y}-z^{*T}\bar{z}\cdot d_{0}-\varepsilon \cdot e\in\operatorname{int}(D). $$
We find from \(z^{*T}\bar{z}=0\) that
$$y^{1}+z_{1}^{*T}z^{1}\cdot d_{0}-\bar{y}-\varepsilon\cdot e\in\operatorname{int}(D). $$
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 that F is D-η-subinvex at \((x',y')\) with respect to \(\varepsilon\cdot e\) and G is E-η-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
$$\bigl(F(\Omega)- y'+\varepsilon\cdot e\bigr)\cap \bigl(- \operatorname{int}(D) \bigr)\neq \emptyset. $$
Hence, there exist \(\hat{x}\in\Omega\) and \(\hat{y}\in F(\hat{x})\) such that
$$\bigl(\hat{y}- y'+\varepsilon\cdot e\bigr)\cap \bigl(- \operatorname{int}(D) \bigr)\neq \emptyset. $$
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
$$z^{*T}\bigl(\hat{z}-z'\bigr)=z^{*T}\hat{z}\leq0. $$
Hence, we obtain
$$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
$$y^{*T} DF\bigl(x',y'\bigr) \bigl(\eta\bigl( \hat{x},x'\bigr) \bigr)+ z^{*T} DG\bigl(x',z' \bigr) \bigl(\eta \bigl(\hat{x},x'\bigr) \bigr)< 0. $$
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
$$ \hat{y}:=y'+\varepsilon\cdot e= D F(\bar{x},\bar{y}) \bigl(\eta\bigl(x',\bar{x}\bigr) \bigr) +\varepsilon\cdot e\in- \operatorname{int} (D). $$
(5.2)
Denote \(\hat{F}(\cdot):=F(\cdot)+\varepsilon\cdot e\). By the definition of a contingent epiderivative, we get
$$\bigl(\eta\bigl(x',\bar{x}\bigr) , \hat{y} \bigr)\in\operatorname{epi} \bigl( D\hat{F}(\bar{x},\bar{y}) \bigr)=T \bigl(\operatorname{epi}(\hat{F}),(\bar{x},\bar {y}) \bigr). $$
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
$$\bigl(\eta\bigl(x',\bar{x}\bigr) , \hat{y} \bigr)=\lim _{n\rightarrow\infty} \lambda_{n} \bigl((x_{n},y_{n}+ \varepsilon\cdot e)-(\bar{x},\bar{y}) \bigr). $$
Hence, we get
$$ \hat{y}=\lim_{n\rightarrow\infty} \lambda_{n} (y_{n}+\varepsilon\cdot e-\bar{y}). $$
(5.3)
Because of the condition (5.2) and (5.3), there is an \(n_{0}\in\mathbb{N}\) with
$$\lambda_{n} (y_{n}+\varepsilon\cdot e-\bar{y})\in - \operatorname{int}(D), \quad \forall n\geq n_{0}. $$
This leads to
$$ y_{n}+\varepsilon\cdot e\in\{\bar{y}\}- \operatorname{int}(D),\quad \forall n\geq n_{0}. $$
(5.4)
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)
$$\begin{aligned} y_{n}'+\varepsilon\cdot e = & y_{n}+ \varepsilon\cdot e-d_{n} \\ \in& \{\bar{y}\}-\operatorname{int} (D)-D \\ \subset& \{\bar{y}\}-\operatorname{int} (D), \quad \forall n\geq n_{0}. \end{aligned}$$
Noticing that \(y_{n}'\in F(x_{n})\subset F(S)\), we get
$$y_{n}'+\varepsilon\cdot e- \{\bar{y}\}\in \bigl(F(S)-\{ \bar{y}\}+\varepsilon\cdot e \bigr)\cap-\operatorname{int}(D). $$
This contradicts (5.1). The proof is completed. □
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
Let S be an invex set with respect to η and the set-valued mapping \(F: S\rightarrow2^{Y}\) be D-η-subinvex on S with 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
$$\hat{y}-\bar{y}+\varepsilon\cdot e\in-\operatorname{int} (D). $$
On the other hand, since F is D-η-subinvex on S with respect to \(\varepsilon\cdot e\), we see from Definition 2.7 that there is \(\hat{d}\in D\) such
$$\hat{y}-\bar{y}+\varepsilon\cdot e=D F(\bar{x},\bar{y}) \bigl(\eta(\hat{x}, \bar{x}) \bigr)+\hat{d}. $$
Thus,
$$D F(\bar{x},\bar{y}) \bigl(\eta(\hat{x},\bar{x}) \bigr)=\hat{y}-\bar {y}+ \varepsilon\cdot e-\hat{d}\in-\operatorname{int} (D)-D\subset-\operatorname{int}(D), $$
which contradicts (5.5). □
Remark 5.5
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.
Literatur
1.
Zurück zum Zitat Aubin, JP, Frankowsa, H: Set-Valued Analysis. Birkhäuser, Boston (1990) MATH Aubin, JP, Frankowsa, H: Set-Valued Analysis. Birkhäuser, Boston (1990) MATH
2.
3.
Zurück zum Zitat Jahn, J: Vector Optimization: Theory, Applications and Extensions. Springer, Berlin (2003) Jahn, J: Vector Optimization: Theory, Applications and Extensions. Springer, Berlin (2003)
4.
Zurück zum Zitat Chen, GY, Huang, XX, Yang, XQ: Vector Optimization: Set-Valued and Variational Analysis. Springer, Berlin (2005) Chen, GY, Huang, XX, Yang, XQ: Vector Optimization: Set-Valued and Variational Analysis. Springer, Berlin (2005)
5.
6.
7.
Zurück zum Zitat Cheng, GY, Jahn, J: Optimality conditions for set-valued optimization problem. Math. Methods Oper. Res. 48, 187-200 (1998) MathSciNetCrossRef Cheng, GY, Jahn, J: Optimality conditions for set-valued optimization problem. Math. Methods Oper. Res. 48, 187-200 (1998) MathSciNetCrossRef
8.
Zurück zum Zitat Rodríguez-Marín, L, Sama, M: About contingent epiderivatives. J. Math. Anal. Appl. 327(2), 754-762 (2007) CrossRef Rodríguez-Marín, L, Sama, M: About contingent epiderivatives. J. Math. Anal. Appl. 327(2), 754-762 (2007) CrossRef
9.
Zurück zum Zitat Rodríguez-Marín, L, Sama, M: Variational characterization of the contingent epiderivative. J. Math. Anal. Appl. 335(2), 1374-1382 (2007) MATHMathSciNetCrossRef Rodríguez-Marín, L, Sama, M: Variational characterization of the contingent epiderivative. J. Math. Anal. Appl. 335(2), 1374-1382 (2007) MATHMathSciNetCrossRef
10.
Zurück zum Zitat Gong, XH: Optimality conditions for Henig and globally proper efficient solutions with ordering cone has empty interior. J. Math. Anal. Appl. 307, 12-31 (2005) MATHMathSciNetCrossRef Gong, XH: Optimality conditions for Henig and globally proper efficient solutions with ordering cone has empty interior. J. Math. Anal. Appl. 307, 12-31 (2005) MATHMathSciNetCrossRef
11.
Zurück zum Zitat Jiménez, B, Novo, V, Sama, M: Scalarization and optimality conditions for strict minimizers in multiobjective optimization via contingent epiderivatives. J. Math. Anal. Appl. 352(2), 788-798 (2009) MATHMathSciNetCrossRef Jiménez, B, Novo, V, Sama, M: Scalarization and optimality conditions for strict minimizers in multiobjective optimization via contingent epiderivatives. J. Math. Anal. Appl. 352(2), 788-798 (2009) MATHMathSciNetCrossRef
12.
Zurück zum Zitat Yu, GL: Optimality of global proper efficiency for cone-arcwise connected set-valued optimization using contingent epiderivative. Asia-Pac. J. Oper. Res. 30(3), 1340004 (2013) MathSciNetCrossRef Yu, GL: Optimality of global proper efficiency for cone-arcwise connected set-valued optimization using contingent epiderivative. Asia-Pac. J. Oper. Res. 30(3), 1340004 (2013) MathSciNetCrossRef
16.
17.
Zurück zum Zitat Alonso, M, Rodríguez-Marín, L: Optimality conditions for a nonconvex set-valued optimization problem. Comput. Math. Appl. 56, 82-89 (2008) MATHMathSciNetCrossRef Alonso, M, Rodríguez-Marín, L: Optimality conditions for a nonconvex set-valued optimization problem. Comput. Math. Appl. 56, 82-89 (2008) MATHMathSciNetCrossRef
18.
Zurück zum Zitat Oveisiha, M, Zafarani, J: On characterization of solution sets of set-valued pseudoinvex optimization problems. J. Optim. Theory Appl. 163(2), 387-398 (2014) MATHMathSciNetCrossRef Oveisiha, M, Zafarani, J: On characterization of solution sets of set-valued pseudoinvex optimization problems. J. Optim. Theory Appl. 163(2), 387-398 (2014) MATHMathSciNetCrossRef
19.
Zurück zum Zitat Das, K, Nahak, C: Sufficient optimality conditions and duality theorems for set-valued optimization problem under generalized cone convexity. Rend. Circ. Mat. Palermo 63, 329-345 (2014) MATHMathSciNetCrossRef Das, K, Nahak, C: Sufficient optimality conditions and duality theorems for set-valued optimization problem under generalized cone convexity. Rend. Circ. Mat. Palermo 63, 329-345 (2014) MATHMathSciNetCrossRef
21.
Zurück zum Zitat Long, XJ, Peng, JW: Lagrangian duality for vector optimization problems with set-valued mappings. Taiwan. J. Math. 17(1), 287-297 (2013) MATHMathSciNetCrossRef Long, XJ, Peng, JW: Lagrangian duality for vector optimization problems with set-valued mappings. Taiwan. J. Math. 17(1), 287-297 (2013) MATHMathSciNetCrossRef
22.
Zurück zum Zitat Azimov, AY: Duality for set-valued multiobjective optimization problems, part 1: mathematical programming. J. Optim. Theory Appl. 137, 61-74 (2008) MATHMathSciNetCrossRef Azimov, AY: Duality for set-valued multiobjective optimization problems, part 1: mathematical programming. J. Optim. Theory Appl. 137, 61-74 (2008) MATHMathSciNetCrossRef
23.
Zurück zum Zitat Heydea, F, Schrage, C: Continuity concepts for set-valued functions and a fundamental duality formula for set-valued optimization. J. Math. Anal. Appl. 397, 772-784 (2013) MathSciNetCrossRef Heydea, F, Schrage, C: Continuity concepts for set-valued functions and a fundamental duality formula for set-valued optimization. J. Math. Anal. Appl. 397, 772-784 (2013) MathSciNetCrossRef
24.
Zurück zum Zitat Sach, PH, Lee, GM, Kim, DS: Strong duality for proper efficiency in vector optimization. J. Optim. Theory Appl. 130, 139-151 (2006) MATHMathSciNetCrossRef Sach, PH, Lee, GM, Kim, DS: Strong duality for proper efficiency in vector optimization. J. Optim. Theory Appl. 130, 139-151 (2006) MATHMathSciNetCrossRef
25.
Zurück zum Zitat Sach, PH, Tuan, LA: Strong duality with proper efficiency in multiobjective optimization involving nonconvex set-valued maps. Numer. Funct. Anal. Optim. 30, 371-392 (2009) MATHMathSciNetCrossRef Sach, PH, Tuan, LA: Strong duality with proper efficiency in multiobjective optimization involving nonconvex set-valued maps. Numer. Funct. Anal. Optim. 30, 371-392 (2009) MATHMathSciNetCrossRef
26.
Zurück zum Zitat Giannessi, F: Variational Inequalities and Complementarity Problems. Wiley, New York (1980) Giannessi, F: Variational Inequalities and Complementarity Problems. Wiley, New York (1980)
27.
Zurück zum Zitat Al-Homidan, S, Ansari, QH: Relations between generalized vector variational-like inequalities and vector optimization problems. Taiwan. J. Math. 16(3), 987-998 (2012) MATHMathSciNet Al-Homidan, S, Ansari, QH: Relations between generalized vector variational-like inequalities and vector optimization problems. Taiwan. J. Math. 16(3), 987-998 (2012) MATHMathSciNet
28.
Zurück zum Zitat Ansari, QH, Rezaei, M, Zafarani, J: Generalized vector variational-like inequalities and vector optimization. J. Glob. Optim. 53(2), 271-284 (2012) MATHCrossRef Ansari, QH, Rezaei, M, Zafarani, J: Generalized vector variational-like inequalities and vector optimization. J. Glob. Optim. 53(2), 271-284 (2012) MATHCrossRef
29.
Zurück zum Zitat Jayswal, A, Choudhury, S, Verma, RU: Exponential type vector variational-like inequalities and vector optimization problems with exponential type invexities. J. Appl. Math. Comput. 45, 87-97 (2014) MATHMathSciNetCrossRef Jayswal, A, Choudhury, S, Verma, RU: Exponential type vector variational-like inequalities and vector optimization problems with exponential type invexities. J. Appl. Math. Comput. 45, 87-97 (2014) MATHMathSciNetCrossRef
31.
Zurück zum Zitat Alonso-Durán, M, Rodríguez-Marín, L: On approximate solutions in set-valued optimization problems. J. Comput. Appl. Math. 236, 4421-4427 (2012) MATHMathSciNetCrossRef Alonso-Durán, M, Rodríguez-Marín, L: On approximate solutions in set-valued optimization problems. J. Comput. Appl. Math. 236, 4421-4427 (2012) MATHMathSciNetCrossRef
32.
Zurück zum Zitat Gao, Y, Hou, SH, Yang, XM: Existence and optimality conditions for approximate solutions to vector optimization problems. J. Optim. Theory Appl. 152, 97-120 (2012) MATHMathSciNetCrossRef Gao, Y, Hou, SH, Yang, XM: Existence and optimality conditions for approximate solutions to vector optimization problems. J. Optim. Theory Appl. 152, 97-120 (2012) MATHMathSciNetCrossRef
33.
Zurück zum Zitat Long, XJ, Li, XB, Zeng, J: Lagrangian conditions for approximate solutions on nonconvex set-valued optimization problems. Optim. Lett. 7, 1847-1856 (2013) MATHMathSciNetCrossRef Long, XJ, Li, XB, Zeng, J: Lagrangian conditions for approximate solutions on nonconvex set-valued optimization problems. Optim. Lett. 7, 1847-1856 (2013) MATHMathSciNetCrossRef
34.
Zurück zum Zitat Zhou, ZA, Yang, XM, Peng, JW: ε-Optimality conditions of vector optimization problems with set-valued maps based on the algebraic interior in real linear spaces. Optim. Lett. 8, 1047-1061 (2014) MATHMathSciNetCrossRef Zhou, ZA, Yang, XM, Peng, JW: ε-Optimality conditions of vector optimization problems with set-valued maps based on the algebraic interior in real linear spaces. Optim. Lett. 8, 1047-1061 (2014) MATHMathSciNetCrossRef
35.
Zurück zum Zitat Liu, W, Gong, XH: Proper efficiency for set-valued vector optimization problems and vector variational inequalities. Math. Methods Oper. Res. 51, 443-457 (2000) MATHMathSciNetCrossRef Liu, W, Gong, XH: Proper efficiency for set-valued vector optimization problems and vector variational inequalities. Math. Methods Oper. Res. 51, 443-457 (2000) MATHMathSciNetCrossRef
36.
Zurück zum Zitat Ansari, QH, Jahn, J: \(\mathbb{T}\)-Epiderivative of set-valued maps and its application to set optimization and generalized variational inequalities. Taiwan. J. Math. 14(6), 2447-2468 (2010) MATHMathSciNet Ansari, QH, Jahn, J: \(\mathbb{T}\)-Epiderivative of set-valued maps and its application to set optimization and generalized variational inequalities. Taiwan. J. Math. 14(6), 2447-2468 (2010) MATHMathSciNet
Metadaten
Titel
Approximate solutions for nonconvex set-valued optimization and vector variational inequality
verfasst von
Guolin Yu
Xiangyu Kong
Publikationsdatum
01.12.2015
Verlag
Springer International Publishing
Erschienen in
Journal of Inequalities and Applications / Ausgabe 1/2015
Elektronische ISSN: 1029-242X
DOI
https://doi.org/10.1186/s13660-015-0839-5

Weitere Artikel der Ausgabe 1/2015

Journal of Inequalities and Applications 1/2015 Zur Ausgabe