Ramanujan Number Theory PDF
Ramanujan Number Theory PDF
Ramanujan Number Theory PDF
625
Vol. i0 No. 4 (1987) 625-640
LOKENATH DEBNATH
Department of Mathematics
University of Central Florida
Orlando, Florida 32816, U.S.A.
I. INTRODUCTION
Srinivasa Ramanan is universally considered as one of the mathematical geniuses
of all time. He was born in India a hundred years ago on December 22 of that year.
His remarkable contributions to pure mathematics placed him in the rank of Gauss,
Galois, Abel, Euler, Fermat, Jacobi, Riemann and other similar stature. His
contributions to the theory of numbers are generally considered unique. During his
life-time, Ramanujan became a living legend and a versatile creative intellect. His
name will be encountered in the history of mathematics as long as humanity will study
mathematics.
Ramanujan was born on December 22, 1887 in Brahmin Hindu family at Erode near
Kumbakonam, a small town in South India. His father was a clerk in a cloth-merchant’s
office in Kumbakonam, and used to maintain his family with a small income. His mother
was a devoted housewife and had a strong religious belief. However, there was no
family history of mathematical or scientific genius.
At the age of seven, young Ramanujan was sent to the high school of Knbakonam
and remained there until he was sixteen. He was soon found to be a brilliant student
and his outstanding ability had begun to reveal itself before he was ten. By the time
Ramanujan was twelve or thirteen, he was truely recognized as one of the most
outstanding young students. He remained brilliant throughout his life and his talent
and interest were singularly directed toward mathematics. Like Albert Einstein,
Ramanujan became entranced by an elementary text book entitled A Synopsis of
Elementary Results in Pure and Applied Mathematics by George Shoobridge Cart. No
doubt that this book has had a profound influence on him and his familiarity with it
626 L. DEBNATH
During the summer of 1909, RamanuJan married Janakl and it became necessary for
him to find some permanent job. Being unemployed for about six years, he accepted a
small job in 1912 at the Madras Port Trust as clerk. He has now a steady job, and he
found he had enough time to do his own research in mathematics. He had already
published his first paper in the Journal of the Indian Mathematical Society in the
December issue of volume 3, 1911. During the next year, RamanuJan published two more
paers in volume 4 (1912) of the same Journal.
At the advice of his teacher and friend, Seshu Aiyar, RamanuJan wrote a letter on
January 13, 1913 to famous British mathematician G.H. Hardy, then Fellow of Trinity
College, Cambridge. Enclosed also in this letter was a set of mathematical results
incuding one hundred and twenty theorems. After receiving this material, Hardy
discussed it with J.E. Littlewood with regard to RamanuJan’s mathematical talent. At
the beginning Hardy was reluctant, but impressed by RamanuJan’s results on continued
fractions. Finally, Hardy decided to bring RamanuJan to Cambridge in order to pursue
some Joint research on mathematics. RamanuJan was pleased to receive an invitation
from Hardy to work with him at Cambridge. But the lack of his mother’s permission
combined with his strong Hindu religion prejudices forced him to decline Hardy’s
offer. As a result of his further correspondence with Hardy, RamanuJan’s talent was
brought to the attention of the University of Madras. The University made a prompt
decision to grant a special scholarship to RamanuJan for a period of two years. On
May I, 1913, the 25 year old RamanuJan formerly resigned from the Madras Port Trust
Office and Jolned the University of Madras as a research scholar with a small
scholarship. He remained in that position until his departure for Cambridge on March
17, 1914.
During the years 1903-1914, Ramanuj an devoted himself almost entirely to
mathematical research and recorded his results in his own notebooks. Before his
arrival in Cambridge, RamanuJan had five research papers to his name, all of which
appeared in the Journal of the Indian Mathematical Society. He discovered and/or
rediscovered a large number of most elegant and beautiful fornmlas. Thes results were
concerned with Bernoulli’s and Euler’s numbers, hypergeometric series, functional
equation for the Riemann zeta function, definite integrals, continued fractions and
distribution of primes. During his stay in Cambridge from 1914 to 1919, RamanuJan
worked ontinually together with Hardy and Littlewood on many problems and results
SRINIVASA RAMANUJAN AND PARTITIONS OF NUMBERS 627
conjectured by himself. His close association with two great mathematicians enabled
him not only to learn mathematics with rigorous proofs but also to create new
mathematics. Ramanujan was never disappointed or intimidated even when some of his
results, proofs or conjectures were erroneous or even false. Absolutely no doubt, he
simply enjoyed mathematics and deeply loved mathematical formulas and theorems. It
was in Cambridge where his genius burst into full flower and he attained great
eminence as a gifted mathematician of the world. Of his thirty-two papers, seven were
written in collaboration with Hardy. Most of these papers on various subjects took
shape during the super-productive period of 1914-1919. These subjects include the
theory of partitions of numbers, the Rogers-Ramanujan identities, hyper-geometrlc
functions, continued fractions, theory of representation of numbers as sums of
squares, Ramanujan’s Y-function, elliptic functions and q-serles.
In May 1917, Hardy wrote a letter to the University of Madras informing that
Ramanujan was infected with an incurable disease, possibly tuberculosis. In order to
get a better medical treatment, it was necessary for him to stay in England for some
time more. In spite of his illness, Ramanujan continued his mathematical research
even when he was in bed. It was not until fall of 1918 that Ramanujan showed any
definite sign of improvement. On February 28, 1918, he was elected a Fellow of the
Royal Society at the early age of thirty. He was the first Indian on whom the highest
honor was conferred at the first proposal. Niel Bohr was the only other eminent
scientist so elected as the Fellow of the Royal Society. On October 13, 1918, he was
also elected a Fellow of the Trinity College, Cambridge University with a fellowhslp
of 250 a year for the next six years. In his announcement of his election with the
award, Hardy forwarded a letter to the Registrar of Madras University by saying, "He
will return to India with a scientific standing and reputation such as no Indian has
enjoyed before, and I am confident that India will regard him as the treasure he
is." He also asked the University to make a permanent arrangement for him in a way
which could leave him free for research. The University of Madras promptly responded
to Hardy’s request by granting an award of 250 a year for five years from April I,
1919 without any duties or assignments. In addition, the University also agreed to
pay all of his travel expenses from England to India. In the meantime, RamanuJan’s
health showed some signs of improvement. So it was decided to send him back home as
it deemed safe for him to travel. Accordingly, he left England on February 27, 1919
and then arrived at Bombay on March 17, 1919. His return home was a very pleasant
news for his family, but everybody was very concerned to see his mental and physical
conditions as his body had become thin and emaciated. Everyone hoped that his return
to his homeland, to his wife and parents and to his friends may have some positive
impact on his recovery from illness. Despite his loss of weight and energy, RamanuJan
continued his mathematical research even when he was in bed.
In spite of his health gradually deteriorating, RamanuJan spent about nine months
in different places including his home town of Kumbakonam, Madras and a village of
Kodumudi on the bank of the river Kaveri. The best medical care and treatment
availalbe at that time were arranged for him. Unfortunately, everything was
nsuccesful. He died on April 29, 1920 at the age of 32 at Chetput, a suburb of Madras,
surrounded by his wife, parents, brothers, friends and admirers.
628 L. DEBNATH
In his last letter to Hardy on January 12, 1920, three months before his death,
RamanuJan wrote: "I discovered very interesting functions recently I call ’Mock’
O-functlons. Unlike ’False’0-functlons (studied by Professor Rogers in his interesting
paper) they enter into mathematics as beautifully as the ordlnaryO-functions. I am
sending you with this letter some examples." Like his first letter of January 1913,
Ramanujan’s last letter was also loaded with many interesting ideas and results
concerning q-serles, elliptic and modular functions. In order to pay tribute to
Srlnlvasa Ramanujan, G.N. Watson selected the contents of RamanuJan’s last letter to
Hardy along with Ramanujan’s five pages of notes on the Mock Theta functions for his
1935 presidential address to the London Mathematical Society. In his presidential
address entitled "The Final Problem: An Account of the Mock Theta Functions", Watson
(1936) discussed Ramanujan’s results and his own subseqent work with some detail. His
concluding remarks included: "Ramanujan’s discovery of the Mock Theta functions makes
it obvious that his skill and ingenuity did not desert him at the oncoming of his
untimely end. As much as his earlier work, the mock theta functions are an
achievement sufficient to cause his name to be held in lasting remembrance. To his
students such discoveries will be a source of delight Clearly, RamanuJan’s
contributions to elliptic and modular functions had also served as the basis of the
subsequent developments of these areas in the twentieth century.
It follows from the above examples that the value of the partition function p(n)
depends on both the size and nature of parts of n. These examples also lead to the
concept of restricted and unrestricted partitions of an integer. The restrictions may
sometimes be so stringent that some numbers have no partitions at all. For example,
I0 cannot be partitioned into three distinct odd parts.
by using a display of lattice points (dots) called a Ferret graph. For example, the
partition of 20 given by 7+4+4+3+I+I can be represented by 20 dots arranged in five
rows as follows:
Above examples with the geometrical representation indicate that partitions have
inherent symmetry. In quantum mechanics, such geometric representations of partitions
are known as Youn Tableaux which was introduced by Young for his study of symmetric
groups. They were also found to have an important role in the analysis of the
symmetries of many-electron systems.
The above discussions also illustrate some important and useful role of the
partition function from mathematical, geometrical and physical points of view. In
additive questions of the above kind it is appropriate to consider a power series
F(x)
n=O
.
generating function of p(n) defined by
From this elementary idea of generating function, Euler formulated the analytical
(2.1)
where p(o)
F(x)--
m
(l-x m) .
theory of partitions by proving a simple but a remarkable result:
n=o
p(n)x n, Ix{ < (2.2)
-
If 0 < x < and an integer m > and
m -I
F (x) (I -x k) + Z p(n) x n, Ixl < (2.3)
k=l n=0
and
630 L. DEBNATH
Furthermore
For example, the generating function for the partition of n into distinct
(unequal) integral parts is
2 4 6
-x -x -x
F(x)
2 3
-x -x -x
Another beautiful result follows from Euler’s theorem and has the form
-
(1-x 2)
(l-x 4) (l-x6) l+xl+ x3+ x6+ xl0+ (2.9)
(l-x) (l-x 3) (l-x 5)
n
The powers of x are the familiar triangular numbers,
An n(n+l) that can be
represented geometrically as the number of equidistant points in triangles of
different sizes. These points form a triangular lattice. As a generalization of this
idea, the square numbers are defined by the number of points in square lattices of
increasing size, that is, I, 4, 9, 16, 25
m--I
where
(l-x m)
Pe(n)
I+
is
[
n=l
the
Pe(n)
partition
Po(n)}x
of n
n
n=
into
. an
(-I) nxm(n)
parts, and
Po(n) is the partition of an odd number of distinct parts, and the integers
m(n) (3n2- n) are called the Euler pentagonal numbers which can be represented
geometrcally by the number of equidistant points in a pentagon of increasing size.
SRINIVASA RAMANUJAN AND PARTITIONS OF NUMBERS 631
These points form a pentagonal lattice. Also, it follows from (2.2) and (2.10) by
actual computation that
F(x) (2.11)
(I x m)
2
l-x-x + x5+ x x
12
x 15+
m
In view of the fact that the generating functions for the partition of numbers
involve infinite products which play an important role in the theory of elliptic and
associated functions (Dutta and Debnath, 1965).
All these results are included in his famous conjecture: If p--5,7 or II and
24n- --0 (mod pa), > I, then
Subsequently, D.H. Lehmer (1936) became deeply involved in the proof of the conjecture
and also in the computation of p(n) for large n. G.N. Watson (1938) proved
RamanuJan’s conjecture for powers of 7. Finally, A.O.L. Atkin (1967) settled the
problem by proving the conjecture for powers of II. RamanuJan’s conjecture can now be
a b
stated as an important theorem: If 24n-I 0 (mod dr5 7 llC), then
where (x)
.
=0
p(7m + 5) x
(l-x n)
m
7
’(x 7
(x
L. DEBNATH
’4
3
+ 49x
((x)
(x)
7
8
7
(2.19)
(2.20)
n
The functions on the right side of (2.18) (2.19) have power series expansions with
integer coefficients, Ramanujan’s congruences (2.12) (2.13) follow from these
identities. Subsequently, these identities have created a tremendous interest among
many researchers including H.B.C. Darling, L.J. Mordell, H. Rademacher and H.S.
Zuckermann. They proved RamanuJan’ s identities by using the theory of modular
functions. Proofs without modular functions were given by D. KruyswlJk (1950) and
later by O. Kolberg. The method of Kolberg gave not only the RamanuJan identities but
many new ones.
Actual computation reveals that the partition function p(n) grows very rapidly
with n. D.H. Lehmer (1936) computed p(n) for n 14,031 to verify a conjecture of
_
Ramanujan which asserts that p(14,031) 0 (mod 114). This assertion was found to be
correct. This leads to the question of asymptotic representation of p(n) for large
n. ,During the early part of the 20th century, Hardy and RamanuJan made significant
progress in the determination of an asymptotic formula for p(n). Using elementary
arguments, they first showed
Then, with the aid of a Tauberlan Theorem, Hardy and RamanuJan (1918) proved that
2
p(n)
4n/3
exp [II [--) as n (2.22)
This is one of the most remarkable results in the theory of numbers. Equally
remarkable was Hardy and RamanuJan’s proofs of (2.22). One proof is based on the
elementary recurrence relation
p(n)
F(n) (o) _/__I [ F_)dz (2.24)
n! 2i
C z
where F(z) is analytic inside the unit disk Izl in the complex z-plane, C is a
suitable closed contour enclosing the origin and lying entirely within the unit
disk. It turns out that the unit clrcle is a natural boundary for F(z).
We choose C as a circle with the origin as center and radius r (0 < r < I) in the
SRINIVASA RAMANUJAN AND PARTITIONS OF NUMBERS 633
27 iT
F(e (I _e2iTm)
m
(iT] [n(T)] -1
exP,12 (2.25)
-
p(n) n(T) Im (T) > 0 (2.26)
r
where F is the of length unity, parallel to the real axis, from
line segment
2
+ ie to + ie, e
n
n
24 >
We also assume C to be such that
0 and
F is its image under the transformation z exp(2wiT).
The function n(T) has a simple pole at T=0. RamanuJan and Hardy proved
rigorously that the main contribution to the integral for p(n) given by (2.26) comes
from the polar singularity at
given by
T--0 as n . Thus the asymptotic value of p(n) is
p(n)
4
2
n
exp (ln K) + 0
(elK:n ), n+
n
(R), (2.27)
where K
p(n) ---/--I
2
Z q Aq (n)
q=l
d
Kn]
[n slnh--- n >_ I, (2.28)
where
A (n) exp(-2ip/q), exp[is(p,q)], (p,q) I, (2.29abc)
q P, q P, q
p--q
and s(p,q) is the Dedekind sum.
n(0) E N (3.1)
where n denotes (in units of 00) the energy of the assembly, excluding the residual
energy given by the second term of the right side of (3.1).
We denote ?(E) for the number of distinct wave functions assigned to the
assembly for the energy state E. It is well known that for a Bose-Einsteln assembly
the number of assigned wave functions is the number of ways of distributing n energy
quanta among N identical oscillators without any restriction as to the number of
quanta assigned to the oscillator. For a Fermi-Dirac assembly, the energy quanta
assigned to all oscillators are all different. For the case of a classical Maxwell-
Boltzmann assembly, oscillators are considered as distinguishable from each other, and
the number of wave functions is simply the number of ways of distributing n energy
quanta among N distinguishable oscillators. This is equal to the number of ways of
assigning N elements to n positions, repetitions of any element are permissible.
hand, the number of partitions of n into exactly d or less different parts is denoted
by qd(n) and Qd(n) sands for the number of partitions of n into exactly d unequal
parts so that [ Qk(n)
qd(n) k--1 We also observe the following results:
where
-I
Z
is
.
The state function Z for an assembly is defined by
(E
the
e
-E m
where
Z
kT
-,
n=l
.
assembly of the linear oscillators, the state function Z is given by
PN(n) exp[-(n +
N -I
ZeN-- (l_er) (3.9)
r--I
For the Fermi-Dirac assembly, we have
-
For the classical Maxwell-Boltzmann case, we have
-N
N= NI_.!
Ze
" I-e (3.11)
- -
It is interesting to point out that as N2/ 0
N -I -N N
II (l-e -r (l-e II {l+e +e-(r-l)}-I
r=l
-N
-!(1 _e- (3.12)
This means that the classical statistics is the limit of both results (3.9) and
(3.10).
The above expressions for the state function Z were used to obtain the result for
the energy E (or n) and the entropy S. Using the expression for S, asymptotic
formulas for the partition functions PN(n) and p(n) as follows:
N-I
PN(n NI_ ! N
H
n
exp(2N) n
27 N
2N
for N < < n (3.13)
636 L. DEBNATH
D x )} t x
D exp[{( (I- --x
e -I
f _-
et-I
log (l-e-t)} dt +
2(eX-1) (3.16)
PN(n) o
2n [2e(l-e -x) (I
x2
}l I/2
x
e -I
where D is given by
x
D fo (et-l)-lt dt (3.17)
x
D N xe + 0( 2)
(eX-l) 2}
n ++ (3.18)
p
2
2 2(eX-l) 4+ 2 e
x -I
It is important to point out that this general result for PN(n) reduces to (3.13) as
xffiN 0, and to (3.14) as xfN
On the other hand, Temperley (1949) applied the RamanuJan-Hardy theory of
partitions to discuss results of the Bose-Einsteln condensation theory. He considered
a problem different from that of Auluck and Kothari. His model consists of N
particles obeying Bose-Einstein statistics distributed among infinitely many energy
levels 0, e, 2e, 3, of uniform spacing E in such a way that the total energy
is cE. The partition function PN(E) representing the number of ways of dividing an
I/(l-x)(l-xz)(1-xz2)(l-xz 3
Temperley used the RamanuJan-Hardy asymptotic method to compute
.
integer E (energy) into N or less integral parts has the generating function
N E Pn (E) xNzE,
PN(E)
(3.19)
for large N.
His analysis gives
pN(Z) i/ Eexp
[7 exp I- J6E N > > (3.20)
This result is similar to that of Auluck and Kotharl (1946) who considered the problem
of distribution of a fixed amount of energy between N harmonic oscillators of equal
frequency, and solved it from the statistical mechanics of harmonic oscillators.
Temperley also investigated the Bose-Einsteln perfect gas model which is also
equivalent to a certain problem in the partition of numbers into sums of squares. The
SRINIVASA RAMANUJAN AND PARTITIONS OF NUMBERS 637
where
h
8md
2
K(r,s,t)
2
(p 2+
8md
2
Each
K(r s t)
integral
All these above discussions show a clear evidence for the great importance as
well as success of the RamanuJan-Hardy theory of partitions in statistical mechanics.
where p(n) is the unrestricted partition function due to Hardy and RamanuJan (1918).
638 L. DEBNATH
z d
dP(n) exp [{’" n(d----) (3.26)
(3.27)
These results are in excellent agreement with those of Hardy and RamanuJan (1918) upto
the expotentlal order. The asymptotic result for the unrestricted partition is found
to be very useful for computing the dominant term in the expression for the entropy of
the corresponding thermodynamic system.
Dutta’s partition function is not only more general than that introduced by
earlier authors, but also it is more useful for the study of problems in statistical
physics. Mathematical problems of Gentile statistics deals with the partitions of numbers
(energy) into parts in which repetition of parts are restricted differently. In
partitions corresponding to Bose statistics, any part can be repeated any number of
times (d / (R)). The Fermi statistics deals with the partitions of number into parts in
which no part can repeat (d=l). In partitions corresponding to Gentile statistics,
any part can be repeated up to d times. In other words, Dutta’s partition function
p(n)
d is found to be useful for an investigation of thermodynamic problems.
4. CONCLUDING REMARKS
It is hoped that enough has been discussed to give some definite impression of
Ramanujan’s great character as well as of the range and depth of his contributions to
pure mathematics. Throughout his life, Ramanujan was deeply committed to his family
and friends. He also expressed an unlimited interest in education and deep compassion
for poor students and orphans who needed support for their education. He also
profoundly believed in the dignity and work of human being. RamanuJan’s entire life
was totally dedicated to the pursuit of mathematical truth and dissemination of new
mathematical knowledge. His genius was recognized quite early in his llfe and has
never been in question. Indeed, Hardy in his "A Mathematician’s Apology" wrote: "I
have found it easy to work with others, and have collaborated on a large scale with
two exceptional mathematicians (Ramanujan and Littlewood) and this has enabled me to
add to mathematics a good deal more than I could reasonably have expected." Also, he
said: "All of my best work since then (1911 and 1913) has been bound up with theirs
(Ramanujan and Littlewood), ...". There is no doubt at all about RamanuJan’s profound
and ever-lasting impact on mathematics and mathematical community of the world.
Today, one hundred years after his birth, we pay tribute to this great man, and at the
same time, we can assess and marvel at the magnitude of his outstanding
achievements. By any appraisal, RamanuJan was indeed a noble man and a great
mathematician of all time.
5. ACKNOWLEDGEMENTS
REFERENCES
I0. DUTTA, M. and DEBNATH, L., Elements of the .Th.eorjof Elliptlc and Associated
Functions with Applications, World Press, Calcutta (1965).
II. GUPTA, H., Selected Topics in Number Theory, Aabacus Press, England, 1980.
12. HARDY, G.H., A Mathematician’s. Apology, Cambridge University Press, Cambridge,
1927.
13. HARDY, G.H., Collected Papers of Srlnlvasa Ramanuan, Cambridge University
Press, Cambridge, 1927.
14. HARDY, G.H., Ramanujan, Chelsea Publishing Company, New York, 1940.
15. HARDY, G.H. and RAMANUJAN, S., Asymptotic Formulae in Combinatory Analysis,
Proc. Lond. Math. Soc. 17 (1918) 75-115.
16. LEHMER, D.H., On a Conjecture of RamanuJan, Jour. Lond. Math. Soc. II (1936),
114-118.
17. LITTLEWOOD, J.E., Srlnlvasa RamanuJan, Nature 123 (1929) 631-633.
18. RADEMACHER, H., On the Partition Function p(n), Proc. Land. Math. Soc. 43
(1937) 241-254.
19. RANGANATHAN, S.R., Ramanuan, .The Man...a.nd the Mathematician, Asia Publishing
Company, Calcutta, 1967.
20. 0TEMPERLEY, H.N.V., Statistical Mechanics and the Partition of Numbers, I. The
Transition of Liquid Helium,
Pro.c.. Lond..R.o. Soc__.__. A199 (1949) 361-375.
21. WATSON, G.N., RamanuJans Vermtung uber Zerfallungsazahlen, J. Reine Angew
Math 179 (1938) 97-128.
22. WATSON, G.N., The Final Problem: An Account of the Mock Theta Functions, J.
Lond. Math. Soc. II (1936) 55-80.