IJSM
On the k -Riemann-Liouville fractional integral and
applications
Mehmet Zeki Sarikaya and Aysel Karaca
Department of Mathematics, Faculty of Science and Arts, Düzce University, Düzce, Turkey Email: sarikayamz@gmail.com
Fractional calculus is a generalization of ordinary differentiation and integration to arbitrary non-integer order. The subject is as old as differential calculus and goes back to times when G.W. Leibniz and I. Newton invented differential calculus. Fractional integrals and derivatives arise in many engineering and scientific disciplines as the mathematical modeling of systems and processes in the fields of physics, chemistry, aerodynamics, electrodynamics of a complex medium. Very recently, Mubeen and Habibullah have introduced the
k
-Riemann-Liouville fractional integral defined by using the -Gamma function, which is a generalization of the classical Gamma function. In this paper, we presents a new fractional integration is calledk
-Riemann-Liouville fractional integral, which generalizes thek
-Riemann-Liouville fractional integral. Then, we prove the commutativity and the semi-group properties of thek
-Riemann-Liouville fractional integral and we give Chebyshev inequalities fork
-Riemann-Liouville fractional integral. Later, usingk
-Riemann-Liouville fractional integral, we establish some new integral inequalities.Keywords: Riemann-liouville fractional integral, convex function, hermite-hadamard inequality and hölder's inequality.
Mathematics Subject Classification: 26A33;26A51;26D15.
INTRODUCTİON
Fractional integration and fractional differentiation are generalizations of notions of integer-order integration and differentiation, and include nth derivatives and n-fold integrals (n denotes an integer number) as particular cases. Because of this, it would be ideal to have such physical and geometric interpretations of fractional-order operators, which will provide also a link to known classical interpretations of integer-order differentiation and integration.
Obviously, there is still a lack of geometric and physical interpretation of fractional integration and differentiation, which is comparable with the simple interpretations of their integer-order counterparts.
During the last two decades several authors have applied the fractional calculus in the field of sciences, engineering and mathematics (see,Atanackovic et. al (2009)-Atanackovic et. al (2010), Gorenflo and Mainardi (1997), Malinowska and Torres (2011)-Miller and Ross (1993),El-Nabulsi(2005)-Odzijewicz et. al (2012), Samko et. al (1993)). Mathematician Liouville, Riemann, and Caputo have done major work on fractional calculus, thus Fractional Calculus is a useful mathematical tool for applied sciences. Podlubny suggested a solution of more than 300 years old problem of geometric and physical interpretation of fractional integration and differentiation in 2002, for left-sided and right-sided of Riemann-Liouville fractional integrals (see, Anastassiou (2009), Belarbi and Dahmani (2009)-Dahmani et. al (2010), Katugopola
(2011), Latif and Hussain (2012), Sarikaya and Ogunmez (2012)-Sarikaya and Yaldiz (2013)).
The first is the Riemann-Liouville fractional integral of
0
for a continuous functionf
on
a,
b
which is defined by
(
)
,
0
,
.
)
(
1
)
(
x
x
t
1f
t
dt
a
x
b
f
J
x a a
motivated by the Cauchy integral formula
(
)
,
)
(
1
)
(
...
1 2 1 1 1dt
t
f
t
x
dt
t
f
dt
dt
x n a n n t a t a x a n
well-defined for
n
N
*
. The second is the Hadamard fractional integral introduced by Hadamard (1892), and given by,
,
0
,
)
(
log
)
(
1
)
(
1a
x
t
dt
t
f
t
x
x
f
J
x a a
This is based on the generalization of the integral
t
dt
t
f
t
x
dt
t
t
f
t
dt
t
dt
x n a n n n t a t a x a n)
(
log
)
(
1
)
(
1
)
(
...
1 2 2 1 1 1 1
forn
N
*
.Recently, Diaz and Pariguan (2007) have defined new functions called
k
-gamma andk
-beta functions and the Pochhammerk
-symbol that is generalization of the classical gamma and beta functions and the classical Pochhammer symbol.0
,
)
(
)
(
!
lim
)
(
, 1
x
k
nk
k
n
x
k n n n k k xWhere
(
x
)
n,k is the Pochhammerk
-symbol for factorial function. It has been shown that the Mellin transform of theexponential function k k t
e
is thek
-gamma function, explicitly given by.
)
(
1 0t
e
dt
x
k k t x k
Clearly,(
)
lim
(
),
(
)
1(
)
1 k x k k k k xk
x
x
x
and
k(
x
k
)
x
k(
x
).
Furthermore,k
-beta function defined asfollows
dt
t
t
k
y
x
B
k y k x k 1 1 1 0(
1
)
1
)
,
(
So that(
,
)
1(
,
)
k y k x k kx
y
B
B
and k(
,
)
(kx()x y()y).
k ky
x
B
Later, under these definitions, Mubeen and Habibullah (2012) have introduced thek
-fractional intregral of the Riemann-Liouville type as follows:
(
)
,
0
,
0
,
0
.
)
(
1
)
(
1 0
x
t
f
t
dt
x
k
k
x
f
J
k x k k
k
-Riemann-Liouville fractional integralHere we want to present the fractional integration which generalizes all of the above Rimann-Liouville fractional integrals as follows (see Romero (2013)): Let
be a real non negative number. Letf
be piece wise continuous onI
(
0
,
)
and integrable on any finite subinterval of
I
[
0
,
].
Then fort
0
,
we considerk
-Riemann-Liouville fractional integral off
of order
(
)
,
,
0
.
)
(
1
)
(
1
x
t
f
t
dt
x
a
k
k
x
f
J
k x a k a k
Theorem 1.Let
f
L
1[
a
,
b
],
a
0
.
Then, kJ
af
(x
)
exists almost everywhere on
[ b
a
,
]
andkJ
af
(
x
)
L
1[
a
,
b
].
Proof Define
P
:
:
[
a
,
b
]
[
a
,
b
]
R
byP
(
x
,
t
)
x
t
k1
,
that is,
.
,
0
,
)
,
(
1b
t
x
a
b
x
t
a
t
x
t
x
P
k Thus, since
P
is measurable on
,
we obtain
.
)
,
(
)
,
(
)
,
(
x
t
dt
P
x
t
dt
P
x
t
dt
x
t
k 1dt
k
x
a
kP
x a b x x a b a
By using the repeated integral, we obtain
Therefore, the function
Q
:
R
such thatQ
(
x
,
t
)
:
P
(
x
,
t
)
f
(
x
)
is integrable over
by Tonelli's theorem. Hence, by Fubini's theorem
abP
(
x
,
t
)
f
(
x
)
dx
is an integrable function on[ b
a
,
],
as a function oft
[ b
a
,
].
That is,)
(x
f
J
a k is integrable on[ b
a
,
]
.Theorem 2. Let
1
,
k
0
andf
L
1[
a
,
b
].
Then, kJ
af
C
[ b
a
,
].
Proof Fork
1
is trivial, thus we assumek
1
.
Letx
,
y
a
,
b
,
x
y
andx
y
.
Then we write
(
)
.
)
(
)
(
)
,
(
)
(
)
(
)
,
(
] , [ 1
b a L b a b a b a b a b a b ax
f
a
b
k
dx
x
f
a
b
k
dx
x
f
a
x
k
dx
dt
t
x
P
x
f
dx
dt
x
f
t
x
P
k k k
(
)
(
)
.
)
(
1
)
(
)
(
)
(
1
)
(
)
(
)
(
)
(
1
)
(
)
(
)
(
1
)
(
)
(
] , [ 1 1 1 1 1 1 1 1 1 1 1 1ab L x a k y x x a k x a y x x a k y a x a k a k a kt
f
x
y
dt
t
f
t
y
t
x
k
dt
t
f
t
y
dt
t
f
t
y
t
x
k
dt
t
f
t
y
dt
t
f
t
y
dt
t
f
t
x
k
dt
t
f
t
y
dt
t
f
t
x
k
y
f
J
x
f
J
k k k k k k k k k k k
Since weget
x
t
k1
y
t
k1 asx
y
,
then
x
t
k1
y
t
k1
0
and also we have
x
t
k1
y
t
k1
2
b
a
k1.
Therefore, by dominated convergence theorem we obtain k
J
af
(
x
)
kJ
af
(
y
)
0
asx
y
,
that is,].
,
[ b
a
C
f
J
a k
Now, we give semi group properties of the
k
-Riemann-Liouville fractional integral:Theorem 3.Let
f
be continuous onI
and let
,
0
,
a
0
.
Then for allx
,
J
f
(
x
)
J
f
(
x
)
J
J
f
(
x
)
,
k
0
.
J
a k a k a k a k a k Proof By definition of the
k
-fractional integral and by using Dirichlet's formula, we have
.
(
1
)
)
(
)
(
)
(
1
)
(
)
(
1
)
(
1
)
(
)
(
1
)
(
1 1 2 1 1 1
d
dt
t
t
x
f
k
dt
d
f
t
k
t
x
k
dt
t
f
J
t
x
k
x
f
J
J
k k k k k x x a k k t a k x a k a k x a k a k a k
The inner integral is evaluated by the change of variable
y
t
/
x
;
(
,
).
(
2
)
)
1
(
1 1 1 1 0 1 1 1
k xkB
x
dy
y
y
x
dt
t
t
x
k k k k k k
According to the
k
-beta function and by (1) and (2), we obtain
).
(
)
(
)
(
1
)
(
1x
f
J
d
f
x
k
x
f
J
J
a k x a k a k a k k
This completes the proof of the Theorem 3.
Theorem 4.Let
,
0
,
a
0
.
Then there holds the formula,
,
0
(
3
)
)
(
)
(
)
(
1
1
k
a
x
a
x
J
k k k k a k
where
kdenotes thek
-gamma function.Proof By definition of the
k
-fractional integral and by the change of variabley
x
t
/
x
a
, we get
),
,
(
)
(
)
1
(
)
(
)
(
1
)
(
1 1 1 1 0 1 1 1 1
k k k x a k a kB
a
x
dy
y
y
k
a
x
dt
a
t
t
x
k
a
x
J
k k k k k k k
which this completes the proof of the Theorem 4.
Remark 1. For
k
1
in (3), we arrive the formula
.
(
4
)
)
(
)
(
)
(
1
1
a
x
a
x
J
aCorollary 1. Let
,
0
.
Then, there holds the formula
.
(
5
)
)
(
1
)
1
(
2
x
a
kk
J
k a k
Remark 2. For
k
1
in (5), we get the formula
.
)
1
(
1
)
1
(
2
x
a
J
aSome new
k
-Riemann-Liouville fractional integral inequalitiesChebyshev inequalities can be represented in
k
-fractional integral forms as follows:Theorem 5. Let
f ,
g
be two synchronous on[
0
,
),
then for allt
a
0
,
0
,
0
,
the following inequalities fork
-fractional integrals hold:)
6
(
)
(
)
(
)
1
(
1
)
(
J
f
t
J
g
t
J
t
fg
J
k a k a a a k
)
7
(
).
(
)
(
)
(
)
(
)
1
(
)
(
)
1
(
)
(
t
J
J
fg
t
J
J
f
t
J
g
t
J
g
t
J
f
t
fg
J
a k a k a k a k a k a k a k a k
Proof Since the functions
f
andg
are synchronous on[
0
,
),
then for allx
,
y
0
,
we have
f
x
f
(
y
)
g
x
g
(
y
)
0
.
Therefore
x
g
x
f
y
g
y
f
x
g
y
f
y
g
x
(
8
)
f
Multiplying both sides of (8) by 1( )
1k
t
x
kk
, then integrating the resulting inequality wit hrespest to
x
over
a,
t
, weobtain
t
x
f
y
g
x
dx
k
dx
y
g
x
f
x
t
k
dx
y
g
y
f
x
t
k
dx
x
g
x
f
x
t
k
k k k k t a k t a k t a k t a k 1 1 1 1)
(
1
)
(
1
)
(
1
)
(
1
i.e.
(
1
)
(
)
(
).
(
9
)
)
(
t
f
y
g
y
J
g
y
J
f
t
f
y
J
g
t
fg
J
a k a k a k a k
Multiplying both sides of (9) by 1( )
k1k
t
y
k
, then integrating the resulting inequality with respect to
y
over
a,
t
, weobtain
,
)
(
1
)
(
)
(
)
(
1
)
(
)
(
1
)
1
(
)
(
1
)
(
1 1 1 1dy
y
f
y
t
k
t
g
J
dy
y
g
y
t
k
t
f
J
dy
y
g
y
f
y
t
k
J
dy
y
t
k
t
fg
J
k k k k t a k a k t a k a k t a k a k t a k a k
that is,)
(
)
(
)
1
(
1
)
(
J
f
t
J
g
t
J
t
fg
J
k a k a a a k
and the first inequality is proved.
Multiplying both sides of (9) by 1( )
k1k
t
y
k
, then integrating the resulting inequality with respect to
y
over
a,
t
, weobtain
,
)
(
1
)
(
)
(
)
(
1
)
(
)
(
1
)
1
(
)
(
1
)
(
1 1 1 1dy
y
f
y
t
k
t
g
J
dy
y
g
y
t
k
t
f
J
dy
y
g
y
f
y
t
k
J
dy
y
t
k
t
fg
J
k k k k t a k a k t a k a k t a k a k t a k a k
that is)
(
)
(
)
(
)
(
)
1
(
)
(
)
1
(
)
(
t
J
J
fg
t
J
J
f
t
J
g
t
J
g
t
J
f
t
fg
J
a k a k a k a k a k a k a k a k
Theorem 6.Let
f ,
g
be two synchronous on[
0
,
),
h
0
,
then for allt
a
0
,
0
,
0
,
the following in equalities fork
-fractional integrals hold:
).
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
1
)
(
)
(
1
2 2t
fh
J
t
g
J
t
gh
J
t
f
J
t
h
J
t
fg
J
t
fg
J
t
h
J
t
f
J
t
gh
J
t
g
J
t
fh
J
t
fgh
J
a
t
k
t
fgh
J
a
t
k
a k a k a k a k a k a k a k a k a k a k a k a k a k k a k k k k
Proof: Since the functions
f
andg
are synchronous on[
0
,
)
andh
0
,
then for allx
,
y
0
,
we have
f
x
f
(
y
)
g
x
g
(
y
)
h
x
h
y
0
.
By opening the above, we get
x
g
x
h
y
f
x
g
y
h
y
f
y
g
x
h
y
.
(
10
)
f
x
h
y
g
y
f
x
h
x
g
y
f
x
h
y
g
x
f
y
h
y
g
y
f
x
h
x
g
x
f
Multiplying both sides of (10) by 1( )
1k
t
x
kk
, then integrating the resulting inequality with respect to
x
over
a,
t
, weobtain
.
)
(
1
)
(
1
)
(
1
)
(
1
)
(
1
)
(
1
)
(
1
)
(
1
1 1 1 1 1 1 1 1dx
x
g
x
t
k
y
h
y
f
dx
x
f
x
t
k
y
h
y
g
dx
x
g
x
f
x
t
k
y
h
dx
x
h
x
t
k
y
g
y
f
dx
x
h
x
g
x
t
k
y
f
dx
x
h
x
f
x
t
k
y
g
dx
x
t
k
y
h
y
g
y
f
dx
x
h
x
g
x
f
x
t
k
k k k k k k k k t a k t a k t a k t a k t a k t a k t a k t a k
i.e,
(
)
(
).
(
11
)
)
(
)
(
)
(
)
(
)
(
)
1
(
)
(
)
(
t
g
J
y
h
y
f
t
f
J
y
h
y
g
t
fg
J
y
h
t
h
J
y
g
y
f
t
gh
J
y
f
t
fh
J
y
g
J
y
h
y
g
y
f
t
fgh
J
a k a k a k a k a k a k a k a k
Multiplying both sides of (11) by 1( )
k1k
t
y
k
, then integrating the resulting inequality with respect to
y
over
a,
t
,
.
)
(
1
)
(
)
(
1
)
(
)
(
)
(
1
)
(
)
(
1
)
(
)
(
1
)
(
)
(
1
)
(
)
(
)
(
1
)
1
(
)
(
1
)
(
1 1 1 1 1 1 1 1dy
y
h
y
f
y
t
k
t
g
J
dy
y
h
y
g
y
t
k
t
f
J
dy
y
h
y
t
k
t
fg
J
dy
y
g
y
f
y
t
k
t
h
J
dy
y
f
y
t
k
t
gh
J
dy
y
g
y
t
k
t
fh
J
dy
y
h
y
g
y
f
y
t
k
J
dy
y
t
k
t
fgh
J
k k k k k k k k t a k a k t a k a k t a k a k t a k a k t a k a k t a k a k t a k a k t a k a k
that is)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
1
(
)
1
(
)
(
t
fh
J
t
g
J
t
gh
J
t
f
J
t
h
J
t
fg
J
t
fg
J
t
h
J
t
f
J
t
gh
J
t
g
J
t
fh
J
t
fgh
J
J
J
t
fgh
J
a k a k a k a k a k a k a k a k a k a k a k a k a k a k a k a k
which this completes the proof.
Corollary 2.Let
f ,
g
be two synchronous on[
0
,
),
h
0
,
then for allt
a
0
,
0
,
the following inequalities fork
-fractional integrals hold:
).
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
1
2t
fg
J
t
h
J
t
f
J
t
gh
J
t
g
J
t
fh
J
t
fgh
J
a
t
k
a k a k a k a k a k a k a k k k
Theorem 7.Let
f ,
g
andh
be three monotonic functions defined on[
0
,
)
satisfying the following
f
x
f
(
y
)
g
x
g
(
y
)
h
x
h
y
0
For all
x
,
y
a
,
t
,
then for allt
a
0
,
0
,
0
,
the following inequalities fork
-fractional integrals holds:
).
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
1
)
(
)
(
1
2 2t
fh
J
t
g
J
t
gh
J
t
f
J
t
h
J
t
fg
J
t
fg
J
t
h
J
t
f
J
t
gh
J
t
g
J
t
fh
J
t
fgh
J
a
t
k
t
fgh
J
a
t
k
a k a k a k a k a k a k a k a k a k a k a k a k a k k a k k k k
Proof: The proof is similar to that given in Theorem 6.
Theorem 8.Let
f
andg
be two functions on[
0
,
),
then for allt
a
0
,
0
,
0
,
the following inequalities fork
-fractional integrals hold:
)
12
(
)
(
)
(
2
)
(
)
(
1
)
(
)
(
1
2 2 2 2t
g
J
t
f
J
t
g
J
a
t
k
t
f
J
a
t
k
a k a k a k k a k k k k
and)
13
(
).
(
)
(
2
)
(
)
(
)
(
)
(
2 2 2 2t
fg
J
t
fg
J
t
g
J
t
f
J
t
g
J
t
f
J
a k a k a k a k a k a k
Proof Since,
f
(
x
)
g
(
y
)
2
0
then we have)
14
(
).
(
)
(
2
)
(
)
(
2 2y
g
x
f
y
g
x
f
Multiplying both sides of (14) by 1( )
k1k
t
x
k and
1 ) ( 1 kt
y
k k , then integrating the resulting inequality with respect
to
x
andy
over
a,
t
respectively, we obtain (12). On the other hand, since
f
(
x
)
g
(
y
)
f
(
y
)
g
(
x
)
2
0
then under procedures similar to the above we obtain (13).
Corollary 3.Let
f
andg
be two functions on[
0
,
),
then for allt
a
0
,
0
,
the following inequalities fork
-fractional integrals hold:
),
(
)
(
2
)
(
)
(
)
(
1
2 2 2t
g
J
t
f
J
t
g
J
t
f
J
a
t
k
a k a k a k a k k k
and
(
)
.
)
(
)
(
2 2 2t
fg
J
t
g
J
t
f
J
a k a k a k
Theorem 9.Let
f
:
R
R
and defined by,
0
,
)
(
)
(
x
f
t
dt
x
a
f
x a Then for
k
0
)
(
1
)
(
J
f
x
k
x
f
J
a k a k k
).
(
)
(
)
(
1
)
(
)
(
1
)
(
)
(
1
)
(
1 1x
f
J
k
du
u
f
u
x
k
dtdu
t
x
u
f
k
dudt
u
f
t
x
k
x
f
J
k a k x a k x u x a k t a x a k a k k k k
This completes the proof of Theorem 9.
We give the generalized Cauchy-Bunyakovsky-Schwarz inequality as follows:
Lemma 1.Let
f
,
g
,
h
:
[
a
,
b
]
[
0
,
)
be continuous functions0
a
b
.
Then)
15
(
.
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
2 2 2
g
t
h
t
f
t
dt
g
t
h
t
f
t
dt
g
t
h
t
f
t
dt
s r n m b a s n b a r m b awhere m, n, x, y arbitrary real numbers. Proof It is obvious that
.
0
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
2
g
t
h
t
f
t
g
t
h
t
f
t
dt
g
t
h
t
f
t
bg
mt
h
rt
f
t
dt
dt
a s n s n b a r m b aThen, it follows that
0
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
2
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
2
dt
dt
t
f
t
h
t
g
dt
t
f
t
h
t
g
t
f
t
h
t
g
dt
t
f
t
h
t
g
t
f
t
h
t
g
dt
t
f
t
h
t
g
t
f
t
h
t
g
s n b a r m b a r m b a s n s n b a r m b a s y r n m and also,
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
)
(
2
)
(
)
(
)
(
)
(
)
(
)
(
2
2 2t
h
t
f
t
dt
g
t
h
t
f
t
dt
g
t
h
t
f
t
dt
g
dt
t
f
t
h
t
g
dt
t
f
t
h
t
g
s n b a r m b a b a s n b a r m b a s r n m
which this give the required inequality.
Theorem 10.Let