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

Similar documents
Hypergeometric Forms of Well Known Partial Fraction Expansions of Some Meromorphic Functions

Hypergeometric Forms of Well Known Partial Fraction Expansions of Some Meromorphic Functions

International Journal of Pure and Applied Sciences and Technology

Some theorems on the explicit evaluations of singular moduli 1

International Journal of Pure and Applied Sciences and Technology

Bruce C. Berndt, Heng Huat Chan, and Liang Cheng Zhang. 1. Introduction

M. S. Mahadeva Naika, S. Chandankumar and N. P. Suman (Received August 6, 2012)

SOME UNIFIED AND GENERALIZED KUMMER S FIRST SUMMATION THEOREMS WITH APPLICATIONS IN LAPLACE TRANSFORM TECHNIQUE

Journal of Number Theory

Journal of Mathematical Analysis and Applications

Two Ridiculous Summation Formulae arising from the summation formulae of Salahuddin et al

( 1) n q n(3n 1)/2 = (q; q). (1.3)

An Interesting q-continued Fractions of Ramanujan

Certain Somos s P Q type Dedekind η-function identities

Some generalizations of a supercongruence of van Hamme

A Note on the 2 F 1 Hypergeometric Function

SOME THETA FUNCTION IDENTITIES RELATED TO THE ROGERS-RAMANUJAN CONTINUED FRACTION

Pacific Journal of Mathematics

MOCK THETA FUNCTIONS AND THETA FUNCTIONS. Bhaskar Srivastava

SOME MODULAR EQUATIONS IN THE FORM OF SCHLÄFLI 1

Ramanujan s modular equations and Weber Ramanujan class invariants G n and g n

New congruences for overcubic partition pairs

arxiv:math/ v1 [math.ca] 8 Nov 2003

DETERMINANT IDENTITIES FOR THETA FUNCTIONS

Abstract In this paper I give an elementary proof of congruence identity p(11n + 6) 0(mod11).

Polyexponentials. Khristo N. Boyadzhiev Ohio Northern University Departnment of Mathematics Ada, OH

A New Identity for Complete Bell Polynomials Based on a Formula of Ramanujan

MODULAR EQUATIONS FOR THE RATIOS OF RAMANUJAN S THETA FUNCTION ψ AND EVALUATIONS

Integrals Involving H-function of Several Complex Variables

Research Article A Parameter for Ramanujan s Function χ(q): Its Explicit Values and Applications

On Some Transformations of A 2 Formula And Their Applications

ANOTHER SIMPLE PROOF OF THE QUINTUPLE PRODUCT IDENTITY

q GAUSS SUMMATION VIA RAMANUJAN AND COMBINATORICS

Difference Equations for Multiple Charlier and Meixner Polynomials 1

Ramanujan and the Modular j-invariant

A PROBABILISTIC PROOF OF WALLIS S FORMULA FOR π. ( 1) n 2n + 1. The proof uses the fact that the derivative of arctan x is 1/(1 + x 2 ), so π/4 =

RECURRENCE RELATION FOR COMPUTING A BIPARTITION FUNCTION

Sr. No. Subject Code. Subject Name

PILLAI S CONJECTURE REVISITED

Transformation formulas for the generalized hypergeometric function with integral parameter differences

SOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ω(q) AND ν(q) S.N. Fathima and Utpal Pore (Received October 13, 2017)

Research Article Continued Fractions of Order Six and New Eisenstein Series Identities

arxiv: v1 [math.ca] 17 Sep 2016

Identities Inspired by the Ramanujan Notebooks Second Series

Srinivasa Ramanujan: A Glimpse into The

ON A CONTINUED FRACTION IDENTITY FROM RAMANUJAN S NOTEBOOK

CONGRUENCES MODULO 2 FOR CERTAIN PARTITION FUNCTIONS

On a series of Ramanujan

On the expansion of Ramanujan's continued fraction of order sixteen

Charles Vanden Eynden

THE BAILEY TRANSFORM AND FALSE THETA FUNCTIONS

Department of Mathematics Faculty of Natural Science, Jamia Millia Islamia, New Delhi-25

CERTAIN INTEGRALS ARISING FROM RAMANUJAN S NOTEBOOKS

M. A. Pathan. UNIFIED (p, q)-bernoulli-hermite POLYNOMIALS

An iteration procedure for a two-term Machin-like formula for pi with small Lehmer s measure

On the stirling expansion into negative powers of a triangular number

