16 votos

Otro hermoso integral (Parte 2)

Una de las maneras de calcular la integral en forma cerrada es pensar en crafitly el uso de la serie geométrica, pero aun así, parece que el mal es suficiente.

$$\int_0^1\int_0^1\int_0^1\int_0^1\frac{1}{(1+x) (1+y) (1+z)(1+w) (1+ x y z w)} \ dx \ dy \ dz \ dw$$

Tal vez usted me puede orientar, me bendiga con otro de los preciosos consejos, pistas. Gracias MSE usuarios!

Pregunta complementaria: ¿qué hay de la generalización?

$$\int_0^1\int_0^1\cdots\int_0^1\frac{1}{(1+x_1) (1+x_2)\cdots (1+x_n)(1+ x_1 x_2 \cdots x_n)} \ dx_1 \ dx_2 \cdots \ dx_n$$

27voto

David H Puntos 16423

Esta respuesta sólo la dirección de la $n=4$ de los casos,

$$I_{4}:=\int_{[0,1]^{4}}\frac{\mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z\,\mathrm{d}w}{\left(1+x\right)\left(1+y\right)\left(1+z\right)\left(1+w\right)\left(1+xyzw\right)}.\tag{1}$$

De acuerdo a WolframAlpha, la integral múltiple $(1)$ por encima tiene el valor numérico aproximado $I_{4}\approx0.223076.$

Comenzando con la sustitución de $w=\frac{1-t}{1+xyzt}$, podemos cortar la integral múltiple hacia abajo a la siguiente integral doble:

$$\begin{align} I_{4} &=\small{\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\int_{0}^{1}\mathrm{d}z\int_{0}^{1}\frac{\mathrm{d}w}{\left(1+x\right)\left(1+y\right)\left(1+z\right)\left(1+w\right)\left(1+xyzw\right)}}\\ &=\small{\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\int_{0}^{1}\mathrm{d}z\int_{0}^{1}\frac{\mathrm{d}t}{\left(1+x\right)\left(1+y\right)\left(1+z\right)\left(2-t+xyzt\right)}}\\ &=\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\int_{0}^{1}\mathrm{d}z\,\frac{\ln{(2)}-\ln{\left(1+xyz\right)}}{\left(1+x\right)\left(1+y\right)\left(1+z\right)\left(1-xyz\right)}\\ &=\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\int_{0}^{xy}\mathrm{d}v\,\frac{\ln{\left(\frac{2}{1+v}\right)}}{\left(1+x\right)\left(1+y\right)\left(xy+v\right)\left(1-v\right)};~~~\small{\left[xyz=v\right]}\\ &=\int_{0}^{1}\mathrm{d}x\int_{0}^{x}\mathrm{d}u\int_{0}^{u}\mathrm{d}v\,\frac{\ln{\left(\frac{2}{1+v}\right)}}{\left(1+x\right)\left(x+u\right)\left(u+v\right)\left(1-v\right)};~~~\small{\left[xy=u\right]}\\ &=\int_{0}^{1}\mathrm{d}x\int_{0}^{x}\mathrm{d}v\int_{v}^{x}\mathrm{d}u\,\frac{\ln{\left(\frac{2}{1+v}\right)}}{\left(1+x\right)\left(x+u\right)\left(u+v\right)\left(1-v\right)}\\ &=\int_{0}^{1}\mathrm{d}v\int_{v}^{1}\mathrm{d}x\int_{v}^{x}\mathrm{d}u\,\frac{\ln{\left(\frac{2}{1+v}\right)}}{\left(1+x\right)\left(x+u\right)\left(u+v\right)\left(1-v\right)}\\ &=\int_{0}^{1}\mathrm{d}v\int_{v}^{1}\mathrm{d}u\int_{u}^{1}\mathrm{d}x\,\frac{\ln{\left(\frac{2}{1+v}\right)}}{\left(1+x\right)\left(x+u\right)\left(u+v\right)\left(1-v\right)}\\ &=\int_{0}^{1}\mathrm{d}v\int_{v}^{1}\mathrm{d}u\,\frac{\ln{\left(\frac{(1+u)^2}{4u}\right)}\ln{\left(\frac{2}{1+v}\right)}}{\left(1-u\right)\left(u+v\right)\left(1-v\right)}\\ &=\int_{0}^{1}\mathrm{d}u\int_{0}^{u}\mathrm{d}v\,\frac{\ln{\left(\frac{(1+u)^2}{4u}\right)}\ln{\left(\frac{2}{1+v}\right)}}{\left(1-u\right)\left(u+v\right)\left(1-v\right)}.\tag{2}\\ \end{align}$$

