Abstract

Based on the Riemann–Liouville fractional integral, a new form of generalized Simpson-type inequalities in terms of the first derivative is discussed. Here, some more inequalities for convexity as well as concavity are established. We expect that present outcomes are the generalization of already obtained results. Applications to beta, q-digamma, and Bessel functions are also provided.

1. Introduction

Integral inequalities have been widely used in various sciences, including mathematical sciences, applied sciences, differential equations, and functional analysis. In most mathematical analysis areas, many types of integral inequalities are used. They are very important in approximation theory and numerical analysis, which estimate the error’s approximation [13]. Integral inequalities are useful tools in the study of different classes of differential equations and integral equations. Today, they are employed not only in mathematics but also in physics, computer science, and biology.

In several zones of mathematics, convex functions show a vital role. Especially in optimization theory, they are magical due to the number of expedient properties. There is nice connection between the theory of convex functions and mathematical inequalities. There are several important inequalities due to their direct applications in applied sciences (see [48]).

Several integral inequalities, such as Hölder’s inequality, Simpson’s inequality, Newton’s inequality, the Hermite–Hadamard inequality, Ostrowski’s inequality, Cauchy–Schwarz, and Chebyshev, are well known in classical analysis and have been proven and applied in the setup of q-calculus using classical convexity [912]. Much work is being done in the domain of -analysis, beginning with Euler, in order to achieve proficiency in mathematics that constructs quantum computing. -Calculus is viewed as a link between mathematics, physics, and statistics. It has numerous applications in various areas of mathematics, including orthogonal polynomials, number theory, hypergeometric functions, and other mechanics, combinatorics, sciences, stochastic theory, quantum theory, and the theory of relativity. This important branch of mathematics appears to have been invented by Euler. In Newton’s work with infinite series, he used the -parameter. Jackson later gave the -calculus integral without the limit.

During the period 1710–1761, Thomas Simpson developed critical methods for numerical integration and estimation of definite integrals, which became known as the Simpson rule. Nonetheless, Kepler used a similar approximation nearly last decades earlier, so it is also known as the Kepler rule. Simpson rule includes the three-point Newton–Cotes quadrature rule, so a three-step quadratic kernel estimation is sometimes referred to as a Newton-type result.

An incredible reliance has been found between inequalities and the theory of convex functions. This relationship is the primary mental stability behind the vast data utilizing convex functions. The Simpson-type inequalities have been examined broadly in the course of recent decades. A function is said to be convex on , with where :an inequality which is notable as Simpson’s inequality in [13].

Theorem 1. Suppose is four times continuously differentiable function on and ; then, the following inequality holds:

Many scholars are interested in the Simpson-type inequality since it has been examined and studied for numerous classes of functions. Due to their efficacy and usefulness in pure and applied mathematics, Simpson-type and Newton-type results have been keenly interpolated for convex functions. The first striking result about the Simpson-type inequality along with its applications to the quadrature formula in numerical integration was given by Dragomir et al. in [14]. Later on, several new Simpson’s type inequalities with improved bounds were developed for -convex functions by Alomari et al. [13] and Sarikaya et al. [15].

Some researchers have demonstrated Simpson’s type inequalities and obtained various outcomes. A new generalization and extension of Simpson’s type inequalities were presented in [16, 17]. Qaisar et al. in [18, 19] gave Simpson’s type inequalities for twice differentiable convex mappings with applications. However, some fractional variants can be observed in [2022]. There is massive literature regarding improvements and extensions of Simpson’s inequality in -calculus. Recently, Ali et al. in [12] gave new quantum boundaries for quantum Simpson-type and Newton-type inequalities for preinvex functions. They also gave a brief literature review about the development of results connected to quantum Simpson’s inequality. The accompanying ongoing improvements for the fractional integral on Simpson’s inequality for were demonstrated by Hwang et al. (see [20]).

Theorem 2. Suppose is a differentiable function whose derivative is continuous on and ; then, the following inequality holds:

Throughout the text, the class of integrable functions on is denoted by . Another form utilizing Riemann–Liouville fractional integrals mentioned above for differentiable convex functions was presented by Iqbal et al. (see [22]).

Theorem 3. Suppose is a differentiable function and is integrable on with and . If is convex on , then we havewhere and .

Proposition 1. In above Theorem 3, if , one can obtain

Proposition 2. In above Theorem 3 with , one can obtain

Theorem 4. Let be defined as in Theorem 3, and if is convex on , with , then we have

