CAP

ITULO 8
Ceros y singularidades.
Series de Laurent.
8.1 INTRODUCCI

ON
Los polinomios son el ejemplo extremo de la importancia que puede llegar a tener
el conocimiento de los ceros de una funci on en la determinaci on y el manejo
de la misma. Sin llegar a tanto, para las funciones holomorfas el estudio de sus
ceros es tambi en un aspecto importante de su tratamiento, y en la primera secci on
de este captulo recogeremos informaci on ya conocida (para funciones analticas,
que como sabemos coinciden con las holomorfas), a nadiendo algunas propiedades
sencillas que no agotan el tema: especialmente para funciones enteras, quedan pen-
dientes resultados importantes, algunos de los cuales se tratar an el curso pr oximo.
Estamos constatando a lo largo de todo el curso que las funciones holomorfas
se comportan maravillosamente si las comparamos con las funciones a las que nos
hemos enfrentado en cursos anteriores. Podemos seguir sacando partido de nues-
tros m etodos actuales si permitimos que las funciones presenten alguna anomala
en algunos puntos? Qu e se mantiene y cu anto se pierde? Contestar a esta pregunta
es el prop osito del estudio de los puntos singulares aislados de las funciones holo-
morfas. Nos limitaremos primero a establecer una clasicaci on de los mismos en
tres tipos, viendo de qu e manera tan distinta afecta al comportamiento local de la
funci on la presencia de una singularidad aislada de cada uno de estos tipos.
Un ejemplo de funciones que tienen solamente singularidades aisladas en un
abierto son los cocientes de funciones holomorfas (supuesto que el denominador
no se anule en ninguna componente conexa). Este es un caso particular impor-
tante de funci on meromorfa, concepto que introducimos en la siguiente secci on,
examinando de momento unicamente sus propiedades algebraicas.
Estudio aparte merece el punto del innito. Para las funciones holomorfas que
tienen una singularidad aislada en , averiguaremos c omo su comportamiento en
este punto puede en algunos casos suministrar una informaci on adicional intere-
sante sobre la funci on.
Por ultimo, en la parte nal de este captulo, veremos un importante teorema
de Laurent que generaliza el desarrollo en serie de Taylor de una funci on holomorfa
en un disco, probando que si una funci on es holomorfa en una corona circular (en
112
Ceros y singularidades. Series de Laurent. 113
particular, en un disco privado de su centro), la funci on se puede representar como
suma de una serie de Laurent, que es una serie de potencias con exponentes enteros
cualesquiera y no s olo con exponentes enteros no negativos, como son las series de
Taylor. Comprobaremos que las series de Laurent permiten as mismo caracterizar
los diferentes tipos de singularidades aisladas, y concluiremos con unos ejercicios
que muestran c omo hallar desarrollos de Laurent de algunas funciones concretas,
un buen banco de pruebas para los recursos adquiridos hasta el momento.
Referencias b asicas:
Conway, J. B.: Functions of One Complex Variable. (2nd ed.) Springer, New
York (1978).
Duncan, J.: The elements of complex analysis. Wiley, London (1968).
Rudin, W.: An alisis real y complejo. (3a. ed.) McGraw-Hill/Interamericana,
Madrid (1987).
8.2 CEROS DE UNA FUNCI

ON HOLOMORFA
Un polinomio no puede tener innitos ceros sin ser id enticamente nulo. La situaci on
es algo menos dr astica cuando pasamos a funciones holomorfas: conocemos fun-
ciones no nulas, como el seno y el coseno, que tienen innitos ceros. Esto no
signica que no haya restricciones severas sobre los posibles ceros de una funci on
holomorfa no nula. Una vez que hemos probado la identidad entre las funciones
holomorfas y las funciones analticas, el principio de prolongaci on analtica nos
informa de que el conjunto de ceros de una funci on holomorfa no nula, si su do-
minio es conexo, no puede poseer puntos de acumulaci on dentro del dominio. Esto
no signica que no pueda haber puntos de acumulaci on de ceros: por ejemplo, la
funci on sen(/z) es holomorfa en C \ {0} y se anula en los puntos 1/k, k Z
(en este caso 0 es un punto de acumulaci on de ceros); lo que sucede es que, si el
conjunto de ceros tiene puntos de acumulaci on, estos deber an estar en la frontera
del dominio. Podemos sacar algunas consecuencias inmediatas de este hecho.
Proposici on 8.1. Sea una regi on de C y f H() no id enticamente nula.
Denotemos por Z
f
el conjunto de ceros de f , es decir, Z
f
= f
1
(0). Entonces
(1) Z
f
es un conjunto discreto.
(2) Para cualquier conjunto compacto K , Z
f
K es nito o vaco.
(3) Z
f
es un conjunto contable (nito o numerable).
Demostraci on.
(1) Que Z
f
es un conjunto discreto signica que para cada punto a de Z
f
se puede
encontrar un r > 0 tal que z / Z
f
si 0 < |z a| < r, o lo que es igual, que
ning un punto de Z
f
es punto de acumulaci on de Z
f
.
114 Ceros y singularidades. Series de Laurent.
(2) Si Z
f
K tuviese innitos puntos, por la compacidad de K tendra al menos
un punto de acumulaci on en K y por tanto Z
f
tendra al menos un punto
de acumulaci on en .
(3) puede ponerse como uni on numerable de compactos, =
n
K
n
para
alguna sucesi on (K
n
) de compactos. Entonces Z
f
=
n
(Z
f
K
n
) y cada
Z
f
K
n
es nito o vaco.
Denici on 8.2. Sea un abierto de C y f H(). Dado a , diremos que a
es un cero de orden k de f si k N es tal que
f (a) = f

