Hallar el valor de $(1-z)\left(1+\frac{z}{2}\right)\left(1-\frac{z}{3}\right)\left(1+\frac{z}{4}\right)\cdots$ .

Question

Demuéstralo: $$(1-z)\left(1+\frac{z}{2}\right)\left(1-\frac{z}{3}\right)\left(1+\frac{z}{4}\right)\cdots = \dfrac{\sqrt{\pi}}{\Gamma\left(1+\dfrac{z}{2}\right)\Gamma\left(\dfrac{1}{2}-\dfrac{z}{2}\right)}.$$

Por el teorema de la duplicación y $\Gamma(z+1)=z\,\Gamma(z)$ tenemos: $$\dfrac{\sqrt{\pi}}{\Gamma\left(1+\dfrac{z}{2}\right)\Gamma\left(\dfrac{1}{2}-\dfrac{z}{2}\right)}=\dfrac{\Gamma\left(-\dfrac{z}{2}\right)}{z\,\Gamma\left(-z\right)\Gamma\left(\dfrac{z}{2}\right)} \cdot 2^{-z}.$$

Utilizando la definición $\Gamma\left(z\right) = \dfrac{1}{z}\prod_{k=1}^\infty \left(1+\dfrac{1}{k}\right)^z \left(1+\dfrac{z}{k}\right)^{-1}$ y simplificando los términos, obtenemos $$\dfrac{\sqrt{\pi}}{\Gamma\left(1+\dfrac{z}{2}\right)\Gamma\left(\dfrac{1}{2}-\dfrac{z}{2}\right)}=2^{-z}(1-z)\left(1+\frac{z}{2}\right)\left(1-\frac{z}{3}\right)\left(1+\frac{z}{4}\right)\cdots .$$

¿Cómo puedo deshacerme del $2^{-z}$ ¿Estoy actuando correctamente?

¡Salud!

Answer 1

Yo haría lo siguiente: considerar un producto finito $$\mathcal{P}_N:=(1-z)\left(1+\frac z{2}\right)\ldots \left(1-\frac{z}{2N-1}\right)\left(1+\frac{z}{2N}\right)$$ y reescribirlo como $$\begin{align*}\mathcal{P}_N&=\frac{\prod_{k=0}^{N-1}\left(2k+1-z\right)\prod_{k=0}^{N-1}\left(2k+2+z\right)}{(2N)!}=\\ &=\frac{2^{2N}}{(2N)!}{\color{red}{\prod_{k=0}^{N-1}\left(k+\frac{1-z}{2}\right)}}{\color{blue}{ \prod_{k=0}^{N-1}\left(k+1+\frac{z}{2}\right)}}=\\&= \frac{2^{2N}}{(2N)!}{\color{red}{\frac{\Gamma\left(N+\frac{1-z}{2}\right)}{ \Gamma\left(\frac{1-z}{2}\right)}}}{\color{blue}{\frac{\Gamma\left(N+1+\frac{z}{2}\right)}{ \Gamma\left(1+\frac{z}{2}\right)}}}=\\ &=\frac1{\Gamma\left(\frac{1-z}{2}\right)\Gamma\left(1+\frac{z}{2}\right)} \times\underbrace{ \frac{2^{2N}\Gamma\left(N+\frac{1-z}{2}\right)\Gamma\left(N+1+\frac{z}{2}\right)}{\Gamma(1+2N)}}_{\mathcal{Q}_N}. \end{align*}$$ Ahora basta con utilizar Fórmula Stirling para demostrar que $\mathcal{Q}_{\infty}=\sqrt\pi$ . De hecho, como $N\to\infty$ se tiene $$\begin{align*} \mathcal Q_N&= 2^{2N}\frac{\sqrt{\frac{2\pi}{N+\frac{1-z}{2}}}\left(\frac{N+\frac{1-z}{2}}{e}\right)^{N+\frac{1-z}{2}}\cdot \sqrt{\frac{2\pi}{N+1+\frac{z}{2}}}\left(\frac{N+1+\frac{z}{2}}{e}\right)^{N+1+\frac{z}{2}}}{\sqrt{\frac{2\pi}{2N+1}}\left(\frac{2N+1}{e}\right)^{2N+1}}\left[1+O\left(N^{-1}\right)\right]=\\ &= \sqrt{\pi}\cdot e^{-\frac12} \frac{\left(1+\frac{1-z}{2N}\right)^N\left(1+\frac{1+\frac z2}{N}\right)^N}{\left(1+\frac1{2N}\right)^{2N}}\left[1+O\left(N^{-1}\right)\right]= \sqrt{\pi}\left[1+O\left(N^{-1}\right)\right]. \end{align*}$$

