Skip to main content
added 58 characters in body
Source Link
T. Amdeberhan
  • 43.2k
  • 5
  • 57
  • 217

Let's rewrite the given problem $$\sum _{n=0}^{\infty } \frac{\Gamma \left(n+\frac{1}{2}\right)^2 \Gamma \left(n+\frac{s}{2}\right)}{\Gamma (n+1)^2 \Gamma (n+s)}=\frac{\pi ^2 2^{1-s} \Gamma \left(\frac{s}{2}\right)}{\left[\Gamma \left(\frac{3}{4}\right) \Gamma \left(\frac{s}{2} +\frac{1}{4}\right)\right]^2}.\tag1$$ Change $s\rightarrow 2s$, then multiply equation (1) through by $\Gamma(s+1)$ to convert the problem to $$\sum_{n=0}^{\infty}16^{-n}\binom{2n}n^2\binom{2s+n-1}{s+n-1}^{-1} =\frac{3\pi}{2^{2s+1}}\binom{s}{s-\frac34}\binom{s-1}{s-\frac34}.\tag2$$ Define the two functions $$F(s,n)=16^{-n}\binom{2n}n^2\binom{2s+n-1}{s+n-1}^{-1}\frac{2^{2s+1}}{3\pi}\binom{s}{s-\frac34}^{-1}\binom{s-1}{s-\frac34}^{-1} \qquad \text{and} \qquad G(s,n)=\frac{n^2}{s(2s + n)}F(s,n).$$\begin{align*} F(s,n)&=16^{-n}\binom{2n}n^2\binom{2s+n-1}{s+n-1}^{-1}\frac{2^{2s+1}}{3\pi}\binom{s}{s-\frac34}^{-1}\binom{s-1}{s-\frac34}^{-1} \qquad \text{and} \\ G(s,n)&=\frac{n^2}{s(2s + n)}F(s,n).\end{align*} It is (mechanically) routine to verify that $F(s+1,n)-F(s,n)=G(s,n+1)-G(s,n)$. Now, sum both sides over all $n\in\mathbb{Z}_{\geq0}$ resulting in the vanishing of the RHS. That means $f(s+1)=f(s)$ where $f(s)=\sum_{n\geq0}F(s,n)$ or $f(s)$ is a constant. To determine the constant, check that $f(1)=1$ because $$\sum_{n=0}^{\infty}\frac1{16^n(n+1)}\binom{2n}n^2=\frac4{\pi}.$$ The latter evaluation can be justified in different ways.

Remark. This technique is called the Wilf-Zeilberger methodology. It could be what Mathematica or Maple is "hiding" from view. :-)

Let's rewrite the given problem $$\sum _{n=0}^{\infty } \frac{\Gamma \left(n+\frac{1}{2}\right)^2 \Gamma \left(n+\frac{s}{2}\right)}{\Gamma (n+1)^2 \Gamma (n+s)}=\frac{\pi ^2 2^{1-s} \Gamma \left(\frac{s}{2}\right)}{\left[\Gamma \left(\frac{3}{4}\right) \Gamma \left(\frac{s}{2} +\frac{1}{4}\right)\right]^2}.\tag1$$ Change $s\rightarrow 2s$, then multiply equation (1) through by $\Gamma(s+1)$ to convert the problem to $$\sum_{n=0}^{\infty}16^{-n}\binom{2n}n^2\binom{2s+n-1}{s+n-1}^{-1} =\frac{3\pi}{2^{2s+1}}\binom{s}{s-\frac34}\binom{s-1}{s-\frac34}.\tag2$$ Define the two functions $$F(s,n)=16^{-n}\binom{2n}n^2\binom{2s+n-1}{s+n-1}^{-1}\frac{2^{2s+1}}{3\pi}\binom{s}{s-\frac34}^{-1}\binom{s-1}{s-\frac34}^{-1} \qquad \text{and} \qquad G(s,n)=\frac{n^2}{s(2s + n)}F(s,n).$$ It is (mechanically) routine to verify that $F(s+1,n)-F(s,n)=G(s,n+1)-G(s,n)$. Now, sum both sides over all $n\in\mathbb{Z}_{\geq0}$ resulting in the vanishing of the RHS. That means $f(s+1)=f(s)$ where $f(s)=\sum_{n\geq0}F(s,n)$ or $f(s)$ is a constant. To determine the constant, check that $f(1)=1$ because $$\sum_{n=0}^{\infty}\frac1{16^n(n+1)}\binom{2n}n^2=\frac4{\pi}.$$ The latter evaluation can be justified in different ways.