(a) = . . . = f
(k1)
(a) = 0, f
(k)
(a) = 0.
N otese que para que exista tal k, es necesario y suciente que a sea un cero
de f y que f no se anule en la componente conexa de que contiene a a; dicho
de otra forma, que a sea un cero aislado de f .
Proposici on 8.3. Sea un abierto de C, a , k Ny f H(). Las siguientes
propiedades son equivalentes entre s:
(1) a es un cero de f de orden k.
(2) En un disco D(a; r) es
f (z) =

n=k
a
n
(z a)
n
, z D(a; r),
con a
k
= 0.
(3) Existe una funci on g H() tal que g(a) = 0 y
f (z) = (z a)
k
g(z)
para todo z .
Demostraci on.
(1) (2) Expresar los coecientes del desarrollo de Taylor de f en a mediante
las derivadas de f en a.
(2) (3) La funci on g denida en por
g(z) =

f (z)
(z a)
k
si z = a
a
k
si z = a
es claramente holomorfa en \ {a} y en a es analtica (luego holomorfa), puesto
que para todo z D(a; r) es
g(z) =

n=k
a
n
(z a)
n
,
y por tanto cumple las condiciones de (3).
(3) (1) Basta calcular las derivadas sucesivas de f y aplicar la denici on de
orden de un cero.
Ceros y singularidades. Series de Laurent. 115
8.3 SINGULARIDADES AISLADAS
En algunos textos (p. ej. Duncan, ob. cit., p. 63), dado un abierto y una funci on
f : C se dice que un punto a es un punto regular para f o que f tiene
en a un punto regular si existe un r > 0 tal que D(a; r) y f es derivable
en cada punto de D(a; r). Los puntos que no son regulares se denominan puntos
singulares. En esta secci on estudiaremos un tipo especial de puntos singulares, que
denominaremos singularidades aisladas.
Denici on 8.4. Sea a C. Decimos que una funci on f tiene una singularidad
aislada en a si f no es derivable en a pero existe un r > 0 tal que f es holomorfa
en
D

(a; r) = {z C : 0 < |z a| < r}.

Clasicaci onde las singularidades aisladas. Podemos distinguir entre las siguien-
tes situaciones:
(1) existe lim
za
f (z) C. Se dice entonces que f tiene en a una singularidad
evitable o que a es una singularidad evitable de f .
(2) existe lim
za
f (z) = . Se dice entonces que f tiene en a un polo o que a
es un polo de f .
(3) no existe lim
za
f (z) en C

. Se dice entonces que f tiene en a una singu-

laridad esencial o que a es una singularidad esencial de f .
Ejemplos.
(1) Hay muchas funciones holomorfas (no enteras) sin singularidades aisladas.
Ejemplosencillo: el logaritmoprincipal Log z, para el que sonpuntos regulares
todos los de C \ (, 0] y singulares todos los de (, 0].
(2) Todos los puntos en los que no est a denida la funci on f dada por
f (z) =
z
e
z
1
son singularidades aisladas. En z = 0 tiene una singularidad evitable. Los
puntos de la forma z = 2ki , k Z \ {0}, son polos de f .
(3) La funci on f dada por
f (z) = e
1/z
tiene una singularidad esencial en z = 0.
Observaci on. El conjunto S
f
de singularidades aisladas de una funci on f es
discreto y contable (includa la posibilidad de que sea vaco).
116 Ceros y singularidades. Series de Laurent.
Proposici on 8.5. Sea un abierto no vaco de C, a y f H( \ {a}).
Entonces
(1) Si a es una singularidad evitable de f , la funci on

f denida por

f (z) =

f (z) si z \ {a}
lim
za
f (z) si z = a
es holomorfa en .
Recprocamente, si f admite una extensi on holomorfa en , tiene en a una
singularidad evitable.
(2) Si para alg un r > 0 la funci on f se mantiene acotada en D

(a; r) =
{z C : 0 < |z a| < r}, entonces f tiene una singularidad evitable en f .
Demostraci on. (1)

f es holomorfa en \ {a} y continua en , luego holomorfa
en . El recproco es obvio.
(2) Ya se prob o que, en estas condiciones, f admite una extensi on holomorfa en
D(a; r).
La primera parte de la proposici on anterior justica el nombre de singularidad
evitable. N otese que si f tiene en a una singularidad evitable, o bien f no est a
denida en a o bien f no es continua en a.
Denici on 8.6. (Orden de un polo). Sea a un polo de una funci on f . Entonces la
funci on
1
f
tiene en a una singularidad evitable y lmite nulo, de manera que para
alg un > 0 la funci on
h(z) =

1/f (z) si 0 < |z a| <

0 si z = a
es holomorfa en D(a; ).
Si h tiene en a un cero de orden k, diremos que f tiene en a un polo de orden
k o que a es un un polo de orden k de f .
Los polos de orden 1 se llaman polos simples; los de orden mayor que 1, polos
m ultiples (dobles, triples, . . . )
Proposici on 8.7. Sea un abierto no vaco de C, a y f H( \ {a}). Las
siguientes propiedades son equivalentes:
(1) f tiene en a un polo de orden k;
(2) existe lim
za
(z a)
k
f (z) C \ {0}, y en consecuencia

