Research

Certain unified integrals associated with Bessel functions

Junesang Choi1* and Praveen Agarwal2

Author Affiliations

1 Department of Mathematics, Dongguk University, Gyeongju, Korea

2 Department of Mathematics, Anand International College of Engineering, Jaipur, 303012, India

For all author emails, please log on.

Boundary Value Problems 2013, 2013:95  doi:10.1186/1687-2770-2013-95

 Received: 14 January 2013 Accepted: 5 April 2013 Published: 18 April 2013

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

A remarkably large number of integral formulas involving a variety of special functions have been developed by many authors. Very recently, Ali gave three interesting unified integrals involving the hypergeometric function F 1 2 . Using Ali’s method, in this paper, we present two generalized integral formulas involving the Bessel function of the first kind J ν ( z ) , which are expressed in terms of the generalized (Wright) hypergeometric functions. Some interesting special cases of our main results are also considered.

MSC: 33B20, 33C20, 33B15, 33C05.

Keywords:
Gamma function; hypergeometric function F 1 2 ; generalized hypergeometric function F q p ; generalized (Wright) hypergeometric functions Ψ q p ; Bessel function of the first kind; Oberhettinger’s integral formula; Garg and Mittal’s integral formula

1 Introduction and preliminaries

Integrals involving products of Gamma functions along vertical lines were first studied by Pincherle in 1888 and an extensive theory was developed by Barnes [1] and Mellin [2]. Cahen [3] employed some of these integrals in the study of the Riemann Zeta function and other Dirichlet series. In a spirit of Mellin’s theory, some of Ramanujan’s formulas were generalized by Hardy [[4], p.98]. The work of Pincherle provided an impetus for the subsequent investigations of Barnes [1] and Mellin [2] on the integral representations of solutions of generalized hypergeometric series (see [[5], Chapter 16 and the comment on p.225]). A detailed commentary on Pincherle’s work [6] set against a historical backdrop is available in [7].

Indeed, a remarkably large number of integral formulas involving a variety of special functions have been developed by many authors (see, for example, [8]; for a very recent work, see also [9]). Recently, Garg and Mittal [10] obtained an interesting unified integral involving Fox H-function. Motivated by the work of Garg and Mittal [10], very recently, Ali [11] gave three interesting unified integrals involving the hypergeometric function F 1 2 . Also, many integral formulas involving the Bessel function J ν ( z ) (1.1) have been presented (see, e.g., [[8], pp.196-204]; see also [[12], pp.373-476]). Here, by using Ali’s method [11], we aim at presenting two generalized integral formulas involving the Bessel function of the first kind (1.1), which are expressed in terms of the generalized (Wright) hypergeometric functions (1.4). Some interesting special cases of our main results are also considered.

For our purpose, we begin by recalling some known functions and earlier works. The Bessel function of the first kind J ν ( z ) is defined for z C { 0 } and ν C with ( ν ) > 1 by the following series (see, e.g., [[13], p.217, Entry 10.2.2] and [[12], p.40, Eq. (8)]):

J ν ( z ) = k = 0 ( 1 ) k ( z 2 ) ν + 2 k k ! Γ ( ν + k + 1 ) = ( z / 2 ) ν Γ ( 1 + ν ) 0 F 1 ( ¯ ; 1 + ν ; z 2 4 ) , (1.1)

where F 1 0 is a confluent hypergeometric series of F q p in (1.5), ℂ denotes 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 series F q p (1.5) is due to Fox [15] and Wright [16-18] who studied the asymptotic expansion of the generalized (Wright) hypergeometric function defined by (see [[19], p.21]; see also [20])

Ψ q p [ ( α 1 , A 1 ) , , ( α p , A p ) ; ( β 1 , B 1 ) , , ( β q , B q ) ; z ] = k = 0 j = 1 p Γ ( α j + A j k ) j = 1 q Γ ( β j + B j k ) z k k ! , (1.2)

where the coefficients A 1 , , A p and B 1 , , B q are positive real numbers such that

1 + j = 1 q B j j = 1 p A j 0 . (1.3)

A special case of (1.2) is

