Abstract

In this article, we introduce a new notion of generalized convex fuzzy mapping known as strongly generalized preinvex fuzzy mapping on the invex set. Firstly, we have investigated some properties of strongly generalized preinvex fuzzy mapping. In particular, we establish the equivalence among the strongly generalized preinvex fuzzy mapping, strongly generalized invex fuzzy mapping, and strongly generalized monotonicity. We also prove that the optimality conditions for the sum of G-differentiable preinvex fuzzy mappings and non-G-differentiable strongly generalized preinvex fuzzy mappings can be characterized by strongly generalized fuzzy mixed variational-like inequalities, which can be viewed as a novel and innovative application. Several special cases are discussed. Results obtained in this paper can be viewed as improvement and refinement of previously known results.

1. Introduction

Convexity plays an essential role in many areas of mathematical analysis and, due to its vast applications in diverse areas, many authors extensively generalized and extended this concept using novel and different approaches. In [1], Hasnon introduced a useful generalization of convex function that is an invex function and proved the validity of significant results that hold for both convex and invex functions under few conditions. Ben-Israel and Mond [2] introduced the concept of preinvex functions on the invex sets. Later on, Mohan and Neogy [3] further extended their work by proving that, subject to certain conditions, a preinvex function defined on the invex set is an invex function and vice versa and they also showed that quasi-invex function is quasi-preinvex function. Noor [4] and Weir and Mond [5] showed that the preinvex functions preserved some important properties of convex functions. Furthermore, Noor et al. [68] studied the optimality conditions of differentiable preinvex functions on the invex set that can be characterized by variational inequalities. Similarly, an important and significant generalization of convex function is strongly convex function, which is introduced by Polyak [9], which plays major role in optimization theory and related areas. Karmardian [10] discussed the unique existence of a solution of the nonlinear complementarity problems by using strongly convex functions. With the support of strongly convex functions, Qu and Li [11] and Nikodem and Pales [12] investigated the convergence analysis for solving equilibrium problems and variational inequalities. For further study, we refer the readers to [1323] and the references therein for applications and properties of the strongly convex and preinvex functions.

In [24], the enormous research work fuzzy set and system has been dedicated to development of different fields and it plays an important role in the study of a wide class of problems arising in pure mathematics and applied sciences including operation research, computer science, managements sciences, artificial intelligence, control engineering, and decision sciences. The convex analysis has played an important and fundamental part in development of various fields of applied and pure science. Similarly, fuzzy convex analysis is used as the fundamental theory in fuzzy optimization. Fuzzy convex sets have been widely discussed by many authors, Liu [25] investigated some properties of convex fuzzy sets and, with the support of examples, he modified the concept of Zadeh [24] about shadow of fuzzy sets. Lowen [26] gathered some elementary well-known results about convex sets and proved separation theorem for convex fuzzy sets. Ammar and Metz [27] studied different types of convexity and defined generalized convexity of fuzzy sets. Furthermore, they formulated a general fuzzy nonlinear programing problem with application of the concept of convexity. In addition, the properties of convex fuzzy sets attracted the attention of a wide range of authors in [3, 28, 29] and the references therein. To discuss fuzzy number, it is a generalized form of an interval (in crisp set theory). Zadeh [24] defined fuzzy numbers and then Dubois and Prade [30] extended the work of Zadeh using new conditions on fuzzy number. Further, Goetschel and Voxman [31] modified different condition on fuzzy numbers so that fuzzy numbers can be easily handled. For instance, in [30], on fuzzy number, one condition is that this is a continuous function but, in [31], fuzzy number is upper semicontinuous. The goal is that, by the relaxation of conditions on fuzzy number, we can easily define a metric for collection of fuzzy numbers; then this metric allows us to study some basic properties of topological space. Furukawa [32], Nanda and Kar [33], and Syau [34] worked on the concept of fuzzy mapping from to the set of fuzzy numbers, Lipschitz continuity of fuzzy mapping, and fuzzy logarithmic convex and quasi-convex fuzzy mappings. Based on the concept of ordering illustrated by Goetschel and Voxman [35], Yan and Xu [36] presented the concepts of epigraphs and convexity of fuzzy mappings and described the characteristics of convex fuzzy and quasi-convex fuzzy mappings. The idea of fuzzy convexity has been generalized and extended in diversity of directions, which has significant implementation in many areas. It is worth mentioning that one of the most considered generalizations of convex fuzzy mapping is preinvex fuzzy mapping. The idea of fuzzy preinvex mapping on the fuzzy invex set was introduced and studied by Noor [37] and they verified that fuzzy optimality conditions of differentiable fuzzy preinvex mappings can be distinguished by variational-like inequalities. Moreover, any local minimum of a preinvex fuzzy mapping is a global minimum on invex set and a necessary and sufficient condition for fuzzy mapping is to be preinvex if its epigraph is an invex set. In [38], Syau further modified the concept of preinvex fuzzy mapping that was presented by Noor [37]. Syau and Lee [39] also discussed the terminologies of continuity and convexity through linear ordering and metric defined on fuzzy numbers. Extension in the Weierstrass Theorem from real-valued functions to fuzzy mappings is also one of their significant contributions in the literature. For recent applications, see [4043] and the references therein.

