7
$\begingroup$

My question is:

Can a closed-form expression for the following alternating quadratic Euler sum be found? Here $H_n$ denotes the $n$th harmonic number $\sum_{k = 1}^n 1/k$. $$S = \sum_{n = 1}^\infty \frac{(-1)^n H_n H_{2n}}{n^2}$$

What I have managed to do so far is to convert $S$ to two rather difficult integrals as follows.

Starting with the result $$\frac{H_{2n}}{2n} = -\int_0^1 x^{2n - 1} \ln (1 - x) \, dx \tag1$$ Multiplying (1) by $(-1)^n H_n/n$ then summing the result from $n = 1$ to $\infty$ gives $$S = -2 \int_0^1 \frac{\ln (1 - x)}{x} \sum_{n = 1}^\infty \frac{(-1)^n H_n}{n} x^{2n}. \tag2$$ From the following generating function for the harmonic numbers $$\sum_{n = 1}^\infty \frac{H_n x^n}{n} = \frac{1}{2} \ln^2 (1 - x) + \operatorname{Li}_2 (x),$$ replacing $x$ with $-x^2$ leads to $$\sum_{n = 1}^\infty \frac{(-1)^n H_n}{n} x^{2n} = \frac{1}{2} \ln^2 (1 + x^2) + \operatorname{Li}_2 (-x^2).$$ Substituting this result into (2) yields $$S = -2 \int_0^1 \frac{\ln (1 - x) \operatorname{Li}_2 (-x^2)}{x} \, dx - \int_0^1 \frac{\ln (1 - x) \ln^2 (1 + x^2)}{x} \, dx,$$ or, after integrating the first of the integrals by parts twice $$S = -\frac{5}{2} \zeta (4) + 4 \zeta (3) \ln 2 - 8 \int_0^1 \frac{x \operatorname{Li}_3 (x)}{1 + x^2} \, dx - \int_0^1 \frac{\ln (1 - x) \ln^2 (1 + x^2)}{x} \, dx. \tag3$$

I have a slim hope the first of these integrals can be found (I cannot find it). As for the second of the integrals, it is proving to be a little difficult.

Can someone find each of the integrals appearing in (3)? Or perhaps an alternative approach to the sum will deliver the closed-form I seek, I am fine either way.


Update

Thanks to Ali Shather, the first of the integrals can be found. Here \begin{align} \int_0^1 \frac{\ln (1 - x) \operatorname{Li}_2 (-x^2)}{x} \ dx &=\sum_{n=1}^\infty\frac{(-1)^n}{n^2}\int_0^1 x^{2n-1}\ln(1-x)\ dx\\ &= -\sum_{n=1}^\infty\frac{(-1)^nH_{2n}}{2n^3}\\ &=-4\sum_{n=1}^\infty\frac{(-1)^nH_{2n}}{(2n)^3}\\ &=-4 \operatorname{Re} \sum_{n=1}^\infty i^n\frac{H_n}{n^3}. \end{align} And using the result I calculated here, namely $$\operatorname{Re} \sum_{n=1}^\infty i^n\frac{H_n}{n^3} = \frac{5}{8} \operatorname{Li}_4 \left (\frac{1}{2} \right ) - \frac{195}{256} \zeta (4) + \frac{5}{192} \ln^4 2 - \frac{5}{32} \zeta (2) \ln^2 2 + \frac{35}{64} \zeta (3) \ln 2,$$ gives \begin{align} \int_0^1 \frac{\ln (1 - x) \operatorname{Li}_2 (-x^2)}{x} \, dx &= -\frac{5}{2} \operatorname{Li}_4 \left (\frac{1}{2} \right ) + \frac{195}{64} \zeta (4) - \frac{5}{48} \ln^4 2\\ & \qquad + \frac{5}{8} \zeta (2) \ln^2 2 - \frac{35}{16} \zeta (3) \ln 2. \end{align}

