Ramanujan’s First Letter to G.H. Hardy (1913)
On or about the 31st of January 1913, mathematician G.H. Hardy (1877-1947) of Trinity College at Cambridge University received a parcel of papers from Madras, India which included a cover letter from an aspiring young Indian mathematician by the name of Srinivasa Ramanujan (1887–1920). The cover letter discussed three topics:
An introduction of Ramanujan and his precarious situation;
A claim about the domain of the gamma function; and
A claim about the distribution of prime numbers;
This essay provides an overview of the mathematical content of Ramanujan’s first letter, as well as Hardy’s reaction and response.
The Cover Letter
Ramanujan’s letter may be divided into four paragraphs, covering essentially three topics: 1. An introduction of who he is; 2. A discussion of the gamma function for negative and fractional values; and 3. A discussion of the distribution of prime numbers.
The First Paragraph
I beg to introduce myself to you as a clerk in the Accounts Department of the Port Trust Office at Madras on a salary of only £20 per annum. I am now about 23 years of age. I have had no University education but I have undergone the ordinary school course. After leaving school I have been employing the spare time at my disposal to work at Mathematics. I have not trodden through the conventional regular course which is followed in a University course, but I am striking out a new path for myself. I have made a special investigation of divergent series in general and the results I get are termed by the local mathematicians as "startling".
As Kanigel (1991) writes, such an introduction was perhaps intended to incite both pity and wonder in Hardy, then 36 years old and generally recognized as the leading English pure mathematician of his day (Berndt & Rankin, 1995).
The Second Paragraph
By the second paragraph however, Ramanujan was already getting to the point of his inquiry by suggesting that he could give meaning to negative values of the so-called gamma function:
Just as in elementary mathematics you give a meaning to aⁿ when n is negative and fractional to conform to the law which holds when n is a positive integer, similarly the whole of my investigations proceed on giving a meaning to Eulerian Second Integral for all values of n. My friends who have gone through the regular course of University education tell me that
is true only when n is positive. They say that this integral relation is not true when n is negative. Supposing this is true only for positive values of n and also supposing the definition
to be universally true, I have given meanings to these integrals and under the conditions I state the integral is true for all values of n negative and fractional. My whole investigations are based upon this and I have been developing this to a remarkable extent so much so that the local mathematicians are not able to understand me in my higher flights.
Ramanujan is referring to the analytic continuation of the gamma function, despite seemingly having no knowledge of the well-known technique’s existence. Yet still, his definition of Γ(n) is precisely what one obtains if he had known of it (Berndt & Rankin, 1995).
The gamma function Γ(n) Ramanujan referred to has been an important object of study since the problem of extending the factorial function to non-integer arguments was studied by Daniel Bernoulli and Christian Goldbach in the 1720s. It is an extension of the factorial function n! (1 x 2 x 3 x 4 x 5 x …. n), shifted down by 1:
Its plot is very curious:
Here shown as the function of a variable z. Even 50 years before Ramanujan’s time, the gamma function was known to be defined for all complex values of z larger than zero. Complex numbers, as you probably know, are a class of numbers with an imaginary part, written as Re(z) + Im(z), where Re(z) is the real part (ordinary real number) and Im(z) is the imaginary part, denoted by the letter i. A complex number is typically written in the form z = σ + it where sigma σ is the real part and it is the imaginary part. Complex numbers are useful because they allow mathematicians and engineers to evaluate and work on problems where ordinary real numbers will not allow it. Visualized, complex numbers extend the traditional one-dimensional “number line” into a two-dimensional “number plane”, called the complex plane, in which the real part of a complex number is plotted on the x-axis and the imaginary part is plotted on the y-axis. In order to be able to use the gamma function Γ(z), it is typically rewritten to the form:
Using this identity, one can obtain values for z below zero. It does not however give values for negative integers, as they are not defined (technically they are singularities, or simple poles). This is where analytic continuation comes in, and where Ramanujan’s first investigation had taken him.
The Third Paragraph
Very recently I came across a tract published by you styled Orders of Infinity in page 36 of which I find a statement that no definite expression has been as yet found for the number of prime numbers less than any given number. I have found an expression which very nearly approximates to the real result, the error being negligible. I would request you to go through the enclosed papers.
Ramanujan here goes on to address the seemingly completely separate issue of the distribution of prime numbers (although, the two topics are actually related, as shown by Bernhard Riemann in his 1859 paper Ueber die Anzhal der Primzahlen unter einer gegebenen Grösse, “On prime numbers less than a given magnitude”).
Ramanujan’s claim about finding an expression for the number of prime numbers less than a given number had also been tackled before, perhaps most prominently by four mathematicians: Gauss, Legendre, Dirichlet and Riemann. A prime counting function π(x) gives the number of primes less than or equal to a given real number (x). Given that there is no known formula for finding primes, the prime counting formula is known to us only as a plot, or step function increasing by 1 whenever x is prime. The plot below shows the function up to x = 200:
Gauss considered the question of how many primes there below a given number when at the age of 15 or 16 in 1792–93. Legendre slightly later, in 1797–98 conjectured (based on prime number tables by Felkel and Vega) that a prime counting function π(n) is approximated by the function
where A and B are unspecified constants. He later approximated them to be A = 1, B = -1.08366. Both Gauss and Legendre’s prime-counting functions imply what is known as the prime number theorem, namely that:
Which in English states “As x goes to infinity, the prime counting function π(x) will approximate the function x/ln(x)”. In other words, if you count high enough, and plot the number of primes up to a very large number x, then plot x divided by the natural logarithm of x, the ratio between the two will approach 1. The two functions are plotted below for x = 1000:
Dirichlet later formulated his own approximation, which is better than that provided by Legandre and Gauss, known now as the logarithmic integral function Li(x):
Plotting this function alongside the prime counting function and the formula from the prime number theorem, we see that Li(x) is actually a better approximation than x/ln(x):
As pointed out by Berndt & Rankin (1995), Ramanujan’s claimed approximation for the prime counting function π(x) were much less precise than he believed, but still remarkable given his limited access to current books.
The Fourth Paragraph
Being poor, if you are convinced that there is anything of value I would like to have my theorems published. I have not given the actual investigations nor the expressions that I get but I have indicated the lines on which I proceed. Being inexperienced I would very highly value any advice you give me. Requesting to be excused for the trouble I give you.
In the pages that followed Ramanujan’s one-page cover letter, the self-taught mathematician would go on to provide at least 11 more pages (at least two of which are now lost) containing technical results in topics ranging from work on infinite series and the gamma function, the distribution of prime numbers, hypergeometric series, continued fractions, elliptic functions, Bromwich’s infinite series, divergent functions, a discussion of the Bernoulli numbers and more.
Certainly the most remarkable [letter] I have ever received, its author a mathematician of the highest quality, a man of altogether exceptional originality and power.
Ramanujan’s letter would be the first of numerous written communications between himself and G.H. Hardy, which would culminate in the invitation by Hardy for Ramanujan to come to Trinity College in Cambridge to work with him, which Ramanujan did in 1914.
Upon receiving the Ramanujan’s first letter however, Hardy was initially skeptical. As Kanigel (1991) writes:
"For Hardy, Ramanujan's pages of theorems were like an alien forest whose trees were familiar enough to call trees, yet so strange they seemed to have come from another planet; it was the strangeness of Ramanujan's theorems that struck him first, not their brilliance. The Indian, he supposed, was just another crank."
- Excerpt, “The Man Who Knew Infinity by Robert Kanigel” (1991)
However, after having “put the manuscript aside and lost himself in the day’s London Times”, “set to work on mathematics, kept at it until about one, then ambled over to Hall for lunch” and next been “off to the university courts on Grange Road for a game of “real” tennis” (Kanigel, 1991),
“The Indian Manuscript scraped and tugged at his composure with, as Snow (1966) wrote, its “wild theorems. Theorems such as he had never seen before, nor imagined”
After going back to read Ramanujan’s manuscripts again and seeing his theorem on continued fractions on the last page, Hardy is to have said that they “defeated me completely; I had never seen anything in the least like them before”. He asked his colleague and collaborator J. E. Littlewood (1885–1977) to take a look at the papers. Littlewood’s reaction was amazement at the Indian’s genius, leading Hardy to conclude that the letter was “certainly the most remarkable I have received” andthat Ramanujan was “a mathematician of the highest quality, a man of altogether exceptional originality and power”.
Bertrand Russell (1872–1970) later wrote that by the next day he “found Hardy and Littlewood in a state of wild excitement because they believed they had found a second Newton, a Hindu clerk in Madras making 20 pounds a year”.
G.H. Hardy’s Response
The text from G.H. Hardy’s response letter is provided below:
Letter from G.H. Hardy to S. Ramanujan (8 February 1913)
I was exceedingly interested by your letter and by the theorems which you state. You will however understand that, before I can judge properly the value of what you have done, it is essential that I should see proofs of some of your assertions.Your results seem to me to fall into roughly 3 classes:
(1) there are a number of results which are already known, or are easily deducible from known theorems;
(2) there are results which, so far as I know, are new and interesting but interesting rather from their curiosity and apparent difficulty than their importance;
(3) there are results which appear new and important, but in which almost everything depends on the precise rigour of the methods of proof which you have used.
As instances of these 3 classes I may mention
(1) [Hardy next provides examples of results of the first class] I need not say that, if what you say about your lack of training is to be taken literally, the fact that you should have rediscovered such interesting results is all to your credit. But you must be prepared for a certain amount of disappointment of this kind.There are also of course known theories of divergent series, fractional orders of differentiation and integration, and so on. I should be extremely interested to compare your theories with these.In this class also come some of your theorems about numbers. [...] But I would want particularly to see your proofs of your assertions here. You will understand that, in this theory, everything depends on rigorous exactitude of proof.I should add that theorems of this character are not only interesting, but very difficult and important. If you have some sound and independent proofs of them, it would be, in my opinion, a very remarkable achievement.
(2) [Hardy next provides examples of results of the second class]
(3) In this class I should put (assuming the proofs to be rigerous) some of your theorems about prime numbers-e.g. the expression you say you have for the number of primes < x, which is nearly exact.
It is of course possible that some of the results I have classed under (2) are really important, as examples of general methods. You always state your results in such particular forms that it is difficult to be sure about this.I hope very much that you will send me as quickly as possible at any rate a few of your proofs, and follow this more at your leisure by a more detailed account of your work on primes and divergent series. It seems to be quite likely that you have done a great deal of work worth publication; and, if you can produce satisfactory demonstrations, I should be very glad to do what I can to secure it.I have said nothing about some of your results--notably those about elliptic functions. I have not got them to refer to, as I handed them to another mathematician more expert than I in this special subject.
Hoping to hear from you again as soon as possible.
Yours very truly,
[Hardy finally adds "further notes suggested by Mr. Littlewood"]
Those interested in reading more about Srinivasa Ramanujan and his collaborations with G. H. Hardy are encouraged to obtain the books Ramanujan: Letters and Commentary* by Berndt & Rankin (1995) and The Man Who Knew Infinity* by Kanigel (1991).
Thank you for reading. Have a great week!
The Privatdozent newsletter currently goes out to 7,187 subscribers via Substack.
Berndt, B.C. & Rankin, R.A. 1995. Ramanujan: Letters and Commentary*. History of Mathematics, Vol. 9. American Mathematical Society.
Kanigel, R. 1991. The Man Who Knew Infinity*. Washington Square Press.
*This essay contains Amazon Affiliate Links