Prove $\sum_{n=0}^\infty(-1)^n(\overline{H}_n-\ln2)^2=\frac{\pi^2}{24}$

alternative-proofcalculusharmonic-numbersintegrationsequences-and-series

how to prove that

$$\sum_{n=0}^\infty(-1)^n(\overline{H}_n-\ln2)^2=\frac{\pi^2}{24}\ ?$$

where $\overline{H}_n=\sum_{k=1}^n\frac{(-1)^{k-1}}{k}$ is the alternating harmonic number.


This problem is proposed by a friend on a Facebook group and I managed to prove the equality using only integration but can we prove it using series manipulations?

Here is my work,

In page $105$ of this paper we have

$$\overline{H}_n-\ln2=(-1)^{n-1}\int_0^1\frac{x^n}{1+x}dx$$

Therefore

$$(\overline{H}_n-\ln2)^2=\int_0^1\int_0^1\frac{(xy)^n}{(1+x)(1+y)}dxdy$$

$$\Longrightarrow \sum_{n=0}^\infty(-1)^n(\overline{H}_n-\ln2)^2=\int_0^1\int_0^1\frac{dxdy}{(1+x)(1+y)}\sum_{n=0}^\infty(-xy)^n$$

$$=\int_0^1\int_0^1\frac{dxdy}{(1+x)(1+y)(1+xy)}=\int_0^1\frac{1}{1+x}\left(\int_0^1\frac{dy}{(1+y)(1+xy)}\right)dx$$

$$=\int_0^1\frac{1}{1+x}\left(-\frac{\ln\left(\frac{1+x}{2}\right)}{1-x}\right)dx=-\int_0^1\frac{\ln\left(\frac{1+x}{2}\right)}{1-x^2}\ dx,\quad x=\frac{1-u}{1+u}$$

$$=\frac12\int_0^1\frac{\ln(1+u)}{u}du=\frac12(-\operatorname{Li}_2(-1))=\frac12(\frac12\zeta(2))=\frac{\pi^2}{24}$$


Regarding series manipulation, we know that

$$\overline{H}_{2n}=H_{2n}-H_n$$ but we need $\overline{H}_n$ , so is this identity helpful? any other ideas?

thank you

Best Answer

We shall use $A_n=\sum _{k=1}^n \frac{(-1)^{k+1}}{k}$ (and for completeness $A_0 = 0$) for the alternating harmonic sum.

The sum in question is

$$s = \sum_{k\ge 0} (-1)^k (A_k-\log(2))^2\\= \sum_{k\ge 0} \left((A_{2k}-\log(2))^2-(A_{2k+1}-\log(2))^2\right)$$

The summand can be expanded to

$$A_{2 k}^2-A_{2 k+1}^2-2 \log (2) A_{2 k}+2 \log (2) A_{2 k+1} \\ = -\frac{2 (A_{2 k}-\log (2))}{2 k+1}-\frac{1}{(2 k+1)^2}\tag{1}$$

Here we have used that for integer $k$

$$A_{k+1}-A_{k}=\frac{(-1)^k}{k+1}\tag{2}$$

So we have

$$s = s_1 + s_2$$

with

$$s_1 =2 \sum_{k\ge 0} \frac{ \log(2) - A_{2 k}}{2 k+1}\tag{3}$$

and

$$s_2 = -\sum_{k\ge0} \frac{1}{(2 k+1)^2}= -\frac{\pi^2}{8}\tag{4}$$

which we have summed up imediately.

In the first one we use that for integer $k$

$$A_{2 k}-\log(2) = \int_0^1 \frac{1-x^{2 k}}{x+1} \, dx-\int_0^1 \frac{1}{x+1} \, dx\\ = -\int_0^1 \frac{x^{2 k}}{x+1} \, dx\tag{5}$$

so that the sum under the $x$-integral becomes

$$ \sum_{k\ge0} \frac{2 x^{2 k} }{2 k+1}=\frac{2 \operatorname{arctanh}(x)}{x}=\frac{1}{x} \log(\frac{1+x}{1-x})\tag{6}$$

Hence the first sum is given by the integral

$$s_1 = \int_0^1 \frac{1}{x(1+x)} \log(\frac{1+x}{1-x})=\frac{\pi^2}{6}\tag{7}$$

Finally we get

$$s = s_1 + s_2 =\frac{\pi^2}{6} -\frac{\pi^2}{8}= \frac{\pi^2}{24}$$

Q.E.D.

Discussion

1) Integral representations of the alternating and odd harmonic numbers

Inserting $\frac{1}{k}=\int_0^1 x^{k-1}\,dx$ into the definition of $A_n$ and doing the sum under the integral we obtain

$$A_n=\int_0^1 \frac{1-(-1)^n x^n}{x+1}\,dx\tag{8a}$$

for $n=2k$ this simplifies to

$$A_{2k}=\int_0^1 \frac{1- x^{2k}}{x+1}\,dx\tag{8b}$$

as used in $(5)$.

Similarly we have for the odd harmonic number the representation

$$O_n = \int_0^1 \frac{x^{2 n}-1}{x^2-1} \, dx\tag{9}$$

2) The introduction of an integral in $(4)$ is a deviation from the requirement of the OP to use only series operations.

Ideally we would like to see $s_1= \sum_{k\ge 1} \frac{1}{k^2}$

Hence my "solution" is incomplete. I'll try to improve it.

EDIT

I'm almost there.

I find by series manipulations (changing the order of summation) that

$$s_1 = \sum_{n\ge1} \frac{O_{n}}{(n+1)(2n-1)}\tag{10}$$

Where the odd harmonic sum is defined as

$$O_n=\sum_{m=1}^n \frac{1}{2m-1}\tag{11}$$

It is easy to show that

$$O_n = H_{2n} -\frac{1}{2} H_{n}\tag{12}$$

so that

$$s_1 = \sum_{n\ge1} \frac{H_{2n} -\frac{1}{2} H_{n}}{(n+1)(2n-1)}\tag{13}$$

But we have (https://en.wikipedia.org/wiki/Harmonic_number)

$$H_{2z}=\log(2) + \frac{1}{2}(H_z+H_{z-\frac{1}{2}})\tag{14}$$

so that

$$s_1 = \sum_{n\ge1} \frac{\log(2) -\frac{1}{2} H_{n-\frac{1}{2}}}{(n+1)(2n-1)}\tag{15}$$

The first sum yields $2 \log(2)^2$. The second sum

$$s_{1b} =- \frac{1}{2}\sum_{n\ge1} \frac{ H_{n-\frac{1}{2}}}{(n+1)(2n-1)}= ?\tag{16}$$

Still has to be calculated.

Summarizing: the numerical result of $s_1$ agrees with $\pi^2/6$,