WolframAlpha la aproximación numérica de la integral iterada obtenidos en la última línea de $(2)$ es consistente con la aproximación original se indicó anteriormente, por lo que estoy razonablemente seguro de que no he cometido algún error hasta el momento.

Continuando, la transformación de las variables y cambiando el orden de integración de los rendimientos de los siguientes equivalente integral doble representación de $I_{4}$:

$$\begin{align} I_{4} &=\int_{0}^{1}\mathrm{d}u\int_{0}^{u}\mathrm{d}v\,\frac{\ln{\left(\frac{(1+u)^2}{4u}\right)}\ln{\left(\frac{2}{1+v}\right)}}{\left(1-u\right)\left(u+v\right)\left(1-v\right)}\\ &=\int_{0}^{1}\mathrm{d}u\int_{\frac{1-u}{1+u}}^{1}\mathrm{d}y\,\frac{\ln{\left(\frac{(1+u)^2}{4u}\right)}\ln{\left(1+y\right)}}{\left(1-u\right)\left(u+\frac{1-y}{1+y}\right)y\left(1+y\right)};~~~\small{\left[\frac{1-v}{1+v}=y\right]}\\ &=-\frac12\int_{0}^{1}\mathrm{d}x\int_{x}^{1}\mathrm{d}y\,\frac{\ln{\left(1-x^2\right)}\ln{\left(1+y\right)}}{xy\left(1-xy\right)};~~~\small{\left[\frac{1-u}{1+u}=x\right]}\\ &=-\frac12\int_{0}^{1}\mathrm{d}y\int_{0}^{y}\mathrm{d}x\,\frac{\ln{\left(1-x^2\right)}\ln{\left(1+y\right)}}{xy\left(1-xy\right)}.\tag{3}\\ \end{align}$$

Ahora, el dilogarithm función de $\operatorname{Li}_{2}{\left(z\right)}$ para el complejo argumento se ha definido tradicionalmente a través de la representación integral

$$\operatorname{Li}_{2}{\left(z\right)}:=-\int_{0}^{z}\frac{\ln{\left(1-t\right)}}{t}\,\mathrm{d}t;~~~\small{z\in\mathbb{C}\setminus(1,\infty)}.\tag{4}$$

La siguiente integral indefinida puede ser confirmado por diferenciadas a ambos lados de la ecuación:

$$\small{\int\frac{\ln{\left(c+dx\right)}}{a+bx}\,\mathrm{d}x=\frac{\operatorname{Li}_{2}{\left(\frac{b\left(c+dx\right)}{bc-ad}\right)}+\ln{\left(c+dx\right)}\ln{\left(\frac{d\left(a+bx\right)}{ad-bc}\right)}}{b}+\color{grey}{constant}.}\tag{5}$$

Siguiente, dividiendo el logaritmo de la función de $x$ en el numerador y la aplicación parcial de la fracción de la descomposición de la parte racional, nos encontramos con

