CAPÍTULO 1

Sucesiones y series complejas

Objetivos de aprendizaje:

Después de leer este capítulo, usted será capaz de:

Describir las sucesiones sobre el cuerpo de los números complejos.

Demostrar la propiedad de completitud de los números complejos.
Describir las propiedades básicas de las series de números complejos.
Demostrar los criterios de convergencia de la raíz y de la razón.
Analizar la convergencia del producto de dos series de números complejos.
Demostrar los criterios de Dirichlet y de Abel sobre el producto de dos
series de números complejos.
Construir el producto de Cauchy de dos series, y analizar su convergencia.

1
2 1.1. Sucesiones complejas

1.1. Sucesiones complejas

Sea I ⊂ N infinito. Una sucesión de números complejos es una función f : I → C,

y como siempre existe una biyección entre N e I, en adelante supondremos que
I = N. Si denotamos zn = f (n) para cada n ∈ N, escribiremos

f = (zn )n ⊂ C

Definición 1.1.1 Sea (zn ) ⊂ C y z ∈ C. Se dice que la sucesión (zn ) converge a

z y lo denotamos por zn → z o por lı́m zn = z si
n→∞

∀ε > 0, ∃n0 ∈ N / n ≥ n0 ⇒ |zn − z| < ε

Ejemplo 1.1.1
1+i n
 
1. lı́m n = 0:
n→∞ 2
1+i n
 
n
Puesto que si zn = n , |zn | = √
2 ( 2)n
√n
p n 1
y como n |zn | = √ −→ √ < 1, |zn | −→ 0.
2 2
Finalmente, teniendo en cuenta que |xn | ≤ |zn |, |yn | ≤ |zn |, concluimos que

zn = xn + iyn −→ 0

2. lı́m z n = 0 cuando |z| < 1, puesto que

n→∞

|z n − 0| = |z|n → 0

n
3. lı́m = 1, puesto que
n→∞ n+i
   
 n   −i  1
 n + i − 1 =  n + i  = √n2 + 1 → 0
   

Proposición 1.1.1 Sea zn = xn + iyn y z = x + yi, entonces

zn → z ⇐⇒ xn → x ∧ yn → y

Demostración. Si zn → z, de las desigualdades

|xn − x| ≤ |zn − z| y |yn − y| ≤ |zn − z|

Análisis complejo 3

se tiene la implicación directa.

Recíprocamente. Como xn → x y yn → y, dado ε > 0
ε ε
∃n0 ∈ N / n ≥ n0 ⇒ |xn − x| < √ , |yn − y| < √
2 2
luego, para n ≥ n0
ε2 ε2
|zn − z|2 = (xn − x)2 + (yn − y)2 < + = ε2
2 2
Así |zn − z| < ε ∀n ≥ n0 , como se quería demostrar.
Definición 1.1.2 Sea (zn )n ⊂ C. Se dice que (zn ) es de Cauchy si

∀ε > 0 ∃n0 ∈ N / n, m ≥ n0 ⇒ |zn − zm | < ε

Teorema 1.1.1 (Completitud de C) Sea (zn )n ⊂ C, se cumple que (zn )n es

convergente si y solo si (zn )n es de Cauchy.
Demostración. Si (zn )n es convergente, es fácil ver que es de Cauchy.
Recíprocamente. Sea (zn )n de Cauchy, como

|xn − xm | ≤ |zn − zm | ∧ |yn − ym | ≤ |zn − zm |

las sucesiones (xn ), (yn ) son sucesiones de Cauchy en R, siendo R completo,

∃x, y ∈ R / xn → x, yn → y. Por tanto

zn = xn + iyn → x + iy

1.2. Series complejas

1.2.1. Conceptos básicos

P
Definición 1.2.1 Una serie zn se dice convergente, si la sucesión (sn ) ⊂ C
n≥1
de sumas parciales, definida por

s n = z1 + z2 + . . . + zn

es convergente, en este caso el límite de esta sucesión, es llamada la suma de la

serie, es decir
Xn X∞
s = lı́m sn = lı́m zk = zk
n→∞ n→∞
k=1 k=1
P
Si la serie zn no es convergente, se llama serie divergente.
n≥1
4 1.2. Series complejas

