Captulo 5

SERIES
Problema 5.1. Halla el radio de convergencia de las series
(a)

n=0
(2n)!
(n!)
2
z
n
,
(b)

n=1
n!
n
n
z
n
,
(c)

n=0
a
n
z
n
(a C),
(d)

n=1
n

z
n
( R),
(e)

n=0
(n + a
n
)z
n
(a C),
(f)

n=0
z
n!
,
(g)

n=0
a
n
2
z
n
(a C),
(h) 1+

n=1
( + 1) ( + n 1)( + 1) ( + n 1)
n!( + 1) ( + n 1)
z
n
(, , R, / Z),
(i)

n=0
z
2
n
,
(j)

n=0
cos(in)z
n
,
(k)

n=0
_
3 + (1)
n
_
n
z
n
.
Soluci on: (a) Podemos emplear la f ormula
R = lm
n

a
n
a
n+1

= lm
n
(2n)!
(n!)
2
_
(n + 1)!
_
2
(2n + 2)!
= lm
n
(n + 1)
2
(2n + 2)(2n + 1)
=
1
4
.
(b) Podemos emplear la f ormula
R = lm
n

a
n
a
n+1

= lm
n
n!
n
n
(n + 1)
n+1
(n + 1)!
. .
=n!(n+1)
= lm
n
(n + 1)
n
n
n
= lm
n
_
1 +
1
n
_
n
= e.
(c) Como
1
R
= lm
n
n
_
|a
n
| = lm
n
n
_
|a|
n
= |a|,
entonces R = 1/|a|.
74 5 SERIES
(d) Como
1
R
= lm
n
n
_
|a
n
| = lm
n
n

= 1,
entonces R = 1.
(e) Podemos emplear la f ormula
R = lm
n

a
n
a
n+1

= lm
n

n + a
n
n + 1 + a
n+1

.
Hay dos casos a distinguir: (1) |a| 1 y (2) |a| > 1. En el caso (1) a
n
/n 0 cuando n , luego
lm
n

n + a
n
n + 1 + a
n+1

= lm
n
n
n + 1

1 + a
n
/n
1 + a
n+1
/(n + 1)

= 1,
con lo que R = 1. En el caso (2) na
n
0 cuando n , luego
lm
n

n + a
n
n + 1 + a
n+1

= lm
n
|a|
n
|a|
n+1

na
n
+ 1
(n + 1)a
(n+1)
+ 1

=
1
|a|
,
con lo que R = 1/|a|. As pues,
R = mn{1, 1/|a|}.
(f) La forma can onica de esta serie es

k=0
a
k
z
k
, a
k
=
_
1 si k = n!, para alg un n N {0},
0 en los dem as casos.
Evidentemente, |a
k
|
1/k
= a
k
, y adem as,
sup
kn
{a
k
} = 1, para todo n N {0},
con lo que
1
R
= lmsup
k
|a
k
|
1/k
= lmsup
k
a
k
= 1.
As pues, R = 1.
(g) Como
1
R
= lm
n
|a
n
|
1/n
= lm
n
|a
n
2
|
1/n
= lm
n
|a|
n
=
_

_
si |a| > 1,
1 si |a| = 1,
0 si |a| < 1,
entonces
R =
_

_
0 si |a| > 1,
1 si |a| = 1,
si |a| < 1.
5 SERIES 75
(h) Podemos emplear la f ormula
R = lm
n

a
n
a
n+1

= lm
n

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

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

= lm
n

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

= 1,
luego R = 1.
(i) La forma can onica de esta serie es

k=0
a
k
z
k
, a
k
=
_
1 si k = 2
n
, para alg un n N {0},
0 en los dem as casos.
Evidentemente, |a
k
|
1/k
= a
k
, y adem as,
sup
kn
{a
k
} = 1, para todo n N {0},
con lo que
1
R
= lmsup
k
|a
k
|
1/k
= lmsup
k
a
k
= 1.
As pues, R = 1.
(j) Como cos(in) = coshn,
R = lm
n

a
n
a
n+1

= lm
n
cosh n
cosh(n + 1)
= lm
n
e
n
+ e
n
e
n+1
+ e
(n+1)
= lm
n
e
n
e
n+1
1 + e
2n
1 + e
2(n+1)
=
1
e
.
(k) Como
n
_
|a
n
| = 3 + (1)
n
(= 4, 2, 4, 2, 4 . . . ),
sup
kn
k
_
|a
k
| = sup
kn
_
3 + (1)
k
_
= 4, para todo n N {0},
luego
1
R
= lmsup
n
k
_
|a
k
| = 4
y, por tanto, R = 1/4.
Problema 5.2. Si el radio de convergencia de la serie

n=0
c
n
z
n
es 0 < R < , determina el de

n=0
a
n
z
n
si
(a) a
n
= n
k
c
n
,
(b) a
n
= (2
n
1)c
n
,
(c) a
n
=
c
n
n!
,
(d) a
n
= n
n
c
n
,
(e) a
n
= c
k
n
,
(f) a
n
= (1 + z
n
0
)c
n
(|z
0
| > 1).
Soluci on: En todos los casos, llamaremos R

al radio de convergencia de la nueva serie.

76 5 SERIES
(a)
1
R

= lmsup
n
n
_
|a
n
| = lmsup
n
_
n
k/n n
_
|c
n
|
_
= lm
n
n
k/n
. .
=1
lmsup
n
n
_
|c
n
| =
1
R
,
luego R

= R.
(b)
1
R

= lmsup
n
n
_
|a
n
| = lmsup
n
_
(2
n
1)
1/n n
_
|c
n
|
_
= lm
n
(2
n
1)
1/n
. .
=2
lmsup
n
n
_
|c
n
| =
2
R
,
luego R

= R/2.
(c) Como
lm
n
n!
(n + 1)!
= lm
n
1
n + 1
= 0,
entonces
lm
n
_
1
n!
_
1/n
= 0.
Por lo tanto,
1
R

= lmsup
n
n
_
|a
n
| = lmsup
n
_
_
1
n!
_
1/n
n
_
|c
n
|
_
= lm
n
_
1
n!
_
1/n
lmsup
n
n
_
|c
n
|
. .
=1/R=
= 0
y R

= .
(d) Como
lm
n
n

n
n
= lm
n
n = ,
entonces
1
R

= lmsup
n
n
_
|a
n
| = lmsup
n
_
n

n
n
n
_
|c
n
|
_
= lm
n
n lmsup
n
n
_
|c
n
|
. .
=1/R=0
= ,
y R

= 0.
(e)
1
R

= lmsup
n
n
_
|a
n
| = lmsup
n
_
n
_
|c
n
|
_
k
=
_
lmsup
n
n
_
|c
n
|
_
k
=
1
R
k
,
luego R

= R
k
.
(f)
1
R

= lmsup
n
n
_
|a
n
| = lmsup
n
_
|1 + z
n
0
|
1/n n
_
|c
n
|
_
= lm
n
|z
n
0
+ 1|
1/n
|z
0
|
. .
=|z
0
|
lmsup
n
n
_
|c
n
| =
|z
0
|
R
,
luego R

= R/|z
0
|.
5 SERIES 77
Problema 5.3. Si el radio de convergencia de la serie

n=0
c
n
z
n
es R < , determina, para k N, el de las
series
(a)

n=0
c
kn
z
n
,
(b)

n=1
c
n
n
n
z
n
,
(c)

n=0
c
n
z
kn
,
(d)

n=0
c
n
z
n+k
,
(e)

n=0
c
n
n
z
n
2
,
(f)

n=0
c
n
z
n
2
.
Soluci on: En todos los casos, llamaremos R

al radio de convergencia de la nueva serie.

(a) Como el supremo de una subsucesi on es menor o igual que el de la sucesi on completa,
sup
mn
_
|c
km
|
1/m
_
=
_
sup
mn
_
|c
km
|
1/km
_
_
k

_
sup
mn
_
|c
m
|
1/m
_
_
k
y, por lo tanto,
1
R

= lmsup
n
|c
kn
|
1/n

_
lmsup
n
|c
n
|
1/n
_
k
=
1
R
k
,
con lo que R

R
k
.
(b)
1
R

= lmsup
n
_
|c
n
|
1/n
n
_
= lm
n
1
n
. .
=0
lmsup
n
|c
n
|
1/n
= 0,
luego R

= .
(c) La serie equivale a

n=0
c
n
w
n
, w = z
k
.
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| < R
1/k
y divergente si |z| > R
1/k
; por lo tanto, R

= R
1/k
.
(d) La serie consiste, simplemente, en

n=0
c
n
z
k+n
= z
k

n=0
c
n
z
n
;
por lo tanto R

= R.
(e) La forma can onica de esta serie es

k=0
a
k
z
k
, a
k
=
_
c
n
n
si k = n
2
para alg un n N {0},
0 para el resto de los k.
78 5 SERIES
Entonces,
|a
k
|
1/k
=
_
|c
n
|
1/n
si k = n
2
para alg un n N {0},
0 para el resto de los k.
Evidentemente,
1
R

= lmsup
k
|a
k
|
1/k
= lmsup
n
|c
n
|
1/n
=
1
R
,
con lo que R

= R.
(f) La forma can onica de esta serie es

k=0
a
k
z
k
, a
k
=
_
c
n
si k = n
2
para alg un n N {0},
0 para el resto de los k.
Entonces,
|a
k
|
1/k
=
_
|c
n
|
1/n
2
si k = n
2
para alg un n N {0},
0 para el resto de los k.
Como |c
n
|
1/n
2
=
_
|c
n
|
1/n
_
1/n
,
1
R

= lmsup
k
|a
k
|
1/k
= lmsup
n
|c
n
|
1/n
2
= 1,
con lo que R

= 1.
Problema 5.4. Si los radios de convergencia de las series

n=0
a
n
z
n
y

n=0
b
n
z
n
son R
a
y R
b
respectivamente,
qu e se puede decir del radio de convergencia de las siguientes series?

n=0
(a
n
+ b
n
)z
n
,

n=0
a
n
b
n
z
n
,

n=0
a
n
b
n
z
n
(b
n
= 0).
Soluci on: Respecto de la suma, si las dos series

n=0
a
n
z
n
,

n=0
b
n
z
n
,
son convergentes, entonces la suma lo es; por lo tanto,
R
a+b
mn{R
a
, R
b
}.
Por otro lado, la suma puede converger sin que converjan las series componentes, por lo que esto es lo
m aximo que se puede armar.
Respecto del producto,
1
R
ab
= lmsup
n
n
_
|a
n
b
n
| lmsup
n
n
_
|a
n
| lmsup
n
n
_
|b
n
| =
1
R
a
R
b
,
por lo que
R
ab
R
a
R
b
.
5 SERIES 79
Si alguno de los lmites,
lm
n
n
_
|a
n
|, lm
n
n
_
|b
n
|,
existe, entonces R
ab
= R
a
R
b
.
Finalmente, respecto del cociente, si existe el lmite
lm
n
n
_
|b
n
|,
entonces
1
R
a/b
= lmsup
n
n

a
n
b
n

