Está en la página 1de 61

John B.

Conway

Funciones de
Una Variable Compleja

Segunda Edicion

con 30 Ilustraciones

Springer-Verlag

New York Berlin Heidelberg Tokyo


Captulo 1

El Sistema de Numeros Complejos

2. El cuerpo de numeros complejos

1. Hallar la parte real e imaginaria de cada uno de los siguientes:


!3
1 za 3 + 5i 1 + i 3
; (a R); z 3 ; ; ;
z z+1 7i + 1 2
!6  
1 i 3 n 1+i n
; i ; para 2 n 8.
2 2

Solucion.  
1 1 x iy 1 x
Tenemos que = = 2 entonces Re = 2 ,
  z x + iy x + y2 z x + y2
1 y
Im = 2 .
z x + y2
Notemos que
za (x a) + iy (x + a) iy
=
z+a (x + a) + iy (x + a) + iy
(x a)(x + a) i(x a)y + i(x + a)y + y 2
=
(x + a)2 + y 2
x2 a2 + y 2 i(xy + ay xy + ay)
=
(x + a)2 + y 2
x2 + y 2 a2 2iay
= .
(x + a)2 + y 2
n o n o
x2 +y 2 a2 2ay
Por lo que, Re za
z+a = 2
(x+a) +y 2 y Im za
z+a = (x+a)2 +y 2
.
Observe que
z 3 = (x + iy)3 = x3 + 3x2 iy + 3x(iy)2 + (iy)3
= x3 + i3x2 y 3xy 2 iy 3
= x(x2 3y 2 ) + iy(3x2 y 2 )
entonces Re{z 3 } = x(x3 3y 2 ) y Im{z 3 } = y(3x2 y 2 ).
Tenemos que
3 + 5i 3 + 5i 7i 1 21i 3 35 5i 38 + 16i 19 8
= = = = i,
7i + 1 7i + 1 7i 1 49 1 50 25 25
3
4 El Sistema de Numeros Complejos
n o n o
entonces Re 3+5i 19 3+5i
7i+1 = 25 y Im 7i+1 = 25 .
8

Observe que
!3
1 + i 3 1 + 3i 3 3(i 3)2 + (i 3)3
=
2 8

1 + 3 3i + 3(3) 3i 8 + 2 3i
= = ,
8 8
 3
   3

1+i 3 1+i 3
por lo que Re 2 = 1 y Im 2 = 43 .

Tenemos que
!6
1 i 3 1
= [(1)6 + 6(1)5 (i 3) + 15(1)4 (i 3)2 +
2 64

20(1)3 (i 3)3 + 15(1)2 (i 3)4 + 6(1)(i 3)5 + (i 3)6 ]

1 + i6 3 15(3) 20i( 3)3 + 15( 3)4 + i6( 3)5 ( 3)6
=
64