Motivated and inspired by the ongoing research work and by the importance of the idea of invexity and preinvexity of fuzzy mappings, the paper is organized as follows. Section 2 recalls some basic definitions, preliminary notations, and results which will be helpful for further study. Section 3 introduces the notions of strongly generalized preinvex, quasi-preinvex, and log-preinvex fuzzy mappings and investigates some properties. Section 4 studies the new relationships among various concepts of strongly preinvex fuzzy mappings and establishes the equivalence among the strongly generalized preinvex fuzzy mapping, strongly generalized invex fuzzy mapping, and strongly generalized monotonicity. We also introduce several new concepts of strongly generalized invex fuzzy mappings and strongly generalized monotonicities and then discuss their relation. Section 5 introduces the new class of fuzzy variational-like inequality, which is known as strongly generalized fuzzy mixed variational-like inequality. Several special cases are discussed. This inequality is itself an interesting outcome of our main results.

2. Preliminaries

Let be the set of real numbers. A fuzzy subset of is characterized by a mapping called the membership function, for each fuzzy set and ; then -level sets of are denoted and defined as follows: . If , then is called support of . By , we define the closure of .

Definition 1. A fuzzy set is said to be fuzzy number with the following properties: (1) is normal; that is, there exists such that (2) is upper semicontinuous; that is, for given there exist and such that for all with (3) is fuzzy convex; that is, , (4) is compact denotes the set of all fuzzy numbers. For fuzzy number, it is convenient to distinguish following -levels:From these definitions, we havewhereEach is also a fuzzy number, defined asThus, a fuzzy number can be identified by a parametrized triple:This leads to the following characterization of a fuzzy number in terms of the two end point functions and

Theorem 1 (see [35]). Suppose that and satisfy the following conditions: (1) is a nondecreasing function(2) is a nonincreasing function(3)(4) and are bounded and left continuous on and right continuous at Then , defined byis a fuzzy number and its parameterization form is given by Moreover, if is a fuzzy number with parametrization given by then functions and find conditions (1)–(4).
Let represent parametrically and , respectively. We say that if, for all , and . If then there exists such that or . We say that it is comparable if, for any , we have or ; otherwise, they are noncomparable. Sometimes we may write instead of and note that we may say that is a partial ordered set under the relation .
If there exists such that and then by this result we have the existence of Hukuhara difference of and , and we say that is the H-difference of and denoted by ; see [43]. If H-difference exists, thenNow we discuss some properties of fuzzy numbers under addition and scaler multiplication; if and , then and are defined as

Remark 1. Obviously, is closed under addition and nonnegative scaler multiplication and the above-defined properties on are equivalent to those derived from the usual extension principle. Furthermore, for each scalar number

Definition 2. A mapping is called fuzzy mapping. For each denote . Thus, a fuzzy mapping can be identified by a parametrized triple:

Definition 3 (see [40]). Let and . Then fuzzy mapping is said to be generalized differentiable (in short, G-differentiable) at if there exists an element .
For all sufficiently small, there exist , and the limits (in the metric ). where the limits are taken in the metric space , for .and denotes the well-known Hausdorff metric on space of intervals.

