Simpson Type Conformable Fractional Inequalities

Abstract

In this study, a new Simpson type conformable fractional integral equality for convex functions is established. Based on this identity, some results related to Simpson-like type inequalities are obtained. Also, some estimation results are given for the special cases of the derivative of a function used in our results, and some applications are presented for special means such as the arithmetic, geometric, and logarithmic means.

1. Introduction

Inequalities are extremely useful in mathematics, especially when we deal with quantities that we do not know exactly what they equate too. Often, one can solve a mathematical problem, by estimating an answer, rather than writing down exactly what it is. For more information in this regard, one can see [1–8].

Fractional calculus has been a fascinating area for many researchers in the past and present eras. In the recent two decades, the use of fractional calculus in both pure and applied disciplines of science and engineering has increased significantly. The inequalities involving fractional integrals have become a noticeable approach in recent decades and have acted as a powerful tool for numerous investigations. In recent years, various types of new fractional integral inequalities including Hermite-Hadamard type inequalities have been established via convexity, which provides quite helpful and valid applications in areas such as probability theory, functional inequalities, interpolation spaces, Sobolev spaces, and information theory (see the papers [9, 10]).

The concept of convexity is not a new one even it occurs in some other form in Archimedes' treatment of orbit length. Convex geometry is now a mathematical field in its own right, and significant results have been made in various modern studies such as real analysis, functional analysis, and linear algebra by employing the concept of convexity (see [11–14]). In the last few decades, the subject of convex analysis has got rapid development in view of its geometry and its role in the optimization.

The modern theory of inequalities is another attractive area for researchers in which the notion of convexity plays a major role in improving the estimation bounds of various types of integral inequalities. The following inequality which is known as Simpson’s inequality has been studied by several authors (see the papers [15–20]).

Theorem 1. Let be a four times continuously differentiable mapping on and Then,

The definition below is given in [10, 11].

Definition 2. A function is said to be convex on if the inequality holds for all and If is convex, is concave.

We obtain a new Simpson type identity in this study and use it to derive some results about Simpson-like type inequalities through using conformable fractional integral with some applications.

2. Preliminaries

In this section, we give some definitions and basic results which are useful in obtaining the main results.

Definition 3 (see [21]). Let with and The left and the right Riemann- Liouville fractional integrals and of order are defined by respectively, where is the Gamma function defined by .

In [22], the definition of conformable fractional integrals has been presented as follows.

Definition 4. Let , , , with , and The left and the right conformable fractional integrals and of order are defined by respectively.

Moreover, the papers in [3, 9, 13] contain additional information on conformable fractional integrals. The following are the definitions of beta and incomplete beta functions, as well as the relationship between the gamma and beta functions, as stated in [21].

3. Main Results

To obtain the main results, first, we need to prove the following lemma:

Lemma 5. Let be a differentiable function on and If , then

Proof. We start by considering the following computations which follows from change of variables and using the definition of the conformable fractional integrals. and similarly, Multiplying by , the proof is completed.

Remark 6. If we take in Lemma 5, we have the equality Lemma 5 in [17].
If we take after in Lemma 5, we have the equality Lemma 1 in [15].

Theorem 7. Let be a differentiable function on and If and is a convex function on , then where with and

Proof. From Lemma 5 and is convex, we have This completes the proof.

Remark 8. If we take , and after that if we take in Theorem 7, we obtain the inequality Corollary 1 in [15].

Theorem 9. Let be a differentiable function on and If and is a convex function on for and , then where and

Proof. From Lemma 5 and using the Hölder’s integral inequality and the convexity of , we have This completes the proof.

Remark 10. If we take , and after that if we take in Theorem 9, we obtain the inequality Corollary 4 in [15].

Theorem 11. Let be a differentiable function on and If and is a convex function on for , then where and is defined as in the Theorem 7 with and

Proof. From Lemma 5 and using the power mean inequality, we have that the following inequality holds: By the convexity of , Using the last two inequalities, we obtain the inequality (15).

Remark 12. If we take , and after that if we take in Theorem 11, we obtain the inequality Theorem 8 in [15].

Theorem 13. Let be a differentiable function on and If and is a convex function on for and , then where is defined as in Theorem 9 with and

Proof. From Lemma 5 and using the Hölder’s inequality, we have Since is convex, we have So, we complete the proof.

Remark 14. If we take , and after that if we take in Theorem 13, we obtain the inequality Corollary 4 in [15].

4. Estimation Results

If the function is bounded, then we have the next result.

Theorem 15. Let be differentiable and continuous mapping on and let Assume that there exist constants such that Then, where

Proof. From Lemma 5, we have that So, Since satisfies , we have that which implies that Hence, where and is defined as in Lemma 5, which completes the proof.

Remark 16. If we take , and after that if we take in Theorem 15, then we obtain

Our next aim is an estimation-type result considering the Simpson-like type conformable fractional integral inequality when satisfies a Lipschitz condition.

Theorem 17. Let be differentiable and continuous mapping on and let Assume that satisfies the Lipschitz condition for some Then, where and is defined as in Theorem 15.

Proof. From Lemma 5, we have that So Since satisfies Lipschitz conditions for some , we have that Hence, where This ends the proof.

Remark 18. If we take , and after that if we take in Theorem 17, we obtain with

5. Applications

5.1. Special Means

For , we consider the following special means:

Theorem 19. (i)The arithmetic mean: (ii)The geometric mean: (iii)The logarithmic mean: The logarithmic mean:
Next, using the main results obtained in Section 2, we give some applications to special means of real numbers.

Proposition 20. Let Then,

Proof. The proof is obvious from Remark 8 when applied

Remark 21. If we take in (37), we obtain the inequality Corollary 7 in [15].

Proposition 22. Let . Then,

Proof. The proof is obvious from Remark 10 applied

Remark 23. If we take in (38), we obtain

Proposition 24. Let , , and Then,

Proof. The proof is obvious from Remark 12 applied

Remark 25. If we take in (40), we obtain the inequality Corollary 7 in [15].

Proposition 26. Let Then,

Remark 27. If we take in (41), we obtain

Proposition 28. Let Then,

Proof. The proof is obvious from Remark 8, applied and

6. Conclusion

In this paper, using a new identity of Simpson-like type for conformable fractional integral, we obtained some new Simpson type conformable fractional integral inequalities. We also used inequalities such as the Hölder inequality and the power mean inequality to obtain these integral inequalities. Furthermore, we examined some interesting applications. So, this paper is a detailed examination of the Simpson-like type conformable fractional integral inequalities.

Data Availability

No data were used to support this study.

Conflicts of Interest

The author declares that there is no conflict of interests regarding the publication of this paper.