Abstract

By using Clarke’s generalized gradients we consider a nonsmooth vector optimization problem with cone constraints and introduce some generalized cone-invex functions called K-α-generalized invex, K-α-nonsmooth invex, and other related functions. Several sufficient optimality conditions and Mond-Weir type weak and converse duality results are obtained for this problem under the assumptions of the generalized cone invexity. The results presented in this paper generalize and extend the previously known results in this area.

1. Introduction

In optimization theory, convexity plays a key role in many aspects of mathematical programming including sufficient optimality conditions and duality theorems; see [1, 2]. Many attempts have been made during the past several decades to relax convexity requirement; see [37]. In this endeavor, Hanson [8] introduced invex functions and studied some applications to optimization problem. Subsequently, many authors further weakened invexity hypotheses to establish optimality conditions and duality results for various mathematical programming problems; see, for example, [911] and the references cited therein.

Above all, Yen and Sach [12] introduced cone-generalized invex and cone-nonsmooth invex functions. Giorgi and Guerraggio [13] presented the notions of - -invex, - pseudo-invex, and -K quasi-invex functions in the differentiable case and derived optimality and duality results for a vector optimization problem over cones. Khurana[14] extended pseudoinvex functions to differentiable cone-pseudoinvex and strongly cone-pseudoinvex functions. Based on this, Suneja et al. [15] defined cone-nonsmooth quasi-invex, cone-nonsmooth pseudoinvex, and other related functions in terms of Clarke’s [16] generalized directional derivatives and established optimality and duality results for a nonsmooth vector optimization problem.

On the other hand, Noor [17] proposed several classes of -invex functions and investigated some properties of the -preinvex functions and their differentials. Mishra et al. [18] defined strict pseudo- -invex and quasi- -invex functions. Mishra et al. [19] further introduced the concepts of nonsmooth pseudo- -invex functions and established a relationship between vector variational-like inequality and nonsmooth vector optimization problems by using the nonsmooth -invexity.

In the present paper, by using Clarke's generalized gradients of locally Lipschitz functions we are concerned with a nonsmooth vector optimization problem with cone constraints and introduce several generalized invex functions over cones namely - -generalized invex, - -nonsmooth invex, and other related functions, which, respectively, extend some corresponding concepts of [12, 13, 15, 17]. Some sufficient optimality conditions for this problem are obtained by using the above defined concepts. Furthermore, a Mond-Weir type dual is formulated and a few weak and converse duality results are established. We generalize and extend some results presented in the literatures on this topic.

2. Preliminaries and Definitions

Throughout this paper, let and be two fixed mappings. and denote the interior and closure of , respectively. We always assume that is a closed convex cone with .

The positive dual cone of is defined as The strict positive dual cone of is given by The following property is from [20], which will be used in the sequel.

Lemma 2.1 (see [20]). Let be a convex cone with . Then,(a) ; (b) .

A function is called locally Lipschitz at , if there exists such that for all in a neighbourhood of .

A function is called locally Lipschitz on , if it is locally Lipschitz at each point of .

Definition 2.2 (see [16]). Let be a locally Lipschitz function, then denotes Clarke's generalized directional derivative of at in the direction and is defined as Clarke's generalized gradient of at is denoted by and is defined as Let be a vector-valued function given by , where . Then is said to be locally Lipschitz on if each is locally Lipschitz on . The generalized directional derivative of a locally Lipschitz function at in the direction is given by The generalized gradient of at is the set where is the generalized gradient of at .
Every is a continuous linear operator from to and

Lemma 2.3 (see [16]). (a) If is locally Lipschitz then, for each ,
(b) Let be a finite family of locally Lipschitz functions on , then is also locally Lipschitz and

Definition 2.4 (see [17]). A function is said to be -invex function at with respect to and , if there exist functions and such that, for every , we have In this paper, we consider the following vector optimization problem with cone constraints: where are locally Lipschitz functions on and are closed convex cones with nonempty interiors in and , respectively.
Denote the feasible set of problem .
For each and , we suppose that and are locally Lipschitz.
Now, we present the concepts of solutions for problem in the following sense.

Definition 2.5. Let , then (a) is said to be a minimum of if for all , (b) is said to be a weak minimum of if for all , (c) is said to be a strong minimum of if for all , Based on the lines of Yen and Sach [12] and Noor [17], we define the notions as follows.

