Friday, 1 March 2019

sequences and series - Simpler derivation of sumin=1nftyfrac1n2=fracpi26




I know that the equality n=11n2=π26 can be proved in numerous ways by using the Fourier series. However, is there a way to derive it using more fundamental tools? I've tried:
n=11n2=n=110xn1dx10yn1dy=10dx10dy11xy
and by changing variables I was able to write it in several other forms:=10ln(1x)xdx=0ln(1+t)t(1+t)dt=0ueu1du
but that's as far as I could get.



I specifically don't want to use Fourier series. More fundamental complex analysis, like contour integration, is fine.


Answer




Yes, this can be done. Actually, that's what Tom Apostol did in an article he published in 1983; you can read the proof here (it's the first proof). He used a change of variable ((x,y)(x+y,xy)) in order to compute the integral[0,1]×[0,1]11xydxdy.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...