Universidad Antonio Nariño

Matemáticas Especiales
Guı́a N◦ 5: Series Complejas
Grupo de Matemáticas Especiales

Resumen

Se presentan, de manera general, los conceptos de sucesión y serie.

Posteriormente se estudian brevemente algunas sucesiones de términos
complejos y se pasa a un estudio más detallado de las series, criterios
de convergencia, series de potencias, radio y región de convergencia.
Finalmente se aborda el desarrollo en serie de Taylor y en serie Laurent
de una función compleja y su relación con la analiticidad de tal función.

1. Sucesiones

Definición 1. Una función

f : N −→ T
n 7−→ f (n) = an (1)

se llama sucesión en el espacio métrico T . El término an de la sucesión

se denomina n-ésimo término de la sucesión. La sucesión se escribe como
a1 , a2 , a3 , . . ., o de forma abreviada {an }n∈N .

En particular, cuando T = C se tienen sucesiones de términos complejos,

denotadas como {zn }n∈N .
Definición 2. Una sucesión {zn }n∈N en C es convergente si existe un punto
z ∈ C tal que para todo ε > 0 existe N ∈ N tal que |zn − z| < ε siempre que
n ≥ N . En este caso se escribe

lı́m zn = z (2)
n→∞

1
y se dice que {zn }n∈N converge a z, o que z es el lı́mite de la sucesión.
Intuitivamente, esto significa que para valores muy grandes de n, los términos
zn tienden a estar tan próximos a z como se quiera.

z
ε

En caso de que tal z no exista se dice que la sucesión {zn }n∈N es divergente.

La convergencia de las sucesiones de términos complejos puede caracterizarse

por la convergencia de las correspondiente sucesiones parte real y parte
imaginaria, tal como lo muestra el siguiente resultado.
Teorema 3. Sean zn = zn + i yn , n = 1, 2, . . . y z = x + i y. Entonces
lı́m zn = z si y sólo si lı́m xn = x y lı́m yn = y,
n→∞ n→∞ n→∞

siempre y cuando los lı́mites involucrados existan.

Ejemplo 4. Analice la convergencia de las siguientes sucesiones. Determine
el lı́mite en caso de que exista.

n+i
1. zn = .
3n2 − 2
En este caso,
n+i n 1
zn = 2
= 2 +i 2
3n − 2 3n − 2 3n − 2
n 1
lı́m zn = lı́m + i lı́m = 0 + i 0 = 0.
n→∞ n→∞ 3n2 − 2 n→∞ 3n2 − 2

5n2 + i
2. zn = .
7n2 + 2
Se tiene que,
5n2 + 11i 5n2 11
zn = = +i
7n2 + 2 7n2 + 2 7n2 + 2
5n2 11 5 5
lı́m zn = lı́m + i lı́m = +i 0= .
n→∞ n→∞ 7n2 + 2 n→∞ 7n2 + 2 7 7

2
 3n2 − 2
3. zn = .
n+i
Nótese que,
¡ 2 ¢
3n2 − 2 3n − 2 (n − i) 3n3 − 2n 2 − 3n2
zn = = = + i
n+i n2 + 1 n2 + 1 n2 + 1

2 − 3n2 3n3 − 2n
y aunque lı́m 2
= −3, lı́m no existe y por lo tanto
n→∞ n + 1 n→∞ n2 + 1
lı́m zn no existe.
n→∞
♦

2. Series

Definición 5. Dada una sucesión {an }n∈N es posible construir una nueva
sucesión dada por

S1 = a 1
S2 = a 1 + a 2
..
.
Sn = a 1 + a 2 + . . . + a n .

Sn es la n-ésima suma parcial y corresponde a la suma de los primeros n

términos de la sucesión. La sucesión S1 , S2 , . . . , Sn se denota por
∞
X
an = a 1 + a 2 + · · · , (3)
n=1

y se llama serie infinita con término general an .

