Cómo se demuestra que $4(3\sqrt2-4)=\prod_{n=1}^{\infty}\left({e^{2\pi(2n-1)}-1\over e^{2\pi(2n-1)}+1}\right)^8?$

Question

Cómo se demuestra

$$4(3\sqrt2-4)=\prod_{n=1}^{\infty}\left({e^{2\pi(2n-1)}-1\over e^{2\pi(2n-1)}+1}\right)^8\tag1$$

Reescribir, a mantenerlo simple

Que $a=e^{2\pi(2n-1)}$

$$4(3\sqrt2-4)=\prod_{n=1}^{\infty}\left(a-1\over a+1\right)^8\tag2$$

Llevar el registro de

$${1\over 8}\ln(12\sqrt2-16)=\sum_{n=1}^{\infty}\ln\left({a-1\over a+1}\right)\tag3$$

Tenemos esta serie

$$-\ln\left({x-1\over x+1}\right)={2\over x-1}-{2^2\over 2(x-1)^2}+{2^3\over 3(x-1)^3}-\cdots\tag4$$

$$-{1\over 8}\ln(12\sqrt2-16)=\sum_{n=1}^{\infty}\sum_{m=1}^{\infty}{(-1)^{m-1}2^m\over m(a-1)^m}\tag5$$

¿Cómo puedo evaluar esta serie doble?

Answer 1

Esto es similar a esta respuesta de tu pregunta anterior y que debería haber adivinado. Basado en la definición de Ramanujan la clase de invariantes \begin{align}G_{n} &= 2^{-1/4}e^{\pi\sqrt{n}/24}(1 + e^{-\pi\sqrt{n}})(1 + e^{-3\pi\sqrt{n}})(1 + e^{-5\pi\sqrt{n}})\cdots\tag{1}\\ g_{n} &= 2^{-1/4}e^{\pi\sqrt{n}/24}(1 - e^{-\pi\sqrt{n}})(1 - e^{-3\pi\sqrt{n}})(1 - e^{-5\pi\sqrt{n}})\cdots\tag{2}\end{align} el producto deseado es igual a $(g_{4}/G_{4})^{8}$. A partir de los enlaces de respuesta que tenemos $$G_{1} = 1, g_{1} = 2^{-1/8}$$ and then $$g_{4}=2^{1/4}g_{1}G_{1} = 2^{1/4}2^{-1/8} = 2^{1/8}$$ Thus $g_{4}^{8} = 2$. Again we have $$g_{4}^{8}G_{4}^{8}(G_{4}^{8} - g_{4}^{8}) = \frac{1}{4}$$ so that $$2x(x - 2) = \frac{1}{4}$$ where $x = G_{4}^{8}$. Thus $$8x^{2} - 16x - 1 = 0$$ or $$x = G_{4}^{8} = \frac{4 + 3\sqrt{2}}{4}$$ and then the desired product is $$\frac{8}{4 + 3\sqrt{2}} = 4(3\sqrt{2} - 4)$$ We have used the following identities for Ramanujan Class Invariants: $$g_{4n} = 2^{1/4}g_{n}G_{n},\, (g_{n}G_{n})^{8}(G_{n}^{8} - g_{n}^{8}) = \frac{1}{4}\tag{3}$$ Note that the first equation $g_{4n} = 2^{1/4}g_{n}G_{n}$ follows directly by multiplying equations $(1)$ and $(2)$ and the second equation in $(3)$ follows by noting that $G_{n} = (2kk')^{-1/12}, g_{n} = (2k/k'^{2})^{-1/12}$ and $k^{2} + k'^{2} = 1$.