lim
za
(z a)
n
f (z) = si 0 n < k,
lim
za
(z a)
n
f (z) = 0 si n > k;
Ceros y singularidades. Series de Laurent. 117
(3) existe una funci on g H() tal que g(a) = 0 y
f (z) =
g(z)
(z a)
k
para cada z \ {a};
(4) existen coecientes A
j
(1 j k), a
n
(n N {0}), unvocamente deter-
minados, con A
k
= 0, y un r > 0, tales que
f (z) =
A
k
(z a)
k
+ +
A
2
(z a)
2
+
A
1
z a
+

n=0
a
n
(z a)
n
siempre que 0 < |z a| < r.
(La funci on racional S( f ; a)(z) =
A
k
(z a)
k
+ +
A
2
(z a)
2
+
A
1
z a
se denomina
parte singular o parte principal de f en a.)
Demostraci on. (1) (2) Yendo a la denici on, h(z) = (z a)
k
g(z) para alguna
funci on g holomorfa en D(a; ) con g(a) = 0, y lim
za
(z a)
k
f (z) = 1/g(a).
(2) (1) Si h es como en la denici on, resulta h(z) = (z a)
k
g(z) para g dada
por
g(z) =

h(z)
(z a)
k
=
1
(z a)
k
f (z)
si 0 < |z a| <
1/

lim
za
(z a)
k
f (z)

si z = a,
que es holomorfa en D(a; ) y no nula en a.
(2) (3) La funci on dada por (z a)
k
f (z) tiene una singularidad evitable en a.
(3) (4) Para alg un r > 0 puede ponerse
g(z) =

n=0
c
n
(z a)
n
, |z a| < r,
luego
f (z) =
c
0
(z a)
k
+ +
c
k2
(z a)
2
+
c
k1
z a
+

n=0
c
k+n
(z a)
n
siempre que 0 < |z a| < r.
Puesto que g est a unvocamente determinada por f , hay unicidad para los
coecientes.
(4) (2) Evidente.
Observaci on. Seg un el resultado anterior, la funci on f S( f ; a) tiene en a una
singularidad evitable. Adem as, el orden de a como polo de f es el menor valor de
n tal que (z a)
n
f (z) tiene una singularidad evitable en a.
118 Ceros y singularidades. Series de Laurent.
NOTA. Cuando f es una funci on racional, s olo tiene en C un n umero nito de
singularidades que son polos. Separando repetidamente la parte singular en cada
uno de ellos, encontramos la descomposici on de f en fracciones simples (v. detalles
en Conway, ob. cit., pp. 105106.)
Finalmente, para singularidades esenciales, tenemos la siguiente caracteri-
zaci on en t erminos de los valores de la funci on:
Teorema 8.8. (Teorema de Casorati-Weierstrass). Sea un abierto no vaco de
C, a y f H(\ {a}). Las siguientes propiedades son equivalentes:
(1) a es una singularidad esencial de f .
(2) f (U) = C para todo entorno reducido U \ {a} de a.
(3) Para todo w C se puede encontrar (z
n
) en \ {a} tal que z
n
a y
f (z
n
) w.
Demostraci on.
(1) (2) En caso contrario existiranr > 0, > 0 y w Ctales que | f (z)w| >
para todo z D

(a; r). Entonces, la funci on g dada por

g(z) =
1
f (z) w
, z D

(a; r),
es holomofa y acotada en D

(a; r), con lo cual puede extenderse a una funci on g

holomorfa en D(a; r).
Si fuese g(a) = 0, se deduce que f estara acotada en un entorno de a, y en
consecuencia a sera una singularidad evitable de f .
Pero si g tiene en a un cero de orden k 1, podramos escribir
g(z) = (z a)
k
g
1
(z), z D(a; r),
para una funci on g
1
holomorfa en D(a; r) con g
1
(a) = 0; por tanto
lim
za

(z a)
k
f (z)

= lim
za

(z a)
k
w +
1
g
1
(z)