of Classical Constants Philippe Flajolet and Ilan Vardi February 24, 1996 Many mathematical constants are expressed as slowly convergent sums

Serie slowly convergent

π in terms of φ via the Machin s Route

ON 2- AND 4-DISSECTIONS FOR SOME INFINITE PRODUCTS ERNEST X.W. XIA AND X.M. YAO

EXPONENTIAL POLYNOMIALS, STIRLING NUMBERS, AND EVALUATION OF SOME GAMMA INTEGRALS. Khristo N. Boyadzhiev

RAMANUJAN S MOST BEAUTIFUL IDENTITY

How to Discover the Rogers Ramanujan Identities

Pi: The Next Generation

RAMANUJAN-TYPE CONGRUENCES MODULO POWERS OF 5 AND 7. D. Ranganatha

Cranks in Ramanujan s Lost Notebook

NOTES ON RAMANUJAN'S SINGULAR MODULI. Bruce C. Berndt and Heng Huat Chan. 1. Introduction

Quadratic Transformations of Hypergeometric Function and Series with Harmonic Numbers

Diverse Factorial Operators

Multi-Term Linear Fractional Nabla Difference Equations with Constant Coefficients

Srinivasa Ramanujan Life and Mathematics

On some Summation Formulae for the I-Function of Two Variables

Pacific Journal of Mathematics

On Dense Embeddings of Discrete Groups into Locally Compact Groups

1.2 REAL NUMBERS. 10 Chapter 1 Basic Concepts: Review and Preview

GENERAL FAMILY OF CONGRUENCES MODULO LARGE POWERS OF 3 FOR CUBIC PARTITION PAIRS. D. S. Gireesh and M. S. Mahadeva Naika

New modular relations for the Rogers Ramanujan type functions of order fifteen

Evaluation of integrals by differentiation with respect to a parameter

An Application of Catalan Numbers on Cayley Tree of Order 2: Single Polygon Counting

Ramanujan s Series for 1/π: A Survey

#A22 INTEGERS 17 (2017) NEW CONGRUENCES FOR `-REGULAR OVERPARTITIONS

ON VALUES OF THE PSI FUNCTION

A quasi-theta product in Ramanujan s lost notebook

Jacobi s Two-Square Theorem and Related Identities

On a reduction formula for the Kampé de Fériet function

Research Article Some New Explicit Values of Quotients of Ramanujan s Theta Functions and Continued Fractions

Open Research Online The Open University s repository of research publications and other research outputs

z-classes in finite groups of conjugate type (n, 1)

An identity of Andrews and the Askey-Wilson integral

arxiv:math/ v1 [math.nt] 28 Jan 2005

The Life of π: History and Computation a Talk for PiDay

Beukers integrals and Apéry s recurrences

THREE-SQUARE THEOREM AS AN APPLICATION OF ANDREWS 1 IDENTITY

Research Article Fourier Series of the Periodic Bernoulli and Euler Functions

Singular Overpartitions

Research Article On a New Summation Formula for

arxiv: v1 [math.gm] 31 Dec 2015

On Klein s quartic curve

Bilinear generating relations for a family of q-polynomials and generalized basic hypergeometric functions

arxiv: v2 [math.nt] 31 Jul 2011

Transcription:

www.ccsenet.org/jmr 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 E-mail: miqureshi delhi@yahoo.co.in 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 E-mail: izhargkp@rediffmail.com 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 E-mail: mpchaudhary 000@yahoo.com 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 (..5...6 (6n + ( n n (n! ( 96 ISSN 96-9795 E-ISSN 96-9809

www.ccsenet.org/jmr Journal of Mathematics Research Vol., No. August 00 R 5 6 5 + 7 ( + 89 (. + (..5 6 6. 6..6 (n + 5 ( n 6 n (n! ( R 6 (5 ( 7 5 + 9 ( ( 5 8 5 + + 6 ( 89 5 + 59 (. ( 5 6 + 6. ( 5n + 5 5 + 0n ( ( n 5 8n 6 n (5 (n! R 7 7 + 7 ( + 7.. (5n + ( n ( n ( n (n! ( 7..5 (.6.6 7 n (6 R 8 5 + 70. 5...6 + 7 (n + ( n ( n ( ( n (n! 5.5.6 5 n (7 R 9 5 5 + 6 5 +. 6 5..7 6. 5. 6. 5 (n + ( n ( 6 n ( 5 6 ( n n (8 (n! 5 R 0 85 85 8 8 + R R. 6 5 + 7. 6 85..7 6. 5. 6 6. 85 (n + 8 ( n ( 6 n ( 5 6 ( n n (9 (n! 85. +. 5...5.7.8 ( n (0n + ( n ( n ( n (n! n+ (0 R 8 8 8. + 59.. 5...5.7.8 ( n (8n + ( n ( n ( n (n! n n+ (. + 5. 8 5...5.7.8 Published by Canadian Center of Science and Education 97

www.ccsenet.org/jmr Journal of Mathematics Research Vol., No. August 00 ( n (60n + ( n ( n ( n (n! (8 n+ ( R 5 7 685 5.7 R 5 88 58 88. + 9. 5.7 5...5.7.8 ( n (6n + ( n ( n ( n (n! 5 n (7 n+ (. + 0. 88 5...5.7.8 ( n (60n + ( n ( n ( n (n! (88 n+ ( R 6 + 9 9. + 7. 9...5.7.8 (8n + ( n ( n ( n (n! 9 n (5 R 7 R 8 R 9 R 0 9 + 9 9 + 9 9 99 + 99 99 0 99 + 79 99 6. +. 9 5...5.7.8 (0n + ( n ( n ( n (n! 9 n+ (6. + 8. 9 5...5.7.8 (0n + ( n ( n ( n (n! (9 n+ (7. + 579. 99 5...5.7.8 (80n + 9 ( n ( n ( n (n! (99 n+ (8. + 588. 99 0...5.7.8 (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., 987 988 99] 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 96-9795 E-ISSN 96-9809

www.ccsenet.org/jmr 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! [75709 6 + 65757765 + n(779808967 6 + 07578980750] {580(667 + 00 6} (n+ (0. Chudnovsky Series (Chudnovsky, D. V., 988 In 989, David and Gregory Chudnovsky computed 09696 digits of, using the series [Berndt, B. C., 00, p.0] R ( n (6n! (5909 + 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,, 5 6 6 5 (6 F,,, (75 8 5 0,, (5 8 5 0 (7 5 8 (8 + 0 5 (7,,, 7 5,, 5 7 7 8 (8 Published by Canadian Center of Science and Education 99

www.ccsenet.org/jmr 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,, 5 5 8 (9, 6, 5 6,,, 5 5 5 6 (0, 6, 5 6,,, 8 85 85 55 (, 0,, 0 8 (, 8,, 8 6 9 (,, 8 60,, 60 7 (,, 685 6,, 6 590 88 5 05 (5,, 58 60,, 60 7779 58 (6,, 9 8,, 8 9 (7,, 0,, 0 8 9 (8,, 0,, 0 0 9 7 (9,, 99 80,, 9 80 980 98 09 (0,, 79 690,, 0 690 9605960 980 ( 00 ISSN 96-9795 E-ISSN 96-9809

www.ccsenet.org/jmr 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, 986566058 6+095750805 779808967 6+07578980750,, 75709 6+65757765 779808967 6+07578980750 78 {580(667 + 00 6} {580(667 + 00 6} (75709 6 + 65757765 ( 6,, 5 6, 55875 550,, 5909 550 78 (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 + 5 5 + 0n ( n ( 5 6 n (n! 8n ( ( {( + 5 5 + (0 + 5n} ( n ( n ( { 8 n ( 5 }n ( n ( n n! (5 Published by Canadian Center of Science and Education 0

www.ccsenet.org/jmr Journal of Mathematics Research Vol., No. August 00 Now using the Lemma ( in (5, we get ( + 5 5 ( 9+7 5 0+ ( 5 n n ( n ( { 8 n ( + 5 F or F ( n ( n ( +5 5 0+ 5 n n!,,, 9+7 5 0+ 5,, +5 5 0+ 5,,, (75 8 5 0,, (5 8 5 0 ( + 5 8 (7 5 8 }n ( + 5 5 (8 + 0 5 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 7000000 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, 75-90. 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, 7-60. Borwein, J. M. and Borwein, P. B. (988. More Ramanujan-type series for, in Ramanujan Revisited. Academic Press, Boston, 59-7. Borwein, J. M. and Borwein, P. B. (99. Class number three Ramanujan-type series for. J. Comput. Appl. Math, 6, 8-90. Chudnovsky, D. V. and Chudnovsky, G. V. (988. Approximations and complex multiplication according to Ramanujan, in Ramanujan Revisited. Academic Press, Boston, 75-7. 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,, 6-67. 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, 50-7. 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 96-9795 E-ISSN 96-9809