Ejemplo 1.2.1
1. Si |z| < 1,
∞
X 1
zn =
1−z
n=0
En efecto:
1 − z n+1
1 + z + z2 + . . . + zn = , ∀z 6= 1
1−z
y cuando |z| < 1
1 z 1
lı́m (1 + z + . . . + z n ) = − lı́m z n =
n→∞ 1 − z 1 − z n→∞ 1−z

X 1
2. La serie diverge; puesto que
n+i
n≥1
   
1 n−i n −1
= 2 = + i
n+i n +1 n2 + 1 n2 + 1
X n 1 n
y la serie real 2
es divergente, ya que ≤ 2 .
n +1 n+1 n +1
n≥1
X X
Proposición 1.2.1 Dadas las series zn , wn y λ ∈ C.
n≥1 n≥1

1. (Condición
X necesaria)
Si zn converge, entonces zn → 0
n≥1

2. (Propiedad
X Xde Linealidad) X X
Si zn y wn convergen, entonces (zn + wn ) y λzn convergen.
n≥1 n≥1 n≥1 n≥1
Más aún
∞
P ∞
P ∞
P
a) (zn + wn ) = zn + wn
n=1 n=1 n=1
∞
P ∞
P
b) λzn = λ zn
n=1 n=1

La demostración de esta proposición es análoga al caso de variable real.

X
Definición 1.2.2 Se dice que una serie compleja zn es absolutamente con-
n≥1
X
vergente, si |zn | converge.
n≥1
Análisis complejo 5

X
Teorema 1.2.1 Toda serie |zn | absolutamente convergente, es convergente.
n≥1
Más aún
∞ ∞
 
X  X
z ≤ |zk |
 
 k
 
k=1 k=1

Demostración. Sea
tn = |z1 | + |z2 | + . . . + |zn | y sn = z1 + z2 + . . . + zn
P
Como n≥1 |zn | converge, la sucesión (tn )n converge, equivalentemente (tn )n es
de Cauchy; luego para m ≥ n, de
|sm − sn | = |zn+1 + zn+2 + . . . + zm | ≤ |zn+1 | + |zn+2 | + . . . + |zm | = |tm − tn |
vemos que (sn )n es de Cauchy en C,Py por la completitud de C la sucesión (sn )
converge, equivalentemente la serie n≥1 zn es convergente. Más aún
 
Xn  X n
zk  ≤ |zk |
 

 
k=1 k=1
y tomando límite cuando n → ∞, se concluye que
∞ ∞
 
X  X
zk  ≤ |zk |
 

 
k=1 k=1
Ejemplo 1.2.2
X in
1. La serie es convergente, pues:
n2 + i
k≥1
 n  ∞
 i  1 X 1
 n2 + i  = √n4 + 1 y √ converge
 
n=1
n4 +1

2. Para |z| < 1

|z|n+1
 
 1 2 n 


1 − z − (1 + z + z + · · · + z ) ≤
 1 − |z|
entonces
∞ ∞
   
n
 1 X   X  X |z|n+1
− zk  =  z k  ≤ |z|n+1 |z|j =
   
1 − z 1 − |z|

  
k=0 k=n+1 j=0

Por tanto, tenemos la siguiente desigualdad

 
n
 1 X  |z|n+1
− zk  ≤
 
1 − z  1 − |z|

k=0
6 1.2. Series complejas

1.2.2. Límite superior e inferior de números reales

Sea (xn ) ⊂ R una sucesión de números reales, recordamos que

un
z }| {
lı́m sup xn := lı́m sup {xk }
n→∞ k≥n

y
lı́m inf xn := lı́m ı́nf {xk }
n→∞ k≥n
| {z }
ln
El siguiente teorema lista las propiedades mas importantes del límite superior y
del límite inferior.
Teorema 1.2.2 Para (xn ) ⊂ R, se cumple que:
1. lı́m inf xn ≤ lı́m sup xn
2. xn → x, si y solo si lı́mı́nf xn = lı́m sup xn
3. lı́m inf xn es el ínfimo de los puntos límites de (xn ).
4. lı́m sup xn es el supremo de los puntos límites de (xn ).
5. lı́m sup xn = u, si y solo si
a) ∀ε > 0 ∃ n0 ∈ N / n ≥ n0 ⇒ xn < u + ε (eventualmente)
b) ∀ε > 0 ∀n ∈ N ∃n0 ≥ n / u − ε < xn0 (frecuentemente)
Demostración Solo demostraremos la 5. En efecto:
Supongamos que lı́m sup xn = u
a) Sea ε > 0, entonces ∃n0 /n ≥ n0 ⇒ sup {xk } < u + ε, y como xn ≤ sup {xk }
k≥n k≥n
se tiene que
xn < u + ε, ∀n ≥ n0

