John B.

Conway

Funciones de Una Variable Compleja

Segunda Edici on

con 30 Ilustraciones

Springer-Verlag New York Berlin Heidelberg Tokyo

Cap tulo 1

El Sistema de N umeros Complejos

2. El cuerpo de n umeros complejos 1. Hallar la parte real e imaginaria de cada uno de los siguientes: 3 1 za 3 + 5i 1 + i 3 3 ; (a R); z ; ; ; z z+1 7i + 1 2 1 i 3 2 Soluci on. 1 z
6

in ;

1+i 2

para 2 n 8. 1 z x , + y2

Tenemos que Im

1 1 x iy = = 2 entonces Re z x + iy x + y2 y = 2 . x + y2 (x a) + iy (x + a) iy (x + a) + iy (x + a) + iy

x2

Notemos que za z+a = = = = Por lo que, Re Observe que

(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
z a z +a

x2 +y 2 a2 (x+a)2 +y 2

y Im

z a z +a

2ay (x+a)2 +y 2

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

El Sistema de N umeros Complejos i 19 3+5i 8 entonces Re 3+5 7i+1 = 25 y Im 7i+1 = 25 . Observe que 3 1 + 3i 3 3(i 3)2 + (i 3)3 1 + i 3 = 2 8 1 + 3 3i + 3(3) 3i 8 + 2 3i = = , 8 8

por lo que Re Tenemos que 6 1 i 3 = 2

3 1+i 3 2

= 1 y Im

3 1+i 3 2

3 4

1 [(1)6 + 6(1)5 (i 3) + 15(1)4 (i 3)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 1i 3 2

entonces Re

5 32

y Im

6 1i 3 2

=0.

Observe que 1 1 in = i i entonces

n

si si si si

n = 4k o n = 0 n = 4k 2 n = 4k + 1 n = 4k 1

con

kN

Es sencillo ver calcular que 8 = 7 = 1+i 2 1+i 2

8

1 si n = 4k o n = 0 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 =

7

1 16

Re{8 } =

1 , 16

Im{8 } = 0 ;

=0

Re{7 } = 0 = Im{7 } ;

El cuerpo de n umeros complejos

6 = 5 = 4 = 3 = 2 =

1+i 2 1+i 2 1+i 2 1+i 2

=
5

i 8

Re{6 } = 0,

Im{6 } =

1 ; 8

1+i = 32 = 1 4

1 Re{5 } = = Im{5 } ; 32 Im{4 } = 0 ;

1 Re{4 } = , 4

=0

Re{3 } = 0 = Im{3 } ;

1+i 2 i 1 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); ; ; i+3 2 + 3i (1 + i)6 ; i17 . Soluci on. 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+9 11 2 + 3i entonces 3i 1 (3 i)( 2 3i) = 11 2 + 3i 1 1 = (3 i) ( 2 3i) = (3 + i)( 2 + 3i) 11 11 y adem as
3i 2+3i

|3i| | 2+3i|

9+1 2+9

10 11 . i i+3

i i = 3 i = i 3 . Usando propiedades tenemos que 6

Usando las propiedades se tiene que

i i+3

1 1+10

1 10

i i+3

|(1 + i)6 | = |1 + i|6 =

2 = 23 = 8 .

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 n umero real si y s olo si z = z . Soluci on. Observe que si z = x + iy R si y s olo si y = 0 lo que es equivalente a 2iy = 0 iy = iy x + iy = x iy z = z .

El Sistema de N umeros Complejos

4. Si z y w son n umeros 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 ) Soluci on. 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 = |z |2 2 Re zw + |w|2 .

= (x2 + y 2 ) 2(xa + yb) + (a2 + b2 ) Adem as, |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 inducci on para probar que para z = z1 + + zn ; w = w1 w2 wn : |w| = |w1 | |wn |; z = z1 + + zn ; w = w1 wn .

n

Soluci on. Si zj = xj + iyj , j = 1, . . . , n entonces z =

j =1

(xj + iyj )

luego
n n n

z=
j =1

(xj + iyj ) =
j =1

(xj + iyj ) =
j =1

(xj iyj ) = z1 + z2 + + zn .

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

Por inducci on 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 funci on racional de z . Demuestre que R(z ) = R(z ) si todos los coecientes en R(z ) son reales. Soluci on. 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 coecientes reales tenemos que R(z ) = P (z ) P (z ) = = R(z ) . Q(z ) Q(z )

3. El plano complejo 1. Pruebe ||z | |w|| |z w| y de una condici on necesaria y suciente para la igualdad.

El Sistema de N umeros Complejos

Soluci on. 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 condici on necesaria y suciente 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| . Rec procamente, si ||z | |w|| = |z w| entonces el tri angulo de v ertices es igual a la diferencia de z , w y (0, 0) es tal que la distancia del lado zw los lados z 0 y w0 z |z | w |w| |z w|

Luego, z, w y (0, 0) son colineales entonces z, w son linealmente dependientes, por lo tanto z = rw con r R. 2. Demuestre que ocurre la igualdad zk 0 para cualquier k, l, 1 k, l n con zl = 0. zl z Soluci on. 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 si y s olo si (ya xb) = 0 y Re{zw } = |zw | (xa + yb) 0 |z1 + z2 + + zn | = |z1 | + |z2 | + + |zn |

El plano complejo

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 inducci on sobre n se obtiene el resultado pedido. 3. Sea a R y c > 0 jo. 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 rotaci on del plano, describa los puntos que satisfacen la ecuaci on de arriba. Soluci on. 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} = {z : (x r )2 + (y s)2 = = {z : xr + ys = 0} = {z : z a} . Caso 3. Si 0 < c < a Notemos que la ecuaci on |z a| |z + a| = 2c es equivalente a (x a)2 + y 2 + (x + a)2 + y 2 2 (x a)2 + y 2 (2x2 + 2a2 + 2y 2 4c2 )2 = (x a)2 + y 2 (x + a)2 + y 2 = 2c (x + a)2 + y 2 = 4c2

(x + r )2 + (y + s)2 }

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

4((x a)2 (x + a)2 + (x a)2 y 2 + (x + a)2 y 2 + y 4 ) 4((x2 2xa + a2 )(x2 + 2xa + a2 ) + 2x2 y 2 + 2a2 y 2 + y 4 )

10

El Sistema de N umeros Complejos

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

x4 + 2x2 a2 + a4 + 2(x2 a2 )(y 2 2c2 ) + y 4 4y 2 c2 + 4c4 = 4x2 a2 + 2(x2 y 2 2x2 c2 + y 2 a2 2a2 c2 ) 4y 2 c2 + 4c4 = 2x2 y 2 + 2a2 y 2 x4 2x2 a2 + a4 + 2x2 y 2 + 2a2 y 2 + y 4

