Desarrollo en serie de Laurent

Exponemos la forma de desarrollar en serie de Laurent una función analı́tica

en una corona abierta.

Teorema 1. Sea f una función analı́tica en la corona abierta D ≡ r <

|z − z0 | < R con 0 ≤ r < R ≤ +∞. Existen números complejos únicos
. . . , A−2 , A−1 , A0 , A1 , A2 , . . . tales que para todo z ∈ D, f (z) se expresa
en la forma
A−2 A−1
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.

A−1 A−2
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
analı́tica.
+∞
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 γ
2πi γ (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 término a
término.

1
1. Desarrollar en serie de Laurent la función f (z) = en potencias
3z − 7
enteras de z.

Resolución La función es analı́tica en todo el plano complejo salvo en z =

7/3. La función es pues analı́tica en las coronas abiertas 0 < |z| < 7/3 y
7/3 < |z| < +∞. Dividiendo el numerador y denominador de f (z) entre −7
y usando la suma de la serie geométrica 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

+∞ n−1
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 función f (z) = en poten-
z2 + z − 6
cias enteras de z.

Resolución (Esquemática) La función racional dada es analı́tica 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 función es pues
analı́tica en la tres coronas abiertas

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

1 1
Descomponiendo en fracciones simples: f (z) = . . . = i · +4· .
z−2 z+3
1 1
Llamando f1 (z) = , f2 (z) = y procediendo como en el ejemplo
z−2 z+3
anterior obtendrı́amos 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 función f (z) = en una
(z + 1)(z + 2)
corona abierta de centro z0 = −2

Resolución Efectuando el cambio u = z + 2 y usando la suma de la serie

geométrica:

2
  
u−2 u − 2 −1 2
f (z) = = · = 1− (−1 − u − u2 − u3 − . . .) =
(u − 1)u u 1−u 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.

Resolución Efectuando el cambio u = z − 1 y usando el desarrollo en serie

de la función exponencial obtenemos para u 6= 0:
+∞ +∞
e2(u+1) e2 2u e2 X 2n un e2 2e2 X e2 2n n−2
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 función f (z) = en
(z − 3)2
un entorno de z0 = ∞.

Resolución Un entorno de ∞ es una región de la forma |z| > a. La función f

no es analı́tica exactamente en z = 3, tenemos por tanto que desarrollar en
la corona abierta 3 < |z| < +∞. Consideremos la función g(z) = 1/(z − 3).
Entonces:
+∞ +∞
1 1 1 1 X 3n X
g(z) = = = n
= 3n z −n−1 (|3/z| < 1)
z−3 z 1 − 3/z z z
n=0 n=0

Derivando

3
 +∞
1 X
g 0 (z) =− = (−n − 1)3n z −n−2 (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