Definition 4 (see [27]). A fuzzy mapping is called convex on the convex set ifIt is strictly convex fuzzy mapping if strict inequality holds for . is said to be concave fuzzy mapping if is convex on It is strictly concave fuzzy mapping if strict inequality holds for .

Definition 5 (see [27]). A fuzzy mapping is called quasi-convex on the convex set if

Definition 6 (see [2]). The set in is said to be invex set with respect to arbitrary bifunction ifThe invex set is also called -connected set. Note that convex set is called an invex set in classical sense, but the converse is not valid. For instance, the set is an invex set with respect to nontrivial bifunction given as

Definition 7 (see [17]). A fuzzy mapping is called preinvex on the invex set with respect to bifunction if, where
It is strictly preinvex fuzzy mapping if strict inequality holds for . is said to be preconcave fuzzy mapping if is preinvex on It is strictly preconcave fuzzy mapping if strict inequality holds for .

Lemma 1. (see [42]). Let be an invex set with respect to and let be a fuzzy mapping parametrized by Then is preinvex on if and only if, for all and are preinvex with respect to on .

Definition 8 (see [17]). A comparable fuzzy mapping is called quasi-preinvex on the invex set with respect to if, , such thatFor further study, let be a nonempty closed invex set in Let be a fuzzy mapping and let be an arbitrary bifunction. Let be a nonnegative function, defined as . We let and be the norm and inner product, respectively.

3. Strongly Generalized Preinvex Fuzzy Mappings

In this section, we propose the new concept of nonconvex fuzzy mappings known as strongly generalized preinvex fuzzy mappings. We define some different types of nonconvex fuzzy mappings and investigate some basic properties.

Definition 9. Let be an invex set and let be fuzzy mapping. Then is said to be strongly generalized preinvex fuzzy mapping with respect to an arbitrary nonnegative function and bifunction , if there exists a constant such that and
It is strictly strongly generalized preinvex fuzzy mapping if strict inequality holds for and is said to be strongly generalized preconcave fuzzy mapping if is strongly generalized preinvex on It is strictly generalized preconcave fuzzy mapping if strict inequality holds for .
Now we discuss some special cases of strongly generalized preinvex fuzzy mappings.
If , , then, for all (4) becomeswhich is called the higher-ordered strongly preinvex fuzzy mapping. This is itself a very interesting problem to study its applications in pure and applied science like fuzzy optimization. When , is called strongly preinvex fuzzy mapping with respect to bifunction
If then strongly generalized preinvex fuzzy mapping becomes preinvex fuzzy mapping with respect to bifunction ; that is,If with and , then and inequality (4) becomesand this is called the higher-ordered strongly convex fuzzy mapping. When , is called strongly convex fuzzy mapping.
If , then higher-ordered strongly convex fuzzy mapping becomes convex fuzzy mapping; that is,If , then (22) becomesMapping is called the strongly generalized Jensen preinvex (in short, J-preinvex) fuzzy mapping.
We also define the strongly generalized affine J-preinvex fuzzy mapping.

Definition 10. A mapping is said to be strongly generalized affine preinvex fuzzy mapping on with respect to an arbitrary nonnegative function and bifunction if, there exists a positive number such thatwhere and
If , then we also say that is strongly generalized affine J-preinvex fuzzy mapping such thatfor all

Remark 2. The strongly generalized preinvex fuzzy mappings have some very nice properties similar to preinvex fuzzy mapping:(i)If is strongly generalized preinvex fuzzy mapping, then is also strongly generalized preinvex for (ii)If and both are strongly generalized preinvex fuzzy mappings with respect to an arbitrary nonnegative function and bifunction , then is also strongly generalized preinvex fuzzy mapping with respect to and

Theorem 2. Let be an invex set with respect to and let be a fuzzy mapping parametrized byfor all and then is strongly generalized preinvex fuzzy mapping on with modulus if and only if, for all and are strongly generalized preinvex functions with respect to , , and modulus

Proof. Assume that, for each and are strongly generalized preinvex functions with respect to , and modulus on Then, from (4), for all , we haveThen, by (30), (9), (10), and (11), we obtainHence, is a strongly generalized preinvex fuzzy mapping on with modulus
Conversely, let be a strongly generalized preinvex fuzzy mapping on with modulus Then, for all and we haveFrom (30), we haveFrom (30), (9), (10), and (11), we obtainfor all and Then, by strongly generalized preinvexity of , we have, for all and such thatfor each Hence, the result follows.
Note that if then Theorem 2 reduces to the following statement.
Let be a convex set and let be a fuzzy mapping parametrized byand then is a strongly generalized convex fuzzy mapping on if and only if, for all and are strongly generalized convex functions on .