Remark. This technique is called the Wilf-Zeilberger methodology.

Let's rewrite the given problem $$\sum _{n=0}^{\infty } \frac{\Gamma \left(n+\frac{1}{2}\right)^2 \Gamma \left(n+\frac{s}{2}\right)}{\Gamma (n+1)^2 \Gamma (n+s)}=\frac{\pi ^2 2^{1-s} \Gamma \left(\frac{s}{2}\right)}{\left[\Gamma \left(\frac{3}{4}\right) \Gamma \left(\frac{s}{2} +\frac{1}{4}\right)\right]^2}.\tag1$$ Change $s\rightarrow 2s$, then multiply equation (1) through by $\Gamma(s+1)$ to convert the problem to $$\sum_{n=0}^{\infty}16^{-n}\binom{2n}n^2\binom{2s+n-1}{s+n-1}^{-1} =\frac{3\pi}{2^{2s+1}}\binom{s}{s-\frac34}\binom{s-1}{s-\frac34}.\tag2$$ Define the two functions \begin{align*} F(s,n)&=16^{-n}\binom{2n}n^2\binom{2s+n-1}{s+n-1}^{-1}\frac{2^{2s+1}}{3\pi}\binom{s}{s-\frac34}^{-1}\binom{s-1}{s-\frac34}^{-1} \qquad \text{and} \\ G(s,n)&=\frac{n^2}{s(2s + n)}F(s,n).\end{align*} It is (mechanically) routine to verify that $F(s+1,n)-F(s,n)=G(s,n+1)-G(s,n)$. Now, sum both sides over all $n\in\mathbb{Z}_{\geq0}$ resulting in the vanishing of the RHS. That means $f(s+1)=f(s)$ where $f(s)=\sum_{n\geq0}F(s,n)$ or $f(s)$ is a constant. To determine the constant, check that $f(1)=1$ because $$\sum_{n=0}^{\infty}\frac1{16^n(n+1)}\binom{2n}n^2=\frac4{\pi}.$$ The latter evaluation can be justified in different ways.

Remark. This technique is called the Wilf-Zeilberger methodology. It could be what Mathematica or Maple is "hiding" from view. :-)

Source Link
T. Amdeberhan
  • 43.2k
  • 5
  • 57
  • 217

Let's rewrite the given problem $$\sum _{n=0}^{\infty } \frac{\Gamma \left(n+\frac{1}{2}\right)^2 \Gamma \left(n+\frac{s}{2}\right)}{\Gamma (n+1)^2 \Gamma (n+s)}=\frac{\pi ^2 2^{1-s} \Gamma \left(\frac{s}{2}\right)}{\left[\Gamma \left(\frac{3}{4}\right) \Gamma \left(\frac{s}{2} +\frac{1}{4}\right)\right]^2}.\tag1$$ Change $s\rightarrow 2s$, then multiply equation (1) through by $\Gamma(s+1)$ to convert the problem to $$\sum_{n=0}^{\infty}16^{-n}\binom{2n}n^2\binom{2s+n-1}{s+n-1}^{-1} =\frac{3\pi}{2^{2s+1}}\binom{s}{s-\frac34}\binom{s-1}{s-\frac34}.\tag2$$ Define the two functions $$F(s,n)=16^{-n}\binom{2n}n^2\binom{2s+n-1}{s+n-1}^{-1}\frac{2^{2s+1}}{3\pi}\binom{s}{s-\frac34}^{-1}\binom{s-1}{s-\frac34}^{-1} \qquad \text{and} \qquad G(s,n)=\frac{n^2}{s(2s + n)}F(s,n).$$ It is (mechanically) routine to verify that $F(s+1,n)-F(s,n)=G(s,n+1)-G(s,n)$. Now, sum both sides over all $n\in\mathbb{Z}_{\geq0}$ resulting in the vanishing of the RHS. That means $f(s+1)=f(s)$ where $f(s)=\sum_{n\geq0}F(s,n)$ or $f(s)$ is a constant. To determine the constant, check that $f(1)=1$ because $$\sum_{n=0}^{\infty}\frac1{16^n(n+1)}\binom{2n}n^2=\frac4{\pi}.$$ The latter evaluation can be justified in different ways.

Remark. This technique is called the Wilf-Zeilberger methodology.