arxiv:math/ v1 [math.ca] 22 Apr 2003

Transcription

1 AN ENTRY OF RAMANUJAN ON HYPERGEOMETRIC SERIES IN HIS NOTEBOOKS arxiv:math/030437v math.ca Apr 003 K. Srinivasa Rao a,b, G. Vanden Berghe a,c and C. Krattenthaler d a Flemish Academic Center VLAC), Royal Flemish Academy of Belgium for Science and the Arts, Paleis der Academiën, Hertogsstraat, B-000 Brussels, Belgium. b The Institute of Mathematical Sciences, C.I.T. Campus, Taramani, Chennai , India. c Universiteit Gent, Toegepaste Wiskunde en Informatica, Krijgslaan 8-S9, B-9000 Gent, Belgium. d Institut Girard Desargues, Université Claude Berrnard Lyon-I,, avenue Claude Bernard, F-696 Villeurbanne, Cedex. rao@imsc.res.in, guido.vandenberghe@rug.ac.be, kratt@euler.univ-lyon.fr Abstract. Example 7, after Entry 43, in Chapter XII of the first Notebook of Srinivasa Ramanujan is proved and, more generally, a summation theorem for 3F a, a, x; a, a N; ), where N is a non-negative integer, is derived.. Introduction In the Notebooks of Ramanujan, identities for hypergeometric series occupy a prominent part see 3, Chapters X, XI). In fact, Ramanujan discovered for himself all the now classical) summation theorems established by Gauß, Chu-Vandermonde, Kummer, Pfaff Saalschütz, Dixon and Dougall. For example, Dougall s summation theorem of which all the others mentioned are special cases), which was discovered by Dougall 5 in 907, was independently found by Ramanujan during 90 9 see Entry in Chapter XII of Notebook and in the corresponding Entry in Chapter X of Notebook ). We cannot assert an exact date, because there are no dates anywhere in the Notebooks of Ramanujan. In any case, Ramanujan rediscovered not only all that was known in Europe on hypergeometric series at that time, but he also discovered several new theorems, and, in particular, theorems on products of hypergeometric series, 000 Mathematics Subject Classification. Primary 33C0; Secondary 33C05, 33B5. Key words and phrases. Hypergeometric functions, gamma function, digamma function, Ramanujan s Notebooks, summation theorems. Corresponding author: G. Vanden Berghe, Universiteit Gent, Toegepaste Wiskunde en Informatica, Krijgslaan 8-S9, B-9000 Gent, Belgium

2 K. SRINIVASA RAO, G. VANDEN BERGHE AND C. KRATTENTHALER as well as several types of asymptotic expansions. On the other hand, it is well known 3, 4 that Ramanujan did not publish any of his results from his Chapters on hypergeometric series that are to be found in his Notebooks. The Chapters on hypergeometric series, in particular, Chapters X and XI, in his second Notebook, have been extensively studied by Hardy 8 and Berndt 3, since the Chapters of Ramanujan s second Notebook are considered as revised, enlarged versions of the Chapters in his first Notebook. However, Example 7, after Entry 43, in Chapter XII of the first Notebook did not find a place in the corresponding examples after Entry 0 in Chapter X of his second Notebook, and is therefore not discussed in 3. The purpose of this article is to provide a proof for Example 7, after Entry 43, in Chapter XII, XII, 43, Ex. 7), in the first Notebook of Ramanujan, using well-known transformation and summation theorems of hypergeometric series. In fact, we prove a more general identity which may have been the identity that Ramanujan actually had, and from which he recorded the most elegant specializations into his Notebook a conjecture consistent with a wide spread belief that that was Ramanujan s style). Our paper is organized as follows: In Section, Entry XII, 43, Ex. 7) in the first Notebook of Ramanujan and some related entries are presented in Ramanujan s notation, and subsequently translated into current notation. This leads us to the statement of a summation theorem for a 3 F x,, ; 3, 3 ; ) hypergeometric series, for R x <. In Section 3, the statement is generalized to a summation theorem for the 3F a, a, x; a, an; ) series, where N is a non-negative integer, and it is proved. Finally, in Section 4, some remarks regarding special cases of the theorem are made.. Ramanujan s Entry In Ramanujan s notation, Example 7, after Entry 43, in Chapter XII, of the first Notebook reads as follows: π x tanπx) x x ) x) x x x π ) tanπx) = x xx ) 3 &c. XII, 43, Ex.7) 5 Here, x is Ramanujan s notation for the gamma function Γx ), which, for him, was a function over real numbers x see 0). We, of course, adopt the contemporary point of view and regard the gamma function as a function over the complex numbers. The factor on the left-hand side of XII, 43, Ex.7): π x tanπx) x x ) x) )