Example 1. We consider the fuzzy mappings defined byThen, for each we have . Since end point functions are strongly generalized preinvex for each , is a strongly generalized preinvex fuzzy mapping with respect toand
From Example 1, it can be easily seen that, for each , there exists a strongly generalized preinvex fuzzy mapping.
We now established a result for strongly generalized preinvex fuzzy mapping, which shows that the difference of strongly generalized preinvex fuzzy mapping and strongly generalized affine preinvex fuzzy mapping is again a strongly generalized preinvex fuzzy mapping.

Theorem 3. Let fuzzy mapping be strongly generalized affine preinvex with respect to and . Then is strongly generalized preinvex fuzzy with respect to same and if and only if is a preinvex fuzzy mapping.

Proof. The “If” part is obvious. To prove the “only if” part, assume that is strongly generalized affine preinvex with respect to nonnegative function and bifunction ; then there exists such thatand since is a strongly generalized preinvex fuzzy mapping, we haveand, from (40) and (41), we havefrom which it follows thatIt is shown that is a strongly generalized preinvex fuzzy mapping.

Definition 11. A comparable fuzzy mapping is said to be strongly generalized quasi-preinvex on with respect to nonnegative function and bifunction if, , there exists a positive number such thatwhere and

Definition 12. A fuzzy mapping is called strongly generalized log-preinvex on with respect to nonnegative function and bifunction , if, there exists a positive number such thatwhere , and

Remark 3. From Definition 12, we haveIt can be easily seen that each strongly generalized log-preinvex fuzzy mapping on is strongly generalized quasi-preinvex fuzzy mapping and strongly generalized preinvex fuzzy mapping on is strongly generalized quasi-preinvex fuzzy mapping, when is a comparable fuzzy mapping.

Definition 13. A fuzzy mapping is called pseudo-preinvex on if there exists a strictly positive bifuzzy mapping such thatfor all , where

Theorem 4. Let be a strongly generalized preinvex fuzzy mapping on such that Then fuzzy mapping is strongly generalized pseudo-preinvex with respect to same nonnegative function and .

Proof. Let and let be a strongly generalized preinvex fuzzy mapping. Then, for all , there exists modulus such thatand, therefore, for every , we haveFrom the above equation, we haveFrom (50), we havethat iswhere . This completes the proof.

4. G-Differentiable Strongly Generalized Preinvex Fuzzy Mappings

Throughout this section, we assume that the nonnegative function is homogenous of degree two and even; that is, , for all , , unless otherwise specified.

Definition 14. A fuzzy mapping is called sharply strongly generalized pseudo-preinvex with respect to and on if, , there exists such thatwhere is G-differentiable of at

Theorem 5. Let be a sharply strongly generalized pseudo-preinvex fuzzy mapping on with Then,

Proof. Since is a sharply strongly generalized pseudo-preinvex fuzzy mapping on , , there exists such thatwhich implies thatand, therefore, for every , we havefrom which we getand, taking limit in the above inequality as , we getHence, the result follows.

Definition 15. A G-differentiable fuzzy mapping is called strongly generalized invex with respect to and if, , there exists constant such that

Definition 16. A G-differentiable fuzzy mapping is called strongly generalized pseudo-invex with respect to and if, , there exists constant such that

Definition 17. A G-differentiable fuzzy mapping is called strongly generalized quasi-invex with respect to and if, , there exists constant such that

Definition 18. A G-differentiable fuzzy mapping is called pseudo-invex with respect to and if, such that

Definition 19. A G-differentiable fuzzy mapping is called quasi-invex with respect to and if, such thatIf then definitions reduce to known ones. All Definitions 1519 may play an important role in fuzzy optimization problem and mathematical programing.

Theorem 6. Let be a G-differentiable strongly generalized preinvex fuzzy mapping. Then is a strongly generalized invex fuzzy mapping.