$$\begin{align} I_{4} &=-\frac12\int_{0}^{1}\mathrm{d}y\int_{0}^{y}\mathrm{d}x\,\frac{\ln{\left(1-x^2\right)}\ln{\left(1+y\right)}}{xy\left(1-xy\right)}\\ &=-\frac12\int_{0}^{1}\mathrm{d}y\int_{0}^{y}\mathrm{d}x\,\frac{\ln{\left(1+x\right)}\ln{\left(1+y\right)}}{xy\left(1-xy\right)}\\ &~~~~~-\frac12\int_{0}^{1}\mathrm{d}y\int_{0}^{y}\mathrm{d}x\,\frac{\ln{\left(1-x\right)}\ln{\left(1+y\right)}}{xy\left(1-xy\right)}\\ &=-\frac12\int_{0}^{1}\mathrm{d}y\,\ln{\left(1+y\right)}\int_{0}^{y}\mathrm{d}x\,\left[\frac{1}{1-xy}+\frac{1}{xy}\right]\ln{\left(1+x\right)}\\ &~~~~~-\frac12\int_{0}^{1}\mathrm{d}y\,\ln{\left(1+y\right)}\int_{0}^{y}\mathrm{d}x\,\left[\frac{1}{1-xy}+\frac{1}{xy}\right]\ln{\left(1-x\right)}\\ &=-\frac12\int_{0}^{1}\mathrm{d}y\,\ln{\left(1+y\right)}\int_{0}^{y}\mathrm{d}x\,\frac{\ln{\left(1+x\right)}}{1-xy}\\ &~~~~~-\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}}{y}\int_{0}^{y}\mathrm{d}x\,\frac{\ln{\left(1+x\right)}}{x}\\ &~~~~~-\frac12\int_{0}^{1}\mathrm{d}y\,\ln{\left(1+y\right)}\int_{0}^{y}\mathrm{d}x\,\frac{\ln{\left(1-x\right)}}{1-xy}\\ &~~~~~-\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}}{y}\int_{0}^{y}\mathrm{d}x\,\frac{\ln{\left(1-x\right)}}{x}\\ &=\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}}{y}\left[-\int_{0}^{y}\mathrm{d}x\,\frac{y\ln{\left(1+x\right)}}{1-xy}\right]\\ &~~~~~+\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y}\\ &~~~~~-\frac12\int_{0}^{1}\mathrm{d}y\,\ln{\left(1+y\right)}\int_{1-y}^{1}\mathrm{d}t\,\frac{\ln{\left(t\right)}}{1-y\left(1-t\right)};~~~\small{\left[1-x=t\right]}\\ &~~~~~+\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}\\ &=\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}}{y}\left[\operatorname{Li}_{2}{\left(y\right)}+\ln{\left(1-y\right)}\ln{\left(1+y\right)}-\operatorname{Li}_{2}{\left(\frac{y}{1+y}\right)}\right]\\ &~~~~~-\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}}{y}\int_{1-y}^{1}\mathrm{d}t\,\frac{\left(\frac{y}{1-y}\right)\ln{\left(t\right)}}{1+\left(\frac{y}{1-y}\right)t}\\ &~~~~~+\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y}+\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}\\ &=\small{\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}}{y}\left[\operatorname{Li}_{2}{\left(y\right)}+\ln{\left(1-y\right)}\ln{\left(1+y\right)}+\operatorname{Li}_{2}{\left(-y\right)}+\frac12\ln^{2}{\left(1+y\right)}\right]}\\ &~~~~~\small{-\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}}{y}\left[\operatorname{Li}_{2}{\left(\frac{y}{y-1}\right)}-\operatorname{Li}_{2}{\left(-y\right)}-\ln{\left(1-y\right)}\ln{\left(1+y\right)}\right]}\\ &~~~~~+\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y}+\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}\\ &=\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}}{y}\left[\operatorname{Li}_{2}{\left(y\right)}+\operatorname{Li}_{2}{\left(-y\right)}+\ln{\left(1-y\right)}\ln{\left(1+y\right)}\right]\\ &~~~~~+\frac14\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1+y\right)}}{y}\\ &~~~~~\small{+\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}}{y}\left[\operatorname{Li}_{2}{\left(y\right)}+\frac12\ln^{2}{\left(1-y\right)}+\operatorname{Li}_{2}{\left(-y\right)}+\ln{\left(1-y\right)}\ln{\left(1+y\right)}\right]}\\ &~~~~~+\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y}+\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}\\ &=\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}}{y}\left[\operatorname{Li}_{2}{\left(y\right)}+\operatorname{Li}_{2}{\left(-y\right)}+\ln{\left(1-y\right)}\ln{\left(1+y\right)}\right]\\ &~~~~~+\frac14\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1+y\right)}}{y}+\frac14\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{2}{\left(1-y\right)}\ln{\left(1+y\right)}}{y}\\ &~~~~~+\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y}+\frac12\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}\\ &=\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}+\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y}\\ &~~~~~+\frac14\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1+y\right)}}{y}+\frac14\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{2}{\left(1-y\right)}\ln{\left(1+y\right)}}{y}\\ &~~~~~+\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1-y\right)}\ln^{2}{\left(1+y\right)}}{y}.\tag{6}\\ \end{align}$$

