Next Article in Journal
Mollification Based on Wavelets
Next Article in Special Issue
On the q-Analogues of Srivastava’s Triple Hypergeometric Functions
Previous Article in Journal
Signal Estimation Using Wavelet Analysis of Solution Monitoring Data for Nuclear Safeguards
Previous Article in Special Issue
Some Modular Relations Analogues to the Ramanujan’s Forty Identities with Its Applications to Partitions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Golden Ratio and a Ramanujan-Type Integral

Department of Mathematical Sciences, University of Illinois at Springfield, Springfield, IL 62703,USA
Axioms 2013, 2(1), 58-66; https://doi.org/10.3390/axioms2010058
Submission received: 1 November 2012 / Revised: 2 March 2013 / Accepted: 5 March 2013 / Published: 20 March 2013

Abstract

:
In this paper, we give a pedagogical introduction to several beautiful formulas discovered by Ramanujan. Using these results, we evaluate a Ramanujan-type integral formula. The result can be expressed in terms of the Golden Ratio.

1. Introduction

The celebrated Rogers–Ramanujan continued fraction is defined as follows. For | q | < 1 ,
R ( q ) : = q 1 / 5 1 + q 1 + q 2 1 +
For excellent introductions, see [1,2]. For a recent introduction, see [3], especially Chapter 11.
Ramanujan discovered the following remarkable integral formula regarding R ( q ) , which is recorded in his “lost” notebook:
R ( q ) = 5 1 2 exp 1 5 q 1 ( 1 t ) 5 ( 1 t 2 ) 5 ( 1 t 3 ) 5 ( 1 t 5 ) ( 1 t 10 ) ( 1 t 15 ) d t t
This was first proved by Andrews [4]. See also Section 14.4 of [5] and Chapter 15 of [3]. This article is a pedagogical introduction to this remarkable identity. As a corollary, we will derive the following integral identity:
ln 4 ϕ + 3 ϕ 2 = 1 5 e 2 π 1 ( 1 t ) 5 ( 1 t 2 ) 5 ( 1 t 3 ) 5 ( 1 t 5 ) ( 1 t 10 ) ( 1 t 15 ) d t t
Here, ϕ = ( 1 + 5 ) / 2 is the Golden Ratio. The integrand in this equation is the same integrand that appears in Equation (2).

2. Proof of Equation (3)