=
1
g
1
(a)
C \ {0},
con lo cual a sera un polo de orden k de f .
(2) (3) Evidente.
(3) (1) Es claro que en esta hip otesis no existe lim
za
f (z), ni nito ni innito.
Se sabe mucho m as: si a es una singularidad esencial de f , en cualquier
entorno reducido de a la funci on f alcanza todos los valores complejos, excepto
uno a lo m as. Este es el llamado teorema grande de Picard, ver Rudin, ob. cit., pp.
376377. (M as f acil de probar es el teorema peque no de Picard, que establece que
cada funci on entera no constante alcanza cualquier valor complejo, excepto uno a
lo m as. La funci on exponencial ilustra que este es el mejor resultado esperable.)
Las demostraciones de estos teoremas requieren herramientas m as poderosas que
las que disponemos por ahora.
Ceros y singularidades. Series de Laurent. 119
8.4 FUNCIONES MEROMORFAS
Las funciones cuyas unicas singularidades son polos aparecen con frecuencia su-
ciente como para merecer un nombre especial.
Denici on 8.9. Diremos que una funci on f es meromorfa en un abierto si en
cada punto de o bien f es holomorfa o bien tiene un polo; dicho de otra forma,
si existe un conjunto P
f
tal que
(1) P
f
no tiene puntos de acumulaci on en ;
(2) f H(\ P
f
);
(3) f tiene un polo en cada punto de P
f
.
Como P
f
es un subconjunto discreto de , para cada compacto K
el conjunto K P
f
es nito, lo que implica que P
f
es nito o numerable. Est a
incluida la posibilidad P
f
= , con lo cual las funciones holomorfas son ejemplos
de funciones meromorfas. Tambi en lo son las funciones racionales.
El conjunto de las funciones meromorfas en lo denotaremos por M().
N otese que una funci ones meromorfa enunabiertosi loes encada componente
conexa del abierto. Supuesto conexo, son ejemplos de funciones meromorfas en
los cocientes de funciones analticas (con denominador no nulo, por descontado):
de hecho, esta es la unica forma de obtener funciones meromorfas en abiertos
conexos, si bien la demostraci on de esta armaci on requiere conocer primero la
posibilidad de construir funciones holomorfas con ceros prejados y orden de los
ceros igualmente prejado (teorema de factorizaci on de Weierstrass, que se probar a
el pr oximo curso).
Por el momento, nos limitaremos a comprobar el siguiente resultado.
Proposici on 8.10. Dado un abierto no vaco en C, el conjunto M() de las
funciones meromorfas en es un algebra sobre C respecto de las operaciones
usuales con funciones. Si adem as es conexo, M() es un cuerpo conmutativo.
Demostraci on. Es una vericaci on rutinaria, basada en las factorizaciones asocia-
das a polos y ceros que caracterizan el orden de los mismos.
Observaciones.
(1) El comentario hecho anteriormente indica que si es una regi on, M() es
el cuerpo de cocientes del dominio H().
(2) Cuando no es conexo, M() no es un cuerpo: por ejemplo, si = A B
con A, B abiertos no vacos disjuntos, la funci on f que vale 1 en A y 0 en
B est a en M() [de hecho, en H()] y no tiene inverso en M() [es un
divisor de cero en H()].
120 Ceros y singularidades. Series de Laurent.
8.5 SINGULARIDADES EN EL INFINITO
Denici on 8.11. Diremos que es una singularidad aislada de una funci on f si
existe R > 0 tal que f H(A
R
), donde A
R
= {z C : |z| > R}.
Podemos establecer una clasicaci on similar a la considerada para singulari-
dades nitas.
Denici on 8.12. Supongamos que es una singularidad aislada de una funci on
f . Entonces:
(1) Se dice que f tiene en una singularidad evitable o que es una singu-
laridad evitable de f si existe
lim
z
f (z) C.
(2) Se dice que f tiene en un polo o que es un polo de f si
lim
z
f (z) = .
(3) Se dice que f tiene en una singularidad esencial o que es una singu-
laridad esencial de f si no existe lim
z
f (z) en C

.
Ejemplos.
(1) f (z) = 1/z tiene una singularidad evitable en .
(2) todo polinomio no constante tiene un polo en .
(3) f (z) = e
z
tiene una singularidad esencial en .
(4) f (z) = 1/ sen z no tiene una singularidad aislada en .
8.13. Estudio de singularidades en el innito. Si para alg un R > 0 es f H(A
R
),
donde como antes A
R
= {z C : |z| > R}, la funci on f

denida por
f

(z) = f

1
z

es holomorfa en D

(0; 1/R), con lo que 0 es una singularidad aislada para f

. Esto
permite reducir el estudio de las singularidades en al estudio de singularidades
aisladas en 0. Por ejemplo, es inmediato que f tiene una singularidad evitable en
(o un polo, o una singularidad esencial) si y s olo si f

tiene en 0 una singularidad
evitable (o un polo, o una singularidad esencial).
Sobre esta base podemos estudiar con mayor detalle las singularidades en .
Denici on 8.14. Diremos que f tiene en un polo de orden k o que es un
polo de orden k de f si 0 es un polo de orden k de la funci on f

denida por
f

(z) = f (1/z).
Ceros y singularidades. Series de Laurent. 121
Como consecuencia de las deniciones y de los resultados previos sobre polos,
podemos enunciar:
Proposici on 8.15. Supongamos que es una singularidad aislada para una
funci on f . Las siguientes propiedades son equivalentes:
(1) f tiene en un polo de orden k;
(2) existe lim
z
f (z)
z
k
C \ {0};
(3) existen un R > 0 y una funci on g holomorfa en A
R
= {z C : |z| > R} con
lim
z
g(z) C \ {0} y que verica
f (z) = z
k
g(z)
para cada z A
R
.
(4) existen coecientes A
j
(1 j k), a
n
(n N {0}), con A
k
= 0,
unvocamente determinados, y un R > 0, tales que
f (z) = A
k
z
k
+ + A
1
z +

n=0
a
n
z
n
siempre que |z| > R.
(El polinomio A
k
z
k
+ + A
1
z se denomina parte singular o parte principal de
f en .)
Teorema 8.16. (de Casorati-Weierstrass para singularidad innita). Supongamos
que es una singularidad aislada para una funci on f . Las siguientes propiedades
son equivalentes:
(1) es una singularidad esencial de f .
(2) f (U) = C para todo entorno reducido U de .
(3) Para todo w C se puede encontrar (z
n
) en el dominio de f tal que z
n

y f (z
n
) w.
Es conveniente extender el concepto de funci on meromorfa a funciones deni-
das enabiertos del planocomplejoampliadoC

que contenganal puntodel innito.

Denici on 8.17. Sea un abierto de Ctal que C\D(0; R) para alg un R > 0,
es decir, tal que

= {} sea un abierto en C

. Diremos que f : C
es meromorfa en

, en smbolos f M(

), si f es meromorfa en y tiene
en una singularidad evitable o un polo.
Proposici on 8.18.
(1) Si f es una funci on entera y meromorfa en C

, entonces f es un polinomio.
(2) f M(C

) si y s olo si f es una funci on racional.