1 45 + 15(9) 81 + i(6 3 20 27 + 6( 3)5
=
64

10 + i(6 3 60 3 + 54 3) 5 5
= = + i 3(0) =
64 32 32
 6
  6

1i 3 5 1i 3
entonces Re 2 = 32 y Im 2 =0.

Observe que


1 si n = 4k o n = 0

1 si n = 4k 2
in = con kN

i si n = 4k + 1


i si n = 4k 1
entonces

1 si n = 4k o n = 0


n
Re{i } = 1 si n = 4k 2


0 en otro caso

1 si n = 4k + 1

n
Im{i } = 1 si n = 4k 1


0 en otro caso
Es sencillo ver calcular que
 
1+i 8 1 1
8 = = Re{8 } = , Im{8 } = 0 ;
2 16 16
 
1+i 7
7 = = 0 Re{7 } = 0 = Im{7 } ;
2
El cuerpo de numeros complejos 5

 6
1+i i 1
6 = = Re{6 } = 0, Im{6 } = ;
2 8 8
 5
1+i 1+i 1
5 = = Re{5 } = = Im{5 } ;
2 32 32
 4
1+i 1 1
4 = = Re{4 } = , Im{4 } = 0 ;
2 4 4
 3
1+i
3 = =0 Re{3 } = 0 = Im{3 } ;
2
 
1+i 2 i 1
2 = = Re{2 } = 0, Im{2 } = .
2 2 2
2. Hallar el valor absoluto y conjugado de cada uno de los siguientes:
3i i
2 + 1; 3; (2 + i)(4 + 3i); ; ;
2 + 3i i+3
(1 + i)6 ; i17 .
Solucion.
p
Tenemos que | 2 + i| = (2)2 + 12 = 5 y 2 + i = 2 i.
Es sencillo ver que | 3| = 3 y 3 = 3.
Notemos que

3i (3 i)( 2 3i) 1
= = (3 i)( 2 3i)
2 + 3i 2+9 11
entonces
3i 1
= (3 i)( 2 3i)
2 + 3i 11
1 1
= (3 i) ( 2 3i) = (3 + i)( 2 + 3i)
11 11
q
y ademas 2+3i = ||3i| = 9+1
3i
2+3i| 2+9
= 10 11 .
 
i 1
Usando las propiedades se tiene que i+3 = 1+10 = 110 y i+3
i
=
i i i
= 3i
i+3
= i3 .
Usando propiedades tenemos que
6
|(1 + i)6 | = |1 + i|6 = 2 = 23 = 8 .
6
y (1 + i)6 = (1 + i) = (1 i)6 .
Note que |i17 | = |i|17 = 1 y que i17 = (i)17 = (i)17 = i17 = i.

3. Demotrar que z es un numero real si y solo si z = z.

Solucion. Observe que si z = x + iy R si y solo si y = 0 lo que


es equivalente a
2iy = 0 iy = iy x + iy = x iy z = z .
6 El Sistema de Numeros Complejos

4. Si z y w son numeros complejos, pruebe las siguientes ecuaciones:

|z + w|2 = |z|2 + 2 Re zw + |w|2


|z w|2 = |z|2 2 Re zw + |w|2
|z + w|2 + |z w|2 = 2(|z|2 + |w|2 )

Solucion. Sean z = x + iy y w = a + ib y notemos que

2 Re zw = 2 Re{(x + iy)(a bi)}


= 2 Re{xa + by + i(ay bx)} = 2(xa + yb) .

Luego,

|z w|2 = |(x a) + i(y b)|2


= (x a)2 + i(y b)2
= x2 2xa + a2 + y 2 2yb + b2
= (x2 + y 2 ) 2(xa + yb) + (a2 + b2 )
= |z|2 2 Re zw + |w|2 .

Ademas,

|z + w|2 + |z w|2 = |z|2 + 2 Re zw + |w|2 + |z|2 2 Re zw + |w|2


= 2(|z|2 + |w|2 ) .

5. Use induccion para probar que para z = z1 + + zn ; w = w1 w2 wn :


|w| = |w1 | |wn |; z = z1 + + zn ; w = w1 wn .
n
X
Solucion. Si zj = xj + iyj , j = 1, . . . , n entonces z = (xj + iyj )
j=1
luego
n
X n
X n
X
z= (xj + iyj ) = (xj + iyj ) = (xj iyj ) = z1 + z2 + + zn .
j=1 j=1 j=1

Ahora si n = 2 sea w = w1 w2 = (x + iy)(a + ib) entonces w = (xa


yb) + i(ya + xb) y obtenemos

|w|2 = (xa yb)2 + (ya + xb)2


= (xa)2 2xayb + (yb)2 + (ya)2 + 2yaxb + (xb)2
= a2 (x2 + y 2 ) + b2 (x2 + y 2 )
= (a2 + b2 )(x2 + y 2 ) = |x + iy|2 |a + ib|2 = |w1 |2 |w2 |2 .
El plano complejo 7

Por induccion supongamos que se cumple para n = k entonces si wk =


a + iy y wk+1 = a + ib entonces

w = w1 wk+1 = w1 wk wk+1 = w1 wk1 ((xa yb) + i(ya + xb))

Por lo tanto,

|w| = |w1 | |wk1 ||(xa yb) + i(ya + xb)|


= |w1 | |wk1 ||wk ||wk+1 |

como queriamos probar.


De manera similar para n = 2 se tiene que

w = (xa yb) + i(ya + xb)


= (xa yb) i(ya + xb)
= (x iy)(a ib) = (x + iy)(a + ib) .

Si se cumple para n = k obtenemos

w = w1 wk+1
= w1 wk wk+1
= w1 wk1 wk wk+1 = w1 wk+1 .

6. Sea R(z) una funcion racional de z. Demuestre que R(z) = R(z) si todos
los coeficientes en R(z) son reales.

Solucion. Sea P (z) = a0 + a1 z + + an zn con ai R para todo


i = 1, 2, . . . , n, entonces

P (z) = ao + a1 z + + an z n
= ao + a1 z + + an z n
= ao + a1 z + + an z n = P (z) .

Entonces, si P (z) y Q(z) son polinomios con coeficientes reales tenemos


que
P (z) P (z)
R(z) = = = R(z) .
Q(z) Q(z)

3. El plano complejo

1. Pruebe ||z| |w|| |z w| y de una condicion necesaria y suficiente para


la igualdad.
8 El Sistema de Numeros Complejos

Solucion. Notemos que


|z| |w| = |z w + w| |w| |z w| + |w| |w| = |z w| ,
de manera similar tenemos que
|z| |w| = |z| |w z + z| |z| |z w| |z| = |z w| .
Por lo que
|z w| |z| |w| |z w| ||z| |w|| |z w|, z, w C .
La condicion necesaria y suficiente es que z = rw con r R. En efecto,
si z = rw entonces
||z| |w|| = |r|w| |w|| = ||w|(r 1)| = ||w|||r 1|
= |w||r 1| = |w(r 1)| = |rw w| = |z w| .
Recprocamente, si ||z| |w|| = |z w| entonces el triangulo de vertices
z, w y (0, 0) es tal que la distancia del lado
es igual a la diferencia de
zw


los lados z0 y w0

z
|z w|

|z|
w

|w|

Luego, z, w y (0, 0) son colineales entonces z, w son linealmente depen-


dientes, por lo tanto z = rw con r R.

2. Demuestre que ocurre la igualdad


|z1 + z2 + + zn | = |z1 | + |z2 | + + |zn |
zk
si y solo si 0 para cualquier k, l, 1 k, l n con zl 6= 0.
zl
z
Solucion. Para n = 2, si 0 obtenemos que
w
x + iy (x + iy)(a ib)
0 0
a + ib a2 + b2
(xa + yb) + i(ya xb) 0
(ya xb) = 0 y (xa + yb) 0
Re{zw} = |zw|
El plano complejo 9

Luego

|z + w|2 = |z|2 + 2Re{zw} + |w|2 = |z|2 + 2|z||w| + |w|2 = (|z| + |w|)2 .

Por tanto, |z + w| = |z| + |w| y por induccion sobre n se obtiene el resul-


tado pedido.

3. Sea a R y c > 0 fijo. Describa el conjunto de puntos z que satisfacen

|z a| |z + a| = 2c

para todos los posibles a y c. Ahora sea a C usando la rotacion del


plano, describa los puntos que satisfacen la ecuacion de arriba.

Solucion.
Caso 1. Si c > |a|
Tenemos que

2c = |z a| |z + a| |(z a) (z + a)| = 2|a| .

Si c > |a| entonces 2c 2|a| 2c lo que es absurdo entonces

S = {z : |z a| |z + a| = 2c} = .

Caso 2. Si c = 0
Consideremos a = r + is, entonces

S = {z = x + iy : |z a| |z + a| = 2c}
p p
= {z : (x r)2 + (y s)2 = (x + r)2 + (y + s)2 }
= {z : xr + ys = 0} = {z : za} .

Caso 3. Si 0 < c < a


Notemos que la ecuacion |z a| |z + a| = 2c es equivalente a
p p
(x a)2 + y 2 (x + a)2 + y 2 = 2c
p p
(x a)2 + y 2 + (x + a)2 + y 2 2 (x a)2 + y 2 (x + a)2 + y 2 = 4c2
(2x2 + 2a2 + 2y 2 4c2 )2 =
4((x a)2 (x + a)2 + (x a)2 y 2 + (x + a)2 y 2 + y 4 )
4(x2 + a2 + y 2 2c2 )2 =
4((x2 2xa + a2 )(x2 + 2xa + a2 ) + 2x2 y 2 + 2a2 y 2 + y 4 )
10 El Sistema de Numeros Complejos

(x2 + a2 )2 + 2(x2 + a2 )(y 2 2c2 ) + (y 2 2c2 )2 =


x4 2x2 a2 + a4 + 2x2 y 2 + 2a2 y 2 + y 4
x4 + 2x2 a2 + a4 + 2(x2 a2 )(y 2 2c2 ) + y 4 4y 2 c2 + 4c4 =
x4 2x2 a2 + a4 + 2x2 y 2 + 2a2 y 2 + y 4
4x2 a2 + 2(x2 y 2 2x2 c2 + y 2 a2 2a2 c2 ) 4y 2 c2 + 4c4 = 2x2 y 2 + 2a2 y 2
4x2 a2 4x2 c2 4a2 c2 4y 2 c2 + 4c4 = 0
x2 y2
x2 (a2 c2 ) y 2 c2 = c2 (a2 c2 ) 2 + 2 =1.
c c a2
En este caso la ecuacion representa una parabola centrada en el origen.
Caso 4. Si c = a
La ecuacion |z a| |z + a| = 2c equivale a
p p
(x a)2 + y 2 (x + a2 + y 2 = 2a
(2x2 + 2a2 + 2y 2 4a2 )2 = (x4 + 2x2 a2 + a4 + 2x2 y 2 + 2a2 y 2 + y 4 )
(x2 + y 2 a2 )2 = 2x4 4x2 a2 + 2a4 + 4x2 y 2 + 4a2 y 2 + 27y 4
x4 + 2x2 y 2 + y 4 2a2 (x2 + y 2 ) + a4 =
2x4 4x2 a2 + 2a4 + 4x2 y 2 + 4a2 y 2 + 2y 4
x4 2x2 y 2 y 4 + 2a2 x2 + 2a2 y 2 a4 = 0
(x2 + y 2 )2 2a2 (x2 + y 2 ) + a4 = 0
(x2 + y 2 a2 )2 = 0
x2 + y 2 = a2 |z| = a .

Luego, {z C : |z a| |z + a| = 2c} = {z C : |z| = a} un crculo


centrado en 0 y de radio a.

4. Representacion polar y races de numeros complejos

1. Hallar las raices sexta de la unidad.

Solucion. Las races sexta de la unidad son los numeros complejos que
satisfacen z 6 = 1 y se sabe que son dadas por

e2ki/6 , k = 0, 1, 2, 3, 4, 5, 6 .

y son dadas por


e0 = 1
ei = 1
ei/3 = 12 + i 23 e4i/3 = 12 i 23
3 3
e2i/3 = 12 + i 2 e5i/3 = 1
2 i 2 .
Representacion polar y races de numeros complejos 11

2. Calcule lo siguiente
(a) La raiz cuadrada de i
(b) La raizcubica de i

(c) La raiz cuadrada de 3 + 3i

Solucion.
(a)
2 2  2
i = cos + i sin = cos + i sin = cos + i sin
2 2 4 4 4 4
entonces

2 2
i = cos + i sin = +i .
4 4 2 2
(b)
 3
i = cos + i sin = cos + i sin
2 2 6 6
entonces

3
1/3 1
i =
+i .
2 2

(c) Tenemos que | 3 + 3i| = 3 + 9 = 12, ademas

h(1, 0), ( 3, 3)i 3 1
cos = = = =
|(1, 0)||( 3, 3)| 12 2 3
entonces
 
3 + 3i = 12 cos + i sin
3 3
!
  3 1
( 3 + 3i)1/2 = (12)1/4 cos + i sin = (12)1/4 +i .
6 6 2 2

3. Una raz n-esima primitiva de la unidad es un numero complejo a tal que


1, a, a2 , . . . , an1 son distintas n races de la unidad. Demuestre que si a
y b son primitivas n-esima y m-esima raiz de la unidad, respectivamente,
entonces ab es una k-esima raiz de la unidad para algun entero k. Cual
es el valor de k mas pequeno?

Solucion. Sea k = n m entonces

(ab)k = (ab)nm = (an )m (bm )n = (1)m (1)n = 1 .

El valor mas pequeno de k ocurre cuando k es el mnimo comun multiplo


de m y n.
12 El Sistema de Numeros Complejos

4. Use la ecuacion binomial


n  
X n
(a + b)n = ank bk
k
k=0

donde
 
n n!
=
k k!(n k)!
y compare la parte real e imaginaria de cada de la formula de Moivre
obteniendo las formulas
   
n n n2 2 n
cos n = cos cos sin + cosn4 sin4 +
2 4
   
n n1 n
sin n = cos sin cosn3 sin3 +
1 3

Solucion. Notemos que


n  
n
X n
cos(n) + i sin(n) = (cos + i sin ) = cosnk sink (ik ) .
k
k=0

Como para k par Im{ik } = 0 y para k impar Re{ik } = 0 entonces sepa-


rando en parte imaginaria y real se obtienen las ecuaciones buscadas.

2 2
5. Sea z = cos +i sin para n 2. Demuestre que 1+z + +z n1 = 0.
n n

Solucion. Consideremos p(x) = xn 1 un polinomio en C, observemos


que
 
n 2 2 n
p(z) = z 1 = cos + i sin 1 = cos 2 + i sin 2 1 = 0 ,
n n

entonces z es raz de p(x), por otro lado

p(x) = (x 1)(xn1 + xn2 + + x + 1) .

Como z no es raz del factor x 1 entonces z debe ser raz del segundo
factor de arriba, es decir,

z n1 + z n2 + + z + 1 = 0, n 2.

6. Demuestre que (t) = cis t es un homomorfismos de grupos del grupo


aditivo R sobre el grupo multiplicativo T = {z : |z| = 1}.
Lneas y semi-planos en el plano complejo 13

Solucion. Es claro que : R T y ademas

(x + y) = cis(x + y)
= cos(x + y) + i sin(x + y)
= cos x cos y sin x sin y + i sin x cos y + i cos x sin y
= cos x(cos y + i sin y) + i sin x(cos y + i sin y)
= (cos x + i sin y)(cos y + i sin y)
= cis x + cis y = (x)(y) .

Por lo tanto, : (R, +) (T, ) es un homomorfismo.

7. Si z C y Re(z n ) 0 para todo entero positivo n, demuestre que z es


un numero real no negativo.

Solucion. Sea z = r(cos +i sin ) entonces z n = r n (cos(n)+i sin(n)),


luego

Si Re(z n ) = r n cos(n) 0 cos(n) 0 n N


=0
z = r R+
0 .

5. Lneas y semi-planos en el plano complejo

1. Sea C el crculo {z : |z c| = r}, r > 0. Sea a = c + rcis y ponemos


   
za
L = z : Im =0
b
donde b = cis . Hallar condicion necesaria y suficiente en terminos de
tal que L sea tangente a C en a.

Solucion. Tenemos que

C = {z : |z c| = r} = {z : (x c1 )2 + (y c2 )2 = r 2 } .
p
Sea f : R C dada por f (x) = r 2 (x c1 )2 + c2 entonces
x c1
f (x) = p .
r 2 (x c1 )2
Consideremos a = (a1 , a2 ) = (c1 + r cos , c2 + r sin ) entonces
r cos cos 1
f (a1 ) = = = ,
r 2 r 2 cos2 sin tan
14 El Sistema de Numeros Complejos

entonces L = {z = a + tf (a1 ) : t R} lo que implica que b = f (a1 )


por lo tanto cis = tan1 .

6. El plano extendido y la representacion esferica


2|z z |
1. d(z, z ) = , z, z C. Probar que
[(1 + |z|2 )(1 + |z |2 )]1/2
2
d(z, ) =
(1 + |z|2 )1/2
Solucion. Notemos que

|z z |2 |z|2 2 Re zz + |z |2
=
1 + |z |2 1 + |z |2
entonces
|z|2 2Rezz
+ +1
|z z |2 |z |2 |z |2
lm = lm =1
|z | 1 + |z |2 |z |2 1
+1
|z |2
Luego

d(z, ) = lm d(z, z )
|z |

2 |z z |
= p lm p
1 + |z|2 |z | 1 + |z |2
2
= p
1 + |z|2

2. Para cada uno de los siguientes puntos en C, dar el correspondiente punto


en S: 0, 1 + i, 3 + 2i.

Solucion. Consideremos : C S dada por


 
z + z i(z z) |z|2 1
(z) = , , .
|z|2 + 1 |z|2 + 1 |z|2 + 1
Evaluando obtenemos que las imagenes de los puntos son:

(0) = (0, 0, 1), el polo sur


   
2 2 21 2 2 1
(1 + i) = , , = , , ,
2+1 2+1 2+1 3 3 3
   
6 4 13 1 3 2 6
(3 + 2i) = , , = , , .
13 + 1 13 + 1 13 + 1 7 7 7
El plano extendido y la representacion esferica 15

3. Que subconjunto de S corresponde el eje real e imaginario de C?

Solucion. Consideremos A, B S 2 dados por

A = {(x, y, z) S 2 : y 2 + z 2 = 1, x = 0} ,
B = {(x, y, z) S 2 : x2 + z 2 = 1, y = 0} .

 (R) =2 B y (iR) = A. En efecto, si z = x R entonces


Entonces,
(z) = x22x
+1
, 0, xx2 1
+1
y como
 2  2
2x x2 1 4x2 x4 2x2 + 1
2
+ = +
x +1 x2 + 1 (x2 + 1)2 (x2 + 1)2
x4 + 2x2 + 1
=
(x2 + 1)2
(x2 + 1)2
= =1
(x2 + 1)2
entonces z B. Analogamente, si z = iy entonces
 
2y y2 1
(z) = 0, 2 , zA
y + 1 y2 + 1

4. Sea un circulo de radio 1 en S 2 . Entonces existe un unico plano P en


R3 tal que P S 2 = . Recuerde de geometra analtica que

P = {(x, y, z) : x1 + y2 + z3 = l}

donde (1 , 2 , 3 ) es un vector ortogonal a P y l es algun numero real.


Sabiendo que se asume que 12 + 22 + 32 = 1. Use esta informacion de-
muestre que si contiene el punto N entonces esta proyeccion sobre C
es una lnea recta. De lo contarrio, se proyecta sobre el crculo en C.

Solucion. Veamos el plano tangente de la esfera S 2 en el punto (a, b, c).


Sabemos que el vector (a, b, c) es normal al plano tangente. Luego la
ecuacion del plano tangente es:

a(x a) + b(y b) + c(z c) = 0

entonces ax + by + cz = 1 pues a2 + b2 + c2 = 1. Tenemos que el plano

P : ax + by + cz + d = 0 (1)

intersecta la esfera unidad, y asumimos que la distancia desde el origen


al plano es estrictamente menor que 1. Esto es:
d
< 1 d2 < a2 + b2 + c2 = 1 d < 1 .
a2 + b2 + c2
16 El Sistema de Numeros Complejos

Entonces = {(x, y, z) S 2 : (x, y, z) P}. Sabemos que : C S 2 es


dada por
 
2x 2y x2 + y 2 1
(x, y) = , , .
x2 + y 2 + 1 x2 + y 2 + 1 x2 + y 2 + 1
Si este punto esta tambien sobre P, entonces
     2 
2x 2y x + y2 1
a +b +c +d=0
x2 + y 2 + 1 x2 + y 2 + 1 x2 + y 2 + 1
lo que implica

2ax + 2by + c(x2 + y 2 1) + d(x2 + y 2 + 1) = 0 ,

es decir,

(c + d)(x2 + y 2 ) + 2ax + 2by = c d . (2)

Ahora bien, si N = (0, 0, 1) P entonces por (1) c + d = 0 y por (2)

2ax + 2by = 2c ax + by = c

y esta es una ecuacion de una lnea recta en el plano complejo. Ahora, si


/ P, entonces por (1) c + d 6= 0 y diviendo por c + d en (2)
N = (0, 0, 1)
obtenemos
2a 2b cd
x2 + y 2 + x+ y =
c+d c+d c+d
 2  2
a b a2 + b2 + c2 d2 1 d2
x+ + y+ = = .
c+d c+d (c + d)2 (c + d)2
Esto representa un crculo si y solo si 1 d2 > 0 d < 1, pero esto es lo
que exactamente supusimos.

5. Sea Z y Z S 2 correspondientes a z y z , respectivamente. Sea W S 2


correspondiente a z + z . Hallar las coordenadas de W en terminos de las
coordenadas de Z y Z .

Solucion. Tenemos que


1

z = x + iy 7 2 (2x, 2y, x2 + y 2 1)

x + y2 + 1


z = a + ib 7 1
(2a, 2b, a2 + b2 1)

a2 + b2 + 1
1

Z= 2 (2x, 2y, x2 + y 2 1) = P (x, y)(x1 , y1 , z1 )

x + y2 + 1


Z = 1
(2a, 2b, a2 + b2 1) = P (a, b)(x2 , y2 , z2 )

a2 + b2 + 1
El plano extendido y la representacion esferica 17

Luego,
W = P ((x + a), (y + b))(2(x + a), 2(y + b), (x + a)2 + (y + b)2 1)
= P ((x + a), (y + b))(x1 + x2 , y1 + y2 , z1 + z2 + 2(xa + yb) + 1)
 
1
= P ((x + a), (y + b)) x1 + x2 , y1 + y2 , z1 + z2 + (x1 x2 + y1 y2 ) + 1
2
 
1 1
= x 1 + x ,
2 1y + y ,
2 1z + z2 + (x x
1 2 + y y
1 2 ) + 1
(z1 + z2 + 12 (x1 x2 + y1 y2 ) + 3) 2
Captulo 2

Espacios Metricos y La Topologa de C

1. Definicion y ejemplos de espacios metricos

1. Demuestre que cada uno de los ejemplos de espacios metricos dados en


(1.2)-(1.6) es, de hecho, un espacio metrico. El ejemplo (1.6) es el unico
que tiene mayor dificultad. Tambien describa B(x; r) para cada uno de
los ejemplos.

Solucion.
(a) X = R o C, d(z, w) = |z w|.

Si z = x + iy, w = a + bi entonces
p
(i) d(z, w) = (x a)2 + (y b)2 0.
(ii) Si d(z, w) = 0 si y solo si (x a)2 + (y b)2 = 0 y como los
sumando son no negativos lo ultimo es equivalente a x = a y
y = b si y solo si z = w.
p p
(iii) d(z, w) = (x a)2 + (y b)2 = (a x)2 + (b y)2 = d(w, z).
(iv) Usando la desigualdad triangular usual, obtenemos

d(u, z) = |u z| = |u w + w z|
|u w| + |w z| = d(u, w) + d(w, z) .

Observe que

B(w; r) = {z C : (x a)2 + (y b)2 < r 2 } ,

graficamente

r
b + b

+
a

19
20 Espacios Metricos y la Topologa de C

(b) Sea (X, d) un espacio metrico y sea Y X entonces (Y, d) es tambien


un espacio metrico.

Basta restringir d : X X R+ al conjunto Y Y , es decir, tomar


d : Y Y R+ y se satisfacen trivialmente las condiciones.

(c) X = C, d(x + iy, a + ib) = |x a| + |y b|

(i) Claramente se tiene que d(z, w) 0.


(ii) d(z, w) = 0 si y solo si |x a| + |y b| = como los sumando
son no negativas la ultima igualdad equivale a |x a| = 0 y
|y b| = 0 si y solo si z = w.
(iii) d(z, w) = |x a| + |y b| = |a x| + |b y| = d(w, z).
(iv) Usando la desigualdad triangular usual en C obtenemos

d(u, z) = |s x| + |r y|
= |s a + a x| + |r b + b y|
|s a| + |a x| + |r b| + |b y|
= (|s a| + |r b|) + (|a x| + |b y|)
= d(u, w) + d(w, z) .

Observe que

B(w; r) = {z C : |x a| + |y b| < r} ,

geometricamente

r
b+ b

+
a

(
1 si x = y
(d) X cualquier conjunto, d(x, y) =
0 si x 6= y

(i) Como d(x, y) = 0 o 1 entonces d(x, y) 0.


(ii) Por definicion d(x, y) = 0 x = y.
(iii) Si x 6= y entonces d(x, y) = 1 = d(y, x) y si x = y entonces
d(x, y) = 0 = d(y, x).
Definicion y ejemplos de espacios metricos 21

(iv) Si x 6= y, x 6= z, y 6= z se tiene que

d(x, z) = 1 < 2 = d(x, y) + d(y, z) .

Si x = y, x 6= z, y 6= z se tiene que

d(x, z) = 1 = 0 + 1 = d(x, y) + d(y, z)

Si x = y, x = z, y 6= z se tiene que

d(x, z) = 0 < 0 + 1 = d(x, y) + d(y, z) .

Si x = y = z obtenemos que

d(x, z) = 0 = d(x, y) + d(y, z) .


1/2
X n
(e) X = Rn , d(x, y) = (xj yj )2
j=1

(i) Como (xj yj )2 0 para todo j = 1, . . . , n implica que


Xn
(xj yj )2 0 lo que equivale a que d(x, y) 0.
j=1
P
(ii) d(x, y) = 0 si y solo si (xj yj )2 = 0 como los sumando son
no negativos implica que xj = yj para todo j = 1, . . . , n si y
solo si x = y.
(iii) Es claro que d(x, y) = d(y, x)
Pn p
(iv) Definimos hx, yi = j=1 xj yj entonces |x| = hx, xi lo cual
implica que d(x, y) = |x y|. Sabemos que |x + y| |x| + |y| de
donde se deduce la desigualdad triangular.
Si n = 3 el conjunto B(x; r) es geometricamente

2. Cuales de los siguientes subconjuntos de C son abiertos y cuales son


cerrados:
(a) {z : |z| < 1}
(b) El eje real
(c) {z : z n = 1 para algun entero n 1}
(d) {z C : z R y 0 z < 1}
(e) {z C : z R y 0 z 1}
Solucion.
22 Espacios Metricos y la Topologa de C

(a) Sea w {z : |z| < 1} entonces existe = 1|w|2 . Afirmamos que


B(w, ) {z : |z| < 1}, lo cual prueba que el conjunto es abierto.
En efecto, si u B(w; ) se tiene que
1 |w| 1 + |w| 1+1
|u| |u w| + |w| < + |w| = + |w| = < =1,
2 2 2
entonces u {z : |z| < 1}, lo cual prueba lo afirmado.

(b) Considere X c = {z : Imz 6= 0}. Sea w X c , entonces existe =


1
2 Imw tal que si u B(w; ) y obtenemos que

Im u = Im (u + w w) = Im(u w) + Imw
1 3
|u w| + Imw < Imw + Imw = Imw 6= 0
2 2
esto implica que u X c . Por lo que B(w; ) X c . Por lo tanto, X c
es abierto en C, lo cual implica que X = {eje real} es cerrado en C.

(c) Notemos que si z n = 1 entonces z = ei/n y considere el conjunto


X c = {z : z n 6= 1 , n 1}.
3. Si (x, d) es cualquier espacio metrico demuestre que todo bola abierta es,
en efecto, un conunto abierto. Ademas, demuestre que toda bola cerrada
es un conjunto cerrado.

Solucion. Sea z B(x; r) entonces d(x, z) < r tomando = r d(x, z)


luego B(z; ) B(x; r). En efecto, si y B(z; ) lo cual implica que
d(y, z) < r d(x, z) luego

d(x, y) d(x, z) + d(z, y) < r

lo que implica que y B(x; r). Por lo tanto, B(x; r) es abierta.


Por otro lado, consideremos M = X B[x; r] y sea y M tomando
= d(x, z) r. Luego, B(y; ) M . En efecto, si z B(y, ) entonces
d(y, z) < , luego

d(y, z) < d(x, z) r d(x, y) + d(y, z) r

lo que implica que d(x, y) > r, es decir, y / B[x; r] entonces y M .


Luego M es abierto, por lo que B[x; r] es cerrada.

4. Si {Gj : j J} es una coleccion de conjuntos abiertos en X, J cualquier


conjuntos de ndices, entonces G = {Gj : j J} es abierto.

Solucion. Si Gj es abierto para todo j J entonces para todo x Gj


Definicion y ejemplos de espacios metricos 23

existe j > 0 tal que B(x; j ) Gj . Ahora bien, sea x G entonces


x Gj para algun j J entonces
[
B(x; j ) Gj Gj = G .
j

Por lo tanto, G es abierto.

5. Sea (X, d) un espacio metrico. Entonces:


(a) Los conjuntos X y son cerrados.
(b) Si F1 , , Fn son conjuntos cerrados en X entonces tambien lo es
Sn
k=1 Fk .
(c) {Fj : j J} es cualquier coleccion de conjuntos cerrados en X, J
cualquier conjunto de ndices, entonces F = {Fj : j J} es cerrado.
Solucion.
(a) Como X c = es abierto lo que implica que X es cerrado. Similar-
mente, como c = X es abierto, lo que implica que es cerrado.
n
\
(b) Si Fi son cerrados entonces Fic son abiertos por lo que Fic es abierto
i=1
y como
n n
!c
\ [
Fic = Fi
i=1 i=1
T
se tiene que Fi es cerrado.
S
(c) Si Fjc son abiertos entonces Fjc es abierto y como
[ \ c
Fjc = Fj
T
se sigue que Fj es cerrado.

6. Pruebe que si G X es abierto si y solo si X G es cerrado.

Solucion. Notemos que

(X G)c = (X Gc )c = X c G = G = G .

Entonces, X G es cerrado si y solo si (X G)c es abierto si y solo si G


es abierto.

7. Demuestre que (C , d) donde


2|z z |
d(z, z ) = p
(1 + |z|2 )(1 + |z |2 )
es un espacio metrico.
24 Espacios Metricos y la Topologa de C

Solucion. Considere k(x1 , x2 , x3 )k = (x21 + x22 + x23 )1/2 la norma eu-


clideana en R3 . Sean z = (x1 , x2 , x3 ), z = (x1 , x2 , x3 ) S2 donde
2x 2y kzk2 1
x1 = , x 2 = , x 3 =
kzk2 + | kzk2 + 1 kzk2 + 1
2x 2y kz k2 1
x1 = 2 , x2 = 2 , x3 = 2
kz k + | kz k + 1 kz k + 1
Luego,

Como kzk es norma satisface la desigualdad triangular:

kx + yk kxk + kyk

8. Sea (X, d) un espacio metrico e Y X. Supongamos G X es abierto.


Demuestre que G Y es abierto en (Y, d). Inversamente, demuestre que
si G1 Y es abierto en (Y, d), existe un conjunto abierto G X tal que
G1 = G Y .

Solucion. Sea a G Y entonces a G y a Y . Como G es abierto


en X existe > 0 tal que B(a; ) G. Consideremos M = B(a; ) Y
1
y tomemos = nf d(a, Y ). Entonces, B(a; ) G Y . En efec-
2 yY
to, si x B(a; ) entonces d(x, a) < = 12 nf d(a, Y ) , tomando
yY
z Y B(a; ) tenemos que
1 1
nf d(a, Y ) d(a, z) < .
2 yY 2 2
1
Luego, d(x, a) < x B(a; ) G. Como d(x, a) < nf
2 yY d(a, Y )
implica que x Y . Se concluye que x G Y , entonces B(a; ) G Y .
Por lo tanto, G Y es abierto en Y .
Por otro lado, si G1 Y es abierto entonces IntG1 = G1 si y solo si
G1 = IntG1 Y si y solo si G1 = G Y , donde G = IntG1 abierto en X,
pues IntG = Int(IntG1 ) = IntG1 = G.

9. Sean (X, d) un espacio metrico y Y X. Supongase que G X es cerra-


do; demuestre que G Y es cerradop en (Y, d). Inversamente, demuestre
que si G1 Y es cerrado en (Y, d), existe un conjunto cerrado G X tal
que G1 = G Y .

Solucion. Si G Y es cerrado entonces X G es abierto lo que implica


que (X G) Y es abierto en Y
10. Sean A y B subconjuntos de un espacio metrico (X, d). Entonces:
(a) A es abierto si y solo si A = int A;
Conexidad 25

(b) B es cerrrado si y solo si A = A;


(c) int A = X (X A), A = X int (X A), A = A int A;
(d) (A B) = A B;
(e) x0 int A si y solo si existe un > 0 tal que B(x0 ; ) A;
(f) x0 A si y solo si para todo > 0, B(x0 ; ) A 6= .
Solucion.
(a) Si A es abierto entonces para todo a A existe > 0 tal que B(a; )
A. Como B(a; ) es abierto, si a A entonces B(a; ) int A lo que
implica que a int A. Luego, A int A. Si a int A implica que
[
a {G | G abierto, G A} .

En particular, a B(a; ) A. Luego, A = int A.


Recprocamente, si A = int A, si a A si y solo si a int A lo
cual implica que G = B(a; ) tal que a G con G A. Luego A es
abierto.
(b) Si B es cerrado si y solo si X B es abierto si y solo si para todo
a X B, existe r > 0 tal que B(a; r) X B si y solo si para
todo a X B, existe una bola B(a; r) que no contiene puntos de
B si y solo si para todo a X B, a
/ int (B) si y solo si para todo
a B, a B B si y solo si B = B.
(c) Sea a int (A) si y solo si existe G abierto tal que a G A lo
que implica que a / X A (X A), esto es, a X (X A).
Luego, int A X (X A). Ahora bien, sea a X (X A) a /
1
(X A) a / (X A). Tomando = 2 nf d(a, x) obtenemos
xXA
que a B(a; ) A a int (A). Por lo tanto, int (A) = X
(X A). Sea a A

2. Conexidad

1. El proposito de este ejercicio es demostrar que in subconjunto conexo de


R es un intervalo.
(a) Demuestre que un conjunto A R es un intervalo si y solo si para
cualesquiera dos puntos a, b A con a < b, el intervalo [a, b] A.
(b) Use parte (a) para demostrar que si un conjunto A R es conexo
entonces A es un intervalo.
Solucion.
(a) Supongamos que A R no es un intervalo entonces existe c R con
a < c < b y a, b A tal que c / A. Luego, [a, c] * A, lo cual es una
contradiccion. Recprocamente, sea A R un intervalo con a = nf A
26 El Sistema de Numeros Complejos

y b = sup A entonces tenemos que si a < c < b si y solo si c A.


Ahora bien, si x, y A con x < y si y solo si a < x < y < b. Luego,
para todo z con x < z < y implica que a < z < y z A. Por lo
tanto, [x, y] A.
(b) Supongamos que A no es un intervalo. Sean a = nf A, b = sup A
entonces existe c R con a < c < b tal que c / A. Consideremos

X = {x A : x < c}
Y = {x A : x > c}

entonces A = X Y con X, Y abiertos en A no vacos, lo cual con-


tradice la convexidad de A.

2. Demuestre que los conjuntos S y T en la demostracion del Teorema 2.3


son abiertos.

Solucion. Considere los conjuntos

S = {s [0, 1] : sb + (1 s)a A}
T = {t [0, 1] : tb + (1 t)a B}

con a A, b B, A B 6= y A, B abiertos de C. Ahora bien, considere


la funcion : [0, 1] C definida por

(t) = tb + (1 t)a

entonces es continua y como A es abierto entonces 1 (A) es abierto,


esto es,

1 (A) = {t [0, 1] : (t) A} = S

es un conjunto abierto. Lo mismo ocurre con el conjunto T .

3. Cuales de los siguientes conjuntos X de C son conexos? Si X no es


conexo, cuales son sus componentes?
(a) X = {z : |z| 1} {z : |z 2| < 1}.

(b) X = [0, 1) 1 + n1 : n 1 .
(c) X = C (A B), donde A = [0, ) y B = {z = rcis : r = , 0
}?
Solucion.
(a) Geometricamente el conjunto X es
Conexidad 27

| |
0 2
1

Sean a, b X entonces considere el camino poligonal : [0, 1] X


dado por

2t + (1 2t)a
0 t 12
(t) =

2t 1 + (2 2t) 12 t 1

que une el punto a con el punto b pasando por el punto (1, 0). Por lo
tanto, X es conexo.

(b) Observe que 2 / X y podemos considerar los conjuntos

A = {x X : x > 2}

B = {x X : x < 2}

entonces X = A B con A y B abiertos no vacos en X. Luego, X


no es conexo. Las componentes conexas de X son [0, 1) y para cada
n N {1 + n1 }.
(c) Geometricamente el conjunto X son los puntos en el plano que no
estan de color rojo
y

Sean a, b C tal que a C+ = {z : Im z > 0} y b C = {z :


Im z0}. Entonces, no existe un camino poligonal que una a y b y este
enteramente contenido en X, pues si existiera, en virtud del teorema
del valor intermedio existira c (0, 1) tal que (c) X, lo cual es
28 El Sistema de Numeros Complejos

una contradiccion. Por lo tanto, X no es conexo y X posee infinitas


componentes conexas.
4. Pruebe la siguiente generalizacion del Lema 2.6. Si {Dj : j J} es una
coleccion de subconjuntos conexos de X y si para cada j y k en J se tiene
S
que Dj Dk 6= entonces D = {Dj : j J} es conexo.

Solucion. Supongamos que D = A B para ciertos conjuntos A, B


abietos no vacos tal que A B = . Como A 6= existe k J tal que
Dk A, del mismo modo como B 6= existe J tal que D B y
como A B = necesariamente k 6= entonces
Dk D A B =
lo cual contradice el hecho que Dk D 6= . Por lo tanto, D es conexo.

5. Demuestre que si F X es cerrado conexo entonces para todo par de


puntos a, b F y cada > 0 existen puntos z0 , z1 , . . . , zn F con z0 = a,
zn = b y d(zk1 , zk ) < para 1 k n. La hipotesis que F es cerrado
es necesaria? Si F es un conjunto que satisface esta propiedad entonces
F no es necesariamente conexo, igual si F es cerrado, De un ejemplo que
ilustre esto.

Solucion. Sean X = R y F = (a, b) con a, b R entonces F satisfa-


ce la propiedad sin ser cerrado. Ademas, G = (a, b) {c} con c un punto
interior de F satisface la propiedad ya que G es denso en F sin ser G
conexo. Ahora probaremos que la propiedad es cierta

3. Sucesiones y completacion

1. Pruebe la Proposicion 3.4.

Solucion.
(a) Un conjunto es cerrado si y solo si este contiene todos sus puntos
lmites.
Si X es un conjunto cerrado entonces para cada sucesion {xn }
n=1
X con lm xn = x implica que x X, luego X posee sus puntos
lmites. Recprocamente, sea {xn }
n=1 X una sucesion tal que
lm xn = x. Como X posee todos sus puntos lmites se tiene que
x X, entonces X es cerrado.
(b) Si A X entonces A = A {x : x es un punto lmite de A}.
Observe que como A = A entonces A es cerrado, entonces A posee
Sucesiones y completacion 29

todos sus puntos lmites lo que implica que


{x : x es un punto lmite de A} A
y como A A se sigue que A {x : x es un punto lmite de A} A.
Ahora bien, sea x A entonces existe una sucesion {xn } A tal
que lm xn = x y como A es cerrado implica que x A ESTA WEA
ESTA MALA

2. Finalice los detalles de la demostracion de la Proposicion 3.8.

Solucion.
3.8 Proposicion. Sea (X, d) un espacio metrico completo y sea Y X.
Entonces (Y, d) es un espacio metrico completo ssi Y es cerrado en X.

Demostracion. Sea x0 un punto lmite de Y entonces existe {yn } Y


una sucesion tal que lm yn = x0 . Como {yn } es convergente implica que
{yn } es una sucesion de Cauchy
Captulo 3

Propiedades Elementales y Ejemplos de Funciones


Analticas

1. Series de potencias

1. Pruebe la Proposicion 1.5.

P P
Solucion. Proposicion. Sean an y bn dos series absolutamente con-
vergentes y ponemos
n
X
cn = ak bnk .
k=0
P
Entonces cn es absolutamente convergente con suma
X  X 
an bn .
Pn Pn Pn
Demostracion. Sean An = k=0 ak , Bn = k=0 bk , Cn = k=0 ck ,
P P P
A = an , B = bn y C = cn . Consideremos n = Bn B entonces

cn = a0 b0 + (a0 b1 + a1 b0 ) + + (a0 bn + a1 bn1 + + an b0 )


= a0 (b0 + b1 + + bn ) + a1 (b0 + + bn1 ) + + an b0
= a0 Bn + a1 Bn1 + + an B0
= a0 (B + n ) + a1 (B + n1 ) + + an (B + 0 )
= An B + a0 n + a1 n1 + + an 0 .
P
Sea n = a0 n + a1 n1 + + an 0 . Como an converge absolutamente
P
tomamos = k=0 |an |. Dado > 0 como n 0 cuando n existe
N N tal que |n | < para todo n N , luego

|n | = |an 0 + + N anN | + |N +1 anN 1 + + n a0 |


nN 1
X
|0 an + + N anN | + |ak | .

k=0

Fijando N y haciendo n , como ak 0 cuando k 0 obtenemos


que lm n = 0 . Entonces,
n

c = lm = lm (An B + n ) = AB .
ncn n

31
32 Propiedades Elementales y Ejemplos de Funciones Analticas

2. Dar los detalles de la demostracion de la Proposicion 1.6.

P P
Solucion. Proposicion. Sea an (z a)n y bn (z a)n series de po-
tencia con radio de convergencia r > 0. Sea
n
X
cn = ak bnk ;
k=0
P P
entonces ambas series de potencia (an + bn )(z a)n y cn (z a)n
tienen radio de convergencia r, y
X hX X i
(an + bn )(z a)n = an (z a)n + bn (z a)n
X hX i hX i
cn (z a)n = an (z a)n bn (z a)n

para |z a| < r.

Demostracion. Si 0 < s < r entonces para |z| s, se tieme


X X X
|an + bn ||z|n |an |sn + |bn |sn <
X X  X 
|cn ||z|n |an |sn |bn |sn <

Por el problema anterior para |z a| < r


X X  X 
cn (z a)n = an (z a)n bn (z a)n ,

con lo que se prueba lo pedido.

3. Pruebe que lm sup(an + bn ) lm sup an + lm sup bn y lm inf(an + bn )


lm inf an + lm inf bn para {an } y {bn } sucesiones de numeros reales.

Solucion. Consideremos An = {ak | k n}, Bn = {bk | k n} y


Cn = {ak + bk | k n}. Claramente Cn An + Bn {ai + bj | i, j n}.
Entonces, sup cn sup(An + Bn ) sup An + sup Bn , luego

lm sup(an + bn ) = lm [sup{an + bn , an+1 + bn+1 , . . .}]


n
= lm [sup cn ]
n
lm [sup(An + Bn )]
n
= lm [sup An ] + lm [sup Bn ]
n n
= lm sup an + lm sup bn .

De manera similar, se tiene que nf Cn nf(An + Bn ) = nf An +nf Bn ,


de donde se sigue la otra desigualdad.
Series de potencia 33

4. Demuestre que lm inf an lm sup an para cualquier sucesion en R.

Solucion. Sea A = {an | n N} R entonces sabemos que nf A


sup A. Entonces

lm inf an = lm [nf{an , an+1 , . . .}]


n
= lm nf A
n
lm sup A
n
= lm [sup{an , an+1 , . . .}] = lm sup an .
n

5. Si {an } es una sucesion convergente en R y a = lm an , demuestre que


a = lm inf an = lm sup an .

Solucion. Como {an } es una sucesion convergente ella es acotada, por


lo que necesariamente existe i, j N tales que

nf{an , an+1 , . . .} = an+i


sup{an , an+1 , . . .} = an+j

por lo que

lm inf an = lm nf{an , an+1 , . . .} = lm an+i = a .


n n

De la misma manera se tiene que

lm sup an = lm sup{an , an+1 , . . .} = lm an+j = a ,


n n

como queramos probar.


6. Hallar el radio de convergencia para cada una de las siguientes series de
potencia:

X
X
X
X
n n2 n n n
(a) an z , a C; (b) a z , a C; (c) k z ,k un entero 6= 0; (d) z n! .
n=0 n=0 n=0 n=0

Solucion.
(a) Tenemos que
n n
an a
R = lm
= lm = lm |a| = 1 .
n an+1 n an+1 n |a|n+1 |a|
(b) Observe que

si |a| < 1,

an2 |a|n
2
1

R = lm (n+1)2 = lm = lm = 1 si |a| = 1,
n a n |a|n2 +2n+1 n |a|2n+1
0 si |a| > 1.
34 Propiedades Elementales y Ejemplos de Funciones Analticas

(c) Se tiene que


n
an k 1 1
R = lm
= lm n+1 = lm = .
n an+1 n k n |k| |k|
p
(d) Por el criterio de Cauchy o test de la raz, se sabe que si n |an | < 1
P
para todo n N suficientemente grande entonces an es absolu-
tamente convergente para cualquier sucesion de numeros reales an .
Notemos que en nuestro caso tenemos
q
n!
n
|z|n! = |z| n = |z|(n1)! < 1 |z| < 1 .
Entonces, el radio de convergencia es R = 1.

7. Demuestre que el radio de convergencia de la serie de potencia



X (1)n
z n(n+1) (3)
n
n=1
es 1, y discuta la convergencia para z = 1, 1 y i.

P
Solucion. Sabemos que el radio de convergencia de n
n=0 z es R = 1.
(1)n n(n+1)
Sean an = n z y bn = z n entonces

an (1)n z n(n+1) |z|n+1

lm = lm = lm =0
n bn n nz n n n
siempre que |z| < 1. Luego an /bn es una sucesion acotada, entonces existe
M > 0 tal que |an /bn | M lo que implica que |an | M |bn |. En virtud
P P
del criterio de comparacion an converge si bn converge, por lo que
el radio de convergia de (3) es R = 1.
P (1)n
Por otro lado, si z = 1 entonces n=1 n es convergente por el criterio
de Leibniz tambien si z = 1 la serie converge por el mismo argumento.
Ahora si z = i, sabemos que si n es par entonces in = 1. Como n(n + 1)
es un numero par para todo n N se sigue que

X (1)n i6 i12 i20 i30 i42
in(n+1) = i2 + + +
n 2 3 4 5 6
n=1
1 1 1 1 1
= 1 + + .
2 3 4 5 6
1 1
Consideremos las sucesiones an = y bn = entonces ambas
2n 1 2n
sucesiones son decrecientes convergentes a cero luego por el criterio de
P P
Leibniz (1)n+1 an y (1)n bn son convergentes y como

X (1)n n(n+1)
X
n+1
X
i = (1) an + (1)n bn
n=1
n n=1 n=1
obtenmos que en z = i la serie es convergente.
Funciones analticas 35

2. Funciones analticas

1. Demuestre que f (z) = |z|2 = x2 + y 2 tiene derivada solo en el origen.

Solucion. Si f (z) = u(z) + iv(z) entonces u(z) = x2 + y 2 y v(z) = 0


luego las derivadas parciales son
u u v v
= 2x, = 2y, = 0, =0.
x y x y
por lo que f no satisface las ecuaciones de Cauchy-Riemann salvo en el
origen en donde
f (z) f (0) x2 + y 2 (x2 + y 2 )(x iy)
lm = lm = lm = lm z = 0 .
z0 z z0 x + iy z0 x2 + y 2 z0

Por lo tanto, f tiene derivada solo en el origen.


2. Pruebe que si bn , an son reales positivos y 0 < b = lm bn , a = lm sup an
entonces ab = lm sup(an bn ). Esto sigue siendo verdadero si el requesito
de positividad es sacado?

Solucion. Dado > 0 existe n0 N tal que si n > n0 implica que



|bn b| < . Ahora, como a = lm sup an entonces existe una subsu-
cesion {ank } tal que ank a, esto es existe m0 N tal que si n > m0

entonces |ank a| < .
Captulo 4

Integracion Compleja

1. Integrales Riemann-Stieltjes

6. Demuestre que si : [a, b] C es una funcion Lipschitz entonces es de


variacion acotada.

Solucion. Sea P = {a = x0 , x1 , . . . , xn = b} una particion de [a, b]


entonces
n
X n
X
V (, P ) = |(xk ) (xk1 )| k|xk xk1 |
k=1 k=1
Xn
= k |xk xk1 | = k(b a) .
k=1

Entonces, es de variacion acotada.

9. Defina : [0, 2] C por (t) = exp(int)


Z donde n es algun entero (po-
1
sitivo, negativo o cero). Demuestre que dz = 2in.
z

Solucion. Tenemos que


Z Z 2 Z 2
dz int int
= e ine dt = in dt = 2in .
z 0 0

R
10. Defina (t) = eit para 0 t 2 y halle z n para todo entero n.

Solucion. Se tiene que


Z Z 2 Z 2
z n dz = eint ieit dt = i eit(n+1) dt
0 0

( )2

eit(n+1)
i i(n + 1) si n 6= 1 0 si n 6= 1


= 0 =





2i si n = 1
2i si n = 1

37
38 Integracion Compleja
Z
eiz
12. Sea I(r) = dz donde : [0, ] C definido por (t) = reit . De-
z

muestre que lm I(r) = 0.
r

Solucion. Notemos que



Z iz Z irei

e e i
|I(r)| = dz = i
re id
z 0 re

Z Z
irei
|e |d = er sen d < .
0 0 R
La ultima desigualdad se debe a la desigualdad de Jordan. Se sigue que
lm I(r) = 0.
r

2. Representacion en series de potencias de funciones analticas

7. Use los resultados de esta seccion para evaluar las siguientes integrales:
Z iz
e
(a) dz, (t) = eit , 0 t 2;
z2

Z
dz
(b) , (t) = a + reit , 0 t 2;
za

Z
sen z
(c) dz, (t) = eit , 0 t 2;
z3

Z
log z
(d) dz, (t) = 1 + 12 eit , 0 t 2 y n 0 .
zn

Solucion.
(a) Sea f (z) = eiz entonces por la formula de Cauchy
Z Z iz
1 f (z) e
f (0) = 2
dz dz = 2if (0) = 2i i = 2 .
2i z z2

(b) Sea f (z) = 1 entonces por la formula de Cauchy se tiene


Z Z
dz f (z)
= dz = 2if (a) = 2i .
za za

(c) Sea f (z) = sen z entonces f (z) = sen z, f (0) = 0 y por la formula
de Cauchy obtenemos
Z Z
sen z f (z) 2i
3
dz = 3
dz = f (0) = 0 .
z z 2!

Representacion en series de potencias de funciones analticas 39

(d) Observe que log z es analtica en B(1; 34 ) y z n es analtica tambien


ah. Ademas, se tiene que (0) = (2) luego es una curva cerrada
y rectificable. Por lo tanto,
Z
log z
dz = 0 .
zn

9. Use Zel Corolario 2.13 para evaluar las siguientes integrales:


ez ez
(a) donde n es un entero positivo y (t) = eit , 0 t 2;
zn

Z
dz
(b) n donde n es un entero positivo y (t) = 12 +eit , 0 t 2;
z 12

Z
dz
(c) 2
donde (t) = 2eit , 0 t 2;
z +1

Z
sen z
(d) dz donde (t) = eit, 0 t 2;
z

Z
z 1/m
(e) donde (t) = 1 + 12 eit , 0 t 2.
(z 1)m

Solucion.
(a) Considere f (z) = ez ez entonces f (z) = ez + ez y se deduce que
f (n1) (z) = ez + (1)n+1 ez , entonces
Z Z z
2if (n1) (0) f (z) e ez
= dz = dz
(n 1)! zn zn

Captulo 5

Singularidades

.2 Residuos
1. Calcule las siguientes integrales:

Z Z
x2 dx cos x 1
(a) (b) dx
x4 + x2 + 1 x2
0 0

Z Z
cos 2d d
(c) donde a2 < 1 (d) donde a > 1
1 2a cos + a2 (a + cos )2
0 0

Solucion.
(a) Observe que

x4 + x2 + 1 = x4 + 2x2 + 1 x2
= (x2 + 1)2 x2
= (x2 + x + 1)(x2 x + 1)

entonces las races de x4 + x2 + 1 son a0 = 12 (1 + 3i), a1 = 12 (1 +

3i), a2 = 12 (1 + 3i) y a3 = 12 (1 3i). Considere el camino dado
por la siguiente figura

b a0 b a1

R 0 R
es decir, = [R, R] {Rei : 0 } con R > |a0 |. Considere

z2
f (z) = .
z4 + z2 + 1

Por el Teorema de los Residuos


Z
1
f (z)dz = Res (f, a0 ) + Res (f, a2 )
2i

41
42 Singularidades

en donde
z2
Res (f, a0 ) = lm (z a0 )f (z) = lm
za0 za0 (z a1 )(z a2 )(z z3 )

a20 1 + i 3
= =
(a0 a1 )(a0 a2 )(a0 a3 ) 4i 3

1+i 3
y de manera similar Res (f, a2 ) = lm (z a2 )f (z) = . Por
za2 4i 3
otro lado, note que
Z Z R Z 2
x2 dx R2 ei iRei
f (z)dz = 4 2
+ d = I1 + I2
R x + x + 1 0 R4 e4i + R2 e2i + 1

en donde
Z R
x2
I1 = dx
R x4 + x2 + 1
Z R Z
x2 R x2
= 2 dx 2 dx .
0 x4 + x2 + 1 0 x4 + x2 + 1
y
Z
R3 R3 R
|I2 | 4 4i 2 2i
d 4 2
0 .
0 |R e + R e + 1| R R 1
Z
x2 dx i
Por lo tanto, 4 2
= .
0 x +x +1 2
eiz 1
(b) Considere el funcion f (z) = que tiene un polo simple en z = 0.
z2
Sean 0 < r < R y la curva dada por la figura

R r 0 r R

Por el Teorema de Cauchy


Z
f (z)dz = 0 .

entonces tenemos
Z R ix Z iRei
e 1 e 1
0 = 2
dx + 2 2i
d
r x 0 R e
Z r ix Z 0 irei
e 1 (e 1)
+ 2
dx + 2 2i
irei d
R x r e
= I1 + I2 + I3 + I4 .
Residuos 43

Observamos que
Z R Z R
eix 1 eix 1
I1 + I3 = dx + dx
r x2 r x2
Z R Z
cos x 1 R cos x 1
= 2 dx 2 dx
r x2 r0 0 x2

Ademas,
Z i Z R sen
|eiRe 1|R e +1
|I2 | 2
d = d
0 R 0 R
 
1 R
2
+ 0 .
R R

La ultima desigualdad se debe al Lema de Jordan. Finalmente, tene-


mos que
Z 0
lm I4 = lm irei f (rei )d = Res (f, 0) = i(i) = .
r0 r0

ya que el desarrollo en serie de potencias de f es


i i i
f (z) = + + z + .
z 2 3!
Z
cos x 1
Por lo tanto, 2
dx = .
0 x 2
1
(c) Sea z = ei entonces z = y tenemos que
z
1

1
cos 2 (z 2 + z 2 )/2 2 z2 + z2
= = 1
1 2a cos + a2 1 2a (z+z) + a2 1a z+ z + a2
2
z4 + 1
= 2z 2
z a(z + 1) + a2 z
2

z
z4 + 1
=
2(z 2 az(z 2 + 1) + a2 z 2 )
z4 + 1
=
2z(az 2 + (a2 + 1)z a)

Entonces,
Z Z
cos 2 1 2 cos 2
d = d
0 1 2a cos + a2 2 0 1 2a cos + a2
Z
1 z4 + 1
= dz .
4i z 2 (az 2 + (a2 + 1)z a)
|z|=1
44 Singularidades

Las races del polinomio az 2 + (a2 + 1)z a son


p
(a2 + 1) (a2 + 1)2 4a2
z =
2a
2
p
(a + 1) (a2 1)2
=
2a
(a + 1) (1 a2 )
2 1
= = .
2a a
Esta raz de multiplicidad 2 no pertenece a D, pues a2 < 1. Ahora
z4 + 1
bien, considere g(z) = entonces su derivada es
az 2 + (a2 + 1)z a
4z 3 (az 2 + (a2 + 1)z a) (z 4 + 1)(2az + a2 + 1)
g (z) =
(az 2 + (a2 + 1)z a)2
entonces
1 a2
Res (f, 0) = lm g (z) = .
z0 a2
Por el Teorema de los Residuos
Z
1 z4 + 1 1 i(1 + a2 )
I= dz = Res (f, 0) = .
4i z 2 (az 2 + (a2 + 1)z a) 4i 4a2
|z|=1

1
(d) Sea z = ei entonces z =
luego
z
    2  2 2
2 z+z 2 1 1 z + 2az + 1
(a + cos ) = a + = a+ z+ = .
2 2 z 2z
Entonces,
Z Z
d 1 2 d
I = 2
=
0 (a + cos ) 2 0 (a + cos )2
Z  2
1 2z dz
=
2 z 2 + 2az + 1 iz
|z|=1
Z
2 z
= dz .
i (z 2 + 2az + 1)2
|z|=1

Notemos que las races de z 2 + 2az + 1 = 0 son



2a 4a2 4 p
z= = a a2 1 ,
2

con = a + a 1 D y = a a2 1
2 / D.Ahora bien,
z 2 z
sean f (z) = (z)2 (z)2 y g(z) = (z ) f (z) = (z)2 con g (z) =

(z)2 2z(z) z
(z)4
= (z)3
. Por lo que,
a
Res (f, ) = lm g (z) = 3
= .
z ( ) 4(a + 1)3/2
2
Residuos 45

Por lo tanto,
Z
2 2
I = f (z)dz = 2i Res (f, )
i i
|z|=1
a a
= 4 = 2 .
4(a2 + 1)3/2 (a + 1)3/2
2. Verifique las siguientes ecuaciones:
Z Z
dx (log x)3
(a) 2 2 2
= 3 , a >0; (b) dx = 0
(x + a ) 4a 1 + x2
0 0
Z
cos ax (a + 1)ea
(c) 2 2
dx = si a > 0 ;
(1 + x ) 4
0
Z/2
d
(d) = 1 , si a > 0
a + sen2 2[a(a + 1)] 2
0
Z Z
log x dx
(e) 2 2
dx = ; (f ) 2
= ;
(1 + x ) 4 1+x 2
0 0
Z
eax
(g) dx = si 0 < a < 1 ;
1+ ex sen a

Z2 Z
2
(h) log sen 2d = 4 log sen d = 4 log 2 .
0 0

Solucion.
(a) Las races de x2 + a2 = 0 son = ia y = ia. Sean f (z) =
1
y la curva dada por la siguiente figura
(z + a2 )2
2

b
ia

R 0 R
i
es decir, = [R, R] {e : 0 } con R > a. Por el Teorema
de los Residuos
Z
f (z)dz = 2iRes (f, ) .

Observe que
Z Z R Z
dx iRei
f (z)dz = + d .
R (x + a2 )2
2
0 (R2 e2i + a2 )2

46 Singularidades

Tenemos que

Z i

iRe
|I2 | =

2 2i 2 2
d
(R e + a )


0
Z
R R R
2 2i 2 2
d 2 2 )2
0 .
0 |R e + a | (R a
Ahora bien, f (z) = (z )2 (z )2 y considere la aplicacion
1
g(z) = (z )2 f (z) = (z)2 entonces

2(z ) 2
g (z) = 4
= ,
(z ) (z )3
lo que implica que
2 1
Res (f, ) = lm g (z) = 3
= .
z ( ) 4ia3
Por lo tanto,
Z
dx 2i
= Res (f, ) = 3 .
(x2 2
+a ) 2 2 4a
0

(b) Considere la funcion logaritmo : C en la region



= z C : z 6= 0 y 2 < arg z < 3 2 .

Observe que si x > 0 entonces (x) = log x y que si x < 0 entonces


(x) = log |x| + i. Sea la curva dada por la figura
Por el Teorema de los Residuos
Z
(z)3
dz = 2iRes (f, i) .
1 + z2

Ademas,
Z Z Z r
(z)3 (Rei )3 i (x)3
dz = iRe d + dx
1 + z2 0 1+R e
2 2i
R 1 + x
2

Z 0 Z R
(rei )3 (x)3
+ 2 e2i
irei d + dx
1 + r r 1 + x2
= I1 + I2 + I3 + I4 .

Note que
Z r Z R
(log |x| + i)3 log x3
I2 + I3 = dx + dx
R 1 + x2 r 1+x
2
Z R Z R
log x3 log x2
= 2 2
dx + 3i 2
dx
r 1+x r 1+x
Z R Z R
log x 3 dx
3 2
dx i 2
.
r 1+x r 1+x
Residuos 47

Cuando r 0 y R se sabe que


Z Z
log x dx
2
dx = 0 y 2
= .
0 1+x 0 1+x 2
Faltara determinar el valor de una de las integrales, afirmamos que
Z
log x2 3
dx = .
0 1 + x2 8
Se sigue que
Z
R log x3 1
I2 + I3 2 dx i 4 .
r0 0 1 + x2 4
FALTA
eiaz
(c) Sean f (z) = y el camino dado por la figura
(1 + z 2 )2

b
i

R 0 R
con R > 1. Entonces
Z Z i Z R
eiaRe i cos ax + i sen ax
f (z)dz = 2 2i
iRe d + dx
0 1+R e R (1 + x2 )2

Por el Teorema de los Residuos


Z
f (z)dz = 2iRes (f, i) . (4)

eiaz
Sea g(z) = (z i)2 f (z) = entonces
(z + i)2
iaeiaz (z + i)2 eiaz 2(z + i) ia(z + i) 2
g (z) = = eiaz .
(z + i)4 (z + i)3
Luego,
2a 2 (a + 1)ea
Res (f, i) = ea = .
(2i)3 4i
Por lo tanto,
Z
(a + 1)ea
f (z)dz = .
2

Notemos que
Z Z aR sen
eiaRei iRei e R

2 2i 2
d 2 2
d
0 (1 + R e ) 0 (R 1)
R
0 .
(R 1)2
2
48 Singularidades

Hemos usado la desigualdad de Jordan


Z

eaR sen d < .
0 R

Tomando parte real a ambos lados de (4) y haciendo R obte-


nemos
Z
cos ax (a + 1)ea
dx = .
0 (1 + x2 )2 4
1
(d) Sea z = ei entonces z = z luego
!
i ei 2
  1 2
e z
a + sen2 = a + =a+ z
2i 2i
 
1 z 1 2 4az z 2 + 2z 1
= a =
4 z 4z
z 2 + (2 + 4a)z 1
= .
4z
Luego,
Z /2 Z
d 1 4z dz
=
0 a + sen2 4 2
z + (2 + 4a)z 1 iz

Z
dz
= i 2
.
z (2 + 4a)z + 1

Las races de z 2 (2 + 4a)z + 1 son



(2 + 4a) 4 + 16a + 16a2 4 p
z= = 1 + 2a 2 a(a + 1)
2
p
y es claro que = 1 + 2a 2 a(a + 1) satisface || < 1. Por el
Teorema de los Residuos
Z
dz
2
= 2iRes (f, ) ,
z (2 + 4a)z + 1

donde
1 1
Res (f, ) = = p .
4 a(a + 1)
Por lo tanto,
Z /2
d 1
2
= i(2i) p = .
0 a + sen 4 a(a + 1) 2[a(a + 1)]1/2

(e) Sean 0 < < 1 < R y la curva dada por la figura


Residuos 49

Sea log z el brazo del logaritmo que no posee el eje imaginario nega-
tivo. Entonces,
Z Z Z
f (z)dz = f (Rei )iRei d + f (x)dx
0 R

Z 0 Z R
+ f (ei )iei d + f (x)dx .

Por el Teorema de los Residuos
Z
f (z)dz = 2iRes (f, i) .

log z z+i2 log z(z+i)


Sea g(z) = (z i)2 f (z) = (z+i)2
entonces g (z) = (z+i)4
luego

2i 2i(log |i| + i 2 ) 1 i 2
Res (f, i) = = .
i(2i)3 4i
Por lo tanto,
Z
(i 2 1)  
f (z)dz = 2i = i 1 .
4i 2 2

Notemos que
Z Z R Z R Z R
log |x| + i log x
f (x)dx + f (x)dx = dx + dx
R (1 + x2 )2 (1 + x2 )2
Z R Z R
log x dx
= 2 2 2
dx + i
(1 + x ) (1 + x2 )2
Z Z
R log x dx
2 2 2
dx + i .
0 0 (1 + x ) 0 (1 + x2 )2
Ademas,
Z Z
i i
| log R + i| R
f (Re )iRe d
d

0 0 (R2 1)2
R log R R R
2 2
+ 0 .
(R 1) 2(R2 1)2
Similarmente, se tiene que
Z 0 Z 0
i i
| log i|
f (e )ie d
d

(2 1)2
log 0
2 2
+ 0 .
( 1) 2( 1)2
2

Tomando parte real y haciendo 0 y R se obtiene que


Z
log x
2 2
dx = .
0 (1 + x ) 4
(f) Sean R > 1, f (z) = (1 + z 2 )1 y la curva dada en la figura
50 Singularidades

b
i

R 0 R
Por el Teorema de los Residuos
Z
1
f (z)dz = 2iRes (f, i) = 2i = .
2i

Por otro lado,


Z Z Z R
i i dx
f (z)dz = f (Re )iRe d + .
0 R 1 + x2

Observe que
Z Z
i i
R R
f (Re )iRe d d 0 .

0 0 R2 1
Haciendo R obtenemos
Z
dx
2
= .
0 1+x 2
(g) Sea u = ex entonces du = ex dx = udx entonces
Z Z Z a1
eax ua du t
I= x
dx = = dt .
1 + e 0 1+u u 0 1+t
Como 0 < a < 1 entonces 0 < 1 a < 1. Sea a 1 = c entonces
0 < c < 1. Por ejemplo 2.12. sabemos que
Z a1 Z c
t x
I= dt = dx = = = .
0 1 + t 0 1 + x sen c sen( a) sen(a)
3.
4. Suponga que f tiene un polo simple en z = a y sea g una funcion analti-
ca en un conjunto abierto que contiene a a. Demuestre que Res (f g; a) =
g(a)Res(f ; a).

Solucion. En una vecindad V de a el desarrollo en serie de potencias


para f y g es
Res (f, a)
f (z) = + a0 + a1 (z a) + a2 (z a)2 +
za
g(z) = g(a) + b1 (z a) + b2 (z a)2 +

Entonces, f (z)g(z) = g(a)Res


za
(f,a)
+ h(z) donde h es una funcion analtica
en V . Por lo tanto, Res (f g; a) = g(a)Res(f ; a).
Residuos 51

5. Use el Ejercicio 4, para demostrar que si G es una region y f es analtica en


G excepto para polos simples a1 , . . . , an ; y si g es analtica en G entonces
Z n
1 X
fg = n(; ak )g(ak )Res (f, ak )
2i
k=1

para cualquier curva cerrada rectificable que no pasa por a1 , . . . , an tal


que 0 en G.

Solucion. En alguna vecindad de ak para k = 1, 2, . . . , n digamos B(ak ; )


podemos escribir
Res (f, ak )
f (z) = + a0,k + a1,k (z ak ) + a2,k (z ak )2 +
z ak
g(z) = g(ak ) + b1,k (z ak ) + b2,k (z ak )2 + .
g(ak )Res (f,ak )
Luego, f (z)g(z) = zak + hk (z) donde hk es analtica en B(ak ; ).
n
X g(ak )Res (f, ak )
Se sigue que h(z) = f (z)g(z) es analtica en G y
z ak
Z k=1
1
luego h(z)dz = 0. Entonces
2i

Z n
Z X
1 1 g(ak )Res (f, ak )
f (z)g(z)dz = dz
2i 2i z ak
k=1

n Z
1 X dz
= g(ak )Res (f, ak )
2i z ak
k=1
n
1 X
= g(ak )Res (f, ak ) 2in(; ak )
2i
k=1
n
X
= n(; ak )g(ak )Res (f, ak ) .
k=1

6. Sea el camino rectangular [n + 12 + ni, n 12 + ni, n 12 ni, n 12


R
ni, n 12 + ni] y evalue la integral (z + a)2 cot zdz para a 6= un entero.
Z
Demuestre que lm (z+a)2 cot zdz = 0 y, usando la primera parte,
n
deduzca que

2 X 1
= .
sen a n= (a + n)2
2

Solucion.
7. Use el Ejercicio 6 para deducir que

2 X 1
= .
8 (2n + 1)2
n=0
52 Singularidades

1
X 1 X 1
Solucion. Notemos que 2
= y se tiene que
n=0
(2n + 1) n=
(2n + 1)2

X 1 1 X 1
2
= .
n=0
(2n + 1) 2 n= (2n + 1)2
Captulo 6

El Teorema del Modulo Maximo

1. El Principio del Maximo

1. Pruebe el siguiente Principio del Mnimo. Si f es una funcion analtica


no constante sobre un conjunto abierto G acotado y es continua sobre G,
entonces f tiene un cero en G o |f | asume su mnimo valor sobre G.

1
Solucion. Si f no tiene ceros en G, la funcion es analtica en G y
f
por el principio del maximo

1
max 1 ,
f (z) zG z G

|f (z)|
si y solo si
mn |f (z)| |f (z)| , z G.
zG

2. Sea G una region acotada y suponga que f es continua en G y analtica


sobre G. Demuestre que si existe una constante c 0 tal que |f (z)| = c
para todo z G entonces f es una funcion constante o bien f tiene un
cero en G.

Solucion. Si f no tiene ceros aplicando el principio del maximo y del


mnimo se tiene que

c = mn |f (z)| |f (z)| max |f (z)| = c


zG zG

lo que implica que |f (z)| = c para todo z G. Se sigue que f (z) = c


con || = 1, para todo z G.

3. (a) Sea f entera no-constante. Para cualquier numero real c demuestre


que la clausura de {z : |f (z)| < c} es el conjunto {z : |f (z)| c}.
(b) Sea p un polinomio no constante y demuestre que cada componente
de {z : |p(z)| < c} contiene un cero de p.
(c) Si p es un polonimio no constante y c > 0 demuestre que {z : |p(z)| =
c} es la union de un numero finito de caminos cerrados. Discuta el
comportamiento de estos caminos cuando c .
Solucion.
53
54 El Teorema del Modulo Maximo

(a) Sabemos que X = X X , X = {z : |f (z)| < c}. Como f es entera no


constante, f (C) es denso en C. Luego, existe una sucesion {zn }
n=1
1
X tal que |f (zn )| = c n y pot la continuidad de f
 

c = lm |f (zn )| = f lm zn = |f (z0 )| ,
n n

lo que implica que z0 X con |f (z0 )| = c. Por lo tanto, X = {z :


|f (z)| c}.
(b) Sea G = {z : |p(z)| < c} entonces G = {z : |p(z)| c}, se sigue que
G{z : |p(z)| = c}. Por el problema 2, como p es un polinomio no
constante, p tiene un vero en G en cada componente conexa.
(c) Es claro que G = {z : |p(z)| = c} es un curva. Supongamos que G
es una union infinita de curvas, entonces en el interior de cada curva p
tiene un cero, segun lo probado en (b). Luego, p tiene infinitos ceros.
Por otro lado, como lm |p(z)| = se tiene que para cada > 0
z
existe M > 0 tal que |p(z)| para todo |z| M . En particular,
para = c + 1,

|p(z)| c + 1 , |z| M .

Se sigue que los ceros de p estan todos contenidos en el disco B(0, M ),


como este conjunto es compacto, los ceros de p, tienen un punto de
acumulacion y por el principio de identidad p(z) 0 lo cual es una
contradiccion.

4. Sean 0 < r < R y A = {z : r |z| R}. Demuestre que existe un


numero positivo > 0 tal que para todo polinomio p,

sup{|p(z) z 1 | : z A} .

Esto dice que z 1 no es el lmite uniforme de polinomios en A.

Solucion. Sean z1 , . . . , zn los ceros de p y R > 0 tal que R 6= |zk | para


todo k = 1, . . . , k. Consideremos

M = sup |zp(z) 1| .
|z|=R

Entonces, si M < 1 entonces

|zp(z) 1| < 1 , sobre |z| = R .

Por el Teorema de Rouche, zp(z) y 1 tienen la misma cantidad de ceros


en {|z| < R}. Luego, zp(z) no tiene ceros en {|z| < R}, lo cual es una
contradiccion con que zp(z) tiene un cero en z = 0. Luego, necesariamente
M 1. Observe que si R = |zk | para algun k, sea > 0 tal que R 6=
El Principio del Maximo 55

|zk |. Si suponemos que MR = sup |zp(z) 1| < 1, por el principio del


|zk |=R
maximo se obtiene que MR MR < 1 lo cual contradice lo anterior.
Por lo tanto, M 1.
Ahora bien, sea z A entonces |z| R R1 |z|
1
, luego

|zp(z) 1|
sup |p(z) z 1 | = sup
zA zA |z|
1
sup |zp(z) 1|
R zA
M 1
= = >0.
R R
5. Sea f analtica sobre B(0, R) con |f (z)| M para |z| R y |f (0)| = a >
0. Demuestreque el numero de ceros de f en B(0, 13 R) es menor o igual
1 M
que log .
log 2 a

Solucion. Sean z1 , . . . , zn los ceros de f en B(0, 13 R) y considere la fun-


cion analtica
" n  #1
Y z
g(z) = f (z) 1 .
zk
k=1

Note que g(0) = f (0). Observe que para |z| = R se tiene que
n
Y
" #1 M |zk | 1
Yn
z n
M Rn M
|g(z)| = |f (z)| 1 n k=1 3
 n = n .
zk Y 2 2
k=1 |zk z| Rn
3
k=1

Sabemos que
Z
1 g(z)
g(0) = dz ,
2i z
|z|=R

entonces
Z 2 Z 2
1 |g(Rei )| 1 M
a = |g(0)| i
|iRei |d = |g(Rei )|d ,
2 0 |Re | 2 0 2n
 
M 1 M
es decir, 2n lo que implica que n log .
a log 2 a

6. Suponga que ambas f y g son analticas en B(0, R) con |f (z)| = |g(z)|


para |z| = R. Demuestre que si f ni g se anulan en B(0, R) entonces
existe una constante , || = 1, tal que f = g.
56 El Teorema del Modulo Maximo

Solucion. Considere la funcion h = f /g entonces h es analtica en


B(0, R) y no tiene ceros. Para |z| = R tenemos que
|f (z)|
|h(z)| = =1.
|g(z)|
Por problema 2, h es constante o tiene un cero en B(0, R), como h no
tiene ceros implica que h(z) = con || = 1. Por lo tanto, f = g.

7. Sea f analtica en el disco B(0, R) y para 0 r < R defina A(r) =


max Ref (z). Demuestre que a menos que f sea constante, A(r) es una
|z|=r
funcion estrictamente creciente de r.

Solucion. Primero observe que la aplicacion proyeccion : R R R


dada por (x, y) = x es abierta. Luego, si f es analtica no constante, por
el Teorema del mapeo abierto, f es abierta entonces

h = f = Ref es abierta . (5)

Afirmamos que h satisface el principio del maximo, esto es, si h(a)


h(z) para todo z B(0, R) entonces h es constante. En efecto, seam
= h(B(0, R)) y = h(a). Por hipotesis, || || para todo
entonces
.
En particular, no es abierto y por (5) se sigue que f es constante lo
que implica que h es constante.
Por lo tanto,
max Ref (z) A(r) .
|z|r
Ahora bien, si r1 < r2 tenemos que

A(r1 ) = max Ref (z) = max Ref (z)


|z|=r1 |z|r1

max Ref (z) = max Ref (z) = A(r2 ) .


|z|=r2 |z|=r2

Esto prueba que A(r) es creciente. Supongamos que A(r) es constante en


el anillo {r1 < |z| < r2 } entonces h mapea el anillo sobre un conjunto
cerrado, lo cual contradice que h es abierta. Por lo tanto, A(r) es una
funcion estrictamente creciente.

8. Suponga que G es una region, f : G C es analtica, y M es constan-


te tal que cuando z esta sobre G y {zn } es una sucesion en G con
z = lm zn tenemos que lm sup |f (zn )| M . Demuestre que |f (z)| M ,
paa cada z G.
El Lema de Schwarz 57

Solucion. Dado a G para todo sucesion {zn } con lm zn = a se


tiene que
lm sup |f (zn )| M .
n

Se sigue que lm sup |f (z)| M , lo cual implica segun la tercera version


za
del modulo maximo que |f (z)| M para todo z G.

2. El Lema de Schwarz

1. Suponga que |f (z)| 1 para |z| < 1 y f es analtica. Considerando la


funcion g : D D definida por
f (z) a
g(z) =
1 af (z)
donde a = f (0), pruebe que
|f (0)| |z| |f (0)| + |z|
|f (z)|
1 + |f (0)||z| 1 |f (0)||z|
para |z| < 1.

Solucion. Sabemos que a : D D dada por


za
a (z) =
1 az
son automorfismos del disco unitario D. Notemos que g = a f : D D
y satisface g(0) = a (f (0)) = 0. Por el Lema de Schwarz

|g(z)| |z| , z D.

Es decir, para cada z D tenemos que



f (z) a
1 af (z) |z| |f (z) a| |z||1 af (z)| .

Luego,

|f (z)| |a| |f (z) a| |z||1 af (z)| |z|(1 + |af (z)|)


|a| + |z|
|f (z)|(1 |az|) |a| + |z| |f (z)| , z D .
1 |a||z|
Ademas, para cada z D se tiene que

|a| |f (z)| |a f (z)| |z||1 af (z)| |z|(1 + |af (z)|)


|a| |z|
|a| |z| |f (z)|(1 + |a||z|) |f (z)| , z D.
1 + |a||z|
58 El Teorema del Modulo Maximo

1
 3 1

2. Existe una funcion analtica f : D D con f 2 = 4 y f 2 = 23 ?

 
Solucion. Supongamos que existe f : D D con f 12 = 34 y f 12 = 23 .
Sean = f (1/2) y = 1/2 y considere los automorfismos , : D
D definidos por

z 1 ||2
(z) = con (z) = .
1 z (1 z)2

Entonces, F = f : D D es analtica y satisface F (0) = 0. Por


el Lema de Schwarz, |F (0)| 1 y por la regla de la cadena se tiene que
 
1
F (0) = () f (0)
2
1 2
= 2
(1 ||2 )
1 || 3
 
1 2 1 8
= 9 3 1 4 = >1.
1 16 7

La ultima desigualdad contradice el Lema de Schwarz, por lo tanto no


existe una tal f .
3. Suponga que f : D C satisface Ref (z) 0 para todo z D y suponga
que f es analtica y no constante.
(a) Demuestre que Ref (z) > 0 para todo z D.
(b) Usando una transformacion de Mobius apropiada, aplique el Lema
de Schwarz para probar que si f (0) = 1 entonces

1 + |z|
|f (z)|
1 |z|

para |z| < 1. Que puede decir si f (0) 6= 1?


(c) Demuestre que si f (0) = 1, f tambien satisface

1 |z|
|f (z)| .
1 + |z|

Solucion.
(a) Por el Teorema del mapeo abierto, como f es analtica y no constante,
implica que f es abierta. Se sigue que necesariamente si Ref (z) 0
implica que Ref (z) > 0, de lo contrario existira un subconjunto
abierto de D con f (D) no abierto.
(b) Considere la transformacion de Mobius T : {z : Re z > 0} D dada
por
z1
T (z) = .
z+1
El Lema de Schwarz 59

Luego, g = T f : D D y satisface g(0) = T (f (0)) = T (1) = 0. Por


el Lema de Schwarz, |g(z)| |z| para todo z D, es decir,

f (z) 1
f (z) + 1 |z| |f (z) 1| |z||f (z) + 1| .

Entonces, para cada z D

|f (z)| 1 |f (z) 1| |z||f (z) + 1| |zf (z)| + |z|


|f (z)|(1 |z|) 1 + |z|
1 + |z|
|f (z)| , z D.
1 |z|

Ahora bien, si f (0) = a 6= 1 con a R, podemos considerar Ta : {z :


za
Re z > 0} D dada por Ta (z) = luego g = Ta f : D D con
z+a
g(0) = Ta (a) = 0. Aplicando el Lema de Schwarz, ff (z)a

(z)+a |z| para
todo z D . Lo que implica que

|a| + |z|
|f (z)| , z D.
|a| |z|

(c) Como Re f (z) > 0 para todo z D, se sigue que f (z) 6= 0 para todo
z D, luego la funcion f1 es analtica en D y satisface

  ( )
1 f (z) 1
Re = Re = Re {f (z)} > 0 .
f (z) |f (z)|2 |f (z)|2

1 1 1+|z|
con f (0) = 1. Por parte (b) se tiene que |f (z)| 1|z| para todo z D,
lo que es equivalente a que

1 |z|
|f (z)| , z D.
1 + |z|

4. Pruebe la desigualdad de Caratheodory. Sean f analtica sobre B(0, R)


y M (r) = max |f (z)|, A(r) = max Ref (z), entonces para 0 < r < R, si
|z|=r |z|=r
A(r) 0,
R+r
M (r) [A(r) + |f (0)|] .
Rr
Solucion. Supongamos inicialmente que f (0) = 0 y considere g : D C
dada por
f (Rz)
g(z) = .
2A(R) + f (Rz)
60 El Teorema del Modulo Maximo

Notemos que g(0) = 0, pues f (0) = 0. Ademas, |g(z)| 1, para todo


z D. Por el Lema de Schwarz, |g(z)| |z| para todo z D, es decir,

|f (Rz)| |z||2A(R) + f (Rz)| 2|z|A(r) + |z||f (Rz)|


2|z|
|f (Rz)| A(R)
1 |z|
1 + |z|
|f (Rz)| A(R)
1 |z|
z
para todo z D. Haciendo = D obtenemos que
R
R + |z|
|f (z)| A(R) .
R |z|
Tomando maximo sobre |z| = r se obtiene que
R+r
M (r) A(R) .
Rr
5. Sea f analtica en D y suponga que |f (z)| M para todo z D.
(a) Si f (zk ) = 0 para 1 k n, demuestre que
n
Y |z zk |
|f (z)| M
|1 zk z|
k=1

para |z| < 1.


(b) Si f (zk ) = 0 para 1 k n, cada zk 6= 0, y f (0) = M ei (z1 z2 zn ),
hallar una formula para f .
Solucion.
(a) Considere la aplicacion
f (z)
g(z) = n .
Y z zk
1 zk z
k=1

Para |z| = 1 se tiene que


|f (z)| M
|g(z)| = n n
M.
Y z zk Y
|zk (z)|
1 zk z k=1
| {z }
k=1 1

Por el Principio del Maximo, |g(z)| M para todo z D, se sigue


que
n
Y |z zk |
|f (z)| M
|1 zk z|
k=1

para |z| < 1.


El Lema de Schwarz 61

(b) Note que la funcion g definida en (a) no tiene ceros, ya que cada cero
del numerador se cancela con un cero de las funciones zk . Luego,
la funcion 1g es analtica y por el principio del mnimo (Problema 1,
seccion anterior) g asume su mnimo valor en |z| = 1. Lo que implica,
segun lo probado en (a) que |g(z)| = M . Luego,
n
Y z zk
f (z) = M ei .
1 zk z
k=1

6. Suponga que f es analtica en una region que contiene a B(0, 1) y |f (z)| =


1 cuando |z| = 1. Hallar una formula para f

Solucion. Notemos que f tiene un numero finito de ceros, pues si tu-


viera infinitos, como estan contenidos en un conjunto compacto habra
un punto de acumulacion z0 con |z0 | =6 1 y por el principio de identidad
f 0, lo cual es absurdo pues |f (z)| = 1 cuando |z| = 1. Sean z1 , . . . , zn
los ceros de f y aplicando el principio del maximo se tiene que |f (z)| 1.
Por problema anterior, obtenemos que
n
i
Y z zk
f (z) = e .
1 zk z
k=1

7. Suponga que f es analtica en una region conteniendo B(0, 1) y |f (z)| = 1


cuando |z| = 1. Suponga que f tiene un cero simple en z = 14 (1 + i) y un
cero doble en z = 12 . Puede f (0) = 12 ?

Solucion. Por el problema anterior se tiene que f es de la forma


!2
1
i z 4 (1 + i) z 12
f (z) = e
1 14 (1 i)z 1 12 z
para todo z D. Entonces,
   2
i 1 1
f (0) = e (1 + i) .
4 2
1

Note que |f (0)| = 16 2 6= 12 . Se deduce que f (0) no puede ser igual a 12 .
8. Existe una funcion f sobre D tal que |f (z)| < 1 para |z| < 1, f (0) = 12
y f (0) = 34 ? Si es cierto, hallar una tal f . Es unica?

z 12 1
Solucion. Basta considerar f (z) = entonces f (0) = 2 y f (z) =
1 12 z
1 14
2 , luego f (0) = 34 .
(1 12 z )

También podría gustarte