Thursday, 16 March 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

real analysis - How to find limhrightarrow0fracsin(ha)h

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