1. Introduction
Mathematical and physical applications of the generalized hypergeometric functions are abundant in the existing literature (see [1] (Sections 16.23 and 16.24) and the references therein). For instance, a variety of problems in classical mechanics and mathematical physics lead to Picard–Fuchs equations, which are frequently solvable in terms of generalized hypergeometric functions [2]. As a consequence, the calculation of generalized hypergeometric functions for particular values of the parameters , and the argument z in terms of other special or elementary functions is of great interest. These reduction formulas are found in several compilations of the existing literature, such as those provided by Luke [3] (Sections 6.2 and 6.3) and Prudnikov et al. [4] (Chapter 7). A revision, as well as an extension of the tables presented by Prudnikov et al., was carried out by Krupnikov and Kölbig in [5]. More recently, Brychov [6] (Chapter 8) compiled new representations of hypergeometric functions. However, the number of papers devoted to the calculation of reduction formulas of for arbitrary argument z are relatively scarce (see, e.g., [7,8]), because there are many more papers devoted to the calculation of representations of for particular values of z, such as [9,10] for ; [11,12] for ; and [13] for .
The goal of the present note is to fill this gap by calculating some reduction formulas of the function for an arbitrary z in terms of elementary functions, as well as incomplete beta functions. As corollaries, we will obtain reduction formulas of these functions for in terms of elementary functions, as well as beta functions.
This paper is organized as follows: In Section 2, we present some basic definitions and properties that we will use throughout the paper. In Section 3, we derive some n-th derivative formulas that we will apply in Section 4 for the calculation of the reduction formulas mentioned above. Finally, we collect our conclusions in Section 5.
2. Preliminaries
The gamma function is usually defined by the integral representation [1] (Equation 5.2.1)
(1)
and for by analytic continuation. An important property of the gamma function is [14] (Equation 1.2.1)(2)
The logarithmic derivative of the gamma function is [14] (Equation 1.3.1)
(3)
The Pochhammer polynomial can be defined in terms of the gamma function as [15] (Equation 18:12:1)
(4)
and it satisfies the property [15] (Equation 18:5:1)(5)
The incomplete beta function is defined as [1] (Equation 8.17.1)
(6)
for , and by analytical continuation for other real or complex values of z. For , the incomplete beta function is reduced to the beta function [1] (Equation 5.12.1)(7)
The generalized hypergeometric function is usually defined by means of the hypergeometric series [1] (Section 16.2)
(8)
whenever this series converges, and elsewhere by analytic continuation. An important transformation formula was provided by Euler [16] (Equation 2.2.7):(9)
Finally, Gauss’s summation formula reads as follows [16] (Theorem 2.2.2):
(10)
for .3. Formulas for n-th Order Derivatives
Following the notation given in [6] (Chapter 1), we denote the n-th order derivative of a function with respect to its argument z as
According to this notation, Leibniz’s differentiation formula [1] (Equation 1.4.2) is written as
(11)
Also, it is easy to prove that (see [6] (Equation 1.1.2 [1]))
(12)
(13)
Further, according to [1] (Equation 16.3.2), for , we have
(14)
For , the following n-th derivative formulas hold true:
(15)
(16)
(17)
Applying Leibniz’s differentiation formula (11) and the property (12), we obtain
(18)
According to the definition of the incomplete beta function (6), and applying again Leibniz’s differentiation formula (11), as well as the formulas given in (12) and (13), we arrive at
(19)
Note that we can recast the finite sum given in (19) in terms of a hypergeometric function. Indeed, applying to the definition (8) the property (5) and the definition of the Pochhammer symbol (4), we calculate
(20)
Therefore, applying (20) and taking into account Euler’s transformation formula (9), we rewrite (19) as
(21)
(22)
Now, we insert (21) and (22) into (18) and simplify the result to complete the proof. □
It is worth noting that, according to (21), the function is given in terms of elementary functions and incomplete beta functions.
For , we have
(23)
Considering (17) for and applying Gauss’s summation formula (10), we obtain
(24)
However, the finite sum given in (24) vanishes; thus, we obtain (23), as we intended to prove. □
4. Reduction Formulas
For , and , the following reduction formula holds true:
(25)
According to (4) and (2), we have
(26)
Thus,
(27)
Now, if is a polynomial of degree m, where () are its corresponding roots with (), then the following formula is satisfied [15] (Equation 17:13:10):
(28)
If we consider the polynomial
and we take and , Equation (28) becomes(29)
Inserting (26) into (27) and exchanging the summation order, we obtain
Applying again (26) and recasting the result as an hypergeometric function, we obtain
Taking into account the reduction formula [4] (Equation 7.3.1 (28))
we arrive at (25), as we intended to prove. □Particular cases of (25) are found in [4] (Equation 7.4.1 (5)) for and [4] (Equation 7.5.1 (2)) for in terms of hypergeometric functions. However, when we have a parameter for , we obtain in (25) an indeterminate expression. Nonetheless, the particular case with is given by the authors in [17]:
For and , the following reduction formula holds true:
(30)
The particular case with is given by the authors in [17]. For and ,
Theorems 1 and 2 allow us to obtain the reduction formula presented below.
For ; ; and , the following reduction formula holds true:
(31)
where the function is given in Theorem 1.Taking into account (15), consider (14) for and , as well as the reduction formula (25), to obtain the desired result. □
Since can be expressed in terms of elementary functions and the beta incomplete function (see Remark 1), it turns out that the generalized hypergeometric function given in (31) can also be expressed in terms of elementary functions and incomplete beta functions.
For ; ; ; and , the following reduction formula holds true:
(32)
Consider (31) for , taking into account (23) and (5). □
It is worth noting that the particular case of (31) is given in the literature [4] (Equations 7.3.1 (21 and 140)). Next, we provide a simple derivation.
For and , the following reduction formula holds true:
(33)
Using Euler’s transformation formula (9) we obtain
Applying the definitions given in (8) and (4), as well as the property (5), we arrive at the desired result. □
5. Conclusions
Herein, we calculated reduction formulas for the generalized hypergeometric functions
and in terms of elementary functions and incomplete beta functions. As corollaries, we derived expressions for these generalized hypergeometric functions for in terms of elementary and beta functions. For both purposes, we calculated the n-th order derivative of the function for arbitrary argument z, as well as for . For the completeness of the present note, we included a simple proof of the reduction formula of in terms of elementary functions. As a future research direction, it would be interesting to investigate the singular cases of (25) and (31) for certain equal parameters (i.e., for , and , respectively). Also, the extension of the results presented in this paper to the corresponding basic hypergeometric functions deserves future investigations. Finally, we would like to highlight that all the results presented in this paper were numerically checked with MATHEMATICA. This program is available atConceptualization, J.L.G.-S.; Methodology, J.L.G.-S. and F.S.L.; Formal analysis, J.L.G.-S.; Writing—original draft, J.L.G.-S.; Writing—review & editing, J.L.G.-S. and F.S.L.; Funding acquisition, F.S.L. All authors have read and agreed to the published version of the manuscript.
The authors declare no conflict of interest.
Footnotes
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
References
1. Olver, F.W.; Lozier, D.W.; Boisvert, R.F.; Clark, C.W. NIST Handbook of Mathematical Functions; Cambridge University Press: Cambrigde, UK, 2010.
2. Berglund, P.; Candelas, P.; De La Ossa, X.; Font, A.; Hübsch, T.; Jančić, D.; Quevedo, F. Periods for Calabi-Yau and Landau-Ginzburg vacua. Nucl. Phys. B; 1994; 419, pp. 352-403. [DOI: https://dx.doi.org/10.1016/0550-3213(94)90047-7]
3. Luke, Y.L. Special Functions and Their Approximations; Academic Press: New York, NY, USA, 1969; Volume 1.
4. Prudnikov, A.P.; Brychkov, I.A.; Marichev, O.I. Integrals and Series: More Special Functions; Gordon & Breach Science Publishers: New York, NY, USA, 1990; Volume 3.
5. Krupnikov, E.D.; Kölbig, K.S. Some special cases of the generalized hypergeometric function q+1Fq. J. Comput. Appl. Math.; 1997; 78, pp. 79-95. [DOI: https://dx.doi.org/10.1016/S0377-0427(96)00111-2]
6. Brychkov, Y.A. Handbook of Special Functions: Derivatives, Integrals, Series and Other Formulas; CRC Press: Boca Raton, FL, USA, 2008.
7. Karlsson, P.W. Hypergeometric functions with integral parameter differences. J. Math. Phys.; 1971; 12, pp. 270-271. [DOI: https://dx.doi.org/10.1063/1.1665587]
8. González-Santander, J.L. A Note on Some Reduction Formulas for the Generalized Hypergeometric function 2F2 and Kampé de Fériet function. Results Math.; 2017; 71, pp. 949-954. [DOI: https://dx.doi.org/10.1007/s00025-017-0654-z]
9. Lewanowicz, S. Generalized Watson’s summation formula for 3F2(1). J. Comput. Appl. Math.; 1997; 86, pp. 375-386. [DOI: https://dx.doi.org/10.1016/S0377-0427(97)00170-2]
10. Srivastava, H.M.; Vyas, Y.; Fatawat, K. Extensions of the classical theorems for very well-poised hypergeometric functions. Rev. Real Acad. Cienc.; 2017; 113, pp. 367-397. [DOI: https://dx.doi.org/10.1007/s13398-017-0485-5]
11. Kim, Y.S.; Rathie, A.K. Some results for terminating 2F1(2) series. J. Inequal. Appl.; 2013; 1, pp. 1-12.
12. Kim, Y.S.; Rathie, A.K.; Paris, R.B. Evaluations of some terminating hypergeometric 2F1(2) series with applications. Turk. J. Math.; 2018; 42, pp. 2563-2575. [DOI: https://dx.doi.org/10.3906/mat-1804-67]
13. Choi, J.; Rathie, A.K.; Malani, S. Kummer’s theorem and its contiguous identities. Taiwan. J. Math.; 2007; 11, pp. 1521-1527. [DOI: https://dx.doi.org/10.11650/twjm/1500404883]
14. Lebedev, N.N. Special Functions and Their Applications; Prentice Hall: Hoboken, NJ, USA, 1965.
15. Oldham, K.B.; Myland, J.; Spanier, J. An Atlas of Functions: With Equator, the Atlas Function Calculator; 2nd ed. Springer: New York, NY, USA, 2009.
16. Andrews, G.E.; Askey, R.; Roy, R. Special Functions: Encyclopedia of Mathematics and Its Applications 71; Cambridge University Press: Cambrigde, UK, 1999.
17. González-Santander, J.L.; Sánchez Lasheras, F. Sums involving the digamma function connected to the incomplete beta function and the Bessel functions. Mathematics; 2023; 11, 1937. [DOI: https://dx.doi.org/10.3390/math11081937]
You have requested "on-the-fly" machine translation of selected content from our databases. This functionality is provided solely for your convenience and is in no way intended to replace human translation. Show full disclaimer
Neither ProQuest nor its licensors make any representations or warranties with respect to the translations. The translations are automatically generated "AS IS" and "AS AVAILABLE" and are not retained in our systems. PROQUEST AND ITS LICENSORS SPECIFICALLY DISCLAIM ANY AND ALL EXPRESS OR IMPLIED WARRANTIES, INCLUDING WITHOUT LIMITATION, ANY WARRANTIES FOR AVAILABILITY, ACCURACY, TIMELINESS, COMPLETENESS, NON-INFRINGMENT, MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Your use of the translations is subject to all use restrictions contained in your Electronic Products License Agreement and by using the translation functionality you agree to forgo any and all claims against ProQuest or its licensors for your use of the translation functionality and any output derived there from. Hide full disclaimer
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Abstract
Herein, we calculate reduction formulas for some generalized hypergeometric functions
You have requested "on-the-fly" machine translation of selected content from our databases. This functionality is provided solely for your convenience and is in no way intended to replace human translation. Show full disclaimer
Neither ProQuest nor its licensors make any representations or warranties with respect to the translations. The translations are automatically generated "AS IS" and "AS AVAILABLE" and are not retained in our systems. PROQUEST AND ITS LICENSORS SPECIFICALLY DISCLAIM ANY AND ALL EXPRESS OR IMPLIED WARRANTIES, INCLUDING WITHOUT LIMITATION, ANY WARRANTIES FOR AVAILABILITY, ACCURACY, TIMELINESS, COMPLETENESS, NON-INFRINGMENT, MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Your use of the translations is subject to all use restrictions contained in your Electronic Products License Agreement and by using the translation functionality you agree to forgo any and all claims against ProQuest or its licensors for your use of the translation functionality and any output derived there from. Hide full disclaimer