Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoria 5. Series Complejas
Teoria 5. Series Complejas
Matemáticas Especiales
Guı́a N◦ 5: Series Complejas
Grupo de Matemáticas Especiales
Resumen
1. Sucesiones
f : N −→ T
n 7−→ f (n) = an (1)
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.
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 .
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 .
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:
∞
X 1
arn = lı́m Sn = .
n→∞ 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
∞
P
Equivalentemente, si lı́m an 6= 0 o no existe, entonces an diverge.
n→∞ n=1
5
1. Si p < 1, la serie converge.
3. Si p = 1, el criterio no decide.
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.
♦
8
z
R
z0
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|
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
donde
f (n) (0)
an = , n = 0, 1, 2, . . . (9)
n!
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
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
♦
12
y como e−(z+3i) = e−z e−3i entonces
∞
3i
X (−1)n
e −z
=e (z + 3i)n ,
n!
n=0
4. Series de Laurent
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=−∞
z
z0 r
R
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
**
∞
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
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
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