Next Article in Journal
Solution to Integral Equation in an O-Complete Branciari b-Metric Spaces
Next Article in Special Issue
Subclasses of Uniformly Convex Functions with Negative Coefficients Based on Deniz–Özkan Differential Operator
Previous Article in Journal
An Improved Whale Optimization Algorithm for Web Service Composition
Previous Article in Special Issue
Some Properties of Bazilevič Functions Involving Srivastava–Tomovski Operator
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Parameterized Quantum Fractional Integral Inequalities Defined by Using n-Polynomial Convex Functions

by
Rozana Liko
1,
Hari Mohan Srivastava
2,3,4,5,
Pshtiwan Othman Mohammed
6,*,
Artion Kashuri
1,
Eman Al-Sarairah
7,8,
Soubhagya Kumar Sahoo
9 and
Mohamed S. Soliman
10,*
1
Department of Mathematics, Faculty of Technical and Natural Sciences, University “Ismail Qemali”, 9400 Vlora, Albania
2
Department of Mathematics and Statistics, University of Victoria, Victoria, BC V8W 3R4, Canada
3
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan
4
Department of Mathematics and Informatics, Azerbaijan University, 71 Jeyhun Hajibeyli Street, Baku AZ1007, Azerbaijan
5
Center for Converging Humanities, Kyung Hee University, 26 Kyungheedae-ro, Dongdaemun-gu, Seoul 02447, Republic of Korea
6
Department of Mathematics, College of Education, University of Sulaimani, Sulaimani 46001, Iraq
7
Department of Mathematics, Khalifa University, Abu Dhabi P.O. Box 127788, United Arab Emirates
8
Department of Mathematics, Al-Hussein Bin Talal University, Ma’an P.O. Box 33011, Jordan
9
Department of Mathematics, Institute of Technical Education and Research, Siksha ‘O’ Anusandhan University, Bhubaneswar 751030, India
10
Department of Electrical Engineering, College of Engineering, Taif University, P.O. Box 11099, Taif 21944, Saudi Arabia
*
Authors to whom correspondence should be addressed.
Axioms 2022, 11(12), 727; https://doi.org/10.3390/axioms11120727
Submission received: 24 November 2022 / Revised: 11 December 2022 / Accepted: 12 December 2022 / Published: 13 December 2022

Abstract

:
Convexity performs the appropriate role in the theoretical study of inequalities according to the nature and behaviour. There is a strong relation between symmetry and convexity. In this article, we consider a new parameterized quantum fractional integral identity. Following that, our main results are established, which consist of some integral inequalities of Ostrowski and midpoint type pertaining to n-polynomial convex functions. From our main results, we discuss in detail several special cases. Finally, an example and an application to special means of positive real numbers are presented to support our theoretical results.

1. Introduction

Integral inequalities are very useful tools for finding estimations. They can be applied in different fields of mathematics such as fractional calculus and discrete fractional calculus, etc. (see [1,2,3,4]).
Convexity study is crucial regarding theoretical behavior of mathematical inequalities. For some other theoretical studies of inequalities on different types of convex functions, see, e.g., GA -convex [5], MT -convex [6], ( α , m ) -convex [7], a generalized class of convexity [8], and many other types can be found in [9].
Definition 1
([9]). A function Θ : I R R is said to be convex if
Θ ( υ ω 1 + ( 1 υ ) ω 2 ) υ Θ ( ω 1 ) + ( 1 υ ) Θ ( ω 2 )
holds for all ω 1 , ω 2 I and υ [ 0 , 1 ] . Likewise, Θ is concave if Θ is convex.
Definition 2
([10,11]). Let n N . A nonnegative function Θ : I R R is called n-polynomial convex if
Θ ( υ ω 1 + ( 1 υ ) ω 2 ) 1 n = 1 n 1 1 υ Θ ( ω 1 ) + 1 n = 1 n 1 υ Θ ( ω 2 )
holds for all ω 1 , ω 2 I and υ [ 0 , 1 ] .
Remark 1.
From [10], every nonnegative convex function is also an n-polynomial convex function. Moreover, we get the convex function by taking n = 1 in Definition 2.
Symmetry has a significant role in integral inequality models with convexity. Furthermore, for convex functions and their types, many basic inequalities are found, such as Hermite–Hadamard type [12], Hermite–Hadamard–Fejér type [13], Ostrowski type [14,15,16], Simpson type [17,18], Hardy type [19], and Olsen type [20].
In this paper, we are focused in Ostrowski and midpoint type inequalities as follows.
Theorem 1
([21]). (Ostrowski type inequality) Assume that Θ : I R R is a differentiable function on I and let ω 1 , ω 2 I (the interior of I ) with ω 1 < ω 2 . If Θ ( ξ ) M for all ξ [ ω 1 , ω 2 ] , then the following inequality holds true:
Θ ( ξ ) 1 ω 2 ω 1 ω 1 ω 2 Θ ( υ ) d υ M ( ω 2 ω 1 ) 1 4 + ξ ω 1 + ω 2 2 2 ( ω 2 ω 1 ) 2 .
Choosing ξ = ω 1 + ω 2 2 in (1), we get the following midpoint type inequality:
Θ ω 1 + ω 2 2 1 ω 2 ω 1 ω 1 ω 2 Θ ( υ ) d υ M ( ω 2 ω 1 ) 4 .
Let us recall some published papers about above inequalities using quantum calculus that inspired us.
The q ˙ -analogue of the trapezium’s inequality was discovered by Tariboon and Ntouyas [22] using the concepts of quantum calculus, also known as calculus without limits, on the finite intervals. See [23] for more information on how to get classical calculus by taking q ˙ 1 . An updated version of the q ˙ -analogue of the inequality of the trapezium was discovered by Alp et al. [24]. Meanwhile, q ˙ -analogues of trapezium-like inequalities involving first order q ˙ -differentiable convex functions were deduced by Sudsutad et al. [25] and Noor et al. [26]. These analogues were created by Liu and Zhuang [27] by using twice q ˙ -differentiable convex functions. Budak et al. [28] are able to further develop certain quantum Hermite–Hadamard-type inequality. Ali et al. [29] presented some quantum Ostrowski-type inequalities for twice quantum differentiable functions. Convexity was used by Butt et al. [30] to generate some new quantum Simpson-Newton-like estimates in the frame of Mercer type inequalities. Aljinović et al. [31] established Ostrowski inequality for quantum calculus. Wang et al. [32] developed new Ostrowski-type inequalities via q ˙ -fractional integrals involving s-convex functions. To the best of our knowledge, the recently published paper from Wang et al. [32] is the first one working in this new direction that mixed together the fractional calculus with quantum calculus. Inspired by it, we will try to give some new quantum fractional integral inequalities of Ostrowski and midpoint type.
The article is set up as follows. The purpose of the Section 2 is to review several earlier findings of fractional calculus and q ˙ -calculus to provide the main interpretation of this article. In Section 3, we look at proving a new parameterized quantum fractional integral identity and demonstrate some integral inequalities of Ostrowski and midpoint type via n-polynomial convex functions. From our main results, we will discuss in detail several special cases. In Section 4, we offer an example and an application to special means of positive real numbers in order to show the efficiency of our theoretical results. The conclusion and future research will be given in Section 5.

