Zeta function at even integers, deriving the formula for summing infinite series of the form +n=11n2m

 My recent excursion to the general formula for the power series of trigonometric and hyperbolic cot(x) and coth(x) leads me further to one of the most beautiful and deep results in modern mathematics. The similarity between the closed form summing formula of the Zeta function at even integers and the general formula of cot(x) puzzles me, for I can see that there are some connections between the two. A long search on wikipedia and mathstackexchange proves my intuition. Yet, I am still a highly incompetent math student so I cannot, by myself, deduce the connection between cot(x) and the summing formula. The following derivation and results are owned not to me but to wikiproof and an answer of Jack D'Aurizio. Just compare between the general formula for cot(x) and the summing formula of Zeta function at even integers and you will see some connections:

cot(x)=+n=0(1)nB2n22nx2n1(2n)!

ζ(2n)=(1)n1(2π)2n2(2n)!B2n

The similarity is striking to me, suggesting that there ought to be a connection of both of them. It turns out that my intuition is right. The relevant function is a modification of cot(x), which is the πxcot(πx). My initial guess is that the function cot(πx) may be involved, but hours spent on worthless manipulation didn't lead me to the correct result. So as I mentioned above, I resorted to searching on google and I come up with πxcot(πx)

History of problems

The history of the problems of summing infinite series of the form +n=11n2m is just as fascinating as the result itself. Infinite series had been a central focus of study of mathematicians in the XVII and XVIII century. Summing series was indeed very in vogue during this time period, and many, not just leading mathematicians, involved in this business for recreational purposes. The polymath Pierre Louis Maupertuis (1698-1759) made this following remark about this phenomenon in the XVIII century England:

"Cette affaire des suites qui est tout ce qu'il ly a de plus desagreable dans les mathematiques n'est qu'un jeu pour les Anglais, ce livre et celui de Moivre en sont une preuve."

"This business of series, the most disagreeable thing mathematics, is no more than a game for the English, this book and that of M.de Moivre are the proof."

Pietro Mengoli (1626-1686), an Italian mathematician who had studied with Bonaventura Cavalieri, in his "Novae quadraturae arithmeticae"  was successful in summing these telescoping series:

+n=11n(n+2)=113+124+135...=34

+n=11n(n+3)=114+125+136...=1118

+n=11n(n+1)(n+2)=1123+1234+1345...=14

+n=11(2n+1)(2n+3)(2n+5)=1357+1579+17911...=160 *The book gives 112, which is an error.

(See Ferraro, The rise and development of the theory of series up to the early 1820s, page 9).

He also successfully prove that the harmonic series is divergent +n=11n (a result that was first proved by the late medieval French mathematician Nicole Oresme). More importantly, he shows that the alternating harmonic series converges to ln(2):

+n=1(1)n+1n=112+1314+15...=ln(2)

The now famous series:

+n=11n2=1+122+132+142+152...=?

is beyond his power. He posed this problems to leading mathematicians of the time, yet it must be roughly 100 years later that Euler could finally provide various methods and proofs for the sum of this series, and similar series of higher even powers.

In his first textbook of teaching infinitesimal calculus to young students "Introductio a analysi infinitorum", he summed these series up to the 26th powers. The first 10 are included here:

1+122+132+142+152+162...=π26

1+124+134+144+154+164...=π490

1+126+136+146+156+166...=π6945

1+128+133+148+158+168...=π89450

1+1210+1310+1410+1510+1610...=π1093555

My "failed" attempt at deriving the generating function for ζ(2n)

My failed attempt at deriving the generating function for πx2cot(πx)

When I look at the formula, I know that I only have adjust some bits of the general formula of the cot(x) function to prove the summing formula for the value of ζ(2n). But I forgot just one small bit to complete my derivation. This is because I was quite tired after tinkering with the formula.

We have 

cot(x)=+n=0(1)nB2n22nx2n1(2n)!

cot(πx)=+n=0(1)nB2n22n(πx)2n1(2n)!

cot(πx)=+n=0(1)n+1B2n22n(πx)2n1(2n)!

xcot(πx)=+n=0(1)n+1B2n22n(πx)2n+1(2n)!

x2cot(πx)=+n=0(1)n+1B2n22n(πx)2n+12(2n)!

I made the mistake red, it should be 2n and forgot to add another π in to obtain the correct function. I thought I was wrong and running around looking for the right function. Wikiproof employs πxcot(πx) in its proof and I thought that my function was completely wrong. Only after seeing the generating function on wiki page of the Riemann zeta function that I know I was completely right, missing just one π.

So I have derived the formula all by myself, but  I was so unfortunate that I thought I was completely wrong. The correct function with its coefficients being ζ(2n) is:

πx2cot(πx)=+n=0(1)n+1B2n22n(πx)2n(2n)!=+n=0ζ(2n)x2n=12+π26x2+π490x4...

An interesting derivation of the formula of finding values of the Zeta function at even integers by Jack D'Aurizio

Jack D'Aurizio, an Italian mathematician on MathStackExchange provided this interesting derivation of the formula of finding values of the Zeta function at even integers. The starting point is not the cot(x) like my approach, but coth(x). I repost it here and add more intermediate steps to make it easier for readers to understand. The original answer is quite terse and omit middle steps: These middle steps are provided by NoName on Mathstack.

tet1=n0Bnn!tn

cothz1z=n14nB2n(2n)!z2n1.

Jack expressed the function sinh(x) as the so-called Weierstrass product sinhz=zn=1(1+z2n2π2) which was derived first by Euler.

Since:

coth(z)=ddzlog(sinh(z))

cothz1z=ddzsinhz=ddzlog(zn=1(1+z2n2π2))

Using the law of log, we can rewrite

log(z)+log((1+z2π2)(1+z22π2)(1+z23π2))...

1z+log((1+z2π2))+log((1+z22π2))+log((1+z23π2))...

cothz1z=1z+n1ddzlog(1+z2n2π2)=n12zπ2n2+z2

=n12zπ2n2+z2=2zπ2n211+(z2(πn)2)

We notice that the green part is a geometric series, with its formula 11+t=n=1(1)mttmt

n=12zπ2n2m=1(1)mtz2m2(πn)2m1=n=1m=12z2m1π2mn2m=m=12z2m1π2mn=11n2m

And we know that n=11n2m=ζ(2n)

Thus we have:

m=12z2m1ζ(2n)π2m

Comparing the coefficients of z2n1

22nB2n(2n)!=2ζ(2n)π2n(1)n1

ζ(2n)=B2n(1)n1(2π)2n2(2n)!

An interesting function that approximates values of Zeta function for both odd and even intergers

The following function, found in this thread of Mathstack, approximates many values of Zeta function at both odd and even intergers

f(s)=πs((2s1)πs2s1ζ(s),

First few values are here:

sf(s)|ζ(s)f(s)|2π2603π3260.009504π49005π52950.000426π694507π729950.000098π8945009π9297490.000011

According to user247327, the approximation of π929749 is 1.0020202, which is very far from the assigned value on the table.

No comments:

Post a Comment

Ramanujan, the "Euler" of 20th century

      The first time I heard of the name Ramanujan was in 2017. At that time, I was wondering on the internet, searching information about i...