\documentclass[12pt,reqno]{article} \usepackage[usenames]{color} \usepackage{amssymb} \usepackage{graphicx} \usepackage{amscd} \usepackage[colorlinks=true, linkcolor=webgreen, filecolor=webbrown, citecolor=webgreen]{hyperref} \definecolor{webgreen}{rgb}{0,.5,0} \definecolor{webbrown}{rgb}{.6,0,0} \usepackage{color} \usepackage{fullpage} \usepackage{float} \usepackage{psfig} \usepackage{graphics,amsmath,amssymb} \usepackage{amsthm} \usepackage{amsfonts} \usepackage{latexsym} \usepackage{epsf} \setlength{\textwidth}{6.5in} \setlength{\oddsidemargin}{.1in} \setlength{\evensidemargin}{.1in} \setlength{\topmargin}{-.5in} \setlength{\textheight}{8.9in} \newcommand{\seqnum}[1]{\href{http://oeis.org/#1}{\underline{#1}}} \DeclareMathOperator{\Li}{Li} \begin{document} \begin{center} \epsfxsize=4in \leavevmode\epsffile{logo129.eps} \end{center} \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{corollary}[theorem]{Corollary} \newtheorem{lemma}[theorem]{Lemma} \newtheorem{proposition}[theorem]{Proposition} \theoremstyle{definition} \newtheorem{definition}[theorem]{Definition} \newtheorem{example}[theorem]{Example} \newtheorem{conjecture}[theorem]{Conjecture} \theoremstyle{remark} \newtheorem{remark}[theorem]{Remark} \begin{center} \vskip 1cm{\LARGE\bf Series with Central Binomial Coefficients, \\ \vskip .1in Catalan Numbers, and Harmonic Numbers } \vskip 1cm \large Khristo N. Boyadzhiev \\ Department of Mathematics and Statistics \\ Ohio Northern University \\ Ada, Ohio 45810\\ USA\\ \href{mailto:k-boyadzhiev@onu.edu}{\tt k-boyadzhiev@onu.edu}\\ \end{center} \vskip .2 in \begin{abstract} We present several generating functions for sequences involving the central binomial coefficients and the harmonic numbers. In particular, we obtain the generating functions for the sequences $\binom{2n}{n} H_{n} $, $\binom{2n}{n} \frac{1}{n} H_{n} $, $\binom{2n}{n} \frac{1}{n+1} H_{n} $ , and $\binom{2n}{n} n^{m} $. The technique is based on a special Euler-type series transformation formula. \end{abstract} \section{Introduction and main results} \label{s1} The central binomial coefficients are defined by \begin{equation*} \binom{2n}{n} =\frac{(2n)!}{(n!)^{2} } \end{equation*}\ ($n=0,1, \ldots,$) and are closely related to the Catalan numbers \begin{equation*} C_{n} =\frac{1}{n+1} \binom{2n}{n}\ \end{equation*} Many facts about these coefficients and Catalan numbers can be found in the recent book of Koshy \cite{9}. Henry Gould has collected numerous identities involving central binomial coefficients in \cite{5} and a large list of references on Catalan numbers in \cite{6}. Riordan's book \cite{13} is also a good reference. Our focus here will be on power series involving these numbers. Several interesting powers series with central binomial coefficients were obtained and discussed by Lehmer \cite{10} (see also some corrections by Mathar \cite{11}). Other examples were given by Weinzierl \cite{14} and Zucker \cite{15}. Hansen's Table \cite{8} contains such series too, for instance, entries (5.9.23), (5.18.9), (5.24.15), (5.24.30), (5.25.7), (5.27.9), (5.27.12), (5.27.17). The generating functions of the numbers $\binom { 2n}{n} $ and $C_{n} $ are well-known, \cite[(5.24.15)]{8}, \cite{10}, \begin{equation} \sum _{n=0}^{\infty }\binom{ 2n}{n}\ x^{n} =\frac{1}{\sqrt{ 1-4x} }, \label{1}\end{equation} \begin{equation} \sum _{n=0}^{\infty }\ C_{n}\ x^{n} =\frac{2}{1+\sqrt{1-4x} } .\label{2} \end{equation} For both series we need $\left| 4x \right|<1$. The series \eqref{2} follows easily from \eqref{1} by integration. In this note we present a method of generating power series involving central binomial coefficients by using appropriate binomial transforms. Our results include several interesting power series where the coefficients are products of central binomial coefficients and harmonic numbers $H_{n} $, and also products of Catalan numbers and harmonic numbers. As usual, \begin{equation*} H_{n} =1+\frac{1}{2} +\frac{1}{3} +\ldots+\frac{1}{n} , \end{equation*} for $n\ge 1$ and $H_{0} =0$. \begin{theorem} \label{t1} For every $|x|< \frac{1}{4}$, \begin{equation} \label{3} \sum _{n=0}^{\infty }\binom{ 2n}{n} H_{n} (-1)^{n-1} x^{n} =\frac{2}{\sqrt{ 1+4x} } \log \frac{ 2\sqrt{ 1+4x} }{1+\sqrt{ 1+4x} } \end{equation} or, \begin{equation} \label{4} \sum _{n=0}^{\infty }\binom{2n}{n} H_{n} x^{n} =\frac{2}{\sqrt{ 1-4x} } \log \frac{ 1+\sqrt{ 1-4x} }{2 \sqrt{ 1-4x} } \end{equation} where the first series, \eqref{3}, converges also for $x=\frac{1}{4}$. \end{theorem} With $x=\frac{1}{4}$ in \eqref{3} we find \begin{equation*} \sum _{n=0}^{\infty }\binom{ 2n}{n} \frac{(-1)^{n-1} }{4^{n} } H_{n} =\sqrt{2} \log \frac{ 2 \sqrt{2} }{1+\sqrt{2} } . \end{equation*} With $x=\frac{1}{8}$ in \eqref{4} we have \begin{equation*} \sum _{n=0}^{\infty }\binom{ 2n}{n} \frac{H_{n} }{8^{n} } =2\sqrt{2} \log \frac{ 1+\sqrt{ 2} }{2} . \end{equation*} Integrating the power series \eqref{4} (using the substitution $1-4x=y^{2}$ for the RHS) we obtain the following corollary involving the Catalan numbers. \begin{corollary}\label{c2} For every $|x|\le \frac{1}{4}$, \begin{equation} \label{5} \sum _{n=0}^{\infty }C_{n} H_{n} x^{n+1} =\sqrt{ 1-4x} \log( 2\sqrt{1-4x})-(1+\sqrt{ 1-4x}) \log(1+\sqrt{ 1-4x})+ \log 2 \end{equation} \end{corollary} In particular, with $x=\frac{1}{4} $, \begin{equation*} \sum _{n=0}^{\infty }\frac{C_{n} H_{n} }{4^{n} } =4\log 2 , \end{equation*} and when $x=\frac{-1}{4} $, \begin{equation*} \sum _{n=0}^{\infty }(-1)^{n-1} \frac{C_{n} H_{n} }{4^{n+1} } =(1+\frac{3}{2} \sqrt{2} )\log 2-(1+\sqrt{2} )\log (1+\sqrt{2} ). \end{equation*} Some numerical series involving central binomial coefficients and harmonic numbers have been computed by a different method in the papers \cite{1, 3, 4}. Two connections of our results with certain series in \cite{1} are specified in Section \ref{s3}. Next we turn to series with coefficients of the form $\binom{2n}{n} n^{m} $. Applying the operator $\left(x \frac{d}{dx} \right)$ to \eqref{1} Lehmer \cite{10} computed \begin{equation} \label{6} \sum _{n=0}^{\infty }\binom {2n}{n} n x^{n} =\frac{2x}{(1-4x) \sqrt{ 1-4x} } , \end{equation} and repeating the procedure, \begin{equation} \label{7} \sum _{n=0}^{\infty }\binom{2 n}{n} n^{2} x^{n} =\frac{2x(2x+1)}{(1-4x)^{2} \sqrt{ 1-4x} } . \end{equation} Continuing like this is unpleasant, but fortunately a general formula can be obtained by a different method. \begin{theorem}\label{t3} For every positive integer $m$ and every $\left|x \right|< \frac{ 1}{4}$ we have \begin{equation} \sum _{n=0}^{\infty }\binom{2n}{n} n^{m} x^{n} =\frac{1}{\sqrt{ 1-4x} } \sum _{k=0}^{m}S(m,k)\; \binom{2k}{k} k!\left(\frac{x}{1-4x} \right) ^{k}, \label{8} \end{equation} where $S(m,k)$ are the Stirling numbers of the second kind. \end{theorem} Remarkably, the central binomial coefficients appear on both sides of this equation! Information about $S(m,n)$ can be found in the classical book \cite{7}. When $m=0$, $S(0,0)=1$ and \eqref{8} turns into \eqref{1}. When $m=1$, $S(1,0)=0,S(1,1)=1$ and the RHS in \eqref{8} becomes \[\frac{1}{\sqrt{1-4x} } \binom{2}{1}\left(\frac{x}{1-4x} \right)=\frac{2x}{(1-4x)\sqrt{1-4x} }, \] which is the RHS in \eqref{6}. When $m=2$, $S(2,0)=0,\; S(2,1)=S(2,2)=1$ and the RHS in \eqref{8} becomes \[\frac{1}{\sqrt{1-4x} } \binom{2}{1}\left(\frac{x}{1-4x} \right) +\ 2\binom{4}{2} \left(\frac{x}{1-4x} \right)^{2} =\frac{4x^{2} +2x}{(1-4x)^{2} \sqrt{1-4x} } .\] Thus \eqref{8} turns into \eqref{7}. When $m=3$, $S(3,0)=0,\, \; S(3,1)=S(3,3)=1,\; S(3,2)=3$, and simple computation gives \[\sum _{n=0}^{\infty }\binom{2n}{n} n^{3} x^{n} =\frac{2x{ (4x^{2} +10x+1)}}{(1-4x)^{3} \sqrt{ 1-4x} }.\] From \eqref{8} we have the immediate corollary: \begin{corollary} \label{c4} Let $P_{q} (z)=a_{q} z^{q} +a_{q-1} z^{q-1} +\ldots+a_{0} $ be a polynomial. Then \begin{equation*} \sum _{n=0}^{\infty }\binom{2n}{n} P_{q} (n) x^{n} =\frac{1}{\sqrt{1-4x} } \sum _{m=0}^{q}a_{m} \sum _{k=0}^{m} S(m,k) \binom{2k}{k} k! \left(\frac{x}{1-4x} \right) ^{k} \end{equation*} \[=\frac{1}{\sqrt{ 1-4x} } \sum _{k=0}^{q}\binom{2 k}{k}k!\left(\frac{x}{1-4x} \right)^{k} \sum _{m=k}^{q}a _{m} S(m,k) \] \end{corollary} The proofs of these theorems are given in Section~\ref{s2}. In Section \ref{s3} we present some more corollaries and some new series, including the generating function for the sequence $\binom{2n}{n} \frac{1}{n} H_{n} $. \section{Proofs of the theorems} \label{s2} Let \begin{equation} \label{9} f(z)=\sum _{k=0}^{\infty }a_{k}z^{k} \end{equation} be a function analytical in a neighborhood of the origin. The proof of Theorem~\ref{t1} is based on the following Euler-type series transformation formula . \begin{proposition} \label{p5} For any complex number $\alpha $ and $|z|$ small enough to provide convergence we have \begin{equation} \label{10} \sum _{n=0}^{\infty }\binom {\alpha }{n}(-1)^{n} a_{n}z^{n} =(z+1)^{\alpha } \sum _{n=0}^{\infty }\left(\frac{z}{z+1} \right)^{n} \binom{\alpha }{n}(-1)^{n} \, \left \{\sum _{k=0}^{n}\binom{n}{k}a_{k} \right \}. \end{equation} \end{proposition} (cf. \cite[p. \ 294, (1.20)]{12}). The proof is given in the Appendix. This formula and several other series transformation formulas of the same type can be found in \cite{2}. \begin{proof} Setting $\alpha =\frac{-1}{2} $ in \eqref{10} and using the simple fact that $\binom{-1/2}{n}(-1)^{n} =\frac{1}{4^{n} } \binom{2n}{n}$ we obtain \begin{equation*} \sum _{n=0}^{\infty }\binom{2n}{n}a_{n} \frac{z^{n} }{4^{n} } =\frac{1}{\sqrt{1+z} } \sum _{n= 0}^{\infty } \left(\frac{z}{z+1} \right)^{n} \frac{1}{4^{n} } \binom{2n}{n}\, \left\{\sum _{k=0}^{n}\binom{n}{k}a_{k} \right\} . \end{equation*} With $z=4x$ this becomes \begin{equation} \label{11} \sum _{n=0}^{\infty }\binom{2n}{n}a_{n} x^{n} =\frac{1}{\sqrt{1+4x} } \sum _{n= 0}^{\infty } \left(\frac{x}{1+4x} \right)^{n} \binom{2n}{n}\, \left\{\sum _{k=0}^{n}\binom{n}{k}a_{k} \right\} . \end{equation} Now we set $a_{k} =(-1)^{k-1} H_{k} $ and use the well-known binomial formula \begin{equation*} \sum _{k=0}^{n}\binom{n}{k}(-1)^{k-1} H_{k} =\frac{1}{n} \end{equation*} ($n=1,2,\ldots $) to obtain from \eqref{11} \begin{equation} \label{12} \sum _{n=0}^{\infty }\binom{2n}{n}(-1)^{n-1} H_{n}x^{n} =\frac{1}{\sqrt{1+4x} } \sum _{n= 1}^{\infty } \left(\frac{x}{1+4x} \right)^{n} \binom{2n}{n} \frac{1}{n}. \end{equation} Next we turn to the representation (see, for instance \cite[p. \ 87]{9} or \cite[(6)]{10}). \begin{equation} \label{13} \sum _{n=1}^{\infty }\binom{2n}{n} \frac{1}{n} z^{n} =2\log \left(\frac{1-\sqrt{ 1-4z} }{2z} \right)=2\log \left(\frac{2}{1+\sqrt{ 1-4z} } \right). \end{equation} Using this in the RHS of \eqref{12} with $z=\frac{x}{1+4x} $ we obtain \eqref{6}. Thus Theorem~\ref{t1} is proved. \end{proof} We can state now the following observation. \textbf{Method for obtaining new generating functions from old ones. }\textit{Suppose we know the function} \begin{equation} \label{14} g(z)=\sum _{n=0}^{\infty }\binom{2n}{n} b_{n}z^{n} \end{equation} \textit{in explicit compact form and suppose also that we can compute the sequence $a_{k},~ k=0,1,\ldots,$ explicitly from} \begin{equation} \label{15} a_{n} =\sum _{k=0}^{n}\binom{n}{k}(-1)^{n-k} b_{k} , n=0,1,\ldots, \end{equation} \textit{(binomial transform). Then we have from \eqref{11} the new generating function} \begin{equation} \label{16} f(x)=\sum _{n=0}^{\infty }\binom{2n}{n}a_{n}t^{n} =\frac{1}{\sqrt{1+4 t}}\; g\left(\frac{t}{1+4\, t} \right). \end{equation} Note that \eqref{15} can be inverted in the following manner (see \cite{2, 13}), \begin{equation} \label{17} b_{n} =\sum _{k=0}^{n}\binom{n}{k}a_{k} . \end{equation} Using this method we shall prove also Theorem~\ref{t3}. The theorem follows from the well-known binomial transform \begin{equation} \label{18} n!S(m,n)=\sum _{k=0}^{n}\binom{n}{k}(-1)^{n-k} k^{m} \end{equation} for any non-negative integer $m$. This is, in fact, the classical representation of the Stirling numbers of the second kind (see \cite{7}). The inverse of \eqref{18} is \begin{equation*} \sum _{k=0}^{n}\binom{n}{k}k!S(m,k)=n^{m}. \end{equation*} We set now $a_{k} =k!S(m,k),~ b_{k} =k^{m} ,~ k=0,1,\ldots,$ and apply the above method. Note that the sequence $a_{k} $ is finite, as $S(m,k)=0$ when $k>m$. From \eqref{16}, \begin{equation} \label{19} \sum _{n=0}^{m}\binom{2n}{n}n!S(m,n)t^{n} =\frac{1}{\sqrt{1+4t} } \sum _{n=0}^{\infty }\left(\frac{t}{1+4t} \right) ^{n} \binom{2n}{n}n^{m} \end{equation} which after the substitution \begin{equation*} \frac{t}{1+4t} =x \end{equation*} becomes \eqref{8}. \section{Several more series} \label{s3} In this section we present some more power series related to those above. We start with the generating function for the Catalan numbers. \begin{equation} \label{20} \sum _{n=0}^{\infty }\binom{2n}{n} \; \frac{x^{n} }{n+1} =\frac{2}{1+\sqrt{ 1-4x} }. \end{equation} Integrating both sides yields the representation (substitution $1-4x=y^{2} $ for the RHS) \begin{equation*} \sum _{n=0}^{\infty }\binom{2n}{n}\frac{x^{n+1} }{(n +1)^{2} } =x+\frac{1}{4} \left(1+\sqrt{ 1-4x} \right)^{2} -\frac{3}{2} \left(1+\sqrt{ 1-4x} \right)+\log \left(1+\sqrt{1-4x} \right)+2-\log 2. \end{equation*} or, starting from $n=1$, \begin{equation} \label{21} \sum _{n=1}^{\infty }\binom{2n}{n}\frac{x^{n+1} }{(n +1)^{2} } =\frac{1}{4} \left(1+ \sqrt{ 1-4x} \right)^{2} -\frac{3}{2} \left(1+\sqrt{ 1-4x} \right)+\log \left(1+\sqrt{ 1-4x} \right)+2-\log 2. \end{equation} Also, we can write \eqref{20} in the form (starting the summation from $n=1$) \begin{equation*} \sum _{n=1}^{\infty }\binom{2n}{n}\; \frac{x^{n} }{n+1} =\frac{2}{1+\sqrt{ 1-4x} } \; -1\; =\; \; \frac{4x}{\left(1+\sqrt{ 1-4x} \right)^{2} } \end{equation*} and subtracting this from \eqref{13} we obtain (cf. \cite{11}) \begin{equation} \label{22} \sum _{n=1}^{\infty }\binom{2n}{n}\frac{x^{n} }{n(n +1)} =1-\frac{2}{1+\sqrt{ 1-4x} } +\; 2\, \log \frac{2}{1+\sqrt{ 1-4x} }. \end{equation} Next, since \begin{equation*} H_{n+1} =H_{n} +\frac{1}{n+1} ,\;\; \frac{H_{n+1} }{n+1} =\frac{H_{n} }{n+1} +\frac{1}{(n+1)^{2} } , \end{equation*} we can write \begin{equation*} \sum _{n=1}^{\infty }\binom{2n}{n}\frac{H_{n+1} }{n +1} x^{n+1} =\sum _{n=1}^{\infty }\binom{2n}{n}\frac{H_{n} }{n +1} \, x^{n+1} +\; \sum _{n=1}^{\infty }\binom{2n}{n}\frac{1}{(n +1)^{2} } \, x^{n+1} \end{equation*} and from \eqref{5} and \eqref{21} we obtain after adding and simplifying \begin{equation} \label{23} \sum _{n=1}^{\infty }\binom{2n}{n}\frac{H_{n+1} }{n+1} \, x^{n+1} =1-x+\sqrt{ 1-4x} \left(\log \frac{2\sqrt{ 1-4x} }{1+\sqrt{ 1-4x} } \; -1\right) , \end{equation} or, by adding $x$ to both sides and starting the summation from $n=0$, \begin{equation*} \sum _{n=0}^{\infty }\binom{2n}{n}\frac{H_{n+1} }{n+1} \, x^{n+1} =1+\sqrt{ 1-4x} \left(\log \frac{2\sqrt{ 1-4x} }{1+\sqrt{ 1-4x} } \; -1\right) . \end{equation*} With $x=\frac{1}{4}$ we have from \eqref{23}, \begin{equation*} \sum _{n=1}^{\infty }\binom{2n}{n}\frac{H_{n+1} }{4^{n} (n+1)} \, =3 \end{equation*} which confirms \cite[(3.23)]{1}. With $x=\frac{-1}{4}$ in \eqref{23}, \begin{equation*} \sum _{n=1}^{\infty }\binom{2n}{n}\frac{(-1)^{n-1} H_{n+1} }{4^{n} (n+1)} \, =5+4\sqrt{ 2} \left(\log \frac{2\sqrt{ 2} }{1+\sqrt{ 2} } \; -1\right)\; \doteq 0.238892684 \end{equation*} Some of the above generating functions are quite simple. They are possibly just lucky exceptions. The next series is somewhat similar to \eqref{21} and \eqref{22}, but the generating function is more involved. \begin{proposition} \label{p6} We have \begin{equation}\label{24} \sum _{n=1}^{\infty }\binom{2n}{n} \frac{x^n }{n^2 } = 2\Li_{2} \left(\frac{1-\sqrt{ 1-4x} }{2} \right)-\log ^2 \left(1+\sqrt{ 1-4x} \right)-2\log 2\log \frac{1-\sqrt{ 1-4x} }{x} +3(\log 2)^{2}.\end{equation} where the first function on the RHS is the dilogarithm \begin{equation*} \Li_{2} (z)=\sum _{n=1}^{\infty }\frac{z^{n} }{n^{2} }. \end{equation*} \end{proposition} \begin{proof} Starting from \eqref{13}, \begin{equation*} \sum _{n=1}^{\infty }\binom{2n}{n} \; \frac{x^{n} }{n} =2\log \left(\frac{2}{1+\sqrt{ 1-4x} } \right)=2\log 2-2\log \left(1+\sqrt{ 1-4x} \right) , \end{equation*} we divide both sides by $x$ and then integrate to find \begin{equation*} \sum _{n=1}^{\infty }\binom{2n}{n}\; \frac{x^{n} }{n^{2} } =2\log 2\log x-2\int \frac{\log (1+\sqrt{ 1-4x} )}{x} \; dx. \end{equation*} With the substitution $y=\sqrt{\, 1-4x} $ and by using partial fractions \begin{equation*} -2\int \frac{\log (1+\sqrt{ 1-4x} )}{x} \; dx=-\log ^{2} \left(1+\sqrt{ 1-4x} \right)+2\int \frac{\log (1+y)}{1-y} \; dy. \end{equation*} Further, setting $1-y=u\; $(so that now $u=1-\sqrt{\, 1-4x} $), \begin{equation*} 2\int \frac{\log (1+y)}{1-y} \; dy=-2\int \frac{\log (2-u)}{u} \; du=-2\int \frac{\log 2+\log (1-u/2)}{u} \; du \end{equation*} \[=-2\log 2\log \left(1-\sqrt{\, 1-4x} \right)+2\sum _{k=1}^{\infty }\frac{(u/2)^{k} }{k^{2} } \] \[=-2\log 2\log \left(1-\sqrt{1-4x} \right)+2\Li_{2} \left(\frac{1-\sqrt{1-4x} }{2} \right).\] Bringing all pieces together and computing the constant of integration (for $x=0$), we obtain \eqref{24}. \end{proof} Setting $x=\frac{1}{4}$ in \eqref{24} yields \begin{equation*} \sum _{n=1}^{\infty }\binom{2n}{n}\; \frac{1}{4^{n} n^{2} } =2\Li_{2} \left(\frac{1}{2} \right)- (\log 2)^{2} =\frac{\pi ^{2} }{6} \; -\; 2 (\log 2)^{2} . \end{equation*} Now we shall derive from Theorem~\ref{t1} the generating function for the numbers $\binom{2n}{n}\frac{H_{n} }{n} $ which are ``close'' to $C_{n} H_{n} $ and to the coefficients in \eqref{23}. The generating function, however, is not so simple as the one in \eqref{5}. \begin{corollary}\label{c7} For every $|x|\le 1/4$ and with $y=\sqrt{1-4x} $ we have \begin{equation} \label{25} \sum _{n=1}^{\infty }\binom{2n}{n}\frac{H_{n} }{n} x^{n} =2\log y\log \frac{ 1+y}{1-y} +2\log 2\log (1+y)-\log ^{2} (1+y) \end{equation} \[+2\Li_{2} (-y)-2\Li_{2} (y)-2\Li_{2} \left(\frac{1-y}{2} \right)-(\log 2)^{2} +\frac{\pi ^{2} }{2}.\] \end{corollary} \begin{proof} For the proof we first write \eqref{4} in the form \begin{equation*} \sum _{n=1}^{\infty }\binom{2n}{n}H_{n} x^{n} =\frac{2\log \left(1+\sqrt{ 1-4x} \right)}{\sqrt{ 1-4x} } \; -\; \frac{2\log 2}{\sqrt{ 1-4x} } -\frac{2\log \sqrt{ 1-4x} }{\sqrt{ 1-4x} } , \end{equation*} then divide both sides by $x$ and integrate. The integrals are solved with the same techniques as those in the previous proof. Details are left to the reader. To evaluate the constant of integration we set $x=0$ and use the fact that \begin{equation*} 2\Li_{2} (1)=\frac{\pi ^{2} }{3} ,\; \; 2\Li_{2} (-1)=\frac{-\pi ^{2} }{6} ,\; \; \; 2\Li_{2} \left(\frac{1}{2} \right)=\frac{\pi ^{2} }{6} \; -\; (\log 2)^{2} . \end{equation*} \end{proof} Setting $x=1/4$ in \eqref{25} yields \begin{equation*} \sum _{n=1}^{\infty }\binom{2n}{n}\frac{H_{n} }{4^{n} n} =\frac{\pi ^{2} }{3} \; , \end{equation*} in accordance with \cite[(3.8)]{1}. We finish with a generalization of \eqref{20}. \begin{proposition}\label{p8} For every $m=0,1,2 \ldots,$ \begin{equation} \label{26} \sum _{n=0}^{\infty }\binom{2n}{n}\frac{x^{n} }{n+m+1} =\frac{1}{2^{2m+1} x^{m+1} } \sum _{k=0}^{m}\binom{m}{k} \frac{(-1)^{k} }{2k+1} \; \left[1-(1-4x)^{k} \sqrt{ 1-4x} \, \, \right] . \end{equation} \textit{In particular, for $m=0$ this reduces to \eqref{20}. For $m=1$ and after simplification \eqref{26} becomes} \begin{equation*} \sum _{n=0}^{\infty }\binom{2n}{n}\frac{x^{n} }{n+2} =\frac{2\left(2+\sqrt{\, 1-4x} \right)}{3\left(1+\sqrt{\, 1-4x} \right)^{2} } . \end{equation*} \end{proposition} \begin{proof} Let $f(x)$ be the LHS in \eqref{26}. Then \begin{equation*} \frac{d}{d{\kern 1pt} x} \left(x^{m+1} f(x)\right)=\sum _{n=0}^{\infty }\binom{2n}{n}x^{n+m} =\frac{x^{m} }{\sqrt{\, 1-4x} } \end{equation*} and therefore, \begin{equation*} x^{m+1} f(x)=\int _{0}^{x}\frac{t^{m} }{\sqrt{\, 1-4t} } \, dt=\frac{-1}{2^{2m+1} } \int _{1}^{\sqrt{\, 1-4x} }(1-y^{2} )^{m} \, d\, y \end{equation*} with the substitution $y=\sqrt{\, 1-4t} $. The next step is to expand the binomial inside the integral and integrate termwise. Details are left to the reader. \end{proof} \section{Appendix}\label{app} Here we prove the formula \begin{equation} \label{27} \sum _{n=0}^{\infty }\binom{\alpha}{n}(-1)^{n} a_{n} z^{n} =(z+1)^{\alpha } \sum _{n= 0}^{\infty } \left(\frac{z}{z+1} \right)^{n} \binom{\alpha}{n}(-1)^{n} \, \left\{\sum _{k=0}^{n}\binom{n}{k}a_{k} \right\} . \end{equation} \begin{proof} Let $L$ be a circle centered at origin and inside a disk where the function \eqref{9} is holomorphic. For the coefficients $a_{k} $ from \eqref{9} we have \begin{equation} \label{28} a_{k} =\frac{1}{2\pi i} \oint _{L}\, \frac{1}{\lambda ^{k} } \, \frac{f(\lambda )}{\lambda } \, d\lambda . \end{equation} Multiplying both sides by $\binom{n}{k}$ and summing for $k$ we find \begin{equation} \label{29} \sum _{k=0}^{n}\binom{n}{k}a_{k} =\frac{1}{2\pi i} \oint _{L}\; \left\{\sum _{k=0}^{n}\binom{n}{k} \frac{1}{\lambda ^{k} } \right\}\, \, \frac{f(\lambda )}{\lambda } \, d\lambda =\frac{1}{2\pi i} \oint _{L}\, \left(1+\frac{1}{\lambda } \right)^{n} \, \, \frac{f(\lambda )}{\lambda } \, d\lambda . \end{equation} Let $z$ be a complex number inside the circle $L$ with $|z|\; $small enough to assure convergence in the following expansions.\\ Multiplying in \eqref{29} by $\left(\frac{-z}{z+1} \right)^{n} \binom {\alpha }{n}$ and summing for $n$ we arrive at the representation \begin{equation} \label{30} \sum _{n=0}^{\infty }\left(\frac{-z}{z+1} \right)^{n} \binom {\alpha }{n} \left\{\sum _{k=0}^{n}\binom {n }{k}a_{k} \right\}=\frac{1}{2\pi i} \oint _{L}\left\{\sum _{n=0}^{\infty }\left(\frac{-z(1+\lambda )}{\lambda (z+1)} \right)^{n} \, \binom {\alpha }{n}\right\}\, \frac{f(\lambda )}{\lambda } \, d\lambda \end{equation} \[=\frac{1}{(1+z)^{\alpha } 2\pi i} \oint _{L}\left\{\left(1-\frac{z}{\lambda } \right)^{\alpha } \right\}\, \, \frac{f(\lambda )}{\lambda } \, d\lambda .\end{equation*} Expanding now the binomial inside the integral, integrating termwise, and using \eqref{28} again we obtain \begin{equation} \label{31} \frac{1}{2\pi i} \oint _{L}\left\{\left(1-\frac{z}{\lambda } \right)^{\alpha } \right\}\, \, \frac{f(\lambda )}{\lambda } \, d\lambda =\sum _{n=0}^{\infty }\binom {\alpha }{n}(-z)^{n} a_{n}. \end{equation} Thus \eqref{27} follows from \eqref{30} and \eqref{31}. \end{proof} \begin{thebibliography}{15} \bibitem{1} Horst Alzer, Dimitri Karayannakis, and H. M. Srivastava, Series representations for some mathematical constants, \emph{J. Math. Anal. Appl.} \textbf{320} (2006), 145--162. \bibitem{2} Khristo N. Boyadzhiev, Series transformations formulas of Euler type, Hadamard product of series, and harmonic number identities, \url{http://arxiv.org/abs/0912.5376/}. \bibitem{3} Wenchang Chu and Deyin Zheng, Infinite series with harmonic numbers and central binomial coefficients, \emph{Int. J. Number Theory} \textbf{5} (2009), 429--448. \bibitem{4} Marian Genchev, Binomial sums involving harmonic numbers, \emph{Math. Slovaca} \textbf{61} (2011), 215--226. \bibitem{5} Henry W. Gould, \emph{Combinatorial Identities}, Published by the author, revised edition, 1972. \bibitem{6} Henry W. Gould, \emph{Catalan and Bell Numbers: Research Bibliography of Two Special Number Sequences}, Published by the author, fifth edition, 1979. \bibitem{7} Ronald L. Graham, Donald E. Knuth, and Oren Patashnik, \emph{Concrete Mathematics}, Addison-Wesley, 1994. \bibitem{8} Eldon R. Hansen, \emph{A Table of Series and Products}, Prentice-Hall, 1975. \bibitem{9} Thomas Koshy, \emph{Catalan Numbers with Applications}, Oxford University Press, 2008. \bibitem{10} Derrick Henry Lehmer, Interesting series involving the central binomial coefficient, \emph{Amer. Math. Monthly} \textbf{92} (1985), 449--457. \bibitem{11} Richard J. Mathar, Corrigenda to "Interesting Series Involving the Central Binomial Coefficient" [Amer. Math. Monthly \textbf{92} (1985)], \url{http://arxiv.org/abs/0905.0215}. \bibitem{12} N. E. Norlund, Hypergeometric Functions, \emph{Acta Math} \textbf{94} (1955), 289--349. \bibitem{13} John Riordan, \emph{Combinatorial Identities}, Robert E. Krieger Publishing Company, Huntington, New York, 1979. \bibitem{14} S. Weinzierl, Expansions around half-integer values, binomial sums and inverse binomial sums, \emph{J. Math. Phys.} \textbf{45} (2004), 2656--2673. \bibitem{15} I. J. Zucker, On the series (formula) and related sums, \emph{J. Number Theory} \textbf{20} (1985), 92--102. \end{thebibliography} \bigskip \hrule \bigskip \noindent 2010 {\it Mathematics Subject Classification}: Primary 11B83; Secondary 05A10. \noindent \emph{Keywords: } central binomial coefficient, Catalan number, harmonic number, generating functions, Euler series transformation, binomial transform. \bigskip \hrule \bigskip \vspace*{+.1in} \noindent Received June 3 2011; revised version received December 16 2011. Published in {\it Journal of Integer Sequences}, December 27 2011. \bigskip \hrule \bigskip \noindent Return to \htmladdnormallink{Journal of Integer Sequences home page}{http://www.cs.uwaterloo.ca/journals/JIS/}. \vskip .1in \end{document}