Next Article in Journal
The Best Whey Protein Powder Selection via VIKOR Based on Circular Intuitionistic Fuzzy Sets
Next Article in Special Issue
Numerical Analysis of Nonlinear Fractional System of Jaulent–Miodek Equation
Previous Article in Journal
Rényi Entropy for Past Lifetime Distributions with Application in Inactive Coherent Systems
Previous Article in Special Issue
Some q-Symmetric Integral Inequalities Involving s-Convex Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Exploring Quantum Simpson-Type Inequalities for Convex Functions: A Novel Investigation

1
Department of Mathematics, Xiamen University Malaysia, Sepang 43900, Malaysia
2
Department of Mathematics, Government College University, Faisalabad 38000, Pakistan
3
Department of Mathematics, Faculty of Science and Arts, Düzce University, Düzce 81620, Turkey
*
Author to whom correspondence should be addressed.
Symmetry 2023, 15(7), 1312; https://doi.org/10.3390/sym15071312
Submission received: 3 May 2023 / Revised: 4 June 2023 / Accepted: 12 June 2023 / Published: 27 June 2023
(This article belongs to the Special Issue Symmetry in Quantum Calculus)

Abstract

:
This study seeks to derive novel quantum variations of Simpson’s inequality by primarily utilizing the convexity characteristics of functions. Additionally, the study examines the credibility of the obtained results through the presentation of relevant numerical examples and graphs.

1. Introduction

Inequalities are fundamental concepts in mathematics that play an important role in establishing relationships between various quantities. Inequalities play a critical role in applied mathematics, where they are used to model and analyze real-world phenomena. In many applications, the quantities of interest are subject to constraints, and inequalities are used to model and analyze these constraints. Inequalities are essential tools in mathematical analysis, providing a means to compare and analyze functions, establish bounds on integrals, and model real-world constraints. Integral inequalities are widely applied in modern mathematical analysis, making them an important component in this area of study. A broad spectrum of integral inequalities, each with multiple applications in both pure and applied sciences, is known to us. The Simpson’s integral inequality is one of the most renowned integral inequalities among them. Simpson’s integral inequality is a result of mathematical analysis that provides an upper bound on the error in approximating the integral of a function using Simpson’s rule. Simpson’s rule is a numerical integration technique that uses quadratic polynomials to approximate the value of an integral. Simpson’s integral inequality is an important result in numerical analysis, and it has applications in various fields of science and engineering, where numerical integration techniques are commonly used to solve problems that involve complex functions.
Let Ξ : I = [ a , b ] R R be a four times continuous differentiable on I , where I is the interior of I and Ξ ( 4 ) < . Then, the following inequality is known as Simpson’s inequality:
1 3 Ξ ( a ) + Ξ ( b ) 2 + 2 Ξ a + b 2 1 b a a b Ξ ( x ) d x 1 2880 Ξ ( 4 ) ( b a ) 4 .
For more details, see [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21]. The theory of convexity plays a significant role in mathematics, especially in optimization theory, functional analysis, and geometry. Convexity refers to the property of a set or a function that any line segment between two points in the set or on the graph of the function lies entirely within the set or above the graph. One of the most important applications of convexity is in the optimization theory, where it provides a powerful tool for solving optimization problems. The classical concept of convexity also has a knit connection with the concept of symmetry. In the literature, there exist numerous properties of symmetric convex sets. One fascinating aspect of this relationship is that we work on one and apply it to the other. The theory of convexity also played a significant role in the development of the theory of integral inequalities. In particular, the theory of convex functions is closely related to the theory of integral inequalities. Many important integral inequalities can be derived using convex functions. In 2020, Chu et al. [22] introduced the notion of higher-order n-ploynomial strongly convex functions involving Katugampola fractional operators. In [23], Iqbal and colleagues derived new Simpson-type inequalities involving generalized fractional operators together with convexity characteristics. In [24], the authors visualized some upper error estimations involving generalized strongly convexity named F convex functions. For details, see [25].
New versions of classical integral inequalities have been developed using a range of modern techniques in recent years. One of the key approaches involves the use of quantum calculus instead of classical calculus, which provides a significant tool for deriving quantum (q-)analogues of classical integral inequalities. In quantum calculus, the traditional derivatives and integrals are replaced by q-derivatives and q-integrals, which depend on a parameter q. The q-derivatives and q-integrals have different algebraic properties than their classical counterparts. For more details, see [26].
The aim of this study is to derive new quantum versions of Simpson’s inequality by mainly exploiting the convexity property of functions. Furthermore, the study assesses the validity of the obtained outcomes by providing relevant numerical examples and also graphical analysis.

2. Preliminaries