$\endgroup$
6
  • 1
    $\begingroup$ a little difficult seems to be a real understatement. I found quite good explicit approximations using for example $$\sum_{n = 1}^\infty \frac{(-1)^n H_n H_{2n}}{n^2}=\sum_{n = 1}^5 \frac{(-1)^n H_n H_{2n}}{n^2}+\sum_{n = 6}^\infty \frac{(-1)^n H_n H_{2n}}{n^2}$$ and expanding the last summand as series. Using expansions to $O(1/n^5)$, I obtained $-1.014450$ while the exact value is $-1.014452$ $\endgroup$ Feb 19, 2020 at 7:50
  • 2
    $\begingroup$ The first integral $$\int_0^1 \frac{\ln (1 - x) \operatorname{Li}_2 (-x^2)}{x} \ dx=\sum_{n=1}^\infty\frac{(-1)^n}{n^2}\int_0^1 x^{2n-1}\ln(1-x)\ dx$$ $$=-\sum_{n=1}^\infty\frac{(-1)^nH_{2n}}{2n^3}=-4\sum_{n=1}^\infty\frac{(-1)^nH_{2n}}{(2n)^3}=-4\Re \sum_{n=1}^\infty i^n\frac{H_n}{n^3}$$ and I think you already calculated this sum before. $\endgroup$ Feb 19, 2020 at 8:53
  • 1
    $\begingroup$ @Ali Shather Nice one. And yes, I have calculated this sum before. Now to the second integral which is an entirely different beast. $\endgroup$
    – omegadot
    Feb 19, 2020 at 8:58
  • 2
    $\begingroup$ After long calulations I find:$$\int_0^1 \frac{\ln (1 + x) \ln^2 (1 + x^2)}{x} \, dx,=-25\text{Li}_4(1/2) -\frac{229\ln 2}8\zeta(3) +\frac{2959 \pi^4}{11520} +\frac{91\pi^2\ln^2 2}{48} -\frac{51\ln^4 2}{16}+2{G^2}+\frac{3}{2}{\pi}G\ln{2}-\int_0^1 \frac{\ln (1 - x) \ln^2 (1 + x^2)}{1+x} \ dx+8\int_0^1 \frac{\ln (1 + x)\ln(1-x) \ln (1 + x^2)}{1+x} \ dx$$ $\endgroup$
    – user178256
    Feb 26, 2020 at 10:50
  • $\begingroup$ @Edit profile and settings $\int_0^1 \frac{\ln (1 + x) \ln^2 (1 + x^2)}{x} \, dx+\int_0^1 \frac{\ln (1 - x) \ln^2 (1 + x^2)}{1+x} \, dx=-4 \pi \Im(\text{Li}_3(1+i))-7 \text{Li}_4\left(\frac{1}{2}\right)+\frac{5}{4} \zeta (3) \log (2)+\frac{641 \pi ^4}{3840}+\frac{7}{48} \log ^4(2)+\frac{5}{16} \pi ^2 \log ^2(2)+{2}{C^2}-\frac{1}{2} \pi C \log (2)$ $\endgroup$
    – user178256
    May 12, 2020 at 8:30

5 Answers 5

6
$\begingroup$

A First (Magical) Solution by Cornel Ioan Valean

As I also mentioned in this post, the present series, which plays a key part there, is a beast in every way, and finding an elegant approach is an extremely difficult task, often looking like an impossible task. Experienced users in the realm of harmonic series will immediately figure out this monster won't fall easily to its knees. However, it will fall down during the work below!

Let's start with a special particular case of one of the Cornel's generalizations presented during another solution at this address $$\int_0^1 \frac{x\operatorname{arctanh}^n(x)}{1+a^2 x^2}\textrm{d}x \bigg|_{n=1}$$ $$=\frac{n!}{a^2 2^n}\left((1-2^{-n})\zeta(n+1)+ \Re\biggr\{\operatorname{Li}_{n+1}\left(\frac{a^2-1}{a^2+1}+i\frac{2a}{1+a^2}\right)\biggr\}\right)\bigg|_{n=1}$$ $$=\frac{1}{2}\frac{\arctan^2(a)}{a^2}, \ a \in \mathbb{R}\setminus\{0\}. \tag1$$

