<ph f="cmbx">Some binomial series obtained by the WZ-method</ph>

### Jesús Guillera

Zaragoza (Spain) E-mail address : jguillera@able.es

• Abstract. Using the WZ-method we find some of the easiest Ramanujan's formulae and also some new interesting Ramanujan-like sums.

1 The WZ-method

We recall [5that a discrete function $A\left(n,k\right)$  is hypergeometric or closed form (CF) if the quotients $\frac{A\left(n+1,k\right)}{A\left(n,k\right)}and\frac{A\left(n,k+1\right)}{A\left(n,k\right)}$  are both rational functions.
And a pair of functions $F\left(n,k\right)$  , $G\left(n,k\right)$  is said to be of Wilf and Zeilberger (WZ) if $F$  and $G$  are closed forms and besides $F\left(n+1,k\right)-F\left(n,k\right)=G\left(n,k+1\right)-G\left(n,k\right).$  In this case H. S. Wilf and D. Zeilberger [4have proved that there exists a rational function $C\left(n,k\right)$  such that $G\left(n,k\right)=C\left(n,k\right)F\left(n,k\right).$  The rational function $C\left(n,k\right)$  is the so-called certificate of the pair $\left(F,G\right)$  .
We now define $H\left(n,k\right)=F\left(n+1,n+k\right)+G\left(n,n+k\right).$  Zeilberger has proved that for every WZ pair $F\left(n,k\right)$  , $G\left(n,k\right)$  the following holds:
${\sum }_{n=0}^{\infty }G\left(n,0\right)={\sum }_{n=0}^{\infty }H\left(n,0\right).$  In next sections we use WZ-pairs to get some Ramanujan's formulae and also some new Ramanujan-like ones.

2 First WZ-pair

We consider the following discrete function:
$G\left(n,k\right)=\frac{\left(-1{\right)}^{n}\left(-1{\right)}^{k}}{{2}^{10n}{2}^{2k}}\left(20n+2k+3\right)\frac{{\left(\genfrac{}{}{0}{}{2k}{k}\right)}^{2}{\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{2}\left(\genfrac{}{}{0}{}{4n-2k}{2n-k}\right)}{\left(\genfrac{}{}{0}{}{2n}{k}\right)\left(\genfrac{}{}{0}{}{n+k}{n}\right)}.$  The package EKHAD [2allows to obtain the companion $F\left(n,k\right)=64\frac{\left(-1{\right)}^{n}\left(-1{\right)}^{k}}{{2}^{10n}{2}^{2k}}\frac{{n}^{2}}{4n-2k-1}\frac{{\left(\genfrac{}{}{0}{}{2k}{k}\right)}^{2}{\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{2}\left(\genfrac{}{}{0}{}{4n-2k}{2n-k}\right)}{\left(\genfrac{}{}{0}{}{2n}{k}\right)\left(\genfrac{}{}{0}{}{n+k}{n}\right)}.$  We derive the result ${\sum }_{n=0}^{\infty }\frac{\left(-1{\right)}^{n}\left(\genfrac{}{}{0}{}{4n}{2n}\right){\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{2}}{{2}^{10n}}\left(20n+3\right)=\frac{1}{2}{\sum }_{n=0}^{\infty }\frac{{\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{3}}{{2}^{12n}}\left(42n+5\right).$  We can extend the pair to have sense for every value of $k$  , not only integers, in the following way:
 $\begin{array}{cc}F\left(n,k\right)& =\frac{64}{{\pi }^{3}}\frac{{n}^{2}}{4n-2k-1}\frac{\left(-1{\right)}^{n}cos\left(\pi k\right)\Gamma \left(2n-k+1/2\right)\Gamma \left(n+1/2{\right)}^{3}\Gamma \left(k+1/2{\right)}^{2}}{\Gamma \left(n+k+1\right)\Gamma \left(2n+1{\right)}^{2}},\end{array}$
 $\begin{array}{cc}G\left(n,k\right)& =\frac{1}{{\pi }^{3}}\left(20n+2k+3\right)\frac{\left(-1{\right)}^{n}cos\left(\pi k\right)\Gamma \left(2n-k+1/2\right)\Gamma \left(n+1/2{\right)}^{3}\Gamma \left(k+1/2{\right)}^{2}}{\Gamma \left(n+k+1\right)\Gamma \left(2n+1{\right)}^{2}}.\end{array}$
 $\begin{array}{}\end{array}$
If $k$  is an integer, it is a routine to prove that ${\sum }_{n=0}^{\infty }G\left(n,k\right)={\sum }_{n=0}^{\infty }G\left(n,k+1\right),$  and this implies applying Carlson's theorem [1that for every value of $k$  , even if $k$  is not an integer, ${\sum }_{n=0}^{\infty }G\left(n,k\right)=A$  , where $A$  is a constant. To determine the value of the constant, observe that ${lim}_{t\to 1/2}{\sum }_{n=1}^{\infty }G\left(n,t\right)=0⇒A={lim}_{t\to 1/2}G\left(0,t\right)=\frac{8}{\pi }.$  And we have that, independently of the value of $k$  , ${\sum }_{n=0}^{\infty }G\left(n,k\right)=\frac{8}{\pi }.$  But then we have also the sum of another family of infinite series because obviously we immediately get ${\sum }_{n=0}^{\infty }H\left(n,k\right)=\frac{8}{\pi }.$  For $k=0$  , we get the following results [3:
 $\begin{array}{cc}{\sum }_{n=0}^{\infty }G\left(n,0\right)& ={\sum }_{n=0}^{\infty }\frac{\left(-1{\right)}^{n}\left(\genfrac{}{}{0}{}{4n}{2n}\right){\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{2}}{{2}^{10n}}\left(20n+3\right)=\frac{8}{\pi },\end{array}$
 $\begin{array}{cc}{\sum }_{n=0}^{\infty }H\left(n,0\right)& =\frac{1}{2}{\sum }_{n=0}^{\infty }\frac{{\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{3}}{{2}^{12n}}\left(42n+5\right)=\frac{8}{\pi }.\end{array}$
 $\begin{array}{}\end{array}$
For other values of $k$  we obtain also interesting results. For example, for $k=1/4$  we get
 $\begin{array}{cc}& \frac{\sqrt{2}}{8}{\sum }_{n=0}^{\infty }\frac{\left(-1{\right)}^{n}{\left(\frac{1}{2}\right)}_{n}{\left(\frac{1}{4}\right)}_{2n}}{\left(n!{\right)}^{2}{\left(\frac{1}{4}\right)}_{n}{2}^{4n}}\frac{40n+7}{4n+1}=\frac{\sqrt{\pi }}{\Gamma \left(\frac{3}{4}{\right)}^{2}},\end{array}$
 $\begin{array}{cc}& \frac{3\sqrt{2}}{8}{\sum }_{n=0}^{\infty }\frac{{\left(\frac{1}{2}\right)}_{2n}^{2}{\left(\frac{1}{2}\right)}_{n}}{\left(n!{\right)}^{2}{\left(\frac{1}{4}\right)}_{2n}{\left(\frac{1}{4}\right)}_{n}{2}^{8n}}\frac{112{n}^{2}+88n+11}{\left(8n+1\right)\left(8n+5\right)}=\frac{\sqrt{\pi }}{\Gamma \left(\frac{3}{4}{\right)}^{2}}.\end{array}$
 $\begin{array}{}\end{array}$

3 Second WZ-pair

We consider the following discrete function: $G\left(n,k\right)=\frac{\left(-1{\right)}^{k}}{{2}^{16n}{2}^{4k}}\left(120{n}^{2}+84nk+34n+10k+3\right)\frac{{\left(\genfrac{}{}{0}{}{2k}{k}\right)}^{3}{\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{4}\left(\genfrac{}{}{0}{}{4n-2k}{2n-k}\right)}{\left(\genfrac{}{}{0}{}{2n}{k}\right){\left(\genfrac{}{}{0}{}{n+k}{n}\right)}^{2}};$  the package EKHAD [2allows to get the companion $F\left(n,k\right)=512\frac{\left(-1{\right)}^{k}}{{2}^{16n}{2}^{4k}}\frac{{n}^{3}}{4n-2k-1}\frac{{\left(\genfrac{}{}{0}{}{2k}{k}\right)}^{3}{\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{4}\left(\genfrac{}{}{0}{}{4n-2k}{2n-k}\right)}{\left(\genfrac{}{}{0}{}{2n}{k}\right){\left(\genfrac{}{}{0}{}{n+k}{n}\right)}^{2}}.$  We have the following result: ${\sum }_{n=0}^{\infty }\frac{\left(\genfrac{}{}{0}{}{4n}{2n}\right){\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{4}}{{2}^{16n}}\left(120{n}^{2}+34n+3\right)=\frac{1}{4}{\sum }_{n=0}^{\infty }\frac{\left(-1{\right)}^{n}{\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{5}}{{2}^{20n}}\left(820{n}^{2}+180n+13\right).$  We can extend the pair to have sense for every value of $k$  , not only integers, in the following way:
$F\left(n,k\right)=\frac{512}{{\pi }^{5}}\frac{{n}^{3}}{4n-2k-1}×\frac{cos\left(\pi k\right)\Gamma \left(2n-k+1/2\right)\Gamma \left(n+1/2{\right)}^{6}\Gamma \left(k+1/2{\right)}^{3}}{\Gamma \left(n+k+1{\right)}^{2}\Gamma \left(2n+1{\right)}^{3}},$
$G\left(n,k\right)=\frac{1}{{\pi }^{5}}\left(120{n}^{2}+84nk+34n+10k+3\right)×\frac{cos\left(\pi k\right)\Gamma \left(2n-k+1/2\right)\Gamma \left(n+1/2{\right)}^{6}\Gamma \left(k+1/2{\right)}^{3}}{\Gamma \left(n+k+1{\right)}^{2}\Gamma \left(2n+1{\right)}^{3}}.$
If $k$  is an integer it is a routine to prove that ${\sum }_{n=0}^{\infty }G\left(n,k\right)={\sum }_{n=0}^{\infty }G\left(n,k+1\right),$  and this implies applying Carlson's theorem [1that for every value of $k$  , even if $k$  is not an integer, ${\sum }_{n=0}^{\infty }G\left(n,k\right)=A$  , where $A$  is a constant. To determine the constant value $A$  observe that ${lim}_{t\to 1/2}{\sum }_{n=1}^{\infty }G\left(n,t\right)=0⇒A={lim}_{t\to 1/2}G\left(0,t\right)=\frac{32}{{\pi }^{2}}.$  And we have that, independently of the value of $k$  , ${\sum }_{n=0}^{\infty }G\left(n,k\right)=\frac{32}{{\pi }^{2}}.$  But then we have also the sum of another family of infinite series because obviously we immediately get ${\sum }_{n=0}^{\infty }H\left(n,k\right)=\frac{32}{{\pi }^{2}}.$  For $k=0$  we obtain the following results:
 $\begin{array}{cc}{\sum }_{n=0}^{\infty }G\left(n,0\right)& ={\sum }_{n=0}^{\infty }\frac{\left(\genfrac{}{}{0}{}{4n}{2n}\right){\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{4}}{{2}^{16n}}\left(120{n}^{2}+34n+3\right)=\frac{32}{{\pi }^{2}},\end{array}$
 $\begin{array}{cc}{\sum }_{n=0}^{\infty }H\left(n,0\right)& =\frac{1}{4}{\sum }_{n=0}^{\infty }\frac{\left(-1{\right)}^{n}{\left(\genfrac{}{}{0}{}{2n}{n}\right)}^{5}}{{2}^{20n}}\left(820{n}^{2}+180n+13\right)=\frac{32}{{\pi }^{2}}.\end{array}$
 $\begin{array}{}\end{array}$
For other values of $k$  we obtain also interesting results. For example, for $k=1/4$  we get
 $\begin{array}{cc}& \frac{1}{8}{\sum }_{n=0}^{\infty }\frac{{\left(\frac{1}{2}\right)}_{n}^{3}{\left(\frac{1}{4}\right)}_{2n}}{\left(n!{\right)}^{3}{\left(\frac{1}{4}\right)}_{n}^{2}{2}^{6n}}\frac{240{n}^{2}+110n+11}{\left(4n+1{\right)}^{2}}=\frac{\pi }{\Gamma \left(\frac{3}{4}{\right)}^{4}},\end{array}$
 $\begin{array}{cc}& \frac{1}{8}{\sum }_{n=0}^{\infty }\frac{\left(-1{\right)}^{n}{\left(\frac{1}{2}\right)}_{2n}^{3}{\left(\frac{1}{2}\right)}_{n}^{3}}{\left(n!{\right)}^{3}{\left(\frac{1}{4}\right)}_{2n}^{2}{\left(\frac{1}{4}\right)}_{n}^{2}{2}^{12n}}\frac{26240{n}^{4}+41184{n}^{3}+21448{n}^{2}+4170n+279}{\left(8n+1{\right)}^{2}\left(8n+5{\right)}^{2}}=\frac{\pi }{\Gamma \left(\frac{3}{4}{\right)}^{4}}.\end{array}$
 $\begin{array}{}\end{array}$
References

1. W.N. Bailey, Generalized Hypergeometric Series, Cambridge Univ. Press, p. 39 (1935).
2. M. Petkovs̆ek, H. S. Wilf, D. Zeilberger, A=B, Peters, (1996).
3. S. Ramanujan, Modular equations an approximations to $\pi$  , Quart. J. Pure Appl. Math. 45 pp. 350-372 (1914).
4. H.S. Wilf, D. Zeilberger, Rational functions certify combinatorial identities, J. Amer. Math. Soc. 3, (1990).
5. D. Zeilberger, Closed-Form (pun intended!), Contemp. Math. 143 (1993).

Zaragoza (Spain) E-mail address : jguillera@able.es