Soluciones a los ejercicios del Captulo I

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

Solucin. Si z1 , z2 S 1 entonces z1 z21 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 6= 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:

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

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

3i i
2 + i, 3, (2 + i)(4 + i), , , (1 + i)6 , i17 .
2 + 3i i+3

5. Probar que z es real si y slo si z = z .

6. Hallar x, y en las relaciones:

100
X
2
a) z = |z|, b) z = (z) , c) z = ik .
k=0

Solucin.

a) x 0.

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

c)
1 i101
z= = 1.
1i

1
 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(z). Si
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:

8 + 6i,
y las soluciones de la ecuacin:

z2 + 32iz 6i = 0.

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

Xn
n n k nk
(a + b) = a b , a, b C.
k=0
k

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 .

2
11. Prubense las siguientes frmulas del ngulo mltiple:

n n n2 2 n
cos n = cos cos sen + cosn4 sen4 + ,
2 4

n n1 n
sen n = cos sen cosn3 sen3 + .
1 3

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

n n n
cos n + i sen n = (cos + i sen ) = cos cosn2 sen2
2

n n4 4 n n1 n n3 3
+ cos sen + + i cos sen cos sen + ,
4 1 3

igualdad que proporciona las relaciones pedidas.

12. Prubese que max{<z, =z} |z| |<z| + |=z|. Cundo se da la igualdad?

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 6= 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:

ei = z,
pues |z| = 1. Echando cuentas:

1
ei = cos + i sen = ((x + 1)2 y 2 + 2i(x + 1)y).
|z + 1|2

Se tiene |z + 1|2 = 2(x + 1) con

(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, z 4 = 1 + 3i.

3
18. Probar que las races n-simas z de la unidad, z 6= 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
1
z 1 e) = z
b) =1 z
z + 1 f ) |z|2 = =z
c) |z 2| > |z 3|
g) |z 2 1| < 1.
d) |z| < 1, =z > 0,

4
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 6= 0, qu objeto geomtrico es

za
= > 0?
b
23. Cundo representa una recta del plano la ecuacin:
az + bz + c = 0, a, b, c C?

Solucin. La ecuacin real de una recta es:

Ax + By + C = 0,
A, B, C R. Haciendo 2x = z + z , 2y = i(z z) obtenemos:
(A iB)z + (A + iB)z + 2C = 0,
es decir
z + z + D = 0,
con D = 2C .
Como el sistema (
az + bz + c = 0
z + z + D = 0,
posee innitas soluciones habr de ser
(a, b, c) = (, , D),
para C, 6= 0. Si c 6= 0 se puede tomar D = 1 y concluimos que
a = , b = , c = .
Si c = 0 entonces:
a = , b = .

24. Supongamos a, c reales, a 6= 0 y b C. Prubese que
az z + bz + bz + c = 0,
es la ecuacin de una circunferencia del plano.
Solucin. Dividiendo por a y completando cuadrados resulta:
2
2
z + b = |b| ac ,
a a2
que representa la ecuacin de una circunferencia slo si el segundo miembro es positivo.

5
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, x {1, i, j, k}, i2 = j 2 = k 2 = 1,

ij = k, ki = j, jk = i, ji = k, ik = j, kj = i.
El producto a z1 , z2 se determina entonces usando formalmente las propiedades aso-
ciativa y distributiva.

a) Hllese la expresin del producto (a + bi + cj + dk)(a0 + b0 i + c0 j + d0 k)

b) Prubese que (Q, +, .) es un cuerpo no conmutativo. Se conoce a Q como los cuater-

niones. 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)(b0 i + c0 j + d0 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 correspon-

diente 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 a11 a12 x
= ,
v a21 a22 y

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

a11 = a22 , a21 = a12 ,

que son las ecuaciones de Cauchy-Riemann.

a b a1 b1 az + b a1 z + b1
28. Sean A = , 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:
az + b a1 z + b1
f (z) = , g(z) = .
cz + d c1 z + d1
Si f = g se tiene
(az + b)(c1 z + d1 ) = (a1 z + b1 )(cz + d).
De ah se deduce que:
b b1 d d1
= , = , ac1 = a1 c.
a a1 c c1
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 denomi-
nador es cero el numerador tambin lo es.
Por ejemplo, a = 0 implica c = 0 si a1 6= 0 y esto no puede ser pues ad bc 6= 0. Los
dems casos se comprueban igual.
El recproco es inmediato.

29. Sean
a b
SL2 = A = M22 (C) : det A = 1 ,
c d
az + b
M = {T (z) = : ad bc 6= 0},
cz + d
con : SL2 M, la aplicacin natural A 7 T . Prubese que es sobreyectivo.

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 0 (t) 6= 0 para todo t. Si z0 = (t0 ), v = 0 (t0 ) 6= 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 parametriza-
ciones 1 , 2 , se dice que C1 , C2 se cortan con ngulo:
v2
= (v1 , v2 ) = arg .
v1

a) Prubese que si f (z) = az + b, y las curvas C1 , C2 inciden en z0 con ngulo , entonces

las curvas Ci0 = f (Ci ), i = 1, 2, inciden en f (z0 ) con ngulo .