2. Preliminaries

Let us denote, respectively, L [ ω 1 , ω 2 ] the set of all Lebesgue integrable functions on [ ω 1 , ω 2 ] and C [ ω 1 , ω 2 ] the set of all differentiable continuous functions on [ ω 1 , ω 2 ] .

2.1. Fractional Calculus

Definition 3.
Let α > 0 , 0 ω 1 < ω 2 and Θ L [ ω 1 , ω 2 ] . Then the Riemann–Liouville fractional integral operators of order α are defined by
J ω 1 + α Θ ( ξ ) = 1 Γ ( α ) ω 1 ξ ( ξ υ ) α 1 Θ ( υ ) d υ , ω 1 < ξ
and
J ω 2 α Θ ( ξ ) = 1 Γ ( α ) ξ ω 2 ( υ ξ ) α 1 Θ ( υ ) d υ , ξ < ω 2 ,
where Γ ( · ) is gamma function, defined by
Γ ( α ) = 0 υ α 1 e υ d υ , Γ ( α + 1 ) = α Γ ( α ) .
For α = 1 , we get the classical Riemann integrals.

2.2. Quantum Calculus

Throughout the remaining paper, let us consider 0 < q ˙ < 1 as a constant.
Definition 4
([23]). For Θ C [ ω 1 , ω 2 ] , the left q ˙ -derivative of Θ at ξ [ ω 1 , ω 2 ] is given by
ω 1 D q ˙ Θ ( ξ ) = Θ ( ξ ) Θ q ˙ ξ + ( 1 q ˙ ) ω 1 ( 1 q ˙ ) ( ξ ω 1 ) , ξ ω 1 .
The function Θ is said to be q ˙ -differentiable on [ ω 1 , ω 2 ] if ω 1 D q ˙ Θ ( ξ ) exists for all ξ [ ω 1 , ω 2 ] . If we choose ω 1 = 0 , then we will used the notation ω 1 D q ˙ Θ ( ξ ) = D q ˙ Θ ( ξ ) , which is the q ˙ -Jackson derivative [23,24,33] for more details.
The q ˙ -integer is expressed as follows:
[ n ] q ˙ : = q ˙ n 1 q ˙ 1 = 1 + q ˙ + q ˙ 2 + + q ˙ n 1 , n N , q ˙ ( 0 , 1 ) .
The following q ˙ -integral along with its properties can be studied in [24].
Definition 5.
Suppose that Θ C [ ω 1 , ω 2 ] . Then q ˙ -definite integral for ξ [ ω 1 , ω 2 ] is defined as
ω 1 ξ Θ ( υ ) ω 1 d q ˙ υ = ( 1 q ˙ ) ( ξ ω 1 ) r = 0 q ˙ r Θ q ˙ r ξ + ( 1 q ˙ r ) ω 1 .
Choosing ω 1 = 0 in (5), we have
0 ξ Θ ( υ ) d q ˙ υ = ( 1 q ˙ ) ξ r = 0 q ˙ r Θ q ˙ r ξ ,
which gives
0 1 υ α + s d q ˙ υ = 1 [ α + s + 1 ] q ˙ , 0 1 υ α ( 1 υ ) s d q ˙ υ = Γ q ˙ ( α + 1 ) Γ q ˙ ( s + 1 ) Γ q ˙ ( α + s + 2 ) ,
where the q ˙ -gamma function for ξ > 0 is defined by
Γ q ˙ ( ξ ) = 0 υ ξ 1 E q ˙ q ˙ υ d q ˙ υ , Γ q ˙ ( ξ + 1 ) = [ ξ ] q ˙ Γ q ˙ ( ξ )
and the q ˙ -exponential function is given as
E q ˙ υ = r = 0 q ˙ r ( r 1 ) 2 υ r [ r ] q ˙ ! .
The following q ˙ -fractional integrals can be studied in [34].
Definition 6.
Let α > 0 , 0 ω 1 < ω 2 and Θ L [ ω 1 , ω 2 ] . Then the Riemann–Liouville q ˙ -fractional integrals of order α are defined by
J q ˙ , ω 1 + α Θ ( ξ ) = 1 Γ q ˙ ( α ) ω 1 ξ ( ξ q ˙ υ ) α 1 Θ ( υ ) ω 1 d q ˙ υ , ω 1 < ξ
and
J q ˙ , ω 2 α Θ ( ξ ) = 1 Γ q ˙ ( α ) q ˙ ξ ω 2 ( υ q ˙ ξ ) α 1 Θ ( υ ) d q ˙ υ , ξ < ω 2 ,
where Γ q ˙ ( · ) is q ˙ -gamma function. For q ˙ 1 , we get the Riemann–Liouville fractional integral operators.
Theorem 2
([22]). ( q ˙ -integration by parts) Let Θ 1 , Θ 2 C [ ω 1 , ω 2 ] , then for all ξ [ ω 1 , ω 2 ] , and we have
ω 1 ξ Θ 1 ( υ ) ω 1 D q ˙ Θ 2 ( υ ) ω 1 d q ˙ υ = Θ 1 ( ξ ) Θ 2 ( ξ ) Θ 1 ( ω 1 ) Θ 2 ( ω 1 ) ω 1 ξ Θ 2 q ˙ υ + ( 1 q ˙ ) ω 1 ω 1 D q ˙ Θ 1 ( υ ) ω 1 d q ˙ υ .
Theorem 3
([35]). ( q ˙ -Hölder’s inequality) Let Θ 1 , Θ 2 be two q ˙ -integrable functions on [ ω 1 , ω 2 ] such that p , q ˙ * > 1 , and 1 p + 1 q ˙ * = 1 , and then we have
ω 1 ω 2 Θ 1 ( υ ) Θ 2 ( υ ) ω 1 d q ˙ υ ω 1 ω 2 Θ 1 ( υ ) p ω 1 d q ˙ υ 1 p ω 1 ω 2 Θ 2 ( υ ) q ˙ * ω 1 d q ˙ υ 1 q ˙ * .
Theorem 4
([35]). ( q ˙ -power mean inequality) Let Θ 1 , Θ 2 be two q ˙ -integrable functions on [ ω 1 , ω 2 ] such that q ˙ * 1 , and then we have
ω 1 ω 2 Θ 1 ( υ ) Θ 2 ( υ ) ω 1 d q ˙ υ ω 1 ω 2 Θ 1 ( υ ) ω 1 d q ˙ υ 1 1 q ˙ * ω 1 ω 2 Θ 1 ( υ ) Θ 2 ( υ ) q ˙ * ω 1 d q ˙ υ 1 q ˙ * .