Some fundamental concepts and definitions of q-calculus are presented in this section. Throughout this paper, let 0 < q < 1 and [ k 1 , k 2 ] R be an interval with k 1 < k 2 . The q-number is expressed as follows:
[ n ] q = 1 q n 1 q = 1 + q + q 2 + + q n 1 , n N .
The left q-derivative and integral established in [27] are presented as follows:
Definition 1 
([27]). For a continuous function Ξ : [ k 1 , k 2 ] R , the left q-derivative on [ k 1 , k 2 ] is defined as:
k 1 D q Ξ ( x ) = Ξ ( x ) Ξ q x + ( 1 q ) k 1 ( 1 q ) ( x k 1 ) , i f x k 1 ; lim x k 1 k 1 D q Ξ ( x ) , i f x = k 1 .
The function Ξ is called a left q-differentiable function if k 1 D q Ξ ( x ) exists.
In Definition 1, if k 1 = 0 , then (1) is recaptured as follows:
D q Ξ ( x ) = Ξ ( x ) Ξ q x ( 1 q ) ( x ) ,
which is the q-Jackson derivative; see [28] for more details.
Definition 2 
([27]). For a continuous function Ξ : [ k 1 , k 2 ] R , the left q-integral on [ k 1 , k 2 ] is defined as:
k 1 x Ξ ( ϱ ) k 1 d q ϱ = ( 1 q ) ( x k 1 ) n = 0 q n Ξ q n x + 1 q n k 1
for x [ k 1 , k 2 ] . The function Ξ is called a left q-integrable function if k 1 x Ξ ( ϱ ) d q ϱ for all x [ k 1 , k 2 ] exists.
In Definition 2, if k 1 = 0 , then (2) is recaptured as follows:
0 x Ξ ( ϱ ) d q ϱ = ( 1 q ) x n = 0 q n Ξ q n x ,
which is the q-Jackson integral; see [28] for more details. Moreover, Jackson [28] gave the q-Jackson integral on the interval [ k 1 , k 2 ] as follows:
k 1 k 2 Ξ ( ϱ ) d q ϱ = 0 k 2 Ξ ( ϱ ) d q ϱ 0 k 1 Ξ ( ϱ ) d q ϱ .
The right q-derivative and integral established in [29] are presented as follows:
Definition 3 
([29]). For a continuous function Ξ : [ k 1 , k 2 ] R , the right q-derivative on [ k 1 , k 2 ] is defined as:
k 2 D q Ξ ( x ) = Ξ q x + ( 1 q ) k 2 Ξ x ( 1 q ) ( k 2 x ) , i f x k 2 ; lim x k 2 k 2 D q Ξ ( x ) , i f x = k 2 ,
The function Ξ is called a right q-differentiable function if k 2 D q Ξ ( x ) exists.
Definition 4 
([29]). For a continuous function Ξ : [ k 1 , k 2 ] R , the right q-integral on [ k 1 , k 2 ] is defined as:
x k 2 Ξ ( ϱ ) k 2 d q ϱ = ( 1 q ) ( k 2 x ) n = 0 q n Ξ q n x + 1 q n k 2 ,
The function Ξ is called a right q-integrable function if x k 2 Ξ ( ϱ ) k 2 d q ϱ for all ϱ [ k 1 , k 2 ] exists.
Now, we provide Lemmas which can help us to prove our main findings.
Lemma 1 
([30]). For continuous functions Ξ , Ψ R , the following expression holds:
0 c Ψ ( ϱ ) k 1 D q Ξ ( ϱ k 2 + ( 1 ϱ ) k 1 ) d q ϱ = Ψ ( ϱ ) Ξ ( ϱ k 2 + ( 1 ϱ ) k 1 ) k 2 k 1 0 c 1 k 2 k 1 0 c D q Ψ ( ϱ ) Ξ ( q ϱ k 2 + ( 1 q ϱ ) k 1 ) d q ϱ .
Lemma 2 
([31]). For continuous functions Ξ , Ψ R , the following expression holds:
0 c Ψ ( ϱ ) k 2 D q Ξ ( ϱ k 1 + ( 1 ϱ ) k 2 ) d q ϱ = 1 k 2 k 1 0 c D q Ψ ( ϱ ) Ξ ( q ϱ k 1 + ( 1 q ϱ ) k 2 ) d q ϱ Ψ ( ϱ ) Ξ ( ϱ k 1 + ( 1 ϱ ) k 2 ) k 2 k 1 0 c .
The following result will be useful in calculating q-integrals.
Lemma 3 
([32]). The following expression holds:
k 1 k 2 x k 1 α k 1 d q x = ( k 2 k 1 ) α + 1 [ α + 1 ] q ,
where α R { 1 } .

3. Main Results