Ψ q p [ ( α 1 , 1 ) , , ( α p , 1 ) ; ( β 1 , 1 ) , , ( β q , 1 ) ; z ] = j = 1 p Γ ( α j ) j = 1 q Γ ( β j ) p F q [ α 1 , , α p ; β 1 , , β q ; z ] , (1.4)

where F q p is the generalized hypergeometric series defined by (see [[14], Section 1.5])

F q p [ α 1 , , α p ; β 1 , , β q ; z ] = n = 0 ( α 1 ) n ( α p ) n ( β 1 ) n ( β q ) n z n n ! = F q p ( α 1 , , α p ; β 1 , , β q ; z ) , (1.5)

where ( λ ) n is 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)

and Z 0 denotes the set of nonpositive integers.

For our present investigation, we also need to recall the following Oberhettinger’s integral formula [21]:

0 x μ 1 ( x + a + x 2 + 2 a x ) λ d x = 2 λ a λ ( a 2 ) μ Γ ( 2 μ ) Γ ( λ μ ) Γ ( 1 + λ + μ ) , (1.7)

provided 0 < ( μ ) < ( λ ) .

2 Main results

We establish two generalized integral formulas, which are expressed in terms of the generalized (Wright) hypergeometric functions (1.4), by inserting the Bessel function of the first kind (1.1) with suitable arguments into the integrand of (1.7).

Theorem 1The following integral formula holds true: For λ , μ , ν C with ( ν ) > 1 , 0 < ( μ ) < ( λ + ν ) and x > 0 ,

0 x μ 1 ( x + a + x 2 + 2 a x ) λ J ν ( y x + a + x 2 + 2 a x ) d x = 2 1 ν μ a μ ν λ y ν Γ ( 2 μ ) 2 Ψ 3 [ ( λ μ + ν , 2 ) , ( 1 + λ + ν , 2 ) ; ( ν + 1 , 1 ) , ( 1 + λ + μ + ν , 2 ) , ( λ + ν , 2 ) ; y 2 4 a 2 ] . (2.1)

Theorem 2The following integral formula holds true: For λ , μ , ν C with ( ν ) > 1 , 0 < ( μ ) < ( λ + ν ) and x > 0 ,

0 x μ 1 ( x + a + x 2 + 2 a x ) λ J ν ( x y x + a + x 2 + 2 a x ) d x = 2 1 2 ν μ a μ λ y ν Γ ( λ μ ) 2 Ψ 3 [ ( 2 μ + 2 ν , 4 ) , ( 1 + λ + ν , 2 ) ; ( ν + 1 , 1 ) , ( 1 + λ + μ + 2 ν , 4 ) , ( λ + ν , 2 ) ; y 2 16 ] . (2.2)

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

0 x μ 1 ( x + a + x 2 + 2 a x ) λ J ν ( y x + a + x 2 + 2 a x ) d x = k = 0 ( 1 ) k ( y / 2 ) ν + 2 k k ! Γ ( ν + k + 1 ) 0 x μ 1 ( x + a + x 2 + 2 a x ) λ ν 2 k d x . (2.3)

In view of the conditions given in Theorem 1, since

( ν ) > 1 , 0 < ( μ ) < ( λ + ν ) ( λ + ν + 2 k ) ( k N 0 : = N { 0 } ) ,

we can apply the integral formula (1.7) to the integral in (2.3) and obtain the following expression:

0 x μ 1 ( x + a + x 2 + 2 a x ) λ J ν ( y x + a + x 2 + 2 a x ) d x = 2 1 ν μ a μ ν λ y ν Γ ( 2 μ ) k = 0 ( 1 ) k Γ ( 1 + ν + λ + 2 k ) Γ ( ν + λ μ + 2 k ) k ! Γ ( 1 + ν + k ) Γ ( 1 + ν + λ + μ + 2 k ) Γ ( ν + λ + 2 k ) ( y 2 a ) 2 k ,

which, upon using (1.2), yields (2.1). This completes the proof of Theorem 2. □

It is easy to see that a similar argument as in the proof of Theorem 2 will establish the integral formula (2.2).