We will break up this task into several steps (BIG STEPS 1, 2 and 3 below).
B I G   S T E P   1 :   A   d i f f e r e n t i a l   e q u a t i o n   f o r   R ( q )
First we recall the differential version of Equation (2):
5 q d d q ln R ( q ) = n = 1 ( 1 q n ) 5 ( 1 q 5 n )
This will allows us to find a formula analogous to Equation (2) in the next step.
In order to make our discussion self-contained and motivated, we will give some details on one of the known proofs, following the work of Dobbie [6] (as it illustrates many nice tricks in dealing with q-series).
Equation (4) is not easy to prove. One may ask, “How do we take the derivative of the continued fraction R ( q ) on the left-hand side of it?” What comes to rescue us is the following remarkable identity due to Rogers and Ramanujan (who discovered it independently):
R ( q ) = q 1 / 5 n = 1 ( 1 q 5 n 1 ) ( 1 q 5 n 4 ) ( 1 q 5 n 2 ) ( 1 q 5 n 3 )
Before we move on, we note that the infinite products on right-hand side of Equation (5) are related to the first and the second Rogers–Ramanujan identities; e.g., see [7]; see also Part II of [3], where readers will find three different proofs of these famous identities.
By using Equation (5), we can rewrite Equation (4) as
1 5 n = 1 ( 5 n 1 ) q 5 n 1 1 q 5 n 1 + ( 5 n 4 ) q 5 n 4 1 q 5 n 4 ( 5 n 2 ) q 5 n 2 1 q 5 n 2 ( 5 n 3 ) q 5 n 3 1 q 5 n 3 = n = 1 ( 1 q n ) 5 ( 1 q 5 n )
To prove the last identity, we will turn to yet another identity:
x ( 1 x ) 2 z ( 1 z ) 2 + j = 1 j q j 1 q j ( x j + x j z j z j ) = ( x z ) ( 1 x z ) ( 1 x ) 2 ( 1 z ) 2 ×
× n = 1 ( 1 x z q n ) ( 1 x 1 z 1 q n ) ( 1 x 1 z q n ) ( 1 x z 1 q n ) ( 1 q n ) 4 ( 1 x q n ) 2 ( 1 x 1 q n ) 2 ( 1 z q n ) 2 ( 1 z 1 q n ) 2
Now it seems that we are making things worse: it looks like we just traded one difficult identity for another identity that is more difficult! But it turns out, to one’s surprise, Equation (7) is more manageable than Equation (6). The reason is that there are more variables (x and z) in Equation (7). These variables allow us to explore the symmetries of the identity, which are essential to its proof.
Before we prove Equation (7), let us indicate how it implies Equation (6). This is be done by setting x = e 2 π i / 5 and z = x 2 . We will let readers fill in the details (see Dobbie’s original paper, or Section 15.2 of [3]).
Let us prove Equation (7). We will follow closely the discussion in Section 15.2 of [3].
  • Step I: Rewriting the sum side of Equation (7)
    Our goal is to show that the left-hand side of Equation (7) is the same as
    n = x q n ( 1 x q n ) 2 z q n ( 1 z q n ) 2
    Indeed, let us consider the sum involving x in Equation (8). We break it up according to n = 0 , n > 0 and n < 0 :
    n = x q n ( 1 x q n ) 2 = x ( 1 x ) 2 + n = 1 x q n ( 1 x q n ) 2 + x q n ( 1 x q n ) 2 = x ( 1 x ) 2 + n = 1 x q n ( 1 x q n ) 2 + x 1 q n ( 1 x 1 q n ) 2 = x ( 1 x ) 2 + j , n = 1 j x j q j n + j x j q j n = x ( 1 x ) 2 + j = 1 j x j q j 1 q j + j x j q j 1 q j
    This is the same as the sum involving x on the left-hand side of Equation (7). Doing the same with the sum involving z in Equation (8) gives the rest of the left-hand side of Equation (7).
  • Step II: Identifying the poles of the infinite product in Equation (7)
    Let us denote by F ( x , z ) the right-hand side of Equation (7). First we treat F ( x , z ) as a function of x. At the same time, we will treat z as a parameter that is not an integral power of q. We claim that F ( x , z ) has poles of order two at
    x = q n
    with n Z .
    Indeed, the denominator ( 1 x ) 2 in F ( x , z ) implies x = 1 is a pole of order 2. Similarly, the denominator ( 1 x ± 1 q j ) 2 implies x = q ± j is a pole of order 2. This proves our claim.
    Next we want to find the partial fraction expansion of F ( x , z ) . To this end, we need to determine the symmetries of F ( x , z ) .
  • Step III: Exploring the symmetries of F ( x , z )
    Readers can easily verify the following:
    F ( x , z ) = F ( z , x )
    F ( x , z ) = F ( q x , z )
    = F ( q 1 x , z )
  • Step IV: Finding the partial fraction expansion of F ( x , z )
    Our goal is to prove that
    F ( x , z ) = n Z x q n ( 1 x q n ) 2 + H ( x , z ) : = G ( x ) + H ( x , z )
    Here H ( x , z ) is a “remainder” term that has a Laurent expansion in x. Note that, by comparing with Step I above, Equation (12) implies that we have “half” of Equation (7).
    To prove Equation (12), we start with the observation that Step II implies
    F ( x , z ) = a 0 ( x ) ( 1 x ) 2 + n = 1 a n ( x ) ( 1 x q n ) 2 + a n ( x ) ( 1 x 1 q n ) 2 + H ( x , z )
    We need to determine a m .
    First we show that a 0 ( x ) = x . The part of F ( x , z ) that contributes to a 0 ( x ) comes solely from the overall prefactor (note that the infinite product becomes 1 as x 1 ). Regarding this prefactor, we note that
    ( x z ) ( 1 x z ) ( 1 x ) 2 ( 1 z ) 2 = x ( 1 x ) 2 z ( 1 z ) 2
    This implies the principal part at x = 1 is
    x ( 1 x ) 2
    and therefore a 0 ( x ) = x .
    For n > 0 , we have
    a ± n ( x ) = x ± 1 q n
    Indeed, a n = x q n follows from the fact that a 0 ( x ) = x and Equation (10), and a n ( x ) = x 1 q n follows from a 0 ( x ) = x and Equation (11).
    By folding the sum in x in Equation (13), we obtain Equation (12).
  • Step V: Determining H ( x , z )
    This is the final step: let us show that
    H ( x , z ) = G ( z )
    We recall that both H and G were defined in Equation (12). Previously, H ( x , z ) represented what cannot be determined by understanding the pole structure of F ( x , z ) . What Equation (15) says is that, H ( x , z ) can indeed be written as something known (i.e., G)—but there is a catch: the argument of G on the right-hand side of Equation (15) is z, not x. In fact, the same equation tells us the H ( x , z ) is independent of x. Let us turn to the proof.
    Since H ( x , z ) is a Laurent expansion in x (cf. the sentence right after Equation (12)), we can write it as
    H ( x , z ) = n Z b n ( z ) x n
    To determine b n , we need to know the symmetry of H ( x , z ) .
    First we note that G ( x ) satisfies
    G ( x ) = G ( x q )
    This can be easily verified and we will omit the detail of its proof. This, with Equation (10), implies
    H ( x , z ) = H ( x q , z )
    Indeed,
    H ( x , z ) = F ( x , z ) G ( x ) = F ( x q , z ) G ( x q ) = H ( x q , z )
    Equation (17) implies that only b 0 ( z ) survives in the expansion in Equation (16):
    H ( x , z ) = b 0 ( z )
    This, with Equation (12), implies
    F ( x , z ) = G ( x ) + b 0 ( z )
    By Equations (9) and (18), we have
    G ( x ) + b 0 ( z ) = G ( z ) b 0 ( x )
    Rearranging this equation gives
    G ( x ) + b 0 ( x ) = ( G ( z ) + b 0 ( z ) )
    Since the left-hand side of this equation depends on x and the right-hand side on z, we conclude that both sides equal a constant independent of either x or z. If we call this constant λ , we have
    b 0 ( z ) = λ G ( z )
    Equations (18) and (20) imply
    F ( x , z ) = G ( x ) G ( z ) + λ
    We want to show that λ = 0 . To this end, we note that Equations (9) and (21) imply
    0 = F ( x , z ) + F ( z , z ) = 2 λ
    This shows that λ = 0 , and, with Equation (21), we arrive at our final conclusion,
    F ( x , z ) = G ( x ) G ( z )
    which is Equation (7); cf. the definition of G in Equation (12) and Step I.
    B I G   S T E P   2 :   I n t e g r a t i n g   E q u a t i o n   Equation ( 4 ) )
