, ,

We recall [5] that a discrete function

A (n, k)

is hypergeometric or closed form (CF) if the quotients

\frac{A (n + 1, k)}{A (n, k)} a n d \frac{A (n, k + 1)}{A (n, k)}

are both rational functions.

And a pair of functions

F (n, k)

G (n, k)

is said to be of Wilf and Zeilberger (WZ) if

F

and

G

are closed forms and besides

F (n + 1, k) - F (n, k) = G (n, k + 1) - G (n, k) .

In this case H. S. Wilf and D. Zeilberger [4] have proved that there exists a rational function

C (n, k)

such that

G (n, k) = C (n, k) F (n, k) .

The rational function

C (n, k)

is the so-called certificate of the pair

(F, G)

We now define

H (n, k) = F (n + 1, n + k) + G (n, n + k) .

Zeilberger has proved that for every WZ pair

F (n, k)

G (n, k)

the following holds:

\sum_{n = 0}^{\infty} G (n, 0) = \sum_{n = 0}^{\infty} H (n, 0) .

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 (n, k) = \frac{(- 1)^{n} (- 1)^{k}}{2^{10 n} 2^{2 k}} (20 n + 2 k + 3) \frac{{(\binom{2 k}{k})}^{2} {(\binom{2 n}{n})}^{2} (\binom{4 n - 2 k}{2 n - k})}{(\binom{2 n}{k}) (\binom{n + k}{n})} .

The package EKHAD [2] allows to obtain the companion

F (n, k) = 64 \frac{(- 1)^{n} (- 1)^{k}}{2^{10 n} 2^{2 k}} \frac{n^{2}}{4 n - 2 k - 1} \frac{{(\binom{2 k}{k})}^{2} {(\binom{2 n}{n})}^{2} (\binom{4 n - 2 k}{2 n - k})}{(\binom{2 n}{k}) (\binom{n + k}{n})} .

We derive the result

\sum_{n = 0}^{\infty} \frac{(- 1)^{n} (\binom{4 n}{2 n}) {(\binom{2 n}{n})}^{2}}{2^{10 n}} (20 n + 3) = \frac{1}{2} \sum_{n = 0}^{\infty} \frac{{(\binom{2 n}{n})}^{3}}{2^{12 n}} (42 n + 5) .

We can extend the pair to have sense for every value of

k

, not only integers, in the following way:

\begin{matrix} F (n, k) & = \frac{64}{π^{3}} \frac{n^{2}}{4 n - 2 k - 1} \frac{(- 1)^{n} cos (π k) Γ (2 n - k + 1 / 2) Γ (n + 1 / 2)^{3} Γ (k + 1 / 2)^{2}}{Γ (n + k + 1) Γ (2 n + 1)^{2}}, \end{matrix}

\begin{matrix} G (n, k) & = \frac{1}{π^{3}} (20 n + 2 k + 3) \frac{(- 1)^{n} cos (π k) Γ (2 n - k + 1 / 2) Γ (n + 1 / 2)^{3} Γ (k + 1 / 2)^{2}}{Γ (n + k + 1) Γ (2 n + 1)^{2}} . \end{matrix}

\begin{matrix}  \end{matrix}

k

is an integer, it is a routine to prove that

\sum_{n = 0}^{\infty} G (n, k) = \sum_{n = 0}^{\infty} G (n, k + 1),

and this implies applying Carlson's theorem [1] that for every value of

k

, even if

k

is not an integer,

\sum_{n = 0}^{\infty} G (n, k) = 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 (n, t) = 0 \Rightarrow A = {lim}_{t \to 1 / 2} G (0, t) = \frac{8}{π} .

And we have that, independently of the value of

k

\sum_{n = 0}^{\infty} G (n, k) = \frac{8}{π} .

But then we have also the sum of another family of infinite series because obviously we immediately get

\sum_{n = 0}^{\infty} H (n, k) = \frac{8}{π} .

For

k = 0

, we get the following results [3] :

\begin{matrix} \sum_{n = 0}^{\infty} G (n, 0) & = \sum_{n = 0}^{\infty} \frac{(- 1)^{n} (\binom{4 n}{2 n}) {(\binom{2 n}{n})}^{2}}{2^{10 n}} (20 n + 3) = \frac{8}{π}, \end{matrix}

\begin{matrix} \sum_{n = 0}^{\infty} H (n, 0) & = \frac{1}{2} \sum_{n = 0}^{\infty} \frac{{(\binom{2 n}{n})}^{3}}{2^{12 n}} (42 n + 5) = \frac{8}{π} . \end{matrix}

\begin{matrix}  \end{matrix}

For other values of

k

we obtain also interesting results. For example, for

k = 1 / 4

we get

\begin{matrix} \frac{\sqrt{2}}{8} \sum_{n = 0}^{\infty} \frac{(- 1)^{n} {(\frac{1}{2})}_{n} {(\frac{1}{4})}_{2 n}}{(n!)^{2} {(\frac{1}{4})}_{n} 2^{4 n}} \frac{40 n + 7}{4 n + 1} = \frac{\sqrt{π}}{Γ (\frac{3}{4})^{2}}, \end{matrix}

