Buscando la forma cerrada de $\int_{0}^{\pi}{\sin^{2k-1}(x)\over 1+\cos^2(x)}\mathrm dx=2^{k-2}\pi+F(k)$

Question

Necesito ayuda en la búsqueda de la forma cerrada para $(1)$. Parcialmente me las arreglé para encontrar una parte de ella.

$$\int_{0}^{\pi}{\sin^{2k-1}(x)\over 1+\cos^2(x)}\mathrm dx=2^{k-2}\pi+F(k)\tag1$$

$k\ge1$

Sólo alcancé a trabajar para

k=1: ${\pi\over 2}$

k=2: $\pi- 2$

k=3: $2\pi-{16\over 3}$

k=4: $4\pi-{176\over 15}$

Answer 1

$$I(k)=\int_{0}^{\pi}\frac{\sin(x)^{2k-1}}{1+\cos^2(x)}\,dx = 2\int_{0}^{\pi/2}\frac{\sin(x)^{2k-1}}{1+\cos^2(x)}\,dx=2\int_{0}^{\pi/2}\frac{\cos(x)^{2k-1}}{1+\sin(x)^2}\,dx$$ conduce a: $$ I(k) = 2 \int_{0}^{1}\frac{(1-t^2)^{k-1}}{1+t^2}\,dt = 2\int_{0}^{1}\frac{(2-(1+t^2))^{k-1}}{1+t^2}\,dt $$ donde: $$ (2-(1+t^2))^{k-1} = \sum_{j=0}^{k-1}\binom{k-1}{j}(1+t^2)^j (-1)^j 2^{k-1-j} $$ proporciona una forma de poner $I(k+1)-2\,I(k)$ en una simple forma cerrada. También tenemos $$ \sum_{k\geq 1}I(k)\,z^{2k}=\int_{0}^{\pi}\frac{z^2\sin(x)}{1-z^2\sin(x)}\,dx =\frac{2z}{\sqrt{1-z^2}}\,\arctan\left(\frac{z}{\sqrt{1-z^2}}\right)$$ como sugiere Sangchul Lee, por lo que el problema se reduce a calcular la serie de Taylor de $\frac{1}{\sqrt{1-z^2}}$ o $\arcsin(z)$ en una vecindad del origen, sencilla a través de la extendida teorema del binomio.
De una manera o de otra , se obtiene: $$ \delta_k\stackrel{\text{def}}{=}I(k+1)-2\,I(k) = -\int_{0}^{\pi/2}\sin(x)^{2k-1}\,dx = -\frac{4^k}{k\binom{2k}{k}}$$ y $$\begin{eqnarray*} \delta_k + 2 \delta_{k-1} + 4\delta_{k-2}+\ldots +2^{k-1} \delta_{1} &=& I(k+1)-2^k I(1)\\&=&-\sum_{j=1}^{k}\frac{4^j 2^{k-j}}{j\binom{2j}{j}}\end{eqnarray*}$$ así: $$\boxed{ \int_{0}^{\pi}\frac{\sin(x)^{2k-1}}{1+\cos(x)^2}\,dx = \color{red}{\pi 2^{k-2}-\frac{1}{2}\sum_{j=1}^{k-1}\frac{2^{j+k}}{j\binom{2j}{j}}}. }$$ Una consecuencia interesante es que la última prueba de identidad $$ \sum_{j\geq 1}\frac{2^j}{j\binom{2j}{j}}=\frac{\pi}{2} $$ desde $\lim_{k\to +\infty}I(k)=0$, obviamente. Por el método de Laplace, $$ \boxed{\int_{0}^{\pi}\frac{\sin(x)^{2k-1}}{1+\cos(x)^2}\,dx \approx \color{red}{\frac{2\sqrt{\pi}}{\sqrt{4k+2}}}} $$ para grandes valores de $k$.