b) Prubese que si f (z) = az + b, C1 , C2 inciden en z0 con ngulo , ahora las curvas

Ci0 = 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 6= 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 )0 (t) =
2(t) 0 (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 ), v(z0 ).

Tales vectores son ortogonales.

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

(t + h)2 (t)2 (t + h) (t)

lm = lm ((t + h) (t)) = 2(t) 0 (t).
h0 h h0 h
Si las curvas 1 (t), 2 (t) inciden, 1 (t1 ) = 2 (t2 ). El carcter conforme de f es conse-
cuencia de la relacin:
20 (t2 ) 20 (t2 )
= .
10 (t1 ) 10 (t1 )

az + b
32. () Sean T (z) = y : [a, b] C una parametrizacin C 1 . Prubese que T ((t))
cz + d
es tambin una parametrizacin C 1 tal que:
ad bc 0
(T )0 (t) = (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:

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

Usando las ideas del Captulo 2 para calcular (1/)0 resulta que
0
1 c 0
= .
c + d (c + d)2

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

9
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
b) De
(w, 0, i, 2i) = (z, i, 0, i)
se tiene:
w = z + i.

c) Ponemos
1
(z, i, i, 2i) = (w, , 0, ),
3
y obtenemos:
zi
w= .
z+i

2. Hallar los puntos jos de las aplicaciones:

z1 z
T (z) = , T (z) = .
z+1 z+1

Solucin.
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 ).
1 2 3 4
Esto prueba que (1 , 2 , 3 , 4 ) es real.
4. Hallar las imgenes de la circunferencia unidad {|z| = 1} bajo las transformaciones:
1 1 1
w= , w= , w= .
z z1 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

az + b
5. Hallar la imagen de {=z > 0} bajo T (z) = , 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:
bd + ac + i(ad bc)
f (i) = .
|ci + d|2
Luego f ({=z > 0}) = {=z < 0}.

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
. w=i
1+z
Esta aplicacin resuelve tambin la segunda cuestin.

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,
1+z
f (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:
2i z 4i 2ei a + ia
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
i + ei w
i
=1 ,
2e a + ia
i + ei 4
i
=1 ,
2e a + ia

3
 4 i + ei
=1 ,
a(1 + i) 2ei
1 1
= (1 + i)(ei i)ei .
a 8
Ahora:
(1 + i)(ei i)ei = 1 + cos sen + i(1 cos sen ),
y debe ser:
1 cos sen = 0,
luego nos vales = 0.
En ese caso:
1 1
= (1 + i)(1 i),
a 8
y a = 4. As:
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
z z0 = r .
|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, ).

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

<T = , =T = P 6= N,
1 1

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:
(, , ) 7 ( 0 , 0 , 0 )
con
0 = , ( 0 , 0 ) = (, ).
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 re-
presenta 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) =z > 0, 2) =z < 0, 3) <z > 0,
4) <z < 0, 5) |z| < 1, 6) |z| > 1.
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.

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

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

con N = (0, 0, 1). Probar que:

|z z 0 |

(1 + |z|2 )1/2 (1 + |z 0 |2 )1/2 z, z 0 C
dc (z, z 0 ) =

1
z C, z 0 = .
(1 + |z|2 )1/2

Demostrar que dc (z, ) = lmz0 dc (z, z 0 ).

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), f (nz) = nf (z), n = 0, 1, 2, . . . .
Tambin:
1 1 1
nf ( ) = f (z) f ( z) = f (z),
n n n
luego:
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 = lm qn , qn Q y

f (tz) = f (lm qn z) = lm qn f (z) = tf (z).

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 ) 6= 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 . (1)

Conclyase que la descomposicin (1) es nica.

19. [Polinomio de Taylor de un polinomio] Sea p(z) un polinomio de grado n, z, h C.

Demostrar que:
Xn
ck k
p(z + h) = h ,
k! k=0

7
 para coefcientes ck que deben expresarse en funcin de z .
Solucin.
Si n
X
p(z) = a0 + a1 z + + an z n = al z l ,
l=0
entonces:
n
X n
X l
X
l l
p(z + h) = al (z + h) = al hk z lk
l=0 l=0 k=0
k
n
X n n
hk X lk
X
= l(l 1) . . . (l k + 1)al z = ck hk ,
k=n
k! l=k k=0

donde: n
1 X
ck = l(l 1) . . . (l k + 1)al z lk .
k! l=k

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

Solucin.
Tomamos p(z) = a0 z n + a1 z n1 + + an , a0 6= 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 z a.

p(z)
Solucin. Si f (z) = q(z)
y z = a es un cero del denominador entonces

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

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

f (z)
lm = 1,
za (z a)n

p1 (a)
con = q1 (a)
, n = k l.

8
 p(z)
22. Demustrese que las funciones racionales f (z) = denen funciones continuas de
q(z)
C en C .
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

p(z)
f () = = lm .
z q(z)

En el peor de los casos = que es un elemento de C .

23. Estudiar los lmites:

2 3 z4 + 1 z4 1 z 2 iz + 2
a) lm 2z iz + zArg z, b) lm , c) lm , d) lm ,
zi zi z + i zi z + i z2i z2 + 4