Remark We begin by stating the principle of confluence involved in F q p :

F q p 1 ( α 1 , , α p 1 ; β 1 , , β q ; z ) = lim | α p | p F q ( α 1 , , α p ; β 1 , , β q ; z α p ) ( n N ) . (2.4)

In view of this principle of confluence (2.4), for example, replacing y by y / b at the second integral of Ali’s work [[11], Eq. (2.2)] and taking the limit | b | on each side of the resulting identity, we obtain

0 x λ 1 ( x + a + x 2 + 2 a x ) ν 1 F 1 ( a ; c ; y x + a + x 2 + 2 a x ) d x = 2 1 λ ν Γ ( 2 λ ) a λ ν Γ ( ν λ ) Γ ( ν + λ + 1 ) 3 F 3 [ a , ν λ , ν + 1 ; c , ν + λ + 1 , ν ; y a ] , (2.5)

provided 0 < ( λ ) < ( ν ) and | y / a | < 1 . Again, let us try to reduce F 1 1 to F 1 0 in the integrand of (2.5) by using the principle of confluence (2.4). Replacing y by y / a in the F 1 1 of (2.5) and letting | a | in the resulting identity, we easily see that both sides reduce to zero. On the other hand, in view of the last expression of J ν ( z ) in (1.1), we also see that F 1 0 cannot directly generate F 1 2 in the integrals of Ali’s main results [[11], p.152]. Even though, here, the authors make use of the method of Ali’s work [11] (see also [10]), we may carefully conclude that those results in both [11] and this paper do not seem to yield the other ones.

Next, we consider other variations of Theorem 1 and Theorem 2. In fact, we establish some integral formulas for the Bessel function J ν ( z ) expressed in terms of the generalized hypergeometric function F q p . To do this, we recall the well-known Legendre duplication formula for the Gamma function Γ:

π Γ ( 2 z ) = 2 2 z 1 Γ ( z ) Γ ( z + 1 2 ) ( z 0 , 1 2 , 1 , 3 2 , ) , (2.6)

which is equivalently written in terms of the Pochhammer symbol (1.6) as follows (see, for example, [[14], p.6]):

( λ ) 2 n = 2 2 n ( 1 2 λ ) n ( 1 2 λ + 1 2 ) n ( n N 0 ) . (2.7)

Now we are ready to state the following two corollaries.

Corollary 1Let the condition of Theorem 1 be satisfied and μ , λ μ + ν , λ + ν C Z 0 . Then the following integral formula holds true:

(2.8)

Corollary 2Let the condition of Theorem 2 be satisfied and μ + ν , λ + ν , λ ν C Z 0 . Then the following integral formula holds true:

(2.9)

Proof By writing the right-hand side of Eq. (2.1) in the original summation and applying (2.7) to the resulting summation, after a little simplification, we find that, when the last resulting summation is expressed in terms of F q p in (1.5), this completes the proof of Corollary 1. A similar argument as in the proof of Corollary 1 will establish the integral formula (2.9). □

3 Special cases

In this section, we derive certain new integral formulas for the cosine and sine functions involving in the integrands of (2.1) and (2.2). To do this, we recall the following known formula (see, for example, [[22], p.79, Eq. (15)]):

J 1 / 2 ( z ) = 2 π z cos z . (3.1)

By applying the expression in (3.1) to (2.1), (2.2), (2.8) and (2.9), we obtain four integral formulas in Corollaries 3, 4, 5 and 6, respectively.

Corollary 3The following integral formula holds true: For λ , μ C with 0 < ( μ ) < ( λ ) and x > 0 ,

(3.2)

Corollary 4The following integral formula holds true: For λ , μ C with 0 < ( μ ) < ( λ ) and x > 0 ,

0 x μ 1 ( x + a + x 2 + 2 a x ) λ 2 ( x + a + x 2 + 2 a x ) π x y cos ( x y x + a + x 2 + 2 a x ) d x = 2 2 μ a μ λ y 1 2 Γ ( λ μ ) 2 Ψ 3 [ ( 2 μ 1 , 4 ) , ( λ + 1 2 , 2 ) ; ( 1 2 , 1 ) , ( λ + μ , 4 ) , ( λ 1 2 , 2 ) ; y 2 16 ] . (3.3)

