International Journal of Applied Mathematics

& Statistical Sciences (IJAMSS)

ISSN(P): 2319-3972; ISSN(E): 2319-3980
Vol. 3, Issue 5, Sep 2014, 1- 8
© IASET

INTEGRALS PERTAINING TO I-FUNCTIONS

ALOK BHARGAVA1, AMBER SRIVASTAVA2 & ROHIT MUKHERJEE3

1
Department of Mathematics, Poornima University, Jaipur, Rajasthan, India
2,3
Department of Mathematics, Swami Keshvanand Institute of Technology, Management & Gramothan,
Jaipur, Rajasthan, India

ABSTRACT

In this paper, certain integrals involving product of the I- function and Fox - Wright’s Generalized
Hypergeometric Function have been established. Being unified and general in nature, these integrals yield a number of
known and new results as particular cases. For the sake of illustration, some special cases are also recorded here.

KEYWORDS: Fox - Wright’s Generalized Hypergeometric Function, I-function

AMS Subject Classification: 33C45, 33C60

1. INTRODUCTION

In the present paper, we have used the I-function given by Saxena [1], defined as:

 ( a j ′ ,α j ′ )1, n ; ( a j ′i′ ,α j ′i′ ) n +1, p 

m,n m, n  i 
I [ z] = I z
pi, qi :r pi, qi :r  (b , β ) β 
 j ′ j′ 1, m ; ( b j′i′ j ′i′ m + 1, qi 
, )

= 1 ξ
∫ ϕ (ξ ) z d ξ ,
2πω L
(1)

Where (2)

and ω= −1 . For the conditions on the several parameters of the I-function, one can refer to [1].

Also, the Wright’s Generalized hypergeometric function

p ψ q ([2], also see [3]) appearing in this paper is
defined as:

(3)

q p
where γi and δj (i = 1, …, p ; j = 1, …, q) are real and positive, and 1 + ∑ δ j− ∑ γ j > 0.
j =1 j =1

To establish the integrals we have also used the following result due to Rainville [4]:

www.iaset.us editor@iaset.us
2 Alok Bhargava, Amber Srivastava & Rohit Mukherjee

(4)

2. MAIN RESULTS

In this section, we have evaluated certain integrals involving product of the I - function, Wright’s Generalized
hypergeometric function and exponential function.

First Integral

(5)

Where (6)

provided (i) µ ≥ 0, ν ≥ 0 (Not both zero simultaneously)

(ii) ζ and η are non-negative integers such that ζ +η ≥1

1
(iii) Ai > 0, Bi < 0; |arg y| < Aiπ, ∀ i ∈ 1,...,r;
2

where

and

Impact Factor (JCC): 1.8673 Index Copernicus Value (ICV): 3.0

Integrals Pertaining to I-functions 3

Proof

( t − x) z by ∞ ( t − x ) z u and also using the expressions (1) and (3), we get

u
Now replacing e ∑
u =0 u!

which in view of (4), becomes

∏ +
#
( − )! "#
%#
= ( − ) × ×
∞
Γ
∏ + ! (& − )!
' # ' '
Γ

1 0/ (
× ,(-). / − )1/ 2-2
2*+ 3

Interchanging the order of integration and summation, we obtain

#
%# 1
= ( ) × ,(-). / 4 ( − ) 2 5 2-
∞
" "0/ "(! ) "#"1/
(& − )! 2*+ 3
# ' ' '

where f (k) is given by (6).

Further on substituting x= ts in the inner x- integral, the above expression reduces to

#
%# 1
= ( ) × ,(-). / 4 7 (1 − 7) 275 2-
∞
" (6"! ) "# " "0/ "(! ) "#"1/
(& − )! 2*+ 3
# ' ' '

www.iaset.us editor@iaset.us
4 Alok Bhargava, Amber Srivastava & Rohit Mukherjee

#
%# 1 Γ(8 + 9 + :-)Γ(; + (< − 1) + & + =-) /
= ( ) × ,(-) . 2-
∞
" (6"! ) "# (0"1)/
(& − )! 2*+ 3 Γ(8 + ; + (9 + < − 1) + & + (: + =)-)
# ' '

Finally, by virtue of (1), we arrive at the desired result.

Second Integral

σ −1 − x z  ( e j ,γ j ) 1, p; 
I ≡ ∫0 x ρ − 1 ( t − x )
t
e ψ  ζ
ax ( t − x )η 
2 p q  ( f j ,δ j ) 1,q ; 
 

 ( a j ,α j ) 1,n ;( a j ,α j ) n +1, pi 
× I m,n  y x − µ ( t − x )−ν  dx
pi ,qi : r  ( b j , β j ) 1,m ;( b ji , β ji ) m +1,qi 

