Abstract

This paper deals with generalized integral operator inequalities which are established by using -quasiconvex functions. Bounds of an integral operator are established which have connections with different kinds of known fractional integral operators. All the results are deducible for quasiconvex functions. Some fractional integral inequalities are deduced.

1. Introduction and Preliminaries

Convex functions play a vital role in the theory of mathematical analysis. Many generalizations have been given for the convex function, for example, -convex, -convex, -convex, -convex, -convex, -convex, -convex, -convex, and quasiconvex functions (see [110]). We will use -quasiconvex functions to study the bounds of unified integral operators, and the established results are directly related with fractional integral operators in particular cases. All the fractional integral operators defined in [1115] satisfy the results of this paper for -quasiconvex functions, and also the results of [1619] are reproduced in special cases.

Definition 1. (see [20]). A function is called convex ifholds , where is an interval in .

Definition 2. (see [21]). A function is called -quasiconvex ifholds , where is an interval in and is a bifunction.
For , (2) reduces to quasiconvex function. It is to be noted that every convex function is quasiconvex but converse does not hold.

Example 1. (see [22]). A function defined asis quasiconvex on but not a convex function on the same interval.
The aim of this paper is to establish integral inequalities by using -quasiconvex functions. The results will provide upper bounds of integral operators for -quasiconvex functions, which will behave like compact formulas that unify bounds of various kinds of operators already defined in literature. Next, we give some generalized fractional integral operators connected with the findings of this work.

Definition 3. (see [14]). Let and be positive and increasing function on , and also, let have continuous derivative on . The left and right fractional integrals of with respect to on of order , where , are given as follows:where

Definition 4. (see [23]). Let and be positive and increasing function on , and also let have continuous derivative on . The left and right -fractional integrals of with respect to on of order , where , are given as follows:where

Definition 5. (see [24]). Let and ; also, let , , with , , and , then the generalized fractional integral operators and are defined aswhere is given byIn [11], Farid defined a unified integral operator and proved the boundedness, linearity, and continuity of these integrals. It is given in the following definition.

Definition 6. (see [11]). Let where be the functions such that f is positive and integrable over and is differentiable and strictly increasing. Also, let be an increasing function on and , , 0 and . Then, for , the left and right integral operators are defined aswhereBy making particular choices for and parameters involved in (9), several fractional integrals can be obtained (see [19], Remarks 6 and 7). In [19], Zhao. et al. proved the bounds of unified integral operators for quasiconvex functions stated in Theorems 1 to 4.

Theorem 1. Consider be a positive quasiconvex function and be differentiable and strictly increasing function. Also, be an increasing function on and , 0, , and . Then, for , we have

Theorem 2. Under the assumptions of Theorem 1, the following result holds:

Theorem 3. Along with the assumptions of Theorem 1, if , then the following result holds:

Theorem 4. Consider be two differentiable functions such that is quasiconvex and be strictly increasing for . Also, be an increasing function on and , 0 and and . Then, for , we havewhereAll of the above results are direct consequences of the results of this paper. Also, some of the results in papers [1618] are very special cases. In the next section, -quasiconvexity has been used frequently to obtain the upper bounds and the Hadamard inequality, which gives upper as well as lower bounds of unified integral operators. Also defining convolution of two functions, some bounds have been obtained for -quasiconvexity of of differential function . In Section 3, some applications of the main results are given. In the whole paper, we use the notation

2. Main Results

Theorem 5. Consider is -quasiconvex and positive and differentiable and strictly increasing functions. If is increasing function on and , , and , then for , the following inequality holds:

Proof. For the kernel defined in (12) and the function , we can write the following inequality:By using -quasiconvexity of on , one can getThe following integral inequality is constituted from (21) and (22):Using (10) in the left and integrating on the right side of inequality (23), we obtain the following upper bound of the left integral operator:Now, following the similar technique for and , we can writeUsing -quasiconvexity for and , we obtainThe following integral inequality is constituted from (25) and (26):Using (11) in the left and integrating on the right side of the above inequality, we obtain the following upper bound of the right integral operator:By summing (24) and (28), the inequality (20) can be obtained.

