Documentos de Académico
Documentos de Profesional
Documentos de Cultura
SERIES
X
X
X n! n (f) n!
z , (j) cos(in)z n ,
(b) z ,
nn n=0 n=0
n=1
X n
3 + (1)n z n .
X
n2 (k)
X (g) a z n (a C),
(c) an z n (a C), n=0 n=0
n=0
X ( + 1) ( + n 1)( + 1) ( + n 1)
(h) 1+ zn
X n!( + 1) ( + n 1)
(d) n z n ( R), n=1
n=1
(, , R,
/ Z),
(c) Como
1 p p
= lm n |an | = lm n |a|n = |a|,
R n n
entonces R = 1/|a|.
74 5 SERIES
(d) Como
1 p
= lm n |an | = lm n n = 1,
R n n
entonces R = 1.
Hay dos casos a distinguir: (1) |a| 1 y (2) |a| > 1. En el caso (1) an /n 0 cuando n , luego
n + an n 1 + an /n
lm
= l
m = 1,
n n + 1 + an+1 n n + 1 1 + an+1 /(n + 1)
con lo que
1
= lm sup |ak |1/k = lm sup ak = 1.
R k k
As pues, R = 1.
(g) Como
1 2
si |a| > 1,
= lm |an |1/n = lm |an |1/n n
= lm |a| = 1 si |a| = 1,
R n n n
0 si |a| < 1,
entonces
0 si |a| > 1,
R = 1 si |a| = 1,
si |a| < 1.
5 SERIES 75
luego R = 1.
con lo que
1
= lm sup |ak |1/k = lm sup ak = 1.
R k k
As pues, R = 1.
luego
1 p
= lm sup k |ak | = 4
R n
X
X
n
Problema 5.2. Si el radio de convergencia de la serie cn z es 0 < R < , determina el de an z n si
n=0 n=0
cn
(a) an = nk cn , (c) an = , (e) an = ckn ,
n!
(b) an = (2n 1)cn , (d) an = nn cn , (f) an = (1 + z0n )cn (|z0 | > 1).
(a)
1 p
n
p
k/n n k/n
p
n 1
= l
m sup |an | = l
m sup n |c n | = l
m n l
m sup |cn | = ,
R n n n
| {z } n R
=1
luego R = R.
(b)
1 p p p 2
n 1/n n
= l
m sup n
|an | = l
m sup (2 1) |c n | = lm (2n 1)1/n lm sup n |cn | = ,
R n n n
| {z } n R
=2
luego R = R/2.
(c) Como
n! 1
lm = lm = 0,
n (n + 1)! n n + 1
entonces 1/n
1
lm = 0.
n n!
Por lo tanto,
" 1/n # 1/n
1 p 1 p 1 p
= lm sup n |an | = lm sup n
|cn | = lm lm sup n |cn | = 0
R n n n! n n!
| n{z }
=1/R6=
y R = .
(d) Como
n
lm nn = lm n = ,
n n
entonces
1 p p p
n n n n |c | = l
= l
m sup |an | = l
m sup n n m n lm sup n |cn | = ,
R n n n
| n{z }
=1/R6=0
y R = 0.
(e)
p k k
1 p
n n
p
n 1
= l
m sup |an | = l
m sup |c n | = lm sup |cn | = k ,
R n n n R
luego R = Rk .
(f)
1 p p p |z0 |
n n 1/n n n 1/n n
= l
m sup |an | = l
m sup |1 + z 0 | |c n | = l
m |z 0 + 1| |z 0 | l
m sup |cn | = ,
R n n n
| {z } n R
=|z0 |
luego R = R/|z0 |.
5 SERIES 77
X
Problema 5.3. Si el radio de convergencia de la serie cn z n es R < , determina, para k N, el de las
n=0
series
X
X
X 2
(a) ckn z n , (c) cn z kn , (e) cnn z n ,
n=0 n=0 n=0
X cn n X
n+k
X 2
(b) z , (d) cn z , (f) cn z n .
nn
n=1 n=0 n=0
(a) Como el supremo de una subsucesion es menor o igual que el de la sucesion completa,
n o n ok n ok
1/m 1/km 1/m
sup |ckm | = sup |ckm | sup |cm |
mn mn mn
y, por lo tanto,
k
1 1
= lm sup |ckn |1/n lm sup |cn | 1/n
= k,
R n n R
con lo que R Rk .
(b) !
1 |cn |1/n 1
= lm sup = lm lm sup |cn |1/n = 0,
R n n n n n
| {z }
=0
luego R = .
por lo tanto R = R.
Entonces, (
|cn |1/n si k = n2 para algun n N {0},
|ak |1/k =
0 para el resto de los k.
Evidentemente,
1 1
= lm sup |ak |1/k = lm sup |cn |1/n = ,
R k n R
con lo que R = R.
Entonces, ( 2
|cn |1/n si k = n2 para algun n N {0},
|ak |1/k =
0 para el resto de los k.
2 1/n
Como |cn |1/n = |cn |1/n ,
1 2
= lm sup |ak |1/k = lm sup |cn |1/n = 1,
R k n
con lo que R = 1.
X
X
Problema 5.4. Si los radios de convergencia de las series an z n y bn z n son Ra y Rb respectivamente,
n=0 n=0
que se puede decir del radio de convergencia de las siguientes series?
X
n
X
n
X an
(an + bn )z , an bn z , zn (bn 6= 0).
bn
n=0 n=0 n=0
Ra+b mn{Ra , Rb }.
Por otro lado, la suma puede converger sin que converjan las series componentes, por lo que esto es lo
maximo que se puede afirmar.
Respecto del producto,
1 p p p 1
= lm sup n |an bn | lm sup n |an | lm sup n |bn | = ,
Rab n n n R a Rb
por lo que
Rab Ra Rb .
5 SERIES 79
entonces p
s
lm sup n |an |
1 an Rb
= lm sup n = n p = ,
Ra/b n b n lm n
|bn | R a
n
con lo que
Ra
Ra/b = ;
Rb
pero si ese lmite no existe, nada se puede afirmar en general del radio de convergencia de esa serie.
Entonces,
1/n(n+1)
1
si k = n(n + 1) para algun n N,
|ak |1/k = n
0 para cualquier otro valor,
y, por lo tanto,
1
= lm sup |ak |1/k = 1,
R k
o sea que R = 1.
En 1 y en 1 la serie converge condicionalmente porque n(n + 1) es siempre un numero par, con lo que
(1)n(n+1) = 1 y
X (1)n
n
n=1
es condicionalmente convergente, como se demuestra, por ejemplo, con el criterio de Leibnitz de series
alternadas. En z = i,
in(n+1) = (1)n(n+1)/2 ,
80 5 SERIES
La serie, entonces, es
X (1)n(n+3)/2 1 1 1 1 1 1 1
=1 + + + + .
n 2 3 4 5 6 7 8
n=1
1 1 4n + 1
+ = ,
2n 2n + 1 2n(2n + 1)
!
X
n
X
n1
X
n 1 z
nz = z nz =z z =z = .
1z (1 z)2
n=1 n=1 n=0
sumandolas,
X zn X
n+1 z
n X z 2k+1
+ (1) =2 = log(1 z) + log(1 + z),
n n 2k + 1
n=1 n=1 k=0
luego
X z 2k+1 1 1+z
= log .
2k + 1 2 1z
k=0
X
X
Problema 5.7. Expresa, en su crculo de convergencia, la serie n3 an z n en terminos de f (z) = an z n
n=0 n=0
y de sus derivadas.
Solucion:
! ! ! ! !
X
X
X
X
n3 an z n = z n2 an z n =z z nan z n = z z z an z n
n=0 n=0 n=0 n=0
= z z zf (z) = z zf (z) + z 2 f (z) = zf (z) + 3z 2 f (z) + z 3 f (z).
82 5 SERIES
Problema 5.8. Desarrolla en serie de potencias de z a las siguientes funciones, e indica cual es su radio
de convergencia:
(a) (1 z)m , m N, para a = 0; 1+z
(k) valor principal de log , para a = 0;
1z
2z + 3
(b) , para a = 1;
z+1 Z z
2
(l) e d, para a = 0;
2z + 3 0
(c) , para a = 1;
(z + 1)2 Z z
sen
1 (m) d, para a = 0;
(d) 2
, para a = 0; 0
4+z
1 (n) sen2 z, para a = 0;
(e) 2 , para a = 0;
z 5z + 6
z (n) cosh2 z, para a = 0;
(f) , para a = 0;
(z 1)2
(o) sen(2z z 2 ), para a = 1;
1
(g) , con b, c C, c 6= 0, para a = 0.
bz + c (p) valor principal de z 1/3 , para a = 1;
6z
(h) , para a = 0; (q) valor principal de z + i, para a = 0;
z2 4z + 13
1 ez 1 z
(i) , para a = 0; (r) , para a = 0;
(z + 1)2 z2
z2 1 cos z 3
(j) , para a = 0; (s) , para a = 0.
(z + 1)2 z5
2z + 3 2 1 1 1 1
= + = + .
(z + 1)2 z + 1 (z + 1)2 1 + (z 1)/2 4 1 + (z 1)/2 2
Las dos funciones son de la forma (1 w)m , convergente si |w| < 1, con lo que el radio de conver-
gencia es R = 2, y la serie
1 1 1 X (1)n n 1X (n + 1)
+ 2 = n
(z 1) + (1)n (z 1)n
1 + (z 1)/2 4 1 + (z 1)/2 2 4 2n
n=0 n=0
n
X n
X (1) n+1 (1) n+5
= n
(z 1)n 1 + = n
(z 1)n
2 4 2 4
n=0 n=0
X n+5
= (1)n (z 1)n , |z 1| < 2.
2n+2
n=0
(d) Como
1 1 1
2
= ,
4+z 4 1 + z 2 /4
entonces R = 2 y
1 1 X (1)n 2n X (1)n 2n
= z = z , |z| < 2.
4 + z2 4 4n 4n+1
n=0 n=0
1 1 1 1 1 1 1 1
= = = ,
z2 5z + 6 (z 2)(z 3) z3 z2 2 1 z/2 3 1 z/3
(k) Si denotamos
1+z
f (z) = log ,
1z
entonces
1 1 2 X
f (z) = + = = 2 z 2n , |z| < 1.
1+z 1z 1 z2
n=0
Si hallamos una primitiva de la serie,
X z 2n+1
f (z) = c + 2 , |z| < 1,
2n + 1
n=0
(l) !
Z z Z z Z
2
X 2n X 1 z 2n X 1 z 2n+1
e d = d = d = , zC
0 0 n! n! 0 n! 2n + 1
n=0 n=0 n=0
(el radio de convergencia es infinito porque lo es el de la exponencial).
(m)
Z Z
! Z z
z z
sen X
n 2n X (1)n
d = (1) d = 2n d
0 0 (2n + 1)! (2n + 1)! 0
n=0 n=0
X (1)n z 2n+1
= , zC
(2n + 1)! 2n + 1
n=0
(p) Como
1/3
z 1/3 = 1 + (z 1) ,
usando el desarrollo del valor principal de (1 w) ,
1/3
X 1/3 n
z = z , |z| = 1.
n
n=0
86 5 SERIES
(q) Como
z+i= i (1 iz)1/2
y el valor principal de i = (1 + i)/ 2, entonces el radio de convergencia es R = 1 y la serie
1+iX n 1/2
z+i= (i) zn, |z| < 1.
2 n=0 n
se sigue que
X zn
ez 1 z = , z C,
n!
n=2
(s) Como
X z 6n
cos z 3 = (1)n , z C,
(2n)!
n=0
entonces,
3
X z 6n
1 cos z = (1)n+1 , z C,
(2n)!
n=1
y por tanto,
1 cos z 3 X n+1 z
6n5 X
n z
6n+1
= (1) = (1) , z C.
z5 (2n)! (2n + 2)!
n=1 n=0
Problema 5.9. Encuentra una funcion entera f (z) tal que f (i) = 1 y f (n) (i) = (i)n para todo n N.
X
Problema 5.10. Puede la serie de potencias an (z 2)n converger en z = 0 y diverger en z = 3?
n=0
Problema 5.11. Determina el crculo de convergencia de los desarrollos de Taylor de las siguientes funcio-
nes en torno al punto a indicado, sin obtener los desarrollos (para las funciones multivaluadas, considera el
valor principal).
1 1 (g) tanh z, en a = i,
(a) , en a = 1, (d) , en a = 1 + i,
z4
+1 sen z
1
1 1 (h) , en a = 3/4,
(b) 4 , en a = (1 + i)/2, (e) , en a = 1 + 2i, log z
z 1 1 tan z
1 1 1
(c) 4 , en a = i, (f) 3/2 , en a = 5, (i) , en a = 3/2.
z + z2 + 1 z + 8i 1 z
Solucion: (a) Las races del denominador son las soluciones de z 4 = 1, es decir z = ei/4 , ei3/4 . Las
dos mas proximas al punto z = 1 son ei/4 , y su distancia a aquel es
1 s r
i/4 i 1
i 1 2 1 1 1
e 1 = 1 = = 1 + = 1+ 2+
2 2 2 2 2 2 2 2
q
= 2 2,
p
as que el radio de convergencia es R = 2 2.
(b) Las races del denominador son las soluciones de z 4 = 1, es decir z = 1, i. Las races mas proximas
al punto z = (1 + i)/2 son 1 e i, equidistantes de e l, y su distancia es
1
1 = = 1 ,
i
1 i
2 2 2 2 2
as que el radio de convergencia es R = 1/ 2.
(d) Las races del denominador son las soluciones de sen z = 0, es decir, z = n, con n Z. Las dos
races mas proximas a z = 1 + i son z = 0 y z = , y sus respectivas distancias
p p
|1 + i| = 2, |1 + i | = ( 1)2 + 1 > (3 1)2 + 1 = 5,
as que el radio de convergencia es R = 2.
88 5 SERIES
(e) Las races del denominador son las soluciones de tan z = 1, es decir, z = /4 + k, con k Z. La
raz mas cercana a z = 1 + 2i es z = /4, que esta a distancia
r
2
1 + 2i = 1 + 4,
4 4
de modo que ese es el radio de convergencia.
(f) La funcion tiene un corte en el semieje real negativo; aparte de eso, las races del denominador son las
soluciones de z 3/2 = 8i, es decir,
3 3
e 2 ln r+i 2 = eln 8+i 2 ,
2
de donde ln r = 3 ln 8 = ln 4, es decir, r = 4, y
2 4k + 1
= + 2k = , k = 0, 1, 2.
3 2 3
La solucion para k = 2 es = 3, que esta descartada porque cae sobre el corte. As que las dos races
del denominador son
z = 4ei/3 = 2(1 i 3).
Las dos races estan equidistantes de z = 5, y mas cerca de este punto que la singularidad en z = 0
procedente del logaritmo, as que la distancia desde z = 5 a la singularidad mas cercana sera
2 i2 3 5 = 3 i2 3 = 9 + 12 = 21.
Por tanto el radio de convergencia sera R = 21.
(g) Las races del denominador son las soluciones de cosh z = 0, es decir, z = i(n + 1/2), con n Z. La
mas cercana a z = i es z = i/2, as que el radio de convergencia es R = /2 1.
(h) Aparte de la singularidad del logaritmo en z = 0, el denominador se anula cuando log z = 0, cuya u nica
solucion es z = 1. El radio de convergencia es, pues, la distancia desde z = 1 hasta z = 3/4, o sea,
R = 1/4.
(i) El u nico cero del denominador es z = 1, y ademas tenemos el corte, que empieza en z = 0 y se
extiende por el semieje real negativo. La distancia mas corta a z = 3/2 es desde z = 1, as que el radio
de convergencia es R = 1/2.
AYUDA : Para el u ltimo apartado, considera la misma funcion con el corte /2 < arg z 3/2.
(c) La distancia al corte es, evidentemente, 1, que es menor que el radio de convergencia. Si uno calcula la
serie de Taylor de la funcion log z, con el corte /2 < arg z 3/2, centrada en el mismo punto, se
obtiene
exactamente la misma serie, pero ahora la distancia al corte es la distancia al origen, y e sta es
2. Esto explica por que ocurre lo que ocurre con el corte principal: resulta que log z con este segundo
corte es una extension analtica de log z con el corte principal sobre el disco de convergencia de la serie,
y por eso la serie converge a esta segunda funcion, no a la primera. De ah que el radio de convergencia
no coincida con la distancia al corte, sino al origen, que es una singularidad comun a todos los posibles
cortes.
luego
X
n rei r2 r cos r2
r cos n = Re = ,
1 + r2 2r cos 1 2r cos + r2
n=1
X
n rei r2 r sen
r sen n = Im = .
1 + r2 2r cos 1 2r cos + r2
n=1
90 5 SERIES
Problema 5.14. Estudia el comportamiento de las siguientes series de potencias en la frontera del crculo
de convergencia:
X X z n! X z pn
(a) zn, (d) 2
, (g) (p N),
n n
n=1 n=1 n=1
X zn X (1)n n
X zn
(b) , (e) z , (h) ,
n n n
n=1 n=1 n=1
X zn X (1)n X
(c) 2
, (f) z 3n1 , (i) cos(in)z n .
n ln n
n=1 n=2 n=0
Cuando z = 1,
k
X
1 = k,
n=1
ahora bien, como eik no tiene lmite para dichos valores de , podemos afirmar que la serie no converge
en ningun punto de la circunferencia |z| = 1.
Por otro lado, como an Rn = 1/ ln n, decreciente y convergente a cero, la serie converge cuando |w| = 1
excepto cuando w = 1, en que es claramente divergente. Ahora bien, respecto de la serie original esto
implica que su radio de convergencia es R = 1 tambien, y que converge cuando |z| = 1 excepto cuando
z 3 = 1, es decir, cuando z = 1, ei/3 .
en + en 1
R = lm n+1 n1
= .
n e +e e
Sobre |z| = e1 , la sucesion
1 + e2n
an Rn = cosh nen = ,
2
que es monotona decreciente pero no converge a cero. Tomemos, entonces, un punto sobre |z| = e1 ,
cuya forma generica es z = e1+i , con 0 < 2. El termino general de la serie sera
1 + e2n in
cosh nz n = cosh nen ein = e .
2
Este termino general no tiende a cero para ningun valor de , luego la serie no converge en ningun punto
de |z| = e1 .
Problema 5.15. Estudia los conjuntos de C en que son convergentes las series
n
X z X 1 X zn
(a) , (d) , (g) ,
z+1 n(z + i)n 1 + z 2n
n=1 n=1 n=1
X 2n X zn X 2
(b) , (e) , (h) n!ein z ,
(z 1)2n (1 z n )(1 z n+1 )
n=0 n=1 n=0
n
X 1 z+1 X enz
(c) , (f) ,
n 3n
2 z1 n2
n=1 n=1
y suma las series (a)(f) donde converjan.
AYUDA : Para la serie (e), calcula la diferencia (1 z n )1 (1 z n+1 )1 ; para la serie (g), considera por
separado el interior y el exterior del crculo D(0, 1).
Sobre la frontera, |w| = 1, equivalente a Re z = 1/2, la serie no converge y fuera del disco (es decir,
para Re z < 1/2) diverge.
Donde converge, la suma vale
n z
X z
= z+1z = z.
z+1 1 z+1
n=1
Z Z
! Z
w w w
X wn X n1 1 X n d
F (w) = = d = d = log(1 ) ,
n2 n n
n=1 n=1 0 0 n=1 0
o sea,
n
X 1 z+1 z+1
=F .
n 3n
2 z1 3(z 1)
n=1
94 5 SERIES
que converge absolutamente sobre |w| < 1, esto es, |z + i| > 1. La convergencia sobre la frontera
|z + i| = 1 es condicional salvo cuando z + i = 1, es decir, z = 1 i, donde la serie diverge. Dentro
del disco, |z + i| < 1, la serie diverge.
Donde converge, la serie suma
X 1 1 z1+i
= log 1 = log .
n(z + i)n z+i z+i
n=1
(e) Como
1 1 1 z n+1 1 + z n z n (1 z)
= = ,
1 z n 1 z n+1 (1 z n )(1 z n+1 ) (1 z n )(1 z n+1 )
entonces
zn 1 1 1
= ,
(1 z n )(1 z n+1 ) 1z 1 z n 1 z n+1
con lo que
X zn 1 X 1 1
= ,
(1 z n )(1 z n+1 ) 1z 1 z n 1 z n+1
n=1 n=1
as que la convergencia esta ligada a la existencia del lmite anterior. Si |z| < 1 tenemos z n 0 cuando
n y, por tanto,
1
1
1 zn
cuando n ; si |z| > 1,
1 z n
= 0
1 zn z n 1
cuando n , as que en ambos casos las serie converge. Si z = 1 la serie no esta definida, y si
z = ei , con 6= 2k (k Z),
1
1 ein
no tiene lmite. En conclusion, la serie converge cuando |z| =
6 1 y diverge cuando |z| = 1.
Donde converge, la suma de la serie es
z
(1 z)2 si |z| < 1,
X zn 1 1 1
= lm =
n
(1 z )(1 z n+1 ) 1z 1 z n 1 z n 1
n=1
si |z| > 1.
(1 z)2
5 SERIES 95
con lo que la serie converge absolutamente si |w| < 1 y diverge si |w| > 1. Sobre |w| = 1 el termino
2
general de la serie, n!ein , no tiende a 0 y es, por tanto, divergente.
La serie original se obtiene de e sta haciendo w = eiz . La condicion de convergencia, |w| < 1, se traduce
en
|eiz | = e Im z < 1 Im z > 0.
Demuestra que
Solucion: (a) Una funcion par cumple f (z) = f (z) y, por tanto,
X
X
X
n n n
0 = f (z) f (z) = an z (1) an z = [1 (1)n ]an z n .
n=0 n=0 n=0
Ahora bien, (
n 0 si n es par,
1 (1) =
2 si n es impar,
luego
X
0=2 a2k+1 z 2k+1 .
k=0
Como la serie de Taylor de la funcion 0 es u nica, los coeficientes deben ser todos nulos, as que
a2k+1 = 0, k N {0}.
Ahora bien, (
n 2 si n es par,
1 + (1) =
0 si n es impar,
luego
X
0=2 a2k z 2k .
k=0
Como la serie de Taylor de la funcion 0 es u nica, los coeficientes deben ser todos nulos, as que
a2k = 0, k N {0}.
Problema 5.17. Estudia si existe o no una funcion analtica en algun dominio que contenga el intervalo
real [0, 1] tal que en los puntos 1/n, con n N, tome los valores
(a) 0, 1, 0, 1, 0, 1, . . .
(b) 0, 1/2, 0, 1/4, 0, 1/6, . . . , 0, 1/(2k), . . .
(c) 1/2, 1/2, 1/4, 1/4, 1/6, 1/6, . . . , 1/(2k), 1/(2k), . . .
(d) 1/2, 2/3, 3/4, 4/5, 5/6, 6/7, . . . , n/(n + 1), . . .
Solucion: (a) Una funcion as debe cumplir f (1/2n) = 1 para todo n N. Como la sucesion {1/2n} es de
terminos todos distintos y converge a 0, que esta en el intervalo [0, 1], solo hay una funcion holomorfa
en que verifique esa condicion, y es f (z) = 1. Pero evidentemente esta funcion no se anula sobre los
puntos 1/(2n + 1).
(b) Como en el caso anterior, pero ahora la condicion es f (1/2n) = 1/2n y la funcion f (z) = 1/z, que
tampoco se anula sobre los puntos 1/(2n + 1).
5 SERIES 97
(c) Como en el caso anterior, la funcion tendra que ser f (z) = 1/z, pero entonces no puede valer lo mismo
sobre 1/(2n 1) que sobre 1/2n.
(d) Ahora buscamos una funcion holomorfa que cumpla
1 n 1
f = = ,
n n+1 1 + 1/n
y tal funcion (unica por el principio de prolongacion analtica) es f (z) = 1/(1 + z).
Problema 5.18. (a) Halla el desarrollo en serie de potencias de z de la funcion entera f (z) que coincida
sobre el eje real positivo con la funcion f (x) = sen x/ x.
(b) Cuanto vale esa funcion sobre el eje real negativo?
con lo que
2n
sen x X n ( x)
X xn
= (1) = (1)n .
x (2n + 1)! (2n + 1)!
n=0 n=0
La funcion analtica que coincide con esta sobre el eje real es, logicamente,
X zn
f (z) = (1)n .
(2n + 1)!
n=0
(b)
X xn X ( x)2n senh x
f (x) = = = .
(2n + 1)! (2n + 1)! x
n=0 n=0
Problema 5.19. Sin calcular sus derivadas, obten los desarrollos en serie de potencias de z, hasta grado 4,
de las funciones
2 z z
(a) log(1 z) , (c) ee , (e) ez sen z , (g) ,
ez 1
log(1 + z)
(b) ez/(1z) , (d) (1 + z)z , (f) cos z, (h) .
cos z
y por otro,
X wn
ew = ,
n!
n=0
con lo cual,
1 1
ez/(1z) = 1 + (z + z 2 + z 3 + z 4 + ) + (z + z 2 + z 3 + )2 + (z + z 2 + )3
2 6
1
+ (z + )4 + ;
24
ahora bien,
(z + z 2 + z 3 + )2 = z 2 + (1 + 1)z 3 + (1 + 1 + 1)z 4 + = z 2 + 2z 3 + 3z 4 + ,
(z + z 2 + )3 = (z + z 2 + )(z 2 + 2z 3 + ) = z 3 + (2 + 1)z 4 + = z 3 + 3z 4 + ,
(z + )4 = z 4 + ,
por lo tanto,
1 1
ez/(1z) = 1 + (z + z 2 + z 3 + z 4 + ) + (z 2 + 2z 3 + 3z 4 + ) + (z 3 + 3z 4 + )
2 6
1 4 1 2 1
+ (z + ) + = 1 + z + 1 + z + 1+1+ z3
24 2 6
3 1 1 3 13 73
+ 1+ + + z4 + = 1 + z + z2 + z3 + z4 + .
2 2 24 2 6 24
(c) Escribimos
z z 1
ee = eee
y sustituimos
2 3
ez 1 z2 z3 z4 1 z2 z3 1 z2
e =1+ z+ + + + + z+ + + + z+ +
2 6 24 2 2 6 6 2
1
+ (z + )4 + ;
24
pero
2
z2 z3 1 1 1 1 1 7
z+ + + = z2 + + z3 + + + z4 + = z2 + z3 + z4 + ,
2 6 2 2 6 6 4 12
3
z2 z2 2 3
3 1
z+ + = z+ + z + z + = z + 1 + z4 +
2 2 2
3
= z3 + z4 + ,
2
(z + )4 = z 4 + ,
5 SERIES 99
con lo que
ez 1 1 1 2 1 1 1 3 1 7 1 1
e =1+z+ + z + + + z + + + + z4 +
2 2 6 2 6 24 24 4 24
5 5
= 1 + z + z2 + z3 + z4 +
6 8
y por lo tanto,
z 5 5
ee = e 1 + z + z 2 + z 3 + z 4 + .
6 8
(d) La funcion
(1 + z)z = ez log(1+z) ;
ahora bien,
z3 z4
z log(1 + z) = z 2 + + ,
2 3
con lo cual
z z log(1+z) 2 z3 z4 1 2 2
(1 + z) = e =1+ z + + + z + +
2 3 2
3
z 1 1 z3 5 4
= 1 + z2 + + z4 + = 1 + z2 + z + .
2 3 2 2 6
(e) Como
z4
z sen z = z 2 +
6
entonces
z sen z 2z4 1 1 1
e =1+ z + + (z 2 + )2 + = 1 + z 2 + z4 +
6 2 2 6
z4
= 1 + z2 + + .
3
(f) La funcion
p
cos z = 1 + (cos z 1),
con lo que usando
w w2
1+w =1+ + ,
2 8
z2 z4
cos z 1 = + + ,
2 24
obtenemos
2 2 2
1 z z4 1 z z2 1 1
cos z = 1 + + + + + = 1 + z4 +
2 2 24 8 2 4 48 32
z2 z4
=1 + .
4 96
100 5 SERIES
(g) Como
z2 z3 z4 z5
ez 1 = z + + + + + ,
2 6 24 120
dividiendo z entre ez 1,
z z + 12 z 2 + 61 z 3 1 4
+ 24 z 1 5
+ 120 z
z + 21 z 2 + 16 z 3 1 4
+ 24 z 1 5
+ 120 z 1 12 z 1 2
+ 12 z 1 4
720 z
21 z 2 16 z 3 1 4
24 z 1 5
120 z
21 z 2 14 z 3 1 4
12 z 1 5
48 z
1 3 1 4 1 5
12 z 24 z + 80 z
1 3 1 4 1 5
12 z 24 z + 72 z
1 5
720 z
1 5
720 z
y por lo tanto,
z z z2 z4
= 1 + + .
ez 1 2 12 720
(h) Como
z2 z3 z4
log(1 + z) = z + + ,
2 3 4
z2 z4
cos z = 1 + + ,
2 24
dividiendo las dos series
z 21 z 2 + 13 z 3 14 z 4 1 12 z 2 1 4
+ 24 z
z 21 z 3 z 12 z 2 + 56 z 3 21 z 4
12 z 2 5 3
6z 14 z 4
12 z 2 1 4
4z
5 3
6z 12 z 4
5 3
6z
12 z 4
12 z 4
luego
log(1 + z) 1 5 1
= z z2 + z3 z4 + .
cos z 2 6 2
5 SERIES 101
Problema 5.20. Halla los desarrollos de Laurent en potencias de z de las siguientes funciones en el ma-
yor numero de dominios posible, e indica los correspondientes anillos de convergencia (considera el valor
principal de las funciones multivaluadas).
1 1 za
(a) 2 , (d) , (g) log (0 < a < b),
z 3z + 2 z(1 z) zb
1 1 1 1 arctan z
(b) + + , (e) (a 6= 0, k N), (h) ,
z (z 1)2 z + 2 (z a)k z4
1 1
(c) sen , (f) z 2 e1/z , (i) (a, b C).
z (z a)(z b)
1 1 1 1 1 1
= = = .
z2 3z + 2 (z 1)(z 2) z2 z1 1z 2z
Por un lado,
1 X
= zn, |z| < 1,
1z
n=0
pero tambien
1 1 1 1 X n X X
= 1
= z = z (n+1) = z n , |z| > 1.
1z z 1z z
n=0 n=0 n=1
pero tambien
1 1 1 1 X 2n X 2n X 2n1
= = = = , |z| > 2.
2z z 1 2/z z zn z n+1 zn
n=0 n=0 n=1
Finalmente 1/z es su propia serie de Laurent para |z| > 0. Combinando todos los resultados tenemos
que, para 0 < |z| < 1,
n
1 1 1 1 X n
X
n z 1 X (1)n
+ + = + (n + 1)z + (1) n+1 = + 1 + n+1 z n ;
z (z 1)2 z + 2 z 2 z 2
n=0 n=0 n=0
(g) El conjunto donde la funcion no es anatica corresponde a los complejos z tales que
za a + rb
= r 0 z= a z b.
zb 1+r
La funcion, entonces, admitira dos desarrollos de Laurent: uno para |z| < a y otro para |z| > b.
Si |z| < a,
za a 1 z/a a X zn X zn
log = log + log = ln +
zb b 1 z/b b nan nbn
n=1 n=1
X 1 1 zn
= ln(b/a) + .
bn an n
n=1
Si |z| > b,
n
za 1 a/z X an X bn X b an
log = log = + = .
zb 1 b/z nz n nz n nz n
n=1 n=1 n=1
(h) Como
i i+z
arctan z = log ,
2 iz
el conjunto donde no es analtica correspondera a los complejos z tales que
i+z r+1
= r 0 z= i z = yi, |y| 1.
iz r1
Entonces solo admite un desarrollo de Laurent para |z| < 1. En ese caso,
X z 2n+1
arctan z = (1)n
2n + 1
n=0
104 5 SERIES
y, por tanto,
2n3 2n3 2n+1
arctan z X n z 1 1 X
n z 1 1 X
n z
= (1) = + (1) = + (1) .
z4 2n + 1 z 3 3z 2n + 1 z 3 3z 2n + 5
n=0 n=2 n=0
Podemos considerar otra determinacion para el logaritmo, como por ejemplo, 0 arg z < 2. Entonces
i+z r+1
=r0 z= i z = yi, 1 y 1,
iz r1
y el u nico desarrollo de Laurent posible es para |z| > 1. La forma de obtenerlo es a partir de la derivada:
X (1)n X (1)n+1
1 1 1
(arctan z) = = = = ,
1 + z2 z 2 1 + z 2 z 2n+2 z 2n
n=0 n=1
de donde
X (1)n
arctan z = c + .
(2n 1)z 2n1
n=1
Entonces,
arctan z X (1)n X (1)n
= + = .
z4 2z 4 (2n 1)z 2n+3 2z 4 (2n 3)z 2n+1
n=1 n=2
Como
X zn
si |z| < |a|,
1
an+1
n=0
=
za X an1
si |z| > |a|,
zn
n=1
y analogamente para 1/(z b) cambiando a por b, combinando las expresiones tendremos los posibles
desarrollos. Supongamos, sin perdidad de generalidad, que |a| |b|; entonces, si |z| < |a|
1 1 X 1 1
= zn;
(z a)(z b) ba an+1 bn+1
n=0
5 SERIES 105
si |a| < |z| < |b| (este caso es vaco si |a| = |b|)
1 1 X zn 1 X an1
= ,
(z a)(z b) ba bn+1 b a zn
n=0 n=1
Problema 5.21. Halla los desarrollos de Laurent en potencias de z a de las siguientes funciones, e indica
los correspondientes anillos de convergencia.
1 z 2 1
(a) , con a = i; (c) sen , con a = 1; (e) z sen , con a = 1;
(z 2 + 1)2 1z z1
2
sen z z 4z
(b) , con a = ; (d) e1/(1z) , con a = 1; (f) cos , con a = 2.
(z )2 (z 2)2
1 1 1 1 1 1
= = =
(z 2 + 1)2 (z i)2 (z + i)2 (z i)2 2i + (z i) 2 4(z i)2 1 i(z i)/2 2
n n2
1 X i n 1 i X i
= (z i) = + + (z i)n2
4(z i)2 2n 4(z i)2 8(z i) 2n+2
n=0 n=2
1 i X in
= + + (z i)n , 0 < |z i| < 2.
4(z i)2 8(z i) 2n+4
n=0
(d)
X (1)n
e1/(1z) = , 0 < |z 1|.
n!(z 1)n
n=0
106 5 SERIES
Problema 5.22. Halla los desarrollos de Laurent de las siguientes funciones en los anillos que se indican.
1 1
(a) en 0 < |a| < |z| < |b|, (c) en |z| < 2 y en |z| > 2,
(z a)(z b) (z 2)2
(d) ez+z
1
en 0 < |z|,
z2
2z + 5 1
(b) en 1 < |z| < 2, (e) sen z sen en 0 < |z|.
(z 2)(z 2 + 1) z
5 SERIES 107
z 2 2z + 5 A Bz + C
2
= + 2 ,
(z 2)(z + 1) z2 z +1
de donde
z 2 2z + 5 = A(z 2 + 1) + (Bz + C)(z 2).
de donde
2(z 2)
Bz + C = = 2 B = 0, C = 2.
z2
As pues,
z 2 2z + 5 1 2
= .
(z 2)(z 2 + 1) z 2 z2 + 1
Como |z| < 2,
X zn
1 1 1
= = ;
z2 2 1 z/2 2n+1
n=0
entonces,
z 2 2z + 5 X zn X (1)n
= + 2 , 1 < |z| < 2.
(z 2)(z 2 + 1) 2n+1 z 2n
n=0 n=1
108 5 SERIES
si 2 < |z|,
X (n + 1)2n X (n 1)2n2
1 1 1
= = = .
(z 2)2 z 2 (1 2/z)2 z n+2 zn
n=0 n=2
(d)
X
X
z+z 1 z 1/z
X zn X 1 X z nm X zk
e =e e = = = .
n! m!z m n!m! (m + k)!m!
n=0 m=0 n=0 m=0 m=0 k=m
Vamos a cambiar el orden de las sumas. Como m recorre todos los enteros no negativos, k puede tomar
cualquier valor entero; por otro lado, tenemos que m 0 y que k m o, lo que es equivalente,
m k, as que m max{0, k}. Entonces,
X
X zk X X 1
= zk
(m + k)!m! (m + k)!m!
m=0 k=m k= m=m
ax{0,k}
1
X
k
X 1 X
k
X 1
= z + z .
(m + k)!m! (m + k)!m!
k=0 m=0 k= m=|k|
X 1 X 1 X 1
= = ,
(m + k)!m! (m |k|)!m! m!(m + |k|)!
m=|k| m=|k| m=0
(e)
1 X z 2n+1 X 1
sen z sen = (1)n (1)m
z (2n + 1)! (2m + 1)!z 2m+1
n=0 m=0
X
X z 2(nm) XX z 2(nm)
= (1)n+m = (1)nm ,
(2n + 1)!(2m + 1)! (2n + 1)!(2m + 1)!
n=0 m=0 n=0 m=0
1 X X 1
sen z sen = (1)k ak z 2k , ak = .
z (2m + 1)!(2m + 2|k| + 1)!
k= m=0
5 SERIES 109
Problema 5.23. Se definen los numeros de Bernoulli mediante el desarrollo en serie de potencias
z X Bn
= zn.
ez 1 n!
n=0
Como
ez 1 X z n
= ,
z (n + 1)!
n=0
haciendo el producto de series concluimos que
n
X X Bk
an z n = 1, an = .
(n k + 1)!k!
n=0 k=0
Esto implica que a0 = 1 y que an = 0 para todo n N; de lo primero deducimos que B0 = 1, y de los
segundo, que
n
X Bk
= 0.
(n k + 1)!k!
k=0
La funcion cumple
z z z zez z z(ez 1 + 1) z z
f (z) = z = + z = + = +z+ z = f (z),
2 e 1 2 e 1 2 ez 1 2 e 1
luego es par. Eso implica que todos los coeficientes impares de su desarrollo de Taylor se anulan, es
decir,
1
B1 + = 0, B2n+1 = 0,
2
de ah que B1 = 1/2. Para hallar los pares usamos la formula del apartado anterior de manera recur-
siva:
1 3 1
B0 + 3B1 + 3B2 = 0 B2 = 1 + = ;
3 2 6
1 5 5 1
B0 + 5B1 + 10B2 + 5B4 = 0 B4 = 1 + = ;
5 2 3 30
1 7 7 7 1
B0 + 7B1 + 21B2 + 35B4 + 7B6 = 0 B6 = 1 + + = ;
7 2 2 6 42
1 9 21 1
B0 + 9B1 + 36B2 + 126B4 + 84B6 + 9B8 = 0 B8 = 1 + 6 + 2 = .
9 2 5 30
(c) El lmite en cuestion no es mas que el recproco del radio de convergencia de la serie. Dicho radio se
puede obtener como la distancia a la singularidad mas proxima al origen de la funcion. Como tales
singularidades son los ceros del denominador, se obtienen resolviendo
ez = 1 z = 2ki, k Z.
Las mas cercana son z = 2i, as que el radio de convergencia es 2, y por tanto,
1/n
|Bn | 1
lm sup = .
n n! 2
(1)
1 1 ez 1 ez 1 2
z
z
= 2z
= 2z ,
e +1 e 1 e 1 e 1
luego
z z 2z X Bn
n
X Bn
n n
X Bn
= = z 2 z = (1 2n )z n .
ez + 1 ez 1 e2z 1 n! n! n!
n=0 n=0 n=1
El radio de convergencia se deduce de la singularidad mas cercana al origen. Las singularidades son los
ceros de ez + 1, es decir z = (2k + 1), con k Z; por tanto, el radio de convergencia es R = .
(2)
luego
2i 1 2iz 1 X Bn
tan z = i + 2iz = i + = i + (1 2n )2n in z n
e +1 z e2iz + 1 z n!
n=1
X Bn X B2n
= (1 2n )2n in z n1 = (1 4n )4n (1)n z 2n1
n! (2n)!
n=2 n=1
X B2n+2 2n+1
= (1)n (4n+1 1)4n+1 z .
(2n + 2)!
n=0
Como los ceros del denominador, cos z = 0, son z = (n + 1/2), con n Z, entonces el radio de
convergencia es R = /2.
(3)
luego
2iz X Bn X Bn
z cotan z = iz + 2iz = iz + 2n in z n = 1 + 2n in z n
e 1 n! n!
n=0 n=2
X B2n n n 2n
X B2n n
=1+ 4 (1) z = 4 (1)n z 2n .
(2n)! (2n)!
n=1 n=0
Como los ceros del denominador, sen z = 0, son z = n, con n Z, las singularidades de z cotan z
son z = k con k N, con lo que el radio de convergencia es R = .
(4)
i i i(eiz + 1 + eiz 1) 2ieiz 2i 1
iz
+ iz
= 2iz
= 2iz
= iz iz
= ,
e 1 e +1 e 1 e 1 e e sen z
112 5 SERIES
luego
z iz iz X Bn X Bn
= iz + iz = in z n + (1 2n ) in z n
sen z e 1 e +1 n! n!
n=0 n=1
iz X B2n n 2n iz X B2n
=1 + (1) z + + (1 4n ) (1)n z 2n
2 (2n)! 2 (2n)!
n=1 n=1
X B2n X B2n
=1+ (2 4n ) (1)n z 2n = (2 4n ) (1)n z 2n .
(2n)! (2n)!
n=1 n=0
(5) De la relacion
sen z
(log cos z) =
= tan z
cos z
podemos deducir la serie de log cos z integrando la de tan z y teniendo en cuenta que el valor principal
de log cos 0 = 0. Entonces
X B2n+2 z 2n+2
log cos z = (1)n (4n+1 1)4n+1 .
(2n + 2)! 2n + 2
n=0
(6) De la relacion
tan z cos2 z 1 1 1 2 1
log = = =
z tan z z cos z sen z z sen 2z z
y la serie
2 1 1 2z 1X B2n
= 1 = (2 4n ) (1)n 4n z 2n
sen 2z z z sen 2z z (2n)!
n=1
X B2n
= (2 4n ) (1)n 4n z 2n1 ,
(2n)!
n=1
Hemos empleado, ademas que en z = 0 el valor principal de la funcion es 0. Como el radio de conver-
gencia de z/ sen z es , el de 2z/ sen 2z, y por tanto el de esta serie, es R = /2.
z X B2n n z 2n
log = 4 (1)n+1 .
sen z (2n)! 2n
n=1
Hemos empleado, ademas que en z = 0 el valor principal de la funcion es 0. Como el radio de conver-
gencia de z cotan z es , el de esta serie tambien es R = .
y sea p N.
(b) Que se puede decir del radio de convergencia R en relacion con el radio de convergencia R?
Solucion: (a) Para probarlo utilizaremos el siguiente resultado, demostrado en el problema 1.20:
p1
(
1X n 1 si n es multiplo de p,
wk = wk = ei2k/p .
p 0 si n no es multiplo de p,
k=0
Entonces,
p1 p1
p1
!
1X 1 XX X 1X n X
g(z) = f (wk z) = an (wk z)n = an z n wk = akp z kp .
p p p
k=0 k=0 n=0 n=0 k=0 k=0
1 1
= lm sup |akp |1/kp lm sup |an |1/n = ,
R k n R
y por lo tanto, R R.
114 5 SERIES
NOTA : En la definicion de Jn (z) los terminos con factorial negativo se consideran nulos.
(b) Como
X (1)k z n+2k
z 2 Jn (z) = (n + 2k)(n + 2k 1) ,
k!(n + k)! 2
k=0
X (1)k z n+2k
zJn (z) = (n + 2k) ,
k!(n + k)! 2
k=0
X (1)k z n+2k+2 X (1)k z n+2k
z 2 Jn (z) = 4 = (4)
k!(n + k)! 2 (k 1)!(n + k 1)! 2
k=0 k=1
X (1)k z n+2k
= (4)k(n + k) ,
k!(n + k)! 2
k=1
entonces
z 2 Jn (z) + zJn (z) + (z 2 n2 )Jn (z)
X h i (1)k z n+2k
= (n + 2k)(n + 2k 1) + (n + 2k) 4k(n + k) n2 ,
k!(n + k)! 2
k=0
pero
(n+2k)(n+2k1)+n+2k4k(n+k)n2 = n2 +n(4k1)+2k(2k1)+n+2k4kn4k 2 n2 = 0,
luego
z 2 Jn (z) + zJn (z) + (z 2 n2 )Jn (z) = 0.
5 SERIES 115
(c)
(ww1 )z/2 wz/2 z/2w
X z n wn X z m 1
e =e e = (1)m
2 n! 2 m!wm
n=0 m=0
X m+n wnm
X
X
m z
X z 2m+k wk
= (1) = (1)m
2 m!n! 2 m!(m + k)!
n=0 m=0 m=0 k=m
X X (1)m z 2m+k X
= wk = Jk (z)wk .
m!(m + k)! 2
k= m=m
ax{0,k} k=
| {z }
=Jk (z)
(d) Del apartado anterior sabemos que Jn (z) es el coeficiente del termino wn del desarrollo de Laurent de
la funcion e(ww )z/2 en potencias de w, as que, por definicion
1
I (ww1 )z/2
1 e
Jn (z) = dw, n Z,
2i wn+1
siendo cualquier curva cerrada que rodea el punto w = 0. En particular, si tomamos la curva w() =
ei con ,
Z Z Z
1 iz sen in 1 1
Jn (z) = e e d = cos(z sen n) d + sen(z sen n) d
2 2 | {z } 2 | {z }
funcion par funcion impar
Z
1
= cos(z sen n) d.
0
Por otro lado, si m y n tienen la misma paridad, entonces m n es un numero par, con lo que la primera
integral es distinta de cero para k = (m n)/2, siempre que
mn
0 m 0 n m 2m m n m |n| m.
2
En cuanto a la segunda integral, es distinta de cero para k = (m + n)/2, siempre que
m+n
0 m 0 n + m 2m m n m |n| m.
2
As pues, si |n| m,
Z 2
1 m m m m
cosm cos n d = 2i mn + m+n = m mn + m+n
0 i2m+1 2
2 2 2 2
m
= m1 m+n ,
2 2
ya que los dos numeros combinatorios son iguales porque m (m n)/2 = (m + n)/2.
Resumiendo:
m
Z 2
m1 m+n si m + n es par y |n| m,
cosm cos n d = 2 2
0
0 en cualquier otro caso.
Problema 5.28. (a) Sea f (z) = u(x, y) + iv(x, y) una funcion analtica en z0 C tal que f (z0 ) = c0 .
Demuestra que
z + z0 z z 0 z + z0 z z 0
f (z) = 2u , c0 , f (z) = 2iv , + c0 .
2 2i 2 2i
AYUDA : Para (a), obten un desarrollo en serie para u(x, y) y v(x, y) a partir del desarrollo en serie para
f (z).
Solucion: (a) Si f (z) es analtica en z0 , se puede escribir como una serie de potencias en torno a z0
X
f (z) = cn (z z0 )n .
n=0
Esta es una serie en las variables reales x e y, pero podemos interpretarla como serie en variables
complejas x e y. En ese caso, si la particularizamos a los valores
z z0 z z0
x = x0 + , y = y0 + ,
2 2i
resulta
z z0 z z0 c0 + c0 X n cn o c
0
u x0 + , y0 + = + (z z0 )n + 0 = + f (z),
2 2i 2 2 2
n=1
y como
z z0 z + z0 z z0 z z0
x0 + = , y0 + = ,
2 2 2i 2i
entonces
z + z0 z z 0
f (z) = 2u , c0 .
2 2i
Finalmente, como Re if (z) = v(x, y) y if (z0 ) = ic0 , entonces
z + z0 z z 0 z + z0 z z 0
if (z) = 2v , (ic0 ) = 2v , ic0 ,
2 2i 2 2i
con c R indeterminada.
dos funciones analticas en D(0, R). Sea un contorno cerrado simple de D(0, R) que rodea el origen y
definamos I
1 f () z
F (z) = g d.
2i
Demuestra que
X
F (z) = an bn z n .
n=0
Solucion:
I X m X
I
1 n1
X z X
m 1
F (z) = an bm d = z an bm nm1 d;
2i n=0 2i
m=0 n=0 m=0
pero (
I
1 1 si n = m,
nm1 d =
2i 0 si n 6= m,
luego
X
F (z) = an bn z n .
n=0
Problema 5.30. Halla el desarrollo en serie de una funcion f (z) que verifique la ecuacion
f (z) = z + f (z 2 ),
Solucion: Sea
X
f (z) = an z n ;
n=0
es decir,
a0 + a1 z + a2 z 2 + a3 z 3 + = a0 + z + a1 z 2 + a2 z 4 + .
El coeficiente a0 queda indeterminado en esta ecuacion; a1 = 1 y el resto de los coeficientes impares se
anulan. La ecuacion que queda es
X X
a2n z 2n = an z 2n ,
n=1 n=1
de donde se deduce que a2n = an . Si n es un impar distinto de 1, entonces a2n = 0, y si es par, entonces
n = 2k, luego
a4k = a2k = ak .
De nuevo valdra cero si k es un impar distinto de 1, mientras que si es par, k = 2m y
El razonamiento continua hasta que el entero en cuestion sea 1. Deducimos entonces que
a2n = a1 = 1,
Como
X z
zn =
1z
n=1