Open Access

Certain unified integrals associated with Bessel functions

Boundary Value Problems20132013:95

DOI: 10.1186/1687-2770-2013-95

Received: 14 January 2013

Accepted: 5 April 2013

Published: 18 April 2013

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 [1618] 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 1 The 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 2 The 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 1 Let the condition of Theorem  1 be satisfied and μ , λ μ + ν , λ + ν C Z 0 . Then the following integral formula holds true:
https://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-95/MediaObjects/13661_2013_Article_342_Equ15_HTML.gif
(2.8)
Corollary 2 Let the condition of Theorem  2 be satisfied and μ + ν , λ + ν , λ ν C Z 0 . Then the following integral formula holds true:
https://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-95/MediaObjects/13661_2013_Article_342_Equ16_HTML.gif
(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 3 The following integral formula holds true: For λ , μ C with 0 < ( μ ) < ( λ ) and x > 0 ,
https://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-95/MediaObjects/13661_2013_Article_342_Equ18_HTML.gif
(3.2)
Corollary 4 The 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 5 Let the condition of Corollary  3 be satisfied and λ μ , λ , μ C Z 0 . Then the following integral formula holds true:
https://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-95/MediaObjects/13661_2013_Article_342_Equ20_HTML.gif
(3.4)
Corollary 6 Let the condition of Corollary  4 be satisfied and λ μ , λ , μ C Z 0 . Then the following integral formula holds true:
https://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-95/MediaObjects/13661_2013_Article_342_Equ21_HTML.gif
(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 7 The 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 8 The 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 9 Let the condition of Corollary  7 be satisfied and λ μ , λ , μ C Z 0 . Then the following integral formula holds true:
https://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-95/MediaObjects/13661_2013_Article_342_Equ25_HTML.gif
(3.9)
Corollary 10 Let the condition of Corollary  8 be satisfied and λ μ , ν + μ , λ , μ C Z 0 . Then the following integral formula holds true:
https://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-95/MediaObjects/13661_2013_Article_342_Equ26_HTML.gif
(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.

Declarations

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).

Authors’ Affiliations

(1)
Department of Mathematics, Dongguk University
(2)
Department of Mathematics, Anand International College of Engineering

References

  1. Barnes EW: A new development of the theory of the hypergeometric functions. Proc. Lond. Math. Soc. 1908, 6: 141-177.View ArticleGoogle Scholar
  2. Mellin HM: Abriß einer einheitlichen theorie der Gamma und der hypergeometrischen funktionen. Math. Ann. 1910, 68: 305-337. 10.1007/BF01475775MathSciNetView ArticleGoogle Scholar
  3. Cahen E:Sur la fonction ζ ( σ ) de Riemann et sur des fonctions analogues. Ann. Sci. Éc. Norm. Super. 1894, 11: 75-164.MathSciNetGoogle Scholar
  4. Hardy GH VII. In Collected Papers. Clarendon Press, Oxford; 1979.Google Scholar
  5. Nielsen N: Handbuch der Theorie der Gammafunktion. Teubner, Leipzig; 1906.Google Scholar
  6. Pincherle S: Sulle funzioni ipergeometriche generalizzate. Nota I-II. In Opere Scelte-I, Unione Matematica Italiana. Ed. Cremonese, Rome; 1954:223-239.Google Scholar
  7. Mainardi F, Pagnini G, Pincherle S: The pioneer of the Mellin-Barnes integrals. J. Comput. Appl. Math. 2003, 153: 331-342. 10.1016/S0377-0427(02)00609-XMathSciNetView ArticleGoogle Scholar
  8. Brychkov YA: Handbook of Special Functions: Derivatives, Integrals, Series and Other Formulas. CRC Press, Boca Raton; 2008.Google Scholar
  9. Choi J, Hasanov A, Srivastava HM, Turaev M: Integral representations for Srivastava’s triple hypergeometric functions. Taiwan. J. Math. 2011, 15: 2751-2762.MathSciNetGoogle Scholar
  10. Garg M, Mittal S: On a new unified integral. Proc. Indian Acad. Sci. Math. Sci. 2003, 114(2):99-101.MathSciNetView ArticleGoogle Scholar
  11. Ali S: On some new unified integrals. Adv. Comput. Math. Appl. 2012, 1(3):151-153.Google Scholar
  12. Watson GN Cambridge Mathematical Library Edition. In A Treatise on the Theory of Bessel Functions. Camdridge University Press, Camdridge; 1995. Reprinted (1996)Google Scholar
  13. Olver FWL, Lozier DW, Boisvert RF, Clark CW: NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge; 2010.Google Scholar
  14. Srivastava HM, Choi J: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam; 2012.Google Scholar
  15. Fox C: The asymptotic expansion of generalized hypergeometric functions. Proc. Lond. Math. Soc. 1928, 27: 389-400.View ArticleGoogle Scholar
  16. Wright EM: The asymptotic expansion of the generalized hypergeometric functions. J. Lond. Math. Soc. 1935, 10: 286-293.Google Scholar
  17. Wright EM: The asymptotic expansion of integral functions defined by Taylor series. Philos. Trans. R. Soc. Lond. A 1940, 238: 423-451. 10.1098/rsta.1940.0002View ArticleGoogle Scholar
  18. Wright EM: The asymptotic expansion of the generalized hypergeometric function II. Proc. Lond. Math. Soc. 1940, 46: 389-408.View ArticleGoogle Scholar
  19. Srivastava HM, Karlsson PW: Multiple Gaussian Hypergeometric Series. Halsted, New York; 1985.Google Scholar
  20. Rathie AK: A new generalization of generalized hypergeometric function. Matematiche 1997, LII(II):297-310.MathSciNetGoogle Scholar
  21. Oberhettinger F: Tables of Mellin Transforms. Springer, New York; 1974.View ArticleGoogle Scholar
  22. Erdélyi A, Magnus W, Oberhettinger F, Tricomi FG II. In Higher Transcendental Functions. McGraw-Hill, New York; 1953.Google Scholar
  23. Braaksma BLJ: Asymptotic expansions and analytic continuations for a class of Barnes-integrals. Compos. Math. 1964, 15: 239-341.MathSciNetGoogle Scholar
  24. Mathai AM, Saxena RK: The H-Function with Applications in Statistics and Other Disciplines. Wiley, New York; 1978.Google Scholar
  25. Mathai AM, Saxena RK, Haubold HJ: The H-Function: Theory and Application. Springer, New York; 2010.View ArticleGoogle Scholar
  26. Srivastava HM, Exton H: A generalization of the Weber-Schafheitlin integral. J. Reine Angew. Math. 1979, 309: 1-6.MathSciNetGoogle Scholar

Copyright

© Choi and Agarwal; licensee Springer. 2013

This article is published under license to BioMed Central Ltd. 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.