19
$\begingroup$

Find the value $$\sum\limits_{n=0}^{\infty}(-1)^{n}\left(\frac{1}{n+1}-\frac{1}{n+2}+\frac{1}{n+3}-\cdots\right)^{2}.$$

This problem is from this and I am interested in this problem, but I can't solve it.

Here is my idea:

$$(-1)^{k-1}\dfrac{1}{n+k}=(-1)^{-n}\int_{0}^{-1}x^{n+k-1}dx$$ so \begin{align*}\sum\limits_{n=0}^{\infty}(-1)^{n}\left(\frac{1}{n+1}-\frac{1}{n+2}+\frac{1}{n+3}-\cdots\right)^{2}&=\sum_{n=0}^{\infty}(-1)^n\left(\sum_{k=1}^{\infty}(-1)^n\int_{0}^{-1}x^{n+k-1}dx\right)^2\\ &=\sum_{n=0}^{\infty}(-1)^n\left(\int_{0}^{-1}\sum_{k=1}^{\infty}x^{n+k-1}dx\right)^2\\ &=\sum_{n=0}^{\infty}(-1)^n\left(\int_{0}^{-1}\dfrac{x^n}{1-x} dx \right)^2. \end{align*}

$\endgroup$
1
  • $\begingroup$ The Maple command $sum((-1)^n*sum((-1)^{k+1}/(k+n), k = 1 .. infinity)^2, n = 0 .. infinity)$ finds the inner sum $$\sum _{n=0}^{\infty }1/2\, \left( -1 \right) ^{n} \left( \Psi \left( 1 +1/2\,n \right) -\Psi \left( 1/2+1/2\,n \right) \right)^2 . $$ $\endgroup$ – user64494 Aug 23 '13 at 8:24
19
$\begingroup$

You can take that last expression and turn it into an integral that gets you a result that agrees with both Mathematica and the answer linked to (and not really quite explained).

Your last sum may be rewritten as

$$\begin{align}\sum_{n=0}^{\infty} (-1)^n \int_0^{-1} dx \frac{x^n}{1-x} \, \int_0^{-1} dy \frac{y^n}{1-y}&= \int_0^{-1} dx \frac{1}{1-x} \, \int_0^{-1} dy \frac{1}{1-y} \sum_{n=0}^{\infty} (-1)^n x^n y^n \\ &= \int_0^{-1} dx \frac{1}{1-x} \, \int_0^{-1} dy \frac{1}{1-y} \frac{1}{1+x y} \\&= \int_0^{-1} dx \frac{1}{1-x} \, \int_0^{-1} dy \left (\frac{1}{1+x}\frac{1}{1-y}+ \frac{x}{1+x} \frac{1}{1+x y}\right )\\ &= \int_0^{-1} dx \frac{\log{(1-x)}-\log{2}}{1-x^2} \\ &= \frac{\pi^2}{24}\end{align}$$

ADDENDUM

That last integral may be evaluated by substituting $x=1-2 u$ as follows:

$$\begin{align}\int_0^{-1} dx \frac{\log{(1-x)}-\log{2}}{1-x^2} &= -\frac12 \int_{1/2}^1 du \frac{\log{u}}{u-u^2} \\ &= -\frac12 \int_{1/2}^1 du \frac{\log{u}}{u}-\frac12 \int_{1/2}^1 du \frac{\log{u}}{1-u} \\ &= \frac12 \log^2{2} + \frac12 \text{Li}_2\left(\frac12\right) \\ &= \frac12 \log^2{2} + \frac{\pi^2}{24} - \frac12 \log^2{2}\end{align}$$

The result follows.

$\endgroup$
1
  • 2
    $\begingroup$ Thanks, Zaid. Rest assured, I have the derivation of that last result. The extreme slowness of the editor, however, has prevented me from adding it. I will do when it is behaving properly. $\endgroup$ – Ron Gordon Aug 23 '13 at 2:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.