Within this segment, we will create quantum inequalities connected to Simpson’s integral inequalities for smooth, convex functions. To demonstrate the primary outcomes, it is vital to first introduce the subsequent significant lemma.
Lemma 4. 
Suppose that Ξ : [ k 1 , k 2 ] R is a q-differentiable function on ( k 1 , k 2 ) such that k 1 D q Ξ and k 2 D q Ξ are continuous and integrable functions on [ k 1 , k 2 ] ; then,
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x + k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x = k 2 k 1 2 0 1 q ϱ 2 1 6 k 1 D q Ξ 2 ϱ 2 k 1 + ϱ 2 k 2 + 1 6 q ϱ 2 k 2 D q Ξ ϱ 2 k 1 + 2 ϱ 2 k 2 d q ϱ .
Proof. 
Using Lemmas 1 and 2 and Definitions 2 and 4, we have
I 1 = 0 1 q ϱ 2 1 6 k 1 D q Ξ 2 ϱ 2 k 1 + ϱ 2 k 2 d q ϱ = 2 k 2 k 1 q ϱ 2 1 6 Ξ ϱ 2 k 1 + 2 ϱ 2 k 2 0 1 2 k 2 k 1 0 1 q 2 Ξ 2 q ϱ 2 k 1 + q ϱ 2 k 2 d q ϱ = 1 3 ( k 2 k 1 ) Ξ k 1 + 2 k 2 k 1 q 2 1 6 Ξ k 1 + k 2 2 1 q k 2 k 1 n = 0 q n + 1 Ξ 2 q n + 1 2 k 1 + q n + 1 2 k 2 = 1 3 ( k 2 k 1 ) Ξ k 1 + 2 k 2 k 1 q 2 1 6 Ξ k 1 + k 2 2 1 q k 2 k 1 n = 1 q n Ξ 2 q n 2 k 1 + q n 2 k 2 = 1 3 ( k 2 k 1 ) Ξ k 1 + 2 k 2 k 1 q 2 1 6 Ξ k 1 + k 2 2 1 q k 2 k 1 n = 0 q n Ξ ( 1 q n ) k 1 + q n f k 1 + k 2 2 Ξ k 1 + k 2 2 = 1 3 ( k 2 k 1 ) Ξ ( k 1 ) + 1 q k 2 k 1 Ξ k 1 + k 2 2 + 2 k 2 k 1 q 2 1 6 Ξ k 1 + k 2 2 2 ( k 2 k 1 ) 2 k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x .
and
I 2 = 0 1 1 6 q ϱ 2 k 1 D q Ξ ϱ 2 k 1 + 2 ϱ 2 k 2 d q ϱ = 2 k 2 k 1 q ϱ 2 1 6 Ξ ϱ 2 k 1 + 2 ϱ 2 k 2 0 1 2 k 2 k 1 0 1 q 2 Ξ q ϱ 2 k 1 + 2 q ϱ 2 k 2 d q ϱ = 1 3 ( k 2 k 1 ) Ξ k 2 + 2 k 2 k 1 q 2 1 6 Ξ k 1 + k 2 2 1 q k 2 k 1 n = 0 q n + 1 Ξ q n + 1 2 k 1 + 2 q n + 1 2 k 2 = 1 3 ( k 2 k 1 ) Ξ k 2 + 2 k 2 k 1 q 2 1 6 Ξ k 1 + k 2 2 1 q k 2 k 1 n = 1 q n Ξ q n 2 k 1 + 2 q n 2 k 2 = 1 3 ( k 2 k 1 ) Ξ k 2 + 2 k 2 k 1 q 2 1 6 Ξ k 1 + k 2 2 1 q k 2 k 1 n = 0 q n Ξ q n k 1 + k 2 2 + ( 1 q n ) k 2 Ξ k 1 + k 2 2 = 1 3 ( k 2 k 1 ) Ξ ( k 2 ) + 1 q k 2 k 1 Ξ k 1 + k 2 2 + 2 k 2 k 1 q 2 1 6 Ξ k 1 + k 2 2 2 ( k 2 k 1 ) 2 k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x ,
Thus, from inequalities (10) and (9), we have
k 2 k 1 2 ( I 1 + I 2 ) = 1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x + k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x ,
which completes the proof. □
Remark 1. 
If we take the limit as q 1 in Lemma 4, then the equality (8) becomes
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 2 Ξ ( x ) d x = k 2 k 1 2 0 1 ϱ 2 1 6 Ξ 2 ϱ 2 k 1 + ϱ 2 k 2 + 1 6 ϱ 2 Ξ ϱ 2 k 1 + 2 ϱ 2 k 2 d q ϱ ,
which is found in [33].
Theorem 1. 
Suppose that Ξ : [ k 1 , k 2 ] R is a q-differentiable function on ( k 1 , k 2 ) such that k 1 D q Ξ and k 2 D q Ξ are continuous and integrable functions on [ k 1 , k 2 ] . If k 1 D q Ξ and k 2 D q Ξ are convex and integrable functions on [ k 1 , k 2 ] , then
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 k 2 k 1 k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x + k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x k 2 k 1 2 Φ 1 ( q ) k 1 D q Ξ ( k 1 ) + Φ 2 ( q ) k 1 D q Ξ ( k 2 ) + Φ 2 ( q ) k 2 D q Ξ ( k 1 ) + Φ 1 ( q ) k 2 D q Ξ ( k 2 ) ,
where Φ i ( q ) , i = 1 , 2 are defined by
Φ 1 ( q ) = 0 1 q ϱ 2 1 6 2 ϱ 2 d q ϱ = 4 q 3 + 1 12 [ 2 ] q [ 3 ] q , f o r 0 < q < 1 3 ; 36 q 3 + 12 q 2 + 10 q + 3 108 [ 2 ] q [ 3 ] q , f o r 1 3 q < 1 , Φ 2 ( q ) = 0 1 q ϱ 2 1 6 ϱ 2 d q ϱ = 1 2 q 2 q 2 48 [ 2 ] q [ 3 ] q , f o r 0 < q < 1 3 ; 9 q 3 + 18 q 2 + 18 q + 2 108 [ 2 ] q [ 3 ] q , f o r 1 3 q < 1 ,
Proof. 
By taking the absolute value of both sides of inequality (8), we observe that
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x + k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x k 2 k 1 2 0 1 q ϱ 2 1 6 k 1 D q Ξ 2 ϱ 2 k 1 + ϱ 2 k 2 + 1 6 q ϱ 2 k 2 D q Ξ ϱ 2 k 1 + 2 ϱ 2 k 1 d q ϱ k 2 k 1 2 0 1 q ϱ 2 1 6 2 ϱ 2 k 1 D q Ξ ( k 1 ) + ϱ 2 k 1 D q Ξ ( k 2 ) + ϱ 2 k 2 D q Ξ ( k 1 ) + 2 ϱ 2 k 2 D q Ξ ( k 2 ) d q ϱ = k 2 k 1 2 Φ 1 ( q ) k 1 D q Ξ ( k 2 ) + Φ 2 ( q ) k 1 D q Ξ ( k 1 ) + Φ 1 ( q ) k 2 D q Ξ ( k 1 ) + Φ 2 ( q ) k 2 D q Ξ ( k 2 ) .
Using Lemma 3, one can easily compute the integrals as follows:
Φ 1 ( q ) = 0 1 q ϱ 2 1 6 2 ϱ 2 d q ϱ = 4 q 3 + 1 12 [ 2 ] q [ 3 ] q , f o r 0 < q < 1 3 ; 36 q 3 + 12 q 2 + 10 q + 3 108 [ 2 ] q [ 3 ] q , f o r 1 3 q < 1 , Φ 2 ( q ) = 0 1 q ϱ 2 1 6 ϱ 2 d q ϱ = 1 2 q 2 q 2 48 [ 2 ] q [ 3 ] q , f o r 0 < q < 1 3 ; 9 q 3 + 18 q 2 + 18 q + 2 108 [ 2 ] q [ 3 ] q , f o r 1 3 q < 1 ,
which completes the proof. □
Remark 2. 
If we take the limit as q 1 in Theorem 1, then the inequality (11) becomes
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 2 Ξ ( x ) d x 5 ( k 2 k 1 ) 72 | Ξ ( k 1 ) | + | Ξ ( k 2 ) | ,
which is found in [33].
Theorem 2. 
Suppose that Ξ : [ k 1 , k 2 ] R is a q-differentiable function on ( k 1 , k 2 ) such that k 1 D q Ξ and k 2 D q Ξ are continuous and integrable functions on [ k 1 , k 2 ] and r 1 . If | k 1 D q Ξ | r and | k 2 D q Ξ | r are convex and integrable functions on [ k 1 , k 2 ] , then
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x + k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x ( k 2 k 1 ) ( Φ 3 ( q ) ) 1 1 r 2 [ Φ 1 ( q ) k 1 D q Ξ ( k 1 ) r + Φ 2 ( q ) k 1 D q Ξ ( k 2 ) r 1 r + Φ 2 ( q ) k 2 D q Ξ ( k 1 ) r + Φ 1 ( q ) k 2 D q Ξ ( k 2 ) r 1 r ] ,
where Φ i ( q ) , i = 1 , 2 are defined in Theorem 1 and Φ 3 ( q ) is defined by
Φ 3 ( q ) = 1 2 q 6 [ 2 ] q , f o r 0 < q < 1 3 ; 6 q 1 18 [ 2 ] q , f o r 1 3 q < 1 ,
Proof. 
Taking the absolute value of both sides of inequality (8), applying the power mean inequality, and using the convexity of | k 1 D q Ξ | r and | k 2 D q Ξ | r , we have
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x + k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x k 2 k 1 2 0 1 q ϱ 2 1 6 k 1 D q Ξ 2 ϱ 2 k 1 + ϱ 2 k 2 + 1 6 q ϱ 2 k 2 D q Ξ ϱ 2 k 1 + 2 ϱ 2 k 1 d q ϱ k 2 k 1 2 0 1 q ϱ 2 1 6 d q ϱ 1 1 r 0 1 q ϱ 2 1 6 k 1 D q Ξ 2 ϱ 2 k 1 + ϱ 2 k 2 r d q ϱ 1 r + 0 1 1 6 q ϱ 2 d q ϱ 1 1 r 0 1 1 6 q ϱ 2 k 2 D q Ξ ϱ 2 k 1 + 2 ϱ 2 k 2 r d q ϱ 1 r k 2 k 1 2 0 1 q ϱ 2 1 6 d q ϱ 1 1 r 0 1 q ϱ 2 1 6 2 ϱ 2 k 1 D q Ξ ( k 1 ) r + ϱ 2 k 1 D q Ξ ( k 2 ) r d q ϱ 1 r + 0 1 1 6 q ϱ 2 d q ϱ 1 1 r 0 1 1 6 q ϱ 2 ϱ 2 k 2 D q Ξ ( k 1 ) r + 2 ϱ 2 k 2 D q Ξ ( k 2 ) r d q ϱ 1 r = ( k 2 k 1 ) ( Φ 3 ( q ) 1 1 r ) 2 Φ 1 ( q ) k 1 D q Ξ ( k 1 ) r + Φ 2 ( q ) k 1 D q Ξ ( k 2 ) r 1 r + Φ 2 ( q ) k 2 D q Ξ ( k 1 ) r + Φ 1 ( q ) k 2 D q Ξ ( k 2 ) r 1 r .
Using Lemma 3, one can easily compute the integral as follows:
Φ 3 ( q ) = 0 1 1 6 q ϱ 2 d q ϱ = 1 2 q 6 [ 2 ] q , f o r 0 < q < 1 3 ; 6 q 1 18 [ 2 ] q , f o r 1 3 q < 1 ,
which completes the proof. □
Remark 3. 
If we take the limit as q 1 in Theorem 2, then the inequality (12) becomes
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 2 Ξ ( x ) d x k 2 k 1 72 ( 5 ) 1 1 r 61 Ξ k 1 r + 29 Ξ k 2 r 18 1 r + 61 Ξ k 2 r + 29 Ξ k 1 r 18 1 r ,
which is found in [33].
Theorem 3. 
Suppose that Ξ : [ k 1 , k 2 ] R is a q-differentiable function on ( k 1 , k 2 ) such that k 1 D q Ξ and k 2 D q Ξ are continuous and integrable functions on [ k 1 , k 2 ] and s 1 + r 1 = 1 , if | k 1 D q Ξ | r and | k 2 D q Ξ | r are convex and integrable functions on [ k 1 , k 2 ] . Then,
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x + k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x k 2 k 1 12 1 + ( 3 q 1 ) s + 1 3 q [ s + 1 ] q 1 s ( 1 + 2 q ) | k 1 D q Ξ ( k 1 ) | r + | k 1 D q Ξ ( k 2 ) | r 2 [ 2 ] q 1 r + | k 2 D q Ξ ( k 1 ) | r + ( 1 + 2 q ) | k 2 D q Ξ ( k 2 ) | r 2 [ 2 ] q 1 r .
Proof. 
Taking the absolute value of both sides of inequality (8), applying the Hölder’s inequality, and using the convexity of | k 1 D q Ξ | r and | k 2 D q Ξ | r , we have
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x + k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x k 2 k 1 2 0 1 q ϱ 2 1 6 k 1 D q Ξ 2 ϱ 2 k 1 + ϱ 2 k 2 + 1 6 q ϱ 2 k 2 D q Ξ ϱ 2 k 1 + 2 ϱ 2 k 1 d q ϱ k 2 k 1 2 0 1 q ϱ 2 1 6 s d q ϱ 1 s 0 1 k 1 D q Ξ 2 ϱ 2 k 1 + ϱ 2 k 2 r d q ϱ 1 r + 0 1 1 6 q ϱ 2 s d q ϱ 1 s 0 1 k 2 D q Ξ ϱ 2 k 1 + 2 ϱ 2 k 2 r d q ϱ 1 r k 2 k 1 2 0 1 q ϱ 2 1 6 s d q ϱ 1 s 0 1 2 ϱ 2 k 1 D q Ξ ( k 1 ) r + ϱ 2 k 1 D q Ξ ( k 2 ) r d q ϱ 1 r + 0 1 1 6 q ϱ 2 s d q ϱ 1 s 0 1 ϱ 2 k 2 D q Ξ ( k 1 ) r + 2 ϱ 2 k 2 D q Ξ ( k 2 ) r d q ϱ 1 r .
Using Lemma 3, it is easy to see that
0 1 q ϱ 2 1 6 s d q ϱ = 0 1 3 q 1 6 q ϱ 2 s d q ϱ + 1 3 q 1 q ϱ 2 1 6 s d q ϱ = ( 1 ) s + 1 q s 2 s 1 3 q 0 ϱ 1 3 q s d q ϱ + q s 2 s 1 3 q 1 ϱ 1 3 q s d q ϱ = ( 1 ) s + 1 q s 2 s [ s + 1 ] q 0 1 3 q s + 1 + q s 2 s [ s + 1 ] q 1 1 3 q s + 1 = 2 ( 1 + ( 3 q 1 ) s + 1 ) 6 s + 1 q [ s + 1 ] q .
We find that
0 1 2 ϱ 2 k 1 D q Ξ ( k 1 ) r + ϱ 2 k 1 D q Ξ ( k 2 ) r d q ϱ = ( 1 + 2 q ) | k 1 D q Ξ ( k 1 ) | r + | k 1 D q Ξ ( k 2 ) | r 2 [ 2 ] q ,
and
0 1 ϱ 2 k 2 D q Ξ ( k 1 ) r + 2 ϱ 2 k 2 D q Ξ ( k 2 ) r d q ϱ = | k 2 D q Ξ ( k 1 ) | r + ( 1 + 2 q ) | k 2 D q Ξ ( k 2 ) | r 2 [ 2 ] q .
Thus, the proof is completed. □
Remark 4. 
If we take the limit as q 1 in Theorem 3, then the inequality (13) becomes
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 2 Ξ ( x ) d x k 2 k 1 12 1 + 2 s + 1 3 ( s + 1 ) 1 s 3 Ξ k 1 r + Ξ k 2 r 4 1 r + 3 Ξ k 2 r + Ξ k 1 r 4 1 r ,
which is found in [33].

