Srinivasa Ramanujan

Srinivasa Ramanujan (1887-1920) was an Indian mathematician who made great and original contributions to many mathematical fields, including complex analysis, number theory, infinite series, and continued fractions. He was "discovered" by G. H. Hardy and J. E. Littlewood, two world-class mathematicians at Cambridge, and enjoyed an extremely fruitful period of collaboration with them from 1914 to 1919. Unfortunately, his mathematical career was curtailed by health problems; he returned to India and died when he was only 32 years old.

Hardy, who was a great mathematician in his own right, recognized Ramanujan's genius from a series of letters that Ramanujan sent to mathematicians at Cambridge in 1913. Like much of his writing, the letters contained a dizzying array of unique and difficult results, stated without much explanation or proof. The contrast between Hardy, who was above all concerned with mathematical rigor and purity, and Ramanujan, whose writing was difficult to read and peppered with mistakes but bespoke an almost supernatural insight, produced a rich partnership.

Since his death, Ramanujan's writings (many contained in his famous notebooks) have been studied extensively. Some of his conjectures and assertions have led to the creation of new fields of study. Some of his formulas are believed to be true but as yet unproven.

There are many existing biographies of Ramanujan. The Man Who Knew Infinity, by Robert Kanigel, is an accessible and well-researched historical account of his life. The rest of this wiki will give a brief and light summary of the mathematical life of Ramanujan. As an appetizer, here is an anecdote from Kanigel's book.

Many of Ramanujan's mathematical formulas are difficult to understand, let alone prove. For instance, an identity such as

\[\frac1{\pi} = \frac{2\sqrt{2}}{9801}\sum_{k=0}^{\infty} \frac{(4k)!(1103+26390k)}{(k!)^4 396^{4k}}\]

is not particularly easy to get a handle on. Perhaps this is why the most famous mathematical fact about Ramanujan is trivial and uninteresting, compared to the many brilliant theorems he proved.

The story goes that Hardy was visiting Ramanujan in the hospital, and remarked offhandedly that the taxi he had taken had a "dull number," 1729. Instantly Ramanujan replied, "No, it is a very interesting number! It is the smallest positive integer expressible as the sum of two positive cubes in two different ways."

That is, \( 1729 = 1^3+12^3 = 9^3+10^3 \).

Hardy and Wright proved in 1938 that for every \( n \), there is a positive integer \( \text{Ta}(n) \) that is expressible as the sum of two positive cubes in \( n \) different ways. So \( \text{Ta}(2) = 1729 \). \((\)The value of \( \text{Ta}(2) \) had been known since the \(17^\text{th}\) century, which is in some sense characteristic of Ramanujan as well: as he was largely self-taught, he was often rediscovering theorems that were already well-known at the same time as he was constructing entirely new ones.\()\) The numbers \( \text{Ta}(n) \) are called taxicab numbers in honor of Hardy and Ramanujan.

Ramanujan developed several formulas that allowed him to evaluate nested radicals such as \[ 3 = \sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{\cdots}}}}. \] This is a special case of a result from his notebooks, which is proved in the wiki on nested functions.

He also contributed greatly to the theory of continued fractions. One of the identities in his letter to Hardy was \[ 1+\frac{e^{-2\pi}}{1+\frac{e^{-4\pi}}{1+\frac{e^{-6\pi}}{\cdots}}} = \left( \sqrt{\frac{5+\sqrt{5}}2} - \frac{1+\sqrt{5}}2 \right)e^{2\pi/5}. \] This and several others along these lines were among the results that convinced Hardy that Ramanujan was a brilliant mathematician. This result is in fact a special case of the Rogers-Ramanujan continued fraction, which is of the form \[ R(q) = \frac{q^{1/5}}{1+\frac{q}{1+\frac{q^2}{1+\frac{q^3}{\cdots}}}} \] and is related to the theory of modular forms, a deep branch of modern number theory.

Ramanujan's work with modular forms produced the following celebrated divisibility results involving the partition function \( p(n) \): \[ \begin{align} p(5k+4) &\equiv 0 \pmod 5 \\ p(7k+5) &\equiv 0 \pmod 7 \\ p(11k+6) &\equiv 0 \pmod{11}. \end{align} \] Ramanujan commented in the paper in which he proved these results that there did not appear to be any other simple results of the same type. But in fact there are similar congruences of the form \( p(ak+b) \equiv 0 \pmod n \) for any \( n \) relatively prime to \( 6\); this is due to Ken Ono (2000). (Even for small \( n\), the values of \( a \) and \( b \) in the congruences are quite large.) The topic remains the subject of much contemporary research.

Ramanujan proved a generalization of Bertrand's postulate, as follows: Let \( \pi(x) \) be the number of positive prime numbers \( \le x \); then for every positive integer \( n \), there exists a prime number \( R_n \) such that \[ \pi(x)-\pi(x/2) \ge n \text{ for all } x \ge R_n. \] \((\)The case \( n = 1 \), \( R_n = 2 \) is Bertrand's postulate.\()\)

The \( R_n \) are called Ramanujan primes.

The sum \( c_q(n) \) of the \(n^\text{th}\) powers of the primitive \( q^\text{th}\) roots of unity is called a Ramanujan sum. It can be shown that these are multiplicative arithmetic functions, and in fact that \[c_q(n) = \frac{\mu\left(\frac qd\right)\phi(q)}{\phi\left(\frac qd\right)},\] where \( d = \text{gcd}(q,n)\), and \( \mu \) and \( \phi \) are the Mobius function and Euler's totient function, respectively.

Ramanujan found nice infinite sums of the form \( \sum a_n c_q(n) \) or \( \sum a_q c_q(n) \) representing the standard arithmetic functions that are important in number theory. For instance, \[ d(n) = -\frac1{2\gamma+\ln(n)} \sum_{q=1}^{\infty} \frac{\ln(q)^2}{q} c_q(n), \] where \( \gamma \) is the Euler-Mascheroni constant.

Another example: the identity \[ \sum_{q=1}^{\infty} \frac{c_q(n)}{q} = 0 \] turns out to be equivalent to the prime number theorem.

Sums involving \( c_q(n) \) are known as Ramanujan sums; these were also used in applications including the proof of Vinogradov's theorem that every sufficiently large odd positive integer is the sum of three primes.

Ramanujan's \( \tau \) function is defined by the formula \[ \sum_{n=1}^{\infty} \tau(n) q^n = q\prod_{n=1}^{\infty} (1-q^n)^{24} \] and is related to the theory of modular forms.

Ramanujan conjectured several properties of the \( \tau \) function, including \[ |\tau(p)| \le 2p^{11/2} \text{ for all primes } p. \] This turned out to be an extremely important and deep result, which was proved in 1974 by Pierre Deligne in his Fields-medal-winning proofs of the Weil conjectures on points on algebraic varieties over finite fields.