b) Sea ε > 0 y n ∈ N. Por definición de supremo

∃ n0 ≥ n/ sup {xk } − ε < xn0 ≤ sup {xk }

k≥n k≥n
entonces
u = ı́nf un ≤ sup {xk } < xn0 + ε
k≥n
| {z }
(un )&

Por tanto
∃ n0 ≥ n / u − ε < xn0
Análisis complejo 7

 ε > 0, por a) ∃n0 / n ≥ n0 ⇒ xn < u + ε

Recíprocamente. Sea
luego el conjunto xn0 , xn0 +1 , . . . está acotado superiormente por u + ε, así
un0 = sup {xk } ≤ u + ε
n≥n0

Ahora, si n ≥ n0 ⇒ un ≤ un0 , entonces

un ≤ u + ε ∀n ≥ n0 (1.1)
Además para el ε > 0 dado y para cada n ≥ n0 , por b) se tiene que ∃n1 ≥ n tal
que u − ε < xn1 , entonces u − ε < xn1 ≤ un1 ≤ un . Por tanto
u − ε < un ∀n ≥ n0 (1.2)
De (1.1) y (1.2) un −→ u, es decir
lı́m sup xn = lı́m sup{uk } = u
n→∞ k≥n

Ejemplo 1.2.3 Si 
n , n es par
xn = 1
n , n es impar
Como  
1 1
Xn = , n + 1, , n + 3, . . . para n impar
n n+2
y  
1 1
Xn = n, , n + 2, , . . . para n par
n+1 n+3
entonces un = sup Xn = ∞ y ln = ı́nf Xn = 0. Por tanto
lı́m sup xn = ∞ y lı́mı́nf xn = 0
Ejemplo 1.2.4 Sea (an ) ⊂ R+
una sucesión convergente y (bn ) ⊂ R una sucesión
acotada, entonces
lı́m sup(an bn ) = lı́m an · lı́m sup bn
En efecto:
Supongamos que que an → L (∴ L ≥ 0)
Si L = 0, an bn −→ 0 ⇒ lı́m sup(an bn ) = lı́m an · lı́m sup bn = 0
Si L > 0 y lı́m sup bn = b ⇒ ∃(bnk ) ⊂ (bn ) / bnk → b
luego ank bnk → Lb, es decir, Lb es un punto límite de (an bn )
Si T es “otro” punto límite de (an bn ), ∃(anj bnj ) ⊂ (an bn ) tal que anj bnj → T , y
an bn T T
como L 6= 0, bnj = j j −→ . Pero ≤ b, luego T ≤ Lb, así Lb es el mayor
anj L L
punto límite de (an bn ). Por lo tanto
lı́m sup an bn = Lb = lı́m an lı́m sup bn
n→∞
8 1.3. Criterios de convergencia

1.3. Criterios de convergencia

P
Teorema 1.3.1 (Criterio de la Raíz) Sea zn una serie de números com-
n≥1
plejos, y sea p
n
r = lı́m sup |zn |
X
1. Si 0 ≤ r < 1, la serie zn es absolutamente convergente.
n≥1
X
2. Si r > 1, la series zn es divergente.
n≥1

3. Si r = 1, este criterio no afirma nada.

Demostración.
1. Sea ρ ∈ R / r < ρ < 1. Si ε = ρ − r > 0 (∴ r + ε =pρ)
n
Por
p el teorema (1.2.2, 5a) ∃n 0 ∈ N / n ≥ n 0 ⇒ |zn | < r + ε, es decir
n
|zn | < ρ ∀n ≥ n0 , de donde