\begin{matrix} \frac{3 \sqrt{2}}{8} \sum_{n = 0}^{\infty} \frac{{(\frac{1}{2})}_{2 n}^{2} {(\frac{1}{2})}_{n}}{(n!)^{2} {(\frac{1}{4})}_{2 n} {(\frac{1}{4})}_{n} 2^{8 n}} \frac{112 n^{2} + 88 n + 11}{(8 n + 1) (8 n + 5)} = \frac{\sqrt{π}}{Γ (\frac{3}{4})^{2}} . \end{matrix}

\begin{matrix}  \end{matrix}

3 Second WZ-pair

We consider the following discrete function:

G (n, k) = \frac{(- 1)^{k}}{2^{16 n} 2^{4 k}} (120 n^{2} + 84 n k + 34 n + 10 k + 3) \frac{{(\binom{2 k}{k})}^{3} {(\binom{2 n}{n})}^{4} (\binom{4 n - 2 k}{2 n - k})}{(\binom{2 n}{k}) {(\binom{n + k}{n})}^{2}};

the package EKHAD [2] allows to get the companion

F (n, k) = 512 \frac{(- 1)^{k}}{2^{16 n} 2^{4 k}} \frac{n^{3}}{4 n - 2 k - 1} \frac{{(\binom{2 k}{k})}^{3} {(\binom{2 n}{n})}^{4} (\binom{4 n - 2 k}{2 n - k})}{(\binom{2 n}{k}) {(\binom{n + k}{n})}^{2}} .

We have the following result:

\sum_{n = 0}^{\infty} \frac{(\binom{4 n}{2 n}) {(\binom{2 n}{n})}^{4}}{2^{16 n}} (120 n^{2} + 34 n + 3) = \frac{1}{4} \sum_{n = 0}^{\infty} \frac{(- 1)^{n} {(\binom{2 n}{n})}^{5}}{2^{20 n}} (820 n^{2} + 180 n + 13) .

We can extend the pair to have sense for every value of

k

, not only integers, in the following way:

F (n, k) = \frac{512}{π^{5}} \frac{n^{3}}{4 n - 2 k - 1} \times \frac{cos (π k) Γ (2 n - k + 1 / 2) Γ (n + 1 / 2)^{6} Γ (k + 1 / 2)^{3}}{Γ (n + k + 1)^{2} Γ (2 n + 1)^{3}},

G (n, k) = \frac{1}{π^{5}} (120 n^{2} + 84 n k + 34 n + 10 k + 3) \times \frac{cos (π k) Γ (2 n - k + 1 / 2) Γ (n + 1 / 2)^{6} Γ (k + 1 / 2)^{3}}{Γ (n + k + 1)^{2} Γ (2 n + 1)^{3}} .

k

is an integer it is a routine to prove that

\sum_{n = 0}^{\infty} G (n, k) = \sum_{n = 0}^{\infty} G (n, k + 1),

and this implies applying Carlson's theorem [1] that for every value of

k

, even if

k

is not an integer,

\sum_{n = 0}^{\infty} G (n, k) = A

, where

A

is a constant. To determine the constant value

A

observe that

{lim}_{t \to 1 / 2} \sum_{n = 1}^{\infty} G (n, t) = 0 \Rightarrow A = {lim}_{t \to 1 / 2} G (0, t) = \frac{32}{π^{2}} .

And we have that, independently of the value of

k

\sum_{n = 0}^{\infty} G (n, k) = \frac{32}{π^{2}} .

But then we have also the sum of another family of infinite series because obviously we immediately get

\sum_{n = 0}^{\infty} H (n, k) = \frac{32}{π^{2}} .

For

k = 0

we obtain the following results:

\begin{matrix} \sum_{n = 0}^{\infty} G (n, 0) & = \sum_{n = 0}^{\infty} \frac{(\binom{4 n}{2 n}) {(\binom{2 n}{n})}^{4}}{2^{16 n}} (120 n^{2} + 34 n + 3) = \frac{32}{π^{2}}, \end{matrix}

\begin{matrix} \sum_{n = 0}^{\infty} H (n, 0) & = \frac{1}{4} \sum_{n = 0}^{\infty} \frac{(- 1)^{n} {(\binom{2 n}{n})}^{5}}{2^{20 n}} (820 n^{2} + 180 n + 13) = \frac{32}{π^{2}} . \end{matrix}

\begin{matrix}  \end{matrix}

For other values of

k

we obtain also interesting results. For example, for

k = 1 / 4

we get

\begin{matrix} \frac{1}{8} \sum_{n = 0}^{\infty} \frac{{(\frac{1}{2})}_{n}^{3} {(\frac{1}{4})}_{2 n}}{(n!)^{3} {(\frac{1}{4})}_{n}^{2} 2^{6 n}} \frac{240 n^{2} + 110 n + 11}{(4 n + 1)^{2}} = \frac{π}{Γ (\frac{3}{4})^{4}}, \end{matrix}

\begin{matrix} \frac{1}{8} \sum_{n = 0}^{\infty} \frac{(- 1)^{n} {(\frac{1}{2})}_{2 n}^{3} {(\frac{1}{2})}_{n}^{3}}{(n!)^{3} {(\frac{1}{4})}_{2 n}^{2} {(\frac{1}{4})}_{n}^{2} 2^{12 n}} \frac{26240 n^{4} + 41184 n^{3} + 21448 n^{2} + 4170 n + 279}{(8 n + 1)^{2} (8 n + 5)^{2}} = \frac{π}{Γ (\frac{3}{4})^{4}} . \end{matrix}

\begin{matrix}  \end{matrix}

References

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

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

Jesús Guillera