SCIENTIA

Series A: Mathematical Sciences, Vol. 19 (2010), 712

Universidad Tecnica Federico Santa Mara
Valparaso, Chile
ISSN 0716-8446
c Universidad Tecnica Federico Santa Mara 2010
The integration of certain product involving special functions
V.B.L. Chaurasia
a
and Devendra Kumar
b
Abstract. The object of the present paper is to establish an integral pertaining
to a product of Fox H-function [4], M-series [7], general polynomials [11] with gen-
eral arguments of quadratic nature. This integral is unied in nature and capable
of yielding a very large number of corresponding results (new and known) involv-
ing simpler special functions and polynomials as special cases of our integral.
1. Introduction
The M-series is dened by Sharma [7] as
p

Mq
(u
1
, ..., u
p
; v
1
, ..., v
q
; w) =
p

Mq
(w)
p

Mq
(w) =

k=0
(u
1
)
k
...(u
p
)
k
(v
1
)
k
...(v
q
)
k
w
k
(k + 1)
, (1.1)
here C, Re() > 0, and (u
j
)
k
, (v
j
)
k
are the Poachemmar symbols. The series
(1.1) is dened when none of the parameters v
j
s, j = l, 2,...,q is negative integer or
zero. If any numerator parameter u
j
is a negative or zero, the series terminates to a
polynomial in w. From the ratio test it is evident that the series (1.1) is convergent
for all w if p q, if it convergent for p = q + 1 and divergent, if p > q + 1. When
p = q + 1 and |w| = 1, the series can converge in some cases. Let =
s

j=1
u
j

t

j=1
v
j
.
It can be shown that when p = q + 1 the series is absolutely convergent for |w| = 1
if Re() < 0, conditionally convergent of w = 1 if 0 Re() < 1 and divergent for
|w| = 1 if 1 Re(). The series representation of Fox H-function [9] :
H
M,N
P,Q
_
z

(e
p
,E
p
)
(f
Q
,F
Q
)
_
=

G=0
M

g=1
(1)
G
G! F
g
(
G
)z

G
, (1.2)
2000 Mathematics Subject Classication. 26A33, 44A10, 33C20.
Key words and phrases. Fox H-function, general polynomials, multivariable H-function, M-
series, generalized Lauricella function, G-function.
The authors are grateful to professor H.M.Srivastava , University of Victoria, Canada for his
kind help and valuable suggestions in the preparation of this paper.
7
8 V.B.L. CHAURASIA AND DEVENDRA KUMAR
where
(
G
) =
M

j=1,j=g
(f
j
F
j

G
)
N

j=1
(1 e
j
E
j

G
)
Q

j=M+1
(1 f
j
+F
j

G
)
P

j=N+1
(e
j
E
j

G
)
and

G
=
f
g
+G
F
g
The H-function of several complex variables is dened by Srivastava and Panda [11]
as :
H[z
1
, ..., z
r
] = H
o,:(u

,v

);...;(u
(r)
,v
(r)
)
A,C:[B

];...;[B
(r)
,D
(r)
]
_
[(a):

;...;
(r)
]:
[(c):

;...;
(r)
]:
[(b

) :

]; ...; [(b
(r)
) :
(r)
]
[(d

) :

]; ...; [(d
(r)
) :
(r)
]

z
1
, ..., z
r
_
(1.3)
The H-function of several complex variables in (1.3) converges absolutely if
| arg(z
i
)| <
1
2
T
i
, (1.4)
T
i
=

j=1

(i)
j

A

j=1

(i)
j
+
v
(i)

j=1

(i)
j

B
(i)

j=v
(i)
+1

(i)
j

C

j=1

(i)
j

u
(i)

j=1

(i)
j

D
(i)

j=u
(i)
+1

(i)
j
(1.5)
j (1, 2, ..., r)
Srivastava has dened and introduced the general polynomials [10] as
S
M
1
,...,M
S
N
1
...,N
S
[w
1
, ..., w
s
] =
[N
1
/M
1
]

1
=0
...
[N
s
/M
s
]

s
=0
(N
1
)
M
1

1
!
...
(N
s
)
M
s