3 AN ENTRY OF RAMANUJAN ON HYPERGEOMETRIC SERIES 3 is the same factor that appears on the left-hand side of XII, 43, Ex.4) which, in Ramanujan s first Notebook is π tanπx) x x x ) x) = x 3 xx ) &c. XII, 43, Ex.4) 5 This is given in Ramanujan s second Notebook as: π n n = n nn ) &c. X, 0, Ex.4) 3 5 As pointed out by Berndt 3, the Entry X, 0, Ex.4), or, XII, 43, Ex.4), is the special case of X, 0), or, XII, 43), where we do the replacements n and x n. The factor ) which occurs on the left-hand side of XII, 43, Ex.4) can be shown to be equal to: π Γ x) π x x Γ 3 x) = x x, ) after using the reflection formula: Γz) Γ z) = π/ sinπz), and the duplication formula Γz) = z π / Γz)Γz ) and some algebraic manipulations. When written in the standard hypergeometric notation a,...,a r a ) k a r ) k rf s ; z = z b,...,b k, s k! b ) k b s ) k k=0 where the Pochhammer symbol α) k is defined by α) k = αα)α) αk ), k > 0, α) 0 =, the series on the right-hand side of XII, 43, Ex.4) is: F, x 3 ;, which by the Gauß summation theorem see,.7.6); Appendix III.3)): a, b F c ; Γc) Γc a b) = valid for Rc a b) > 0, 3) Γc a) Γc b) becomes: F, x 3 ; = π Γ x) π Γ3/ x) = x x /. 4) If we compare the right-hand side of this equation with ), which, as we outlined, is equal to the left-hand side ) of XII, 43, Ex.4), it is clear that Ramanujan missed a multiplicative factor x on the left-hand side of XII, 43, Ex.4), while his Entry X, 0, Ex.4) is correct. As we shall see, the same applies to the Entry XII, 43, Ex.7). To be precise, the factor ) on the left-hand side of that entry must also be replaced by the correct value 4). The series on the right-hand side of XII, 43, Ex.7) is, in hypergeometric notation: x, 3F, 3 ;., 3

4 4 K. SRINIVASA RAO, G. VANDEN BERGHE AND C. KRATTENTHALER There are two factors on the left-hand side of XII, 43, Ex.7). Besides the factor ), the other factor in XII, 43, Ex.7) is: x x x π tanπx). 5) Ramanujan used the notation x to indicate the extension of the function 3 n, representing the harmonic numbers, from positive integers n to real x. In other words, x is Ramanujan s notation for the digamma function ψx) := Γ x)/γx), the logarithmic derivative of the gamma function, or, more precisely, for ψx ) γ, where γ is the Euler-Mascheroni constant, that is ψx ) = γ. 6) x In fact, in Ramanujan s very first research paper 9, the digamma function occurs as: d dn log Γn ) = 3 n γ = n γ. Thus, the expression 5) becomes: ψx ) ψx ) x π tanπx) γ. 7) The digamma function satisfies the recurrence relation 6,.7.8): the reflection formula 6,.7.): ψz ) = ψz) z, 8) ψz) = ψz ) π cotπz) 9) and the duplication formula 6,.7.): ψz) = ψz) ψ z ) log. 0) We remark that the duplication formula appears implicitly in Ramanujan s first Notebook. Namely, a comparison of Entry XII, 43, Ex.6) with n x in Entry X, 0, Ex.6) shows that Ramanujan obtained: x x = x x log, x which by 6) and 8) is equivalent to 0). Furthermore, the digamma function has the special values ψ = γ log and ψ) = γ. ) ) We now use the duplication formula 0) to convert 7) into x ψ ) log x π tanπx) γ.

