Mathematical Theory and Modeling www.iiste.

org
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications

242
Fractional Integration and Fractional Differentiation of the
Product of M-Series and H-Function

* Reema Tuteja , ** S.Jaloree & *** Anil Goyal
* Department of Mathematics , LNCT, Bhopal (M.P.)
** Department of Applied Mathematics, SATI (Engg.),Vidisha (M.P.)
*** Department of Applied Mathematics, UIT, RGPV, Bhopal ( M.P.)

ABSTRACT
In this paper, we have derived formulae for the Riemann-Liouville fractional integral and fractional derivative of
the product of the Manoj Sharmas M-series and the Fox H-function. Also the fractional integrals defined by
Saxena and Kumbhat of the M-series is found with the help of integral of H-function. The M- series is a
particular case of the E

-function of Inayat-Hussain. Certain special cases of the formulae have also been
discussed.
Mathematics Subject classification: 26A33, 33C60.
Keywords and Phrases: Fractional calculus operators, H-function, M-series, Laplace transform.
1. INTRODUCTION
The purpose of this paper is to establish theorems on the fractional integrals and fractional derivatives of the
product of M-series and H-function. The theorems derived in this paper provide an extension of the work [6].
The Riemann-Liouville Fractional Integral of order o [3] is defined and represented as
I
u+
u
(x) =
1
I(o)
_(x t)
u-1
x
u
(t)Jt, x > o (1.1)
where o C, R(o) > u, (x) I(o, b) which is the Space of Lebesgue measurable function.

The Riemann-Liouville Fractional differential of order o C [3] is defined and represented as
(
u+
u
)(x) =
1
I(n o)
_
J
Jx
]
n
_
(t)Jt
(x t)
u-n+1
x
u
, n = |R(o)] +1; x > o (1.2)
Where |R( o)] means the integral part of R( o) u .
Various definitions of fractional integration have been given from time to time by many authors, viz. Kober
(1940), Erdlyi (1950-51), Saxena (1967), Kalla (1969) and many others
The fractional integral operator involving the H-function have been defined and denoted by Saxena and
Khumbat [7] in the following manner:
For r = 1
R
x
q,u
|(x)] = x
-q-u-1
_t
q
(x t)
u
(t)E
P,
M,N
_k _
t
x
]
m
_1
t
x
]
n
_
(c
]
, p
]
)
1,P
(
]
,
]
)
1,

_ Jt (1.S)
x
0

K
x
6,u
|(x)] = x
6
_t
-6-u-1
(t x)
u
(t)E
P,
M,N
_k [
x
t

m
[1
x
t

n
_
(c
]
, p
]
)
1,P
(
]
,
]
)
1,

_ Jt (1.4)

x

The conditions of validity of these operators are as follows:
(i) 1 P, < , P
-1
+
-1
= 1
(ii) Rc(p) + m min
1<]<M
_Rc _

]
_
__ >
-1

(iii) Rc(o) + n min
1<]<M
_Rc _

]
_
__ >
-1

(i:) Rc(o +o) + m min
1<]<M
_Rc _

]
_
__ > P
-1

(:) (x) I
p
(u, ).
Mathematical Theory and Modeling www.iiste.org
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications

243
Under these conditions R
x
q,u
|(x)] and K
x
6,u
|(x)] exist and both belong to I
p
(u, ).

2. DEFINITIONS
FOXS H-FUNCTION:
The H-function, defined by Fox[1], in terms of Mellin-Barnes type contour integral as follows:
E
P,
M,N
_x _
(c
]
, p
]
)
1,P
(
]
,
]
)
1,

_ =
1
2ni
_ 0(s)x
s
L
Js (2.1)
Where
0(s) =
I(
]

]
s) I(1 c
]
+ p
]
s)
N
]=1
M
]=1
I(1
]
+
]
s) I(c
]
p
]
s)
P
]=N+1

]=M+1
(2.2)
x u, and an empty product is interpreted as unity. The integers M,N,P,Q are such that
u N P, u H ; the coefficients p
]
(] = 1, , P),
]
(] = 1, , ) are all positive;
c
]
(] = 1, , P),
]
(] = 1, , ) are all complex numbers. I is a suitably chosen contour such that all the poles of
0(s) are simple.
Braksma has shown that the integral in the right hand side of (2.1) is absolutely convergent when A >
u, |aig z| <
1
2
An, where
A = p
]
p
]
+
]
M
]=1
P
]=N+1
N
]=1

]
(2.S)

]=M+1