Proving the second equality: We want to exploit the Euler's formula, and then write \begin{equation*} \begin{aligned} \int_0^1 \frac{x\operatorname{arctanh}(x)}{1+a^2 x^2}\textrm{d}x\overset{\text{use} \ a=\tan(\theta/2)}{=}&\frac{1}{2\tan^2(\theta/2) }\left(\frac{\pi^2}{12}+ \Re\bigr\{\operatorname{Li}_2\left(-\cos(\theta)+i\sin(\theta)\right)\bigr\}\right)\\ &=\frac{1}{2\tan^2(\theta/2) }\left(\frac{\pi^2}{12}+ \Re\biggr\{\operatorname{Li}_2\left(-e^{-i \theta}\right)\biggr\}\right)\\ &=\frac{1}{2\tan^2(\theta/2) }\left(\frac{\pi^2}{12}- \sum_{n=1}^{\infty} (-1)^{n-1}\frac{\Re\{e^{-i n\theta}\}}{n^2}\right)\\ &=\frac{1}{2\tan^2(\theta/2) }\left(\frac{\pi^2}{12}- \sum_{n=1}^{\infty} (-1)^{n-1}\frac{\cos(n\theta)}{n^2}\right)\\ &=\frac{\theta^2}{8\tan^2(\theta/2)}\overset{\text{use} \ \tan(\theta/2)=a}{=}\frac{1}{2}\frac{\arctan^2(a)}{a^2}, \end{aligned} \end{equation*} where during the calculations I used the well-known Fourier series, $\displaystyle \sum_{n=1}^{\infty}(-1)^{n-1}\frac{\cos(nx)}{n^2}=\frac{\pi^2}{12}-\frac{x^2}{4}$,$-\pi\le x \le\pi$, and the calculations are complete.

Another solution: In this solution I'll only consider the restriction of the type $|x|\le1, \ x\neq 0$, \begin{equation*} \begin{aligned} \int_0^1 \frac{x\operatorname{arctanh}(x)}{1+a^2 x^2}\textrm{d}x&=\int_0^1 \sum_{n=1}^{\infty}(-1)^{n-1} x(a x)^{2n-2}\operatorname{arctanh}(x)\textrm{d}x\\ &=\sum_{n=1}^{\infty}(-1)^{n-1}a^{2n-2} \int_0^1 x^{2n-1}\operatorname{arctanh}(x)\textrm{d}x\\ &=\frac{1}{4}\sum_{n=1}^{\infty}(-1)^{n-1}a^{2n-2} \frac{2H_{2n}-H_n}{n}\\ &=\frac{1}{2}\frac{\arctan^2(a)}{a^2}, \end{aligned} \end{equation*} where in the calculations I used the logarithmic integrals $\displaystyle \int_0^1 x^{2n-1}\log(1-x)\textrm{d}x=-\frac{H_{2n}}{2n}$, then $\displaystyle \int_0^1 x^{2n-1}\log(1+x)\textrm{d}x=\frac{H_{2n}-H_n}{2n}$, (A simple proof may be found in this RG article), and finally the classical Cauchy product, $\displaystyle \arctan^2(x)=\frac{1}{2}\sum_{n=1}^{\infty}(-1)^{n-1}x^{2n}\frac{2H_{2n}-H_n}{n}, \ |x|\le1$. Details on how to start from this variant and extend it to $a \in \mathbb{R}\setminus\{0\}$ will be found in the sequel of (Almost) Impossible Integrals, Sums, and Series.

Yet, one more solution: This way is also going to be extremely elegant, and multiplying the auxiliary integral by $2a^2$ and cleverly integrating by parts, we get \begin{equation*} \begin{aligned} \int_0^1 2a^2\frac{x\operatorname{arctanh}(x)}{1+a^2 x^2}\textrm{d}x&=-\int_0^1 \log\left(\frac{1+a^2x^2}{1+a^2}\right)\frac{1}{1-x^2}\textrm{d}x\\ &=-\int_0^1 \int_0^a \frac{\partial}{\partial t}\biggr\{\log\left(\frac{1+t^2x^2}{1+t^2}\right)\biggr\}\frac{1}{1-x^2}\textrm{d}t \textrm{d}x\\ &=\int_0^1 \int_0^a\frac{2 t}{(1+t^2)(1+t^2 x^2)}\textrm{d}t \textrm{d}x\\ &=\int_0^a\int_0^1 \frac{2 t}{(1+t^2)(1+t^2 x^2)}\textrm{d}x \textrm{d}t\\ &=2\int_0^a \frac{\arctan(t)}{1+t^2}\textrm{d}t\\ &=\arctan^2(a), \end{aligned} \end{equation*} which brings an end to the present solution.