Y así hemos reducido nuestros múltiples integral de una suma de cinco única variable polylogarithmic integrales. En lugar de tratar de evaluar cada uno de estos, a su vez, nos va a ahorrar mucha energía si hacemos un par de reordenamientos de la primera.

$$\begin{align} I_{4} &=\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}+\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y}\\ &~~~~~+\frac14\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1+y\right)}}{y}+\frac14\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{2}{\left(1-y\right)}\ln{\left(1+y\right)}}{y}\\ &~~~~~+\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1-y\right)}\ln^{2}{\left(1+y\right)}}{y}\\ &=\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y}+\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}\\ &~~~~~+\frac14\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1+y\right)}}{y}+\frac14\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{2}{\left(1-y\right)}\ln{\left(1+y\right)}}{y}\\ &~~~~~\small{+\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1-y^2\right)}-\ln^{3}{\left(1-y\right)}-\ln^{3}{\left(1+y\right)}-3\ln^{2}{\left(1-y\right)}\ln{\left(1+y\right)}}{3y}}\\ &=-\frac34\int_{0}^{1}\mathrm{d}y\,\frac{(-2)\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y}+\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}\\ &~~~~~-\frac13\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1-y\right)}}{y}-\frac{1}{12}\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1+y\right)}}{y}\\ &~~~~~+\frac13\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1-y^2\right)}}{y}-\frac34\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{2}{\left(1-y\right)}\ln{\left(1+y\right)}}{y}\\ &=-\frac34\left[\operatorname{Li}_{2}{\left(-y\right)}^{2}\right]_{0}^{1}+\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}\\ &~~~~~\small{-\frac13\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1-y\right)}}{y}-\frac{1}{12}\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1+y\right)}}{y}+\frac13\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1-y^2\right)}}{y}}\\ &~~~~~-\frac18\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1-y^2\right)}-\ln^{3}{\left(\frac{1-y}{1+y}\right)}-2\ln^{3}{\left(1+y\right)}}{y}\\ &=-\frac34\left[\operatorname{Li}_{2}{\left(-1\right)}\right]^{2}+\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}\\ &~~~~~-\frac13\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1-y\right)}}{y}+\frac16\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1+y\right)}}{y}\\ &~~~~~+\frac{5}{24}\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1-y^2\right)}}{y}+\frac18\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(\frac{1-y}{1+y}\right)}}{y}\\ &=-\frac34\left[\operatorname{Li}_{2}{\left(-1\right)}\right]^{2}+\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1+y\right)}\operatorname{Li}_{2}{\left(y\right)}}{y}\\ &~~~~~-\frac13\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1-y\right)}}{y}+\frac16\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1+y\right)}}{y}\\ &~~~~~+\frac{5}{48}\int_{0}^{1}\mathrm{d}z\,\frac{\ln^{3}{\left(1-z\right)}}{z};~~~\small{\left[y=\sqrt{z}\right]}\\ &~~~~~-\int_{0}^{1}\mathrm{d}y\,\frac{\left[\frac12\ln{\left(\frac{1+y}{1-y}\right)}\right]^{3}}{y}\\ &=-\frac34\left[\operatorname{Li}_{2}{\left(-1\right)}\right]^{2}-\frac32\operatorname{Li}_{2}{\left(1\right)}\operatorname{Li}_{2}{\left(-1\right)}-\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1-y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y}\\ &~~~~~-\frac{11}{48}\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1-y\right)}}{y}+\frac16\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1+y\right)}}{y}-\int_{0}^{1}\mathrm{d}y\,\frac{\left[\operatorname{arctanh}{\left(y\right)}\right]^{3}}{y}.\tag{7}\\ \end{align}$$

