Aquí es un método que utiliza el contorno de integración en caso de que alguien se
interesados. Se ha hecho un esfuerzo para uso de lápiz-y-papel tipo
manipulaciones sólo. Estos son simples, sin embargo, la demanda de un cierto cuidado con
el álgebra. Supongamos que buscamos para comprobar que
∫∞04x2(x4+2x2+2)2dx=π4√5√2−7
o, alternativamente,
∫∞0x2(x4+2x2+2)2dx=π16√5√2−7.
Utilizamos un contorno semicircular en la mitad superior del plano con dos
recta componentes Γ0 Γ1 en lo positivo y
real negativo del eje y con radio R (Γ2.)
El denominador aquí es
((x2+1)2+1)2
de modo que los polos se doble y se encuentra en
ρ0,1,2,3=±√−1±i.
Podemos convertir esto en forma polar con el fin de determinar que los polos se encuentran en
la mitad superior del plano, consiguiendo
±√√2exp(πi±πi/4)=4√2exp(πi/2±πi/8+πi/2±πi/2)=4√2exp(πi±πi/8±πi/2).
Afortunadamente, podemos ver por la inspección, que sólo la
dos polos
ρ0=4√2exp(πi−πi/8−πi/2)=4√2exp(3πi/8)yρ1=4√2exp(πi+πi/8−πi/2)=4√2exp(5πi/8)
están dentro del contorno (argumentos se 3π/85π/8, el otro
dos están en −3π/8−5π/8.)
El residuo obtenemos
12πi∫|z−ρ0|=ϵz2(z4+2z2+2)2dz.
Con el fin de conseguir una pole que es susceptible de fácil álgebra presentamos
w=zexp(−3πi/8)/4√2 y
z=wexp(3πi/8)4√2
que los mapas de ρ01, por lo que obtenemos
exp(3πi/4+3πi/8)√24√2×12πi∫|wexp(3πi/8)4√2−1|=ϵw2(−2iw4+22(−1+i)+2)2dw=−exp(9πi/8)23/4412πi∫|w−1|=γw2(w−1)2×(w2−i)2(w+1)2ps.
El residuo es dada por
−exp(9πi/8)23/44limw→1(w2(w2−i)2(w+1)2)′=−exp(9πi/8)23/44limw→1(2(w2−i)2(w+1)2−w2(w2−i)4(w+1)4(2(w2−i)2w(w+1)2+(w2−i)22(w+1))).
Esto funciona a
−exp(9πi/8)23/44\veces18(2−i)=iexp(−3πi/8)23/44\veces18√5exp(−iβ)
donde 2−i=√5exp(−iβ).
Continuando con el segundo polo nos presentamos
w=zexp(−5πi/8)/4√2 y
z=wexp(5πi/8)4√2
y obtener
exp(5πi/4+5πi/8)√24√2×12πi∫|wexp(5πi/8)4√2−1|=ϵw2(2iw4+22(−1−i)+2)2dw=−exp(15πi/8)23/4412πi∫|w−1|=γw2(w−1)2×(w2+i)2(w+1)2ps.
Este es el mismo que en el anterior polo a excepción de la señal en el
w2−i plazo ha sido volteada. Re-uso de los derivados, por lo tanto los rendimientos de los
−exp(15πi/8)23/44\veces18(2+i)=iexp(3πi/8)23/44\veces18√5exp(iβ).
La adición de los dos residuos de este modo, obtener
23/432×√5×2icos(β+3π/8).
Volviendo a la computación, en la parte de la curva de nivel que se
en el eje real negativo que es Γ1 nos trivialmente obtener
∫0−Rx2(x4+2x2+2)2dx
que los rendimientos de los con z=−x
−∫0Rz2(z4+2z2+2)2dz=∫Γ0z2(z4+2z2+2)2dz.
Por último tenemos el ML en el límite de los semicircular componente
limR→∞|∫Γ2z2(z4+2z2+2)2dz|≤limR→∞2πR/2×R2(R4−2R2+2)2=0.
De ello se sigue que
∫∞0x2(x4+2x2+2)2dx=12×2πi×23/432\veces√5×2icos(β+3π/8)=−π1623/4√5cos(β+3π/8).
Para manipular esta para que coincida con la forma en que la introducción del uso
suma de ángulos y la mitad de ángulo fórmulas como en
√5cos(β+3π/8)=√5cosβcos(3π/8)−√5sinβsin(3π/8)=2cos(3π/8)−sin(3π/8).
Como estamos en la integración de una función que nunca es negativo en la
integración intervalo vemos que el signo de este último término debe ser
negativo. Observar que
cos(3π/8)=√1+cos(3π/4)2=√1−√2/22
y
sin(3π/8)=√1−cos(3π/4)2=√1+√2/22.
El cuadrado obtenemos
41−√2/22+1+√2/22−4√1−2/44=52−34√2−√2=52−74√2.
Así tenemos para el resultado final
−π1623/4\veces−√52−74√2=π16×√5223/2−7422=π16×√5√2−7.
Este es el reclamo.