Integral de la $\int_0^{1/2}\arcsin x\cdot\ln^3x\,dx$

Question

Es una continuación a mi anterior pregunta. Podemos encontrar un anti-derivados $$\int\arcsin x\cdot\ln^3x\,dx$$ o, al menos, evaluar la integral definida $$\int_0^{1/2}\arcsin x\cdot\ln^3x\,dx$$ en una forma cerrada (idealmente, como una combinación de funciones elementales y polylogarithms)?

Answer 1

Como se puede comprobar por la diferenciación, no es una antiderivada continua en $(0,1)$:

$$\begin{align}&\int\arcsin x\cdot\ln^3x\,dx=\\ &\hspace{1cm}\frac32\left[\operatorname{Li}_3\left(\frac{\alpha}2\right)-\operatorname{Li}_3\left(\frac\beta2\right)\right]+3\,(2-\ln x)\cdot\operatorname{Li}_2\left(\frac\alpha2\right)-\frac{\ln^3\alpha}2+24\,\beta\\ &\hspace{1cm}+3\,(\ln x-1)\cdot\ln^2\alpha-\left(\pi^2+12\ln^2x-6\ln^22+24\ln2-72\right)\cdot\frac{\ln\alpha}4\\ &\hspace{1cm}-\beta\,\ln^3x+3\,(2\,\beta+\ln2)\cdot\ln^2x+\left(\frac{\pi^2}2-18\,\beta-3\ln^22\right)\cdot\ln x\\ &\hspace{1cm}+x\left(\ln^3x-3\ln^2x+6\ln x-6\right)\cdot\arcsin(x)\color{gray}{+C},\end{align}$$ donde $$\alpha=1+\sqrt{1-x^2},\quad\beta=1-\sqrt{1-x^2}.$$

Aquí es un esquema de un enfoque que conduce a este resultado:

• Integrar por partes para deshacerse de $\arcsin$.
• Cambio de variable $y=\sqrt{1-x^2}$ a deshacerse de $\sqrt{1-x^2}$ en el denominador.
• El uso de identidad $\ln(1-y^2)=\ln(1+y)+\ln(1-y)$ y ampliar paréntesis, esto se traducirá en una suma de integrales con competencias y productos de $\ln(1+y),\, \ln(1-y)$ términos.
• La evaluación de las integrales en términos de polylogarithms el uso de CAS, WolframAlpha integral o tablas.
• Simplificar dilogarithm términos.

---

Bono:

$$\begin{align}&\int\arcsin x\cdot\ln^4x\,dx=\\ &\hspace{1cm}120\alpha-\ln^4\alpha-6\operatorname{Li}_4\left(\frac\alpha2\right) +6\operatorname{Li}_4\left(\frac\beta2\right)-3\operatorname{Li}_4\left(-\frac{\alpha^2}{x^2}\right)\\ &\hspace{1cm}+6\,(\ln x-2)\cdot\left[\operatorname{Li}_3\left(\frac\alpha2\right)-\operatorname{Li}_3\left(\frac\beta2\right)\right] -6\,\left(\ln^2x-4\ln x+6\right)\cdot\operatorname{Li}_2\left(\frac\alpha2\right)\\ &\hspace{1cm}+(\alpha-4)\cdot\ln^4x+(4\ln x+4-2\ln2)\cdot\ln^3\alpha\\ &\hspace{1cm}-\left[\vphantom{\Large|}6\,(\ln x+8-2\ln2)\cdot\ln x+\pi^2-36\right]\cdot\frac{\ln^2\alpha}2\\ &\hspace{1cm}+\left[\vphantom{\Large|}(\ln x+2-\ln2)\cdot\pi^2+6\,(4-\ln2)\cdot\ln^2x\right]\cdot\ln\alpha\\ &\hspace{1cm}+\left[\vphantom{\Large|}6\zeta(3)-96+2\ln^32-12\ln^22+36\ln2\right]\cdot\ln\alpha\\ &\hspace{1cm}+\left[\vphantom{\Large|}96\beta-6\zeta(3)-2\ln^32+24\ln^22+(\ln2-4)\cdot\pi^2\right]\cdot\ln x\\ &\hspace{1cm}-3\left(12\beta+\ln^22+8\ln2\right)\cdot\ln^2x+8\,(\beta+\ln2)\cdot\ln^3x\\ &\hspace{1cm}+x\left(\ln^4x-4\ln^3x+12\ln^2x-24\ln x+24\right)\cdot\arcsin(x)\color{gray}{+C},\end{align}$$ donde $$\alpha=1+\sqrt{1-x^2},\quad\beta=1-\sqrt{1-x^2}.$$