x4 2x2 a2 + a4 + 2x2 y 2 + 2a2 y 2 + y 4

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 ecuaci on representa una par abola centrada en el origen. Caso 4. Si c = a La ecuaci on |z a| |z + a| = 2c equivale a (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 = (x a)2 + y 2 (x + a2 + y 2 = 2a

(x2 + y 2 )2 2a2 (x2 + y 2 ) + a4 = 0 x2 + y 2 = a2 |z | = a . (x2 + y 2 a2 )2 = 0

x4 2x2 y 2 y 4 + 2a2 x2 + 2a2 y 2 a4 = 0

2x4 4x2 a2 + 2a4 + 4x2 y 2 + 4a2 y 2 + 2y 4

Luego, {z C : |z a| |z + a| = 2c} = {z C : |z | = a} un c rculo centrado en 0 y de radio a.

4. Representaci on polar y ra ces de n umeros complejos 1. Hallar las raices sexta de la unidad. Soluci on. Las ra ces sexta de la unidad son los n umeros complejos que 6 satisfacen z = 1 y se sabe que son dadas por e2ki/6 , y son dadas por e0 = 1 3 ei/3 = 1 2 + i 2 ei = 1 4 i/ 3 e = 1 i 23 2 e5i/3 =
1 2

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

e2i/3 = 1 2 +i

3 2

3 2

Representaci on polar y ra ces de n umeros complejos

11

2. Calcule lo siguiente (a) La raiz cuadrada de i (b) La raizc ubica de i (c) La raiz cuadrada de 3 + 3i Soluci on. (a) i = cos entonces (b) i = cos entonces i
1/3

2 2 + i sin = cos + i sin = cos + i sin 2 2 4 4 4 4 2 2 +i . i = cos + i sin = 4 4 2 2 + i sin = cos + i sin 2 2 6 6 =
3

3 1 +i . 2 2 (c) Tenemos que | 3 + 3i| = 3 + 9 = 12, adem as 3 (1, 0), ( 3, 3) 1 cos = = = = 2 3 |(1, 0)||( 3, 3)| 12 entonces 3 + 3i = 12 cos + i sin 3 3 ( 3 + 3i)1/2 = (12)1/4 cos + i sin 6 6

= (12)

1/4

3 1 +i 2 2

3. Una ra z n- esima primitiva de la unidad es un n umero complejo a tal que 2 n 1 son distintas n ra ces de la unidad. Demuestre que si a 1, a, a , . . . , 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 alg un entero k. Cu al es el valor de k m as peque no? Soluci on. Sea k = n m entonces (ab)k = (ab)nm = (an )m (bm )n = (1)m (1)n = 1 . El valor m as peque no de k ocurre cuando k es el m nimo com un multiplo de m y n.

12

El Sistema de N umeros Complejos

4. Use la ecuaci on binomial

n

(a + b)n =
k =0

n n k k a b k

donde n k = n! k!(n k)!

y compare la parte real e imaginaria de cada de la f ormula de Moivre obteniendo las f ormulas cos n = cosn sin n = n n cosn2 sin2 + cosn4 sin4 + 2 4 n n cosn3 sin3 + cosn1 sin 3 1

Soluci on. Notemos que

n

cos(n ) + i sin(n ) = (cos + i sin ) =

k =0

n cosnk sink (ik ) . k

Como para k par Im{ik } = 0 y para k impar Re{ik } = 0 entonces separando en parte imaginaria y real se obtienen las ecuaciones buscadas. 5. Sea z = cos 2 2 + i sin para n 2. Demuestre que 1+ z + + z n1 = 0. n n

Soluci on. Consideremos p(x) = xn 1 un polinomio en C, observemos que p(z ) = z n 1 = cos 2 2 + i sin n n
n

1 = cos 2 + i sin 2 1 = 0 ,

entonces z es ra z de p(x), por otro lado p(x) = (x 1)(xn1 + xn2 + + x + 1) . Como z no es ra z del factor x 1 entonces z debe ser ra z del segundo factor de arriba, es decir, z n1 + z n2 + + z + 1 = 0, n 2.

6. Demuestre que (t) = cis t es un homomorsmos de grupos del grupo aditivo R sobre el grupo multiplicativo T = {z : |z | = 1}.

L neas y semi-planos en el plano complejo

13

Soluci on. Es claro que : R T y adem as (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 homomorsmo. 7. Si z C y Re(z n ) 0 para todo entero positivo n, demuestre que z es un n umero real no negativo. Soluci on. 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. L neas y semi-planos en el plano complejo 1. Sea C el c rculo {z : |z c| = r }, r > 0. Sea a = c + r cis y ponemos L = z : Im za b =0

donde b = cis . Hallar condici on necesaria y suciente en t erminos de tal que L sea tangente a C en a. Soluci on. Tenemos que C = {z : |z c| = r } = {z : (x c1 )2 + (y c2 )2 = r 2 } . Sea f : R C dada por f (x) = f (x) = r 2 (x c1 )2 + c2 entonces r 2 (x c1 )2 x c1 .

Consideremos a = (a1 , a2 ) = (c1 + r cos , c2 + r sin ) entonces f (a1 ) = r cos cos 1 = = , sin tan r 2 r 2 cos2

14

El Sistema de N umeros Complejos

entonces L = {z = a + tf (a1 ) : t R} lo que implica que b = f (a1 ) 1 por lo tanto cis = tan .

6. El plano extendido y la representaci on esf erica 2|z z | 1. d(z, z ) = , z, z C. Probar que [(1 + |z |2 )(1 + |z |2 )]1/2 d(z, ) = Soluci on. Notemos que |z z |2 |z |2 2 Re zz + |z |2 = 1 + |z |2 1 + |z |2 entonces |z z |2 = l m |z | 1 + |z |2 |z |2 l m Luego d(z, ) = = =
|z |

2 (1 + |z |2 )1/2

|z |2 2Rezz + +1 |z |2 |z |2 =1 1 +1 |z |2

l m d(z, z ) 2 1 + |z |2 2 1 + |z |2 l m |z z |

|z |

1 + |z |2

2. Para cada uno de los siguientes puntos en C, dar el correspondiente punto en S : 0, 1 + i, 3 + 2i. Soluci on. Consideremos : C S dada por (z ) = z + z i(z z ) |z |2 1 , , |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 representaci on esf erica

15

3. Qu e subconjunto de S corresponde el eje real e imaginario de C? Soluci on. Consideremos A, B S 2 dados por B = {(x, y, z ) S 2 : x2 + z 2 = 1, A = {(x, y, z ) S 2 : y 2 + z 2 = 1, x = 0} , y = 0} .

Entonces, (R) = B y (iR) = A. En efecto, si z = x R entonces 2 1 2x (z ) = x2 y como , 0, x +1 x2 +1 2x 2 x +1

2

x2 1 x2 + 1

= = =

4x2 x4 2x2 + 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 (z ) = 0, 2y y2 1 , y2 + 1 y2 + 1 zA

4. Sea un circulo de radio 1 en S 2 . Entonces existe un u nico plano P en 3 2 a anal tica que R tal que P S = . Recuerde de geometr P = {(x, y, z ) : x1 + y2 + z3 = l} donde (1 , 2 , 3 ) es un vector ortogonal a P y l es alg un n umero real. 2 2 2 Sabiendo que se asume que 1 + 2 + 3 = 1. Use esta informaci on demuestre que si contiene el punto N entonces esta proyecci on sobre C es una l nea recta. De lo contarrio, se proyecta sobre el c rculo en C. Soluci on. 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 ecuaci on 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 N umeros Complejos

Entonces = {(x, y, z ) S 2 : (x, y, z ) P}. Sabemos que : C S 2 es dada por (x, y ) = 2x 2y x2 + y 2 1 , , x2 + y 2 + 1 x2 + y 2 + 1 x2 + y 2 + 1 2y 2 x + y2 + 1 x2 + y 2 1 x2 + y 2 + 1 .

Si este punto est a tambi en sobre P, entonces a 2x 2 x + y2 + 1 +b +c +d=0

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 . 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 ecuaci on de una l nea recta en el plano complejo. Ahora, si N = (0, 0, 1) / P, entonces por (1) c + d = 0 y diviendo por c + d en (2) obtenemos 2a 2b cd x+ y = x2 + y 2 + 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 c rculo si y s olo 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 t erminos de las coordenadas de Z y Z . Soluci on. Tenemos que 1 z = x + iy 2 (2x, 2y, x2 + y 2 1) x + y2 + 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 z = a + ib a2 1 (2a, 2b, a2 + b2 1) + b2 + 1 (2)

El plano extendido y la representaci on esf erica

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 = x1 + x2 , y1 + y2 , z1 + z2 + (x1 x2 + y1 y2 ) + 1 1 2 (z1 + z2 + 2 (x1 x2 + y1 y2 ) + 3)

Cap tulo 2

Espacios M etricos y La Topolog a de C

1. Denici on y ejemplos de espacios m etricos 1. Demuestre que cada uno de los ejemplos de espacios m etricos dados en (1.2)-(1.6) es, de hecho, un espacio m etrico. El ejemplo (1.6) es el u nico que tiene mayor dicultad. Tambi en describa B (x; r ) para cada uno de los ejemplos. Soluci on. (a) X = R o C, d(z, w) = |z w|. Si z = x + iy , w = a + bi entonces (i) d(z, w) = (x a)2 + (y b)2 0. (ii) Si d(z, w) = 0 si y s olo si (x a)2 + (y b)2 = 0 y como los sumando son no negativos lo u ltimo es equivalente a x = a y y = b si y s olo si z = w. (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 } , gracamente r b
+

19

20

Espacios M etricos y la Topolog a de C

(b) Sea (X, d) un espacio m etrico y sea Y X entonces (Y, d) es tambi en un espacio m etrico. 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 s olo si |x a| + |y b| = como los sumando son no negativas la u ltima igualdad equivale a |x a| = 0 y |y b| = 0 si y s olo 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 } , geom etricamente

b+

a 1 si x = y 0 si x = y

(d) X cualquier conjunto, d(x, y ) =

(i) Como d(x, y ) = 0 o 1 entonces d(x, y ) 0. (ii) Por denici on d(x, y ) = 0 x = y . (iii) Si x = y entonces d(x, y ) = 1 = d(y, x) y si x = y entonces d(x, y ) = 0 = d(y, x).

Denici on y ejemplos de espacios m etricos

21

(iv) Si x = y , x = z , y = z se tiene que d(x, z ) = 1 < 2 = d(x, y ) + d(y, z ) . Si x = y , x = z , y = z se tiene que d(x, z ) = 1 = 0 + 1 = d(x, y ) + d(y, z ) Si x = y , x = z , y = 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
n j =1

(e) X = Rn , d(x, y ) =
n

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

j =1

(xj yj )2

(xj yj )2 0 lo que equivale a que d(x, y ) 0.

(ii) d(x, y ) = 0 si y s olo si (xj yj )2 = 0 como los sumando son no negativos implica que xj = yj para todo j = 1, . . . , n si y s olo si x = y . (iii) Es claro que d(x, y ) = d(y, x) n (iv) Denimos x, y = x, x lo cual j =1 xj yj entonces |x| = 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 geom etricamente

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 alg un entero n 1} (d) {z C : z R y 0 z < 1} (e) {z C : z R y 0 z 1} Soluci on.

22

Espacios M etricos y la Topolog a de C w| (a) Sea w {z : |z | < 1} entonces existe = 1| 2 . Armamos que B (w, ) {z : |z | < 1}, lo cual prueba que el conjunto es abierto. En efecto, si u B (w; ) se tiene que

|u| |u w| + |w| < + |w| =

1 |w| 1 + |w| 1+1 + |w| = < =1, 2 2 2

entonces u {z : |z | < 1}, lo cual prueba lo armado. (b) Considere X c = {z : Imz = 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 = 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 = 1 , n 1}. 3. Si (x, d) es cualquier espacio m etrico demuestre que todo bola abierta es, en efecto, un conunto abierto. Adem as, demuestre que toda bola cerrada es un conjunto cerrado. Soluci on. 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 colecci on de conjuntos abiertos en X , J cualquier conjuntos de ndices, entonces G = {Gj : j J } es abierto. Soluci on. Si Gj es abierto para todo j J entonces para todo x Gj

Denici on y ejemplos de espacios m etricos

23

existe j > 0 tal que B (x; j ) Gj . Ahora bien, sea x G entonces un j J entonces x Gj para alg B (x; j ) Gj Por lo tanto, G es abierto. 5. Sea (X, d) un espacio m etrico. Entonces: (a) Los conjuntos X y son cerrados. (b) Si F1 , , Fn son conjuntos cerrados en X entonces tambi en lo es n k =1 Fk . (c) {Fj : j J } es cualquier colecci on de conjuntos cerrados en X , J cualquier conjunto de ndices, entonces F = {Fj : j J } es cerrado. Soluci on. (a) Como X c = es abierto lo que implica que X es cerrado. Similarmente, como c = X es abierto, lo que implica que es cerrado.
n

Gj = G .
j

(b) Si Fi son cerrados entonces Fic son abiertos por lo que y como
n n c i=1

Fic es abierto

Fic
i=1

=
i=1

Fi

se tiene que Fi es cerrado. (c) Si Fjc son abiertos entonces Fjc es abierto y como Fjc = se sigue que Fj es cerrado. Fj
c

6. Pruebe que si G X es abierto si y s olo si X G es cerrado. Soluci on. Notemos que (X G)c = (X Gc )c = X c G = G = G . Entonces, X G es cerrado si y s olo si (X G)c es abierto si y s olo si G es abierto. 7. Demuestre que (C , d) donde d(z, z ) = es un espacio m etrico. (1 + |z |2 )(1 + |z |2 ) 2|z z |

24

Espacios M etricos y la Topolog a de C 2 2 1/2 la norma euSoluci on. Considere (x1 , x2 , x3 ) = (x2 1 + x2 + x3 ) 2 clideana en R3 . Sean z = (x1 , x2 , x3 ), z = (x 1 , x2 , x3 ) S donde

Luego,

2x 2y z 21 , x = , x = 2 3 z 2+| z 2+1 z 2+1 21 2 x 2 y = = z , x , x = x 1 2 3 z 2 + | z 2 + 1 z 2 + 1 x1 =

Como z es norma satisface la desigualdad triangular: x+y x + y 8. Sea (X, d) un espacio m etrico 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 . Soluci on. 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 nf d(a, Y ). Entonces, B (a; ) G Y . En efecy tomemos = 2 yY to, si x B (a; ) entonces d(x, a) < = 1 nf d(a, Y ) , tomando 2 z Y B (a; ) tenemos que
y Y

1 1 nf d(a, Y ) d(a, z ) < . 2 yY 2 2

1 nf 2 y Y

Luego, d(x, a) < x B (a; ) G. Como d(x, a) <

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 s olo si G1 = IntG1 Y si y s olo si G1 = G Y , donde G = IntG1 abierto en X , pues IntG = Int(IntG1 ) = IntG1 = G. 9. Sean (X, d) un espacio m etrico y Y X . Supongase que G X es cerrado; 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 . Soluci on. 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 m etrico (X, d). Entonces: (a) A es abierto si y s olo si A = int A;

Conexidad

25

(b) B es cerrrado si y s olo 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 s olo si existe un > 0 tal que B (x0 ; ) A; (f) x0 A si y s olo si para todo > 0, B (x0 ; ) A = . Soluci on. (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. Rec procamente, si A = int A, si a A si y s olo 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 s olo si X B es abierto si y s olo si para todo a X B , existe r > 0 tal que B (a; r ) X B si y s olo si para todo a X B , existe una bola B (a; r ) que no contiene puntos de B si y s olo si para todo a X B , a / int (B ) si y s olo si para todo a B , a B B si y s olo si B = B . (c) Sea a int (A) si y s olo 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 que a B (a; ) A a int (A). Por lo tanto, int (A) = X (X A). Sea a A
xX 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 s olo 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. Soluci on. (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 contradicci on. Rec procamente, sea A R un intervalo con a = nf A

26

El Sistema de N umeros Complejos

y b = sup A entonces tenemos que si a < c < b si y s olo si c A. Ahora bien, si x, y A con x < y si y s olo 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 vac os, lo cual contradice la convexidad de A. 2. Demuestre que los conjuntos S y T en la demostraci on del Teorema 2.3 son abiertos. Soluci on. 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 = y A, B abiertos de C. Ahora bien, considere la funci on : [0, 1] C denida 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. Cu ales de los siguientes conjuntos X de C son conexos? Si X no es conexo, cu ales son sus componentes? (a) X = {z : |z | 1} {z : |z 2| < 1}. 1 (b) X = [0, 1) 1 + n : n1 . (c) X = C (A B ), donde A = [0, ) y B = {z = r cis : r = , 0 }? Soluci on. (a) Geom etricamente el conjunto X es

Conexidad

27

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 > B = {x X : x < 2} 2}

Sean a, b X entonces considere el camino poligonal : [0, 1] X dado por 0t 1 2t + (1 2t)a 2 (t) = 2t 1 + (2 2t) 1 2 t1

entonces X = A B con A y B abiertos no vac os en X . Luego, X no es conexo. Las componentes conexas de X son [0, 1) y para cada 1 n N {1 + n }. (c) Geometricamente el conjunto X son los puntos en el plano que no est an de color rojo y

Sean a, b C tal que a C+ = {z : Im z > 0} y b C = {z : Im z 0}. 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 existir a c (0, 1) tal que (c) X , lo cual es

28

El Sistema de N umeros Complejos

una contradicci on. Por lo tanto, X no es conexo y X posee innitas componentes conexas. 4. Pruebe la siguiente generalizaci on del Lema 2.6. Si {Dj : j J } es una colecci on de subconjuntos conexos de X y si para cada j y k en J se tiene que Dj Dk = entonces D = {Dj : j J } es conexo. Soluci on. Supongamos que D = A B para ciertos conjuntos A, B abietos no vac os tal que A B = . Como A = existe k J tal que Dk A, del mismo modo como B = existe J tal que D B y como A B = necesariamente k = entonces Dk D A B = lo cual contradice el hecho que Dk D = . 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 hip otesis 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. Soluci on. Sean X = R y F = (a, b) con a, b R entonces F satisface la propiedad sin ser cerrado. Adem as, 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 completaci on 1. Pruebe la Proposici on 3.4. Soluci on. (a) Un conjunto es cerrado si y s olo si este contiene todos sus puntos l mites. Si X es un conjunto cerrado entonces para cada sucesi on {xn } n=1 X con l m xn = x implica que x X , luego X posee sus puntos l mites. Rec procamente, sea {xn } on tal que n=1 X una sucesi l m xn = x. Como X posee todos sus puntos l mites se tiene que x X , entonces X es cerrado. (b) Si A X entonces A = A {x : x es un punto l mite de A}. Observe que como A = A entonces A es cerrado, entonces A posee

Sucesiones y completaci on

29

todos sus puntos l mites lo que implica que {x : x es un punto l mite de A} A mite de A} A. y como A A se sigue que A {x : x es un punto l Ahora bien, sea x A entonces existe una sucesi on {xn } A tal que l m xn = x y como A es cerrado implica que x A ESTA WEA ESTA MALA 2. Finalice los detalles de la demostraci on de la Proposici on 3.8. Soluci on. 3.8 Proposici on. Sea (X, d) un espacio m etrico completo y sea Y X . Entonces (Y, d) es un espacio metrico completo ssi Y es cerrado en X . mite de Y entonces existe {yn } Y Demostraci on. Sea x0 un punto l una sucesi on tal que l m yn = x0 . Como {yn } es convergente implica que on de Cauchy {yn } es una sucesi

Cap tulo 3

Propiedades Elementales y Ejemplos de Funciones Anal ticas

1. Series de potencias 1. Pruebe la Proposici on 1.5. Soluci on. Proposici on. Sean vergentes y ponemos cn =
k =0

an y
n

bn dos series absolutamente con-

ak bnk .

Entonces

cn es absolutamente convergente con suma an bn

n k =0 ak ,

Demostraci on. Sean An = A = an , B = bn y C =

n n Bn = k =0 bk , Cn = k =0 ck , 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 . Sea n = a0 n + a1 n1 + + an 0 . Como an converge absolutamente 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 | |0 an + + N anN | +
n N 1 k =0

|ak | .

Fijando N y haciendo n , como ak 0 cuando k 0 obtenemos que l m n = 0 . Entonces,

n

c = l m = l m (An B + n ) = AB .
ncn n 31

32

Propiedades Elementales y Ejemplos de Funciones Anal ticas

2. Dar los detalles de la demostraci on de la Proposici on 1.6. Soluci on. Proposici on. Sea an (z a)n y tencia con radio de convergencia r > 0. Sea
n

bn (z a)n series de po-

cn =
k =0

ak bnk ; (an + bn )(z a)n y an (z a)n + an (z a)n cn (z a)n

entonces ambas series de potencia tienen radio de convergencia r , y (an + bn )(z a)n = cn (z a)n = para |z a| < r .

bn (z a)n bn (z a)n

Demostraci on. Si 0 < s < r entonces para |z | s, se tieme |an + bn ||z |n |cn ||z |n |an |sn + |an |sn |bn |sn < |bn |sn <

Por el problema anterior para |z a| < r cn (z a)n = an (z a)n bn (z a)n ,

con lo que se prueba lo pedido. 3. Pruebe que l m sup(an + bn ) l m sup an + l m sup bn y l m inf(an + bn ) m inf bn para {an } y {bn } sucesiones de n umeros reales. l m inf an + l Soluci on. 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 l m sup(an + bn ) = = =
n n n n

l m [sup{an + bn , an+1 + bn+1 , . . .}]

l m [sup cn ]

l m [sup(An + Bn )] m [sup Bn ] l m [sup An ] + l

n

= l m sup an + l m 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 l m inf an l m sup an para cualquier sucesi on en R. nf A Soluci on. Sea A = {an | n N} R entonces sabemos que sup A. Entonces l m inf an = = =
n n n n

l m [ nf {an , an+1 , . . .}]

l m nf A

l m sup A l m [sup{an , an+1 , . . .}] = l m sup an .

on convergente en R y a = l m an , demuestre que 5. Si {an } es una sucesi a = l m inf an = l m sup an . Soluci on. Como {an } es una sucesi on 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 l m inf an = l m nf {an , an+1 , . . .} = l m an+i = a .
n n

De la misma manera se tiene que l m sup an = l m sup{an , an+1 , . . .} = l m an+j = a ,

n n

como quer amos probar. 6. Hallar el radio de convergencia para cada una de las siguientes series de potencia: (a)
n=0

an z , a C; (b)

n=0

a z , a C; (c)

n2 n

n=0

k z ,k

n n

un entero = 0; (d)

n=0

z n! .

Soluci on. (a) Tenemos que R = l m (b) Observe que R = l m a

n2 n

|a|n an an 1 = l m n+1 = l m = . n +1 n a n |a| an+1 |a| si |a| < 1, = 1 si |a| = 1, 0 si |a| > 1.

2 a(n+1)

= l m

|a|n2 +2n+1

|a|

n2

= l m

1 |a|2n+1

34

Propiedades Elementales y Ejemplos de Funciones Anal ticas

(c) Se tiene que R = l m

n

an kn 1 1 = l m n+1 = l m = . n k n |k | an+1 |k|

(d) Por el criterio de Cauchy o test de la ra z, se sabe que si n |an | < 1 para todo n N sucientemente grande entonces an es absolutamente convergente para cualquier sucesi on de n umeros reales an . Notemos que en nuestro caso tenemos
n

|z |n! = |z | n = |z |(n1)! < 1 |z | < 1 .

n!

Entonces, el radio de convergencia es R = 1. 7. Demuestre que el radio de convergencia de la serie de potencia

n=1

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

(3)

es 1, y discuta la convergencia para z = 1, 1 y i. Soluci on. Sabemos que el radio de convergencia de 1)n n(n+1) Sean an = (n z y bn = z n entonces
n n n=0 z

es R = 1.

l m

(1)n z n(n+1) an |z |n+1 = l m = l m =0 n n bn nz n n

siempre que |z | < 1. Luego an /bn es una sucesi on acotada, entonces existe M > 0 tal que |an /bn | M lo que implica que |an | M |bn |. En virtud bn converge, por lo que del criterio de comparaci on an converge si el radio de convergia de (3) es R = 1. (1)n Por otro lado, si z = 1 entonces es convergente por el criterio n=1 n 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 n umero par para todo n N se sigue que
n=1

(1)n n(n+1) i6 i12 i20 i30 i42 i = i2 + + + n 2 3 4 5 6 = 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 Leibniz (1)n+1 an y (1)n bn son convergentes y como (1)n n(n+1) i = (1)n+1 an + (1)n bn n n=1 n=1 n=1

obtenmos que en z = i la serie es convergente.

Funciones anal ticas

35

2. Funciones anal ticas 1. Demuestre que f (z ) = |z |2 = x2 + y 2 tiene derivada solo en el origen. Soluci on. 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 ) = l m = l m = l m z = 0 . z 0 z 0 x + iy z 0 z 0 z x2 + y 2 Por lo tanto, f tiene derivada solo en el origen. m bn , a = l m sup an 2. Pruebe que si bn , an son reales positivos y 0 < b = l entonces ab = l m sup(an bn ). Esto sigue siendo verdadero si el requesito de positividad es sacado? l m Soluci on. Dado > 0 existe n0 N tal que si n > n0 implica que |bn b| < . Ahora, como a = l m sup an entonces existe una subsucesi on {ank } tal que ank a, esto es existe m0 N tal que si n > m0 entonces |ank a| < .

Cap tulo 4

Integraci on Compleja
1. Integrales Riemann-Stieltjes 6. Demuestre que si : [a, b] C es una funci on Lipschitz entonces es de variaci on acotada. on de [a, b] Soluci on. Sea P = {a = x0 , x1 , . . . , xn = b} una partici entonces
n n

V (, P ) = = k

k =1 n

| (xk ) (xk1 )|

k =1

k|xk xk1 |

k =1

|xk xk1 | = k(b a) .

Entonces, es de variaci on acotada. 9. Dena : [0, 2 ] C por (t) = exp(int) donde n es alg un entero (po1 sitivo, negativo o cero). Demuestre que dz = 2in. z

Soluci on. Tenemos que dz z

2

=
0

eint ineint dt = in

dt = 2in .
0

10. Dena (t) = eit para 0 t 2 y halle Soluci on. Se tiene que z n dz =
0 2

z n para todo entero n.

eint ieit dt = i
0

eit(n+1) dt

eit(n+1) i(n + 1)

si n = 1 si n = 1
37

2i

si n = 1

2i si n = 1

38

Integraci on Compleja

12. Sea I (r ) =

eiz dz donde : [0, ] C denido por (t) = reit . Dez

muestre que l m I (r ) = 0.
r

Soluci on. Notemos que |I (r )| = eiz dz = z

0 0

eire rei id rei

|eire |d =

er sen d <

. R

La u ltima desigualdad se debe a la desigualdad de Jordan. Se sigue que l m I (r ) = 0.

2. Representaci on en series de potencias de funciones anal ticas 7. Use los resultados de esta secci on para evaluar las siguientes integrales: (a)

eiz dz, z2 dz , za

(t) = eit , (t) = a + reit , (t) = eit ,

it (t) = 1 + 1 2e ,

0 t 2 ; 0 t 2 ; 0 t 2 ; 0 t 2 y n 0 .

(b)

(c)

sen z dz, z3 log z dz, zn

(d)

Soluci on. (a) Sea f (z ) = eiz entonces por la f ormula de Cauchy f (0) = 1 2i f (z ) dz z2 eiz dz = 2if (0) = 2i i = 2 . z2

(b) Sea f (z ) = 1 entonces por la f ormula de Cauchy se tiene dz = za f (z ) dz = 2if (a) = 2i . za

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

Representaci on en series de potencias de funciones anal ticas

39

n (d) Observe que log z es anal tica en B (1; 3 tica tambi en 4 ) y z es anal ah . Adem as, se tiene que (0) = (2 ) luego es una curva cerrada y recticable. Por lo tanto, log z dz = 0 . zn

9. Use el Corolario 2.13 para evaluar las siguientes integrales: ez ez donde n es un entero positivo y (t) = eit , 0 t 2 ; (a) zn

(b)

dz z1 2 z2

it donde n es un entero positivo y (t) = 1 2 + e , 0 t 2 ;

(c)

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

(d)

sen z dz donde (t) = eit, 0 t 2 ; z z 1/m it donde (t) = 1 + 1 2 e , 0 t 2 . (z 1)m

(e)

Soluci on. (a) Considere f (z ) = ez ez entonces f (z ) = ez + ez y se deduce que f (n1) (z ) = ez + (1)n+1 ez , entonces 2if (n1) (0) (n 1)! =

f (z ) dz = zn

ez ez dz zn

Cap tulo 5

Singularidades
.2 Residuos 1. Calcule las siguientes integrales:

(a)
0

x2 dx x4 + x2 + 1

(b)
0

cos x 1 dx x2

(c)
0

cos 2d donde a2 < 1 (d) 1 2a cos + a2

d donde a > 1 (a + cos )2

Soluci on. (a) Observe que x4 + x2 + 1 = x4 + 2x2 + 1 x2 = (x2 + 1)2 x2 = (x2 + x + 1)(x2 x + 1) entonces las ra ces de x4 + x2 + 1 son a0 = 1 (1 + 3i), a1 = 1 2 2 (1 + 1 1 3i), a2 = 2 (1 + 3i) y a3 = 2 (1 3i). Considere el camino dado por la siguiente gura a0 a1

0 R R es decir, = [R, R] {Rei : 0 } con R > |a0 |. Considere f (z ) = z2 . z4 + z2 + 1

Por el Teorema de los Residuos 1 2i f (z )dz = Res (f, a0 ) + Res (f, a2 )

41

42

Singularidades

en donde Res (f, a0 ) = z2 z a0 z a0 (z a1 )(z a2 )(z z3 ) a2 1 + i 3 0 = = (a0 a1 )(a0 a2 )(a0 a3 ) 4i 3 1+i 3 . Por y de manera similar Res (f, a2 ) = l m (z a2 )f (z ) = z a2 4i 3 otro lado, note que l m (z a0 )f (z ) = l m
R

f (z )dz =
R

x2 dx + x4 + x2 + 1

2 0

R2 ei iRei d = I1 + I2 R4 e4i + R2 e2i + 1

en donde
R

I1 = = 2
0

R R

x2 dx x4 + x2 + 1 x2 R dx 2 x4 + x2 + 1
0

x2 dx . x4 + x2 + 1

|I2 |

x2 dx i = . 2 +x +1 2 0 eiz 1 (b) Considere el funci on f (z ) = que tiene un polo simple en z = 0. z2 Sean 0 < r < R y la curva dada por la gura Por lo tanto, x4

R3 R3 R d 0 . 4 4 i 2 2 i 4 2 |R e + R e + 1| R R 1

R Por el Teorema de Cauchy

f (z )dz = 0 .

entonces tenemos
R

0 =
r

eix 1 dx + x2
r

eiRe 1 d R2 e2i
0

1 + dx + x2 R = I1 + I2 + I3 + I4 .

eix

(eire 1) irei d r 2 e2i

Residuos

43

Observamos que
R

I1 + I3 =
r

eix 1 dx + x2
R

R r

eix 1 dx x2
0

= 2
r

cos x 1 R dx 2 r 0 x2

cos x 1 dx x2

Adem as,

|I2 |

R sen |eiRe 1|R e +1 d = d 2 R R 0 1 R + 0. 2 R R

La u ltima desigualdad se debe al Lema de Jordan. Finalmente, tenemos que

0 r 0

m l m I4 = l

r 0

irei f (rei )d = Res (f, 0) = i(i) = .

ya que el desarrollo en serie de potencias de f es f (z ) = Por lo tanto, (c) Sea z = ei

i i i + + z + . z 2 3!

cos x 1 dx = . 2 x 2 0 1 entonces z = y tenemos que z = (z 2 + z 2 )/2

z) 1 2a (z + + a2 2

cos 2 1 2a cos + a2

1 2

z2 +

= = Entonces,
0

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

2 0

1a z+

1 z2 1 z +

a2

cos 2 d = 1 2a cos + a2 =

1 2 1 4i

|z |=1

cos 2 d 1 2a cos + a2 z4 + 1 dz . z 2 (az 2 + (a2 + 1)z a)

44

Singularidades

Las ra ces del polinomio az 2 + (a2 + 1)z a son z = = = (a2 + 1) (a2 + 1)2 4a2 2a 2 (a + 1) (a2 1)2 2a 2 (a + 1) (1 a2 ) 1 = . 2a a

Esta ra z 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 g (z ) = 4z 3 (az 2 + (a2 + 1)z a) (z 4 + 1)(2az + a2 + 1) (az 2 + (a2 + 1)z a)2 Res (f, 0) = l m g (z ) = Por el Teorema de los Residuos I= 1 4i
|z |=1 z 0

entonces

1 a2 . a2

z4 + 1 1 i(1 + a2 ) dz = Res ( f, 0) = . z 2 (az 2 + (a2 + 1)z a) 4i 4a2 1 luego z a+ 1 2 z+ 1 z

2 0 2 2

(d) Sea z = ei entonces z = (a + cos )2 = a+ z+z 2

2

z 2 + 2az + 1 2z

Entonces, I =
0

d 1 = (a + cos )2 2 2z z 2 + 2az + 1

d (a + cos )2

1 2 2 i
|z |=1

dz iz

z dz . (z 2 + 2az + 1)2

|z |=1

Notemos que las ra ces de z 2 + 2az + 1 = 0 son 2a 4a2 4 z= = a a2 1 , 2 con = a + a2 1 D y = a a2 1 / D.Ahora bien, z z 2 sean f (z ) = (z )2 (z )2 y g(z ) = (z ) f (z ) = (z con g (z ) = )2
(z )2 2z (z ) (z )4

z . (z )3 z

Por lo que,

Res (f, ) =

l m g (z ) =

a = . 3 2 ( ) 4(a + 1)3/2

Residuos

45

Por lo tanto, I = 2 i
|z |=1

f (z )dz =

2 2i Res (f, ) i

= 4

4(a2

a a = 2 . 3 / 2 + 1) (a + 1)3/2

2. Verique las siguientes ecuaciones:

(a)
0

dx = 3 , a >0; 2 2 2 (x + a ) 4a cos ax (a + dx = 2 2 (1 + x ) 4 1)ea

(b)
0

(log x)3 dx = 0 1 + x2

(c)

si a > 0 ;

0 /2

(d)
0

d = si a > 0 1 , a + sen2 2[a(a + 1)] 2 log x dx = ; 2 2 (1 + x ) 4 eax 1+ ex

2

(e)
0

(f )
0

dx = ; 2 1+x 2

(g)
2

dx =

si 0 < a < 1 ; sen a

(h)
0

log sen 2d = 4
0

log sen d = 4 log 2 .

Soluci on. (a) Las ra ces de x2 + a2 = 0 son = ia y = ia. Sean f (z ) = 1 y la curva dada por la siguiente gura (z 2 + a2 )2 ia 0 R R i es decir, = [R, R] {e : 0 } con R > a. Por el Teorema de los Residuos f (z )dz = 2iRes (f, ) .

Observe que
R

f (z )dz =
R

dx + 2 (x + a2 )2

iRei d . (R2 e2i + a2 )2

46

Singularidades

Tenemos que

|I2 | =

iRei d (R2 e2i + a2 )2 |R2 e2i R R R d 0. 2 2 2 +a | (R a2 )2

0 0

Ahora bien, f (z ) = (z )2 (z )2 y considere la aplicaci on 1 2 g(z ) = (z ) f (z ) = (z )2 entonces g (z ) = lo que implica que 2(z ) 2 = , 4 (z ) (z )3 2 1 = . 3 ( ) 4ia3

Res (f, ) = l m g (z ) =
z

Por lo tanto,

(x2
0

dx 2i Res (f, ) = 3 . = 2 2 +a ) 2 4a

(b) Considere la funci on logaritmo : C en la regi on = zC : z=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 gura Por el Teorema de los Residuos (z )3 dz = 2iRes (f, i) . 1 + z2

Adem as, (z )3 dz = 1 + z2
0

(Rei )3 iRei d + 1 + R2 e2i

0

r R

(x)3 dx 1 + x2
R r

(rei )3 irei d + 2 e2i 1 + r = I1 + I2 + I3 + I4 . + Note que I2 + I3 = = 2

r r R R R r

(x)3 dx 1 + x2

(log |x| + i )3 dx + 1 + x2 log x3 dx + 3i 1 + x2

R r R r

log x3 dx 1 + x2

log x2 dx 1 + x2
R r

log x dx i 3 1 + x2

dx . 1 + x2

Residuos

47

Cuando r 0 y R se sabe que

0

log x dx = 0 y 1 + x2
0

dx = . 2 1+x 2

Faltar a determinar el valor de una de las integrales, armamos que 3 log x2 dx = . 1 + x2 8

0

Se sigue que I2 + I3 2
r 0 R

log x3 1 dx i 4 . 1 + x2 4

FALTA (c) Sean f (z ) =

eiaz y el camino dado por la gura (1 + z 2 )2 i R

i

0
R R

R cos ax + i sen ax dx (1 + x2 )2

con R > 1. Entonces

f (z )dz =
0

eiaRe iRei d + 1 + R2 e2i

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

(4)

Sea g(z ) = (z i)2 f (z ) = g (z ) = Luego,

eiaz entonces (z + i)2

iaeiaz (z + i)2 eiaz 2(z + i) ia(z + i) 2 = eiaz . (z + i)4 (z + i)3 Res (f, i) = ea 2a 2 (a + 1)ea = . (2i)3 4i (a + 1)ea . 2

Por lo tanto, f (z )dz =

Notemos que
0

eiaRe iRei d (1 + R2 e2i )2

eaR sen R d 2 2 0 (R 1) R 0. 2 (R 1)2

48

Singularidades

Hemos usado la desigualdad de Jordan

0

eaR sen d <

. R

Tomando parte real a ambos lados de (4) y haciendo R obtenemos (a + 1)ea cos ax dx = . (1 + x2 )2 4 0 (d) Sea z = ei entonces z = a + sen = a + = a = Luego,
/2 0 2 1 z

luego
2

ei ei 2i 1 4 z1 z
2

=a+ =

z1 z 2i

4az z 2 + 2z 1 4z

z 2 + (2 + 4a)z 1 . 4z

d a + sen2

1 4

z 2 z2

4z dz + (2 + 4a)z 1 iz

= i

dz . (2 + 4a)z + 1

Las ra ces de z 2 (2 + 4a)z + 1 son (2 + 4a) 4 + 16a + 16a2 4 z= = 1 + 2a 2 a(a + 1) 2 y es claro que = 1 + 2a 2 a(a + 1) satisface || < 1. Por el Teorema de los Residuos z2 dz = 2iRes (f, ) , (2 + 4a)z + 1 1 1 = . 4 a(a + 1) 1 . 2[a(a + 1)]1/2

donde Res (f, ) = Por lo tanto,

/2 0

d = i(2i) a + sen2 4

a(a + 1)

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

Residuos

49

Sea log z el brazo del logaritmo que no posee el eje imaginario negativo. Entonces,

f (z )dz =
0

f (Rei )iRei d +
0

f (x)dx
R

f (ei )iei d +

f (x)dx .

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

Sea g(z ) = (z i)2 f (z ) = Res (f, i) = Por lo tanto,

log z (z +i)2

entonces g (z ) =

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

luego

2i 2i(log |i| + i 1 i 2) 2 = . i(2i)3 4i (i 2 1) = i 1 . 4i 2 2

f (z )dz = 2i

Notemos que
R R R

f (x)dx +

f (x)dx

log |x| + i dx + (1 + x2 )2
R

log x dx (1 + x2 )2
R

log x = 2 dx + i 2 2 (1 + x ) log x R 2 dx + i 0 (1 + x2 )2 0 Adem as,

0

dx 2 2 (1 + x ) dx . (1 + x2 )2 0

f (Rei )iRei d

Similarmente, se tiene que

0

| log R + i | R d (R2 1)2 0 R log R R R + 0. 2 2 (R 1) 2(R2 1)2 | log i | d (2 1)2 log 0 + 0. 2 2 2 ( 1) 2( 1)2
0

f (ei )iei d

Tomando parte real y haciendo 0 y R se obtiene que

0

log x dx = . 2 2 (1 + x ) 4

(f) Sean R > 1, f (z ) = (1 + z 2 )1 y la curva dada en la gura

50

Singularidades

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

R 1 =. 2i

Por otro lado,

f (z )dz =
0

f (Rei )iRei d +

R R

dx . 1 + x2

Observe que
0

f (Rei )iRei d

R R d 0. R2 1

Haciendo R obtenemos
0

dx = . 2 1+x 2

(g) Sea u =

ex

entonces du = ex dx = udx entonces

I=

eax dx = 1 + ex

ua du = 1+u u

ta1 dt . 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 I=
0

ta1 dt = 1+t

x c dx = = = . 1+x sen c sen( a ) sen(a )

3. 4. Suponga que f tiene un polo simple en z = a y sea g una funci on anal tica en un conjunto abierto que contiene a a. Demuestre que Res (f g; a) = g(a)Res(f ; a). Soluci on. En una vecindad V de a el desarrollo en serie de potencias para f y g es f (z ) = Res (f, a) + a0 + a1 (z a) + a2 (z a)2 + za g(z ) = g(a) + b1 (z a) + b2 (z a)2 +

(f,a) Entonces, f (z )g(z ) = g(a)Res + h(z ) donde h es una funci on anal tica z a 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 regi on y f es anal tica en tica en G entonces G excepto para polos simples a1 , . . . , an ; y si g es anal 1 2i
n

fg =
k =1

n( ; ak )g(ak )Res (f, ak )

para cualquier curva cerrada recticable que no pasa por a1 , . . . , an tal que 0 en G. Soluci on. En alguna vecindad de ak para k = 1, 2, . . . , n digamos B (ak ; ) podemos escribir f (z ) = Res (f, ak ) + 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 ) + hk (z ) z ak n k =1

