International Journal of Scientific & Engineering Research Volume 3, Issue 5, May-2012

ISSN 2229-5518

Relationship between Double Laplace Transform and

Double Mellin Transform in Terms of Generalized
Hypergeometric Function with Applications
Yashwant Singh and Harmendra kumar mandia

Abstract: The object of this paper is to establish a relation between the double Laplace transform and the double Mellin transform. A
double Laplace-Mellin transform of the product of H-functions of one and two variables is then obtained. Application, summation formula
and some interesting special cases have also been discussed.
Key words: Double Laplace Transform, Double Mellin Transform, Mellin-Bernes Contour Integral, H-function of Two Variables,
Generalized Hypergeometric function.
(2000 Mathematical subject classification: 33C99)

1. INTRODUCTION:
If

F ( p1 , p2 ) is the Double Laplace transform of f ( x, y ) ,

P FQ

aP ; bQ ; z

aP

P FQ

bQ

then

j 1
Q

;z
n 0

j 1

F ( p1 , p2 )

p1x p2 y

f ( x, y)dxdy;

aj

bj

Re( p1 ) 0, Re( p2 ) 0

zn
,
n!

(1.3)

0 0

(1.1)
If

Where for brevity, ( a p )denotes the array of parameters

a1 ,..., a p with similar interpretation for

M ( p1 , p2 ) is the Double Mellin transform of f ( x, y ) ,

( bq ) etc. . For

further details one can refer Rainville [4].

then

The following formula is required in the proof:

M ( p1 , p2 )

p1 1

p2 1

f ( x, y)dxdy ;

p1

0, p2

0 0

x s 1 y t 1H ax , by

(1.2)

dxdy

0 0

Yashwant singh
Department of Mathematics,
S.M.L. (P.G.) College, Jhunjhunu , Rajasthan,
India
E-mail: ysingh23@yahoo.co.in
Harmendra Kumar Mandia
Department of Mathematics,
Shri JagdishPrasad Jhabermal Tibrewala
University,
Chudela, Jhunjhunu, Rajasthan, India
Generalized hypergeometric function is defined as:
E-mail: mandiaharmendra@gmail.com

s/

t/

s
2

t
3

(1.4)
The following theorem is also required in the proof:
Theorem: If

F ( p1 , p2 ) is the laplace transform and

M ( p1 , p2 ) is the Mellin transform of f (t1 , t2 ) , then

IJSER 2012
http://www.ijser.org

International Journal of Scientific & Engineering Research Volume 3, Issue 5, May-2012

ISSN 2229-5518

( p1 ) s1 ( p2 ) s2
M ( s1 1, s2 1)
s1 !
s2 !
0

F ( p1 , p2 )
s1 0 s2

(1.9)

2. A DOUBLE HANKEL TRANSFORM:

(1.5)
Provided

f (t1 , t2 ) is continuous for all values of t1 and t2,

the Laplace transform of

| f (t1 , t2 ) | exists and the series

on the right hand side of

F ( p1 , p2 ) converges.

H[ X ]
The

x 1 y 1FS

g R ; kS ; dxu y v H pm,,qn

0 0
1 ( g j ,G j ) p

cx y

represents the H-function of Fox [1].

H ax , by

1 ( h j , H j )q

2 r )/

2 r )/

dxdy

) 1 f (r )

r 0

H -function of two variables (Mittal and Gupta [2],

p.172) using the following notation, which is due

essentially to Srivastava and Panda ([6], p.266, eq. (1.5) et

m n2 n3 , n m2 m3
p q1 q2 q3 , q p1 p2 p3

ca

seq.)is defined and represented as:

x
y

H [ x, y] H

x (a j ;
y (b j ;

0, n1:m2 , n2 :m3 , n3
p1 ,q1: p2 ,q2 : p3 ,q3

1 fj

j , Aj )1, p1 :( c j , j )1, p2 ,( e j , E j )1, p3

Fj , Fj

j , B j )1,q1 :( d j , j )1,q2 ,( f j , F j )1,q3