If we employ the same method as in getting (2.8) and (2.9) to (3.2) and (3.3), we obtain the following two corollaries.

Corollary 5Let the condition of Corollary 3 be satisfied and λ μ , λ , μ C Z 0 . Then the following integral formula holds true:

(3.4)

Corollary 6Let the condition of Corollary 4 be satisfied and λ μ , λ , μ C Z 0 . Then the following integral formula holds true:

(3.5)

By recalling the following formula (see, for example, [[22], p.79, Eq. (14)]):

J 1 / 2 ( z ) = 2 π z sin z , (3.6)

and applying this formula to (2.1), (2.2), (2.8) and (2.9), we obtain four more integral formulas in Corollaries 7, 8, 9 and 10, respectively.

Corollary 7The following integral formula holds true: For λ , μ C with 0 < ( μ ) < ( λ ) and x > 0 ,

0 x μ 1 ( x + a + x 2 + 2 a x ) λ 2 ( x + a + x 2 + 2 a x ) π y sin ( y x + a + x 2 + 2 a x ) d x = 2 1 2 μ a μ λ 1 2 y 1 2 Γ ( 2 μ ) 2 Ψ 3 [ ( λ μ + 1 2 , 2 ) , ( λ + 3 2 , 2 ) ; ( 3 2 , 1 ) , ( λ + μ + 3 2 , 2 ) , ( λ + 1 2 , 2 ) ; y 2 4 a 2 ] . (3.7)

Corollary 8The following integral formula holds true: For λ , μ C with 0 < ( μ ) < ( λ ) and x > 0 ,

0 x μ 1 ( x + a + x 2 + 2 a x ) λ 2 ( x + a + x 2 + 2 a x ) π x y sin ( x y x + a + x 2 + 2 a x ) d x = 2 μ a μ λ y 1 2 Γ ( λ μ ) 2 Ψ 3 [ ( 2 μ + 1 , 4 ) , ( λ + 3 2 , 2 ) ; ( 3 2 , 1 ) , ( λ + μ + 2 , 4 ) , ( λ + 1 2 , 2 ) ; y 2 16 ] . (3.8)

If we employ the same method as in getting (2.8) and (2.9) to (3.7) and (3.8), we obtain the following two corollaries.

Corollary 9Let the condition of Corollary 7 be satisfied and λ μ , λ , μ C Z 0 . Then the following integral formula holds true:

(3.9)

Corollary 10Let the condition of Corollary 8 be satisfied and λ μ , ν + μ , λ , μ C Z 0 . Then the following integral formula holds true:

(3.10)

4 Concluding remark

In this section, we briefly consider another variation of the results derived in the preceding sections. The Fox H-function due to Charles Fox [15] can be regarded as an extreme generalization of the generalized hypergeometric functions F q p , beyond the Meijer G-functions. Like the Meijer G-functions, the Fox H-functions turn out to be related to the Mellin-Barnes integrals and to the Mellin transforms, but in a more general way. Its asymptotic behavior and other properties of this function can be seen from the works of [23,24] and [25]. Further, it can be easily seen that the Bessel function of the first kind in (1.1) is a special case of the Fox H-function as follows (see [[25], p.2, Eq. (1.1)]):

J ν ( z ) = ( z 2 ) υ H 0 , 2 1 , 0 [ z 2 4 | ¯ ( 0 , 1 ) , ( υ , 1 ) ] ( ( υ ) > 0 ) . (4.1)

Therefore, the results presented in this paper are easily converted in terms of the Fox H-function after some suitable parametric replacement. We are also trying to find certain possible applications of those results presented here to some other research areas, for example, Srivastava and Exton [26] applied their integral involving the product of several Bessel functions to give an explicit expression of a generalized random walk.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors have equal contributions to each part of this paper. All authors have read and approved the final manuscript.

Acknowledgements

Dedicated to Professor Hari M Srivastava.

