On Certain Hypergeometric Summation Theorems Motivated by the Works of Ramanujan, Chudnovsky and Borwein

Transcription

1 Journal of Mathematics Research Vol., No. August 00 On Certain Hypergeometric Summation Theorems Motivated by the Works of Ramanujan, Chudnovsky and Borwein M. I. Qureshi Department of Applied Sciences and Humanities, Faculty of Engineering and Technology Jamia Millia Islamia (A central university, Jamia Nagar, New Delhi-005, INDIA miqureshi Izharul H. Khan Department of Applied Sciences and Humanities, Faculty of Engineering and Technology Jamia Millia Islamia (A central university, Jamia Nagar, New Delhi-005, INDIA M. P. Chaudhary (Corresponding author Department of Applied Sciences and Humanities, Faculty of Engineering and Technology Jamia Millia Islamia (A central university, Jamia Nagar, New Delhi-005, INDIA mpchaudhary Abstract In the present paper, we obtain numerical values for Gaussian hypergeometric summation theorems by giving particular values to the parameters a, b and the argument x three summation theorems for F (,, x, three summation theorems for F (,,, a+b b,, a b x, two summation theorems for F (,,, a+b b,, a b x, four summation theorems for F (, 6, 5 6, a+b b,, a b x and ten summation theorems for F (,, a+b b,, a b x. A.M.S.(M.O.S. Subject Classification (99: -Special Functions. Keywords: Ramanujan integrals, Ramanujan series, Ordinary Bessel function of first kind of order n, Borwein and Chudnovsky series. Ordinary Bessel Function of First Kind of Order n J n (x (x/n Γ(n + 0 F x ( n +. Lemma If a, p and n are suitably adjusted real or complex numbers such that associated Pochhammer s symbols are welldefined, then we have (a + pn a( a+p p ( a p n n ( B. C. Berndt ( pp.5-5 listed all of Ramanujan s series for found in the unorganized pages of the second and third notebooks of Ramanujan (98.. Seventeen Ramanujan s Series [Berndt, B. C(Part-IV Hardy, G. H. Ramanujan, S., 9 Venkatachala, B. J., 000] R + 7 ( + (. + 9 ( (6n + ( n n (n! ( 96 ISSN E-ISSN

2 Journal of Mathematics Research Vol., No. August 00 R ( + 89 (. + ( (n + 5 ( n 6 n (n! ( R 6 (5 ( ( ( ( (. ( ( 5n n ( ( n 5 8n 6 n (5 (n! R ( (5n + ( n ( n ( n (n! ( 7..5 ( n (6 R (n + ( n ( n ( ( n (n! n (7 R (n + ( n ( 6 n ( 5 6 ( n n (8 (n! 5 R R R (n + 8 ( n ( 6 n ( 5 6 ( n n (9 (n! ( n (0n + ( n ( n ( n (n! n+ (0 R ( n (8n + ( n ( n ( n (n! n n+ ( Published by Canadian Center of Science and Education 97

3 Journal of Mathematics Research Vol., No. August 00 ( n (60n + ( n ( n ( n (n! (8 n+ ( R R ( n (6n + ( n ( n ( n (n! 5 n (7 n+ ( ( n (60n + ( n ( n ( n (n! (88 n+ ( R (8n + ( n ( n ( n (n! 9 n (5 R 7 R 8 R 9 R (0n + ( n ( n ( n (n! 9 n+ ( (0n + ( n ( n ( n (n! (9 n+ ( (80n + 9 ( n ( n ( n (n! (99 n+ ( (690n + 0 ( n ( n ( n (n! (99 n+ (9 The first three series representations R, R 5 and R 6 for are found in Ramanujan s papers [Hardy, G. H., 000, pp.6-7 Ramanujan, S., 9]. The remaining fourteen series representations R 7, R 8,, R 0 are stated without proof in Ramanujan s papers [Hardy, G. H., 000, pp.7-8 Ramanujan, S., 9]. Ramanujan has used the equality sign for his approximations to but he states explicitly that the formulae are correct only to a certain number of decimal places. The symbol had not come into vogue by then.. Borwein Series [Borwein, J. M., ] In 987, Borwein and Borwein [Borwein, J. M., 987 Berndt, B. C., 00, p.9], two computer scientists used a following version of Ramanujan s formula R 0 to calculate to 7 million places and found that the formula converges on 98 ISSN E-ISSN

4 Journal of Mathematics Research Vol., No. August 00 the exact value with far greater efficiency than any previous method. This success proved that Ramanujan s insight was correct. R ( n (6n! (n! (n! [ n( ] {580( } (n+ (0. Chudnovsky Series (Chudnovsky, D. V., 988 In 989, David and Gregory Chudnovsky computed digits of, using the series [Berndt, B. C., 00, p.0] R ( n (6n! ( n550 ( (n! (n! {(600 } (n+ which is similar to those found by Ramanujan. In 99, the Chudnovskys computed in excess of.6 billion digits. Many details of their work on a largely home-built computer are given in the delightful profile The Mountains of Pi (Preston, R., 99. The Ramanujan series from R to R 0 were not proved until 987, when J. M. and P. B. Borwein proved them in their book [Borwein, J. M, 987, pp.77-87]. In three further papers (Borwein, J. M, 987, (Borwein, J. M, 988 and (Borwein, J. M, 99, they established several additional formulas of this type. D. V. and G. V. Chudnovsky (988 not only also proved formulas of this sort, but they, moreover, found representations for other transcendental constants, some involving gamma functions, by hypergeometric series of the same kin. It should be remarked that Ramanujan has no notation for hypergeometric series [Berndt, B. C (Part-II, p.8]. All formulas are stated by writing out the first few terms in each series.. Main Summation Theorems F,, 0 ( F,, J 0( ( F,, 9 0( J (,,, 7 6,, 6 (5,,, 7,, (6 F,,, ( ,, ( (7 5 8 ( (7,,, 7 5,, (8 Published by Canadian Center of Science and Education 99

5 Journal of Mathematics Research Vol., No. August 00 The equation (8 is known hypergeometric form of Berndt and Rankin [Berndt, B. C, 00, p.98(.].,,, 7,, (9, 6, 5 6,,, (0, 6, 5 6,,, (, 0,, 0 8 (, 8,, (,, 8 60,, 60 7 (,, 685 6,, (5,, 58 60,, (6,, 9 8,, 8 9 (7,, 0,, (8,, 0,, (9,, 99 80,, (0,, ,, ( 00 ISSN E-ISSN

6 Journal of Mathematics Research Vol., No. August 00 The equation ( is the correct form of erroneous hypergeometric form of Berndt and Rankin[00, p.98(.5]. The series (8 and ( are given in sections and of (Ramanujan, S., 9 and [Ramanujan, S., 98, p.78]. F 6,, 5 6, ,, {580( } {580( } ( ( 6,, 5 6, ,, (600 (600 (5909 Above summation theorems for F are not available in the mostly available literature of special functions including the monumental works of Prudnikov et. al. [Prudnikov, A. P., 990, pp.55-56]. The summation theorems presented by equations ( and ( are the hypergeometric forms of the Borwein series (0 and Chudnovsky series ( respectively.. Proof of ( to ( The hypergeometric summation theorems from ( to ( can be established from the results R to R respectively. Proof of ( : To prove (, we shall consider the Ramanujan s integral R. Using Maclaurin s series for cos x 0 0 ( sin θ cos ( n x n (n!, we get dθ cos 0 ( n ( sin θ n dθ (n! 0 Now interchanging the order of summation and integration, we get On simplifying, we get ( n 9 n sin n θ dθ (n! 0 ( n 9 n Γn+ Γ( (n! Γn+ ( sin θ dθ ( n ( sin θ n dθ (n! ( n ( 9 n (n! 0 sin n θ dθ ( n ( 9 n Γ( n+ Γ( (n! Γ( n+ ( n ( ( n 9 n ( n ( n ( n n! ( 6 n ( n n! F,, 9 0 F 6 Now write the right hand side of ( in terms of ordinary Bessel function of order zero, we get the summation theorem (. Similarly, we can prove ( and (. Now we shall establish (7 from Ramanujan s series R 6. ( 5n n ( n ( 5 6 n (n! 8n ( ( {( (0 + 5n} ( n ( n ( { 8 n ( 5 }n ( n ( n n! (5 Published by Canadian Center of Science and Education 0

7 Journal of Mathematics Research Vol., No. August 00 Now using the Lemma ( in (5, we get ( ( ( 5 n n ( n ( { 8 n ( + 5 F or F ( n ( n ( n n!,,, ,, ,,, ( ,, ( ( (7 5 8 }n ( ( which is the summation theorem (7. Similarly, in view of the Lemma (, we can establish the remaining summation theorems (5-(, from Ramanujan series R, R 5, R 7, R 8, R 9,, R 0, Borwein series R and Chudnovsky series R respectively. It may be remarked that the above summations will lead to the excellent value of approximated to various places of decimals, by taking few terms of the Ramanujan series R to R 0. For example, in 987, R. Wm. Gosper employed the series R 0 in calculating digits of. Currently, the world record for the most digits of per term in a series of Ramanujan-type for is held by Berndt and H. H. Chan (Berndt, B. C, 00, who derived a series yielding 7 or 7 digits of per term. Acknowledgement The authors are thankful to Prof. R. Y. Denis and Prof. M. A. Pathan for their valuable suggestions during the preparation of the manuscript of this research paper. Second and third authors are also grateful to the referees for their comments for possible improvements in the text of the manuscript, both the authors are highly thankful to the Editor-JMR, for his kindness and coperations for finally publication of this paper. References Berndt, B. C. (985, 989, 99, 99, 998. Ramanujan s notebooks. Parts.I-V, Springer-Verlag, New York. Berndt, B. C. and Chan, H. H. (00. Eisenstein series and approximations to. Illinois J. Math, 5, Berndt, B. C. and Rankin, R. A. (00. Ramanujan: Essays and Surveys. Hindustan Book Agency (India, New Delhi, Indian Edition. Borwein, J. M. and Borwein, P. B. (987. Pi and the AGM. Can. Math. Soc., John Wiley, New york. Borwein, J. M. and Borwein, P. B. (987. Ramanujan s rational and algebraic series for. Indian J. Math, 5, Borwein, J. M. and Borwein, P. B. (988. More Ramanujan-type series for, in Ramanujan Revisited. Academic Press, Boston, Borwein, J. M. and Borwein, P. B. (99. Class number three Ramanujan-type series for. J. Comput. Appl. Math, 6, Chudnovsky, D. V. and Chudnovsky, G. V. (988. Approximations and complex multiplication according to Ramanujan, in Ramanujan Revisited. Academic Press, Boston, Hardy, G. H., Aiyar, P. V. Seshu and Wilson, B. M. (96. Collected papers of Srinivasa Ramanujan. First published by Cambridge University Press, Cambridge, 97 Reprinted by Chelsea, New York Reprinted by the American Mathematical Society, Providence, RI, 000. Preston, R. (99. Profiles: The mountains of. The New Yorker (March,, Prudnikov, A. P., Brychkov, Yu. A. and Marichev, O. I. (986. Integrals and series Vol. : More special functions. Nauka, Moscow. Translated from the Russian by G. G. Gould, Gordon and Breach Science Publishers, New York, Philadelphia, London, Paris, Montreux, Tokyo, Melbourne, 990. Ramanujan, S. (9. Modular equations and approximations to. Quart. J. Math, 5, Ramanujan, S. (98. Notebooks of Srinivasa Ramanujan. Vol. II, Tata Institute of Fundamental Research, Bombay, 957 Reprinted by Narosa, New Delhi. Venkatachala, B. J., Vinay, V. and Yogananda, C. S. (000. Ramanujan s papers. Prism Books Pvt. Ltd., Bangalore, Mumbai. (6 0 ISSN E-ISSN