Los dos primeros logarítmica integrales de inmediato puede ser escrito como Nielsen generalizada polylogarithms. Además no es difícil de reducir a la tercera logarítmica integral Nielsen polylogarithms:

$$\begin{align} \int_{0}^{1}\mathrm{d}y\,\frac{\left[\operatorname{arctanh}{\left(y\right)}\right]^{3}}{y} &=\int_{0}^{1}\mathrm{d}y\,\frac{\left[\frac12\ln{\left(\frac{1+y}{1-y}\right)}\right]^{3}}{y}\\ &=-\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(\frac{1-y}{1+y}\right)}}{8y}\\ &=-\frac14\int_{0}^{1}\mathrm{d}x\,\frac{\ln^{3}{\left(x\right)}}{1-x^2};~~~\small{\left[\frac{1-y}{1+y}=x\right]}\\ &=-\frac18\int_{0}^{1}\mathrm{d}x\,\frac{\ln^{3}{\left(x\right)}}{1-x}-\frac18\int_{0}^{1}\mathrm{d}x\,\frac{\ln^{3}{\left(x\right)}}{1+x}\\ &=-\frac38\int_{0}^{1}\mathrm{d}x\,\frac{\ln^{2}{\left(x\right)}\ln{\left(1-x\right)}}{x}+\frac38\int_{0}^{1}\mathrm{d}x\,\frac{\ln^{2}{\left(x\right)}\ln{\left(1+x\right)}}{x}\\ &=\frac34\,S_{3,1}{\left(1\right)}-\frac34\,S_{3,1}{\left(-1\right)}.\tag{8}\\ \end{align}$$

Esto sólo deja el dilogarithmic integral a evaluar.

$$\begin{align} \int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1-y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y} &=-\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1-y\right)}}{y}\int_{0}^{1}\mathrm{d}x\,\frac{\ln{\left(1+yx\right)}}{x}\\ &=-\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1-y\right)}\ln{\left(1+xy\right)}}{xy}\\ &=:-\int_{0}^{1}\mathrm{d}x\,\frac{J{\left(-x\right)}}{x}\\ &=-\int_{0}^{1}\mathrm{d}x\,\frac{S_{1,2}{\left(-x\right)}}{x}-\int_{0}^{1}\mathrm{d}x\,\frac{\operatorname{Li}_{3}{\left(-x\right)}}{x}\\ &=-S_{2,2}{\left(-1\right)}-\operatorname{Li}_{4}{\left(-1\right)}.\tag{9}\\ \end{align}$$

(Véase el Apéndice 2 para la definición y evaluación de los auxiliares de la función $J{(a)}$ utilizado anteriormente.)

Poner todo junto, llegamos a

