← Blog

Integrales trigonométricas por la circunferencia unidad

Las integrales trigonométricas sobre una vuelta completa, ∫02πR(cos⁡θ,sin⁡θ) dθ\int_0^{2\pi} R(\cos\theta,\sin\theta)\,d\theta con RR racional, tienen un contorno natural: la circunferencia unidad. Con el cambio z=eiθz=e^{i\theta}, cuando θ\theta recorre [0,2π][0,2\pi] el punto zz da exactamente una vuelta a ∣z∣=1|z|=1 en sentido positivo.

Las sustituciones. De z=eiθz=e^{i\theta} salen cos⁡θ=z+z−12\cos\theta=\dfrac{z+z^{-1}}{2}, sin⁡θ=z−z−12i\sin\theta=\dfrac{z-z^{-1}}{2i} y, derivando, dz=iz dθdz=iz\,d\theta, es decir dθ=dzizd\theta=\dfrac{dz}{iz}. Sustituyendo, la integral real se transforma en ∮∣z∣=1G(z) dz\oint_{|z|=1} G(z)\,dz con GG una función racional de zz.

Por qué funciona / De dónde sale. El cambio es una biyección del intervalo con la circunferencia, así que la igualdad es exacta —no una aproximación—. Aplicado el teorema de los residuos, ∮∣z∣=1G dz=2πi∑Res⁡\oint_{|z|=1} G\,dz = 2\pi i\sum\operatorname{Res} sobre los polos de GG que caen dentro del círculo (∣z∣<1|z|<1); los de fuera no cuentan. Así, una integral con senos y cosenos se resuelve contando unos pocos residuos.

En la calculadora de integrales de MathOperator, las trigonométricas sobre [0,2π][0,2\pi] se resuelven por este contorno, mostrando las sustituciones y los polos de dentro. Pueden probarse 1/(2+cos(x)) from 0 to 2*pi, cos(2*x)/(5-4*cos(x)) from 0 to 2*pi o 1/(1+sin(x)^2) from 0 to 2*pi.

Otros artículos