Proof. Let be a G-differentiable strongly generalized preinvex fuzzy mapping. Since is a strongly generalized preinvex fuzzy mapping, there exists constant , and, for all and , we haveand, therefore, for every , we havewhich implies thatTaking limit in the above inequality as , we haveFrom that, we haveand when , Theorem 6 reduces to the following result.

Theorem 7. Let be a G-differentiable preinvex fuzzy mapping. Then, is an invex fuzzy mapping.
To prove conversion of Theorem 6, we need the following assumption regarding the function which plays an important role in G-differentiation of the main results.
Condition C is as follows [33]:The following result finds the conversion of Theorem 6.

Theorem 8. Let be a G-differentiable fuzzy mapping on and Condition C holds. Let the function be homogenous of degree 2 and even. Then the following are equivalent:(a) is a strongly generalized preinvex fuzzy mapping:

Proof. () implies ().
The demonstration is analogous to the demonstration of Theorem 6.
() implies (). Assume that (71) holds. Then,Then, for every , we haveReplacing by and by in (21), we haveAdding (74) and (75), we havethat isand () implies (). Assume that (72) holds. Then,Therefore, for every , we haveSince is an invex set, we have for all and . Taking in (23), we get By using Condition C and the fact that is homogenous of degree 2 and even, we haveLetand, taking G-derivative with respect to , we getfrom which, using (81), we haveIntegrating (84) over with respect to , we getSince is a strongly generalized preinvex fuzzy mapping, for , we haveFrom that, we have() implies (). Assume that (71) holds. Since is an invex set, we have for all and . Taking in (19) for each , we getUsing Condition C, we haveIn a similar way, we obtainMultiplying (89) by and (90) by and adding the resultant, we havethat isHence, is a strongly generalized preinvex fuzzy mapping with respect to and .
Theorems 6 and 8 enable us to define the following new definitions.

Definition 20. A G-differentiable fuzzy mapping is said to be the following: (i)Strongly generalized monotone fuzzy operator with respect to and if and only if, , there exists constant such that(ii)Monotone fuzzy operator with respect to bifunction if and only if, ,(iii)Strongly generalized pseudomonotone fuzzy operator with respect to and if and only if, , there exists constant such that(iv)Strictly monotone fuzzy operator with respect to bifunction if and only if(v)Pseudomonotone fuzzy operator with respect to bifunction if and only if(vi)Quasi-monotone fuzzy operator with respect to bifunction if and only if(vii)Strictly pseudomonotone fuzzy operator with respect to bifunction if and only ifIf , then Definition 20 reduces to a new one.
As a special case of Theorem 8, we have the following.

Theorem 9. Let be a G-differentiable fuzzy mapping on and Condition C holds. If the function is homogenous of degree 2 and even, then is a strongly generalized -invex fuzzy mapping if and only if is a strongly generalized -monotone fuzzy operator.

Proof. The proof is similar to that of Theorem 8.

Theorem 10. Let G-differential of fuzzy mapping on be a strongly generalized pseudomonotone fuzzy operator and Condition C holds. Let the function be homogenous of degree 2 and even. Then, is a strongly generalized pseudo-invex fuzzy mapping.

Proof. Let be fuzzy strongly generalized pseudomonotone. Then, for all , we haveTherefore, for every , we haveSince is an invex set, we have for all and . Taking in (101), we getBy using Condition C, we haveAssume thatand, taking G-derivative with respect to , using (103), we haveIntegrating (105) over with respect to , we getwhich implies thatFrom condition (i), we havethat isHence, is a strongly generalized pseudo-invex fuzzy mapping.

Theorem 11. Let G-differential of fuzzy mapping on be a pseudomonotone fuzzy operator and Condition C holds. Then is a pseudo-invex fuzzy mapping.

Theorem 12. Let G-differential of fuzzy mapping on be a quasi-monotone fuzzy operator and Condition C holds. Then is a quasi-invex fuzzy mapping.
We now discuss the fuzzy optimality condition for G-differentiable strongly generalized preinvex fuzzy mappings, which is the main motivation of our results.

5. Strongly Generalized Fuzzy Mixed Variational-Like Inequalities

A well-known fact in mathematical programing is that variational inequality problem has a close relationship with the optimization problem. Similarly, the fuzzy variational inequality problem also has a close relationship with the fuzzy optimization problem.

