CAPITULO 8

Ceros y singularidades.
Series de Laurent.
8.1

INTRODUCCION

Los polinomios son el ejemplo extremo de la importancia que puede llegar a tener
el conocimiento de los ceros de una funcion en la determinacion y el manejo
de la misma. Sin llegar a tanto, para las funciones holomorfas el estudio de sus
ceros es tambien un aspecto importante de su tratamiento, y en la primera seccion
de este captulo recogeremos informacion ya conocida (para funciones analticas,
que como sabemos coinciden con las holomorfas), anadiendo algunas propiedades
sencillas que no agotan el tema: especialmente para funciones enteras, quedan pendientes resultados importantes, algunos de los cuales se trataran el curso proximo.
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 nuestros metodos actuales si permitimos que las funciones presenten alguna anomala
en algunos puntos? Que se mantiene y cuanto se pierde? Contestar a esta pregunta
es el proposito del estudio de los puntos singulares aislados de las funciones holomorfas. Nos limitaremos primero a establecer una clasificacion de los mismos en
tres tipos, viendo de que manera tan distinta afecta al comportamiento local de la
funcion 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 importante de funcion meromorfa, concepto que introducimos en la siguiente seccion,
examinando de momento u nicamente sus propiedades algebraicas.
Estudio aparte merece el punto del infinito. Para las funciones holomorfas que
tienen una singularidad aislada en , averiguaremos como su comportamiento en
este punto puede en algunos casos suministrar una informacion adicional interesante sobre la funcion.
Por u ltimo, en la parte final de este captulo, veremos un importante teorema
de Laurent que generaliza el desarrollo en serie de Taylor de una funcion holomorfa
en un disco, probando que si una funcion es holomorfa en una corona circular (en
112

Ceros y singularidades. Series de Laurent.

113

particular, en un disco privado de su centro), la funcion se puede representar como

suma de una serie de Laurent, que es una serie de potencias con exponentes enteros
cualesquiera y no solo 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 como hallar desarrollos de Laurent de algunas funciones concretas,
un buen banco de pruebas para los recursos adquiridos hasta el momento.
Referencias basicas:
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.: Analisis real y complejo. (3a. ed.) McGraw-Hill/Interamericana,
Madrid (1987).
8.2

HOLOMORFA
CEROS DE UNA FUNCION

Un polinomio no puede tener infinitos ceros sin ser identicamente nulo. La situacion
es algo menos drastica cuando pasamos a funciones holomorfas: conocemos funciones no nulas, como el seno y el coseno, que tienen infinitos ceros. Esto no
significa que no haya restricciones severas sobre los posibles ceros de una funcion
holomorfa no nula. Una vez que hemos probado la identidad entre las funciones
holomorfas y las funciones analticas, el principio de prolongacion analtica nos
informa de que el conjunto de ceros de una funcion holomorfa no nula, si su dominio es conexo, no puede poseer puntos de acumulacion dentro del dominio. Esto
no significa que no pueda haber puntos de acumulacion de ceros: por ejemplo, la
funcion 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 acumulacion de ceros); lo que sucede es que, si el
conjunto de ceros tiene puntos de acumulacion, e stos deberan estar en la frontera
del dominio. Podemos sacar algunas consecuencias inmediatas de este hecho.
Proposicion 8.1. Sea  una region de C y f H() no identicamente 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 finito o vaco.
(3) Z f es un conjunto contable (finito o numerable).
Demostracion.
(1) Que Z f es un conjunto discreto significa 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
ningun punto de Z f es punto de acumulacion de Z f .

114

Ceros y singularidades. Series de Laurent.

(2) Si Z f K tuviese infinitos puntos, por la compacidad de K tendra al menos

un punto de acumulacion en K  y por tanto Z f tendra al menos un punto
de acumulacion en .
(3)  puede ponerse como union numerable de compactos,  = n K n para
alguna sucesion (K n ) de compactos. Entonces Z f = n (Z f K n ) y cada
Z f K n es finito o vaco.
Definicion 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.