#
%#
= ( )
∞
" ( "! ) "#
(& − )!
# ' '

,F ; H , F H D" , , (8 + ; + (9 + I − 1) + &, : + =)
× 4. E 5
C,D"? 0 1 ,D >
> "?, > " :B
(8 + 9 , :), (; + (< − 1) + &, =), (J , K ) ,C ; J H, K H
(7)
C" , >

a j −1 a j −1
Provided Re ( ρ ) − µ max [ Re ( )] > 0 , Re (σ ) − ν max [ Re ( )] > 0 ,
1≤ j ≤ n αj 1≤ j ≤ n αj

along with the sets of conditions (i) to (iii) given with I1 and f (k) is given by (6).

Proof: It can be proved on lines similar to those of (5).

Third Integral

( , ) ;
= M' ( − ) pO P ( − )! R
N ,
L
( , ) , ;

( , F ) ,D ; ( H , F H )D" , >
× C,D
S. 0
( − ) 1T U2
> , > :B (J , K ) ,C ; (J H , K H )C" , >

#
%#
= ( )
∞
" ( "! ) "#
(& − )!
# ' '

×
(1 − 8 − 9 , :), ,F ; H , F H D" ,
4. E 5
C" ,D" 0 1 ,D >
> " , > "?:B (; + (< − 1) + &, =), (J , K ) ,C ; J H, K H , (1 − 8 − ; − (9 + < − 1) − &, : − =)
(8)
C" , >

bj a j −1
Provided Re ( ρ ) + µ min [ Re ( )] > 0 , Re (σ ) − ν max [ Re ( )] > 0 ,
1≤ j ≤ m βj 1≤ j ≤ n αj

Impact Factor (JCC): 1.8673 Index Copernicus Value (ICV): 3.0

Integrals Pertaining to I-functions 5

along with the sets of conditions (i) to (iii) given with I1 and f (k) is given by (6)

Proof: It can be proved on lines similar to those of (5).

Fourth Integral

σ −1 − x z  ( e j ,γ j ) 1, p; 
≡ ∫0 x ρ − 1 (t − x ) axζ ( t − x )η 
t
I e ψ 
4 p q  ( f j ,δ j ) 1,q ; 


 ( a j ,α j ) 1, n ; ( a j ,α j ) n +1, pi 
× I m ,n  y x − µ ( t − x )ν  dx
pi , qi : r  ( b j , β j ) 1,m ; (b ji , β ji ) m +1, q 
 i

∑∞# '∑ ( )
WXY
= " #
' (# )!
( "! ) "#

(1 − ; − (< − 1) − &, =), ,F ; , (8 + ; + (9 + < − 1) + &, : − =)

H , F H D" ,
× 4. 0"1 E 5
C" ,D" ,D >
> "?, > " :B
(8 + 9 , :), (J , K ) ,C ; J H , K H
(9)
C" , >

a j −1
provided Re ( ρ ) + µ min [ Re( b j / β j )] > 0 , Re (σ ) − ν max [ Re ( )] > 0 , along
1≤ j ≤ m 1≤ j ≤ n αj
with the sets of conditions (i) to (iii) given with I1 and f (k) is given by (6).

Proof: It can be proved on lines similar to those of (5).

3. PARTICULAR CASES

• On taking γj = 1= δj in equation (5), (7), (8), and (9), we get the following four integrals respectively, involving
generalized hypergeometric function

σ −1 − x z  ( e j ) 1, p ; 
(1) ∫0 x ρ − 1 ( t − x ) ζ η
t
e F  ax ( t − x ) 
p q  ( f j ) 1, q ; 
 

 ( a j ,α j )1, n ; ( a j ,α j )n +1, p 
 y x µ ( t − x )ν
i
× I m,n  dx
pi , qi : r  ( b j , β j )1, m ; ( b ji , β ji )m +1, q 
 i

#
%#
= Z( )
∞
" ( "! ) "#
(& − )!
# ' '

(1 − 8 − 9 , :), (1 − ; − (I − 1) − &, =) ,F ; H , F H D" ,

× 4. E 5
C,D"? 0"1 ,D >
> "?, > " :B
(J , K ) ,C ; J H, K H , (1 − 8 − ; − (9 + < − 1) − &, : + =)
(10)
C" , >

www.iaset.us editor@iaset.us
6 Alok Bhargava, Amber Srivastava & Rohit Mukherjee

Where (11)

along with the sets of conditions (i) to (iv) given with I1 .

σ −1 − xz  (e j ) 1, p ; 
t ρ −1 ζ ( t − x)η 
(2) ∫0 x (t − x) e F 
p q  ( f j ) 1,q ;
ax

 

 (a j ,α j )1,n; (a j ,α j )n+1, p 
 yx−µ ( t − x)−ν