p3

1 ej

Ej , Ej

( , ) 2( ) 3( ) x y d d

r
j

1 ( h j , H j )m , 1 (1

cj

,m 1 ( h j , H j ) q ,

D j ; D j )m2
C j ; C j )n2

q2

1 cj
n2 1

Bj

Dj , Dj

n2 1

Cj , Cj
p2

Bj

L1 L2

dj

1 dj

p3

1 bj

,n 1 ( g j ,G j ) p ,

1 ( g j ,G j )n , 1 (1

q1

1 aj

r
j

Aj

Aj

p1

(2.1)

(1.6)
Provided,

Where
n1

(1 a j

Aj )

0;

j 1

( , )

p1

Aj )

j n1 1

(1 b j

j 1

n2

f (r )

j 1

(d j

j n2 1

(1 d j

Hj

j 1

dr
r!

Hj
j m 1

Gj
j 1

Gj
j n 1

j m2 1

(1.8)
n3

Re[(

di / Di

hj / H j ] 0; i 1,..., m2 ; j 1,..., m

m3

(1 e j

Ej )

j 1
p3

( fj

Fj )

Re[(

j 1
q3

(e j
j n3 1

kj
q

q2

(c j

j 1

j 1

p2

gj
j 1
S

Where

m2

(1 c j

3( )

Bj )

(1.7)

( )

q1

(a j

1
2

0; arg c

Ej )

(1 f j

Fj )

j m3 1
IJSER 2012
http://www.ijser.org

fi / Fi

h j / H j ] 0; i 1,..., m3 ; j 1,..., m

International Journal of Scientific & Engineering Research Volume 3, Issue 5, May-2012

ISSN 2229-5518

Re

Re

1 ci
Ci

1 gj

1 ei
Ei

1 gj

0; i 1,.., n2 ; j 1,..., n

Gj

0; i 1,.., n3 ; j 1,..., n

Gj

m n2 n3 , n m2 m3
p q1 q2 q3 , q p1 p2 p3

1 fj

r s2

R S

or

R S 1 and | at

, n 1 ( g j ,G j ) p ,

r s2

Ej , Ej

r s1

,m 1 ( h j , H j ) q ,

r s1

2 r s1

Dj , Dj

r s1

1 cj

Bj

Bj

Aj

Aj

C j ; C j )n2

Cj , Cj
p2

q1

1 aj

r s1

r s2

Proof: To prove (2.1), we use series representation for the

cj

D j ; D j )m2

q2

k j ( j 1, 2,...S ) is a negative integer or zero].

1 ( h j , H j ) m , 1 (1

r s1

n2 1

r s2

dj

n2 1

p3

1 bj

1 ( g j ,G j )n , 1 (1

1 dj

p3

1 ej

| 1 [none of

ca

Fj , Fj

u v

p1

(3.1)

Provided the conditions are same as that of (3.1) with

generalized hypergeometric function, substitute the MellinBernes contour integral for

H [cx y ] on the left hand side

Re(p1)>0, Re(p2)>0.

then interchange the order of contour integral and the

( x, y ) -integrals. Finally we arrive at our result on

evaluating the ( x, y ) - integral by using the result (1.3).

Proof: In(1.1)put

f (t1 , t2 ) t1 1t2 1FS

g R ; kS ; dxu y v

3. Application:
If

f (t1 , t2 ) t1 1t2 1FS

H pm,,qn ct1 t2

g R ; kS ; dxu y v

1 ( g j ,G j ) p

H at , bt

1 ( h j , H j )q

and use (3.1) to get,

m,n
p ,q

ct1 t2

1 ( g j ,G j ) p
1 ( h j , H j )q

H at , bt

M ( p1 , p2 )
(1.5) becomes the double Laplace-Mellin transform of the

(1

r s1 )/

(1

r s2 )/

) 1 f (r )

r 0

product of H-functions of one and two variables and take

the following form:

Pt
1 1 P2t2

t1 t2 FS

g R ; kS ; d x y

m n2 n3 , n m2 m3
p q1 q2 q3 , q p1 p2 p3

ca

1 ( g j ,G j )n , 1 (1

dj

1 ( h j , H j )m , 1 (1

cj

r s1 1

D j ; D j )m2

r s1 1

0 0

H pm,,qn ct1 t2

1 ( g j ,G j ) p
1 ( h j , H j )q

H at1 , bt2 dt1dt2

1 fj

s1 0 s2 0 r

( P1 ) s1 ( P2 ) s2
a
s1 ! s2 !
0

r s2 1

Fj , Fj

C j ; C j )n2

r s1 )/

r s2 )/

) 1 f (r )

, n 1 ( g j ,G j ) p ,

1 dj

p3

1 ej

r s2 1

Ej , Ej

r s1 1

,m 1 ( h j , H j ) q ,

r s2 1

q2

1 cj
n2 1

Bj

Bj

Aj

q1

IJSER 2012
http://www.ijser.org

r s1 1

r s2 1

Aj

r s1 1

Cj , Cj
p2

1 aj

Dj , Dj

n2 1

p3

1 bj

r s11

p1

International Journal of Scientific & Engineering Research Volume 3, Issue 5, May-2012

ISSN 2229-5518

F ( p1 , p2 ) = the right hand side of (3.1).

Hence

s1 0 s2 0 r

4. Summation formula:
e

Pt
1 1 P2t2

t1 1t2 1FS

g R ; kS ; d t1ut2v

( P1 ) s1 ( P2 ) s2
a
s1 ! s2 !
0

m n2 n3 , n m2 m3
p q1 q2 q3 , q p1 p2 p3

r s2

1 fj

Fj , Fj

0 0

r s2

r s1

1 bj

s1 0 s2 0 r

r s1 )/

r s2 )/

) 1 f (r )