Notese que para que exista tal k, es necesario y suficiente 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 .
Proposicion 8.3. Sea  un abierto de C, a , k N y 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

an (z a)n ,
z D(a; r ),
f (z) =
n=k

con ak = 0.
(3) Existe una funcion g H() tal que g(a) = 0 y
f (z) = (z a)k g(z)
para todo z .
Demostracion.
(1) (2) Expresar los coeficientes del desarrollo de Taylor de f en a mediante
las derivadas de f en a.
(2) (3) La funcion g definida en  por

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

an (z a)n ,
g(z) =
n=k

y por tanto cumple las condiciones de (3).

(3) (1) Basta calcular las derivadas sucesivas de f y aplicar la definicion de
orden de un cero.

Ceros y singularidades. Series de Laurent.

8.3

115

SINGULARIDADES AISLADAS

En algunos textos (p. ej. Duncan, ob. cit., p. 63), dado un abierto  y una funcion
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 seccion estudiaremos un tipo especial de puntos singulares, que
denominaremos singularidades aisladas.
Definicion 8.4. Sea a C. Decimos que una funcion 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 }.
Clasificacion de las singularidades aisladas. Podemos distinguir entre las siguientes situaciones:
(1) existe limza 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 limza f (z) = . Se dice entonces que f tiene en a un polo o que a
es un polo de f .
(3) no existe limza f (z) en C . Se dice entonces que f tiene en a una singularidad esencial o que a es una singularidad esencial de f .
Ejemplos.
(1) Hay muchas funciones holomorfas (no enteras) sin singularidades aisladas.
Ejemplo sencillo: el logaritmo principal Log z, para el que son puntos regulares
todos los de C \ (, 0] y singulares todos los de (, 0].
(2) Todos los puntos en los que no esta definida la funcion f dada por
f (z) =

z
ez 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 funcion f dada por
f (z) = e1/z
tiene una singularidad esencial en z = 0.
Observacion. El conjunto S f de singularidades aisladas de una funcion f es
discreto y contable (includa la posibilidad de que sea vaco).

116

Ceros y singularidades. Series de Laurent.

Proposicion 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 funcion f definida por

f (z)
si z  \ {a}
f(z) =
limza f (z) si z = a
es holomorfa en .
Recprocamente, si f admite una extension holomorfa en , tiene en a una
singularidad evitable.
(2) Si para algun r > 0 la funcion f se mantiene acotada en D (a; r ) =
{z C : 0 < |z a| < r }, entonces f tiene una singularidad evitable en f .
Demostracion. (1) f es holomorfa en  \ {a} y continua en , luego holomorfa
en . El recproco es obvio.
(2) Ya se probo que, en estas condiciones, f admite una extension holomorfa en
D(a; r ).
La primera parte de la proposicion anterior justifica el nombre de singularidad
evitable. Notese que si f tiene en a una singularidad evitable, o bien f no esta
definida en a o bien f no es continua en a.
Definicion 8.6. (Orden de un polo). Sea a un polo de una funcion f . Entonces la
1
funcion tiene en a una singularidad evitable y lmite nulo, de manera que para
f
algun > 0 la funcion
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
multiples (dobles, triples, . . . )
Proposicion 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 limza (z a)k f (z) C \ {0}, y en consecuencia

limza (z a)n f (z) = si 0 n < k,
limza (z a)n f (z) = 0
si n > k;

Ceros y singularidades. Series de Laurent.

117

(3) existe una funcion g H() tal que g(a) = 0 y

f (z) =

g(z)
(z a)k

para cada z  \ {a};

(4) existen coeficientes A j (1 j k), an (n N {0}), unvocamente determinados, con Ak = 0, y un r > 0, tales que

A2
A1
Ak
+ +
+
an (z a)n
+
f (z) =
k
2
(z a)
(z a)
z a n=0

siempre que 0 < |z a| < r .

Ak
A2
A1
se denomina
+

+
+
(z a)k
(z a)2 z a
parte singular o parte principal de f en a.)
Demostracion. (1) (2) Yendo a la definicion, h(z) = (z a)k g(z) para alguna
funcion g holomorfa en D(a; ) con g(a) = 0, y limza (z a)k f (z) = 1/g(a).
(2) (1) Si h es como en la definicion, resulta h(z) = (z a)k g(z) para g dada
por

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