5 AN ENTRY OF RAMANUJAN ON HYPERGEOMETRIC SERIES 5 The recurrence relation 8) implies that ψx ) = ψx ), while we know x from ) that log = ψ) γ. If this is substituted in the last equation, and if we then apply the reflection formula 9), we obtain 3 ) ) ) ψ x ψ ) for the expression 5). Therefore, if we recall that the factor ) on the left-hand side of Ramanujan s Entry XII, 43, Ex.7) must be replaced by 4), this entry can be rewritten in contemporary notation as: x, 3F, { π Γ x) 3 ) 3 ; = ψ x ψ ) } for R x <., 3 = 4 Γ 3 x) 3 ) x ψ ) } x, F { ψ 3 ;, 3) In the next section we state and prove a theorem which is a generalization of 3), that is, of Ramanujan s Entry XII, 43, Ex.7). 3. The theorem Theorem. Let N be a non-negative integer and a be a complex number which is not a negative integer. If R x < N, then a, a, x 3F a, a N ; = a Γa N ) Γ x) N! Γa x ) ψa x ) ψa) ψn ) γ) a Γa N ) Γ x) N! Γa x ) N k= a) k N) k k k! a x ) k. 4) Proof. To evaluate the 3 F ) series on the left-hand side of 4), let us introduce a parameter ε, and consider the series a, a ε, x 3F a ε, a ε N ;. First we apply the non-terminating) transformation formula see 7, Ex. 3.6, q, reversed): a, b, c 3F d, e ; = Γa b) Γd) Γe) Γd e a b c) Γa) Γd b) Γe b) Γd e a c) 3 F Γb a) Γd) Γe) Γd e a b c) Γb) Γd a) Γe a) Γd e b c) 3 F b, d a, e a a b, d e a c ; a, d b, e b d e b c, a b ;.

6 6 K. SRINIVASA RAO, G. VANDEN BERGHE AND C. KRATTENTHALER and obtain Γ a ε) Γε) Γ a ε N) Γ ε N x) a ε, ε N F Γa) Γ N) Γ a ε N x) a ε N x ; Γ a ε) Γε) Γ a ε N) Γ ε N x) Γ ε) Γa ε) Γ ε N) Γ a ε N x) a,, N 3 F ε, a ε N x ;. Clearly, the convergence of the hypergeometric series on the right-hand side will only be guaranteed if R x <. Therefore. for the moment we suppose R x <. To the 3 F -series we apply the transformation formula see, Ex. 7, p. 98): 3F a, b, c d, e ; = to get the expression Γe) Γd e a b c) Γe a) Γd e b c) 3 F Γ a ε) Γε) Γ a ε N) Γ ε N x) Γ) Γa) Γ N) Γ a ε N x) Γ a ε) Γε) Γ a ε N) Γ x) Γ ε) Γa ε) Γ ε N) Γ a x) a, d b, d c d, d e b c ;, a ε, ε N F a ε N x ; a, ε, ε N 3F ε, a x ; The F -series is summed by means of the Gauß summation theorem 3), while the 3F -series is written as a sum over k, and subsequently split into the ranges k = 0, k =,,...,N, and k = N, N =,.... This yields the expression ε Γ a ε) Γ ε) Γ a ε N) Γ x) Γa) Γ N) Γ a ε x) ) Γ a ε) Γ a ε N) Γ x) Γa ε) Γ ε N) Γ a x) Γ a ε) Γ a ε N) Γ x) N a) k ε N) k Γa ε) Γ ε N) Γ a x) k! k ε) a x) k k= Γ a ε) Γ a ε N) Γ x) Γa ε) Γ ε N) Γ a x) k=n Now we perform the limit ε 0. Thus, our original 3 F -series becomes a, a, x 3F a, a N ;. a) k ε N) k k! k ε) a x) k. On the other hand, the four-line expression which we obtained for this 3 F -series simplifies significantly. The last term simply vanishes because of the occurrence of the factor ε N) k, which is equal to ε N) N ε ε) kn for k N, which is zero for N a non-negative integer. On the other hand, the limit of ε 0 of the first two lines can be easily calculated by means of l Hôpital s rule to obtain the final result 4). As it stands, the assertion is only demonstrated for R x <. However, by analytic continuation, Equation 4) is true for any values of x for which the 3 F -series on the left-hand side converges, i.e., for R x < N..