|zn | < ρn , ∀n ≥ n0

ρn converge, la serie
P P P
y como |zn | es convergente. Así la serie zn
n≥1 n≥1 n≥1
es absolutamente convergente.
2. Sea ε = r − 1 > 0 (∴ r − ε = 1)
Por el teorema (1.2.2, 5b)
√
para 1 ∈ N ∃n1 ≥ 1 / r − ε < zn1
n1

√
para (n1 + 1) ∈ N ∃n2 ≥ n1 + 1 / r − ε < n2 zn2
√
para (n2 + 1) ∈ N ∃n3 ≥ n2 + 1 / r − ε < n3 zn3

Así, inductivamente,
q
nk
∃(znk ) ⊂ (zn ) / 1 < |znk |
X
Por tanto zn es divergente. (si fuese convergente zn → 0, luego |znk | → 0
n≥1
¡Absurdo!)
3. Basta mostrar los siguientes casos:
X1 p 1
es divergente y lı́m sup n |zn | = lı́m √ =1
n n→∞ n n
n≥1
Análisis complejo 9

X 1 p 1
2
es convergente y lı́m sup n |zn | = lı́m √
n
=1
n n→∞ n2
n≥1

Ejemplo 1.3.1 Sea

 n + 1


i




 2 , n impar
 3

zn =
 n



i 2


, n par



5

Como 
1 1/n
 
1
 √3 √3



 , n impar
p
n
|zn | =
1


 √ , n par


5
 1/n
y teniendo en cuenta que √13 → 1 y √15 < √13 se tiene que
lı́m sup n |zn | = √13 < 1. Por tanto, la serie
p P
zn es absolutamente convergente.
n≥1

Proposición 1.3.1 Sea (zn ) ⊂ C∗ , entonces

   
 zn+1  p
n
p
n
 zn+1 
lı́m inf   ≤ lı́m inf |zn | ≤ lı́m sup |zn | ≤ lı́m sup  
zn  2 1
 zn 

 
 zn+1 
Demostración de 1. Sea u = lı́m sup   (si u = ∞, es obvio). Supongamos
zn 
que u ∈ R, y sea ε > 0 (arbitrario), entonces
 
 zn+1 
∃N ∈ N/   < u + ε, ∀n ≥ N
zn 

o bien |zn+1 | < (u + ε)|zn | ∀n ≥ N . Por tanto

|zN +1 | < (u + ε)|zN |

|zN +2 | < (u + ε)|zN +1 | < (u + ε)2 |zN |
..
.
|zN +k | < (u + ε)k |zN | ∀k ∈ N
10 1.3. Criterios de convergencia

Ahora para n > N y k = n − N tenemos que

|zn | < (u + ε)n−N |zN |

p N p
n
|zn | < (u + ε)1− n n |zN |
p N p
lı́m sup n |zn | ≤ lı́m sup(u + ε)1− n n |zN |
p
⇒ lı́m sup n |zn | ≤ (u + ε), ∀ε > 0
 
p
n  zn+1 
Por tanto lı́m sup |zn | ≤ u = lı́m sup  zn 
P
Teorema 1.3.2 (Criterio de la Razón) Sea zn una serie de números com-
n≥1
plejos no nulos.
 
 zn+1  X
1. Si lı́m sup 
  < 1, entonces zn es absolutamente convergente.
zn 
n≥1
 
 zn+1  X
2. Si lı́m inf 
  > 1, entonces zn es divergente.
zn 
n≥1
   
 zn+1   zn+1 
 ≤ 1 o lı́m sup 
3. Si lı́m inf   zn  ≥ 1, este criterio no afirma nada.

zn 

Demostración.

1. De la phipótesis y la desigualdad 1 de la proposición P (1.3.1)

lı́m sup n |zn | < 1, entonces por el criterio de la raíz n≥1 zn es absolu-
tamente convergente.

2. De la phipótesis y la desigualdad 2 de laPproposición (1.3.1)

lı́m sup n |zn | > 1, entonces por el criterio de la raíz n≥1 zn es divergente.

Observación 1.3.1 Sea

 n + 1


i




 2 , n impar
 3

zn =
 n