=
lmsup
n
n
_
|a
n
|
lm
n
n
_
|b
n
|
=
R
b
R
a
,
con lo que
R
a/b
=
R
a
R
b
;
pero si ese lmite no existe, nada se puede armar en general del radio de convergencia de esa serie.
Problema 5.5. Halla el radio de convergencia de la serie

n=1
(1)
n
n
z
n(n+1)
,
y discute la convergencia para z = 1, 1, i.
Soluci on: La forma can onica de la serie es

k=0
a
k
z
k
, a
k
=
_
_
_
(1)
n
n
si k = n(n + 1) para alg un n N,
0 para cualquier otro valor.
Entonces,
|a
k
|
1/k
=
_

_
_
1
n
_
1/n(n+1)
si k = n(n + 1) para alg un n N,
0 para cualquier otro valor,
y, por lo tanto,
1
R
= lmsup
k
|a
k
|
1/k
= 1,
o sea que R = 1.
En 1 y en 1 la serie converge condicionalmente porque n(n + 1) es siempre un n umero par, con lo que
(1)
n(n+1)
= 1 y

n=1
(1)
n
n
es condicionalmente convergente, como se demuestra, por ejemplo, con el criterio de Leibnitz de series
alternadas. En z = i,
i
n(n+1)
= (1)
n(n+1)/2
,
80 5 SERIES
luego la serie resultante es

n=1
(1)
n+
n(n+1)
2
n
=

n=1
(1)
n(n+3)/2
n
.
El exponente del 1 es par o impar seg un el siguiente patr on:
si n = 4k entonces
1
2
n(n + 3) = 2k(4k + 3) es par;
si n = 4k + 1 entonces
1
2
n(n + 3) = (4k + 1)(2k + 2) es par;
si n = 4k + 2 entonces
1
2
n(n + 3) = (2k + 1)(4k + 5) es impar;
si n = 4k + 3 entonces
1
2
n(n + 3) = (4k + 3)(2k + 3) es impar.
La serie, entonces, es

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

1
3
+
1
4
+
1
5

1
6

1
7
+
1
8
+ .
Las parejas de t erminos del mismo signo son de la forma
1
2n
+
1
2n + 1
=
4n + 1
2n(2n + 1)
,
as que la serie se puede escribir como
1 +

n=1
(1)
n
4n + 1
2n(2n + 1)
.
Esta serie converge condicionalmente por el criterio de Leibnitz.
Problema 5.6. Suma, donde sean convergentes, las series
(a)

n=1
nz
n
,
(b)

n=1
z
n
n
,
(c)

n=0
z
2n+1
2n + 1
,
(d)

n=1
(1)
n
n
z
n
,
(e)

n=0
_
n
2
_
z
n
,
(f)

n=0
1
(1 + z
2
)
n
.
Soluci on: (a) La serie converge si |z| < 1. En el crculo de convergencia,

n=1
nz
n
= z

n=1
nz
n1
= z
_

n=0
z
n
_

= z
_
1
1 z
_

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

n=1
z
n
n
=

n=1
_
z
0

n1
d =
_
z
0
_

n=1

n1
_
d =
_
z
0
d
1
= log(1 z).
5 SERIES 81
(c) Cuando |z| < 1,

n=0
z
2n+1
2n + 1
=

n=0
_
z
0

2n
d =
_
z
0
_

n=0

2n
_
d =
_
z
0
_
1
1
2
_
d =
_
z
0
(arc tanh)

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

n=1
z
n
n
= log(1 z),

n=1
(1)
n+1
z
n
n
= log(1 + z);
sum andolas,

n=1
z
n
n
+

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

k=0
z
2k+1
2k + 1
= log(1 z) + log(1 + z),
luego

k=0
z
2k+1
2k + 1
=
1
2
log
_
1 + z
1 z
_
.
(d) Si |z| < 1,

n=1
(1)
n
z
n
n
=

n=1
(z)
n
n
= log(1 + z).
(e) Cuando |z| < 1,

n=0
_
n
2
_
z
n
=

n=0
n(n 1)
2
z
n
=
z
2
2

n=2
n(n 1)z
n2
=
z
2
2
_

n=0
z
n
_

=
z
2
2
_
1
1 z
_

=
z
2
2
_
1
(1 z)
2
_

=
z
2
(1 z)
3
.
(f) Cuando |1 + z
2
| > 1,

n=0
1
(1 + z
2
)
n
=

n=0
_
1
1 + z
2
_
n
=
1
1
1
1+z
2
=
1 + z
2
z
2
=
1
z
2
+ 1.
Problema 5.7. Expresa, en su crculo de convergencia, la serie

n=0
n
3
a
n
z
n
en t erminos de f(z) =

n=0
a
n
z
n
y de sus derivadas.
Soluci on:

n=0
n
3
a
n
z
n
= z
_

n=0
n
2
a
n
z
n
_

= z
_
z
_

n=0
na
n
z
n
_

= z
_
_
z
_
z
_

n=0
a
n
z
n
_

_
_

= 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 cu al es su radio
de convergencia:
(a) (1 z)
m
, m N, para a = 0;
(b)
2z + 3
z + 1
, para a = 1;
(c)
2z + 3
(z + 1)
2
, para a = 1;
(d)
1
4 + z
2
, para a = 0;
(e)
1
z
2
5z + 6
, para a = 0;
(f)
z
(z 1)
2
, para a = 0;
(g)
1
bz + c
, con b, c C, c = 0, para a = 0.
(h)
6z
z
2
4z + 13
, para a = 0;
(i)
1
(z + 1)
2
, para a = 0;
(j)
z
2
(z + 1)
2
, para a = 0;
(k) valor principal de log
_
1 + z
1 z
_
, para a = 0;
(l)
_
z
0
e

2
d, para a = 0;
(m)
_
z
0
sen

d, para a = 0;
(n) sen
2
z, para a = 0;
( n) cosh
2
z, para a = 0;
(o) sen(2z z
2
), para a = 1;
(p) valor principal de z
1/3
, para a = 1;
(q) valor principal de

z + i, para a = 0;
(r)
e
z
1 z
z
2
, para a = 0;
(s)
1 cos z
3
z
5
, para a = 0.
Soluci on: (a) El radio de convergencia es R = 1 (distancia al origen de la primera singularidad) y la serie
(1 z)
m
=

n=0
(1)
n
_
m
n
_
z
n
.
Ahora bien,
_
m
n
_
=
m(m1)(m2) (mn + 1)
n!
= (1)
n
m(m + 1)(m + 2) (m + n 1)
n!
= (1)
n
_
m + n 1
n
_
,
con lo que
(1 z)
m
=

n=0
_
m + n 1
n
_
z
n
, |z| < 1.
(b) Escrita en t erminos de z 1, la funci on a desarrollar es
2z + 3
z + 1
=
2(z + 1) + 1
z + 1
= 2 +
1
z + 1
= 2 +
1
2 + (z 1)
= 2 +
1
2
1
1 + (z 1)/2
,
con lo que el radio de convergencia es R = 2, y la serie
2 +
1
2
1
1 + (z 1)/2
= 2 +
1
2

n=0
(1)
n
2
n
(z 1)
n
=
5
2
+

n=1
(1)
n
2
n+1
(z 1)
n
, |z 1| < 2.
5 SERIES 83
(c) Como en el caso anterior, pero ahora la funci on es
2z + 3
(z + 1)
2
=
2
z + 1
+
1
(z + 1)
2
=
1
1 + (z 1)/2
+
1
4
1
_
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 + (z 1)/2
+
1
4
1
_
1 + (z 1)/2
_
2
=

n=0
(1)
n
2
n
(z 1)
n
+
1
4

n=0
(1)
n
(n + 1)
2
n
(z 1)
n
=

n=0
(1)
n
2
n
(z 1)
n
_
1 +
n + 1
4
_
=

n=0
(1)
n
2
n
(z 1)
n
n + 5
4
=

n=0
(1)
n
n + 5
2
n+2
(z 1)
n
, |z 1| < 2.
(d) Como
1
4 + z
2
=
1
4
1
1 + z
2
/4
,
entonces R = 2 y
1
4 + z
2
=
1
4

n=0
(1)
n
4
n
z
2n
=

n=0
(1)
n
4
n+1
z
2n
, |z| < 2.
(e) Como la funci on es
1
z
2
5z + 6
=
1
(z 2)(z 3)
=
1
z 3

1
z 2
=
1
2
1
1 z/2

1
3
1
1 z/3
,
el radio de convergencia es R = 2 (la singularidad m as cercana al origen), y la serie
1
z
2
5z + 6
=
1
2

n=0
z
n
2
n

1
3

n=0
z
n
3
n
=

n=0
_
1
2
n+1

1
3
n+1
_
z
n
, |z| < 2.
(f) El radio de convergencia es R = 1 y la serie
z
(z 1)
2
=
z
(1 z)
2
= z

n=0
(n + 1)z
n
=

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

n=1
nz
n
, |z| < 1.
(g) Dado que la funci on se escribe
1
bz + c
=
1
c
1
1 + bz/c
,
el radio de convergencia ser a R = |c/b| y la serie
1
bz + c
=
1
c

n=0
b
n
c
n
z
n
=

n=0
b
n
c
n+1
z
n
, |z| <
|c|
|b|
.
84 5 SERIES
(h) Descomponiendo la funci on en fracciones elementales,
6z
z
2
4z + 13
=
3 + 2i
2 + 3i z

3 + 2i
2 3i z
==
i(2 + 3i)
2 + 3i z

i(2 3i)
2 3i z
=
i
1 z/(2 + 3i)

i
1 z/(2 3i)
,
con lo que el radio de convergencia es R = |2 + 3i| = |2 3i| =

13, y la serie
6z
z
2
4z + 13
= i

n=0
z
n
(2 + 3i)
n
i

n=0
z
n
(2 3i)
n
=

n=0
_
i(2 3i)
n
i(2 + 3i)
n
13
n
_
z
n
, |z| <

13.
Se puede escribir de una forma m as compacta poniendo 2 3i =

13e
i
, con = arctan(3/2);
entonces,
i(2 3i)
n
i(2 + 3i)
n
13
n
=
i
13
n/2
(e
in
e
in
) =
2
13
n/2
senn,
con lo que
6z
z
2
4z + 13
= 2

n=0
senn
13
n/2
z
n
.
(i) Como (z + 1)
2
= (1 + z)
2
, aplicando el resultado del primer apartado,
1
(z + 1)
2
=

n=0
(1)
n
(n + 1)z
n
, |z| < 1.
(j) Del apartado anterior,
z
2
(z + 1)
2
=

n=0
(1)
n
(n + 1)z
n+2
=

n=2
(1)
n
(n 1)z
n
, |z| < 1.
(k) Si denotamos
f(z) = log
_
1 + z
1 z
_
,
entonces
f

(z) =
1
1 + z
+
1
1 z
=
2
1 z
2
= 2

n=0
z
2n
, |z| < 1.
Si hallamos una primitiva de la serie,
f(z) = c + 2

