6 Alternative Formulations 389arbitrary closed orbit of the geodesic flow andλ(P)its least period, one shows that the
zeta-function
ζM(s)=∏
P( 1 −e−sλ(P))−^1is nonzero and holomorphic forRs≥h, except for a simple pole ats=h,andthen
applies Ikehara’s theorem. The study of geodesics on a surface of negative curvature
was initiated by Hadamard (1898), but it isunlikely that he realized there was a
connection with the prime number theorem which he had proved two years earlier!
6 AlternativeFormulations
There is an intimate connection between theDirichlet productsconsidered in§3of
Chapter III andDirichlet series. It is easily seen that if the Dirichlet series
f(s)=∑∞
n= 1a(n)/ns, g(s)=∑∞
n= 1b(n)/ns,are absolutely convergent forRs>α, then the producth(s)=f(s)g(s)may also be
represented by an absolutely convergent Dirichlet series forRs>α:
h(s)=∑∞
n= 1c(n)/ns,wherec=a∗b,i.e.
c(n)=∑
d|na(d)b(n/d)=∑
d|na(n/d)b(d).This implies, in particular, that forRs> 1ζ^2 (s)=∑∞
n= 1τ(n)/ns,ζ(s− 1 )ζ(s)=∑∞
n= 1σ(n)/ns,where as in Chapter III (not as in§5),
τ(n)=∑
d|n1 ,σ(n)=∑
d|nd,denote respectively the number of positive divisors ofnand the sum of the positive
divisors ofn. The relation for Euler’s phi-function,
σ(n)=∑
d|nτ(n/d)φ(d),which was proved in Chapter III, now yields forRs> 1