Next Article in Journal
Bayes in Wonderland! Predictive Supervised Classification Inference Hits Unpredictability
Next Article in Special Issue
Analytical and Numerical Monotonicity Analyses for Discrete Delta Fractional Operators
Previous Article in Journal
A Neural Network Type Approach for Constructing Runge–Kutta Pairs of Orders Six and Five That Perform Best on Problems with Oscillatory Solutions
Previous Article in Special Issue
A Theoretical Analysis of a Fractional Multi-Dimensional System of Boundary Value Problems on the Methylpropane Graph via Fixed Point Technique
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some (p, q)-Integral Inequalities of Hermite–Hadamard Inequalities for (p, q)-Differentiable Convex Functions

1
Department of Mathematics, Faculty of Science, Khon Kaen University, Khon Kaen 40002, Thailand
2
Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok 10800, Thailand
3
Department of Mathematics, University of Ioannina, 451 10 Ioannina, Greece
4
Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
5
Department of Mathematics, Faculty of Science and Arts, Düzce University, Düzce 81620, Turkey
*
Author to whom correspondence should be addressed.
Mathematics 2022, 10(5), 826; https://doi.org/10.3390/math10050826
Submission received: 7 February 2022 / Revised: 1 March 2022 / Accepted: 2 March 2022 / Published: 4 March 2022
(This article belongs to the Special Issue Fractional Calculus and Mathematical Applications)

Abstract

:
In this paper, we establish a new ( p , q ) b -integral identity involving the first-order ( p , q ) b -derivative. Then, we use this result to prove some new ( p , q ) b -integral inequalities related to Hermite–Hadamard inequalities for ( p , q ) b -differentiable convex functions. Furthermore, our main results are used to study some special cases of various integral inequalities. The newly presented results are proven to be generalizations of some integral inequalities of already published results. Finally, some examples are given to illustrate the investigated results.

1. Introduction

In mathematics, the study of calculus without limits is called quantum calculus (briefly called q-calculus), and was first studied by Euler (1707–1783), introducing the number in the q-infinite series defined by Newton (also called Newton’s infinite series). In the early 20th century, Jackson [1] relied on the concept of Euler to define the q-integral and q-derivative (well-known q-Jackson integral and q-Jackson derivative) over the interval ( 0 , ) . In q-calculus, we obtain the q-analoques of mathematical objects that can be recaptured by taking q 1 . In recent years, q-calculus has had numerous applications in various disciplines of physics and mathematics; see [2,3,4,5,6,7,8,9,10] and the references cited therein for more details.
In 2013, Tariboon and Ntouyas [11] presented the q a -integral and q a -derivative over finite intervals and also investigated the existence and uniqueness results of initial value problems for the first- and second-order impulsive q a -difference equations. In 2020, Bermudo et al. [12] introduced the q b -integral and q b -derivative over finite intervals and also proved some of their basic properties. Recently, the topic of q-calculus has been applied in various integral inequalities, for example, Simpson- and Newton-type inequalities [13], Hanh inequalities [14], Ostrowski inequalities [15], Fejér-type inequalities [16], Hermite–Hadamard-like inequalities [17], Hermite–Hadamard inequalities [18], and the references cited therein. In particular, Hermite–Hadamard inequalities have also been studied by using q-calculus for convex functions by many researchers; see [12,19,20,21,22,23,24,25] and the references cited therein for more details.
The q-calculus generalization is called post-quantum calculus (briefly called ( p , q ) -calculus). In ( p , q ) -calculus, two independent parameters, p- and q-number, are included. It is commonly known that q-calculus cannot be recaptured by taking q q / p in q-calculus, but it can be recaptured by taking p = 1 in ( p , q ) -calculus. Then, the classical formula can be gained by taking q 1 . The concept of ( p , q ) -integral and ( p , q ) -derivative over the interval ( 0 , ) was first studied by Chakrabarti and Jagannathan [26] in 1991. Later on, the concept of the ( p , q ) a -integral and ( p , q ) a -derivative over finite intervals was proposed by Tunç and Göv [27,28] in 2016. Recently, the concept of the ( p , q ) b -integral and ( p , q ) b -derivative over finite intervals was proposed by Vivas-Cortez et al. [29] in 2021. In the past few years, the topic of ( p , q ) -calculus has become interesting in various integral inequalities for many researchers, and the results of ( p , q ) -calculus can be found in [30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45], and the references cited therein.
In 2021, Li et al. [46] presented a new generalization of q b -integral inequalities related to Hermite–Hadamard inequalities for q b -differentiable convex functions. Inspired by the above-mentioned literature, we propose establishing a new generalization of ( p , q ) b -integral inequalities related to Hermite–Hadamard inequalities for ( p , q ) b -differentiable convex functions to extend and generalize the results given in the above-mentioned literature. Moreover, we study some special cases of various integral inequalities. Finally, we give two examples to investigate the main results.
The rest of the paper is organized as follows: In Section 2, we give some definitions and notations of ( p , q ) -calculus. In Section 3, we present the ( p , q ) b -integral inequalities related to Hermite–Hadamard inequalities for ( p , q ) b -differentiable convex functions and display some special cases of various integral inequalities. In Section 4, we show two examples to investigate our main results. In Section 5, we summarize our results.

2. Preliminaries

In this section, we provide some definitions and notations of ( p , q ) -calculus used in our work. Throughout this paper, we assume that 0 < q < p 1 are constants and [ a , b ] R is an interval with a < b . The ( p , q ) -number of λ is given by
[ λ ] p , q = p λ q λ p q = p λ 1 + p λ 2 q + + p q λ 2 + q λ 1 , λ N .
If p = 1 in (1), then (1) is reduced as follows:
[ λ ] q = 1 q λ 1 q = 1 + q + q 2 + + q λ 1 , λ N ,
which is called the q-analogue or q-number of λ ; see [47] for more details.
Definition 1
([27,28]). Let Ψ : [ a , b ] R be a continuous function. Then, the ( p , q ) a -derivative of Ψ at x is given by
a D p , q Ψ ( x ) = Ψ p x + ( 1 p ) a Ψ q x + ( 1 q ) a ( p q ) ( x a ) , i f x a ; lim x a a D p , q Ψ ( x ) , i f x = a .
The function Ψ is called ( p , q ) a -differentiable function on [ a , b ] if a D p , q Ψ ( x ) exists for all x [ a , ( b a ) / p + a ] .
Note that if p = 1 and a D 1 , q Ψ ( x ) = a D q Ψ ( x ) , then (2) is reduced as follows:
a D q Ψ ( x ) = Ψ ( x ) Ψ q x + ( 1 q ) a ( 1 q ) ( x a ) , i f x a ; lim x a a D q Ψ ( x ) , i f x = a ,
which is the well-known q a -derivative of Ψ on [ a , b ] ; see [48,49] for more details. Moreover, if a = 0 and 0 D q Ψ ( x ) = D q Ψ ( x ) , then (3) is reduced as follows:
D q Ψ ( x ) = Ψ ( x ) Ψ q x ( 1 q ) x , i f x a ; lim x 0 D q Ψ ( x ) , i f x = a ,
which is the well-known q a -derivative of Ψ on [ 0 , b ] ; see [47] for more details.
Definition 2
([29]). Let Ψ : [ a , b ] R be a continuous function. Then, the ( p , q ) b -derivative of Ψ at x is given by
b D p , q Ψ ( x ) = Ψ q x + ( 1 q ) b Ψ p x + ( 1 p ) b ( p q ) ( b x ) , i f x b ; lim x b b D p , q Ψ ( x ) , i f x = b .
The function Ψ is called ( p , q ) b -differentiable function on [ a , b ] if b D p , q Ψ ( x ) exists for all x [ b ( b a ) / p , b ] .
Note that if p = 1 and b D 1 , q Ψ ( x ) = b D q Ψ ( x ) , then (4) is reduced as follows:
b D q Ψ ( x ) = Ψ q x + ( 1 q ) b Ψ x ( 1 q ) ( b x ) , i f x b ; lim x b b D q Ψ ( x ) , i f x = b ,
which is the well-known q b -derivative of Ψ on [ a , b ] ; see [12,24] for more details.
Definition 3
([27]). Let Ψ : [ a , b ] R be a continuous function. Then, the ( p , q ) a -integral of Ψ at x is given by
a b Ψ ( x ) a d p , q x = ( p q ) ( b a ) λ = 0 q λ p λ + 1 Ψ q λ p λ + 1 b + 1 q λ p λ + 1 a .
The function Ψ is called ( p , q ) a -integrable function on [ a , b ] if a b Ψ ( x ) a d p , q x exists for all x [ a , a + p ( b a ) ] .
Note that if a = 0 , then (5) is reduced as follows:
0 b Ψ ( x ) d p , q x = ( p q ) b λ = 0 q λ p λ + 1 Ψ q λ p λ + 1 b ,
which appears in [28]. Moreover, if p = 1 , then (6) is reduced as follows:
0 b Ψ ( x ) d q x = ( 1 q ) b λ = 0 q λ Ψ q λ b ,
which is the well-known q-Jackson integral; see [1] for more details.
Definition 4
([29]). Let Ψ : [ a , b ] R be a continuous function. Then, the ( p , q ) b -integral of Ψ at x is given by
a b Ψ ( x ) b d p , q x = ( p q ) ( b a ) λ = 0 q λ p λ + 1 Ψ q λ p λ + 1 a + 1 q λ p λ + 1 b .
The function Ψ is called ( p , q ) b -integrable function on [ a , b ] if a b Ψ ( x ) b d p , q x exists for all x [ b p ( b a ) , b ] .
Lemma 1
([27]). For α R \ { 1 } , the following inequality holds:
a b x a α a d p , q x = ( b a ) α + 1 [ α + 1 ] p , q .
Theorem 1
([28]). Suppose that Ψ , Φ : [ a , b ] R are continuous functions and r > 0 with 1 / s + 1 / r = 1 , then
a b Ψ ( x ) Φ ( x ) a d p , q x a b Ψ ( x ) s a d p , q x 1 / s a b Φ ( x ) r a d p , q x 1 / r .

