Capı́tulo 1

Variable Compleja

1. En cada caso bosquejar el conjunto y determinar si es un dominio (abierto y

conexo)
π
i) |z + 2 + i| ≤ 1 v) |z| > 0, 0 ≤ arg(z) ≤
3
ii) |2z − 3| ≥ 4 vi) |z + 4| ≥ |z|
iii) =(z) < 1 vii) 0 < |z − z0 | ≤ δ donde z0 es un
iv) |=(z)| > 1 punto fijo y δ ∈ R+

¿Qué conjuntos no son abiertos ni cerrados? ¿Qué conjuntos son acotados?

2. Sean v, z, w ∈ C, probar que

i) |zw| = |z||w|
 
ii) si lı́m f (z) = w, entonces lı́m |f (z)| = |w|, i. e., lı́m |f (z)| =  lı́m f (z)
 
z→v z→v z→v z→v
2
iii) la función f (z) = |z| es continua en C
iv) la función f (z) = z es diferenciable en ninguna parte

3. Determinar si la función f (z) = =(z) es diferenciable en algún punto.

4. Describa la forma en que se pueden usar números complejos para representar

funciones simples en el plano

i) una translación iii) una reflexión en el eje x

ii) una rotación sobre el origen

¿Que pasa con una rotación en un punto distinto al origen? ¿Una reflexión en una
lı́nea cualquiera que pase por el origen? ¿una reflexión “glide”?

5. Escribir

osca
2 Variable Compleja

   
i) e3z+i   2
ii) eiz 

en términos de x y y.

6. Demostrar que
  √  √ 
iz 2 
+ e  ≤ e2x + e−2xy
 2z+i
i) e ii) Log 5 + 2 = −Log 5−2

7. Encontrar las raices de cos z = 2.

8. Demostrar que si

i) <(z) > 0, <(w) > 0 entonces, Log (zw) = Log z + Log w

 π π
, entonces log i2 = 2 log i


ii) log z = Log r + iθ r > 0, <θ<9
4 4
 π π
, entonces log i2 6= 2 log i


iii) log z = Log r + iθ r > 0, 3 < θ < 11
4 4
9. Encontrar el valor principal de
e  √ 3πi
i) i3i ii) −1 + i 3
2

10. Sin usar el teorema de Cauchy, evaluar

Z π Z 2π
4
i) eit d t ii) eimt e−int d t, con m, n ∈ Z
0 0

11. Sean [a, b] ⊂ R y f : [a, b] −→ C; f (t) = u(t) + iv(t); una función continua a
trozos. Demostrar ¡sin usar el teorema de Cauchy! que si F (t) = U (t) + iV (t) es
una función tal que F 0 (t) = f (t), entonces
Z b
f (t) d t = F (b) − F (a).
a

z−2
Z
12. Si f (z) = , encontrar el valor de f (z) d z para
z C

i) C = z ∈ C | z = 2eiθ , 0 ≤ θ ≤ π


ii) C = z ∈ C | z = 2eiθ , π ≤ θ ≤ 2π


iii) C = z ∈ C | z = 2eiθ , 0 ≤ θ ≤ 2π


sin usar el teorema de Cauchy. ¿Es C un contorno? ¿Es f continua a trozos?

Z
z
13. Si f (z) = e , encontrar el valor de f (z) d z para el arco C de z = πi a z = 1
C
que consiste de

Ejercicios
 3

i) el segmento de lı́nea que une a estos puntos

ii) la porción de ejes coordenados que une a estos puntos

sin usar el teorema de Cauchy. ¿Es C un contorno? ¿Es f continua a trozos?

14. Sean C el cı́rculo |z| = 3 descrito en el sentido positivo y

2z 2 − z − 2
Z
g (z0 ) = d z, (|z0 | =
6 3) .
C z − z0

Encontrar el valor de g(2). Encontrar el valor de g (z0 ) cuando |z0 | > 3.

15. Sean C un contorno simple cerrado descrito en el sentido positivo y

z 3 + 2z
Z
g (z0 ) = 3 d z.
C (z − z0 )

Encontrar el valor de g (z0 ) cuando z0 está dentro de C y cuando está fuera.

16. Sea C el contorno simple cerrado |z − i| = 2 descrito en el sentido positivo. En-