i 2


, n par



5
Análisis complejo 11

Como
 n + 1


3




 2 , n impar

 zn+1 
  5

 zn  = 
 

  n
1 5 2


, n par



3 3
   
 zn+1   zn+1 
lı́m inf 
  = 0 ≤ 1 ≤ ∞ = lı́m sup 
 
zn  zn 
el criterio de la razón, no da ninguna información sobre su convergencia.

1.4. Sobre el producto de series

Sobre el producto de dos series analicemos algunos casos:

X X X
1. Si an y bn son convergentes, el producto an bn no necesariamente
n≥1 n≥1 n≥1
es convergente.
(−1)n (−1)n X
Por ejemplo, considerando an = √3
y bn = √ 3
, vemos que an bn
n2 n
n≥1
es divergente.
X X X
2. Existen series an y bn divergentes, tales que an bn sea
n≥1 n≥1 n≥1
convergente.
X X 1
1 √1 ,
Por ejemplo, si an = n y bn = n
an bn = es convergente.
n≥1 n≥1
n3/2
X X
3. Si an es absolutamente convergente y la serie bn es tal que (bn ) está
n≥1 n≥1
X
acotada, entonces an bn es absolutamente convergente
n≥1
En efecto: Sea M > 0 / |bn | ≤ M ∀n ∈ N. Como
X
|an bn | = |an ||bn | ≤ M |an | y |an | es convergente
n≥1
P
n≥1 |an bn |
también es convergente.
X X X
4. Si an y bn son absolutamente convergentes, entonces an bn tam-
n≥1 n≥1 n≥1
bién es absolutamente convergente.
12 1.4. Sobre el producto de series

P P
En efecto: Como n≥1 bn es absolutamente convergente, n≥1 bn tam-
X bn → 0, así la sucesión (bn ) está acotada; luego
bién converge, entonces
aplicando el caso 3, an bn es absolutamente convergente.
n≥1

Ahora veremos un lema importante para demostrar el criterio de Dirichlet, y el

criterio de Abel, sobre el producto de series.
n
P
Lema 1.4.1 Dada las sucesiones (an ) y (bn ). Si An = ak , entonces
k=1

n
X n−1
X
ak bk = Ak (bk − bk+1 ) + An bn (1.3)
k=1 k=1

Demostración. Sea A0 = 0
n
X n
X n
X n
X
ak bk = (Ak − Ak−1 )bk = Ak bk − Ak−1 bk
k=1 k=1 k=1 k=1

n−1
X n−1
X
= Ak bk + An bn − Ak bk+1
k=1 k=0
n−1
X n−1
X
= Ak bk + An bn − Ak bk+1 , A0 = 0
k=1 k=1
n−1
X
= Ak (bk − bk+1 ) + An bn
k=1

Por tanto,
n
X n−1
X
ak bk = Ak (bk − bk+1 ) + An bn
k=1 k=1
n
P
Teorema 1.4.1 (Criterio de Dirichlet) Sea (an ), (bn ) ⊂ R y An = ak . Si
k=1

1. (An ) es acotada,
2. (bn ) decreciente y
3. bn −→ 0
entonces X
an bn converge
n≥1
Análisis complejo 13

Demostración.
De la hipótesis 1. y 3. An bn −→ 0

Como existe M > 0 tal que |Ak | ≤ M para todo k ∈ N, de

n−1
X
|Ak (bk − bk+1 )| ≤ M (bk − bk+1 ) y (bk − bk+1 ) es convergente
k=1

tenemos que n−1

P
k=1 Ak (bk − bk+1 ) es absolutamente convergente
P (por tanto,
convergente). Así, usando la ecuación (1.3) concluimos que k≥1 ak bk es
convergente.
Teorema 1.4.2 (Criterio de Abel) Sean (an ), (bn ) ⊂ R. Si
X
1. an es convergente,
n≥1

2. (bn ) acotada y
3. (bn ) es monótona
X
entonces, la serie an bn es convergente
n≥1
n
P
Demostración. Sea An = ak y A0 = 0, por la hipótesis 1. (An ) está acotada.
k=1

Si (bn ) es decreciente y acotada, existe b ∈ R tal que bn −→ b,

