El cálculo de $\int_0^1 \frac{\operatorname{arctanh}\left(\sqrt{1-\frac{u}{2}}\right)\sqrt{\frac{2 \pi \sqrt{1-u}}{u-2}+\pi } }{u\sqrt{1-u}} \, du$

Question

Lo real de las herramientas que emplean para el cálculo de la integral de abajo? Algunas ideas útiles que quiero decir.

$$\int_0^1 \frac{\operatorname{arctanh}\left(\sqrt{1-\frac{u}{2}}\right)\sqrt{\frac{2 \pi \sqrt{1-u}}{u-2}+\pi } }{u\sqrt{1-u}} \, du$$

Answer 1

Para la integral \begin{align} I = \int_0^1 \frac{\operatorname{arctanh}\left(\sqrt{1-\frac{u}{2}}\right)\sqrt{\frac{2 \pi \sqrt{1-u}}{u-2}+\pi } }{u\sqrt{1-u}} \, du \end{align} deje $t^{2} = 1-u$ para obtener el formulario \begin{align}\tag{1} I = 2 \sqrt{\pi} \, \int_{0}^{1} \tanh^{-1}\left(\sqrt{\frac{1 + t^{2}}{2}}\right) \, \frac{dt}{(1+t) \, \sqrt{1+t^{2}}} \end{align}

---

Método 1: Jack D'Aurizio ha proporcionado una manera de continuar con la ecuación (1)

---

Método 2: Otra forma de continuar con la ecuación (1) es hacer la sustitución de $t = \sqrt{\cos \theta}$ obtener \begin{align}\tag{2} I = \sqrt{2 \pi} \, \int_{0}^{\pi/2} \ln\left(\cot\left(\frac{\theta}{4}\right)\right) \, \frac{\sin\theta \, d\theta}{\sqrt{\cos\theta} \, (1 + \sqrt{\cos\theta})} \end{align} o, dejando $\theta = 4 \phi$, \begin{align}\tag{2.1} I = 4 \, \sqrt{2 \pi} \, \int_{0}^{\pi/8} \frac{\ln(\cot\phi)) \, \sin(4\phi) \, d\phi}{\sqrt{\cos(4\phi)} \, (1 + \sqrt{\cos(4\phi)})} \end{align}

La utilización de la serie \begin{align}\tag{3} \ln(\cot\phi) = 2 \, \sum_{k=0}^{\infty} \frac{\cos(4k+2)\phi}{2k+1} \end{align} entonces la integral de (2.1) se convierte en \begin{align} I = 8 \sqrt{2 \pi} \, \sum_{k=0}^{\infty} \frac{1}{2k+1} \, \int_{0}^{\pi/8} \frac{ \cos(4k+2)\phi \, \sin(4\phi)}{\sqrt{\cos(4\phi)} \, (1 + \sqrt{\cos(4\phi)})} \, d\phi. \end{align} Ahora vamos a $t = \cos(4 \phi)$ obtener \begin{align}\tag{4} I &= 2 \, \sqrt{2\pi} \, \sum_{k=0}^{\infty} \frac{1}{2k+1} \, \int_{0}^{1} \frac{\cos\left(\left(k + \frac{1}{2}\right) \, \cos^{-1}(t)\right)}{\sqrt{t} \, (1 + \sqrt{t})} \, dt \\ &= 2 \, \sqrt{2\pi} \, \sum_{k=0}^{\infty} \frac{1}{2k+1} \, \int_{0}^{1} \frac{T_{k+\frac{1}{2}}(t)}{\sqrt{t} \, (1 + \sqrt{t})} \, dt \end{align} donde $T_{n}(x)$ es el polinomio de Chebyshev de la primera clase. Haciendo la sustitución de $t = x^{2}$ conduce a \begin{align}\tag{5} I = 4 \, \sqrt{2\pi} \, \sum_{k=0}^{\infty} \frac{1}{2k+1} \, \int_{0}^{1} T_{k+\frac{1}{2}}(x^{2}) \, \frac{dx}{1 + x} \end{align}

