I proved the following result
$$\displaystyle \sum_{k\geq 1} \frac{H_k^{(2)} H_k}{k^3} =- \frac{97}{12} \zeta(6)+\frac{7}{4}\zeta(4)\zeta(2) + \frac{5}{2}\zeta(3)^2+\frac{2}{3}\zeta(2)^3$$
After consideration of powers of polylogarithms.
You can refer to the following thread .
My question is : are there any papers in the literature which dealt with that result?
Are my evaluations worth publishing ?
On
An evaluation using contour integration is also possible.
Consider the function $$ f(z) = \frac{\pi \cot (\pi z) [ \psi(-z)+\gamma] \ \psi_{1}(-z)}{z^3}, $$ where $\psi(z)$ is the digamma function, $\gamma$ is the Euler-Mascheroni constant, and $\psi_{1}(z)$ is the trigamma function.
The function $f(z)$ has poles at the positive integers of order 4, simple poles at the negative integers, and a pole of order 7 at the origin.
On the sides of a square with vertices at $z= (N+\frac{1}{2})\pm i (N+ \frac{1}{2})$ (call it $C_{N}$), $\cot (\pi z)$ is uniformly bounded.
And when $z$ is large in magnitude and not on the positive real axis, $\psi(-z) \sim \log(-z)$ and $\psi_{1}(-z) \sim - \frac{1}{z}$.
So $ \displaystyle \int_{C_{N}} f(z) \ dz \to 0$ as $N \to \infty$ through the positive integers, and therefore
$$ \sum_{n=-\infty}^{\infty} \text{Res}[f(z), n] = 0.$$
Expanding at the positive integers, we get
$$ \begin{align} f(z) &= \frac{1}{z^{3}} \Bigg[ \Bigg(\frac{1}{z-n} - 2 \zeta(2) (z-n) + \mathcal{O} \Big((z-n)^{3} \Big) \Bigg) \Bigg(\frac{1}{z-n} + H_{n} - \Big(H_{n}^{(2)}+\zeta(2) \Big)(z-n)\\ &+ \Big(H_{n}^{(3)} - \zeta(3) \Big) \cdot(z-n)^{2}+ \mathcal{O} \big((z-n)^{3} \Bigg) \Bigg( \frac{1}{(z-n)^{2}} + \Big( H_{n}^{2} + \zeta(2) \Big) - 2 \Big(H_{n}^{3} - \zeta(3) \Big) \\ & \cdot (z-n) + \mathcal{O} \Big( (z-n)^{2} \Big) \Bigg) \Bigg] \\ &= \frac{1}{z^{3}} \left(\frac{1}{(z-n)^{4}} + \frac{H_{n}}{(z-n)^{2}} - \frac{2 \zeta(2)}{(z-n)^{2}} + \frac{H_{n}^{(2)} H_{n}}{z-n} - \frac{\zeta(2) H_{n}}{z-n} + \frac{\zeta(3)}{z-n} - \frac{H_{n}^{(3)}}{z-n} + \mathcal{O}(1) \right) .\end{align}$$
So at the positive integers, $$ \begin{align} \text{Res}[f(z),n] &= \text{Res} \left[ \frac{1}{z^{3}} \frac{1}{(z-n)^{4}}, n \right] + \text{Res} \left[ \frac{1}{z^{3}} \frac{H_{n}}{(z-n)^{3}}, n \right] + \text{Res} \left[ \frac{-2 \zeta(2)}{z^{3}} \frac{1}{(z-n)^{2}}, n \right] \\ &+ \text{Res} \Big[ \frac{H_{n}^{(2)} H_{n}}{z^{3}} \frac{1}{z-n}, n \Big] + \text{Res} \Big[ \frac{- \zeta(2) H_{n}}{z^{3}} \frac{1}{z-n}, n \Big] + \text{Res} \Big[ \frac{\zeta(3)}{z^{3}} \frac{1}{z-n}, n \Big] \\ &+ \text{Res} \Big[ \frac{-H_{n}^{(3)}}{z^{3}} \frac{1}{z-n}\Big] \\ &= - \frac{10}{n^{5}} + \frac{6 H_{n}}{n^{5}} + \frac{6 \zeta(2)}{n^{4}} + \frac{H_{n}^{(2)}H_{n}}{n^{3}} - \frac{\zeta(2) H_{n}}{n^{3}} + \frac{\zeta(3)}{n^{3}} - \frac{H_{n}^{(3)}}{n^{3}} .\end{align} $$
At the negative integers, $$\begin{align} \text{Res}[f(z),-n] &= -\frac{\psi_{1}(n) \Big( \psi(n)+\gamma\Big)}{n^3} \\ &= - \frac{\Big(\zeta(2) - H_{n-1}^{(2)} \Big)H_{n-1}}{n^{3}} \\ &= -\frac{ \Big(\zeta(2)-H_{n}^{(2)}+ \frac{1}{n^{2}}\Big) \Big(H_{n}- \frac{1}{n} \Big)}{n^{3}} \\ &= - \frac{\zeta(2) H_{n}}{n^{3}} + \frac{\zeta(2)}{n^{4}} + \frac{H_{n}^{(2)} H_{n}}{n^{3}} - \frac{H_{n}^{(2)}}{n^{4}} - \frac{H_{n}}{n^{5}} + \frac{1}{n^{6}}. \end{align}$$
And expanding at the origin, we get $$ \begin{align} f(z) &= \frac{1}{z^{3}} \Big( \frac{1}{z} - 2 \zeta(2) z - 2 \zeta(4) z^{3} - 2 \zeta(6) z^{5} + \mathcal{O}(z^{7}) \Big) \Big( \frac{1}{z} - \zeta(2)z - \zeta(3) z^{2} - \zeta(4) z^{3}- \zeta(5) z^{4} \\ &- \zeta(6) z^{5} + \mathcal{O}(z^{6}) \Big) \Big( \frac{1}{z^{2}} + \zeta(2) + 2 \zeta(3) z + 3 \zeta(4) z^{2} + 4 \zeta(5)z^{3} + 5 \zeta(6)z^{4} + \mathcal{O}(z^{5}) \Big) \\ &= \frac{1}{z^{7}} - \frac{2 \zeta(2)}{z^{5}} + \frac{\zeta(3)}{2z^{4}} - \frac{\zeta^{2}(2)}{z^{3}} + \frac{3 \zeta(5)}{z^{2}} - \frac{5 \zeta(2) \zeta(3)}{z^{2}} - \frac{2 \zeta^{2}(3)}{z} + \frac{2 \zeta(6)}{z} - \frac{8 \zeta(2) \zeta(4)}{z} \\ &+ \frac{2 \zeta^{3}(2)}{z} + \mathcal{O}(1) .\end{align}$$
Therefore, $$ \text{Res}[f(z),0] = -2 \zeta^{2}(3) + 2 \zeta(6) - 8 \zeta(2) \zeta(4) + 2 \zeta^{3}(2) .$$
Summing up all the residues,
$$ \begin{align} &-10 \sum_{n=1}^{\infty} \frac{1}{n^{6}} + 6 \sum_{n=1}^{\infty} \frac{H_{n}}{n^{5}} + 6 \zeta(2) \sum_{n=1}^{\infty} \frac{1}{n^{4}} + \sum_{n=1}^{\infty} \frac{H_{n}^{(2)} H_{n}}{n^{3}} - \zeta(2) \sum_{n=1}^{\infty} \frac{H_{n}}{n^{3}} + \zeta(3) \sum_{n=1}^{\infty} \frac{1}{n^{3}} \\ &- \sum_{n=1}^{\infty} \frac{H_{n}^{(3)}}{n^{3}} - \zeta(2) \sum_{n=1}^{\infty} \frac{H_{n}}{n^{3}} + \zeta(2) \sum_{n=1}^{\infty} \frac{1}{n^{4}} + \sum_{n=1}^{\infty} \frac{H_{n}^{(2)} H_{n}}{n^{3}} - \sum_{n=1}^{\infty} \frac{H_{n}^{(2)}}{n^{4}} - \sum_{n=1}^{\infty} \frac{H_{n}}{n^{5}} + \sum_{n=1}^{\infty} \frac{1}{n^{6}} \\ &- 2 \zeta^2(3) + 2 \zeta(6) - 8 \zeta(2) \zeta(4) + 2 \zeta^3(2) = 0, \end{align} $$
where $$ \sum_{n=1}^\infty \frac{H_n}{n^q}= \left(1+\frac{q}{2} \right)\zeta(q+1)-\frac{1}{2}\sum_{k=1}^{q-2}\zeta(k+1)\zeta(q-k) \tag{1}$$
and $$\sum_{n=1}^{\infty} \frac{H^{(k)}_n}{n^k}\, = \frac{\zeta{(2k)}+\zeta^{2}(k)}{2}. \tag{2}$$
Therefore, $$ 2 \sum_{n=1}^{\infty} \frac{H_{n}^{(2)}H_{n}}{n^{3}} = -10 \zeta(6) + \frac{17}{2} \zeta(2) \zeta(4) + 4 \zeta^{2}(3) - 2 \zeta^{3}(2) + \sum_{n=1}^{\infty} \frac{H_{n}^{(2)}}{n^{4}} .$$
To evaluate $ \displaystyle \sum_{n=1}^{\infty} \frac{H_{n}^{(2)}}{n^{4}}$ consider $$ g(z) = \frac{\Big(\psi_{1}(-z) \Big)^{2}}{z^{\color{red}{3}}} $$ and integrate around the same contour.
The function $g(z)$ has poles of order 4 at the positive integers and a pole of order 7 at the origin.
Then again because the integral vanishes as $ N \to \infty$ through the positive integers, $$\sum_{n=0}^{\infty} \text{Res}[g(z), n] =0.$$
Expanding at the positive integers, we get $$ \begin{align} g(z) &= \frac{1}{z^{3}} \Bigg[\frac{1}{(z-n)^{2}}+ \Big(H_{n}^{(2)} + \zeta(2) \Big) - 2 \Big(H_{n}^{(3)}-\zeta(3)\Big) (z-n) + \mathcal{O}\Big((z-n)^{2}\Big) \Bigg]^{2} \\ &= \frac{1}{z^{3}} \Bigg(\frac{1}{(z-n)^{4}} + \frac{2 H_{n}^{(2)}+2 \zeta(2)}{(z-n)^{2}} - \frac{4H_{n}^{(3)} -4 \zeta(3)}{z-n} + \mathcal{O}(1) \Bigg) .\end{align}$$
So at the positive integers, $$ \begin{align} \text{Res} [g(z),n] &= \text{Res} \Bigg[ \frac{1}{z^{3}} \frac{1}{(z-n)^{4}},n \Bigg] + \text{Res} \Bigg[ \frac{1}{z^{3}} \frac{2 H_{n}^{(2)} + 2 \zeta(2)}{(z-n)^{2}},n\Bigg] + \text{Res} \Bigg[ \frac{4 \zeta(3) - 4 H_{n}^{(3)}}{z-n},n\Bigg] \\ &= -\frac{10}{n^{6}} - \frac{6 H_{n}^{(2)}}{n^{4}} - \frac{6 \zeta(2)}{n^{4}} - \frac{4 H_{n}^{(3)}}{n^{3}} + \frac{4 \zeta(3)}{n^{3}} . \end{align}$$
And expanding at the origin, we get $$ \begin{align} g(z) &= \frac{1}{z^{3}} \Big( \frac{1}{z^{2}} + \zeta(2) + 2 \zeta(3) z + 3 \zeta(4) z^{2} + 4 \zeta(5) z^{3} + 5 \zeta(6)z^{4} + \mathcal{O}(z^{5}) \Big)^{2} \\ &= \frac{1}{n^{7}} + \frac{2 \zeta(3)}{z^{5}} + \frac{2 \zeta(3)}{z^{4}} + \frac{6 \zeta(4) + \zeta^{2}(z)}{z^{3}} + \frac{9 \zeta(5) + 4 \zeta(2) \zeta(3)}{z^{2}} \\ &+ \frac{10 \zeta(6) + 6 \zeta(2) \zeta(4)+ 4 \zeta^{2}(3)}{z} + \mathcal{O}(1) . \end{align}$$
Therefore, $$ \text{Res}[g(z),0] = 10 \zeta(6) + 6 \zeta(2) \zeta(4)+ 4 \zeta^{2}(3) .$$
Summing up all the residues, $$\displaystyle -10 \zeta(6) - 6 \sum_{n=1}^{\infty} \frac{H_{n}^{(2)}}{n^{4}} - 6 \zeta(2) \zeta(4) - 4 \sum_{n=1}^{\infty} \frac{H_{n}^{(3)}}{n^{3}} + 4 \zeta^{2}(3) + 10 \zeta(6) + 6 \zeta(2) \zeta(4) + 4 \zeta^{2}(3) =0, $$
which implies $$ \displaystyle \sum_{n=1}^{\infty} \frac{H_{n}^{(2)}}{n^{4}} = \zeta^{2}(3) - \frac{\zeta(6)}{3} .$$
Combining this result with the previous result, we get $$ \displaystyle \sum_{n=1}^{\infty} \frac{H_{n}^{(2)}H_{n}}{n^{3}} = - \frac{31}{6} \zeta(6) + \frac{17}{4} \zeta(2) \zeta(4) + \frac{5}{2} \zeta^{2}(3) - \zeta^{3}(2) \approx 1.4716926365,$$
which is equivalent to your answer.
$ $
$(1)$ Generalized Euler sum $\sum_{n=1}^\infty \frac{H_n}{n^q}$
Borwein and Girgensohn's paper "Evaluation of Triple Euler Sums" (Electronic Journal of Combinatorics 3(1) 1996) deals exactly with results of this kind. They index their problems slightly differently, so there's a little more work to be done to obtain your result, but their results are close enough to yours that I wouldn't really consider your result new. Absent newness, you might have a shot at something publishable if your proof technique is sufficiently novel or interesting. My sense, though, is that polylogarithms are one of the main proof techniques for evaluating Euler sums. For example, searching for "polylog" on Hoffman's "References on Multiple Zeta Values and Euler Sums" page generates 41 hits. So my guess is that the proof technique would not be sufficiently novel to justify publication, either.
I'll outline the steps that can be used to obtain your result from those in Borwein and Girgensohn's paper.
First, rewrite your sum as $$ \begin{align} \sum_{k\geq 1} \frac{H_k^{(2)} H_k}{k^3} &= \sum_{k\geq 1} \frac{H_{k-1}^{(2)} H_{k-1}}{k^3} + \sum_{k\geq 1} \frac{H_{k-1}^{(2)}}{k^4} + \sum_{k\geq 1} \frac{ H_{k-1}}{k^5} +\sum_{k\geq 1} \frac{1}{k^6}\\ &= \sum_{k\geq 1} \frac{H_{k-1}^{(2)} H_{k-1}}{k^3} + \sum_{k\geq 1} \frac{H_{k}^{(2)}}{k^4} + \sum_{k\geq 1} \frac{ H_{k}}{k^5} - \sum_{k\geq 1} \frac{1}{k^6}.\\ \end{align} $$ The second sum on the previous line is $\zeta(3)^2 - \frac{1}{3}\zeta(6)$, the third is $\frac{7}{2} \zeta(6) - \zeta(4)\zeta(2) - \frac{1}{2} \zeta(3)^2$, and the last is of course $\zeta(6)$. (The second and third sums are both due to Euler. For references, see the table on page 16 and Theorem 2.2 in Flajolet and Salvy's "Euler Sums and Contour Integral Representations," Experimental Mathematics 7 1998, pp. 15-35.)
The first sum is the kind that Borwein and Girgensohn show how to evaluate. Theorem 2 of their paper says that $$\sum_{k =1}^N \frac{H_{k-1}^{(2)} H_{k-1}}{k^3} = \zeta_N(3,2,1) + \zeta_N(3,1,2) + \zeta_N(3,3),$$ where $$ \begin{align} \zeta_N(a,b) &= \sum_{i=1}^N \sum_{j=1}^{i-1} \frac{1}{i^a j^b}, \\ \zeta_N(a,b,c) &= \sum_{i=1}^N \sum_{j=1}^{i-1} \sum_{k=1}^{j-1} \frac{1}{i^a j^b k^c}. \\ \end{align} $$ Then, on page 21, they give the evaluations, where $\zeta(a,b,c) = \lim_{N \to \infty} \zeta_N(a,b,c)$, $$ \begin{align} \zeta(3,2,1) &= 3 \zeta(3)^2 - \frac{203}{48} \zeta(6),\\ \zeta(3,1,2) &= \frac{53}{24} \zeta(6) - \frac{3}{2} \zeta(3)^2. \end{align} $$ Values of $\zeta_N(a,a)$ are classical (see, for example, Concrete Mathematics, p. 37, Eq. 2.33 for evaluations of this type). We have $$\zeta_N(3,3) = \frac{1}{2} \left( \left(\sum_{k=1}^N \frac{1}{k^3} \right)^2 - \sum_{k=1}^N \frac{1}{k^6}\right),$$ so that $$\zeta(3,3) = \lim_{N \to \infty} \zeta_N(3,3) = \frac{1}{2} \zeta(3)^2 - \frac{1}{2} \zeta(6).$$
We also need that $$ \begin{align} \zeta(4) \zeta(2) &= \frac{7}{4} \zeta(6), \\ \zeta(2)^3 &= \frac{35}{8} \zeta(6), \end{align} $$ which just follow from the known values of $\zeta(2), \zeta(4)$, and $\zeta(6)$.
Putting all of this together yields $$ \begin{align} \sum_{k=1}^{\infty} \frac{H_k^{(2)} H_k}{k^3} = &3 \zeta(3)^2 - \frac{203}{48} \zeta(6) + \frac{53}{24} \zeta(6) - \frac{3}{2} \zeta(3)^2 + \frac{1}{2} \zeta(3)^2 - \frac{1}{2} \zeta(6) + \zeta(3)^2 \\ &- \frac{1}{3}\zeta(6) + \frac{7}{2} \zeta(6) - \zeta(4)\zeta(2) - \frac{1}{2} \zeta(3)^2 - \zeta(6) \\ = &\frac{5}{2} \zeta(3)^2 - \frac{101}{48} \zeta(6), \end{align} $$ which is exactly what you have when you express $\zeta(4)\zeta(2)$ and $\zeta(2)^3$ in terms of $\zeta(6)$.