THE M-SERIES:
This series is a special case of the E-function of Inayat-Hussain. The Manoj sharmas M-series [6] is
interesting because the
p
F
q
-hypergeometric function and the Mittag-Leffler function follows as its particular
cases, and these functions have found essential applications in solving problems in physics, biology, engineering
and applied sciences.
It is denoted and defined as:
u
p
H
q
(x)
=
u
p
H
q
(o
1
, , o
p
; b
1
, , b
q
; x) =
(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
p
)
k

x
k
I( uk + 1)
(2.4)

k=0

Here, u C, R( u) > u and (o
]
)
k
, (b
]
)
k
are the Pochammer symbols. The series (2.3) is defined when none of
the parameters b
]
s, ] = 1,2, q, is a negative integer or zero. If any numerator parameter is a negative integer or
zero, then the series terminatesto a polynomial in x.

3. MATHEMATICAL PREREQUISITES
The following results are needed to establish the theorems:
The Beta function is defined as:
_u
m-1
(1 u)
n-1
Ju = B(m, n) (S.1)
1
0

The modified Beta function is as follows:
] (t o)
m-1
(b t)
n-1
Jt = (b o)
m+n-1
B(m, n)
b
u
, for R(m) > u, R(n) > u (S.2)

The following integrals of the H-function [7] is also used:
_t
q-1
(x t)
c-1
E
P,
M,N
_yt

(x t)
0
_
(c
]
, p
]
)
1,P
(
]
,
]
)
1,

_ Jt
x
0
= x
q+c-1
E
P+2,+1
M,N+2
_yx
+0
_
(1 p, p), (1 o, 0), (c
]
, p
]
)
1,P
(
]
,
]
)
1,
, (1 p o, p +0)

_ (S.S)
The conditions of validity of (3.3) are:
(i) p u, 0 u ( not both zero simultaneously), p, o are complex numbers,
Mathematical Theory and Modeling www.iiste.org
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications

244
(ii) Rc(p) + p min
1<]<M
_Rc _

]
_
__ > u & Rc(o) + 0 min
1<]<M
_Rc _

]
_
__ > u.


_t
q-1
(t x)
c-1
E
P,
M,N
_yt

(t x)
0
_
(c
]
, p
]
)
1,P
(
]
,
]
)
1,

_ Jt

x
= x
q+c-1
E
P+2,+1
M+1,N+1
_yx
+0
_
(1 o, 0), (c
]
, p
]
)
1,P
, (1 p, p)
(1 p o, p + 0), (
]
,
]
)
1,

_ (S.4)
The conditions of validity of (3.4) are:
(i) p u, 0 u ( not both zero simultaneously), p, o are complex numbers,
(ii) min _Rc _
1 p o
p + 0
] , min
1<]<M
Rc _

]
_
__ > mox _Rc [
o
0
, max
1<]<N
_Rc
c
]
1
p
]
.

4. THEOREMS ON THE PRODUCT OF THE H-FUNCTION AND M-SERIES
The fractional Riemann-Liouville (R-L) integral operator (for lower limit o = u, with respect to variable x), of
the product of the H-function and M-series:
Theorem1:
I
x
u

u
p
H
q
(x)
E
P,
M,N
|x
c
] = x
u
u
p
H
q
(x)
E
P+1,+1
M,N+1
_x
c
_
(k, o), (c
]
, p
]
)
1,P
(
]
,
]
)
1,
, (o k, o)
_ (4.1)
Here uC, R(u) > u, oC, R(o) > u, o > u and M, N, P and Q are non-negative integers satisfying the
condition (2.3). Also the uniform convergence of the M-series is discussed above.
Proof . Expressing the H-function and the M-series with the help of (2.1) and (2.4) respectively, we get
I
x
u

u
p
H
q
(x)
E
P,
M,N
|x
c
] =
1
I(o)
_(x t)
u-1

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

t
k
I( uk +1)

1
2ni
_
s
0(s)t
cs
JsJt
L

k=0
x
0

Then, using the term by term integration, we obtain
I
x
u

u
p
H
q
(x)
E
P,
M,N
|x
c
]
=
1
I(o)

1
2ni
_
s
0(s)
L

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

1
I( uk + 1)
_ (x t)
u-1
t
k+cs
Jt Js
x
0

