Voy a describir cómo este problema puede ser atacado mediante el análisis complejo. Este es un sorprendentemente involucrados problema que me confundió mucho más fácil en la que los senos y cosenos se han revertido. Pero esta vez es un ejercicio útil en la creación de un contorno integral y aplicando el teorema de los residuos. Es muy satisfactorio ver que el resultado correcto aparece después de todo el análisis y la manipulación.
Primero reconocer que
∫π0dxxcosx1+sin2x=[∂∂α∫π0dxsinαx1+sin2x]α=1
La idea es de alguna manera estirar la integración de intervalo sobre el círculo unidad. Si nosotros en lugar de considerar la integral
∫2π0dxsinαx1+sin2x=∫π0dxsinαx1+sin2x+∫2ππdxsinαx1+sin2x=(1+cosπα)∫π0dxsinαx1+sin2x+sinπα∫π0dxcosαx1+sin2x
Tenga en cuenta que la segunda integral en el lado derecho puede ser extendido a más de [−π,π] debido a la uniformidad del integrando.
Ahora tenemos la deseada integral se expresa en términos de las dos integrales que ahora puede ser expresada en términos de una integral sobre el círculo unidad en el plano complejo.
Consideramos que la siguiente integral:
i4∮C±dzz1+αz4−6z2+1
donde C± es un ojo de la cerradura de contorno sobre el positivo/negativo del eje real, que atraviesa la unidad de círculo hacia la izquierda, semicircular con rodeos acerca de los respectivos polos acerca de ±(√2−1). (Para una configuración similar, ver esta respuesta.)
Por ejemplo, C− es el siguiente contorno
![crazy keyhole]()
que es una modificación del ojo de la cerradura de contorno sobre el eje real negativo dentro del círculo unidad. La modificación es un par de semicircular golpes de radio ϵ sobre el punto de z=−1+√2. Estas protuberancias son necesarios, ya que el integrando tiene un polo dentro del círculo unidad en la rama elegida corte de el integrando (es decir, el eje real negativo).
Voy a dejar la parametrización de la integral de contorno para el lector, por el momento. Utilizando el teorema de los residuos, podemos determinar que
∫π0dxsinαx1+sin2x=π2√2(√2−1)αsinπα−8sin2πα2PV∫10dxx1+αx4−6x2+1
Tomando la derivada y la configuración de α=1 a ambos lados, nos encontramos con que
∫π0dxxcosx1+sin2x=−12(1−1√2)π2−8PV∫10dxx2logxx4−6x2+1
Ahora,
8x2x4−6x2+1=(1+1√2)(1x−(√2+1)−1x+(√2+1))−(1−1√2)(1x−(√2−1)−1x+(√2−1))
Las integrales individual puede ser expresada en términos de polylogs:
∫10dxlogxx−(√2+1)=Li2(√2−1)
∫10dxlogxx+(√2+1)=Li2(−(√2−1))
PV∫10dxlogxx−(√2−1)=π23−12log2(1+√2)−Li2(√2−1)
∫10dxlogxx+(√2−1)=Li2(−(√2+1))
Entonces
8PV∫10dxx2logxx4−6x2+1=(1+1√2)[Li2(√2−1)−Li2(−(√2−1))]−(1−1√2)[π23−12log2(1+√2)−Li2(√2−1)−Li2(−(√2+1))]
Aplicamos las siguientes identidades para z<0 0<z<1 respectivamente:
Li2(z)+Li2(1z)=−π26−12log2(−z)
Li2(1−z1+z)−Li2(−1−z1+z)=Li2(−z)−Li2(z)+π24+logzlog(1+z1−z)
En la identidad de la primera, vamos a z=−(√2−1); en la segunda identidad, vamos a z=√2−1. Para el último caso, es fortuito que z=(1−z)/(1+z). Tenemos
Li2(−(√2−1))+Li2(−(√2+1))=−π26−12log2(√2+1)
Li2(√2−1)−Li2(−(√2−1))=π28−12log2(√2+1)
Ahora podemos empezar a poner todo esto:
8PV∫10dxx2logxx4−6x2+1=(1+1√2)[π28−12log2(√2+1)]−(1−1√2)[9π224+12log2(√2+1)]
Con un poco más de la aritmética, podemos concluir que
∫π0dxxcosx1+sin2x=log2(√2+1)−π24
ANEXO
Voy a dar detalles en cuanto a la evaluación de la integral de contorno por el teorema de los residuos. De nuevo, considere por encima de la integral de contorno:
i4∮C−dzz1+αz4−6z2+1
Como se puede ver en la figura, este contorno tiene 8 segmentos, las integrales sobre que voy a escribir ahora en detalle. Deje z0=√2−1.
\int_{-\pi}^{\pi} d\phi \frac{e^{i \alpha \phi}}{1+\sin^2{\phi}} + i 4 e^{i \pi \alpha} \int_1^{z_0+\epsilon} dx \frac{x^{1+\alpha}}{x^4-6 x^2+1} \\ -4 \epsilon \int_{\pi}^0 d\phi \, e^{i \phi} \frac{(e^{i \pi} z_0 + \epsilon e^{i \phi})^{1+\alpha}}{ (-z_0+\epsilon e^{i \phi})^4– 6 (-z_0+\epsilon e^{i \phi})^2 + 1} + i 4 e^{i \pi \alpha} \int_{z_0-\epsilon}^{\epsilon} dx \frac{x^{1+\alpha}}{x^4-6 x^2+1} \\ - 4 \epsilon \int_{\pi}^{-\pi} d\phi \, e^{i \phi} \frac{\epsilon^{1+\alpha} e^{i (1+\alpha) \phi}}{\epsilon^4 e^{i 4 \phi} – 6 \epsilon^2 e^{i 2 \phi}+1} + i 4 e^{-i \pi \alpha} \int_{\epsilon}^{z_0-\epsilon} dx \frac{x^{1+\alpha}}{x^4-6 x^2+1} \\ -4 \epsilon \int_0^{-\pi} d\phi \, e^{i \phi} \frac{(e^{-i \pi} z_0 + \epsilon e^{i \phi})^{1+\alpha}}{ (-z_0+\epsilon e^{i \phi})^4– 6 (-z_0+\epsilon e^{i \phi})^2 + 1} + i 4 e^{-i \pi \alpha} \int_{z_0+\epsilon}^{1} dx \frac{x^{1+\alpha}}{x^4-6 x^2+1}
lo que es igual, en el límite de \epsilon \to 0,
\int_{-\pi}^{\pi} d\phi \frac{e^{i \alpha \phi}}{1+\sin^2{\phi}} + i 4 e^{i \pi \alpha} PV \int_1^0 dx \frac{x^{1+\alpha}}{x^4-6 x^2+1} \\ + i 4 e^{-i \pi \alpha} PV \int_0^1 dx \frac{x^{1+\alpha}}{x^4-6 x^2+1} - \frac{\pi z_0^{\alpha}}{2 \sqrt{2}} \left (e^{i \pi \alpha} + e^{-i \pi \alpha} \right )
El contorno de la integral es igual a i 2 \pi veces el residuo en la pole z=\sqrt{2}-1 o 2 \pi z_0^{\alpha}/(2 \sqrt{2}) e^{i \pi \alpha}. Por lo tanto, hemos
\int_{-\pi}^{\pi} d\phi \frac{\cos{\alpha \phi}}{1+\sin^2{\phi}} = \frac{\pi}{\sqrt{2}} z_0^{\alpha} (1+\cos{\pi \alpha}) – 8 \sin{\pi \alpha} \, PV \int_0^1 dx \frac{x^{1+\alpha}}{x^4-6 x^2+1}
Usando el contorno de C_+, podemos encontrar el valor de la otra integral:
\int_0^{2 \pi} d\phi \frac{\sin{\alpha \phi}}{1+\sin^2{\phi}} = \frac{\pi}{\sqrt{2}} z_0^{\alpha} \sin{\pi \alpha} (1+\cos{\pi \alpha}) – 8 \sin^2{\pi \alpha} \, PV \int_0^1 dx \frac{x^{1+\alpha}}{x^4-6 x^2+1}
El resultado de la siguiente manera.