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.
Keywords:
Gamma function; hypergeometric function ; generalized hypergeometric function ; generalized (Wright) hypergeometric functions ; Bessel function of the first kind; Oberhettinger’s integral formula; Garg and Mittal’s integral formula1 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 Hfunction. 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.196204]; see also [[12], pp.373476]). 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 [1618] 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.46]):
and denotes the set of nonpositive integers.
For our present investigation, we also need to recall the following Oberhettinger’s integral formula [21]:
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: Forwith, and,
Theorem 2The following integral formula holds true: Forwith, 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 wellknown 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 1Let the condition of Theorem 1 be satisfied and. Then the following integral formula holds true:
Corollary 2Let the condition of Theorem 2 be satisfied and. Then the following integral formula holds true:
Proof By writing the righthand 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 3The following integral formula holds true: Forwithand,
Corollary 4The following integral formula holds true: Forwithand,
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. Then the following integral formula holds true:
Corollary 6Let 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 7The following integral formula holds true: Forwithand,
Corollary 8The following integral formula holds true: Forwithand,
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. Then the following integral formula holds true:
Corollary 10Let 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 Hfunction due to Charles Fox [15] can be regarded as an extreme generalization of the generalized hypergeometric functions , beyond the Meijer Gfunctions. Like the Meijer Gfunctions, the Fox Hfunctions turn out to be related to the MellinBarnes 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 Hfunction as follows (see [[25], p.2, Eq. (1.1)]):
Therefore, the results presented in this paper are easily converted in terms of the Fox Hfunction 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 firstnamed author was supported by Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (20100011005).
References

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

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

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

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

Pincherle, S: Sulle funzioni ipergeometriche generalizzate. Nota III. Opere ScelteI, Unione Matematica Italiana, pp. 223–239. Ed. Cremonese, Rome (1954)

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

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.. 15, 2751–2762 (2011)

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

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

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

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

Srivastava, HM, Choi, J: Zeta and qZeta Functions and Associated Series and Integrals, Elsevier, Amsterdam (2012)

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

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

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

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

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

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

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

Erdélyi, A, Magnus, W, Oberhettinger, F, Tricomi, FG: Higher Transcendental Functions, McGrawHill, New York (1953)

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

Mathai, AM, Saxena, RK: The HFunction with Applications in Statistics and Other Disciplines, Wiley, New York (1978)

Mathai, AM, Saxena, RK, Haubold, HJ: The HFunction: Theory and Application, Springer, New York (2010)

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