Consider the unconstrained fuzzy optimization problemwhere is a subset of and is a fuzzy mapping.

A point is called a feasible point. If and no , , then is called an optimal solution, a global optimal solution, or simply a solution to the fuzzy optimization problem.

Theorem 13. Let be a G-differentiable strongly generalized preinvex fuzzy mapping modulus . If is the minimum of the mapping , then

Proof. Let be a minimum of . Then, we haveTherefore, for every , we haveSince is an invex set, for all , , . Taking in (113), we getTaking limit in the above inequality as , we getand since is a G-differentiable strongly generalized preinvex fuzzy mapping,and, again taking limit in the above inequality as , we getfrom which, using (115), we havethat isThis completes the proof.

Remark 4. If is a G-differentiable strongly generalized preinvex fuzzy mapping modulus and, then is the minimum of the mapping .
The inequality of the type in (120) is called strongly generalized fuzzy variational-like inequality. We would like to emphasize that the optimality conditions of the strongly generalized preinvex fuzzy mapping can be characterized by the following inequality:and, , this is called variational-like inequality.
We consider the functional , defined as where is a G-differentiable preinvex fuzzy mapping and is a non-G-differentiable strongly preinvex fuzzy mapping.
We show that the minimum of the functional can be characterized by a class of variational-like inequalities.

Theorem 14. Let be a G-differentiable preinvex fuzzy mapping and let be a non-G-differentiable strongly generalized preinvex fuzzy mapping. Then the functional has minimum if and only if satisfies

Proof. Let be the minimum of ; then, by definition, for all , we haveand since is an invex set, , for all and . Replacing by in (124), we getand, therefore, for every , we havewhich implies that, using (122),Since is a strongly generalized preinvex fuzzy mapping,Now, dividing by “” and taking , we haveSince and from the above inequalities, we haveSince is a fuzzy mapping, from the above inequalities, we haveConversely, let (123) be satisfied to prove that is a minimum of . Assume that, for all , we haveTherefore, for every , we haveBy Theorem 7, we haveBy using (123), we haveand, hence,
Note that (123) is called a strongly generalized fuzzy mixed variational-like inequality. This result shows the characterization of the minimum of strongly generalized preinvex fuzzy mapping with the help of strongly generalized fuzzy mixed variational-like inequalities.
Now, we discuss some special cases of strongly generalized fuzzy mixed variational-like inequalities:(i)If , then (123) is called a strongly fuzzy mixed variational-like inequality such as(ii)If , then (136) is called a strongly fuzzy mixed variational inequality such as(iii)If then (136) is called a fuzzy mixed variational-like inequality such as(iv)If then (137) is called a fuzzy mixed variational inequality such as(v)If then (138) is known as a fuzzy variational-like inequality.(vi)If then (139) is known as a fuzzy variational inequality.

Theorem 15. Let be a G-differentiable invex fuzzy mapping and let be a non-G-differentiable strongly preinvex fuzzy mapping. Then functional has minimum if and only if satisfies

Proof. The proof is similar to that of Theorem 14; it is omitted here.

Remark 5. Inequality (123) shows that the variational-like inequalities arise naturally in connection with the minimization of the G-differentiable preinvex fuzzy mappings subject to certain constraints.

6. Conclusion

In this paper, we introduced and studied a new class of fuzzy nonconvex mappings with respect to nonnegative function and bifunction known as strongly generalized preinvex fuzzy mappings. We proved that convex and preinvex fuzzy mappings are special cases of strongly generalized preinvex fuzzy mappings. In case of G-differentiable preinvex fuzzy mappings and non-G-differential strongly generalized preinvex fuzzy mappings, we introduced the new class of fuzzy variational-like inequalities is known as strongly generalized fuzzy mixed variational-like inequalities characterizing the optimality conditions for the sum of G-differentiable preinvex fuzzy mappings and non-G-differentiable strongly generalized preinvex fuzzy mappings. We hope that this link between these fields may lead to significant, new, and innovative result.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

All authors contributed equally to the writing of this paper and all of them read and approved the final manuscript.

Acknowledgments

The authors acknowledge the Rector, COMSATS University Islamabad, Islamabad, Pakistan, for providing excellent research and academic environments. This study was funded by the National Natural Science Foundation of China (no. 71771140).