The main calculations: We may start from the function $\displaystyle f(x)=\frac{(\pi/2-\arctan(t))^2\operatorname{arctanh}(t)}{t}$ which we integrate from $0$ to $\infty$ (or I could start directly from the blue integral), and then using the simple fact that based on $(1)$ we have $\displaystyle \frac{(\pi/2-\arctan(t))^2}{t}=2\int_0^1 \frac{x\operatorname{arctanh}(x)}{t(t^2+x^2)}\textrm{d}x$, we write that $$\Re\biggr \{\int_0^{\infty} \frac{(\pi/2-\arctan(t))^2\operatorname{arctanh}(t)}{t}\textrm{d}t\biggr\}=\Re\biggr \{2\int_0^{\infty}\operatorname{arctanh}(t)\left( \int_0^1 \frac{x\operatorname{arctanh}(x)}{t(t^2+x^2)}\textrm{d}x\right)\textrm{d}t\biggr\}$$ $$=\Re\biggr \{2\int_0^1x\operatorname{arctanh}(x)\left(\int_0^{\infty} \frac{\operatorname{arctanh}(t)}{t(x^2+t^2)}\textrm{d}t\right)\textrm{d}x\biggr\}$$ $$=2\int_0^1x\operatorname{arctanh}(x)\left(\int_0^{\infty}\left(\operatorname{PV} \int_0^1 \frac{1}{(x^2+t^2)(1-t^2u^2)}\textrm{d}u\right)\textrm{d}t\right)\textrm{d}x$$ $$=2\int_0^1x\operatorname{arctanh}(x)\left(\int_0^1\left(\operatorname{PV} \int_0^{\infty} \frac{1}{(x^2+t^2)(1-u^2t^2)}\textrm{d}t\right)\textrm{d}u\right)\textrm{d}x$$ $$=\pi\int_0^1\operatorname{arctanh}(x)\left(\int_0^1\frac{1}{1+x^2 u^2}\textrm{d}u\right)\textrm{d}x$$ $$=\pi\int_0^1\frac{\arctan(x)\operatorname{arctanh}(x)}{x}\textrm{d}x.\tag2$$

Splitting the first integral in $(2)$ at $t=1$, using trivial identities with $\arctan(x)$ and $\operatorname{arctanh}(x)$, employing elementary variable changes to reduce the integration interval to the space from $t=0$ to $t=1$, we write $$\Re\biggr \{\int_0^{\infty} \frac{(\pi/2-\arctan(t))^2\operatorname{arctanh}(t)}{t}\textrm{d}t\biggr\}$$ $$\int_0^1 \frac{(\pi/2-\arctan(t))^2\operatorname{arctanh}(t)}{t}\textrm{d}t+\Re\biggr \{\int_1^{\infty} \frac{(\pi/2-\arctan(t))^2\operatorname{arctanh}(t)}{t}\textrm{d}t\biggr\}$$ $$=\frac{\pi^2}{4}\int_0^1\frac{\operatorname{arctanh}(t)}{t}\textrm{d}t-\pi\int_0^1\frac{\arctan(t)\operatorname{arctanh}(t)}{t}\textrm{d}t+2\color{blue}{\int_0^1\frac{\arctan^2(t)\operatorname{arctanh}(t)}{t}\textrm{d}t}$$ $$=\frac{45}{16}\zeta(4)-\pi\int_0^1\frac{\arctan(t)\operatorname{arctanh}(t)}{t}\textrm{d}t+2\color{blue}{\int_0^1\frac{\arctan^2(t)\operatorname{arctanh}(t)}{t}\textrm{d}t}\tag3.$$

Upon combining $(2)$ and $(3)$ we get a first useful and powerful relation which for the art's sake I'll put as a representation of $\zeta(4)$,

$$\zeta(4)$$ $$=\frac{32}{45} \pi \int_0^1 \frac{\arctan(t)\operatorname{arctanh(t)}}{t}\textrm{d}t-\frac{32}{45} \color{blue}{\int_0^1 \frac{\arctan^2(t)\operatorname{arctanh}(t)}{t} \textrm{d}t}.\tag4$$