contrar el valor de Z
g (z) d z
C
cuando
1 1
i) g (z) = ii) g (z) =
z2 +4 (z 2 + 4)2

17. Teorema del módulo mı́nimo

Sean R una región cerrada acotada; f una función continua, analı́tica, no constante
1
en el interior de R y f (z) 6= 0 ∀ z ∈ R. Considere la función para probar que
f (z)
|f (z)| tiene un valor mı́nimo N en algún punto de R, y que |f (z)| > N para cada
punto z en el interior de R.

Dar un ejemplo para mostrar que la condición f (z) 6= 0 ∀ z ∈ R es necesaria para

probar el resultado, i. e., muestre que |f (z)| puede alcanzar su valor mı́nimo en
un punto interior cuando ese valor mı́nimo es 0.

18. Usar el teorema de Taylor para expandir sin z en una serie de Taylor alrededor del
π
punto z = . ¿Existe una manera “inteligente” de hacer esto?
2
1
19. Expandir la función en términos de una serie de potencias de z − 1 y usarla
z
1
para obtener por diferenciación la expansión de 2 en términos de una serie de
z
potencias de z − 1 y dar la región de validez en cada caso.

osca
4 Variable Compleja

z+1
20. Obtener la expansión de Maclaurin de la función y dar la región de validez
z−1
para esta representación. Dar también la expansión de Laurent para el dominio
|z| > 1.
z−1
21. Expandir la función en
z2
i) su serie de Taylor en potencias de z − 1 y dar su región de validez
ii) su serie de Laurent para el dominio |z − 1| > 1.
1
22. Escribir la expansión en serie de Laurent de la función para el dominio
z−k
|z| > |k|, donde k ∈ R y −1 < k < 1. Luego escriba z = eiθ para obtener las
fórmulas
k k
X
n k cos θ − k 2 X k sin θ
i) k cos(nθ) = ii) k n sin(nθ) =
n=1
1 − 2k cos θ + k 2 n=1
1 − 2k cos θ + k 2

23. Usar residuos para establecer que

Z ∞
x2 π 2π
Z
1 2π
i) 2 dx = ii) dθ =
0
2 2
(x + 9) (x + 4) 200 0 5 + 4 sin θ 3

24. Determinar el valor principal de Cauchy de la siguiente integral convergente

Z ∞
sin x  π
2
d x = − .
−∞ x + 4x + 5 e
√
25. Probar que |<(z)| + |=(z)| ≤ 2|z| y deducir el valor máximo alcanzado por
cos θ + sin θ.
26. Bosquejar el conjunto de puntos determinados por la condición dada

i) |z + 1 − i| = 1 iii) <(z + i) = 2
ii) |z − i| ≤ 3 iv) |z − i| = |z + i|

27. Dado que z1 z2 6= 0, usar la forma polar para probar que

<(z1 z2 ) = |z1 ||z2 | ⇐⇒ θ1 − θ2 = 2nπ, n ∈ Z, θ1 = arg(z1 ), θ2 = arg(z2 ).

Deducir que

|z1 + z2 | = |z1 | + |z2 | ⇐⇒ θ1 − θ2 = 2nπ, n ∈ Z, θ1 = arg(z1 ), θ2 = arg(z2 )

y verificar esta aseveración geométricamente.

28. En cada caso encontrar las raices y exhibirlas geométricamente

Ejercicios
 5

√ √
4
i) 5i iii) −1
√4
√
5
ii) i iv) 4

29. Encontrar las 4 raices de la ecuación z 4 + 4 = 0, y usarlas para factorizar z 4 + 4

en factores cuadráticos con coeficientes reales.

30. Suponiendo el teorema de suficiencia para diferenciabilidad y que f 0 (z) = ux + ivx

probar que f 0 (z) y su derivada f 00 (z) existen en todas partes y encontrarlas cuando

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

ii) f (z) = e−x e−iy

31. Si f (z) = x3 −i(y −1)3 , entonces ux +ivx = 3x2 . ¿Por qué es cierto que f 0 (z) = 3x2
solo en el punto z = i?

32. Demostrar que u es harmónica en algún dominio y encontrar una harmónica con-
jugada v cuando

i) u(x, y) = 2x(1 − y) iii) sinh x sin y

3 2
ii) u(x, y) = 2x − x + 3xy

