Universidad de Concepción
Facultad de Ciencias Fı́sicas y Matemáticas
Departamento de Matemática
Listado 8: Teorema de Laurent y series de Laurent
Cálculo IV: Cálculo Complejo (529202)
1. Determinar todas las mayores regiones (discos y/o anillos) centradas en z0 donde
cada una de las siguientes funciones son holomorfas:
1
(a) f (z) = z 2 −1
, con z0 = 0;
1
(b) f (z) = z 2 −1
, con z0 = 1;
1
(c) f (z) = z 3 +z
, con z0 = 0;
1
(d) f (z) = z 3 +z
, con z0 = 1;
1
(e) f (z) = z 3 +z
, con z0 = i;
1
(f) f (z) = sen(z)
, con z0 = 0.
2. Utilizando la definición de los coeficientes dada por el teorema de Laurent, deter-
minar la serie de Laurent de
1
f (z) =
(z − 1)(z − 2)
en el dominio 1 < |z| < 2.
3. Verificar el resultado del ejercicio anterior utilizando las series geométricas apropia-
das.
1
4. Determinar las distintas expresiones en serie de Laurent de la función f (z) = z 3 (z−1)
centradas en z0 = 0.
5. a) Usando multiplicación de series, determinar los primeros términos de la serie
de Taylor de exp(z)
z−1
alrededor de z0 = 0.
b) Explicar por qué este mismo método no funciona para encontrar la serie de
Laurent de la misma función pero en el dominio 1 < |z|.
6. (a) Determinar la serie de Laurent de z 2 exp z13 .
(b) A partir de las ideas del item anterior, justificar que para cualesquier par de
1
n
números n, m ∈ N la expresión x exp xm diverge cuando x tiende a cero.
(Pista: si una serie converge en un dominio de números complejos, converge
para los reales en ese dominio, porque R ⊆ C.)
emx
(c) Con un cambio de variable adecuado en el item anterior, mostrar que lı́m
x→+∞ xn
diverge. Justificar por qué esto significa que el crecimiento exponencial es mayor
que cualquier función potencia.
7. Sea a un número real en el intervalo ] − 1, 1[.
(a) Si z ∈ C tiene la forma polar z = eiθ , determinar una expresión para la parte
a
real de z−a .
(b) Si z ∈ C tiene la forma polar z = eiθ , verificar que la parte real de z n y de z −n
es cos (nθ) para cualquier n ∈ N.
a
(c) Utilizando un desarrollo en series apropiado para z−a , evaluar z = eiθ en dicho
desarrollo. Comparar las partes reales de dicha evaluación para obtener una
expresión para
X∞
an cos (nθ) .
n=1
