¿Cómo se muestra que: $\int_{0}^{1}(\sin^{-1}x \cos^{-1}x)^n\mathrm dx=f(n)?$

Question

Considerar

$$\int_{0}^{1}(\sin^{-1}x \cos^{-1}x)^n\mathrm dx=f(n)\tag1$$ $n\ge0$

Usando el integrador de Wolfram, nos da una forma cerrada para $f(n)$, logramos identificar un patrón como se muestra a continuación.

estableciendo $n=1,2,3,4$ y $5$

Nos dimos cuenta de que la forma cerrada tiene un patrón que involucra coeficientes binomiales.

$$\int_{0}^{1}(\sin^{-1}x \cos^{-1}x)\mathrm dx=2!-1!\cdot{\pi\over 2}$$

$$\int_{0}^{1}(\sin^{-1}x \cos^{-1}x)^2\mathrm dx=4!-3!\cdot{\pi\over 2}-1!\cdot{3\pi^2\over 4}$$

$$\int_{0}^{1}(\sin^{-1}x \cos^{-1}x)^3\mathrm dx=6!-5!\cdot{3\pi\over 2}-4!\cdot{3\pi^2\over 4}+3!\cdot{\pi^3\over 8}$$

$$\int_{0}^{1}(\sin^{-1}x \cos^{-1}x)^4\mathrm dx=8!-7!\cdot{4\pi\over 2}-6!\cdot{6\pi^2\over 4}+5!\cdot{4\pi^3\over 8}+4!\cdot{\pi^4\over 16}$$

$$\int_{0}^{1}(\sin^{-1}x \cos^{-1}x)^5\mathrm dx=10!-9!\cdot{5\pi\over 2}-8!\cdot{10\pi^2\over 4}+7!\cdot{10\pi^3\over 8}+6!\cdot{5\pi^4\over 16}- 5!\cdot{\pi^5\over 32}$$

$$f(6)=12!-11!\cdot{6\pi\over 2}-10!\cdot{15\pi^2\over 4}+9!\cdot{20\pi^3\over 8}+8!\cdot{15\pi^4\over 16}- 7!\cdot{\pi^5\over 32}-6!\cdot{\pi^6\over 64}$$

Generalizamos

$$f(n)=\sum_{k=0}^{n}(-1)^{\lceil {k/2}\rceil}(2n-k)!{n\choose k}\cdot{\pi^k\over2^k}\tag2$$

¿Cómo se demuestra (2)?

Un intento:

$I$ se convierte en

$$\int_{0}^{1}\left[{\pi\over 2}\cos^{-1}x-(\cos^{-1}x)^2\right]^n\mathrm dx\tag3$$

probablemente usando el teorema binomial para expandir e integrar término por término, supongo

Estoy atascado en este punto, no estoy seguro de qué hacer

Answer 1

Pista

Primero nota que en (3)

$$\int_{0}^{1}\left[{\pi\over 2}\arccos x-(\arccos x)^2\right]^n\mathrm dx = \sum_{k=0}^n {n \choose k }\left(\frac{\pi}{2} \right)^{k} (-1)^{n-k} \int^1_0 (\arccos x)^{2n-k}\,dx $$ Resuelve la fórmula general

$$I = \int_{0}^{1}( \arccos x)^{n}dx$$

Sea $x = \cos(t)$ entonces $dx =-\sin(t) \,dt$

$$I = \int_{0}^{\frac{\pi}{2}}t^n \sin(t) \,dt $$

Luego puedes encontrar fácilmente la integral utilizando la integración por partes $n$ veces.