n=0
z
2n+1
2n + 1
, |z| < 1,
y como tomando el valor principal del logaritmo f(0) = 0, se sigue que c = 0 y
log
_
1 + z
1 z
_
= 2

n=0
z
2n+1
2n + 1
, |z| < 1.
5 SERIES 85
(l)
_
z
0
e

2
d =
_
z
0
_

n=0

2n
n!
_
d =

n=0
1
n!
_
z
0

2n
d =

n=0
1
n!
z
2n+1
2n + 1
, z C
(el radio de convergencia es innito porque lo es el de la exponencial).
(m)
_
z
0
sen

d =
_
z
0
_

n=0
(1)
n

2n
(2n + 1)!
_
d =

n=0
(1)
n
(2n + 1)!
_
z
0

2n
d
=

n=0
(1)
n
(2n + 1)!
z
2n+1
2n + 1
, z C
(el radio de convergencia es innito porque lo es el de la funci on senz).
(n) Como sen
2
z = (1 cos 2z)/2,
sen
2
z =
1
2
_
1

n=0
(1)
n
2
2n
(2n)!
z
2n
_
=
1
2

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

n=1
(1)
n+1
2
2n1
(2n)!
z
2n
, z C
(el radio de convergencia es innito porque lo es el de la funci on cos 2z).
( n) Como cosh
2
z = (1 + cosh 2z)/2,
cosh
2
z =
1
2
_
1 +

n=0
2
2n
(2n)!
z
2n
_
=
1
2
_
2 +

n=1
2
2n
(2n)!
z
2n
_
= 1 +

n=1
2
2n1
(2n)!
z
2n
, z C
(el radio de convergencia es innito porque lo es el de la funci on cosh2z).
(o) Como 2z z
2
= 1 (z 1)
2
,
sen(2z z
2
) = sen
_
1 (z 1)
2
_
= sen1 cos(z 1)
2
cos 1 sen(z 1)
2
.
La serie se obtiene a partir de los desarrollos
cos(z 1)
2
=

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

n=0
(1)
n
(z 1)
4n+2
(2n + 1)!
, z C.
(p) Como
z
1/3
=
_
1 + (z 1)
_
1/3
,
usando el desarrollo del valor principal de (1 w)

,
z
1/3
=

n=0
_
1/3
n
_
z
n
, |z| = 1.
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

z + i =
1 + i

n=0
(i)
n
_
1/2
n
_
z
n
, |z| < 1.
(r) A partir de la serie de la exponencial,
e
z
=

n=0
z
n
n!
, z C,
se sigue que
e
z
1 z =

n=2
z
n
n!
, z C,
y por lo tanto que
e
z
1 z
z
2
=

n=2
z
n2
n!
=

n=0
z
n
(n + 2)!
, z C.
(s) Como
cos z
3
=

n=0
(1)
n
z
6n
(2n)!
, z C,
entonces,
1 cos z
3
=

n=1
(1)
n+1
z
6n
(2n)!
, z C,
y por tanto,
1 cos z
3
z
5
=

n=1
(1)
n+1
z
6n5
(2n)!
=

n=0
(1)
n
z
6n+1
(2n + 2)!
, z C.
Problema 5.9. Encuentra una funci on entera f(z) tal que f(i) = 1 y f
(n)
(i) = (i)
n
para todo n N.
Soluci on: Si la funci on es entera, para todo z C
f(z) =

n=0
f
(n)
(i)
n!
(z + i)
n
=

n=0
(i)
n
n!
(z + i)
n
=

n=0
(1 iz)
n
n!
= e
1iz
.
Problema 5.10. Puede la serie de potencias

n=0
a
n
(z 2)
n
converger en z = 0 y diverger en z = 3?
Soluci on: 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).
(a)
1
z
4
+ 1
, en a = 1,
(b)
1
z
4
1
, en a = (1 + i)/2,
(c)
1
z
4
+ z
2
+ 1
, en a = i,
(d)
1
sen z
, en a = 1 + i,
(e)
1
1 tanz
, en a = 1 + 2i,
(f)
1
z
3/2
+ 8i
, en a = 5,
(g) tanh z, en a = i,
(h)
1
log z
, en a = 3/4,
(i)
1
1

z
, en a = 3/2.
Soluci on: (a) Las races del denominador son las soluciones de z
4
= 1, es decir z = e
i/4
, e
i3/4
. Las
dos m as pr oximas al punto z = 1 son e
i/4
, y su distancia a aqu el es

e
i/4
1

2
1
i

_
1
1

2
_
2
+
1
2
=
_
1 +
1
2

2 +
1
2
=
_
2

2,
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 m as pr oximas
al punto z = (1 + i)/2 son 1 e i, equidistantes de el, y su distancia es

1
1
2

i
2

1
2

i
2

=
1

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,
z =

1
2
i

3
2
=
_
e
i/3
= e
i/6
=

3
2

i
2
.
Las dos m as cercanas, equidistantes, a z = i son (

3 + i)/2, cuya distancia es

3
2
+
i
2
i

3
2

i
2

= 1,
as que el radio de convergencia es R = 1.
(d) Las races del denominador son las soluciones de senz = 0, es decir, z = n, con n Z. Las dos
races m as pr oximas a z = 1 + i son z = 0 y z = , y sus respectivas distancias
|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 tanz = 1, es decir, z = /4 + k, con k Z. La
raz m as cercana a z = 1 + 2i es z = /4, que est a a distancia

1 + 2i

4

=
_
_
1

4
_
2
+ 4,
de modo que ese es el radio de convergencia.
(f) La funci on 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,
e
3
2
ln r+i
3
2

= e
ln 8+i

2
,
de donde lnr =
2
3
ln8 = ln4, es decir, r = 4, y
=
2
3
_

2
+ 2k
_
=
4k + 1
3
, k = 0, 1, 2.
La soluci on para k = 2 es = 3, que est a descartada porque cae sobre el corte. As que las dos races
del denominador son
z = 4e
i/3
= 2(1 i

3).
Las dos races est an equidistantes de z = 5, y m as cerca de este punto que la singularidad en z = 0
procedente del logaritmo, as que la distancia desde z = 5 a la singularidad m as cercana ser a

2 i2

3 5

3 i2

9 + 12 =

21.
Por tanto el radio de convergencia ser a R =

21.
(g) Las races del denominador son las soluciones de coshz = 0, es decir, z = i(n+1/2), con n Z. La
m as 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 unica
soluci on 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 unico cero del denominador es z = 1, y adem as tenemos el corte, que empieza en z = 0 y se
extiende por el semieje real negativo. La distancia m as corta a z = 3/2 es desde z = 1, as que el radio
de convergencia es R = 1/2.
Problema 5.12. Considera la funci on f(z) = log z sobre la rama principal.
(a) Obt en 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 ultimo apartado, considera la misma funci on con el corte /2 < arg z 3/2.
Soluci on: (a) Por un lado,
f(1 + i) = log(1 + i) = log
_

2e
i3/4
_
=
1
2
ln 2 + i3

4
5 SERIES 89
sobre la rama principal; por otro lado,
f
(n)
(z) = (1)
n+1
(n 1)!
z
n
, n N,
con lo que
f
(n)
(1 + i) = (1)
n+1
(n 1)!
(1 + i)
n
= (1)
n+1
(n 1)!
e
in3/4
2
n/2
,
as que
log z =
1
2
ln2 + i
3
4
+

n=0
(1)
n+1
e
in3/4
2
n/2
n
z
n
.
(b) Por el criterio del cociente, el radio de convergencia vale
R = lm
n
|a
n
|
|a
n+1
|
= lm
n
2
(n+1)/2
(n + 1)
2
n/2
n
=

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 funci on 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 esta es

2. Esto explica por qu e ocurre lo que ocurre con el corte principal: resulta que log z con este segundo
corte es una extensi on 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 funci on, 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 com un a todos los posibles
cortes.
Problema 5.13. (a) Demuestra que si 0 r < 1,

n=1
r
n
cos n =
r cos r
2
1 2r cos + r
2
,

n=1
r
n
senn =
r sen
1 2r cos + r
2
.
(b) Demuestra que si y > 0 y x R,

n=0
e
ny
cos nx =
1
2
+
senhy
2(coshy cos x)
,

n=1
e
ny
sennx =
e
y
sen x
1 2e
y
cos x + e
2y
.
AYUDA: Utiliza la suma de la serie geom etrica.
Soluci on: (a) Si combinamos las dos series obtenemos

n=1
r
n
cos n + i

n=1
r
n
senn =

n=1
_
re
i
_
n
=
re
i
1 re
i
=
re
i
_
1 re
i
_
|1 re
i
|
2
=
re
i
r
2
1 + r
2
2r cos
,
luego

n=1
r
n
cos n = Re
_
re
i
r
2
1 + r
2
2r cos
_
=
r cos r
2
1 2r cos + r
2
,

n=1
r
n
senn = Im
_
re
i
r
2
1 + r
2
2r cos
_
=
r sen
1 2r cos + r
2
.
90 5 SERIES
(b) De nuevo, combinando las dos series,

n=0
e
ny
cos nx + i

n=1
e
ny
sennx =

n=0
e
ny
(cos nx + i sennx) =

n=0
_
e
y+ix
_
n
=
1
1 e
y+ix
=
1 e
yix
1 + e
2y
2e
y
cos x
,
luego

n=0
e
ny
cos nx = Re
_
1 e
yix
1 + e
2y
2e
y
cos x
_
=
1 e
y
cos x
1 + e
2y
2e
y
cos x
=
e
y
cos x
e
y
+ e
y
2 cos x
=
coshy + senhy cos x
2(cosh y cos x)
=
1
2
+
senh y
2(coshy cos x)
,

n=0
e
ny
sennx = Im
_
1 e
yix
1 + e
2y
2e
y
cos x
_
=
e
y
sen x
1 + e
2y
2e
y
cos x
=
senx
2(cosh y cos x)
.
Problema 5.14. Estudia el comportamiento de las siguientes series de potencias en la frontera del crculo
de convergencia:
(a)

n=1
z
n
,
(b)

n=1
z
n
n
,
(c)

n=1
z
n
n
2
,
(d)

n=1
z
n!
n
2
,
(e)

n=1
(1)
n
n
z
n
,
(f)

n=2
(1)
n
lnn
z
3n1
,
(g)

n=1
z
pn
n
(p N),
(h)

n=1
z
n
n

,
(i)

n=0
cos(in)z
n
.
Soluci on: (a) Las sumas parciales de esta serie se pueden calcular:
k

n=1
z
n
=
z z
k+1
1 z
=
z
1 z
(1 z
k
), z = 1.
Cuando z = 1,
k

n=1
1 = k,
que es divergente. En t erminos de la suma parcial, si z = e
i
, con = 2l, l Z, entonces
k

n=1
e
in
=
e
i
1 e
i
(1 e
ik
),
5 SERIES 91
ahora bien, como e
ik
no tiene lmite para dichos valores de , podemos armar que la serie no converge
en ning un punto de la circunferencia |z| = 1.
(b) Como el radio de convergencia es R = 1 y la sucesi on R
n
/n = 1/n es mon otona 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

