Loading [MathJax]/jax/element/mml/optable/GeneralPunctuation.js

22 votos

Integrando

Estoy trabajando en π0xcosx1+sin2xdx

Primero: utilizar integración por parte entonces haz

xarctan(sinx)|π0π0arctan(sinx)dx

entonces tengo π0arctan(sinx)dx porque es xarctan(sinx)|π0 0

Sin embargo, no sé cómo integrar π0arctan(sinx)dx

¿Alguien me puede dar una pista?

Gracias

17voto

Ron Gordon Puntos 96158

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:

i4C±dzz1+αz46z2+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 ±(21). (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=π22(21)αsinπα8sin2πα2PV10dxx1+αx46x2+1

Tomando la derivada y la configuración de α=1 a ambos lados, nos encontramos con que

π0dxxcosx1+sin2x=12(112)π28PV10dxx2logxx46x2+1

Ahora,

8x2x46x2+1=(1+12)(1x(2+1)1x+(2+1))(112)(1x(21)1x+(21))

Las integrales individual puede ser expresada en términos de polylogs:

10dxlogxx(2+1)=Li2(21) 10dxlogxx+(2+1)=Li2((21))

PV10dxlogxx(21)=π2312log2(1+2)Li2(21)

10dxlogxx+(21)=Li2((2+1))

Entonces

8PV10dxx2logxx46x2+1=(1+12)[Li2(21)Li2((21))](112)[π2312log2(1+2)Li2(21)Li2((2+1))]

Aplicamos las siguientes identidades para z<0 0<z<1 respectivamente:

Li2(z)+Li2(1z)=π2612log2(z)

Li2(1z1+z)Li2(1z1+z)=Li2(z)Li2(z)+π24+logzlog(1+z1z)

En la identidad de la primera, vamos a z=(21); en la segunda identidad, vamos a z=21. Para el último caso, es fortuito que z=(1z)/(1+z). Tenemos

Li2((21))+Li2((2+1))=π2612log2(2+1)

Li2(21)Li2((21))=π2812log2(2+1)

Ahora podemos empezar a poner todo esto:

8PV10dxx2logxx46x2+1=(1+12)[π2812log2(2+1)](112)[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:

i4Cdzz1+αz46z2+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=21.

\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.

10voto

Concrete Donkey Puntos 155

Dividir la integral en \dfrac{\pi}{2}, obtenemos

\displaystyle \begin{align} \int_0^\pi \frac{x\cos x}{1+\sin^2 x}\,dx &= \int_0^{\pi/2} \frac{x\cos x}{1+\sin^2 x}\,dx + \int_{\pi/2}^{\pi} \frac{x\cos x}{1+\sin^2 x}\,dx \\ & = \int_0^{\pi/2} \frac{x\cos x}{1+\sin^2 x}\,dx - \int_0^{\pi/2} \frac{(x+\pi/2)\sin x}{1+\cos^2 x}\,dx \\ &= 2\int_0^{\pi/2} \frac{x\cos x}{1+\sin^2 x}\,dx - \pi\int_0^{\pi/2} \frac{\cos x}{1+\sin^2 x}\,dx \\ &= 2\int_0^{\pi/2} \frac{x\cos x}{1+\sin^2 x}\,dx - \frac{\pi^2}{4}\end{align}

En este punto podemos escribir la integral anterior:

\displaystyle \int_0^{\pi/2} \frac{x\cos x}{1+\sin^2 x}\,dx = \frac{\pi^2}{8} - \int_0^{\pi/2} \tan^{-1} \sin x \,dx

El posterior puede ser evaluado en muchas maneras. Véase, por ejemplo Aquí.

Vea integral representaciones de Legendre \chi-función.

También sos440 blog la entrada tiene una muy buena solución para el problema.

9voto

alexjo Puntos 5970

Deje que sea

\begin{align} I=\int_0^\pi \frac{x\cos x}{1+\sin^2 x}\operatorname{d}x&=-\int_0^\pi \arctan(\sin x)\operatorname{d}x \\ &=-2\int_0^{\pi/2} \arctan(\sin x)\operatorname{d}x\\ &=-2\int_0^1\frac{\arctan t}{\sqrt{1-t^2}}\operatorname{d}t \end {Alinee el} sea $$ \displaystyle I(a) = \int_{0}^{1} \frac{\arctan at}{\sqrt{1-t^{2}}} \ dt.

Diferenciando en la integral,

\begin{align} I'(a) &= \int_{0}^{1} \frac{t}{(1+a^{2}t^{2})\sqrt{1-t^{2}}} \ dt \\ &= \frac{1}{a \sqrt{1+a^{2}}} \text{arctanh} \left( \frac{a}{\sqrt{1+a^{2}}} \right)\\ &= \frac{1}{a \sqrt{1+a^{2}}} \text{arcsinh}(a) . \end {Alinee el}

Integración hacia atrás,

\begin{align} I(1)-I(0) = I(1) &= \int_{0}^{1} \frac{\text{arcsinh}(a)}{a \sqrt{1+a^{2}}} \ da \\ &= - \text{arcsinh}(a) \text{arcsinh}(\frac{1}{a}) \Big|^{1}_{0} + \int_{0}^{1} \frac{\text{arcsinh}(\frac{1}{a})}{\sqrt{1+a^{2}}} \ da \\ &= - \text{arcsinh}^{2}(1) + \int_{0}^{1} \frac{\text{arcsinh}(\frac{1}{a})}{\sqrt{1+a^{2}}} \ da \\ &= - \ln^{2}(1+\sqrt{2}) + \int_{0}^{1} \frac{\text{arcsinh}(\frac{1}{a})}{\sqrt{1+a^{2}}} \ da . \end{align}

Ahora que \displaystyle w = \frac{1}{a}.

Entonces

I(1) = - \ln^{2}(1+\sqrt{2}) + \int_{1}^{\infty} \frac{\text{arcsinh}(w)}{w \sqrt{1+w^{2}}}

= - \ln^{2}(1+\sqrt{2}) + I(\infty) - I(1) .

Por lo tanto,

\begin{align} I(1) &= - \frac{\ln^{2}(1+\sqrt{2})}{2} + \frac{I(\infty)}{2} \\ &= - \frac{\ln^{2}(1+\sqrt{2})}{2} + \frac{\pi}{4} \int_{0}^{1} \frac{1}{\sqrt{1-t^{2}}} \ dt \\ &= - \frac{\ln^{2}(1+\sqrt{2})}{2} + \frac{\pi^{2}}{8} . \end{align}

Finalmente $$\color{blue}{\int_0^\pi \frac{x\cos x}{1+\sin^2 x}\operatorname{d}x=-2I(1)=\ln^{2}(1+\sqrt{2})-\frac{\pi^{2}}{4}.}

4voto

Renan Puntos 6004

Aquí es otro enfoque.

La idea, con el fin de evaluar \int_0^{\pi}\frac{x \cos{x}}{1+\sin^2{x}} {\rm d}x , es empezar con una serie de Fourier de expansión de \displaystyle \frac{1}{1+\sin^2{x}} .

Para 0\leq x \leq\pi, podemos obtener fácilmente

\begin{align} \frac{1}{1+\sin^2{x}} &= \Re \frac{1}{1-i\sin{x}}\\\\ &= \Re \frac{2e^{ix}}{2-(e^{ix}-1)^2}\\\\ &= \frac{\sqrt{2}}{2}+\frac{\sqrt{2}}{2}\sum_{n=2}^{\infty}\left(\sqrt{2}-1\right)^n(1+(-1)^n)\cos (nx) \tag2 \end{align} La serie en (2) normalmente es convergente en [0,\pi], entonces se nos permite integrar termwise: \int_0^{\pi}\frac{x \cos{x}}{1+\sin^2{x}} {\rm d}x =\frac{\sqrt{2}}{2}\sum_{n=2}^{\infty}(\sqrt{2}-1)^n(1+(-1)^n)\!\!\int_0^{\pi}\!\! x\cos{x}\cos (nx)x \:{\rm d}x. \tag3 La última integral es un clásico, escribimos 2\cos{x}\cos (nx)=\cos((n+1)x)+\cos((n-1)x), a continuación, integrar dos veces por partes para obtener -2\int_0^{\pi} x\cos{x}\cos (nx)x \:{\rm d}x=\frac{1}{(n+1)^2}+\frac{1}{(n-1)^2},\quad n=2,3,\ldots. \tag4 Es fácil ver que \sum_{n=2}^{\infty}(1+(-1)^n)\left(\frac{x^n}{(n+1)^2}+\frac{x^n}{(n-1)^2}\right)=\left(x+\frac1x\right)\left({\rm{Li}}_2(x)-{\rm{Li}}_2(-x)\right), \quad |x|<1, where {\rm{Li}}_2(\cdot) es la dilogarithm función. Ahora, poniendo a x:= \sqrt{2}-1 en la anterior identidad y el uso de la siguiente forma cerrada \rm{Li}_2{(\sqrt{2}-1)}-\rm{Li}_2{(-(\sqrt{2}-1))} = \frac{\pi^2}{8} - \frac12 \log^2{(\sqrt{2}+1)}, \tag5 como anteriormente explaned por Ron Gordon, da fácilmente

\int_0^{\pi}\frac{x \cos{x}}{1+\sin^2{x}} {\rm d}x =\log^2{(\sqrt{2}+1)}-\frac{\pi^2}{4}.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X