Ejemplo 7.
La funcin e 1/z tiene en z = 0 una
singularidad esencial, ya que no esta acotada en ningn
entorno del origen ni tampoco tiende al infinito cuando z
0. Por ejemplo, la sucesin zn = 1/n 0
Cmo calcular Res (f; 0)? Podemos hacerlo utilizando la serie
de Laurent de f que se obtiene fcilmente del desarrollo de
Taylor de la funcin entera
Convergente absolutamente para todo w complejo.
Sustituyendo w = 1/z, se obtiene una serie en z convergente
en toda z 6= 0:
Despus del evidente cambio de ndice k = n. Hemos
demostrado en clase que el residuo es igual al coeficiente
a1, el que va unido a la potencia z 1 ; en este caso
Res (f; 0) = a1 = 1
Esto se puede comprobar directamente, integrando la serie
termin por trmino, es decir, intercambiando la suma y la
integral sobre la circunferencia unidad T, por ejemplo:
Recordando que la integral sobre T de cualquier potencia z k
es igual a cero, salvo cuando k = 1
Frmula integral de Cauchy
Cmo integrar a lo largo de un contorno una funcin con una
singularidad aislada dentro del contorno? En el caso de que
esta sea evitable, todava podemos usar el Teorema integral
de Cauchy, como muestra el siguiente ejemplo.
Ejemplo 8. Sea
} la circunferencia
unidad, con la orientacin positiva. La funcin f(z) = sen z/z
tiene una singularidad aislada en el origen, es decir, dentro de
T y es holomorfa en todos los dems puntos del plano. No
obstante, esta singularidad es evitable, puesto que
Por tanto, f se puede extender para que sea holomorfa en
todo el plano (entera) y, por consiguiente,
Cuando dentro del contorno se encuentra un polo simple del
integrando, necesitaremos el siguiente importante resultado.
Frmula integral de Cauchy. Sea un conjunto abierto y un
contorno contenido dentro de , junto con su dominio interior.
Sea f una funcin de la forma
Donde g es analtica en y a es un punto en el interior del
contorno . Entonces
Ejemplo 9. Sea la circunferencia unidad con la orientacin
positiva. Entonces
Ya que
es una funcin analtica en = C, salvo
en el punto a = 0, interior a ; es decir, en este caso g(z) =
cos z, una funcin analtica en todo el plano. Considerando la
misma circunferencia, pero con la orientacin negativa
(denotada ), obtendramos
Cambiando el signo en el resultado final.