Universidad Nacional del Comahue

Centro Regional Universitario Bariloche

Segundo cuatrimestre de 2020

Análisis 4/Variable Compleja

Práctica 4 - Series

 z n
Ejercicio 1 ¿Para cuáles valores de z el lı́mite limn→∞ existe?
z

Ejercicio 2 Determinar el radio de convergencia de las siguientes series de potencias:

∞ ∞ ∞
X zn X
n n
X
a) b) n z c) n−n z n
n=1
(n + 1)2 n=1 n=1
∞ ∞ ∞
X nn n X (n!)2 2n X 2
d) z e) z f) (1 + 1/n)n z n
n=1
n! n=1
(2n)! n=1

Ejercicio 3 Determinar el radio de convergencia de la serie de potencias 5 + 2z + 5z 2 +

2z 3 + 5z 4 + 2z 5 + · · · .

Ejercicio 4 Usando series de Taylor, probar que

ez − 1
lim =1
z→0 z

Ejercicio 5

a) Probar que si una función es analı́tica en un dominio D, y no se cumple f (z) ≡ 0,

entonces para ningún punto z0 del dominio D puede cumplirse que f (n) (z0 ) = 0, ∀n ∈ Z.
b) Usando el resultado anterior, probar que los ceros de f (z) en D tienen que ser aislados.

Ejercicio 6 Calcular las series de Mac Laurin de las siguientes funciones, e indicar donde
son válidas:

z z2 z
a) f (z) = b) f (z) = c) f (z) =
z+i (z + 1)2 z4 +9

Ejercicio 7 Calcular las series de Taylor de las siguientes funciones alrededor de z0 = i, e

indicar donde son válidas:
1
a) f (z) = b) f (z) = ez c) f (z) = cos z
z+1
 Práctica 4 - Series

Ejercicio 8 A partir de la serie de Mac Laurin de la función f (z) = 1/(1 + z), encontrar
la serie correspondiente a log(1 + z). ¿A qué rama corresponde la serie encontrada?

Ejercicio 9 Usando el resultado del ejercicio anterior, demostrar que para |z| < 1/2 se
cumple que | log(1 + z)| < 2|z|.

Ejercicio 10 La formula de Euler-Mac Laurin permite calcular exactamente la suma de

varias series reales:
∞
X 1 (−1)k (2π)2k −B2k
=
n=1
n2k 2 (2k − 1)! 2k

donde k ∈ Z, y Bi (i ∈ Z) son los coeficientes de Bernoulli, que satisfacen la ecuación:

X zn ∞
z
= Bn
ez − 1 n=0 n!

Usando el desarrollo de la exponencial y esta ecuación,Pcalcular los P

cinco primeros coefi-
2 4
cientes de Bernoulli, y determinar con ellos el valor de n=0 1/n y ∞
∞
n=0 1/n .

Ejercicio 11 Usando series de MacLaurin demostrar que

sin z − z
lim =0
z→0 z sin z

Ejercicio 12 Usando el resultado del ejercicio anterior, y el teorema de Morera, demostrar

que la función
z2 + π2

 1
+ 3 si z 6= 0,
f (z) = sin z z − π 2 z
0 si z = 0


es analı́tica en el disco |z| < 2. De este resultado deducir que la parte principal del desarrollo
de Laurent de 1/ sin z es de la forma

∞
X π 2n 1
−2 −
n=1
z 2n+1 z

Ejercicio 13 Sea la función

1
f (z) = . (1)
(2z + 1)(z − 1)

Calcular su serie de Laurent en los anillos 1/2 < |z| < 1 y 0 < |z + 1/2| < 3/2, y decir en
que región ambas son válidas simultaneamente.
 Práctica 4 - Series

Ejercicio 14 Calcular la serie de Laurent de f (z) = 1/z en el dominio |z − 1| > 1, y,

derivando, encontrar la serie de Laurent para f (z) = 1/z 2 en el mismo dominio.

Ejercicio 15 Mostrar que

ez z2 z3
= 1+ − + · · · (|z| < 1)
1+z 2 3
1 + 2z 1 1
2 3
= 2
+ − 1 + z − z2 + z3 − · · · (0 < |z| < 1)
z +z z z
(2)

Ejercicio 16 Calcular la serie de Laurent de la funcion f (z) = 1/(z 2 + 1)2 alrededor de

z = i (¿en qué región es válida?) y alrededor de z = ∞.

Ejercicio 17 Calcular los cinco primeros términos de desarrollo de Laurent alrededor del
punto z = 0 de la función f (z) = z −2 sinh−1 z.

Ejercicio 18 Usando series, probar que la siguiente función es entera,

 cz
e − 1
si z 6= 0,
f (z) = z
c si z = 0
donde c es una constante compleja.

Ejercicio 19 Usando series, probar que la siguiente función es entera,

cos z


 2 2
si z 6= ±π/2,
f (z) = z 1− (π/2)
−
 si z = ±π/2
π

Ejercicio 20 Sea f (z) una función meromorfa en el plano complejo extendido.

a) Si z0 es un polo de f (z), probar que existe una función racional g0 (z) tal que f (z) − g0 (z)
tiene las mismas singularidades que f (z), pero que z0 es ahora una singularidad evitable.
b) Usando lo anterior, construir una función que tenga las mismas singularidades que f (z), pero
todas evitables.
c) Deducir que una función es meromorfa en el plano complejo extendido si y sólo si es racional.
d) Mostrar que lo anterior no es necesariamente cierto si la función es meromorfa sólo en
el plano complejo (o sea, no extendido).

Ejercicio 21 Sea f (z) una función analtica pero con un polo de primer orden en z = −1,
y uno de segundo orden en z = 2, con residuos Res(f, −1) = 1 y Res(f, 2) = 2. Si además
la función cumple que f (0) = 7/4, f (1) = 5/2, y limz→∞ f (z) = 0:
a) Encontrar f (z) (justificando) y
d) Determinar su serie de Laurent en el anillo 1 < |z| < 2.