Queremos calcular la integral (set $x\rightarrow 2\pi-x$ )
$$ I(a,\beta)=\int_0^{2\pi}\frac{1}{(1+a \cos(x))^{\beta}}=2\int_0^{\pi}\frac{1}{(1+a \cos(x))^{\beta}}=2\int_0^{\pi}\frac{1}{(1+a-2a \sin^2(x/2))^{\beta}} $$
donde $|a|<1$ y $\beta\in \mathbb{R}_+$ . Comencemos con una subsunción $y=\sin(x/2)$ . El resultado es
$$ I(a,\beta)=\frac{4}{(1+a)^\beta}\int_{0}^{1}\frac{1}{\sqrt{1-y^2}}\frac{1}{(1-\frac{2a}{1+a} y^2)^{\beta}} $$
ajuste $y=t^{1/2}$ obtenemos
$$ I(a,b)=\frac{2}{(1+a)^\beta}\int_{0}^{1}\frac{t^{-1/2}}{\sqrt{1-t}}\frac{1}{(1-\frac{2a}{1+a} t)^{\beta}} $$ ...
que es igual a Fórmula de Euler (utilizamos $B(1/2,1)=\Gamma(1/2)^2/\Gamma(1)=\pi$ en el segundo paso)
$$ I(a,\beta)=\frac{2}{(1+a)^\beta}B(1/2,1){_2F_1}\left(\beta,\frac{1}{2};1;\frac{2a}{1+a}\right)=\\\frac{2\pi}{(1+a)^\beta}{_2F_1}\left(\beta,\frac{1}{2};1;\frac{2a}{1+a}\right) \quad $$
Esto reproduce el resultado Mathematicas de los comentarios por medio de La transformación de Pfaff Set: $\frac{2a}{1+a}\rightarrow\frac{2a}{a-1}$ y utilizar ese $1-\frac{1}{2}=\frac{1}{2}$ :-)
--
edit: Para dejar más claro el último paso:
Debido a Pfaff se sostiene que
$$ _2F_1(a,b;c,z)=\frac{1}{(1-z)^b}{_2F_1}\left(b,c-a;c,\frac{z}{z-1}\right) $$
ahora fijamos $z=\frac{2a}{a-1}$ , $a=\frac{1}{2}$ , $b=\beta$ y $c=1$ . Encontramos
$$ \frac{1}{(1-a)^{\beta}}{_2F_1}\left(\frac{1}{2},\beta;1,\frac{2a}{a-1}\right)=\frac{1}{(1+a)^{\beta}}{_2F_1}\left(\beta,\frac{1}{2};1,\frac{2a}{a+1}\right) $$
lo que también significa que
$$ I(a,\beta)=\frac{2\pi}{(1-a)^{\beta}}{_2F_1}\left(\frac{1}{2},\beta;1,\frac{2a}{a-1}\right) $$
que es exactamente la afirmación de Mathematicas
3 votos
¿Tienes acceso al teorema del residuo?
0 votos
@Nitin Gracias. Es un buen punto de vista. Lo estoy leyendo en Wiki y se que tardaré en entenderlo y usarlo. ¿Puedes ayudarme a aplicarlo a este problema?
0 votos
Es $b^2$ ¿entero? es $a>-1$ ?
0 votos
@cansado $b^2$ no es entero, es un número real, y $a>0$ .
0 votos
Malas noticias lo mejor que puedes esperar (en general) es una función hipergeométrica increíblemente fea.
0 votos
Btw. el $c$ delante de tu segunda integral es completamente inútil. además yo renombraría $b^2=\beta \in \mathbb{R}_+$
0 votos
Conjetura: $$I(a,b)/c= \pi \left(\frac{1}{1-a}\right)^{-b^2} { _2F_1}\left(\frac12,b^2,1,\frac{2a}{a-1}\right)$$ siempre que la integral converja ( $|a|<1$ )
1 votos
@tired, creo que eso se podría demostrar usando la representación integral de la función hipergeométrica. Pero hay que convertir el intervalo $(0,\pi/2)$ y aplicar la sustitución $t =\cos (x)$
0 votos
@Su20200 usé mathematica
0 votos
@tired Entonces, ¿estás seguro de la respuesta?
0 votos
¿Puede explicar qué es el pequeño "2" que hay detrás de la función F_1?
0 votos
@Su20200, este es el símbolo utilizado para la función hipergeométrica de Gauss. La forma generalizada es la siguiente ${}_pF_q$$
0 votos
@cansado $\sin(2\pi/2)=\sin(0/2)=0$ . La cartografía $t = \sin(x/2)$ no es uno a uno.
0 votos
@tired, la función no es simétrica alrededor de $\pi$ . Tendrás que resolver dos integrales por separado.
0 votos
@tired, Nah demasiado perezoso para hacerlo. Tal vez esto implicará alguna transformación hipergeométrica para combinar las dos integrales.
0 votos
Para valores naturales de $b^2,$ evaluar $I(y)=\displaystyle\int_0^{2\pi}\frac{dx}{y+\cos x},~$ y luego diferenciar ambos lados con respecto a y , $~b^2-1$ veces.