122 Ceros y singularidades. Series de Laurent.
Demostraci on.
(1) Si es una singularidad evitable, f sera constante por el teorema de Liouville.
Supongamos, pues, que es un polo de orden k. Entonces
lim
z
f (z)
z
k
C \ {0}
y por tanto existen R, M > 0 tales que
| f (z)| M |z|
k
, |z| > R;
en consecuencia (generalizaci on del teorema de Liouville) f es un polinomio de
grado k.
(2) Observemos primero que si f M(C

), s olo puede tener un n umero nito

de polos en C para que sea una singularidad aislada.
Sean, pues, a
1
, . . . , a
n
los polos nitos de f y k
1
, . . . , k
n
sus respectivos
ordenes y sea un polo de orden k
0
para f . Se sigue que la funci on
(z a
1
)
k
1
(z a
n
)
k
n
f (z)
se puede extender a una funci on g holomorfa en C (es decir, entera) que tendr a en
un polo de orden k = k
0
+k
1
+ +k
n
, con lo cual g es un polinomio de grado
k seg un acabamos de probar, luego
f (z) =
g(z)
(z a
1
)
k
1
(z a
n
)
k
n
es una funci on racional.
Corolario 8.19. Si f es una funci on entera, o es constante o f (C) = C.
Demostraci on. Si f es entera, es evidentemente una singularidad aislada para
f .
Si es evitable, de modo que existe lim
z
f (z) C, f es constante por el
teorema de Liouville.
Si es un polo, f es un polinomio (resultado anterior) y f (C) = C.
Si es una singularidad esencial, f (C) = C por el teorema de Casorati-
Weierstrass.
NOTA. De hecho, como ya hemos comentado, si f es una funci on entera no constante
es cierto que su imagen f (C) es todo C salvo un punto a lo m as.
Ceros y singularidades. Series de Laurent. 123
8.6 SERIES DE LAURENT
Fijemos la notaci on D(a; r, R) para la corona {z : r < |z a| < R}, donde
0 r < R +.
Lema 8.20. Sea (a
n
) una sucesi on de n umeros complejos y r = limsup
n

|a
n
|.
Entonces
(1) la serie

n=1
a
n
(z a)
n
es absolutamente convergente en cada punto de la
corona D(a; r, +) y converge uniformemente en los subconjuntos com-
pactos de D(a; r, +);
(2) en el disco D(a; r) la serie no converge (en a ni siquiera est a denida);
(3) la funci on f denida en D(a; r, +) por
f (z) =

n=1
a
n
(z a)
n
es holomorfa.
Demostraci on. Sabemos que la serie

n=1
a
n
w
n
converge absolutamente en cada
w D(0; 1/r), no converge si |w| > 1/r, y que dene en D(0; 1/r) una funci on
holomorfa g(w). Tomando w = 1/(z a), se deducen las tesis del enunciado salvo
la convergencia uniforme sobre compactos de D(a; r, +). Pero si K es un sub-
conjunto compacto de D(a; r, +), existir a un R > r tal que K D(a; R, +)
(por qu e?), de manera que para todo z K ser a

n=1

a
n
(z a)
n

n=1
|a
n
| R
n
< +,
luego la serie converge uniformemente en K por el criterio M de Weierstrass.
NOTA. Si r = +, la serie no converge en ning un punto. Si r = 0, converge en
C \ {a}.
Denici on 8.21. (Series doblemente innitas). Dada una sucesi on (z
n
)
nZ
de
n umeros complejos, si las series

n=0
z
n
y

n=1
z
n
convergen, diremos que la serie

n=
z
n
converge, en cuyo caso su suma es el n umero complejo

n=
z
n
=

n=0
z
n
+

n=1
z
n
.
124 Ceros y singularidades. Series de Laurent.
Obs ervese que si

n=
z
n
converge, la sucesi on de sumas sim etricas

n=N
z
n

es convergente con lmite igual a la suma de la serie, pero que este lmite puede
existir sin que la serie sea convergente; por ejemplo, si z
0
= 0 y z
n
= 1/n para
n = 0.
Diremos que la serie

n=
z
n
converge absolutamente si las dos series

n=0
z
n
y

n=1
z
n
convergen absolutamente.
De manera an aloga, dada ( f
n
)
nZ
, donde las f
n
son funciones complejas
denidas en un conjunto S C, diremos que la serie

n=
f
n
converge (puntual-
mente, uniformemente, uniformemente sobre compactos de S) si y s olo si las dos
series

n=0
f
n
y

n=1
f
n
convergen (puntualmente, uniformemente, uniformemente
sobre compactos de S)
NOTA. Aunque hemos dividido la serie en dos trozos separando los n 0 y los
n < 0, es evidente que la separaci on puede llevarse a cabo en cualquier otro
ndice, pues se trata de a nadir o quitar un n umero nito de sumandos al trozo
correspondiente.
Denici on 8.22. (Series de Laurent). Llamaremos serie de Laurent centrada en
a a toda serie de la forma

n=
a
n
(z a)
n
.
Proposici on 8.23. Dada una serie de Laurent centrada en a

n=
a
n
(z a)
n
,
sean
R
1
= limsup
n

|a
n
|, R
2
=

limsup
n

|a
n
|

