Open J. Math. Sci., Vol. 1(2017), No. 1, pp. 97- 110
ISSN 2523-0212
Website: http://www.openmathscience.com
OSTROWSKI TYPE FRACTIONAL INTEGRAL INEQUALITIES FOR S-GODUNOVA-LEVIN FUNCTIONS VIA KATUGAMPOLA FRACTIONAL INTEGRALS GHULAM FARID1 , UDITA N. KATUGAMPOLA, MUHAMMAD USMAN
Abstract. In this paper, we give some fractional integral inequalities of Ostrowski type for s-Godunova-Levin functions via Katugampola fractional integrals. We also deduce some known Ostrowski type fractional integral inequalities for Riemann-Liouville fractional integrals. AMS Mathematics Subject Classification : 26A33, 26A51, 26D07, 26D10, 26D15. Key words and phrases : Ostrowski inequality; Fractional integral; sGodunova-Levin functions.
1. INTRODUCTION In 1938 Ostrowski [1] proved an inequality stated in the following result (see also [2, p.468]). Theorem 1.1. Let f : I → R where I is interval in R, be differ 0 a mapping entiable in I ◦ the interior of I and a, b ∈ I ◦ , a < b. If f (t) ≤ M , for all t ∈ [a, b], then we have # " Z b a+b 2 (x − ) 1 1 2 f (x) − f (t)dt ≤ + (b − a)M, x ∈ [a, b]. b−a a 4 (b − a)2 Ostrowski inequality gives bounds of integral average of a function f over an interval [a, b] to its value f (x) at point x ∈ [a, b]. Ostrowski and Ostrowski type inequalities have great importance in numerical analysis as they provide the error bound of many quaderature rules [3]. Therefore in recent years, so many such type of inequalities have been obtained and generalized (see [4, 5]). Received 13 August 2017. Revised 28 November 2017. Corresponding Author c 2017 Ghulam Farid, Udita N. Katugampola, Muhammad Usman. This is an open access
article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
1
97
98
G. Farid, U. N. Katugampola, M. Usman
As fractional calculus is a generalization of classical calculus concerned with operations of integration and differentiation of fractional order so in this research article we will use Katugampola fractional integrals to generalize the Ostrowski type inequalities given in [4]. In [6] Laurent give definition of Riemann-Liouville fractional integrals. Definition 1.2. [6] Let f ∈ L1 [a, b]. The Riemann-Liouville fractional integrals α α Ja+ f and Jb− f of order α > 0 with a ≥ 0 are defined by Z x 1 α Ja+ f (x) = (x − t)α−1 f (t)dt, x > a Γ(α) a and Z b 1 α Jb− f (x) = (t − x)α−1 f (t)dt, x < b, Γ(α) x R∞ respectively, where Γ(α) = 0 e−u uα−1 du. Here Γ(α + 1) = αΓ(α), 0 0 f (x) = f (x). In case of α = 1, the fractional integral reduces to f (x) = Jb− Ja+ the classical integral. Definition 1.3. J. Hadamard introduced the Hadamard fractional integral in [7], and is given by Z x 1 x α−1 dτ Iaα+ f (x) = log f (τ ) , Γ(α) a τ τ for Re(α) > 0, x > a ≥ 0. Recently Katugampola generalized Riemann-Liouville and Hadamard fractional integrals into a single form called Katugampola fractional integrals. Definition 1.4. [8] Let [a, b] be a finite interval in R. Then Katugampola fractional integrals of order α > 0 for a real valued function f are defined by Z ρ1−α x ρ−1 ρ α−1 ρ α Ia+ f (x) = t (x − tρ ) f (t) dt Γ (α) a and Z ρ1−α b ρ−1 ρ α−1 t (t − xρ ) (x) = f (t) dt Γ (α) x with a < x < b and ρ > 0. Where Γ (α) is the Euler gamma function. For ρ = 1, Katugampola fractional integrals give Riemann-Liouville fractional integrals, while ρ → 0+ produces the Hadamard fractional integral. For its proof one can check [8]. ρ α Ib− f
ρ
The ρ-Gamma function [9] for any two positive numbers x, y denoted by Γ(x, y), is defined by Z ∞ ρ 1 ρ Γ(α) = e−t (tρ )α− ρ dt. 0
Ostrowski type Fractional Integral Inequalities
99
We can have the following relation ρ ρ
β(x, y) =
Γ(x) ρ Γ(y) . ρ Γ(x, y)
(1)
Definition 1.5. [10] A non-negative function f : I → R is said to be p-function, if for any two points x, y ∈ I and t ∈ [0, 1] f (tx + (1 − t)y) ≤ f (x) + f (y). Definition 1.6. [11] A function f : I → R is said to be Godunova-Levin function, if for any two points x, y ∈ I and t ∈ (0, 1) f (y) f (x) + . t 1−t Definition 1.7. [12] A function f : I → R is said to be s-Godunova-Levin function of first kind, if s ∈ (0, 1], for all x, y ∈ I and t ∈ (0, 1) then we have f (tx + (1 − t)y) ≤
f (x) f (y) + . s t 1 − ts Definition 1.8. [13] A function f : I → R is said to be s-Godunova-Levin function of second kind, if s ∈ [0, 1], for all x, y ∈ I and t ∈ (0, 1) then we have f (tx + (1 − t)y) ≤
f (tx + (1 − t)y) ≤
f (x) f (y) + . s t (1 − t)s
We organize the paper in such a way that in the following section we prove some Ostrowski type fractional integral inequalities for s-Godunova-Levin functions of second kind via Katugampola fractional integrals. Also we will obtain some corollaries for p-functions and Godunova-Levin functions and deduce some known results of [4]. 2. Ostrowski type fractional integral inequalities for mappings whose derivatives are s-Godunova-Levin of second kind via Katugampola fractional integrals The following lemma (given and also proved in [9]) is very useful to obtain our results. Lemma 2.1. Let f : [aρ , bρ ] → R be a differentiable mapping on (aρ , bρ ) with 0 a < b such that f ∈ L1 [a, b], where ρ > 0. Then we have the following equality ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) f (xρ ) − × b−a ρ1−α (b − a) [ρ Ixα− f (aρ ) + ρ Ixα+ f (bρ )] Z ρ(xρ − aρ )α+1 1 αρ+ρ−1 0 ρ ρ = t f (t x + (1 − tρ )aρ )dt b−a 0 Z ρ(bρ − xρ )α+1 1 αρ+ρ−1 0 ρ ρ − t f (t x + (1 − tρ )bρ )dt; x ∈ [a, b]. (2) b−a 0
100
G. Farid, U. N. Katugampola, M. Usman
Theorem 2.2. Let f : [aρ , bρ ] → R, a, b ≥ 0, a < b be a differentiable function 0 0 on (aρ , bρ ) and f ∈ L1 [a, b]. If f is s-Godunova-Levin function of second kind 0 ρ and f (x ) ≤ M , x ∈ [a, b], then the following inequality holds ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) f (xρ ) − × b−a ρ1−α (b − a) ρ (x − aρ )α+1 + (bρ − xρ )α+1 ρ ρ ρ α ρ α [ Ix− f (a ) + Ix+ f (b )] ≤ M × b−a ρ 1 Γ(α + 1) ρ Γ(1 − s) + ; x ∈ [a, b]. (3) ρ Γ(α + 2 − s) α+1−s 0 Proof. Using Lemma 2.1 and the fact that f is s-Godunova-Levin function of second kind, we have ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) f (xρ ) − × b−a ρ1−α (b − a) [ρ Ixα− f (aρ ) + ρ Ixα+ f (bρ )] ≤
ρ(xρ − aρ )α+1 b−a ρ
ρ α+1
ρ(b − x ) b−a
Z Z
1
0 1
0 tαρ+ρ−1 f (tρ xρ + (1 − tρ )aρ ) dt
0 tαρ+ρ−1 f (tρ xρ + (1 − tρ )bρ ) dt 0 αρ+ρ−1 ρ ρ α+1 Z 1 αρ+ρ−1 0 0 ρ ρ(x − a ) t f (x ) + t f (aρ ) dt ≤ b−a (tρ )s (1 − tρ )s 0 Z ρ(bρ − xρ )α+1 1 tαρ+ρ−1 0 ρ tαρ+ρ−1 0 ρ + f (x ) + f (b ) dt b−a (tρ )s (1 − tρ )s 0 Z M ρ(xρ − aρ )α+1 1 tαρ+ρ−1 tαρ+ρ−1 ≤ + dt b−a (tρ )s (1 − tρ )s 0 Z tαρ+ρ−1 M ρ(bρ − xρ )α+1 1 tαρ+ρ−1 + dt + b−a (tρ )s (1 − tρ )s 0 ρ (x − aρ )α+1 + (bρ − xρ )α+1 × = Mρ 2(b − a) Z 1 αρ−ρs+ρ−1 t + tαρ+ρ−1 (1 − tρ )−s dt. 0 ρ (x − aρ )α+1 + (bρ − xρ )α+1 = Mρ × 2(b − a) ρ 1 Γ(α + 1) ρ Γ(1 − s) + ρ(α + 1 − s) ρ ρ Γ(α + 2 − s) ρ (x − aρ )α+1 + (bρ − xρ )α+1 =M × b−a +
Ostrowski type Fractional Integral Inequalities
101
ρ 1 Γ(α + 1) ρ Γ(1 − s) . + ρ Γ(α + 2 − s) α+1−s
Here we use (1). The proof is completed.
Remark 2.3. (i) If we put ρ = 1 in (3), then we get [4, Theorem 3.1]. (ii) If we put ρ = 1 and α = 1 in (3), then we get [4, Corollary 3.1]. 0 Corollary 2.4. In Theorem 2.2 , if we take s = 0, which means that f is p-function, then (3) becomes the following inequality ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) f (xρ ) − × b−a ρ1−α (b − a) [ρ Ixα− f (aρ ) + ρ Ixα+ f (bρ )] 2M (xρ − aρ )α+1 + (bρ − xρ )α+1 ; x ∈ [a, b]. ≤ α+1 b−a 0 Corollary 2.5. In Theorem 2.2, if we take s = 1, which means that f is Godunova-Levin function, then (3) becomes the following inequality ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) f (xρ ) − × b−a ρ1−α (b − a) [ρ Ixα− f (aρ ) + ρ Ixα+ f (bρ )] M (α + 1) (xρ − aρ )α+1 + (bρ − xρ )α+1 ; x ∈ [a, b]. ≤ α b−a Theorem 2.6. Let f : [aρ , bρ ] → R, a, b ≥ 0, a < b be a differentiable function 0 0 q on (aρ , bρ ) and f ∈ L1 [a, b]. If f , is s-Godunova-Levin function of second 0 ρ kind and f (x ) ≤ M , x ∈ [a, b] then the following inequality for Katugampola fractional integrals holds ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) × f (xρ ) − b−a ρ1−α (b − a) [ρ Ixα− f (aρ ) + ρ Ixα+ f (bρ )] ρ q1 1 (x − aρ )α+1 + (bρ − xρ )α+1 ≤ Mρ ; x ∈ [a, b], (4) 1 1 − ρs (b − a)(1 + p(αρ + ρ − 1)) p with
1 p
+
1 q
= 1 where q > 1.
Proof. Using Lemma 2.1 and then Holder’s inequality, we have ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) × f (xρ ) − b−a ρ1−α (b − a)
102
G. Farid, U. N. Katugampola, M. Usman
[ρ Ixα− f (aρ ) +
ρ α Ix+ f (bρ )]
ρ(xρ − aρ )α+1 b−a
Z
ρ(bρ − xρ )α+1 + b−a
Z
≤
ρ
ρ α+1
ρ(x − a ) ≤ b−a
1
0 1
0 tαρ+ρ−1 f (tρ xρ + (1 − tρ )aρ ) dt 0 tαρ+ρ−1 f (tρ xρ + (1 − tρ )bρ ) dt
0 1
Z
p(αρ+ρ−1)
t
p1 Z dt
0
1
q1 0 ρ ρ f (t x + (1 − tρ )aρ ) q dt
0
q1 1 0 ρ(b − x ) ρ ρ ρ ρ q f (t x + (1 − t )b ) dt + . (5) b−a 0 0 0 q 0 Since f is s-Godunova-Levin function of second kind and f (xρ ) ≤ M , we get Z 1 0 ρ ρ f (t x + (1 − tρ )aρ ) q dt× 0 Z 1 0 ρ q 1 1 0 ρ q f (x ) + f (a ) dt ≤ (tρ )s (1 − tρ )s 0 Z 1 1 1 1 + dt = (6) ≤ Mq ρ s ρ s (t ) (1 − t ) 1 − ρs 0 ρ
ρ α+1
1
Z
p1 Z p(αρ+ρ−1) t dt
similarly 1
Z
0 ρ ρ f (t x + (1 − tρ )bρ ) q dt ≤
0
1 . 1 − ρs
(7)
We also have Z 0
1
tp(αρ+ρ−1) dt =
1 . 1 + p(αρ + ρ − 1)
Using (6), (7) and (8) in (5) we can get (4).
(8)
Remark 2.7. (i) If we put ρ = 1 in (4), then we get [4, Theorem 3.2]. (ii) If we put ρ = 1 and α = 1 in (4), then we get [4, Corollary 3.2]. 0 Corollary 2.8. In Theorem 2.6, if we take s = 0, which means that f is p-function, then (4) becomes the following inequality ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) f (xρ ) − × b−a ρ1−α (b − a) [ρ Ixα− f (aρ ) + ρ Ixα+ f (bρ )] ρ (x − aρ )α+1 + (bρ − xρ )α+1 M ; x ∈ [a, b]. ≤ 1 b−a (1 + p(αρ + ρ − 1)) p
Ostrowski type Fractional Integral Inequalities
103
0 Corollary 2.9. In Theorem , if we take s = 1, which means that f is Godunova-Levin function, then (4) becomes the following inequality ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) f (xρ ) − × b−a ρ1−α (b − a) Mρ [ρ Ixα− f (aρ ) + ρ Ixα+ f (bρ )] ≤ 1 × (1 + p(αρ + ρ − 1)) p ρ 1 (x − aρ )α+1 + (bρ − xρ )α+1 1+α q ; x ∈ [a, b]. b−a αρ Theorem 2.10. Let f : [aρ , bρ ] → R, a, b ≥ 0, a < b be a differentiable function 0 0 q on (aρ , bρ ) and f ∈ L1 [a, b]. If f is s-Godunova-Levin function of second kind 0 ρ and f (x ) ≤ M , x ∈ [a, b], q ≥ 1, then the following inequality for Katugampola fractional integrals holds ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) f (xρ ) − × b−a ρ1−α (b − a) [ρ Ixα− f (aρ ) + ρ Ixα+ f (bρ )] ρ (x − aρ )α+1 + (bρ − xρ )α+1 Mρ × ≤ 1 b−a (αρ + ρ)1− q 1 ρ 1 Γ(α + 1) ρ Γ(1 − s) q ; x ∈ [a, b]. (9) + ρ(α − s + 1) ρ ρ Γ(α − s + 2) Proof. Using Lemma 2.1 and power mean inequality, we have ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) f (xρ ) − × b−a ρ1−α (b − a) [ρ Ixα− f (aρ ) + ρ Ixα+ f (bρ )] Z ρ(xρ − aρ )α+1 1 αρ+ρ−1 0 ρ ρ ≤ t f (t x + (1 − tρ )aρ ) dt b−a 0 ρ ρ α+1 Z 1 0 ρ(b − x ) tαρ+ρ−1 f (tρ xρ + (1 − tρ )bρ ) dt + b−a 0 Z 1 1− q1 ρ ρ α+1 ρ(x − a ) αρ+ρ−1 ≤ t dt × b−a 0 Z 1 q1 αρ+ρ−1 0 ρ ρ ρ ρ q t f (t x + (1 − t )a ) dt 0
ρ(bρ − xρ )α+1 + b−a
Z
1
t 0
αρ+ρ−1
1− q1 × dt
104
G. Farid, U. N. Katugampola, M. Usman
Z
1
t
αρ+ρ−1
q1 q f (t x + (1 − t )b ) dt . 0
ρ ρ
ρ
ρ
(10)
0
0 q 0 Since f is s-Godunova-Levin function of second kind and f (xρ ) ≤ M , we get Z 1 q 0 tαρ+ρ−1 f (tρ xρ + (1 − tρ )aρ ) dt 0 Z 1 αρ+ρ−1 αρ+ρ−1 0 0 ρ q t f (x ) + t f (aρ ) q dt ≤ (tρ )s (1 − tρ )s 0 Z 1 αρ+ρ−1 t tαρ+ρ−1 ≤ Mq + dt× (tρ )s (1 − tρ )s 0 ρ Γ(α + 1) ρ Γ(1 − s) 1 (11) + = Mq ρ(α − s + 1) ρ ρ Γ(α − s + 2) similarly Z 1 0 q tαρ+ρ−1 f (tρ xρ + (1 − tρ )bρ ) dt× 0 ρ Γ(α + 1) ρ Γ(1 − s) 1 + . (12) ≤ Mq ρ(α − s + 1) ρ ρ Γ(α − s + 2) Using (11) and (12) in (10) we can attain (9).
Remark 2.11. (i) If we put ρ = 1 in (9), then we get [4, Theorem 3.3]. (ii) If we put ρ = 1 and α = 1 in (9), then we get [4, Corollary 3.3]. 0 Corollary 2.12. In Theorem 2.10, if we take s = 0, which means that f is p-function, then (9) becomes the following inequality ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) f (xρ ) − × b−a ρ1−α (b − a) [ρ Ixα− f (aρ ) + ρ Ixα+ f (bρ )] ρ q1 Mρ (x − aρ )α+1 + (bρ − xρ )α+1 2 ≤ ; x ∈ [a, b]. 1 b−a ρ(α + 1) (αρ + ρ)1− q 0 Corollary 2.13. In Theorem 2.10, if we take s = 1, which means that f is Godunova-Levin function, then (9) becomes the following inequality ρ (x − aρ )α + (bρ − xρ )α (αρ + ρ − 1)Γ(α) f (xρ ) − × b−a ρ1−α (b − a) [ρ Ixα− f (aρ ) + ρ Ixα+ f (bρ )] ≤
Mρ 1
(αρ + ρ)1− q
(xρ − aρ )α+1 + (bρ − xρ )α+1 b−a
1+α αρ
q1 ; x ∈ [a, b].
Ostrowski type Fractional Integral Inequalities
105
We use the following lemma to establish some new results. Its proof is similar to Lemma 2.1. Lemma 2.14. Let f : [aρ , bρ ] → R be a differentiable mapping on (aρ , bρ ) with 0 aρ < bρ such that f ∈ L1 [aρ , bρ ], where ρ > 0. Then we have the following equality ρ α Ix+ f (bρ ) (αρ + ρ − 1)Γ(α) ρ Ixα− f (aρ ) f (xρ ) − + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α Z ρ(xρ − aρ ) 1 αρ+ρ−1 0 ρ ρ = t f (t x + (1 − tρ )aρ )dt 2 0 Z (bρ − xρ ) 1 αρ+ρ−1 0 ρ ρ t f (t x + (1 − tρ )bρ )dt; x ∈ [a, b]. (13) − 2 0 Theorem 2.15. Let f : [aρ , bρ ] → R, a, b ≥ 0, a < b be a differentiable function 0 0 on (aρ , bρ ) and f ∈ L1 [a, b]. If f is s-Godunova-Levin function of second kind 0 ρ and f (x ) ≤ M , x ∈ [a, b], then the following inequality holds ρ α ρ α Ix− f (aρ ) Ix+ f (bρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α ρ ρ ρ ρ M (b − a ) Γ(α + 1) Γ(1 − s) 1 ; x ∈ [a, b]. (14) ≤ + ρ Γ(α − s + 2) 2 α−s+1 0 Proof. Using Corollary 2.8 and s-Godunova-Levin function of second kind of f we proceed as follows ρ α ρ α Ix+ f (bρ ) Ix− f (aρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α Z 1 0 ρ(xρ − aρ ) ≤ tαρ+ρ−1 f (tρ xρ + (1 − tρ )aρ ) dt 2 0 ρ ρ Z 1 0 ρ(b − x ) + tαρ+ρ−1 f (tρ xρ + (1 − tρ )bρ ) dt 2 0 Z ρ ρ(x − aρ ) 1 tαρ+ρ−1 0 ρ tαρ+ρ−1 0 ρ f (x ) + f (a ) dt ≤ 2 (tρ )s (1 − tρ )s 0 Z ρ(bρ − xρ ) 1 tαρ+ρ−1 0 ρ tαρ+ρ−1 0 ρ + f (x ) + f (b ) dt 2 (tρ )s (1 − tρ )s 0 Z M ρ(xρ − aρ ) 1 tαρ+ρ−1 tαρ+ρ−1 ≤ + dt 2 (tρ )s (1 − tρ )s 0 Z M ρ(bρ − xρ ) 1 tαρ+ρ−1 tαρ+ρ−1 + + dt 2 (tρ )s (1 − tρ )s 0 ρ Z 1 αρ−ρs+ρ−1 (x − aρ ) + (bρ − xρ ) t + tαρ+ρ−1 (1 − tρ )−s dt. = Mρ 2 0
106
G. Farid, U. N. Katugampola, M. Usman
ρ (xρ − aρ ) + (bρ − xρ ) 1 Γ(α + 1) ρ Γ(1 − s) + 2 ρ(α − s + 1) ρ ρ Γ(α − s + 2) ρ M (bρ − aρ ) 1 Γ(α + 1) ρ Γ(1 − s) = + . ρ Γ(α − s + 2) 2 α−s+1
= Mρ
Here we use (1). The proof is completed.
0 Corollary 2.16. In Theorem 2.15, if we take s = 0, which means that f is p-function, then (14) becomes the following inequality ρ α ρ α Ix− f (aρ ) Ix+ f (bρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α ρ ρ M (b − a ) ≤ ; x ∈ [a, b]. α+1 0 Corollary 2.17. In Theorem 2.15, if we take s = 1, which means that f is Godunova-Levin function, then (14) becomes the following inequality ρ α ρ α Ix− f (aρ ) Ix+ f (bρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α ρ ρ M (α + 1)(b − a ) ≤ ; x ∈ [a, b]. 2α Theorem 2.18. Let f : [aρ , bρ ] → R, a, b ≥ 0, a < b be a differentiable function 0 0 q on (aρ , bρ ) and f ∈ L1 [a, b]. If f , is s-Godunova-Levin function of second 0 ρ kind and f (x ) ≤ M , x ∈ [a, b] then the following inequality for Katugampola fractional integrals holds ρ α ρ α Ix− f (aρ ) Ix+ f (bρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α 1 q 1 M ρ(bρ − aρ ) ; x ∈ [a, b], (15) ≤ 1 2(1 + p(αρ + ρ − 1)) p 1 − ρs with
1 p
+
1 q
= 1 where q > 1.
Proof. Using Corollary 2.8 and then Holder’s inequality, we have ρ α ρ α Ix− f (aρ ) Ix+ f (bρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α Z ρ(xρ − aρ ) 1 αρ+ρ−1 0 ρ ρ ≤ t f (t x + (1 − tρ )aρ ) dt 2 0 Z ρ ρ(b − xρ ) 1 αρ+ρ−1 0 ρ ρ + t f (t x + (1 − tρ )bρ ) dt 2 0 Z 1 p1 ρ ρ ρ(x − a ) p(αρ+ρ−1) t × ≤ dt 2 0
Ostrowski type Fractional Integral Inequalities
Z
1
107
q1 q 0 ρ ρ ρ ρ f (t x + (1 − t )a ) dt
0
p1 Z 1 ρ(bρ − xρ ) tp(αρ+ρ−1) dt × 2 0 q1 Z 1 0 ρ ρ f (t x + (1 − tρ )bρ ) q dt . +
(16)
0
0 q 0 Since f is s-Godunova-Levin function of second kind and f (xρ ) ≤ M , we get Z 1 0 ρ ρ f (t x + (1 − tρ )aρ ) q dt 0 Z 1 0 ρ q 1 0 ρ q 1 f (a ) dt ≤ f (x ) + (tρ )s (1 − tρ )s 0 Z 1 1 Mq 1 + dt = (17) ≤ Mq ρ s ρ s (t ) (1 − t ) 1 − ρs 0 similarly Z 0
1
q 0 ρ ρ f (t x + (1 − tρ )bρ ) q dt ≤ M . 1 − ρs
(18)
We also have Z
1
1 . 1 + p(αρ + ρ − 1) 0 Using (17), (18) and (19) in (16) we can get (15). tp(αρ+ρ−1) dt =
(19)
0 Corollary 2.19. In Theorem 2.18, if we take s = 0, which means that f is p-function, then (15) becomes the following inequality ρ α ρ α Ix− f (aρ ) Ix+ f (bρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α ρ ρ M ρ(b − a ) ≤ 1 ; x ∈ [a, b]. 2(p(αρ + ρ − 1) + 1) p 0 Corollary 2.20. In Theorem 2.18, if we take s = 1, which means that f is Godunova-Levin function, then (15) becomes the following inequality ρ α ρ α Ix− f (aρ ) Ix+ f (bρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α 1 q 1 M ρ(bρ − aρ ) ; x ∈ [a, b]. ≤ 1 2(p(αρ + ρ − 1) + 1) p 1 − ρ Theorem 2.21. Let f : [aρ , bρ ] → R, a, b ≥ 0, a < b be a differentiable function 0 0 q on (aρ , bρ ) and f ∈ L1 [a, b]. If f is s-Godunova-Levin function of second kind
108
G. Farid, U. N. Katugampola, M. Usman
0 and f (xρ ) ≤ M , x ∈ [a, b], q ≥ 1, then the following inequality for Katugampola fractional integrals holds ρ α ρ α Ix− f (aρ ) Ix+ f (bρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α 1 ρ M ρ(bρ − aρ ) 1 Γ(α + 1) ρ Γ(1 − s) q ≤ + ; x ∈ [a, b]. (20) 1 ρ ρ Γ(α − s + 2) 2(αρ + ρ)1− q ρ(α − s + 1) Proof. Using Corollary 2.8 and power mean inequality, we have ρ α ρ α Ix− f (aρ ) Ix+ f (bρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α Z ρ(xρ − aρ ) 1 αρ+ρ−1 0 ρ ρ ≤ t f (t x + (1 − tρ )aρ ) dt 2 0 Z ρ ρ(b − xρ ) 1 αρ+ρ−1 0 ρ ρ t f (t x + (1 − tρ )bρ ) dt + 2 0 Z 1 1− q1 ρ ρ ρ(x − a ) αρ+ρ−1 × ≤ t dt 2 0 Z 1 q1 αρ+ρ−1 0 ρ ρ ρ ρ q t f (t x + (1 − t )a ) dt 0
Z 1 1− q1 ρ(bρ − xρ ) αρ+ρ−1 × + t dt 2 0 Z 1 q1 αρ+ρ−1 0 ρ ρ ρ ρ q . t f (t x + (1 − t )b ) dt
(21)
0
0 0 q Since f is s-Godunova-Levin function of second kind on [aρ , bρ ] and f (xρ ) ≤ M , we get Z 1 0 q tαρ+ρ−1 f (tρ xρ + (1 − tρ )aρ ) dt 0 Z 1 αρ+ρ−1 0 ρ q tαρ+ρ−1 0 ρ q t ≤ f (x ) + f (a ) dt (tρ )s (1 − tρ )s 0 Z 1 αρ+ρ−1 tαρ+ρ−1 t + dt ≤ Mq (tρ )s (1 − tρ )s 0 ρ 1 Γ(α + 1) ρ Γ(1 − s) q =M + (22) ρ(α − s + 1) ρ ρ Γ(α − s + 2) similarly Z 0
1
0 q tαρ+ρ−1 f (tρ xρ + (1 − tρ )bρ ) dt
Ostrowski type Fractional Integral Inequalities
≤ Mq
ρ 1 Γ(α + 1) ρ Γ(1 − s) + . ρ(α − s + 1) ρ ρ Γ(α − s + 2)
109
(23)
Using (22) and (23) in (21) we can attain (20).
0 Corollary 2.22. In Theorem 2.21, if we take s = 0, which means that f is p-function, then (20) becomes the following inequality ρ α ρ α Ix− f (aρ ) Ix+ f (bρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α q1 M ρ(bρ − aρ ) 2 ≤ ; x ∈ [a, b]. 1 2(ρ(α + 1))1− q ρ(α + 1) 0 Corollary 2.23. In Theorem 2.21, if we take s = 1, which means that f is Godunova-Levin function, then (20) becomes the following inequality ρ α ρ α Ix+ f (bρ ) Ix− f (aρ ) f (xρ ) − (αρ + ρ − 1)Γ(α) + ρ1−α 2(xρ − aρ )α 2(bρ − xρ )α 1 M ρ(bρ − aρ ) 1 + α q ≤ ; x ∈ [a, b]. 1 ρα 2(ρ(α + 1))1− q Conclusion. All results proved in this research paper can also be deduced for Hadamard fractional integrals just by taking limits when parameter ρ → 0+ . Acknowledgement The research work of Ghulam Farid is supported by Higher Education Commission of Pakistan under NRPU 2016, Project No. 5421. Competing Interests The author(s) do not have any competing interests in the manuscript. References 1. Ostrowski, A. (1937). ber die Absolutabweichung einer differentiierbaren Funktion von ihrem Integralmittelwert. Commentarii Mathematici Helvetici, 10 (1), 226-227. 2. Mitrinovic, D. S., Pecaric, J., & Fink, A. M. (2012). Inequalities involving functions and their integrals and derivatives (Vol. 53). Springer Science & Business Media. 3. Dragomir, S. S. (2017). Ostrowski-type inequalities for Lebesgue integral: A survey of recent results, Aust. J. Math. Anal. Appl, 14 (1). 4. Noor, M. A., Noor, K. I., & Awan, M. U. (2014). Fractional Ostrowski inequalities for s-Godunova-Levin functions. International Journal of Analysis and Applications, 5 (2), 167-173. 5. Farid, G. (2017). Some new Ostrowski type inequalities via fractional integrals. International Journal of Analysis and Applications, 14 (1), 64-68. 6. Laurent, H. (1884). Sur le calcul des drives indices quelconques. Nouvelles annales de mathmatiques: journal des candidats aux coles polytechnique et normale, 3, 240-252. 7. Hadamard, J. (1892). Essai sur l’etude des fonctions, donnees par leur developpement de Taylor. Gauthier-Villars.
110
G. Farid, U. N. Katugampola, M. Usman
8. Katugampola, U. N. (2014). A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl, 6 (4), 1-15. 9. Farid, G., Katugampola, U. N. & Usman M. (2017) Ostrowski type fractional integral inequalities for mapping whose derivatives are h-convex via Katugampola fractional integrals. (Submitted). 10. Dragomir, S. S., Pecaric, J., & Persson, L. E. (1995). Some inequalities of Hadamard type. Soochow J. Math, 21 (3), 335-341. 11. Godunova, E. K., & Levin, V. I. (1985). Inequalities for functions of a broad class that contains convex, monotone and some other forms of functions. Numerical mathematics and mathematical physics (Russian), 166, 138-142. 12. Noor, M. A., Noor, K. I., Awan, M. U., & Khan, S. (2014). Fractional Hermite-Hadamard inequalities for some new classes of Godunova-Levin functions. Applied Mathematics & Information Sciences, 8 (6), 2865. 13. Dragomir, S. S. (2015). Inequalities of Hermite-Hadamard type for h-convex functions on linear spaces. Proyecciones (Antofagasta), 34 (4), 323-341. Ghulam Farid COMSATS Institute of Information Technology, Attock Campus, Pakistan. e-mail:
[email protected],
[email protected] Udita N. Katugampola Department of Mathematics, University of Delaware, Newark, DE 19716, USA. e-mail:
[email protected] Muhammad Usman COMSATS Institute of Information Technology, Attock, Pakistan. e-mail:
[email protected],
[email protected]