See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/26535893

Convolution of Hankel Transform and its Application to an

Integral Involving Bessel Functions of First Kind

Article  in  International Journal of Mathematics and Mathematical Sciences · January 1995

DOI: 10.1155/S016117129500069X · Source: DOAJ

CITATIONS READS

24 1,842

2 authors, including:

Vu Kim Tuan
University of West Georgia
182 PUBLICATIONS   1,552 CITATIONS   

SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Dynamic equations on time scales or measure chains View project

inverse problems View project

All content following this page was uploaded by Vu Kim Tuan on 03 October 2014.

The user has requested enhancement of the downloaded file.

Internat. J. Math. & Math. Sci. 545
VOL. 18 NO. 3 (1995) 545-550

CONVOLUTION OF HANKEL TRANSFORM AND ITS APPLICATION TO

AN INTEGRAL INVOLVING BESSEL FUNCTIONS OF FIRST KIND

vu KIM TUAN

Institute of Mathematics, P.O.Box 631, Bo tto, Hanoi, Vietnam

MEGUMI SAIGO
Department of Applied Mathematics, Fukuoka University, Fukuoka 8l,l-0l, Japan

(Received August II, 1993)

Abstract
In the paper a convolution of the Hankel transform is constructed. The convolution is used
to the calculation of an integral containing Bessel functions of the first kind.

Key Words and Phrases: Hankel transform, Bessel function, Convolution.

1991 AMS Subject Classification Codes: 33B20.

1. Introduction
The convolution of a modified Hankel transform, introduced in [4], has been studied in [1], [4]
in classical sense and in [7] in a space of generalized functions. For an another modified Hankel
transform the other convolution in some space of functions is obtained (see [5]).
The present paper is devoted to propose a definition of a convolution and to prove the convolution
property in the classical sense of the following standard Hankel transform (see [6], [8])

9[f](x) yJ(yx)f(y)dy, Re(,) > 2 (1)

As one of its applications, a formula of infinite interval of a product of Bessel functions of the first
kind is established.

2. Convolution of Hankel Transform

Set

h(x)
2-3’x-’
f/
V/.r( y + 1/2) ,,+v>,l,,-,,l<

