Series y residuos · Definición

Teorema de los residuos

análisis complejoresiduos

Antes de empezar necesitas conocer

Convierte una integral de contorno en una suma finita de residuos: el cálculo se reduce a encontrar los coeficientes de \(1/(z-z_k)\).

Definición

Si \(f\) es holomorfa sobre un contorno cerrado simple \(\gamma\) y dentro de él salvo en singularidades aisladas \(z_k\), su integral sobre \(\gamma\) es \(2\pi i\) por la suma de sus residuos en ellas.

\[\oint_{\gamma} f(z)\,dz=2\pi i\sum_{k}\operatorname{Res}(f,z_k)\]

Al deformar el contorno hacia las singularidades interiores (teorema de Cauchy–Goursat), la integral sobre \(\gamma\) se descompone en pequeñas circunferencias alrededor de cada \(z_k\). En cada una, la serie de Laurent se integra término a término y solo sobrevive \(a_{-1}\), que es el residuo; de ahí el factor \(2\pi i\).

Dos condiciones son esenciales: \(\gamma\) debe tener orientación positiva (antihoraria) y solo cuentan las singularidades dentro de \(\gamma\); las de afuera no aportan. Si el contorno se recorre al revés, la integral cambia de signo.

Para calcular residuos conviene usar el atajo adecuado: en un polo simple, \(\operatorname{Res}(f,z_0)=\lim_{z\to z_0}(z-z_0)f(z)\); en un polo de orden \(m\), \(\frac{1}{(m-1)!}\lim_{z\to z_0}\frac{d^{m-1}}{dz^{m-1}}\big[(z-z_0)^m f(z)\big]\). Para singularidades esenciales se lee el coeficiente \(a_{-1}\) en la serie, como en \(e^{1/z}\). Un residuo cero no significa ausencia de singularidad, como en \(1/z^2\).

El teorema generaliza la fórmula integral de Cauchy (el caso de un polo simple) y es la herramienta de fondo para evaluar integrales reales impropias.

Para pensar

¿Por qué \(\oint_{|z|=1} z^{-2}\,dz=0\) aunque \(0\) sea una singularidad interior?

Porque el residuo de \(z^{-2}\) en \(0\) es el coeficiente de \(z^{-1}\), que es \(0\). Equivalentemente, \(-1/z\) es una primitiva en \(\mathbb{C}\setminus\{0\}\) y la integral cerrada se anula.

Si \(f\) es holomorfa dentro y sobre \(\gamma\), ¿qué dice el teorema?

No hay residuos que sumar, así que la integral es \(0\): se recupera el teorema de Cauchy–Goursat.

Ejercicios 10

Referencias

  • Elias M. Stein, Rami Shakarchi, Complex Analysis, 1st edition, Princeton University Press, 2003. Cap. 3, §1
  • James Ward Brown, Ruel V. Churchill, Complex Variables and Applications, 9th edition, McGraw-Hill, 2014. Cap. 6, §76
  • Lars V. Ahlfors, Complex Analysis, 3rd edition, McGraw-Hill, 1979. Cap. 4, §5.2