n=1
|z|
n
n
2
=

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

n=1
(z)
n
n
,
luego es condicionalmente convergente sobre |z| = 1 excepto cuando z = 1.
(f) Si reescribimos la serie

n=2
(1)
n
lnn
z
3n1
=
1
z

n=2
(z
3
)
n
lnn
,
podemos deducir sus propiedades de convergencia a partir de las de la serie

n=2
w
n
lnn
.
El radio de convergencia de esta serie es R = 1, ya que, denotando a
n
= 1/ lnn,
R = lm
n
|a
n
|
|a
n+1
|
= lm
n
ln(n + 1)
lnn
= lm
n
lnn + ln(1 + 1/n)
lnn
= 1.
Por otro lado, como a
n
R
n
= 1/ lnn, 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 tambi en, y que converge cuando |z| = 1 excepto cuando
z
3
= 1, es decir, cuando z = 1, e
i/3
.
(g) La serie es la misma que la del apartado (b) cambiando z por z
p
,

n=1
(1)
n
z
pn
n
=

n=1
(z
p
)
n
n
,
luego es condicionalmente convergente sobre |z| = 1 excepto cuando z
p
= 1, es decir, para z =
1, w, w
2
, . . . , w
p1
, siendo w = e
i2/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 t ermino general, que ser a de la forma e
in
n
||
, no tiende a cero cuando n , luego
la serie no converge sobre |z| = 1. Si 0 < 1, entonces como a
n
R
n
= 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

n=1
|z|
n
n

n=1
1
n

< .
(i) Como cos(in) = coshn, el radio de convergencia de la serie es
R = lm
n
e
n
+ e
n
e
n+1
+ e
n1
=
1
e
.
Sobre |z| = e
1
, la sucesi on
a
n
R
n
= coshne
n
=
1 + e
2n
2
,
que es mon otona decreciente pero no converge a cero. Tomemos, entonces, un punto sobre |z| = e
1
,
cuya forma gen erica es z = e
1+i
, con 0 < 2. El t ermino general de la serie ser a
coshnz
n
= coshne
n
e
in
=
1 + e
2n
2
e
in
.
Este t ermino general no tiende a cero para ning un valor de , luego la serie no converge en ning un punto
de |z| = e
1
.
Problema 5.15. Estudia los conjuntos de C en que son convergentes las series
(a)

n=1
_
z
z + 1
_
n
,
(b)

n=0
2
n
(z 1)
2n
,
(c)

n=1
1
n
2
3
n
_
z + 1
z 1
_
n
,
(d)

n=1
1
n(z + i)
n
,
(e)

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

n=1
e
nz
n
2
,
(g)

n=1
z
n
1 + z
2n
,
(h)

n=0
n!e
in
2
z
,
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).
Soluci on: (a) Se trata de la serie

n=1
w
n
, w =
z
z + 1
,
que converge absolutamente sobre |w| < 1, esto es,
|z| < |z + 1| |z|
2
< |z + 1|
2
= |z|
2
+ 2 Re z + 1 2 Re z + 1 > 0 Re z >
1
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=1
_
z
z + 1
_
n
=
z
z+1
1
z
z+1
= z.
(b) Se trata de la serie

n=0
w
n
, w =
2
(z 1)
2
,
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

n=0
2
n
(z 1)
2n
=
1
1
2
(z1)
2
=
(z 1)
2
z
2
2z 1
.
(c) Se trata de la serie

n=1
w
n
n
2
, w =
z + 1
3(z 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
8|z|
2
20 Re z + 8 0 |z|
2

5
2
Re z + 1 0

z
5
4

25
16
+ 1 0

z
5
4

_
3
4
_
2

z
5
4

3
4
.
Dentro de este disco, es decir, cuando

z
5
4

<
3
4
,
la serie diverge.
Donde converge, la serie suma
F(w) =

n=1
w
n
n
2
=

n=1
_
w
0

n1
n
d =
_
w
0
1

n=1

n
n
_
d =
_
w
0
log(1 )
d

,
o sea,

n=1
1
n
2
3
n
_
z + 1
z 1
_
n
= F
_
z + 1
3(z 1)
_
.
94 5 SERIES
(d) Se trata de la serie

n=1
w
n
n
, w =
1
z + i
,
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

n=1
1
n(z + i)
n
= log
_
1
1
z + i
_
= log
_
z 1 + i
z + i
_
.
(e) Como
1
1 z
n

1
1 z
n+1
=
1 z
n+1
1 + z
n
(1 z
n
)(1 z
n+1
)
=
z
n
(1 z)
(1 z
n
)(1 z
n+1
)
,
entonces
z
n
(1 z
n
)(1 z
n+1
)
=
1
1 z
_
1
1 z
n

1
1 z
n+1
_
,
con lo que

n=1
z
n
(1 z
n
)(1 z
n+1
)
=
1
1 z

n=1
_
1
1 z
n

1
1 z
n+1
_
,
que es una serie telesc opica. Su suma es

n=1
_
1
1 z
n

1
1 z
n+1
_
=
1
1 z
lm
n
1
1 z
n
,
as que la convergencia est a ligada a la existencia del lmite anterior. Si |z| < 1 tenemos z
n
0 cuando
n y, por tanto,
1
1 z
n
1
cuando n ; si |z| > 1,
1
1 z
n
=
z
n
z
n
1
0
cuando n , as que en ambos casos las serie converge. Si z = 1 la serie no est a denida, y si
z = e
i
, con = 2k (k Z),
1
1 e
in
no tiene lmite. En conclusi on, la serie converge cuando |z| = 1 y diverge cuando |z| = 1.
Donde converge, la suma de la serie es

n=1
z
n
(1 z
n
)(1 z
n+1
)
=
1
1 z
_
1
1 z
lm
n
1
1 z
n
_
=
_

_
z
(1 z)
2
si |z| < 1,
1
(1 z)
2
si |z| > 1.
5 SERIES 95
(f) Se trata de la serie

n=1
w
n
n
2
, w = e
z
,
que converge absolutamente sobre |w| 1, esto es,
|e
z
| = e
Re z
1 Re z 0.
Si Re z > 0 la serie diverge.
Donde converge, la serie suma F(e
z
), siendo
F(w) =
_
w
0
log(1 )
d

.
(g) Si |z| = 1, el t ermino 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 + z
2n

1/n
=
|z|
|1 + z
2n
|
1/n
|z|
cuando n . Como |z| < 1 la serie converge absolutamente. Y si |z| > 1 podemos hacer la
transformaci on, multiplicando numerador y denominador por z
2n
,
z
n
1 + z
2n
=
z
n
1 + z
2n
,
con lo que la serie queda igual cambiando z por z
1
. Como |z
1
| < 1 la serie converge tambi en
absolutamente en esta regi on. As que hay convergencia absoluta si |z| = 1 y no hay convergencia de
ning un tipo si |z| = 1.
(h) Consideremos la serie

n=0
n!w
n
2
=

k=0
a
k
z
k
, a
k
=
_
n! si k = n
2
para alg un n N {0},
0 para el resto de los valores.
Su radio de convergencia se obtiene como
1
R
= lmsup
k
|a
k
|
1/k
= lm
n
(n!)
1/n
2
= lm
n
(2n)
1/2n
2
n
1/n
e
1/n
= 1,
con lo que la serie converge absolutamente si |w| < 1 y diverge si |w| > 1. Sobre |w| = 1 el t ermino
general de la serie, n!e
in
2

, no tiende a 0 y es, por tanto, divergente.

La serie original se obtiene de esta haciendo w = e
iz
. La condici on de convergencia, |w| < 1, se traduce
en
|e
iz
| = e
Imz
< 1 Imz > 0.
Problema 5.16. Sea f(z) la funci on denida por la serie
f(z) =

n=0
a
n
z
n
.
Demuestra que
(a) si f(z) es par, a
n
= 0 para todo n impar,
(b) si f(z) es impar, a
n
= 0 para todo n par.
96 5 SERIES
Soluci on: (a) Una funci on par cumple f(z) = f(z) y, por tanto,
0 = f(z) f(z) =

n=0
a
n
z
n

n=0
(1)
n
a
n
z
n
=

n=0
[1 (1)
n
]a
n
z
n
.
Ahora bien,
1 (1)
n
=
_
0 si n es par,
2 si n es impar,
luego
0 = 2

k=0
a
2k+1
z
2k+1
.
Como la serie de Taylor de la funci on 0 es unica, los coecientes deben ser todos nulos, as que
a
2k+1
= 0, k N {0}.
(b) Una funci on impar cumple f(z) = f(z) y, por tanto,
0 = f(z) + f(z) =

n=0
a
n
z
n
+

n=0
(1)
n
a
n
z
n
=

n=0
[1 + (1)
n
]a
n
z
n
.
Ahora bien,
1 + (1)
n
=
_
2 si n es par,
0 si n es impar,
luego
0 = 2

k=0
a
2k
z
2k
.
Como la serie de Taylor de la funci on 0 es unica, los coecientes deben ser todos nulos, as que
a
2k
= 0, k N {0}.
Problema 5.17. Estudia si existe o no una funci on analtica en alg un 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), . . .
Soluci on: (a) Una funci on as debe cumplir f(1/2n) = 1 para todo n N. Como la sucesi on {1/2n} es de
t erminos todos distintos y converge a 0, que est a en el intervalo [0, 1], s olo hay una funci on holomorfa
en que verique esa condici on, y es f(z) = 1. Pero evidentemente esta funci on no se anula sobre los
puntos 1/(2n + 1).
(b) Como en el caso anterior, pero ahora la condici on es f(1/2n) = 1/2n y la funci on f(z) = 1/z, que
tampoco se anula sobre los puntos 1/(2n + 1).
5 SERIES 97
(c) Como en el caso anterior, la funci on 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 funci on holomorfa que cumpla
f
_
1
n
_
=
n
n + 1
=
1
1 + 1/n
,
y tal funci on ( unica por el principio de prolongaci on analtica) es f(z) = 1/(1 + z).
Problema 5.18. (a) Halla el desarrollo en serie de potencias de z de la funci on entera f(z) que coincida
sobre el eje real positivo con la funci on f(x) = sen

x/

x.
(b) Cu anto vale esa funci on sobre el eje real negativo?
Soluci on: (a) Sobre el eje real positivo
sen

x =

n=0
(1)
n
(

x)
2n+1
(2n + 1)!
,
con lo que
sen

x
=

