EXTENSION OF A SUMMATION DUE TO RAMANUJAN ARJUN K. RATHIE Department of Mathematics, School of Mathematical and Physical Sciences, Central University of Kerala, Riverside Transit Campus, Padennakad, P.O. Nileshwar, KASARAGOD, 671328, KERALA, INDIA e-mail address: [email protected]
Abstract :
In this short research note, we aim to establish an interesting extension of a summation due to Ramanujan. The result is derived with the help of extension of Gauss summation theorem available in the literature.
Keywords :
Generalized hypergeometric series, Gauss summation theorem,
Dixon summation theorem, Ramanujan summations. : 33C90 , 33C05 INTRODUCTION
The generalized hypergeometric function (cid:1832) (cid:3044)(cid:3043) with p numeratorial and q denominatorial parameters is defined by [7], (cid:1832) (cid:3044) (cid:3428)(cid:1853) (cid:2869) , … . , (cid:1853) (cid:3043) (cid:1854) (cid:2869) , … , (cid:1854) (cid:3044) ; (cid:1878) (cid:3432) (cid:3043) = (cid:3533) ( (cid:1853) (cid:2869) ) (cid:3041) … . . (cid:3435)(cid:1853) (cid:3043) (cid:3439) (cid:3041) ( (cid:1854) (cid:2869) ) (cid:3041) … (cid:3435)(cid:1854) (cid:3044) (cid:3439) (cid:3041) ∞ (cid:3041)(cid:2880)(cid:2868) (cid:1878) (cid:3041) (cid:1866) ! (1.1) where ( (cid:1853) ) (cid:3041) denotes the Pochhammer symbol (or the shifted or raising factorial, since (1) (cid:3041) = (cid:1866) ! ) defined for any complex number (cid:1853) by ( (cid:1853) ) (cid:3041) = (cid:3420) , (cid:1866) = 0 (cid:1853) ( (cid:1853) + 1) … . ( (cid:1853) + (cid:1866) − , (cid:1866) ∈ (cid:1840) (1.2) Using the fundamental function relation, Γ ( (cid:1853) + 1) = (cid:1853) Γ ( (cid:1853) ) , ( (cid:1853) ) (cid:3041) can be written as ( (cid:1853) ) (cid:3041) = Γ ( (cid:1853) + (cid:1866) ) Γ ( (cid:1853) ) , ( (cid:1866) ∈ (cid:1840) ∪ {0} ) (1.3) here Γ is the well known Gamma function. For convergence of (cid:1832) (cid:3044)(cid:3043) [ (cid:1878) ] and its other elementary properties, we refer [7]. It is interesting to mention here two special cases of (1.1) for (i) (cid:1868) = 2, (cid:1869) = 1 and for (ii) (cid:1868) = 1, (cid:1869) = 1 respectively defined by (cid:2870) (cid:1832) (cid:2869) (cid:4674)(cid:1853) , (cid:1854) (cid:1855) ; (cid:1878)(cid:4675) = (cid:3533) ( (cid:1853) ) (cid:3041) ( (cid:1854) ) (cid:3041) ( (cid:1855) ) (cid:3041) (cid:1878) (cid:3041) (cid:1866) ! (cid:2998)(cid:3041)(cid:2880)(cid:2868) (1.4) and (cid:2869) (cid:1832) (cid:2869) (cid:4674)(cid:1853) (cid:1855) ; (cid:1878)(cid:4675) = (cid:3533) ( (cid:1853) ) (cid:3041) ( (cid:1855) ) (cid:3041) (cid:1878) (cid:3041) (cid:1866) ! (cid:2998)(cid:3041)(cid:2880)(cid:2868) (1.5) The function (cid:2870) (cid:1832) (cid:2869) is popularly known as the Gauss’s hypergeometric function and the function (cid:2869) (cid:1832) (cid:2869) is known as Kummer’s function or the confluent hypergeometric function. The functions (cid:2870) (cid:1832) (cid:2869) and (cid:2869) (cid:1832) (cid:2869) form the core of special functions and include as their special cases almost all of the commonly used elementary functions. It is well known that in the theory of hypergeometric and generalized hypergeometric series, classical summation theorem such as those of Gauss, Gauss second, Kummer and Bailey for the series (cid:2870) (cid:1832) (cid:2869) ; Watson, Dixon, Whipple and Saalschutz for the series (cid:2871) (cid:1832) (cid:2870) and others play an important role. Here we would like to mention two of them. These are:
Gauss’s summation theorem [7] : (cid:2870) (cid:1832) (cid:2869) (cid:4674)(cid:1853) , (cid:1854) (cid:1855) ; (cid:4675) = Γ ( (cid:1855) ) Γ ( (cid:1855) − (cid:1853) − (cid:1854) ) Γ ( (cid:1855) − (cid:1853) ) Γ ( (cid:1855) − (cid:1854) ) (1.6) provided ℜ ( (cid:1855) − (cid:1853) − (cid:1854) ) > . and ixon’s summation theorem [7] : (cid:2871) (cid:1832) (cid:2870) (cid:3428) (cid:1853) , (cid:1854) , (cid:1855) (cid:1853) − (cid:1854) , 1 + (cid:1853) − (cid:1855) ; (cid:3432) = Γ (cid:4672) (cid:1853) (cid:4673) Γ (1 + (cid:1853) − (cid:1854) ) Γ (1 + (cid:1853) − (cid:1855) ) Γ (cid:4672) (cid:1853) − (cid:1854) − (cid:1855)(cid:4673)Γ (1 + (cid:1853) ) Γ (cid:4672) (cid:1853) − (cid:1854)(cid:4673) Γ (cid:4672) (cid:1853) − (cid:1855)(cid:4673) Γ (1 + (cid:1853) − (cid:1854) − (cid:1855) ) (1.7) provided ℜ ( (cid:1853) − (cid:1854) − (cid:1855) ) > − Recently good deal of progress has been done in generalizing and extending [2,4] the above mentioned classical summation theorems [2,4] for the series (cid:2870) (cid:1832) (cid:2869) , (cid:2871) (cid:1832) (cid:2870) and others. Here we will mention the extensions of (1.6) and (1.7) given in [2,3] (cid:2871) (cid:1832) (cid:2870) (cid:3428)(cid:1853) , (cid:1854) , (cid:1856) + 1 (cid:1855) + 1 , (cid:1856) ; (cid:3432) = Γ ( (cid:1855) + 1) Γ ( (cid:1855) − (cid:1853) − (cid:1854) ) Γ ( (cid:1855) − (cid:1853) + 1) Γ ( (cid:1855) − (cid:1854) + 1) (cid:3428) ( (cid:1855) − (cid:1853) − (cid:1854) ) + (cid:1853)(cid:1854)(cid:1856) (cid:3432) (1.8) provided ℜ ( (cid:1855) − (cid:1853) − (cid:1854) ) > and (cid:1856) ≠ − − ⋯ and (cid:2872) (cid:1832) (cid:2871) (cid:3428)(cid:1853) , (cid:1854) , (cid:1855) , (cid:1856) + 12 + (cid:1853) − (cid:1854) , (cid:1853) − (cid:1855) , (cid:1856) ; 1 (cid:3432) = (cid:2009) ( (cid:1854) − (cid:2879)(cid:3028) Γ (1 + (cid:1853) − (cid:1855) ) Γ (2 + (cid:1853) − (cid:1854) ) Γ (cid:4672)
32 + 12 (cid:1853) − (cid:1854) − (cid:1855)(cid:4673) Γ (cid:4672) (cid:4673)Γ (cid:4672) (cid:1853)(cid:4673) Γ (cid:4672) (cid:1853) − (cid:1855) + 12 (cid:4673) Γ (cid:4672) (cid:1853) − (cid:1854) + 32 (cid:4673) Γ (2 + (cid:1853) − (cid:1854) − (cid:1855) ) + (cid:2010) ( (cid:1854) − (cid:2879)(cid:3028)(cid:2879)(cid:2869) Γ (cid:4672) (cid:4673) Γ (1 + (cid:1853) − (cid:1855) ) Γ (1 + (cid:1853) − (cid:1854) ) Γ (cid:4672) (cid:1853) − (cid:1854) − (cid:1855)(cid:4673)Γ (cid:4672) (cid:1853) + 12 (cid:4673) Γ (cid:4672) (cid:1853) − (cid:1854) + 1 (cid:4673) Γ (cid:4672) (cid:1853) − (cid:1855) + 1 (cid:4673) Γ (1 + (cid:1853) − (cid:1854) − (cid:1855) ) (1.9) provided ℜ ( (cid:1853) − (cid:1854) − (cid:1855) ) > − and (cid:2009) and (cid:2010) are given by (cid:2009) = 1 − (cid:1856) (1 + (cid:1853) − (cid:1854) ) (1.10) (cid:2010) = 1 + (cid:1853) − (cid:1854) (cid:1853) − (cid:1854) − (cid:1855) (cid:4674)(cid:1853)(cid:1856) (1 + (cid:1853) − (cid:1854) − (cid:1855) ) − (cid:4672)(cid:1853) − (cid:1854) − (cid:1855) + 1 (cid:4673)(cid:4675) (1.11) learly for (cid:1856) = (cid:1855) , (1.8) reduces to (1.6) and for (cid:1856) = 1 + (cid:1853) − (cid:1854) , (1.9) reduces to (1.7) respectively. Applications of the above mentioned classical summation theorems are well known now. It has been pointed out by Berndt [1] that several interesting summations due to Ramanujan can be obtained quite simply by employing above mentioned classical summation theorems. Here, we would like to mention the following interesting summations due to Ramanujan[1,5,6]. These are (cid:3436) (cid:3440) (cid:2870) + 19 (cid:3436) (cid:3440) (cid:2870) + ⋯ = (cid:2024) (cid:2870) Γ (cid:2872) (cid:4672) (cid:4673) (1.12) (cid:2870) (cid:3436) (cid:3440) + 19 (cid:2870) (cid:3436) (cid:3440) + ⋯ = (cid:2024) (cid:2873)(cid:2870) √ Γ (cid:2870) (cid:4672) (cid:4673) (1.13) and (cid:3436) (cid:3440) + 19 (cid:3436) (cid:3440) + ⋯ = (cid:2024) (cid:2871)(cid:2870) √ Γ (cid:2870) (cid:4672) (cid:4673) (1.14) As explained by Berndt[1] that the summations (1.12) and (1.13) due to Ramanujan can be obtained quite simply by employing classical Dixon summation theorem (1.7) by taking ( (cid:1861) ) (cid:1853) = (cid:1854) = (cid:2869)(cid:2870) , (cid:1855) = (cid:2869)(cid:2872) and ( (cid:1861)(cid:1861) ) (cid:1853) = (cid:2869)(cid:2870) , (cid:1854) = (cid:1855) = (cid:2869)(cid:2872) respectively. The summation (1.14) obtained by Ramanujan[6] using an integral representation. Very recently Rathie and Paris [8] pointed out that the summation (1.14) can also be obtained in a very simple manner by employing Gauss summation theorem (1.6) by taking (cid:1853) = (cid:2869)(cid:2870) , (cid:1854) = (cid:2869)(cid:2872) and (cid:1855) = (cid:2873)(cid:2872) . In 2010, Kim, et al. [2] obtained the extensions of Ramanujan summations (1.12) and (1.13) by employing extension of Dixon summation theorem (1.9) in the following form {(1.15) written here with minor correction} (cid:3436) (cid:3440) (cid:2870) (cid:3436)(cid:1856) + 12 (cid:1856) (cid:3440) + 19 (cid:3436) (cid:3440) (cid:2870) (cid:3436)(cid:1856) + 13 (cid:1856) (cid:3440) + ⋯ = (cid:2024) (cid:3436) (cid:1856) − (cid:3440) + (cid:2024) (cid:2870) Γ (cid:2872) (cid:4672) (cid:4673) (cid:3436) − (cid:1856)(cid:3440) (1.15) and (cid:2870) (cid:3436) (cid:3440) (cid:4678) (cid:1856) + 1)9 (cid:1856) (cid:4679) + 19 (cid:2870) (cid:3436) (cid:3440) (cid:4678) (cid:1856) + 2)13 (cid:1856) (cid:4679) + ⋯ = (cid:2024) (cid:2871)(cid:2870) √ Γ (cid:2870) (cid:4672) (cid:4673) (cid:3436) (cid:1856) − (cid:3440) − √ (cid:2024) (cid:2873)(cid:2870) Γ (cid:2870) (cid:4672) (cid:4673) (cid:3436) (cid:1856) − (cid:3440) (1.16) each for (cid:1856) ≠ − − ⋯ In this short research note, we aim to give an extension of Ramanujan summation (1.14).
2. Extension of Ramanujan summation (1.14) :
The summation to be established in this note is (cid:3436) (cid:3440) (cid:3436) (cid:3440) (cid:3436)(cid:1856) + 1 (cid:1856) (cid:3440) + (cid:3436) (cid:3440) (cid:3436) (cid:3440) (cid:3436)(cid:1856) + 2 (cid:1856) (cid:3440) + ⋯ = (cid:2024) (cid:2871)(cid:2870) √ Γ (cid:2870) (cid:4672) (cid:4673) (cid:3436) (cid:1856)(cid:3440) (2.1) for (cid:1856) ≠ − − ⋯ Proof :
In order to derive (2.1) , we proceed as follows. Setting (cid:1853) = (cid:2869)(cid:2870) , (cid:1854) = (cid:2869)(cid:2872) and (cid:1855) = (cid:2873)(cid:2872) in extended Gauss summation theorem (1.8), we see that . (cid:1834) . (cid:1845) . = (cid:2871) (cid:1832) (cid:2870) (cid:3430) , 14 , (cid:1856) + 1 , (cid:1856) ; 1 (cid:3434) Expressing (cid:2871) (cid:1832) (cid:2870) as a series with the help of the definition (1.1), we have = (cid:3533) (cid:4672) (cid:4673) (cid:3041) (cid:4672) (cid:4673) (cid:3041) ( (cid:1856) + 1) (cid:3041) (cid:4672) (cid:4673) (cid:3041) ( (cid:1856) ) (cid:3041) (cid:1866) ! (cid:2998)(cid:3041)(cid:2880)(cid:2868) Using Pochhammer symbol and expanding it , we have after some simplification = 1 + (cid:3436) (cid:3440) (cid:3436) (cid:3440) (cid:3436)(cid:1856) + 1 (cid:1856) (cid:3440) + (cid:3436) (cid:3440) (cid:3436) (cid:3440) (cid:3436)(cid:1856) + 2 (cid:1856) (cid:3440) + ⋯ (2.2) Also with the same substitution in the right-hand side, we have (cid:1844) . (cid:1834) . (cid:1845) . = Γ (cid:4672) (cid:4673) Γ (cid:4672) (cid:4673)Γ (cid:4672) (cid:4673) (cid:3436) (cid:1856)(cid:3440) Using the results Γ ( (cid:1878) + 1) = (cid:1878) Γ ( (cid:1878) ) , Γ ( (cid:1878) ) Γ (1 − (cid:1878) ) = (cid:3095)(cid:3046)(cid:3036)(cid:3041)(cid:3095)(cid:3053) , and Γ (cid:4672) (cid:2869)(cid:2870) (cid:4673) = √(cid:2024) , we have after some simplification, = (cid:2024) (cid:2871)(cid:2870) √ Γ (cid:2870) (cid:4672) (cid:4673) (cid:3436) (cid:1856)(cid:3440) (2.3) Finally equating (2.2) and (2.3), we get (2.1). This completes the proof of (2.1). We conclude this note with the remark that our extended summation (2.1) reduces to Ramanujan summation by taking (cid:1856) = (cid:2873)(cid:2872) . Moreover, by giving different values for d in our general summation (2.1), we can obtain a large number of new summations. EFERENCES [1] Berndt,B.C. , Ramanujan’s Notebooks, Part II, Springer-Verlag, New York, (1987). [2] Kim, Y. S., Rakha, M. A. and Rathie, A. K. Extensions of Certain Classical Summation Theorems for the Series (cid:2870) (cid:1832) (cid:2869) , (cid:2871) (cid:1832) (cid:2870) , and (cid:2872) (cid:1832) (cid:2871) with Applications in Ramanujan's Summations, Int. J. Math. Math. Sci., 309503, 26 pages , (2010). [3] Prudnikov, A. P., Brychkov, Yu. A., Marichev, O. I. Integrals and series, Vol.3., More special functions, Gordon and Breach Science Publishers, New York, (1990). [4] Rakha, M. A. and Rathie, A. K. Generalization of classical summation theorems for the series (cid:2870) (cid:1832) (cid:2869) and (cid:2871) (cid:1832) (cid:2870)(cid:2870)