33. Demostrar que

i) e2±5πi = −e2 iii) ez−πi = −ez

√ 1+i
 
2+πi
( )
ii) e 4 = e √
2
∞
X z
34. Considerando el residuo RN (z) demostrar que zn = si z ∈ C y |z| < 1.
n=1
1−z
∞
X ∞
X
35. Demostrar que si zn = S, entonces z n = S.
n=1 n=1

36. Sea {zn }∞

n=1 una sucesión tal que

lı́m zn = z
n→∞

con |zn | ≤ M ∀ n ∈ N, entonces |z| ≤ M.

∞
z
X (z − 1)n
37. Demostrar que e = e + e cuando |z| < ∞.
n=1
n!

X z n−1 ∞
1
38. Demostrar que = cuando 0 < |z| < 4.
4z − z 2 n=0
4n+1

osca
6 Variable Compleja

1
39. Encontrar la imagen de el cuadrante x > 1, 0 > y bajo la transformación f (z) = .
z
¿Cómo es la imagen de la frontera de este cuadrante?
z+1
40. Expresar la función f (z) = como una combinación de funciones más simples
z−1
y luego encontrar la imagen del semiplano x > 0 bajo esta función.
41. Demostrar que
sin z = sin x cosh y + i cos x sinh y.
π
Aún más difı́cil, considerando la imagen de las lı́neas verticales x = c, (− ≤ c ≤
2
π π π
), demostrar que w = sin z es una función 1 a 1 de la franja − ≤ x ≤ , y ≥ 0
2 2 2
sobre la mitad superior de el w−plano. Describir las porciones correspondientes de
la frontera.
42. Encontrar la imagen de la franja x ≥ 0, 0 ≤ y ≤ π bajo la transformación exp(z),
y describir las porciones correspondientes de la frontera.
Z
43. Encontrar f (z) d z para cada una de las siguientes funciones
C
i) f (z) = ze−z iii) f (z) = sech z
iv) f (z) = tan z
1
ii) f (z) = 2 v) f (z) = Log (z + 2)
z + 2z + 2
donde C es el cı́rculo |z| = 1.
Z z2
1 1 1
44. Demostrar que si z1 6= 0, z2 6= 0 y z1 6= z2 , entonces 2
d z = − , siempre
z1 z z1 z2
que la curva de integración esté en el interior de un dominio simple cerrado que no
contenga al origen. Demostrar cómo se sigue que, para Z un contorno simple cerrado
1
C donde el origen es un punto interior ó exterior, 2
d z = 0.
C z

45. Sea C la frontera del cuadrado cuyos lados estan sobre las lı́neas x = ±2 y y = ±2
y con C recorrido en sentido positivo (contrario a las manecillas del reloj). Evaluar
e−z
Z
cos z
Z
i) πi d z ii) 2
dz
C z − 2 C z(z + 8)
Z
z
iii) dz
C 2z + 1

46. Sea
Z C el cı́rculo unitario z = eiθ descrita de −π ≤ θ ≤ π. Demostrar que ∀ a ∈ R,
az
e
d z = 2πi. Luego escriba esta integral en términos de θ para derivar
C z
Z π
ea cos θ cos(a sin θ) d θ = π.
0

Ejercicios
 7

1
47. Dar 2 expansiones de Laurent en serie de potencias de z para f (z) = ,y
z 2 (1+ z)
especificar las regiones en las cuales son válidas estas expansiones.

48. En cada caso escribir la parte principal de la función en su punto singular aislado
y determinar si este punto es un polo, un punto singular esencial o removible de
la función dada

i) ze z
1
sin z
iii)
z
z2 cos z
ii) iv)
1−z z

49. Demostrar que todos los puntos singulares de cada una de las siguientes funciones
son polos. Determinar el orden m de cada polo y encontrar su correspondiente
residuo K.
z+1 e2z
i) iii)
z 2 + 2z (z + 1)2
1 − e2z ez
ii) iv) 2
z4 z + π2
Z
1
50. Encontrar 3
d z recorrida en el sentido contrario a las manecillas del
C z (z + 4)
reloj alrededor del cı́rculo

i) |z| = 2 ii) |z + 2| = 3

