Series y residuos · Definición
Teorema de los residuos
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.
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
- Calcula \(\oint_{|z|=2}\frac{dz}{z-1}\), con la circunferencia recorrida en sentido positivo.
- Calcula \(\oint_{|z|=1}\frac{e^{z}}{z^{2}}\,dz\) en sentido positivo.
- Calcula \(\oint_{|z|=1}\frac{dz}{z^{2}+4}\) en sentido positivo.
- Calcula \(\oint_{|z|=2}\frac{z}{z^{2}+1}\,dz\) en sentido positivo.
- Calcula \(\oint_{|z|=2}\frac{dz}{z-1}\) recorrida en sentido horario (negativo).
- Calcula \(\oint_{|z|=3}\frac{dz}{z^{2}-1}\) en sentido positivo.
- Calcula \(\oint_{|z|=1}\frac{\cos z}{z^{3}}\,dz\) en sentido positivo.
- Calcula \(\oint_{|z-i|=1}\frac{dz}{z^{2}+1}\) en sentido positivo.
- Calcula \(\oint_{|z|=2}\frac{e^{z}}{z(z-1)}\,dz\) en sentido positivo.
- Calcula \(\oint_{|z|=1}e^{1/z}\,dz\) en sentido positivo (la singularidad en \(0\) no es un polo).
Después de esto
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