# Simplify hypergeometric function

Theorem: Let $H_n$ be the $nth$ harmonic number. Then

$$\sum_{n=1}^\infty \binom{2n}{n} H_n x^n=\frac{2}{\sqrt{1-4x}}\log\bigg(\frac{1+\sqrt{1-4x}}{2\sqrt{1-4x}} \bigg)$$

How can I simplify following hypergeometric function by using Mathematica?

Sum[Binomial[2 n, n] HarmonicNumber[n] x^n, {n, 1, Infinity}]


I tried FullSimplify and FunctionExpand but it doesn't work

• For what it's worth, -Derivative[0, 0, 1, 0][Hypergeometric2F1][1/2, 1, 1, 4*x] looks completely different from 2/Sqrt[1 - 4*x]*Log[(1 - Sqrt[1 - 4*x])/(2*Sqrt[1 - 4*x])] when I plot it. Are you sure that theorem is correct? – Pillsy Apr 11 '17 at 16:14
• @Pillsy I think its correct. see here page 3. – vito Apr 11 '17 at 16:22
• @Pillsy, you have a misplaced "-" in the numerator of the Log[ ] term. Plots OK after you fix that. – MikeY Apr 11 '17 at 16:31
• @MikeY so I have. thanks! – Pillsy Apr 11 '17 at 16:35
• Mathematica is not yet that good at simplifying parameter derivatives of hypergeometric functions, much less recognizing them to be elementary. (The general expressions are horrendous; see e.g. this.) – J. M. will be back soon Apr 11 '17 at 17:43