Pentonces (bn −
b) decrece y (bn −b) −→ 0. Luego por el criterio de Dirichlet n≥1 an (bn −b)
es convergente. Considerando
X X X
an bn = an (bn − b) + b an
n≥1 n≥1 n≥1

se concluye la prueba para este caso.

Si (bn ) es creciente y acotada, existe b ∈ R tal que bn −→ b, entonces
P− bn ) es decreciente y (b − bn ) −→ 0. Luego por el criterio de Dirichlet
(b
n≥1 an (b − bn ) es convergente. Considerando
X X X
an bn = b an − an (b − bn )
n≥1 n≥1 n≥1

se concluye la prueba para este caso.

14 1.4. Sobre el producto de series

Veamos ahora, algunas aplicaciones inmediatas de los teoremas de Dirichlet y de

Abel.
∞
P cos(nθ)
Ejemplo 1.4.1 La serie n con θ 6= 2nπ, es convergente:
n=1
Como
n
sen n + 21 θ 1


X
An = cos(kθ) = 1 +
2 sen 2 θ 2
k=1
y
1 1
|An | ≤ 1 + 2, ∀n ∈ N
2 sen 2 θ

la sucesión (An ) está acotada, bn = n1 es decreciente y bn → 0. Así usando el

criterio de Dirichlet se concluye la afirmación.
∞
P (−1)n arctan(n)
Ejemplo 1.4.2 La serie n es convergente:
n=1
P (−1)n

Pues, la serie alternada n es convergente y la sucesión arctan(n) n∈N
n≥1
es monótona (creciente) y acotada. Por tanto de acuerdo al criterio de Abel, el
resultado se concluye.
P P
Ejemplo 1.4.3 Si n≥1 an es divergente,
Pn también n≥1 nan es divergente. De
lo contrario la suma parcial A n = k=1 ka k estaría acotada, y por el criterio de
Dirichlet n≥1 nan · n1 = n≥1 an sería convergente, contradiciendo la premisa.
P P

X X
Teorema 1.4.3 (El Producto de Cauchy) Sean an , bn dos series de
n≥1 n≥1
números complejos convergentes. Si al menos uno de ellos es absolutamente con-
vergente, entonces
∞ ∞
n
! ! ∞ !
X X X X
ak bn−k = an bn (1.4)
n=0 k=0 n=0 n=0

X
Demostración. Supongamos que an es absolutamente convergente, y sean
n≥1

∞
X ∞
X n
X n
X
A= an , B = bn , An = ak , Bn = bk
n=0 n=0 k=0 k=0

n
X n
X
cn = ak bn−k , Cn = cn y β n = Bn − B
k=0 k=0
Análisis complejo 15

Luego
Cn = c0 + c1 + . . . + cn

Cn = a0 b0 + (a0 b1 + a1 b0 ) + . . . + (a0 bn + a1 bn−1 + . . . + an b0 )

= a0 Bn + a1 Bn−1 + . . . + an B0

= a0 (B + βn ) + a1 (B + βn−1 ) + . . . + an (B + β0 )

Cn = An B + (a0 βn + a1 βn−1 + . . . + an β0 )

Así, el teorema quedará demostrado si

a0 βn + a1 βn−1 + . . . + an β0 −→ 0

∞
P
En efecto: Sea ε > 0, K = |an | y M = sup |βn |. Como βn → 0,
n=0 n≥0

ε
∃no ∈ N/n ≥ n0 ⇒ |βn | < (1.5)
2K

Además
q
X ε
|ak | < ∀q > n0 (1.6)
2M
k=n0 +1

Ahora, si n ≥ 2n0 (∴ n > n0 )

n
  X
a0 βn + a1 βn−1 + . . . + an β0  ≤ |ak βn−k |
k=0
n0
X n
X
= |ak | |βn−k | + |ak | |βn−k |
| {z } | {z }
k=0 ε k=n0 +1 ≤M
(1,5)<
2K
n0 n
!
ε X X
< |ak | + M |ak |
2K
k=0 k=n0 +1
∞
ε X  ε 
< |ak | +M
(1,6) 2K 2M
|k=0{z }
K
ε ε
≤ + =ε
2 2