Definition 2.6. Let be a locally Lipschitz function. is said to be - -generalized invex at , if there exist functions and such that for every and ,

Definition 2.7. Let be a locally Lipschitz function. is said to be - -nonsmooth invex at , if there exist functions and such that for every , where

Remark 2.8. If , and is differentiable, then - -generalized invex and - -nonsmooth invex functions become -invex function [17]; if for all , then - -generalized invex and - -nonsmooth invex functions reduce to -generalized invex and -nonsmooth invex functions defined by Yen and Sach [12].

Lemma 2.9. If is K- -generalized invex at with respect to and , then is K- -nonsmooth invex at with respect to the same and .

Proof. Since is - -generalized invex at , then there exist and such that for every and By Lemma 2.3, for each , we choose such that Then and equivalently, Hence, is - -nonsmooth invex at with respect to the same and .

The following example shows that converse of the above lemma is not true.

Example 2.10. Let be a cone in . Assume that , where Let and be defined as and , respectively. Then at , Hence, is - -nonsmooth invex at .
It is easy to verify .
Taking and , we have Therefore, is not - -generalized invex at .
Next, we introduce several related functions of - -nonsmooth invex.

Definition 2.11. is said to be - -nonsmooth quasi-invex at , if there exist functions and such that for every ,

Definition 2.12. is said to be - -nonsmooth pseudo-invex at , if there exist functions and such that for every ,

Definition 2.13. is said to be strict - -nonsmooth pseudo-invex at , if there exist functions and such that for every ,

Definition 2.14. is said to be strong - -nonsmooth pseudo-invex at , if there exist functions and such that for every ,

Remark 2.15. If for all and is differentiable, then - -nonsmooth pseudo-invex and strong - -nonsmooth pseudo-invex functions reduce to -pseudo-invex and strong -pseudo-invex functions, defined by Khurana [14].

Remark 2.16. If for all , and is differentiable, then - -nonsmooth quasi-invex functions reduce to quasi-invex functions and - -nonsmooth pseudo-invex and strong - -nonsmooth pseudo-invex functions reduce to pseudo-invex functions [8].

Remark 2.17. If for all , then the above definitions reduce to the corresponding definitions [15]. If is differentiable, then - -generalized invex and - -nonsmooth pseudo-invex functions reduce to - -invex and - pseudo-invex functions [13], respectively.

3. Optimality Criteria

In this section, we establish a few sufficient optimality conditions for problem by using the above defined functions.

Theorem 3.1. Let be - -generalized invex and be - -generalized invex at with respect to the same and . We assume that there exist such that Then is a weak minimum of .

Proof. By contradiction, we assume that is not a weak minimum of . Then there exists a feasible solution of such that From (3.1), it follows that there exist and such that Since is - -generalized invex and is - -generalized invex at , we get Summing (3.3) and (3.5), we have As ,  from Lemma 2.1, we obtain which yields Considering positivity of and (3.4), one has From , we deduce Hence, By , relation (3.6) gives By virtue of (3.2) and , the above inequality implies that is, which is a contradiction to (3.12).
Therefore, is a weak minimum of .

Theorem 3.2. Let be K- -generalized invex and be - -generalized invex at with respect to the same and . We assume that there exist such that (3.1) and (3.2) hold. Then is a minimum of .

Proof. Assume contrary to the result that is not a minimum of . Then there exists such that From (3.1), it follows that there exist and such that Since is - -generalized invex at , we get Utilizing (3.16), we deduce According to , we obtain Next proceeding on the same lines as in the proof of Theorem 3.1, we obtain a contradiction.
Thus, is a minimum of .

Theorem 3.3. Let be - -nonsmooth pseudo-invex and be - -nonsmooth quasi-invex at with respect to the same and . We assume that there exist such that (3.1) and (3.2) hold. Then is a weak minimum of .

Proof. It follows from (3.1) that there exist and such that Suppose that is not a weak minimum of . Then there exists such that Since is - -nonsmooth pseudo-invex at , we deduce By and Lemma 2.1, we obtain From and , we have which implies, By and ,   gives Taking (3.2) into account, one has Next we prove If , inequality (3.29) holds obviously.
If , from (3.28) and Lemma 2.1, we deduce Since is Q- -nonsmooth quasi-invex at , we have From and , it follows that (3.29) also holds.
Similarly, by Lemma 2.3, inequality (3.29) gives which yields, Hence, which is in contradiction with (3.26).
Therefore, is a weak minimum of .