Answer 2

Podemos utilizar el producto de Euler para la función gamma, Whittaker y Watson, página 237, §12.11 también (31) de MathWorld : $$\frac{1}{\Gamma(z)} = \lim_{n\rightarrow\infty} \frac{z \, (1+ z) \cdots (n-1 + z)}{1 \cdot 2 \cdots (n - 1)} n^{-z}. \qquad (1)$$

Según (1), tenemos $$\begin{align} \frac{1}{\Gamma(1 + \frac z 2)} &= \lim_{n\rightarrow\infty} \frac{(1 + \frac{z}{2}) \, (2+\frac{z}{2}) \cdots (n + \frac{z}{2})}{1 \cdot 2 \cdots (n - 1)} n^{-1 - z/2} \\ &= \lim_{n\rightarrow\infty} \left(1 + \frac{z}{2}\right) \, \left(1 + \frac{z}{4}\right) \cdots \left(1 + \frac{z}{2n}\right) n^{-z/2}. \qquad (2) \end{align}$$

Del mismo modo, $$\begin{align} \frac{1}{\Gamma(\frac 1 2 - \frac z 2)} &= \lim_{n\rightarrow\infty} \frac{(\frac{1}2 - \frac{z}{2}) \, (\frac{3}{2} -\frac{z}{2}) \cdots (\frac{2n - 1}{2} -\frac{z}{2})}{1 \cdot 2 \cdots (n - 1)} n^{-1/2 + z/2} \\ &= \lim_{n\rightarrow\infty} \frac{1}{2} \frac{1 \cdot 3 \cdots (2n - 1)}{2 \cdot 4 \cdots (2n-2) \sqrt{n} } \left(1 - z\right) \, \left(1 - \frac{z}{3}\right) \cdots \left(1 - \frac{z}{2n-1}\right) n^{z/2}, \\ &= \lim_{n\rightarrow\infty} \frac{1}{\sqrt{\pi}} \, \left(1 - z\right) \, \left(1 - \frac{z}{3}\right) \cdots \left(1 - \frac{z}{2n-1}\right) n^{z/2}, \qquad (3) \end{align}$$ donde en el último paso hemos utilizado Fórmula del producto de Wallis : $$\lim_{n\rightarrow\infty} \left( \frac{1}{2} \frac{1 \cdot 3 \cdots (2n - 1)}{2 \cdot 4 \cdots (2n-2) \sqrt{n} } \right)^2 = \lim_{n\rightarrow\infty} \frac{1}{2} \frac{1 \cdot 3 \cdot 3 \cdot 5 \cdots \cdot (2n - 1) \cdot (2n - 1)} {2 \cdot 2 \cdot 4 \cdot 4 \cdots \cdot (2n - 2) \cdot (2n) } = \frac{1}{2} \times \frac{2}{\pi} = \frac{1}{\pi}.$$

Multiplicando ambos resultados se obtiene $$\begin{align} \frac{1}{\Gamma(1 + \frac z 2)\,\Gamma(\frac 1 2 - \frac z 2)} &= \frac{1}{\sqrt\pi} \left(1 - z\right) \, \left(1 + \frac{z}{2}\right) \, \left(1 - \frac{z}{3}\right) \, \left(1 + \frac{z}{4}\right) \, \cdots, \end{align}$$ que es el resultado deseado.