s
!
A[N
1
,
1
; ...; N
s
,
s
]w

1
1
...w

s
s
, (1.6)
where N
i
= 0, 1, 2, ..., i = (1, .., s);M
1
, ..., M
s
are arbitrary positive integers and the
coecient A[N
1
,
1
; ...; N
s
,
s
] are arbitrary constants, real or complex.
2. The Main Integral
The following integral has been derived here

_
0
t
1
(a +bt +ct
2
)
3/2
H
M, N
P, Q
__
t
a +bt +ct
2
_

|
(e
p
,E
p
)
(f
Q
,F
Q
)
_
.
p

M
q
_
w
_
t
a +bt +ct
2
_
n
_
S
M
1
, ..., M
s
N
1
, ..., N
s
_
w
1
_
t
a +bt +ct
2
_
n
1
, ..., w
s
_
t
a +bt +ct
2
_
n
s
_
H
_
z
1
_
t
a +bt +ct
2
_

1
, ..., z
r
_
t
a +bt +ct
2
_

r
_
dt
=
_

G,k=0
M

g=1
[N
1
/M
1
]

1
=0
...
[N
s
/M
s
]

s
=0
(1)
G
(u
1
)
k
...(u
p
)
k
G!F
g
(v
1
)
k
...(v
q
)
k
1
(k + 1)
(
G
)
(N
1
)
M
1

1
!
...
(N
s
)
M
s

s
!
THE INTEGRATION OF CERTAIN PRODUCT INVOLVING SPECIAL FUNCTIONS 9
A[N
1
,
1
; ...; N
s
,
s
]w
k
w

1
1
...w

s
s
(b + 2

ca)

G
nk
s
P
i=1
n
i

i
1
H
0, + 1 : (u

, v

); ...; (u
(r)
, v
(r)
)
A+ 1, C + 1 : [B
(r)
, D
(r)
]; ...; [B
(r)
, D
(r)
]
_

_
z
1
(b + 2

ca)

1
.
.
.
z
r
(b + 2

ca)

[
G
nk
s
P
i=1
n
i

i
:
1
;...;
r
],
[(c);

,...,
(r)
],
[(a):

,....,
(r)
];[(b

):

];.....;[b
(r)
):
(r)
]
[
G
nk
s
P
i=1
n
i

1
2
:
1
,...,
r
]:[(d

):

];.....;[d
(r)
:
(r)
]
_
_
,
(2.1)
Provided that Re(a) > 0, Re(b) > 0, c > 0, p q, |w| = 1 and
min
_
Re
_
f
j
F
j
__
+
r

=1

i
min
_
_
Re
_
_
d
(i

)
j

(i

)
j

_
_
_
_
> 2, j = 1, ..., M and j

= 1, ..., u
(i

)
Proof. In order to prove (2.1), we rst express the Fox H-function, M-series and
a general polynomials in the form of series and the H-function of several complex
variables in terms of Mellin-Barnes contour integrals. Now interchanging the order
of summations and integrations which is permissible under the stated conditions, we
obtain

G,k=0
M

g=1
[N
1
/M
1
]

1
=0
...
[N
s
/M
s
]

s
=0
(1)
G
(u
1
)
k
...(u
p
)
k
G!F
g
(v
1
)
k
...(v
q
)
k
(k+1)
(N
1
)
M
1

1
!
...
.
(N
s
)
M
s

s
!
(
G
)A[N
1
,
1
; ...; N
s
,
s
]w
k
w

1
1
...w

s
s
1
(2i)
r
_
L
1
...
_
L
r
(
1
, ...,
r
)
.
1
(
1
)...
r
(
r
)z

1
1
.....z

r
r
_
_

0
t
1(
G
nk
s
P
i=1
n
i

1
...
r

r
)
.(a +bt +ct
2
)
(
G
nk
s
P
i=1
n
i

1
...
r

r
)3/2
dt
_
d
1
....d
r
.
(2.2)
Evaluating the above t-integral with the help of a known theorem (Saxena [8]) and
reinterpreting the result thus obtained in terms of H-function of r-variables, we arrive
at the desired result.
Particular Cases:
I. Taking = A, u
(i)
= 1, v
(i)
= B
(i)
and D
(i)
= D
(i)
+ 1, i (1, ..., r) the result in
(2.1) reduced to the following integral transformation :