For the execution of differentiation and integration of real or complex number orders, fractional calculus proved as a helpful device which demonstrates its centrality. The theme had pulled in a lot of considerations from many authors who center around investigation of PDEs during the most recent couple of decades. For late outcomes identified with the current study, one can see [2327]. Among a lot of fractional integrals which are grown up, the Riemann–Liouville fractional integral has been widely considered as a result of uses in numerous fields of sciences.

Definition 1. Suppose . The left and right Riemann–Liouville fractional integral operator for areGamma function is defined as . Note that .
If , the above integral becomes the classical integral.

2. Inequalities for Simpson’s Type

In this section, we give Simpson’s inequalities for the Riemann–Liouville integral operator for differentiable functions on . For this, we give a new Riemann–Liouville integral operator auxiliary identity that will serve to produce subsequent results for improvements.

Lemma 1. Let be a differentiable mapping such that is integrable and on with ; then, the following identity holds:where

Proof. By integration by parts, we obtainSimilarly,which ends the proof.

Theorem 5. Let be defined as in Lemma 1, and if is convex on , then we have

Proof. By using the properties of modulus on Lemma 1, we havewhere and .
By the convexity of , , and , we haveSimple calculations yield thatwhich completes the proof.

Remark 1. On letting in Theorem 5, (13) reduces to inequality (5).

Corollary 1. By choosing in Theorem 5, inequality (13) becomes

Remark 2. By letting in the above corollary, we get the following inequality, which looks better than the inequality presented by S. Kirmaci:The corresponding version for powers of the absolute value of the derivative is incorporated as follows.

Theorem 6. Let be defined as in Lemma 1, and if is convex on , with , then we have

Proof. Using Lemma 1 and convexity, we obtainwhich completes the proof.

Theorem 7. Let be defined as in Lemma 1, and if is convex on , with , then we have

Proof. By the use of the power-mean integral inequality for , we obtainBy using the convexity of ,By using the calculus tool, we get equation (21), which completes the proof.

Remark 3. If in Theorem 7, then it reduces to Corollary 2.7 in [19].
In the following theorem, we obtained the estimate of Simpson’s inequality (2) for concave functions.

Theorem 8. Suppose is a differentiable function on such that . If is concave on , for some fixed with , then we have

Proof. Utilizing concavity of and the power-mean inequality, we obtainTherefore, is also concave. Jensen’s integral inequality follows thatwhich completes the proof.

Corollary 2. By putting in Theorem 8, then the following inequality becomes

Remark 4. Inequality (27) is a generalization of the obtained inequality as in Theorem 8 of [13].

3. Applications

3.1. Beta Function

In this section, let , , , , be the gamma function, and . Then, is convex on .

Let us recall that the beta function

Remark 5. From Section 2, we have

Proposition 3. In Theorem 5, the following inequality holds:

3.2. q-Digamma Function

Suppose ; the -digamma function is the -analogue of the digamma function (see [28, 29]) given as

For and , -digamma function can be given as

Proposition 4. Assume that are the real numbers such that and . Then, the following inequality is valid:

Proof. The assertion can be obtained immediately by using inequality (33) which follows immediately from equation (18), when and since is convex on .

3.3. Modified Bessel Function

We recall the first kind of modified Bessel function , which has the series representation (see [28], p.77)where and . Consider the function defined bywhere is the gamma function.

The first-order derivative formula of is given by [28]and the second derivative can be easily calculated from (36) to be

Proposition 5. Suppose that and . Then, we have

Proof. Apply the inequality in (18) to the mapping , (note that all assumptions are satisfied), and identities (36) and (37).

4. Conclusion

The study dealt with investigating a new method to give fractional Simpson’s estimates for differentiable convex functions by taking into account the kernel given by Alomari et al. [13]. Several related estimations by employing Hölder’s inequality, bounds by using concave functions, and Jensen’s integral inequalities are presented. Finally, a representation of Simpson’s inequalities in terms of beta and q-digamma functions is depicted. Some estimation interims of modified Bessel functions are represented. Our technique is also plausible to give extensions for other fractional integral operators, e.g., k-Riemann–Liouville, Katugampola, conformable, and Atangana–Baleanu. Moreover, one can also extend these results in quantum calculus by exhibiting our method of arrangements of kernels for differentiable convex functions. All these results are open to be discussed for generalized convex functions and, in particular, can be given by using the method adopted in this article [12].

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.