1
.
Entonces:
(1) la serie converge absolutamente en cada punto de la corona D(a; R
1
, R
2
), a
la que denominaremos corona de convergencia, y converge uniformemente
en los subconjuntos compactos de D(a; R
1
, R
2
);
(2) la serie no converge en ning un punto z / D(a; R
1
, R
2
) exterior a la corona;
Ceros y singularidades. Series de Laurent. 125
(3) R
1
y R
2
son los unicos valores en [0, +] para los que se cumplen las
propiedades (1) y (2);
(4) la funci on f denida en D(a; R
1
, R
2
) como suma de la serie
f (z) =

n=
a
n
(z a)
n
es holomorfa en D(a; R
1
, R
2
), y su derivada est a dada en cada punto por
f

(z) =

n=
n a
n
(z a)
n1
.
NOTA. El enunciado anterior tiene pleno sentido si R
1
< R
2
. En caso contrario,
D(a; R
1
, R
2
) es vaco. Si R
1
> R
2
, no hay convergencia para la serie en ning un
punto. Si R
1
= R
2
, cu al es la situaci on?
Teorema 8.24. (Teorema de Laurent). Sea f una funci on holomorfa en una corona
D(a; R
1
, R
2
) [a C, 0 R
1
< R
2
+]. Entonces:
(1) f puede representarse en D(a; R
1
, R
2
) como suma de una serie de Laurent
f (z) =

n=
a
n
(z a)
n
que converge absolutamente en cada z D(a; R
1
, R
2
) y converge uniforme-
mente en cada compacto contenido en D(a; R
1
, R
2
) o, equivalentemente, en
cada corona D(a; r
1
, r
2
) para la que R
1
< r
1
< r
2
< R
2
.
(2) Los coecientes de la serie est an dados por la f ormula
a
n
=
1
2i

f (z)
(z a)
n+1
dz,
donde es cualquier circunferencia (orientada positivamente) de centro a y
radio r, con R
1
< r < R
2
.
(3) La serie est a unvocamente determinada por f .
Nos referiremos a la serie como al desarollo en serie de Laurent de f . La tesis (1)
arma la existencia de desarrollo en la corona, y la (3) su unicidad, mientras que
(2) proporciona (te oricamente, al menos) una manera de calcular los coecientes
del desarrollo.
126 Ceros y singularidades. Series de Laurent.
Demostraci on. (Cf. Conway, ob. cit., pp. 107108.)
Unicidad. Si existe la representaci on de (1), D(a; R
1
, R
2
) estar a contenida
en la corona de convergencia de la serie, y esta converger a uniformemente en cada
compacto contenido en D(a; R
1
, R
2
). Si = D(a; r) con R
1
< r < R
2
, sop
es uno de tales compactos, luego podremos integrar la serie t ermino a t ermino para
obtener

f (z) dz =

n=
a
n

(z a)
n
dz = 2i a
1
,
y, en general, para cada n Z, de modo similar,

f (z)
(z a)
n+1
dz =

k=
a
k

(z a)
kn1
dz = 2i a
n
,
luego los coecientes del desarrollo est an unvocamente determinados por la suma
de la serie.
Existencia. Comencemos por se nalar que si R
1
< r
1
< r
2
< R
2
y
1
,
2
son,
respectivamente, las circunferencias de centro a y radios r
1
, r
2
(orientadas positiva-
mente), entonces
1
y
2
son hom ologas respecto de D(a; R
1
, R
2
) (comprobarlo).
Por el teorema homol ogico de Cauchy se tiene, pues, que para toda funci on g
holomorfa en D(a; R
1
, R
2
) es

1
g(w) dw =

2
g(w) dw.
En particular, tomando
g(w) =
1
2i
f (w)
(w a)
n+1
, n Z,
se deduce que
1
2i

1
f (w)
(w a)
n+1
dw =
1
2i

2
f (w)
(w a)
n+1
dw
da el mismo valor para cualquier circunferencia de centro a interior a la corona, es
un complejo independiente de cu al sea el radio que se considere.
Denamos, pues, para cada n Z,
a
n
=
1
2i

f (w)
(w a)
n+1
dw,
Ceros y singularidades. Series de Laurent. 127
donde es cualquier circunferencia (orientada positivamente) de centro a y radio
estrictamente mayor que R
1
y estrictamente menor que R
2
. Comprobaremos a
continuaci on que para todo z D(a; R
1
, R
2
) la serie

n=
a
n
(z a)
n
(i) es convergente y (ii) tiene por suma f (z). Esto basta para demostrar el teorema
(POR QU

E?)
Sea, pues, z D(a; R
1
, R
2
). Elegimos r, s de manera que
R
1
< r < |z a| < s < R
2
y denotamos con
r
,
s
las circunferencias de centro a y radios r, s orientadas
positivamente. Poniendo M
s
= max{| f (w)| : |w a| = s}, como para todo w tal
que |w a| = s (> |z a|) y para todo entero n 0 es

f (w) (z a)
n
(w a)
n+1

M
s
|z a|
n
s
n+1
=
M
s
s

|z a|
s

n
,
aplicando el criterio M de Weierstrass y la posibilidad de integrar t ermino a t ermino
las series uniformemente convergentes resulta
1
2i

s
f (w)
w z
dw =
1
2i

n=0
f (w) (z a)
n
(w a)
n+1

dw
=

n=0

1
2i

s
f (w)
(w a)
n+1
dw

(z a)
n
=

n=0
a
n
(z a)
n
.
De manera similar, si M
r
= max{| f (w)| : |wa| = r} y w es tal que |wa| = r
(< |z a|), de

f (w) (w a)
n1
(z a)
n

M
r
r
n1
|z a|
n
=
M
r
|z a|

r
|z a|