The first integral in $(4)$ is a known one, immediately reducible to the work with classical results, and we may put it in the form $$\int_0^1 \frac{\arctan(t)\operatorname{arctanh(t)}}{t}\textrm{d}t=\frac{\pi ^3}{32}+\frac{1}{2} \int_0^1 \frac{\arctan(t)\log(t)}{1+t}\textrm{d}t+\frac{1}{2} \Im\biggr\{\int_0^1 \frac{\log (1+i t) \log (t)}{1-t} \textrm{d}t\biggr\}$$ $$=\frac{1}{2}\log(2)G+\frac{\pi}{16}\log^2(2)+\frac{3}{64}\pi^3-\Im\{\operatorname{Li}_3(1+i)\}.\tag5$$

The first integral in $(5)$ appears in this post with more solutions, and it also appears in (Almost) Impossible Integrals, Sums, and Series (see page $14$, Sect. $1.24$). The second integral is very elegantly derived if we consider $\displaystyle I(a)=\int_0^1 \frac{\log (1+a t) \log (t)}{1-t} \textrm{d}t$ and differentiate under the integral sign with respect to $a$.

Using the logarithmic integrals and the Cauchy product employed during the calculation of the second solution to the auxiliary result in $(1)$, we get the following integral transformation to series $$\color{blue}{\int_0^1 \frac{\arctan^2(t)\operatorname{arctanh}(t)}{t} \textrm{d}t}$$ $$=\frac{1}{8}\sum _{n=1}^{\infty}(-1)^{n-1} \frac{ H_n^2}{n^2}+\frac{1}{2}\sum_{n=1}^{\infty} (-1)^{n-1}\frac{H_{2 n}^2}{n^2}-\frac{1}{2}\color{red}{\sum _{n=1}^{\infty} (-1)^{n-1}\frac{ H_n H_{2 n}}{n^2}}.\tag6$$

Combining $(4)$, $(5)$, and $(6)$ and observing the first two series are known, we arrive at the desired value of the series, $$\color{red}{\sum _{n=1}^{\infty} (-1)^{n-1}\frac{ H_n H_{2 n}}{n^2}}$$ $$\color{red}{=2 G^2-2\log(2)\pi G-\frac{1}{8}\log^4(2)-\frac{21}{8}\log(2)\zeta(3)+\frac{1}{4}\log^2(2)\pi ^2+\frac{773}{5760}\pi ^4}$$ $$\color{red}{-4 \pi \Im\biggr\{\operatorname{Li}_3\left(\frac{1+i}{2}\right)\biggr\}-3 \operatorname{Li}_4\left(\frac{1}{2}\right)},$$ where I also used polylogarithmic relations as the ones found here.

Note that for the first two resulting harmonic series in $(6)$, we have $$\sum_{n=1}^{\infty} (-1)^{n-1} \frac{H_n^2}{n^2}$$ $$=\frac{41}{16}\zeta (4)-\frac{7}{4}\log (2) \zeta (3)+\frac{1}{2}\log ^2(2)\zeta (2)-\frac{1}{12} \log ^4(2) -2 \text{Li}_4\left(\frac{1}{2}\right),$$ which is a classical result, and it may also be found in (Almost) Impossible Integrals, Sums, and Series, page $310$, and $$\sum_{n=1}^{\infty} (-1)^{n-1} \frac{H_{2n}^2}{n^2}$$ $$=2 G^2-\log(2)\pi G+\frac{231}{32}\zeta(4)-\frac{35}{16}\log(2)\zeta(3)+\log^2(2)\zeta(2)-\frac{5}{48}\log^4(2)$$ $$-2 \pi \Im\biggr\{\operatorname{Li}_3\left(\frac{1+i}{2}\right)\biggr\}-\frac{5}{2}\operatorname{Li}_4\left(\frac{1}{2}\right),$$ which is given and easily derived in this post.

End of story