1 ( g j ,G j )n , 1 (1

dj

1 ( h j , H j ) m , 1 (1

cj

r s1

) 1 f (r )

r s1

Bj

2 r s1

Bj

Aj

C j ; C j )n2

Dj , Dj
q2

r s1

1 cj

D j ; D j )m2

Cj , Cj
p2

q1

r s1

1 aj

r s2 )/

n2 1

( P1 ) s1 ( P2 ) s2
a
s1 ! s2 !
0

1 dj

,m 1 ( h j , H j ) q ,

r s2

n2 1

p3

H at1 , bt2 dt1dt2

1 ( h j , H j )q

, n 1 ( g j ,G j ) p ,

Ej , Ej

1 ( g j ,G j ) p

ca

r s1 )/

p3

1 ej

H pm,,qn ct1 t2

r s2

Aj

p1

Provided the conditions are same as that of (3.1) with

m n2 n3 , n m2 m3
p q1 q2 q3 , q p1 p2 p3

r s2

1 fj

ca

Fj , Fj

, n 1 ( g j ,G j ) p ,
p3

r s2

1 ej

Ej , Ej

r s1

dj

1 ( h j , H j )m , 1 (1

cj

r s1

1 dj

r s1

Bj

C j ; C j )n2

5. Special Cases:
q2

r s1

1 cj

Cj , Cj

(1) In (3.1) let P10, P20 and = = 1, to get the following

p2

result:

Bj

Re(p1)>0, Re(p2)>0.

Dj , Dj

n2 1

r s2

D j ; D j )m2

2 r s1

n2 1

,m 1 ( h j , H j ) q ,
p3

1 bj

1 ( g j ,G j )n , 1 (1

q1

r s1

1 aj

r s2

Aj

Aj

p1

t1 1t2 1FS

(4.1)

g R ; kS ; d xu y v

0 0
1 ( g j ,G j ) p

H pm,,qn ct1 t2

Evaluating the left hand side of (4.1),using ([5],

eq.(8.5.6),p.150), the following summation formula is

r s1 )