_
0
t
1
(a +bt +ct
2
)
3/2
H
M,N
P,Q
__
t
a+bt+ct
2
_

(e
p
,E
p
)
(f
Q
,F
Q
)
_
.
p

M
q
_
w
_
t
a+bt+ct
2
_
n
_
S
M
1
, ..., M
s
N
1
, ..., N
s
_
w
1
_
t
a+bt+ct
2
_
n
1
, ..., w
s
_
t
a+bt+ct
2
_
n
s
_
.F
A:B

;....;B
(r)
C:D

;....;D
(r)
_
z
1
_
t
a+bt+ct
2
_

1
, ..., z
r
_
t
a+bt+ct
2
_

[1(a):

,....,
(r)
];[1(b

):

];.....;[1(b
(r)
):
(r)
]
[1(c):

;...;
(r)
][1(d

):

];.....;[1(d
(r)
):
(r)
]
_
dt
10 V.B.L. CHAURASIA AND DEVENDRA KUMAR
=
_

G,k=0
M

g=1
[N
1
/M
1
]

1
=0
...
[N
s
/M
s
]

s
=0
(1)
G
(u
1
)
k
...(u
p
)
k
G! F
g
(v
1
)
k
...(v
q
)
k
1
(k + 1)
(
G
)
.
(N
1
)
M
1

1
!
...
(N
s
)
M
s

s
!
A[N
1
,
1
; ...; N
s
,
s
]w
k
w

1
1
...w

s
s
(b + 2

ca)

G
nk
s
P
i=1
n
i

i
1
.
(1+
G
+nk+
s
P
i=1
n
i

i
)
(
3
2
+
G
+nk+
s
P
i=1
n
i

i
)
F
A+1B

;....;B
(r)
C+1:D

;...;D
(r)
_
z
1
(b + 2

ca)

1
, ..., z
r
(b + 2
_
ca)