Vamos \begin{align}\tag{6} J_{k} = \int_{0}^{1} T_{k+\frac{1}{2}}(x^{2}) \, \frac{dx}{1+x} \end{align} y el uso de $T_{n+1}(x) = 2\, x \, T_{n}(x) - T_{n-1}(x)$ obtener \begin{align} J_{k+1} &= 2 \, \int_{0}^{1} T_{k+1/2}(x^2) \, \frac{x^{2} \, dx}{1+x} - J_{k-1} \\ &= 2 \, \int_{0}^{1} \left[ (x+1) - 2 + \frac{1}{1+x} \right] \, T_{k+1/2}(x^2) \, dx - J_{k-1} \\ &= 2 \, \int_{0}^{1} x \, T_{k+1/2}(x^2) \, dx - 2 \, \int_{0}^{1} T_{k+1/2}(x^2) \, dx + 2 \, J_{k} - J_{k-1}. \tag{7} \end{align} Puede ser rápidamente determinó que \begin{align} \int_{0}^{1} x \, T_{k+\frac{1}{2}}(x^{2}) \, dx = \frac{1}{2((2k+1)^{2} - 4)} \, \left[ \sqrt{2} \, (2k+1) \, \left( \cos\left(\frac{k \pi}{2}\right) + \sin\left(\frac{k \pi}{2}\right) \right) - 4 \right] = \frac{P_{k}}{2((2k+1)^{2} - 4)} \end{align} y vamos a \begin{align} \sigma_{k} = \int_{0}^{1} T_{k+\frac{1}{2}}(x^2) \, dx \end{align} (7) en la forma \begin{align}\tag{8} J_{k+1} - 2 \, J_{k} + J_{k-1} = \frac{P_{k}}{(2k+1)^{2} - 4} + \sigma_{k}. \end{align} Por el mismo patrón de la relación de recurrencia para $\sigma_{k}$ es \begin{align}\tag{9} \sigma_{k+1} + \sigma_{k-1} = \frac{P_{k}}{(2k+1)^{2} - 4}. \end{align} El primer par de valores de $J_{k}$ $\sigma_{k}$ \begin{align}\tag{10} J_{0} &= \left(1 - \frac{1}{\sqrt{2}}\right) \, \left( 1 + \sinh^{-1}(1) \right) \\ J_{1} &= \frac{\sqrt{2}}{3} \, \left( -8 + 7 \sqrt{2} + 3 (2 \sqrt{2} - 3) \, \sinh^{-1}(1) \right) - J_{0} \\ &= \frac{\sqrt{2}}{3} \, (-8 + 7 \sqrt{2}) + \frac{3 \sqrt{2} - 5}{\sqrt{2}} \, \sinh^{-1}(1) \\ \sigma_{0} &= \frac{1}{4} \, \left( 2 + \sqrt{2} \, \sinh^{-1}(1) \right) \\ \sigma_{1} &= \frac{1}{8} \, \left( 2 - 3 \sqrt{2} \, \sinh^{-1}(1) \right) \end{align} La condensación de los resultados de las ecuaciones (5-9) conduce a \begin{align}\tag{11} I = 4 \sqrt{2 \pi} \, \sum_{k=0}^{\infty} \frac{J_{k}}{2k+1} \end{align} donde \begin{align}\tag{12} & J_{k+1} - 2 \, J_{k} + J_{k-1} = \frac{P_{k}}{(2k+1)^{2} - 4} + \sigma_{k} \\ & \sigma_{k+1} + \sigma_{k-1} = \frac{P_{k}}{(2k+1)^{2} - 4} \\ & P_{k} = \sqrt{2} \, (2k+1) \, \left(\cos\left(\frac{k \, \pi}{2}\right) + \sin\left(\frac{k \, \pi}{2}\right) \right) - 4 \end{align} y el primer par de valores se obtienen a partir de (10). La forma general de la integral se puede expresar como \begin{align} \int_0^1 \frac{\operatorname{arctanh}\left(\sqrt{1-\frac{u}{2}}\right)\sqrt{\frac{2 \pi \sqrt{1-u}}{u-2}+\pi } }{u\sqrt{1-u}} \, du = A \, \sinh^{-1}(1) + B \end{align} donde $A$ $B$ puede ser determinado a partir de la anterior recogida conjunto de relaciones de recurrencia.

---

Se puede observar que \begin{align} J_{k+2} - 2 \, J_{k+1} + 2 \, J_{k} - 2 \, J_{k-1} + J_{k-2} = \frac{P_{k+1}}{(2k+3)^{2} - 4} + \frac{P_{k}}{(2k+1)^{2} - 4} + \frac{P_{k-1}}{(2k-1)^{2} - 4}. \end{align} lo que hace que la serie (11) un poco más fácil para calcular el término por término.

Answer 2

Continuando a partir de Leucippus respuesta, a través de $\text{arctanh}(z)=\frac{1}{2}\log\frac{1+z}{1-z}$, sólo tenemos que calcular:

$$ I_1 = \int_{0}^{1}\frac{dt}{(1+t)\sqrt{1+t^2}}=\frac{1}{\sqrt{2}}\text{arcsinh}(1)=\frac{1}{\sqrt{2}}\log(1+\sqrt{2}),$$ $$ I_2 = \int_{0}^{1}\frac{\log(\sqrt{2}+\sqrt{1+t^2})}{(1+t)\sqrt{1+t^2}}\,dt,\qquad I_3 = \int_{0}^{1}\frac{\log(\sqrt{2}-\sqrt{1+t^2})}{(1+t)\sqrt{1+t^2}}\,dt$$ y ya $$ \int\frac{dt}{(1+t)\sqrt{1+t^2}} = \frac{1}{\sqrt{2}}\,\log\left(1-t+\sqrt{2}\sqrt{1+t^2}\right) $$ integración por partes se ve como una buena manera de encontrar a $I_2$ $I_3$ en términos de dilogarithms.

Tengo la fuerte sensación de que el catalán Armónico de la identidad está involucrado, o algún valor especial de la Rogers L-función.

---

Si sustituimos $t=\tan\theta$ en Leucippus' $(1)$ obtenemos: $$ I = 2\sqrt{\pi}\int_{0}^{\pi/4}\text{arctanh}\left(\frac{1}{\sqrt{2}\cos\theta}\right)\frac{d\theta}{\sin\theta+\cos\theta}$$ tan sólo tenemos que calcular: $$ J_k = \int_{0}^{\pi/4}\frac{d\theta}{\cos^{2k+1}(\theta)(\sin\theta+\cos\theta)}=\int_{0}^{1}(1+t^2)^{k+1}\frac{dt}{1+t}$$ luego explotar la serie de Taylor de $\text{arctanh}$.