More series from the atypical alternating weight 4 class: $$\sum_{n=1}^{\infty} (-1)^{n-1} \frac{H_{2n}^3}{n}$$ $$=2G^2-\frac{3}{4}\log(2)\pi G+\frac{1055}{256}\zeta(4)-\frac{93}{64}\log(2)\zeta(3)+\frac{21}{32}\log^2(2)\zeta(2)-\frac{1}{32}\log^4(2)$$ $$-\frac{3}{2}\pi \Im\biggr\{\operatorname{Li}_3\left(\frac{1+i}{2}\right)\biggr\};$$ $$\sum_{n=1}^{\infty} (-1)^{n-1} \frac{H_{2n}H_{2n}^{(2)}}{n}$$ $$ =\frac{1}{4}\log(2)\pi G-\frac{137}{128}\zeta(4)+\frac{35}{64}\log(2)\zeta(3)-\frac{3}{8}\log^2(2)\zeta(2)+\frac{5}{96}\log^4(2)$$ $$+\frac{\pi}{2}\Im\biggr\{\operatorname{Li}_3\left(\frac{1+i}{2}\right)\biggr\}+\frac{5}{4}\operatorname{Li}_4\left(\frac{1}{2}\right).$$

They are straightforward by exploiting their related generating functions that are immediately built based on the generating functions in (Almost) Impossible Integrals, Sums, and Series (see page $284$, Sect. $4.10$). More details and results are included in the sequel of the mentioned book.

And more series ... from the same class: $$\sum_{n=1}^{\infty} (-1)^{n-1}\frac{H_{2n}^{(3)}}{n}=\frac{199}{128}\zeta (4)-\frac{3}{32} \log (2)\zeta (3)-G^2,$$ where this series is part of the generalization found in Cornel's answer here. It may also be found in the article A simple strategy of calculating two alternating harmonic series generalizations by C.I. Valean at this link.

$\endgroup$
4
$\begingroup$

Using your integral representation, the sum equals to: $$\sum_{n = 1}^\infty \frac{(-1)^n H_n H_{2n}}{n^2}= -2 \int_0^1 \frac{\ln (1 - x) \operatorname{Li}_2 (-x^2)}{x} \, dx - \int_0^1 \frac{\ln (1 - x) \ln^2 (1 + x^2)}{x} \, dx$$ $$\small=-2 C^2+2 \pi C \log (2)-4 \pi \Im(\text{Li}_3(1+i))+3 \text{Li}_4\left(\frac{1}{2}\right)+\frac{21}{8} \zeta (3) \log (2)+\frac{487 \pi ^4}{5760}+\frac{\log ^4(2)}{8}+\frac{1}{8} \pi ^2 \log ^2(2)$$ For the second integral and its derivation, see here.

$\endgroup$
1
  • 1
    $\begingroup$ Magical and thanks. $\endgroup$
    – omegadot
    May 13, 2020 at 5:29
2
$\begingroup$

Remark: I have noticed too late that this integral has already been solved (in the update of omegadot).

Nevertheless I don't delete the contribution because, together with this information, it shows that the hypergeometric functions appearing here can be simplified appreciably which gives hope for other cases.

Original post

A closed expression of the integral

$$i = \int_0^1 \frac{x \operatorname{Li}_3(x)}{x^2+1}\tag{1}$$

can be found in terms of (sorry Ali) hypergeometric function as follows.

Partial integration gives

$$i=s_{0}-\int_0^1 \frac{\text{Li}_2(x) \log \left(x^2+1\right)}{2 x} \, dx\tag{2a}$$

where

$$s_0 = \frac{1}{2} \zeta (3) \log (2)\tag{2b}$$

Expanding the denominator of the integrand we find that $i=s_{0}+\sum a_{k}$ where

$$a_{k} =-\frac{1}{2} \int_0^1 \frac{(-1)^{k+1} x^{2 k-1} \text{Li}_2(x)}{k} \, dx=-\frac{(-1)^{k+1} \left(\pi ^2 k-3 H_{2 k}\right)}{24 k^3}\tag{3}$$

The two sums are

$$s_{1}=\frac{1}{24} \left(-\pi ^2\right) \sum _{k=1}^{\infty } \frac{(-1)^{k+1}}{k^2}=-\frac{\pi ^4}{288}\tag{4}$$

$$s_{2} = +\frac{1}{8} \sum _{k=1}^{\infty } \frac{(-1)^{k+1} H_{2 k}}{k^3}=\frac{1}{32} \left(-2 \,_P\tilde{F}_Q^{(\{0,0,0,0\},\{0,0,1\},0)}(\{1,1,1,1\},\{2,2,2\},-1)\\-\sqrt{\pi } \,_P\tilde{F}_Q^{(\{0,0,0,0,0\},\{0,0,0,1\},0)}\left(\left\{1,1,1,1,\frac{3}{2}\right\},\left\{2,2,2,\frac{3}{2}\right\},-1\right)\\+3 \zeta (3) (\gamma +\log (2))\right)\tag{5}$$

