Available online at www.ispacs.com/cna
Volume 2014, Year 2014 Article ID cna-00216, 7 Pages
doi:10.5899/2014/cna-00216
Research Article
On a new class of integrals involving Bessel functions of the
first kind
P. Agarwal1∗, S. Jain2, S. Agarwal3, M. Nagpal3
(1)Department of Mathematics, Anand International College of Engineering, Jaipur-303012, India
(2)Department of Mathematics, Poornima college of Engineering, Jaipur-302029, India
(3)Department Of Mathematics, The IIS University, Gurukul Marg ,Jaipur, India
Copyright 2014 c⃝P. Agarwal, S. Jain, S. Agarwal and M. Nagpal. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abstract
In recent years, several integral formulas involving a variety of special functions have been developed by many au-thors. Also many integral formulas containing the Bessel functionJν(z)have been presented. Very recently, Rakhaet al.presented some generalized integral formulas involving the hypergeometric functions. In this sequel, here, we aim at establishing two generalized integral formulas involving a Bessel functions of the first kind, which are expressed in terms of the generalized Wright hypergeometric function. Some interesting special cases of our main results are also considered.
Keywords:Gamma function, Hypergeometric function2F1, Generalized hypergeometric functionpFq, Generalized (Wright)
hyper-geometric functionspΨq, generalized hypergeometric series, cosine and sine trigonometric functions, Bessel function of the first
kind, Lavoie-Trottier integral formula.
1 Introduction and Preliminaries
Many important functions in applied sciences are defined via improper integrals or series (or infinite products). The general name of these important functions are called special functions. Bessel functions are important special functions and their closely related ones are widely used in physics and engineering; therefore, they are of interest to physicists and engineers as well as mathematicians. In recent years, numerous integral formulas involving a variety of special functions have been developed by many authors (see, e.g., [3, 7, 11]; for a very recent work, see also [12]). Also many integral formulas associated with the Bessel functions of several kinds have been presented (see, e.g., [3, 5, 6, 17]; see also [4]). Those integrals involving Bessel functions are not only of great interest to the pure mathe-matics, but they are often of extreme importance in many branches of theoretical and applied physics and engineering. Several methods for evaluating infinite or finite integrals involving Bessel functions have been known (see, e.g.,[1] and [11]). However, these methods usually work on a case-by-case basis.
Very recently, Rakhaet al. [12] gave certain interesting new class of integral formulas involving the hypergeometric function, which are expressed in terms of the gamma functions. In the present sequel to the aforementioned investiga-tions, we present two generalized integral formulas involving a Bessel functions of the first kind, which are expressed in terms of the generalized Wright hypergeometric function. Some interesting special cases and (potential) usefulness
of our main results are also considered and remarked, respectively.
For our purpose, we begin by recalling some known functions and earlier works. The Bessel function of the first kind Jν(z)is defined forz∈C\{0}andν∈Cwithℜ(ν)>−1 by the following series (see, for example, [11, p. 217,Entry 10.2.2] and [17, p. 40, Eq. (8)]):
Jν(z) = ∞
∑
k=0
(−1)k(z 2
)ν+2k
k!Γ(ν+k+1), (1.1)
whereCdenotes the set of complex numbers andΓ(z)is the familiar Gamma function (see [14, Section 1.1]). An interesting further generalization of the generalized hypergeometric seriespFq(1.5) is due to Fox [9] and Wright [18, 19, 20] who studied the asymptotic expansion of the generalized (Wright) hypergeometric function defined by (see [16, p. 21])
pΨq [
(α1,A1), . . . ,(αp,Ap);
(β1,B1), . . . ,(βq,Bq); z
] =
∞
∑
k=0
∏pj=1Γ(αj+Ajk)
∏qj=1Γ(βj+Bjk) zk
k!, (1.2)
where the coefficientsA1, . . . ,ApandB1, . . . ,Bqare positive real numbers such that
1+
q
∑
j=1 Bj−
p
∑
j=1
Aj≧0. (1.3)
A special case of (1.2) is
pΨq [
(α1,1), . . . ,(αp,1);
(β1,1), . . . ,(βq,1); z
] =∏
p
j=1Γ(αj)
∏qj=1Γ(βj) pFq
[
α1, . . . ,αp;
β1, . . . ,βq; z
]
, (1.4)
wherepFqis thegeneralized hypergeometric seriesdefined by (see [14, Section 1.5])
pFq [
α1, . . . ,αp;
β1, . . . ,βq; z
] =
∞
∑
n=0
(α1)n···(αp)n
(β1)n···(βq)n zn n!
=pFq(α1, . . . ,αp;β1, . . . ,βq;z),
(1.5)
where(λ)nis the Pochhammer symbol defined (forλ ∈C) by (see [14, p. 2 and pp. 4–6]):
(λ)n:= {
1 (n=0)
λ(λ+1). . .(λ+n−1) (n∈N:={1,2,3, . . .})
=Γ(λ+n)
Γ(λ) (λ∈C\Z−0)
(1.6)
andZ−0 denotes the set of nonpositive integers.
For our present investigation, we also need to recall the following Lavoie and Trottier integral formula [10]:
∫ 1
0
xα−1(1−x)2β−1(1−x 3
)2α−1( 1−x
4 )β−1
dx
= (
2 3
)2α
Γ(α)Γ(β)
Γ(α+β), (ℜ(α)>0andℜ(β)>0).
(1.7)
2 Main Results
Theorem 2.1. The following integral formula holds true: Forρ,j,ν∈Cwithℜ(ν)>−1,ℜ(ρ+j)>0,ℜ(ρ+ν)>
0and x>0,
∫ 1
0
xρ+j−1(1−x)2ρ−1(1−x 3
)2(ρ+j)−1( 1−x
4 )ρ−1
Jν (
y(1−x 4 )
(1−x)2)dx
= (
2 3
)2(ρ+j) (y
2 )ν
Γ(ρ+j)·1Ψ2 [
(ρ+ν,1);
(ν+1,1),(2ρ+j+ν,2);− y2
4 ]
.
(2.1)
Proof. By applying (1.1) to the integrand of (2.1) and then interchanging the order of integral sign and summation, which is verified by uniform convergence of the involved series under the given conditions, we get
∫ 1
0
xρ+j−1(1−x)2ρ−1(1−x 3
)2(ρ+j)−1( 1−x
4 )ρ−1
Jν (
y(1−x 4 )
(1−x)2)dx
=
∞
∑
k=0
(−1)k (y/2)ν+2k k!Γ(ν+k+1)
∫ 1
0
xρ+j−1(1−x)2(ρ+ν+2k)−1
( 1−x
3
)2(ρ+j)−1( 1−x
4
)ρ+ν+2k−1 dx.
(2.2)
In view of the conditions given in Theorem 2.1, since
ℜ(ν)>−1, ℜ(ρ+ν+2k)>ℜ(ρ+ν)>0,ℜ(ρ+j)>0(k∈N0:=N∪ {0}),
we can apply the integral formula (1.7) to the integral in (2.2) and obtain the following expression:
∫ 1
0
xρ+j−1(1−x)2ρ−1(1−x 3
)2(ρ+j)−1( 1−x
4 )ρ−1
Jν (
y(1−x 4 )
(1−x)2)dx
= (
2 3
)2(ρ+j) (y
2 )ν
Γ(ρ+j)· ∞
∑
k=0
(−1)kΓ(ρ+ν+2k) k!Γ(1+ν+k)Γ(2ρ+j+ν+2k)
(y 2
)2k
,
which, upon using (1.2), yields (2.1). This completes the proof of Theorem 2.1.
Theorem 2.2. The following integral formula holds true: Forρ,j,ν∈Cwithℜ(ν)>−1,ℜ(ρ+j)>0,ℜ(ρ+ν)>
0and x>0,
∫ 1
0
xρ−1(1−x)2(ρ+j)−1(1−x 3
)2ρ−1( 1−x
4
)(ρ+j)−1 Jν
(
y x(1−x 3
)2) dx
= (
2 3
)2(ρ+ν) (y
2 )ν
Γ(ρ+j)·1Ψ2 [
(ρ+ν,2);
(ν+1,1),(2ρ+j+ν,2); − (
4y 9
)2]
.
(2.3)
Proof. It is easy to see that a similar argument as in the proof of Theorem 2.1 will establish the integral formula (2.3). Therefore, we omit the details of the proof of this theorem.
Next we consider other variations of Theorems 2.1 and 2.2. In fact, we establish some integral formulas for the Bessel functionJν(z)expressed in terms of the generalized hypergeometric functionpFq. To do this, we recall the well-known Legendre duplication formula for the Gamma functionΓ:
√
πΓ(2z) =22z−1Γ(z)Γ
( z+1
2 ) (
z̸=0,−1 2,−1,−
3 2,···
)
, (2.4)
which is equivalently written in terms of the Pochhammer symbol (1.6) as follows (see, for example, [14, p. 6]):
(λ)2n=22n (
1 2λ
)
n (
1 2λ+
1 2
)
n
(n∈N0). (2.5)
Corollary 2.1. Let the condition of Theorem 2.1 be satisfied andρ+j,ρ+ν∈C\Z−
0. Then the following integral formula holds true:
∫ 1
0
xρ+j−1(1−x)2ρ−1(1−x 3
)2(ρ+j)−1( 1−x
4 )ρ−1
Jν (
y(1−x 4 )
(1−x)2)dx
= (
2 3
)2(ρ+j)(y 2
)ν Γ(ρ+j)Γ(ρ+ν)
Γ(2ρ+j+ν)Γ(ν+1)
·2F3
(ρ+ν
2 )
,
(ρ+ν+ 1 2
) ;
(ν+1),
(
2ρ+ν+j 2
)
,
(
2ρ+ν+j+1 2
) ;
−y 2
4
.
(2.6)
Corollary 2.2. Let the condition of Theorem 2.2 be satisfied andρ+j,ρ+ν∈C\Z−
0. Then the following integral formula holds true:
∫ 1
0
xρ−1(1−x)2(ρ+j)−1(1−x 3
)2ρ−1( 1−x
4
)(ρ+j)−1 Jν
(
y x(1−x 3
)2) dx
= (
2 3
)2(ρ+ν)(y
2
)ν Γ(ρ+j)Γ(ρ+ν)
Γ(2ρ+j+ν)Γ(ν+1)
·2F3
(ρ+ν
2 )
,
(
ρ+ν+1 2
) ;
(ν+1),
(
2ρ+ν+j 2
)
,
(
2ρ+ν+j+1 2
) ;
− (
4y 9
)2
.
(2.7)
Proof. By writing the right-hand side of Equation (2.1) in the original summation and applying (2.5) to the resulting summation, after a little simplification, we find that, when the last resulting summation is expressed in terms ofpFq in (1.5), this completes the proof of Corollary 2.1. Similarly, it is easy to see that a similar argument as in proof of Corollary 2.1 will establish the integral formula (2.7). Therefore, we omit the details of the proof of Corollary 2.2.
3 Special Cases
In this section, we derive certain new integral formulas for the cosine and sine functions involving in the integrand (2.1) and (2.3), respectively. To do this, we recall the following known formula (see, for example, [8, p. 79, Eq. (15)]):
J−1/2(z) = √
2
πzcosz. (3.1)
By applying the expression in (3.1) to (2.1), (2.3), (2.6) and (2.7), we obtain four integral formulas in Corollaries 3.1, 3.2, 3.3 and 3.4, respectively.
Corollary 3.1. The following integral formula holds true:ρ, j∈Cwithℜ(2ρ+j)>1
2,ℜ(ρ)> 1
2and x>0,
∫ 1
0
xρ+j−1(1−x)2(ρ−1)(1−x 3
)2(ρ+j)−1( 1−x
4 )ρ−32
·cos(y(1−x 4 )
(1−x)2)dx
=√π (
2 3
)2(ρ+j)
Γ(ρ+j)·1Ψ2
( ρ−1
2,1 )
;
( 1 2,1
)
,
(
2ρ+j−1 2,2
) ;
−y 2
4
.
Corollary 3.2. The following integral formula holds true:ρ, j∈Cwithℜ(2ρ+j)>1
2,ℜ(ρ)> 1
2and x>0,
∫ 1
0
xρ−1(1−x)2(ρ+j)−1(1−x 3
)2ρ−1( 1−x
4
)(ρ+j)−1 cos
(
y x(1−x 3
)2) dx
=√2π (
2 3
)2ρ−1
Γ(ρ+j)·1Ψ2
( ρ−1
2,1 )
;
( 1 2,1
)
,
(
2ρ+j−1 2,2
) ; − ( 4y 9 )2 . (3.3)
If we employ the same method as in getting(2.6)and(2.7)to(3.2)and(3.3), we obtain the following two corollaries.
Corollary 3.3. Let the condition of Corollary 3.1 be satisfied andρ+j,ρ∈C\Z−
0. Then the following integral formula holds true.
∫ 1
0
xρ+j−1(1−x)2(ρ−1)(1−x 3
)2(ρ+j)−1( 1−x
4 )ρ−32
·cos(y(1−x 4 )
(1−x)2)dx
= (
2 3
)2(ρ+j) Γ(ρ+j)Γ(2ρ−1 2 )
Γ(4ρ+22j−1) 2F3
( 2ρ−1
4 )
,
( 2ρ+1
4 ) ; ( 1 2 ) , (
4ρ+2j−1 4
)
,
(
4ρ+2j+1 4 ) ; −y 2 4 . (3.4)
Corollary 3.4. Let the condition of Corollary 3.2 be satisfied andρ+j,ρ∈C\Z−
0. Then the following integral formula holds true.
∫ 1
0
xρ−1(1−x)2(ρ+j)−1(1−x 3
)2ρ−1( 1−x
4
)(ρ+j)−1 cos
(
y x(1−x 3
)2) dx
=√2 (
2 3
)2(ρ−1) Γ(ρ+j)Γ(2ρ−1 2 )
Γ(4ρ+22j−1)
·2F3
( 2ρ−1
4 )
,
( 2ρ+1
4 ) ; ( 1 2 ) , (
4ρ+2j−1 4
)
,
(
4ρ+2j+1 4 ) ; − ( 4y 9 )2 . (3.5)
By recalling the following formula (see, for example, [8, p. 79, Eq. (14)]):
J1/2(z) = √
2
πzsinz, (3.6)
and applying this formula to (2.1), (2.3), (2.6) and (2.7) we obtain four more integral formulas in Corollaries 3.5 to 3.8, respectively.
Corollary 3.5. The following integral formula holds true:ρ, j∈Cwithℜ(2ρ+j)>1
2,ℜ(ρ)>− 1
2and x>0,
∫ 1
0
xρ+j−1(1−x)2(ρ−1)(1−x 3
)2(ρ+j)−1( 1−x
4 )ρ−32
sin(y(1−x 4 )
(1−x)2)dx
= (
2 3
)2(ρ+j) √
(π)Γ(ρ+j)y 2 ·1Ψ2
( ρ+1
2,1 )
;
( 3 2,1
)
,
(
2ρ+j+1
Corollary 3.6. The following integral formula holds true:ρ, j∈Cwithℜ(2ρ+j)>1
2,ℜ(ρ)>− 1
2and x>0,
∫ 1
0
xρ−32 (1−x)2(ρ+j)−1
( 1−x
3
)2(ρ−1)( 1−x
4
)(ρ+j)−1 sin
(
y x(1−x 3
)2) dx
=y
3 (
2 3
)2ρ√
πΓ(ρ+j)·1Ψ2
( ρ+1
2,1 )
;
( 3 2,1
)
,
(
2ρ+j+1
2,2 )
; −
( 4y
9 )2
.
(3.8)
Corollary 3.7. Let the condition of Corollary 3.1 be satisfied andρ+j,ρ∈C\Z−
0. Then the following integral formula holds true.
∫ 1
0
xρ+j−1(1−x)2(ρ−1)(1−x 3
)2(ρ+j)−1( 1−x
4 )ρ−32
sin(y(1−x 4 )
(1−x)2)dx
= (
2 3
)2(ρ+j) Γ(ρ+j)Γ(2ρ+1 2 )
Γ(4ρ+22j+1) 2F3
( 2ρ+1
4 )
,
( 2ρ+3
4 )
;
( 3 2
)
,
(
4ρ+2j+1 4
)
,
(
4ρ+2j+3 4
) ;
−y 2
4
.
(3.9)
Corollary 3.8. Let the condition of Corollary 3.2 be satisfied andρ+j,ρ∈C\Z−
0. Then the following integral formula holds true.
∫ 1
0
xρ−32 (1−x)2(ρ+j)−1
( 1−x
3
)2(ρ−1)( 1−x
4
)(ρ+j)−1 sin
(
y x(1−x 3
)2) dx
=2y
3 (
2 3
)2ρ Γ(ρ+j)Γ(2ρ+1 2 )
Γ(4ρ+22j+1) 2F3
( 2ρ+1
4 )
,
( 2ρ+3
4 )
;
( 3 2
)
,
(
4ρ+2j+1 4
)
,
(
4ρ+2j+3 4
) ;
− (
4y 9
)2
.
(3.10)
4 Concluding Remark
Here we briefly consider another variation of the results derived in the preceding sections. Bessel functions are important special functions that arise widely in science and engineering. Certain special cases of integrals involving the Bessel functions of the first kindJν(z)of the type (2.1) have been investigated in the literature by a number of authors with different arguments (see, for example, [2, 13] and [15]). Therefore, the results presented in this paper are easily converted in terms of a similar type of new interesting integrals with different arguments after some suitable parametric replacements.
Acknowledgement
The authors are grateful to the anonymous referees for their comments which substantially improved the quality of this paper.
References
[1] M. Abramowitz, I. A. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, Tenth Printing, National Bu- reau of Standards, Applied Mathematics Series 55, National Bureau of Stan- dards, Washington, D.C., 1972; Reprinted by Dover Publications, New York, (1965).
[3] Y. A. Brychkov, Handbook of Special Functions, Derivatives, Integrals, Series and Other Formulas, CRC Press, Taylor and Francis Group, Boca Raton, London, and New York, (2008).
[4] J. Choi , Praveen Agarwal, S. Mathur, S. D. Purohit, Certain new integral formulas involving the generalized Bessel functions, Bull. Korean Math. Soc, (2013).
[5] J. Choi, P. Agarwal, Certain unified integrals involving a product of Bessel functions of the first kind, Honam Mathematical J, 35 (4) (2013) 667-677.
http://dx.doi.org/10.5831/HMJ.2013.35.4.667
[6] J. Choi, P. Agarwal, Certain Unified Integrals Associated with Bessel Functions, Boundary Value Problems, 2013 (2013) 95.
http://dx.doi.org/10.1186/1687-2770-2013-95
[7] J. Choi, A. Hasanov, H. M. Srivastava, M. Turaev, Integral representations for Srivastava’s triple hypergeometric functions, Taiwanese J. Math, 15 (2011) 2751-2762.
[8] A. Erd´elyi, W. Magnus, F. Oberhettinger, F. G. Tricomi, Higher Transcendental Functions, McGraw-Hill Book Company, New York, Toronto, and London, II (1953).
[9] C. Fox, The asymptotic expansion of generalized hypergeometric functions, Proc. London Math. Soc, 27 (2) (1928) 389-400.
http://dx.doi.org/10.1112/plms/s2-27.1.389
[10] J. L. Lavoie, G. Trottier, On the sum of certain Appell’s series, Ganita, 20 (1) (1969) 31-32.
[11] F. W. L. Olver, D. W. Lozier, R. F. Boisvert, C. W. Clark, NIST Handbook of Mathematical Functions, Cam-bridge University Press, (2010).
[12] M. A. Rakha, A. K. Rathie, M. P. Chaudhary, S. ALI, On A New Class of integrals involving hypergeometric function, Journal of Inequalities and Special Functions, 3 (1) (2012) 10-27.
[13] S. O. Rice, On contour integrals for the product of two Bessel functions, Quart. J. Math. Oxford Ser, 6 (1935) 52-64.
http://dx.doi.org/10.1093/qmath/os-6.1.52
[14] H. M. Srivastava, J. Choi, Zeta andq-Zeta Functions and Associated Series and Integrals, Elsevier Science Publishers, Amsterdam, London and New York, (2012).
[15] H. M. Srivastava, H. Exton, A generalization of the Weber-Schafheitlin integral, J. Reine Angew. Math, 309 (1979) 1-6.
http://dx.doi.org/10.1515/crll.1979.309.1
[16] H. M. Srivastava, P. W. Karlsson, Multiple Gaussian Hypergeometric Series, Halsted Press (Ellis Horwood Limited, Chichester), John Wiley and Sons, New York, Chichester, Brisbane, and Toronto, (1985).
[17] G. N. Watson, A Treatise on the Theory of Bessel Functions, Cambridge Mathematical Library edition, Cam-dridge University Press, 1995, Reprinted 1996.
[18] E. M. Wright, The asymptotic expansion of the generalized hypergeometric functions, J. London Math. Soc, 10 (1935) 286-293.
[19] E. M. Wright, The asymptotic expansion of integral functions defined by Taylor series, Philos. Trans. Roy. Soc. London, A 238 (1940) 423-451.
http://dx.doi.org/10.1098/rsta.1940.0002
[20] E. M. Wright, The asymptotic expansion of the generalized hypergeometric function II, Proc. London Math. Soc, 46 (2) (1940) 389-408.