r
[1+
G
+nk+
s
P
i=1
n
i

i
;
i
;...;
r
],[1(a):

;...;
(r)
]:[1(b

];...;[1(b
(r)
):
(r)
]
[1(c);

...;
(r)
],[
3
2
+
G
+nk+
s
P
i=1
n
i

i
;
1
;...;
r
],[1(d

):

];...;[1(d
(r)
):
(r)
]
_
_
, (3.1)
providing that Re(a) > 0, Re(b) > 0, c > 0, the series on the right side exists.
II. Taking

, ....,
(r)
=

, ...,
(r)
=

, ....,
(r)
=

, ....
(r)
=
1
, ....,
r
=

, ...,
(r)
in (2.1), we get the following transformation :

_
0
t
1
(a +bt +ct
2
)
3/2
H
M,N
P,Q
__
t
a+bt+ct
2
_

(e
p
,E
p
)
(f
Q
,F
Q
)
_
.
p

M
q
_
w
_
t
a+bt+ct
2
_
n
_
S
M
1
, ..., M
s
N
1
, ..., N
s
_
w
1
_
t
a+bt+ct
2
_
n
1
, ..., w
s
_
t
a+bt+ct
2
_
n
s
_
.G
0, : (u

, v

); ......; (u
(r)
, v
(r)
)
A, C : [B

, D

]; ....; [B
(r)
, D
(r)
]
_
z
1/

1
_
t
a+bt+ct
2
_
, ..., z
1/
(r)
r
_
t
a+bt+ct
2
_

(a):(b

);...;(b
(r)
)
(c):(d

);...;(d
(r)
)
_
dt
=
_

G,k=0
M

g=1
[N
1
/M
1
]

1
=0
....
[N
s
/M
s
]

s
=0
(1)
G
(u
1
)
k
...(u
p
)
k
G! F
g
(v
1
)
k
....(v
q
)
k
1
(k+1)
(
G
)
(N
1
)
M
1

1
!
...
(N
s
)
M
s

s
!
A[N
1
,
1
; ...; N
s
,
s
]w
k
w

1
1
...w

s
s
(b + 2

ca)

G
nk
s
P
i=1
n
i

i
1
.G
0, + 1 : (u

, v

); ...; (u
(r)
, v
(r)
)
A+ 1, C + 1 : [B

, D

]; ...; [B
(r)
, D
(r)
]
_
z
1/

1
(b + 2

ca)
1
, ..., z
1/
(r)
(b + 2

ca)
1

[
G
nk
s
P
i=1
n
i

i
],(a):(b

);...;(b
(r)
)]
[(c),[
G
nk
s
P
i=1
n
i

1
2
]:(d

);...;(d
(r)
)
_
_
, (3.2)
Re(a) > 0, Re(b) > 0, c > 0;
(i)
> 0(i = 1, ..., r), 2(u
(i)
+v
(i)
) < (A+C +B
(i)
+D
(i)
)
| arg(z
i
)| <
_
u
(i)
+v
(i)

A
2

C
2

B
(i)
2

D
(i)
2
_
, p q, |w| 1 and

_
min
1jM
[Re(f
j
/F
j
)]
_
+
r

i=1
_
min
1ju
(i)
[Re(d
(i)
j
)]
_
> 2.
III. When = A = C = 0 in (2.1), we have the following

_
0
t
1
(a +bt +ct
2
)
3/2
H
M,N
P,Q
__
t
a+bt+ct
2
_

(e
p
,E
p
)
(f
Q
,F
Q
)
_
p

M
q
_
w
_
t
a+bt+ct
2
_
n
_
S
M
1
, ..., M
s
N
1
, ..., N
s
_
w
1
_
t
a+bt+ct
2
_
n
1
, ..., w
s
_
t
a+bt+ct
2
_
n
s
_
.
r

i=1
H
u
(i)
,v
(i)
B
(i)
,D
(i)
_
z
i
_
t
a+bt+ct
2
_

[(b
(i)
):
(i)
]
[(d
(i)
):
(i)
]
_
dt
THE INTEGRATION OF CERTAIN PRODUCT INVOLVING SPECIAL FUNCTIONS 11
=
_

G,k=0
M

g=1
[N
1
/M
1
]

1
=0
....
[N
s
/M
s
]

s
=0
(1)
G
(u
1
)
k
...(u
p
)
k
G! F
g
(v
1
)
k
....(v
q
)
k
1
(k+1)
(
G
)
(N
1
)
M
1

1
!
...
(N
s
)
M
s

s
!
A[N
1
,
1
; ...; N
s
,
s
]w
k
w

1
1
...w

s
s
(b + 2

ca)

G
nk
s
P
i=1
n
i

i
1
.H
0, 1 : (u

, v

); ...; (u
(r)
, v
(r)
)
1, 1 : [B

, D

]; ...; [B
(r)
, D
(r)
]
_

_
z
1
(b+2

ca)

1
.
.
.
z
r
(b+2

ca)

[
G
nk
s
P
i=1
n
i

i
:
1
;...;
r
]:[(b

];...;[(b
(r)
):
(r)
]
[
G
nk
s
P
i=1
n
i

1
2
:
1
;...;
r
]:[(d

];...;[(d
(r)
):
(r)
]
_

_
(3.3)
valid under the same conditions as obtained from (2.1).
IV. When = 1 in (2.1), we have the following transformation :

_
0
t
1
(a +bt +ct
2
)
3/2
H
M,N
P,Q
__
t
a+bt+ct
2
_

(e
p
,E
p
)
(f
Q
,F
Q
)
_
p
F
q
_
w
_
t
a+bt+ct
2
_
n
_
S
M
1
, ..., M
s
N
1
, ..., N
s
_
w
1
_
t
a+bt+ct
2
_
n
1
, ..., w
s
_
t
a+bt+ct
2
_
n
s
_
.H
_
z
1
_
t
a+bt+ct
2
_

1
, ..., z
r
_
t
a+bt+ct
2
_

r
_
dt
=
_

G,k=0
M

g=1
[N
1
/M
1
]

1
=0
...
[N
s
/M
s
]

s
=0
(1)
G
(u
1
)
k
...(u
p
)
k
G! F
g
(v
1
)
k
...(v
q
)
k
1
k!
(N
1
)
M
1

1
!
...
(N
s
)
M
s

s
!
A[N
1
,
1
; ...; N
s
,
s
]w
k
w

1
1
...w

s
s
(b + 2

ca)

G
nk
s
P
i=1
n
i

i
1
.H
0, + 1 : (u

, v

); ...; (u
(r)
, v
(r)
)
A+ 1, C + 1 : [B

, D

]; ...; [B
(r)
, D
(r)
]
_

_
z
1
(b+2

ca)

1
.
.
.
z
r
(b+2

ca)

[
G
nk
s
P
i=1
n
i

i
:
1
;...;
r
],
[(c):

,...,
(r)
],
[(a):

,....,
(r)
]:[(b

];...;[(b
(r)
):
(r)
]
[
G
nk
s
P
i=1
n
i

1
2
:
1
;...;
r
]:[(d

];...;[(d
(r)
):
(r)
]
_
_
(3.4)
valid under the same conditions as needed for (2.1).
V. Replacing n = 0and N
1
...N
s
by N in the result (2.1) reduces to the known result
given in [2], after a little simplication.
VI. Taking n = 0, N
i
0, (i = 1, ....s), a = 0, c = 1, then result in (2.1) reduces to the
known result after a little simplication obtained by Goyal and Mathur [5].
VII. If n = 0 and M
i
, N
i
0 (i = 1, 2, 3...) the result in (2.1) reduces to the known
result with a slight modication derived by Gupta and Jain [6].
VIII. When n = 0, the results in (2.1), (3.1), (3.2) and (3.3) reduce to the known
results with a slight simplication recently obtained by Chaurasia and Shekhawat [3].
References
[1] Braaksma, B.L.J.- Asymptotic expansions and analytic continuation for a class of Barnes inte-
grals, Compositio Math., 15 (1963), 236-341.
12 V.B.L. CHAURASIA AND DEVENDRA KUMAR
[2] Chaurasia, V.B.L. and Godika, A.- An integral involving certain special functions, Bull. Cal.
Math. Soc., 91 (1999), 337-342.
[3] Chaurasia, V.B.L. and Shekhawat, A.S.- An integral involving general polynomials and the H-
function of several complex variables, Tamkang J. Math., 36 (2005), 255-260.
[4] Fox, C.- The G and H-function as symmetrical Fourier kernels, Trans. Amer. Math. Soc., 98
(1961), 395-429.
[5] Goyal, S.P. and Mathur, S.L.- On integrals involving the H-function of two variables, Indian J.
Pure Appl. Math., 7 (1976), 347-358.
[6] Gupta, K.C. and Jain, R.- An integral involving a general polynomials and product of Foxs
H-function having general arguments, Ganita Sandesh, 3 (1989), 64-67.
[7] Sharma, M.- Fractional integration and fractional dierentiation of the M-series, Frac. Cal. Appl.
Anal., 11 (2008), 187-191
[8] Saxena, R.K.- An integral involving G-function, Proc. Nat. Inst. Sci. India, 26A (1960), 661-664.
[9] Skibinski, P.- Some expansion theorem for the H-functions, Ann. Polon. Math., 23 (1976), 1-6.
[10] Srivastava, H.M.- A multilinear generating function for the Kohnauser sets of bi-orthogonal
polynomials suggested by the Laguerre polynomials, Pacic J. Math., 117 (1985), 183-191.
[11] Srivastava, H.M. and Panda, R.- Some bilateral generating function for a class of generalized
hypergeometric polynomials, J. Reine. Angew. Math., 283/284 (1996), 265-274.
Received 02 06 2009, revised 10 07 2010
a
Department of Mathematics,
University of Rajasthan, Jaipur - 302055, Rajasthan,
India
E-mail address: chaurasiavbl@yahoo.in
b
Department of Mathematics,
Jagan Nath Gupta Institute of Engineering and Technology,
Jaipur - 302022,, Rajathan,
India
E-mail address: devendra-maths@yahoo.com