The Rogers-Ramanujan Identities

Fazlee Hossain, Sabuj Das, Haradhan Kumar Mohajan

  Open Access OPEN ACCESS  Peer Reviewed PEER-REVIEWED

The Rogers-Ramanujan Identities

Fazlee Hossain1, Sabuj Das2, Haradhan Kumar Mohajan3,

1Department of Mathematics, University of Chittagong, Bangladesh

2Department of Mathematics, Raozan University College, Bangladesh

3Premier University, Chittagong, Bangladesh

Abstract

In 1894, Rogers found the two identities for the first time. In 1913, Ramanujan found the two identities later and then the two identities are known as The Rogers-Ramanujan Identities. In 1982, Baxter used the two identities in solving the Hard Hexagon Model in Statistical Mechanics. In 1829 Jacobi proved his triple product identity; it is used in proving The Rogers-Ramanujan Identities. In 1921, Ramanujan used Jacobi’s triple product identity in proving his famous partition congruences. This paper shows how to generate the generating function for C'(n), C1'(n), C''(n), and C1''(n), and shows how to prove the Corollaries 1 and 2 with the help of Jacobi’s triple product identity. This paper shows how to prove the Remark 3 with the help of various auxiliary functions and shows how to prove The Rogers-Ramanujan Identities with help of Ramanujan’s device of the introduction of a second parameter a.

Cite this article:

  • Hossain, Fazlee, Sabuj Das, and Haradhan Kumar Mohajan. "The Rogers-Ramanujan Identities." Turkish Journal of Analysis and Number Theory 3.2 (2015): 37-42.
  • Hossain, F. , Das, S. , & Mohajan, H. K. (2015). The Rogers-Ramanujan Identities. Turkish Journal of Analysis and Number Theory, 3(2), 37-42.
  • Hossain, Fazlee, Sabuj Das, and Haradhan Kumar Mohajan. "The Rogers-Ramanujan Identities." Turkish Journal of Analysis and Number Theory 3, no. 2 (2015): 37-42.

Import into BibTeX Import into EndNote Import into RefMan Import into RefWorks

1. Introduction

In this article, we give some related definitions of , , , , , and . We describe the generating functions for , , , , and , and establish the Remarks 1 and 2 with numerical examples and also prove the Corollaries 1 and 2 with the help of Jacobi’s triple product identity [3]. We transfer the auxiliary function into another auxiliary function with the help of Ramanujan’s device of the introduction of a second parameter a [5],

to

where k =1, and a = x, it is used in proving The Rogers-Ramanujan Identity 1. We prove The Rogers-Ramanujan Identities with the help of auxiliary functions.

2. Some Related Definitions

[7]: The number of partitions of n like: 4, 3+1, 2+2, 2+1+1, 1+1+1+1 P (4)=5.

[6]: The number of partitions of n into parts each of which is of one of the forms 5m + 1 and .

: The number of partitions of into m parts at most.

: The number of partitions of n into parts of the forms 5m + 2 and 5m + 3.

: The number of partitions of n into parts without repetitions or parts whose minimal difference is 2.

: The number of partitions of into m parts at most.

: The number of partitions of n into parts not less than 2 and with minimal difference 2.

3. Generating Functions for C'(n) and C''(n)

In this section we describe the generating functions for and respectively. The generating function for is of the form [5];

(1)

where the coefficient of is the number of partitions of n into parts each of which is of one of these forms 5m + 1 and 5m + 4.

Now we consider a special function, which is given below:

It is convenient to define . The coefficient of in the above expansion is the number of partitions of into m parts at most. Another special function, which is defined as;

(2)

where the coefficient is the number of partitions of n into parts without repetitions or parts, whose minimal difference is 2.

From (1) and (2) we can establish the following Remark:

Remark 1:

(3)

i.e., the number of partitions of n with minimal difference 2 is equal to the number of partitions of n into parts of the forms 5m + 1 and 5m + 4.

Example 1: For n = 11, there are 7 partitions of 11 that are enumerated by of above statement, which are given bellow [6]:

There are 7 partitions of 11 are enumerated by of above statement, which are given bellow:

Hence, .

We can conclude that, .

which will be proved later as identity 1, it is known as The Rogers-Ramanujan identity 1.

The generating function for is of the form [1];

(4)

where the coefficient is the number of partitions of n into parts of the forms 5m + 2 and .

Now we consider a special function, which is of the form [1];

where the coefficient of in the above expansion is the number of partitions of into m parts at most.

Another special function, which is defined as;

(5)

where the coefficient is the number of partitions of n into parts not less than 2 and with minimal difference 2.