Answer 2

Vamos a describir de una manera hacia adelante dejando algunos de los trabajos para el lector.

Denotar la integral de interés por $I$ donde

$$I=\int \arcsin(x) \log^3(x)\,dx \tag 1$$

La integración de $(1)$ por partes dejando $u=\arcsin(x)$$v=x\left(\log^3(x)-3\log^2(x)+6\log(x)-6\right)$, nos encontramos con que

$$\begin{align} I&=x\arcsin(x)\left(\log^3(x)-3\log^2(x)+6\log(x)-6\right)\\\\&-\int \left(\frac{\log^3(x)-3\log^2(x)+6\log(x)-6}{\sqrt{1-x^2}}\right)\,x\,dx \tag 2 \end{align}$$

---

Siguiente, denotar la integral en el lado derecho de la $(2)$$J$. Hacer cumplir la sustitución de $x=\sqrt{1-y^2}$ rendimientos

$$\begin{align} J&=-\int \left(\frac{\log^3(x)-3\log^2(x)+6\log(x)-6}{\sqrt{1-x^2}}\right)\,x\,dx\\\\ &=J_3+J_2+J_1+J_0 \end{align}$$

donde

$$\begin{align} J_3&=\int \log^3(\sqrt{1-y^2})\,dy \tag 3\\\\ J_2&=-3\int \log^2(\sqrt{1-y^2})\,dy \tag 4\\\\ J_1&=6\int \log(\sqrt{1-y^2})\,dy \tag 5\\\\ J_0&=-6\int 1\,dy \tag 6 \end{align}$$

---

Las integrales en $(5)$ $(6)$ puede ser evaluado en términos de funciones elementales con

$$J_0=-6y$$

y

$$J_1=3y\log(1-y^2)-6y-3\log(1-y)+3\log(1+y)$$

---

El integral3 en $(3)$ $(4)$ puede ser expresada en términos de la dilogarithm función. Para $J_2$ podemos escribir

$$\begin{align} J_2&=-3\int \log^2(\sqrt{1-y^2})\,dy\\\\ &=-\frac34 \left(K_1+K_2+K_3\right) \end{align}$$

donde

$$\begin{align} K_1&=\int \log^2(1-y)\,dy \tag 7\\\\ K_2&=\int \log^2(1+y)\,dy \tag 8\\\\ K_3&=2\int \log(1-y)\log(1+y)\,dy \tag 9 \end{align}$$

Las integrales de $K_1$ $K_2$ puede ser escrita en la forma cerrada con

$$\begin{align} K_1&=(y-1)\left(\log^2(1-y)-2\log(1-y)+2\right)\\\\ \end{align}$$

y

$$\begin{align} K_2&=(y+1)\left(\log^2(1+y)-2\log(1+y)+2\right)\\\\ \end{align}$$

---

Para $K_3$ integramos por partes con $u=\log(1-y)$ $v=(y+1)\log(y+1)-y$ y obtener