Luego, f (z )g(z ) =

donde hk es anal tica en B (ak ; ).

Se sigue que h(z ) = f (z )g(z ) 1 luego 2i 1 2i

g(ak )Res (f, ak ) es anal tica en G y z ak

h(z )dz = 0. Entonces

f (z )g(z )dz =

1 2i 1 2i 1 2i
n

n k =1 n k =1 n k =1

g(ak )Res (f, ak ) dz z ak dz z ak

g(ak )Res (f, ak )

= =

g(ak )Res (f, ak ) 2in( ; ak )

n( ; ak )g(ak )Res (f, ak ) .

k =1

1 1 1 6. Sea el camino rectangular [n + 1 2 + ni, n 2 + ni, n 2 ni, n 2 2 cot zdz para a = un entero. ni, n 1 2 + ni] y evalue la integral (z + a)

Demuestre que l m deduzca que

(z +a)2 cot zdz = 0 y, usando la primera parte,

Soluci on. 7. Use el Ejercicio 6 para deducir que 2 = 8

n=0

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

1 . (2n + 1)2

52

Singularidades

Soluci on. Notemos que

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

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

1 y se tiene que (2n + 1)2 n=

Cap tulo 6

El Teorema del Modulo M aximo

1. El Principio del M aximo 1. Pruebe el siguiente Principio del M nimo. Si f es una funci on anal tica no constante sobre un conjunto abierto G acotado y es continua sobre G, entonces f tiene un cero en G o |f | asume su m nimo valor sobre G. Soluci on. Si f no tiene ceros en G, la funci on por el principio del m aximo 1 1 m ax , z G |f (z )| f (z ) si y s olo si
z G

1 es anal tica en G y f

z G z G.

m n |f (z )| |f (z )| ,

2. Sea G una regi on acotada y suponga que f es continua en G y anal tica sobre G. Demuestre que si existe una constante c 0 tal que |f (z )| = c para todo z G entonces f es una funci on constante o bien f tiene un cero en G. Soluci on. Si f no tiene ceros aplicando el principio del m aximo y del m nimo se tiene que c = m n |f (z )| |f (z )| m ax |f (z )| = c
z G z G

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 n umero 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 uni on de un n umero nito de caminos cerrados. Discuta el comportamiento de estos caminos cuando c . Soluci on.
53

54

El Teorema del Modulo M aximo

(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 sucesi on {zn } n=1 1 X tal que |f (zn )| = c n y pot la continuidad de f c = l m |f (zn )| = f
n n

l m zn

= |f (z0 )| ,

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 uni on innita de curvas, entonces en el interior de cada curva p tiene un cero, seg un lo probado en (b). Luego, p tiene innitos ceros. Por otro lado, como l m |p(z )| = se tiene que para cada > 0 existe M > 0 tal que |p(z )| para todo |z | M . En particular, para = c + 1, |p(z )| c + 1 , |z | M .
z

Se sigue que los ceros de p est an todos contenidos en el disco B (0, M ), como este conjunto es compacto, los ceros de p, tienen un punto de acumulaci on y por el principio de identidad p(z ) 0 lo cual es una contradicci on.

4. Sean 0 < r < R y A = {z : r |z | R}. Demuestre que existe un n umero positivo > 0 tal que para todo polinomio p, sup{|p(z ) z 1 | : z A} . Esto dice que z 1 no es el l mite uniforme de polinomios en A. Soluci on. Sean z1 , . . . , zn los ceros de p y R > 0 tal que R = |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 contradicci on con que zp(z ) tiene un cero en z = 0. Luego, necesariamente M 1. Observe que si R = |zk | para alg un k, sea > 0 tal que R =

El Principio del M aximo

55

|zk |. Si suponemos que MR = sup |zp(z ) 1| < 1, por el principio del m aximo se obtiene que MR MR < 1 lo cual contradice lo anterior. Por lo tanto, M 1. 1 1 |z Ahora bien, sea z A entonces |z | R R | , luego sup |p(z ) z 1 | = sup
z A | z k | =R

|zp(z ) 1| |z | z A 1 sup |zp(z ) 1| R z A M 1 = = >0. R R

5. Sea f anal tica sobre B (0, R) con |f (z )| M para |z | R y |f (0)| = a > 0. Demuestre que el n umero de ceros de f en B (0, 1 3 R) es menor o igual 1 M que log . log 2 a Soluci on. Sean z1 , . . . , zn los ceros de f en B (0, 1 3 R) y considere la funci on anal tica
n

g(z ) = f (z )
k =1

z 1 zk

Note que g(0) = f (0). Observe que para |z | = R se tiene que

n n

|g(z )| = |f (z )|

k =1

z 1 zk

M
n k =1

k =1

1 M Rn n M 3 = n . 2 n n 2 R |zk z | 3 |zk |

Sabemos que g(0) = entonces a = |g(0)| es decir, 2n 1 2

2 0

1 2i
| z | =R

g(z ) dz , z

|g(Rei )| 1 |iRei |d = i |Re | 2

2 0

|g(Rei )|d M . a

M , 2n

M 1 lo que implica que n log a log 2

6. Suponga que ambas f y g son anal ticas 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 M aximo

Soluci on. Considere la funci on h = f /g entonces h es anal tica en B (0, R) y no tiene ceros. Para |z | = R tenemos que |h(z )| = |f (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 anal tica en el disco B (0, R) y para 0 r < R dena A(r ) = m ax Ref (z ). Demuestre que a menos que f sea constante, A(r ) es una funci on estrictamente creciente de r . Soluci on. Primero observe que la aplicaci on proyecci on : R R R dada por (x, y ) = x es abierta. Luego, si f es anal tica no constante, por el Teorema del mapeo abierto, f es abierta entonces h = f = Ref es abierta . (5)
| z | =r

Armamos que h satisface el principio del m aximo, 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 hip otesis, || | | 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, m ax Ref (z ) A(r ) . Ahora bien, si r1 < r2 tenemos que A(r1 ) =
| z | =r 1 | z | =r 2 |z |r

m ax Ref (z ) = m ax Ref (z )
|z |r1 | z | =r 2

m ax Ref (z ) = m ax Ref (z ) = A(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 funci on estrictamente creciente. 8. Suponga que G es una regi on, f : G C es anal tica, y M es constante tal que cuando z est a sobre G y {zn } es una sucesi on en G con z = l m zn tenemos que l m sup |f (zn )| M . Demuestre que |f (z )| M , paa cada z G.

El Lema de Schwarz

57

Soluci on. Dado a G para todo sucesi on {zn } con l m zn = a se tiene que l m sup |f (zn )| M .
n

Se sigue que l m sup |f (z )| M , lo cual implica seg un la tercera versi on del m odulo m aximo que |f (z )| M para todo z G.
z a

2. El Lema de Schwarz 1. Suponga que |f (z )| 1 para |z | < 1 y f es anal tica. Considerando la funci on g : D D denida por g(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. Soluci on. Sabemos que a : D D dada por a (z ) = za 1 az f (z ) a 1 af (z )

son automorsmos 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 |z | |f (z ) a| |z ||1 af (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 | |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 |

Adem as, para cada z D se tiene que

58

El Teorema del Modulo M aximo 1 2

2. Existe una funci on anal tica f : D D con f

3 4

y f

1 2

=2 3?

3 2 1 Soluci on. Supongamos que existe f : D D con f 1 2 = 4 y f 2 = 3. Sean = f (1/2) y = 1/2 y considere los automorsmos , : D D denidos por

(z ) =

z 1 z

con

(z ) =

1 ||2 . (1 z )2

tica y satisface F (0) = 0. Por Entonces, F = f : D D es anal el Lema de Schwarz, |F (0)| 1 y por la regla de la cadena se tiene que
F (0) = () f

1 2

(0)

= =

1 1 ||2 1 9 1 16

2 (1 | |2 ) 3 2 1 8 1 = >1. 3 4 7

La u ltima 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 anal tica y no constante. (a) Demuestre que Ref (z ) > 0 para todo z D. (b) Usando una transformaci on de M obius apropiada, aplique el Lema de Schwarz para probar que si f (0) = 1 entonces |f (z )| 1 + |z | 1 |z |

para |z | < 1. Qu e puede decir si f (0) = 1? (c) Demuestre que si f (0) = 1, f tambi en satisface |f (z )| 1 |z | . 1 + |z |

Soluci on. (a) Por el Teorema del mapeo abierto, como f es anal tica y no constante, implica que f es abierta. Se sigue que necesariamente si Ref (z ) 0 implica que Ref (z ) > 0, de lo contrario existir a un subconjunto abierto de D con f (D) no abierto. (b) Considere la transformaci on de M obius T : {z : Re z > 0} D dada por T (z ) = z1 . 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 |z | |f (z ) 1| |z ||f (z ) + 1| . 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 = 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 (z )a g(0) = Ta (a) = 0. Aplicando el Lema de Schwarz, f f (z )+a |z | para todo z D . Lo que implica que |f (z )| |a| + |z | , |a| |z | z D.

(c) Como Re f (z ) > 0 para todo z D, se sigue que f (z ) = 0 para todo 1 z D, luego la funci on f es anal tica en D y satisface Re 1 f (z ) = Re f (z ) |f (z )|2 = 1 Re {f (z )} > 0 . |f (z )|2
1 |f (z )|

1 con f (0) = 1. Por parte (b) se tiene que lo que es equivalente a que

1+|z | 1|z |

para todo z D,

|f (z )|

1 |z | , 1 + |z |

z D.

4. Pruebe la desigualdad de Carath eodory. Sean f anal tica sobre B (0, R) y M (r ) = m ax |f (z )|, A(r ) = m ax Ref (z ), entonces para 0 < r < R, si A(r ) 0,
| z | =r | z | =r

M (r )

R+r [A(r ) + |f (0)|] . Rr

Soluci on. Supongamos inicialmente que f (0) = 0 y considere g : D C dada por g(z ) = f (Rz ) . 2A(R) + f (Rz )

60

El Teorema del Modulo M aximo

Notemos que g(0) = 0, pues f (0) = 0. Adem as, |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 | A(R) |f (Rz )| 1 |z | 1 + |z | |f (Rz )| A(R) 1 |z | z D obtenemos que R R + |z | A(R) . R |z | R+r A(R) . Rr

para todo z D. Haciendo = |f (z )|

Tomando m aximo sobre |z | = r se obtiene que M (r )

5. Sea f anal tica en D y suponga que |f (z )| M para todo z D. (a) Si f (zk ) = 0 para 1 k n, demuestre que
n

|f (z )| M

k =1

|z zk | |1 zk z |

para |z | < 1. (b) Si f (zk ) = 0 para 1 k n, cada zk = 0, y f (0) = M ei (z1 z2 zn ), hallar una f ormula para f . Soluci on. (a) Considere la aplicaci on g(z ) = f (z )
n k =1

z zk 1 zk z

Para |z | = 1 se tiene que |g(z )| =

n

|f (z )|

k =1

z zk 1 zk z

M
n k =1

|zk (z )|
1

M.

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

n

|f (z )| M para |z | < 1.

k =1

|z zk | |1 zk z |

El Lema de Schwarz

61

(b) Note que la funci on g denida en (a) no tiene ceros, ya que cada cero del numerador se cancela con un cero de las funciones zk . Luego, la funci on 1 tica y por el principio del m nimo (Problema 1, g es anal secci on anterior) g asume su m nimo valor en |z | = 1. Lo que implica, seg un lo probado en (a) que |g(z )| = M . Luego,
n

f (z ) = M ei
k =1

z zk . 1 zk z

6. Suponga que f es anal tica en una regi on que contiene a B (0, 1) y |f (z )| = 1 cuando |z | = 1. Hallar una f ormula para f Soluci on. Notemos que f tiene un n umero nito de ceros, pues si tuviera innitos, como est an contenidos en un conjunto compacto habr a un punto de acumulaci on z0 con |z0 | = 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 m aximo se tiene que |f (z )| 1. Por problema anterior, obtenemos que
n

f (z ) = e

i k =1

z zk . 1 zk z

7. Suponga que f es anal tica en una regi on conteniendo B (0, 1) y |f (z )| = 1 cuando |z | = 1. Suponga que f tiene un cero simple en z = 1 4 (1 + i) y un 1 1 cero doble en z = 2 . Puede f (0) = 2 ? Soluci on. Por el problema anterior se tiene que f es de la forma z1 4 (1 + i) f (z ) = e 1 1 4 (1 i)z
i

z1 2 1 1 2z

1 1 2 f (0) = ei (1 + i) . 4 2 1 1 Note que |f (0)| = 16 2= 1 2 . Se deduce que f (0) no puede ser igual a 2 . 8. Existe una funci on f sobre D tal que |f (z )| < 1 para |z | < 1, f (0) = 1 2 y f (0) = 3 ? Si es cierto, hallar una tal f . Es u nica? 4 Soluci on. Basta considerar f (z ) =
z (1 1 2 ) 1 1 4
2

para todo z D. Entonces,

, luego f (0) = 3 4.

z1 2 entonces f (0) = 1 1 2z

1 2

y f (z ) =