From (4) and (5) we can establish the following Remark:

Remarks 2:

(6)

i.e., the number of partitions of n into parts not less than 2 and with minimal difference 2 is equal to the number of partitions of n into parts of the forms 5m + 2 and 5m + 3.

Example 2: If n = 11, the four partitions of 11 into parts not less than 2 and with minimal difference 2 are given below:

Hence, .

Again the four partitions of 11 into parts of the form 5m + 2 and 5m + 3 are given as;

Hence, .

.

We can conclude that, .

i.e.,

which will be proved later as identity 2, it is known as The Rogers-Ramanujan identity 2.

Now we give two Corollaries, which are related to the Jacobi’s triple product identity [3].

Corollary 1:

Proof: From Jacobi’s Theorem [2] we have;

for all z except z = 0, if .

If we write for x, for z and replace n by n + 1 on the left hand side we obtain;

Hence, the Corollary.

Corollary 2:

Proof: From Jacobi’s Theorem we have;

for all z except z = 0, when .

If we write for x, for z and replace n by n + 1 on the left hand side we obtain;

Hence the Corollary.

4. The Rogers-Ramanujan Identities

First we transfer the following auxiliary function into another auxiliary function. Let us consider the auxiliary function [1, 2] with and .

(7)

it is known as Ramanujan’s device of the introduction of a second parameter a, where k is 0, 1 or 2 and ,

Hence,

where ,

(8)

which is another auxiliary function, and it is used in proving The Rogers-Ramanujan Identities [1].

But from (7) we can easily verify that with k = 1, 2 and a = x.

(9)
(10)

From (8) we can also find that, if k =1 and a = x, then;

(11)

Again for k = 2 and a = x, we get;

(12)

Now we can consider the following Remark [2].

Remark 3: , where the operator η is defined by η f(a) = f(ax), and k = 1 or 2.

Proof: From (8) we have;

where , and ,

It is convenient to define , . We have;

Now we have, and , hence,

In the second sum on the right hand side of the Identity we change n into n + 1. Thus,

We have and so,

Hence, the Remark.

The Rogers-Ramanujan Identities

Identity 1 [4]:

Identity 2 [4]:

Proof: From (8) we have;

(13)

where .

From above Remark we have;

where the operator η is defined by η f(a) = f(ax), and k = 1 or 2. In particular

(14)

So we have,

(15)

Suppose now that;

(16)

where the coefficients depend on x only. Substituting this into (15), we obtain;

Hence, equating the coefficients of various powers of a from both sides we get;

From (13) and (16), we have for k = 2;

If a = x, then;

Therefore,

Hence the Identity 1.

Again from (13), (14) and (16) we have with k = 1,

If a = x, then we have;

Therefore,

Hence the Identity 2.

5. Conclusion

In this study, we have shown with the help of a numerical example when n=11, and also have shown with the help of a numerical example when n =11. We have transferred the auxiliary function into another auxiliary function with the help of Ramanujan’s device of the introduction of a second parameter a,

i.e.,

to

where k =2, and a = x, it is used in proving The Rogers-Ramanujan Identity 2. Finally we have proved The Roger-Ramanujan Identities with the help of auxiliary function,

where .

References

[1]  Andrews, G.E, “An Introduction to Ramanujan’s Lost Notebook”, American Mathmatical Monthly, 86: 89-108. 1979.
In article      CrossRef
 
[2]  Hardy, G.H. and Wright, E.M. “Introduction to the Theory of Numbers”, 4th Edition, Oxford, Clarendon Press, 1965.
In article      
 
[3]  Jacobi, C.G.J. (1829), “Fundamenta Nova Theoriae Functionum Ellipticarum (in Latin), Konigsberg Borntraeger, Cambridge University Press, 2012.
In article      
 
[4]  Baxter, R.J., “Exactly Solved Model in Statistical Models”, London, Academic Press, 1982.
In article      
 
[5]  Ramanujan, S., “Congruence Properties of Partitions”, Math, Z. 9: 147-153. 1921.
In article      CrossRef
 
[6]  Ramanujan, S., “Some Properties of P(n), Number of Partitions of n”, Proc. of the Cam. Philo. Society XIX, 207-210. 1919.
In article      
 
[7]  Das, S. and Mohajan, H.K., “Generating Function for P(n,p,*) and P(n, *,p)”, Amer. Rev. of Math. and Sta. 2(1): 33-35. 2014.
In article      
 
  • CiteULikeCiteULike
  • MendeleyMendeley
  • StumbleUponStumbleUpon
  • Add to DeliciousDelicious
  • FacebookFacebook
  • TwitterTwitter
  • LinkedInLinkedIn