Soluciones a los ejercicios del Captulo I

1. Sea S 1 = {z : |z| = 1}. Probar que S 1 es un grupo respecto del producto.

1 Solucin. Si z1 , z2 S 1 entonces z1 z2 S 1 . Por tanto S 1 es un grupo respecto al producto.

2. Probar que no es posible dotar a C de una relacin de orden ""que haga de (C, ) un cuerpo ordenado.

Solucin. Si (K, +, , ) es un cuerpo ordenado con neutro para la suma 0, neutro para el producto 1, entonces se cumple que

x2 > 0
para cualquier x = 0. En particular 1 > 0 y de los axiomas se deduce que 1 < 0. El cuerpo (C, +, ) no puede ordenarse para dar un cuerpo ordenado porque i2 = 1. 3. Hallar las partes reales e imaginarias de:

1 , z

za z+a

(a R),
6

z ,

3 + 5i , 7i + 1 1+i 2
n

1 + i 3 2 2 n 8.

1 i 3 2

in ,

4. Hallar |z|, z en cada uno de los casos siguientes:

2 + i,

3,

(2 + i)(4 + i),

3i , 2 + 3i

i , i+3

(1 + i)6 ,

i17 .

5. Probar que z es real si y slo si z = z . 6. Hallar x, y en las relaciones:

100

a) z = |z|,
Solucin.
a) x 0.

b) z = () , z

c) z =
k=0

ik .

b) De |z| = 1 (z = 0) y multiplicando por z 2 sale z 3 = 1. c)

z=

1 i101 = 1. 1i

7. Probar (identidad del paralelogramo):

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

Solucin. Basta sumar las identidades:

|z w|2 = |z|2 + |w|2 2 z w.

8. Sea R(z) una funcin racional de z de coecientes reales. Probar que R(z) = R(). Si z p(z) es un polinomio de coecientes reales demostrar que z es raz de p si y slo si z es una raz.

Solucin. Se sigue de la identidad:

az + b = az + b.

9. (Races cuadradas). Resolver en x, y la ecuacin:

(x + iy)2 = a + bi,

a, b R,

probando que siempre admite dos soluciones. Para , , C discutir la existencia de races de la ecuacin de segundo grado:

z 2 + z + = 0.
Como aplicacin hallar: y las soluciones de la ecuacin:

8 + 6i,

z2 +

32iz 6i = 0.

10. Probar la validez de la frmula del binomio de Newton:

n

(a + b) =
k=0

n k nk a b , k

a, b C.

Hallar

z, z para z = (a + bi)6 .

Solucin. La prueba del binomio de Newton es la que se ejecuta por induccin en un anillo conmutativo arbitrario.
Asimismo

(a + bi)6 = a6 + 6a5 bi 15a4 b2 20a3 b3 i + 15a2 b4 + 6ab5 i b6 .

11. Prubense las siguientes frmulas del ngulo mltiple:

cos n = cosn sen n =

n n cosn2 sen2 + cosn4 sen4 + , 4 2

n n cosn1 sen cosn3 sen3 + . 1 3

Solucin. De la identidad de d'Moivre y el binomio de Newton:

cos n + i sen n = (cos + i sen )n = cosn + n cosn4 sen4 + + i 4

n cosn2 sen2 2 n n cosn1 sen cosn3 sen3 + 3 1

igualdad que proporciona las relaciones pedidas. 12. Prubese que mx{ z, z} |z| | z| + | z|. Cundo se da la igualdad? a 13. Para z = x + iy explicar la relacin entre Arg z y arctag (y/x). 14. Prubese que 2Arg (z + 1) = Arg z en |z| = 1, z = 1.

Solucin. Conviene hacer un dibujo para convencerse de la veracidad de la identidad.

Por otro lado, de las hiptesis resulta:

= 2(Arg z + 1) (, ).
Slo hay que vericar que: pues |z| = 1. Echando cuentas:

ei = z,

ei = cos + i sen =
Se tiene |z + 1|2 = 2(x + 1) con

1 ((x + 1)2 y 2 + 2i(x + 1)y). |z + 1|2

(x + 1)2 y 2 = 2(x + 1)2 2(x + 1) = 2x(x + 1).

Basta sustituir para llegar a la identidad buscada. 15. Hllense las ramas principales de z y de 1 z . 16. Halar un dominio G y funciones continuas f, g tales que f (z)2 = g(z)2 = 1 z 2 . Estudiar si el dominio G obtenido es maximal. 17. Resolver:

z 6 = 1,

z 4 = 1,
3

z 4 = 1 +

3i.

18. Probar que las races n-simas z de la unidad, z = 1, cumplen:

z n1 + z n2 + + z + 1 = 0.
Solucin. Las races de la unidad cumplen:

z n 1 = 0.
Dividiendo por z 1 resulta:

(z 1)(z n1 + z n2 + + z + 1) = 0,
de donde se sigue el resultado. 19. Probar que en un polgono regular de n lados inscrito en la circunferencia z = 1, el producto de las n 1 diagonales que parten de un vrtice dado (contando los lados adyacentes) es n.

Solucin. Sea 1 = ei el vrtice de referencia, 2 , . . . , n los restantes vrtices. El producto pedido es:

|1 2 | . . . |1 n | = |1 z2 | . . . |1 zn | = |(1 z2 ) . . . (1 zn )|,
donde z2 = ei 2 , . . . , zn = ei n . En otras palabras, hemos girado la circunferencia para llevarnos el vrtice distinguido al 1. As:

(1 z2 ) . . . (1 zn ) = 1 (z2 + + zn ) + + (1)n1 z2 zn .
Como los z = zj , 2 j n, resuelven la ecuacin:

z n1 + z n2 + + z + 1 = 0,
las relaciones de Cardano-Vieta dan:

1 = (z2 + + zn ) = = (1)n1 z2 . . . zn .
Por tanto

|(1 z2 ) . . . (1 zn )| = n.

20. Descrbanse los siguientes lugares geomtricos:

a) |z i| 1 z1 =1 b) z+1 c) |z 2| > |z 3| d) |z| < 1, z > 0,

4

e)

1 =z z f ) |z|2 = z g) |z 2 1| < 1.

21. Prubese que |z a| = |z b| (respectivamente, |z a| > |z b|) es, para a, b C, la ecuacin general de una recta (respectivamente, de un semiplano).

Solucin. Se trata de la mediatriz del segmento ab.

22. Para a, b C, b = 0, qu objeto geomtrico es

za b

> 0?

23. Cundo representa una recta del plano la ecuacin:

az + b + c = 0, z
Solucin. La ecuacin real de una recta es:

a, b, c C?

Ax + By + C = 0, A, B, C R. Haciendo 2x = z + z , 2y = i(z z ) obtenemos: (A iB)z + (A + iB) + 2C = 0, z

es decir

z + + D = 0, z
con D = 2C . Como el sistema

az + b + c = 0 z z + + D = 0, z (a, b, c) = ( , , D),

posee innitas soluciones habr de ser para C, = 0. Si c = 0 se puede tomar D = 1 y concluimos que

a = ,
Si c = 0 entonces:

b = ,

c = .

a = ,

b = .

24. Supongamos a, c reales, a = 0 y b C. Prubese que

az z + b + + c = 0, z bz
es la ecuacin de una circunferencia del plano.

Solucin. Dividiendo por a y completando cuadrados resulta:

z+

b a

|b|2 ac , a2

que representa la ecuacin de una circunferencia slo si el segundo miembro es positivo.

25. (Cuaterniones de Hamilton). Denimos:

Q = {(a, b, c, d) : a, b, c, d R},
representando los vectores de la base cannica {ei } como {1, i, j, k} de forma que:

z = (a, b, c, d) = a 1 + b i + c j + d k,
con   el producto de un escalar por un vector, smbolo que omitiremos en lo que sigue para escribir a + bi + cj + dk . Se consideran la suma habitual + de vectores y el producto que se dene a travs de las relaciones:

1x = x, ij = k,

x {1, i, j, k}, jk = i,

i2 = j 2 = k 2 = 1, ik = j, kj = i.

ki = j,

ji = k,

El producto a z1 , z2 se determina entonces usando formalmente las propiedades asociativa y distributiva. a) Hllese la expresin del producto (a + bi + cj + dk)(a + b i + c j + d k) b) Prubese que (Q, +, .) es un cuerpo no conmutativo. Se conoce a Q como los cuaterniones. Para z = a + bi + cj + dk , a se dene como la parte escalar del cuaternin z , bi + cj + dk la parte vectorial. c) Dse una interpretacin geomtrica de la parte escalar y la parte vectorial del producto

(bi + cj + dk)(b i + c j + d k)
de dos cuaterniones sin parte escalar. 26. Prubese que si f : C C es C-lineal entonces existe = + i tal que f (z) = z . Demustrese que f induce una aplicacin lineal fR : R2 R2 calculando su matriz A en la base cannica de R2 .

Solucin. Si f : C C es C lineal se tiene

f (z) = f (z,1) = zf (1) = f (1)z = z,

donde = f (1).

27. Sea f : R2 R2 una aplicacin lineal de matriz A = (akl ), fC : C C la correspondiente aplicacin asociada. Dnse condiciones necesarias y sucientes para que fC sea asimismo C-lineal (ecuaciones de Cauchy-Riemann).

Solucin. Si f es C-lineal entonces

w = f (z) = z.
6

Si w = u + iv , z = x + iy , = + i entonces su representacin como aplicacin R-lineal es: u x = . v y Si f : R2 R2 es R-lineal con representacin matricial

u v

a11 a12 a21 a22

x , y

la condicin necesaria y suciente para que dena una aplicacin C-lineal es

a11 = a22 ,
que son las ecuaciones de Cauchy-Riemann. 28. Sean A =

a21 = a12 ,

az + b a1 z + b1 a b a1 b1 , A1 = M22 (C), T (z) = , T1 (z) = las c d c1 d 1 cz + d c1 z + d1 correspondientes aplicaciones bilineales asociadas. Prubese que T = T1 si y slo si A1 = A para algn C.
Solucin. Sean:

f (z) =
Si f = g se tiene

az + b , cz + d

g(z) =

a1 z + b1 . c1 z + d1

(az + b)(c1 z + d1 ) = (a1 z + b1 )(cz + d).

De ah se deduce que:

b b1 = , a a1

d d1 = , c c1

ac1 = a1 c.

Por tanto:

a1 b1 c1 d1 = = = , a b c d donde hemos supuesto que a, b, c, d son no nulos. Se cumple adem que si un denominador es cero el numerador tambin lo es.
Por ejemplo, a = 0 implica c = 0 si a1 = 0 y esto no puede ser pues ad bc = 0. Los dems casos se comprueban igual. El recproco es inmediato.

29. Sean

SL2 =

A=

a b c d

M22 (C) : det A = 1 ,

az + b : ad bc = 0}, cz + d con : SL2 M, la aplicacin natural A T . Prubese que es sobreyectivo. M = {T (z) =

7

30. Una curva C C de clase C 1 se dene como C = {(t) : t [a, b]} donde : [a, b] C es C 1 y (t) = 0 para todo t. Si z0 = (t0 ), v = (t0 ) = 0 se dice que v C es el vector tangente a C en z0 correspondiente a la parametrizacin . Si C1 , C2 inciden en z0 , con vectores tangentes v1 , v2 C asociados a sendas parametrizaciones 1 , 2 , se dice que C1 , C2 se cortan con ngulo:

= (v1 , v2 ) = arg

v2 . v1

a) Prubese que si f (z) = az + b, y las curvas C1 , C2 inciden en z0 con ngulo , entonces las curvas Ci = f (Ci ), i = 1, 2, inciden en f (z0 ) con ngulo . b) Prubese que si f (z) = a + b, C1 , C2 inciden en z0 con ngulo , ahora las curvas z Ci = f (Ci ), i = 1, 2, inciden en f (z0 ) con ngulo 2 . 31. Se considera la funcin f (z) = z 2 = u + iv . Prubese que para cada par de constantes c1 , c2 , c1 c2 = 0, las curvas:

u(x, y) = c1 ,

v(x, y) = c2 ,

se cortan ortogonalmente. Prubese por otra parte que (t) es C 1 se tiene (f ) (t) = 2(t) (t). Demutrese que f preserva el ngulo entre curvas incidentes en C \ {0}. Qu sucede en z = 0?

Solucin. Si las curvas inciden en z0 los vectores normales son:

u(z0 ),
Tales vectores son ortogonales.

v(z0 ).

Por otro lado se tiene que (t) = (f )(t) = (t)2 luego:

(t + h)2 (t)2 (t + h) (t) = l ((t + h) (t)) m = 2(t) (t). h0 h0 h h l m

Si las curvas 1 (t), 2 (t) inciden, 1 (t1 ) = 2 (t2 ). El carcter conforme de f es consecuencia de la relacin: 2 (t2 ) (t2 ) = 2 . 1 (t1 ) 1 (t1 )

32. () Sean T (z) =

az + b y : [a, b] C una parametrizacin C 1 . Prubese que T ((t)) cz + d es tambin una parametrizacin C 1 tal que: (T ) (t) = ad bc (t). (cz + d)2

Demustrese que si C1 , C2 se cortan en z0 con un ngulo entonces T (C1 ), T (C2 ) tambin se cortan en T (z0 ) formando ngulo . 8

Solucin. Poniendo (t) = T ((t)) resulta:

(t) =

a ad bc 1 . c c c(t) + d

Usando las ideas del Captulo 2 para calcular (1/) resulta que

1 c + d

c . (c + d)2

De aqu es ya evidente que si 1 (t), 2 (t) son curvas incidentes con 1 (t1 ) = 2 (t2 ) entonces (t2 ) 2 (t2 ) = 2 . 1 (t1 ) 1 (t1 ) Esto implica el carcter conforme de T .

Soluciones a los ejercicios del Captulo II

1. Hallar las aplicaciones de Mbius que transforman: a) 1, i, 1 en 1, i, 1. b) i, 0, i en 0, i, 2i.

1 c) i, i, 2i en , 0, . 3 Solucin.
a) De

(w, 1, i, 1) = (z, 1, i, 1)
resulta:

1 w= . z (w, 0, i, 2i) = (z, i, 0, i)

b) De se tiene:

w = z + i.
c) Ponemos

1 (z, i, i, 2i) = (w, , 0, ), 3 w= zi . z+i

y obtenemos:

2. Hallar los puntos jos de las aplicaciones:

T (z) =
Solucin.

z1 , z+1

T (z) =

z . z+1

En el primer caso z = i, en el segundo caso z = 0.

3. Prubese que si cuatro puntos distintos {z1 , z2 , z3 , z4 } son colineales o yacen en una circunferencia entonces (z1 , z2 , z3 , z4 ) es real (el recproco es cierto, segn se vio en teora).

Solucin. En el caso de una recta zj = a + tj b, a, b C, t1 , . . . , t4 R. Entonces:

(z1 , z2 , z3 , z4 ) = (t1 , t2 , t3 , t4 ) R.
1

Para una circunferencia zj = z0 + reij , 1 j 4. Poniendo j = eij se tiene:

(z1 , z2 , z3 , z4 ) = (1 , 2 , 3 , 4 ),
ahora:

1 1 1 1 , , , ) = (1 , 2 , 3 , 4 ) = (1 , 2 , 3 , 4 ). 1 2 3 4 Esto prueba que (1 , 2 , 3 , 4 ) es real. (1 , 2 , 3 , 4 ) = (

4. Hallar las imgenes de la circunferencia unidad {|z| = 1} bajo las transformaciones:

1 w= , z

w=

1 , z1

w=

1 . z2

Solucin. En los tres casos la recta real es invariante: f (R {}) = R {} (R = R {}).

La circunferencia D = {|z| = 1} es ortogonal a R . Luego f (D) es ortogonal a R . 1 Si f = , f (D) = D. z 1 Si f = , f (D) es la recta ortogonal a R en z = 1/2. z1 1 Si f = , f (D) es la circunferencia ortogonal a R en z = 1/3 y z = 1. z2 5. Hallar la imagen de { z > 0} bajo T (z) =

az + b , a, b, c, d R, ad bc < 0. cz + d

Solucin.
En primer lugar f (R {}) = R {} (R = R {}). Hace falta saber entonces en qu semiplano est f (i). Pero:

f (i) =
Luego f ({ z > 0}) = { z < 0}.

bd + ac + i(ad bc) . |ci + d|2

6. Determinar una aplicacin bilineal T que transforme { z > 0} en {|z| < 1}. Misma cuestin transformando { z < 0} en {|z| > 1}.

Solucin. En el primer caso { z > 0} es el lado izquierdo de z = 0 con la orientacin {i, 0, i}, D = {|z| < 1} es el lado izquierdo de D respecto de {1, i, 1}. Basta encontrar la f que asocia ordenadamente una orientacin con otra:

(w, 1, i, 1) = (z, i, 0, i),

es decir,

1z . 1+z Esta aplicacin resuelve tambin la segunda cuestin. w=i

2

7. Calcular una aplicacin bilineal T que transforme:

{|z| < 1, z > 0},

en

{ z > 0, z > 0}.

Solucin.
Formamos la aplicacin f que transforma ordenadamente {1, 0, 1} en {0, 1, }. Orientando R con {1, 0, 1} su lado izquierdo es { z > 0}. Entonces f (R ) = R y el lado izquierdo de f (R ) con respecto a la orientacin {0, 1, } es { z > 0}. Por ello f ({ z > 0}) = { z > 0}. Por otra parte f (D) es una recta, pasa por cero y es ortogonal a f (R ). Con esos datos f (D) = { z = 0}. Asimismo 0 est en la componente interior a D, como f (0) = 1 se tiene que f (D) = { z > 0}. Por tanto f resuelve el problema pues

f (D { z > 0}) = f (D) f ({ z > 0}) = { z > 0} { z > 0}.

Finalmente,

f (z) =

1+z . 1z

8. () Hllese una transformacin bilineal que aplique: 1) la circunferencia |z 4i| < 2 en el semiplano w > w, 2) el centro de la circunferencia en el punto -4, 3) el punto 2i de la circunferencia en el origen.

Solucin. Vamos a resolver el ejericio de dos formas distintas.

A) Llamamos r a la recta w = w. La idea es transformar la circunferencia en r con dos parmetros libres que nos permitan ajustar la condicin f (4i) = 4. Tomamos w = f (z) con: (w, 0, , a + ia) = (z, 2i, 4i + 2ei , 6i). Es decir:

a + ia 2i z 4i 2ei = . i i+e z 6i a + ia w Ha de ser w = 4 para z = 4i luego: 2ei a + ia = , i + ei a + ia w w i + ei =1 , i 2e a + ia 4 i + ei =1 , i 2e a + ia

3

4 i + ei , =1 a(1 + i) 2ei 1 1 = (1 + i)(ei i)ei . a 8

Ahora: y debe ser:

(1 + i)(ei i)ei = 1 + cos sen + i(1 cos sen ), 1 cos sen = 0,

luego nos vales = 0. En ese caso: y a = 4. As:

1 1 = (1 + i)(1 i), a 8 f (2i) = 0, f (4i + 2) = , f (6i) = 4(1 + i).

Ntese que f (4i) = 4 ya garantiza que el interior de la circunferencia se transforma en el semiplano deseado. B) La segunda solucin se apoya en la nocin de simtra con respecto a una circunferencia. Si C es la circunferencia (z, z1 , z2 , z3 ) = 0, y z C, su simtrico respecto a C se dene como el nico z tal que:

(z , z1 , z2 , z3 ) = (z, z1 , z2 , z3 ).
Se demuestra que si C es una recta entonces z es el simtrico de z con respecto a la recta, y que si C es |z z0 | = r entonces:

z z0 = r

z z0 . |z z0 |2

Vase el libro de Conway ([1]). Es evidente que si f es cualquier transformacin bilineal, (f (z)) = f (z ) donde el primer simtrico se considera con respecto a la circunferencia transformada f (C). Para resolver el ejercicio observamos que si C es la circunferencia |z 4i| = 2 entonces:

(4i) = ,
mientras que el simtrico (4) de 4 respecto de r es:

(4) = 4i.
Por tanto, la solucin de nuestro problema es:

(w, 0, 4, 4i) = (z, 2i, 4i, ).

9. Sea S 2 = {(, , ) : 2 + 2 + 2 = 1}, T : S 2 C la proyeccin de Steiner:

T =

, 1

T =

P = N,

T (N ) = . Demustrese que si C es una circunferencia en C entonces T 1 (C) tambin es una circunferencia en S 2 .

Solucin.
Vase la parte de teora.

10. Prubese que la proyeccin de Steiner T : S 2 \ {N } C dene un homeomorsmo.

Solucin.
Vase la parte de teora.

11. Qu transformacin de la esfera S 2 asigna T 1 (1/z) a T 1 (z)?

Solucin.
Se trata de la aplicacin:

(, , ) ( , , )
con

= ,

( , ) = (, ).

Es decir, una rotacin de ngulo alrededor del eje x1 de la esfera. Nota. Ms generalmente, puede probarse que toda rotacin R de la esfera S 2 se representa en la forma R = H f H 1 para una cierta transformacin de Mbius f : C C , siendo H la proyeccin de Steiner.

12. Hallar las imgenes inversas T 1 de los conjuntos: 1) 4) z < 0, 5) |z| < 1, 6) |z| > 1.

z > 0, 2)

z < 0, 3)

z > 0,

Solucin.
1) Hemisferio x2 > 0. 2) Hemisferio x2 < 0. 3) Hemisferio x1 > 0. 4) Hemisferio x1 < 0. 5) Hemisferio x3 < 0. 6) Hemisferio x3 > 0.

13. Se dene la distancia cordal dc en C como:

dc (z, z ) = |T 1 (z) T 1 (z )|,

dc (z, ) = |T 1 (z) N |,

con N = (0, 0, 1). Probar que: |z z | (1 + |z|2 )1/2 (1 + |z |2 )1/2 dc (z, z ) = 1 (1 + |z|2 )1/2 Demostrar que dc (z, ) = l z dc (z, z ). m

z, z C z C, z = .

Solucin. Consultar la parte de teora.

Continuidad, sucesiones, series

14. Probar que los nicos automorsmos continuos de C son f (z) = z y f (z) = z .

Solucin.
Usamos primero la aditividad. Como:

f (z1 + z2 ) = f (z1 ) + f (z2 ),

se tiene:

f (nz) = nf (z),
Tambin: luego:

f (nz) = nf (z),

n = 0, 1, 2, . . . .

1 1 1 nf ( ) = f (z) f ( z) = f (z), n n n

1 1 f ( z) = z, f (qz) = qf (z), n n con q un racional cualquiera. Usando la continuidad concluimos que f (tz) = tf (z) para todo t R pues t = l qn , qn Q y m f (tz) = f (l qn z) = l qn f (z) = tf (z). m m
Ahora interviene la propiedad multiplicativa:

f (z1 z2 ) = f (z1 )f (z2 ).

Lo primero que ocurre es que f (1) = 1 y

f (i)2 = f (i2 ) = f (1) = 1 f (i) = i.

Finalmente

f (z) = f (x + iy) = x + yf (i).

Si f (i) = i, f (z) = z , si f (i) = i, f (z) = z . 6

Nota. Puede probarse que la continuidad es imprescindible para que una funcin aditiva sea lineal. Ejemplos de funciones aditivas que no son lineales fueron obtenidos por G. K. Hamel a principios del siglo XX. En su construccin hizo uso de la nocin de base de un espacio vectorial de dimensin innita. 15. Se consideran las funciones f, g : G C C, G C abierto. Si f, g continuas en z0 G prubese que f + g , , C, f g y f /g (en ste ltimo caso aadiendo g(z0 ) = 0) tambin son continuas en z0 . Si h : C C, abierto, w0 = f (z0 ) y h es continua en w0 demustrese que h(f (z)) es continua en z0 .

Solucin. Copiar directamente la demostracin del caso real.

16. Probar que |z| es Lipschitziana en C de constante 1.

Solucin. En efecto:

||z1 | |z2 || |z1 z2 |.

17. Sea f (z) = z n , f (z) = u(x, y)+iv(x, y). Demostrar que u, v son polinomios homogneos de grado n en x, y . Conclyase de ah que si p(z) es un polinomio de grado n, p(z) = u(x, y) + iv(x, y), entonces u, v son polinomios en x, y de grado n.

Solucin. Si z n = u(x, y) + iv(x, y) est claro que u, v son polinomios en x, y de grado n. La homogeneidad sale de:

u(tx, ty) + iv(tx, ty) = (tz)n = tn z n = tn u(x, y) + itn v(x, y),

luego u(tx, ty) = tn u(x, y) y v(tx, ty) = tn v(x, y) para todo t R. 18. Sean p(z), q(z) polinomios complejos, grado q grado p. El algoritmo de la divisin asegura la existencia de polinomios nicos c(z), r(z), grado r < grado q tales que:

p(z) = c(z)q(z) + r(z).

sese el teorema fundamental del lgebra para probar que si p(z) = z n +a1 z n1 + +an es un polinomio complejo de grado n 1 entonces existen a1 , . . . , as C y enteros m1 , . . . , ms , m1 + + ms = n tales que:

p(z) = (z a1 )m1 . . . (z as )ms .

Conclyase que la descomposicin (1) es nica.

(1)

19. [Polinomio de Taylor de un polinomio] Sea p(z) un polinomio de grado n, z, h C. Demostrar que: n ck k p(z + h) = h , k!
k=0

para coefcientes ck que deben expresarse en funcin de z .

Solucin.
Si
n

p(z) = a0 + a1 z + + an z n =
l=0

al z l ,

entonces:
n n l

p(z + h) =
l=0

al (z + h) =
l=0

al
k=0 n k k=n

l k lk h z k
n n

=
donde:

h k!

l(l 1) . . . (l k + 1)al z
l=k

lk

=
k=0

ck hk ,

1 ck = k!

l(l 1) . . . (l k + 1)al z lk .
l=k

20. Sea p(z) un polinomio. Demustrese que l z p(z) = . m

Solucin.
Tomamos p(z) = a0 z n + a1 z n1 + + an , a0 = 0 y se tiene:

|p(z)| |a0 ||z|n (|a1 ||z|n1 + + |an |),

de donde resulta evidente que |p(z)| cuando |z| . 21. Sea f (z) una funcin racional, z = a un cero del denominador. Prubese la existencia de C y de n Z = {. . . , 2, 1, 0, 1, 2, . . .} tales que:

f (z) (z a)n
Solucin. Si f (z) =
p(z) q(z)

z a.

y z = a es un cero del denominador entonces

f (z) =
con p1 (a), q1 (a) no nulos. Por tanto:

(z a)k p1 (z) , (z a)l q1 (z)

f (z) = 1, za (z a)n l m
con =
p1 (a) , q1 (a)

n = k l.

22. Demustrese que las funciones racionales f (z) =

C en C .

p(z) denen funciones continuas de q(z)

Solucin. La funcin f no est denida en los ceros de q . Para obtener una funcin continua en C denimos f en un cero de q como

f () = = l m
z

p(z) . q(z)

En el peor de los casos = que es un elemento de C . 23. Estudiar los lmites:

a) l 2z iz + zArg z , m
zi

z4 + 1 b) l m , zi z + i f ) l m

z4 1 c) l m , zi z + i

z 2 iz + 2 d) l m , z2i z2 + 4
2

e) l m
z1

z1 , z1

ez + z Log z , z0 1 z 2 Arg z

d) l e1/z . m
z0

Solucin. a) 3 i , , b) i, c) 4i, d) 3 , e) 1 . En el caso de f) el lmite es 1 pues: 2 4 2

z0

l z Log z = l z 2 Arg z = 0. m m
z0

En el caso d) el lmte no existe. Poniendo = Arg z resulta:

e1/z = ecos 2/ ei sen 2/ ,

y el lmite cuando 0+ depende de .

24. Hallar el lmite de zn = n( n z 1).

Solucin.
Si z = ei con = Arg z entonces:

zn = n(1/n cos

an 1) + in sen = n 1/n (1 + 2 ) 1 + in sen , n n n n

donde an est acotada. As:

l zn = l n(1/n 1) + i = l n m m m
donde l bn = 0. Por tanto: m

log bn + n n

+ i,

l zn = log + i. m

25. Se sabe que la serie de

zn converge con |Arg zn | <

|zn |. yn | = |tag n | tag , xn

. Demostrar la convergencia 2

Solucin. Poniendo zn = xn + iyn , n = Arg zn se tiene que:

|
luego:

|zn | {
Como la serie

1 + tag 2 }xn = (sec )xn . |zn | tambin converge.

xn converge, la serie

26. [Frmula de sumacin por partes]. Fijando An = a1 + + an , probar que:

n n1

ak bk =
k=m k=m

Ak (bk bk+1 ) + An bn Am1 bm .

Solucin. Ntese que ak = Ak Ak1 por tanto:

n n n n n1

ak bk =
k=m k=m

A k bk
k=m

Ak1 bk =
k=m n1

Ak bk
k=m1

Ak bk+1

= A n bn +
k=m

Ak (bk bk+1 ) Am1 bm

n1

=
k=m

Ak (bk bk+1 ) + An bn Am1 bm .

27. Supngase que la sucesin An = a1 + + an est acotada y que bn es decreciente con l bn = 0. Prubese que la serie m an bn es convergente.

Solucin. De acuerdo a la frmula de sumacin por partes

n n1

|
k=m

ak bk |
k=m

|Ak |(bk bk+1 ) + |An |bn + |Am1 |bm M (bm bn + bn + bm ) = 2M bm ,

donde M es una cota de An . Como bn 0 la serie es convergente porque cumple la condicin de Cauchy. 28. Demostrar que (criterio de Gauss):

a 1 an = 1 + + o( ), an1 n n
10

con an > 0, a < 1, implica la convergencia de convergencia de la serie hipergeomtrica:

an . Como aplicacin establzcase la

n=0

( + 1) . . . ( + n)( + 1) . . . ( + n) , (n + 1)!( + 1) . . . ( + n)

en el rgimen

( + ) < 0.

Solucin.
Se sabe que:

1 an 1+ = 1 + (a + o(1)) < 1 , an1 n n nan < ((n 1) )an1 ).

para n n0 . Luego: Tomando n > m n0 resulta:

nan < (n 1)an1 an1 (n 1)an1 < (n 2)an2 an2 . . . (m + 1)a(m+1) < mam am ,
y sumando:
n

nan < mam

k=m

ak ,

es decir:

k=m

ak < mam .

Por tanto las sumas parciales de la serie estn acotadas y la serie converge. En cuanto a la serie geomtrica llamamos:

an =
y

( + 1) . . . ( + n)( + 1) . . . ( + n) , (n + 1)!( + 1) . . . ( + n) an ( + n)( + n) = . an1 (n + 1)( + n)

Para estudiar la convergencia absoluta escribimos:

| + n|| + n| (n + 1)| + n| |an | 1= |an1 | (n + 1)| + n| |n2 + ( + )n + | |n2 + ( + 1)n + | , = (n + 1)| + n|

11

de donde:

n
con

|an | 1 |an1 |

= bn cn n{|1 + bn = n , | + n|

+ +1 + 2 | |1 + + 2 |} n n n n cn = n . n+1

Ahora observamos que:

|z1 + 1| |z2 + 1| =
Por tanto

2 (z1 z2 ) + |z1 |2 |z2 |2 . |z1 + 1| + |z2 + 1|

l n{|1 + m
y

+ +1 + 2 | |1 + + 2 |} = n n n n l n m |an | 1 |an1 |

( + 1),

= ( + 1).

29. Estudiar la convergencia de las series:

a) d)
Solucin.

n , (2i)n ein , n

b) e)

n! , (in)n ei/n , n

c) f)

ein , cos in . 2n

Las series a), b) y f) son absolutamente convergentes. En el segundo caso se usa la estimacin de Stirling, n n n! 2n e para probar que: n! 2n M < . n (in) en Las series c) y e) son divergentes. En el segundo caso porque su parte real:

1 cos , n n
es claramente divergente. La serie d) converge como muestra el criterio de Abel (Ejercicio 27).

Referencias
[1] Conway J. B., Functions of one complex variable, Springer, New York, 19**. 12

Soluciones a los ejercicios del Captulo III

1. Estudiar la convergencia de las siguientes funciones en los dominios indicados: a) f (z) = b) f (z) =
k=1

kz k en {|z| < 1}.

1 en { z > 0}. k2 + z

Solucin.
a) Para |z| r < 1:

k|z |
k=1 k=1

krk ,

y la ltima serie es claramente convergente. Por tanto la serie converge uniformemente en cada disco cerrado D(0, r) con r < 1. b) En

z 0 se tiene: 1 |z + k 2 | 1 = {z + k 2 } 1 1 2, z + k2 k z 0.

de donde se concluye la convergencia uniforme de la serie en

2. Sea fn : D C C una sucesin de funciones uniformemente continuas en D, un abierto de C, f = l fn uniformemente en D. Probar que f es tambin uniformemente m continua en D. Supngase adems que las fn son Lischitzianas de constante Ln con sup Ln < . Demostrar que f es Lipschitz en D. Estudiar qu sucede si se suprime la condicin sobre las Ln .

a1 + + an 3. Sea an una sucesin con l an = l. Probar que l m m = l. Qu sucede si n l = ? Aprovchese el resultado para probar que si an es una sucesin de trminos positivos con: an l m = l, an1 entonces l n an = l. m
Solucin. El resultado sobre el lmite de la media aritmtica implica claramente la frmula nal. En efecto:

cn =
luego

an =

an a2 . . . a1 , an1 a1 an ), an1

l log cn = log(l m m

de donde se deduce la frmula para el lmite de la raz n-sima. 1

En el caso del lmite de la media aritmtica ponemos:

a1 + + an |l a1 | + + |l an 1 | |l an | + + |l an | l| + n n n |l a1 | + + |l an 1 | n n |l a1 | + + |l an 1 | + + , n n 2 n 2

si suponemos que |an l| 2 para n n y tomamos arriba n > n . Consecuentemente, la diferencia anterior es menor que si n se toma sucientemente grande como para que el primer trmino sea menor que 2 .

4. Sea

n=0

an z n una serie de potencias para la que existe: l m |an | = R. |an+1 |

Calclese su radio de convergencia.

Solucin. El radio de convergencia es, evidentemente, R (teorema de Hadamard).

5. Calcular los valores de aglomeracin de las sucesiones: a) zn = n1 + (1)n , b) zn = 2n + (1)n + in , c) zn = [2 + cos(n)]e2ni/5 , d) zn = sen(n/2) + i cos(n/6), e) zn = n sen(n/2) + i cos(n/6).

Solucin.
a) {1}, b) {0, 2, 1 i}, c) {3, e2i/5 , 3e4i/5 , e6i/5 , 3e8i/5 },

d) La sucesin cos(n/6) toma 6 valores distintos correspondientes a n = 6 + k con k {0, . . . , 5}, es decir n = 6m + k . En efecto: cos(n/6) = cos(3m +
Se concluye que:

k k k ) = cos(m) cos( ) = (1)m cos( ). 2 2 2 k k + i cos ), 2 6

zn = (1)m (cos
y los valores de aglomeracin son:

k {0, . . . , 5}

= (cos k
e) La sucesin tiene la forma:

k k + i cos ), 2 6

k {0, . . . , 5}.

zn = (1)m ((6m + k) cos

k k + i cos ), 2 6

k {0, . . . , 5},

para n = 6m + k . Los valores de aglomeracin son entonces:

{i cos

k : k = 1, 3, 5} {}. 6

6. Probar que lim an , lim an son valores de aglomeracin de an . Comprobar asimismo que la convergencia de a equivale a la igualdad de tales lmites (N. B. estamos incluyendo en convergencia los casos an ). 7. Sean an , bn son sucesiones tales que l an = a > 0. Probar que lim an bn = a lim bn , m lim an bn = a lim bn . 8. Sea z = ei donde

es racional. Estdiense los valores de aglomeracin de z n . p = , 2 q

Solucin. Si

con (p, q) = 1 entonces la rbita de la sucesin es nita:

{zn : n N} = {ei

2k q

: k = 0, . . . , q 1}

Por tanto tales puntos son sus valores de aglomeracin (se toman innitas veces cada uno). 9. Sea serie
n n=0 an z una serie de potencias nk tambin tiene radio n=k an z

de radio r. Demostrar que para todo k N la de convergencia r.

Solucin. Como:

an z
n=k

nk

1 = k z

an z n
n=k

para z = 0 y el radio de convergencia de tambin es r. 10. Hallar el radio de convergencia de las series:

n=k

an z n es r, el radio de

n=k

an z nk

n=0

(1)n n z , n!

n=0

z 2n+1 , (2n + 1)!

n=0

n! n z , nn

n=0

2n n z . n!

Solucin. En el orden del enunciado los radios de convergencia son: 1) = , 2) = , 3) = e, 4) = .

11. Se sabe que el radio de convergencia de gencia de las series:

n=0

an z n es r > 0. Hallar el radio de conver

np an z n ,
n=0 n=0

|an |z n ,
n=0

a2 z n . n

Solucin. 1) r, 2) r, 3) r2 .
3

12. Hallar el radio de convergencia de cada una de las siguientes series:

a)
n=0

a z , an z n ,
n=0
2

n n

aC a C,

c)
n=0

kn z n, z n! .
n=0

k Z \ {0}

b)

d)

Solucin. a) |a|1 , b) = , 1, 0 dependiendo de si |a| < 1, |a| = 1 o |a| > 1, respectivamente.

c) = |k|1 , d) = 1. 13. Usar la serie
n=0

z n y el producto de series para calcular la suma de la serie

n=0

nz n

Solucin. Se tiene:

(
n=0

z n )2 =
n=0

(n + 1)z n =
n=0

nz n +
n=0

zn,

luego:

nz =
n=0 n=0

(n + 1)z
n=0

zn =

z . (1 z)2

14. Demostrar que el radio de convergencia de la serie:

n=1

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

es 1, discutiendo la convergencia de la serie en los valores z = 1, 1, i.

Solucin. El radio de convergencia es claramente 1 (Hadamard).

Como n(n + 1) es un nmero par, (1)n(n+1) = 1 y la serie converge en z = 1. Se tiene adems que (1)n in(n+1) = (1)k si n = 2k , (1)n in(n+1) = (1)k+1 si n = 2k 1 luego: (1)n n(n+1) (1)k (1)k i = , n 2k 2k 1 n=1
k=0 k=1

y las dos ltimas series son convergentes en virtud de criterio de Abel (Captulo II). 15. Para C se introduce la serie binomial:

1 + z + +

( 1) . . . ( n + 1) n z + . n!

Prubese que tiene radio de convergencia 1. Llamamos f (z) a la funcin denida por la serie en |z| < 1 4

a) Determinar f para N. b) Calcular f1 (z). c) Calcular fn (z), n N. d) Probar que fn (z) = (1 + z)n . A tal n comprebese que:

(1 + z)n fn (z) = 1,
para todo z = 1.

Solucin. Es evidente que el radio de convergencia es 1 (Hadamard).

Por otra parte: mientras:

fn (z) = (1 + z)n ,

f1 (z) =
n=0

(1)n z n =

1 . 1+z

lo cual da respuesta a las cuestiones a), b). Para dar respuesta a las cuestiones c) y d) probamos por induccin la identidad siguiente:

n ( 1) . . . ( n + 1) + + 0 n n ( 1) . . . ( n+1). (1) . . . (k+1)( 1) . . . ( n+k+1)+ + n k (0.1) ( + )( + 1) . . . ( + n + 1) =

La igualdad implica que:

( + )( + 1) . . . ( + n + 1) ( 1) . . . ( n + 1) = + + n! n! ( 1) . . . ( k + 1)( 1) . . . ( n + k + 1) ( 1) . . . ( n + 1) ++ . k!(n k)! n!

El segundo miembro es el coeciente de z n en el producto de las series f y f , mientras el primer miembro es el coeciente de z n en la serie f+ . Por tanto se concluye que

f+ = f f .
De aqu:

(0.2)

fn = (f1 )n = (1 + z)n .

La frmula (0.2), probada en esta manera intrnseca, reviste gran inters. Por ejemplo:

(f 1 )2 = 1 + z,
2

y f 1 dene una representacin analtica directa de la raz cuadrada de 1 + z en |z| < 1.

2

La identidad (0.1) se prueba por induccin. Llamando In al primer miembro:

In = In1 + In1 .
Conviene escribir el primer sumando como:

In1 = ({ 1} + ) . . . ({ 1} + (n 2)) n1 = ( 1) . . . ( 1 (n 2)) + + 0 n1 ( 1) . . . ( 1 (k 1))( 1) . . . ( (n 1 k 1)) + + k n1 ( 1) . . . ( (n 2)), 0

en cuyo desarrollo hemos usado la hiptesis de induccin. En cuanto al segundo ponemos:

In1 = ( + { 1}) . . . ( + { 1} (n 2)) n1 . . . ( (n 2)) + + = 0 n1 . . . ( (l 1))( 1) . . . ( 1 (n 1 l 1)) + + l n1 ( 1) . . . ( 1 (n 2)). 0

Al efectuar la suma In1 + In1 el trmino de ndice k en el primer sumando se agrupa con el trmino de ndice k + 1 del segundo sumando para dar:

n1 n1 + k k+1 =

( 1) . . . ( k)( 1) . . . ( (n k 2)) n ( 1) . . . ( k)( 1) . . . ( n + k + 2)). k+1

Procediendo con todos los trminos concluimos que:

In1 + In1 = In ,
que es lo que se buscaba. 16. Desarrollar senh z , cosh z en serie de potencias de z .

Solucin.
Basta observar que

senh z = i sen(iz)

cosh z = cos(iz).

17. Comprubese que:

cos z = cos x cosh y i sen x senh y, sen z = sen x cosh y + i cos x senh y.
18. Usando la denicin de las funciones sen z, cos z prubense las relaciones clsicas:

cos2 z + sen2 z = 1, cos(

cos(z) = cos(z), sen(

sen(z) = sen z,

z) = sen z, 2 cos(z + w) = cos z cos w sen z sen w, 1 + tag 2 z = sec2 z,

z) = cos z, 2 sen(z + w) = sen z cos w + cos z sen w, cos 2z = cos2 z sen2 z.

19. Demostrar que los ceros de las funciones cos z, sen z coinciden con los de sus restricciones al eje real.

Solucin. Si sen z = 0 es porque:

e2iz = 1

2z = 2k

z = k,

con k Z, que son los ceros de sen x como funcin real. El caso del coseno se trata de la misma forma. 20. Determnese el mayor dominio G donde Log (z 3 + 1) es continua.

Solucin. La funcin Log es discontinua en {z 0} por lo que f (z) = Log (z 3 + 1) es discontinua en los puntos z C tales que

z 3 + 1 {w 0}.
Se comprueba que tales puntos son los del segmento (, 1] y sus rotaciones de ngulo 2 , es decir: 3 4 2 (, 1] e 3 i (, 1] e 3 i (, 1].

21. Probar que la restriccin f (z) de tag z a G = { sobre su imagen = C \ {i}. Demostrar que:

< z , z = } es biyectiva 2 2 2 1 + iz 1 iz

g(z) := f 1 (z) =

1 Log 2i

Prubese que dicha funcin es continua en = C \ {ti : t R, |t| 1}. Se denomina al par (g, ) la rama principal de la funcin arcotangente g(z) = Arctag z .

Solucin. La tangente cumple:

tag (z + ) = tag z,
7

luego tag z no puede ser inyectiva en bandas a

z a + l si l .

La aplicacin e2iz es biyectiva de G en C \ {1, 0}. La aplicacin

h() = i

1 1+

es biyectiva de C \ {1, 0} en =: C \ {i, i}, luego tag z lo es de G en . Adems

tag (
pues

ti) = tag ( + ti), 2 2

ti) = tag ( + ti) = tag ( + ti). 2 2 2 Ya se prob (vase la parte de teora) que tag ( 2 + i(0, )) = i(1, ). tag (
La funcin

1 Log 2i

1 + iz 1 iz

invierte a la tangente en = C \ {i, i}. Es discontinua en los z tales que

1 + iz 1 iz

0,

es decir T 1 ((, 0]) donde T (z) = 1 + iz/1 iz . Resulta que

T 1 (z) = i
y que

z1 , z+1

T 1 ((, 0]) = i(, 1) i[1, ).

Por tanto (g, ) con = C \ {i(, 1) i[1, )} dene una rama de inverso de la tangente. 22. Demostrar que la funcin:

g(z) = i Log ( 1 z 2 + iz),

es continua en = C \ {z 1, z 1} y cumple sen(g(z)) = z . Se la conoce como la rama principal de la funcin arcoseno: f (z) = Arcsen z .

Solucin. Nos centramos en continuidad de g pues las otras cuestiones han sido ya la tratadas en la teora. Ahora 1 z 2 es continua en C \ (, 1] [1, ) y ya hemos visto que ( 1 z 2 + iz) > 0 para z C \ (, 1] [1, ), de donde concluimos la continuidad.

23. Determinar una funcin continua g denida en G := C \ {x 1, x 1} tal que cos(g(z)) = z en G. Indicacin. sese la funcin Arcsen z .

Solucin. Como

cos(
entonces

z) = sen z, 2

cos(
Luego:

Arcsen z) = sen Arcsen z = z. 2 g(z) = Arcsen z. 2

24. Dada f (z) = sec z , prubese que g(z) = y que sec(g(z)) = z para todo z G.

Arcsen 2

1 z

es continua en G = C\[1, 1]

1 1 Solucin. Como z z aplica [1, 1] en R \ (1, 1) entonces arc sen z es continua en C \ [1, 1] y claramente: 1 sec(Arcsen ) = z. z

25. Prubese que todo polinomio p(z) dene una funcin entera. Hallar su desarrollo en serie de potencias de z z0 .

Solucin. Basta usar la frmula de Taylor para polinomios (Captulo II) para desarrollar p(z) como una suma nita de potencias de z z0 .

26. Demustrese que los polinomios complejos son sobreyectivos. Y las funciones racionales? y las enteras?

Solucin. Que los polinomios complejos son sobreyectivos es consecuencia del teorema fundamental del lgebra. Por la misma razn si una funcin racional toma la forma:

r(z) =

a0 z n + + an b0 z m + + bm

a0 b0 = 0,

entonces slo excluye el valor a0 /b0 cuando n = m, en los restantes casos es sobreyectiva. Las funciones enteras pueden no ser sobreyectivas como muestra el ejemplo de la exponencial ez que excluye el valor 0. No obstante, es consecuencia de un teorema de Picard que una funcin entera excluye a lo sumo un valor complejo.

27. Estdiese la sobreyectividad de las funciones seno y coseno (vase el Ejercicio 22). 9

28. Prubese que si f (z) =

n=0

an z n = 0 en |z| < r entonces an = 0 para cada n N.

Solucin. Haciendo z = 0 sale a0 = 0. Entonces

f (z) = zf1 (z),

f1 (z) =
n=1

an z n1 .

Al ser f1 (z) = 0 para todo z = 0 resulta, por continuidad, f1 (0) = 0, luego a1 = 0. Se procede de esta forma para concluir que todos los coecientes an = 0. 29. Calcular el desarrollo en serie de potencias de z z0 de la funcin:

f (z) =
con z0 = d/c, c = 0.

az + b , cz + d

Solucin. Podemos escribir

f (z) =

a az0 + b + c c

1 z z0

Basta entonces con representar la ltima fraccin en serie de potencias de z z1 para z1 = z0 . Esto es sencillo pues:

1 1 1 1 = = = z z0 z z1 + z1 z0 z1 z0 1 z z1 z0 z1
siendo la serie convergente en |z z1 | < |z z0 |.

n=0

(1)n (z z1 )n , (z1 z0 )n+1

30. Usando la descomposicin en fracciones simples demustrese que toda funcin racional f (z) es analtica en su dominio de denicin G. Dado un z0 G qu mide el radio de convergencia de su desarrollo en serie de potencias de z z0 ?

Solucin. Usando la descomposicin en fracciones simples escribimos la funcin como la suma de un polinomio y trminos de la forma: a . (z z0 )n
Estas fracciones son como consecuencia del ejercicio anterior analticas en C \ {z0 }. Por tanto la funcin es analtica en C \ {z1 , . . . , zM } donde {z1 , . . . , zM } designa el conjunto de ceros del denominador. 31. Desarrollar en serie de potencias las funciones:

f (z) =

1 , 1 + z2

g(z) =

1 , (z 2 + 1)2

h(z) =

1 , (z 2 + 1)3

en cada uno de los puntos a de sus dominios de denicin (que son el mismo).

Solucin. Vanse los ejercicios anteriores.

10

32. Supngase que f (z) es analtica en un dominio G. Deniendo g(z) = f () en el dominio z z G := {z : z G} demostrar que g tambin es analtica.

Solucin. Si z0 G entonces z0 G y como f es analtica, entonces:

f () =
n=0

an ( z0 )n ,

para | z0 | < r. Por tanto:

g(z) = f () = z
n=0

an ( z0 ) = z
n=0

an (z z0 )n ,

para |z z0 | < r, y hemos terminado. 33. Supongamos que f (z) es analtica y no constante en un dominio G. Demostrar que f (z) no puede ser analtica en G.

Solucin. Si

f (z) =
n=0

an (z z0 )n ,

f (z) =
n=0

bn (z z0 )n

resulta que

an (z z0 )n +
n=0 n=0

bn (z z0 )n =
n=0

(an + bn )(z z0 )n

es real para |z z0 | pequeo. Tomando z z0 = t con t real resulta que

(an + bn )n tn
n=0

es real para |t| pequeo, lo que signica que los nmeros

(an + bn )n R
para n 1 y || = 1. Esto obliga a an + bn = 0 para todo n 1. Como

f (z) f (z) i es real, un argumento similar prueba que: an bn n = 0, i

11

para todo n 1 y || = 1. Por tanto an bn = 0 para n 1 y con la conclusin anterior se llega a que: f (z) = a0 , en D(z0 , r) y f es localmente constante. Por otro lado el conjunto:

{z G : f (z) = a0 },
es abierto y cerrado en G con lo que coincide con G y f es constante. Como esto va contra lo supuesto, f (z) no puede ser analtica. 34. Una serie de potencias formal en z = se dene como:

n=0

an , zn

an C. Se dene el radio de convergencia r de la serie como r = nf{|z| : la serie converge en z , z = 0},

poniendo r = 0 si la serie diverge en todo z . Obtngase una expresin al estilo Hadamard del radio de convergencia de la serie, probando que sta constituye una funcin continua en |z| > r, con lmite nito en el innito.

Solucin. La serie converge en un punto z = 0 si la serie

an n ,
n=0

(0.3)

converge en =

1 con los variando de forma que la serie (0.3) converge. El radio de convergencia sup || es as: r = lim n |an |.

1 1 . Por tanto la cantidad |z| donde la serie converge es nf nf = z ||

35. Se dice que un dominio G contiene al punto del innito si G C \ D para algn disco de C. Diremos que f : G C es analtica en G {} si es analtica en G (Denicin ??) y se representa por una serie de potencias en z = en un entorno C \ D de dicho punto. Prubese que f es analtica en G {} si y slo si g(z) = f (1/z) es analtica 1 en = { : z g} y adems admite una extensin analtica a un cierto disco D(0, R). z Prubese que toda funcin racional f (z) acotada cuando z es analtica en el innito.
1 Solucin. Como z es analtica, g en analtica en por ser composicin de funciones analcticas. Por otra parte, si f es la suma de una serie en el innito,

f (z) =
n=0

an , zn

12

donde la serie converge para |z| > r. Por tanto:

1 g(z) = f ( ) = z

an z n ,
n=0

es convergente en |z| < r1 y la serie del segundo miembro dene la extensin analtica de g a la bola D(0, r1 ). Luego g es analtica en {0}. Si

f (z) =

p(z) q(z)

con p, q polinomios, est acotada cuando z es porque el grado de p es menor o igual que el grado de q y f se escribe tras posible divisin polinmica como la suma de una constante compleja, ms trminos de la forma (fracciones simples):

a . (z zj )m
stos se representan con desarrollos en z = . Basta hacer =

1 para tener: z

a a m = =a (z zj )m (1 zj )m
que dene una serie de potencias en

k zj k+1 k=0

1 , convergente para |z| > |zj |. z

36. Hallar el desarrollo de f (z) =

az + b en serie de potencias de 1/z (c = 0). cz + d Solucin. Siguiendo las instrucciones del ejercicio anterior: f (z) = b + a b 1 b = + = + d d + c d c 1 + c d c

(1)n
n=0

d c

1 zn

La serie converge si |z| > d . c

Complementos
1. Demustrese que:

sen z z,

cos z 1

z2 , 2

tag z z,

ez 1 z,

Log (1 + z) z

cuando z 0. A tal efecto resulta de utilidad el Ejercicio 9.

Solucin. Se tiene que:

sen z = z + z 3
k=2

(1)k1
13

z 2k4 (2k 1)!

= z + z 3 g(z),

donde g es continua en z = 0. De ah est claro que:

sen z = 1. z0 z l m
Anlogamente:

z2 z 2k4 z2 cos z 1 = + z 4 (1)k = + z 4 h(z), 2 2k! 2 k=2

donde de nuevo h es continua en z = 0 y por tanto:

cos z 1 = 1. 2 z0 z2 l m
Finalmente:

tag z 1 sen z = l m = 1. z0 cos z z z En los dos casos restantes se procede de idntica manera. En particular, si
z0

l m

ez 1 = 1, z0 z l m
y llamamos w = ez 1, z = Log (w + 1) y concluimos:
w0

l m

w = 1. Log (w + 1)

14

Soluciones a los ejercicios del Captulo IV

1. En qu puntos es derivable la funcin f (z) = |z|2 ?

Solucin. Siendo f = x2 + y 2 y v = 0 la funcin slo es derivable en z = 0.

2. Estudiar la validez de las ecuaciones de Cauchy-Riemann en z = 0 para la funcin f (z) = |xy|. Es derivable en el origen?, es derivable en algn otro punto?

Solucin. Siendo v = 0 la funcin f es diferenciable desde el punto de vista real en xy = 0 pero no lo es all como funcin compleja.
Por otra parte ux no existe en los puntos (0, y), y = 0, uy tampoco existe en los puntos (x, 0), x = 0. Finalmente ux = uy = 0 en (0, 0) luego se cumplen las condiciones de Cauchy-Riemann en el origen sin embargo, para = 0:

f (z) f (0) z =

|xy| = r

1 | sen 2|. 2

Como no es cierto que r1 |f (z) f (0) z| 0 cuando r 0 la funcin no es diferenciable desde el punto de vista real. Conclusin: f no es derivable en punto alguno. 3. Estudiar la diferenciabilidad de la funcin f (z) = x2 + iy 2 .

Solucin. La funcin es derivable en {x = y}.

Ntese que esta funcin no es derivable en ningn abierto del plano complejo C por tanto carece de todo inters. 4. Calclense las derivadas de las siguientes funciones:

a) tag z,

b) cotang z,

c) sec z,

d) cosec z,

e) arctag z, i) arccosec z,

f ) arcsen z,

g) arccosen z,

h) arcsec z,

en donde para las funciones circulares inversas arc se toman las ramas principales (ver los Ejercicios del Captulo III).

Solucin. Las derivadas de las funciones tag z , cotang z , sec z y cosec z coinciden con las de las correspondientes funciones reales, con la variable independiente tomando valores en C.
Se ha probado en el presente captulo que todas las ramas de inversa g de la tangente (ramas de la arcotangente) tienen derivada:

g =
1

1 . 1 + z2

En el caso de las funciones arcoseno g(z) (z ) se ha de cumplir que:

g (z) =
En el caso de la funcin Arcsen z se tiene:

1 . 1 z2

Arcsen z =

1 , 1 z2

como se comprueba usando la identidad (Captulo III): Arcsen z = i Log {iz + 1 z 2 }. Usando los ejercicios del Cap. III se tiene que:

Arccos z =
de donde

Arcsen z, 2 1 . 1 z2 1 z

Arccos z =
Asimismo: Arcsec z = Arccos luego: Arcsec z =

1 z

Arcosecp z = Arcsen

z2

1 , 1 z 2

Arcosecp z =

z2

1 . 1 z 2

5. Comprubense las siguientes relaciones: a) Argch z = Log (z + z 2 1),

b) Argsh z = Log (z +

z 2 + 1),

1 z+1 Log , 2 z1 donde se ha usado la rama principal de la raz cuadrada. Calclense las derivadas de dichas funciones. c) Argth z =
Solucin. Este ejercicio nos sirve para introducir las ramas principales de las inversas de las funciones hiperblicas.
Comenzamos con Argsh z . Se tiene:

senh z = i sen iz.

As:

w = senh z

w = i sen iz
2

z = iArcsen iw.

Por tanto:

z = Log (w +

1 + w2 ) = Log (w +

1 + w2 ),

donde se ha usado que Log

1 = Log z . As, z 1 + z 2 ),

Argsh z = Log (z +

y su dominio de holomorfa es \ {ti : t 1}. Por tanto:

Argsh z =
Para Argth z se razona igual:

1 . 1 + z2

tanh z = w
por tanto:

w = itag iz 1 Log 2 1w 1+w

z = iArctag iw, 1 Log 2 1+z 1z 1+w 1w ,

z=
De aqu:

Argth z =

1 Log 2

y su dominio de holomorfa es C \ {z 1, z 1}. Usando la frmula precedente o razonando como en el caso de la arcotangente se concluye que:

Argth z =

1 . 1 z2

Nos ocupamos nalmente del coseno hiperblico. Conviene aqu proceder como en el caso real. A saber: w = cosh z e2 z 2wez + 1 = 0 ez = w w2 1. La eleccin de la funcin argumento principal del cosh consiste en tomar el signo  +, como en el caso de la correspondiente funcin real. As: g(z) = Log (z + z 2 1), es la extensin compleja de la funcin Argch x, x R. La funcin z 2 1 es holomorfa en C \ { z = 0} [1, 1] que no es conexo. Como cosh x (1, ) para x > 0, tomamos como dominio de g el conjunto:

= { z > 0} \ [0, 1]. La funcin g es holomorfa en porque (z + z 2 1) > 0 en . Adems, esto implica que: g() {| z| < }. 2
3

Como (g, ) es una rama de inversa de cosh z es entonces inyectiva. Adems es abierta porque: g (z) = 0 en y podemos aplicar el teorema de la funcin inversa. Por tanto G = g() es un dominio. Con esto se alcanzan en principio los objetivos del apartado a) si aadimos adem'as que: 1 Argch z = 2 . z 1 No obstante se puede dar ms informacin sobre G = g(). Por un lado que:

g() = G {| z| <
Esto es consecuencia de que

} { z > 0}. 2

|z +

z 2 1| = 1

en . De hecho tal cantidad siempre es mayor que la unidad. En efecto,

|z +
es decir,

z 2 1|2 = 1

|z|2 + |z 2 1| + 2

z 2 1 = 1, z

|z 2 1|2 + 4(
de donde

z 2 1)2 + 4|z 2 1| z

z 2 1 = (1 |z|2 )2 , z

2(|z|2 z 2 ) + 4( z 2 1)2 + 4|z 2 1| z z 2 1 = 0, z 2y 2 + 4( z 2 1)2 + 4|z 2 1| z z 2 1 = 0. z

Como la expresin original es invariante frente a conjugacin podemos suponer que y > 0 ya que si y = 0, z es real y entonces |z + z 2 1| > 1. Como los restantes trminos de la expresin anterior son no negativos, esto es imposible y concluimos que:

|z +
en . Finalmente, cosh z aplica la regin

z 2 1| > 1

B =: {| z| <

} { z > 0} 2

en pues cosh z = cosh x cos y + i senh x sen y . De aqu:

G() = B.

6. Estudiar la derivabilidad de la funcin log(log(log z)).

Solucin. f (z) = log(log(log z)) es composicin de log z con log(log z). sta es derivable en C \ {z 1} pues log z 0,
signica que log |z| 0 junto con Arg z = 0. La ltima condicin dice que z > 0, la primera z 1. Luego log(log z) es derivable en los restantes puntos es decir en C \ {z 1}. Para encontrar los puntos de derivabilidad de f (z) hay que excluir los z tales que:

log(log z) 0,
es decir:

log(| log z|) 0 Arg (log z) = 0

| log z| 1 log z 0

log |z|2 + Arg z 2 1 log |z| 0 & Arg z = 0

y las condiciones se reducen a z [1, e]. Por tanto el dominio de derivabilidad de f es C \ {z e}. La derivada de f es evidentemente:

f =

1 . z(log z)(log(log z))

7. Para cada una de las funciones siguientes hllese el dominio de holomorfa y su derivada:

f (z) =

ez 1 , ez + 1

f (z) = cosec

z,

f (z) = sec

z,

1 f (z) = etag z , z

sen( iz + 1) f (z) = , z2 + 1 3

f (z) = cos

ez 1.

8. Las mismas cuestiones que en el Ejercicio 7 para las funciones:

f (z) =

z 4 1,

f (z) = Arcsen z 2 ,

f (z) = eArctag

i z

f (z) = (z 2 + 1)z ,

f (z) = Log ( Log z),

f (z) = (1 + ez ) Log (1 + ez ).

9. Para a C \ {0} se dene la rama principal de z a como:

z a = ea Log z ,
donde Log z designa la rama principal del logaritmo. a) Prubese que la denicin dada coincide con z n , z n y la rama principal de z 1/n para n N. b) Prubese que z a z b = z a+b , a, b C. 5

c) Prubese que z a es holomorfa en C \ {z 0} con (z a ) = az a1 .

Solucin. Para a) basta observar que: n Log z = Log z n + 2k y que Log n z .

El apartado b) es obvio y para c):

1 n

Log z =

a (z) = ea Log z

= ae Log z ea Log

= az a1 .

10. Hallar todas las funciones f (z) holomorfas en C que cumplen:

f (z) = f (z),
para un nmero complejo dado C.

Solucin. Toda solucin cumple (ez f ) = 0 luego

f (z) = ez z0 ,
para cierto z0 C. De hecho, tal funcin es la nica solucin que satisface la condicin:

f (0) = z0 .

11. Usar el Ejercicio 10 para dar una nueva demostracin de que:

ez1 +z2 = ez1 ez2 .

Indicacin. Comprense las funciones e+z y e ez . Solucin. La funcin g(z) = e+z satisface la ecuacin f = f y cumple f (0) = e . Usando el ejercicio anterior tal solucin ha de ser:

f (z) = e ez .

12. Hallar todas las funciones enteras f (z) tales que:

f (z) + f (z) = 0
en C.

Indicacin. Imitar argumentos similares al caso real. Solucin. Para una solucin f denimos

g(z) = f (0) cos z + f (0) sen z.

6

Queremos probar que f = g . A tal efecto h(z) = f (z) g(z) es solucin de la ecuacin con h = h = 0 en z = 0. Como h 2 + h2 es constante (Captulo I) se tiene:

h 2 + h2 = 0
en C. De ah:

(h ih)(h + ih) = 0,
y usando el Ejercicio ?? del Captulo III concluimos que uno de los factores es cero en C. Si por ejemplo el primer factor es nulo:

h = z0 eiz ,
con h(0) = 0. Esto dice que z0 = 0 y h = 0 en C. Como h = 0 resulta:

f (z) = f (0) cos z + f (0) sen z

y todas las soluciones de la ecuacin son combinaciones lineales complejas de cos z y sen z .

13. Se introdujo en el captulo anterior la serie binomial:

g (z) = 1 + + +

( 1) ( n + 1) n z + . n!

Hllense las derivadas de todos los rdenes de g en z = 0. Recurdese que g (z) coincide con (1 + z) para valores signicativos de .

Solucin. En virtud del desarrollo en serie,

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

14. Se considera la rama principal de (1 + z) ( C). Tras determinar el dominio de holomorfa de dicha funcin calclense las derivadas sucesivas de (1 + z) en dicho dominio. Cunto valen stas derivadas en z = 0? Comparar con el Ejercicio 13.

Solucin. Como:

f (z) = (1 + z) = e Log

(1+z)

el dominio de holomorfa es evidentemente:

C \ {z 1}.
Adems:

f (z) =

(1 + z) = (1 + z)1 , (1 + z) = Log (1+z) (1 + z) e

7

pues: Por tanto: y

1 = e Log 1+z

(1+z)

= (1 + z)1 .

f (n) (z) = ( 1) . . . ( n + 1)(1 + z)n , f (n) (0) = ( 1) . . . ( n + 1).

15. Existen funciones holomorfas f tales que u =

f = x2 + y 2 ?

Solucin. La respuesta es no: u no es armnica.

16. Hallar las funciones holomorfas f tales que

f = x2 y 2 .

Solucin. Si la funcin f = u + iv entonces:

vx = 2y vy = 2x,
con lo que:

v(x, y) = 2xy + (y).

Adems como vy = ux :

(y) + 2x = 2x,
y es constante. As v = 2xy + C y

f = z 2 + C.

17. Se sabe que f es entera con:

f (z) = u(x) + iv(y).

Probar que f es lineal.

Solucin. De las ecuaciones de Cauchy-Riemann se sabe que:

u (x) = v (y),
para todo x, y R. Por tanto, ha de existir una constante c tal que:

u (x) = v (y) = c.
As:

u(x) = cx + a,
para a, b constantes reales y f = cz + a + bi.

v(y) = cy + b,

18. Determinar la funcin entera f (z) que satisfaga f (1 + i) = 0.

f (z) = 3x2 4y 3y 2 ,

f (0) = 6 y

Solucin. Se han de encontrar u y v sabiendo que f = u + iv es entera, y que:

ux = 3x2 4y 3y 2 u(0, 0) = 6 u(1, 1) = v(1, 1) = 0.

Bien: Asimismo:

ux = 3x2 4y 3y 2

u = x3 4xy 3xy 2 + (y).

vy = 3x2 4y 3y 2
Como:

v = 3x2 y 2y 2 y 3 + (x).

uy = vx ,
entonces:

4x 6xy + (y) = (6xy + (x)), (y) = 4x (x),

con lo que

(y) = 4x (x) = c1 ,
para una cierta constante c1 . De aqu:

(y) = c1 y + c2 ,
donde c2 y c3 son constantes. Luego:

(x) = 2x2 c1 x + c3 ,

u = x3 4xy 3xy 2 + c1 y + c2 v = 3x2 y 2y 2 y 3 + 2x2 c1 x + c3 .

Como u(0, 0) = 6, c2 = 6. Por otro lado:

1 4 3 + c1 + 6 = 0 , 3 2 1 + 2 c1 + c3 = 0
dan c1 = 0, c3 = 2.

19. Demostrar que si f : G C C es holomorfa en un dominio G y f (z) R para todo z G entonces f es constante.

Solucin. Poniendo f = u + iv resulta v = 0 y

u = 0 en G. Por tanto u es constante.

20. Sea G un dominio y f : G C una funcin holomorfa que toma sus valores en {|z| = 1}. Demostrar que f es constante.

Solucin. A) Primera solucin. De:

u2 + v 2 = 1,
salen:

uux + vvx = 0,

uuy + vvy = 0,

y como (u, v) = (0, 0) existe = (x, y) tal que:

(ux , vx ) = (uy , vy ).
De las ecuaciones de Cauchy-Riemann:

(ux , uy ) = (uy , ux ).
Concluimos u = 0 porque supuesto que u = 0 habra de ser = 0 pero multiplicando la ltima igualdad escalarmente por (uy , ux ) sale:

| u|2 = 0,
que no es posible. Por tanto

u = 0,

v = 0 y f es constante.

B) Segunda solucin. Tomamos un aplicacin bilineal g que transforma D en R con g(1) = . Si G1 = G \ {f 1 (1)} es consecuencia del principio de prolongacin analtica (Captulo V) que G1 es un dominio. Como g f es holomorfa en G1 con valores reales entonces f es constante en G1 y como {f 1 (1)} es un conjunto discreto en G (principio de prolongacin analtica) entonces f es constante en G. 21. Se expresan las partes real e imaginaria u(x, y), v(x, y) de una funcin compleja f en coordenadas polares para tener U (r, ) = u(r cos , r sen ), V (r, ) = v(r cos , r sen ). Admitiendo la existencia de todas las derivadas parciales primeras, determnese la forma polar de las ecuaciones de Cauchy-Riemann. Aplicar el resultado para estudiar la holomorfa de las funciones,

a) rn cos n + irn sen n,

b) r1/n cos

+ ir1/n sen , n n

c) log r2 + 2i, , R.

d) r e cos( + log r) + ir e sen( + log r)

Solucin. La versin en coordenadas polares de las ecuaciones de Cauchy-Riemann son:

rUr = V ,
En efecto:

U = rVr .

ux = Ur rx + U x uy = Ur ry + U y .
10

Por tanto:

Ur rx + U x = Vr ry + V y Ur ry + U y = (Vr rx + V x ). sen r cos , r

Usamos ahora que:

rx = cos
para obtener:

ry = sen

x =

y =

cos Ur sen Ur +

sen cos U = sen Vr + V r r

cos sen U = cos Vr + V . r r Multiplicando la primera ecuacin por cos , la segunda por sen y sumando da: 1 Ur = V . r
Multiplicando ahora la primera por sen y la segunda por cos obtenemos:

1 U = Vr . r
En el ejemplo de

z = r1/n cos n + ir1/n sen n se tiene:

rUr = rVr =

1 1/n r cos = V , n n

1 1/n r sen = U . n n

22. Estudiar el dominio de holomorfa de la funcin:

f (z) = exp i Log

1+z 1z

1/2

calculando su derivada. Cul es la imagen del disco unidad {|z| < 1} mediante f ?

Indicacin. Es un anillo.

Solucin. Para z C \ {z 0}, Arg ( z) ( , ) por tanto Log z es holomorfa 2 2 en z C \ {z 0}. Nuestra funcin f es holomorfa en C \ {z : i
Ahora:

1+z 1z

= t, t 0}. t+i ti

z+1 = t z + 1

iz + i =t z1
11

z=

t 0.

Buscamos entonces la imagen del segmento [0, ) {} mediante la aplicacin:

g(w) =

w+i . wi

Tenemos que g trasforma iR (R = R {}) en R , mientras g transforma R en: a) una circunferencia (g slo se hace innita en w = i), b) ortogonal al eje real R , c) que pasa por g(0) = 1 y g() = 1. Por tanto g transforma el eje real en {|z| = 1}. Como g(1) = i y g([0, ) {}) es un arco de D que empieza en 1, termina en 1 y contiene a i entonces

g([0, ) {}) = D { z 0} =: D+ .
En conclusin f es holomorfa en En cuanto a la segunda parte

C \ D+ . h(z) = i 1+z 1z

z+1 transforma D en el semiplano { z > 0}. De hecho z+1 preserva el eje real y transforma D en { z > 0} que tras ser girado da lugar a { z > 0}. 2 La aplicacin z transforma { z > 0} en el primer cuadrante { z > 0, z > 0}.

La aplicacin Log z transforma el primer cuadrante { z > 0, z > 0} en la banda abierta {0 < z < } quien multiplicada por i acaba en la banda {0 < z < } y al 2 2 aplicarle la exponencial resulta el anillo:

{z : 1 < |z| < e/2 }.

Precisamente f (D) = D.

23. Sea f una funcin holomorfa en un dominio G C. En G = { : z G} se dene z f (z) = f ()). Probar que f es tambin holomorfa. z

Solucin. Si f = u + iv entonces:

u (x, y) = u(x, y)

v (x, y) = v(x, y),

y es inmediato comprobar que se cumplen las condiciones de Cauchy-Riemann. 24. Sea una curva C 1 a trozos parametrizada por : [a, b] C con (a) = z0 , (b) = z1 . Supongamos que f = u + iv es holomorfa en un dominio convexo G y que G. Prubese que la integral:

uy dx + ux dy,

12

slo depende de z0 , z1 .

Solucin. En realidad, sobra la condicin de convexidad porque:

uy dx + ux dy =

vx dx + vy dy = v(z1 ) v(z0 ).

Naturalmente, hemos usado Cauchy-Riemann en la primera identidad. 25. Sean fn : G C C diferenciables en G con derivadas continuas 1 y tales que fn f , fn g uniformemente en G. Prubese que g = f .

Solucin. Introducimos primero unas pocas nociones que tratamos in extenso en el prximo captulo.
Para f : [a, b] C continua se dene la integral:
b b b

f (t) dt =
a a

f1 (t) dt + i
a

f2 (t) dt

donde f1 = f , f2 = f2 . Es inmediato que para funciones continuas f, g : [a, b] C se comprueba inmediatamente que
b b b

f + g =
a a

f +
a

para constantes complejas , C. Asimismo y consecuencia del teorema fundamental del clculo que si f C 1 ([a, b], C) entonces:
b

f = f (b) f (a).
a

Nos ocupamos ahora del ejercicio, donde las funciones fn , f, gn y g son de variable compleja. Para z0 G y h C pequeo escribimos:
1 1

fn (z0 + h) fn (z0 ) fn (z0 )h =

(fn (z0 + th)) dt

0 1 0

fn (z0 )h dt

=h
0

(fn (z0 + th) dt fn (z0 )) dt,

donde tomando lmites cuando n y teniendo en cuenta que las convergencias son uniformes resulta:
1

f (z0 + h) f (z0 ) g(z0 )h = h

0

(g(z0 + th) dt g(z0 )) dt,

es decir:

1 f (z0 + h) f (z0 ) g(z0 ) = (g(z0 + th) dt g(z0 )) dt, h 0 pero la ltima integral tiende a cero porque g(z0 + th) g(z0 ) uniformemente en [0, 1] cuando h 0. Por tanto f es derivable en z0 con derivada g(z0 ).

1 Esta

condicin es innecesaria en virtud del teorema de Goursat. Vase el Captulo V.

13

26. Sean fn : G C C diferenciables en G con derivadas continuas de forma que |fn (z)|, |fn (z)| Mn en G con Mn < . Si se dene: n=1

f (z) =
n=1

fn (z),

prubese que f es derivable con:

f (z) =
n=1

f n (z).

Solucin. Es consecuencia inmediata del ejercicio anterior.

27. Se considera la serie de potencias con centro en el innito:

f (z) =
n=0

an , zn

y radio de convergencia R > 0 (vase el Captulo III). Estdiese la derivabilidad de f en |z| > R y el comportamiento asinttico de las derivadas cuando z .

Solucin. La serie

an z n
n=0

converge uniformemente en |z| > r para cada r > R as como la serie derivada trmino a trmino:

nan z n1
n=1

por tanto:

an z n
n=0

=
n=1

nan z n1 =
n=0

(n + 1)an+1 z n2 .

As:

an z
n=0

1 = 2 z

(n + 1)an+1 z n
n=0

a1 , z2

cuando z . Derivando k veces concluimos que

(k)

an z n
n=0

(1)k k!

a1 z k+1

cuando z . 14

28. Sea = (x, y) = (z) una funcin real y continua denida en un dominio G C \ {0}. Se dice que es una rama del argumento si:

ei(z) =

z |z|

z G.

a) Si es una rama de arg z en G cmo son las otras posibles ramas de arg z en G? b) Puede existir una rama de arg z denida en un entorno perforado de cero de la forma D(0, r) \ {0} ? c) Demustrese que si es una rama de arg z en G entonces es armnica en G. d) En las condiciones de c), prubese que rn cos n, rn sen n son armnicas (r = |z|).

Nota. Se conoce a las expresiones polinomios armnicos de grado N . Solucin.

N n=0

rn (an cos n + bn sen n), an , bn R, como

a) Si 1 (z) y 2 (z) son ramas del argumento en un dominio G resulta:

e1 (z)i = e2 (z)i

z G,

luego para cada z G existe k = k(z) Z tal que:

2 (z) 1 (z) = 2k(z).

Como 1 , 2 son continuas y k(z) Z entonces k ha de ser constante. As:

2 = 1 + 2k.
b) Si (z) en una rama del argumento en D(0, r) \ {0} entonces:

arg z = (z) + 2k,

con k Z constante. De esta igualdad se deduce la continuidad de arg z en D(0, r)\{0}. Esto no es posible, luego tal rama del argumento denida en D(0, r) \ {0} no puede existir. c) Si es una rama del argumento en un dominio G, se prob en el Captulo I que es C y que: x y y = 2 . x = 2 , r r De aqu resulta inmediato que xx + yy = 0 en G. d) Si es una rama del argumento en G entonces:

rn cos n = z n ,

rn sen n = z n ,

por lo que tales funciones son armnicas en G. 15

29. Sea G un dominio y g una rama de la raz n-sima de z . Hllense todas las otras ramas.

Solucin. Se dice que una funcin continua g en un dominio G es una rama de la raz n-sima (vase el Captulo III) si g(z)n = z
para todo z G. Como se dijo en su momento, g es inyectiva y, supuesto que 0 G, g(0) = 0 con g(z) = 0 para z = 0 (ms abajo comprobamos que 0 no puede estar en G). Si (g1 , G) es otra rama entonces:

g1 (z) {1, 1 , . . . , n1 }, g(z)

donde las k son las races n-simas de la unidad. Como G \ {0} es un dominio y g1 /g es continua resulta que g1 (z) = g(z), donde es una raz n-sima de la unidad jada. 30. Prubese que no puede existir una rama de la raz n-sima de z denida en un entorno de cero {z : |z| < r}.

Solucin. Si g es una tal rama y est denida en D(0, r) habra de ser: n z = g(z)
para una constante (Ejercicio previo). Eso no es posible porque el primer miembro no es continuo en D(0, r). En conclusin, si (g, G) es una rama de la raz n-sima segn nuestra denicin entonces 0 no puede pertenecer a G. 31. Se sabe que g es continua en un dominio G C, 0 G (cf. Ejercicios 28, 30) y que / cumple: g(z)n = z, es decir que g es una rama de la raz n-sima. Prubese que g es derivable determinando una expresin de su derivada en trminos de g .

Solucin. Solucin:

g =

1 . ng(z)n1

32. Demostrar que no existe una rama del logaritmo denida en G = C \ {0}.

Solucin. Si tal rama g existe habra de ser, por ejemplo,

Log z = g(z) + 2ki, que implica la continuidad de Log z en D(0, r) \ {0}. Esto no es cierto. 16

33. Prubese que log |z| es armnica en C \ {0}. Admite all una funcin armnica conjugada?

Indicacin. Vase el Ejercicio 32 Solucin. Si una armnica conjugada v de log r existiese en C \ {0} habra de ser

Arg z = v(z)
en C \ {0}. Como esto implica la continuidad de Arg z en C \ {0} la existencia de una tal v resulta imposible. 34. Sean G, dominios de C, f, h : G C, g : C, h, g holomorfas, h inyectiva, f continua, de forma que: h(z) = g(f (z)) z G, junto con g (w) = 0 en . a) Probar que f es inyectiva. b) Probar que f es holomorfa en G dando una expresin de su derivada.

Solucin. Si f (z1 ) = f (z2 ) entonces h(z1 ) = h(z2 ) y z1 = z2 , luego f es inyectiva. Esto responde la cuestin a).
b) Ha de ser si todo marcha bien

f (z) =
Inspirados en esto ponemos:

h (z) . g (f (z))

f (z) f (z0 ) h(z) h(z0 ) f (z) f (z0 ) h(z) h(z0 ) 1 . = = g(f (z)) g(f (z0 )) z z0 z z0 h(z) h(z0 ) z z0 f (z) f (z0 )
Si z z0 (z = z0 ) resulta que f (z) f (z0 ) por tanto el lmite del primer miembro cuando z z0 es: f (z) f (z0 ) h (z0 ) l m = . zz0 z z0 g (f (z0 ))

17

Soluciones a los ejercicios del Captulo V, primera parte

Integracin compleja
1. Para z0 , . . . , zn C, denotamos [zk1 , zk ] el segmento de zk1 a zk , por [z0 , . . . , zn ] la poligonal constituida por tales segmentos. Sean 1 = [1, i], 2 = [1, 1 + i, i]. Calclense:

z 2 dz,
j

j = 1, 2.

Solucin. El resultado es el mismo en los casos:

1 (1 + i). 3
Se razona usando por ejemplo

z3 como primitiva o integrando directamente: 3

1 0 3 3 z1 z0 . 3

z 2 dz = (z1 z0 )
[z0 ,z1 ]

(z0 + (z1 z0 )t)2 dt = =

1 2 (z1 z0 ) z0 + z0 (z1 z0 ) + (z1 z0 )2 3

La segunda opcin se incluye a ttulo ilustrativo y naturalmente se desaconseja. 2. Defnase (s) = exp(ins), s [0, 2], n Z. Calcular:

1 dz. z

Solucin. 2ni.
3. Calcular:

1 dz, z

siendo ahora = [1 i, 1 + i, 1 + i, 1 i, 1 i].

Solucin. Escribimos:

1 dz = z

1 dz + z

1 dz, z

donde 1 = [1 i, 1 + i, 1 + i], 2 = [1 + i, 1 i, 1 i] usando en la primera integral Log z como primitiva y log z como primitiva en la segunda resulta:

1 dz = [Arg (1 + i) Arg (1 i)]i + [arg(1 i) arg(1 + i)]i = 2i. z

4. Calcular:

1 dz, z

donde a) es {|z| = 1, z 0} de +1 a 1, b) es {|z| = 1, z 0} de +1 a 1.

Solucin. Se trata de usar adecuadamente la funcin logaritmo.

a) i. b) i. 5. Se dene (s) = r exp(is), s [0, ],

I(r) =

eiz dz. z

Calcular l r0+ I(r). m

Solucin. Escribimos

I(r) =

eiz 1 dz + z

1 dz = I1 (r) + i. z

Se tiene:

|I1 | sup |

eiz 1 |r 0, z

cuando r 0 porque l z0 m

eiz 1 z

= i. Luego el lmite pedido es i.

6. Para (s) = 1 + eis , s [0, 2], hallar

(z 2 1)1 dz . d = i 0 = i. +1

Solucin. Usando fracciones simples

(z 2 1)1 dz =

1 2

d 1 1 2

7. Sea una curva cerrada C 1 a trozos en un abierto G y supngase que a G. Prubese / que para n 2, (z a)n dz = 0.

Solucin. Es consecuencia de que

itiva del integrando.

(z a)(n1) es holomorfa en G y dene una primn1

8. Sean f, g funciones holomorfas en un abierto G C con derivadas f , g continuas en G. Si es una curva C 1 a trozos de extremos a, b, prubese que:

f g dz = f (b)g(b) f (a)g(a)

f g dz.

Solucin. Se tiene que:

(f g) (z) dz = f (b)g(b) f (a)g(a),

de donde se sigue la igualdad buscada.

9. El teorema de Cauchy en un disco D(a, R) establece que si f es holomorfa con derivada continua en D(a, r) y D(a, r) es una curva cerrada y C 1 a trozos entonces:

f = 0.

Extender el teorema de discos a "semiplanos".

Solucin. Sea H un semiplano con frontera H (una recta) y elegimos una aplicacin bilineal g : C C tal que g(D) = H y g(D) = H . Si es una curva cerrada en H , = g 1 () es una curva cerrada en D mientras la funcin

h(z) = f (g(z))g (z),

es derivable con derivada continua en D. Panto:

h(z) dz = 0.

Se tiene que:

(t) = g( (t))
luego
b b

t [a, b],

f (z) dz =
a

f ((t)) (t) dt =
a

f (g( (t)))g ( (t)) (t) dt =

h(z) dz = 0.

10. Calclense las siguientes integrales (0 s 2 en todos los casos):

a)

eiz dz, z2

b)

dz , za

c)

sen z dz, z3

d)

log z dz, zn

1 donde = eis en a), c), = a + reis en b), = 1 + eis en d). 2 Solucin. Se aplica en todos los casos la frmula de Cauchy.
a) 2 . b) 2i. c) 0. d) 0.

11. Calcular las integrales:

a)

ez ez dz, zn

b)

1 z
3

1 2

dz,

c)

z2

1 dz, +1

d)

sen z dz, z

e)

z 1/m dz, (z 1)m

1 en donde 0 s 2 en todos los casos, = eis en a), b), d), = 2eis en c), = 1+ eis 2 en e).
Solucin. Como en el ejercicio anterior se trata de usar la frmula de Cauchy. n a) 4i con n = 0 si n = 2 + 1, n = 1 si n = 2. b) 2i si n = 1, 0 si n 2. c) (n 1)! 2 . d) 0.
e)

2i(1)m1

[(m 2)m 1] . . . [km 1] . . . [2m 1][m 1] . [(m 1)m] . . . [km] . . . [2m]m

En el caso c) conviene escribir:

1 1 = 2 1+z 2i

1 1 zi z+i

12. Calcular:
is

z2 + 1 dz, z(z 2 + 4)

= re , 0 s 2 , para todos los valores posibles de r (0, 2) (2, ).

Solucin. Para r = 2 positivo Escribimos:

z2 + 1 1 dz = 2 + 4) z(z 4

1 3 dz z 8

1 3 dz z 2i 8

1 dz. z + 2i

Para r < 2 las dos ltimas integrales valen cero y la primera Para r > 2:

i . 2

z2 + 1 i 3 dz = = i. 2 + 4) z(z 2 2

13. () Usar la serie geomtrica para probar que:

d = 2i, z

para z D(a, r), donde (s) = a + reis , s [0, 2].

Solucin. Para z D(a, r) la serie:

n=0

1 a
4

za a

converge uniformemente a

1 z

en . Por tanto:

d = z

n=0

d (z a)n = n+1 ( a)

d = 2i. a

Desarrollos en serie de potencias

14. Hallar el desarrollo en serie de potencias de Log z en z = i, cul es su radio de convergencia?

Solucin. Se tiene que:

i 1 = in+1 (z i)n , Log z = = z 1 i(z i) n=0

por tanto: Log z =
n=0

in+1 (z i)n+1 = n+1

n=1

in (z i)n . n

El radio de convergencia es 1. Ntese que es la distancia de i al punto de discontinuidad z = 0.

15. Calcular el desarrollo en serie de potencias de convergencia.

z en z = 1 determinando su radio de

Solucin. Usando la parte principal de z 1/2 se comprueba de inmediato que:

Escribiendo f (z) =

z = z 1/2 .

z, f (n) (1) = (1)n (2(n 1) 1)!! . 2n

El desarrollo es:

z=
n=0

(1)n (2(n 1) 1)!! (z 1)n . 2n!!

16. Sea z0 un punto del dominio de holomorfa de f (z) = (1 + z) . Hllese el desarrollo en serie de potencias de f en z0 calculando el radio de convergencia.

Solucin. Usando las propiedades de la funcin f (z) = (1 + z) se tiene que:

f (n) (z0 ) = . . . ( (n 1))(1 + z0 )n) ,

el desarrollo en serie es:

n=0

. . . ( (n 1))(1 + z0 )n (z z0 )n , n!

que tiene radio de convergencia = |z0 + 1|. Por tanto

(1 + z) =
n=0

. . . ( (n 1))(1 + z0 )n (z z0 )n , n!

en G D(z0 , ) donde G es el dominio de holomorfa de f es decir G = C \ {z 1}. 17. Prubese que:

f (z) =

1 log 2i

1 + iz 1 iz

dene, en un dominio G C por determinar, una rama de la funcin arcotangente (vase el Captulo III). Es decir: tag (f (z)) = z,

z G.

Tras comprobar que 0 G prubese que el desarrollo de f (z) en z = 0 es:

f (z) =
k=0

(1)k

z 2k+1 , 2k + 1

determinando el radio de convergencia de la serie.

Solucin. Hemos probado en el Captulo III que f es holomorfa en = C\{ti : t [1, )}, que f () = {z : | z| < } y que tag (f (z)) = z para z . 2 1 por lo Cualquiera que sea la rama (g, ) de la arcotangente se tiene que g = a + z2 que: 1 f (z) = = (1)n z 2n , 2 a+z n=0
con lo que

f (z) =
n=0

(1)n

z 2n+1 , 2n + 1

siendo el radio de convergencia 1. 6

ez 1 18. Hallar el desarrollo en serie de en z = 0 determinando el radio de convergencia. z Deniendo: z f (z) = z , e 1 y escribiendo su desarrollo en serie como:

f (z) =
k=0

ak k z , k!

determinar el radio de convergencia. Prubese adems que:

n n n an1 + an2 + + a1 + a0 = 0, 1 n1 n2
para n 2.

Solucin. Con ms propiedad, la funcin entera:

g(z) =
n=0

1 zn (n + 1)!

ez 1 en C \ {0} y vale 1 en z = 0. Adems g(z) = 0 para todo z con lo z que 1/g(z) es entera y coincide con f (z) en C \ {0}. Por tanto
representa a

f (z) =
n=0

bn z n =
n=0

an n z , n!

y el radio de convergencia es = . Como:

f (z)g(z) = 1,
se tiene en particular que:
n

k=0

ak 1 = 0, k! n + 1 k

para n 1, es decir:

k=0

(n + 1)! ak = 0, k!(n + 1 k)

luego
n

k=0

n+1 ak = k

n+1 n+1 n+1 a0 + a1 + + an = 0, 0 1 n

que es lo que se pretenda probar.

1 19. Si f es como en el problema 18 probar que f (z) + z es una funcin par. Dedzcase 2 de ah que ak = 0 para k = 2 + 1. Los B2n = (1)n1 a2n , n 1 se llaman los nmeros de Bernoulli. Calcular B2 , B4 , B6 .
Solucin. Se tiene que:

f (z) =
Por tanto

zez z z z =z+ z = f (z). z 1 e 2 e 1 2

1 a2 1 = a0 + (a1 + )z + z 2 + , 2 2 2! slo puede tener potencias pares. f (z) +

De aqu: y

1 a1 = , 2 an = 0 n = 2 + 1, n 3.

En particular:

a0 + 2na1 + 1n+

2n 2n 2n a2 + a2k + a2(n1) = 0, 2 2k 2(n 1)

2n 2n 2n B2(n1) = 0, B2k + (1)n2 B2 + (1)k1 2(n 1) 2k 2

Los coecientes B2 , B4 , B6 se calculan como sigue:

12+ 13+ 14+

Por tanto:

4 B2 = 0 2

6 6 B2 B4 = 0 2 4

8 8 8 B2 B4 + B6 = 0. 2 4 6

6B2 = 1 15B2 15B4 = 2 28B2 70B4 + 28B6 = 3. B2 = 1 6 B4 = 1 30 B6 = 1 . 42

Luego:

Estimaciones de Cauchy. Principio del mdulo mximo.

8

20. Sea f una funcin entera que satisface la estimacin:

|f (z)| M |z|n ,
para todo z con |z| R y cierto n N. Prubese que f ha de ser un polinomio de grado no superior a n.

Indicacin. Estmense las derivadas de f en z = 0. Solucin. Las estimaciones de Cauchy arman que

|f (m) (0)| sup |f (m) |

D(0,R)

m!K , Rm

con K = supD(0,R) |f |. Ahora: Por tanto

K M Rn . m!M , Rmn

|f (m) (0)| sup |f (m) |

D(0,R)

por lo que

|f (m) (0)| l m
para m n + 1. Esto implica que:

m!M = 0, R Rmn

f (z) = a0 + + an z n .

21. El  principio del mdulo mximo es un resultado clsico en variable compleja que establece lo siguiente: una funcin compleja f : G C C derivable con derivada continua en un dominio G tal que |f (a)| = supG |f (z)| para un punto a G es necesariamente constante en G. En otras palabras |f (z)| nunca alcanza el mximo en un punto interior del dominio G salvo que sea constante. Demustrese la siguiente consecuencia del principio del mdulo mximo: una funcin f derivable con derivada continua en un dominio G para la que existe a G cumpliendo:

|f (z)| |f (a)| > 0,

debe mantenerse constante en G.

Solucin. Si se tiene que |f (a)| = G |f (z)| > 0 entonces: nf

1 1 = sup , |f (a)| G |f (z)|

mientras tante.

1 1 es holomorfa en G. Del principio del mximo tiene que ser consf (z) f (z)
9

22. Usar 21 para dar una demostracin alternativa del teorema fundamental del lgebra.

Indicacin. Repasar los pasos auxiliares de la prueba en el Captulo II. En particular, que si p(z) es un polinomio entonces |p(z)| alcanza el mnimo en C. Solucin. Si p(z) no es constante entonces l z |p(z)| = y |p(z)| alcanza en un m disco D(0, R) su nmo en C. Del ejercicio anterior si
D(0,R)

|p(z)| = |p(a)| nf

a D(0, R),

entonces |p(a)| = 0 y hemos terminado. 23. Sea u : C R una funcin armnica, u(z) 0 en C. Demostrar que u es constante.

Indicacin. Constryase en primer lugar una funcin entera. Solucin. Segn los resultados del Captulo IV u admite una funcin armnica conjugada v en C y entonces f = u + iv es entera. Se tiene adems que:

f (C) { z 0}.
Tomamos una aplicacin bilineal g que transforma { z 0} en {|z| 1}. Tal g es holomorfa en C \ {z0 } con z0 < 0. Por tanto g f es entera y acotada. Por el teorema de Liouville es constante y f tambin es constante.

10