Desarrollo en serie de Laurent

Exponemos la forma de desarrollar en serie de Laurent una funci

on analtica
en una corona abierta.

Teorema 1. Sea f una funcion analtica en la corona abierta D r <

|z z0 | < R con 0 r < R +. Existen n umeros complejos u nicos
. . . , A2 , A1 , A0 , A1 , A2 , . . . tales que para todo z D, f (z) se expresa
en la forma
A2 A1
f (z) = . . . + 2
+ + A0 + A1 (z z0 ) + A2 (z z0 )2 + . . . (1)
(z z0 ) z z0

Notas

1. A la igualdad (1) se la llama desarrollo en serie de Laurent de f en D.

A1 A2
2. A la serie + +. . . se la llama parte principal del desarrollo
z z0 (z z0 )2
de Laurent y a la serie A0 + A1 (z z0 ) + A2 (z z0 )2 + . . . parte entera o
analtica.
+
X An
3. Expresamos (1) abreviadamente en la forma f (z) = .
n=
(z z0 )n
Z
1 f (z)
4. Se demuestra que para todo n Z, An = dz siendo
2i (z z0 )n+1
cualquier circunferencia de centro z0 y contenida en la corona D.
5. Se demuestra que la convergencia de la serie de Laurent es uniforme en
r < r1 |z z0 | R1 < R lo cual implica que se puede derivar termino a
termino.

1
1. Desarrollar en serie de Laurent la funcion f (z) = en potencias
3z 7
enteras de z.

Resoluci
on La funci
on es analtica en todo el plano complejo salvo en z =
on es pues analtica en las coronas abiertas 0 < |z| < 7/3 y
7/3. La funci
7/3 < |z| < +. Dividiendo el numerador y denominador de f (z) entre 7
y usando la suma de la serie geometrica obtenemos:
+  
1 1 1X 3 n n
f (z) = = z ( |3z/7| < 1 )
7 1 37 z 7 7
n=0

1
Tenemos por tanto los desarrollos

+
X 3n n
f (z) = z ( 0 < |z| < 7/3 )
7n+1
n=0

+ n1
X 3 1
f (z) = ( 7/3 < |z| < + )
7n z n+1
n=0

(4 + i)z + 3i
2. Desarrollar en serie de Laurent la funcion f (z) = en poten-
z2 + z 6
cias enteras de z.

Resoluci on (Esquem atica) La funcion racional dada es analtica en todos

los puntos del plano complejo salvo aquellos que anulan al denominador.
Resolviendo z 2 + z 6 = 0 obtenemos z = 2, z = 3. La funcion es pues
analtica en la tres coronas abiertas

0 < |z| < 2 , 2 < |z| < 3 , 3 < |z| < +

1 1
Descomponiendo en fracciones simples: f (z) = . . . = i +4 .
z2 z+3
1 1
Llamando f1 (z) = , f2 (z) = y procediendo como en el ejemplo
z2 z+3
anterior obtendramos desarrollos de Laurent (I), (II), (III) y (IV ) :
 
(I) si 0 < |z| < 2 (III) si 0 < |z| < 3
f1 (z) = , f2 (z) =
(II) si 2 < |z| < + (IV ) si 3 < |z| < +

Entonces,

i(I) + 4(III) si 0 < |z| < 2
f (z) = i(II) + 4(III) si 2 < |z| < 3
i(II) + 4(IV ) si 3 < |z| < +

z
3. Desarrollar en serie de Laurent la funcion f (z) = en una
(z + 1)(z + 2)
corona abierta de centro z0 = 2

Resoluci
on Efectuando el cambio u = z + 2 y usando la suma de la serie
geometrica:

2
  
u2 u 2 1 2
f (z) = = = 1 (1 u u2 u3 . . .) =
(u 1)u u 1u u
2
+ 1 + u + u2 + u3 + . . . (|u| < 1)
u
Por tanto podemos expresar

+
2 X
f (z) = + (z + 2)n (0 < |z + 2| < 1)
z+2
n=0

e2z
4. Desarrollar en serie de Laurent f (z) = en una corona abierta de
(z 1)2
centro z0 = 1.

Resolucion Efectuando el cambio u = z 1 y usando el desarrollo en serie

on exponencial obtenemos para u 6= 0:
de la funci
+ +
e2(u+1) e2 2u e2 X 2n un e2 2e2 X e2 2n n2
f (z) = = e = = + + u
u2 u2 u2 n! u2 u n!
n=0 n=2

Podemos por tanto expresar

+
e2 2e2 X e2 2n+2
f (z) = + + (z 1)n (0 < |z 1| < +)
(z 1)2 z 1 (n + 2)!
n=0

1
5. Hallar el desarrollo en serie de Laurent de la funcion f (z) = en
(z 3)2
un entorno de z0 = .

on Un entorno de es una region de la forma |z| > a. La funcion f

Resoluci
no es analtica exactamente en z = 3, tenemos por tanto que desarrollar en
la corona abierta 3 < |z| < +. Consideremos la funcion g(z) = 1/(z 3).
Entonces:
+ +
1 1 1 1 X 3n X
g(z) = = = n
= 3n z n1 (|3/z| < 1)
z3 z 1 3/z z z
n=0 n=0

Derivando

3
 +
1 X
g 0 (z) = = (n 1)3n z n2 (3 < |z|)
(z 3)2
n=0

Podemos por tanto expresar

+
X (n + 1)3n
f (z) = (3 < |z| < +)
z n+2
n=0

Autor: Fernando Revilla