13 votos

De forma cerrada de $\int_0^1 \frac{\ln^2(x)}{\sqrt{x(a-bx)}}\,dx$

Estoy interesed en la siguiente integral, para $a,b>0$: $$ \mathcal{I}(a,b) := \int_0^1 \frac{\ln^2(x)}{\sqrt{x(a-bx)}}\,dx $$ Mathematica puede evaluar en términos de funciones hipergeométricas, pero estoy buscando una simplificación de la forma cerrada.

Si es demasiado difícil, entonces sería bueno ver una prueba para los dos siguientes casos especiales: $$\begin{align} \mathcal{I}(1,1) &= \int_0^1 \frac{\ln^2(x)}{\sqrt{x(1-x)}}\,dx = \frac{\pi^3}{3}+4\pi\ln^2(2)\\ \mathcal{I}(4,1) &= \int_0^1 \frac{\ln^2(x)}{\sqrt{x(4-x)}}\,dx = \frac{7\pi^3}{27} \end{align}$$ Cualquier otro simple caso especial son bienvenidos.

13voto

nospoon Puntos 1966

Demasiado Largo para un comentario. (ver edición, ahora contiene la forma cerrada.)

Esto es equivalente a una función de variable.

Sustituto $x\to x^2$, y, a continuación, $x=\frac1{a}\sin(t)$ para obtener $$ \int_0^1 \frac{\ln^2(x)}{\sqrt{x(1-a^2)}}dx=8\int_0^1 \frac{\ln^2(x)}{\sqrt{1-a^2x^2}}dx=\frac{8}{a}\int_0^{\sin^{-1}(a)}\ln^2\left(\frac{\sen t}{una}\right)dt \\=\frac{8\ln^2(a)\sin^{-1}(a)}{a}-\frac{16\ln(a)}{a}\int_0^{\sin^{-1}(a)}\ln\sin x\,\,dx+\frac{8}{a}\int_0^{\sin^{-1}(a)}\ln^2\sin x\,\,dx$$

Por cierto algebraicas $a$'s ,creo que podemos encontrar una forma cerrada.

Por ejemplo, el caso de $a=\frac{\sqrt{2}}{2}$ corresponde a $\mathcal{I}(2,1)$, y el uso de la (maravillosa) los resultados obtenidos por @RandomVariable, tenemos $$\mathcal{I}(2,1)=\frac{\pi}{2}\ln^2(2)-4\ln(2)(G+\frac{\pi}{2}\ln2)+8\left(\frac{\pi^{3}}{192} + G\frac{ \log(2)}{2} + \frac{3 \pi}{16} \log^{2}(2) - \text{Im} \ \text{Li}_{3}(1-i)\right)\,\,\left(=\frac{\pi^3}{24}-8\Im\operatorname{Li_3}(1-i)\right)$$

Editar

Después de algunos trabajos que he sido capaz de encontrar la forma cerrada. Hacia el final, hay un enorme cancelación que me molesta - no debe ser una forma sencilla, pero yo estoy ciego.

Voy a esbozar cómo me encontró: considere el $\displaystyle \int_0^1 \frac{\ln^2(x)}{\sqrt{x(1-\sin(\pi\theta)^2x)}}dx=\frac{8}{\sin(\pi\theta)}\int_0^{\pi\theta} \ln^2\left(\frac{\sin(x)}{\sin(\pi\theta)}\right)dx\tag{1}$

Desde $\displaystyle \ln(\sin x)=-\ln2-\sum_{n=1}^{\infty} \frac{\cos(2nx)}{n}$ hemos $\displaystyle \int_0^{\pi\theta} \ln(\sin x)dx=-\pi\theta\ln2-\frac12\operatorname{Cl_2}(2\pi\theta)\tag{2}$.

(Y, como se ha hecho en @RandomVariable la respuesta enlazado más arriba,) desde $\displaystyle \Re\ln^2(1-e^{i2\pi x})=\ln^2(2\sin(\pi x))-(\frac{\pi}{2}-x)^2$, tenemos $$\int_0^{\pi\theta} \ln^2(\sin x)dx\\=\int_0^{\pi\theta}(\frac{\pi}{2}-x)^2dx+\Re\int_0^{\pi\theta}\ln^2(1-e^{i2\pi x})dx-\pi\theta\ln^2(2)-2\ln(2)(-\pi\theta\ln2-\frac12\operatorname{Cl_2}(2\pi\theta))$$
Desde $\displaystyle \ln^2(1-x)=2\sum_{n=1}^{\infty} \frac{H_{n-1}x^n}{n}$,

y el uso de una forma cerrada para $\sum_{n=1}^{\infty} \frac{H_n x^n}{n^2}$ obtenido por @RaymondManzoni
Tenemos $$=\frac{\pi^3}{12}\theta(4\theta^2-6\theta+3)+\pi\theta\ln^2(2)+\operatorname{Cl_2}(2\pi\theta)\ln2+2\sum_{n=1}^{\infty} \frac{H_{n-1}}{n}\int_0^{\pi\theta} \cos(2nx)dx \\=\frac{\pi^3}{12}\theta(4\theta^2-6\theta+3)+\pi\theta\ln^2(2)+\operatorname{Cl_2}(2\pi\theta)\ln2+\Im[i\pi\theta\ln^2(1-e^{i2\pi\theta})]+\Im[\ln(1-e^{i2\pi x})\operatorname{Li_2}(1-e^{i2\pi\theta})]-\Im\operatorname{Li_3}(1-e^{i2\pi\theta}) $$ $$=\frac{\pi^3\theta^3}{3}-\pi\theta\ln^2(2\sin(\pi\theta))-\ln(\sin(\pi\theta)\operatorname{Cl_2}(2\pi\theta)+\pi\theta\ln^2(2)-\Im\operatorname{Li_3}(1-e^{i2\pi\theta}) \tag{3}$$

Poner a $(2)$$(3)$$(1)$, un verdadero milagro sucede y el nivel de detalle se reduzca a $$\int_0^{\pi\theta} \ln^2\left(\frac{\sin(x)}{\sin(\pi\theta)}\right)dx=\frac{\pi^3\theta^3}{3}-\Im\operatorname{Li_3}(1-e^{i2\pi\theta})$$,

O en términos de su función original, $$\mathcal{I}(a,b)=\frac{8}{\sqrt{b}}\left(\frac13\operatorname{arcsin}^3\sqrt{\frac{b}{a}}-\Im\operatorname{Li_3}(1-e^{2i\operatorname{arcsin}\sqrt{\tfrac{b}{a}}})\right)$$

Como un lindo ejemplo, desde la $\sin(\pi/10)=\frac{\sqrt{5}-1}{4}$ hemos

$$ \mathcal{I}(8,3-\sqrt{5})=\frac{\pi^3}{375\sqrt{3-\sqrt{5}}}-\frac{8}{\sqrt{3-\sqrt{5}}}\Im\operatorname{Li_3}(1-e^{i\pi/5})$$

Otro:
$$ \mathcal{I}(4,2-\sqrt{3})=\frac{\pi^3}{648\sqrt{2-\sqrt{3}}}-\frac{8}{\sqrt{2-\sqrt{3}}}\Im\operatorname{Li_3}\left(\frac{2-\sqrt{3}}{2}-\frac{i}{2}\right)$$

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