Forma cerrada de $\int_0^1 \int_0^1 \int_0^1 x^{(y^z)} \,dz\,dy\,dx$

Question

Sabemos que

$$\int_0^1 \int_0^1 x^y\,dy\,dx = \ln 2.$$

¿Conocemos una forma cerrada de

$$\int_0^1 \int_0^1 \int_0^1 x^{(y^z)} \,dz\,dy\,dx\,?$$

Para empezar, sabemos que

$$\int_0^1 x^{(y^z)}\,dz = \frac{\operatorname{Ei}(y \ln x) - \operatorname{li}(x)}{\ln y}.$$

Aquí $\operatorname{Ei}$ es el integral exponencial y $\operatorname{li}$ es el integral logarítmica .

Answer 1

Primero integrar con respecto a $x$ es decir $$\int_0^1 \int_0^1 \int_0^1 x^{y^z}\,dx\,dy\,dz=\int_0^1 \int_0^1 \frac{1}{1+y^z}\,dy\,dz$$ Desde $0<y<1$ y $0<z<1$ , $$\int_0^1 \int_0^1 \frac{1}{1+y^z}\,dy\,dz=\sum_{k=0}^{\infty} (-1)^k \int_0^1 \int_0^1 y^{kz}\,dy\,dz=\sum_{k=0}^{\infty} \frac{(-1)^k\ln(1+k)}{k}$$ $$\begin{aligned} \sum_{k=0}^{\infty} \frac{(-1)^k\ln(1+k)}{k} & =1+\sum_{k=1}^{\infty} \frac{(-1)^k\ln(1+k)}{k} \\ &=1-\sum_{k=1}^{\infty} \frac{(-1)^{k-1}\ln k}{k}+\sum_{k=1}^{\infty} \frac{(-1)^k}{k}\ln\left(1+\frac{1}{k}\right) \\ \end{aligned}$$ La primera suma es $-\eta'(1)$ donde $\eta(s)$ es la función eta de Dirichlet.

Para la segunda suma: $$\begin{aligned} \sum_{k=1}^{\infty} \frac{(-1)^k}{k}\ln\left(1+\frac{1}{k}\right) &=-\sum_{k=1}^{\infty} \sum_{m=1}^{\infty} \frac{(-1)^k}{k}\frac{(-1)^{m}}{mk^m} \\ &=\sum_{m=1}^{\infty} \frac{(-1)^m}{m}(1-2^{-m})\zeta(m+1)\\ &=\sum_{m=1}^{\infty} \frac{(-1)^m}{m}\zeta(m+1)-\sum_{m=1}^{\infty} \left(\frac{-1}{2}\right)^{m}\frac{\zeta(m+1)}{m} \\ \end{aligned}$$ Estoy pensando en manipular lo siguiente: $$\sum_{n=1}^{\infty} \zeta(n+1)x^n=-\gamma-\psi(1-x)$$ pero no estoy seguro de cómo hacerlo.

Edición: Como ha señalado Varun en los comentarios, podríamos utilizar $$\sum_{n=1}^{\infty} \frac{\zeta(n+1)}{n}x^n = \int_{0}^{x}\frac{-\gamma-\psi(1-t)}{t}dt$$ Usando esto y después de alguna simplificación, la segunda suma se simplifica a, $$-\gamma\ln 2 + \int_{1/2}^{1}\frac{\psi(1+t)}{t}dt = -\gamma\ln 2 -\int_{1/2}^{1} \frac{\psi(t)}{t} dt - 1$$ donde utilicé $\psi(1+t) = \psi(t) + 1/t$ .

Con $\eta'(1) = \gamma\ln 2 - \frac{\ln^2 2}{2}$ terminamos con lo publicado por otro usuario en el hilo, $$-\int_{1/2}^1 \frac{\psi(t)}{t}dt + \frac{1}{2}\ln^22$$

No estoy seguro de que esto lleve a alguna parte, pero creo que este formulario es interesante de todos modos.

Answer 2

