Una doble serie $\frac13 \sum_{j=1}^{\infty}\sum_{i=1}^{\infty}\frac{(i-1)! (j-1)!}{(i+j)!}H_{i+j}$ dar $\zeta(3)$

Question

Aquí es simétrica racional doble de la serie dando Apery constante:

$$ \frac13 \sum_{j=1}^{\infty}\sum_{i=1}^{\infty} \displaystyle \frac{(i-1)! (j-1)!}{(i+j)!} H_{i+j} = \zeta(3) $$

donde $\displaystyle H_{n}:=\sum_{1}^{n} \frac{1}{k}$, $n=1,2,\cdots,$ son la armónica de los números.

¿Cómo lo demuestras?

Edit. En el 2005, me envió este resultado a Wolfram MathWorld (véase la ecuación 25), he construido como un eco de

$$ \sum_{j=1}^{\infty}\sum_{i=1}^{\infty} \displaystyle \frac{(i-1)! (j-1)!}{(i+j)!} = \zeta(2). $$

Ver a Jack bastante respuesta y ver mi respuesta a continuación.

Answer 1

Sumación por partes parece funcionar bien. Para $j=1$ tenemos: $$\sum_{i=1}^{+\infty}\frac{H_{i+1}}{i(i+1)}=2,$$ desde $\sum_{i=1}^{N}\frac{1}{i(i+1)}=1-\frac{1}{1+N}$ y así: $$\begin{eqnarray*}\sum_{i=1}^{N}\frac{H_{i+1}}{i(i+1)}&=&H_{N+1}\left(1-\frac{1}{N+1}\right)-\sum_{i=1}^{N-1}\left(1-\frac{1}{i+1}\right)\frac{1}{i+2}\\&=&H_2+\sum_{i=1}^{N-1}\frac{1}{(i+1)(i+2)}+O\left(\frac{\log N}{N}\right)\\&=&H_2+\frac{1}{2}+O\left(\frac{\log N}{N}\right),\end{eqnarray*}$$ desde: $$\sum_{i=1}^{+\infty}\frac{1}{(i+1)\cdot\ldots\cdot(i+k)}=\frac{1}{(k-1)k!}.$$ Para $j=2$ tenemos: $$\begin{eqnarray*}1!\sum_{i=1}^{N}\frac{H_{i+2}}{i(i+1)(i+2)}&=&H_{N+1}\left(\frac{1}{4}-\frac{1}{2(N+1)(N+2)}\right)-\sum_{i=1}^{N-1}\left(\frac{1}{4}-\frac{1}{2(i+1)(i+2)}\right)\frac{1}{i+3}\\&=&\frac{H_3}{4}+\frac{1}{4\cdot 3!}+O\left(\frac{\log N}{N}\right)\end{eqnarray*}$$ y en el caso general, tenemos: $$(j-1)!\sum_{i=1}^{+\infty}\frac{H_{i+j}}{i\cdot\ldots\cdot(i+j)}=(j-1)!\left(\frac{H_{j+1}}{j^2(j-1)!}+\frac{1}{j^2(j+1)!}\right)=\frac{H_{j+1}}{j^2}+\frac{1}{j^3(j+1)},$$ de modo que la suma original es igual a: $$\sum_{j=1}^{+\infty}\frac{H_{j+1}}{j^2}+\sum_{j=1}^{+\infty}\frac{1}{j^3(j+1)}=\sum_{j=1}^{+\infty}\frac{H_j}{j^2}+\sum_{j=1}^{+\infty}\frac{1}{j^3}=2\zeta(3)+\zeta(3)=3\zeta(3).$$

Answer 2

Este es otro camino.

Teorema. Deje $x$ ser un número real tal que $-1<x<1$ y el conjunto de $$ Z(x):=\sum_{j=1}^{\infty}\sum_{i=1}^{\infty}\frac{(i-1)! (j-1)!}{(i+j)!} x^{i+j}. $$ Entonces $$ Z(x)= 2 \:\mathrm{Li_2} (x) - \mathrm{Li_2} \left( x(2-x) \right) \tag1 $$

donde $\mathrm{Li_2}$ es el dilogarithm función tal que $\mathrm{Li_2}(x)=\displaystyle \sum_{n=1}^{\infty}\displaystyle \frac{x^{n}}{n^2}= - \displaystyle \int_{0}^{x}\,\displaystyle \frac{\log(1-t)}{t}\mathrm{d}t$.