n1
,
n N, se sigue an alogamente
1
2i

r
f (w)
z w
dw =
1
2i

n=1
f (w) (w a)
n1
(z a)
n

dw
=

n=1

1
2i

r
f (w) (w a)
n1
dw

(z a)
n
=

n=1
a
n
(z a)
n
.
128 Ceros y singularidades. Series de Laurent.
Hemos probado, por tanto, que la serie converge con suma

n=
a
n
(z a)
n
=
1
2i

s
f (w)
w z
dw +
1
2i

r
f (w)
z w
dw,
y as tenemos (i). Pero adem as = [
s
,
r
] es un ciclo hom ologo a 0 respecto
de D(a; R
1
, R
2
) para el que Ind

(z) = 1 (comprobarlo), y aplicando la f ormula

de Cauchy,
f (z) =
1
2i

f (w)
w z
dw =
1
2i

s
f (w)
w z
dw
1
2i

r
f (w)
w z
dw
=

n=
a
n
(z a)
n
,
lo que demuestra (ii).
Disponemos ahora de otro util para analizar las singularidades aisladas. Si
a es una singularidad aislada de una funci on f , esta ser a holomorfa en alguna
corona D

(a; R) = D(a; 0, R), y ser a por tanto desarrollable en serie de Laurent

en dicho conjunto. El examen de los coecientes nulos permite decidir el tipo de
singularidad que presenta f en a.
Corolario 8.25. Sea a C una singularidad aislada de una funci on f , holomorfa
en D

(a; R) = D(a; 0, R) para alg un R > 0, y sea

f (z) =

n=
a
n
(z a)
n
su desarrollo en serie de Laurent en D(a; 0, R). Entonces:
(1) a es una singularidad evitable si y s olo si a
n
= 0 para todo n < 0;
(2) a es un polo de orden k si y s olo si a
k
= 0 y a
n
= 0 para todo n < k;
(3) a es una singularidad esencial si y s olo si a
n
= 0 para innitos valores
negativos de n.
Demostraci on. Conway, ob. cit., Cor. 1.18, p. 109.
En el punto del innito se invierten los t erminos, como caba esperar. Si una
funci on f tiene una singularidad aislada en , ser a holomorfa en D(0; R, +)
para alg un R > 0, y seg un el teorema de Laurent
f (z) =

n=
a
n
z
n
, z D(0; R, +).
Denominaremos a esta serie el desarrollo en serie de Laurent de f en el innito.
Ceros y singularidades. Series de Laurent. 129
Corolario 8.26. Sea f una funci on con una singularidad aislada en , holomorfa
en D(0; R, +) para alg un R > 0, y sea
f (z) =

n=
a
n
z
n
su desarrollo en serie de Laurent en D(0; R, +). Entonces:
(1) es una singularidad evitable si y s olo si a
n
= 0 para todo n 1;
(2) es un polo de orden k si y s olo si a
k
= 0 y a
n
= 0 para todo n > k;
(3) es una singularidad esencial si y s olo si a
n
= 0 para innitos valores
positivos de n.
Demostraci on. Aplicar el corolario anterior al punto singular 0 de la funci on f

denida en D(0; 0, 1/R) por
f

(z) = f

1
z

,
que tendr a como desarrollo de Laurent
f

(z) =

n=
a
n
z
n
.
8.7 EJERCICIOS RESUELTOS
Ejercicio. Dados a, b C con a = b, sea
f (z) = Log
z a
z b
.
Cu al es el m aximo abierto en el que f es holomorfa? Hallar, si existe, el
desarrollo en serie de Laurent de f en el innito, determinando en qu e dominio es
v alido el desarrollo.
Respuesta. La funci on f est a denida en C \ {a, b}. Puesto que la composici on
de funciones holomorfas es una funci on holomorfa, f ser a holomorfa al menos en
C \ {z : z = b o
z a
z b
(, 0]} = C \ [a, b]

n otese que
z a
z b
= , ( 0) z =
1
1 +
a +

1 +
b
z = t a +(1 t ) b, (0 < t 1) z [a, b)

130 Ceros y singularidades. Series de Laurent.

En los puntos de (a, b) no hay continuidad (menos a un holomorfa) para f , pues
si z
0
= t a +(1 t ) b, 0 < t < 1, tomando para n N
z
n
= z
0
+
i
n
(b a) z
0
, w
n
= z
0

i
n
(b a) z
0
, (n +),
resulta
z
n
a
z
n
b
=
(1 t )(b a) +(i /n)(b a)
t (a b) +(i /n)(b a)
=
t (1 t ) +(1/n
2
) (i /n)
t
2
+(1/n)
2
,
w
n
a
w
n
b
=
t (1 t ) +(1/n
2
) +(i /n)
t
2
+(1/n)
2
,
con lo cual lim
n
f (z
n
) = ln

1
t
1

i

2
, lim
n
f (w
n
) = ln

1
t
1

+i

2
.
Enconsecuencia, = C\[a, b] es el m aximoabiertoenel que f es holomorfa.
Vemos as que f tiene en una singularidad aislada, y que la m axima corona
D(0; R, +) en la que f es holomorfa corresponde a R = max{|a|, |b|}. Por el
teorema de Laurent, dicha corona es el dominio de validez del desarrollo. Para
calcular este, es preferible aprovechar que la derivada f

es igualmente holomorfa
en dicha corona, veric andose
f

(z) =
1
z a

1
z b
=

n=0
a
n
b
n
z
n+1
=