Where $\,_P\tilde{F}_Q$ is the regularized hypergeometric function. For more details see https://math.stackexchange.com/a/3544006/198592.

Two terms appear in $s_{2}$ due to the relation

$$H_{2 k}=\frac{1}{2} \left( H_{k-\frac{1}{2}}+ H_k \right)+\log (2)$$

The complete integral is then given by

$$i = s_{0}+s_{1}+s_{2}$$

The numeric check shows good agreement.

Discussion

I'm almost sure that the sum

$$\sum _{k=1}^{\infty } \frac{(-1)^{k+1} H_k}{k^3}$$

has a simpler expression, and so might

$$\sum _{k=1}^{\infty } \frac{(-1)^{k+1} H_{k-\frac{1}{2}}}{k^3}$$

and I'd be happy to replace the hypergeometric constructs.

No need to conjecture: omegadot has done it, see https://math.stackexchange.com/a/3290607/198592

$\endgroup$
1
$\begingroup$

A Second (Magical) Solution by Cornel Ioan Valean

To get a different solution, we start from Dan Fulea's integral in this post where Cornel provided with an extremely simple solution, and by simply rearranging it, we have that $$\frac{\pi^4}{64}$$ $$=\frac{\pi^2}{4}\underbrace{\int_0^1\frac{\operatorname{arctanh}(t)}{t}\textrm{d}t}_{\displaystyle \pi^2/8}-\pi \int_0^1\frac{\arctan(t)\operatorname{arctanh}(t)}{t}\textrm{d}t+\int_0^1\frac{\arctan^2(t)\operatorname{arctanh}(t)}{t}\textrm{d}t,$$ and since the middle integral is provided in the first Cornel's solution and the transformation from the last integral to series is again shown in the first Cornel's solution together with the values of the resulting auxiliary series, we arrive at the desired value of the series, $$\color{red}{\sum _{n=1}^{\infty} (-1)^{n-1}\frac{ H_n H_{2 n}}{n^2}}$$ $$\color{red}{=2 G^2-2\log(2)\pi G-\frac{1}{8}\log^4(2)-\frac{21}{8}\log(2)\zeta(3)+\frac{1}{4}\log^2(2)\pi ^2+\frac{773}{5760}\pi ^4}$$ $$\color{red}{-4 \pi \Im\biggr\{\operatorname{Li}_3\left(\frac{1+i}{2}\right)\biggr\}-3 \operatorname{Li}_4\left(\frac{1}{2}\right)},$$ and the solution is complete.

End of story

A note: The connection with Dan Fulea's integral was observed later, and this latter way is definitely more wonderful to consider.

$\endgroup$
1
$\begingroup$

A Third (Magical) Solution by Cornel Ioan Valean

This time we assume we have in hand that $\displaystyle \int_0^1 \frac{\arctan^2(x)}{x}\log\left(\frac{x}{(1-x)^2}\right)=G^2$, which is calculated extremely easily at this link. Furthermore, we also assume we have at our disposal the value of the powerful harmonic series $\displaystyle \sum_{n=1}^{\infty}(-1)^{n-1}\frac{H_{2n}}{n^3}$ which is derived in a simple manner in this answer. Now, as seen in this post, the integral is reducible to the previously mentioned harmonic series and $\color{red}{\text{the main harmonic series}}$.

Using the simple facts stated above, we conclude that $$\color{red}{\sum _{n=1}^{\infty} (-1)^{n-1}\frac{ H_n H_{2 n}}{n^2}}$$ $$\color{red}{=2 G^2-2\log(2)\pi G-\frac{1}{8}\log^4(2)-\frac{21}{8}\log(2)\zeta(3)+\frac{1}{4}\log^2(2)\pi ^2+\frac{773}{5760}\pi ^4}$$ $$\color{red}{-4 \pi \Im\biggr\{\operatorname{Li}_3\left(\frac{1+i}{2}\right)\biggr\}-3 \operatorname{Li}_4\left(\frac{1}{2}\right)},$$ and we are done!

$\endgroup$

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.