Prueba. Observar que $$ {\frac{(i-1)! (j-1)!}{(i+j)!}= \frac{\Gamma(i) \Gamma(j)}{(i+j) \Gamma(i+j)} = \frac{1}{i+j}\,B(i,j)= \int_{0}^{1}\, \frac{t^{i-1}(1-t)^{j-1}}{i+j}\mathrm{d}t.} $$ Deje $|x|<1$. Podemos obtener $$ \begin{align*} \sum_{j=1}^{\infty}\sum_{i=1}^{\infty}\frac{(i-1)! (j-1)!}{(i+j)!} x^{i+j} &= \sum_{j=1}^{\infty}\sum_{i=1}^{\infty}\displaystyle \int_{0}^{1} \frac{t^{i-1}(1-t)^{j-1}}{i+j}dt \:x^{i+j} \\ &= x^2 \int_{0}^{1} \sum_{j=1}^{\infty}\,(x(1-t))^{j-1}\sum_{i=1}^{\infty} \frac{(tx)^{i-1}}{i+j}\:\mathrm{d}t \\ &= x^2 \int_{0}^{1} \sum_{j=1}^{\infty}\,(x(1-t))^{j-1}(tx)^{-1-j}\sum_{i=j+1}^{\infty} \frac{(tx)^{i}}{i}\:\mathrm{d}t\\ &= x^2 \int_{0}^{1} \sum_{j=1}^{\infty}\,(x(1-t))^{j-1}(tx)^{-1-j}\int_{0}^{tx} \frac{u^{j}}{1-u}\:\mathrm{d}u\:\mathrm{d}t \\ &= -x \int_{0}^{1} \frac{\log(1-x + x u)}{1-x u} \:\mathrm{d}u \\ &= -x \int_{1/x - 1}^{1/x} \frac{ \log(1-\frac{x}{2-x }u) + \log(\frac{2-x}{x})}{u} \:\mathrm{d}u\\ &= 2 \: \mathrm{Li_2} (x) - \mathrm{Li_2} \left( x(2-x) \right) \end{align*}$$

Ejemplo 1. $$ \sum_{j=1}^{\infty}\sum_{i=1}^{\infty}\frac{(i-1)! (j-1)!}{(i+j)!}= \frac{\pi^2}{6} $$ Put $x=1$ in $(1)$.

Ejemplo 2. $$ \sum_{j=1}^{\infty}\sum_{i=1}^{\infty}\frac{(i-1)! (j-1)!}{(i+j)!} \frac{1}{ \varphi^{2(i+j)}}= \frac{\pi^2}{30}-\ln^2 \varphi $$ Put $x=1/\varphi^2$ in $(1)$, with $\varphi=\frac{1+\sqrt{5}}{2}$.

La proposición. $$ \sum_{j=1}^{\infty}\sum_{i=1}^{\infty} \displaystyle \frac{(i-1)! (j-1)!}{(i+j)!} H_{i+j} = 3 \: \zeta(3) \tag2 $$

Prueba. A partir de la identidad $$ 1+x+\cdots+x^{i+j-1} = \frac{1 - x^{i+j}}{1 - x\,}, \qquad i\geq1,\,j\geq1, 0<x<1, $$ escribimos $$ H_{i+j} = \displaystyle \int_{0}^{1} \displaystyle \frac{1 - x^{i+j}}{1 - x\,}\: \mathrm{d}x. $$ A continuación, el uso de $(1)$, obtenemos $$ \begin{align} \sum_{j=1}^{\infty}\sum_{i=1}^{\infty} \frac{(i-1)! (j-1)!}{(i+j)!} \: H_{i+j} & =\int_{0}^{1} \frac{ Z(1) - Z(x)}{1 - x}\: \mathrm{d}x \\ & = \int_{0}^{1} \ln(1-x)\left(Z(1) - 2 \: \mathrm{Li_2} (x) + \mathrm{Li_2} \left( x(2-x) \right) \right)'\: \mathrm{d}x \\& = 2 \int_{0}^{1} \dfrac{\ln^2 (1-x)}{2-x}\: \mathrm{d}x \\ & = 2 \int_{0}^{1} \dfrac{\ln^2 x}{1+x}\: \mathrm{d}x \nonumber \\ & = 2 \int_{0}^{1} \sum_{n=0}^{\infty}(-1)^{n} x^{n} \ln^2 x\: \mathrm{d}x \\ & = 3 \: \zeta(3). \end{align} $$