4. Numerical Examples

Within this section, we provide illustrations that bolster the recently established inequalities outlined in the previous section.
Example 1. 
Define function Ξ : [ 0 , 1 ] R by Ξ ( x ) = x 2 . From Theorem 1 with q = 1 2 , the left side of the inequality (11) becomes
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x + k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x = 1 6 Ξ ( 0 ) + 4 Ξ 1 2 + Ξ ( 1 ) 0 1 2 x 2 0 d 1 2 x + 1 2 1 x 2 1 d 1 2 x 0.02380 ,
and the right side of the inequality (11) becomes
k 2 k 1 2 Φ 1 ( q ) k 1 D q Ξ ( k 2 ) + Φ 2 ( q ) k 1 D q Ξ ( k 1 ) + Φ 1 ( q ) k 2 D q Ξ ( k 1 ) + Φ 2 ( q ) k 2 D q Ξ ( k 2 ) 1 2 Φ 1 1 2 0 D 1 2 Ξ ( 0 ) + Φ 2 1 2 0 D 1 2 Ξ ( 1 ) + Φ 2 1 2 1 D 1 2 Ξ ( 0 ) + Φ 1 1 2 1 D 1 2 Ξ ( 1 ) 0.0694 .
It is clear that
0.02380 0.0694 ,
which shows that the inequality (11) is valid.
In Figure 1 green and red lines indicate the right and left hand sides of Theorem 1 respectively.
Example 2. 
Define function Ξ : [ 0 , 1 ] R by Ξ ( x ) = x 2 . From Theorem 2 with q = 1 2 and r = 2 , the left side of the inequality (12) becomes
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x + k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x = 1 6 Ξ ( 0 ) + 4 Ξ 1 2 + Ξ ( 1 ) 0 1 2 x 2 0 d 1 2 x + 1 2 1 x 2 1 d 1 2 x 0.02380 ,
and the right side of the inequality (12) becomes
( k 2 k 1 ) ( Φ 3 ( q ) ) 1 1 r 2 × Φ 1 ( q ) k 1 D q Ξ ( k 1 ) r + Φ 2 ( q ) k 1 D q Ξ ( k 2 ) r 1 r + Φ 2 ( q ) k 2 D q Ξ ( k 1 ) r + Φ 1 ( q ) k 2 D q Ξ ( k 2 ) r 1 r = ( Φ 3 1 2 ) 1 1 2 2 [ Φ 1 1 2 0 D 1 2 Ξ ( 0 ) 2 + Φ 2 1 2 0 D 1 2 Ξ ( 1 ) 2 1 2 + Φ 2 1 2 1 D 1 2 Ξ ( 0 ) 2 + Φ 1 1 2 1 D 1 2 Ξ ( 1 ) 2 1 2 ] 0.08535 .
It is clear that
0.02380 0.08535 ,
which shows that the inequality (12) is valid.
In Figure 2 green and red lines indicate the right and left hand sides of Theorem 2 respectively.
Example 3. 
Define function Ξ : [ 0 , 1 ] R by Ξ ( x ) = x 2 . From Theorem 3 with q = 1 2 , r = 2 and s = 2 , the left side of the inequality (13) becomes
1 6 Ξ ( k 1 ) + 4 Ξ k 1 + k 2 2 + Ξ ( k 2 ) 1 ( k 2 k 1 ) k 1 k 1 + k 2 2 Ξ ( x ) k 1 d q x + k 1 + k 2 2 k 2 Ξ ( x ) k 2 d q x = 1 6 Ξ ( 0 ) + 4 Ξ 1 2 + Ξ ( 1 ) 0 1 2 x 2 0 d 1 2 x + 1 2 1 x 2 1 d 1 2 x 0.02380 ,
and the right side of the inequality (13) becomes
k 2 k 1 12 1 + ( 3 q 1 ) s + 1 3 q [ s + 1 ] q 1 s × ( 1 + 2 q ) | k 1 D q Ξ ( k 1 ) | r + | k 1 D q Ξ ( k 2 ) | r 2 [ 2 ] q 1 r + | k 2 D q Ξ ( k 1 ) | r + ( 1 + 2 q ) | k 2 D q Ξ ( k 2 ) | r 2 [ 2 ] q 1 r = 1 12 1 + 1 2 3 3 2 [ 3 ] q 1 2 × 3 | 0 D 1 2 Ξ ( 0 ) | 2 + 0 D 1 2 Ξ ( 1 ) | r 2 [ 2 ] q 1 2 + | 1 D 1 2 Ξ ( 0 ) | 2 + 3 | 1 D 1 2 Ξ ( 1 ) | 2 2 [ 2 ] q 1 2 0.13638 .
It is clear that
0.02380 0.13638 ,
which shows that the inequality (13) is valid.
In Figure 3 green and red lines indicate the right and left hand sides of Theorem 3 respectively.

