On optimality conditions and duality results in a class of nonconvex quasidifferentiable optimization problems

In the paper, the class of nonconvex nonsmooth optimization problems with the quasidifferentiable functions is considered. Further, a new notion of nonsmooth generalized convexity, namely, the concept of r-invexity with respect to a convex compact set is introduced. Several conditions for quasidifferentiable r-invexity with respect to a convex compact set are given. Furthermore, the sufficient optimality conditions and several Mond–Weir duality results are established for the considered nonconvex quasidifferentiable optimization problem under assumption that the functions constituting it are r-invex with respect to the same function $$\eta $$η and with respect to convex compact sets which are equal to Minkowski sum of their subdifferentials and superdifferentials. It is also illustrated that, for such nonsmooth extremum problems, the Lagrange multipliers may not be constant.


Introduction
Quasidifferential calculus were developed by Demyanov and Rubinov (1980) and have been studied in more detail in Demyanov and Rubinov (1986). Since then it has been developed extensively (see, for example, Craven 1986Craven , 2000Eppler and Luderer 1987;Demyanov and Rubinov 1981;Gao 2000a, b;Glover 1992;Kuntz and Scholtes 1993;Luderer and Rosiger 1990;Polyakova 1986;Shapiro 1984;Uderzo 2002;Ward 1991;Xia et al. 2005;Yin and Zhang 1998, and others). This follows from the fact that quasidifferential calculus plays an important role in nonsmooth analysis and optimization. Namely, the concept of quasidifferentiability can be employed to study a wide range of theoretical and practical issues in many fields, for instance, in nonsmooth analysis, economics, optimal control theory, engineering, mechanics, etc. (see, Demyanov et al. , 1996Stavroulakis et al. 1995, and others). Further, the class of quasidifferentiable functions is fairly broad. It contains not only convex, concave, and differentiable functions but also convex-concave, D.C. (i.e., difference of two convex), maximum, and other functions. In addition, it even includes some functions which are not locally Lipschitz continuous.
In most of the above-mentioned works, the necessary optimality conditions have been established for quasidifferentiable optimization problems only (see, for example , Demyanov 1986;Kuntz and Scholtes 1993;Luderer and Rosiger 1990;Shapiro 1984;Uderzo 2002;Ward 1991;Xia et al. 2005, and others). Indeed, it is possible to find sufficient optimality conditions and duality results in some of the above-mentioned papers, but they have been established under assumption that the objective and constraint functions are directionally differentiable (see, for example, Craven 1986Craven , 2000Demyanov 1986, and others). In this paper, our approach in proving the sufficiency of the Karush-Kuhn-Tucker necessary optimality conditions and duality results for the considered quasidifferentiable optimization problem differs from those ones mentioned above, in which directionally differentiable generalized convex functions have been used. We define in this paper a new concept of generalized convexity, namely we introduce the concept of r-invexity with respect to a convex compact set. Then, we prove several conditions for a quasidifferentiable r-invex function with respect to a convex compact set. However, the main purpose of this article is to prove the sufficient optimality conditions of the Lagrange multiplier type and various duality results in the sense of Mond-Weir for a new class of nonconvex quasidifferentiable optimization problems with inequality constraints. We assume in establishing the results mentioned above that the functions involved in the considered nonconvex nondifferentiable optimization problem are quasidifferentiable r-invex with respect to the same function η and with respect to convex compact sets which are equal to Minkowski sum of their subdifferentials and superdifferentials. We illustrate the sufficient optimality conditions established in the paper by an example of a nonconvex nonsmooth optimization problem with quasidifferentiable r-invex functions with respect to such convex compact sets and with respect to the same function η. Moreover, we illustrate also the fact that the Lagrange multipliers may not be constant for such nonconvex nonsmooth optimization problems.
The paper is organized as follows. In Sect. 2, we recall the definition of a scalar quasidifferentiable function and its fundamental property. We introduce a new concept of generalized convexity, namely, we give the definition of an r-invex function with respect to a convex compact set. Further, we prove several conditions for a quasidifferentiable function to be r-invex with respect to a convex compact set. In Sect. 3, we formulate the quasidifferentiable optimization problem that we deal with throughout this paper. Further, we prove the sufficiency of the Karush-Kuhn-Tucker type necessary optimality conditions under assumptions that the functions constituting the considered quasidifferentiable optimization problem are r-invex with respect to the same function η and with respect to convex compact sets which are equal to Minkowski sum of their subdifferentials and superdifferentials. The results established in this section are illustrated by the example of a nonconvex quasidifferentiable optimization problem with quasidifferentiable r-invex functions with respect to such convex compact sets and with respect to the same function η. Further, in Sect. 4, for the considered quasidifferentiable optimization problem, we define its dual problem in the sense of Mond-Weir and we prove several duality theorems also using the concept of quasidifferentiable r-invexity with respect to a convex compact set.