z1 ez + z Log z 2
e) lm , f ) lm , d) lm e1/z .
z1 z1 z0 1 z 2 Arg z z0

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

lm z Log z = lm z 2 Arg z = 0.
z0 z0

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

2 2 2
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:

an
zn = n(1/n cos 1) + in sen = n 1/n (1 + 2 ) 1 + in sen ,
n n n n
donde an est acotada. As:

1/n log bn
lm zn = lm n( 1) + i = lm n + + i,
n n

donde lm bn = 0. Por tanto:

lm zn = log + i.

9
 P
25. Se sabe que la serie zn converge con |Arg zn | < . Demostrar la convergencia
P 2
de |zn |.
Solucin. Poniendo zn = xn + iyn , n = Arg zn se tiene que:
yn
| | = |tag n | tag ,
xn
luego: p
1 + tag 2 }xn = (sec )xn .
|zn | {
P P
Como la serie xn converge, la serie |zn | tambin converge.

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

n
X n1
X
ak bk = Ak (bk bk+1 ) + An bn Am1 bm .
k=m k=m

Solucin. Ntese que ak = Ak Ak1 por tanto:

n
X n
X n
X n
X n1
X
ak bk = A k bk Ak1 bk = Ak bk Ak bk+1
k=m k=m k=m k=m k=m1
n1
X
= A n bn + Ak (bk bk+1 ) Am1 bm
k=m

n1
X
= Ak (bk bk+1 ) + An bn Am1 bm .
k=m

27. Supngase que la sucesin An = aP 1 + + an est acotada y que bn es decreciente con

lm bn = 0. Prubese que la serie an bn es convergente.
Solucin. De acuerdo a la frmula de sumacin por partes
n
X n1
X
| ak bk | |Ak |(bk bk+1 ) + |An |bn + |Am1 |bm M (bm bn + bn + bm ) = 2M bm ,
k=m k=m

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):

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

10
 P
con an > 0, a < 1, implica la convergencia de an . Como aplicacin establzcase la
convergencia de la serie hipergeomtrica:

X ( + 1) . . . ( + n)( + 1) . . . ( + n)
,
n=0
(n + 1)!( + 1) . . . ( + n)

en el rgimen <( + ) < 0.

Solucin.
Se sabe que:
an 1 1+
= 1 + (a + o(1)) < 1 ,
an1 n n
para n n0 . Luego:
nan < ((n 1) )an1 ).
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
X
nan < mam ak ,
k=m

es decir:
n
X
ak < mam .
k=m

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

( + 1) . . . ( + n)( + 1) . . . ( + n)
an = ,
(n + 1)!( + 1) . . . ( + n)
y
an ( + n)( + n)
= .
an1 (n + 1)( + n)
Para estudiar la convergencia absoluta escribimos:

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

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

11
 de donde:

|an | + +1
n 1 = bn cn n{|1 + + 2 | |1 + + 2 |}
|an1 | n n n n
con
n n
bn = , cn = .
| + n| n+1
Ahora observamos que:
2<(z1 z2 ) + |z1 |2 |z2 |2
|z1 + 1| |z2 + 1| = .
|z1 + 1| + |z2 + 1|
Por tanto
+ +1
lm n{|1 + + 2 | |1 + + 2 |} = <( + 1),
n n n n
y
|an |
lm n 1 = <( + 1).
|an1 |

29. Estudiar la convergencia de las series:
X n X n! X
a) , b) , c) ein ,
(2i)n (in)n
X ein X ei/n X cos in
d) , e) , f) .
n n 2n
Solucin.
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:
X n! X 2n

(in)n M en
< .

Las series c) y e) son divergentes. En el segundo caso porque su parte real:

X1
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:

P
a) f (z) = k=1 kz k en {|z| < 1}.

P 1
b) f (z) = en {<z > 0}.
k2 + z
Solucin.
a) Para |z| r < 1:

X
X
k
k|z | krk ,
k=1 k=1

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 1 1 1
= ,
|z + k 2 | <{z + k 2 } <z + k 2 k2

de donde se concluye la convergencia uniforme de la serie en <z 0.

2. Sea fn : D C C una sucesin de funciones uniformemente continuas en D, un

abierto de C, f = lm fn uniformemente en D. Probar que f es tambin uniformemente
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 lm an = l. Probar que lm = l. Qu sucede si
n
l = ? Aprovchese el resultado para probar que si an es una sucesin de trminos
positivos con:
an
lm = l,
an1

entonces lm n an = l.
Solucin. El resultado sobre el lmite de la media aritmtica implica claramente la
frmula nal. En efecto:
r
an a2
cn = an = n
n
. . . a1 ,
an1 a1

luego
an
lm log cn = log(lm ),
an1
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 .
P
4. Sea n=0 an z n una serie de potencias para la que existe:
|an |
lm = 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:
k k k
cos(n/6) = cos(3m + ) = cos(m) cos( ) = (1)m cos( ).
2 2 2
Se concluye que:
k k
zn = (1)m (cos + i cos ), k {0, . . . , 5}
2 6
y los valores de aglomeracin son:
k k