H at1 , bt2 dt1dt2

1 ( h j , H j )q

r s2 )

f (r )

r 0

obtained:

H pm qn12 qn23 ,nq3 ,mq 2 pm1 3 p2

f (r )a b P1

ur

P2

ca b

p3

vr

1 ( g j ,G j )n , 1 (1

dj (

r ) D j ; D j )m2

1 ( h j , H j )m , 1 (1

cj (

r ) C j ; C j )n2

r 0

H pm 2n2 q1n3q,n2

2 m2 m3
q3 , q p1 p2 p3

1 (1

d j ; D j )m2 , 1 f j , F j
1

1 bj

Bj

1 aj

Aj

1 ej , Ej

q1

cP1 P2 ab

1 ( g j ,G j )n ,(1

1 ( h j , H j )m , 1 (1

, ( g j ,G j ) p ,
q3 n 1
n2 1

1 d j , Dj

, ( h , H j )q ,
p3 m 1 j
n2 1

1 cj , Cj

q2

, ),(1 v
c j ; C j )n2

, ),
1

1 fj (

r ) Fj , Fj

1 ej (

r)Ej , Ej

1 bj (

r)

1 aj (

r)

p2

p1

IJSER 2012
http://www.ijser.org

, ( g j ,G j ) p ,
p3 n 1
n2 1
p3

,m 1 ( h j , H j ) q ,

r )Bj

Bj

r ) Aj

Aj

n2 1

1 dj (

r ) Dj , Dj

1 cj (

r )C j , C j

q2
p2

q1
p1

(5.1)

International Journal of Scientific & Engineering Research Volume 3, Issue 5, May-2012

ISSN 2229-5518

(2)

In (4.1) take p1 = q1 = 0, to get the double Laplace-

Hankel transform of the product of three single H-functions

of Fox as:

Pt
1 1 P2t2

t1 1t2 1FS

g R ; kS ; d xu y v

0 0

H pm,,qn ct1 t2

s1 0 s2 0 r

1 ( g j ,G j ) p
1 ( h j , H j )q

( P1 ) s1 ( P2 ) s2
a
s1 ! s2 !
0

m n2 n3 , n m2 m3
p q1 q2 q3 , q p1 p2 p3

1 fj

H at1 , bt2 dt1dt2

r s2

ca

Fj , Fj

r s1 )/

1 ej

r s2

Ej , Ej

r s2 )/

1 ( g j ,G j )n , 1 (1

dj

1 ( h j , H j ) m , 1 (1

cj

,n 1 ( g j ,G j ) p ,
p3

1 dj

r s1

) 1 f (r )

r s1
2 r s1

,m 1 ( h j , H j ) q ,

q2

1 cj
n2 1

C j ; C j )n2

Dj , Dj

n2 1

p3

D j ; D j )m2

r s1

Cj , Cj
p2

(5.2)

Provided the conditions are same as that of (2.1) with p1 =

q1= 0; Re(p1)>0, Re(p2)>0.

REFERENCES:
1.
2.
3.

4.

5.

1. Fox,C. 1961.The G and H-functions as symmetrical Fourier kernels,

Trans. Amer. Math. Soc.,98,395-429.
2. Mittal,P.K. and Gupta,K.C. 1972. An integral involving generalized
function of two variables, Proc. Indian Acad. Sci. Sect. A. 75, 117-123.
3. Srivastava , H.M. and Panda,R. 1976 a. Some bilateral generating
functions for a class of generalized hypergeometric polynomials, J.
Reine Angew. Math. 283/284, , 265-274.
4. Nair, V.C. and Samar,M.S. 1975. A relation between the Laplace
transform and the Mellin transform with applications, Portugaliae
Mathematica, vol.34, Fasc. 3, 149-155.
5. Srivastava,H.M. , Gupta, K.C. and Goyal, S.P. 1982. The H-function
of One and Two Variables with Applications, South Asian Publishers,
New Delhi.

IJSER 2012
http://www.ijser.org