Integrating the differential equation (4) gives
R ( q ) = A exp 1 5 q q * n = 1 ( 1 t n ) 5 ( 1 t 5 n ) . d t t
where A = R ( q * ) .
Let us set q * = 1 . As q 1 , we have
R ( q ) 1 1 + 1 1 + 1 1 + = 1 ϕ
Hence A = 1 / ϕ . This gives Equation (2).
There is another choice for q * (hence A). Ramanujan discovered the following remarkable result
R ( e 2 π ) = 2 + ϕ ϕ
This is one of striking formulas that convinced Hardy that Ramanujan’s result is deep. On Equation (23) (and several other results), Hardy said [7]:
I had never seen anything in the least like them before. A single look at them is enough to show that they could only be written down by a mathematician of the highest class. They must be true because, if they were not true, no one would have had the imagination to invent them.
With this understood, we let q * = e 2 π in Equation (22), and we have (with Equation (23)),
R ( q ) = ( 2 + ϕ ϕ ) exp 1 5 q e 2 π n = 1 ( 1 t n ) 5 ( 1 t 5 n ) . d t t
Before we turn to the last BIG STEP, let us pause and sketch a proof of Equation (23). We will follow Watson [8]. He believed that this is how Ramanujan derived this striking result. For another proof, see Section 12.1 of [3].
The key of this proof is to start with
n = 1 1 q n / 5 1 q 5 n = n Z ( 1 ) n q n ( 3 n + 1 ) / 10 n Z ( 1 ) n q 5 n ( 3 n + 1 ) / 2
To obtain the second equality, we have used Euler’s pentagonal theorem (e.g., see [1,2,3,9,10,11]): For | q | < 1 ,
n = 1 ( 1 q n ) = j = ( 1 ) j q j ( 3 j + 1 ) / 2
Looking carefully at the sum in the numerator reveals that it can be written as
n Z ( 1 ) n q n ( 3 n + 1 ) / 10 = m Z a m q m + q 2 / 5 m Z b m q m + q 1 / 5 m Z c m q m
: = J 1 ˜ + q 2 / 5 J 2 ˜ + q 1 / 5 J 3 ˜
Here J i ˜ are integral power series of q.
In fact, we have more: careful analysis reveals that J 3 ˜ is actually the denominator of Equation (25):
J 3 ˜ = n Z ( 1 ) n q 5 n ( 3 n + 1 ) / 2
This is remarkable!
Equations (25)–(27) imply that
q 1 / 5 n = 1 1 q n / 5 1 q 5 n = q 1 / 5 J 1 1 + q 1 / 5 J 2
where we have defined J i : = J i ˜ / J 3 ˜ for i = 1 , 2 .
The next step is truly miraculous: one can show that
J 1 ( q ) J 2 ( q ) = 1
and
J 1 ( q ) = q 1 / 5 R ( q )
The proof of these identities are long and we refer readers to Watson’s paper [8] (or see Section 12.2 of [3]).
With Equation (28), these identities imply
q 1 / 5 n = 1 1 q n / 5 1 q 5 n = 1 R ( q ) 1 R ( q )
which is a key step in proving Equation (23). As an aside, we note that Equation (29) can be used to derive Ramanujuan’s “Most Beautiful Identity”: for | q | < 1 ,
n = 0 p ( 5 n + 4 ) q n = 5 n = 1 ( 1 q 5 n ) 5 ( 1 q n ) 6
Here p ( n ) is the partition function defined by n = 0 p ( n ) q n = n = 1 ( 1 q n ) 1 . For an excellent introduction to this amazing identity, see a recent paper by Hirschhorn [12] (and stay tuned for his forthcoming book). To understand how Equation (29) implies this identity, see Chapter 16 of [3].
At q = e 2 π , the left-hand side of Equation (29) can be shown to reduce to 5 . This is the consequence of a famous identity satisfied by the eta function η ( z ) : = q 1 / 24 n = 1 ( 1 q n ) , where q = e 2 π i z and Im   z > 0 :
η 1 z = z i η ( z )
(see, e.g., Apostol’s book [13] for a proof; see also Appendix A of [3], which sketches three different proofs of this important result). In other words, we have
1 R ( e 2 π ) 1 R ( e 2 π ) = 5
Solving this equation gives the desired result R ( e 2 π ) = 2 + ϕ ϕ .
B I G   S T E P   3 :   T h e   p u n c h   l i n e
This is actually a small step! By equating Equation (2) and Equation (24), we have
1 ϕ exp 1 5 q 1 n = 1 ( 1 t n ) 5 ( 1 t 5 n ) . d t t = ( 2 + ϕ ϕ ) exp 1 5 q e 2 π n = 1 ( 1 t n ) 5 ( 1 t 5 n ) . d t t
Rearranging this equation gives
ϕ ( 2 + ϕ ϕ ) = exp 1 5 e 2 π 1 n = 1 ( 1 t n ) 5 ( 1 t 5 n ) . d t t
which is equivalent to our key result Equation (3). ☐

