Abstract

The main objective of this paper is to obtain the fractional integral operator inequalities which provide bounds of the sum of these operators at an arbitrary point. These inequalities are derived for -exponentially convex functions. Furthermore, a Hadamard inequality is obtained for fractional integrals by using exponentially symmetric functions. The results of this paper contain several such consequences for known fractional integrals and functions which are convex, exponentially convex, and -convex.

1. Introduction

Convex functions play an important role in many areas of mathematics. They are important especially in the study of optimization problems, theory of inequalities, mathematical analysis, statistical analysis, operation research, and so on. The analytical definition of convex function motivated the authors to define more such functions theoretically; for example, the terms quasi-convex, -convex, -convex, -convex, -convex, and -convex functions [1] are defined by extending or generalizing inequality (1). For this paper, we will use exponentially -convex functions which include exponentially convex, -convex, and convex functions.

Definition 1. A function , where is an interval in , is said to be convex function if the following inequality holds:for all and .

Definition 2 (see [2]). A function , where is an interval in , is said to be exponentially convex function ifholds for all , and . If the inequality in (2) is reversed, then is called exponentially concave.
A generalization of convex function defined on the right half of the real line is the -convex function defined as follows:

Definition 3. (see [3]). Let . A function is said to be -convex function in the second sense ifholds for all and .
It is noted that I-convex function is convex. A further generalization of the above defined functions is given as follows:

Definition 4. (see [4]). Let and be an interval. A function is said to be exponentially -convex in the second sense ifholds for all , and . If the inequality in (4) is reversed, then is called exponentially -concave.
For utilizations of exponentially convex functions, one can see [2, 47]. Our aim in this paper is to utilize exponentially -convex functions for establishing bounds of fractional integral operators with kernel Mittag-Leffler function. The Mittag-Leffler function denoted by was introduced by Mittag-Leffler [8] in 1903:where , is the gamma function, and .
The Mittag-Leffler function is a direct generalization of the exponential function to which it reduces for . In the solution of fractional integral and fractional differential equations, it arises naturally. Due to its importance and utilizations, Mittag-Leffler function has been generalized by many authors. By direct involvement in the problems of physics, chemistry, biology, engineering, and other applied sciences, Mittag-Leffler function and its generalizations have successful applications. Recently, in [9], Andrić et al. introduced an extended generalized Mittag-Leffler function which is defined as follows:

Definition 5. Let , , and with , , and . Then, the extended generalized Mittag-Leffler function is defined bywhere is the generalized beta function defined as follows:and is the Pochhammer symbol defined by .
From (4), one can obtain the Mittag-Leffler functions defined in [1014], see Remark 1.3 of [32].

Lemma 1. (see [9]). If and such that with and , thenFractional integral operators are very useful in mathematical inequalities. The authors have established fractional integral inequalities due to different fractional integral operators, see [1530]. Many authors have used Mittag-Leffler function to define fractional integral operators. The fractional integral operators corresponding to Mittag-Leffler function (4) are defined as follows:

Definition 6. (see [9]). Let , , and with , , and . Let and . Then, the generalized fractional integral operators containing Mittag-Leffler function are defined byandwhere is the Mittag-Leffler function defined in (6).
From (9) and (10), one can obtain the fractional integral operators defined in [1014], see Remark 1.4 of [32]. In [20], Farid et al. proved thatandWe will follow the upcoming notations in the main results:The upcoming section contains the main results which address the bounds of fractional integral operators containing Mittag-Leffler functions for exponentially -convex functions. The continuity of such fractional integrals is proved. A Hadamard inequality is established that leads to several Hadamard inequalities for convex, exponentially convex, and -convex functions. Moreover, the results of papers [31, 32] can be obtained in particular.

2. Main Results

Theorem 1. Let be a real-valued function. If is positive and exponentially -convex, then for , the following upper bound for generalized integral operators holds:

Proof. Let . Then, for and , we have the following inequality:As is exponentially -convex, therefore, one can obtainBy multiplying (13) and (14) and then integrating over , we getThe left integral operator follows the upcoming inequality:Now, on the contrary, for and , we have the following inequality:Again from exponentially -convexity of , we haveBy multiplying (20) and (21) and then integrating over , we getThe right integral operator satisfies the following inequality:By adding (19) and (23), required inequality (15) can be obtained.

Corollary 1. If we set in (15), then the following inequality is obtained:

Corollary 2. Along with assumption of Theorem 1, if , then the following inequality is obtained:

Corollary 3. For in (25), we get the following result:

Corollary 4. For in (25), we get the following result for exponentially convex functions:

Theorem 2. With the assumptions of Theorem 1, if , then operators defined in (9) and (10) are bounded and continuous.

Proof. If , then from (19), we havethat is,where . Therefore, is bounded, and also, it is easy to see that it is linear; hence, this is a continuous operator. Also, on the contrary, from (23), one can obtainwhere . Therefore, is bounded and also it is linear, hence continuous.
The next result provides boundedness of the left and the right fractional integrals at an arbitrary point for functions whose derivatives in absolute values are exponentially -convex.

Theorem 3. Let be a real-valued function. If is differentiable and is exponentially -convex, then for , the following fractional integral inequality for generalized integral operators (9) and (10) holds:

Proof. Let and ; by using exponentially -convexity of , we haveFrom (32), one can haveThe product of (16) and (33) gives the following inequality:After integrating the above inequality over , we getThe left-hand side of (35) is calculated as follows:Putting , that is, and also utilizing (8), we haveNow, putting in the second term of the right-hand side of the above equation and then using (9), we getTherefore, (35) takes the following form:Also, from (32), one can haveFollowing the same procedure as we did for (33), one can obtainFrom (39) and (41), we getNow, we let and . Then, by exponentially -convexity of , we haveOn the same lines as we have done for (16), (33), and (40), one can get from (20) and (43) the following inequality:From inequalities (42) and (44), via triangular inequality, (28) can be obtained.
The following results hold as special cases.

Corollary 5. If we put in (28), then the following inequality is obtained:

Definition 7. Let be a function; we say is exponentially symmetric about ifIt is required to give the following lemma which will be helpful to produce Hadamard-type estimations.

Lemma 2. Let be an exponentially -convex function. If is exponentially symmetric, then the following inequality holds:

Proof. For be a closed interval, , and , we haveSince is exponentially -convex, soLet , where . Then, we have , and we getNow, using the fact of exponentially symmetric, we will get (47).

Theorem 4. Let , , be a real-valued function. If is positive, exponentially -convex, and symmetric about , then for , the following fractional integral inequality for generalized integral operators (9) and (10) holds:

Proof. For , we haveAs is exponentially -convex, so for , we haveBy multiplying (52) and (53) and then integrating over , we getfrom which we haveNow, on the contrary, for , we haveBy multiplying (53) and (57) and then integrating over , we getfrom which we haveAdding (56) and (60), we getMultiplying (47) with and integrating over , we getBy using (10) and (14), we getMultiplying (47) with , integrating over , and also using (6) and (10), we getBy adding (63) and (64), we getBy combining (61) and (65), inequality (51) can be obtained.

Corollary 6. If we put in (51), then the following inequality is obtained:

3. Concluding Remarks

We have established the general fractional integral inequalities by using exponentially -convex functions. By selecting particular values at the place of parameters, a variety of results can be obtained. For example, the reader can obtain bounds for fractional integral operators defined by Salim and Faraj in [12] by selecting , bounds for fractional integral operators defined by Rahman et al. in [11] by selecting , bounds for fractional integral operators defined by Shukla and Prajapati in [13] by selecting and , bounds for fractional integral operators defined by Prabhakar in [10] by selecting and , and bounds for Riemann–Liouville fractional integrals by selecting .

Data Availability

All the data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors do not have any conflicts of interest.

Authors’ Contributions

All authors contributed equally to this paper.

Acknowledgments

This paper was supported by HEC, Pakistan.