n=0
(1)
n
(

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

n=0
(1)
n
x
n
(2n + 1)!
.
La funci on analtica que coincide con esta sobre el eje real es, l ogicamente,
f(z) =

n=0
(1)
n
z
n
(2n + 1)!
.
(b)
f(x) =

n=0
x
n
(2n + 1)!
=

n=0
(

x)
2n
(2n + 1)!
=
senh

x
.
Problema 5.19. Sin calcular sus derivadas, obt en los desarrollos en serie de potencias de z, hasta grado 4,
de las funciones
(a)
_
log(1 z)
_
2
,
(b) e
z/(1z)
,
(c) e
e
z
,
(d) (1 + z)
z
,
(e) e
z sen z
,
(f)

cos z,
(g)
z
e
z
1
,
(h)
log(1 + z)
cos z
.
Soluci on: (a) Como
log(1 z) =

n=1
z
n
n
,
entonces
_
log(1 z)
_
2
=
_
z +
z
2
2
+
z
3
3
+
__
z +
z
2
2
+
z
3
3
+
_
= z
2
+
_
1
2
+
1
2
_
z
3
+
_
1
3
+
1
3
+
1
4
_
+ = z
2
+ z
3
+
11
12
z
4
+
98 5 SERIES
(b) Por un lado,
z
1 z
=

n=1
z
n
,
y por otro,
e
w
=

n=0
w
n
n!
,
con lo cual,
e
z/(1z)
= 1 + (z + z
2
+ z
3
+ z
4
+ ) +
1
2
(z + z
2
+ z
3
+ )
2
+
1
6
(z + z
2
+ )
3
+
1
24
(z + )
4
+ ;
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,
e
z/(1z)
= 1 + (z + z
2
+ z
3
+ z
4
+ ) +
1
2
(z
2
+ 2z
3
+ 3z
4
+ ) +
1
6
(z
3
+ 3z
4
+ )
+
1
24
(z
4
+ ) + = 1 + z +
_
1 +
1
2
_
z
2
+
_
1 + 1 +
1
6
_
z
3
+
_
1 +
3
2
+
1
2
+
1
24
_
z
4
+ = 1 + z +
3
2
z
2
+
13
6
z
3
+
73
24
z
4
+ .
(c) Escribimos
e
e
z
= ee
e
z
1
y sustituimos
e
e
z
1
= 1 +
_
z +
z
2
2
+
z
3
6
+
z
4
24
+
_
+
1
2
_
z +
z
2
2
+
z
3
6
+
_
2
+
1
6
_
z +
z
2
2
+
_
3
+
1
24
(z + )
4
+ ;
pero
_
z +
z
2
2
+
z
3
6
+
_
2
= z
2
+
_
1
2
+
1
2
_
z
3
+
_
1
6
+
1
6
+
1
4
_
z
4
+ = z
2
+ z
3
+
7
12
z
4
+ ,
_
z +
z
2
2
+
_
3
=
_
z +
z
2
2
+
_
_
z
2
+ z
3
+
_
= z
3
+
_
1 +
1
2
_
z
4
+
= z
3
+
3
2
z
4
+ ,
(z + )
4
= z
4
+ ,
5 SERIES 99
con lo que
e
e
z
1
= 1 + z +
_
1
2
+
1
2
_
z
2
+
_
1
6
+
1
2
+
1
6
_
z
3
+
_
1
24
+
7
24
+
1
4
+
1
24
_
z
4
+
= 1 + z + z
2
+
5
6
z
3
+
5
8
z
4
+
y por lo tanto,
e
e
z
= e
_
1 + z + z
2
+
5
6
z
3
+
5
8
z
4
+
_
.
(d) La funci on
(1 + z)
z
= e
z log(1+z)
;
ahora bien,
z log(1 + z) = z
2

z
3
2
+
z
4
3
+ ,
con lo cual
(1 + z)
z
= e
z log(1+z)
= 1 +
_
z
2

z
3
2
+
z
4
3
+
_
+
1
2
_
z
2
+
_
2
+
= 1 + z
2

z
3
2
+
_
1
3
+
1
2
_
z
4
+ = 1 + z
2

z
3
2
+
5
6
z
4
+ .
(e) Como
z senz = z
2

z
4
6
+
entonces
e
z sen z
= 1 +
_
z
2

z
4
6
+
_
+
1
2
(z
2
+ )
2
+ = 1 + z
2
+
_
1
2

1
6
_
z
4
+
= 1 + z
2
+
z
4
3
+ .
(f) La funci on

cos z =
_
1 + (cos z 1),
con lo que usando

1 + w = 1 +
w
2

w
2
8
+ ,
cos z 1 =
z
2
2
+
z
4
24
+ ,
obtenemos

cos z = 1 +
1
2
_

z
2
2
+
z
4
24
+
_

1
8
_

z
2
2
+
_
2
+ = 1
z
2
4
+
_
1
48

1
32
_
z
4
+
= 1
z
2
4

z
4
96
+ .
100 5 SERIES
(g) Como
e
z
1 = z +
z
2
2
+
z
3
6
+
z
4
24
+
z
5
120
+ ,
dividiendo z entre e
z
1,
z z +
1
2
z
2
+
1
6
z
3
+
1
24
z
4
+
1
120
z
5

z +
1
2
z
2
+
1
6
z
3
+
1
24
z
4
+
1
120
z
5
1
1
2
z +
1
12
z
2

1
720
z
4

1
2
z
2

1
6
z
3

1
24
z
4

1
120
z
5

1
2
z
2

1
4
z
3

1
12
z
4

1
48
z
5

1
12
z
3 1
24
z
4
+
1
80
z
5

1
12
z
3 1
24
z
4
+
1
72
z
5

1
720
z
5

1
720
z
5


y por lo tanto,
z
e
z
1
= 1
z
2
+
z
2
12

z
4
720
+ .
(h) Como
log(1 + z) = z
z
2
2
+
z
3
3

z
4
4
+ ,
cos z = 1
z
2
2
+
z
4
24
+ ,
dividiendo las dos series
z
1
2
z
2
+
1
3
z
3

1
4
z
4
1
1
2
z
2
+
1
24
z
4

z
1
2
z
3
z
1
2
z
2
+
5
6
z
3

1
2
z
4

1
2
z
2 5
6
z
3

1
4
z
4

1
2
z
2 1
4
z
4

5
6
z
3

1
2
z
4

5
6
z
3

1
2
z
4

1
2
z
4


luego
log(1 + z)
cos z
= z
1
2
z
2
+
5
6
z
3

1
2
z
4
+ .
5 SERIES 101
Problema 5.20. Halla los desarrollos de Laurent en potencias de z de las siguientes funciones en el ma-
yor n umero de dominios posible, e indica los correspondientes anillos de convergencia (considera el valor
principal de las funciones multivaluadas).
(a)
1
z
2
3z + 2
,
(b)
1
z
+
1
(z 1)
2
+
1
z + 2
,
(c) sen
1
z
,
(d)
1
z(1 z)
,
(e)
1
(z a)
k
(a = 0, k N),
(f) z
2
e
1/z
,
(g) log
_
z a
z b
_
(0 < a < b),
(h)
arctanz
z
4
,
(i)
1
(z a)(z b)
(a, b C).
Soluci on: (a) Descomponiendo en fracciones elementales,
1
z
2
3z + 2
=
1
(z 1)(z 2)
=
1
z 2

1
z 1
=
1
1 z

1
2 z
.
Por un lado,
1
1 z
=

n=0
z
n
, |z| < 1,
pero tambi en
1
1 z
=
1
z
1
1 z
1
=
1
z

n=0
z
n
=

n=0
z
(n+1)
=

n=1
z
n
, |z| > 1.
Por otro lado,
1
2 z
=
1
2
1
1 z/2
=
1
2

n=0
z
n
2
n
=

n=0
z
n
2
n+1
, |z| < 2,
pero tambi en
1
2 z
=
1
z
1
1 2/z
=
1
z

n=0
2
n
z
n
=

n=0
2
n
z
n+1
=

n=1
2
n1
z
n
, |z| > 2.
Combinando estos resultados tenemos que, para |z| < 1,
1
z
2
3z + 2
=

n=0
z
n

n=0
z
n
2
n+1
=

n=0
_
1
1
2
n+1
_
z
n
;
para 1 < |z| < 2,
1
z
2
3z + 2
=

n=1
z
n

n=0
z
n
2
n+1
,
y para 2 < |z|,
1
z
2
3z + 2
=

n=1
z
n
+

n=1
2
n1
z
n
=

n=1
2
n1
1
z
n
.
102 5 SERIES
(b) Por un lado,
1
(1 z)
2
=

n=0
(n + 1)z
n
, |z| < 1;
pero tambi en
1
(1 z)
2
=
1
z
2
1
(1 z
1
)
2
=
1
z
2

n=0
n + 1
z
n
=

n=0
n + 1
z
n+2
=

n=2
n 1
z
n
, |z| > 1.
Por otro lado,
1
z + 2
=
1
2
1
1 + z/2
=

n=0
(1)
n
z
n
2
n+1
, |z| < 2,
pero tambi en
1
z + 2
=
1
z
1
1 + 2/z
=

n=0
(1)
n
2
n
z
n+1
=

n=1
(1)
n+1
2
n1
z
n
, |z| > 2.
Finalmente 1/z es su propia serie de Laurent para |z| > 0. Combinando todos los resultados tenemos
que, para 0 < |z| < 1,
1
z
+
1
(z 1)
2
+
1
z + 2
=
1
z
+

n=0
(n + 1)z
n
+

n=0
(1)
n
z
n
2
n+1
=
1
z
+

n=0
_
1 +
(1)
n
2
n+1
_
z
n
;
para 1 < |z| < 2,
1
z
+
1
(z 1)
2
+
1
z + 2
=
1
z
+

n=2
n 1
z
n
+

n=0
(1)
n
z
n
2
n+1
,
y para 2 < |z|,
1
z
+
1
(z 1)
2
+
1
z + 2
=
1
z
+

n=2
n 1
z
n
+

n=1
(1)
n+1
2
n1
z
n
=
2
z
+

n=2
_
n 1 (1)
n
2
n1
_
1
z
n
.
(c) Para |z| > 0,
sen
1
z
=

n=0
1
(2n + 1)!z
2n+1
.
(d) Descomponiendo en fracciones elementales,
1
z(1 z)
=
1
z
+
1
1 z
,
as que para 0 < |z| < 1,
1
z(1 z)
=
1
z
+

n=0
z
n
,
y para 1 < |z|,
1
z(1 z)
=
1
z

n=1
1
z
n
=

n=2
1
z
n
.
5 SERIES 103
(e) Si |z| < |a|,
1
(z a)
k
=
(1)
k
a
k
1
(1 z/a)
k
=
(1)
k
a
k

n=0
_
k + n 1
n
_
z
n
a
n
= (1)
k

n=0
_
k + n 1
n
_
z
n
a
n+k
;
si |z| > |a|,
1
(z a)
k
=
1
z
k
1
(1 a/z)
k
=
1
z
k

n=0
_
k + n 1
n
_
a
n
z
n
=

n=0
_
k + n 1
n
_
a
n
z
n+k
=

n=k
_
n 1
n k
_
a
nk
z
n
.
(f) Si |z| > 0,
z
2
e
1/z
= z
2

n=0
1
n!z
n
=

n=0
1
n!z
n2
= z
2
+ z +
1
2
+

n=3
1
n!z
n2
= z
2
+ z +
1
2
+

n=1
1
(n + 2)!z
n
.
(g) El conjunto donde la funci on no es anatica corresponde a los complejos z tales que
z a
z b
= r 0 z =
a + rb
1 + r
a z b.
La funci on, entonces, admitir a dos desarrollos de Laurent: uno para |z| < a y otro para |z| > b.
Si |z| < a,
log
_
z a
z b
_
= log
_
a
b
_
+ log
_
1 z/a
1 z/b
_
= ln
_
a
b
_

n=1
z
n
na
n
+

n=1
z
n
nb
n
= ln(b/a) +

n=1
_
1
b
n

1
a
n
_
z
n
n
.
Si |z| > b,
log
_
z a
z b
_
= log
_
1 a/z
1 b/z
_
=

n=1
a
n
nz
n
+

n=1
b
n
nz
n
=

n=1
b
n
a
n
nz
n
.
(h) Como
arctanz =
i
2
log
_
i + z
i z
_
,
el conjunto donde no es analtica corresponder a a los complejos z tales que
i + z
i z
= r 0 z =
r + 1
r 1
i z = yi, |y| 1.
Entonces s olo admite un desarrollo de Laurent para |z| < 1. En ese caso,
arctanz =

n=0
(1)
n
z
2n+1
2n + 1
104 5 SERIES
y, por tanto,
arctanz
z
4
=

n=0
(1)
n
z
2n3
2n + 1
=
1
z
3

1
3z
+

n=2
(1)
n
z
2n3
2n + 1
=
1
z
3

1
3z
+

n=0
(1)
n
z
2n+1
2n + 5
.
Podemos considerar otra determinaci on para el logaritmo, como por ejemplo, 0 arg z < 2. Entonces
i + z
i z
= r 0 z =
r + 1
r 1
i z = yi, 1 y 1,
y el unico desarrollo de Laurent posible es para |z| > 1. La forma de obtenerlo es a partir de la derivada:
(arctanz)

=
1
1 + z
2
=
1
z
2
1
1 + z
2
=

n=0
(1)
n
z
2n+2
=

n=1
(1)
n+1
z
2n
,
de donde
arctanz = c +

n=1
(1)
n
(2n 1)z
2n1
.
La constante se determina tomando el lmite z en la expresi on
arctanz =
i
2
log
_
i + z
i z
_
=
i
2
log(1) =

2
,
con lo que con esta determinaci on
arctanz =

2
+

n=1
(1)
n
(2n 1)z
2n1
, |z| > 1.
Entonces,
arctanz
z
4
=

2z
4
+

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

2z
4

n=2
(1)
n
(2n 3)z
2n+1
.
(i) Reduciendo a fracciones elementales
1
(z a)(z b)
=
1
b a
_
1
z b

1
z a
_
.
Como
1
z a
=
_

n=0
z
n
a
n+1
si |z| < |a|,

n=1
a
n1
z
n
si |z| > |a|,
y an alogamente para 1/(z b) cambiando a por b, combinando las expresiones tendremos los posibles
desarrollos. Supongamos, sin p erdidad de generalidad, que |a| |b|; entonces, si |z| < |a|
1
(z a)(z b)
=
1
b a

n=0
_
1
a
n+1

1
b
n+1
_
z
n
;
5 SERIES 105
si |a| < |z| < |b| (este caso es vaco si |a| = |b|)
1
(z a)(z b)
=
1
b a

n=0
z
n
b
n+1

1
b a

n=1
a
n1
z
n
,
y si |b| < |z|
1
(z a)(z b)
=
1
b a

n=1
b
n1
a
n1
z
n
.
Problema 5.21. Halla los desarrollos de Laurent en potencias de z a de las siguientes funciones, e indica
los correspondientes anillos de convergencia.
(a)
1
(z
2
+ 1)
2
, con a = i;
(b)
senz
(z )
2
, con a = ;
(c) sen
_
z
1 z
_
, con a = 1;
(d) e
1/(1z)
, con a = 1;
(e) z
2
sen
_
1
z 1
_
, con a = 1;
(f) cos
_
z
2
4z
(z 2)
2
_
, con a = 2.
Soluci on: (a) Como z
2
+ 1 = (z i)(z + i),
1
(z
2
+ 1)
2
=
1
(z i)
2
(z + i)
2
=
1
(z i)
2
1
_
2i + (z i)
_
2
=
1
4(z i)
2
1
_
1 i(z i)/2
_
2
=
1
4(z i)
2

n=0
i
n
2
n
(z i)
n
=
1
4(z i)
2
+
i
8(z i)
+

n=2
i
n2
2
n+2
(z i)
n2
=
1
4(z i)
2
+
i
8(z i)
+

n=0
i
n
2
n+4
(z i)
n
, 0 < |z i| < 2.
(b) Como senz = sen( + z ) = sen(z ),
sen z
(z )
2
=

n=0
(1)
n+1
(z )
2n1
(2n + 1)!
, 0 < |z |.
(c) Para 0 < |z 1|,
sen
_
z
1 z
_
= sen
_
1
1 z
1
_
= sen
_
1
z 1
+ 1
_
= cos 1 sen
_
1
z 1
_
sen 1 cos
_
1
z 1
_
= cos 1

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

n=0
(1)
n+1
(2n)!(z 1)
2n
(d)
e
1/(1z)
=

n=0
(1)
n
n!(z 1)
n
, 0 < |z 1|.
106 5 SERIES
(e) Como z
2
= (z 1 + 1)
2
= (z 1)
2
+ 2(z 1) + 1,
z
2
sen
1
z 1
=
_
(z 1)
2
+ 2(z 1) + 1
_

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

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

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

n=0
(1)
n
(2n + 1)!(z 1)
2n+1
.
La primera y la ultima serie pueden reescribirse como

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

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

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

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

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

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

n=0
(1)
n
_
1
(2n + 1)!

1
(2n + 3)!
_
1
(z 1)
2n+1
= z 1 +

n=0
(1)
n
4n
2
+ 10n + 5
(2n + 3)!
1
(z 1)
2n+1
,
as que, para 0 < |z 1|,
z
2
sen
1
z 1
= z 1 +

n=0
(1)
n
4n
2
+ 10n + 5
(2n + 3)!
1
(z 1)
2n+1
+ 2

n=0
(1)
n
(2n + 1)!(z 1)
2n
.
(f) Como z
2
4z = (z 2)
2
4,
z
2
4z
(z 2)
2
= 1
4
(z 2)
2
,
luego para 0 < |z 2|,
cos
_
z
2
4z
(z 2)
2
_
= cos
_
1
4
(z 2)
2
_
= cos 1 cos
_
4
(z 2)
2
_
+ sen1 sen
_
4
(z 2)
2
_
= cos 1

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

n=0
(1)
n
2
4n+2
(2n + 1)!(z 2)
4n+2
Problema 5.22. Halla los desarrollos de Laurent de las siguientes funciones en los anillos que se indican.
(a)
1
(z a)(z b)
en 0 < |a| < |z| < |b|,
(b)
z
2
2z + 5
(z 2)(z
2
+ 1)
en 1 < |z| < 2,
(c)
1
(z 2)
2
en |z| < 2 y en |z| > 2,
(d) e
z+z
1
en 0 < |z|,
(e) sen z sen
1
z
en 0 < |z|.
5 SERIES 107
Soluci on: (a) Descomponiendo en fracciones elementales,
1
(z a)(z b)
=
1
a b
_
1
z a

1
z b
_
=
1
a b
_
1
z a
+
1
b z
_
.
Como |a| < |z|,
1
z a
=
1
z
1
1 a/z
=

n=0
a
n
z
n+1
=

n=1
a
n1
z
n
;
como |z| < |b|,
1
b z
=
1
b
1
1 z/b
=

n=0
z
n
b
n+1
;
uniendo ambos desarrollos,
1
(z a)(z b)
=
1
a b

n=0
z
n
b
n+1
+
1
a b

n=1
a
n1
z
n
, |a| < |z| < |b|.
(b) Descomponiendo en fracciones elementales,
z
2
2z + 5
(z 2)(z
2
+ 1)
=
A
z 2
+
Bz + C
z
2
+ 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
Bz + C =
2(z 2)
z 2
= 2 B = 0, C = 2.
As pues,
z
2
2z + 5
(z 2)(z
2
+ 1)
=
1
z 2

2
z
2
+ 1
.
Como |z| < 2,
1
z 2
=
1
2
1
1 z/2
=

n=0
z
n
2
n+1
;
como 1 < |z|,
1
z
2
+ 1
=
1
z
2
1
1 + z
2
=

n=0
(1)
n
z
2n+2
=

n=1
(1)
n+1
z
2n
;
entonces,
z
2
2z + 5
(z 2)(z
2
+ 1)
=

n=0
z
n
2
n+1
+ 2

n=1
(1)
n
z
2n
, 1 < |z| < 2.
108 5 SERIES
(c) Si |z| < 2,
1
(z 2)
2
=
1
4
1
(1 z/2)
2
=

n=0
n + 1
2
n+2
z
n
;
si 2 < |z|,
1
(z 2)
2
=
1
z
2
1
(1 2/z)
2
=

n=0
(n + 1)2
n
z
n+2
=

n=2
(n 1)2
n2
z
n
.
(d)
e
z+z
1
= e
z
e
1/z
=

n=0
z
n
n!

m=0
1
m!z
m
=

n=0

m=0
z
nm
n!m!
=

m=0

k=m
z
k
(m + 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,

m=0

k=m
z
k
(m + k)!m!
=

k=
z
k

m=max{0,k}
1
(m + k)!m!
=

k=0
z
k

m=0
1
(m + k)!m!
+
1

k=
z
k

m=|k|
1
(m + k)!m!
.
Pero cuando k < 0,

m=|k|
1
(m + k)!m!
=

m=|k|
1
(m|k|)!m!
=

m=0
1
m!(m +|k|)!
,
as que, en 0 < |z|,
e
z+z
1
=

k=
a
k
z
k
, a
k
=

m=0
1
m!(m +|k|)!
.
(e)
senz sen
1
z
=

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

m=0
(1)
m
1
(2m + 1)!z
2m+1
=

n=0

m=0
(1)
n+m
z
2(nm)
(2n + 1)!(2m + 1)!
=

n=0

m=0
(1)
nm
z
2(nm)
(2n + 1)!(2m + 1)!
,
y siguiendo los pasos del apartado anterior, para 0 < |z|,
sen z sen
1
z
=

k=
(1)
k
a
k
z
2k
, a
k
=

m=0
1
(2m + 1)!(2m + 2|k| + 1)!
.
5 SERIES 109
Problema 5.23. Se denen los n umeros de Bernoulli mediante el desarrollo en serie de potencias
z
e
z
1
=

n=0
B
n
n!
z
n
.
Demuestra que los n umeros de Bernoulli verican las siguientes propiedades:
(a) para todo n N,
n

k=0
_
n + 1
k
_
B
k
= 0;
(b) B
2n+1
= 0 para todo n N y
B
0
= 1, B
1
=
1
2
, B
2
=
1
6
, B
4
=
1
30
, B
6
=
1
42
, B
8
=
1
30
;
(c) lmsup
n
_
|B
n
|
n!
_
1/n
=
1
2
.
AYUDA: Para probar (b) demuestra que la funci on
z
2
+
z
e
z
1
es par.
Soluci on: (a) De la denici on de los n umeros de Bernoulli,
e
z
1
z

n=0
B
n
n!
z
n
= 1.
Como
e
z
1
z
=

n=0
z
n
(n + 1)!
,
haciendo el producto de series concluimos que

n=0
a
n
z
n
= 1, a
n
=
n

k=0
B
k
(n k + 1)!k!
.
Esto implica que a
0
= 1 y que a
n
= 0 para todo n N; de lo primero deducimos que B
0
= 1, y de los
segundo, que
n

k=0
B
k
(n k + 1)!k!
= 0.
Multiplicando esta ecuaci on por (n + 1)! obtenemos
n

k=0
_
n + 1
k
_
B
k
= 0.
(b) Consideremos la funci on
f(z) =
z
2
+
z
e
z
1
= 1 +
_
B
1
+
1
2
_
z +

n=2
B
n
n!
z
n
.
110 5 SERIES
La funci on cumple
f(z) =
z
2

z
e
z
1
=
z
2
+
ze
z
e
z
1
=
z
2
+
z(e
z
1 + 1)
e
z
1
=
z
2
+ z +
z
e
z
1
= f(z),
luego es par. Eso implica que todos los coecientes impares de su desarrollo de Taylor se anulan, es
decir,
B
1
+
1
2
= 0, B
2n+1
= 0,
de ah que B
1
= 1/2. Para hallar los pares usamos la f ormula del apartado anterior de manera recur-
siva:
B
0
+ 3B
1
+ 3B
2
= 0 B
2
=
1
3
_
1 +
3
2
_
=
1
6
;
B
0
+ 5B
1
+ 10B
2
+ 5B
4
= 0 B
4
=
1
5
_
1 +
5
2

5
3
_
=
1
30
;
B
0
+ 7B
1
+ 21B
2
+ 35B
4
+ 7B
6
= 0 B
6
=
1
7
_
1 +
7
2

7
2
+
7
6
_
=
1
42
;
B
0
+ 9B
1
+ 36B
2
+ 126B
4
+ 84B
6
+ 9B
8
= 0 B
8
=
1
9
_
1 +
9
2
6 +
21
5
2
_
=
1
30
.
(c) El lmite en cuesti on no es m as que el recproco del radio de convergencia de la serie. Dicho radio se
puede obtener como la distancia a la singularidad m as pr oxima al origen de la funci on. Como tales
singularidades son los ceros del denominador, se obtienen resolviendo
e
z
= 1 z = 2ki, k Z.
Las m as cercana son z = 2i, as que el radio de convergencia es 2, y por tanto,
lmsup
n
_
|B
n
|
n!
_
1/n
=
1
2
.
Problema 5.24. (a) Prueba las siguientes identidades:
(1)
z
e
z
+ 1
=
z
e
z
1

2z
e
2z
1
,
(2) tanz = i +
2i
e
2iz
+ 1
,
(3) z cotan z = iz +
2iz
e
2iz
1
,
(4)
z
senz
=
iz
e
iz
1
+
iz
e
iz
+ 1
,
(5)
_
log cos z
_

= tanz,
(6)
_
log
_
tanz
z
__

=
2
sen2z

1
z
,
(7)
_
log
_
z
senz
__

=
1
z
cotan z.
(b) Empleando los n umeros de Bernoulli, desarrolla las funciones anteriores en potencias de z e indica el
radio de convergencia de la serie.
Soluci on: Resolvemos a la vez los dos apartados para cada funci on.
5 SERIES 111
(1)
1
e
z
+ 1

1
e
z
1
=
e
z
1 e
z
1
e
2z
1
=
2
e
2z
1
,
luego
z
e
z
+ 1
=
z
e
z
1

2z
e
2z
1
=

n=0
B
n
n!
z
n

n=0
B
n
n!
2
n
z
n
=

n=1
B
n
n!
(1 2
n
)z
n
.
El radio de convergencia se deduce de la singularidad m as cercana al origen. Las singularidades son los
ceros de e
z
+ 1, es decir z = (2k + 1), con k Z; por tanto, el radio de convergencia es R = .
(2)
i +
2i
e
2iz
+ 1
= i +
2e
iz
e
iz
+ e
iz
= i + i
e
iz
cos z
=
cos z e
iz
i cos z
=
e
iz
e
iz
2i cos z
=
sen z
cos z
= tanz,
luego
tanz = i +
2i
e
2iz
+ 1
= i +
1
z
2iz
e
2iz
+ 1
= i +
1
z

n=1
B
n
n!
(1 2
n
)2
n
i
n
z
n
=

n=2
B
n
n!
(1 2
n
)2
n
i
n
z
n1
=

n=1
B
2n
(2n)!
(1 4
n
)4
n
(1)
n
z
2n1
=

n=0
(1)
n
(4
n+1
1)4
n+1
B
2n+2
(2n + 2)!
z
2n+1
.
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)
i +
2i
e
2iz
1
= i +
2ie
iz
e
iz
e
iz
= i +
e
iz
senz
=
i senz + e
iz
senz
=
e
iz
+ e
iz
2 senz
=
cos z
senz
= cotan z,
luego
z cotanz = iz +
2iz
e
2iz
1
= iz +

n=0
B
n
n!
2
n
i
n
z
n
= 1 +

n=2
B
n
n!
2
n
i
n
z
n
= 1 +

n=1
B
2n
(2n)!
4
n
(1)
n
z
2n
=

n=0
B
2n
(2n)!
4
n
(1)
n
z
2n
.
Como los ceros del denominador, sen z = 0, son z = n, con n Z, las singularidades de z cotanz
son z = k con k N, con lo que el radio de convergencia es R = .
(4)
i
e
iz
1
+
i
e
iz
+ 1
=
i(e
iz
+ 1 + e
iz
1)
e
2iz
1
=
2ie
iz
e
2iz
1
=
2i
e
iz
e
iz
=
1
senz
,
112 5 SERIES
luego
z
senz
=
iz
e
iz
1
+
iz
e
iz
+ 1
=

n=0
B
n
n!
i
n
z
n
+

n=1
(1 2
n
)
B
n
n!
i
n
z
n
= 1
iz
2
+

n=1
B
2n
(2n)!
(1)
n
z
2n
+
iz
2
+

n=1
(1 4
n
)
B
2n
(2n)!
(1)
n
z
2n
= 1 +

n=1
(2 4
n
)
B
2n
(2n)!
(1)
n
z
2n
=

n=0
(2 4
n
)
B
2n
(2n)!
(1)
n
z
2n
.
Como en el caso de z cotanz, el radio de convergencia es R = .
(5) De la relaci on
(log cos z)

=
senz
cos z
= tanz
podemos deducir la serie de log cos z integrando la de tanz y teniendo en cuenta que el valor principal
de log cos 0 = 0. Entonces
log cos z =

n=0
(1)
n
(4
n+1
1)4
n+1
B
2n+2
(2n + 2)!
z
2n+2
2n + 2
.
Como para la tangente, el radio de convergencia es R = /2.
(6) De la relaci on
_
log
_
tanz
z
__

=
cos
2
z
tanz

1
z
=
1
cos z sen z

1
z
=
2
sen2z

1
z
y la serie
2
sen2z

1
z
=
1
z
_
2z
sen2z
1
_
=
1
z

n=1
(2 4
n
)
B
2n
(2n)!
(1)
n
4
n
z
2n
=

n=1
(2 4
n
)
B
2n
(2n)!
(1)
n
4
n
z
2n1
,
deducimos, integrando, la serie
log
_
tanz
z
_
=

n=1
(2 4
n
)
B
2n
(2n)!
(1)
n
4
n
z
2n
2n
.
Hemos empleado, adem as que en z = 0 el valor principal de la funci on 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 relaci on
_
log
_
z
senz
__

=
1
z

cos z
senz
=
1
z
cotan z
y la serie
1
z
cotanz =
1
z
(z cotan z 1) =
1
z

n=1
B
2n
(2n)!
4
n
(1)
n
z
2n
=

n=1
B
2n
(2n)!
4
n
(1)
n+1
z
2n1
,
5 SERIES 113
deducimos, integrando, la serie
log
_
z
senz
_
=

n=1
B
2n
(2n)!
4
n
(1)
n+1
z
2n
2n
.
Hemos empleado, adem as que en z = 0 el valor principal de la funci on es 0. Como el radio de conver-
gencia de z cotan z es , el de esta serie tambi en es R = .
Problema 5.25. Sea la funci on
f(z) =

n=0
a
n
z
n
, |z| < R,
y sea p N.
(a) Demuestra que si denimos g(z) como
g(z) =
1
p
p1

k=0
f
_
e
2ik/p
z
_
,
entonces g(z) tiene el desarrollo en serie
g(z) =

n=0
a
pn
z
pn
, |z| < R

.
(b) Qu e se puede decir del radio de convergencia R

en relaci on con el radio de convergencia R?

AYUDA: Utiliza el resultado del problema 1.20
Soluci on: (a) Para probarlo utilizaremos el siguiente resultado, demostrado en el problema 1.20:
1
p
p1

k=0
w
n
k
=
_
1 si n es m ultiplo de p,
0 si n no es m ultiplo de p,
w
k
= e
i2k/p
.
Entonces,
g(z) =
1
p
p1

k=0
f(w
k
z) =
1
p
p1

k=0

n=0
a
n
(w
k
z)
n
=

n=0
a
n
z
n
_
1
p
p1

k=0
w
n
k
_
=

k=0
a
kp
z
kp
.
(b) Como {a
kp
} es una subsucesi on de {a
n
}, tendremos que
1
R

= lmsup
k
|a
kp
|
1/kp
lmsup
n
|a
n
|
1/n
=
1
R
,
y por lo tanto, R

R.
114 5 SERIES
Problema 5.26. Se dene la funci on de Bessel de orden n Z mediante la serie
J
n
(z) =

k=0
(1)
k
k!(n + k)!
_
z
2
_
n+2k
.
(a) Demuestra que J
n
(z) = (1)
n
J
n
(z).
(b) Demuestra que J
n
(z) verica la ecuaci on diferencial
z
2
J

n
(z) + zJ

n
(z) + (z
2
n
2
)J
n
(z) = 0.
(c) Demuestra que
e
(ww
1
)z/2
=

n=
J
n
(z)w
n
, 0 < |w|.
(d) Demuestra que
J
n
(z) =
1

_

0
cos(z sen n) d.
NOTA: En la denici on de J
n
(z) los t erminos con factorial negativo se consideran nulos.
Soluci on: (a) De acuerdo con la denici on de J
n
(z),
J
n
(z) =

k=n
(1)
k
k!(n + k)!
_
z
2
_
n+2k
=

k=0
(1)
k+n
(k + n)!k!
_
z
2
_
2k+n
= (1)
n
J
n
(z).
(b) Como
z
2
J

n
(z) =

k=0
(n + 2k)(n + 2k 1)
(1)
k
k!(n + k)!
_
z
2
_
n+2k
,
zJ

n
(z) =

k=0
(n + 2k)
(1)
k
k!(n + k)!
_
z
2
_
n+2k
,
z
2
J
n
(z) =

k=0
4
(1)
k
k!(n + k)!
_
z
2
_
n+2k+2
=

k=1
(4)
(1)
k
(k 1)!(n + k 1)!
_
z
2
_
n+2k
=

k=1
(4)k(n + k)
(1)
k
k!(n + k)!
_
z
2
_
n+2k
,
entonces
z
2
J

n
(z) + zJ

n
(z) + (z
2
n
2
)J
n
(z)
=

k=0
_
(n + 2k)(n + 2k 1) + (n + 2k) 4k(n + k) n
2
_
(1)
k
k!(n + k)!
_
z
2
_
n+2k
,
pero
(n+2k)(n+2k1)+n+2k4k(n+k)n
2
= n
2
+n(4k1)+2k(2k1)+n+2k4kn4k
2
n
2
= 0,
luego
z
2
J

n
(z) + zJ

n
(z) + (z
2
n
2
)J
n
(z) = 0.
5 SERIES 115
(c)
e
(ww
1
)z/2
= e
wz/2
e
z/2w
=

n=0
_
z
2
_
n
w
n
n!

m=0
(1)
m
_
z
2
_
m
1
m!w
m
=

n=0

m=0
(1)
m
_
z
2
_
m+n
w
nm
m!n!
=

m=0

k=m
(1)
m
_
z
2
_
2m+k
w
k
m!(m + k)!
=

k=
w
k

m=max{0,k}
(1)
m
m!(m + k)!
_
z
2
_
2m+k
. .
=J
k
(z)
=

k=
J
k
(z)w
k
.
(d) Del apartado anterior sabemos que J
n
(z) es el coeciente del t ermino w
n
del desarrollo de Laurent de
la funci on e
(ww
1
)z/2
en potencias de w, as que, por denici on
J
n
(z) =
1
2i
_

e
(ww
1
)z/2
w
n+1
dw, n Z,
siendo cualquier curva cerrada que rodea el punto w = 0. En particular, si tomamos la curva w() =
e
i
con ,
J
n
(z) =
1
2
_

e
iz sen
e
in
d =
1
2
_

cos(z sen n)
. .
funci on par
d +
1
2
_

sen(z sen n)
. .
funci on impar
d
=
1

_

0
cos(z sen n) d.
Problema 5.27. A partir del desarrollo de Laurent de la funci on f(z) = (z + z
1
)
m
, calcula
_
2
0
cos
m
cos n d, m N, n Z.
Soluci on: Por la f ormula del binomio,
f(z) = (z + z
1
)
m
=
m

k=0
_
m
k
_
z
k
z
km
=
m

k=0
_
m
k
_
z
2km
,
que es su serie de Laurent. Por otro lado,
_
2
0
cos
m
cos n d =
1
i
_
|z|=1
_
z + z
1
2
_
m
z
n
+ z
n
2
dz
z
=
1
i2
m+1
_
|z|=1
f(z)(z
n1
+ z
n1
) dz
=
1
i2
m+1
m

k=0
_
m
k
__
|z|=1
z
2km+n1
dz +
1
i2
m+1
m

k=0
_
m
k
__
|z|=1
z
2kmn1
dz;
la primera integral se anula cuando 2k = m n y la segunda cuando 2k = m + n, y cuando no se anulan
cualquiera de ellas vale 2i. Si m y n tienen distinta paridad, entonces m n es un n umero impar y las
integrales se anulan siempre, as que, para empezar,
_
2
0
cos
m
cos n d = 0 si m y n tienen distinta paridad.
116 5 SERIES
Por otro lado, si m y n tienen la misma paridad, entonces m n es un n umero par, con lo que la primera
integral es distinta de cero para k = (mn)/2, siempre que
0
mn
2
m 0 n m 2m m n m |n| m.
En cuanto a la segunda integral, es distinta de cero para k = (m + n)/2, siempre que
0
m + n
2
m 0 n + m 2m m n m |n| m.
As pues, si |n| m,
_
2
0
cos
m
cos n d =
1
i2
m+1
2i
__
m
mn
2
_
+
_
m
m+n
2
__
=

2
m
__
m
mn
2
_
+
_
m
m+n
2
__
=

2
m1
_
m
m+n
2
_
,
ya que los dos n umeros combinatorios son iguales porque m(mn)/2 = (m + n)/2.
Resumiendo:
_
2
0
cos
m
cos n d =
_

2
m1
_
m
m+n
2
_
si m + n es par y |n| m,
0 en cualquier otro caso.
Problema 5.28. (a) Sea f(z) = u(x, y) + iv(x, y) una funci on analtica en z
0
C tal que f(z
0
) = c
0
.
Demuestra que
f(z) = 2u
_
z + z
0
2
,
z z
0
2i
_
c
0
, f(z) = 2iv
_
z + z
0
2
,
z z
0
2i
_
+ c
0
.
(b) Obt en f(z) si
(1) u(x, y) = x
2
y
2
+ 2,
(2) v(x, y) = x + y 3,
(3) u(x, y) = e
x
(xcos y y seny),
(4) u(x, y) =
y
x
2
+ y
2
,
(5) v(x, y) = cos xsenh y senh xseny.
AYUDA: Para (a), obt en un desarrollo en serie para u(x, y) y v(x, y) a partir del desarrollo en serie para
f(z).
Soluci on: (a) Si f(z) es analtica en z
0
, se puede escribir como una serie de potencias en torno a z
0
f(z) =

n=0
c
n
(z z
0
)
n
.
Como Re f(z) = u(x, y),
u(x, y) =
f(z) + f(z)
2
=
c
0
+ c
0
2
+

n=1
_
c
n
2
_
(x x
0
) + i(y y
0
)

n
+
c
n
2
_
(x x
0
) i(y y
0
)

n
_
.
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
x = x
0
+
z z
0
2
, y = y
0
+
z z
0
2i
,
resulta
u
_
x
0
+
z z
0
2
, y
0
+
z z
0
2i
_
=
c
0
+ c
0
2
+

n=1
_
c
n
2
(z z
0
)
n
+ 0
_
=
c
0
2
+ f(z),
y como
x
0
+
z z
0
2
=
z + z
0
2
, y
0
+
z z
0
2i
=
z z
0
2i
,
entonces
f(z) = 2u
_
z + z
0
2
,
z z
0
2i
_
c
0
.
Finalmente, como Re
_
if(z)
_
= v(x, y) y if(z
0
) = ic
0
, entonces
if(z) = 2v
_
z + z
0
2
,
z z
0
2i
_
(ic
0
) = 2v
_
z + z
0
2
,
z z
0
2i
_
ic
0
,
con lo que multiplicando por i,
f(z) = 2iv
_
z + z
0
2
,
z z
0
2i
_
+ c
0
.
(b) (1) Tomemos z
0
= 0; entonces, como f(0) = 2 + ic, con c R indeterminada,
f(z) = 2u(z/2, iz/2) 2 + ic = 2
_
z
2
4
+
z
2
4
i + 2
_
2 + ic = z
2
+ 2 + ic.
(2) Tomemos z
0
= 0; entonces, como f(0) = c 3i, con c R indeterminada,
f(z) = 2iv(z/2, iz/2) + c + 3i = 2i
_
z
2
i
z
2
3
_
+ c + 3i = (1 + i)z + c 3i.
(3) Tomemos z
0
= 0; entonces, como f(0) = ic, con c R indeterminada,
f(z) = 2u(z/2, iz/2) + ic = 2e
z/2
_
z
2
cosh(z/2) +
z
2
senh(z/2)
_
+ ic
= ze
z/2
_
cosh(z/2) + senh(z/2)
. .
=e
z/2
_
+ ic = ze
z
+ ic.
(4) Tomemos z
0
= 1; entonces, como f(1) = ic, con c R indeterminada,
f(z) = 2u
_
(z + 1)/2, i(z 1)/2
_
+ ic = 2
i(z 1)/2
(z + 1)
2
/4 (z 1)
2
/4
+ ic
=
i(z 1)
z
+ ic =
i
z
+ i(c + 1) =
i
z
+ ic

,
con c

R indeterminada.
118 5 SERIES
(5) Tomemos z
0
= 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
= senz 2 senh
2
(z/2)
. .
=cosh z1
+c = senz coshz 1 + c = senz coshz + c

,
con c

R indeterminada.
Problema 5.29. Sean
f(z) =

n=0
a
n
z
n
, g(z) =

n=0
b
n
z
n
,
dos funciones analticas en D(0, R). Sea un contorno cerrado simple de D(0, R) que rodea el origen y
denamos
F(z) =
1
2i
_

f()

g
_
z

_
d.
Demuestra que
F(z) =

n=0
a
n
b
n
z
n
.
Soluci on:
F(z) =
1
2i
_

n=0
a
n

n1

m=0
b
m
_
z

_
m
d =

n=0

m=0
z
m
a
n
b
m
1
2i
_

nm1
d;
pero
1
2i
_

nm1
d =
_
1 si n = m,
0 si n = m,
luego
F(z) =

n=0
a
n
b
n
z
n
.
Problema 5.30. Halla el desarrollo en serie de una funci on f(z) que verique la ecuaci on
f(z) = z + f(z
2
),
y demuestra que la condici on f(0) = 0 determina de manera unica esa funci on.
Soluci on: Sea
f(z) =

n=0
a
n
z
n
;
entonces la ecuaci on implica

n=0
a
n
z
n
= z +

n=0
a
n
z
2n
,
5 SERIES 119
es decir,
a
0
+ a
1
z + a
2
z
2
+ a
3
z
3
+ = a
0
+ z + a
1
z
2
+ a
2
z
4
+ .
El coeciente a
0
queda indeterminado en esta ecuaci on; a
1
= 1 y el resto de los coecientes impares se
anulan. La ecuaci on que queda es

n=1
a
2n
z
2n
=

n=1
a
n
z
2n
,
de donde se deduce que a
2n
= a
n
. Si n es un impar distinto de 1, entonces a
2n
= 0, y si es par, entonces
n = 2k, luego
a
4k
= a
2k
= a
k
.
De nuevo valdr a cero si k es un impar distinto de 1, mientras que si es par, k = 2m y
a
8m
= a
4m
= a
2m
= a
m
.
El razonamiento contin ua hasta que el entero en cuesti on sea 1. Deducimos entonces que
a
2
n = a
1
= 1,
y el resto de los coecientes son 0; por tanto la funci on es
f(z) = a
0
+

n=0
z
2
n
.
La condici on f(0) = 0 ja a
0
= 0 y determina de manera unvoca f(z).
Problema 5.31. Consideremos la funci on
f(z) =

n=
z
n
.
Como

n=1
z
n
=
z
1 z
y, por otro lado,

n=0
1
z
n
=
1
1
1
z
=
z
1 z
,
la funci on f(z) = 0 para todo z. D onde est a el error de este razonamiento?
Soluci on: El error consiste en que la serie

n=0
z
n
=
z
1 z
si y s olo si |z| < 1, mientras que

n=0
1
z
n
=
z
1 z
si y s olo si |z| > 1.