Encontré la respuesta mientras navegaba por Reddit y pensé que te interesaría conocerla. aunque, en realidad, no puedo probarlo por mi cuenta. Edición: He conseguido encontrar una forma de calcularlo. $$\int_0^1 \int_0^1 \int_0^1 x^{y^z}\,dx\,dy\,dz= - \int_ {1/2}^{1} \frac{ψ(x)}{x} \, dx - \frac{1}{2} \, \ln^{2}(2). $$ Esto no es una coincidencia y puedo demostrarlo. $$I=\int_0^1 \int_0^1 \int_0^1 x^{y^z}\,dx\,dy\,dz = \int_{0}^{1}\int_{0}^{1}\int_{0}^{1}\sum_{n=0}^{∞}y^{nz}\ln\left(x\right)^{n}dxdydz = 1-\sum_{n=1}^{∞}\left(-1\right)^{n-1}\ \frac{\ln\left(n+1\right)}{n}$$ $$ \int_{0}^{1}x^{n-1}li\left(x\right)dx=-\frac{\ln\left(n+1\right)}{n} (observation)$$ $$ I = 1+\int_{0}^{1}\frac{li\left(x\right)}{x+1}dx $$ $$I(t) = 1+\int_{0}^{1}\frac{li\left(x^t\right)}{x+1}dx , I(1)=I, I(∞)=1$$ $$ I'(t)=\frac{1}{t}\int_{0}^{1}\frac{x^{t}}{x+1}dx = \frac{\ln2+ψ\left(\frac{t}{2}+1\right)-ψ\left(t+1\right)}{t}=\frac{\ln2+ψ\left(\frac{t}{2}\right)-ψ\left(t\right)}{t}+\frac{1}{t^{2}} $$ $$ I= 1-\int_{1}^{∞}\left(\frac{\ln2+ψ\left(\frac{t}{2}\right)-ψ\left(t\right)}{t}+\frac{1}{t^{2}}\right)dt = -\int_{1}^{∞}\frac{\ln\left(2\right)+ψ\left(\frac{t}{2}\right)-ψ\left(t\right)}{t}dt $$ $$ F\left(t\right)=\int_{1}^{t}\frac{ψ\left(x\right)}{x}dx≃\frac{1}{2}\left(ψ\left(\frac{t}{2}+1\right)^{2}-ψ\left(t+1\right)^{2}\right) ,F(1)=0 $$ $$ -\lim _{t\to \infty }\left(ln\left(2\right)ln\left(t\right)+F\left(\frac{t}{2}\right)-F\left(t\right)\right)+F\left(\frac{1}{2}\right)-F\left(1\right) $$ $$ (\lim _{t\to \infty }\left(ψ\left(\frac{t}{2}+1\right)-ψ\left(t+1\right)\right)=-ln\left(2\right)) $$ $$ =-\lim _{t\to \infty }\left(\ln \left(2\right)\ln \:t+\frac{1}{2}\left(ψ\left(\frac{t}{2}+1\right)^2-ψ\left(t+1\right)^2\right)\right)$$ $$ =-\lim _{t\to \infty }\left(\ln \:t-\frac{1}{2}ψ\left(\frac{t}{2}+1\right)-\frac{1}{2}ψ\left(t+1\right)\right)ln\left(2\right) $$ $$ =-\lim _{t\to \infty }\left(\frac{1}{2}ln\left(\frac{t}{2}\right)+\frac{1}{2}ln\left(2\right)+\frac{1}{2}ln\left(t\right)-\frac{1}{2}ψ\left(\frac{t}{2}+1\right)-\frac{1}{2}ψ\left(t+1\right)\right)ln\left(2\right) $$ $$\lim _{x\to \infty }\left(ln\left(x\right)-ψ\left(x+1\right)\right)=0 $$ $$= -\frac{1}{2}ln\left(2\right)^2+F\left(\frac{1}{2}\right) = -\frac{1}{2}ln\left(2\right)^2-\int _{\frac{1}{2}}^1\:\frac{ψ\left(x\right)}{x}dx$$ Edición 2: La respuesta también se puede escribir en términos de la constante de Stieltjes generalizada. $$ γ_1\left(a,b\right)=\lim _{n\to \infty }\left(-\frac{1}{2}ln\left(n\right)^2+\sum _{k=1}^n\:\frac{ln\left(k+a\right)}{k+b}\right) $$ $$ I=1+2γln\left(2\right)-\frac{1}{2}ln\left(2\right)^2-γ_1\left(1,0\right)+γ_1\left(\frac{1}{2},0\right) $$

Answer 3

Parece que no tiene una forma cerrada...

---

Prueba con $z$

$$\begin{aligned} {I_{zyx}} &= \iiint\limits_{{{[0,1]}^3}} {{x^{{y^z}}}{\text{d}}z\;{\text{d}}y\;{\text{d}}x}\\ &= \iint\limits_{{{[0,1]}^2}} {\frac{{{\text{Ei}}(y\log (x)) - {\text{li}}(x)}}{{\log (y)}}{\text{d}}y\;{\text{d}}x}\\ &= \int_0^1 {\left( {{{\log }_y}(2) - {{\log }_y}\left( {\frac{{y + 1}}{y}} \right)} \right){\text{d}}y} \quad \log y \mapsto r\\ &= \int_{ - \infty }^0 {\frac{{{e^r}}}{r}\left( {r - \log \left( {{e^r} + 1} \right) + \log (2)} \right){\text{d}}r} \end{aligned}$$

---

Prueba con $y$

$$\begin{aligned} {I_{yxz}} &= \iiint\limits_{{{[0,1]}^3}} {{x^{{y^z}}}{\text{d}}y\;{\text{d}}x\;{\text{d}}z}\\ &= \iint\limits_{{{[0,1]}^2}} {{{(\log (x) + 1)}^{1 - z}}\Gamma \left( {\frac{1}{z}, - \log (x)} \right)\frac{{{\text{d}}x\;{\text{d}}z}}{z}} \end{aligned}$$

---

Prueba con $x$

$$\begin{aligned} {I_{xyz}} &= \iiint\limits_{{{[0,1]}^3}} {{x^{{y^z}}}{\text{d}}x\;{\text{d}}y\;{\text{d}}z}\\ &= \iint\limits_{{{[0,1]}^2}} {\frac{1}{{{y^z} + 1}}{\text{d}}y\;{\text{d}}z}\\ &= \int_0^1 {\frac{{{\psi ^{(0)}}\left( {\frac{{z + 1}}{{2z}}} \right) - {\psi ^{(0)}}\left( {\frac{1}{{2z}}} \right)}}{{2z}}} {\mkern 1mu} {\text{d}}z\quad z \mapsto 1/r\\ &= \int_0^\infty {\frac{{{\psi ^{(0)}}\left( {\frac{r}{2}} \right) - {\psi ^{(0)}}\left( {\frac{{r + 1}}{2}} \right)}}{{2r}}} {\mkern 1mu} {\text{d}}r \end{aligned}$$