"Where are the zeros of zeta of s?", to the tune of "Sweet Betsy from
Pike"; words by Tom Apostol
Where are the zeros of zeta of s?
G.F.B. Riemann has made a good guess,
They're all on the critical line, sai he,
And their density's one over 2pi log t.
This statement of Riemann's has been like trigger
And many good men, with vim and with vigor,
Have attempte to find, with mathematical rigor,
What happens to zeta as mod t gets bigger.
The efforts of Landau and Bohr and Cramer,
And Littlewood, Hardy and Titchmarsh are there,
In spite of their efforts and skill and finesse,
(In) locating the zeros there's been no success.
In 1914 G.H. Hardy did find,
An infinite number that lay on the line,
His theorem however won't rule out the case,
There might be a zero at some other place.
Let P be the function pi minus li,
The order of P is not known for x high,
If square root of x times log x we could show,
Then Riemann's conjecture would surely be so.
Related to this is another enigma,
Concerning the Lindelof function mu(sigma)
Which measures the growth in the critical strip,
On the number of zeros it gives us a grip.
But nobody knows how this function behaves,
Convexity tells us it can have no waves,
Lindelof said that the shape of its graph,
Is constant when sigma is more than one-half.
Oh, where are the zeros of zeta of s?
We must know exactly, we cannot just guess,
In orer to strengthen the prime number theorem,
The integral's contour must not get too near 'em.
New verses:
Now Andy has bettered old Riemann's fine guess
by using a fancier zeta (s).
He proves that the zeros are where they should be,
provided the characteristic is p.
There's a moral to draw from this sad tale of woe
which every young genius among you should know:
if you tackle a problem and seem to get stuck,
just take it mod p and youll have better luck.