7 AN ENTRY OF RAMANUJAN ON HYPERGEOMETRIC SERIES 7 The following observations can be made: 4. Some remarks i) Clearly, the theorem 4) reduces to Ramanujan s entry XII, 43, Ex.7), in our notation 3), if a = / and N = 0. ii) For x =, in 3), the 3 F ) is a special case of Dixon s theorem see e.g. III.8) of, for a =, b = c = /), and it has the value π 8. iii) For x = 3, the left-hand side of 3) is: 3 3F,, 3, 3 ; = F, 3 ; = π, by the Gauß summation theorem 3), which is the result for the right-hand side evaluated by l Hôpital s rule. iv) For x = k, a negative integer, in 3), we get: 3F,, k π Γk ) k 3, 3 ; = Γ3/ k) j. 5) j= v) The 3 F a, a, x; ) a, a N; ) series can be related to the 3-j coefficient x x 0 a x a x cf. ) provided x is a negative integer and x a 0. 0 It also corresponds to the dual Hahn polynomial S n 0; a, b =, c = N), for x = n. Finally, as we already announced in Section, it has to be noted that as in the case of Entry XII, 43, Ex.4), Ramanujan has missed a multiplicative factor x on the left-hand side of his Entry XII, 43, Ex.7). Acknowledgments : Two of the authors KSR and GVB) thank Prof. Dr. Niceas Schamp and the Koninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kunsten for excellent hospitality and one of us KSR) thanks Prof. Dr. Walter Van Assche for an interesting discussion on a visit to the Katholieke Universiteit Leuven for a lecture on the Life and Work of Ramanujan. References G. E. Andrews, R. A. Askey and R. Roy, Special Functions, Encycl. Math. and Its Applns., 7, Cambridge University Press, Cambridge 999). W. N. Bailey, Generalized hypergeometric series, Cambridge University Press, Cambridge, B.C. Berndt, Ramanujan Notebooks, Part II, Springer-Verlag, New-York 987), Chapter X, D. Bradley, On a claim of Ramanujan about certain hypergeometric series, Proc. Amer. Math. Soc. 994), J. Dougall, On Vandermonde s theorem and some more general expansions, Proc. Edinburgh Math. Soc ), 4 3.

8 8 K. SRINIVASA RAO, G. VANDEN BERGHE AND C. KRATTENTHALER 6 A. Erdélyi, V. Magnus, F. Oberhettinger and F. Tricomi, Higher transcendental functions, McGraw Hill, New York, G. Gasper and M. Rahman, Basic hypergeometric series, Encyclopedia of Mathematics And Its Applications 35, Cambridge University Press, Cambridge, G. H. Hardy, A chapter from Ramanujan s notebook, Proc. Cambridge Philos. Soc. 93), and Chapter VII in Ramanujan: Twelve lecture on subjects suggested by his life and work, G. H. Hardy, Chelsea, New York 944). 9 S. Ramanujan, Some properties of Bernoulli s numbers, J. Indian Math. Soc. 3 9), S. Ramanujan s historic first letter to G.H. Hardy, quoted in Ramanujan: Letters and Commentary, Bruce C Berndt and Robert A. Rankin, Eds.), AMS LMS publication 995). L. J. Slater, Generalized hypergeometric functions, Cambridge University Press, Cambridge, 966. K. Srinivasa Rao, A note on the symmetries of the 3j-coefficient, J. Phys. A: Math. Gen. 978), L69 L73.