k=0

=
1
I(o)

1
2ni
_
s
0(s)
L

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

1
I( uk + 1)
x
u-1
_ _1
t
x
]
u-1
t
k+cs
Jt Js
x
0

k=0

Using the substitution

x
= u, the above equation takes the form,
=
1
I(o)

1
2ni
_
s
0(s)
L

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

1
I( uk + 1)
x
k+cs+u
_ (1 u)
u-1
u
k+cs
JuJs
1
0

k=0

Using the definition of Beta function from (3.1), we have,
=
x
u
I(o)

1
2ni
_
s
0(s)
L

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

x
k
I( uk + 1)
I(o)I(k + os + 1)
I(o +k + os +1)
x
cs
Js

k=0

Rearranging the terms follows the right hand side of (4.1).
Theorem 2: The Riemann-Liouville Fractional differential of order o C of the product of H-function and M-
series are

x
u

u
p
H
q
(x)
E
P,
M,N
_x
c
|

(c
]
, p
]
)
1,P
(
]
,
]
)
1,
_
= x
-u
u
p
H
q
(x)
E
P+1,+1
M,N+1
_x
c
_
(k, o), (c
]
, p
]
)
1,P
(
]
,
]
)
1,
, (o k, o)
_ (4.2)
Here uC, R(u) > u, oC, R(o) > u, o > u and M, N, P and Q are non-negative integers satisfying the
condition (2.3). Also the uniform convergence of the M-series is discussed above.
Mathematical Theory and Modeling www.iiste.org
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications

245
Proof . Expressing the H-function and the M-series with the help of (2.1) and (2.4) respectively, we get

x
u
u
p
H
q
(x)
E
P,
M,N
_x
c
|

(c
]
, p
]
)
1,P
(
]
,
]
)
1,
_ =
1
I(n o)
_
J
Jx
]
n
_(x t)
n-u-1
x
0

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

k=0
t
k
I(uk + 1)
1
2ni
_
s
0(s)t
cs
Js
L
Jt
Term by term integration leads to
=
1
I(n o)
_
J
Jx
]
n
1
2ni
_
s
0(s)
L

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

k=0
1
I(uk + 1)
_(x t)
n-u-1
t
k+cs
Jt Js
L

Using the modified Beta function (3.2), we get
=
1
I(n o)
_
J
Jx
]
n
1
2ni
_
s
0(s)
L

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

k=0
1
I(uk + 1)
B(n o, k + os + 1)x
n-u+k+cs
Js
Differentiating n-times ,the term x
n-u+k+cs
, we get
= x
-u
u
p
H
q
(x)
E
P+1,+1
M,N+1
_x
c
_
(k, o), (c
]
, p
]
)
1,P
(
]
,
]
)
1,
, (o k, o)

_

FRACTIONAL INTEGRALS OF THE M-SERIES:
The fractional integral operator of the M-series involving the H-function defined by Saxena and Khumbat is
derived in Theorem3 and Theorem4 as follows:
THEOREM 3:
R
x
q,c

u
p
H
q
(x

=
u
p
H
q
(x

)
E
P+2,+2
M,N+2
_k _
(1 k p, p), (o, 0), (c
]
, p
]
)
1,P
(
]
,
]
)
1,
, (k p o 1, p + 0)
_ (4.S)
u C, R(u) > u ,The conditions of validity of this operator is given with (1.3) and the the convergence of M-
series is provided with (2.4).
Proof: Applying the fractional integral (1.3 ) and expressing the M-series from (2.4), we get
R
x
q,c

u
p
H
q
(x

)
= x
-q-c-1
_t
q
(x t)
c

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

k=0
1
I(uk + 1)
t
k
.
x
0

E
P,
M,N
_kx
-(+0)
t

(x t)
0
_
(c
],
p
]
)
1,P
(
]
,
]
)
1,

_
Changing the order of summation and integration and applying the integral (3.3 ), we obtain
= x
-q-c-1

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

k=0
1
I(uk +1)
x
(k+q+c+2)-1
.
E
P,
M,N
_kx
-(+0)
x
+0
_
(k p, p), (o, 0)(c
],
p
]
)
1,P
(
]
,
]
)
1,
, (k p o 1, p + 0)
_
Rearranging the terms of the above equation we obtain the right hand side of (4.3).

THEOREM 4:
K
x
6,c