k = (cos + i cos ), k {0, . . . , 5}.
2 6
e) La sucesin tiene la forma:
k k
zn = (1)m ((6m + k) cos + i cos ), k {0, . . . , 5},
2 6
para n = 6m + k . Los valores de aglomeracin son entonces:
k
{i cos : k = 1, 3, 5} {}.
6

2
 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 lm an = a > 0. Probar que lim an bn = a lim bn ,
lim an bn = a lim bn .

8. Sea z = ei donde es racional. Estdiense los valores de aglomeracin de z n .

Solucin. Si
p
= ,
2 q
con (p, q) = 1 entonces la rbita de la sucesin es nita:
2k
{zn : n N} = {ei q : k = 0, . . . , q 1}

Por tanto tales puntos son sus valores de aglomeracin (se toman innitas veces cada
uno).
P
9. Sea P n
n=0 an z una serie de potencias de radio r . Demostrar que para todo k N la

serie n=k an z nk tambin tiene radio de convergencia r.
Solucin. Como:

X
1 X nk
an z = k an z n
n=k
z n=k
P P
para z 6= 0 y el radio de convergencia de n
n=k an z es r , el radio de n=k an z
nk

tambin es r.

10. Hallar el radio de convergencia de las series:

X
X X
X
(1)n z 2n+1 n! n 2n
zn, , n
z , zn.
n=0
n! n=0
(2n + 1)! n=0
n n=0
n!

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

= , 3) = e, 4) = .

P
11. Se sabe que el radio de convergencia de n=0 an z n es r > 0. Hallar el radio de conver-
gencia de las series:

X
X
X
np an z n , |an |z n , a2n z n .
n=0 n=0 n=0

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

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

X
X
n n
a) a z , aC c) kn z n, k Z \ {0}
n=0 n=0
X X
2
b) an z n , a C, d) z n! .
n=0 n=0

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

respectivamente.
c) = |k|1 , d) = 1.

P P
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:
X
X
X
X
( z n )2 = (n + 1)z n = nz n + zn,
n=0 n=0 n=0 n=0

luego:

X
X
X
n n z
nz = (n + 1)z zn = .
n=0 n=0 n=0
(1 z)2

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

X (1)n
z n(n+1) ,
n=1
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:
X
(1)n n(n+1) X (1)k X (1)k
i = ,
n=1
n 2k k=0
2k 1 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) . . . ( n + 1) n
1 + z + + 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 6= 1.
Solucin. Es evidente que el radio de convergencia es 1 (Hadamard).
Por otra parte:
fn (z) = (1 + z)n ,
mientras:
X 1
f1 (z) = (1)n z n = .
n=0
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 si-
guiente:

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

n n
(1) . . . (k+1)( 1) . . . ( n+k+1)+ + ( 1) . . . ( n+1).
k n
(0.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 . (0.2)

De aqu:
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

5
 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
+ ( 1) . . . ( k)( 1) . . . ( (n k 2))
k k+1

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).

6
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(z) = cos(z), sen(z) = sen z,

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

19. Demostrar que los ceros de las funciones cos z, sen z coinciden con los de sus restric-
ciones 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
3
, es decir:
2 4
(, 1] e 3 i (, 1] e 3 i (, 1].

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

1 1 1 + iz
g(z) := f (z) = Log .
2i 1 iz

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

1
h() = i
1+

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

Adems

tag ( ti) = tag ( + ti),
2 2
pues

tag ( ti) = tag ( + ti) = tag ( + ti).
2 2 2

Ya se prob (vase la parte de teora) que tag ( 2 + i(0, )) = i(1, ).
La funcin
1 1 + iz
Log
2i 1 iz
invierte a la tangente en = C \ {i, i}.
Es discontinua en los z tales que

1 + iz
0,
1 iz

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

z1
T 1 (z) = i ,
z+1
y que
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 la continuidad de g pues las otras cuestiones han sido ya
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.

8
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( z) = sen z,
2
entonces

cos( Arcsen z) = sen Arcsen z = z.
2
Luego:

g(z) = Arcsen z.
2


1
24. Dada f (z) = sec z , prubese que g(z) = Arcsen es continua en G = C\[1, 1]
2 z
y que sec(g(z)) = z para todo z G.
Solucin. Como z 7 z1 aplica [1, 1] en R \ (1, 1) entonces arc sen z1 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:

a0 z n + + an
r(z) = a0 b0 6= 0,
b0 z m + + bm

entonces slo excluye el valor a0 /b0 cuando n = m, en los restantes casos es sobreyec-
tiva.
Las funciones enteras pueden no ser sobreyectivas como muestra el ejemplo de la ex-
ponencial 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
 P
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

X
f (z) = zf1 (z), f1 (z) = an z n1 .
n=1

Al ser f1 (z) = 0 para todo z 6= 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:
az + b
f (z) = ,
cz + d
con z0 6= d/c, c 6= 0.
Solucin. Podemos escribir

a az0 + b 1
f (z) = + .
c c z z0
Basta entonces con representar la ltima fraccin en serie de potencias de z z1 para
z1 6= z0 . Esto es sencillo pues:
X
1 1 1 1 (1)n
= = = (z z1 )n ,
z z0 z z1 + z1 z0 z1 z0 1 z z1 n=0
(z1 z 0 )n+1

