Sie sind auf Seite 1von 47

Captulo 5

SERIES

Problema 5.1. Halla el radio de convergencia de las series



X (2n)! n
X
n n
X n
(a) z , (e) (n + a )z (a C), (i) z2 ,
(n!)2
n=0 n=0 n=0


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),

Solucion: (a) Podemos emplear la formula


2
an (2n)! (n + 1)! (n + 1)2 1
R = lm = lm = l
m = .
n an+1 n (n!)2 (2n + 2)! n (2n + 2)(2n + 1) 4

(b) Podemos emplear la formula



an n! (n + 1)n+1 (n + 1)n 1 n
R = lm = lm n = lm = lm 1 + = e.
n an+1 n n (n + 1)! n nn n n
| {z }
=n!(n+1)

(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.

(e) Podemos emplear la formula



an n + an
R = lm
= lm

n+1
.
n an+1 n n + 1 + a

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 R = 1. En el caso (2) nan 0 cuando n , luego



n + an n nan + 1
= lm |a| 1

lm

(n + 1)a(n+1) + 1 = |a| ,

n n + 1 + an+1 n |a|n+1

con lo que R = 1/|a|. As pues,


R = mn{1, 1/|a|}.

(f) La forma canonica de esta serie es



(
X 1 si k = n!, para algun n N {0},
ak z k , ak =
k=0
0 en los demas casos.

Evidentemente, |ak |1/k = ak , y ademas,

sup{ak } = 1, para todo n N {0},


kn

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

(h) Podemos emplear la formula



an ( + 1) ( + n 1)( + 1) ( + n 1)
R = lm = lm
n an+1 n n!( + 1) ( + n 1)

(n + 1)!( + 1) ( + n)

( + 1) ( + n)( + 1) ( + n)

(n + 1)( + n)
= lm = 1,
n ( + n)( + n)

luego R = 1.

(i) La forma canonica de esta serie es



(
X
k 1 si k = 2n , para algun n N {0},
ak z , ak =
k=0
0 en los demas casos.

Evidentemente, |ak |1/k = ak , y ademas,

sup{ak } = 1, para todo n N {0},


kn

con lo que
1
= lm sup |ak |1/k = lm sup ak = 1.
R k k

As pues, R = 1.

(j) Como cos(in) = cosh n,



an cosh n en + en en 1 + e2n 1
R = lm = lm = lm n+1 = l
m = .
n an+1 n cosh(n + 1) n e + e(n+1) n en+1 1 + e2(n+1) e
p
(k) Como n
|an | = 3 + (1)n (= 4, 2, 4, 2, 4 . . . ),
p
sup k |ak | = sup 3 + (1)k = 4, para todo n N {0},
kn kn

luego
1 p
= lm sup k |ak | = 4
R n

y, por tanto, R = 1/4.


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).

Solucion: En todos los casos, llamaremos R al radio de convergencia de la nueva serie.


76 5 SERIES

(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

Solucion: En todos los casos, llamaremos R al radio de convergencia de la nueva serie.

(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 = .

(c) La serie equivale a



X
cn w n , w = zk .
n=0

Como el radio de convergencia de esta nueva serie es R, entonces es absolutamente convergente si


|w| < R y divergente si |w| > R. Poniendo w = z k llegamos a que la serie original es absolutamente
convergente si |z| < R1/k y divergente si |z| > R1/k ; por lo tanto, R = R1/k .

(d) La serie consiste, simplemente, en



X
X
k+n k
cn z =z cn z n ;
n=0 n=0

por lo tanto R = R.

(e) La forma canonica de esta serie es



(
X
k cnn si k = n2 para algun n N {0},
ak z , ak =
k=0
0 para el resto de los k.
78 5 SERIES

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.

(f) La forma canonica de esta serie es



(
X cn si k = n2 para algun n N {0},
ak z k , ak =
k=0
0 para el resto de los k.

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

Solucion: Respecto de la suma, si las dos series



X
X
an z n , bn z n ,
n=0 n=0

son convergentes, entonces la suma lo es; por lo tanto,

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

Si alguno de los lmites, p p


n n
lm |an |, lm |bn |,
n n

existe, entonces Rab = Ra Rb .


Finalmente, respecto del cociente, si existe el lmite
p
n
lm |bn |,
n

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.

Problema 5.5. Halla el radio de convergencia de la serie



X (1)n
z n(n+1) ,
n
n=1

y discute la convergencia para z = 1, 1, i.

Solucion: La forma canonica de la serie es


n
(1)
X
k si k = n(n + 1) para algun n N,
ak z , ak = n
0 para cualquier otro valor.
k=0

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

luego la serie resultante es


n(n+1)
X (1)n+ 2 X (1)n(n+3)/2
= .
n n
n=1 n=1

El exponente del 1 es par o impar segun el siguiente patron:

si n = 4k entonces 21 n(n + 3) = 2k(4k + 3) es par;

si n = 4k + 1 entonces 12 n(n + 3) = (4k + 1)(2k + 2) es par;

si n = 4k + 2 entonces 12 n(n + 3) = (2k + 1)(4k + 5) es impar;

si n = 4k + 3 entonces 12 n(n + 3) = (4k + 3)(2k + 3) es impar.

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

Las parejas de terminos del mismo signo son de la forma

1 1 4n + 1
+ = ,
2n 2n + 1 2n(2n + 1)

as que la serie se puede escribir como



X 4n + 1
1+ (1)n .
2n(2n + 1)
n=1

Esta serie converge condicionalmente por el criterio de Leibnitz.

Problema 5.6. Suma, donde sean convergentes, las series



X
n
X z 2n+1 X n
(a) nz , (c) , (e) zn,
2n + 1 2
n=1 n=0 n=0

X zn X (1)n n X 1
(b) , (d) z , (f) .
n n (1 + z 2 )n
n=1 n=1 n=0

Solucion: (a) La serie converge si |z| < 1. En el crculo de convergencia,



!
X
n
X
n1
X
n 1 z
nz = z nz =z z =z = .
1z (1 z)2
n=1 n=1 n=0

(b) La serie converge si |z| < 1. En el crculo de convergencia,


Z Z z X
! Z z
X z n X z n1 n1 d
= d = d = = log(1 z).
n 0 0 0 1
n=1 n=1 n=1
5 SERIES 81

(c) Cuando |z| < 1,


Z z Z z X
! Z z Z z
X z 2n+1 X
2n 2n 1
= d = d = 2
d = (arc tanh ) d
2n + 1 1
n=0 n=0 0 0 n=0 0 0

1 1+z
= arc tanh z = log .
2 1z
De otra manera: cuando |z| < 1, las series

X zn X zn
= log(1 z), (1)n+1 = log(1 + z);
n n
n=1 n=1

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

(d) Si |z| < 1,


n
X
nz
X (z)n
(1) = = log(1 + z).
n n
n=1 n=1

(e) Cuando |z| < 1,




!
X n n X n(n 1) n z 2 X z2 X z2 1
z = z = n(n 1)z n2 = z n
=
2 2 2 2 2 1z
n=0 n=0 n=2 n=0

z2 1 z2
= = .
2 (1 z)2 (1 z)3

(f) Cuando |1 + z 2 | > 1,


n
X 1 X 1 1 1 + z2 1
= = 1 = = 2 + 1.
(1 + z 2 )n 1 + z2 1 1+z 2
z 2 z
n=0 n=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

Solucion: (a) El radio de convergencia es R = 1 (distancia al origen de la primera singularidad) y la serie



n m
X
m
(1 z) = (1) zn.
n
n=0
Ahora bien,

m m(m 1)(m 2) (m n + 1) m(m + 1)(m + 2) (m + n 1)
= = (1)n
n n! n!

m+n1
= (1)n ,
n
con lo que

m
X m+n1 n
(1 z) = z , |z| < 1.
n
n=0

(b) Escrita en terminos de z 1, la funcion a desarrollar es


2z + 3 2(z + 1) + 1 1 1 1 1
= =2+ =2+ =2+ ,
z+1 z+1 z+1 2 + (z 1) 2 1 + (z 1)/2
con lo que el radio de convergencia es R = 2, y la serie

1 1 1 X (1)n n 5 X (1)n
2+ =2+ (z 1) = + (z 1)n , |z 1| < 2.
2 1 + (z 1)/2 2 2n 2 2n+1
n=0 n=1
5 SERIES 83

(c) Como en el caso anterior, pero ahora la funcion es

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

(e) Como la funcion es

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

el radio de convergencia es R = 2 (la singularidad mas cercana al origen), y la serie



1 1 X zn 1 X zn X 1 1
= = zn, |z| < 2.
z 2 5z + 6 2 2n 3 3n 2n+1 3n+1
n=0 n=0 n=0

(f) El radio de convergencia es R = 1 y la serie



z z X
n
X
n+1
X
= = z (n + 1)z = (n + 1)z = nz n , |z| < 1.
(z 1)2 (1 z)2
n=0 n=0 n=1

(g) Dado que la funcion se escribe


1 1 1
= ,
bz + c c 1 + bz/c
el radio de convergencia sera R = |c/b| y la serie

1 1 X bn n X bn n |c|
= z = z , |z| < .
bz + c c cn cn+1 |b|
n=0 n=0
84 5 SERIES

(h) Descomponiendo la funcion en fracciones elementales,


6z 3 + 2i 3 + 2i i(2 + 3i) i(2 3i)
= ==
z2 4z + 13 2 + 3i z 2 3i z 2 + 3i z 2 3i z
i i
= ,
1 z/(2 + 3i) 1 z/(2 3i)

con lo que el radio de convergencia es R = |2 + 3i| = |2 3i| = 13, y la serie

6z X zn X zn
= i i
z 2 4z + 13 (2 + 3i)n (2 3i)n
n=0 n=0

X i(2 3i)n i(2 + 3i)n
= zn, |z| < 13.
13n
n=0

Se puede escribir de una forma mas compacta poniendo 2 3i = 13ei , con = arctan(3/2);
entonces,
i(2 3i)n i(2 + 3i)n i 2
n
= n/2 (ein ein ) = n/2 sen n,
13 13 13
con lo que

6z X sen n n
2
= 2 z .
z 4z + 13
n=0
13n/2

(i) Como (z + 1)2 = (1 + z)2 , aplicando el resultado del primer apartado,



1 X
= (1)n (n + 1)z n , |z| < 1.
(z + 1)2
n=0

(j) Del apartado anterior,



z2 X X
2
= (1)n (n + 1)z n+2 = (1)n (n 1)z n , |z| < 1.
(z + 1)
n=0 n=2

(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

y como tomando el valor principal del logaritmo f (0) = 0, se sigue que c = 0 y



1+z X z 2n+1
log =2 , |z| < 1.
1z 2n + 1
n=0
5 SERIES 85

(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

(el radio de convergencia es infinito porque lo es el de la funcion sen z).


(n) Como sen2 z = (1 cos 2z)/2,

!
1 X 22n 1X 22n 2n
sen2 z = 1 (1)n z 2n = (1)n+1 z
2 (2n)! 2 (2n)!
n=0 n=1

X 22n1
= (1)n+1 z 2n , zC
(2n)!
n=1

(el radio de convergencia es infinito porque lo es el de la funcion cos 2z).


(n) Como cosh2 z = (1 + cosh 2z)/2,

!
!
2 1 X 22n 2n 1 X 22n 2n
cosh z = 1+ z = 2+ z
2 (2n)! 2 (2n)!
n=0 n=1

X 22n1
=1+ z 2n , zC
(2n)!
n=1

(el radio de convergencia es infinito porque lo es el de la funcion cosh 2z).


(o) Como 2z z 2 = 1 (z 1)2 ,

sen(2z z 2 ) = sen 1 (z 1)2 = sen 1 cos(z 1)2 cos 1 sen(z 1)2 .
La serie se obtiene a partir de los desarrollos

X (z 1)4n
cos(z 1)2 = (1)n , z C,
(2n)!
n=0

X (z 1)4n+2
sen(z 1)2 = (1)n , z C.
(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

(r) A partir de la serie de la exponencial,



z
X zn
e = , z C,
n!
n=0

se sigue que

X zn
ez 1 z = , z C,
n!
n=2

y por lo tanto que



ez 1 z X z n2 X z n
= = , z C.
z2 n! (n + 2)!
n=2 n=0

(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.

Solucion: Si la funcion es entera, para todo z C



X f (n) (i) n
X (i)n n
X (1 iz)n
f (z) = (z + i) = (z + i) = = e1iz .
n! n! n!
n=0 n=0 n=0


X
Problema 5.10. Puede la serie de potencias an (z 2)n converger en z = 0 y diverger en z = 3?
n=0

Solucion: La respuesta es no, porque si diverge en z = 3, su radio de convergencia es R 1, lo que impide


que converja en z = 0, ya que |0 2| > 1.
5 SERIES 87

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.

(c) Las races del denominador son las soluciones de z 4 + z 2 + 1 = 0, es decir,


s
1 3 p i/3 i/6 3 i
z= i = e = e = .
2 2 2 2

Las dos mas cercanas, equidistantes, a z = i son ( 3 + i)/2, cuya distancia es

3 i 3 i

+ i = = 1,
2 2 2 2

as que el radio de convergencia es R = 1.

(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.

Problema 5.12. Considera la funcion f (z) = log z sobre la rama principal.

(a) Obten la serie de Taylor de f (z) alrededor de a = 1 + i.


(b) Halla, mediante el criterio del cociente, su radio de convergencia.
(c) Calcula la distancia de a al corte de f (z). Puedes explicar la discrepancia entre este resultado y el del
apartado anterior?

AYUDA : Para el u ltimo apartado, considera la misma funcion con el corte /2 < arg z 3/2.

Solucion: (a) Por un lado,


1
f (1 + i) = log(1 + i) = log 2ei3/4 = ln 2 + i3
2 4
5 SERIES 89

sobre la rama principal; por otro lado,


(n 1)!
f (n) (z) = (1)n+1 , n N,
zn
con lo que
(n 1)! ein3/4
f (n) (1 + i) = (1)n+1 = (1)n+1
(n 1)! ,
(1 + i)n 2n/2
as que

1 3 X ein3/4
log z = ln 2 + i + (1)n+1 n/2 z n .
2 4 2 n
n=0

(b) Por el criterio del cociente, el radio de convergencia vale


|an | 2(n+1)/2 (n + 1)
R = lm = lm = 2.
n |an+1 | n 2n/2 n

(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.

Problema 5.13. (a) Demuestra que si 0 r < 1,



X r cos r2 X r sen
rn cos n = , rn sen n = .
1 2r cos + r2 1 2r cos + r2
n=1 n=1

(b) Demuestra que si y > 0 y x R,



X 1 senh y X ey sen x
eny cos nx = + , eny sen nx = .
2 2(cosh y cos x) 1 2ey cos x + e2y
n=0 n=1

AYUDA : Utiliza la suma de la serie geometrica.

Solucion: (a) Si combinamos las dos series obtenemos



X
n
X
n
X
i
n rei rei 1 rei rei r2
r cos n + i r sen n = re = = = ,
1 rei |1 rei |2 1 + r2 2r cos
n=1 n=1 n=1

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

(b) De nuevo, combinando las dos series,



X
X
X
X n
eny cos nx + i eny sen nx = eny (cos nx + i sen nx) = ey+ix
n=0 n=1 n=0 n=0
1 1 eyix
= = ,
1 ey+ix 1 + e2y 2ey cos x
luego

X
ny 1 eyix 1 ey cos x
e cos nx = Re =
1 + e2y 2ey cos x 1 + e2y 2ey cos x
n=0
ey cos x cosh y + senh y cos x
y
= y
=
e + e 2 cos x 2(cosh y cos x)
1 senh y
= + ,
2 2(cosh y cos x)

X
ny 1 eyix ey sen x
e sen nx = Im =
1 + e2y 2ey cos x 1 + e2y 2ey cos x
n=0
sen x
= .
2(cosh y cos x)

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

Solucion: (a) Las sumas parciales de esta serie se pueden calcular:


k
X z z k+1 z
zn = = (1 z k ), z 6= 1.
1z 1z
n=1

Cuando z = 1,
k
X
1 = k,
n=1

que es divergente. En terminos de la suma parcial, si z = ei , con 6= 2l, l Z, entonces


k
X ei
ein = (1 eik ),
1 ei
n=1
5 SERIES 91

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.

(b) Como el radio de convergencia es R = 1 y la sucesion Rn /n = 1/n es monotona decreciente y


convergente a cero, entonces la serie converge condicionalmente en |z| = 1 salvo en z = 1, donde
claramente es divergente.

(c) El radio de convergencia es R = 1. Sobre |z| = 1 tenemos



X |z|n X 1
= < ,
n2 n2
n=1 n=1

luego la serie converge absolutamente en |z| = 1.

(d) El mismo razonamiento del apartado (c) conduce al mismo resultado.

(e) La serie es la misma que la del apartado (b) cambiando z por z,


n
X
nz
X (z)n
(1) = ,
n n
n=1 n=1

luego es condicionalmente convergente sobre |z| = 1 excepto cuando z = 1.

(f) Si reescribimos la serie



X (1)n 1 X (z 3 )n
z 3n1 = ,
ln n z ln n
n=2 n=2

podemos deducir sus propiedades de convergencia a partir de las de la serie



X wn
.
ln n
n=2

El radio de convergencia de esta serie es R = 1, ya que, denotando an = 1/ ln n,

|an | ln(n + 1) ln n + ln(1 + 1/n)


R = lm = lm = lm = 1.
n |an+1 | n ln n n ln n

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 .

(g) La serie es la misma que la del apartado (b) cambiando z por z p ,



X z pn X (z p )n
(1)n = ,
n n
n=1 n=1

luego es condicionalmente convergente sobre |z| = 1 excepto cuando z p = 1, es decir, para z =


1, w, w2 , . . . , wp1 , siendo w = ei2/p .
92 5 SERIES

(h) El radio de convergencia de la serie es R = 1. Sobre |z| = 1 la convergencia depende de . Si 0,


entonces el termino general, que sera de la forma ein n|| , no tiende a cero cuando n , luego
la serie no converge sobre |z| = 1. Si 0 < 1, entonces como an Rn = 1/n , la serie converge
condicionalmente sobre |z| = 1 excepto en z = 1, donde claramente diverge. Si 1 < , entonces la
serie converge absolutamente sobre |z| = 1 ya que

X |z|n X 1
= < .
n n
n=1 n=1

(i) Como cos(in) = cosh n, el radio de convergencia de la serie es

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).

Solucion: (a) Se trata de la serie



X z
wn , w= ,
z+1
n=1

que converge absolutamente sobre |w| < 1, esto es,


1
|z| < |z + 1| |z|2 < |z + 1|2 = |z|2 + 2 Re z + 1 2 Re z + 1 > 0 Re z > .
2
5 SERIES 93

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

(b) Se trata de la serie



X 2
wn , w= ,
(z 1)2
n=0

que converge absolutamente sobre |w| < 1, esto es,



|z 1|2 > 2 |z 1| > 2.

En la frontera, |z 1| = 2, no hay convergencia y para |z 1| < 2 la serie diverge.
Donde converge, la suma vale

X 2n 1 (z 1)2
= 2 = .
(z 1)2n 1 (z1) 2 z 2 2z 1
n=0

(c) Se trata de la serie



X wn z+1
, w= ,
n2 3(z 1)
n=1

que converge absolutamente sobre |w| 1, esto es,

|z + 1| 3|z 1| |z + 1|2 9|z 1|2 |z|2 + 2 Re z + 1 9|z|2 18 Re z + 9


5
8|z|2 20 Re z + 8 0 |z|2 Re z + 1 0
2
2 2 2
5
z 25 + 1 0 5 3 5
3
z z .
4 16 4 4 4 4

Dentro de este disco, es decir, cuando



z 5 3
< ,
4 4
la serie diverge.
Donde converge, la serie suma

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

(d) Se trata de la serie



X wn 1
, w= ,
n z+i
n=1

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

que es una serie telescopica. Su suma es



X 1 1 1 1
n
= lm ,
1z 1 z n+1 1 z n 1 z n
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

(f) Se trata de la serie



X wn
, w = ez ,
n2
n=1
que converge absolutamente sobre |w| 1, esto es,
|ez | = eRe z 1 Re z 0.
Si Re z > 0 la serie diverge.
Donde converge, la serie suma F (ez ), siendo
Z w
d
F (w) = log(1 ) .
0
(g) Si |z| = 1, el termino general no tiende a 0 cuando n , as que la serie no converge sobre esa
circunferencia. Por otro lado, si |z| < 1, aplicando el criterio de la raz

z n 1/n |z|

1 + z 2n = |z|
|1 + z 2n |1/n
cuando n . Como |z| < 1 la serie converge absolutamente. Y si |z| > 1 podemos hacer la
transformacion, multiplicando numerador y denominador por z 2n ,
zn z n
= ,
1 + z 2n 1 + z 2n
con lo que la serie queda igual cambiando z por z 1 . Como |z 1 | < 1 la serie converge tambien
absolutamente en esta region. As que hay convergencia absoluta si |z| =
6 1 y no hay convergencia de
ningun tipo si |z| = 1.
(h) Consideremos la serie

(
X
n2
X
k n! si k = n2 para algun n N {0},
n!w = ak z , ak =
n=0 k=0
0 para el resto de los valores.
Su radio de convergencia se obtiene como
1 2 2
= lm sup |ak |1/k = lm (n!)1/n = lm (2n)1/2n n1/n e1/n = 1,
R k n n

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.

Problema 5.16. Sea f (z) la funcion definida por la serie



X
f (z) = an z n .
n=0

Demuestra que

(a) si f (z) es par, an = 0 para todo n impar,


(b) si f (z) es impar, an = 0 para todo n par.
96 5 SERIES

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}.

(b) Una funcion impar 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 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?

Solucion: (a) Sobre el eje real positivo



X
n( x)2n+1
sen x= (1) ,
(2n + 1)!
n=0

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

Solucion: (a) Como



X zn
log(1 z) = ,
n
n=1
entonces

2 z2 z3 z2 z3
log(1 z) = z+ + + z+ + +
2 3 2 3

1 1 1 1 1 11
= z2 + + z3 + + + + = z2 + z3 + z4 +
2 2 3 3 4 12
98 5 SERIES

(b) Por un lado,



z X
= zn,
1z
n=1

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)

Solucion: (a) Descomponiendo en fracciones elementales,

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

Por otro lado,



1 1 1 1 X zn X zn
= = = , |z| < 2,
2z 2 1 z/2 2 2n 2n+1
n=0 n=0

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

Combinando estos resultados tenemos que, para |z| < 1,



1 X
n
X zn X 1
= z = 1 n+1 z n ;
z 2 3z + 2 2n+1 2
n=0 n=0 n=0

para 1 < |z| < 2,


X zn
1 X
n
= z ,
z 2 3z + 2 2n+1
n=1 n=0

y para 2 < |z|,



X 2n1 X 2n1 1
1 X
n
= z + = .
z 2 3z + 2 zn zn
n=1 n=1 n=1
102 5 SERIES

(b) Por un lado,



1 X
= (n + 1)z n , |z| < 1;
(1 z)2
n=0
pero tambien

1 1 1 1 Xn+1 Xn+1 Xn1
= 2 = 2 = = , |z| > 1.
(1 z)2 z (1 z 1 )2 z zn z n+2 zn
n=0 n=0 n=2

Por otro lado,



1 1 1 X zn
= = (1)n n+1 , |z| < 2,
z+2 2 1 + z/2 2
n=0
pero tambien

1 1 1 X 2n X 2n1
= = (1)n n+1 = (1)n+1 n , |z| > 2.
z+2 z 1 + 2/z z z
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

para 1 < |z| < 2,


n
1 1 1 1 Xn1 X n z
+ + = + + (1) ,
z (z 1)2 z + 2 z zn 2n+1
n=2 n=0

y para 2 < |z|,


n1
1 1 1 1 Xn1 X n+1 2 2 X n n1 1

+ + = + + (1) = + n 1 (1) 2 .
z (z 1)2 z + 2 z zn zn z zn
n=2 n=1 n=2

(c) Para |z| > 0,



1 X 1
sen = .
z (2n + 1)!z 2n+1
n=0

(d) Descomponiendo en fracciones elementales,


1 1 1
= + ,
z(1 z) z 1z

as que para 0 < |z| < 1,



1 1 X n
= + z ,
z(1 z) z
n=0

y para 1 < |z|,



1 1 X 1 X 1
= n
= .
z(1 z) z z zn
n=1 n=2
5 SERIES 103

(e) Si |z| < |a|,



1 (1)k 1 (1)k X k + n 1 z n k
X k + n 1 zn
= = = (1) ;
(z a)k ak (1 z/a)k ak n an n an+k
n=0 n=0

si |z| > |a|,



1 1 1 1 X k + n 1 an X k + n 1 an
= k = k =
(z a)k z (1 a/z)k z n zn n z n+k
n=0 n=0

X n 1 ank
= .
n k zn
n=k

(f) Si |z| > 0,



2 1/z
X 1
2
X 1 2 1 X 1 2 1 X 1
z e =z n
= n2
=z +z+ + n2
=z +z+ + .
n!z n!z 2 n!z 2 (n + 2)!z n
n=0 n=0 n=3 n=1

(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

La constante se determina tomando el lmite z en la expresion



i i+z i
arctan z = log = log(1) = ,
2 iz 2 2

con lo que con esta determinacion



X (1)n
arctan z = + , |z| > 1.
2 (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

(i) Reduciendo a fracciones elementales



1 1 1 1
= .
(z a)(z b) ba zb za

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

y si |b| < |z|



1 1 X bn1 an1
= .
(z a)(z b) ba zn
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

Solucion: (a) Como z 2 + 1 = (z i)(z + i),

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

(b) Como sen z = sen( + z ) = sen(z ),


2n1
sen z X
n+1 (z )
= (1) , 0 < |z |.
(z )2 (2n + 1)!
n=0

(c) Para 0 < |z 1|,



z 1 1
sen = sen 1 = sen +1
1z 1z z1

1 1
= cos 1 sen sen 1 cos
z1 z1
n+1
X (1) X (1)n+1
= cos 1 + sen 1
(2n + 1)!(z 1)2n+1 (2n)!(z 1)2n
n=0 n=0

(d)

X (1)n
e1/(1z) = , 0 < |z 1|.
n!(z 1)n
n=0
106 5 SERIES

(e) Como z 2 = (z 1 + 1)2 = (z 1)2 + 2(z 1) + 1,



2 1 h
2
iX (1)n
z sen = (z 1) + 2(z 1) + 1
z1 (2n + 1)!(z 1)2n+1
n=0

X (1)n X (1)n X (1)n
= +2 + .
(2n + 1)!(z 1)2n1 (2n + 1)!(z 1)2n (2n + 1)!(z 1)2n+1
n=0 n=0 n=0

La primera y la u ltima serie pueden reescribirse como



X (1)n X (1)n
+
(2n + 1)!(z 1)2n1 (2n + 1)!(z 1)2n+1
n=0 n=0

X (1)n X (1)n
=z1+ +
(2n + 1)!(z 1)2n1 (2n + 1)!(z 1)2n+1
n=1 n=0

X (1)n (1)n X
=z1 +
(2n + 3)!(z 1)2n+1
(2n + 1)!(z 1)2n+1
n=0 n=0

X 1 1 1
=z1+ (1)n
(2n + 1)! (2n + 3)! (z 1)2n+1
n=0

X 4n2 + 10n + 5 1
=z1+ (1)n ,
(2n + 3)! (z 1)2n+1
n=0

as que, para 0 < |z 1|,



1 X 4n2 + 10n + 5 1 X (1)n
z 2 sen =z1+ (1)n + 2 .
z1 (2n + 3)! (z 1)2n+1 (2n + 1)!(z 1)2n
n=0 n=0

(f) Como z 2 4z = (z 2)2 4,


z 2 4z 4
2
=1 ,
(z 2) (z 2)2
luego para 0 < |z 2|,
2
z 4z 4 4 4
cos = cos 1 = cos 1 cos + sen 1 sen
(z 2)2 (z 2)2 (z 2)2 (z 2)2

X 24n X 24n+2
= cos 1 (1)n + sen 1 (1)n
(2n)!(z 2)4n (2n + 1)!(z 2)4n+2
n=0 n=0

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

Solucion: (a) Descomponiendo en fracciones elementales,



1 1 1 1 1 1 1
= = + .
(z a)(z b) ab za zb ab za bz

Como |a| < |z|,


X an X an1
1 1 1
= = = ;
za z 1 a/z z n+1 zn
n=0 n=1

como |z| < |b|,


X zn
1 1 1
= = ;
bz b 1 z/b bn+1
n=0

uniendo ambos desarrollos,



1 1 X zn 1 X an1
= + , |a| < |z| < |b|.
(z a)(z b) ab bn+1 a b zn
n=0 n=1

(b) Descomponiendo en fracciones elementales,

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).

Haciendo z = 2, se tiene que 5 = 5A, es decir, A = 1. Sustituyendo

z 2 2z + 5 = z 2 + 1 + (Bz + C)(z 2) 2z + 4 = (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

como 1 < |z|,



X (1)n X (1)n+1
1 1 1
= = = ;
z2 + 1 z 2 1 + z 2 z 2n+2 z 2n
n=0 n=1

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

(c) Si |z| < 2,



1 1 1 Xn+1
= = zn;
(z 2)2 4 (1 z/2)2 2n+2
n=0

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|

Pero cuando k < 0,


X 1 X 1 X 1
= = ,
(m + k)!m! (m |k|)!m! m!(m + |k|)!
m=|k| m=|k| m=0

as que, en 0 < |z|,



z+z 1
X
k
X 1
e = ak z , ak = .
m!(m + |k|)!
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

y siguiendo los pasos del apartado anterior, para 0 < |z|,


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

Demuestra que los numeros de Bernoulli verifican las siguientes propiedades:

(a) para todo n N,


n
X n+1
Bk = 0;
k
k=0

(b) B2n+1 = 0 para todo n N y


1 1 1 1 1
B0 = 1, B1 = , B2 = , B4 = , B6 = , B8 = ;
2 6 30 42 30
1/n
|Bn | 1
(c) lm sup = .
n n! 2
z z
AYUDA : Para probar (b) demuestra que la funcion + z es par.
2 e 1

Solucion: (a) De la definicion de los numeros de Bernoulli,



ez 1 X Bn n
z = 1.
z 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

Multiplicando esta ecuacion por (n + 1)! obtenemos


n
X n+1
Bk = 0.
k
k=0

(b) Consideremos la funcion



z z 1 X Bn n
f (z) = + z = 1 + B1 + z+ z .
2 e 1 2 n!
n=2
110 5 SERIES

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

Problema 5.24. (a) Prueba las siguientes identidades:


z z 2z
(1) = z , (5) log cos z = tan z,
ez + 1 e 1 e2z 1
2i tan z 2 1
(2) tan z = i + 2iz , (6) log = ,
e +1 z sen 2z z
2iz h z i 1
(3) z cotan z = iz + 2iz , (7) log = cotan z.
e 1 sen z z
z iz iz
(4) = iz + iz ,
sen z e 1 e +1
(b) Empleando los numeros de Bernoulli, desarrolla las funciones anteriores en potencias de z e indica el
radio de convergencia de la serie.

Solucion: Resolvemos a la vez los dos apartados para cada funcion.


5 SERIES 111

(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)

2i 2eiz eiz cos z eiz eiz eiz sen z


i + 2iz
= i + iz iz
= i + i = = = = tan z,
e +1 e +e cos z i cos z 2i cos z cos z

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)

2i 2ieiz eiz i sen z + eiz eiz + eiz cos z


i+ 2iz
= i + iz iz
= i + = = = = cotan z,
e 1 e e sen z sen z 2 sen z sen z

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

Como en el caso de z cotan z, el radio de convergencia es R = .

(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

Como para la tangente, el radio de convergencia es R = /2.

(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

deducimos, integrando, la serie



tan z X B2n z 2n
log = (2 4n ) (1)n 4n .
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/ sen z es , el de 2z/ sen 2z, y por tanto el de esta serie, es R = /2.

(7) De la relacion h z i 1 cos z 1


log = = cotan z
sen z z sen z z
y la serie

1 1 1 X B2n n X B2n
cotan z = (z cotan z 1) = 4 (1)n z 2n = 4n (1)n+1 z 2n1 ,
z z z (2n)! (2n)!
n=1 n=1
5 SERIES 113

deducimos, integrando, la serie


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 = .

Problema 5.25. Sea la funcion



X
f (z) = an z n , |z| < R,
n=0

y sea p N.

(a) Demuestra que si definimos g(z) como


p1
1 X 2ik/p
g(z) = f e z ,
p
k=0

entonces g(z) tiene el desarrollo en serie



X
g(z) = apn z pn , |z| < R .
n=0

(b) Que se puede decir del radio de convergencia R en relacion con el radio de convergencia R?

AYUDA : Utiliza el resultado del problema 1.20

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

(b) Como {akp } es una subsucesion de {an }, tendremos que

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

Problema 5.26. Se define la funcion de Bessel de orden n Z mediante la serie



X (1)k z n+2k
Jn (z) = .
k!(n + k)! 2
k=0

(a) Demuestra que Jn (z) = (1)n Jn (z).


(b) Demuestra que Jn (z) verifica la ecuacion diferencial

z 2 Jn (z) + zJn (z) + (z 2 n2 )Jn (z) = 0.

(c) Demuestra que



X
e(ww
1 )z/2
= Jn (z)wn , 0 < |w|.
n=

(d) Demuestra que Z


1
Jn (z) = cos(z sen n) d.
0

NOTA : En la definicion de Jn (z) los terminos con factorial negativo se consideran nulos.

Solucion: (a) De acuerdo con la definicion de Jn (z),



X (1)k z n+2k X (1)k+n z 2k+n
Jn (z) = = = (1)n Jn (z).
k!(n + k)! 2 (k + n)!k! 2
k=n k=0

(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

Problema 5.27. A partir del desarrollo de Laurent de la funcion f (z) = (z + z 1 )m , calcula


Z 2
cosm cos n d, m N, n Z.
0

Solucion: Por la formula del binomio,


m m
1 m
X m k km X m 2km
f (z) = (z + z ) = z z = z ,
k k
k=0 k=0

que es su serie de Laurent. Por otro lado,


Z 2 I m n I
m 1 z + z 1 z + z n dz 1
cos cos n d = = m+1 f (z)(z n1 + z n1 ) dz
0 i |z|=1 2 2 z i2 |z|=1
m I m I
1 X m 2km+n1 1 X m
= m+1 z dz + m+1 z 2kmn1 dz;
i2 k |z|=1 i2 k |z|=1
k=0 k=0

la primera integral se anula cuando 2k 6= m n y la segunda cuando 2k 6= m + n, y cuando no se anulan


cualquiera de ellas vale 2i. Si m y n tienen distinta paridad, entonces m n es un numero impar y las
integrales se anulan siempre, as que, para empezar,
Z 2
cosm cos n d = 0 si m y n tienen distinta paridad.
0
116 5 SERIES

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

(b) Obten f (z) si


y
(1) u(x, y) = x2 y 2 + 2, (4) u(x, y) = ,
x2 + y2
(2) v(x, y) = x + y 3,
(3) u(x, y) = ex (x cos y y sen y), (5) v(x, y) = cos x senh y senh x sen y.

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

Como Re f (z) = u(x, y),



f (z) + f (z) c0 + c0 X cn n cn n
u(x, y) = = + (x x0 ) + i(y y0 ) + (x x0 ) i(y y0 ) .
2 2 2 2
n=1
5 SERIES 117

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 lo que multiplicando por i,



z + z0 z z 0
f (z) = 2iv , + c0 .
2 2i

(b) (1) Tomemos z0 = 0; entonces, como f (0) = 2 + ic, con c R indeterminada,


2
z z2
f (z) = 2u(z/2, iz/2) 2 + ic = 2 + i + 2 2 + ic = z 2 + 2 + ic.
4 4

(2) Tomemos z0 = 0; entonces, como f (0) = c 3i, con c R indeterminada,


z z
f (z) = 2iv(z/2, iz/2) + c + 3i = 2i i 3 + c + 3i = (1 + i)z + c 3i.
2 2

(3) Tomemos z0 = 0; entonces, como f (0) = ic, con c R indeterminada,


z z
f (z) = 2u(z/2, iz/2) + ic = 2ez/2 cosh(z/2) + senh(z/2) + ic
2 2

= zez/2 cosh(z/2) + senh(z/2) + ic = zez + ic.
| {z }
=ez/2

(4) Tomemos z0 = 1; entonces, como f (1) = ic, con c R indeterminada,


i(z 1)/2
f (z) = 2u (z + 1)/2, i(z 1)/2 + ic = 2 + ic
(z + 1)2 /4 (z 1)2 /4
i(z 1) i i
= + ic = + i(c + 1) = + ic ,
z z z
con c R indeterminada.
118 5 SERIES

(5) Tomemos z0 = 0; entonces, como f (0) = c, con c R indeterminada,



f (z) = 2iv(z/2, iz/2) + c = 2i i cos(z/2) sen(z/2) + i senh(z/2) senh(z/2) + c
= sen z 2 senh2 (z/2) +c = sen z cosh z 1 + c = sen z cosh z + c ,
| {z }
=cosh z1

con c R indeterminada.

Problema 5.29. Sean



X
X
f (z) = an z n , g(z) = bn z n ,
n=0 n=0

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 ),

y demuestra que la condicion f (0) = 0 determina de manera u nica esa funcion.

Solucion: Sea

X
f (z) = an z n ;
n=0

entonces la ecuacion implica



X
X
n
an z = z + an z 2n ,
n=0 n=0
5 SERIES 119

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

a8m = a4m = a2m = am .

El razonamiento continua hasta que el entero en cuestion sea 1. Deducimos entonces que

a2n = a1 = 1,

y el resto de los coeficientes son 0; por tanto la funcion es



X n
f (z) = a0 + z2 .
n=0

La condicion f (0) = 0 fija a0 = 0 y determina de manera unvoca f (z).

Problema 5.31. Consideremos la funcion



X
f (z) = zn.
n=

Como

X z
zn =
1z
n=1

y, por otro lado,



X 1 1 z
= 1 = ,
zn 1 z
1z
n=0

la funcion f (z) = 0 para todo z. Donde esta el error de este razonamiento?

Solucion: El error consiste en que la serie



X z
zn =
1z
n=0

si y solo si |z| < 1, mientras que



X 1 z
n
=
z 1z
n=0
si y solo si |z| > 1.