5. Conclusions

This paper has introduced various fresh quantum versions of Simpson’s inequality, relying on the convexity of the functions. To verify our findings, we have provided numerical illustrations and graphical analysis. Our intention is that the concepts and methods presented in this research will inspire additional exploration in this area. In the future, we plan to extend these findings to additional classes of convexity and expand them to post-quantum calculus.

Author Contributions

Conceptualization, S.I., M.U.A. and H.B; methodology, S.I.; software, M.U.A.; validation, H.B.; formal analysis, S.I., M.U.A. and H.B.; investigation, S.I. and M.U.A.; resources, H.B.; data curation, S.I.; writing—original draft preparation, S.I. and M.U.A.; writing—review and editing, H.B.; visualization, M.U.A.; supervision, S.I., M.U.A. and H.B.; funding acquisition, S.I. All authors have read and agreed to the published version of the manuscript.

Funding

This research is supported by Xiamen University Malaysia under grant number: XMUMRF/2022-C10/IMAT/0022.

Data Availability Statement

Not applicable.

Acknowledgments

The authors are thankful to the editor and the anonymous reviewers for their valuable comments and suggestions.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Ali, M.A.; Budak, H.; Zhang, Z.; Yildirim, H. Some new Simpson’s type inequalities for coordinated convex functions in quantum calculus. Math. Methods Appl. Sci. 2021, 44, 4515–4540. [Google Scholar] [CrossRef]
  2. Budak, H.; Erden, S.; Aamir Ali, M. Simpson and Newton type inequalities for convex functions via newly defined quantum integrals. Math. Methods Appl. Sci. 2021, 44, 378–390. [Google Scholar] [CrossRef]
  3. Dragomir, S.S.; Agarwal, R.P.; Cerone, P. On Simpson’s inequality and applications. J. Ineqal. Appl. 2000, 5, 533–579. [Google Scholar] [CrossRef] [Green Version]
  4. Alomari, M.; Darus, M.; Dragomir, S.S. New inequalities of Simpson’s type for s-convex functions with applications. RGMIA Res. Rep. Coll. 2009, 4, 12. [Google Scholar]
  5. Kashuri, A.; Mohammed, P.O.; Abdeljawad, T.; Hamasalh, F.; Chu, Y.M. New Simpson type integral inequalities for s-convex functions and their applications. Math. Probl. Eng. 2020, 2020, 8871988. [Google Scholar] [CrossRef]
  6. Li, Y.; Du, T. Some Simpson type integral inequalities for functions whose third derivatives are (α,m)-GA-convex functions. J. Egypt. Math. Soc. 2016, 24, 175–180. [Google Scholar] [CrossRef] [Green Version]
  7. Sarikaya, M.Z.; Budak, H.; Erden, S. On new inequalities of Simpson’s type for generalized convex functions. Korean J. Math. 2019, 27, 279–295. [Google Scholar]
  8. Qaisar, S.; He, C.; Hussain, S. A generalizations of Simpson’s type inequality for differentiable functions using (α,m)-convex functions and applications. J. Inequal. Appl. 2013, 2013, 158. [Google Scholar] [CrossRef] [Green Version]
  9. Noor, M.A.; Noor, K.I.; Awan, M.U. Simpson-type inequalities for geometrically relative convex functions. Ukr. Math. J. 2018, 70, 1145–1154. [Google Scholar] [CrossRef]
  10. Abdeljawad, T.; Rashid, S.; Hammouch, Z.; İşcan, İ.; Chu, Y.M. Some new Simpson-type inequalities for generalized p-convex function on fractal sets with applications. Adv. Differ. Equ. 2020, 2020, 496. [Google Scholar] [CrossRef]
  11. Du, T.S.; Li, Y.J.; Yang, Z.Q. A generalization of Simpson’s inequality via differentiable mapping using extended (s,m)-convex functions. Appl. Math. Comput. 2017, 293, 358–369. [Google Scholar] [CrossRef]
  12. Matloka, M. Weighted Simpson type inequalities for h-convex functions. J. Nonlinear Sci. Appl. 2017, 10, 5770–5780. [Google Scholar] [CrossRef]
  13. Xi, B.Y.; Qi, F. Integral inequalities of Simpson type for logarithmically convex functions. Adv. Stud. Contemp. Math. 2013, 23, 559–566. [Google Scholar]
  14. Ernst, T. A Comprehensive Treatment of q-Calculus; Springer: Basel, Switzerland, 2012. [Google Scholar]
  15. Kalsoom, H.; Wu, J.D.; Hussain, S.; Latif, M.A. Simpson’s type inequalities for co-ordinated convex functions on quantum calculus. Symmetry 2019, 11, 768. [Google Scholar] [CrossRef] [Green Version]
  16. Tunc, M.; Göv, E.; Balgecti, S. Simpson type quantum integral inequalities for convex functions. Miskolc Math. Notes 2018, 19, 649–664. [Google Scholar] [CrossRef]
  17. Deng, Y.; Awan, M.U.; Wu, S. Quantum integral inequalities of Simpson-type for strongly preinvex functions. Mathematics 2019, 7, 751. [Google Scholar] [CrossRef] [Green Version]
  18. Ali, M.A.; Abbas, M.; Budak, H.; Agarwal, P.; Murtaza, G.; Chu, Y.M. New quantum boundaries for quantum Simpson’s and quantum Newton’s type inequalities for preinvex functions. Adv. Differ. Equ. 2021, 2021, 64. [Google Scholar] [CrossRef]
  19. Siricharuanun, P.; Erden, S.; Ali, M.A.; Budak, H.; Chasreechai, S.; Sitthiwirattham, T. Some new Simpson’s and Newton’s formulas type inequalities for convex functions in quantum calculus. Mathematics 2021, 9, 1992. [Google Scholar] [CrossRef]
  20. You, X.X.; Ali, M.A.; Budak, H.; Vivas-Cortez, M.; Qaisar, S. Some parameterized quantum Simpson’s and quantum Newton’s integral inequalities via quantum differentiable convex mappings. Math. Probl. Eng. 2021, 17, 1–17. [Google Scholar] [CrossRef]
  21. Ali, M.A.; Budak, H.; Zhang, Z. A new extension of quantum Simpson’s and quantum Newton’s type inequalities for quantum differentiable convex functions. Math. Meth. Appl. Sci. 2022, 45, 1845–1863. [Google Scholar] [CrossRef]
  22. Chu, Y.M.; Awan, M.U.; Javad, M.Z.; Khan, A.G. Bounds for the remainder in Simpson’s inequality via n-polynomial convex functions of higher order using Katugampola fractional integrals. J. Math. 2020, 2020, 4189036. [Google Scholar] [CrossRef]
  23. Iqbal, M.; Qaisar, S.; Hussain, S. On Simpson’s type inequalities utilizing fractional integrals. J. Comput. Anal. Appl. 2017, 23, 1137–1145. [Google Scholar]
  24. Sarikaya, M.Z.; Tunc, T.; Budak, H. Simpson’s type inequality for F-convex function. Facta Univ. Ser. Math. Inform. 2018, 5, 747–753. [Google Scholar]
  25. Pecaric, J.E.; Proschan, F.; Tong, Y.L. Convex Functions, Partial Orderings and Statistical Applications; Academic Press: New York, NY, USA, 1992. [Google Scholar]
  26. Kac, V.; Cheung, P. Quantum Calculus; Springer: New York, NY, USA, 2002. [Google Scholar]
  27. Tariboon, J.; Ntouyas, S.K. Quantum calculus on finite intervals and applications to impulsive difference equations. Adv. Differ. Equ. 2013, 2013, 282. [Google Scholar] [CrossRef] [Green Version]
  28. Jackson, F.H. On a q-definite integrals. Q. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  29. Bermudo, S.; Kórus, P.; Napoles Valdes, J.E. On q-Hermite-Hadamard inequalities for general convex functions. Acta Math. Hungar. 2020, 162, 364–374. [Google Scholar] [CrossRef]
  30. Soontharanon, J.; Ali, M.A.; Budak, H.; Nanlaopon, K.; Abdullah, Z. Simpson’s and Newton’s type inequalities for (α,m)-convex functions via quantum calculus. Symmetry 2022, 14, 736. [Google Scholar] [CrossRef]
  31. Sial, I.B.; Mei, S.; Ali, M.A.; Nonlaopon, K. On some generalized Simpson’s and Newton’s inequalities for (α,m)-convex functions in q-calculus. Mathematics 2021, 9, 3266. [Google Scholar] [CrossRef]
  32. Tariboon, J.; Ntouyas, S.K. Quantum integral inequalities on finite intervals. J. Inequal. Appl. 2014, 2014, 121. [Google Scholar] [CrossRef] [Green Version]
  33. Sarikaya, M.Z.; Set, E.; Özdemir, M.E. On new inequalities of Simpson’s type for s-convex functions. Comput. Math. Appl. 2010, 160, 2191–2199. [Google Scholar] [CrossRef] [Green Version]