u
p
H
q
(x

)
=
u
p
H
q
(x

)
E
P,
M,N
_k _
(o, 0), (c
]
, p
]
)
1,P
, (1 + o + o k, p)
(o k, p + 0), (
]
,
]
)
1,

_ (4.4)
u C, R(u) > u ,The conditions of validity of this operator is given with (1.3) and the the convergence of M-
series is provided with (2.4).
Proof: Applying the fractional integral (1.4 ) and expressing the M-series from (2.4), we get
K
x
6,c

u
p
H
q
(x

)
= x
6
_t
-6-c-1
(t x)
c

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

k=0
1
I(uk + 1)
t
k
.

x

Mathematical Theory and Modeling www.iiste.org
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications

246
E
P,
M,N
_kx

t
-(+0)
(t x)
0
_
(c
]
, p
]
)
1,P
(
]
,
]
)
1,

_
Changing the order of summation and integration and applying the integral of H-function (3.4) , we obtain
= x
6

(o
1
)
k
(o
p
)
k
(b
1
)
k
(b
q
)
k

k=0
1
I(uk + 1)
x
-6-c+k+c+1-1
.
E
P,
M,N
_kx

x
-(+0)+0
_
(o, 0), (c
]
, p
]
)
1,P
, (1 +o + o k, p)
(o k, p + 0), (
]
,
]
)
1,

_
Rearranging the terms of the above equation we obtain the right hand side of (4.4).
5. Special Cases
If in the integral (4.1) we put o
]
= u, b
]
= u, ] = 1, , q the M-series reduces to Mittag-Leffler function [4] we
arrive at the following result after a little simplification.
I
x
u

(x) E
P,
M,N
|x
c
] = x
u

(x)E
P+1,+1
M,N+1
_x
c
_
(k, o), (c
]
, p
]
)
1,P
(
]
,
]
)
1,
, (o k, o)
_ (S.1)
Here uC, R(u) > u, oC, R(o) > u, o > u .
A number of special cases involving functions that are special cases of M-series and Fox H-function can be
obtained from the above five results but we do not record them here.

6. References
[1] C. Fox, The G and H-functions as symmetric Fourier kernels, Trans. Amer. Math. Soc., 98(1961), p
395-429.
[2] Chaurasia V.B.L., Godika A., An integral involving certain special functions, Bull. Cal. Math. Soc.,
91(1999), p 337-342.
[3] Mathai A.M., Saxena R.K., Haubold H.J., The H-function:Theory and Applications, Springer, Newyork
(2010).
[4] Mittag Leffler G.M., Sur la novella function
u
(x), C.R. Acad. Sci., Paris(serII) 137(1903), p 554-558.
[5] Prudnikov A.P., Brychkov Yu., Marichev O.I., Integrals and Series, Vol.3: More Special Functions.
Gordon and Breach, Newark NJ(1990).
[6] Sharma M., Fractional Integration and Fractional Differentiation of the M-series, Frac. Cal. Appl.
Anal., 11(2008), p 187-191.
[7] Shrivastava H.M, Gupta K.C. and Goyal S.P., The H-function of one and two variables with
applications(New Delhi and Madras:South Asian Publ.)(1982).














This academic article was published by The International Institute for Science,
Technology and Education (IISTE). The IISTE is a pioneer in the Open Access
Publishing service based in the U.S. and Europe. The aim of the institute is
Accelerating Global Knowledge Sharing.

More information about the publisher can be found in the IISTEs homepage:
http://www.iiste.org

CALL FOR PAPERS
The IISTE is currently hosting more than 30 peer-reviewed academic journals and
collaborating with academic institutions around the world. Theres no deadline for
submission. Prospective authors of IISTE journals can find the submission
instruction on the following page: http://www.iiste.org/Journals/
The IISTE editorial team promises to the review and publish all the qualified
submissions in a fast manner. All the journals articles are available online to the
readers all over the world without financial, legal, or technical barriers other than
those inseparable from gaining access to the internet itself. Printed version of the
journals is also available upon request of readers and authors.
IISTE Knowledge Sharing Partners
EBSCO, Index Copernicus, Ulrich's Periodicals Directory, JournalTOCS, PKP Open
Archives Harvester, Bielefeld Academic Search Engine, Elektronische
Zeitschriftenbibliothek EZB, Open J-Gate, OCLC WorldCat, Universe Digtial
Library , NewJour, Google Scholar