Si lı́m Sn = S existe, entonces la serie es convergente y el valor de la suma

n→∞
es S. En caso de que tal lı́mite no exista se dice que la serie es divergente.

Ejemplo 6 (La serie geométrica). Si a 6= 0, una serie de la forma

∞
X
arn−1 (4)
n=1

es una serie geométrica. Esta serie converge si |r| < 1 y diverge si |r| ≥ 1.

3
En efecto, considérese la n-ésima suma parcial

Sn = a + ar + ar 2 + · · · + ar n−1 .

Si r = 1 entonces Sn = na crece sin lı́mite cuando n tiende a infinito y por

P∞
lo tanto an diverge.
n=1

Sea r 6= 1, entonces

rSn = ar + ar 2 + ar 3 + · · · + ar n

y de esta manera,

Sn − rSn = a − ar n
Sn (1 − r) = a − ar n
a − ar n a arn
Sn = = − . (5)
1−r 1−r 1−r
Ahora bien, al considerar la sucesión {r n }n∈N se tienen dos casos:

Si |r| < 1 entonces lı́m rn = 0 y ası́ de (5) se sigue que

n→∞

∞
X 1
arn = lı́m Sn = .
n→∞ 1−r
n=1

Si |r| > 1 entonces la sucesión {r n }n∈N diverge y por lo tanto la serie

∞
arn también diverge.
P
n=1

En particular, cuando a = 1 la serie geométrica (4) es

∞
X 1
rn−1 = , |r| < 1
1−r
n=1

o de manera equivalente,
∞
X 1
rn = , |r| < 1 (6)
1−r
n=0
♦

4
Propiedades
∞
P ∞
P
Sean an = A y bn = B series convergentes. Entonces,
n=1 n=1

∞
P ∞
P ∞
P
1. (an + bn ) = an + bn = A + B.
n=1 n=1 n=1
∞
P ∞
P
2. Si k es una constante entonces k an = k an = K A.
n=1 n=1

A continuación se presentan algunos criterios de convergencia que permiten

determinar si una serie es convergente o no.

Teorema 7 (Criterio del término n-ésimo para la divergencia). Si

∞
P
la serie an converge entonces lı́m an = 0.
n=1 n→∞

∞
P
Equivalentemente, si lı́m an 6= 0 o no existe, entonces an diverge.
n→∞ n=1

El recı́proco del teorema anterior es falso. En efecto, considérese la serie

armónica
∞
X 1 1 1
= 1 + + + ···
n 2 3
n=1
1
en este caso, lı́m an = lı́m = 0 y sin embargo la serie diverge.
n→∞ n→∞ n

Teorema 8 (Criterio de la integral). Sea f una función continua, po-

sitiva, no creciente y definida en el intervalo [1, ∞). Suponga que para cada
n ∈ N se tiene que an = f (n).
∞
P R∞
Entonces la serie an converge si y sólo si la integral impropia 1 f (x) dx
n=1
converge.
∞
P
Teorema 9 (Criterio del cociente). Sea an una serie de términos
n=1
positivos y supóngase que
an+1
lı́m = p.
n→∞ an
Entonces,

5
 1. Si p < 1, la serie converge.

2. Si p > 1 o si lı́m an = ∞, la serie diverge.

n→∞

3. Si p = 1, el criterio no decide.

Ejemplo 10. A continuación se estudia la convergencia de algunas series

con base en los criterios presentados anteriormente.

