Abstract
In this paper, we first introduce the concept of interval-valued invex mappings by using gH-differentiability and compare it with interval-valued weakly invex mappings. We can observe that interval-valued invex mappings are more general than interval-valued weakly invex mappings. In addition, the sufficient optimality condition for interval-valued objective functions is derived under invexity.
Similar content being viewed by others
1 Introduction
Convexity plays a vital role in many aspects of mathematical programming including, for example, sufficient optimality conditions and duality theorems. In inequality constrained optimization, the Kuhn-Tucker conditions are sufficient for optimality if the functions involved are convex. However, application of the Kuhn-Tucker conditions as sufficient conditions for optimality is not restricted to convex problems, and various generalizations of convexity have been made in order to explore the extent of this applicability.
An invex function, introduced by Hanson [1], is one of the generalized convex functions. He considered a differentiable function \(f : R^{n} \rightarrow R\) for which there exists a vector-valued function \(\eta: R^{n} \times R^{n}\rightarrow R^{n}\) such that, for all \(x, y \in R^{n}\), the inequality
holds. Hanson [1] proved that if, instead of the usual convexity conditions, the objective function and each of the constraints of a nonlinear constrained optimization problem are all invex for the same η, then both the sufficiency of Kuhn-Tucker conditions and weak and strong Wolfe duality still hold. Later, Craven [2] named functions satisfying (1) invex (with respect to η).
Ben-Israel and Mond [3] considered the preinvex function f with respect to η (not necessarily differentiable) for which there exists a vector-valued function \(\eta: R^{n} \times R^{n}\rightarrow R^{n}\) such that, for all \(x, y \in R^{n}\), the inequality
holds. Moreover, they found that differentiable functions satisfying (2) satisfy (1). Further properties and applications of preinvexity and its some generalizations for some more general problems were studied by Antczak [4, 5], Bector et al. [6], Mohan and Neogy [7], Suneja et al. [8], and others.
However, the majority of real world optimization problems often involve data uncertainty or imprecision owing to measurement errors or some unexpected things. Interval-valued optimization [9] is an important model to deal with the problems with data uncertainty. Many approaches to interval-valued optimization problems have been explored in considerable details (see, for example, [10–12]). Recently, Wu has extended the concept of convexity for a real-valued function to LU-convexity for an interval-valued function, then he has established the Kuhn-Tucker conditions [13, 14] for an optimization problem with an interval-valued objective function under the assumption of LU-convexity. In [15], Wu studied the Kuhn-Tucker optimality conditions in multiobjective programming problems with an interval-valued objective function. Similar to the concept of non-dominated solution in vector optimization problems, Wu has proposed a solution concept in optimization problems with an interval-valued objective function based on a partial ordering on the set of all closed intervals. Then, the interval-valued Wolfe duality theory [16] and Lagrangian duality theory [17] for interval-valued optimization problems have been proposed. Wu [18] studied the duality theory for interval-valued linear programming problems. Chalco-Cano et al.[19] gave Kuhn-Tucker type optimality conditions, which are obtained using gH-derivative of interval-valued functions. Also, they discussed the relationship between the approach presented with other well-known approaches given by Wu [13]. However, these methods given by Chalco-Cano et al. [19] cannot solve a kind of optimization problems with interval-valued objective functions, which are not LU-convex but invex. For example, the interval-valued functions such as \(f(x)=[x_{1}-2\sin x_{2}, x_{1}-\sin x_{2}+1]\) are not LU-convex but invex with respect to
(the concept of invex can be seen in Definition 11). Zhang et al. [20] proposed the Kuhn-Tucker optimality conditions for an optimization problem with an interval-valued objective function under the assumptions of preinvexity and weak invexity. The definition of interval-valued invexity in this paper is more general than that of weak invexity given in [20] (see Theorem 4 and Example 4).
This paper aims at extending the Kuhn-Tucker optimality conditions to nonconvex optimization problem. First, we extend the concept of invexity using gH-derivative of interval-valued functions. The concept of invexity by using gH-differentiability of interval-valued functions is more general than the concept of invexity by using weak differentiability (see Theorem 4 and Example 4). Second, we present several properties of invex interval-valued functions. Finally, the Kuhn-Tucker optimality conditions are proposed for an interval-valued objective function under the assumptions of invexity.
2 Preliminaries
Let us denote by \(\mathcal{I}\) the class of all closed intervals in R. \(A=[a^{L}, a^{U}]\in\mathcal{I}\) denotes a closed interval, where \(a^{L}\) and \(a^{U}\) mean the lower and upper bounds of A respectively. For every \(a\in R\), we denote \(a=[a,a]\).
Definition 1
Let \(A=[a^{L}, a^{U}]\) and \(B=[b^{L}, b^{U}]\) be in \(\mathcal{I}\). We define
-
(i)
\(A+B=\{a+b:a\in A\mbox{ and } b\in B\}=[a^{L}+b^{L}, a^{U}+b^{U}]\);
-
(ii)
\(-A=\{-a:a\in A\}=[-a^{U},-a^{L}]\);
-
(iii)
\(A\times B=\{ab:a\in A\mbox{ and } b\in B\}=[\min_{ab}, \max_{ab}]\), where \(\min_{ab}=\min\{a^{L}b^{L}, a^{L}b^{U}, a^{U}b^{L}, a^{U}b^{U}\}\) and \(\max_{ab}=\max\{a^{L}b^{L}, a^{L}b^{U}, a^{U}b^{L}, a^{U}b^{U}\}\).
Then it is easy to conclude that
where k is a real number.
Hausdorff metric between two closed intervals A and B defined as
Definition 2
Let \(A=[a^{L},a^{U}]\) and \(B=[b^{L},b^{U}]\) in \(\mathcal{I}\). We write \(A\preceq B\) if \(a^{L}\leq b^{L}\) and \(a^{U}\leq b^{U}\), \(A\prec B\) if \(A\preceq B\) and \(A\neq B\), i.e., the following (a1) or (a2), or (a3) is satisfied.
-
(a1)
\(a^{L}< b^{L}\) and \(a^{U}\leq b^{U}\);
-
(a2)
\(a^{L}\leq b^{L}\) and \(a^{U}< b^{U}\);
-
(a3)
\(a^{L}< b^{L}\) and \(a^{U}< b^{U}\).
Let \(A, B\in\mathcal{I}\), if there exists \(C\in\mathcal{I}\) such that \(A=B+C\), then C is called the Hukuhara difference of A and B and written as \(C=A\ominus B\); when we say that the H-difference C exists, it means that \(a^{L}-b^{L}\leq a^{U}-b^{U}\) and \(C=[a^{L}-b^{L}, a^{U}-b^{U}]\).
Proposition 1
Let \(A=[a^{L}, a^{U}]\) and \(B=[b^{L},b^{U}]\) be two closed intervals in \(\mathcal{I}\). If \(a^{L}-b^{L}\leq a^{U}-b^{U}\), then the H-difference C exists and \(C=[a^{L}-b^{L}, a^{U}-b^{U}]\).
It follows from Proposition 1 that the H-difference is unique, but it does not always exist. To address this issue, a generalization of the Hukuhara difference is proposed in [21].
Definition 3
([21])
Let \(A=[a^{L}, a^{U}]\) and \(B=[b^{L}, b^{U}]\) be two closed intervals, the gH-difference of A and B is defined by
For example, \([1,3] \ominus_{g}[0,3]=[0,1]\), \([0,3] \ominus _{g}[1,3]=[-1,0]\). And \(a-b=[a,a]\ominus_{g}[b,b]=[a-b,a-b]=a-b\).
Proposition 2
([21])
-
(i)
For every pair \(A ,B\in\mathcal {I}\), \(A \ominus_{g} B\) always exists and \(A \ominus_{g} B\in\mathcal{I}\).
-
(ii)
\(A \ominus_{g} B\preceq 0\) if and only if \(A \preceq B \).
The function \(f:R^{n}\rightarrow\mathcal{I}\) defined on the Euclidean space \(R^{n}\) is called an interval-valued function, i.e., \(f(x)=f(x_{1},\ldots, x_{n})\) is a closed interval in R for each \(x\in R^{n}\). f can be also written as \(f(x)=[f^{L}(x),f^{U}(x)]\), where \(f^{L}\) and \(f^{U}\) are two real-valued functions defined on \(R^{n}\) and satisfy \(f^{L}(x)\leq f^{U}(x)\) for every \(x\in R^{n}\). Based on the above concept, Wu [13] has introduced the concepts of limit, continuity and two kinds of differentiation of interval-valued functions.
Let f be an interval-valued function defined on \(R^{n}\) and \(A=[a^{L}, a^{U}]\) be an interval in R, \(\mathbf{c}\in R^{n}\). If for every \(\epsilon>0\) there exists \(\delta>0\) such that, for \(0<\|x-c\| <\delta\), we have \(d_{H}(f(x),A)<\epsilon\), then
Proposition 3
([13])
Let f be an interval-valued function defined on \(R^{n}\) and \(A=[a^{L}, a^{U}]\) be an interval in R. Then \(\lim_{x\rightarrow c}f(x)=A\) if and only if \(\lim_{x\rightarrow c}f^{L}(x)=a^{L}\) and \(\lim_{x\rightarrow c}f^{U}(x)=a^{U}\).
Proposition 4
([13])
Let f be an interval-valued function defined on \(R^{n}\). Then f is continuous at \(c\in R^{n}\) if and only if both \(f^{L}\) and \(f^{U}\) are continuous at c.
Proposition 5
([13])
Let X be an open set in R. An interval-valued function \(f:X\rightarrow\mathcal{I}\) with \(f(x)=[f^{L}(x), f^{U}(x)]\) is called weakly differentiable at \(x_{0}\) if the real-valued functions \(f^{L}\) and \(f^{U}\) are differentiable at \(x_{0}\) (in the usual sense).
Definition 4
([13])
Let X be an open set in R. An interval-valued function \(f:X\rightarrow\mathcal{I}\) is called H-differentiable at \(x_{0}\) if there exists a closed interval \(A(x_{0})\in\mathcal{I}\) such that the limits
and
both exist and equal \(A(x_{0})\). In this case, \(A(x_{0})\) is called the H-derivative of f at \(x_{0}\).
The following concept is particularization of the fuzzy concepts presented in [22] to the interval case. These are defined by using the usual Hukuhara difference ⊖.
Definition 5
([22])
Let \(T = (a, b)\) and let \(t_{0}\in T\). Given \(f: T \rightarrow\mathcal{I}\), we say that f is strongly generalized differentiable (G-differentiable) at \(t_{0}\) if there exists an element \(f^{\prime}(t_{0}) \in\mathcal{I}\) such that for all \(h > 0\) sufficiently small,
-
(i)
\(\exists f (x_{0} + h)\ominus f(x_{0}), f (x_{0})\ominus f(x_{0}-h)\) and
$$ \lim_{h\rightarrow0}\frac{f (x_{0} + h)\ominus f(x_{0})}{h}=\lim_{h\rightarrow0} \frac{f (x_{0})\ominus f (x_{0}-h)}{h}=f^{\prime}(x_{0}), $$
or
-
(ii)
\(\exists f(x_{0})\ominus f(x_{0}+ h), f (x_{0}-h)\ominus f (x_{0})\) and
$$ \lim_{h\rightarrow0}\frac{f(x_{0})\ominus f(x_{0}+ h)}{-h}=\lim_{h\rightarrow0} \frac{f (x_{0}-h)\ominus f (x_{0})}{-h}=f^{\prime}(x_{0}), $$
or
-
(iii)
\(\exists f (x_{0} + h)\ominus f(x_{0}), f(x_{0}-h)\ominus f(x_{0})\) and
$$ \lim_{h\rightarrow0}\frac{f(x_{0} + h)\ominus f(x_{0})}{h}=\lim_{h\rightarrow0} \frac{f (x_{0}-h)\ominus f (x_{0})}{-h}=f^{\prime}(x_{0}), $$
or
-
(iv)
\(\exists f(x_{0})\ominus f(x_{0}+ h), f(x_{0})\ominus f(x_{0}-h)\) and
$$ \lim_{h\rightarrow0}\frac{f(x_{0})\ominus f(x_{0}+ h)}{-h}=\lim_{h\rightarrow0} \frac{f(x_{0})\ominus f (x_{0}-h)}{h}=f^{\prime}(x_{0}). $$
Based on the gH-difference, Stefanini [21] proposed the following differentiation.
Definition 6
([21])
Let \(x_{0}\in(a, b)\) and h be such that \(x_{0} + h \in(a, b)\), then the gH-derivative of a function \(f:(a, b)\rightarrow\mathcal{I}\) at \(x_{0}\) is defined as
If \(f^{\prime}(x_{0})\in\mathcal{I}\) satisfying (4) exists, we say that f is generalized Hukuhara differentiable (gH-differentiable for short) at \(x_{0}\).
The next two results express the gH-derivative in terms of the endpoints of the interval-valued function.
Theorem 1
([23])
Let \(f : (a, b) \rightarrow\mathcal {I}\) be such that \(f(x) = [f^{L}(x), f^{U}(x)]\). If \(f^{L}(x)\) and \(f^{U}(x)\) are differentiable functions at \(t\in(a, b)\), then \(f(x)\) is gH-differentiable at t, and
Theorem 2
([23])
Let \(f : (a, b) \rightarrow\mathcal {I}\) be such that \(f(x) = [f^{L}(x), f^{U}(x)]\). Then \(f(x)\) is gH-differentiable at \(t\in(a, b)\) if and only if one of the following cases holds:
-
(a)
\(f^{L}(x)\) and \(f^{U}(x)\) are differentiable at t;
-
(b)
the lateral derivatives \((f^{L})_{-}^{\prime}(t)\), \((f^{L})_{+}^{\prime }(t)\) and \((f^{U})_{-}^{\prime}(t)\), \((f^{U})_{+}^{\prime}(t)\) exist and satisfy \((f^{L})_{-}^{\prime}(t)=(f^{U})_{+}^{\prime}(t)\) and \((f^{L})_{+}^{\prime}(t)=(f^{U})_{-}^{\prime}(t)\).
Let f be an interval-valued function defined on \(X\subseteq R^{n}\), comparing above definitions, the following statements hold.
Proposition 6
-
(i)
If f is H-differentiable at \(x_{0}\in X\), then it is G-differentiable at \(x_{0}\), the converse is not true.
-
(ii)
If f is G-differentiable at \(x_{0}\in X\), then it is gH-differentiable at \(x_{0}\), the converse is not true.
-
(iii)
If f is weakly differentiable at \(x_{0}\), then it is gH-differentiable at \(x_{0}\), the converse is not true.
Definition 7
([24])
Let \(f(x)\) be an interval-valued function defined on Ω, where Ω is an open subset of \(R^{n}\). Let \(D_{x_{i}}\) (\(i=1,2,\ldots,n\)) stand for the partial differentiation with respect to the ith variable \(x_{i}\). Assume that \(f^{L}(x)\) and \(f^{U}(x)\) have continuous partial derivatives so that \(D_{x_{i}}f^{L}(x)\) and \(D_{x_{i}}f^{U}(x)\) are continuous. For \(i=1, 2,\ldots, n\), define
we will say that \(f(x)\) is differentiable at x, and we write
We call \(\nabla f(x)\) the gradient of the interval-valued function at x.
Example 1
Let \(f:R^{2}\rightarrow\mathcal{I}\) be defined by \(f(x)=[x_{1}^{2}+x_{2}^{2},2x_{1}^{2}+2x_{2}^{2}+3]\). So \(f^{L}(x)=x_{1}^{2}+x_{2}^{2}\) and \(f^{U}(x)=2x_{1}^{2}+2x_{2}^{2}+3\). \(D_{x_{1}}f^{L}(x)=2x_{1}\), \(D_{x_{2}}f^{L}(x)=2x_{2}\), \(D_{x_{1}}f^{U}(x)=4x_{1}\), \(D_{x_{2}}f^{U}(x)=4x_{2}\). Thus,
Thus,
Further,
3 Preinvexity and invexity of interval-valued functions
The concept of convexity plays an important role in the optimization theory. In recent years, the concept of convexity has been generalized in several directions. An important generalization of convex functions is a preinvex function, which was introduced by Weir and Mond [25]. The concepts of preinvexity and invexity have been extended to interval-valued functions by Zhang et al. [20], and the Kuhn-Tucker optimality conditions have been derived for preinvex and invex optimization problems with an interval-valued objective function under the conditions of weakly continuous differentiability and Hukuhara differentiability.
In what follows, we show the connection between preinvex and invex interval-valued mappings. Here, we recall the definition of preinvex interval-valued mappings.
Definition 8
Let \(y\in X\subseteq R^{n}\). Then we say that X is invex at y with respect to \(\eta:X\times X\rightarrow R^{n}\) if for each \(x\in X\), \(\lambda\in[0, 1]\), \(y+\lambda\eta(x,y)\in X\). X is said to be an invex set with respect to η if X is invex at each \(y\in X\).
Definition 9
([20])
Let \(K\subseteq R^{n}\) be an invex set with respect to \(\eta:K\times K\rightarrow R^{n}\), \(f(x)=[f^{L}(x), f^{U}(x)]\) be an interval-valued function defined on K. We say that f is \(preinvex\) at \(x^{*}\) with respect to η if
for each \(\lambda\in[0,1]\) and each \(x\in K\).
Theorem 3
Let K be an invex subset of \(R^{n}\) with respect to \(\eta:K\times K\rightarrow R^{n}\) and f be an interval-valued function defined on K. Then f is preinvex at \(x^{*}\) if and only if \(f^{L}\) and \(f^{U}\) are preinvex at \(x^{*}\) with respect to the same \(\eta:K\times K\rightarrow R^{n}\), i.e.,
for each \(\lambda\in[0,1]\) and each \(x\in K\).
Definition 10
([20])
Let \(K\subseteq R^{n}\) be an invex set with respect to \(\eta:K\times K\rightarrow R^{n}\), \(f(x)=[f^{L}(x), f^{U}(x)]\) be an interval-valued function defined on K. We say that f is invex at \(x^{*}\) if the real-valued functions \(f^{L}\) and \(f^{U}\) are invex at \(x^{*}\), i.e.,
for each \(x\in K\).
Remark 1
Since the definition of interval-valued invex functions defined in [20] considered the end-point functions, we call them weakly invex functions in this paper.
Based on the gH-differentiability, we give the definition of interval-valued invex functions as follows.
Definition 11
A gH-differentiable interval-valued mapping \(f : X\rightarrow\mathcal{I}\) is said to be invex on the invex set \(X\subseteq R^{n}\) with respect to η if for any \(x, y \in X\), \(\lambda\in[0,1]\),
for each \(x\in K\).
Example 2
Consider the interval-valued mapping \(f(x)=[1,2]x^{2}\), \(x\in R\). Then \(f(x)\) is gH-differentiable on R by Theorem 1, and
Let \(\eta(x, y)=x-y\), thus
We can observe that \(f(x)\) is invex with respect to \(\eta(x, y)=x-y\) by Definition 11.
The following theorem shows the relationship between interval-valued invex functions and weakly invex functions.
Theorem 4
Let K be an invex subset of \(R^{n}\) with respect to \(\eta:K\times K\rightarrow R^{n}\) and \(f(x)=[f^{L}(x), f^{U}(x)]\) be an interval-valued function defined on K. If f is weakly invex, then it is invex, but the converse is not true in general.
Proof
Since f is weakly invex at \(x^{*}\), we have that real-valued functions \(f^{L}\) and \(f^{U}\) are invex at \(x^{*}\), i.e.,
for each \(\lambda\in[0,1]\) and each \(x\in K\).
(1) On the condition of \(\eta(x, x^{*})^{t}\nabla f^{L}(x^{*})\leq\eta (x, x^{*})^{t}\nabla f^{U}(x^{*})\), we have
If \(f(x)\ominus_{g} f(x^{*})=[f^{L}(x)-f^{L}(x^{*}), f^{U}(x)-f^{U}(x^{*})]\), then from (17) and (18) we have
If \(f(x)\ominus_{g} f(x^{*})=[ f^{U}(x)-f^{U}(x^{*}), f^{L}(x)-f^{L}(x^{*})]\), then
We have
(2) On the condition of \(\eta(x, x^{*})^{t}\nabla f^{L}(x^{*})> \eta(x, x^{*})^{t}\nabla f^{U}(x^{*})\), we have
If \(f(x)\ominus_{g} f(x^{*})=[f^{U}(x)-f^{U}(x^{*}), f^{L}(x)-f^{L}(x^{*})]\), then from (17) and (18) we have
If \(f(x)\ominus_{g} f(x^{*})=[f^{L}(x)-f^{L}(x^{*}), f^{U}(x)-f^{U}(x^{*})]\), then
Thus
□
Example 3
Considering the interval-valued function \(f(x)=[x_{1}-2\sin x_{2}, x_{1}-\sin x_{2}+1]\), \(x\in R^{2}\), we can prove that both \(f^{L}(x)\) and \(f^{U}(x)\) are weakly invex with respect to
Then \(f(x)=[x_{1}-2\sin x_{2}, x_{1}-\sin x_{2}+1]\), \(x\in R^{2}\) is invex with respect to the same \(\eta(x,y)\) by Theorem 4.
Example 4
Considering the interval-valued function \(f(x)=[-|x|,|x|]\), \(x\in R\),
From Theorem 1, it follows that \(f(x)\) is gH-differentiable on R, and \(\nabla f(y)=[-1, 1]\), thus
Then
But \(f(x)\) is not weakly invex since \(f^{L}(x)\) is not weakly differentiable at \(x=0\).
Let \(x=2\), \(y=-1\), \(\eta(x, y)=1\),
Thus, \(f(x)\) is not preinvex since \(f^{L}(x)\) is not preinvex with respect to η.
The following theorem given in [20] illustrates the relations between weakly invex interval-valued and preinvex interval-valued functions.
Theorem 5
Let \(K\subseteq R^{n}\) be an invex set with respect to \(\eta:K\times K\rightarrow R^{n}\); if \(f(x)=[f^{L}(x), f^{U}(x)]\) is a weakly continuously differentiable and preinvex interval-valued function defined on K, then f is also a weakly invex interval-valued function with respect to the same η defined on K.
We can prove the following result.
Theorem 6
Let \(K\subseteq R^{n}\) be an invex set with respect to \(\eta:K\times K\rightarrow R^{n}\). If \(f(x)=[f^{L}(x), f^{U}(x)]\) is a weakly differentiable and preinvex interval-valued function defined on K, then f is also an interval-valued invex function with respect to the same η defined on K.
Proof
Since f is interval-valued preinvex and weakly differentiable, we have
which for \(\lambda\in(0, 1]\) implies
By taking limits for \(\lambda\rightarrow0^{+}\), since f is weakly differentiable, we get
On the other hand, from Definition 3 and Theorem 1, we have
and
From (19)-(23) it follows that
Thus, f is an invex interval-valued function. □
The following example given in [20] shows that a weakly invex interval-valued function may not be a preinvex interval-valued function, from Theorem 4 we can conclude that the converse of Theorem 6 is not true.
Example 5
The interval-valued function \(f(x)=[1,2]\cdot e^{x}\), \(x\in R\) is invex with respect to \(\eta=-1\), but not preinvex with respect to the same function η.
However, Mohan and Neogy [7] have proved that a differentiable invex real-valued function is also preinvex under the following condition.
Condition C
We say that the function \(\eta: R^{n}\rightarrow R^{n}\) satisfies Condition C if for any \(x, y \in X\),
We can conclude that a continuously weakly differentiable invex interval-valued function \(f:K\rightarrow\mathcal{I}\) is also a preinvex interval-valued function on K if the function η satisfies Condition C.
Theorem 7
Suppose that K is an invex set of \(R^{n}\) with respect to \(\eta :K\times K\rightarrow R^{n}\) and \(f:K\rightarrow\mathcal{I}\) is a continuously weakly differentiable interval-valued function on an open set containing K. If f is invex on K with respect to η and η satisfies Condition C, then f is preinvex with respect to η on K.
Proof
Suppose that \(x_{1}, x_{2} \in X\). Let \(0 < \lambda< 1\) be given and look at \(\overline{ x }=x_{2}+\lambda\eta(x_{1}, x_{2})\).
Note that \(\overline{ x }\in X\), by invexity of \(\tilde{f}\), we have
and
i.e.,
and
(1) On the condition of \(f^{L}(x_{1})-f^{L}(\overline{ x })\leq f^{U}(x_{1})-f^{U}(\overline{ x })\), \(\eta(x_{1},\overline{ x })^{t}\nabla f^{L}(\overline{ x })\leq\eta(x_{1},\overline{ x })^{t}\nabla f^{U}(\overline{ x })\), \(f^{L}(x_{2})-f^{L}(\overline{ x })\leq f^{U}(x_{2})-f^{U}(\overline{ x })\), and \(\eta(x_{2},\overline{ x })^{t}\nabla f^{L}(\overline{ x })\leq\eta(x_{2},\overline{ x })^{t}\nabla f^{U}(\overline{x})\), we have
and
Thus,
and
Therefore,
However, by Condition C, \(\lambda\eta(x_{1}, \overline{ x })+(1-\lambda )\eta(x_{2}, \overline{ x })=0\). Hence,
By a similar way,
Thus f is preinvex with respect to η by Theorem 3.
(2) On the condition of \(f^{L}(x_{1})-f^{L}(\overline{ x })\leq f^{U}(x_{1})-f^{U}(\overline{ x })\), \(\eta(x_{1},\overline{ x })^{t}\nabla f^{L}(\overline{ x })\leq\eta(x_{1},\overline{ x })^{t}\nabla f^{U}(\overline{ x })\), \(f^{L}(x_{2})-f^{L}(\overline{ x })\leq f^{U}(x_{2})-f^{U}(\overline{ x })\), and \(\eta(x_{2},\overline{ x })^{t} \nabla f^{L}(\overline{ x })>\eta(x_{2},\overline{ x })^{t} \nabla f^{U}(\overline{x})\), we have
and
Thus,
and
Suppose \(\min\{\eta(x_{1}, \overline{ x })^{t}\nabla f^{L}(\overline{ x }), \eta(x_{2}, \overline{ x })^{t}f^{U}(\overline{ x })\}=\eta(x_{1}, \overline{ x })^{t}\nabla f^{L}(\overline{ x })\). Therefore,
However, by Condition C, \(\lambda\eta(x_{1}, \overline{ x })+(1-\lambda )\eta(x_{2}, \overline{ x })=0\). Hence,
By a similar way,
Thus f is preinvex with respect to η by Theorem 3.
(3) On the condition of \(f^{L}(x_{1})-f^{L}(\overline{ x })\leq f^{U}(x_{1})-f^{U}(\overline{ x })\), \(\eta(x_{1},\overline{ x })^{t}\nabla f^{L}(\overline{ x })\leq\eta(x_{1},\overline{ x })^{t}\nabla f^{U}(\overline{ x })\), \(f^{L}(x_{2})-f^{L}(\overline{ x })> f^{U}(x_{2})-f^{U}(\overline{ x })\), and \(\eta(x_{2},\overline{ x })^{t}\nabla f^{L}(\overline{ x })\leq\eta(x_{2},\overline{ x })^{t}\nabla f^{U}(\overline{x})\), we have
and
Thus,
and
Suppose \(\min\{\eta(x_{1}, \overline{ x })^{t}\nabla f^{L}(\overline{ x }), \eta(x_{2}, \overline{ x })^{t}\nabla f^{U}(\overline{ x })\}=\eta (x_{1}, \overline{ x })^{t}\nabla f^{L}(\overline{ x })\). Thus,
However, by Condition C, \(\lambda\eta(x_{1}, \overline{ x })+(1-\lambda )\eta(x_{2}, \overline{ x })=0\). Hence,
By a similar way,
Thus f is preinvex with respect to η by Theorem 3.
(4) On the condition of \(f^{L}(x_{1})-f^{L}(\overline{ x })\leq f^{U}(x_{1})-f^{U}(\overline{ x })\), \(\eta(x_{1},\overline{ x })^{t}\nabla f^{L}(\overline{ x })\leq\eta(x_{1},\overline{ x })^{t}\nabla f^{U}(\overline{ x })\), \(f^{L}(x_{2})-f^{L}(\overline{ x })> f^{U}(x_{2})-f^{U}(\overline{ x })\), and \(\eta(x_{2},\overline{ x })^{t}\nabla f^{L}(\overline{ x })>\eta(x_{2},\overline{x })^{t}\nabla f^{U}(\overline{x}) \), we have
and
Thus,
and
Thus,
However, by Condition C, \(\lambda\eta(x_{1}, \overline{ x })+(1-\lambda )\eta(x_{2}, \overline{ x })=0\). Hence,
By a similar way,
As a consequence, f is preinvex with respect to η by Theorem 3.
We can prove the result on the other four conditions by a similar way. □
4 The Kuhn-Tucker optimality conditions with interval-valued objective functions
An interval-valued objective minimization problem is
Let \(P=\{x\in R^{n}:g_{i}(x)\leq0, i=1, 2, \ldots, m\}\) be a feasible set of (IVOP).
Definition 12
Let \(x^{\ast}\) be a feasible solution of the primal problem (IVOP). We say that \(x^{\ast}\) is a non-dominated solution of problem (IVOP) if and only if there exists no \(x\in P\) such that \(f(x)\prec f(x^{\ast})\). In this case, \(f(x^{\ast})\) is called the non-dominated objective value of f.
Theorem 8
Let \(f(x)\) be gH-differentiable on \(X\subseteq R^{n}\) and interval-valued invex with respect to \(\eta:X\times X\rightarrow R^{n}\), and \(g_{i}(x)\) (\(i=1, 2, \ldots, m\)) be invex with respect to the same η. If there exist \(x^{*}\in P\) and \(v_{i}\) (\(i=1, 2, \ldots, m\)) such that
then \(x^{*}\) is a non-dominated solution of problem (IVOP).
Proof
For any \(x^{*}\in P\) satisfying \(g_{i}(x^{*})\leq0\), \(i=1, 2, \ldots, m\), since \(f(x)\) is gH-differentiable on \(X\subseteq R^{n}\) and interval-valued invex with respect to η, then \([\min\{ f^{L}(x)-f^{L}(x^{*}),f^{U}(x)-f^{U}(x^{*})\},\max\{ f^{L}(x)-f^{L}(x^{*}),f^{U}(x)-f^{U}(x^{*})\}] \succeq \eta(x,x^{*})^{t}\nabla f(x^{*})\).
(i) On the condition of \(\min\{ f^{L}(x)-f^{L}(x^{*}),f^{U}(x)-f^{U}(x^{*})\}=f^{L}(x)-f^{L}(x^{*})\), \(\eta(x,x^{*})^{t} \nabla f(x^{*})=[\eta(x, x^{*})^{t}\{\nabla f(x^{*})\} ^{L},\eta(x, x^{*})^{t}\{\nabla f(x^{*})\}^{U}]\),
Thus, \(f(x)\prec f(x^{*})\) does not hold.
(ii) On the condition of \(\min\{ f^{L}(x)-f^{L}(x^{*}),f^{U}(x)-f^{U}(x^{*})\}=f^{U}(x)-f^{U}(x^{*})\), \(\eta(x,x^{*})^{t} \nabla f(x^{*})=[\eta(x, x^{*})^{t}\{\nabla f(x^{*})\} ^{L},\eta(x, x^{*})^{t}\{\nabla f(x^{*})\}^{U}]\),
Thus, \(f(x)\prec f(x^{*})\) does not hold.
Similarly, we can prove the other two conditions. □
The proof of the following theorem is similar to the one of Theorem 8.
Theorem 9
Let \(f(x)\) be gH-differentiable on \(X\subseteq R^{n}\) and interval-valued invex with respect to \(\eta:X\times X\rightarrow R^{n}\), and \(g_{i}(x)\) (\(i=1, 2, \ldots, m\)) be invex with respect to the same η. If there exist \(x^{*}\in P\) and \(v_{i}\) (\(i=1, 2, \ldots, m\)) such that
then \(x^{*}\) is a non-dominated solution of problem (IVOP).
Example 6
From Theorem 1 we have \(\nabla f(x)=[2x, 2x+1]\).
(i) It is easy to see that the problem satisfies the assumptions of Theorem 8. Then
We obtain \(v_{1}=v_{2}=0\), and \(x^{*}=0\) is a non-dominated solution.
(ii) It is easy to see that the problem satisfies the assumptions of Theorem 9. Then
We obtain \(v_{1}=v_{2}=0\), and \(x^{*}=-\frac{1}{2}\) is also a non-dominated solution.
Example 7
Consider the following interval-valued programming problem:
Note that functions f and g are invex with respect to
And \(\nabla f(x)=[2\sin x\cos x, 4\sin x\cos x]\), \(\nabla g(x)=2(\sin x-1)\cos x\).
It is easy to see that the problem satisfies the assumptions of Theorem 9. Then
After some algebraic calculations, we obtain \(x^{\ast}=\sin^{-1}(1-\frac {1}{2\sqrt{2}})\), \(v=2\sqrt{2}-1\). Therefore, \(x^{\ast}=\sin^{-1}(1-\frac {1}{2\sqrt{2}})\) is a non-dominated solution.
The following example also shows the advantages of our method in respect to [19].
Example 8
Consider the following interval-valued programming problem:
Then f is gH-differentiable and weakly differentiable. Since \(f^{L}\) is not LU-convex and \(f^{L}+f^{U}\) is not LU-convex, methods in [19] cannot be used.
Note that functions f and \(g_{i}\) (\(i=1,2,3,4\)) are invex with respect to
It is easy to see that the problem satisfies the assumptions of Theorem 8. Then
After some algebraic calculations, we obtain \(x^{\ast}=(0,\sin^{-1}\frac {6}{7})^{t}\), \(v=(\frac{2}{7},0,\frac{13}{7},0)^{t}\). Therefore, \(x^{\ast }\) is a non-dominated solution.
5 Conclusion
The concept of convex interval-valued mappings has been studied in the literature by many researchers. The aim of this paper is to introduce the concept of invex interval-valued mappings with gH-differentiable functions. Then we discussed the relationships between interval-valued invex mappings and interval-valued weakly invex mappings. Finally, the sufficient optimality condition for interval-valued objective functions has been derived under invexity.
References
Hanson, MA: On sufficiency of the Kuhn-Tucker conditions. J. Math. Anal. Appl. 80, 545-550 (1981)
Craven, BD: Invex functions and constrained local minima. Bull. Aust. Math. Soc. 24, 357-366 (1981)
Ben-Israel, A, Mond, B: What is invexity? J. Aust. Math. Soc. Ser. B, Appl. Math 28, 1-9 (1986)
Antczak, T: \((p, r)\)-Invex sets and functions. J. Math. Anal. Appl. 263, 355-379 (2001)
Antczak, T: Relationships between pre-invex concepts. Nonlinear Anal. 60, 349-367 (2005)
Bector, CR, Suneja, SK, Lalitha, CS: Generalized B-vex functions and generalized B-vex programming. J. Optim. Theory Appl. 76(3), 561-576 (1993)
Mohan, SR, Neogy, SK: On invex sets and preinvex functions. J. Math. Anal. Appl. 189, 901-908 (1995)
Suneja, SK, Singh, C, Bector, CR: Generalizations of pre-invex functions and B-vex functions. J. Optim. Theory Appl. 76, 577-587 (1993)
Ben-Israel, A, Robers, PD: A decomposition method for interval linear programming. Manag. Sci. 16, 374-387 (1970)
Chanas, S, Kuchta, D: Multiobjective programming in optimization of interval objective functions - a generalized approach. Eur. J. Oper. Res. 94, 594-598 (1996)
Liu, ST: Polynomial geometric programming with interval exponents and coefficients. Eur. J. Oper. Res. 186, 7-27 (2008)
Jiang, C, Han, X, Liu, GP: A nonlinear interval number programming method for uncertain optimization problems. Eur. J. Oper. Res. 188, 1-13 (2008)
Wu, HC: The Karush-Kuhn-Tucker optimality conditions in an optimization problem with interval-valued objective function. Eur. J. Oper. Res. 176, 46-59 (2007)
Wu, HC: On interval-valued nonlinear programming problems. J. Math. Anal. Appl. 338, 299-316 (2008)
Wu, HC: The Karush-Kuhn-Tucker optimality conditions in multiobjective programming problems with interval-valued objective function. Eur. J. Oper. Res. 196, 49-60 (2009)
Wu, HC: Wolfe duality for interval-valued optimization. J. Optim. Theory Appl. 138, 497-509 (2008)
Wu, HC: Duality theory for optimization problems with interval-valued objective functions. J. Optim. Theory Appl. 144, 615-628 (2010)
Wu, HC: Duality theory in interval-valued linear programming problems. J. Optim. Theory Appl. 150, 298-316 (2011)
Chalco-Cano, Y, Lodwick, WA, Rufian-Lizana, A: Optimality conditions of type KKT for optimization problem with interval-valued objective function via generalized derivative. Fuzzy Optim. Decis. Mak. 12, 305-322 (2013)
Zhang, J, Liu, S, Li, L, Feng, Q: The KKT optimality conditions in a class of generalized convex optimization problems with an interval-valued objective function. Optim. Lett. 8, 607-631 (2014)
Stefanini, L: Generalized Hukuhara differentiability of interval-valued functions and interval differential equations. Nonlinear Anal. 71, 1311-1328 (2009)
Bede, B, Gal, SG: Generalizations of the differentiability of fuzzy number valued functions with applications to fuzzy differential equation. Fuzzy Sets Syst. 151, 581-599 (2005)
Chalco-Cano, Y, Roman-Flores, H, Jimenez-Gamero, MD: Generalized derivative and pi-derivative for set-valued functions. Inf. Sci. 181, 2177-2188 (2011)
Li, L, Liu, S, Zhang, J: Univex interval-valued mapping with differentiability and its application in nonlinear programming. J. Appl. Math. 2013, Article ID 383692 (2013)
Weir, T, Mond, B: Preinvex functions in multiple objective optimization. J. Math. Anal. Appl. 136, 29-38 (1988)
Acknowledgements
This work was partially supported by the National Natural Science Foundation of China (Grant Nos. 60974082, 11301415, 11401469), Foundation from Xi’an University of Posts and Telecommunications for Young Teachers (Grant No. ZL2014-34) and the Natural Science Foundation of Shaanxi Province (Grant No. 2013JQ1020).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors have equal contributions. 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
Li, L., Liu, S. & Zhang, J. On interval-valued invex mappings and optimality conditions for interval-valued optimization problems. J Inequal Appl 2015, 179 (2015). https://doi.org/10.1186/s13660-015-0692-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0692-6