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 . Using Ali’s method, in this paper, we present two generalized integral formulas involving the Bessel function of the first kind , 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.
Similar content being viewed by others
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 . Also, many integral formulas involving the Bessel function (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 is defined for and with by the following series (see, e.g., [[13], p.217, Entry 10.2.2] and [[12], p.40, Eq. (8)]):
where is a confluent hypergeometric series of in (1.5), ℂ denotes the set of complex numbers and is the familiar Gamma function (see [[14], Section 1.1]).
An interesting further generalization of the generalized hypergeometric series (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])
where the coefficients and are positive real numbers such that
A special case of (1.2) is
where is the generalized hypergeometric series defined by (see [[14], Section 1.5])
where is the Pochhammer symbol defined (for ) by (see [[14], p.2 and pp.4-6]):
and denotes the set of nonpositive integers.
For our present investigation, we also need to recall the following Oberhettinger’s integral formula [21]:
provided .
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 with , and ,
Theorem 2 The following integral formula holds true: For with , and ,
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
In view of the conditions given in Theorem 1, since
we can apply the integral formula (1.7) to the integral in (2.3) and obtain the following expression:
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 :
In view of this principle of confluence (2.4), for example, replacing y by at the second integral of Ali’s work [[11], Eq. (2.2)] and taking the limit on each side of the resulting identity, we obtain
provided and . Again, let us try to reduce to in the integrand of (2.5) by using the principle of confluence (2.4). Replacing y by in the of (2.5) and letting in the resulting identity, we easily see that both sides reduce to zero. On the other hand, in view of the last expression of in (1.1), we also see that cannot directly generate 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 expressed in terms of the generalized hypergeometric function . To do this, we recall the well-known Legendre duplication formula for the Gamma function Γ:
which is equivalently written in terms of the Pochhammer symbol (1.6) as follows (see, for example, [[14], p.6]):
Now we are ready to state the following two corollaries.
Corollary 1 Let the condition of Theorem 1 be satisfied and . Then the following integral formula holds true:
Corollary 2 Let the condition of Theorem 2 be satisfied and . Then the following integral formula holds true:
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 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)]):
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 with and ,
Corollary 4 The following integral formula holds true: For with and ,
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 . Then the following integral formula holds true:
Corollary 6 Let the condition of Corollary 4 be satisfied and . Then the following integral formula holds true:
By recalling the following formula (see, for example, [[22], p.79, Eq. (14)]):
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 with and ,
Corollary 8 The following integral formula holds true: For with and ,
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 . Then the following integral formula holds true:
Corollary 10 Let the condition of Corollary 8 be satisfied and . Then the following integral formula holds true:
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 , 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)]):
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.
References
Barnes EW: A new development of the theory of the hypergeometric functions. Proc. Lond. Math. Soc. 1908, 6: 141-177.
Mellin HM: Abriß einer einheitlichen theorie der Gamma und der hypergeometrischen funktionen. Math. Ann. 1910, 68: 305-337. 10.1007/BF01475775
Cahen E:Sur la fonction de Riemann et sur des fonctions analogues. Ann. Sci. Éc. Norm. Super. 1894, 11: 75-164.
Hardy GH VII. In Collected Papers. Clarendon Press, Oxford; 1979.
Nielsen N: Handbuch der Theorie der Gammafunktion. Teubner, Leipzig; 1906.
Pincherle S: Sulle funzioni ipergeometriche generalizzate. Nota I-II. In Opere Scelte-I, Unione Matematica Italiana. Ed. Cremonese, Rome; 1954:223-239.
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-X
Brychkov YA: Handbook of Special Functions: Derivatives, Integrals, Series and Other Formulas. CRC Press, Boca Raton; 2008.
Choi J, Hasanov A, Srivastava HM, Turaev M: Integral representations for Srivastava’s triple hypergeometric functions. Taiwan. J. Math. 2011, 15: 2751-2762.
Garg M, Mittal S: On a new unified integral. Proc. Indian Acad. Sci. Math. Sci. 2003, 114(2):99-101.
Ali S: On some new unified integrals. Adv. Comput. Math. Appl. 2012, 1(3):151-153.
Watson GN Cambridge Mathematical Library Edition. In A Treatise on the Theory of Bessel Functions. Camdridge University Press, Camdridge; 1995. Reprinted (1996)
Olver FWL, Lozier DW, Boisvert RF, Clark CW: NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge; 2010.
Srivastava HM, Choi J: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam; 2012.
Fox C: The asymptotic expansion of generalized hypergeometric functions. Proc. Lond. Math. Soc. 1928, 27: 389-400.
Wright EM: The asymptotic expansion of the generalized hypergeometric functions. J. Lond. Math. Soc. 1935, 10: 286-293.
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.0002
Wright EM: The asymptotic expansion of the generalized hypergeometric function II. Proc. Lond. Math. Soc. 1940, 46: 389-408.
Srivastava HM, Karlsson PW: Multiple Gaussian Hypergeometric Series. Halsted, New York; 1985.
Rathie AK: A new generalization of generalized hypergeometric function. Matematiche 1997, LII(II):297-310.
Oberhettinger F: Tables of Mellin Transforms. Springer, New York; 1974.
Erdélyi A, Magnus W, Oberhettinger F, Tricomi FG II. In Higher Transcendental Functions. McGraw-Hill, New York; 1953.
Braaksma BLJ: Asymptotic expansions and analytic continuations for a class of Barnes-integrals. Compos. Math. 1964, 15: 239-341.
Mathai AM, Saxena RK: The H-Function with Applications in Statistics and Other Disciplines. Wiley, New York; 1978.
Mathai AM, Saxena RK, Haubold HJ: The H-Function: Theory and Application. Springer, New York; 2010.
Srivastava HM, Exton H: A generalization of the Weber-Schafheitlin integral. J. Reine Angew. Math. 1979, 309: 1-6.
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).
Author information
Authors and Affiliations
Corresponding author
Additional information
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.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Choi, J., Agarwal, P. Certain unified integrals associated with Bessel functions. Bound Value Probl 2013, 95 (2013). https://doi.org/10.1186/1687-2770-2013-95
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-2770-2013-95