n=1
a
n
b
n
z
n+1
, |z| > max{|a|, |b|}.
Como D(0; R, +) es conexo, existe c C tal que
f (z) = c +

n=1
b
n
a
n
n
1
z
n
, |z| > max{|a|, |b|}.
Pero lim
z
f (z) = Log 1 = 0, luego c = 0 y nalmente
Log
z a
z b
=

n=1
b
n
a
n
n
1
z
n
, |z| > max{|a|, |b|}.
Ejercicio. Calcular los desarrollos en serie de Laurent de la funci on
f (z) =
1
z 2
Log
z i
z +i
en D(0; 1, 2) y en D(0; 2, +).
Ceros y singularidades. Series de Laurent. 131
Respuesta. A la vista del ejercicio anterior, es f acil probar que f ser a holomorfa
justamente en = C \ ([i, i ] {2}). Adem as, sabemos que
(a) Log
z i
z +i
=

n=0
(i )
n
i
n
n
1
z
n
si |z| > 1;
(b)
1
z 2
=

n=0
z
n
2
n+1
si |z| < 2;
(c)
1
z 2
=

n=0
2
n
z
n+1
si |z| > 2.
Multiplicando (a) por (b) se obtiene, siempre que 1 < |z| < 2:
1
z 2
Log
z i
z +i
=

k=

n+m=k
n1,m0
(i )
n
i
n
n
1
2
m+1

z
k
.
Cuando k 1, el coeciente de z
k
resulta ser
a
k
=

n=1
(i )
n
i
n
n
1
2
k+n+1
=
1
2
k+1

n=1
(i )
n
i
n
n
1
2
n
=
1
2
k+1
Log
2 i
2 +i
=
i
2
k
Arc tg
1
2
,
mientras que el coeciente de
1
z
k
si k 2 es
a
k
=
1
2
k+1

n=k
(i )
n
i
n
n
1
2
n
,
con lo cual, siempre que n 1,
a
2n
= 2
2k
i

Arc tg
1
2

k1

m=0
(1)
m
(2m +1)2
2m+1

,
a
(2n+1)
= 2
2k+1
i

Arc tg
1
2

k1

m=0
(1)
m
(2m +1)2
2m+1

.
Para |z| > 2, multiplicando (a) por (c) llegamos a f (z) =

n=2
b
n
z
n
, donde
b
n
=
n1

k=1
(i )
k
i
k
k
2
nk1
= 2
n1
n1

k=1
(i )
k
i
k
k
2
k
= 2
n1
n1

k=1
(i /2)
k
(i /2)
k
k
.
132 Ceros y singularidades. Series de Laurent.
Otra respuesta (mediante integraci on). Sea, como antes, = C\ ([i, i ] {2}),
y sean

f (z) =

n=
a
n
z
n
, 1 < |z| < 2;
f (z) =

n=
c
n
z
n
, |z| > 2,
los correspondientes desarrollos de Laurent de f en las coronas indicadas.
Poniendo
r
= D(0; r) para 1 < r < 2;

= D(2; ) para 0 < < 2;

R
= D(0; R) para R > 2, es [
r
] [
R
,

] (), luego aplicando suce-

sivamente el teorema de Laurent y el teorema homol ogico de Cauchy podemos
deducir
a
n
=
1
2i

r
f (w)
w
n+1
dw =
1
2i

R
f (w)
w
n+1
dw
1
2i

f (w)
w
n+1
dw
= c
n

1
2i

f (w)
w
n+1
dw.
Pero la funci on
g(w) =
1
w
n+1
Log
w i
w +i
es holomorfa en D(2; 2), luego aplicando la f ormula de Cauchy en discos resulta
1
2i

f (w)
w
n+1
dw =
1
2i

1
w
n+1
Log
w i
w +i
w 2
dw =
1
2i

g(w)
w 2
dw
= g(2) =
1
2
n+1
Log
2 i
2 +i
=
i
2
n
Arc tg
1
2
.
Por otra parte, como lim
z
z f (z) = 0, siempre que n 1 se sigue
c
n
= lim
R+
1
2i

R
f (w)
w
n+1
dw = 0
(sin m as que usar la acotaci on habitual de la integral). Para n 2, sea k = n
Ceros y singularidades. Series de Laurent. 133
(con lo cual k 2) y b
k
= c
k
= c
n
. Entonces
b
k
=
1
2i

R
w
k1
f (w) dw =
1
2i

R
w
k1
w 2
Log
w i
w +i
dw
=
1
2i

w
k1
2
k1
w 2
+
2
k1
w 2

Log
w i
w +i
dw
=
1
2i

w
k2
+2w
k3
+ +2
k3
w +2
k2

Log
w i
w +i
dw
+2
k1

1
2i

R
1
w 2
Log
w i
w +i
dw
=
1
2i

w
k2
+2w
k3
+ +2
k3
w +2
k2

Log
w i
w +i
dw
+2
k1
c
1
=
1
2i

w
k2
+2w
k3
+ +2
k3
w +2
k2

Log
w i
w +i
dw.
El polinomio del integrando es la derivada del polinomio
P(w) =
1
k 1
w
k1
+
2
k 2
w
k2
+ +
2
k3
2
w
2
+2
k2
w,
que es obviamente holomorfo en todo C, luego integrando por partes y aplicando
la f ormula de Cauchy llegamos a
b
k
=
1
2i

R
P(w)

1
w i

1
w +i

dw = P(i ) P(i )
=
k1

m=1
2
m1
k m

i
km
(i )
km

,
que puede reescribirse en la forma vista anteriormente.