I recently ran into this series:
∞∑n=0(−1)n(2n+1)3
Of course this is just a special case of the Beta Dirichlet Function , for s=3.
I had given the following solution:
1−133+153−⋯=∞∑n=0(−1)n(2n+1)3(∗)=(1+153+193+⋯)−(133+173+1113+⋯)=∞∑n=01(4n+1)3−∞∑n=01(4n+3)3=−12⋅43ψ(2)(14)+12⋅43ψ(2)(34)=12⋅43[ψ(2)(1−14)−ψ(2)(14)]=12⋅43[2π3cotπ4csc2π4]=π3cotπ4csc2π443=π332
where I used polygamma identities and made use of the absolute convergence of the series at (∗) in order to re-arrange the terms.
Any other approach using Fourier Series, or contour integration around a square, if that is possible?
Answer
Method by Fourier Series
Consider the function f(x)=x(1−x), 0≤x≤1. It has Fourier sine series expansion
f(x)=8π3∞∑n=11(2n−1)3sin(2n−1)πx.
Setting x=12 results in
14=8π3∞∑n=1(−1)n−1(2n−1)3,
or
π332=∞∑n=1(−1)n−1(2n−1)3.
By reindexing the sum we can write
π332=∞∑n=0(−1)n(2n+1)3.
Method by Contour Integration
Let g(z)=1(2z−1)3. Then g has only one pole of order 3 at z=12. Let N be a positive integer, and consider the contour integral
12πi∫ΓNπcscπzg(z)dz,
where ΓN is a positively oriented square with vertices at (N+12)(±1±i). The residue theorem gives
12πi∫ΓNπcscπzg(z)dz=N∑n=−NResz=nπcscπzg(z)+Resz=12πcscπzg(z)=N∑n=−N(−1)ng(n)+π316.
For |z|≥1, |g(z)|≤|z|−3. Thus, 12πi∫ΓNπcscπzg(z)dz→0asN→∞.
Hence
0=∞∑n=−∞(−1)ng(n)+π316
that is,
π316=∞∑n=−∞(−1)n−1(2n−1)3.
Now
∞∑n=−∞(−1)n−1(2n−1)3=0∑n=−∞(−1)n−1(2n−1)3+∞∑n=1(−1)n−1(2n−1)3=∞∑n=0(−1)n(2n+1)3+∞∑n=1(−1)n−1(2n−1)3=2∞∑n=0(−1)n(2n+1)3.
Thus
π316=2∞∑n=0(−1)n(2n+1)3.
Finally, we have
π332=∞∑n=0(−1)n(2n+1)3.
No comments:
Post a Comment