P∞ 3n2
1. .
n=1 n + 1
3n2
En este caso, an = y es claro que lı́m an no existe. Por lo tanto,
n+1 n→∞
del criterio del término n-ésimo se sigue que la serie dada diverge.
∞
P 2
2. ne−3n .
n=1
2
Sea f (x) = xe−3x , entonces f es continua, positiva, no creciente y
está definida en el intervalo [1, ∞). Además,
∞ b · ¸b
1
Z Z
−3x2 −3x2 2
xe dx = lı́m xe dx = lı́m − e−3x
1 b→∞ 1 b→∞ 6 1
1³ 2
´ 1
= lı́m − e−3b − e−3 = e−3 ,
b→∞ 6 6
∞
P 2
luego por el criterio de la integral se tiene que ne−3n converge.
n=1
∞ 8n
P
3. .
n=1 n!
8n 8n+1
En este caso, an = y an+1 = , entonces
n! (n + 1)!
8n+1
an+1 (n+1)! 8n+1 n! 8n 8n! 8
= 8n = n
= n
=
an n!
8 (n + 1)! 8 (n + 1)n! n+1

y de esta manera,
an+1 8
p = lı́m = lı́m =0<1
n→∞ an n→∞ n + 1

luego del criterio del cociente se sigue que la serie dada converge.

6
 µ ¶n
∞
P 3
4. n .
n=1 2
En este caso,
¡ ¢n+1
(n + 1) 32
µ ¶
an+1 3 n+1
= n = ,
n 23
¡ ¢
an 2 n

luego
an+1 3 n+1 3
p = lı́m = lı́m = >1
n→∞ an 2 n→∞ n 2
µ ¶n
P∞ 3
y de esta manera n diverge por el criterio del cociente.
n=1 2
♦
∞
P
Definición 11. Una serie de términos complejos zn se dice absoluta-
n=1
∞
P
mente convergente si la serie de los módulos |zn | converge.
n=1
∞
P
Teorema 12. Si zn es absolutamente convergente entonces es conver-
n=1
gente.
Ejemplo 13. Analice la convergencia de las siguientes series de términos
complejos.

∞ 2−i
(−1)n
P
1. .
n=1 (1 + i)n
2−i
Se tiene que zn = (−1)n , entonces
(1 + i)n
¶n
√
µ
n |2 − i| 1
|zn | = | − 1| = 5 √
|1 + i|n 2
y de esta manera,
"∞ µ #
1 n √ X 1 n
∞ ∞ µ
√ X
X ¶ ¶
|zn | = 5 √ = 5 √ −1
n=1 n=1
2 n=0
2
1
y esta última serie converge ya que es una serie geométrica con r = √ .
2
∞ 2 − i
(−1)n
P
Por lo tanto la serie converge puesto que es absolu-
n=1 (1 + i)n
tamente convergente.

7
 i n
µ ¶µ ¶
∞
P i
2. − √ .
n=1 n 3
En este caso,

i n in+1 in+2
µ ¶µ ¶
i
zn = − √ = − ¡√ ¢n y zn+1 = − ¡√ ¢n+1 ,
n 3 n 3 (n + 1) 3

luego ¡√ ¢n
zn+1 −in+2 n 3 in
= ¡√ ¢n+1 = √
zn −in+1 (n + 1) 3 3(n + 1)
y ası́,

|zn+1 | |in| n 1
lı́m = lı́m √ = lı́m √ = √ < 1.
n→∞ |zn | n→∞ | 3(n + 1)| n→∞ 3(n + 1) 3
∞
P
Entonces en virtud del criterio del cociente la serie |zn | converge y
n=1
por lo tanto la serie dada inicialmente también converge.
♦

3. Series de potencias y de Taylor

Definición 14. Sea z0 ∈ C. Una serie de la forma

∞
X
an (z − z0 )n = a0 + a1 (z − z0 ) + a2 (z − z0 )2 + · · · (7)
n=0

se llama serie de potencias alrededor de z = z0 .

Es claro que en el punto z = z0 la serie (7) converge. Si existen otros puntos

donde la serie converge, es posible encontrar un número positivo R de tal
manera que:

La serie converge para |z − z0 | < R.

La serie diverge para |z − z0 | > R.

Para |z − z0 | = R puede que la serie converja o no.

8
 z
R
z0

Tal número R se llama radio de convergencia de la serie de potencias (7) y

|z − z0 | < R es el disco abierto de convergencia.