51. Sea SO(2; R) el conjunto de matrices 2 × 2 ortogonales con determinante 1. (Una

matriz es ortogonal si tiene filas y columnas ortonormales, o, equivalentemente,
si su transpuesta es su inversa. Tales matrices tienen determinante ±1). Sea C el
conjunto de todas las matrices reales 2×2 de la forma aQ con a ∈ R, Q ∈ SO(2; R).
Probar que

i) C es un campo. ii) C es isomorfo a C

52. Usar las ecuaciones de Cauchy-Riemann para probar que

i) si la parte real de una función analı́tica es constante en una región, entonces

también lo es la función,
ii) si el valor absoluto de una función analı́tica es constante en una región, en-
tonces también lo es la función.

53. Encontrar mapeos conformes de el disco unitario sobre cada una de las regiones
siguientes:

osca
8 Variable Compleja

i) la mitad derecha del plano iii) C \ {x | −1 ≤ x ≤ 1}

ii) C \ {x | x ≤ 0}

54. Sea D el disco unitario abierto, γ la curva usual que atraviesa su frontera, y suponga
que f es una función analı́tica sobre C \ D que satisface lı́m f (z) = 5. Probar que
z→∞
Z
1 f (w)
d w = 5 − f (z); z ∈ C \ D.
2πi γ w−z

55. Sea D el disco unitario y sean a, b ∈ D. Dar una expresión explı́cita para una
función analı́tica 1 a 1 f que mapea D sobre si mismo con f (a) = b. Verifique que
f satisface estas condiciones.

56. Demostrar que si 0 < r < R, entonces existe un  > 0 tal que

sup{|p(z) − z −1 | | r < |z| < R} > ,

para todo polinomio p(z).

Z 2π
dθ
57. Sea a > 1. Evaluar . ¡Son necesarios calculos de residuos!.
0 a + sin θ

Ejercicios
 9

Problemas de Funciones de Variable Compleja II

1. Aplique el Lema de Schwarz para demostrar que ß contiene a todas las funciones
en A que son acotadas

Solución. Sean
ϕ, ψ, f : D 7→ D dadas por:
w+z z − f (w)
ϕ(z) = , ψ(z) = , f ∈ A y acotada en D
1 + wz 1 − f (w)z
0 1 − |w|2 0 1 − |f (w)|2
ϕ (z) = , ψ (z) =
(1 + wz)2 (1 + f (w)z)2
Sea ψ ◦ f ◦ ϕ : D 7→ D, note que (ψ ◦ f ◦ ϕ)(0) = 0 por tanto podemos
aplicar el lema de Schwartz ası́:
|(ψ ◦ f ◦ ϕ)(z)| ≤ |z| para cada z ∈ D
⇒ |(ψ ◦ f ◦ ϕ)0 (z)| ≤ 1

k(ψ ◦ f ◦ ϕ)0 (0)| = |ψ 0 (f (ϕ(0)))||(f ◦ ϕ)0 (0)| = |ψ 0 (f (w))||f 0 (ϕ(0))||ϕ0 (0)| =

1 − |f (w)|2 0
= |f (w)||1 − |w|2 | ≤ 1
|1 − |f (w)|2 |2
(1.1)

⇒ |1 − |w|2 ||f 0 (w)| ≤ |1 − |f (w)|2 | ≤ M pues |f (z)|está acotada

⇒ sup |1 − |w|2 ||f 0 (w)| ≤ +∞

⇒f ∈ß

2. Sea a0 ∈ D fijo, investigar si ϕa (x) ∈ ß

Solución. Para cada a ∈ D

a−z
ϕa (z) = es analı́tica y acotada en D, mas aún
1 − āz
|ϕa (z)| → 1 si |z| → 1 y por el ejercicio anterior ϕa (z) ∈ ß

osca
10 Variable Compleja

3. Sea
e−it 1 + e−it
 
π
ft = log , z ∈ D, 0≤t≤
2 1 − e−it 2
Ver que ft es analı́tica en D

Solución Sea t0 ∈ [0, π2 ] fijo

