#### Abstract

In the present paper, -fractional integral operators are used to construct quantum analogue of Ostrowski type inequalities for the class of -convex functions. The limiting cases include the nonfractional existing cases from literature. Specially, Ostrowski type inequalities for -integrals and Ostrowski type inequalities for convex functions are deduced.

#### 1. Introduction

In mid of twentieth century, Jackson (1910) has begun a symmetric investigation on -integrals. The subject of quantum analysis, depending upon -integrals, has different applications in different branches of mathematics and material sciences like number hypothesis, combinatorics, symmetrical polynomials, essential hypermathematical capacities, quantum hypothesis, mechanics, and in the hypothesis of relativity. The perusers are suggested to Set [1], Gauchman [2], and Kac and Cheung [3] for -analogues of fractional calculus.

In numerous pragmatic issues, convexity hypothesis has stayed as a significant device in formation of vital imbalances. In many practical problems, it is important to bound one quantity by another quantity. The classical inequalities such as Ostrowski’s inequalities are very useful for this purpose. Ostrowski type inequalities are well known to study the upper bounds for approximation of the integral average by the value of function and definition of -convex function. Some new Ostrowski type inequalities for Riemann-Liouville fractional integral are established. Fractional calculus has been a well-known topic since it was initiated in the seventeenth century and studied by many great mathematicians of the time. Some classical inequalities including Ostrowski’s inequality are examples of it.

#### 2. Preliminary Results

In 1938, Ostrowski [4] established the following well-known and useful integral inequality:

Theorem 1. *Suppose is the function differentiable in open interval of , where and let with . If for all , then the following inequality holds
for all The least value of constant on R.H.S of (1) is .*

Inequality (1) gives an approximate upper bound for the deviation of integral arithmetic mean to the function at point In recent years, this inequality is studied extensively by different researchers, and its different variants can be seen in number of research papers including [5–11]. Recently, in [12, 13], Ostrowski type inequalities are studied for -integrals.

The following notion of -convex function in the second sense is from [14]:

A mapping is said to be -convex in the second sense if for all , , and some static

The following Lemma is established by Alomari et al. (see [8]).

Lemma 2. *If , then we have the equality
for each *

By using Lemma 2, Alomari et al. in [8] proved the following results of Ostrowski type inequalities:

Theorem 3. *Suppose . If in term of second sense is -convex on for unique and , then
holds, for each .*

Theorem 4. *Suppose . If is a -convex in second sense in for unique and , then
holds, for each .*

Theorem 5. *Suppose . If is -convex in second sense on for static and , then
holds, for each .*

Further some existing results on -convex functions can be seen in [11], and some results involving fractional operators can be found in [15–21]. In case of fractional integrals, see the following lemma from [1].

Lemma 6. *If then for all and holds, where is Euler Gamma function.*

By using Lemma 6, Set in [1] proved the following:

Theorem 7. *For . If is -convex in second sense on for fix and then the following fractional integrals inequality, for holds.*

Theorem 8. *Suppose . If is -convex in second sense on for some fixed , and then
holds, where .*

Theorem 9. *Suppose , and assume that is -convex in second sense on for some fix , , and . Then
holds for each .*

Theorem 10. *Suppose If is -convex in second sense on for some fixed and . Then
holds, for and .*

Note that if , the definition of -convexity reduces to classical convexity of functions defined on

#### 3. Preliminaries about -Integrals and Related Inequalities

The following properties of -derivatives are recalled from [3].

##### 3.1. -Derivative

For , -derivative of at is given by

For we have the following relation:

Respective derivatives are where The fractional calculus is a generalization of classical calculus concerned with operations of integration and differentiation of noninteger fractional order. The concept of fractional operators has been introduced almost simultaneously with the development of the classical ones. The first known reference can be found in the correspondence of G. W. Leibniz and Marquis de l’Hospital in 1695 where the question of meaning of the semiderivative has been raised. This question consequently attracted the interest of many well-known mathematicians, including Euler, Liouville, Laplace, Riemann, Grünwald, and Letnikov.

##### 3.2. Fractional Integral from [8]

Let The Riemann-Liouville integrals and of order for are defined by

##### 3.3. -Antiderivative

-Antiderivative along with its properties can be studied in [22]. Suppose that . Then -definite integral for is defined as which gives

Formula for -integration by parts [23]: Let , and , and then

The following -integral inequality is from [23]:

Theorem 11. *Suppose is a -differentiable mapping. If for all and , then
holds for all .*

The least value of constant on R.H.S of (19) is .

-Hölder inequality [24]. Let be -integrable on and and with , and then we state as

The following inequalities are derived from -Hölder inequality:

-Minkowski’s inequality. Let and for continuous functions , we have stated

-Power mean inequality. Let with , and let and for continuous functions , and then

Theorem 12 (see [25]). *Let be a function and . Then
*

*Example 1. *
Now, we have

Proposition 13. *For each [2], we have
*

Exponential functions and Taylor series (-analogues) from [26]:

-Gamma and -Beta functions:

For any is called -Gamma Euler function and for any is called -Beta function.

Relation between -Gamma and -Beta Function:

The following definition is introduced by Agarwal in [27] when and by Rajkovic et al. [28] for .

-Fractional integral from [29]. Let The Riemann-Liouville -integrals and of order for are defined by respectively, where Here

#### 4. Ostrowski Type Inequalities via -Fractional Integrals

In order to prove our main results, we have to prove the following lemma with the help of ([30], Lemma 1), which can be seen in [31]).

Lemma 14. *Suppose that is -differentiable mapping. If then for all and , we have
where .*

*Proof. *By using the formula of -integration by parts
where
Multiply both sides of (36) by Similar, calculation gives
Multiply both sides of (38) by to get
By combining (37) and (39), we obtain the following desired result.

*Remark 15. *
(a)Taking , Lemma 14 becomes Lemma 6(b)Taking , Lemma 14 reduces to ([32], Lemma 3.1)

By using Lemma 14, we established some Ostrowski type -fractional integral inequalities.

Theorem 16. *Suppose is a -differentiable mapping in such a way that If is convex in second sense on for some static and , subsequently, the following integral inequality for -fractional integrals is valid.
*

*Proof. *Consider Lemma 14, and since is convex mapping on , we can write
where we have used the fact that
Therefore by applying the reduction formula for Euler gamma function, it completes the proof.

Corollary 17. *Suppose that , is -differentiable function in such a way that If is convex on for some fixed and then we have the following -fractional integral inequality
is valid for .*

*Proof. *Taking in (42), the required result follows.

*Remark 18. *
(a)-analogue of Theorem 3, (4) is followed by taking and in (42)(b)Taking in (42), it follows the inequality (8) of Theorem 7

Theorem 19. *Suppose that is -differentiable function in such a way that If is -convex in second sense on for some static , and then
where and .*

*Proof. *From Lemma 14,
By virtue of Hölder’s inequality, we have
Since is convex in the second sense on and is bounded by number ,
Similarly, we have
Substitute (49), (50), and (52) in (48) to get,
Hence, this completes the proof.

Corollary 20. *Suppose . If is convex on , for some static , , and , then subsequently, we have
*