1/ limza (z a)k f (z)

si z = a,
(La funcion racional S( f ; a)(z) =

que es holomorfa en D(a; ) y no nula en a.

(2) (3) La funcion dada por (z a)k f (z) tiene una singularidad evitable en a.
(3) (4) Para algun r > 0 puede ponerse
g(z) =

cn (z a)n ,

|z a| < r,

n=0

luego

c0
ck2
ck1
f (z) =
+
+ +
+
ck+n (z a)n
k
2
(z a)
(z a)
z a n=0

siempre que 0 < |z a| < r .

Puesto que g esta unvocamente determinada por f , hay unicidad para los
coeficientes.
(4) (2) Evidente.
Observacion. Segun el resultado anterior, la funcion f S( f ; a) tiene en a una
singularidad evitable. Ademas, 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 funcion racional, solo tiene en C un numero finito de

singularidades que son polos. Separando repetidamente la parte singular en cada
uno de ellos, encontramos la descomposicion de f en fracciones simples (v. detalles
en Conway, ob. cit., pp. 105106.)
Finalmente, para singularidades esenciales, tenemos la siguiente caracterizacion en terminos de los valores de la funcion:

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.
Demostracion.
(1) (2) En caso contrario existiran r > 0, > 0 y w C tales que | f (z)w| >
para todo z D (a; r ). Entonces, la funcion g dada por
1
,
z D (a; r ),
g(z) =
f (z) w
es holomofa y acotada en D (a; r ), con lo cual puede extenderse a una funcion 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 g1 (z),

z D(a; r ),

para una funcion g1 holomorfa en D(a; r ) con g1 (a) = 0; por tanto




1
1
=
C \ {0},
lim (z a)k f (z) = lim (z a)k w +
za
za
g1 (z)
g1 (a)
con lo cual a sera un polo de orden k de f .
(2) (3) Evidente.
(3) (1) Es claro que en esta hipotesis no existe limza f (z), ni finito ni infinito.
Se sabe mucho mas: si a es una singularidad esencial de f , en cualquier
entorno reducido de a la funcion f alcanza todos los valores complejos, excepto
uno a lo mas. Este es el llamado teorema grande de Picard, ver Rudin, ob. cit., pp.
376377. (Mas facil de probar es el teorema pequeno de Picard, que establece que
cada funcion entera no constante alcanza cualquier valor complejo, excepto uno a
lo mas. La funcion exponencial ilustra que este es el mejor resultado esperable.)
Las demostraciones de estos teoremas requieren herramientas mas poderosas que
las que disponemos por ahora.

Ceros y singularidades. Series de Laurent.

8.4

119

FUNCIONES MEROMORFAS

Las funciones cuyas u nicas singularidades son polos aparecen con frecuencia suficiente como para merecer un nombre especial.
Definicion 8.9. Diremos que una funcion 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 Pf  tal que
(1) Pf no tiene puntos de acumulacion en ;
(2) f H( \ Pf );
(3) f tiene un polo en cada punto de Pf .
Como Pf es un subconjunto discreto de , para cada compacto K 
el conjunto K Pf es finito, lo que implica que Pf es finito o numerable. Esta
incluida la posibilidad Pf = , con lo cual las funciones holomorfas son ejemplos
de funciones meromorfas. Tambien lo son las funciones racionales.
El conjunto de las funciones meromorfas en  lo denotaremos por M().
Notese que una funcion es meromorfa en un abierto si lo es en cada 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 u nica forma de obtener funciones meromorfas en abiertos
conexos, si bien la demostracion de esta afirmacion requiere conocer primero la
posibilidad de construir funciones holomorfas con ceros prefijados y orden de los
ceros igualmente prefijado (teorema de factorizacion de Weierstrass, que se probara
el proximo curso).
Por el momento, nos limitaremos a comprobar el siguiente resultado.
Proposicion 8.10. Dado un abierto no vaco  en C, el conjunto M() de las
funciones meromorfas en  es un a lgebra sobre C respecto de las operaciones
usuales con funciones. Si ademas  es conexo, M() es un cuerpo conmutativo.
Demostracion. Es una verificacion rutinaria, basada en las factorizaciones asociadas a polos y ceros que caracterizan el orden de los mismos.
Observaciones.
(1) El comentario hecho anteriormente indica que si  es una region, 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 funcion f que vale 1 en A y 0 en
B esta en M() [de hecho, en H()] y no tiene inverso en M() [es un
divisor de cero en H()].

120
8.5

Ceros y singularidades. Series de Laurent.

SINGULARIDADES EN EL INFINITO

Definicion 8.11. Diremos que es una singularidad aislada de una funcion f si

existe R > 0 tal que f H(A R ), donde A R = {z C : |z| > R}.
Podemos establecer una clasificacion similar a la considerada para singularidades finitas.
Definicion 8.12. Supongamos que es una singularidad aislada de una funcion
f . Entonces:
(1) Se dice que f tiene en una singularidad evitable o que es una singularidad evitable de f si existe
lim f (z) C.

(2) Se dice que f tiene en un polo o que es un polo de f si

lim f (z) = .

(3) Se dice que f tiene en una singularidad esencial o que es una singularidad esencial de f si no existe limz 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 infinito. Si para algun R > 0 es f H(A R ),
donde como antes A R = {z C : |z| > R}, la funcion f definida 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 solo 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 .
Definicion 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 funcion f definida por
f (z) = f (1/z).

Ceros y singularidades. Series de Laurent.

121

Como consecuencia de las definiciones y de los resultados previos sobre polos,

podemos enunciar:
Proposicion 8.15. Supongamos que es una singularidad aislada para una
funcion f . Las siguientes propiedades son equivalentes:
(1) f tiene en un polo de orden k;
f (z)
(2) existe limz k C \ {0};
z
(3) existen un R > 0 y una funcion g holomorfa en A R = {z C : |z| > R} con
limz g(z) C \ {0} y que verifica
f (z) = z k g(z)
para cada z A R .
(4) existen coeficientes A j (1 j k), an (n N {0}), con Ak = 0,
unvocamente determinados, y un R > 0, tales que
f (z) = Ak z + + A1 z +
k

an
n=0

zn

siempre que |z| > R.

(El polinomio Ak z k + + A1 z se denomina parte singular o parte principal de
f en .)
Teorema 8.16. (de Casorati-Weierstrass para singularidad infinita). Supongamos
que es una singularidad aislada para una funcion 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 funcion meromorfa a funciones definidas en abiertos del plano complejo ampliado C que contengan al punto del infinito.
Definicion 8.17. Sea  un abierto de C tal que C\ D(0; R)  para algun 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.
Proposicion 8.18.
(1) Si f es una funcion entera y meromorfa en C , entonces f es un polinomio.
(2) f M(C ) si y solo si f es una funcion racional.

122

Ceros y singularidades. Series de Laurent.

Demostracion.
(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

f (z)
C \ {0}
zk

y por tanto existen R, M > 0 tales que

| f (z)| M |z|k ,

|z| > R;

en consecuencia (generalizacion del teorema de Liouville) f es un polinomio de

grado k.
(2) Observemos primero que si f M(C ), solo puede tener un numero finito
de polos en C para que sea una singularidad aislada.
Sean, pues, a1 , . . . , an los polos finitos de f y k1 , . . . , kn sus respectivos
o rdenes y sea un polo de orden k0 para f . Se sigue que la funcion
(z a1 )k1 (z an )kn f (z)
se puede extender a una funcion g holomorfa en C (es decir, entera) que tendra en
un polo de orden k = k0 + k1 + + kn , con lo cual g es un polinomio de grado
k segun acabamos de probar, luego
f (z) =

g(z)
(z a1 )k1 (z an )kn

es una funcion racional.

Corolario 8.19. Si f es una funcion entera, o es constante o f (C) = C.
Demostracion. Si f es entera, es evidentemente una singularidad aislada para
f.
Si es evitable, de modo que existe limz 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 CasoratiWeierstrass.
NOTA. De hecho, como ya hemos comentado, si

f es una funcion entera no constante

es cierto que su imagen f (C) es todo C salvo un punto a lo mas.

Ceros y singularidades. Series de Laurent.

8.6

123

SERIES DE LAURENT

Fijemos la notacion D(a; r, R) para la corona {z : r < |z a| < R}, donde

0 r < R +.

Lema 8.20. Sea (an ) una sucesion de numeros complejos y r = lim sup n |an |.
Entonces

an (z a)n es absolutamente convergente en cada punto de la
(1) la serie
n=1

corona D(a; r, +) y converge uniformemente en los subconjuntos compactos de D(a; r, +);

(2) en el disco D(a; r ) la serie no converge (en a ni siquiera esta definida);
(3) la funcion f definida en D(a; r, +) por

f (z) =
an (z a)n
n=1

es holomorfa.

an wn converge absolutamente en cada
Demostracion. Sabemos que la serie
n=1

w D(0; 1/r ), no converge si |w| > 1/r , y que define en D(0; 1/r ) una funcion
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 subconjunto compacto de D(a; r, +), existira un R > r tal que K D(a; R, +)
(por que?), de manera que para todo z K sera




an (z a)n 
|an | R n < +,
n=1

n=1

luego la serie converge uniformemente en K por el criterio M de Weierstrass.

Si r = +, la serie no converge en ningun punto. Si r = 0, converge en
C \ {a}.

NOTA.

Definicion 8.21. (Series doblemente infinitas). Dada una sucesion (z n )nZ de

numeros complejos, si las series
zn y
z n convergen, diremos que la serie

n=0

n=1

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

n=

n=

zn =

n=0

zn +

n=1

z n .

124

Ceros y singularidades. Series de Laurent.




N




Observese que si
z n converge, la sucesion de sumas simetricas
zn
n=

n=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
z n converge absolutamente si las dos series
zn
y

n=

n=0

z n convergen absolutamente.

n=1

De manera analoga, dada ( f n )nZ , donde las f n son funciones complejas

definidas en un conjunto S C, diremos que la serie
f n converge (puntualn=

mente, uniformemente, uniformemente sobre compactos de S) si y solo si las dos

fn y
f n convergen (puntualmente, uniformemente, uniformemente
series
n=0

n=1

sobre compactos de S)
Aunque hemos dividido la serie en dos trozos separando los n 0 y los
n < 0, es evidente que la separacion puede llevarse a cabo en cualquier otro
ndice, pues se trata de anadir o quitar un numero finito de sumandos al trozo
correspondiente.
NOTA.

Definicion 8.22. (Series de Laurent). Llamaremos serie de Laurent centrada en

a a toda serie de la forma

an (z a)n .
n=

Proposicion 8.23. Dada una serie de Laurent centrada en a

an (z a)n ,

n=

sean


R1 = lim sup n |an |,

1

n
R2 = lim sup |an |
.

Entonces:
(1) la serie converge absolutamente en cada punto de la corona D(a; R1 , R2 ), a
la que denominaremos corona de convergencia, y converge uniformemente
en los subconjuntos compactos de D(a; R1 , R2 );
(2) la serie no converge en ningun punto z
/ D(a; R1 , R2 ) exterior a la corona;

Ceros y singularidades. Series de Laurent.

125

(3) R1 y R2 son los u nicos valores en [0, +] para los que se cumplen las
propiedades (1) y (2);
(4) la funcion f definida en D(a; R1 , R2 ) como suma de la serie
f (z) =

an (z a)n

n=

es holomorfa en D(a; R1 , R2 ), y su derivada esta dada en cada punto por



f (z) =

n an (z a)n1 .

n=

El enunciado anterior tiene pleno sentido si R1 < R2 . En caso contrario,

D(a; R1 , R2 ) es vaco. Si R1 > R2 , no hay convergencia para la serie en ningun
punto. Si R1 = R2 , cual es la situacion?
NOTA.

Teorema 8.24. (Teorema de Laurent). Sea f una funcion holomorfa en una corona
D(a; R1 , R2 ) [a C, 0 R1 < R2 +]. Entonces:
(1) f puede representarse en D(a; R1 , R2 ) como suma de una serie de Laurent
f (z) =

an (z a)n

n=

que converge absolutamente en cada z D(a; R1 , R2 ) y converge uniformemente en cada compacto contenido en D(a; R1 , R2 ) o, equivalentemente, en
cada corona D(a; r1 , r2 ) para la que R1 < r1 < r2 < R2 .
(2) Los coeficientes de la serie estan dados por la formula
1
an =
2i

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

donde es cualquier circunferencia (orientada positivamente) de centro a y

radio r , con R1 < r < R2 .
(3) La serie esta unvocamente determinada por f .
Nos referiremos a la serie como al desarollo en serie de Laurent de f . La tesis (1)
afirma la existencia de desarrollo en la corona, y la (3) su unicidad, mientras que
(2) proporciona (teoricamente, al menos) una manera de calcular los coeficientes
del desarrollo.

126

Ceros y singularidades. Series de Laurent.

Demostracion. (Cf. Conway, ob. cit., pp. 107108.)

Unicidad. Si existe la representacion de (1), D(a; R1 , R2 ) estara contenida
en la corona de convergencia de la serie, y e sta convergera uniformemente en cada
compacto contenido en D(a; R1 , R2 ). Si = D(a; r ) con R1 < r < R2 , sop
es uno de tales compactos, luego podremos integrar la serie termino a termino para
obtener



f (z) dz =
an (z a)n dz = 2i a1 ,

n=

y, en general, para cada n Z, de modo similar,



f (z)
dz =
ak (z a)kn1 dz = 2i an ,
n+1
(z a)

k=

luego los coeficientes del desarrollo estan unvocamente determinados por la suma
de la serie.
Existencia. Comencemos por senalar que si R1 < r1 < r2 < R2 y 1 , 2 son,
respectivamente, las circunferencias de centro a y radios r1 , r2 (orientadas positivamente), entonces 1 y 2 son homologas respecto de D(a; R1 , R2 ) (comprobarlo).
Por el teorema homologico de Cauchy se tiene, pues, que para toda funcion g
holomorfa en D(a; R1 , R2 ) es


g(w) dw =
g(w) dw.
1

En particular, tomando
g(w) =

1
f (w)
,
2i (w a)n+1

n Z,

se deduce que
1
2i


1

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


2

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

da el mismo valor para cualquier circunferencia de centro a interior a la corona, es

un complejo independiente de cual sea el radio que se considere.
Definamos, pues, para cada n Z,
1
an =
2i

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

Ceros y singularidades. Series de Laurent.

127

donde es cualquier circunferencia (orientada positivamente) de centro a y radio

estrictamente mayor que R1 y estrictamente menor que R2 . Comprobaremos a
continuacion que para todo z D(a; R1 , R2 ) la serie

an (z a)n

n=

(i) es convergente y (ii) tiene por suma f (z). Esto basta para demostrar el teorema

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



n
 f (w) (z a)n  Ms |z a|n
|z

a|
M
s


=
,
 (w a)n+1 
s n+1
s
s
aplicando el criterio M de Weierstrass y la posibilidad de integrar termino a termino
las series uniformemente convergentes resulta


 

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



f (w)
1
n
=
dw (z a) =
an (z a)n .
n+1
2i s (w a)
n=0
n=0
De manera similar, si Mr = max{| f (w)| : |w a| = r } y w es tal que |w a| = r
(< |z a|), de



n1
 f (w) (w a)n1  Mr r n1
r
M
r


,

 |z a|n = |z a| |z a|
(z a)n
n N, se sigue analogamente

 

n1
1
f (w)
f (w) (w a)
1
dw
dw =
2i r z w
2i r n=1
(z a)n



1
n1
n
=
f (w) (w a) dw (z a) =
an (z a)n .
2i r
n=1
n=1


128

Ceros y singularidades. Series de Laurent.

Hemos probado, por tanto, que la serie converge con suma




f (w)
f (w)
1
1
n
dw +
dw,
an (z a) =
2i s w z
2i r z w
n=
y as tenemos (i). Pero ademas  = [s , r ] es un ciclo homologo a 0 respecto
de D(a; R1 , R2 ) para el que Ind (z) = 1 (comprobarlo), y aplicando la formula
de Cauchy,



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

=
an (z a)n ,
n=

lo que demuestra (ii).

Disponemos ahora de otro u til para analizar las singularidades aisladas. Si
a es una singularidad aislada de una funcion f , e sta sera holomorfa en alguna
corona D (a; R) = D(a; 0, R), y sera por tanto desarrollable en serie de Laurent
en dicho conjunto. El examen de los coeficientes nulos permite decidir el tipo de
singularidad que presenta f en a.
Corolario 8.25. Sea a C una singularidad aislada de una funcion f , holomorfa
en D (a; R) = D(a; 0, R) para algun R > 0, y sea
f (z) =

an (z a)n

n=

su desarrollo en serie de Laurent en D(a; 0, R). Entonces:

(1) a es una singularidad evitable si y solo si an = 0 para todo n < 0;
(2) a es un polo de orden k si y solo si ak = 0 y an = 0 para todo n < k;
(3) a es una singularidad esencial si y solo si an = 0 para infinitos valores
negativos de n.
Demostracion. Conway, ob. cit., Cor. 1.18, p. 109.
En el punto del infinito se invierten los terminos, como caba esperar. Si una
funcion f tiene una singularidad aislada en , sera holomorfa en D(0; R, +)
para algun R > 0, y segun el teorema de Laurent
f (z) =

an z n ,

z D(0; R, +).

n=

Denominaremos a esta serie el desarrollo en serie de Laurent de f en el infinito.

Ceros y singularidades. Series de Laurent.

129

Corolario 8.26. Sea f una funcion con una singularidad aislada en , holomorfa
en D(0; R, +) para algun R > 0, y sea
f (z) =

an z n

n=

su desarrollo en serie de Laurent en D(0; R, +). Entonces:

(1) es una singularidad evitable si y solo si an = 0 para todo n 1;
(2) es un polo de orden k si y solo si ak = 0 y an = 0 para todo n > k;
(3) es una singularidad esencial si y solo si an = 0 para infinitos valores
positivos de n.
Demostracion. Aplicar el corolario anterior al punto singular 0 de la funcion f
definida en D(0; 0, 1/R) por

f (z) = f
,
z
que tendra como desarrollo de Laurent

f (z) =

an z n .

n=

8.7

EJERCICIOS RESUELTOS

Ejercicio. Dados a , b C con a = b, sea

f (z) = Log

za
.
zb

Cual es el maximo abierto  en el que f es holomorfa? Hallar, si existe, el

desarrollo en serie de Laurent de f en el infinito, determinando en que dominio es
valido el desarrollo.
Respuesta. La funcion f esta definida en C \ {a, b}. Puesto que la composicion
de funciones holomorfas es una funcion holomorfa, f sera holomorfa al menos en

za
C \ {z : z = b o
(, 0]} = C \ [a, b] notese que
zb
za
1

= , ( 0) z =
a+
b
zb
1+
1+

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 aun holomorfa) para f , pues
si z 0 = t a + (1 t) b, 0 < t < 1, tomando para n N
zn = z0 +

i
(b a) z 0 ,
n

wn = z 0

i
(b a) z 0 ,
n

(n +),

resulta
(1 t)(b a) + (i/n)(b a)
t (1 t) + (1/n 2 ) (i/n)
zn a
,
=
=
zn b
t (a b) + (i/n)(b a)
t 2 + (1/n)2
t (1 t) + (1/n 2 ) + (i/n)
wn a
=
,
wn b
t 2 + (1/n)2



1
1
1 i , limn f (wn ) = ln
1 +i .
con lo cual limn f (z n ) = ln
t
2
t
2
En consecuencia,  = C\[a, b] es el maximo abierto en el que f es holomorfa.
Vemos as que f tiene en una singularidad aislada, y que la maxima 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 e ste, es preferible aprovechar que la derivada f  es igualmente holomorfa
en dicha corona, verificandose

a n bn
a n bn
1
1
f (z) =

=
=
,
n+1
n+1
za
zb
z
z
n=0
n=1


|z| > max{|a|, |b|}.

Como D(0; R, +) es conexo, existe c C tal que

bn a n 1
f (z) = c +
,
n
zn
n=1

|z| > max{|a|, |b|}.

Pero lim f (z) = Log 1 = 0, luego c = 0 y finalmente

z

za
bn a n 1
Log
=
,
n
zb
n
z
n=1

|z| > max{|a|, |b|}.

Ejercicio. Calcular los desarrollos en serie de Laurent de la funcion

f (z) =

en D(0; 1, 2) y en D(0; 2, +).

zi
1
Log
z2
z+i

Ceros y singularidades. Series de Laurent.

131

Respuesta. A la vista del ejercicio anterior, es facil probar que f sera holomorfa
justamente en  = C \ ([i, i] {2}). Ademas, sabemos que

zi
(i)n i n 1
(a) Log
=
si |z| > 1;
n
z+i
n
z
n=0

1
zn
(b)
=
si |z| < 2;
n+1
z2
2
n=0

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

1
zi

Log
=

z2
z+i
k=

n+m=k

(i)n i n 1
zk .

m+1
n
2

n1,m0

Cuando k 1, el coeficiente de z k resulta ser

1

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

,
Arc
tg
2k+1
2+i
2k
2
1
mientras que el coeficiente de k si k 2 es
z

(i)n i n 1
1

ak = k+1
,
n
2
n
2
n=k
1

Log

con lo cual, siempre que n 1,


a2n = 22k i

Arc tg


k1

(1)
1

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

k1


,


1
(1)

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

n
Para |z| > 2, multiplicando (a) por (c) llegamos a f (z) =
n=2 bn z , donde
a(2n+1) = 22k+1 i

Arc tg

n1
n1




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

=2

n1

n1


(i/2)k (i/2)k
.
k
k=1

132

Ceros y singularidades. Series de Laurent.

Otra respuesta (mediante integracion). Sea, como antes,  = C \ ([i, i] {2}),

y sean

an z n , 1 < |z| < 2;

f (z) =

f (z) =

n=

cn z n ,

|z| > 2,

n=

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 sucesivamente el teorema de Laurent y el teorema homologico de Cauchy podemos
deducir


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

1
f (w)
dw.
= cn
2i wn+1

1
an =
2i

1
f (w)
dw

w n+1
2i

f (w)
dw
w n+1

Pero la funcion
g(w) =

Log

wn+1

wi
w+i

es holomorfa en D(2; 2), luego aplicando la formula de Cauchy en discos resulta

1
2i

wi

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

wn+1
2i
w2
2i w 2
i
2i
1
1
= n Arc tg .
= g(2) = n+1 Log
2
2+i
2
2


Log

Por otra parte, como lim z f (z) = 0, siempre que n 1 se sigue

z

1
cn = lim
R+ 2i


R

f (w)
dw = 0
wn+1

(sin mas que usar la acotacion habitual de la integral). Para n 2, sea k = n

Ceros y singularidades. Series de Laurent.

133

(con lo cual k 2) y bk = ck = cn . Entonces

1
bk =
2i


R

k1

1
f (w) dw =
2i


R

wi
wk1
Log
dw
w2
w+i

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

 k2

1
wi
=
w
dw
+ 2w k3 + + 2k3 w + 2k2 Log
2i R
w+i

wi
1
1
k1
Log
dw

+2
2i R w 2
w+i

 k2

1
wi
dw
+ 2w k3 + + 2k3 w + 2k2 Log
=
w
2i R
w+i
+ 2k1 c1

 k2

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


P(w)
R

1
1

wi
w+i


dw = P(i) P(i)

k1



2m1  km
i
(i)km ,
=
km
m=1

que puede reescribirse en la forma vista anteriormente.