Forma cerrada para $\int_0^1 \int_0^1 {(1-xy)}^n \, dx \, dy$

Question

Estaba tratando de calcular $$\sum_{k=0}^n (-1)^k \binom{n}{k} \frac{1}{(n+1-k)^2}$$ y he descubierto que basta con calcular el $$I_n=\int_0^1 \int_0^1 {(1-xy)}^n \,dx\,dy.$$ ¿Hay alguna manera de encontrar una forma cerrada para esto? He intentado utilizar las funciones generadoras ordinarias y exponenciales de $\{I_n\}_{n\in \mathbb{N}}$ pero no pude continuar. También probé el cambio de variables $$x=\frac{u+v}{2},\ \ \ y=\frac{u-v}{2},$$ pero no me llevó a ninguna parte. ¿Alguna pista o idea?

Gracias de antemano por su ayuda.

Answer 1

$$\begin{eqnarray*}\iint_{(0,1)^2}(1-xy)^n\,dx\,dy &\stackrel{\text{Symmetry}}{=}&2\int_{0}^{1}\int_{0}^{x}(1-xy)^n\,dy\,dx\\&\stackrel{y\mapsto x z}{=}&2 \int_{0}^{1}\int_{0}^{1}x(1-x^2 z)^n\,dz\,dx\\&\stackrel{\text{Fubini}}{=}&\frac{1}{n+1}\int_{0}^{1}\frac{1-(1-z)^{n+1}}{z}\,dz\\&\stackrel{z\mapsto 1-t}{=}&\frac{1}{n+1}\int_{0}^{1}\frac{1-t^{n+1}}{1-t}\,dt = \color{red}{\frac{H_{n+1}}{n+1}}.\end{eqnarray*}$$

---

Como alternativa: $$\begin{eqnarray*}\sum_{k=0}^{n}(-1)^k\binom{n}{k}\frac{1}{(n+1-k)^2}&=&\sum_{k=0}^{n}(-1)^k\binom{n}{k}\int_{0}^{1}x^{n-k}\left(-\log x\right)\,dx\\ &=& \int_{0}^{1}(-\log x)\sum_{k=0}^{n}(-1)^k\binom{n}{k}x^{n-k}\,dx\\&=& (-1)^{n+1}\int_{0}^{1}(1-x)^n\log(x)\,dx\end{eqnarray*}$$ donde $$ \int_{0}^{1}x^n\log(1-x)\,dx \stackrel{\text{IBP}}{=}-\frac{1}{n+1}\int_{0}^{1}\frac{1-x^{n+1}}{1-x}\,dx $$ y la conclusión es la misma que antes.