The authors should express their deepest thanks for the referees’ valuable comments and essential suggestions to improve this paper as in the present form. The first-named author was supported by Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (2010-0011005).

References

1. Barnes, EW: A new development of the theory of the hypergeometric functions. Proc. Lond. Math. Soc.. 6, 141–177 (1908)

2. Mellin, HM: Abriß einer einheitlichen theorie der Gamma und der hypergeometrischen funktionen. Math. Ann.. 68, 305–337 (1910). Publisher Full Text

3. Cahen, E: Sur la fonction ζ ( σ ) de Riemann et sur des fonctions analogues. Ann. Sci. Éc. Norm. Super.. 11, 75–164 (1894). PubMed Abstract | Publisher Full Text

4. Hardy, GH: Collected Papers, Clarendon Press, Oxford (1979)

5. Nielsen, N: Handbuch der Theorie der Gammafunktion, Teubner, Leipzig (1906)

6. Pincherle, S: Sulle funzioni ipergeometriche generalizzate. Nota I-II. Opere Scelte-I, Unione Matematica Italiana, pp. 223–239. Ed. Cremonese, Rome (1954)

7. Mainardi, F, Pagnini, G, Pincherle, S: The pioneer of the Mellin-Barnes integrals. J. Comput. Appl. Math.. 153, 331–342 (2003). Publisher Full Text

8. Brychkov, YA: Handbook of Special Functions: Derivatives, Integrals, Series and Other Formulas, CRC Press, Boca Raton (2008)

9. Choi, J, Hasanov, A, Srivastava, HM, Turaev, M: Integral representations for Srivastava’s triple hypergeometric functions. Taiwan. J. Math.. 15, 2751–2762 (2011)

10. Garg, M, Mittal, S: On a new unified integral. Proc. Indian Acad. Sci. Math. Sci.. 114(2), 99–101 (2003)

11. Ali, S: On some new unified integrals. Adv. Comput. Math. Appl.. 1(3), 151–153 (2012)

12. Watson, GN: A Treatise on the Theory of Bessel Functions, Camdridge University Press, Camdridge (1995)

13. Olver, FWL, Lozier, DW, Boisvert, RF, Clark, CW: NIST Handbook of Mathematical Functions, Cambridge University Press, Cambridge (2010)

14. Srivastava, HM, Choi, J: Zeta and q-Zeta Functions and Associated Series and Integrals, Elsevier, Amsterdam (2012)

15. Fox, C: The asymptotic expansion of generalized hypergeometric functions. Proc. Lond. Math. Soc.. 27, 389–400 (1928)

16. Wright, EM: The asymptotic expansion of the generalized hypergeometric functions. J. Lond. Math. Soc.. 10, 286–293 (1935)

17. Wright, EM: The asymptotic expansion of integral functions defined by Taylor series. Philos. Trans. R. Soc. Lond. A. 238, 423–451 (1940). Publisher Full Text

18. Wright, EM: The asymptotic expansion of the generalized hypergeometric function II. Proc. Lond. Math. Soc.. 46, 389–408 (1940)

19. Srivastava, HM, Karlsson, PW: Multiple Gaussian Hypergeometric Series, Halsted, New York (1985)

20. Rathie, AK: A new generalization of generalized hypergeometric function. Matematiche. LII(II), 297–310 (1997)

21. Oberhettinger, F: Tables of Mellin Transforms, Springer, New York (1974)

22. Erdélyi, A, Magnus, W, Oberhettinger, F, Tricomi, FG: Higher Transcendental Functions, McGraw-Hill, New York (1953)

23. Braaksma, BLJ: Asymptotic expansions and analytic continuations for a class of Barnes-integrals. Compos. Math.. 15, 239–341 (1964)

24. Mathai, AM, Saxena, RK: The H-Function with Applications in Statistics and Other Disciplines, Wiley, New York (1978)

25. Mathai, AM, Saxena, RK, Haubold, HJ: The H-Function: Theory and Application, Springer, New York (2010)

26. Srivastava, HM, Exton, H: A generalization of the Weber-Schafheitlin integral. J. Reine Angew. Math.. 309, 1–6 (1979)