Ejemplo 15. Determine el radio y disco abierto de convergencia de las

siguientes series de potencias.

P∞ zn
1. 2
. En este caso,
n=1 n
¶2
z n z n2
µ
an+1 n
= n = z
an z (n + 1)2 n+1
¯ ¯ µ ¶2
¯ an+1 ¯ n
lı́m ¯¯ ¯ = lı́m |z| = |z|
n→∞ an ¯ n→∞ n+1

luego en virtud del criterio del cociente, esta serie converge cuando
|z| < 1, esto es en el disco abierto centrado en 0 y de radio R = 1.
P∞ (z + 2)n−1
2. 3 n
. Se tiene que
n=1 (n + 1) 4

(z + 2)n (n + 1)3 4n n+1 3 z+2

µ ¶
an+1
= =
an (z + 2)n−1 (n + 2)3 4n+1 n+2 4
¯ ¯ µ ¶3
¯ = lı́m n + 1 |z + 2| |z + 2|
¯ an+1 ¯
lı́m ¯ =
n→∞ ¯ an ¯ n→∞ n + 2 4 4

|z + 2|
y por el criterio del cociente esta serie converge cuando < 1, es
4
decir en el disco |z + 2| < 4. Por lo tanto el radio de convergencia es
R = 4.

9
 ∞ in
(z + 8i)n . Aquı́,
P
3.
n=1 2n+1

an+1 in+1 2n+1 (z + 8i)n+1 i

= = (z + 8i)
an in 2n+2 (z + 8i)n 2
¯ ¯
¯ = lı́m 1 |z + 8i| = 1 |z + 8i|.
¯ an+1 ¯
lı́m ¯
¯
n→∞ an ¯ n→∞ 2 2

Nuevamente el criterio del cociente garantiza la convergencia de la

1
serie cuando |z + 8i| < 1, esto es, en el disco abierto |z + 8i| < 2, de
2
donde el radio de convergencia de la serie es R = 2.
♦

Existe una relación estrecha las funciones analı́ticas y el hecho de poder

representarlas mediante una serie de potencias alrededor de una punto.

Teorema 16. Sean z0 ∈ C y f una función analı́tica en un disco |z − z0 | <

R, centrado en z0 y con radio R. Entonces f tiene una representación en
serie de potencias alrededor de z0 :
∞
X
f (z) = an (z − z0 )n , |z − z0 | < R (8)
n=0

donde
f (n) (0)
an = , n = 0, 1, 2, . . . (9)
n!

La serie (8) se conoce como la Serie de Taylor de f alrededor de z0 . Se dice

que esta serie converge a f (z) cuando z está en el disco |z − z0 | < R.

Es claro que si f es una función analı́tica en un punto z0 ∈ C, entonces debe

tener un desarrollo en serie de Taylor alrededor de z0 .

En particular, si z0 = 0 entonces (8) se convierte en

∞ ∞
X X f (n)(0)
f (z) = an z n = zn, |z| < R (10)
n!
n=0 n=0

que se conoce como la Serie de Maclaurin de f .

Ejemplo 17. Determine la serie de Maclaurin de las siguientes funciones.

10
1. f (z) = ez .
Dado que la función exponencial compleja es entera, ella admite una
representación en serie de Maclaurin válida para cada z ∈ C. Ahora
bien, dado que

f 0 (z) = ez , f 00 (z) = ez , f 000 (z) = ez , . . . , f (n) (z) = ez

entonces f (n) (0) = 1 para todo n = 0, 1, 2, . . . y de esta manera,

∞
X zn
ez = , |z| < ∞. (11)
n!
n=0

2. f (z) = z 3 e5z .
Nuevamente f es entera y por lo tanto su desarrollo en serie de Maclau-
rin es válido para todo z complejo. De (11) se sigue que
∞ ∞
X (5z)n X 5n
e5z = = zn,
n! n!
n=0 n=0

