Sunday, May 14, 2017

real analysis - Evaluation of sumin=1nftyfrac(1)n1eta(n)n without using the Wallis Product



In THIS ANSWER, I showed that



2s=11β(2s+1)2s+1=ln(π2)2+π2




where β(s)=n=0(1)n(2n+1)s is the Dirichlet Beta Function.



In the development, it was noted that



n=1(1)n1log(n+1n)=log(21234345)=log(n=12n2n12n2n+1)=log(π2)




where I used Wallis's Product for π/2.






If instead of that approach, I had used the Taylor series for the logarithm function, then the analysis would have led to



n=1(1)n1log(n+1n)=n=1(1)n1η(n)n



where η(s)=n=1(1)n1ns is the Dirichlet eta function.




Given the series on the right-hand side of (2) as a starting point, it is evident that we could simply reverse steps and arrive at (1).




But, what are some other distinct ways that one can take to evaluate the right-hand side of (2)?




For example, one might try to use the integral representation



η(s)=1Γ(s)0xs11+exdx




and arrive at



n=1(1)n1η(n)n=01exx(1+ex)dx=1x1x2(x+1)log(x)dx



Yet, neither of these integrals is trivial to evaluate (without reversing the preceding steps).




And what are some other ways to handle the integrals in (3)?




Answer



Another way to handle (2) is using the identity η(s)=(112s1)ζ(s)

hence, since η(1)=log(2), n1(1)n1nη(n)=log(2)+n2(1)n1nη(n)
=log(2)+n2(1)n1nζ(n)n2ζ(n)n(12)n1
and now we can use the identity $$\sum_{n\geq2}\frac{\zeta\left(n\right)}{n}\left(-x\right)^{n}=x\gamma+\log\left(\Gamma\left(x+1\right)\right),\,-1 whichcanbeprovedtakingthelogoftheWeierstrassproductofGamma.So
\sum_{n\geq1}\frac{\left(-1\right)^{n-1}}{n}\eta\left(n\right)=\log\left(2\right)+2\log\left(\frac{\sqrt{\pi}}{2}\right)=\log\left(\frac{\pi}{2}\right).$$


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...