Universidad de Santiago de Chile

Departamento de C.C. y Matemática

Ingenierı́a Matemática
Cálculo IV

Series de Laurent
10 de Agosto, 2018.

1. Hallar la serie de Laurent alrededor de las singularidades indicadas para las siguientes
funciones. Además, clasifique cada singularidad y determine la región de convergencia de
la serie
z − sin(z)
a) , en z0 = 0.
z3
z
b) , en z0 = −2.
(z + 1)(z + 2)
e2z
c) , en z0 = 1.
(z − 1)3
 
1
d ) (z − 3) sin , en z0 = −2.
z+2

Dem.: a) Notemos que,

  
z − sin(z) 1 1 3 1 5 1 7
= z − z − z + z − z + ...
z3 z3 3! 5! 7!
z 1 1 1
= − z2 + z4 − . . .
(z + 1)(z + 2) 3! 5! 7!
Por lo tanto, z = 0 es una singularidad evitable. Dado que la serie la determinamos, desde
el desarrollo en serie de potencia para la función entera sin(z), entonces la serie converge
para todo valor de z ∈ C.
b) Sea u = z + 2, entonces para |u| < 1 tenemos
  
u−2 2−u 1 2−u
1 + u + u2 + u3 + . . .


= =
(u − 1)u u 1−u u
2
= − 1 + 2 − u + 2u − u2 + 2u2 − u3 + . . .
u
2
= + 1 + u + u2 + u3 + . . .
u
2
= + 1 + (z + 2) + (z + 2)2 + (z + 2)3 + . . .
z+2
Por lo tanto, z = −2, es un polo de orden 1. La serie converge para todo z ∈ C tal que
0 < |z + 2| < 1
 c) Sea u = z − 1, entonces

e2z e2+2u e2 2u e2
 
1 1 1
= = e = 1 + 2u + (2u)2 + (2u)3 + (2u)4
(z − 1)3 u3 u3 u3 2! 3! 4!

e2 e2 22 e2 23 2 24 2 25 2 2
= + 2 + + e + ue + u e + . . .
u3 u2 2! u 3! 4! 5!
2 2 2 2 3 4
e e 2 e 2 2 2 25
= 3
+2 2
+ + e + (z − 1)e + (z − 1)2 e2 + . . .
2
(z − 1) (z − 1) 2! (z − 1) 3! 4! 5!
Por lo tanto, z = 1 es un polo de orden 2. Ya que, exp(z), z ∈ C es una función entera, la
serie converge para todo z ∈ C con z 6= 1.
d) Sea u = z + 2, entonces
     
1 1 1 1 1 1 1
(z − 3) sin = (u − 5) sin = (u − 5) − + − ...
z+2 u u 3! u3 5! u5
5 1 1 5 1 1 1 5 1
−=1− 2
+ 3
+ 4
− + ...
u 3! u 3! u 5! u 5! u5
5 1 1 5 1 1 1 5 1
=1− − 2
+ 3
+ 4
− + ...
(z + 2) 3! (z + 2) 3! (z + 2) 5! (z + 2) 5! (z + 2)5
Por lo tanto, z = −2 es una singularidad esencial. La serie converge para todo z ∈ C, con
z 6= −2.
1
2. Desarrollar la función f (z) = en una serie de Laurent para
(z + 1)(z + 3)

a) 1 < |z| < 3.

b) |z| > 3.
c) 0 < |z + 1| < 2.
d ) |z| < 1.

Dem.: a) Notemos que

   
1 1 1 1 1
f (z) = = −
(z + 1)(z + 3) 2 z+1 2 z+3

1
Si |z| > 1, entonces, |z|
< 1. Luego,
   
1 1 1 1 1 1 1
= 1 = 1 − + 2 − 3 + ...
2 z+1 2z(1 + z ) 2z z z z

1 1 1 1
= − 2 + 3 − 4 ...
2z 2z 2z 2z
Si |z| < 3, entonces | z3 | < 1. Luego,

z z2 z3
   
1 1 1 1
= z = 1− + − + ...
2 z+3 6(1 + 3 ) 6 3 9 27

1 z z2 z3
= − + − + ...
6 18 54 162
Por lo tanto, la serie de Laurent para |z| > 1 y |z| < 3, es

1 1 1 1 1 z z2 z3
... − + − + − + − + − ...
2z 4 2z 3 2z 2 2z 6 18 54 162
b) Si |z| > 1, de lo anterior tenemos que,
¯
 
1 1 1 1 1 1
= − 2 + 3 − 4 ...
2 z+1 2z 2z 2z 2z

Si |z| > 3, entonces

   
1 1 1 1 3 9 27
= 3 = 1 − + 2 − 3 + ...
2 z+3 2z(1 + z ) 2z z z z

1 3 9 27
= − 2 + 3 − 4 + ...
2z 2z 2z 2z
Por lo tanto, la serie de Laurent para |z| > 1 y |z| > 3, es decir |z| > 3, es

1 4 13 40
− + − 5 + ...
z2 z3 z4 z
c) Sea u = z + 1, entonces

u u2 u3
 
1 1 1 1
f (z) = = = u = 1− + − + ...
(z + 1)(z + 3) u(u + 2) 2u(1 + 2 ) 2u 2 4 9

1 1 u u2 1 1 (z + 1) (z + 1)2
= − + − + ... = − + − + ...
2u 4 8 16 2(z + 1) 4 8 16

Lo cual es valido para |u| < 2, es decir es valido para |z + 1| < 2.

d) Si |z| < 1, entonces,

1 1
= (1 − z + z 2 − z 3 + . . .)
2(z + 1) 2

Si |z| < 3, de a) tenemos

z z2 z3
   
1 1 1 1
= z = 1− + − + ...
2 z+3 6(1 + 3 ) 6 3 9 27

Entonces la serie de Laurent, buscada para |z| < 1 y |z| < 3, es decir, |z| < 1 se obtiene
restando ambas series, es decir,

1 4 13 40
− z + z2 − z3 + . . .
3 9 27 81
Lo cual es una serie de Taylor.
3. Demuestre que una función analı́tica no puede estar acotada en la vecindad de una singu-
laridad aislada.
Dem.: Sea z0 una singularidad aislada de f (z), con f analı́tica dentro y sobre un circulo
γ de centro z = z0 y radio r > 0, excepto en su centro. Del Teorema de Laurent, f (z)
tiene desarrollo en serie de Laurent, dada por
∞ Z
X
k 1 f (w)
f (z) = ak (z − z0 ) a−n = dw
k=−∞
2πi γ (w − z0 )−n+1

Supongamos que f es acotada en la vecindad de la singularidad, es decir |f (z)| ≤ M , con

M una constante. Entonces,
Z
1 1 n−1
|a−n | = f (z)(z − z0 )n−1 dz ≤ r M 2πr = M rn → 0
2π γ 2π

Cuando r → 0 (recuerde que r es el radio del circulo que contiene a la singularidad aislada
en su centro). Entonces a−n = 0 para n ∈ N. Es decir, la serie de Laurent, no tiene
términos ”negativos”, por tanto es solo una serie de Taylor alrededor de z0 .
Se sigue que, f es analı́tica en z = z0 y por lo tanto, no puede ser una singularidad aislada,
una contradicción.
Por lo tanto, f (z) no puede ser acotada en la vecindad de una singularidad aislada.