i
× I m,n  dx
pi ,qi : r  (bj ,β j )1,m; (bji ,β ji ) m+1,q 
 i
#
%#
= Z( )
∞
" ( "! ) "#
(& − )!
# ' '

,F ; H , F H D" , , (8 + ; + (9 + I − 1) + &, : + =)
× 4. E 5
C,D"? 0 1 ,D >
> "?, > " :B
(8 + 9 , :), (; + (< − 1) + &, =), (J , K ) ,C ; J H, K H
(12)
C" , >

along with the sets of conditions (i) to (iv) given with I2 and g(k) is given by (11).

 ( e j ) 1, p ; 
t ρ − 1 (t − x )σ − 1 e − x z  ζ ( t − x )η 
(3) ∫0 x F
p q ax
(f ) ; 
 j 1, q 

 ( a j ,α j ) 1, n ;( a j ,α j ) n + 1, p 
× I m , n  µ
y x (t − x ) −ν i 
dx
pi , qi : r  (b j , β j ) 1, m ;( b ji , β ji ) m + 1, q 
 i
#
%#
= Z( )
∞
" ( "! ) "#
(& − )!
# ' '

(1 − 8 − 9 , :), ,F ; H , F H D" ,
× 4. E 5
C" ,D" 0 1 ,D >
> " , > "?:B (; + (< − 1) + &, =), (J , K ) ,C ; J H, K H , (1 − 8 − ; − (9 + < − 1) − &, : − =)
C" , >

along with the sets of conditions (i) to (iv) given with I 3 and g(k) is given by (11).

Impact Factor (JCC): 1.8673 Index Copernicus Value (ICV): 3.0

Integrals Pertaining to I-functions 7

t ρ −1 σ −1 − xz  ( e j ) 1, p; 
ζ η
a x ( t − x) 
(4) ∫0 x (t − x) e F 
p q  ( f j ) 1,q ; 
 

 (a j ,α j )1,n; (a j ,α j ) n+1, pi 
× I m,n  y x−µ ( t − x)ν  dx
pi ,qi : r  (bj ,β j )1,m; (bji ,β ji ) m+1,qi 
 
#
%#
= Z( )
∞
" ( "! ) "#
(& − )!
# ' '

(1 − ; − (< − 1) − &, =), ,F ; H , F H D" , , (8 + ; + (9 + < − 1) + &, : − =)

× 4. E 5
C" ,D" 0"1 ,D >
> "?, > " :B
(8 + 9 , :), (J , K ) ,C ; J H, K H C" , >

along with the sets of conditions (i) to (iv) given with I4 and g(k) is given by (11).

• Further, on specifying the parameters suitably, the generalized hypergeometric function reduces to Gauss
hypergeometric function and we get the results due to Saha et al. [5].

• On taking t = 1, η = 0 and r = 1, I function reduces to Fox’s H- function ([6], [7] and [8]) and we get the results
due to Arora and Saha [9].

ACKNOWLEDGEMENTS

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.

REFERENCES

1. V. P. Saxena, The I-Function, Anamaya Publishers, New Delhi, (2008).

2. E. M. Wright, The asymptotic expansion of the generalized hypergeometric function, Proc. London Math. Soc.
46 (1946), 389–408.

3. H. M. Srivastava, H. L. Manocha, A Treatise on Generating Functions, Halsted Press (Ellis Horwood Limited,
Chichester) 1984.

4. E. D. Rainville, Special Functions, Chelsea Publication Company, Bronx, New York, (1971).

5. U. K. Saha, L. K. Arora and B. K. Dutta, Integrals Involving I-Function, Gen. Math. Notes, 6(1), (2011), 1-14.

6. C. Fox, The G- and H-functions as symmetrical Fourier kernels, Trans. Amer. Math. Soc., 98(1961), 395-429.

www.iaset.us editor@iaset.us
8 Alok Bhargava, Amber Srivastava & Rohit Mukherjee

7. A. M. Mathai and R.K. Saxena, The H-Function with Applications in Statistics and Other Disciplines, Wiley
Eastern Limited, New Delhi, Bangalore, Bombay, (1978).

8. H. M. Srivastava, K. C. Gupta and S. P. Goyal, The H-Functions of One and Two Variables with Applications,
South Asian Publishers, New Delhi, Madras, (1982).

9. L. K. Arora and U. K. Saha, Integrals involving hypergeometric function and H-function, J. Indian Acad. Math.,
32(1) (2010), 243-249.

Impact Factor (JCC): 1.8673 Index Copernicus Value (ICV): 3.0