Preliminaries
In this section, we provide some definitions that we shall use in the sequel.

Definition 2.1 We say that a mapping
Definition 2.2 (Demyanov and Rubinov 1981) A real-valued function f : R n → R is said to be quasidifferentiable atx ∈ R n if f is directionally differentiable and there exists a ordered pair of convex compact sets where ∂ f (x) and ∂ f (x) are called subdifferential and superdifferential of f atx, respectively. Further, the ordered pair of sets Let us note that the pair of sets constituting the quasidifferential to a function f at a certain pointx is not unique is a quasidifferential of f atx, then, for any nonempty compact convex set V, the ordered pair of sets is also its quasidifferential. Now, we introduce the concept of r-invexity with respect to a convex compact set.

Definition 2.3
Let f : R n → R be a real-valued function,x ∈ R n and S f (x) be a nonempty convex compact subset of R n . If there exist the vector-valued function η : R n × R n → R n and a scalar r such that the inequality holds for all x ∈ R n and for all ω ∈ S f (x), then f is said to be an r-invex function atx on R n with respect to S f (x) and with respect to η. If the inequality (2) is strict for all x ∈ R n , x =x, then f is said to be a strictly r-invex function atx on R n with respect to S f (x) and with respect to η.
If, for eachx ∈ R n , there exists a convex compact subset S f (x) of R n such that the inequality (2) is satisfied at eachx with respect to the same function η, then f is said to be an r-invex function on R n with respect to convex compact sets S f (x) and with respect to η.
If the inequality (2) is satisfied for all x ∈ X, where X is a nonempty subset of R n , then f is r-invex atx on X with respect to the convex compact set S f (x) and with respect to η.
Remark 2.1 To define an analogous class of (strictly) r-incave functions with respect to a convex compact set, the direction of each inequality (2) should be reversed.
Remark 2.2 Note that the definition of a 0-invex function f atx with respect to S f (x) and with respect to η is, in fact, the definition of an invex function with respect to S f (x) and with respect to η. Remark 2.3 Note that, in the case when f is a locally Lipschitz function atx and S f (x) is equal to the Clarke subdifferential of f atx (see Clarke 1983), then we obtain the definition of a locally Lipschitz r-invex function introduced by Antczak (2002). Further, in the case r = 0, we obtain the definition of a locally Lipschitz invex function introduced by Reiland (1990) (see also Kaul et al. 1994). In the case when f is differentiable, then S f (x) = {∇f(x)} and the definition of an r-invex function with respect to the convex compact set S f (x) reduces to the definition of a differentiable r-invex function introduced by Antczak (2005) and in the case r = 0 to the definition of a differentiable invex function introduced by Hanson (1981).
Remark 2.4 All theorems in the further part of this work will be proved only in the case when r = 0 (others cases be dealt with likewise since the only changes arise from the form of inequality defining the class of r-invex functions with respect to a convex compact set and with respect to η for a scalar r). The proofs in the case r = 0 are easier than in this one. This follows from the form of inequalities which are given in the Definition 2.3. Moreover, without limiting generality of considerations, we shall assume that r > 0 (in the case when r < 0, the direction of some of the inequalities in the proofs of theorems should be changed to the opposite one). Now, we present several necessary and sufficient conditions for a quasidifferentiable rinvex function with respect to a convex compact set.
In Antczak (2005), using the definition of a weighted r-mean, Antczak introduced the definition of an r-preinvex function. We recall it for a convenience of a common reader.

Definition 2.4
Let a ∈ R m , q ∈ R m be vectors whose coordinates are positive and nonnegative numbers, respectively, and let r be any finite real number. If m i=1 q i = 1, then a weighted r-mean is defined as follows Definition 2.5 (Antczak 2005) Let X be a nonempty invex (with respect to η : X × X → R n ) subset of R n and f : X → R be a real-valued function defined on X . If there exists a real number r such that, for all x ∈ X and q 1 ≥ 0, q 2 ≥ 0, q 1 + q 2 = 1, the following inequality holds, then f is said to be an r-preinvex function at u on X with respect to η.
If the above inequality is satisfied at any point u ∈ X with respect to the same function η, then f is said to be r-preinvex with respect to η on X.
If we adopt q 2 = λ for any λ ∈ [0,1] (therefore, q 1 + q 2 = 1 implies that q 1 = 1 − λ), then the definition of an r-preinvex function with respect to η can be re-written as follows: Now, we prove that if f : X → R is an r-preinvex function with respect to η at u ∈ X on X and f is a quasidifferentiable function at u ∈ X, then it is a quasidifferentiable r-invex function at u on X with respect to the same function η and with respect to the convex compact set S f (u) Proposition 2.1 Let X be a nonempty invex (with respect to η) subset of R n and u ∈ X. Assume that f : X → R is an r-preinvex function at u ∈ X on X with respect to η and f is a quasidifferentiable function at u ∈ X . Then, f is a quasidifferentiable r-invex function at u on X with respect to the same function η and with respect to the convex compact set Proof Assume that f : X → R is an r-preinvex function at u ∈ X on X with respect to η and, moreover, r = 0. Without loss of generality, assume that r > 0. Hence, by Definition 2.5, the inequality By assumption, f is a quasidifferentiable function at u ∈ X. Then, by Definition 2.2, it follows that it is directional differentiable at u. By letting λ ↓ 0, we get that the inequality holds for all x ∈ X. Thus, the above inequality yields that the inequality holds for all x ∈ X. Since f is quasidifferentiable, by Definition 2.2, we have that, for any arbitrary x ∈ X, By definition, ∂ f (u) is nonempty and compact. Therefore, for any arbitrary x ∈ X, we can findw such thatw ∈ arg min w∈∂ f (u) w T η(x, u). Hence, the relation above implies that the inequality holds for all x ∈ X. Hence, (3) and (4) yield that the following inequality holds for all x ∈ X. This means, by Definition 2.3, that f is a quasidifferentiable r-invex function at u on X with respect to S f (u) = ∂ f (u) +w and with respect to η. This completes the proof.
Corollary 2.1 Let X be a nonempty invex (with respect to η) subset of R n and u ∈ X. Assume that f : X → R is an r-preinvex function at u ∈ X on X with respect to η and f is a quasidifferentiable function at u ∈ X. If ∂ f (u) is a singleton, then f is a quasidifferentiable r-invex function at u on X with respect to the same function η and with respect to u). Then, the following inequality

Theorem 2.1 Let u be an arbitrary point of X and f : X → R be a quasidifferentiable rinvex function at u on X with respect to the set S f
holds for all x ∈ X.
Proof Let u be an arbitrary point of X. Assume that f : holds for all x ∈ X and for each ω (6) gives that the inequality holds for all x ∈ X and for any Thus, (8) gives Hence, by Definition 2.1, it follows that the inequality (5) holds for all x ∈ X. This completes the proof of this theorem. Now, we recall the definition of a stationary point of a quasidifferentiable function given by Demyanov and Vasilev (1985).
Definition 2.6 Let X be a nonempty subset of R n and f : X → R be a quasidifferentiable function on X. A point u ∈ X is said to be a stationary point of We now prove the necessary and sufficient optimality conditions for a quasidifferentiable function f : X → R to be r-invex at each point u of X with respect to the convex compact set S f (u) = ∂ f (u) + ∂ f (u).

u) if and only if every stationary point of f is its global minimizer on X .
Proof Necessity. Let f be a quasidifferentiable r-invex function at each point u ∈ X on X with respect to S f (u) = ∂ f (u) + ∂ f (u). Further, assume that u ∈ X is a stationary point of f. Hence, by Definition 2.6, it follows that u). Hence, by Definition 2.3, it follows that the inequality f (x) − f (u) ≥ 0 holds for all x ∈ X. Thus, u is a global minimum of f on X.
Sufficiency. Assume that every stationary point of f is its global minimizer on X. Let x, u be two arbitrary points of X.
then u cannot be a stationary point. Then, for every w ∈ ∂ f (u), we have, by Definition 2.6, that 0 / ∈ w + ∂ f (u). Note, moreover, that any set w + ∂ f (u) is convex and compact. Let us denoteω Hence, by Theorem 2.4.4 (see Bazaraa and Shetty 1976), we have that Then, we setω w = min Note that, by (9) and (10), we have that, for any w ∈ ∂ f (u), Then, it should be taken Hence, by (11), it follows that, for any w ∈ ∂ f (u), the following relations hold for every ω w ∈ w + ∂ f (u). Then, by Definition 2.3, it follows that f is a quasidifferentiable r-invex function at each point u ∈ X on X with respect to S f (u) = ∂ f (u) + ∂ f (u) and with respect to the function η given above.
Since we choose η(x, u) = 0 in the case f (x) ≥ f (u), therefore, also in this case, by Definition 2.3, it follows that f is a quasidifferentiable r-invex function at each point u ∈ X on X with respect to S f (u) = ∂ f (u) + ∂ f (u) and with respect to the function η.
Thus, the proof of this theorem is completed.
To illustrate the introduced concept of r-invexity with respect to a convex compact set, we present an example of a quasidifferentiable r-invex function at a pointx with respect to the convex compact set S f (x) = ∂ f (x) + ∂ f (x), that is, with respect to such a convex compact set which is equal to Minkowski sum of its subdifferential and superdifferential at this point.
We show that f is a quasidifferentiable 1-invex function atx = (0,0) on R 2 with respect to the convex compact set S f ( Hence, by Definition 2.2, it follows that f is a quasidifferentiable function atx = (0,0). Further, we have Hence, by Definition 2.3, it can be proved that f is a quasidifferentiable 1-invex function atx = (0,0) on R 2 with respect to the convex compact set S f (x) and with respect to η given above.
Remark 2.5 Note that the function η given in Example 2.1 is not a unique function with respect to which the function f considered in Example 2.1 is quasidifferentiable 1-invex at , then, by Definition 2.3, it can be shown that f is also a quasidifferentiable 1-invex function atx = (0,0) on R 2 with respect to the convex compact set S f (x) and with respect toη given above.

Optimality conditions for nonsmooth optimization problems with quasidifferentiable r-invex functions
In the paper, consider the following nonsmooth optimization problem: where f : R n → R, g j : R n → R, j ∈ J, are quasidifferentiable functions on R n . Thus, problem (P) may be referred as a quasidifferentiable optimization problem. For the purpose of simplifying our presentation, we will introduce some notations, which will be used frequently throughout this paper.
Let X := { x ∈ R n : g j (x) ≤ 0, j ∈ J } be the set of all feasible solutions in problem (P). Further, we denote by J(x) the set of inequality constraint indexes that are active at point In Gao (2000a), Gao presented the following necessary optimality conditions for nonsmooth optimization problems with the inequality constraints in which the functions involved are quasidifferentiable.
Theorem 3.1 (Karush-Kuhn-Tuker type necessary optimality conditions) Letx ∈ X be an optimal solution for the considered nonsmooth optimization problem (P). Further, assume that f is quasidifferentiable atx, with the quasidifferential D f (x) = [∂ f (x), ∂ f (x)], each g j , j ∈ J , is quasidifferentiable atx, with the quasidifferential D g j (x) = [∂ g j (x), ∂ g j (x)]. Kuntz and Scholtes (1993) is satisfied atx for problem (P), then, for any sets of w 0 ∈ ∂ f (x) and w j ∈ ∂ g j (x), j ∈ J , there exist scalarsλ j (w) ≥ 0, j ∈ J , not all zero, such that
Now, we prove the sufficient optimality conditions for the given feasible solution in the considered quasidifferentiable optimization problem (P) under assumptions that the functions involved are quasidifferentiable r-invex functions with respect to the same function η and with respect to convex compact sets which are equal to Minkowski sum of their subdifferentials and superdifferentials.

Theorem 3.2 (Sufficient optimality conditions) Letx be a feasible solution in the considered optimization problem (P) and the Karush-Kuhn-Tuker type necessary optimality conditions (12)-(14) be satisfied atx. Further, assume that f is a quasidifferentiable r-invex function at x on X with respect to S f
and with respect to η and, moreover, each g j , j ∈ J (x), is a quasidifferentiable r-invex function atx on X with respect to S g j (x) = ∂ g j (x) + ∂ g j (x) and with respect to η. Then,x is an optimal solution in problem (P).
Proof Assume thatx is such a feasible point in problem (P) at which the Karush-Kuhn-Tuker type necessary optimality conditions (12)-(14) are satisfied. This means that, for given sets of w 0 ∈ ∂ f (x) and w j ∈ ∂ g j (x), j ∈ J , there existλ 0 (w) ∈ R andλ(w) ∈ R m such that the conditions (12)-(14) are satisfied. Hence, by the Karush-Kuhn-Tuker type necessary optimality condition (12), it follows that there exist v 0 ∈ ∂ f (x) and v j ∈ ∂ g j (x), j ∈ J , such that By hypotheses, f is a quasidifferentiable r-invex function atx on R n with respect to S f (x) = ∂ f (x) + ∂ f (x) and with respect to η, g j , j ∈ J (x), is a quasidifferentiable r-invex function atx on X with respect to S g j (x) = ∂ g j (x) + ∂ g j (x) and with respect to η. Hence, by Definition 2.3, the following inequalities hold for all x ∈ X. Since (16) and (17) are fulfilled for any sets ω 0 ∈ S f (x) and ω j ∈ S g j (x), j ∈ J (x), respectively, by the definitions of S f (x) and S g j (x), they are also fulfilled for ω 0 = v 0 + w 0 ∈ S f (x) and ω j = v j + w j ∈ S g j (x). Thus, (16) and (17) yield Using x ∈ X andx ∈ X together with the definition of J(x), we get g j (x) ≤ g j (x), j ∈ J(x). Hence, we have that the following inequalities hold for all x ∈ X. Thus, (19) and (20) yield By (15) and (22), it follows that Combining (18) and (23), we get that the following inequality holds for all x ∈ X. Thus, by (24), we conclude that also the inequality f (x) ≥ f (x) holds for all x ∈ X. This means thatx is an optimal solution in the considered optimization problem (P). Hence, the proof of the theorem is complete.
In order to illustrate the sufficient optimality conditions established in Theorem 3.2, we consider the example of a nonsmooth optimization problem in which the involved functions are quasidifferentiable r-invex with respect to the same function η and with respect to convex compact sets which are equal to Minkowski sum of their subdifferentials and superdifferentials.
Since the Karush-Kuhn-Tucker necessary optimality conditions are fulfilled atx, therefore, to prove by Theorem 3.2 thatx is optimal in problem (P1), we have to show that f and g 1 are quasidifferentiable r-invex functions atx on X with respect to the same function η and with respect to convex compact sets which are equal to Minkowski sum of their subdifferentials and superdifferentials at this point. Let Then, by Definition 2.3, it follows that f is a quasidifferentiable 1-invex function atx on X with respect to S f (x) and with respect to η and also g 1 is a quasidifferentiable 1-invex function atx on X with respect to S g 1 (x) and with respect to the same function η. Hence, since all hypotheses of Theorem 3.2 are fulfilled atx, therefore,x is an optimal solution in the considered nonsmooth optimization problem. Now, for the considered nonsmooth optimization problem, we illustrate the fact that the Lagrange multiplierλ 1 (w) depends on the chosen w. In fact, we illustrate that, for the given chosen w, the Karush-Kuhn-Tucker necessary optimality conditions are not fulfilled atx with the same Lagrange multiplierλ 1 (w) as in the case of another chosen w. We denote by W w the set appearing in the Karush-Kuhn-Tucker optimality condition (12), that is, W w = ∂ f (x)+w 0 +λ 1 (w)(∂ g 1 (x)+w 1 ) for the given chosen w = (w 0 , w 1 ) and, therefore, depending on the Lagrange multiplierλ 1 (w) (see Figs. 1, 2).

Mond-Weir duality
In this section, we define Mond-Weir type dual problem for the considered nonsmooth optimization problem (P) as follows: where is the set of all pairs (y, λ) with y ∈ R n and λ : R m+1 → R m , λ(w) = (λ 1 (w), . . . , λ m (w)), satisfying, for any sets of w 0 ∈ ∂ f (y) and w j ∈ ∂ g j (y), j ∈ J, the following conditions: where w = (w 0 , w 1 , . . ., w m ). Then, is the set of all feasible solutions in Mond-Weir type dual problem (D) and, moreover, we denote by Y = pr R n the projection of the set on R n .

Theorem 4.1 (Weak duality) Let x and (y, λ) be any feasible solutions in the considered optimization problem (P) and its Mond-Weir type dual problem (D), respectively. Further
, assume that f is a quasidifferentiable r-invex function at y on X ∪ Y with respect to S f (y) = ∂ f (y) + ∂ f (y) and with respect to η, each g j , j ∈ J (y), is a quasidifferentiable r-invex function at y on X ∪ Y with respect to S g j (y) = ∂ g j (y) + ∂ g j (y) and with respect to η.
Suppose, contrary to the result, that By hypotheses, f is a quasidifferentiable r-invex function at y on X∪Y with respect to S f (y) = ∂ f (y) + ∂ f (y) and with respect to η, each g j , j ∈ J(y), is a quasidifferentiable r-invex function at y on X∪Y with respect to S g j (y) = ∂ g j (y) + ∂ g j (y) and with respect to η. Hence, by Definition 2.3, the following inequalities hold. Combining (28) and (29), we get By x ∈ X , y ∈ Y and the constraint (26) of dual problem (D), it follows that Since λ j (w) > 0, j ∈ J(y), therefore, we re-write (30) in the following form Combining (32) and (33), we get Taking into account the constraint (27) of dual problem (D), we obtain Hence, (31) and (35) yield This means, by the definitions of S f (y) and S g j (y) j ∈ J, that, for any sets of w 0 ∈ ∂ f (y) and w j ∈ ∂ g j (y), j ∈ J, the following inequality ⎡ holds for every v 0 ∈ ∂ f (y) and v j ∈ ∂ g j (y), j ∈ J. However, by the constraint (25) of dual problem (D), for any sets of w 0 ∈ ∂ f (y) and w j ∈ ∂ g j (y), j ∈ J, there exist v 0 ∈ ∂ f (y) and v j ∈ ∂ g j (y), j ∈ J such that the following inequality ⎡ holds, which contradicting (36). This completes the proof of this theorem. It turns out that, under stronger r-invexity hypothesis imposed on the objective function, it is possible to prove the stronger result.
Theorem 4.2 (Weak duality) Let x and (y, λ) be any feasible solutions in the considered optimization problem (P) and its Mond-Weir type dual problem (D), respectively. Further, assume that f is a strictly quasidifferentiable r-invex function at y on X ∪ Y with respect to S f (y) = ∂ f (y) + ∂ f (y) and with respect to η, each g j , j ∈ J (y), is a quasidifferentiable r-invex function at y on X ∪ Y with respect to S g j (y) = ∂ g j (y) + ∂ g j (y) and with respect to η. Then f (x) > f (y).

Theorem 4.3 (Direct duality)
Letx be an optimal solution in the considered optimization problem (P). Further, assume that there exists the functionλ : R m+1 → R m such that (x,λ) is feasible in its Mond-Weir type dual problem (D). Further, if all hypotheses of the weak duality theorem (Theorem 4.1) are fulfilled, then (x,λ) is optimal in Mond-Weir type dual problem (D).
Proof Assume thatx is an optimal solution in the considered optimization problem (P) and, moreover, that there exists the functionλ : R m+1 → R m such that (x,λ) is feasible in its Mond-Weir type dual problem (D). Sincex ∈ X , by weak duality (Theorem 4.1), it follows that f (x) ≥ sup{ f (y) : (y, λ) ∈ }.
This means that (x,λ) is optimal in Mond-Weir type dual problem (D).
Remark 4.1 Note that the feasibility of (x,λ) in Mond-Weir type dual problem (D) does not follow from the Karush-Kuhn-Tucker necessary optimality conditions (12)-(14). To confirm the feasibility of (x,λ) in Mond-Weir type dual problem (D), the Lagrange multiplierλ ∈ R m should be the same for any sets of w 0 ∈ ∂ f (y) and w j ∈ ∂ g j (y), j ∈ J. Indeed, if we assume that f and g j , j ∈ J, are locally Lipschitz in a neighbourhood ofx and quasidifferentiable at x, then the above-mentioned property holds.
Theorem 4.4 (Converse duality) Let (ȳ,λ) be an optimal solution in Mond-Weir type dual problem (D) andȳ ∈ X . Further, assume that f is a quasidifferentiable r-invex function atȳ on X ∪ Y with respect to S f (ȳ) = ∂ f (ȳ) + ∂ f (ȳ) and with respect to η, each g j , j ∈ J (ȳ), is a quasidifferentiable r-invex function atȳ on X ∪Y with respect to S g j (ȳ) = ∂ g j (ȳ)+∂ g j (ȳ) and with respect to η. Then,ȳ is optimal in the considered nonsmooth optimization problem (P).
Proof Proof of this theorem follows directly from the weak duality theorem (Theorem 4.1).

Conclusions
In this paper, a new class of nonconvex quasidifferentiable optimization problems with inequality constraints has been considered. Namely, all functions constituting the considered nonconvex nonsmooth optimization problems are quasidifferentiable r-invex with respect to convex compact sets. Under the hypotheses that the functions involved are r-invex with respect to the same function η and with respect to convex compact sets which are equal to Minkowski sum of their subdifferentials and superdifferentials, the sufficient optimality conditions and several duality results have been proved for such nonconvex nonsmooth optimization problems. However, some interesting topics for further research remain. It would be of interest to investigate whether it is possible to prove similar results for a larger class of nonconvex nonsmooth extremum problems with quasidifferentiable functions and/or for other types of nonsmooth optimization problems. We shall investigate these questions in the subsequent papers.
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.