−it
g(z) = 1+e 0
1−e−it0
, g(z) es analı́tica en D pues 1 + e−it0 = 0 y 1 − e−it0 = 0 solo
si z ∈ ∂D y además g(z) 6= 0 para cada z ∈ D pues si 1 + e−it0 = 0 ⇒ z ∈ D
g es transformación de Möbius y transforma a ∂D en una recta que pasa
por cero, por tanto D es mapeado de manera continua en el semiplano
superior o inferior delimitado por esta recta y en ambos casos g(D) es una
región
 simplemente
 conexa que no contiene a cero y por tanto la función
1+e−it0 e−it0
log 1−e−it0
está bien definida y es analı́tica en D, y como 2
es analı́tica
en D se tiene que ft0 es analı́tica en D

4. Pruebe que para cada n ≥ 2

  n−1   n−1
n−1 2 2 n+1 n+1 2
máx rn−1 (1 − r2 ) = & lı́m =e
r∈(0,1) n+1 n+1 n→∞ n n−1

Solución
i) Usando el método de máximos y minimos se verifica facilmente que
  n−1
n−1 2 n−1 2 2
máx r (1 − r ) =
r∈(0,1) n+1 n+1

ii) Para encontrar

  n−1
n+1 n+1 2
lı́m
n→∞ n n−1
haciendo k = n−1
2
se llega a:
  n−1  k
n+1 n+1 2 2k + 2 1
lı́m = lı́m 1+ =e
n→∞ n n−1 n→∞ 2k + 1 k

Ejercicios
 11

5. Probar que
u 1
lı́m 1+u =
n→0 ln 1−u
2
u
Solución La función ln 1+u satisface las hipótesis del teorema de L’Hopital, por
1−u
tanto:
u 1 (1 − u)2 1
lı́m 1+u = lı́m 2 = lı́m =
n→0 ln 1−u n→0
(1−u)2
n→0 2 2
usando este hecho obtenemos:
|ϕz (w)|
lı́m
1 =1
w→z dh (z, w)
2

6. Si f ∈ A, entonces son equivalentes:

1) f ∈ ß0
2) lı́m|z|→1 (1 − |z|2 )n f (n) (z) = 0

Solución
i) 1) ⇒ 2) Por la fórmula integral de Cauchy

(n − 1)! f 0 (ξ)
Z
(n) 0 (n−1)
f (z) = (f ) (z) = dξ
2πi γ (ξ − z)n
1+|z|
haciendo γ(t) = reit con r = 2
, por otra parte vimos que si f ∈ ß vale la
desigualdad:

(1 − |z|2 )n |f (n) (z)| ≤ (n − 1)!2n−1 (1 − |ρ|2 ) sup |f 0 (ρ)|

1+|z|
|ρ|= 2

tomando limites cuando |z| → 1

⇒ lı́m (1 − |z|2 )n |f (n) (z)| = 0

|z|→1

ii) 2) ⇒ 1) Inmediato, hagase n = 1

osca
12 Variable Compleja

7. Sea h analı́tica en D, inyectiva, con h(0) = 0 y h0 (0) = 1, definase

g(z) = h(z)
z
⇒ g ∈ A y g(z) 6= 0 con g 0 (0) = 1 y además:

mı́n |g(z)| ≤ |g(0)| = 1 r ∈ (0, 1)

|z|=r

entonces existe {ξn } ⊂ D con |ξn | → 1 & |g(ξn )| → 1

Solución La función h, satisface el lema de Schwartz ⇒ |h(z)| ≤ |z| para cada

z ∈ D en particular, si {ξn } ⊂ D con |ξn | → 1 ⇒ h(ξ
ξn
n)
≤ 1 ⇔ |g(ξn )| ≤ 1

8. Pruebe que ß0 contiene a las funciones en A y continuas en D̄

Solución Sea f ∈ A y continua en D̄ ⇒ f ∈ ß y por el problema 1, vale la

desigualdad

|1 − |w|2 ||f 0 (w)| ≤ |1 − |f (w)|2 | ≤ M para cada z ∈ D̄

⇒ lı́m |1 − |w|2 ||f 0 (w)| = 0 ⇒ f ∈ ß0

|w|→1

1+z
9. Demuestre que f (z) = e− 1−z no está en ß0

Solición
2 1+z 2 x2 −1+y 2
f 0 (z) = − 2
e− 1−z ⇒ |f 0 (z)| = e (x−1)2 +y 2
(1 − z) |1 − z|2

tomando z = x ∈ [0, 1)