3. Final Remarks

Recently the present author, inspired by Equation (5), discovered a Wallis-type formula for the Golden Ratio (see [14]):
1 ϕ = 1 × 6 × 11 × 16 × 4 × 9 × 14 × 19 × 2 × 7 × 12 × 17 × 3 × 8 × 13 × 18 ×
To see this heuristically: let q 1 in Equation (5) and apply the L’Hôpital’s rule. See [14] for a simple but rigorous proof. (One of the reviewers kindly showed us a proof of it. It turns out, it is essentially same as that in [14]! ) Note that one may regard Equation (5) as a q-deformation of Equation (31).
This formula further implies (again, see [14] for details):
ϕ 3 = 9 + 1 6 K n = 1 ( 5 n + 1 ) ( 5 n + 2 ) ( 5 n + 3 ) ( 5 n + 4 ) 10 ( 5 ( n + 1 ) 2 + 1 )
where we have used the K notation for continued fractions (where K is for Kettenbrüche in German):
K n = 1 B n A n = B 1 A 1 + B 2 A 2 + B 3 .
Here is an open question: find a q-deformation of Equation (32).

Acknowledgements

The author would like to thank Bruce Berndt and Amanda Folsom for inviting him to speak at their seminars, where part of this work was discussed. He wants to thank the reviewers for their encouragement and excellent comments. He also wants to thank Hari Srivastava for inviting him to contribute to this special issue, celebrating the 125-th anniversary of the birth of the maestro, whose life and works have inspired so many of us.