Corollary 1. Using in (20), we get the following result:

Remark 1. (i)For in (20), we obtain inequality (13) of Theorem 1.(ii)For , for the left-hand integral and for the right-hand integral in (20) with , we obtain Theorem 2.1 in [17].(iii)For in the resulting inequality of (ii), we obtain Corollary 2.2 in [17].(iv)For , for the left-hand integral and for the right-hand integral in (20) with , we obtain Corollary 2.3 in [17].(v)Under the same assumptions as in (ii) along with as identity function, the result (20) reduces to Corollary 2.4 in [17].(vi)Under the same assumptions as in (iv) along with as identity function, the result (20) reduces to Corollary 2.5 in [17].(vii)Under the same assumptions as in (ii), if is increasing on , the result (20) reduces to Corollary 2.6 in [17].(viii)Under the same assumptions as in (ii), if is decreasing on , the result (20) reduces to Corollary 2.7 in [17].(iix)For in the resulting inequality of (viii), we obtain Corollary 2.2 in [18].

Theorem 6. The following result holds under the suppositions of Theorem 5:

Proof. Using in (24) and in (28) and then adding the obtained inequalities, we get (30).

Corollary 2. Using in (30), we get the following result:

Remark 2. (i)For in (30), we obtain inequality (14) of Theorem 2.(ii)For , for the left-hand integral and for the right-hand integral in (30) with , we obtain Theorem 3.1 in [17].(iii)For , for the left-hand integral and for the right-hand integral in (31) with , we obtain Corollary 3.2 in [17].(iv)For , replacing with , for the left-hand integral, for the right-hand integral, and as identity function in (30), we obtain Theorem 2.1 in [18].(v)Under the same assumptions as in (iv) along with , the result (30) reduces to Theorem 3.3 in [16].Before proceeding to the next result, we will prove the following lemma. This lemma is necessary to prove the upcoming result.

Lemma 1. Let be -quasiconvex function. If , then the following inequality holds:

Proof. Using -quasiconvexity of the function , the upcoming inequality holds:Using in above inequality, we get the required inequality.

Remark 3. Using , (32) coincides with Lemma 1 in [19].

Theorem 7. Along with the assumptions of Theorem 5, if and , then the following results hold:provided or .

Proof. From the kernel defined in (12) and the function , we can writeUsing -quasiconvexity of on , we haveThe following inequality is constituted from (36) and (37):Using (11) in the left and integrating on the right side of the above inequality, we obtain the following upper bound of the right integral operator:Also,From (37) and (40), we getUsing (10) in the left and integrating on the right side of the above inequality, we obtain the following upper bound of the left integral operator:Now using (32) of Lemma 1, we can have

Case 1. If , then by using (11), in (43), and integrating over , we getIn this case, we also have

Case 2. If , then by using (11) in (43), we getIn this case, we also haveThe inequality (34) will be obtained by summing (39) with (42) and (44) with (45) and then combining the resulting inequalities. The inequality (35) will be obtained by summing (39) with (42) and (46) with (47) and then combining the resulting inequalities.

Corollary 3. For in (34) and (35), we get the following results:

Remark 4. (i)For in (34), we get inequality (15) of Theorem 3.(ii)For , for the left-hand integral and for the right-hand integral in (34) with , we obtain Theorem 2.16 in [17].(iii)For , for the left-hand integral and for the right-hand integral in (48) with , we obtain Corollary 2.17 in [17].(iv)For , for the left-hand integral and for the right-hand integral in (34) with , we obtain Corollary 2.18 in [17].(v)Under the same assumptions as in (ii) along with as identity function, the result (34) reduces to Corollary 2.19 in [17].(vi)Under the same assumptions as in (iv) along with as identity function, the result (34) reduces to Corollary 2.20 in [17].(vii)Under the same assumptions as in (ii), if is increasing on , the result (34) reduces to Corollary 2.21 in [17].(viii)Under the same assumptions as in (ii), if is decreasing on , the result (34) reduces to Corollary 2.22 in [17].