1 − x2 (1−x)
1−x2 1 + x 1−x
1+x
lı́m− (1 − |z|2 )|f 0 (z)| = lı́m− 2 2
e 2
= lı́m− 2 e →∞
x→1 x→1 (1 − x) x→1 1−x

Ejercicios
 13

10. Sea ZZ
S= |f 0 (z)|2 d x d y
D

Pruebe que S es el área de f (D) contando multiplicidades

Solución f es un mapeo de D en f (D), podemos verlo como un mapeo de R2

en R2 desde el punto de vista geométrico.
f (x, y) = (u(x, y), v(x, y)), las derivadas parciales existen y son continuas,
entonces, aplicando el teorema de cambio de variable
ZZ
Area(f (D)) = |J(f )| d x d y
D

 ∂u ∂u  
  ∂u ∂v ∂u ∂v 

∂x ∂y
donde |J(f )| =  ∂v ∂v   ∂x ∂y − ∂y ∂x 
= 
∂x ∂y

Por otra parte

 2  2
0 ∂u ∂v 0 2 ∂u ∂v
f (z) = +i ⇒ |f (z)| = +
∂x ∂x ∂x ∂x

como f satisface las condiciones de Cauchy-Riemman

ZZ ZZ
⇒ |J(D)| d x d y = |f 0 (z)|2 d x d y
D D

En general la función f no es uno a uno por tanto S es el área de f (D)

contando multiplicidades

osca
14 Variable Compleja

11. Verifique que

∞
X zn
f (z) = (1.2)
n=2
n ln n
no esta acotada

Solución Dado que la serie (1.2) Converge uniformemente en D

∞ ∞
zn zn
X Z X
=
n=2
n ln n n=1
ln(n + 1)

Por otra parte, fijemonos solo cuando z ∈ [0, 1), y como ln(n + 1) < n
∞ ∞
xn xn
Z X Z X
⇒ < donde (1.3)
n=1
n n=1
ln(n + 1)

∞ ∞ Z ∞
xn
Z X Z
X X
n n 1
= x dx = x = d x = − ln(1 − x)
n=1
n n=0 n=0
1−x
∞
xn
ZX Z
⇒ =− ln(1 − x) d x = x(1 − ln(1 − x)) + ln(1 − x)
n=1
n
Ası́
∞
xn
Z X
lı́m = lı́m |x(1 − ln(1 − x)) + ln(1 − x)| → ∞
x→1
n=1
n x→1

por la desigualdad (1.3) f (z) no puede estar acotada.

Ejercicios
 15

12. Pruebe que D además de ser espacio de Banach es de Hilbert donde:

n  ZZ o
D = f ∈ A |f 0 (z)|2 d x d y < ∞

D
ZZ
kf k2D 2
= |f (0)| + |f 0 (z)|2 d x d y
D

Solución Sean f, g ∈ D, verifiquemos que:

ZZ
(f, g) = f (0)g(0) + f 0 (z)g 0 (z) d Ω
Ω

es un producto interno sobre D

1) Primero notese que Re(f 0 g 0 ) = Re(g 0 f 0 ) y Im(f 0 g 0 ) = −Im(g 0 f 0 ) usando este
hecho se tiene:
ZZ ZZ
0
(f, g) = g(0)f (0) + 0
Re(f (z)g (z)) d Ω + i Im(f 0 (z)g 0 (z)) d Ω
ZZ Ω ZZ Ω
0
= g(0)f (0) + Re(g (z)f 0 (z)) d Ω − i Im(g 0 (z)f 0 (z)) d Ω
Ω Ω
= (g, f ) (1.4)

2) para cada a ∈ C
ZZ
(af, g) = a(f (0)g(0)) + a f 0 (z)g 0 (z) d Ω = a(f, g)
Ω

3) Para cada f, g, h ∈ D tenemos:

ZZ ZZ
0
(f, g + h) = f (0)g(0) + f (0)h(0) + f (z)g 0 (z) d Ω + f 0 (z)h0 (z) d Ω
Ω Ω

= (f, g) + (f, h)
Lo anterior prueba que ( , ) : D × D → C es efectivamente un producto
inerno sobre D, y la norma proviene de este, pues:
ZZ
2
(f, f ) = |f (0)| + |f 0 (z)|2 d x d y = kf k2D
D

osca