luego
∞ ∞ ∞
X 5n X 5n X 5n−3
z 3 e5z = z 3 zn = z n+3 = zn, |z| < ∞.
n! n! (n − 3)!
n=0 n=0 n=3

3. f (z) = sen z.
En este caso se usa (11) junto con la definición del seno en términos
de la función exponencial.
"∞ ∞
#
eiz − e−iz 1 ¡ iz ¢ 1 X (iz)n X (−iz) n
sen z = = e − e−iz = −
2i 2i 2i n! n!
n=0 n=0
∞ ∞
1 X in z n (−1)n in z n 1 X in z n
· ¸
= − = [1 − (−1)n ] ,
2i n! n! 2i n!
n=0 n=0
(
0, si n es par
y como 1 − (−1)n = , entonces sólo se tienen
2, si n es impar
en cuenta los términos impares, es decir aquellos de la forma 2n + 1.
Luego,
∞ ∞ 2n+1 2n+1
1 X i2n+1 z 2n+1 £ 2n+1
¤ 1X i z
sen z = 1 − (−1) = ,
2i (2n + 1)! i (2n + 1)!
n=0 n=0

11
 ¡ ¢n
y dado que i2n+1 = i2n i = i i2 = i(−1)n , entonces la serie de
Maclaurin de la función seno es
∞
X (−1)n z 2n+1
sen z = , |z| < ∞. (12)
(2n + 1)!
n=0

4. f (z) = cos z.
Dado que la representación (12) es válida para todo z ∈ C, pues sen z es
entera, entonces es posible derivar a ambos lados de (12) para obtener
la serie de Maclaurin del coseno:
∞
X (−1)n z 2n
cos z = , |z| < ∞. (13)
(2n)!
n=0

5. f (z) = senh z.
En este caso se parte de la identidad senh z = −i sen(iz) y de (12):
∞
X (−1)n (iz)2n+1
senh z = −i sen(iz) = −i
(2n + 1)!
n=0
∞ 2n+1 ∞
X n
(−1) i z 2n+1 X (−1)n (−1)n i z 2n+1
= −i = −i ,
(2n + 1)! (2n + 1)!
n=0 n=0

de donde
∞
X z 2n+1
senh z = , |z| < ∞ (14)
(2n + 1)!
n=0

6. f (z) = cosh z.
Nuevamente, como la representación (14) es válida en todo el plano
complejo, derivando a ambos lados de esta igualdad se obtiene:
∞
X z 2n
cosh z = , |z| < ∞. (15)
(2n)!
n=0
♦

Ejemplo 18. Determine la serie de Taylor de la función f alrededor del

punto z0 dado.

1. f (z) = e−z alrededor de z0 = −3i.

Partiendo de (11) se tiene
∞ ∞
X [−(z + 3i)]n X (−1)n
e −(z+3i)
= = (z + 3i)n ,
n! n!
n=0 n=0

12
 y como e−(z+3i) = e−z e−3i entonces
∞
3i
X (−1)n
e −z
=e (z + 3i)n ,
n!
n=0

y dado que f (z) = e−z es entera, la región de convergencia de esta

serie es |z| < ∞.
1
2. f (z) = alrededor de z0 = 1 − 8i.
2+z
Mediante manipulaciones algebraicas se obtiene:
1 1 1
f (z) = = =
2+z z − 1 + 8i + 1 − 8i + 2 (3 − 8i) + (z − 1 + 8i)
1 1 1
= h i= h i
z−1+8i
(3 − 8i) 1 + 3−8i 3 − 8i 1 − − z−1+8i
3−8i
∞ · ¸ n ∞
X (−1)n
1 X z − 1 + 8i
=* − = n+1
[z − (1 − 8i)]n
3 − 8i 3 − 8i (3 − 8i)
n=0 n=0

Para determinar la región de convergencia se hace uso nuevamente de

la serie geométrica:
¯ ¯
¯ z − 1 + 8i ¯
¯− ¯<1
¯ 3 − 8i ¯
|z − (1 − 8i)|
<1
|3 − 8i|
√
|z − (1 − 8i)| < 73.
♦

4. Series de Laurent

Según lo visto anteriormente, si una función f es analı́tica en algún dis-

co alrededor de z0 entonces f tiene una representación en serie de Taylor
alrededor de z0 . Sin embargo, en caso de que la función f no sea analı́tica en
z0 , ella admite un tipo diferente de desarrollo en serie alrededor del punto
z0 , llamado desarrollo en serie de Laurent.
*
∞
P 1
Usando la serie geométrica rn = para |r| < 1.
n=0 1−r

13
Teorema 19. Sean 0 ≤ r < |z − z0 | < R ≤ ∞ y f una función analı́tica en
el anillo r < |z − z0 | < R. Entonces para cada z en este anillo,
∞
X
f (z) = cn (z − z0 )n , (16)
n=−∞

donde para cada entero n,

1 f (z)
I
cn = dz (17)
2πi C (z − z0 )n+1
y C es cualquier contorno cerrado alrededor de z0 .

z
z0 r
R

La serie (16) se conoce como la Serie de Laurent de f alrededor de z0 en el

anillo dado y los cn son los coeficientes de Laurent de f .
Observación 1. La función f puede no ser analı́tica en z0 , incluso puede
que ni siquiera esté definida allı́ y aún ası́ se puede tener un desarrollo de
Laurent de f alrededor de z0 .
Observación 2. La serie de Laurent de f incluye potencias negativas y
positivas de (z − z0 ), aún más,
∞
X
f (z) = cn (z − z0 )n
n=−∞
−1
X ∞
X
= cn (z − z0 )n + cn (z − z0 )n
n=−∞ n=0
∞ ∞
X c−n X
= + cn (z − z0 )n
(z − z0 )n
n=1 n=0

Ejemplo 20. Determine un desarrollo en serie de Laurent para f alrededor

del punto z0 dado.

14
 1
1. f (z) = , alrededor de z0 = 3i.
(z + 1)(z − 3i)
En primer lugar, se reescribe la función usando fracciones parciales:
1 A B A(z − 3i) + B(z + 1)
f (z) = = + =
(z + 1)(z − 3i) z + 1 z − 3i (z + 1)(z − 3i)
de donde 1 = A(z − 3i) + B(z + 1). Entonces:
1 −1 + 3i
Si z = −1 entonces 1 = A(1 − 3i) y ası́ A = − = .
1 + 3i 10
1 1 − 3i
Si z = 3i entonces 1 = B(3i + 1), de donde B = = .
1 + 3i 10
Por lo tanto
1 −1 + 3i 1 1 − 3i 1
f (z) = = + .
(z + 1)(z − 3i) 10 z+1 10 z − 3i
1 − 3i 1
Nótese que la expresión ya está desarrollada en serie de
10 z − 3i
Laurent alrededor de z0 = 3i.
1
Ahora bien, al considerar la función , ésta es analı́tica en un disco
z+1
alrededor de z0 = 3i y por lo tanto admite desarrollo en serie de Taylor
alrededor de dicho punto. Procediendo como antes,
1 1 1 1 1
= = h i= h i
z+1 z − 3i + 3i + 1 (1 + 3i) 1 + z−3i 1 + 3i 1 − − z−3i
1+3i 1+3i
∞ · ¸n X ∞ n
1 X z − 3i (−1)
= ** − = (z − 3i)n
1 + 3i 1 + 3i (1 + 3i)n+1
n=0 n=0

y con base en la serie geométrica, este desarrollo es válido cuando

¯ ¯
¯z+1¯
¯ 1 + 3i ¯ < 1
¯ ¯
√
|z + 1| < 10.
En conclusión, un desarrollo en serie de Laurent de f alrededor de
z0 = 3i es
∞
1 − 3i 1 −1 + 3i X (−1)n
f (z) = + (z − 3i)n ,
10 z − 3i 10 (1 + 3i)n+1
n=0

**
∞
P 1
Usando la serie geométrica rn = para |r| < 1.
n=0 1−r

15
 √
válido en el anillo 0 < |z − 3i| < 10.
1 − cos(2z)
2. f (z) = , alrededor de z0 = 0.
z2
El argumento en este caso está basado en la serie de Maclaurin de la
función coseno.
∞
1 − cos(2z) 1 cos(2z) 1 1 X (−1)n
f (z) = = − = − (2z)2n
z2 z2 z2 z2 z2 (2n)!
n=0
∞ ∞
1 X (−1)n 22n 2n−2 X (−1)n 22n 2n−2
= 2− z = z ,
z (2n)! (2n)!
n=0 n=1

válida en el anillo 0 < |z| < ∞.

z+1
3. f (z) = , alrededor de z0 = 1.
z−1
Mediante algunas manipulaciones algebraicas y usando nuevamente la
serie geométrica se tiene:
1 + z1 1 X 1 n X 1
µ ¶ ∞ µ ¶ ∞ ∞
z+1 X 1
f (z) = = = 1 + = +
z−1 1 − z1 z z
n=0
zn z n+1
n=0 n=0
∞ ∞ ∞ ∞
X 1 X 1 X 1 X 1
= + = + +1−1
zn zn zn zn
n=0 n=1 n=0 n=1
∞ ∞ ∞
X1 X 1 1 X
= + − 1 = −1 + 2 ,
zn zn zn
n=0 n=0 n=0
¯ ¯
¯1¯
válido cuando ¯¯ ¯¯ < 1, es decir en el anillo 1 < |z| < ∞.
z
1
4. f (z) = , alrededor de z0 = 0.
z 2 (1 − z)
En este ejercicio se va a mostrar que se puede obtener más de un
desarrollo en serie de Laurent alrededor de un punto dado.
De una parte, usando la serie geométrica,
∞
1 1 1 1 X n
f (z) = = = z
z 2 (1 − z) z2 1 − z z2
n=0
∞ ∞ ∞
X X 1 1 X
= z n−2 = zn = 2
+ + zn,
z z
n=0 n=−2 n=0

donde el anillo de convergencia está dado por 0 < |z| < 1.

16
 Por otro lado, reescribiendo la función y recurriendo de nuevo a
la serie geométrica se obtiene:
1 1 1
f (z) = = 2 =
z 2 (1 3 −z 3 1 − z1
£ ¤
− z) z −z
1 X 1 n
∞ µ ¶ ∞ ∞
X 1 X 1
=− 3 =− n+3
=− ,
z z z zn
n=0 n=0 n=3

y esta serie converge cuando 1 < |z| < ∞ (como en el ejemplo

anterior).
ez
5. f (z) = , alrededor de z0 = −1.
(z + 1)2
El punto de partida en este caso es la serie de la función exponencial:
∞
X (z + 1)n
ez+1 =
n!
n=0

y dado que ez+1 = ez e, entonces

∞
1 X (z + 1)n
ez =
e n!
n=0
∞ ∞
ez 1 X (z + 1)n−2 1 X (z + 1)n
= =
(z + 1)2 e n! e (n + 2)!
n=0 n=−2
" ∞
#
1 1 1 X (z + 1)n
= 2
+ + .
e (z + 1) z+1 (n + 2)!
n=0

En este caso el anillo de convergencia es 0 < |z + 1| < ∞.

♦

Bibliografı́a
[1] R.V. Churchill, Variable compleja con aplicaciones, McGraw-Hill, New
York. 1990.
[2] Peter V. O’Neil, Matemáticas avanzadas para ingenierı́a, International
Thomson Editores, S.A. Quinta Edición. 2004.
[3] W. Allen Smith, Elementary Complex Variables, Charles E. Merrill
Publishing Company, 1974.

17