Theorem 8. Consider are two differentiable functions such that is -quasiconvex and is strictly increasing for . If is increasing function on and , , and , then for , the following inequality holds:where and are defined in (17) and (18).

Proof. The -quasiconvexity of implies the following inequality:which is equivalent toFirst considerThe following inequality is constituted from (21) and (53):from which we getNow, we considerUsing (21) and (56), we getNow, again using -quasiconvexity of , we haveSimilarly using (25) and (58), one can obtainThe inequality (50) will be obtained by summing (55), (57), (59), and (60).

Corollary 4. For in (50), we get the following result:

Remark 5. (i)For in (50), we obtain inequality (16) of Theorem 4.(ii)For , for the left-hand integral and for right-hand integral in (50) with , we obtain Theorem 2.8 in [17].(iii)For , for the left-hand integral and for the right-hand integral in (61) with , we obtain Corollary 2.9 in [17].(iv)For , for the left-hand integral and for the right-hand integral in (50) with , we obtain Corollary 2.10 in [17].(v)Under the same assumptions as in (ii) along with as identity function, the result (50) reduces to Corollary 2.11 in [17].(vi)Under the same assumptions as in (iv) along with as identity function, the result (50) reduces to Corollary 2.12 in [17].(vii)Under the same assumptions as in (ii), if is increasing on , the result (50) reduces to Corollary 2.13 in [17].(viii)Under the same assumptions as in (ii), if is decreasing on , the result (50) reduces to Corollary 2.14 in [17].(ix)Under the same assumptions as in (ii), if in addition we put and in the left- and right-hand integrals, respectively, we obtain Theorem 3.2 in [17].(x)For in the resulting inequality of (ix), we obtain Corollary 3.5 in [17].(xi)For in the resulting inequality of (x), we obtain Corollary 3.6 in [17].

3. Applications

In this section, we present some results by applying theorems of previous section.

Proposition 1. The following result holds under the suppositions of Theorem 5:

Proof. For and , with is increasing for in the proof of Theorem 5 we get (62).

Proposition 2. The following result holds under the suppositions of Theorem 5:

Proof. Using as identity function, , and in the proof of Theorem 5, we get inequality (63).

Corollary 5. For in Theorem 5, the following bound for is satisfied:

Corollary 6. Using in (63), fractional integrals and defined in [14] are obtained which satisfy the following bound:

Corollary 7. Using in (63), fractional integral operators and given in [26] are obtained which satisfy the following bound:

Corollary 8. Using , and , in (10) and (11), respectively, with , then fractional integral operators and given in [27] are obtained which satisfy the following bound:

Corollary 9. Using , and , in (10) and (11), respectively, with , then fractional integral operators and are obtained which satisfy the following bound:

Corollary 10. Using and in (10) and (11), respectively, with , then fractional integral operators and given in [28] are obtained which satisfy the following bound:

Corollary 11. Using , , in (10) and (11), respectively, with , fractional integral operators and are obtained given in [13] which satisfy the following bound:

Corollary 12. Using , in (10), and in (11), where with , then following fractional integral operators are obtained given in [12]:Furthermore, the following bound is also satisfied:

Corollary 13. For and in (10) and in (11), where with , then the following fractional integral operators are obtained given in [29]:Furthermore, the following bound is also satisfied:Similar bounds can be obtained for Theorems 7 and 8 which we leave for the reader.

4. Concluding Remarks

A notion namely -quasiconvexity is studied under an integral operator that associates with different kinds of operators independently defined by various authors during the last two decades. The consequences of the results are compiled in the form of corollaries and remarks. Although some of the particular cases are analyzed in Section 3 by applying Theorem 5, the reader can further compute more results as desired by applying other theorems.

Data Availability

There are no additional data required for the finding of results of this paper.

Disclosure

There is no funding available for the publication of this paper.

Conflicts of Interest

The authors declare that there are no conflicts of interest.

Authors’ Contributions

All authors have equal contribution in this article.

Acknowledgments

This work was supported by the Dong-A University Research Fund.