Figure 1. Graphical analysis of left and right sides of Theorem 1.
Figure 1. Graphical analysis of left and right sides of Theorem 1.
Symmetry 15 01312 g001
Figure 2. Graphical analysis of left and right sides of Theorem 2.
Figure 2. Graphical analysis of left and right sides of Theorem 2.
Symmetry 15 01312 g002
Figure 3. Graphical analysis of left and right sides of Theorem 3.
Figure 3. Graphical analysis of left and right sides of Theorem 3.
Symmetry 15 01312 g003
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Iftikhar, S.; Awan, M.U.; Budak, H. Exploring Quantum Simpson-Type Inequalities for Convex Functions: A Novel Investigation. Symmetry 2023, 15, 1312. https://doi.org/10.3390/sym15071312

AMA Style

Iftikhar S, Awan MU, Budak H. Exploring Quantum Simpson-Type Inequalities for Convex Functions: A Novel Investigation. Symmetry. 2023; 15(7):1312. https://doi.org/10.3390/sym15071312

Chicago/Turabian Style

Iftikhar, Sabah, Muhammad Uzair Awan, and Hüseyin Budak. 2023. "Exploring Quantum Simpson-Type Inequalities for Convex Functions: A Novel Investigation" Symmetry 15, no. 7: 1312. https://doi.org/10.3390/sym15071312

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop