Volume 2022, Issue 1 5707887
Research Article
Open Access

Simpson Type Conformable Fractional Inequalities

Zeynep Şanlı

Corresponding Author

Zeynep Şanlı

Department of Mathematics, Mersin University, 61080 Mersin, Turkey mersin.edu.tr

Search for more papers by this author
First published: 20 July 2022
Citations: 1
Academic Editor: Azhar Hussain

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 [18].

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 [1114]). 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 [1520]).

Theorem 1. Let ψ : [γ, δ]⟶ be a four times continuously differentiable mapping on (γ, δ) and Then,

(1)

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

Definition 2. A function ψ : [γ, δ]⟶ is said to be convex on [γ, δ] if the inequality

(2)
holds for all a, b ∈ [γ, δ] and w ∈ [0, 1]. 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 ψL[γ, δ].The left and the right Riemann- Liouville fractional integrals and of order τ > 0 are defined by

(3)
respectively, where Γ(τ) is the Gamma function defined by .

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

Definition 4. Let τ ∈ (m, m + 1], m = 0, 1, 2, ⋯, β = τm, γ, δ with γ < δ, and ψL[γ, δ]. The left and the right conformable fractional integrals and δIτψ of order τ > 0 are defined by

(4)
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].
(5)

3. Main Results

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

Lemma 5. Let ψ : I ⊂ (0, ∞)⟶ be a differentiable function on I, γ, δI and γ < δ. If ψL[γ, δ], then

(6)

Proof. We start by considering the following computations which follows from change of variables and using the definition of the conformable fractional integrals.

(7)
and similarly,
(8)

Multiplying I1I2 by δγ/2Γ(τ + 1)/Γ(τm), the proof is completed.

Remark 6. If we take τ = m + 1 in Lemma 5, we have the equality Lemma 5 in [17].

If we take τ = 1 after τ = m + 1 in Lemma 5, we have the equality Lemma 1 in [15].

Theorem 7. Let ψ : I ⊂ (0, ∞)⟶, be a differentiable function on I, γ, δI and γ < δ. If ψL[γ, δ] and |ψ| is a convex function on [γ, δ], then

(9)
where
(10)
with m = 0, 1, 2, ⋯ and τ ∈ (m, m + 1].

Proof. From Lemma 5 and |ψ| is convex, we have

(11)

This completes the proof.

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

Theorem 9. Let ψ : I ⊂ (0, ∞)⟶ be a differentiable function on I, γ, δI and γ < δ. If ψL[γ, δ] and is a convex function on [γ, δ] for q > 1 and 1/p + 1/q = 1, then

(12)

where

(13)

m = 0, 1, 2, ⋯ and τ ∈ (m, m + 1].

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

(14)

This completes the proof.

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

Theorem 11. Let ψ : I ⊂ (0, ∞)⟶ be a differentiable function on I, γ, δI and γ < δ. If ψL[γ, δ] and is a convex function on [γ, δ] for q ≥ 1, then

(15)
where
(16)
and Z1(τ, m) is defined as in the Theorem 7 with m = 0, 1, 2, ⋯ and τ ∈ (m, m + 1].

Proof. From Lemma 5 and using the power mean inequality, we have that the following inequality holds:

(17)

By the convexity of ,

(18)

Using the last two inequalities, we obtain the inequality (15).

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

Theorem 13. Let ψ : I ⊂ (0, ∞)⟶ be a differentiable function on I, γ, δI and γ < δ. If ψL([γ, δ]) and is a convex function on [γ, δ] for q > 1 and 1/p + 1/q = 1, then

(19)
where Z2(τ, m) is defined as in Theorem 9 with m = 0, 1, 2, ⋯ and τ ∈ (m, m + 1].

Proof. From Lemma 5 and using the Hölder’s inequality, we have

(20)

Since is convex, we have

(21)

So, we complete the proof.

Remark 14. If we take τ = m + 1, and after that if we take τ = 1 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 ψL[γ, δ]. Assume that there exist constants k < K such that Then,

(22)

where

(23)

Proof. From Lemma 5, we have that

(24)

So,

(25)

Since satisfies , we have that

(26)
which implies that
(27)

Hence,

(28)
where and Z1(τ, m) is defined as in Lemma 5, which completes the proof.

Remark 16. If we take τ = m + 1, and after that if we take τ = 1 in Theorem 15, then we obtain

(29)

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 (a, b) and let ψL[a, b]. Assume that ψ satisfies the Lipschitz condition for some L > 0. Then,

(30)

where

(31)
and h(w) is defined as in Theorem 15.

Proof. From Lemma 5, we have that

(32)

So

(33)

Since ψsatisfies Lipschitz conditions for some L > 0, we have that

(34)

Hence,

(35)
where This ends the proof.

Remark 18. If we take τ = m + 1, and after that if we take τ = 1 in Theorem 17, we obtain

(36)

with

5. Applications

5.1. Special Means

For 0 ≤ γ < δ, we consider the following special means:

Theorem 19.

  • (i)

    The arithmetic mean: A(γ, δ) = γ + δ/2

  • (ii)

    The geometric mean:

  • (iii)

    The logarithmic mean: L(γ, δ) = δγ/lnδ − lnγ, γδ ≠ 0

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 0 < γ < δ, s. Then,

(37)

Proof. The proof is obvious from Remark 8 when applied ψ(ε) = εs.

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

Proposition 22. Let 0 < γ < δ, s. Then,

(38)

Proof. The proof is obvious from Remark 10 applied ψ(ε) = εs.

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

(39)

Proposition 24. Let 0 < γ < δ, s, and 0 < q < 1. Then,

(40)

Proof. The proof is obvious from Remark 12 applied ψ(ε) = εs.

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

Proposition 26. Let 0 < γ < δ, s. Then,

(41)

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

(42)

Proposition 28. Let 0 < γ < δ. Then,

(43)

Proof. The proof is obvious from Remark 8, applied f(ε) = eε, ε > 0 and α = eγ, β = eδ.

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.

Conflicts of Interest

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

Data Availability

No data were used to support this study.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.