$$\begin{align} I_{4} &=-\frac34\left[\operatorname{Li}_{2}{\left(-1\right)}\right]^{2}-\frac32\operatorname{Li}_{2}{\left(1\right)}\operatorname{Li}_{2}{\left(-1\right)}\\ &~~~~~-\frac32\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1-y\right)}\operatorname{Li}_{2}{\left(-y\right)}}{y}\\ &~~~~~-\frac{11}{48}\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1-y\right)}}{y}+\frac16\int_{0}^{1}\mathrm{d}y\,\frac{\ln^{3}{\left(1+y\right)}}{y}\\ &~~~~~-\int_{0}^{1}\mathrm{d}y\,\frac{\left[\operatorname{arctanh}{\left(y\right)}\right]^{3}}{y}\\ &=-\frac34\left[\operatorname{Li}_{2}{\left(-1\right)}\right]^{2}-\frac32\operatorname{Li}_{2}{\left(1\right)}\operatorname{Li}_{2}{\left(-1\right)}\\ &~~~~~+\frac32\,S_{2,2}{\left(-1\right)}+\frac32\operatorname{Li}_{4}{\left(-1\right)}\\ &~~~~~+\frac{11}{8}\,S_{1,3}{\left(1\right)}-S_{1,3}{\left(-1\right)}\\ &~~~~~-\frac34\,S_{3,1}{\left(1\right)}+\frac34\,S_{3,1}{\left(-1\right)}\\ &=\frac32\,S_{2,2}{\left(-1\right)}+\frac{11}{8}\,S_{1,3}{\left(1\right)}-S_{1,3}{\left(-1\right)}-\frac{7\pi^4}{480}.\\ \end{align}$$


Apéndice 1.

El Nielsen generalizada polylogarithm puede ser definido por entero positivo de los índices a través de la representación integral

$$S_{n,p}{\left(z\right)}:=\frac{\left(-1\right)^{n+p-1}n}{n!\,p!}\int_{0}^{1}\frac{\ln^{n-1}{\left(t\right)}\ln^{p}{\left(1-zt\right)}}{t}\,\mathrm{d}t;~~~\small{n,p\in\mathbb{N}^{+}}.$$

Establecimiento $n=1$,

$$S_{1,p}{\left(z\right)}:=\frac{\left(-1\right)^{p}}{p!}\int_{0}^{1}\frac{\ln^{p}{\left(1-zt\right)}}{t}\,\mathrm{d}t;~~~\small{p\in\mathbb{N}^{+}}.$$

Establecimiento $p=1$,

$$S_{n,1}{\left(z\right)}=\frac{\left(-1\right)^{n}n}{n!}\int_{0}^{1}\frac{\ln^{n-1}{\left(t\right)}\ln{\left(1-zt\right)}}{t}\,\mathrm{d}t;~~~\small{n\in\mathbb{N}^{+}}.$$


Apéndice 2.

Definir la función real $J:(-\infty,1]\to\mathbb{R}$ a través de la representación integral

$$J{\left(a\right)}:=\int_{0}^{1}\frac{\ln{\left(1-y\right)}\ln{\left(1-ay\right)}}{y}\,\mathrm{d}y;~~~\small{a\le1}.$$

Entonces, para $a\le1$ hemos

$$\begin{align} J{\left(a\right)} &=\int_{0}^{1}\frac{\ln{\left(1-y\right)}\ln{\left(1-ay\right)}}{y}\,\mathrm{d}y\\ &=\int_{0}^{1}\mathrm{d}y\,\frac{\ln{\left(1-y\right)}}{y}\int_{0}^{1}\mathrm{d}x\,\frac{ay}{ayx-1}\\ &=-a\int_{0}^{1}\mathrm{d}y\int_{0}^{1}\mathrm{d}x\,\frac{\ln{\left(1-y\right)}}{1-ayx}\\ &=-\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\,\frac{a\ln{\left(1-y\right)}}{1-axy}\\ &=-\int_{0}^{1}\mathrm{d}x\,\frac{\operatorname{Li}_{2}{\left(\frac{ax}{ax-1}\right)}}{x}\\ &=\int_{0}^{1}\mathrm{d}x\,\frac{\frac12\ln^{2}{\left(1-ax\right)}+\operatorname{Li}_{2}{\left(ax\right)}}{x}\\ &=\frac12\int_{0}^{1}\mathrm{d}x\,\frac{\ln^{2}{\left(1-ax\right)}}{x}+\int_{0}^{1}\mathrm{d}x\,\frac{\operatorname{Li}_{2}{\left(ax\right)}}{x}\\ &=S_{1,2}{\left(a\right)}+\operatorname{Li}_{3}{\left(a\right)}.\\ \end{align}$$

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