3. Main Results

For the simplicity of notations, let
δ ( ξ , α ) : = 0 1 ξ υ α d υ , ρ ( ξ , p , α ) : = 0 1 ξ υ α p d υ .
Let us recall the well-known beta and hypergeometric functions below:
β ( x , y ) : = 0 1 υ x 1 ( 1 υ ) y 1 d υ , x , y > 0
and
2 F 1 ω 1 , ω 2 ; τ ; z : = 1 β ( ω 2 , τ ω 2 ) 0 1 υ ω 2 1 ( 1 υ ) τ ω 2 1 ( 1 z υ ) ω 1 d υ
for R ( τ ) > R ( ω 2 ) > 0 , and | z | 1 .
To establish our main results, we need the following lemmas.
Lemma 1.
For α > 0 and 0 ξ 1 , we have
δ ( ξ , α ) : = 1 α + 1 , for ξ = 0 ; 2 α ξ 1 + 1 α + 1 α + 1 ξ , for 0 < ξ < 1 ; α α + 1 , for ξ = 1 .
Proof. 
The proof is evident. □
Lemma 2.
For α > 0 , p 1 and 0 ξ 1 , we have
ρ ( ξ , p , α ) : = 1 p α + 1 , for ξ = 0 ; ξ p + 1 α α β 1 α , p + 1 + ( 1 ξ ) p + 1 α ( p + 1 ) 2 F 1 1 1 α , 1 ; p + 2 ; 1 ξ , for 0 < ξ < 1 ; 1 α β 1 α , p + 1 , for ξ = 1 .
Proof. 
The proof is a straightforward computations. We omit here their details. □
Lemma 3.
Suppose Θ : [ ω 1 , ω 2 ] R be a q ˙ -differentiable mapping, where 0 < q ˙ < 1 , such that 0 ω 1 < ω 2 . If D q ˙ Θ ( x ) L [ ω 1 , ω 2 ] for all x [ ω 1 , ω 2 ] , θ , ϖ R and α N , and then we have
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) = ( ω 2 x ) α + 1 ω 2 ω 1 0 1 θ υ α D q ˙ Θ υ x + ( 1 υ ) ω 2 d q ˙ υ ( x ω 1 ) α + 1 ω 2 ω 1 0 1 ϖ υ α D q ˙ Θ ( 1 υ ) ω 1 + υ x d q ˙ υ .
Proof. 
Let us denote, respectively,
I 1 : = 0 1 θ υ α D q ˙ Θ υ x + ( 1 υ ) ω 2 d q ˙ υ
and
I 2 : = 0 1 ϖ υ α D q ˙ Θ ( 1 υ ) ω 1 + υ x d q ˙ υ .
With the help of q ˙ -integration by parts, we have
I 1 = θ 0 1 D q ˙ Θ υ x + ( 1 υ ) ω 2 d q ˙ υ 0 1 υ α D q ˙ Θ υ x + ( 1 υ ) ω 2 d q ˙ υ = θ ω 2 x x ω 2 x D q ˙ Θ ( υ ) x d q ˙ υ υ α Θ υ x + ( 1 υ ) ω 2 x ω 2 0 1 + [ α ] q ˙ x ω 2 0 1 υ α 1 Θ q ˙ υ x + ( 1 q ˙ υ ) ω 2 d q ˙ υ = θ ω 2 x Θ ( ω 2 ) Θ ( x ) + Θ ( x ) ω 2 x + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 x ) Θ ( x ) [ α ] q ˙ Γ q ˙ ( α ) q ˙ α ( ω 2 x ) α + 1 1 Γ q ˙ ( α ) x ω 2 ω 2 q ˙ υ α 1 Θ ( υ ) d q ˙ υ = θ ω 2 x Θ ( ω 2 ) Θ ( x ) + Θ ( x ) ω 2 x + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 x ) Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 x ) α + 1 J q ˙ , x + α Θ ( ω 2 ) .
Similarly, we get
I 2 = ϖ 0 1 D q ˙ Θ ( 1 υ ) ω 1 + υ x d q ˙ υ 0 1 υ α D q ˙ Θ ( 1 υ ) ω 1 + υ x d q ˙ υ = ϖ x ω 1 Θ ( x ) Θ ( ω 1 ) Θ ( x ) x ω 1 [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( x ω 1 ) Θ ( x ) + Γ q ˙ ( α + 1 ) q ˙ α ( x ω 1 ) α + 1 J q ˙ , x α Θ ( ω 1 ) .
By multiplying (11) by ( ω 2 x ) α + 1 ω 2 ω 1 and (12) with ( x ω 1 ) α + 1 ω 2 ω 1 and subtracting them, we acquire (10). □
Remark 2.
Considering q ˙ 1 in Lemma 3, we have
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) Γ ( α + 1 ) ω 2 ω 1 J x + α Θ ( ω 2 ) + J x α Θ ( ω 1 ) = ( ω 2 x ) α + 1 ω 2 ω 1 0 1 θ υ α Θ υ x + ( 1 υ ) ω 2 d υ ( x ω 1 ) α + 1 ω 2 ω 1 0 1 ϖ υ α Θ ( 1 υ ) ω 1 + υ x d υ .
Remark 3.
Choosing α = 1 in Lemma 3, we get the following q ˙ -identity:
θ ( ω 2 x ) Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + Θ ( x ) q ˙ 1 q ˙ ( ω 2 ω 1 ) q ˙ ω 1 ω 2 Θ ( υ ) ω 1 d q ˙ υ = ( ω 2 x ) 2 ω 2 ω 1 0 1 θ υ D q ˙ Θ υ x + ( 1 υ ) ω 2 d q ˙ υ ( x ω 1 ) 2 ω 2 ω 1 0 1 ϖ υ D q ˙ Θ ( 1 υ ) ω 1 + υ x d q ˙ υ .
By using Lemmas 1–3, we established the following q ˙ -fractional integral inequalities.
Theorem 5.
Let Θ : [ ω 1 , ω 2 ] R be a q ˙ -differentiable mapping, where 0 < q ˙ < 1 , such that 0 ω 1 < ω 2 and θ , ϖ [ 0 , 1 ] . If D q ˙ Θ ( x ) L [ ω 1 , ω 2 ] for every x [ ω 1 , ω 2 ] and | D q ˙ Θ ( x ) | q ˙ * is n-polynomial convex function for all n N , such that p , q ˙ * > 1 , and 1 p + 1 q ˙ * = 1 , and then for α N , the following q ˙ -fractional integral inequality holds true:
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) 1 ω 2 ω 1 1 1 n = 1 n 1 [ + 1 ] q ˙ 1 q ˙ * ( ω 2 x ) α + 1 A q ˙ 1 p ( θ , p , α ) | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) α + 1 A q ˙ 1 p ( ϖ , p , α ) | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * ,
where
A q ˙ ( θ , p , α ) : = 0 1 | θ υ α | p d q ˙ υ .
Proof. 
By using Lemma 3, q ˙ -Hölder’s inequality, n-polynomial convexity of | D q ˙ Θ ( x ) | q ˙ * and properties of modulus, we have
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) ( ω 2 x ) α + 1 ω 2 ω 1 0 1 θ υ α D q ˙ Θ υ x + ( 1 υ ) ω 2 d q ˙ υ + ( x ω 1 ) α + 1 ω 2 ω 1 0 1 ϖ υ α D q ˙ Θ ( 1 υ ) ω 1 + υ x d q ˙ υ ( ω 2 x ) α + 1 ω 2 ω 1 0 1 θ υ α p d q ˙ υ 1 p 0 1 D q ˙ Θ υ x + ( 1 υ ) ω 2 q ˙ * d q ˙ υ 1 q ˙ * + ( x ω 1 ) α + 1 ω 2 ω 1 0 1 ϖ υ α p d q ˙ υ 1 p 0 1 D q ˙ Θ ( 1 υ ) ω 1 + υ x q ˙ * d q ˙ υ 1 q ˙ * ( ω 2 x ) α + 1 ω 2 ω 1 A q ˙ 1 p ( θ , p , α ) 0 1 1 n = 1 n 1 ( 1 υ ) | D q ˙ Θ ( x ) | q ˙ * d q ˙ υ + 0 1 1 n = 1 n 1 υ | D q ˙ Θ ( ω 2 ) | q ˙ * d q ˙ υ 1 q ˙ * + ( x ω 1 ) α + 1 ω 2 ω 1 A q ˙ 1 p ( ϖ , p , α ) 0 1 1 n = 1 n 1 ( 1 υ ) | D q ˙ Θ ( x ) | q ˙ * d q ˙ υ + 0 1 1 n = 1 n 1 υ | D q ˙ Θ ( ω 1 ) | q ˙ * d q ˙ υ 1 q ˙ * = 1 ω 2 ω 1 1 1 n = 1 n 1 [ + 1 ] q ˙ 1 q ˙ * ( ω 2 x ) α + 1 A q ˙ 1 p ( θ , p , α ) | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) α + 1 A q ˙ 1 p ( ϖ , p , α ) | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * .
This concludes the desired proof. □
Corollary 1.
Suppose q ˙ 1 in Theorem 5. Then we have
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) Γ ( α + 1 ) ω 2 ω 1 J x + α Θ ( ω 2 ) + J x α Θ ( ω 1 ) 1 ω 2 ω 1 1 1 n = 1 n 1 + 1 1 q ˙ * ( ω 2 x ) α + 1 ρ 1 p ( θ , p , α ) | Θ ( x ) | q ˙ * + | Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) α + 1 ρ 1 p ( ϖ , p , α ) | Θ ( x ) | q ˙ * + | Θ ( ω 1 ) | q ˙ * 1 q ˙ * .
Corollary 2.
Considering α = 1 in Theorem 5, we get
θ ( ω 2 x ) Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + Θ ( x ) q ˙ 1 q ˙ ( ω 2 ω 1 ) q ˙ ω 1 ω 2 Θ ( υ ) ω 1 d q ˙ υ 1 ω 2 ω 1 1 1 n = 1 n 1 [ + 1 ] q ˙ 1 q ˙ * ( ω 2 x ) 2 A q ˙ 1 p ( θ , p ) | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) 2 A q ˙ 1 p ( ϖ , p ) | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * ,
where
A q ˙ ( θ , p ) : = 0 1 | θ υ | p d q ˙ υ .
Corollary 3.
Taking | D q ˙ Θ | K in Theorem 5, we obtain
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) 2 1 q ˙ * K ω 2 ω 1 1 1 n = 1 n 1 [ + 1 ] q ˙ 1 q ˙ * ( ω 2 x ) α + 1 A q ˙ 1 p ( θ , p , α ) + ( x ω 1 ) α + 1 A q ˙ 1 p ( ϖ , p , α ) .
Corollary 4.
Considering n = 1 in Theorem 5, we have
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) 1 ω 2 ω 1 q ˙ 1 + q ˙ 1 q ˙ * ( ω 2 x ) α + 1 A q ˙ 1 p ( θ , p , α ) | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) α + 1 A q ˙ 1 p ( ϖ , p , α ) | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * .
Corollary 5.
Taking θ = ϖ in Theorem 5, we get
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) 1 ω 2 ω 1 1 1 n = 1 n 1 [ + 1 ] q ˙ 1 q ˙ * A q ˙ 1 p ( θ , p , α ) ( ω 2 x ) α + 1 | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) α + 1 | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * .
Corollary 6.
Choosing θ = 0 and α = 1 in Corollary 5, we obtain the following q ˙ -integral inequality of Ostrowski type:
Θ ( x ) 1 ω 2 ω 1 q ˙ ω 1 ω 2 Θ ( υ ) ω 1 d q ˙ υ q ˙ ω 2 ω 1 1 1 n = 1 n 1 [ + 1 ] q ˙ 1 q ˙ * 1 [ p + 1 ] q ˙ 1 p ( ω 2 x ) 2 | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) 2 | D q ˙ Θ ( x ) | q ˙ * + | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * .
Corollary 7.
Taking x = ω 1 + ω 2 2 in Corollary 6, we have the following q ˙ -integral inequality of midpoint type:
Θ ω 1 + ω 2 2 1 ω 2 ω 1 q ˙ ω 1 ω 2 Θ ( υ ) ω 1 d q ˙ υ q ˙ ( ω 2 ω 1 ) 4 1 1 n = 1 n 1 [ + 1 ] q ˙ 1 q ˙ * 1 [ p + 1 ] q ˙ 1 p D q ˙ Θ ω 1 + ω 2 2 q ˙ * + | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * + D q ˙ Θ ω 1 + ω 2 2 q ˙ * + | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * .
Theorem 6.
Suppose Θ : [ ω 1 , ω 2 ] R be a q ˙ -differentiable mapping, where 0 < q ˙ < 1 , such that 0 ω 1 < ω 2 and θ , ϖ [ 0 , 1 ] . If D q ˙ Θ ( x ) L [ ω 1 , ω 2 ] for every x [ ω 1 , ω 2 ] and | D q ˙ Θ ( x ) | q ˙ * is n-polynomial convex function for all n N , such that q ˙ * 1 , and then for α N , the following q ˙ -fractional integral inequality holds true:
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) ( ω 2 x ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( θ , α ) A q ˙ ( θ , α ) 1 n = 1 n B q ˙ ( θ , α , ) | D q ˙ Θ ( x ) | q ˙ * + A q ˙ ( θ , α ) 1 n = 1 n C q ˙ ( θ , α , ) | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( ϖ , α ) A q ˙ ( ϖ , α ) 1 n = 1 n B q ˙ ( ϖ , α , ) | D q ˙ Θ ( x ) | q ˙ * + A q ˙ ( ϖ , α ) 1 n = 1 n C q ˙ ( ϖ , α , ) | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * ,
where
A q ˙ ( θ , α ) : = 0 1 | θ υ α | d q ˙ υ , B q ˙ ( θ , α , ) : = 0 1 ( 1 υ ) | θ υ α | d q ˙ υ
and
C q ˙ ( θ , α , ) : = 0 1 υ | θ υ α | d q ˙ υ .
Proof. 
By using Lemma 3, q ˙ -power mean inequality, n-polynomial convexity of | D q ˙ Θ ( x ) | q ˙ * and properties of modulus, we have
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) ( ω 2 x ) α + 1 ω 2 ω 1 0 1 θ υ α D q ˙ Θ υ x + ( 1 υ ) ω 2 d q ˙ υ + ( x ω 1 ) α + 1 ω 2 ω 1 0 1 ϖ υ α D q ˙ Θ ( 1 υ ) ω 1 + υ x d q ˙ υ ( ω 2 x ) α + 1 ω 2 ω 1 0 1 θ υ α d q ˙ υ 1 1 q ˙ * 0 1 θ υ α D q ˙ Θ υ x + ( 1 υ ) ω 2 q ˙ * d q ˙ υ 1 q ˙ * + ( x ω 1 ) α + 1 ω 2 ω 1 0 1 ϖ υ α d q ˙ υ 1 1 q ˙ * 0 1 ϖ υ α D q ˙ Θ ( 1 υ ) ω 1 + υ x q ˙ * d q ˙ υ 1 q ˙ * ( ω 2 x ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( θ , α ) × 0 1 θ υ α 1 n = 1 n 1 ( 1 υ ) | D q ˙ Θ ( x ) | q ˙ * + 1 n = 1 n 1 υ | D q ˙ Θ ( ω 2 ) | q ˙ * d q ˙ υ 1 q ˙ * + ( x ω 1 ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( ϖ , α ) × 0 1 ϖ υ α 1 n = 1 n 1 ( 1 υ ) | D q ˙ Θ ( x ) | q ˙ * + 1 n = 1 n 1 υ | D q ˙ Θ ( ω 1 ) | q ˙ * d q ˙ υ 1 q ˙ * = ( ω 2 x ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( θ , α ) × A q ˙ ( θ , α ) 1 n = 1 n B q ˙ ( θ , α , ) | D q ˙ Θ ( x ) | q ˙ * + A q ˙ ( θ , α ) 1 n = 1 n C q ˙ ( θ , α , ) | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( ϖ , α ) × A q ˙ ( ϖ , α ) 1 n = 1 n B q ˙ ( ϖ , α , ) | D q ˙ Θ ( x ) | q ˙ * + A q ˙ ( ϖ , α ) 1 n = 1 n C q ˙ ( ϖ , α , ) | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * .
This completes the proof. □
Corollary 8.
Taking q ˙ * = 1 in Theorem 6, we have
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) ( ω 2 x ) α + 1 ω 2 ω 1 A q ˙ ( θ , α ) 1 n = 1 n B q ˙ ( θ , α , ) | D q ˙ Θ ( x ) | + A q ˙ ( θ , α ) 1 n = 1 n C q ˙ ( θ , α , ) | D q ˙ Θ ( ω 2 ) | + ( x ω 1 ) α + 1 ω 2 ω 1 A q ˙ ( ϖ , α ) 1 n = 1 n B q ˙ ( ϖ , α , ) | D q ˙ Θ ( x ) | + A q ˙ ( ϖ , α ) 1 n = 1 n C q ˙ ( ϖ , α , ) | D q ˙ Θ ( ω 1 ) | .
Corollary 9.
If we choose q ˙ 1 in Theorem 6, we get
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) Γ ( α + 1 ) ω 2 ω 1 J x + α Θ ( ω 2 ) + J x α Θ ( ω 1 ) ( ω 2 x ) α + 1 ω 2 ω 1 δ 1 1 q ˙ * ( θ , α ) δ ( θ , α ) 1 n = 1 n B ( θ , α , ) | Θ ( x ) | q ˙ * + δ ( θ , α ) 1 n = 1 n C ( θ , α , ) | Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) α + 1 ω 2 ω 1 δ 1 1 q ˙ * ( ϖ , α ) δ ( ϖ , α ) 1 n = 1 n B ( ϖ , α , ) | Θ ( x ) | q ˙ * + δ ( ϖ , α ) 1 n = 1 n C ( ϖ , α , ) | Θ ( ω 1 ) | q ˙ * 1 q ˙ * ,
where
B ( θ , α , ) : = 0 1 ( 1 υ ) | θ υ α | d υ
and
C ( θ , α , ) : = 0 1 υ | θ υ α | d υ .
Corollary 10.
Taking α = 1 in Theorem 6, we obtain
θ ( ω 2 x ) Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + Θ ( x ) q ˙ 1 q ˙ ( ω 2 ω 1 ) q ˙ ω 1 ω 2 Θ ( υ ) ω 1 d q ˙ υ ( ω 2 x ) 2 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( θ ) A q ˙ ( θ ) 1 n = 1 n B q ˙ ( θ , ) | D q ˙ Θ ( x ) | q ˙ * + A q ˙ ( θ ) 1 n = 1 n C q ˙ ( θ , ) | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) 2 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( ϖ ) A q ˙ ( ϖ ) 1 n = 1 n B q ˙ ( ϖ , ) | D q ˙ Θ ( x ) | q ˙ * + A q ˙ ( ϖ ) 1 n = 1 n C q ˙ ( ϖ , ) | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * ,
where
A q ˙ ( θ ) : = 0 1 | θ υ | d q ˙ υ , B q ˙ ( θ , ) : = 0 1 ( 1 υ ) | θ υ | d q ˙ υ
and
C q ˙ ( θ , ) : = 0 1 υ | θ υ | d q ˙ υ .
Corollary 11.
Choosing | D q ˙ Θ | K in Theorem 6, we have
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) K ( ω 2 x ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( θ , α ) 2 A q ˙ ( θ , α ) 1 n = 1 n B q ˙ ( θ , α , ) + C q ˙ ( θ , α , ) 1 q ˙ * + K ( x ω 1 ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( ϖ , α ) 2 A q ˙ ( ϖ , α ) 1 n = 1 n B q ˙ ( ϖ , α , ) + C q ˙ ( ϖ , α , ) 1 q ˙ * .
Corollary 12.
Taking n = 1 in Theorem 6, we get
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ϖ ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) ( ω 2 x ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( θ , α ) C q ˙ ( θ , α ) | D q ˙ Θ ( x ) | q ˙ * + A q ˙ ( θ , α ) C q ˙ ( θ , α ) | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( ϖ , α ) C q ˙ ( ϖ , α ) | D q ˙ Θ ( x ) | q ˙ * + A q ˙ ( ϖ , α ) C q ˙ ( ϖ , α ) | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * ,
where
C q ˙ ( θ , α ) : = 0 1 υ | θ υ α | d q ˙ υ .
Corollary 13.
Choosing θ = ϖ in Theorem 6, we obtain
θ ( ω 2 x ) α Θ ( ω 2 ) Θ ( x ) ( x ω 1 ) α Θ ( x ) Θ ( ω 1 ) ω 2 ω 1 + ( x ω 1 ) α + ( ω 2 x ) α ω 2 ω 1 Θ ( x ) + [ α ] q ˙ ( 1 q ˙ ) q ˙ α ( ω 2 ω 1 ) ( x ω 1 ) α + ( ω 2 x ) α Θ ( x ) Γ q ˙ ( α + 1 ) q ˙ α ( ω 2 ω 1 ) J q ˙ , x + α Θ ( ω 2 ) + J q ˙ , x α Θ ( ω 1 ) ( ω 2 x ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( θ , α ) × A q ˙ ( θ , α ) 1 n = 1 n B q ˙ ( θ , α , ) | D q ˙ Θ ( x ) | q ˙ * + A q ˙ ( θ , α ) 1 n = 1 n C q ˙ ( θ , α , ) | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + ( x ω 1 ) α + 1 ω 2 ω 1 A q ˙ 1 1 q ˙ * ( θ , α ) × A q ˙ ( θ , α ) 1 n = 1 n B q ˙ ( θ , α , ) | D q ˙ Θ ( x ) | q ˙ * + A q ˙ ( θ , α ) 1 n = 1 n C q ˙ ( θ , α , ) | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * .
Corollary 14.
Taking θ = 0 and α = 1 in Corollary 13, we have the following q ˙ -integral inequality of Ostrowski type:
Θ ( x ) 1 ω 2 ω 1 q ˙ ω 1 ω 2 Θ ( υ ) ω 1 d q ˙ υ q ˙ ( ω 2 x ) 2 ω 2 ω 1 1 1 + q ˙ 1 1 q ˙ * × 1 1 + q ˙ 1 n = 1 n 1 [ + 1 ] q ˙ [ + 2 ] q ˙ | D q ˙ Θ ( x ) | q ˙ * + 1 1 + q ˙ 1 n = 1 n 1 [ + 2 ] q ˙ | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * + q ˙ ( x ω 1 ) 2 ω 2 ω 1 1 1 + q ˙ 1 1 q ˙ * × 1 1 + q ˙ 1 n = 1 n 1 [ + 1 ] q ˙ [ + 2 ] q ˙ | D q ˙ Θ ( x ) | q ˙ * + 1 1 + q ˙ 1 n = 1 n 1 [ + 2 ] q ˙ | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * .
Corollary 15.
Choosing x = ω 1 + ω 2 2 in Corollary 14, we get the following q ˙ -integral inequality of midpoint type:
Θ ω 1 + ω 2 2 1 ω 2 ω 1 q ˙ ω 1 ω 2 Θ ( υ ) ω 1 d q ˙ υ q ˙ ( ω 2 ω 1 ) 4 1 1 + q ˙ 1 1 q ˙ * × 1 1 + q ˙ 1 n = 1 n 1 [ + 1 ] q ˙ [ + 2 ] q ˙ D q ˙ Θ ω 1 + ω 2 2 q ˙ * + 1 1 + q ˙ 1 n = 1 n 1 [ + 2 ] q ˙ | D q ˙ Θ ( ω 1 ) | q ˙ * 1 q ˙ * + 1 1 + q ˙ 1 n = 1 n 1 [ + 1 ] q ˙ [ + 2 ] q ˙ D q ˙ Θ ω 1 + ω 2 2 q ˙ * + 1 1 + q ˙ 1 n = 1 n 1 [ + 2 ] q ˙ | D q ˙ Θ ( ω 2 ) | q ˙ * 1 q ˙ * .

4. Example and Application

4.1. Example

Let Θ ( υ ) = υ r + 1 q ˙ * + 1 r + 1 q ˙ * + 1 q ˙ , where r N , q ˙ * 1 and q ˙ ( 0 , 1 ) . After simple calculations, we have D q ˙ Θ ( υ ) q ˙ * = υ r + 1 , which shows that | D q ˙ Θ ( υ ) | q ˙ * is convex function for all υ > 0 and r N . Then, by applying Corollaries 2 and 10 with Remark 1 for specific values n = 1 , ω 1 = 0 , ω 2 = 1 such that x , θ , ϖ [ 0 , 1 ] , we deduce the following q ˙ -inequalities:
θ ( 1 x ) r + 1 q ˙ * + 1 q ˙ x r + 1 q ˙ * + 1 ϖ x r + 1 q ˙ * + 2 + x r + 1 q ˙ * + 1 q ˙ 1 q ˙ r + 1 q ˙ * + 2 q ˙ r + 1 q ˙ * + 1 q ˙ q ˙ * 1 + q ˙ * 1 q ˙ * ( 1 x ) 2 1 + x r + 1 1 q ˙ * A q ˙ 1 p ( θ , p ) + x r + 1 q ˙ * + 2 A q ˙ 1 p ( ϖ , p ) ,
θ ( 1 x ) r + 1 q ˙ * + 1 q ˙ x r + 1 q ˙ * + 1 ϖ x r + 1 q ˙ * + 2 + x r + 1 q ˙ * + 1 q ˙ 1 q ˙ r + 1 q ˙ * + 2 q ˙ r + 1 q ˙ * + 1 q ˙ ( 1 x ) 2 A q ˙ 1 1 q ˙ * ( θ ) x r + 1 1 C q ˙ ( θ ) + A q ˙ ( θ ) 1 q ˙ * + x r + 1 q ˙ * + 2 A q ˙ 1 1 q ˙ * ( ϖ ) C q ˙ 1 q ˙ * ( ϖ ) ,
where
C q ˙ ( θ ) : = 0 1 υ | θ υ | d q ˙ υ .

4.2. Application to Special Means

We consider the following arithmetic mean for real numbers ω 1 and ω 2 such that 0 ω 1 < ω 2 :
A ( ω 1 , ω 2 ) = ω 1 + ω 2 2 .
For the simplicity of notation, let
Δ q ˙ r , q ˙ * ; ω 1 , ω 2 : = ( 1 q ˙ ) ( ω 2 q ˙ ω 1 ) n = 0 q ˙ n q ˙ n ω 2 + ( 1 q ˙ n ) q ˙ ω 1 r + 1 q ˙ * + 1 ,
where r N , q ˙ * 1 , and q ˙ ( 0 , 1 ) .
Proposition 1.
Let n , r N , q ˙ ( 0 , 1 ) and ω 1 , ω 2 R , where 0 ω 1 < ω 2 . Then for p , q ˙ * > 1 and 1 p + 1 q ˙ * = 1 , we have
A r + 1 q ˙ * + 1 ω 1 , ω 2 Δ q ˙ r , q ˙ * ; ω 1 , ω 2 ω 2 ω 1 2 1 q ˙ * q ˙ ( ω 2 ω 1 ) 4 1 1 n = 1 n 1 [ + 1 ] q ˙ 1 q ˙ * × 1 [ p + 1 ] q ˙ 1 p r + 1 q ˙ * + 1 q ˙ A 1 q ˙ * ω 1 r + 1 , A r + 1 ω 1 , ω 2 + A 1 q ˙ * ω 2 r + 1 , A r + 1 ω 1 , ω 2 .
Proof. 
By applying Corollary 7 and Remark 1 with Θ ( υ ) = υ r + 1 q ˙ * + 1 r + 1 q ˙ * + 1 q ˙ for all υ [ ω 1 , ω 2 ] , then we can get the desired result (34). □
Proposition 2.
Let n , r N , q ˙ ( 0 , 1 ) and ω 1 , ω 2 R , where 0 ω 1 < ω 2 . Then for q ˙ * 1 , we have
A r + 1 q ˙ * + 1 ω 1 , ω 2 Δ q ˙ r , q ˙ * ; ω 1 , ω 2 ω 2 ω 1 q ˙ ( ω 2 ω 1 ) 4 1 1 + q ˙ 1 1 q ˙ * r + 1 q ˙ * + 1 q ˙ × 1 1 + q ˙ 1 n = 1 n 1 [ + 1 ] q ˙ [ + 2 ] q ˙ A r + 1 ω 1 , ω 2 + 1 1 + q ˙ 1 n = 1 n 1 [ + 2 ] q ˙ ω 1 r + 1 1 q ˙ * + 1 1 + q ˙ 1 n = 1 n 1 [ + 1 ] q ˙ [ + 2 ] q ˙ A r + 1 ω 1 , ω 2 + 1 1 + q ˙ 1 n = 1 n 1 [ + 2 ] q ˙ ω 2 r + 1 1 q ˙ * .
Proof. 
By using Corollary 15 and Remark 1 with Θ ( υ ) = υ r + 1 q ˙ * + 1 r + 1 q ˙ * + 1 < ˙ q for all υ [ ω 1 , ω 2 ] , then we can obtain the desired result (35). □

5. Conclusions

In this article, we considered a new parameterized quantum fractional integral identity. By using this, we have established some quantum fractional integral inequalities of Ostrowski and midpoint type via n-polynomial convex functions. Many consequences and several special cases are analyzed and an example, and an application is given. Interested readers can use q ˙ -deformed real numbers [36] to extend our results. Furthermore, numerical analysis and comparison with fractional calculus, and quantum calculus, separately, can be done as well. We hope that this novel idea, which mixed together fractional calculus and quantum calculus, opens many avenues for interested researchers working in these fascinating fields and that they can discover further approximations for different kinds of convexity.

Author Contributions

Conceptualization, R.L., A.K., E.A.-S. and M.S.S.; data curation, P.O.M. and A.K.; formal analysis, E.A.-S.; funding acquisition, S.K.S. and E.A.-S.; investigation, R.L., H.M.S., P.O.M., A.K., S.K.S., E.A.-S. and M.S.S.; methodology, H.M.S. and P.O.M.; project administration, H.M.S. and M.S.S.; software, R.L., P.O.M. and S.K.S.; supervision, H.M.S. and M.S.S.; validation, R.L., A.K., S.K.S. and M.S.S.; visualization, S.K.S.; writing—original draft, R.L., P.O.M., A.K. and E.A.-S.; writing—review & editing, H.M.S. and M.S.S. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Cloud, M.J.; Drachman, B.C.; Lebedev, L. Inequalities, 2nd ed.; Springer: Cham, Switzerland, 2014. [Google Scholar]
  2. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; North-Holland Mathematics Studies; Elsevier Science B.V.: Amsterdam, The Netherlands, 2006; Volume 204. [Google Scholar]
  3. Nawaz, Y.; Arif, M.S.; Abodayeh, K. A third-order two-stage numerical scheme for fractional Stokes problems: A comparative computational study. J. Comput. Nonlinear Dyn. 2022, 17, 101004. [Google Scholar] [CrossRef]
  4. Nawaz, Y.; Arif, M.S.; Abodayeh, K. A numerical scheme for fractional mixed convection flow over flat and oscillatory plates. J. Comput. Nonlinear Dyn. 2022, 17, 071008. [Google Scholar] [CrossRef]
  5. Zhang, T.Y.; Ji, A.P.; Qi, F. Some inequalities of Hermite–Hadamard type for GA-convex functions with applications to means. Le Matematiche 2013, 68, 229–239. [Google Scholar]
  6. Mohammed, P.O. Some new Hermite–Hadamard type inequalities for MT-convex functions on differentiable coordinates. J. King Saud Univ. Sci. 2018, 30, 258–262. [Google Scholar] [CrossRef]
  7. Shi, D.P.; Xi, B.Y.; Qi, F. Hermite–Hadamard type inequalities for Riemann–Liouville fractional integrals of (α, m)-convex functions. Fract. Differ. Calc. 2014, 4, 31–43. [Google Scholar] [CrossRef]
  8. Mohammed, P.O.; Abdeljawad, T.; Zeng, S.; Kashuri, A. Fractional Hermite–Hadamard integral inequalities for a new class of convex functions. Symmetry 2020, 12, 1485. [Google Scholar] [CrossRef]
  9. Dragomir, S.S.; Pearce, C.E.M. Selected Topics on Hermite–Hadamard Inequalities and Applications; RGMIA Monographs; Victoria University: Footscray, Australia, 2000. [Google Scholar]
  10. Toplu, T.; Kadakal, M.; İşcan, İ. On n-polynomial convexity and some related inequalities. AIMS Math. 2020, 5, 1304–1318. [Google Scholar] [CrossRef]
  11. Park, C.; Chu, Y.M.; Saleem, M.S.; Jahangir, N.; Rehman, N. On n-polynomial p-convex functions and some related inequalities. Adv. Differ. Equ. 2020, 2020, 666. [Google Scholar] [CrossRef]
  12. Hadamard, J. Étude sur les propriétés des fonctions entières en particulier d’une fonction considérée par Riemann. J. Math. Pures Appl. 1893, 58, 171–215. [Google Scholar]
  13. Mohammed, P.O.; Abdeljawad, T.; Kashuri, A. Fractional Hermite-Hadamard-Fejér inequalities for a convex function with respect to an increasing function involving a positive weighted symmetric function. Symmetry 2020, 12, 1503. [Google Scholar] [CrossRef]
  14. Gavrea, B.; Gavrea, I. On some Ostrowski type inequalities. Gen. Math. 2010, 18, 33–44. [Google Scholar]
  15. Budak, H.; Pehlivan, E. Weighted Ostrowski, trapezoid and midpoint type inequalities for Riemann–Liouville fractional integrals. AIMS Math. 2020, 5, 1960–1984. [Google Scholar] [CrossRef]
  16. Tariq, M.; Sahoo, S.K.; Nasir, J.; Aydi, H.; Alsamir, H. Some Ostrowski type inequalities via n-polynomial exponentially s-convex functions and their applications. AIMS Math. 2021, 6, 13272–13290. [Google Scholar] [CrossRef]
  17. Awan, M.U.; Talib, S.; Kashuri, A.; Noor, M.A.; Chu, Y.M. Estimates of quantum bounds pertaining to new q-integral identity with applications. Adv. Differ. Equ. 2020, 2020, 424. [Google Scholar] [CrossRef]
  18. Ujević, N. Sharp inequalities of Simpson type and Ostrowski type. Comput. Math. Appl. 2004, 48, 145–151. [Google Scholar] [CrossRef] [Green Version]
  19. Kaijser, S.; Nikolova, L.; Persson, L.E.; Wedestig, A. Hardy type inequalities via convexity. Math. Inequal. Appl. 2005, 8, 403–417. [Google Scholar] [CrossRef] [Green Version]
  20. Gunawan, H. Eridani, Fractional integrals and generalized Olsen inequalities. Kyungpook Math. J. 2009, 49, 31–39. [Google Scholar] [CrossRef] [Green Version]
  21. Ostrowski, A.M. Über die Absolutabweichung einer differentierbaren Funktion von ihren Integralmittelwert. Comment. Helv. 1937, 10, 226–227. [Google Scholar] [CrossRef]
  22. Tariboon, J.; Ntouyas, S.K. Quantum integral inequalities on finite intervals. J. Inequal. Appl. 2014, 2014, 121. [Google Scholar] [CrossRef] [Green Version]
  23. Kac, V.; Cheung, P. Quantum Calculus; Springer: Cham, Switzerland, 2002. [Google Scholar]
  24. Alp, N.; Sarikaya, 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]
  25. 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]
  26. 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]
  27. 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]
  28. Budak, H.; Khan, S.; Ali, M.A.; Chu, Y.M. Refinements of quantum Hermite–Hadamard-type inequalities. Open Math. 2021, 19, 724–734. [Google Scholar] [CrossRef]
  29. Ali, M.A.; Budak, H.; Akkurt, A.; Chu, Y.M. Quantum Ostrowski-type inequalities for twice quantum differentiable functions in quantum calculus. Open Math. 2021, 19, 440–449. [Google Scholar] [CrossRef]
  30. Butt, S.I.; Budak, H.; Nonlaopon, K. New quantum Mercer estimates of Simpson–Newton-like inequalities via convexity. Symmetry 2022, 14, 1935. [Google Scholar] [CrossRef]
  31. Aljinović, A.A.; Kovačević, D.; Puljiz, M.; Keko, A.Ž. On Ostrowski inequality for quantum calculus. Appl. Math. Comput. 2021, 410, 126454. [Google Scholar] [CrossRef]
  32. Wang, X.; Khan, K.A.; Ditta, A.; Nosheen, A.; Awan, K.M.; Mabela, R.M. New developments on Ostrowski type inequalities via q-fractional integrals involving s-convex functions. J. Funct. Spaces 2022, 2022, 9742133. [Google Scholar] [CrossRef]
  33. Jackson, F.H. On a q-definite integrals. Q. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  34. Mansour, Z.S.I. On fractional q-Sturm–Liouville problems. J. Fixed Point Theory Appl. 2017, 19, 1591–1612. [Google Scholar] [CrossRef] [Green Version]
  35. Shaimardan, S. Hardy-type inequalities quantum calculus; Lulea University of Technology, Graphic Production: Lulea, Sweden, 2018. [Google Scholar]
  36. Genoud, S.M.; Ovsienko, V. On q-deformed real numbers. Exp. Math. 2022, 31, 652–660. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Liko, R.; Srivastava, H.M.; Mohammed, P.O.; Kashuri, A.; Al-Sarairah, E.; Sahoo, S.K.; Soliman, M.S. Parameterized Quantum Fractional Integral Inequalities Defined by Using n-Polynomial Convex Functions. Axioms 2022, 11, 727. https://doi.org/10.3390/axioms11120727

AMA Style

Liko R, Srivastava HM, Mohammed PO, Kashuri A, Al-Sarairah E, Sahoo SK, Soliman MS. Parameterized Quantum Fractional Integral Inequalities Defined by Using n-Polynomial Convex Functions. Axioms. 2022; 11(12):727. https://doi.org/10.3390/axioms11120727

Chicago/Turabian Style

Liko, Rozana, Hari Mohan Srivastava, Pshtiwan Othman Mohammed, Artion Kashuri, Eman Al-Sarairah, Soubhagya Kumar Sahoo, and Mohamed S. Soliman. 2022. "Parameterized Quantum Fractional Integral Inequalities Defined by Using n-Polynomial Convex Functions" Axioms 11, no. 12: 727. https://doi.org/10.3390/axioms11120727

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

Article Metrics