CÁLCULO III - CÁLCULO AVANZADO Segundo Cuatrimestre de 2021
Clase 15-10-2021 - Serie de Lurent (continuación)
Comenzamos recordando las últimas definiciones de la clase pasada.
Definiciones
Diremos que z0 es una singularidad aislada de f si existe > 0 tal que f es analı́tica en la
bola perforada B0 (z0 ) = {z : 0 < |z − z0 | < } y no lo es en z0 .
Diremos que z0 no es una singularidad aislada de f si no existe tal bola que la aisle.
Observemos que si una función f tiene finitas singularidades ellas deben ser aisladas.
Veamos unos ejemplos antes de clasificarlas.
1
1. Consideremos la función fraccionaria f (z) = . Esta función sólo tiene singularidad
z
adaislada (es única) en z0 = 0.
1
2. Consideremos la función fraccionaria f (z) = . Esta función tiene dos
(z − 1)(z + i) √
singulaidades, z0 = √1 y z2 = −i. Como la distancia entre ambas es d(1, −i) = 2
podemos tomar = 2/2 tal que las bolas perforadas B0 (1) y B0 (−i) son conjuntos
de analiticidad de f . Por lo tanto son aisladas.
1
3. Consideremos la función f (z) = . Claramente z0 = 0 es una singularidad de
e1/z−1
1
f , pero además buscamos singularidades donde e1/z − 1 = 0, es decir = 0 + 2kπi,
z
(la exponencial es periódica). Como esto ocurre en infinitos puntos, tenemos que
−i
zk = con k ∈ Z, son también singularidades de f . Observemos que esta sucesión
2kπ
de singularidades converge a cero cuando k → ∞, que es una de las singularidades
de la función, por esto decimos que z0 = 0 no es aislada, hay una sucesión de
singularidades acercándose a ella indefinidamente.
Ahora que entendimos la diferencia entre singularidades aislada y no aislada podemos
clasificar a las ailadas según el desarrollo de Laurent que provean.
Clasificación de las singularidades aisladas
Las singularidades aisladas se clasifican en tres tipos: evitable, polo y esencial.
Supongamos que la serie de Laurent de f en una bola perforada Br0 (z0 ) tiene parte
principal
X∞
f−1 (z) = a−n (z − z0 )−n ,
n=1
definida la clase pasada. Entonces,
Evitable z0 es una singularidad evitable de f si y sólo si f−1 es nula,
1
Polo z0 es una singularidad polo de f si y sólo si f−1 tiene finitos términos, y su orden
será m si am 6= 0 es el último término,
Esencial z0 es una singularidad esencial de f si y sólo si f−1 es una serie con infinitos términos.
Veamos los siguientes ejemplos.
1 1
1. Sea f (z) = + + 2. Esta función en z0 = 0 tiene su única singularidad. Y como
z2 z
1 1
f−1 (z) = +
z2 z
tiene finitos términos, z0 = 0 es polo de f . Además es de orden m = 2.
ez − 1
2. Sea f (z) = . Esta función en z0 = 0 tiene su única singularidad. Su desarrollo
z
de Laurent es
∞ ∞
ez − 1 1 X zn z n−1
X
= −1 = si z 6= 0.
z z n! n!
n=0 n=1
Luego f−1 (z) = 0 y esto indica que la singularidad es evitable.
2
3. Sea f (z) = e1/z − z 2 − 1. En z0 = 0 tiene su única singularidad. Su desarrollo de
Laurent
∞ ∞
2
X 1 X 1
e1/z − z 2 − 1 = 2n
− z 2
− 1 = 2n
− z2.
z n! z n!
n=0 n=1
1
Luego f−1 (z) = ∞
P
n=1 2n es una serie infinita. Finalmente clasificamos a z0 = 0
z n!
como singularidad esencial.
Contamos con el siguiente resultado (sin demostración) que facilita en algunos casos
las clasificaciones.
Proposición
Sea z0 es una singularidad aislada de f , entonces,
1. si limz→z0 f (z) = L ∈ C, z0 es singularidad evitable,
2. si limz→z0 |f (z)| = +∞ y limz→z0 |(z − z0 )m f (z)| = L ∈ R>0 , z0 es polo de orden m,
3. si limz→z0 f (z) no existe, z0 es singularidad esencial.
Con esta proposición son fáciles de ver las siguientes clasificaciones.
sin(z)
1. Para f (z) = , la singularidad aislada z0 = 0 es evitable, puesto que
z
sin(z)
lim = 1.
z→0 z
2
sin(z)
2. Para f (z) = , la singularidad aislada z0 = 0 es polo de orden 1, puesto que
z2
sin(z) sin(z)
lim =∞ y lim z = 1.
z→0 z2 z→0 z2
3. Para f (z) = e1/z , la singularidad aislada z0 = 0 es esencial, dado que
lim e1/z
z→0
no existe (no existe en R).
z
4. Para f (z) = , la singularidad aislada z0 = 0 es evitable, puesto que
z3 +z
z
lim = 1.
z→0 z 3 +z
Las singularidades z1 = i y z0 = −i son polo de orden uno, ya que
z z 1
lim =∞ y lim (z − i) = ,
z→i z 3 +z z→i z3 +z 2i
análogo sale el análisis para −i.
En este ejemplo se puede notar el alivio del cálculo. Por definición hubiera sido
necesario determinar tres desarrollos de Laurent de la f , uno en cada bola perforada
de centros: 0, i, −i.
(e1/z − 1)z 2
5. Para f (z) = . Aquı́ las singularidades son z0 = 0 y z1 = 1. Como
1−z
(e1/z − 1)z 2 (e1/z − 1)z 2
lim = ∞ y lim (z − 1) = −e + 1,
z→1 1−z z→1 1−z
entonces z1 = 1 es polo de orden 1. Ahora, como
(e1/z − 1)z 2 1
lim = lim lim (e1/z − 1)z 2 (∗)
z→0 1−z z→0 1−z z→0
no es fácil de analizar, podemos proceder por partes. El factor (e1/z − 1)z 2 tiene
un desarrollo de Laurent simple (se deja para el alumno como ejercicio ver que su
parte principal es una serie infinita) que nos indica que la singularidad z0 = 0 es
esencial, por lo tanto por la Proposición, sabemos que este lı́mite no existe, y como
1
limz→0 = 1 6= 0, (∗) no puede existir, confirmando que la singularidad es
1−z
esecial.
En este ejemplo hemos usado una estrategia mixta, la definición y la Proposición.