Prove that : \sum_{k=0}^\infty\frac{(-1)^k}{(2k+1)^3}=\frac{\pi^3}{32}

mairie0708zl

mairie0708zl

Answered question

2022-01-22

Prove that :
k=0(1)k(2k+1)3=π332

Answer & Explanation

Darian Sosa

Darian Sosa

Beginner2022-01-23Added 12 answers

You can evaluate this sum using the residue theorem. First, note that it may be extended out to :
k=0(1)k(2k+1)3=12k=(1)k(2k+1)3
From the residue theorem:
k=(1)k(2k+1)3=Resz=12πcscπz(2z+1)3=18Resz=12πcscπz(z+12)3
This residue involves taking the second derivative of the csc term. Note that, for a generic function f(z) having a triple pole at z=z0:
Resz=z0f(z)=12!limzz0d2dz2[(zz0)3f(z)]
so that
Resz=12πcscπz(z+12)3=π32![cscπzcot2πz+csc3πz]z=12=π32
Putting this all together, we get the stated result:
k=0(1)k(2k+1)3=π332
Flickkorbma

Flickkorbma

Beginner2022-01-24Added 17 answers

I'll show you a related series and then pick a special case. We'll start with
k1ekiθk=log(1=eiθ)
and we'll take the imaginary part of both sides to get
0β0αk1sin(kθ)kdθdα=0β0βk1kβsin(kβ)k3
=0β0απ2θ2dθdα=14(πβ2β33)=β2(3πβ)12
This way, we see that
k1sin(kβ)k3=β33πβ2+2π2β12
Now, just pick β=π2 and
k0(1)k(2k+1)3=k1(1)k(2k1)3=π332
To fix some issues in convergence, I'll take my first equation and introduce a new variable 0<t<1
ktkekiθk=log(1teiθ)
and then take the imaginary parts and let t1:
limt1[k1tksin(kθ)k]=limt1[tan1(tsin(θ)tcos(θ)1)]=π2θ2
and we proceed normally from here.

RizerMix

RizerMix

Expert2022-01-27Added 656 answers

The Polylogarithm function is defined as Lis(z)=k=1zkks Now Li3(i)=k=1ikks and Li3(i)=k=1(1)kikks Hence, Li3(i)Li3(i)=2i(k=0(1)k(2k+1)3) (1) Now the PolyLogarithmic function satisfies a very nice identity Lin(e2πix)+(1)nLin(e2πix)=2πi)nn!Bn(x) Taking n=3 and x=14, gives us Li3(i)Lin(i)=(2πi)33!B3(1/4)=i8π36364=iπ316 (2) Comparing (1) and (2) gives us (k=0(1)k(2k+1)3)=π332

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?