Pruebas $z\,\Gamma(z) = \Gamma(z+1)$ utilizando la fórmula del producto

Question

Intento demostrar que $z\,\Gamma(z) = \Gamma(z+1)$ utilizando la fórmula del producto: $$ \Gamma(z) = \frac{e^{-\gamma z}}{z} \prod\limits_{n=1}^\infty\left(1+\frac{z}{n}\right)^{-1}e^{z/n}$$ donde $\gamma$ es la constante de Euler-Mascheroni.

Lo único que he podido hacer es tomar el logaritmo natural de ambos lados para convertir el producto en una suma: $$\ln(\Gamma(z+1))=-\gamma (z+1)-\ln(z+1)-\sum\limits_{n-1}^\infty \ln\left(1+\frac{z+1}{n}\right)+\sum\limits_{n-1}^\infty\frac{z+1}{n} $$

También he observado que $\ln(z)+\ln\Gamma(z)=\ln \Gamma(z+1)$ . No tengo ni idea de qué hacer después, especialmente con el $\ln\left(1+\frac{z+1}{n}\right)$ plazo.

Answer 1

La clave está en dividir $\Gamma(z+1)$ por $\Gamma(z)$ La mayoría de las piezas del producto infinito del cociente forma un producto telescópico. Más precisamente,

$$\begin{align}\frac{\Gamma(z+1)}{\Gamma(z)} &= \frac{z e^{\gamma z}}{(z+1) e^{\gamma(z+1)}} \frac{ \prod\limits_{k=1}^\infty \left(1+\frac{z}{k}\right) e^{-z/k} }{ \prod\limits_{k=1}^\infty \left(1+\frac{z+1}{k}\right) e^{-(z+1)/k} }\\ &= \frac{z e^{-\gamma}}{z+1}\lim_{N\to\infty} \prod_{k=1}^N \frac{1+\frac{z}{k}}{1+\frac{z+1}{k}} e^{1/k}\\ &= \frac{z}{z+1}\lim_{N\to\infty} e^{H_N-\gamma} \prod_{k=1}^N \frac{z+k}{z+k+1}\\ &= z \lim_{N\to\infty} \frac{e^{H_N-\gamma}}{z+N+1} \end{align} $$ donde $H_N = \sum_{k=1}^N \frac{1}{k}$ es el $N^{th}$ número armónico .

Para grandes $N$ , $H_N$ tiene la expansión asintótica

$$H_N \sim \log N + \gamma + \frac{1}{2N} - \sum_{k=1}^\infty \frac{B_{2k}}{2kN^{2k}}$$

donde $B_k$ son los números de Bernoulli. Como resultado,

$$\frac{\Gamma(z+1)}{\Gamma(z)} = z \lim_{N\to\infty} \frac{N e^{O(1/N)}}{z + N + 1 } = z$$

Answer 2

$$\Gamma (x) =\frac{e^{-\gamma x}}{x}\prod_{i=1}^{\infty}\frac{e^{x/i}}{1+x/i}\\ x\Gamma(x)=e^{-\gamma (x+1)}.e^{\gamma}\prod_{i=1}^{\infty}\frac{e^{(x+1)/i}.e^{-1/i}}{1+x/i}=\Gamma(x+1)e^{\gamma}\prod_{i=1}^{\infty}\left[{e^{-1/i}}\frac{1+(x+1)/i}{1+x/i}\right]$$ Ahora $$\lim_{n\to\infty}\prod_{i=1}^{n}e^{-1/i}\frac{1+(x+1)/i}{1+x/i}\\=\lim_{n\to\infty}\exp\left(-\left(\sum_{i=1}^{n}\frac1{i}\right)\right)\prod_{i=1}^{n}\frac{x+i+1}{x+i}\\\sim\lim_{n\to\infty}\exp(-\gamma-\log n)\frac{x+n+1}{x+1}=e^{-\gamma}$$