References

  1. Andrews, G.E. The Theory of Partitions; Cambridge University Press: New York, NY, USA, 1998. [Google Scholar]
  2. Berndt, B.C. Number Theory in the Spirit of Ramanujan; American Mathematical Society: Providence, RI, USA, 2006. [Google Scholar]
  3. Chan, H.-C. An Invitation to q-series: From Jacobi’s Triple Product Identity to Ramanujan’s “Most Beautiful Identity”; World Scientific: Singapore, 2011. [Google Scholar]
  4. Andrew, G.E. Ramanujan’s “Lost” Notebook. III. The Rogers-Ramanujan continued fraction. Adv. Math. 1981, 41, 186–208. [Google Scholar] [CrossRef]
  5. Andrews, G.E.; Berndt, B.C. Ramanujan’s Lost Notebook, Part I; Springer-Verlag: New York, NY, USA, 2005. [Google Scholar]
  6. Dobbie, J.M. A simple proof of some partition formulae of Ramanujan’s. Quart. J. Math. Oxford 1955, 6, 193–196. [Google Scholar] [CrossRef]
  7. Hardy, G.H. Ramanujan; AMS Chelsea Publishing: Providence, RI, USA, 1999. [Google Scholar]
  8. Watson, G.N. Theorems stated by Ramanujan (VII): Theorems on continued fractions. J. Lond. Math. Soc. 1929, 4, 39–48. [Google Scholar] [CrossRef]
  9. Bressoud, D.M. Proofs and Confirmations; MAA/Cambridge University Press: New York, NY, USA, 1999. [Google Scholar]
  10. Chu, W.; Di Claudio, L. Classical Partition Identities and Basic Hypergeometric Series; Università deg;o Stido di Lecce: Lecce, Italy, 2004. [Google Scholar]
  11. Venkatachaliengar, K.; Cooper, S. Development of Elliptic Functions according to Ramanujan; World Scientific: Singapore, 2011. [Google Scholar]
  12. Hirschhorn, M. Ramanujan’s “Most Beautiful Identity”. Monthly 2011, 118, 839–845. [Google Scholar]
  13. Apostol, T.M. Modular Functions and Dirichlet Series in Number Theory, 2nd ed.; Springer-Verlag: New York, NY, USA, 1997. [Google Scholar]
  14. Chan, H.-C. The Rogers-Ramanujan continued fraction and the golden ratio. To be submitted for publication.

Share and Cite

MDPI and ACS Style

Chan, H.-C. Golden Ratio and a Ramanujan-Type Integral. Axioms 2013, 2, 58-66. https://doi.org/10.3390/axioms2010058

AMA Style

Chan H-C. Golden Ratio and a Ramanujan-Type Integral. Axioms. 2013; 2(1):58-66. https://doi.org/10.3390/axioms2010058

Chicago/Turabian Style

Chan, Hei-Chi. 2013. "Golden Ratio and a Ramanujan-Type Integral" Axioms 2, no. 1: 58-66. https://doi.org/10.3390/axioms2010058

APA Style

Chan, H. -C. (2013). Golden Ratio and a Ramanujan-Type Integral. Axioms, 2(1), 58-66. https://doi.org/10.3390/axioms2010058

Article Metrics

Back to TopTop