Vtyjkyuk

I've been trying to compute the following series for quite a while :

$$sum_n=1^inftyfracH_n^(2)ncdot 4^n2n choose n$$
where $H_n^(2)=sumlimits_k=1^nfrac1k^2$ are the generalized harmonic numbers of order 2.

I've already successfully computed the value of a lot of similar-looking series involving harmonic numbers and central binomial coefficients (by using Abel's transformation, finding the generating function...), and they all had closed forms in terms of the Riemann Zeta function, so I'm confident this one too has a nice closed form ; but it's a tough guy that resists my previous methods.

By numerical test, I suspect that the value is $frac32zeta(3)$.

Any idea for derivation ?

Since

$$ zeta(2)-H_n^(2) = int_0^1 x^n frac-log x1-x,dx $$
$$ sum_ngeq 1fracx^nn4^nbinom2nn = 2log(2)-2log(1+sqrt1-x) $$
the computation of your series boils down to the computation of the integral

$$ int_0^1fraclog(x)log(1+sqrt1-x)1-x,dx=int_0^1fraclog(1-x)log(1+sqrtx)x,dx $$
or the computation of the integral
$$ int_0^1fracleft[log(1-x)+log(1+x)right]log(1+x)x,dx $$
where
$$ int_0^1fraclog^2(1+x)x=fraczeta(3)4,qquad int_0^1fraclog(1-x)log(1+x)x,dx =-frac5,zeta(3)8$$
are simple to prove by Maclaurin series and Euler sums. Your conjecture is correct.