z0 z1
siendo la serie convergente en |z z1 | < |z z0 |.

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:
1 1 1
f (z) = , g(z) = , h(z) = ,
1 + z2 (z 2 + 1)2 (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 (z) en el dominio
z G := {z : z G} demostrar que g tambin es analtica.
Solucin. Si z0 G entonces z0 G y como f es analtica, entonces:

X
f () = an ( z0 )n ,
n=0

para | z0 | < r. Por tanto:

X
X
n
g(z) = f (z) = an (z z0 ) = an (z z0 )n ,
n=0 n=0

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
X
f (z) = an (z z0 )n ,
n=0
y

X
f (z) = bn (z z0 )n
n=0

resulta que

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

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

X
(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:

X an
,
n=0
zn

an C. Se dene el radio de convergencia r de la serie como

r = nf{|z| : la serie converge en z , z 6= 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 6= 0 si la serie

X
an n , (0.3)
n=0

1 1
converge en = . Por tanto la cantidad nf |z| donde la serie converge es nf =
z ||
1
con los variando de forma que la serie (0.3) converge. El radio de convergencia
sup ||
es as: p
r = lim n |an |.

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.
Solucin. Como z1 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,

X an
f (z) = ,
n=0
zn

12
 donde la serie converge para |z| > r. Por tanto:
X
1
g(z) = f ( ) = an z n ,
z 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
p(z)
f (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
1
stos se representan con desarrollos en z = . Basta hacer = para tener:
z
!m
a a m X
= =a zjk k+1
(z zj )m (1 zj )m k=0

1
que dene una serie de potencias en , convergente para |z| > |zj |.
z

az + b
36. Hallar el desarrollo de f (z) = en serie de potencias de 1/z (c 6= 0).
cz + d
Solucin. Siguiendo las instrucciones del ejercicio anterior:
n !
b + a b 1 b X d 1
f (z) = = + d
= + (1)n .
d + c d c 1 + c d c n=0 c zn

La serie converge si |z| > dc .

Complementos
1. Demustrese que:
z2
sen z z, cos z 1 , tag z z, ez 1 z, Log (1 + z) z
2
cuando z 0. A tal efecto resulta de utilidad el Ejercicio 9.
Solucin. Se tiene que:
!
X z 2k4
sen z = z + z 3 (1)k1 = z + z 3 g(z),
k=2
(2k 1)!

13
donde g es continua en z = 0. De ah est claro que:
sen z
lm = 1.
z0 z
Anlogamente:

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

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

cos z 1
lm 2 = 1.
z0 z2

Finalmente:
tag z 1 sen z
lm = lm = 1.
z0 z z0 cos z z
En los dos casos restantes se procede de idntica manera. En particular, si
ez 1
lm = 1,
z0 z
y llamamos w = ez 1, z = Log (w + 1) y concluimos:
w
lm = 1.
w0 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
pla 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 6= 0 pero no lo es all como funcin compleja.
Por otra parte ux no existe en los puntos (0, y), y 6= 0, uy tampoco existe en los puntos
(x, 0), x 6= 0.
Finalmente ux = uy = 0 en (0, 0) luego se cumplen las condiciones de Cauchy-Riemann
en el origen sin embargo, para = 0:
r
p 1
f (z) f (0) z = |xy| = r | 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,

f ) arcsen z, g) arccosen z, h) arcsec z, i) arccosec 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:
1
g0 = .
1 + z2

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

1
g 0 (z) = .
1 z2
En el caso de la funcin Arcsen z se tiene:
1
Arcsen 0 z = ,
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 = Arcsen z,
2
de donde
1
Arccos 0 z = .
1 z2
Asimismo:

1 1
Arcsec z = Arccos , Arcosecp z = Arcsen ,
z z

luego:
1 1
Arcsec0 z = , Arcosecp0 z = .
z2 1 z 2 z2 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
c) Argth z = Log ,
2 z1
donde se ha usado la rama principal de la raz cuadrada. Calclense las derivadas de
dichas funciones.
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 z = iArcsen iw.

2
Por tanto:
z = Log (w + 1 + w2 ) = Log (w + 1 + w2 ),
1
donde se ha usado que Log = Log z . As,
z

Argsh z = Log (z + 1 + z 2 ),

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

1
Argsh 0 z = .
1 + z2

Para Argth z se razona igual:

tanh z = w w = itag iz z = iArctag iw,

por tanto:
1 1w 1 1+w
z = Log = Log .
2 1+w 2 1w
De aqu:
1 1+z
Argth z = Log ,
2 1z
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:
1
Argth 0 z = .
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 0 (z) 6= 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 0 z = 2 .
z 1
No obstante se puede dar ms informacin sobre G = g(). Por un lado que:

g() = G {|=z| < } {<z > 0}.
2
Esto es consecuencia de que

|z + z 2 1| 6= 1
en . De hecho tal cantidad siempre es mayor que la unidad. En efecto,

|z + z 2 1|2 = 1 |z|2 + |z 2 1| + 2< z 2 1z = 1,

es decir,

|z 2 1|2 + 4(< z 2 1z)2 + 4|z 2 1|< z 2 1z = (1 |z|2 )2 ,

de donde

2(|z|2 <z 2 ) + 4(< z 2 1z)2 + 4|z 2 1|< z 2 1z = 0,

2y 2 + 4(< z 2 1z)2 + 4|z 2 1|< z 2 1z = 0.
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 1| > 1. Como los restantes
2

trminos de la expresin anterior son no negativos, esto es imposible y concluimos que:

|z + z 2 1| > 1

en .
Finalmente, cosh z aplica la regin

B =: {|=z| < } {<z > 0}
2
en pues cosh z = cosh x cos y + i senh x sen y . De aqu:

G() = B.

4
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 | log z| 1 log |z|2 + Arg z 2 1
,
Arg (log z) = 0 log z 0 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:
1
f0 = .
z(log z)(log(log z))

7. Para cada una de las funciones siguientes hllese el dominio de holomorfa y su derivada:
ez 1 1
f (z) = , f (z) = cosec z, f (z) = sec z, f (z) = etag z ,
ez + 1 z

sen( iz + 1)
f (z) = , f (z) = cos ez 1.
z2 + 1
8. Las mismas cuestiones que en el Ejercicio 7 para las funciones:

f (z) = Arcsen z 2 , f (z) = eArctag i z
3
f (z) = z 4 1, ,

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 )0 = az a1 .
1
Solucin.
Para a) basta observar que: n Log z = Log z n + 2k y que n
Log z =
Log n z .
El apartado b) es obvio y para c):
a
(z)0 = ea Log z
= ae Log z ea Log z
= az a1 .
z

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

f 0 (z) = f (z),

para un nmero complejo dado C.

Solucin. Toda solucin cumple (ez f )0 = 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 0 = 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 00 (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 (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 = h0 = 0 en z = 0. Como h02 + h2 es constante (Captulo I) se tiene:

h02 + h2 = 0

en C. De ah:
(h0 ih)(h0 + 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 (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:

( 1) ( n + 1) n
g (z) = 1 + + + 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 0 (z) = (1 + z) = (1 + z) = (1 + z)1 ,
(1 + z) e Log (1+z)

7
 pues:
1
= e Log (1+z)
= (1 + z)1 .
1+z
Por tanto:
f (n) (z) = ( 1) . . . ( n + 1)(1 + z)n ,
y
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 :
0 (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:

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

u0 (x) = v 0 (y) = c.
As:
u(x) = cx + a, v(y) = cy + b,
para a, b constantes reales y f = cz + a + bi.

8
18. Determinar la funcin entera f (z) que satisfaga <f 0 (z) = 3x2 4y 3y 2 , <f (0) = 6 y
f (1 + i) = 0.
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:
ux = 3x2 4y 3y 2 u = x3 4xy 3xy 2 + (y).
Asimismo:

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

Como:
uy = vx ,
entonces:
4x 6xy + 0 (y) = (6xy + 0 (x)),
0 (y) = 4x 0 (x),
con lo que
0 (y) = 4x 0 (x) = c1 ,
para una cierta constante c1 . De aqu:

(y) = c1 y + c2 , (x) = 2x2 c1 x + c3 ,

donde c2 y c3 son constantes. Luego:

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.

9
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) 6= (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 6= 0 habra de ser 6= 0 pero multipli-

cando 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 , c) log r2 + 2i,
n n
d) r e cos( + log r) + ir e sen( + log r) , R.

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

rUr = V , U = rVr .

En efecto:
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 ).
Usamos ahora que:
sen cos
rx = cos ry = sen x = y = ,
r r
para obtener:
sen cos
cos Ur U = sen Vr + V
r r
cos sen
sen Ur +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 n
z = r1/n cos n + ir1/n sen n se tiene:

1 1/n
rUr = r cos = V ,
n n
1 1/n
rVr = r sen = U .
n n

22. Estudiar el dominio de holomorfa de la funcin:

( 1/2 )
1+z
f (z) = exp i Log i ,
1z

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) ( 2 , 2 ) por tanto Log z es holomorfa
en z C \ {z 0}. Nuestra funcin f es holomorfa en

1+z
C \ {z : i = t, t 0}.
1z

Ahora:
z+1 iz + i t+i
i = t =t z= t 0.
z + 1 z1 ti

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

w+i
g(w) = .
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
C \ D+ .
En cuanto a la segunda parte
1+z
h(z) = i
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 2 da lugar a {=z > 0}.

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 < 2 } quien multiplicada por i acaba en la banda {0 < <z < 2 } y al
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 : z G} se dene

f (z) = f (z)). Probar que f es tambin holomorfa.
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: Z
uy dx + ux dy,

12
 slo depende de z0 , z1 .
Solucin. En realidad, sobra la condicin de convexidad porque:
Z Z
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 ,
fn0 g uniformemente en G. Prubese que g = f 0 .
Solucin. Introducimos primero unas pocas nociones que tratamos in extenso en el
prximo captulo.
Para f : [a, b] C continua se dene la integral:
Z b Z b Z b
f (t) dt = f1 (t) dt + i f2 (t) dt
a a a

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

se comprueba inmediatamente que
Z b Z b Z b
f + g = f + g
a a a

para constantes complejas , C. Asimismo y consecuencia del teorema fundamental

del clculo que si f C 1 ([a, b], C) entonces:
Z b
f 0 = 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:
Z 1 Z 1
0 0
fn (z0 + h) fn (z0 ) fn (z0 )h = (fn (z0 + th)) dt fn0 (z0 )h dt
0
Z 1 0
=h (fn0 (z0 + th) dt fn0 (z0 )) dt,
0

donde tomando lmites cuando n y teniendo en cuenta que las convergencias son
uniformes resulta:
Z 1
f (z0 + h) f (z0 ) g(z0 )h = h (g(z0 + th) dt g(z0 )) dt,
0

es decir: Z 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
P en G con derivadas continuas de forma que
|fn (z)|, |fn0 (z)| Mn en G con
n=1 Mn < . Si se dene:

X
f (z) = fn (z),
n=1

prubese que f es derivable con:

X
f 0 (z) = f 0 n (z).
n=1

Solucin. Es consecuencia inmediata del ejercicio anterior.

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

X an
f (z) = ,
n=0
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
X
an z n
n=0

converge uniformemente en |z| > r para cada r > R as como la serie derivada trmino
a trmino:
X
nan z n1
n=1
por tanto:
!0
X X X
an z n = nan z n1 = (n + 1)an+1 z n2 .
n=0 n=1 n=0

As: !0
X
n 1 X a1
an z = 2 (n + 1)an+1 z n 2 ,
n=0
z n=0 z
cuando z .
Derivando k veces concluimos que
!(k)
X a1
an z n (1)k k! ,
n=0
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:
z
ei(z) = z G.
|z|

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|).
PN n
Nota. Se conoce a las expresiones n=0 r (an cos n + bn sen n), an , bn R, como
polinomios armnicos de grado N .
Solucin.
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:
y x
x = 2 , y = 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) 6= 0 para z 6= 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:
1
g0 = .
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 conju-
gada?
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 0 (w) 6= 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

h0 (z)
f 0 (z) = .
g 0 (f (z))

Inspirados en esto ponemos:

f (z) f (z0 ) h(z) h(z0 ) f (z) f (z0 ) h(z) h(z0 ) 1

= = .
z z0 z z0 h(z) h(z0 ) z z0 g(f (z)) g(f (z0 ))
f (z) f (z0 )

Si z z0 (z 6= z0 ) resulta que f (z) f (z0 ) por tanto el lmite del primer miembro
cuando z z0 es:
f (z) f (z0 ) h0 (z0 )
lm = 0 .
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
z 2 dz, j = 1, 2.
j

Solucin. El resultado es el mismo en los casos:

1
(1 + i).
3
z3
Se razona usando por ejemplo como primitiva o integrando directamente:
3
Z Z 1
2
z dz = (z1 z0 ) (z0 + (z1 z0 )t)2 dt =
[z0 ,z1 ] 0

1 z13 z03
(z1 z0 ) z02 + z0 (z1 z0 ) + (z1 z0 )2 = .
3 3
La segunda opcin se incluye a ttulo ilustrativo y naturalmente se desaconseja.

2. Defnase (s) = exp(ins), s [0, 2], n Z. Calcular:

Z
1
dz.
z

Solucin. 2ni.

3. Calcular: Z
1
dz,
z
siendo ahora = [1 i, 1 + i, 1 + i, 1 i, 1 i].
Solucin. Escribimos: Z Z Z
1 1 1
dz = dz + dz,
z 1 z 2 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:
Z
1
dz = [Arg (1 + i) Arg (1 i)]i + [arg(1 i) arg(1 + i)]i = 2i.
z

1
4. Calcular: Z
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, ],
Z
eiz
I(r) = dz.
z
Calcular lmr0+ I(r).
Solucin. Escribimos
Z Z
eiz 1 1
I(r) = dz + dz = I1 (r) + i.
z z
Se tiene:
eiz 1
|I1 | sup | |r 0,
z
eiz 1
cuando r 0 porque lmz0 = i. Luego el lmite pedido es i.
z

R
6. Para (s) = 1 + eis , s [0, 2], hallar (z 2 1)1 dz .
Solucin. Usando fracciones simples
Z Z Z
2 1 1 d 1 d
(z 1) dz = = i 0 = i.
2 1 2 +1

7. Sea una curva Rcerrada C 1 a trozos en un abierto G y supngase que a
/ G. Prubese
que para n 2, (z a)n dz = 0.
(z a)(n1)
Solucin. Es consecuencia de que es holomorfa en G y dene una prim-
n1
itiva del integrando.
8. Sean f, g funciones holomorfas en un abierto G C con derivadas f 0 , g 0 continuas en
G. Si es una curva C 1 a trozos de extremos a, b, prubese que:
Z Z
f g dz = f (b)g(b) f (a)g(a) f 0 g dz.
0

Solucin. Se tiene que:

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

2
 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:
Z
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 0 (z),

es derivable con derivada continua en D. Panto:

Z
h(z) dz = 0.

Se tiene que:
(t) = g((t)) t [a, b],
luego
Z Z b Z b Z
0 0 0
f (z) dz = f ((t)) (t) dt = f (g((t)))g ((t)) (t) dt = h(z) dz = 0.
a a

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

Z Z Z Z
eiz dz sen z log z
a) dz, b) , c) dz, d) dz,
z2 za z3 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:

Z z Z Z
e ez 1 1
a) dz, b) n dz, c) dz,
zn 1 z2 +1
z
2

3
 Z Z
sen z z 1/m
d) dz, e) dz,
z (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)
[(m 2)m 1] . . . [km 1] . . . [2m 1][m 1]
2i(1)m1 .
[(m 1)m] . . . [km] . . . [2m]m
En el caso c) conviene escribir:

1 1 1 1
2
= .
1+z 2i zi z+i

12. Calcular: Z
z2 + 1
dz,
z(z 2 + 4)
is
= re , 0 s 2 , para todos los valores posibles de r (0, 2) (2, ).
Solucin. Para r 6= 2 positivo Escribimos:
Z Z Z Z
z2 + 1 1 1 3 1 3 1
2
dz = dz dz dz.
z(z + 4) 4 z 8 z 2i 8 z + 2i
i
Para r < 2 las dos ltimas integrales valen cero y la primera .
2
Para r > 2: Z
z2 + 1 i 3
2
dz = = i.
z(z + 4) 2 2

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

Z
d
= 2i,
z

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

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

X n
1 za
n=0
a a

4
 converge uniformemente a
1
z
en . Por tanto:
Z X Z Z
d d d
= n+1
(z a)n = = 2i.
z n=0 ( a) 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:

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

por tanto:
X X n
in+1 i
Log z = (z i)n+1 = (z i)n .
n=0
n + 1 n=1
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 z en z = 1 determinando su radio de
convergencia.
Solucin. Usando la parte principal de z 1/2 se comprueba de inmediato que:

z = z 1/2 .

Escribiendo f (z) = z,

(1)n (2(n 1) 1)!!

f (n) (1) = .
2n
El desarrollo es:

X
(1)n (2(n 1) 1)!!
z= (z 1)n .
n=0
2n!!

5
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:

X . . . ( (n 1))(1 + z0 )n
(z z0 )n ,
n=0
n!

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

Por tanto
X . . . ( (n 1))(1 + z0 )n

(1 + z) = (z z0 )n ,
n=0
n!
en G D(z0 , ) donde G es el dominio de holomorfa de f es decir G = C \ {z 1}.

17. Prubese que:

1 1 + iz
f (z) = log
2i 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:

X
z 2k+1
f (z) = (1)k ,
k=0
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| < 2 } y que tag (f (z)) = z para z .
1
Cualquiera que sea la rama (g, ) de la arcotangente se tiene que g 0 = por lo
a + z2
que:
X
0 1
f (z) = 2
= (1)n z 2n ,
a+z n=0

con lo que
X
z 2n+1
f (z) = (1)n ,
n=0
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:

X ak
f (z) = zk ,
k=0
k!

determinar el radio de convergencia.

Prubese adems que:

n n n
an1 + an2 + + a1 + a0 = 0,
n1 n2 1
para n 2.
Solucin. Con ms propiedad, la funcin entera:

X 1
g(z) = zn
n=0
(n + 1)!

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

X
X an
f (z) = bn z n = zn,
n=0 n=0
n!

y el radio de convergencia es = . Como:

f (z)g(z) = 1,

se tiene en particular que:

n
X ak 1
= 0,
k=0
k! n + 1 k
para n 1, es decir:
n
X (n + 1)!
ak = 0,
k=0
k!(n + 1 k)
luego
n
X
n+1 n+1 n+1 n+1
ak = a0 + a1 + + an = 0,
k=0
k 0 1 n

que es lo que se pretenda probar.

7
 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:
zez z z z
f (z) = z
=z+ z = f (z).
e 1 2 e 1 2
Por tanto
1 1 a2
f (z) + = a0 + (a1 + )z + z 2 + ,
2 2 2!
slo puede tener potencias pares.
De aqu:
1
a1 = ,
2
y
an = 0 n = 2 + 1, n 3.
En particular:


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

2n k1 2n n2 2n
1n+ B2 + (1) B2k + (1) B2(n1) = 0,
2 2k 2(n 1)
Los coecientes B2 , B4 , B6 se calculan como sigue:

4
12+ B2 = 0
2

6 6
13+ B2 B4 = 0
2 4

8 8 8
14+ B2 B4 + B6 = 0.
2 4 6
Por tanto:

6B2 = 1
15B2 15B4 = 2


28B2 70B4 + 28B6 = 3.
Luego:
1 1 1
B2 = B4 = B6 = .
6 30 42

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

m!K
|f (m) (0)| sup |f (m) | ,
D(0,R) Rm

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

K M Rn .
Por tanto
m!M
|f (m) (0)| sup |f (m) | ,
D(0,R) Rmn
por lo que
m!M
|f (m) (0)| lm = 0,
R Rmn

para m n + 1. Esto implica que:

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 nece-
sariamente 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)| = nf G |f (z)| > 0 entonces:

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

1 1
mientras es holomorfa en G. Del principio del mximo tiene que ser cons-
f (z) f (z)
tante.

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 lmz |p(z)| = y |p(z)| alcanza en un
disco D(0, R) su nmo en C. Del ejercicio anterior si

nf |p(z)| = |p(a)| a D(0, R),

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 conju-
gada 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