The following example illustrates the above theorem.

Example 3.4. Consider the vector optimization problem where , , and are defined as Let and be defined as and , respectively. It is easily testified that and are - -nonsmooth pseudo-invex and - -nonsmooth quasi-invex at , respectively. The feasible set of is given by .
It is also easy to verify .
Taking and , we have which imply that (3.1) and (3.2) hold.
Therefore, by Theorem 3.3, is a weak minimum of .

Theorem 3.5. Let be strong K- -nonsmooth pseudo-invex and be Q- -nonsmooth quasi-invex at with respect to the same and . We assume that there exist such that (3.1) and (3.2) hold. Then is a strong minimum of .

Proof. From (3.1), it follows that there exist and such that Assume that is not a strong minimum of . Then there exists such that Since is strong - -nonsmooth pseudo-invex at , we deduce Next proceeding on the same lines as in the proof of Theorem 3.3, we get a contradiction.
Hence is a strong minimum of .

Theorem 3.6. Let be strict K- -nonsmooth pseudo-invex and be Q- -nonsmooth quasi-invex at with respect to the same and . We assume that there exist such that (3.1) and (3.2) hold. Then is a minimum of .

Proof. From (3.1), it follows that there exist and such that By contradiction, assume that is not a minimum of . Then there exists such that Since is strict - -nonsmooth pseudo-invex at , we have Next as in Theorem 3.3 we arrive at a contradiction.
Therefore, is a minimum of .

4. Duality

In relation to , we consider the following Mond-Weir type dual problem: Denote the feasible set of problem by , namely, , .

Now, we establish weak and converse duality results.

Theorem 4.1 (Weak duality). Let and . If is K- -nonsmooth pseudo-invex and is Q- -nonsmooth quasi-invex at with respect to the same and , then

Proof. Since , from , it follows that there exist and such that By contradiction, we assume that .
Since is - -nonsmooth pseudo-invex at , we have By and Lemma 2.1, we get From and Lemma 2.3, we deduce which yields Using (4.2), we obtain From , it follows that there exists such that Hence, From and , we find that Now we claim that
If , then (4.11) holds trivially.
If , from (4.10) and Lemma 2.1 we have As is - -nonsmooth quasi-invex at , we obtain which means that (4.11) also holds and is equivalent to which is a contradiction to (4.9). Thus

Theorem 4.2 (Weak duality). Let and . If is K- -generalized invex and is Q- -generalized invex at with respect to the same and , then

Proof. Since , from , it follows that there exist and such that We assume contrary to the result that Since is - -generalized invex and is Q- -generalized invex at , we get Summing (4.18) and (4.19), we have By and Lemma 2.1, we obtain which yields Applying positivity of and (4.17), we get By the fact that , one has Hence, From and (4.20), we obtain As and , we get Using the above relation, (4.27) yields that is, which contradicts (4.26). Therefore,

Theorem 4.3 (Converse duality). Let and . Assume that is K- -nonsmooth pseud-invex and is Q- -nonsmooth quasi-invex at with respect to the same and . Then is a weak minimum of .

Proof. Since , from , it follows that there exist and such that Assume contrary to the result that is not a weak minimum of . Then there exists such that Since is - -nonsmooth pseudo-invex at , we have By and Lemma 2.1, we get which is equivalent to which yields Using (4.32), we obtain As , thus , where .
Hence, By and , we have By the similar argument to that of Theorem 4.1, we can prove that which is equivalent to which is in contradiction with (4.39).
Therefore, is a weak minimum of .

Theorem 4.4 (Converse duality). Let and . Assume that is K- -generalized invex and is Q- -generalized invex at with respect to the same and . Then is a weak minimum of .

Proof. The proof of the above theorem is very similar to the proof of Theorem 3.1, except that for this case we use the feasibility of for instead of the relations (3.1) and (3.2).

Acknowledgments

This work was supported by the National Natural Science Foundation of China (no. 60974082) and supported by Foundation Project of China Chongqing Education Commission.