27 votos

La comprensión de una evaluación particular de $\prod\limits_{n=2}^{\infty}\left(1-\frac{1}{n^3}\right)$

Me cuesta entender la siguiente evaluación del producto infinito $$ \prod_{n=2}^{\infty}\left(1-\frac{1}{n^3}\right).$$

En particular, no entiendo cómo se pasa de la línea 2 a la 3.

Aquí $\omega = -\frac{1}{2}+ i \frac{\sqrt{3}}{2}$ que es una raíz tercera primitiva de la unidad.


$$\begin{align}\prod_{n=2}^{\infty}\left(1-\frac{1}{n^3}\right) &=\prod_{n=2}^{\infty}\frac{(n-1)(n^2+n+1)}{n^3} \\ &=\lim_{m\to\infty}\frac{1}{m}\prod_{n=2}^m\frac{(n-\omega)(n-\omega^2)}{n^2} \\ &=\lim_{m\to\infty}\frac{\Gamma(m+1-\omega)\Gamma(m+1-\omega^2)}{m(m!)^2\Gamma(-\omega)\Gamma(-\omega^2)(1-\omega)(1-\omega^2)(-\omega)(-\omega^2)} \\ &=\frac{1}{3\Gamma(-\omega)\Gamma(-\omega^2)} \\ &=\frac{\sin{\pi(-\omega)}}{3\pi} \\ &=\frac{\cosh (\frac{\sqrt{3}\pi}{2})}{3\pi } \end{align}$$

EDITAR : Creo que empiezo a darle sentido a esto escribiendo los términos.

$$ \begin{align} \prod_{n=2}^{m} \frac{(n- \omega)(n-\omega^{2})}{n^{2}} &= \frac{(2-\omega)(3-\omega) \cdots (m- \omega)(2-\omega^{2})(3-\omega^{2})\cdots (m- \omega^{2})}{2^{2} \cdot 3^{2} \cdot \cdots \cdot m^{2}} \\ &= \frac{1}{(m!)^{2}} \frac{\Gamma(m+1-\omega)}{(1-\omega)(-\omega)\Gamma(-\omega)} \frac{\Gamma(m+1-\omega^{2})}{(1-\omega^{2})(-\omega^{2})\Gamma(-\omega^{2})} \end{align}$$

Ahora tengo que averiguar cómo tomar el límite como $m \to \infty$ .

0 votos

¿Qué parte del medio?

0 votos

Línea dos a línea tres

2 votos

El $\frac{1}{m}$ proviene de la evaluación de $\prod_{n=2}^{m} \frac{n-1}{n}$ .

15voto

Thierry Lam Puntos 1079

Esto es lo que yo entiendo de esa evaluación.

$$ \begin{align} \prod_{n=2}^{\infty}\left(1-\frac{1}{n^3}\right) &= \prod_{n=2}^{\infty}\frac{(n-1)(n^2+n+1)}{n^3} \\ & = \prod_{n=2}^{\infty} \frac{(n-1)(n- \omega)(n-\omega^{2})}{n^{3}} \\ &= \lim_{m \to \infty} \prod_{n=2}^{m} \frac{n-1}{n} \frac{(n- \omega)(n-\omega^{2})}{n^{2}} \\ &= \lim_{m \to \infty} \frac{1}{m}\frac{(2-\omega)(3-\omega) \cdots (m- \omega) (2-\omega^{2})(3-\omega^{2})\cdots (m- \omega^{2})}{2^{2} \cdot 3^{2} \cdot \cdots \cdot m^{2}} \\ &= \lim_{m \to \infty} \frac{1}{m} \frac{1}{(m!)^{2}} \frac{\Gamma(m+1-\omega)}{(1-\omega)(-\omega)\Gamma(-\omega)} \frac{\Gamma(m+1-\omega^{2})}{(1-\omega^{2})(-\omega^{2})\Gamma(-\omega^{2})} \\ & \stackrel{(1)}= \frac{1}{3\Gamma(-\omega) \Gamma(-\omega^{2})}\lim_{m \to \infty} \frac{\Gamma(m+1- \omega) \Gamma(m+1-\omega^{2})}{m \Gamma(m+1) \Gamma(m+1) } \\ & \stackrel{(2)}= \frac{1}{3\Gamma(-\omega) \Gamma(-\omega^{2})}\lim_{m \to \infty} \frac{\Gamma(m+1- \omega) \Gamma(m+1-\omega^{2})}{m^{-\omega}m^{-\omega^{2}} \Gamma(m+1) \Gamma(m+1) } \\ &= \frac{1}{3\Gamma(-\omega) \Gamma(-\omega^{2})}\lim_{m \to \infty} \frac{(m-\omega)(m-\omega^{2})}{m^{2}}\frac{\Gamma(m- \omega)}{\Gamma(m) m^{-\omega} } \frac{\Gamma(m-\omega^{2})}{ \Gamma(m)m^{-\omega^{2}} } \\ & \stackrel{(3)}= \frac{1}{3\Gamma(-\omega) \Gamma(-\omega^{2})} (1)(1)(1) \\ & = \frac{1}{3 \Gamma \left(\frac{1}{2} - i\frac{\sqrt{3}}{2} \right) \Gamma \left(\frac{1}{2} + i\frac{\sqrt{3}}{2} \right)} \\& = \frac{1}{3 \Gamma \left(1- \frac{1+ i \sqrt{3}}{2} \right) \Gamma \left(\frac{1}{2} + i\frac{\sqrt{3}}{2} \right)} \\ & \stackrel{(4)}= \frac{\sin \left(\pi \, \frac{1+i \sqrt{3}}{2} \right)}{3 \pi} \\&= \frac{\sin \left( \frac{\pi}{2}\right) \cos \left(\frac{i \sqrt{3} \pi}{2} \right) + \cos \left( \frac{\pi}{2} \right) \sin \left(\frac{i \sqrt{3} \pi }{2}\right)}{3 \pi} \\ &= \frac{\cosh \left( \frac{\sqrt{3} \pi}{2} \right)}{3 \pi} \end{align}$$


$(1)$ $(1-\omega)(1-\omega^{2}) = 3$ y $(-\omega)(-\omega^{2})=1 $

$(2)$ $-\omega - \omega^{2} =1$

$(3)$ $\lim_{n \to \infty} \frac{\Gamma(n+ \alpha)}{\Gamma(n)n^{\alpha}}=1 $

$(4)$ Fórmula de reflexión de la función gamma

0 votos

La fórmula Stirling podría ayudar.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X