x (uv)’-"f(u)g(v)dudv, x,
_ (0,
The function h(x) is called the Hankel convolution of the function f(x) with the function g(x). It
is easy to see that the convolution is a commutative operator of f and g.
()

Let L(R+;p.(x)) be a class of integrable functions f(x) with a weight p(x) > 0 in R + (0, oo).
The main aim of this section is to prove the following:
546 V. K. TUAN AND M. SAIGO

Theorem. Let Re(u) > and f(z),g(z) E L(R."

2
/’). Then the function h,(z) in (’2) exists
and there hoils the convolution property

9([h](z) x-9f[f](x)f.[g](x), (3)

where :f,, is the Hankel transform (1).

-
Proof. It is well known [6, (2.12.42.15)] that

fo J.( zt )J.( ut J( vt )dt

(4)
VTv( + /2)
where Re(u) > and
2
>-
+() / v()’ v()
0, ()
0,

< 0.
Since

J,,(x)
co,( 2 4 ) +o (5)
o (), +0), (
(see [3]) it is easy to conclude that there exists such positive number C independent of z (0, oo)

.
that

and z-J.(x) L(R+) when Re(u) > Therefore we have

t’-"J.(xt)J(ut)J.(vt)dt
(6)
Cz()- Cza)-
<= 1
t-EJ(t), dt
where C is independent of x, u, v and N. In particular, mng use the formul (2) and (4) with
the help of the estimate (6) we have

ince I(),() e (.;

ubini theorem, e obtain
.
Ih()l N C (-
Thus the function h() in
lf()(v)ldd <
(2)
,
exists. urthermore, applying the

t-".(t) .. . (t) (t)()() t ()

Here we have used the estence N the genkel transform defined by (1) Nr Nnctions from
; (R+; ) (see [2], [8]). Moreover, we notice the fct
x[I]() o (), ( +0) for Ie (,; )
from [2, p. 74]. Therefore, if we set

k(t) t-"gf[f](t)rf.[g](t), (S)

 CONVOLUTION OF HANKEL TRANSFORM 547

W htve
() o("), ( +0). ()
On the other hand we have

and lherefore,
I:c.[/](t)l =< V/’J u v/’f u du < ,C
e (0,), (0)

,() o (,--’), ( +).

Since Re(u) > 1/2, from (9), (11) we conclude that k(t) L (R+" ). Therefore the form,,la (7)
can be rewritten in the form
h(,) C[]().
ttence, by using the inversion formula of the Unkel transform in the class L(R+; (see [2], [8]):
fir,., [3Q[k]] (z) k(z), (12)
we obtain
k(z) 3f[h](z). (13)
As k(z) has the form (8), the formula (13) coincides with the formula (3). Thus the theorem is
proved.

3. Application
As an application of Theorem we consider the integral

j--1

with a, > 0 (j 0, 1,-.., n) and Re(y,) => 0 (j 1,.,9 n). We will prove that

f,*’’"’"" (a0, a, a,,) 0

when
n-3
ao>a,+.-’+a,, and <Re(uo)< Re(u,)+.
We know that it is valid for n (see [6, (2.12.31.1)] for the case Re(y,) 0, and [6, (2.12.35.12)]
for the case Re(ya) > 0). Suppose that it is valid for every k __< n. We have to prove it for the case
k n + 1. Put

,,,.. ,,, (t, a,,... a,)

gO,,,-.-,, fi (t2+y) -’12
By using (5) we have

gO,,,...,,(t,a
Yl ,’"Yn a,,)=O(t*) (t +0)
(14)

Suppose that
n-3
2
< Re(vo) < Re(v,)+ 2
Then from (14) we conclude that 0..--.
9u,.Y!,, " (t,a ...,a,,) L (R+; v/ ") Therefore, by using the
formula (10) we obtain

tou,,.,u" aa,... (z +O,z +). (15)

Since
o [a’’ ,,.
Lain,
.... (t,a, ’’’, a,)] () t ’’ .... (z, a, a.)
548 V. K. TUAN AND M. SAIGO

the forr, mla (15) can ie real as

,, ,o (z,a,...,,) 0 (x +O,x +c).

But by l}o assumplion we have

,n
,1,
,Yn (F, al,..-, an) 0

when z > a +’’" + an. Therefore

and by

and
(12)

Analogously, we have
.... (x

t’’t’"+’
a,

(X an+l)
_
a,,) E L (R+; V’)

i (R+. v/’)

under the conditions

< Re(uo) < Re(u.+,)- 1.
2
Since
....
g,’’, ,.+, (t, al,
/’
a.+,) ....
t-a"’’’o,, ,. (t,a,, a.)a’’’’+’o.+, (t, a.+,),
then by using the theorem we obtain

Yn+l
(y,a, a.)] (t)] (x)
21-3’x- (16)
vr(,o + /2) u+v>z,lt,-vl<z //
X cr’0’r’l
.’".l/."r’r’ (it, al,
’/1 ", art) fo,.+, (v, a.+l du dv.
Since
.... (u,a
Yn a,)=0 when u>a+..-+a,
and
f=’o,=’,,+, (V, an+l) 0 when v > a.+
provided that
n-3
< a(.o) < a(,) + --7-- Re(g0)- Re(tn+l) < -1, (7)
3=1
we conclude from (16) that
f,.’o,,,,-,.+, (z
1, ,Yn+l
a, ln+l 0 when z > a +--. + a.+ (J8)
under (17).
The formula (18) can be analytically continued to the domain
"+z
n- 3
-1 < (.o) < 2 (",)+
3=1 2

Thus we have proved

 CONVOLUTION OF HANKEL TRANSFORM 549
Corollary. Let

-1 <Re(vo)< Re(u.,)+ ’) % >O(j= 1,...,n)

with
ao > a+..-+
anti

Th en
fot’+lJo(ao t) fi (t2 + y)-"’/2J,, (%t2 + y)dt
)=0
O. (19)

The formula (19) is a generalization of the formulae (2.12.44.7) (the case yl y, 0)

and (2.12.44.8) (the case Re(yi) > 0,--., Re(y,,) > 0)in [6].

Acknowledgement. The work of the first author was supported, in part, by the National Basic
Research Program in Natural Sciences, Vietnam, and by the Alexander von Humboldt Foundation.

References

[1] F.M. Cholewinski: Hankel Convolution Complex Inversion Theory, Mem. Amer. llalh. Soc.
Vol. 58, 1965.
[2] V.A. Ditkin and A.P. Prudnikov: lntegral Transforms and Operational Calculus, Pergamon
Press, Oxford-London-Edinburgh-New York-Paris-Frankfurt, 1965.

Vol. ,
[3] A. Erddlyi, W. Magnus, F. Oberhettinger and R.P. Soni: Higher Transcendental Functions,
McGraw-Itill, New York-Toronto-London, 1953.
[4] I.I. Hirschman, Jr." Variation diminishing Ha.nkel transforms, d. Analyse Math. 8(1960/61),
307-336.
[5] Nguyen Thanh Hal and S.B. Yakubovich: The Double Mellin-Barnes Type Integrals and Their
Applications to Convolution Theory, World Scientific, Singapore-New Jcrsev-London-itong
Kong, 1992.
[6] A.P. Prudnikov, Yu.A. Brychkov and O.I. Marichev: Integrals and Series, Vol.
Functions, Gordon & Breach, New York-London-Paris-Tokyo, 1986.
, Special

[7] J. de Sousa Pinto: A generalized Hankel convolution, SIAM J. Math. Anal. 16 (1985),
1335-1346.
[8] E.C. Titchmarsh: Introduction to the Theory of Fourier Integrals, Oxford Univ. Press, Oxford,
1948.

View publication stats