New developments in fractional integral inequalities via convexity with applications

: The main objective of this article is to build up a new integral equality related to Riemann Liouville fractional (RLF) operator. Based on this integral equality, we show numerous new inequalities for di ﬀ erentiable convex as well as concave functions which are similar to celebrated Hermite-Hadamard and Simpson’s integral inequalities. The present outcomes of this paper are a uniﬁcation and generalization of the comparable results in the literature on Hermite-Hadamard and Simpson’s integral inequalities. Furthermore as applications in numerical analysis, we ﬁnd some means, q-digamma function and modiﬁed Bessel function type inequalities.


Introduction
An important inequality for classical convex functions which has been extensively studied in recent decades is the Hermite-Hadamard's inequality, which was obtained by Hermite and Hadamard independently. This inequality gives lower and upper estimates for the integral average of any convex function formed on a compact interval encompassing the domain midpoint and endpoints. To, more precise, In [1] Let f : I ⊂ R → R be a convex function on the interval I of real numbers and α 1 , α 2 ∈ I with α 1 < α 2 . Then In the field of analysis, numerous mathematicians have observed the significance of the double inequality and have also used it in various useful applications. Moreover, it has been extended to various structures utilizing the classical convex function. Fractional calculus has applications in a variety of engineering and science domains, including electromagnetic, photoelasticity, fluid mechanics, electrochemistry, biological population models, optics, and signal processing. Due to its vast variety of applications, many mathematicians employed fractional calculus concepts and studied in various areas, one of which is integral inequalities for different classes of functions. For example, some authors, [2][3][4][5] obtained the inequalities for Riemann-Liouville fractional integrals and AB-fractional integral operator. Dragomir et al. [6], proved some Hermite-Hadamard type inequalities for Riemann-Liouville fractional integrals. In [7], Dragomir used the generalized form of Riemann-Liouville fractional integrals and proved some new Ostrowski type inequalities for bounded functions. In [8], he used the generalized form of Riemann-Liouville fractional integrals and proved some new trapezoid type inequalities for bounded functions. He gave trapezoid and ostrowski type inequalities using the fractional integrals. Iqbal et al. [9] presented some fractional midpoint type inequalities for convex functions. In recent years much attention has been devoted to the theory of convex sets and theory of convex functions by generalizing and extending these concepts in different dimensions using innovative techniques. Here, we recall the important definitions related to convex function and left-right Riemann-Liouville fractional integrals.
Definition 1.1. [1] Let I be an interval in R. A function f : Definition 1.2.
[10] For f ∈ L[α 1 , α 2 ]. The left-sided and right-sided Riemann-Liouville fractional integrals of order κ ∈ R + that are defined by . If we put κ = 1, the fractional integral becomes the classical integral. The recent results and the properties concerning this operator can be found [11,12].
, then the following inequality holds: (1.4) Proposition 1.2. Suppose that all the assumptions of Theorem 3, are satisfied. If we choose κ = 1, we have midpoint inequality: which is obtained by Kirmaci in [15].
In [17], Lian et al. presented fractional integrals inequalities for concave function as follows, Theorem 1.5. Let f : [α 1 , α 2 ] → R be a differentiable function on (α 1 , α 2 ) and 0 < κ ≤ 1. If | f | is convex function on [α 1 , α 2 ], then the following inequality holds: ) . (1.8) Suppose that all the assumptions of Theorem 1.5, are satisfied. If we choose κ = 1, we have midpoint inequality: The current study is organized in two sections. The first section is related to the introductory body, where ideas and the hypotheses that provides the foundation for the advancement of the work has been discussed. While the second section has been divided into three sub-sections which shows the outcomes acquired for each of the inequalities under investigation. Moreover, the purpose of this paper is to study Hermite-Hadamard and Simpson's-like integral inequalities for convex functions as well as concave functions by applying the fractional concept. We also discuss the relation of our results with comparable results existing in the literature. Furthermore as applications, we find some means, q-digamma function and modified Bessel function type inequalities. We expect that the study initiated in this paper may inspire new research in this area.

Main results
Here, we prove an important new Lemma for Riemann-Livouille fractional integrals, which plays a key role to prove our main results as follows: 1],and ρ, ϑ ∈ [0, 1], then the following equality holds: Proof. Integrating by parts successively, in order to compute each integral, one obtain Simple calculations analogously Hence, by adding (2.1)-(2.4), and multiplying the resultant one by α 2 −α 1 2 κ+2 , we obtain the resultant equality. 1], and | f | is a convex on [α 1 , α 2 ], then the following inequality holds: where,
Proof. From Lemma 2.1 and convexity, it follows that, The proof is completed.
and define the function f : [0, 1] → R as f (λ) = λ 3 + 3. Let us consider the right-hand side of the inequality (2.5) as follows: From the definitions of fractional integrals, the equalities are valid. Finally, we have the following inequality: As one can see in Figure 1, (2.6) in Example 1 shows the correctness of this inequality for all values of κ ∈ (0, 1] and special choices of ρ, ϑ. The Figure 1 represents the Graphical description of inequality (2.6) and their difference.
and mapping | f | q with q ≥ 1, is convex on [α 1 , α 2 ], then the following inequality holds: where, Proof. Utilizing the Lemma 2.1 and Power-mean inequality, we obtain The proof is completed. Now we discuss the particular inequalities which generalize inequalities in classical sense.
, then the following inequality holds: (2.9) Proof. Using the concavity of | f | q and the power-mean inequality, we know that for λ ∈ [0, 1], By the concavity and Jensen integral inequality, we have which completes the proof.
As a special case of Theorem 2.3, we obtain the following result, Corollary 2.4. Suppose that all the assumptions of Theorem 2.3, are satisfied. If we choose ρ = ϑ = 1 3 , κ = 1, we have Simpson's inequality: (2.10) Remark 2.4. Our inequality (2.10) is an improvement of Alomari inequality as obtained in [18].

Applications to special means:
Let consider the following special means for α 1 α 2 . The arithmetic mean: The logarithmic-mean: The generalized logarithmic-mean: Proposition 2.1. Suppose r ∈ R\{−1, 0} and α 1 , α 2 ∈ R such that 0 < α 1 < α 2 with q ≥ 1, then the following inequality holds: Proof. The assertion follows from Corollary 2.1 for the function f (x) = x r and r as specified above.

Modified Bessel function:
Recall the first kind of modified Bessel function I ρ , which has the series representation ( [19], p.77).
where x ∈ R and ρ > −1, while the second kind modified Bessel function K ρ ( [19], p.78) is usually defined as Here, we consider the function Ω ρ (x) : R → [1, ∞) defined by where Γ is the Gamma function.

Conclusions
In this article, we have established an integral identity via Riemann-Livouille fractional integral. Based on this identity, we present several midpoint, trapezoid and Simpson's-type inequalities whose absolute values are convex and concave. It is also shown that several results are given by special cases of the main results. We deduce that the findings proved in this work are naturally universal, contribute to the theory of inequalities. Finally, we have presented some applications to special means, q-digamma and modifies Bessel functions with respect to our deduced results. In future studies, researchers can obtain generalized versions of our results by utilizing other kinds of convex function classes or different types of generalized fractional integral operators.