3. Main Results

In this section, we prove ( p , q ) b -integral inequalities related to Hermite–Hadamard inequalities for which the first-order ( p , q ) b -derivatives in absolute value are convex functions. We define I 1 = [ b ( b a ) / p , b ] and I 2 = [ b p ( b a ) , b ] . The ( p , q ) -integral identity is as follows:
Theorem 2.
Suppose that Ψ : [ a , b ] R is a ( p , q ) b -differentiable function on I 1 such that b D p , q Ψ is continuous and integrable functions on I 2 with γ , ν [ 0 , 1 ] , then
( b a ) 0 ν ( q t + γ ν γ ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + ν 1 ( q t + γ ν 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) .
Proof. 
Using Definition 2, we have
b D p , q Ψ ( t a + ( 1 t ) b ) = Ψ ( q ( t a + ( 1 t ) b ) + ( 1 q ) b ) Ψ ( p ( t a + ( 1 t ) b ) + ( 1 p ) b ) ( p q ) ( b ( t a + ( 1 t ) b ) ) = Ψ ( q t a + ( 1 q t ) b ) Ψ ( p t a + ( 1 p t ) b ) ( p q ) ( b a ) t .
Applying an identical transformation, we obtain
( b a ) 0 v ( q t + γ ν γ ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + v 1 ( q t + γ ν 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = ( b a ) 0 1 ( q t + γ ν 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + ( b a ) 0 v ( 1 γ ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t .
Using (6) and (11), we obtain
0 1 t b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 0 1 Ψ ( q t a + ( 1 q t ) b ) Ψ ( p t a + ( 1 p t ) b ) ( p q ) ( b a ) d p , q t = 1 b a λ = 0 q λ p λ + 1 Ψ q λ + 1 p λ + 1 a + 1 q λ + 1 p λ + 1 b λ = 0 q λ p λ + 1 Ψ q λ p λ a + 1 q λ p λ b = 1 b a 1 q λ = 0 q λ + 1 p λ + 1 Ψ q λ + 1 p λ + 1 a + 1 q λ + 1 p λ + 1 b 1 p λ = 0 q λ p λ Ψ q λ p λ a + 1 q λ p λ b = 1 b a 1 q 1 p λ = 0 q λ p λ Ψ q λ p λ a + 1 q λ p λ b 1 q Ψ ( a ) = 1 b a p q p q λ = 0 q λ p λ Ψ q λ p λ a + 1 q λ p λ b 1 q ( b a ) Ψ ( a ) = 1 p q ( b a ) 2 p a + ( 1 p ) b b Ψ ( x ) b d p , q x 1 q ( b a ) Ψ ( a ) .
Similarly, we obtain
0 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 0 1 Ψ ( q t a + ( 1 q t ) b ) Ψ ( p t a + ( 1 p t ) b ) ( p q ) ( b a ) t d p , q t = 1 b a λ = 0 Ψ q λ + 1 p λ + 1 a + 1 q λ + 1 p λ + 1 b λ = 0 Ψ q λ p λ a + 1 q λ p k b = 1 b a Ψ ( b ) Ψ ( a ) ,
and
0 ν b D p , q Ψ ( t a + ( 1 t ) b ) ν d p , q t = 0 ν Ψ ( q t a + ( 1 q t ) b ) Ψ ( p t a + ( 1 p t ) b ) ( p q ) ( b a ) t ν d p , q t = 1 b a λ = 0 Ψ q λ + 1 p λ + 1 ν a + 1 q λ + 1 p λ + 1 ν b λ = 0 Ψ q λ p λ ν a + 1 q λ p λ ν b = 1 b a Ψ ( b ) Ψ ( ν a + ( 1 ν ) b ) .
Substituting (13) to (15) in (12), we obtain the required ( p , q ) b -integral identity. Therefore, the proof is completed. □
Corollary 1.
Under the assumptions of Theorem 4 with ν = 0 , 1 and p / [ 2 ] p , q , the following new ( p , q ) b -integral identities hold:
(i) 
( b a ) 0 1 ( q t 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x Ψ ( b ) ;
(ii) 
( b a ) 0 1 q t b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x Ψ ( a ) ;
(iii) 
( b a ) 0 p / [ 2 ] p , q q t γ q [ 2 ] p , q b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + p / [ 2 ] p , q 1 q t + p γ [ 2 ] p , q 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ p Ψ ( a ) + q Ψ ( b ) [ 2 ] p , q ( 1 γ ) Ψ p a + q b [ 2 ] p , q .
Corollary 2.
Under the assumptions of Theorem 4 with γ = 0 , 1 / 3 , 1 / 2 and 1, the following new ( p , q ) b -integral identities hold:
(i) 
( b a ) 0 ν q t b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + ν 1 ( q t 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x Ψ ( ν a + ( 1 ν ) b ) ;
(ii) 
( b a ) 0 ν q t + 1 3 ν 1 3 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + ν 1 q t + 1 3 ν 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x 1 3 ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) + 2 Ψ ( ν a + ( 1 ν ) b ) ;
(iii) 
( b a ) 0 ν q t + 1 2 ν 1 2 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + ν 1 q t + 1 2 ν 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x 1 2 ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) + Ψ ( ν a + ( 1 ν ) b ) ;
(iv) 
( b a ) 0 ν ( q t + ν 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + ν 1 ( q t + ν 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) .
Remark 1.
If p = 1 , then (10) is reduced as follows:
( b a ) 0 ν ( q t + γ ν γ ) b D q Ψ ( t a + ( 1 t ) b ) d q t + ν 1 ( q t + γ ν 1 ) b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) ,
which appears in [46].
Remark 2.
If p = 1 , then (16) to (18) are reduced as follows:
(i) 
( b a ) 0 1 ( q t 1 ) b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x Ψ ( b ) ;
(ii) 
( b a ) 0 1 q t b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x Ψ ( a ) ;
(iii) 
( b a ) 0 1 / [ 2 ] q q t γ q [ 2 ] q b D q Ψ ( t a + ( 1 t ) b ) d q t + 1 / [ 2 ] q 1 q t + γ [ 2 ] q 1 b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x γ Ψ ( a ) + q Ψ ( b ) [ 2 ] q ( 1 γ ) Ψ a + q b [ 2 ] q ,
respectively, which appears in [46].
Remark 3.
If p = 1 , then (19) to (22) are reduced as follows:
(i) 
( b a ) 0 ν q t b D q Ψ ( t a + ( 1 t ) b ) d q t + ν 1 ( q t 1 ) b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x Ψ ( ν a + ( 1 ν ) b ) ,
which appears in [46]. In particular, if ν = 1 / [ 2 ] q , then (23) leads to the midpoint-type integral identity as follows:
( b a ) 0 1 / [ 2 ] q q t b D q Ψ ( t a + ( 1 t ) b ) d q t + 1 / [ 2 ] q 1 ( q t 1 ) b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x Ψ a + q b [ 2 ] q ,
which appears in [50].
(ii) 
( b a ) 0 ν q t + 1 3 ν 1 3 b D q Ψ ( t a + ( 1 t ) b ) d q t + ν 1 q t + 1 3 ν 1 b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x 1 3 ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) + 2 Ψ ( ν a + ( 1 ν ) b ) ,
which appears in [46]. In particular, if ν = 1 / [ 2 ] q , then (24) leads to the Simpson-like integral identity as follows:
( b a ) 0 1 / [ 2 ] q q t q 3 ( [ 2 ] q ) b D q Ψ ( t a + ( 1 t ) b ) d q t + 1 / [ 2 ] q 1 q t + 1 3 ( [ 2 ] q ) 1 b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x 1 3 Ψ ( a ) + q Ψ ( b ) [ 2 ] q + 2 Ψ a + q b [ 2 ] q ,
which appears in [46].
(iii) 
( b a ) 0 ν q t + 1 2 ν 1 2 b D q Ψ ( t a + ( 1 t ) b ) d q t + ν 1 q t + 1 2 ν 1 b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x 1 2 ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) + Ψ ( ν a + ( 1 ν ) b ) ,
which appears in [46]. In particular, if ν = 1 / [ 2 ] q , then (25) leads to the averaged midpoint-trapezoid-type integral identity as follows:
( b a ) 0 1 / [ 2 ] q q t q 2 ( [ 2 ] q ) b D q Ψ ( t a + ( 1 t ) b ) d q t + 1 / [ 2 ] q 1 q t + 1 2 ( [ 2 ] q ) 1 b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x 1 2 Ψ ( a ) + q Ψ ( b ) [ 2 ] q + Ψ a + q b [ 2 ] q ,
which appears in [46].
(iv) 
( b a ) 0 ν ( q t + ν 1 ) b D q Ψ ( t a + ( 1 t ) b ) d q t + ν 1 ( q t + ν 1 ) b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ,
which appears in [46]. In particular, if ν = 1 / [ 2 ] q , then (26) leads to the trapezoid-type integral identity as follows:
( b a ) 0 1 / [ 2 ] q q t q [ 2 ] q 1 b D q Ψ ( t a + ( 1 t ) b ) d q t + 1 / [ 2 ] q 1 q t + 1 [ 2 ] q 1 b D q Ψ ( t a + ( 1 t ) b ) d q t = 1 b a a b Ψ ( x ) b d q x Ψ ( a ) + q Ψ ( b ) [ 2 ] q ,
which appears in [50].
Remark 4.
From Corollary 2, we have the new ( p , q ) b -integral identities as follows:
(i) 
If we take ν = p / [ 2 ] p , q , then (19) leads to the midpoint-type identity as follows:
( b a ) 0 p / [ 2 ] p , q q t b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + p / [ 2 ] p , q 1 ( q t 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x Ψ p a + q b [ 2 ] p , q ,
which was proposed by Aamir Ali et al. in [29].
(ii) 
Taking ν = p / [ 2 ] p , q , then (20) leads to the Simpson-like integral identity as follows:
( b a ) 0 p / [ 2 ] p , q q t q 3 ( [ 2 ] p , q ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + p / [ 2 ] p , q 1 q t + p 3 ( [ 2 ] p , q ) 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x 1 3 p Ψ ( a ) + q Ψ ( b ) [ 2 ] p , q + 2 Ψ p a + q b [ 2 ] p , q .
(iii) 
If we set ν = p / [ 2 ] p , q , then (21) leads to the averaged midpoint-trapezoid-type integral identity as follows:
( b a ) 0 p / [ 2 ] p , q q t q 2 ( [ 2 ] p , q ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + p / [ 2 ] p , q 1 q t + p 2 ( [ 2 ] p , q ) 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x 1 2 p Ψ ( a ) + q Ψ ( b ) [ 2 ] p , q + Ψ p a + q b [ 2 ] p , q .
(iv) 
By setting ν = p / [ 2 ] p , q , then (22) leads to the trapezoid-type integral identity as follows:
( b a ) 0 p / [ 2 ] p , q q t q [ 2 ] p , q 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + p / [ 2 ] p , q 1 q t + p [ 2 ] p , q 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t = 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x p Ψ ( a ) + q Ψ ( b ) [ 2 ] p , q .
Theorem 3.
Suppose that Ψ : [ a , b ] R is a ( p , q ) b -differentiable function on I 1 such that b D p , q Ψ is continuous and integrable functions on I 2 with γ , ν [ 0 , 1 ] . If | b D p , q Ψ | is convex function on [ a , b ] , then
| 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) | ( b a ) Λ 1 ( p , q , γ , ν ) + Λ 2 ( p , q , γ , ν ) Λ 3 ( p , q , γ , ν ) b D p , q Ψ ( a ) + Θ 1 ( p , q , γ , ν ) + Θ 2 ( p , q , γ , ν ) Θ 3 ( p , q , γ , ν ) b D p , q Ψ ( b ) ,
where Λ i ( p , q , γ , ν ) , i = 1 , 2 , 3 , and Θ j ( p , q , γ , ν ) , j = 1 , 2 , 3 , are given by
Λ 1 ( p , q , γ , ν ) = 0 ν t q t + γ ν γ d p , q t = ν 2 γ ( 1 ν ) [ 2 ] p , q ν 3 q [ 3 ] p , q , ( γ + q ) ν γ ; ν 3 q [ 3 ] p , q ν 2 γ ( 1 ν ) [ 2 ] p , q + 2 γ 3 ( 1 ν ) 3 q 2 1 [ 2 ] p , q 1 [ 3 ] p , q , ( γ + q ) ν > γ , Θ 1 ( p , q , γ , ν ) = 0 ν ( 1 t ) q t + γ ν γ d p , q t = 0 ν q t + γ ν γ d p , q t 0 ν t q t + γ ν γ d p , q t = ν γ ( 1 ν ) ν 2 q + ν 2 γ ( 1 ν ) [ 2 ] p , q + ν 3 q [ 3 ] p , q , ( γ + q ) ν γ ; 2 γ 2 ( 1 ν ) 2 ( [ 2 ] p , q 1 ) + ν 2 q 2 + ν 2 q γ ( 1 ν ) q [ 2 ] p , q ν 3 q [ 3 ] p , q ν γ ( 1 ν ) 2 γ 3 ( 1 ν ) 3 q 2 1 [ 2 ] p , q 1 [ 3 ] p , q , ( γ + q ) ν > γ , Λ 2 ( p , q , γ , ν ) = 0 1 t q t + γ ν 1 d p , q t = 1 γ ν [ 2 ] p , q q [ 3 ] p , q , γ ν + q 1 ; q [ 3 ] p , q 1 γ ν [ 2 ] p , q + 2 ( 1 γ ν ) 3 q 2 1 [ 2 ] p , q 1 [ 3 ] p , q , γ ν + q > 1 , Θ 2 ( p , q , γ , ν ) = 0 1 ( 1 t ) q t + γ ν 1 d p , q t = 0 1 q t + γ ν 1 d p , q t 0 1 t q t + γ ν 1 d p , q t = ( 1 γ ν ) q + 1 γ ν [ 2 ] p , q + q [ 3 ] p , q , γ ν + q 1 ; 2 ( 1 γ ν ) 2 ( [ 2 ] p , q 1 ) + q 2 + q ( 1 γ ν ) q [ 2 ] p , q q [ 3 ] p , q ( 1 γ ν ) 2 ( 1 γ ν ) 3 q 2 1 [ 2 ] p , q 1 [ 3 ] p , q , γ ν + q > 1 , Λ 3 ( p , q , γ , ν ) = 0 ν t q t + γ ν 1 d p , q t = ν 2 ( 1 γ ν ) [ 2 ] p , q ν 3 q [ 3 ] p , q , γ ν + q 1 ; ν 3 q [ 3 ] p , q ν 2 ( 1 γ ν ) [ 2 ] p , q + 2 ( 1 γ ν ) 3 q 2 1 [ 2 ] p , q 1 [ 3 ] p , q , γ ν + q > 1 , Θ 3 ( p , q , γ , ν ) = 0 ν ( 1 t ) q t + γ ν 1 d p , q t = 0 ν q t + γ ν 1 d p , q t 0 ν t q t + γ ν 1 d p , q t = ν ( 1 γ ν ) ν 2 q + ν 2 ( 1 γ ν ) [ 2 ] p , q + ν 3 q [ 3 ] p , q , γ ν + q 1 ; 2 ( 1 γ ν ) 2 ( [ 2 ] p , q 1 ) + ν 2 q 2 + ν 2 q ( 1 γ ν ) q [ 2 ] p , q ν 3 q [ 3 ] p , q ν ( 1 γ ν ) 2 ( 1 γ ν ) 3 q 2 1 [ 2 ] p , q 1 [ 3 ] p , q , γ ν + q > 1 .
Proof. 
Taking the absolute value of both sides of (10), using Lemma 1 and applying the convexity of | b D p , q Ψ | , we obtain
| 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) | = ( b a ) | 0 ν ( q t + γ ν γ ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + ν 1 ( q t + γ ν 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t | ( b a ) 0 ν q t + γ ν γ b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + 0 1 q t + γ ν 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t 0 ν q t + γ ν 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t ( b a ) b D p , q Ψ ( a ) 0 ν t q t + γ ν γ d p , q t + b D p , q Ψ ( b ) 0 ν ( 1 t ) q t + γ ν γ d p , q t + b D p , q Ψ ( a ) 0 1 t q t + γ ν 1 d p , q t + b D p , q Ψ ( b ) 0 1 ( 1 t ) q t + γ ν 1 d p , q t b D p , q Ψ ( a ) 0 ν t q t + γ ν 1 d p , q t b D p , q Ψ ( b ) 0 ν ( 1 t ) q t + γ ν 1 d p , q t = ( b a ) Λ 1 ( p , q , γ , ν ) + Λ 2 ( p , q , γ , ν ) Λ 3 ( p , q , γ , ν ) b D p , q Ψ ( a ) + Θ 1 ( p , q , γ , ν ) + Θ 2 ( p , q , γ , ν ) Θ 3 ( p , q , γ , ν ) b D p , q Ψ ( b ) ,
which completes the proof. □
Corollary 3.
Under the assumptions of Theorem 3 with ν = p / [ 2 ] p , q , the following new ( p , q ) b -integral inequality holds:
1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ p Ψ ( a ) + q Ψ ( b ) [ 2 ] p , q ( 1 γ ) Ψ p a + q b [ 2 ] p , q ( b a ) Λ 1 p , q , γ , 1 [ 2 ] p , q + Λ 2 p , q , γ , 1 [ 2 ] p , q Λ 3 p , q , γ , 1 [ 2 ] p , q b D p , q Ψ ( a ) + Θ 1 p , q , γ , 1 [ 2 ] p , q + Θ 2 p , q , γ , 1 [ 2 ] p , q Θ 3 p , q , γ , 1 [ 2 ] p , q b D p , q Ψ ( b ) .
Remark 5.
If p = 1 , Λ i ( p , q , γ , ν ) = Λ i ( q , γ , ν ) and Θ j ( p , q , γ , ν ) = Θ j ( q , γ , ν ) for i , j = 1 , 2 , 3 , then (27) is reduced as follows:
| 1 b a a b Ψ ( x ) b d q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) | ( b a ) Λ 1 ( q , γ , ν ) + Λ 2 ( q , γ , ν ) Λ 3 ( q , γ , ν ) b D q Ψ ( a ) + Θ 1 ( q , γ , ν ) + Θ 2 ( q , γ , ν ) Θ 3 ( q , γ , ν ) b D q Ψ ( b ) ,
where Λ i ( q , γ , ν ) , i = 1 , 2 , 3 , and Θ j ( q , γ , ν ) , j = 1 , 2 , 3 , are defined by
Λ 1 ( q , γ , ν ) = 0 ν t q t + γ ν γ d q t = ν 2 γ ( 1 ν ) [ 2 ] q ν 3 q [ 3 ] q , ( γ + q ) ν γ ; ν 3 q [ 3 ] q ν 2 γ ( 1 ν ) [ 2 ] q + 2 γ 3 ( 1 ν ) 3 [ 2 ] q [ 3 ] q , ( γ + q ) ν > γ , Θ 1 ( q , γ , ν ) = 0 ν ( 1 t ) q t + γ ν γ d q t = 0 ν q t + γ ν γ d q t 0 ν t q t + γ ν γ d q t = ν γ ( 1 ν ) ν 2 q + ν 2 γ ( 1 ν ) [ 2 ] q + ν 3 q [ 3 ] q , ( γ + q ) ν γ ; 2 γ 2 ( 1 ν ) 2 + ν 2 q + ν 2 γ ( 1 ν ) [ 2 ] q ν 3 q [ 3 ] q ν γ ( 1 ν ) 2 γ 3 ( 1 ν ) 3 [ 2 ] q [ 3 ] q , ( γ + q ) ν > γ , Λ 2 ( q , γ , ν ) = 0 1 t q t + γ ν 1 d q t = 1 γ ν [ 2 ] q q [ 3 ] q , γ ν + q 1 ; q [ 3 ] q 1 γ ν [ 2 ] q + 2 ( 1 γ ν ) 3 [ 2 ] q [ 3 ] q , γ ν + q > 1 , Θ 2 ( q , γ , ν ) = 0 1 ( 1 t ) q t + γ ν 1 d q t = 0 1 q t + γ ν 1 d q t 0 1 t q t + γ ν 1 d q t = ( 1 γ ν ) q + 1 γ ν [ 2 ] q + q [ 3 ] q , γ ν + q 1 ; 2 ( 1 γ ν ) 2 + q + 1 γ ν [ 2 ] q q [ 3 ] q ( 1 γ ν ) 2 ( 1 γ ν ) 3 [ 2 ] q [ 3 ] q , γ ν + q > 1 ,
Λ 3 ( q , γ , ν ) = 0 ν t q t + γ ν 1 d q t = ν 2 ( 1 γ ν ) [ 2 ] q ν 3 q [ 3 ] q , γ ν + q 1 ; ν 3 q [ 3 ] q ν 2 ( 1 γ ν ) [ 2 ] q + 2 ( 1 γ ν ) 3 [ 2 ] q [ 3 ] q , γ ν + q > 1 , Θ 3 ( q , γ , ν ) = 0 ν ( 1 t ) q t + γ ν 1 d q t = 0 ν q t + γ ν 1 d q t 0 ν t q t + γ ν 1 d q t = ν ( 1 γ ν ) ν 2 q + ν 2 ( 1 γ ν ) [ 2 ] q + ν 3 q [ 3 ] q , γ ν + q 1 ; 2 ( 1 γ ν ) 2 + ν 2 q + ν 2 ( 1 γ ν ) [ 2 ] p , q ν ( 1 γ ν ) ν 3 q [ 3 ] p , q 2 ( 1 γ ν ) 3 [ 2 ] q [ 3 ] q , γ ν + q > 1 ,
which appears in [46].
Remark 6.
If p = 1 , then (28) is reduced as follows:
1 b a a b Ψ ( x ) b d q x γ Ψ ( a ) + q f ( b ) [ 2 ] q ( 1 γ ) Ψ a + q b [ 2 ] q ( b a ) Λ 1 q , γ , 1 [ 2 ] q + Λ 2 q , γ , 1 [ 2 ] q Λ 3 q , γ , 1 [ 2 ] q b D q Ψ ( a ) + Θ 1 q , γ , 1 [ 2 ] q + Θ 2 q , γ , 1 [ 2 ] q Θ 3 q , γ , 1 [ 2 ] q b D q f ( b ) ,
which appears in [46].
Remark 7.
From Corollary 3, we have the new ( p , q ) b -integral inequalities as follows:
(i) 
If we take γ = 0 , then (28) leads to the midpoint-type integral inequality as follows:
1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x Ψ p a + q b [ 2 ] p , q ( b a ) Λ 1 p , q , 0 , p [ 2 ] p , q + Λ 2 p , q , 0 , p [ 2 ] p , q Λ 3 p , q , 0 , p [ 2 ] p , q b D p , q Ψ ( a ) + Θ 1 p , q , 0 , p [ 2 ] p , q + Θ 2 p , q , 0 , p [ 2 ] p , q Θ 3 p , q , 0 , p [ 2 ] p , q b D p , q Ψ ( b ) .
(ii) 
Taking γ = 1 / 3 , then (28) leads to the Simpson-like integral inequality as follows:
1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x 1 3 p Ψ ( a ) + q Ψ ( b ) [ 2 ] p , q + 2 Ψ p a + q b [ 2 ] p , q ( b a ) Λ 1 p , q , 1 3 , p [ 2 ] p , q + Λ 2 p , q , 1 3 , p [ 2 ] p , q Λ 3 p , q , 1 3 , p [ 2 ] p , q b D p , q Ψ ( a ) + Θ 1 p , q , 1 3 , p [ 2 ] p , q + Θ 2 p , q , 1 3 , p [ 2 ] p , q Θ 3 p , q , 1 3 , p [ 2 ] p , q b D p , q Ψ ( b ) .
(iii) 
If we take γ = 1 / 2 , then (28) leads to the averaged midpoint-trapezoid-type integral inequality as follows:
1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x 1 2 p Ψ ( a ) + q Ψ ( b ) [ 2 ] p , q + 2 Ψ p a + q b [ 2 ] p , q ( b a ) Λ 1 p , q , 1 2 , p [ 2 ] p , q + Λ 2 p , q , 1 2 , p [ 2 ] p , q Λ 2 p , q , 1 2 , p [ 2 ] p , q b D p , q Ψ ( a ) + Θ 1 p , q , 1 2 , p [ 2 ] p , q + Θ 2 p , q , 1 2 , p [ 2 ] p , q Θ 3 p , q , 1 2 , p [ 2 ] p , q b D p , q Ψ ( b ) .
(iv) 
By setting γ = 1 , then (28) leads to the trapezoid-type integral inequality as follows:
1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x p Ψ ( a ) + q Ψ ( b ) [ 2 ] p , q ( b a ) Λ 1 p , q , 1 , p [ 2 ] p , q + Λ 2 p , q , 1 , p [ 2 ] p , q Λ 3 p , q , 1 , p [ 2 ] p , q b D p , q Ψ ( a ) + Θ 1 p , q , 1 , p [ 2 ] p , q + Θ 2 p , q , 1 , p [ 2 ] p , q Θ 3 p , q , 1 , p [ 2 ] p , q b D p , q Ψ ( b ) .
Remark 8.
If p = 1 , then (30) to (33) are reduced as follows:
(i) 
We obtain the midpoint-type integral inequality as follows:
1 b a a b Ψ ( x ) b d q x Ψ a + q b [ 2 ] q ( b a ) Λ 1 q , 0 , 1 [ 2 ] q + Λ 2 q , 0 , 1 [ 2 ] q Λ 3 q , 0 , 1 [ 2 ] q b D q Ψ ( a ) + Θ 1 q , 0 , 1 [ 2 ] q + Θ 2 q , 0 , 1 [ 2 ] q Θ 3 q , 0 , 1 [ 2 ] q b D q Ψ ( b ) ,
which appears in [46].
(ii) 
We obtain the Simpson-like integral inequality as follows:
1 b a a b Ψ ( x ) b d q x 1 3 Ψ ( a ) + q Ψ ( b ) [ 2 ] q + 2 Ψ a + q b [ 2 ] q ( b a ) Λ 1 q , 1 3 , 1 [ 2 ] q + Λ 2 q , 1 3 , 1 [ 2 ] q Λ 3 q , 1 3 , 1 [ 2 ] q b D q Ψ ( a ) + Θ 1 q , 1 3 , 1 [ 2 ] q + Θ 2 q , 1 3 , 1 [ 2 ] q Θ 3 q , 1 3 , 1 [ 2 ] q b D q Ψ ( b ) ,
which appears in [46]. Moreover, if q 1 , then (34) is reduced as follows:
1 b a a b Ψ ( x ) b d q x 1 3 Ψ ( a ) + q Ψ ( b ) [ 2 ] q + 2 Ψ a + q b [ 2 ] q 5 ( b a ) 72 Ψ ( b ) + Ψ ( a ) ,
which appears in [51].
(iii) 
We obtain the averaged midpoint-trapezoid-like integral inequality as follows:
1 b a a b Ψ ( x ) b d q x 1 2 Ψ ( a ) + q Ψ ( b ) [ 2 ] q + 2 Ψ a + q b [ 2 ] q ( b a ) Λ 1 q , 1 2 , 1 [ 2 ] q + Λ 2 q , 1 2 , 1 [ 2 ] q Λ 2 q , 1 2 , 1 [ 2 ] q b D q Ψ ( a ) + Θ 1 q , 1 2 , 1 [ 2 ] q + Θ 2 q , 1 2 , 1 [ 2 ] q Θ 3 q , 1 2 , 1 [ 2 ] q b D q Ψ ( b ) ,
which appears in [46]. Moreover, if q 1 , then (35) is reduced as follows:
1 b a a b Ψ ( x ) b d q x 1 2 Ψ ( a ) + q Ψ ( b ) [ 2 ] q + 2 Ψ a + q b [ 2 ] q b a 16 Ψ ( b ) + Ψ ( a ) ,
which appears in [52].
(iv) 
We obtain the trapezoid-type integral inequality as follows:
1 b a a b Ψ ( x ) b d q x Ψ ( a ) + q Ψ ( b ) [ 2 ] q ( b a ) Λ 1 q , 1 , 1 [ 2 ] q + Λ 2 q , 1 , 1 [ 2 ] q Λ 3 q , 1 , 1 [ 2 ] q b D q Ψ ( a ) + Θ 1 q , 1 , 1 [ 2 ] q + Θ 2 q , 1 , 1 [ 2 ] q Θ 3 q , 1 , 1 [ 2 ] q b D q Ψ ( b ) ,
which appears in [52].
Theorem 4.
Suppose that Ψ : [ a , b ] R is a ( p , q ) b -differentiable function on I 1 such that b D p , q Ψ is continuous and integrable functions on I 2 with γ , ν [ 0 , 1 ] . If | b D p , q Ψ | r for r > 1 is a convex function on [ a , b ] , then
| 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) | ( b a ) Δ 1 ( p , q , γ , ν ) 1 1 / r Λ 2 ( p , q , γ , ν ) b D p , q Ψ ( a ) r + Θ 2 ( p , q , γ , ν ) b D p , q Ψ ( b ) r 1 / r + ( b a ) ( 1 γ ) ν 1 1 / r ν 2 [ 2 ] p , q b D p , q Ψ ( a ) r + ν ( [ 2 ] p , q ν ) [ 2 ] p , q b D p , q Ψ ( b ) r 1 / r ,
where Θ 2 ( p , q , γ , ν ) is given in Theorem 3 and Δ 1 ( p , q , γ , ν ) is defined by
Δ 1 ( p , q , γ , ν ) = 0 ν q t + γ ν 1 d p , q t = ( 1 γ ν ) q [ 2 ] p , q , γ ν + q 1 ; 2 ( 1 γ ν ) 2 ( [ 2 ] p , q 1 ) + q 2 q [ 2 ] p , q ( 1 γ ν ) , γ ν + q > 1 .
Proof. 
Taking the absolute value of both sides of (10) and using the power-mean inequality for ( p , q ) -integrals, we obtain
| 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) | = ( b a ) | 0 ν ( q t + γ ν γ ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + ν 1 ( q t + γ ν 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t | = ( b a ) | 0 1 ( q t + γ ν 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + 0 ν ( 1 γ ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t | ( b a ) 0 1 q t + γ ν 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + 1 γ 0 ν b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t ( b a ) 0 1 q t + γ ν 1 d p , q t 1 1 / r 0 1 q t + γ ν 1 b D p , q Ψ ( t a + ( 1 t ) b ) r d p , q t 1 / r + ( b a ) 1 γ 0 ν 1 d p , q t 1 1 / r 0 ν b D p , q Ψ ( t a + ( 1 t ) b ) r d p , q t 1 / r .
Applying the convexity of | b D p , q Ψ | r , we have
| 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) | ( b a ) 0 1 q t + γ ν 1 d p , q t 1 1 / r × b D p , q Ψ ( a ) r 0 1 t q t + γ ν 1 d p , q t + b D p , q Ψ ( b ) r 0 1 ( 1 t ) q t + γ ν 1 d p , q t 1 / r + ( b a ) 1 γ 0 ν 1 d p , q t 1 1 / r b D p , q Ψ ( a ) r 0 ν t d p , q t + b D p , q Ψ ( b ) r 0 ν ( 1 t ) d p , q t 1 / r ( b a ) Δ 1 ( p , q , γ , ν ) 1 1 / r Λ 2 ( p , q , γ , ν ) b D p , q Ψ ( a ) r + Θ 2 ( p , q , γ , ν ) b D p , q Ψ ( b ) r 1 / r + ( b a ) ( 1 γ ) ν 1 1 / r ν 2 [ 2 ] p , q b D p , q Ψ ( a ) r + ν ( [ 2 ] p , q ν ) [ 2 ] p , q b D p , q Ψ ( b ) r 1 / r ,
which completes the proof. □
Remark 9.
If p = 1 , then (37) is reduced as follows:
| 1 b a a b Ψ ( x ) b d q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) | ( b a ) Δ 1 ( q , γ , ν ) 1 1 / r Λ 2 ( q , γ , ν ) b D q Ψ ( a ) r + Θ 2 ( q , γ , ν ) b D q Ψ ( b ) r 1 / r + ( b a ) ( 1 γ ) ν 1 1 / r ν 2 [ 2 ] q b D q Ψ ( a ) r + ν ( [ 2 ] q ν ) [ 2 ] q b D q Ψ ( b ) r 1 / r ,
where Θ 2 ( q , γ , ν ) is given in Remark 5 and Δ 1 ( q , γ , ν ) is defined by
Δ 1 ( q , γ , ν ) = 0 ν q t + γ ν 1 d q t = ( 1 γ ν ) q [ 2 ] q , γ ν + q 1 ; 2 ( 1 γ ν ) 2 + q [ 2 ] q ( 1 γ ν ) , γ ν + q > 1 ,
which appears in [46].
Theorem 5.
Suppose that Ψ : [ a , b ] R is a ( p , q ) b -differentiable function on I 1 such that b D p , q Ψ is a continuous and integrable function on I 2 with γ , ν [ 0 , 1 ] . If | b D p , q Ψ | r for r > 1 with 1 / s + 1 / r = 1 is a convex function on [ a , b ] , then
| 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) | ( b a ) Δ 2 ( p , q , γ , ν ) 1 / s b D p , q Ψ ( a ) r + ( [ 2 ] p , q 1 ) b D p , q Ψ ( b ) r [ 2 ] p , q 1 / r + ( b a ) ( 1 γ ) ν 1 / s ν 2 [ 2 ] p , q b D p , q Ψ ( a ) r + ν ( [ 2 ] p , q ν ) [ 2 ] p , q b D p , q Ψ ( b ) r 1 / r ,
where
Δ 2 ( p , q , γ , ν ) = 0 1 q t + γ ν 1 s d p , q t .
Proof. 
Taking the absolute value of both sides of (10) and using Theorem 1, we obtain
| 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) | = ( b a ) | 0 ν ( q t + γ ν γ ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + ν 1 ( q t + γ ν 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t | = ( b a ) | 0 1 ( q t + γ ν 1 ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + 0 ν ( 1 γ ) b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t | ( b a ) 0 1 q t + γ ν 1 b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t + 1 γ 0 ν b D p , q Ψ ( t a + ( 1 t ) b ) d p , q t ( b a ) 0 1 q t + γ ν 1 s d p , q t 1 / s 0 1 b D p , q Ψ ( t a + ( 1 t ) b ) r d p , q t 1 / r + ( b a ) 1 γ 0 ν 1 s d p , q t 1 / s 0 ν b D p , q Ψ ( t a + ( 1 t ) b ) r d p , q t 1 / r .
Applying the convexity of | b D p , q Ψ | r , we have
| 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) | ( b a ) 0 1 q t + γ ν 1 s d p , q t 1 / s b D p , q Ψ ( a ) r 0 1 t d p , q t + b D p , q Ψ ( b ) r 0 1 ( 1 t ) d p , q t 1 / r + ( b a ) 1 γ 0 ν 1 s d p , q t 1 / s b D p , q Ψ ( a ) r 0 ν t d p , q t + b D p , q Ψ ( b ) r 0 ν ( 1 t ) d p , q t 1 / r = ( b a ) Δ 2 ( p , q , γ , ν ) 1 / s b D p , q Ψ ( a ) r + ( [ 2 ] p , q 1 ) b D p , q Ψ ( b ) r [ 2 ] p , q 1 / r + ( b a ) ( 1 γ ) ν 1 / s ν 2 [ 2 ] p , q b D p , q Ψ ( a ) r + ν ( [ 2 ] p , q ν ) [ 2 ] p , q b D p , q Ψ ( b ) r 1 / r ,
which completes the proof. □
Remark 10.
If p = 1 , then (38) is reduced as follows:
| 1 p ( b a ) p a + ( 1 p ) b b Ψ ( x ) b d p , q x γ ν Ψ ( a ) + ( 1 ν ) Ψ ( b ) ( 1 γ ) Ψ ( ν a + ( 1 ν ) b ) | ( b a ) Δ 2 ( q , γ , ν ) 1 / s b D q Ψ ( a ) r + q b D q Ψ ( b ) r [ 2 ] q 1 / r + ( b a ) ( 1 γ ) ν 1 / s ν 2 [ 2 ] q b D q Ψ ( a ) r + ν ( [ 2 ] q ν ) [ 2 ] q b D q Ψ ( b ) r 1 / r ,
where
Δ 2 ( q , γ , ν ) = 0 1 q t + γ ν 1 s d q t ,
which appears in [46].
Corollary 4.
Under the assumptions of Theorems 4 and 5 with ν = p / [ 2 ] p , q , if we choose γ = 0 , γ = 1 / 3 , γ = 1 / 2 and γ = 1 , then we obtain the midpoint-type integral inequality, the Simpson-like integral inequality, the averaged midpoint-trapezoid-type integral inequality and the trapezoid-type integral inequality, respectively.
Remark 11.
From Corollary 4, if p = 1 , then we have some q-integral inequalities, which appears in [46].

4. Examples

In this section, we show two examples to investigate our main theorems.
Example 1.
Let f : [ 0 , 1 ] R be defined by f ( x ) = x 2 . From Theorem 3 with p = 3 / 4 , q = 1 / 2 , ν = 3 / 5 and γ = 1 / 3 , the left side of (27) becomes
| 1 p ( b a ) p a + ( 1 p ) b b f ( x ) b d p , q x γ ν f ( a ) + ( 1 ν ) f ( b ) ( 1 γ ) f ( ν a + ( 1 ν ) b ) | = 4 3 1 4 1 x 2 1 d 3 4 , 1 2 x 1 3 · 3 5 f ( 0 ) + 2 3 f ( 1 ) 2 3 f 2 5 0.2736 0.1333 0.1066 0.0337 ,
and the right side of (27) becomes
( b a ) Λ 1 ( p , q , γ , ν ) + Λ 2 ( p , q , γ , ν ) Λ 3 ( p , q , γ , ν ) b D p , q f ( a ) + Θ 1 ( p , q , γ , ν ) + Θ 2 ( p , q , γ , ν ) Θ 3 ( p , q , γ , ν ) b D p , q f ( b ) ( 1 0 ) 0.0517 + 0.2189 0.1394 · | 0.75 | + 0.0264 + 0.1810 0.1605 · | 2 | 0.1922 .
It is clear that
0.0337 0.1922 ,
which demonstrates the result described in Theorem 3.
Example 2.
Let f : [ 0 , 1 ] R be defined by f ( x ) = x 2 . From Theorem 3 with p = 3 / 4 , q = 1 / 2 , ν = 3 / 5 , γ = 1 / 3 and r = 5 , the left side of (37) becomes
| 1 p ( b a ) p a + ( 1 p ) b b f ( x ) b d p , q x γ ν f ( a ) + ( 1 ν ) f ( b ) ( 1 γ ) f ( ν a + ( 1 ν ) b ) | = 4 3 1 4 1 x 2 1 d 3 4 , 1 2 x 1 3 · 3 5 f ( 0 ) + 2 3 f ( 1 ) 2 3 f 2 5 0.2736 0.1333 0.1066 0.0337 ,
and the right side of (37) becomes
( b a ) Δ 1 ( p , q , γ , ν ) 1 1 / r Λ 2 ( p , q , γ , ν ) b D p , q Ψ ( a ) r + Θ 2 ( p , q , γ , ν ) b D p , q Ψ ( b ) r 1 / r + ( b a ) ( 1 γ ) ν 1 1 / r ν 2 [ 2 ] p , q b D p , q Ψ ( a ) r + ν ( [ 2 ] p , q ν ) [ 2 ] p , q b D p , q Ψ ( b ) r 1 / r ( 1 0 ) 0.4 1 1 / 5 0.2189 · 0.75 5 + 0.1810 · 2 5 1 / 5 + ( 1 0 ) 1 0.3333 0.6 1 1 / 5 0.2880 · 0.75 5 + 0.3120 · 2 5 1 / 5 1.3868 .
It is clear that
0.0337 1.3868 ,
which demonstrates the result described in Theorem 4.

5. Conclusions

In this work, we established some new estimates of ( p , q ) b -integral inequalities related to Hermite–Hadamard inequalities for which the first-order ( p , q ) b -derivatives in absolute value are convex functions. The main results in this study were proven to be generalizations of some previously proved results of q b -integral inequalities related to Hermite–Hadamard inequalities for q b -differentiable convex functions. Furthermore, the obtained results were used to study some special cases, namely the midpoint-type integral inequality, Simpson-like integral inequality, averaged midpoint-trapezoid-type integral inequality, and trapezoid-type integral inequality. Examples were given to illustrate the investigated results.

Author Contributions

Conceptualization, K.N.; investigation, W.L. and K.N.; methodology, K.N.; validation, W.L., K.N., J.T., S.K.N. and H.B.; visualization, W.L., K.N., J.T., S.K.N. and H.B.; writing—original draft, W.L.; writing—review and editing, W.L. and K.N. All authors have read and agreed to the published version of the manuscript.

Funding

This research received funding support from the National Science, Research and Innovation Fund (NSRF), Thailand.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

We would like to thank the anonymous referees for their comments, which were helpful in the improvement of this paper. The first author is supported by the Development and Promotion of Science and Technology talents project (DPST), Thailand.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Jackson, F.H. On a q-definite integrals. Q. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  2. Bangerezako, G. Variational q-calculus. J. Math. Anal. Appl. 2004, 289, 650–665. [Google Scholar] [CrossRef] [Green Version]
  3. Gauchman, H. Integral inequalities in q-calculus. Comput. Math. Appl. 2004, 47, 281–300. [Google Scholar] [CrossRef] [Green Version]
  4. Miao, Y.; Qi, F. Several q-integral inequalities. J. Math. Inequal. 2009, 1, 115–121. [Google Scholar] [CrossRef] [Green Version]
  5. Raychev, P.P.; Roussev, R.P.; Smirnov, Y.F. The quantum algebra SUq(2) and rotational spectra of deformed nuclei. J. Phys. G Nucl. Part. Phys. 1990, 16, 137–141. [Google Scholar] [CrossRef]
  6. Aral, A.; Gupta, V.; Agarwal, R.P. Applications of q-Calculus in Operator Theory; Springer Science+Business Media: New York, NY, USA, 2013. [Google Scholar]
  7. Ernst, T. A Comprehensive Treatment of q-Calculus; Springer: Basel, Switzerland, 2012. [Google Scholar]
  8. Page, D.N. Information in black hole radiation. Phys. Rev. Lett. 1993, 71, 3743–3746. [Google Scholar] [CrossRef] [Green Version]
  9. Gavrilik, A.M. q-Serre relations in Uq(un) and q-deformed meson mass sum rules. J. Phys. A Math. Gen. 1994, 27, L91–L94. [Google Scholar] [CrossRef]
  10. Ernst, T. A method for q-calculus. J. Nonlinear Math. Phys. 2003, 10, 487–525. [Google Scholar] [CrossRef] [Green Version]
  11. 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]
  12. Bermudo, S.; Kórus, P.; Nápoles Valdés, J.E. On q-Hermite-Hadamard inequalities for general convex functions. Acta Math. Hungar. 2020, 162, 364–374. [Google Scholar] [CrossRef]
  13. Budak, H.; Erden, S.; Ali, M.A. Simpson- and Newton-type inequalities for convex functions via newly defined quantum integrals. Math. Meth. Appl. Sci. 2020, 44, 378–390. [Google Scholar] [CrossRef]
  14. Asawasamrit, S.; Sudprasert, C.; Ntouyas, S.; Tariboon, J. Some result on quantum Hanh integral inequalities. J. Inequal. Appl. 2019, 2019, 154. [Google Scholar] [CrossRef] [Green Version]
  15. Noor, M.A.; Awan, M.U.; Noor, K.I. Quantum Ostrowski inequalities for q-differentiabble convex functions. J. Math. Inequal. 2016, 10, 1013–1018. [Google Scholar] [CrossRef]
  16. Yang, W. Some new Fejér type inequalities via quantum calculus on finite intervals. ScienceAsia 2017, 43, 123–134. [Google Scholar] [CrossRef] [Green Version]
  17. Budak, H.; Ali, M.A.; Tarhanaci, M. Some new quantum Hermite-Hadamard-Like inequalities for coordinated convex functions. J. Opt. Theory Appl. 2020, 186, 899–910. [Google Scholar] [CrossRef]
  18. Jhanthanam, S.; Tariboon, J.; Ntouyas, S.K.; Nonlaopon, K. On q-Hermite-Hadamard inequalities for differentiable convex functions. Mathematics 2019, 7, 632. [Google Scholar] [CrossRef] [Green Version]
  19. Prabseang, J.; Nonlaopon, K.; Ntouyas, S.K. On the refinement of quantum Hermite-Hadamard inequalities for convex functions. J. Math. Inequal. 2020, 14, 875–885. [Google Scholar] [CrossRef]
  20. Alp, N.; Sarıkaya, M.Z.; Kunt, M.; İşcan, İ. q-Hermite-Hadamard inequalities and quantum estimates for midpoint type inequalities via convex and quasi-convex functions. J. King Saud Univ. Sci. 2018, 30, 193–203. [Google Scholar] [CrossRef] [Green Version]
  21. Prabseang, J.; Nonlaopon, K.; Tariboon, J. Quantum Hermite-Hadamard inequalities for double integral and q-differentiable convex functions. J. Math. Inequal. 2019, 13, 675–686. [Google Scholar] [CrossRef]
  22. Yang, L.; Yang, R. Some new Hermite-Hadamard type inequalities for h-convex functions via quantum integral on finite intervals. J. Math. Comput. Sci. 2018, 18, 74–86. [Google Scholar] [CrossRef] [Green Version]
  23. Noor, M.A.; Noor, K.I.; Awan, M.U. Some quantum estimates for Hermite-Hadamard inequalities. Appl. Math. Comput. 2015, 251, 675–679. [Google Scholar] [CrossRef]
  24. Ali, M.A.; Budak, H.; Abbas, M.; Chu, M.Y. Quantum Hermite-Hadamard-type inequalities for functions with convex absolute values of second qb-derivatives. Adv. Differ. Equ. 2021, 2021, 7. [Google Scholar] [CrossRef]
  25. Liu, W.J.; Zhuang, H.F. Some quantum estimates of Hermite-Hadamard inequalities for convex functions. J. Appl. Anal. Comput. 2017, 7, 501–522. [Google Scholar]
  26. Chakrabarti, R.; Jagannathan, R.A. (p, q)-oscillator realization of two-paramenter quantum algebras. J. Phys. A Math. Gen. 1991, 24, L711–L718. [Google Scholar] [CrossRef]
  27. Tunç, M.; Göv, E. (p, q)-Integral inequalities. RGMIA Res. Rep. Coll. 2016, 19, 1–13. [Google Scholar]
  28. Tunç, M.; Göv, E. Some integral inequalities via (p, q)-calculus on finite intervals. RGMIA Res. Rep. Coll. 2016, 19, 1–12. [Google Scholar] [CrossRef]
  29. Vivas-Cortez, M.; Ali, M.A.; Budak, H.; Kalsoom, H.; Agarwal, P. Some new Hermite-Hadamard and related inequalities for convex functions via (p, q)-Integral. Entropy 2021, 23, 828. [Google Scholar] [CrossRef]
  30. Kunt, M.; İşcan, İ.; Alp, N.; Sarikaya, M.Z. (p, q)-Hermite-Hadamard inequalities and (p, q)-estimates for midpoint type inequalities via convex and quasi-convex functions. Rev. R. Acad. Cienc. 2018, 112, 969–992. [Google Scholar]
  31. Araci, S.; Duran, U.; Acikgoz, M.; Srivastava, H.M. A certain (p, q)-derivative operator and associated divided differences. J. Inequal. Appl. 2016, 2016, 301. [Google Scholar] [CrossRef] [Green Version]
  32. Soontharanon, J.; Sitthiwirattham, T. Fractional (p, q)-calculus. Adv. Differ. Equ. 2020, 2020, 35. [Google Scholar] [CrossRef] [Green Version]
  33. Prabseang, J.; Nonlaopon, K.; Tariboon, J. (p, q)-Hermite-Hadamard inequalities for double integral and (p, q)-differentiable convex functions. Axioms 2019, 8, 68. [Google Scholar] [CrossRef] [Green Version]
  34. Duran, U.; Acikgoz, M.; Esi, A.; Araci, S. A note on the (p, q)-Hermite polynomials. Appl. Math. Inf. Sci. 2018, 12, 227–231. [Google Scholar] [CrossRef]
  35. Thongjob, S.; Nonlaopon, K.; Ntouyas, S.K. Some (p, q)-Hardy type inequalities for (p, q)-integrable functions. AIMS Math. 2020, 6, 77–89. [Google Scholar] [CrossRef]
  36. Luangboon, W.; Nonlaopon, K.; Tariboon, J.; Ntouyas, S.K. On Simpson type inequalities for generalized strongly preinvex functions via (p, q)-calculus and applications. AIMS Math. 2021, 6, 9236–9261. [Google Scholar] [CrossRef]
  37. Nasiruzzaman, M.; Mukheimer, A.; Mursaleen, M. Some opial-type integral inequalities via (p, q)-calculus. J. Inequal. Appl. 2019, 2019, 295. [Google Scholar] [CrossRef] [Green Version]
  38. Ali, M.A.; Budak, H.; Murtaza, G.; Chu, Y.M. Post-quantum Hermite-Hadamard type inequalities for interval-valued convex functions. J. Inequal. Appl. 2021, 2021, 84. [Google Scholar] [CrossRef]
  39. Awan, M.U.; Talib, S.; Noor, M.A.; Noor, K.I.; Chu, Y.M. On post quantum integral inequalities. J. Math. Inequal. 2021, 2, 629–654. [Google Scholar] [CrossRef]
  40. Yu, B.; Luo, C.Y.; Du, T.S. On the refinements of some important inequalities via (p, q)-calculus and their applications. J. Inequal. Appl. 2021, 2021, 82. [Google Scholar] [CrossRef]
  41. Sitthiwirattham, T.; Murtaza, G.; Ali, M.A.; Promsakon, C.; Sial, I.B.; Agarwal, P. Post-quantum midpoint-type inequalities associated with twice-differentiable functions. Axioms 2022, 11, 46. [Google Scholar] [CrossRef]
  42. Luangboon, W.; Nonlaopon, K.; Tariboon, J.; Ntouyas, S.K. Simpson- and Newton-type inequalities for convex functions via (p, q)-calculus. Mathematics 2021, 9, 1338. [Google Scholar] [CrossRef]
  43. Neang, P.; Nonlaopon, K.; Tariboon, J.; Ntouyas, S.K. Fractional (p, q)-calculus on finite intervals and some integral inequalities. Symmetry 2021, 13, 504. [Google Scholar] [CrossRef]
  44. Raees, M.; Kashuri, A.; Awan, M.U.; Anwar, M. Some new post-quantum integral inequalities involvingmulti-parameter and their applications. Math. Meth. Appl. Sci. 2022, 2022, 1–23. [Google Scholar] [CrossRef]
  45. Vivas-Cortez, M.; Awan, M.U.; Talib, S.; Kashuri, A.; Noor, M.A. Some new post-quantum integral inequalities involving twice (p, q)-differentiable ψ-preinvex functions and applications. Axioms 2021, 10, 283. [Google Scholar] [CrossRef]
  46. Li, Y.X.; Ali, M.A.; Budak, H.; Abbas, M.; Chu, Y.M. A new generalization of some quantum integral inequalities for quantum differentiable convex functions. Adv. Differ. Equ. 2021, 2021, 225. [Google Scholar] [CrossRef]
  47. Kac, V.; Cheung, P. Quantum Calculus; Springer: New York, NY, USA, 2002. [Google Scholar]
  48. Sudsutad, W.; Ntouyas, S.K.; Tariboon, J. Quantum integral inequalities for convex functions. J. Math. Inequal. 2015, 9, 781–793. [Google Scholar] [CrossRef] [Green Version]
  49. Tariboon, J.; Ntouyas, S.K. Quantum integral inequalities on finite intervals. J. Inequal. Appl. 2014, 2014, 121. [Google Scholar] [CrossRef] [Green Version]
  50. Budak, H. Some trapezoid and midpoint type inequalities for newly defined quantum integrals. Proyecciones 2021, 40, 199–215. [Google Scholar] [CrossRef]
  51. Alomari, M.; Darus, M.; Dragomir, S.S. New inequalities of Simpson’s type for s-convex functions with applications. Res. Rep. Collect. 2009, 12, 1–18. [Google Scholar]
  52. Xi, B.Y.; Qi, F. Some Hermite-Hadamard type inequalities for differentiable convex functions and applications. Hacet. J. Math. Stat. 2013, 42, 243–257. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Luangboon, W.; Nonlaopon, K.; Tariboon, J.; Ntouyas, S.K.; Budak, H. Some (p, q)-Integral Inequalities of Hermite–Hadamard Inequalities for (p, q)-Differentiable Convex Functions. Mathematics 2022, 10, 826. https://doi.org/10.3390/math10050826

AMA Style

Luangboon W, Nonlaopon K, Tariboon J, Ntouyas SK, Budak H. Some (p, q)-Integral Inequalities of Hermite–Hadamard Inequalities for (p, q)-Differentiable Convex Functions. Mathematics. 2022; 10(5):826. https://doi.org/10.3390/math10050826

Chicago/Turabian Style

Luangboon, Waewta, Kamsing Nonlaopon, Jessada Tariboon, Sotiris K. Ntouyas, and Hüseyin Budak. 2022. "Some (p, q)-Integral Inequalities of Hermite–Hadamard Inequalities for (p, q)-Differentiable Convex Functions" Mathematics 10, no. 5: 826. https://doi.org/10.3390/math10050826

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