 Research Article
 Open Access
 Published:
Generalized Invariant Monotonicity and Generalized Invexity of Nondifferentiable Functions
Journal of Inequalities and Applications volume 2009, Article number: 393940 (2009)
Abstract
New concepts of generalized invex functions for nondifferentiable functions and generalized invariant monotone operators for setvalued mappings are introduced. The relationships between generalized invexity of functions and generalized invariant monotonicity of the corresponding Clarke's subdifferentials are studied. Some of our results are extension and improvement of some results obtained in (Jabarootion and Zafarani (2006); Behera et al. (2008)).
1. Introduction
Convexity plays a central role in mathematical economics, engineering, management sciences, and optimization. In recent years several extensions and generalizations have been developed for classical convexity. An important generalization of convex functions is invex functions introduced by Hanson (1981) [1]. He has shown that the KuhnTuker conditions are sufficient for optimality of nonlinear programming problems under invexity conditions. Kaul and Kaur (1985) [2] presented the conpects of pseudoinvex and quasiinvex functions and investigated their applications in nonlinear programming. A concept closely related to the convexity of function is the monotonicity of function; it is worth noting that monotonicity plays a very important role in the study of the existence and sensitivity analysis of solutions for variational inequality problems. An important breakthrough was given by Karamardian and Schaible (1990) [3]. They have proved that the generalized convexity of the function is equivalent to the generalized monotonicity of its gradient function . Motivated by the work of Karamardian and Schaible (1990), there has been increasing interest in the study of monotonicity and generalized monotonicity and their relationships to convexity and generalized convexity. RuizGarzón et al. (2003) [4] introduced strongly invex and strongly pseudoinvex functions in and gave the sufficient conditions for (strictly, strongly) invex monotonicity, strictly pseudoinvex monotonicity, and quasiinvex monotonicity. Moreover, in [4] the necessary conditions for strictly pseudoinvex monotonicity and pseudoinvex monotonicity were obtained. The necessary conditions for strongly pseudoinvex monotonicity were given by Yang et al. (2005) [5]. The results on generalized invexity and generalized invex monotonicity obtained in [4–6] are studied in dimensional Euclidean space. Several generalizations in real Banach space have been developed for generalized invexity and generalized invex monotonicity. Recently, Fan et al. (2003) [7] have studied the relationships between (strict, strong) convexity, pseudoconvexity, and quasiconvexity of functions and (strict, strong) monotonicity, pseudomonotonicity, and quasimonotonicity of its Clarke's generalized subdifferential mapping, respectively. Jabarootian and Zafarani (2006) [8] generalized convexity to invexity and obtained the relationships between several kinds of generalized invexity of functions and generalized invariant monotonicity of its Clarke's generalized subdifferential mapping.
Behera et al. (2008) [9] introduce the concepts of generalized invariant monotone operators and generalized invex functions and discuss the relationships between generalized invariant monotonicity and generalized invexity. Some examples are presented by Behera et al. to illustrate the proper generalizations for the corresponding concepts of generalized invariant monotone. However, it is noted that the definition of strictly quasiinvex is not defined precisely in [9], and Theorem 3.2 of [9] contains some errors. The purpose of this paper is to point out these errors and to suggest appropriate modifications. In real Banach space, we define new concepts of generalized invexity for nondifferentiable functions and generalized invariant monotonicity for setvalued mappings which are extension and improvement of the corresponding definitions of [8, 9]. In [9], some sufficient conditions for generalized invariant pseudomonotonicity and generalized invariant quasimonotonicity were given. We will give some necessary conditions. We also introduce the concept of strongly invariant pseudomonotone and give its necessary conditions. Some results that obtained in this paper are the improvement of the corresponding results of [8, 9].
2. Preliminaries
In this paper, let be a real Banach space endowed with a norm and its dual space with a norm . We denote by , , , and the family of all nonempty subsets of , the dual pair between and , the line segment for , and the interior of , respectively. Let be a nonempty open subset of , a setvalued mapping, a vectorvalued function, and a nondifferentiable realvalued function. The following concepts and results are taken from [10].
Definition 2.1.
Let be locally Lipschitz continuous at a given point and any vector in . The Clarke's generalized directional derivative of at in the direction , denoted by , is defined by
Definition 2.2.
Let be locally Lipschitz continuous at a given point and let be any vector in . The Clarke's generalized subdifferential of at , denoted by , is defined as follows:
Lemma 2.3 (Mean Value Theorem).
Let and be point in and suppose that is Lipschitz near each point of a nonempty closed convex set containing the line segment . Then there exists a point such that
3. Invariant Monotonicity and Invexity
Let be nonempty subset of and let and be two vectorvalued functions from to and
Definition 3.1.
Let be nonempty subset of and let be a setvalued mapping:
(1) is said to be invariant monotone on with respect to and if for any and any , , one has
(2) is said to be strictly invariant monotone on with respect to and if for any with and any , , one has
Remark 3.2.

(1)
When , it is [9, Definition 2.3].
(2)When , every (strictly) invariant monotone function is a (strictly) invariant monotone function defined by Jabarootian and Zafarani [8], but the converse is not true. Examples 2.1 and 2.2 of [9] are two counterexamples, where is defined as .
(3)When , , Definition 3.1(1) is the Definition 3.2(3) in [8], that is, strongly invariant monotone.
Next we introduce invex functions under nondifferentiable condition.
Definition 3.3.
Let be nonempty subset of , and let be locally Lipschitz continuous on . Then,
(1)the function is said to be invex with respect to and on if for any and any , one has
(2)the function is said to be strictly invex with respect to and on if for any with and any , one has
The following lemma under nondifferentiable condition is similar to Lemmas 2.3 and 2.4 under Fréchet differentiable condition in [9].
Lemma 3.4.
Let be locally Lipschitz on . If is (strictly) invex with respect to and on , then is (strictly) invariant monotone with respect to the same and on .
4. Invariant Quasimonotonicity and QuasiInvexity
In this section, we will point out some errors in [9].
Definition 4.1 (see [11]).
A set is said to be invex with respect to if there exists an such that, for any and ,
Definition 4.2 (see [9, Definition 3.2]).
A Fréchet differentiable function is said to be quasiinvex with respect to and on if for any with , we have
If strict inequality holds, then it is said to be strictly quasiinvex, where is the Fréchet differential of .
Definition 4.3 (see [9, Definition 4.2]).
A Fréchet differentiable function is said to be pseudoinvex with respect to and on if for any with , we have
Definition 4.4 (see [9, Definition 5.2]).
A Fréchet differentiable function is said to be strictly pseudoinvex with respect to and on if for any with , we have
Remark 4.5.
In Definition 4.2, the definition of strictly quasiinvex is not defined precisely, as can be seen below. If it holds that
then, by Definition 4.3, is pseudoinvex function with respect to and on . On the other hand, if the following is OK:
then, by Definition 4.4, is strictly pseudoinvex function with respect to and on .
Thus, we must conclude that the following implication holds
that is, the "strict inequality" for strictly quasiinvex functions in Definition 4.2 means (4.7).
Definition 4.6 (see [9, Definition 3.1]).
A function is said to be invariant quasimonotone (strictly) with respect to and on if for any with , we have
Definition 4.7 (see [9, Definition 4.1]).
A function is said to be invariant pseudomonotone with respect to and on if for any ,we have
The following Theorem is due to Behera et al. in [9].
Theorem 4 (see [9, Theorem 3.2]).
Let be an invex set with respect to , and let be Fréchet differentiable on . If is strictly quasiinvex with respect to and on , then is a strictly invariant quasimonotone function with respect to the same and on .
Remark 4.8.
By Remark 4.5, Theorem A is not true as can be seen from the following example.
Example 4.9.
Let , , and be functions defined by
Take .
When , we have
Then, Clearly, by (4.7), is strictly quasiinvex with respect to and on , but
Thus, is not strictly invariant quasimonotone.
On the other hand, when ,
but
Thus, is not invariant pseudomonotone.
Furthermore, is invariant quasimonotone. Hence, Example 4.9 also illustrates that invariant quasimonotone is not necessarily strictly invariant quasimonotone or invariant pseudomonotone.
In [9], sufficient conditions for invariant quasimonotone for Fréchet differentiable functions were given. However, necessary conditions have been missing. In what follows, we will give the necessary conditions for invariant quasimonotonity and study the relationship between invariant quasimonotonicity and quasiinvexity.
Definition 4.10.
Let be a nonempty subset of and is said to be invariant quasimonotone on with respect to and if for any and any , , one has
Remark 4.11.
When , every invariant quasimonotone function is an invariant quasimonotone function defined by Jabarootian and Zafarani [8], but the converse is not true. See [9, Example 3.1], for a counterexample, where
Definition 4.12.
Let be a nonempty subset of , and let be locally Lipschitz continuous on . Then, the function is said to be quasiinvex with respect to and on if for any and any , one has
The following theorem under nondifferentiable condition is similar to Theorem 3.1 of Behera et al. in [9].
Theorem 4.13.
Let be locally Lipschitz continuous on . If is quasiinvex with respect to and on , then is a invariant quasimonotone mapping with respect to the same and on .
Proof.
Suppose is quasiinvex with respect to and on . Let , , and be such that
By quasiinvexity of , we have
Note that quasiinvexity of implies
Therefore, is a invariant quasimonotone mapping with respect to the same and on .
Condition C (see [12]).
Let Then, for any and for any ,
Definition 4.14 (see [4]).
A function is said to be a skew function if for all
Now we will give the sufficient conditions for quasiinvexity.
Theorem 4.15.
Let be an open invex set with respect to , and let be locally Lipschitz continuous on . Suppose that
(1) is a invariant quasimonotone mapping with respect to and on ;
(2) satisfies Condition C;
(3)for each and , there exist and , such that
(4)
Then, is a quasiinvex function with respect to the same and on .
Proof.
Suppose that is not a quasiinvex function with respect to and on . Then, there exist and , such that
but
By hypothesis 3 and (4.23), there exist , such that
It follows from Condition C, (4.25), and hypothesis 4 that
Since is a invariant quasimonotone mapping with respect to and on , (4.26) implies
From Condition C, hypothesis 4, and (4.27), we obtain
which contradicts (4.24). Hence, is a quasiinvex function with respect to the same and on .
Similar to proof for Theorem 4.15, we can obtain the following theorem.
Theorem 4.16.
Let be an open convex subset of , and let be locally Lipschitz continuous on . Suppose that
(1) is a invariant quasimonotone mapping with respect to and on ;
(2) and are affine in the first argument and skew;
(3)for each and , there exist , , where , such that
Then, is a quasiinvex function with respect to the same and on .
5. Invariant Pseudomonotonicity and Pseudoinvexity
Definition 5.1.
Let be a nonempty subset of , and let be a setvalued mapping. Then,
(1) is said to be invariant pseudomonotone on with respect to and if for any and any , , one has
(2) is said to be strictly invariant pseudomonotone on with respect to and if for any with and any , , one has
Remark 5.2.
When , every (strictly) invariant pseudomonotone function is (strictly) invariant pseudomonotone function [8] on with respect to the same , but the converse is not ture. Examples 4.1 and 5.1 of [9] are two counterexamples, where is defined as .
Definition 5.3.
Let be a nonempty subset of , and let be locally Lipschitz continuous on . Then,
(1)the function is said to be pseudoinvex with respect to and on if for any and any , one has
(2)the function is said to be strictly pseudoinvex with respect to and on if for any with and any , one has
In this section we will give sufficient conditions and necessary conditions for invariant pseudomonotonicity.
Theorem 5.4.
Let be an open invex set with respect to , and let be locally Lipschitz continuous on . Suppose that
(1) is a pseudoinvex function with respect to and on ;
(2) satisfies Condition C;
(3)for any and , there exists such that ;
(4)
Then, is a invariant pseudomonotone mapping with respect to the same and on .
Proof.
Suppose that is a pseudoinvex function with respect to and on . Let . If ,
We need to show
Suppose, on the contrary, , such that
Since is a pseudoinvex function with respect to and on , (5.7) implies
From hypothesis 3 and (5.8), such that
Hence, pseudoinvexity of implies
From Condition C, hypothesis 4, and (5.10), we have
which contradicts (5.5). Hence, is a invariant pseudomonotone mapping with respect to the same and on .
Corollary 5.5.
Let be an open invex set with respect to , and let be locally Lipschitz continuous on , and let satisfy Condition C. If, for any
(1) such that ;
(2) is a pseudoinvex function with respect to on ,
then, is an invariant pseudomonotone mapping with respect to the same on .
Theorem 5.6.
Let be an open invex set with respect to and let be locally Lipschitz continuous on . Suppose that
(1) is a invariant pseudomonotone mapping with respect to and on ;
(2) satisfies Condition C;
(3)for any and , there exist , , such that
(4)
Then, is a pseudoinvex function with respect to the same and on .
Proof.
Suppose that is a invariant pseudomonotone mapping with respect to and on . Let for all be such that
We need to show
Assume, on the contrary,
By hypothesis 3, such that
From Condition C, hypothesis 4, and (5.16), we have
Since is an invariant pseudomonotone mapping with respect to and , (5.17) implies
From Condition C, hypothesis 4, and (5.18), we obtain
which contradicts (5.13). Hence, is a pseudoinvex function with respect to the same and on .
Corollary 5.7.
Let be an open invex set with respect to , let be locally Lipschitz continuous on , and let satisfy Condition C. For any , such that
If is an invariant pseudomonotone mapping with respect to on , then is a pseudoinvex function with respect to the same on .
Similar to proof for Theorems 5.4 and 5.6, we can obtain the following two theorems.
Theorem 5.8.
Let be an open convex subset of , and let be locally Lipschitz continuous on . Suppose that
(1) is a pseudoinvex function with respect to and on ;
(2) and are affine in the first argument and skew;
(3)for any and , there exists such that
Then, is a invariant pseudomonotone mapping with respect to the same and on .
Theorem 5.9.
Let be an open convex subset of , and let be locally Lipschitz continuous on . Suppose that
(1) is a invariant pseudomonotone mapping with respect to and on ;
(2) and are affine in the first argument and skew;
(3)for each and , there exist , , where such that
Then, is a pseudoinvex function with respect to the same and on .
6. Strongly Invariant Pseudomonotonicity and Strongly Pseudoinvexity
In this section, we introduce the concepts of strongly invariant pseudomonotonicity and strongly pseudoinvexity. We will give a necessary condition for strongly invariant pseudomonotonicity.
Definition 6.1.
Let be a nonempty subset of . Then, is said to be strongly invariant pseudomonotone on with respect to and if there exists a constant , such that for any and any , , one has
Definition 6.2.
Let be a nonempty subset of , and let be locally Lipschitz continuous on . Then, the function is said to be strongly pseudoinvex with respect to and on , if there exists a constant , such that for any and any , one has
Theorem 6.3.
Let be an open invex set with respect to , and let be locally Lipschitz continuous on . Suppose that
(1) is a strongly invariant pseudomonotone with respect to and on ;
(2) satisfies Condition C;
(3), for any ;
(4)
Then, is a strongly pseudoinvex function with respect to the same and on .
Proof.
Suppose that is strongly invariant pseudomonotone with respect to and on . Let and for all be such that
Let . By the Mean Value Theorem, there exist and where , such that
Hence, by Condition C, we have
and there exists , where , such that
Thus, by Condition C, we have
On the other hand, it follows from hypothesis 4, Condition C, and (6.3) that
By strongly invariant pseudomonotonicity of , we obtain
Then, by (6.5), (6.9), and hypothesis 4, we have
Furthermore, by (6.7), (6.10), and hypothesis 4, we obtain
Adding inequalities (6.11) and (6.12), we have
By hypothesis 3, it is clear that
Thus, is a strongly pseudoinvex function with respect to the same and on .
7. Conclusions
In this paper, we introduced various concepts of generalized invariant monotonicity and established their relations with generalized invexity. Diagram (7.1) summarizes these relations, where means that the implication relation holds and means that the implication relation does not hold:
where IM stands for invariant monotonicity, IPM stands for invariant pseudomonotonicity, and IQM stands for invariant quasimonotonicity.
For the generalized invexity of a realvalued function, the relations in Diagram (7.2) hold:
Under certain conditions, we obtain the relationships between generalized invexity in Diagram (7.2) and the corresponding generalized invariant monotonicity in Diagram (7.1).
References
 1.
Hanson MA: On sufficiency of the KuhnTucker conditions. Journal of Mathematical Analysis and Applications 1981,80(2):545–550. 10.1016/0022247X(81)901232
 2.
Kaul RN, Kaur S: Optimality criteria in nonlinear programming involving nonconvex functions. Journal of Mathematical Analysis and Applications 1985,105(1):104–112. 10.1016/0022247X(85)90099X
 3.
Karamardian S, Schaible S: Seven kinds of monotone maps. Journal of Optimization Theory and Applications 1990,66(1):37–46. 10.1007/BF00940531
 4.
RuizGarzón G, OsunaGómez R, RufiánLizana A: Generalized invex monotonicity. European Journal of Operational Research 2003,144(3):501–512. 10.1016/S03772217(01)003939
 5.
Yang XM, Yang XQ, Teo KL: Criteria for generalized invex monotonicities. European Journal of Operational Research 2005,164(1):115–119. 10.1016/j.ejor.2003.11.017
 6.
Yang XM, Yang XQ, Teo KL: Generalized invexity and generalized invariant monotonicity. Journal of Optimization Theory and Applications 2003,117(3):607–625. 10.1023/A:1023953823177
 7.
Fan L, Liu S, Gao S: Generalized monotonicity and convexity of nondifferentiable functions. Journal of Mathematical Analysis and Applications 2003,279(1):276–289. 10.1016/S0022247X(03)00009X
 8.
Jabarootian T, Zafarani J: Generalized invariant monotonicity and invexity of nondifferentiable functions. Journal of Global Optimization 2006,36(4):537–564. 10.1007/s1089800690063
 9.
Behera N, Nahak C, Nanda S: Generalized invexity and generalized invariantmonotonicity. Nonlinear Analysis: Theory, Methods & Applications 2008,68(8):2495–2506. 10.1016/j.na.2007.02.004
 10.
Clarke FH: Optimization and Nonsmooth Analysis, Canadian Mathematical Society Series of Monographs and Advanced Texts. John Wiley & Sons, New York, , NY, USA; 1983:xiii+308.
 11.
Weir T, Mond B: Preinvex functions in multiple objective optimization. Journal of Mathematical Analysis and Applications 1988,136(1):29–38. 10.1016/0022247X(88)901138
 12.
Mohan SR, Neogy SK: On invex sets and preinvex functions. Journal of Mathematical Analysis and Applications 1995,189(3):901–908. 10.1006/jmaa.1995.1057
Acknowledgment
This research was partially supported by the National Natural Science Foundation of China (no.10771228 and no.10831009).
Author information
Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Liu, C., Yang, X. Generalized Invariant Monotonicity and Generalized Invexity of Nondifferentiable Functions. J Inequal Appl 2009, 393940 (2009). https://doi.org/10.1155/2009/393940
Received:
Accepted:
Published:
Keywords
 Nonempty Subset
 Real Banach Space
 Generalize Convexity
 Nonempty Open Subset
 Generalize Monotonicity