$$\begin{align} K_3&=2(y+1)\log(1-y^2)-2y\log(1-y)+2\int \frac{(y+1)\log(y+1)-y}{1-y}\,dy\\\\ &=2(y+1)\log(1-y^2)-2y\log(1-y)+2y+2\log(1-y)+2\int \frac{(y+1)\log(y+1)}{1-y}\,dy\\\\ &=2(y+1)\log(1-y)+2y\left(1-\log(1-y)\right)+4\int \frac{\log(1+y)}{1-y}\,dy \tag{10} \end{align}$$

Para evaluar la integral en $(10)$, podemos hacer la sustitución $y=1-2z$. A continuación,

$$\begin{align} \int \frac{\log(1+y)}{1-y}\,dy&=-\log(2)\log(w)-\int \frac{\log(1-w)}{w}\,dw\\\\ &=-\log(2)\log\left(\frac{1-y}{2}\right)+\text{Li}_2\left(\frac{1-y}{2}\right) \end{align}$$

---

La integral de la $K_3$ puede ser evaluado en términos de la dilogarithm función de $\text{Li}_2$ y trilogarithm función de $\text{Li}_3$ utilizando un enfoque similar a la utilizada en este documento para evaluar $K_2$. Vamos a dejar que muy tedioso análisis para el lector.

Answer 3

La integral indefinida puede ser expresada en términos de hypergeometrics.

Empezamos con la integración por partes con $dv=\sin^{-1}(x)$$u=\log^3x$.

$$\begin{align} I&=\int \arcsin x \cdot \ln^3x\,dx\\ &=\ln^3x\cdot\left(\sqrt{1-x^2}+x\arcsin x\right)-\int \left(\sqrt{1-x^2}+x\arcsin x\right)\cdot \frac{3\ln^2x}{x}\,dx \end{align}$$

Ampliar el integrando obtenemos

$$\frac{3\sqrt{1-x^2}\cdot\ln^2x}{x}+3\arcsin(x)\ln^2(x)$$

La integración del segundo término es abordado en su anterior pregunta, así que me voy a centrar en sólo el primer término.

$$K=\int\frac{3\sqrt{1-x^2}\ln^2x}{x}\,dx$$

Mathematica ofrece el resultado de $K=$

$$\frac{3\sqrt{1-x^2}}{x\sqrt{1-\frac{1}{x^2}}} \left[2 x \, _4F_3\left(-\frac{1}{2},-\frac{1}{2},-\frac{1}{2},-\frac{1}{2};\frac{1}{2},\frac{1}{2},\frac{1}{2};\frac{1}{x^2}\right)-2 x \log (x) \, _3F_2\left(-\frac{1}{2},-\frac{1}{2},-\frac{1}{2};\frac{1}{2},\frac{1}{2};\frac{1}{x^2}\right)+x \sqrt{1-\frac{1}{x^2}} \log ^2(x)+\log ^2(x) \csc ^{-1}(x)\right]$$

Por lo tanto

$$I=\ln^3x\cdot\left(\sqrt{1-x^2}+x\arcsin x\right)-K-3\int\arcsin x\ln^2x\,dx$$

Aquí son la suma de las representaciones de la hypergeometrics

$$\, _3F_2\left(-\frac{1}{2},-\frac{1}{2},-\frac{1}{2};\frac{1}{2},\frac{1}{2};\frac{1}{x^2}\right)=-\frac{1}{\sqrt \pi}\sum_{k=0}^\infty\frac{x^{-2k}}{(2k-1)^3}\cdot\frac{\Gamma\left(k+\frac 1 2\right)}{\Gamma(k+1)}$$

$$\, _4F_3\left(-\frac{1}{2},-\frac{1}{2},-\frac{1}{2},-\frac{1}{2};\frac{1}{2},\frac{1}{2},\frac{1}{2};\frac{1}{x^2}\right)=\frac{1}{\sqrt \pi}\sum_{k=0}^\infty \frac{x^{-2k}}{(2k-1)^4}\cdot\frac{\Gamma\left(k+\frac 1 2\right)}{\Gamma(k+1)}$$