I have some trouble in how to evaluate this integral:
∫π0θln(tan(θ2))dθ
I think it maybe has another form
∫π0θln(tan(θ2))dθ=∞∑n=11n2[ψ(n+12)−ψ(12)]
Answer
Obviously we have
∫π0θlntanθ2dθ=4∫π/20xlntanxdx
then use the definition of Lobachevskiy Function(You can see this in table of integrals,series,and products,Eighth Edition by Ryzhik,page 900)
L(x)=−∫x0lncosxdx, −π2≤x≤π2
Hence we have
∫π/20xlntanxdx=x[L(x)+L(π2−x)]π/20−∫π/20[L(x)+L(π2−x)]dx=(π2)2ln2−2∫π/20L(x)dx
use
L(x)=xln2−12∞∑k=1(−1)k−1k2sin2kx
(Integrate the fourier series of lncosx from 0 to x.)
we can calculate
∫π/20L(x)dx=12(π2)2ln2−12∞∑k=1(−1)k−1k2∫π/20sin2kxdx=π28ln2−12∞∑k=11(2k−1)3
So
∫π/20xlntanxdx=π24ln2−2[π28ln2−12∞∑k=11(2k−1)3]=∞∑k=11(2k−1)3=∞∑k=11k3−∞∑k=11(2k)3=78ζ(3)
Hence the initial integral is
∫π0θlntanθ2dθ=72ζ(3)
in addition,as you mentioned
∫π0θlntanθ2dθ=∞∑n=11n2[ψ(n+12)−ψ(12)]=72ζ(3)
or
∞∑n=11n2ψ(n+12)=72ζ(3)−(γ+2ln2)π26
No comments:
Post a Comment