A friend of mine sent me a math contest problem that I am not able to solve (he does not know a solution either). So, I thought I might ask you for help.

Prove:

∫10ln(1+ln2x4π2)ln(1−x)xdx=−π2(4ζ′(−1)+23).

**Answer**

Here is a solution: Let I denote the integral. Then

I=−∫10log(1+log2x4π2)Li′2(x)dx=[−log(1+log2x4π2)Li2(x)]10+2∫10logx4π2+log2xLi2(x)xdx=−2∫∞0t4π2+t2Li2(e−t)dt(x=e−t)=−2∞∑n=11n2∫∞0t4π2+t2e−ntdt=−2∞∑n=11n2∫∞0(∫∞0cos(2πu)e−tudu)e−ntdt=−2∞∑n=11n2∫∞0cos(2πu)u+ndu=−2∞∑n=11n2∫∞0cos(2πnu)u+1du(u↦nu)=−2∞∑n=1∞∑k=11n2∫10cos(2πnu)u+kdu=−2∞∑k=1∫101u+k(∞∑n=1cos(2πnu)n2)du.

Now we invoke the Fourier series of the Bernoulli polynomial B2(x):

∞∑n=1cos2πnxn2=π2B2(x)=π2(x2−x+16),0≤x≤1.

Then it follows that

I=−2π2∞∑k=1∫10u2−u+16u+kdu=π2∞∑k=1{2k+1+2(k2+k+16)log(kk+1)}.

Now we consider the exponential of the partial sum:

exp[N∑k=1{2k+1+2(k2+k+16)log(kk+1)}]=eN2+2NN∏k=1(kk+1)2k2+2k+13=eN2+2N(N+1)2N2+2N+13N∏k=1k4k=e2N(1+1N)2N2+2N+13{eN2/4NN2/2+N/2+1/12N∏k=1kk}4.

In view of the definition of Glaisher-Kinkelin constant A, we have

\lim_{N\to\infty} \exp \left[ \sum_{k=1}^{N} \left\{ 2k + 1 + 2\left( k^{2} + k + \frac{1}{6} \right) \log \left( \frac{k}{k+1} \right) \right\} \right] = \frac{A^{4}}{e}.

This, together with the identity \log A = \frac{1}{12} – \zeta'(-1), yields

I = \pi^{2} ( 4 \log A – 1 ) = -\pi^{2} \left(4\zeta'(-1) + \frac{2}{3} \right)

as desired.

**Attribution***Source : Link , Question Author : Vladimir Reshetnikov , Answer Author : Bennett Gardiner*