ramanujan, robin, the riemann hypothesis, … · thus rankin and berndt on the english-american...
TRANSCRIPT
![Page 1: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/1.jpg)
RAMANUJAN, ROBIN,THE RIEMANN HYPOTHESIS,
AND RECENT RESULTS
JONATHAN [email protected]
RAMANUJAN 125 CONFERENCE November 2012
Srinivasa RAMANUJAN (1887–1920)1
arX
iv:1
211.
6944
v2 [
mat
h.H
O]
29
Mar
201
3
![Page 2: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/2.jpg)
Abstract. The first part of the paper is on the math-ematics of my topic, which is the work of Ramanujanand Robin on the Riemann Hypothesis (RH). The sec-ond part is on the history.
1. MATHEMATICS
Definition. The sum-of-divisors function σ is de-fined by
σ(n) :=∑d|n
d = n∑d|n
1
d.
For example, σ(6) = 12.In 1913, Gronwall found the maximal order of σ.
Gronwall’s Theorem. The function
G(n) :=σ(n)
n log log n(n > 1)
satisfies
lim supn→∞
G(n) = eγ = 1.78107 . . . ,
where γ = 0.57721 . . . is Euler’s constant.
![Page 3: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/3.jpg)
Thomas Hakon GRONWALL (1877–1932)
![Page 4: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/4.jpg)
Gronwall’s proof uses:Mertens’s Theorem. If p denotes a prime, then
limx→∞
1
log x
∏p≤x
p
p− 1= eγ.
Franz MERTENS (1840–1927)
![Page 5: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/5.jpg)
Ramanujan’s Theorem. If RH is true, then forn0 large enough,
n > n0 =⇒ G(n) < eγ.
Here is an excerpt from his proof.
Ramanujan: . . . assume that . . . s > 0 . . . if p is thelargest prime not greater than x, then
log 2
2s − 1+
log 3
3s − 1+
log 5
5s − 1+ · · · + log p
ps − 1− C
=
∫ ϑ(x)
2
dx
xs − 1−s∫ x
2
x− ϑ(x)
x1−s(xs − 1)2dx+O(x−s(log x)4).
But it is known that
x− ϑ(x) =√x + x
13 +∑ xρ
ρ−∑ x
12ρ
ρ+ O{x
15}
where ρ is a complex root of ζ(s). . . .
The last equation is a variant of the classical explicitformula in prime number theory. This shows “explic-itly” (pun intended) how Ramanujan used RH in hisproof.
![Page 6: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/6.jpg)
Georg Friedrich Bernhard RIEMANN (1826–1866)
![Page 7: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/7.jpg)
Robin’s Theorem. RH is true if and only if
n > 5040 (= 7!) =⇒ G(n) < eγ.
Guy ROBIN
![Page 8: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/8.jpg)
Robin’s paper on σ and RH,Journal de Mathematiques Pures et Appliquees, 1984
![Page 9: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/9.jpg)
The sum-of-divisors function σ and Euler’s totientfunction φ, defined as
φ(n) :=∑
1≤k≤n(k,n)=1
1 = n∏p|n
(1− 1
p
),
are related by the inequalities
6
π2<σ(n)
n· φ(n)
n< 1,
which hold for n > 1. They follow from the identity
σ(n)
n· φ(n)
n=
∏1<pe‖n
(1− 1
p e+1
).
Robin used ideas from a result on the φ functionproved by his thesis advisor Nicolas in 1983.
Nicolas’s Theorem. RH is true if and only if
p prime =⇒ φ(p#)
p#/ log log p#< e−γ,
where p# := 2×3×5×· · ·×p denotes a primorial.
![Page 10: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/10.jpg)
Jean-Louis NICOLAS
![Page 11: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/11.jpg)
Nicolas in turn used Landau’s 1903 result on the min-imal order of the totient function.
Landau’s Theorem. The φ function satisfies
lim infn→∞
φ(n)
n/ log log n= e−γ = 0.56145 . . . .
Edmund LANDAU (1877–1938)
![Page 12: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/12.jpg)
RECENT RESULTS
Definition. An integer N > 1 is a GA1 numberif N is composite and G(N) ≥ G(N/p) for all primefactors p. Call N a GA2 number if G(N) ≥ G(aN)for all multiples aN .Caveney, Nicolas, and S.’s Theorems.1. RH is true if and only if 4 is the only numberthat is both GA1 and GA2.2. A GA2 number N > 5040 exists if and only ifRH is false, in which case N is even and > 10 8576.
Geoffrey CAVENEY
![Page 13: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/13.jpg)
2. HISTORY
My story begins in 1915 when Ramanujan publishedthe first part of his dissertation “Highly CompositeNumbers” (HCN).
Part 1 of HCN by Ramanujan,Proceedings of the London Mathematical Society,
1915
Ramanujan: I define a highly composite number asa number whose number of divisors exceeds that ofall its predecessors.
His thesis was written at Trinity College, Universityof Cambridge, where his advisors were Hardy and Lit-tlewood.
![Page 14: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/14.jpg)
Godfrey Harold HARDY (1877–1947)
![Page 15: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/15.jpg)
John Edensor LITTLEWOOD (1885–1977)
![Page 16: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/16.jpg)
Ramanujan (center) at his degree ceremony, 1916
![Page 17: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/17.jpg)
In 1944, Erdos published a paper “On highly com-posite and similar numbers” with Alaoglu.Erdos (in “Ramanujan and I”): Ramanujan had avery long manuscript on highly composite numbersbut some of it was not published due to a papershortage during the First World War.
Paul ERDOS (1913–1996)
![Page 18: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/18.jpg)
Erdos: Hardy rather liked this paper but perhapsnot unjustly called it nice but in the backwaters ofmathematics.Hardy: Even Ramanujan could not make highlycomposite numbers interesting.Dyson: Hardy said this to discourage me from work-ing on H. C. numbers myself. I think he was right.
Freeman DYSON
![Page 19: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/19.jpg)
In 1982 Rankin published a paper on “Ramanujan’smanuscripts and notebooks”. Rankin quoted Hardy’s1930 letter to Watson in which Hardy mentioned “thesuppressed part of HCN”.
Rankin: The most substantial manuscript consistsof approximately 30 pages of HCN carrying on fromwhere the published paper stops.
By a curious coincidence, 1981–1982 is also the yearwhen Seminaire Delange-Pisot-Poitou published anexposition of Robin’s Theorem, in which he improvedon Ramanujan’s Theorem without ever having heardof it!
Berndt: It is doubtful that Rankin took notice ofRobin’s paper. I definitely did not.
Thus Rankin and Berndt on the English-Americanside, and Nicolas and Robin on the French side, werenot communicating.
![Page 20: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/20.jpg)
Robert Alexander RANKIN (1915–2001)
![Page 21: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/21.jpg)
Bruce Carl BERNDT holding Ramanujan’s slate
![Page 22: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/22.jpg)
Berndt: After I began to edit Ramanujan’s note-books, I wrote Trinity College in 1978 for a copyof the notes that Watson and Wilson made in theirefforts to edit the notebooks. I also decided to writefor copies of all the Ramanujan material that wasin the Trinity College Library. Included in theirshipment to me was the completion of Ramanu-jan’s paper on highly composite numbers. I put allof this on display during the Ramanujan centenarymeeting at Illinois in June, 1987.
![Page 23: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/23.jpg)
Nicolas: I keep a very strong souvenir of the confer-ence organised in Urbana-Champaign in 1987 forthe one hundred anniversary of Ramanujan. It isthere that I discovered the hidden part of “HighlyComposite Numbers”.What I have not written is that there was an er-
ror of calculus in Ramanujan’s manuscript whichprevented him from seeing Robin’s Theorem. Soonafter discovering the hidden part, I read it andsaw the difference between Ramanujan’s result andRobin’s one. Of course, I would have bet that theerror was in Robin’s paper, but after recalculat-ing it several times and asking Robin to check, itturned out that there was an error of sign in whatRamanujan had written.
![Page 24: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/24.jpg)
Ramanujan’s Theorem was not explicitly stated byhim in HCN. Nicolas and Robin formulated it for himin Note 71 of their annotated and corrected version ofHCN Part 2.
Nicolas and Robin: It follows from [the correctedversion of Ramanujan’s formula] (382) that underthe Riemann hypothesis, and for n0 large enough,
n > n0 =⇒ σ(n)/n < eγ log log n.
It has been shown in [22] that the above relationwith n0 = 5040 is equivalent to the Riemann hy-pothesis.
Here [22] is Robin’s paper, which he published threeyears before hearing of Ramanujan’s Theorem in 1987.However, a reader of Note 71 who neglects to look up[22] in the References is left with the misimpressionthat the proof “that the above relation with n0 = 5040is equivalent to the Riemann hypothesis” was givenafter “the above relation” became known!
![Page 25: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/25.jpg)
In 1993, HCN Part 2 was submitted to Proceedingsof the London Mathematical Society, which had pub-lished Part 1 in 1915. The paper was accepted, butcould not be published, because Trinity College didnot own the rights to Ramanujan’s papers and wasnot able to obtain permission from his widow, Janaki.
S. Janaki Ammal (1899–1994), Mrs. Ramanujan
![Page 26: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/26.jpg)
Janaki passed away in 1994, and the paper was even-tually published by Alladi in the first volume of hisnewly-founded Ramanujan Journal.
Part 2 of HCN by Ramanujan,annotated by Nicolas and Robin,
The Ramanujan Journal, 1997
![Page 27: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/27.jpg)
Krishnaswami ALLADI,founder of The Ramanujan Journal
![Page 28: RAMANUJAN, ROBIN, THE RIEMANN HYPOTHESIS, … · Thus Rankin and Berndt on the English-American side, and Nicolas and Robin on the French side, were not communicating. Robert Alexander](https://reader031.vdocuments.us/reader031/viewer/2022022607/5b8539417f8b9ae5498df569/html5/thumbnails/28.jpg)
Here my story ends. If it has offended anyone, Iapologize.
S. with Ramjee RAGHAVAN, Ramanujan’s grand-nephew, by chance (!) my seatmate on the first leg
of my flight to the Ramanujan 125 Conference in FL