Ejercicios de Analisis Complejo

L. M. Enrique Rodrguez Castillo

Universidad Nacional Aut
onoma de Mexico
Instituto de Matem
aticas, Campus Morelia
erodriguez@matmor.unam.mx

Julio de 2009

Teorema de Cauchy
I.1 Teorema de Deformaci
on . . . . . . . . . . . . . . . . . . . . . . .
I.2 Formula integral de Cauchy . . . . . . . . . . . . . . . . . . . . .

5
5
6

II Teorema de Liouville y Teorema de Morera

II.1 Aplicaciones del Teorema de Liouville . . . . . . . . . . . . . . .
II.2 Aplicaciones del Teorema de Morera . . . . . . . . . . . . . . . .

9
9
11

III Series de Laurent

15
III.1 Desarrollo en serie de Laurent . . . . . . . . . . . . . . . . . . . . 15
III.2 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . 18
III.3 Clasificaci
on de singularidades . . . . . . . . . . . . . . . . . . . . 20
IV Residuos
IV.1 C
alculo de residuos . . . . . . . .
IV.2 C
alculo de integrales de lnea . .
IV.3 C
alculo de integrales indefinidas
IV.4 Valor principal de Cauchy . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

23
23
24
30
33

V Teorema de Rouch`
e
35
V.1 Conteo de ceros de funciones holomorfas . . . . . . . . . . . . . . 35
V.2 Soluciones de ecuaciones algebraicas . . . . . . . . . . . . . . . . 38
VI Transformaciones conformes

41

CAP
ITULO

Teorema de Cauchy
n
I.1. Teorema de Deformacio
Problema 1. Sean un subconjunto abierto y no vaco de C, f : C
una funcion holom
orfa y : [a, b] un camino cerrado, digamos (t) =
x(t) + iy(t).
R
1. Supon que f (z) dz 6= 0.
(a) Es homotopica en al camino constante c : t 7 c, donde c ?

(b) Esta im contenida en un subconjunto simplemente conexo de ?

(c) Grafca las regiones del plano complejo descritas abajo y d en cuales
de ellas puede existirR una funcion f : C holomorfa y un camino
cerrado tales que f (z) dz 6= 0 (justifica tu respuesta).
i.
ii.
iii.
iv.

= C.
= {z C : |z i| < 2}.
= C\R , donde R fijo y R = {r ei C : r 0}.
con la notaci
on del inciso anterior, = C\((1+R0 )(1+R )).
t+i

v. = C\{e
vi. = C\{0}.

t2
1+t2

: t 0}.

2. Que puedes decir en general del valor de

f (z) dz ?

Demostraci
on.
1. (a) No, porque el Teorema de defirmaci
on nos dice que la integral no
depende de la clase de homotopa de la curva y si suponemos
que
R
es homotopica a la funcion constante c, entonces f (z) dz =
R
f (z) dz = 0, lo que es absurdo.
c
(b) No, porque de lo contrario, tendramos que sera homotopica a una
funcion constante y por la parte (a), sabemos que eso es imposible.
5

CAPITULO I. TEOREMA DE CAUCHY

6
(c)

i. En este caso, tenemos que f : C C es entera y porR el Teorema

de Cauchy, si es un camino cerrado en C, entonces f (z) dz =
0. Por tanto, en este caso no existe tal funcion y tal camino.
ii. Todos los discos son simplemente conexos y nuevamente por
el Teorema de deformaci
on sabemos que no puede existir una
funcion anal
tica
en
el
disco
y un camino cerrado en el disco que
R
satisfagan f (z) dz 6= 0.
iii. PENDIENTE.
X

rmula integral de Cauchy

I.2. Fo
Problema 2. Calcula las siguientes integrales (justifica tu respuesta).
1.
2.

z3
3
2
|z2|= 2 (z1)

dz .

z3
1
2
|z2|= 2 (z1)

dz .


on delimitada por 0
Demostraci
on. Sean 0 = 2 + 12 eit : t [0, 2] , G0 la regi
z3
y g(z) = (z1)2 , entonces g es analtica en G0 y continua en 0 ; por el Teorema
de Cauchy, tenemos
Z

1
|z2|= 2

z3
dz =
(z 1)2

g(z) dz = 0.


on G1 delimAhora, consideremos la curva 1 = 2 + 32 eit : t [0, 2] , la regi
itada por 1 y la funcion f (z) = z 3 . Como f es entera, la formula integral de
Cauchy para derivadas nos asegura la suguiente igualdad:
Z
f (z)
2if (1) =
(z1)2 dz
1

y es evidente que f (1) = 3 por lo que el valor de la integral

es 6i.
Problema 3.
(a) Muestre que


zn
n!

2

1
=
2i

|w|=1

z n ezw
dw .
n! wn+1

z3
3
2
|z2|= 2 (z1)

dz
X


I.2. FORMULA
INTEGRAL DE CAUCHY

(b) Use la parte (a) para mostrar que

n=0

zn 2
n!

1
=
2i

e2z cos d .

Problema 4. Sea f (z) una funcion entera. Supongamos que existe n N tal
que |f (z)| |z|n se cumple para cada z C. Pruebe que f (z) es un polinomio
de grado menor o igual a n.
Demostraci
on. Sean n N y z0 C. Por la formula integral de Cauchy para
derivadas, sabemos que
Z
f (z)
(m+n)
1
f
(z0 ) = 2i
(zz0 )m+n+1 dz ,

donde es un crculo centrado en z0 de radio positivo, digamos r. Una parametrizaci

on para puede ser t 7 z0 + r eit para t [0, 2) y as, tenemos
Z 2
Z 2
|f (z0 +r eit )|
(m+n)
it
1
1
e | dt = 2rn+m
|f (z0 + r eit )| dt
|f
(z0 )| 2
|r eit |n+m+1 |ir
0

1
2r n+m

= c

|z0 |
r n+m

c|z0 + r eit | dt

1
.
+ rn+m1
0

c(|z0 |+r)
2ir n+m

0
2

dt

Como el valor f (m+n) (z0 ) no depende de r, podemos hacer que r y obtenemos que f (n+m) (z0 ) = 0 para todo n N y as, tenemos que todas las derivadas
de f a partir de la (m + 1)-esima son identicamente cero. Esto nos dice que f
es un polinomio de grado menor o igual a m.
X
Problema 5. ParaR a, b C con |a| < 1 < |b| y m, n N, calcular el valor de la
dz
siguiente integral: |z|=1 (za)m
(zb)n .
Demostraci
on. Consideremos la funcion
(z) =

1
(zb)n

y sean = {z C : |z| = 1} y G el disco unitario, entonces es analtica en

G y continua en ya que b 6 G . Por la formula integral de Cauchy para
derivadas, sabemos que
Z
Z
1
(z)
dz .
2i(m1) (a) =
dz
=
m
(za)
m
n

|z|=1 (z a) (z b)
Luego, podemos ver que
1
(m1) (a) = (1)m (n+m2)!
(n1)! (ab)n+m1

con lo que terminamos la prueba.

CAP
ITULO

II

Teorema de Liouville y Teorema de Morera

II.1. Aplicaciones del Teorema de Liouville
R
f (z)
dz , donde a, b D(0; R), es el
Problema 6. Calcule I(R) = (za)(zb)
crculo de radio R y centro en 0 recorrido positivamente y f es una funcion
entera. Pruebe que si f es entera y actotada, entonces limR I(R) = 0.
Deduzca entonces el Teorema de Liouville.
Demostraci
on. Como a, b D(0; R), el cual es abierto, entonces existen dos
n
umeros reales positivos r y s tales que r = {a + r ei : [0, 2]} D(0; R)
al igual que s = {b + s ei : [0, 2]} D(0; R) y si Gr es el interior de r
y Gs el interior de s , entonces Gr Gs = ; luego, por el Teorema de Cauchy
sabemos que
Z
Z
Z
f (z)
f (z)
f (z)
dz =
dz +
dz .
(z a)(z b)
r (z a)(z b)
r (z a)(z b)
(z)
(z)
y (z) = fza
; como f es entera,
Ahora, consideremos las funciones (z) = fzb
vemos que es analtica en toda la regi
on Gr y por la formula integral de
Cauchy, tenemos
Z
Z
f (z)
(z)
2i(a) =
dz
=
dz ;
(za)
(z

a)(z b)
r
r

con un argumento similar, podemos concluir que

Z
f (z)
dz
2i(b) =
(z

a)(z b)
s
y as, tenemos que
Z

f (z)
(a)
+
dz = 2i fab
(z

a)(z

b)

f (b)
ba

2i
ab (f (a)

f (b)).

Supongamos ahora que f es entera y acotada, digamos que |f (z)| M para

todo z C y tomemos a = b = z0 C. Sea r un crculo de radio r > 0 con
9

10CAPITULO II. TEOREMA DE LIOUVILLE Y TEOREMA DE MORERA

centro en z0 , entonces

f (z0 ) =

1
2i

f (z)
(zz0 )2

dz =

por lo que
|f (z0 )|

1
2

1
2

2i

f (z0 +r ei )
ir ei
r 2 e2i

2
M
r

d =

M
r ;

como el valor de f (z0 ) no depende de r, podemos hacer que r para obtener

|f (z0 )| = 0 y como z0 es arbitrario, podemos concluir que f = 0. Por tanto, f
es constante.
X
Problema 7. Que funciones enteras f : C C cumplen con f (0) = 1 y
lim f (z)
z = 1?
z

Demostraci
on (an )n en C tal que
P on. Como f es entera, existe una sucesi
f (z) = n an z n para todo z C. Ahora, tenemos
X
1 = lim f (z)
an+2 z n+1 ;
z = a1 +
z

sea g(z) = n an+1 z n , la cual es una funcion entera, entonces para = 1

existe R > 0 tal que si |z| > R se tiene
P

|g(z) 1| 1
de donde concluimos que |g(z)| 2 para todo z {w C : |w| > R}. Luego,
sabemos que B(0, R) es un subconjunto compacto de C y como g es continua,
existe w0 B(0, R) con |g(w0 )| |g(w)| para todo w B(0, R). Si M =
max{|g(w0 )|, 2}, entonces para todo z C tenemos |g(z)| M y por el Teorema
de Liouville sabemos que g(z) es constante, pero g(0) = a1 por lo que g(z) = a1 .
Ahora, es claro que an+2 = 0 para todo n y a1 = 1; como f (0) = 1, entonces
a0 = 1 y as, tenemos que f (z) = z + 1.
X
Problema 8. Caracteriza las funciones analticas f : C C tales que |f (z)| <
|f (z)| para todo z C.

Demostraci
on. Pdemos ver que |f (z)| > |f (z)| 0 para todo z C por lo

que f no tiene ceros en C. Luego, tenemos que la funcion g(z) = f (z)/f (z) es
entera y acotada en C por lo que existe c C con |c| < 1 tal que g(z) = c, de
donde obtenemos la relaci
on f (z)cf (z) = 0 para todo z C. resolviendo esta
ecuaci
on diferencial, obtenemos f (z) = w0 ek(zz0 ) , donde k D, z0 , w0 C y
w0 6= 0.
X
Problema 9. Una funcion f : C C es doblemente peri
odica si existen
a, b C linealmente independientes en C, considerandolo como espacio vectorial
real, tales que f (z + a) = f (z + b) = f (z) para todo z C. Probar que si f es
entera y doblemente peri
odica, entonces es constante.

11

II.2. APLICACIONES DEL TEOREMA DE MORERA

Demostraci
on. Sea A el paralelogramo determinado por a y b en C, considerado
como espacio vectorial real. Para cada [0, 1] tenemos que f (a) = f ([1 +
]a) = f (a+b) as como f (b) = f (b+a) = f ([1+]b) y por la continuidad de
la suma de n
umeros complejos y de f , concluimos que A determina los valores
de f en todo C ya que para cada z C existe w A tal que f (z) = f (w); luego,
como A es un subconjunto compacto de C existe z0 A tal que |f (z0 )| |f (z)|
para z A y por tanto, para z C. Como f es entera, por el Teorema de
Liouville concluimos que f debe ser constante.
X

II.2. Aplicaciones del Teorema de Morera

R etz
Problema 10. Muestra que la funcion f (z) = 0 1+t
2 dt es continua en el
semiplano cerrado {z C : z 0}. Usando los Teoremas de Morera y Fubini,
muestra que f es holom
orfa en el interior de su dominio.
Demostraci
on. Consideremos la regi
on cerrada G = {z C : z 0} y la
funcion F : G R+ C definida por F (z, t) = 1/(1+t2 ) etz , la cual es continua
en ambas variables y para cada t R+ la funcioRn F (, t) : G C es analtica en

el interior de G; adem
as, es claro que f (z) = 0 F (z, t) dt . Para cada z G,
+
con z = x + iy y x 0, y cada t R tenemos
 t(x+iy) 
tx

e
1
= e
1+t
|F (z, t)| = 
2.
1 + t2  1 + t2
1
Sea g(t) = 1+t
2 , entonces para t (0, 1] tenemos g(t) 1 y para t (1, +)
tenemos que g(t) t12 ; as, vemos que
Z
Z
Z 1
Z
1
g(t) dt 1 +
g(t) dt +
dt
g(t) dt =
t2
0
1
0
0



= 1 + 1t t=1 = 1 + 1 = 2

Ahora, es claro que F (z, t) est

a dominada por una funcion integrable por lo que
es integrable en G R+ . Sea (zn )nN una sucesi
on en G que converge a z G,
entonces la sucesi
on de funcioens medibles F (zn , t) converge puntualmente a
F (z, t), por la continuidad de F , y por el Teorema de convergencia dominada
de Lebesgue, tenemos
Z
Z
F (zn , t) dt = lim f (zn )
F (z, t) dt = lim
f (z) =
n

de donde concluimos que f es secuencialmente continua. Como C es un espacio

metrico, sabemos que la continuidad secuencial es equivalente a la continuidad
por lo que f es continua.
Luego, sea una curva cerrada simple contenida en el interior de G, entonces

Z
Z Z
F (z, t) dt dz
f (z) dz =

12CAPITULO II. TEOREMA DE LIOUVILLE Y TEOREMA DE MORERA

y como F (z, t) es integrable, por el Teorema de Fubini, tenemos


Z Z
Z Z
F (z, t) dz dt = 0
F (z, t) dt dz =
0

pues ya habiamos comentado sobre la analiticidad de F (z, t) para cada t R+

fijo. Por el Teorema de Morera, concluimos que f es analtica.
X
R

Problema 11. Sea (z) =

analtica en su dominio.

tz1 et dt para z > 0. Probar que f es

Sugerencia: Usar los Teoremas de Morera y Fubini.

Demostraci
on. Sea D = {z C : z > 0} y consideremos la funcion F :
R+ D C definida por F (t, z) = tz1 et , la cual es una funcion continua en
ambas coordenadas por lo que F es medible con respecto a la -algebra producto
de R+ D, donde D se consideraR con la -algebra de Borel de C restringida.

Adem
as, podemos ver que (z) = 0 F (t, z) dt para cada z D. Sea z = x+iy
con x 0, entonces
|F (t, z)| = |tz1 et | = et tx1 .
Consideremos la funcion gx (t) = tx1 , con 0 x < 1 fijo, entonces para 0
x < 1 y 0 t < 1 tenemos que et tx1 gx (t); luego, para x 1, sabemos
que et/2 tx1 0 cuando t por lo que existe M > 0 tal que
e /2 tx1 M
t

para todo x 1 y multiplicando ambos lados por et/2 , obtenemos et tx1

M et/2 . Sea hx (t) = M et/2 para x 1, entonces hx es integrable en el
intervalo [1, +) y es claro que
Z 1
Z 1
1
tx1 dt = tx |0 = 1.
gx (t) dt =
0

Ahora, para x < 1 consideremos la funcion h : R+ R definida por

 x1
t
si t < 1
h(t) =
M et/2 si t 1
y vemos que
Z

h(t) dt =

x1

dt +

M et/2 dt < +

y para cada x 0 tenemos et tx1 G(t). Por tanto, |F (t, z)| h(t) con
h una funcion integrable en [0, +) por lo que para cada z D la funcion
F (t, z) est
a dominada por una funcion integrable. Sea (zn ) una sucesi
on en D
que converge a z D, entonces la sucesi
on F (t, zn ) converge a F (t, z) ya que

II.2. APLICACIONES DEL TEOREMA DE MORERA

13

F es una funcion continua en z y por el Teorema de convergencia dominada de

Lebesgue, tenemos
Z
Z
F (t, zn ) dt
F (t, z) dt = lim
(z) =
n 0
0
Z
F (t, zn ) dt = lim (zn )
= lim
n

y as, concluimos que es una funcion continua.

Sea una curva cerrada simple contenida en D. Como F es integrable en el
intervalo [0, +), por el Teorema de Fubini, tenemos que


Z Z
Z
Z Z
F (t, z) dz dt .
F (t, z) dt dz =
(z) dz =

Ahora, para cada t > 0, la funcion F (t, ) es analtica en D (de hecho, es

entera yaRque es una funcion exponencial compleja) y por el Teorema de Cauchy,
tenemos F (t, z) dz = 0 y as,
Z

(z) dz = 0.

Por el Teorema de Morera, concluimos que es analtica en su dominio.

CAP
ITULO

III

Series de Laurent
III.1. Desarrollo en serie de Laurent
Problema 12. Encuentre el desarrollo en serie de Laurent de f (z) =
1. la regi
on {z C : 0 < |z| < 1}.
2. la regi
on {z C : |z| > 1}.
Demostraci
on. Podemos ver que
1
z(z+1)

1
z

1
1+z .

1. Para z en la regi
on {z C : 0 < |z| < 1} tenemos
1
1+z

1
1(z)

(1)n z n

n=0

y as, la serie de Laurent es

1
z(z+1)

(1)n+1 z n + z1 .

n=0

2. Para z en la regi
on {z C : |z| > 1} tenemos
1
1+z

1
z

1
1+1/z

1
z

(1)n

n=0

1 n
z

por lo que la serie de Laurent es

1
z(z1)

1
z

(1)n+1

n=0

15

1 n
z

n=2

(1)n z1n .

1
z(z+1)

en

CAPITULO III. SERIES DE LAURENT

16

X
Problema 13. Desarrolle la funcion
1
1
1
+
+
z
(z 1)2
z+2

f (z) =
en serie de Laurent en
(a) {z C : 0 < |z| < 1}.
(b) {z C : 1 < |z| < 2}.

Demostraci
on. Consideremos la regi
on A = {z C : 0 < |z| < 1}. Si z A,
entonces 0 < |z/2| < 1/2 y as, tenemos
1
z+2

1 1
2 1+z/2

1
1
2 1(z/2)

1
2

(1)n n
2 z

n=0

(1)n n
4 z ;

n=0

ahora, podemos ver que

1
(1z)2

d
dz

1
1z

d
dz

zn

n=0

y como la serie de potencias converge uniformemente en el crculo de convergencia C y A C, entonces

1
(1z)2

dz n
dz

n=0

nz n1 .

n=1

As, tenemos que para z A la serie de Laurent de f es

f (z)

1
z


X

n+

(1)n
4

n=0

zn.

Ahora, sea B = {z C : 1 < |z| < 2}. Para z {z C : |z| > 1} tenemos
1
1z

= z1 111/z = z1

por lo que
1
(1z)2

d
dz

luego, para z B tenemos

1
z+2

1
1
2 1(z/2)

1
2

1
zn

n=0

z n+1

n=0

n=0

1
z n+1

n=0

n+1
z n+2 ;

n=0

(1)n n
2n z

n=0

(1)n n
2n+1 z .

17

III.1. DESARROLLO EN SERIE DE LAURENT

Por tanto, la serie de Laurent de f en B es
f (z) =

(1)n n
2n+1 z

n=0

1
z

n1
zn .

n=2

X
Problema 14. Encuentre

 del punto
 eldesarrollo en serie Rde Laurent alrededor
z
z
. Adem
as, eval
ue |z2|= sen z2
dz .
z = 2 de la funcion sen z2
z
z2

Sugerencia: Haga

2
z2 .

=1+

1
z p (z1)q .

Problema 15. Sean p y q enteros positivos y f (z) =

serie de Laurent de f en

Encuentre la

1. {z C : 0 < |z| < 1}.

2. {z C : 1 < |z|}.
3. {z C : 0 < |z 1| < 1}.
4. {z C : 1 < |z 1|}.
Demostraci
Pon. Sea A = {z C : 0 < |z| < 1}. Para z A sabemos que
= n=0 z n y la serie converge uniformemente en A por lo que

1/1z

(q1)!
(1z)q

=
=

dq1
dz q1

n=0

=
=

1
1z

dq1
dz q1

zn =

n=0

dq1
dz q1

zn

n=q1

n(n 1) (n q + 2)z nq+1

(q 1)!
(q 1)!

nq+1
n!
(q1)!(nq+1)! z

n=q1

X

n=q1


n
z nq+1 .
q1

As, para z A tenemos la representaci

on
1

z p (z1)q

(1)q
1
z p (1z)q

q+p2
X

(1)q

n=q1

=


(1)q
zp



X
n
z nq+1
q

1
n=q1





X
n
n
z nqp+1 .
(1)q
z nqp+1 +
q

1
q1
n=qp+1

CAPITULO III. SERIES DE LAURENT

18
Sea B = {z C : |z| > 1}, entonces
1
1

1
z

1
zn

n=0

y la convergencia es uniforme en B; luego, para z B tenemos



X
n
(1)q
1
1
=
z p (z1)q
zp
z nq+1
q

1
n=q1
X

III.2. Series de potencias

Problema 16. Considere la serie

1 n
n=1 n2 z .

(1) Muestre que la serie es uniformemente convergente en el disco cerrado

unitario.


P
(2) Muestre que f (z) = n=1 n12 z n es inyectiva en el disco z C : |z| < 23 .
Sugerencia: Puede usar el siguiente resultado: si |f (z) f (a)| < |f (a)|
para todo z D(a, r), entonces f es inyectiva en D(a, r).

Demostraci
on.
(1) Para z D = {z C : |z| 1} tenemos que



 X
X
 1 n X

1 n


z
z
=



n2
n2



< +

n=1

n=1

n=1

1
n2

y por el criterio de Weierstrass, sabemos que la serie converge absolutamente y uniformemente en toda la regi
on cerrada D.
P 1 n
(2) Por la parte (1), sabemos que la serie n=1 n2 z converge uniformemente
a f en D y as, tenemos que
f (z) =

n=1

1 n1
nz

= 1 + 12 z + 31 z 2 +

paratodo z en el interior
de D. Luego, podemos ver que f (0) = 1 y para

2
z w C : |w| < 3 tenemos



X
 X
X

n1
2n1
1 n1 
1
|f (z) f (0)| = 
z
|z|
=


n
n
n3n1


n=2
n=2
n=2



X
X




1
n1
n
2
1 2
1
2
=2
= 23
<
2 3
3
1 32
n=1
n=2
=

1 = |f (0)|


y as, concluimos que f debe ser inyectiva en el disco w C : |w| < 32 .

19

III.2. SERIES DE POTENCIAS

X
Problema 17. Considere la siguiente funcion analtica
f (z) =

cn z n ,

n=0

para z {w C : |w| < R}. Si r < R y M (r) = max{|f (z)| : |z| = r}, probar
que para todo n se tiene
|cn |
Adem
as, si |ck | =
f (z) = ck z k .

M (r)
rk

M (r)
.
rn

para alg
un k , entonces la funcion f es de la forma

Ayuda: para r < R mostrar que

Z 2

X
1
|cn |2 r2n .
|f (rei )|2 d =
2 0
n=0
Demostraci
on. Por el Teorema de Taylor, sabemos que n!cn = f (n) (0) y por la
formula integral de Cauchy, tenemos
Z
n!
f (z)
n!cn =
dz ,
2i r z n+1
donde r es el crculo de radio r con centro en 0. Ahora, tenemos
Z

Z 2


|f (r ei )|
f (z)
1 
 1
dz
|ir ei | d
|cn | = 2 
 2
n+1
|r ei |n+1
0
r z
Z 2
Z 2
i
1 M (r)
1
e
|f
(r
)|
d

d
= 2r
n
2 r n
0
0
M (r)
=
.
rn
Ahora, tenemos
Z 2
1
|f (r ei )|2 d
2

1
2

1
2

1
2

f (r ei )f (r ei ) d
0
!
!
Z 2 X

X
m im
n in
cm r e
d
cn r e
0

n=0

n=0

2 X

rn

n=0

n
X
j=0

m=0

n
X
j=0

cj rj eij cnj rnj ei(nj) d

1
2 cj cnj

ei(2jn) d

CAPITULO III. SERIES DE LAURENT

20

R 2
n
n
y recordando que 0 ei(2jn) d = 22j
, donde 2j
es la delta de Kronecker,
vemos que
Z 2

X
X
X
n
i 2
n
1
1
e
r
|f
(r
)|
d
=
c
|cn |2 r2n .
c
2
=
j
nj
2j
2
2
0

n=0

n=0

j=0

Supongamos que existe k tal que |ck |rk = M (r), entonces

Z 2
1
|f (r ei )| d = M (r)
|ck |rk = 2
0

y por el Teorema del valor medio, tenemos que |f ()| es constante en el crculo
de radio r con centro en 0 e igual a M (r); luego, tenemos que
Z 2
Z 2
2
2 2k
2
1
1
M (r) d = 2
|f (r ei )|2 d
|ck | r
= M (r) = 2
0

n=0

|cn |2 r2n ,

de donde deducimos que cn = 0 para todo n 6= k.

n de singularidades
III.3. Clasificacio

Problema 18. Considere la funcion f (z) = 1 +

z2
2

sen

1
z

1. Determine el tipo de singularidad en z = 0.

R
2. Eval
ua f (z) dz , donde (t) = eit para t [0, 2].

P
Demostraci
on. Recordemos que sen z = n=0
as, tenemos que para z C\{0} tenemos
sen

1
z

(1)n
(2n+1)!

n=0

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

para todo z C;

1
z 2n+1

y sabemos que la convergencia de la serie de potencias es uniforme por lo que

f (z)

=
=

n=0

(1)n
(2n+1)!

1+

n1

(1)
1
(2n1)! z 2n1

1
2z

1
z 2n+1

+ 12 z +

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

n=0

11 1
6 z

n=2

n=0
n

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

n=1

n=1

z2
2

1
(1)n1 8n+4n1
(2n+1)! z 2n1

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

 DE SINGULARIDADES
III.3. CLASIFICACION

21

de donde vemos que z = 0 es una singularidad escencial. De la representaci

on
de f en serie de Laurent podemos ver que
Z
f (z) dz = 11
3 i

con lo que termina el problema.

CAP
ITULO

IV

Residuos
lculo de residuos
IV.1. Ca

Problema 19. Sean P (z) y Q(z) dos polinomios no constantes tales que
grad Q grad P + 2. Pruebe que la suma de los residuos de P/Q es cero.
Demostraci
on. Consideremos la funcion f = P/Q la cual es meromorfa en C ya
que el conjunto de singularidades de f est
a contenido en el conjunto de ceros
de Q que es un conjunto finito. Supongamos que
P (z) = an z n + + a0
con an 6= 0, entonces existe m tal que
Q(z) = bn+m+2 z n+m+2 + + b0
con bn+m+2 6= 0 y as, podemos ver que
an z n + + a0
z bn+m+2 z n+m+2 + + b0
an1
a0
1
1
1
z m+2 + an z m+3 + + an z n+m
an
= lim bn+m+2
b0
1
1
z
1 + bbn+m+1
+ + bn+m+2
z n+m+2
n+m+2 z

lim f (z) =

lim

de donde deducimos que f es analtica en por lo que Res(f, ) = 0. Ahora,

sea A = {z C : z es un polo de f } y recordemos la relaci
on
X

zA

Res(f, z) + Res(f, ) = 0,

entonces podemos concluir ahora lo deseado.

23

CAPITULO IV. RESIDUOS

24
lculo de integrales de lnea
IV.2. Ca

Problema 20. Pruebe que si P (z) es un polinomio de grado menor que n,

entonces se cumple
Z
P (z)
dz = 0,
(z

z0 )z n

donde es un crculo con centro en 0 de radio 1 y |z0 | < 1.

Demostraci
on. Sea f (z) = P (z)/(zz0 )zn , entonces f tiene al menos un polo (en
z0 o en 0) y a lo mas tiene n + 1 polos, los cuales pertenecen al disco unitario.
Ahora, supongemos que P (z) = an z n + + a0 con an 6= 0, entonces podemos
ver que
an + + zan0
=0
lim f (z) =
z
z z0
por lo que es una singularidad removible de f ; de esto concluimos que
Res(f, ) = 0 y por la relaci
on
X
Res(f, w) + Res(f, ) = 0
w{ polos de f }

tenemos que

w{ polos de f }

Res(f, w) = 0, pero sabemos que

X

f (z) dz =

Res(f, w)

w{ polos de f }

ya que 0 y z0 pertenecen a la regi

on delimitada por .

Problema 21. Sea n la frontera orientada en el sentido de las manecillas del

reloj del cuadrado con vertices en {(1 i) (n + 1/2) }. Para z fijo y n > |z|,
usar la formula del residuo para probar que
1
2i
Concluir que

X
cot z
1
2
cot
+
d =
2.
2 2 z2
( z)
j
z
z
j=1

X
j=1

z
= 21 cot z + 21 z 1
j 2 2 z2

para z C\Z.
Atenci
on: le falta la hip
otesis sen z 6= 0 y cos z 6= 0.
cot

cot
Demostraci
on. Sean f () = (z)
, g0 () = cos
z , h0 () = sen , gz () = ,
hz () = z y para k {n, . . . , n}\{0} consideremos las funciones gk () =


IV.2. CALCULO
DE INTEGRALES DE LINEA

25

cos
(z)

y hk () = sen , entonces para todo en la regi

on delimitada por n ,
que denotaremos por Gn , tenemos
f () =

g0 ()
gz ()
gk ()
=
=
.
h0 ()
hz ()
hk ()

(IV.1)

Podemos ver que

h0 (0) = h0 (0) = 0,

g0 (0) = z1 6= 0,

h0 (0) = 2,

h
0 (0) = 0

y ambas funciones son analticas en el disco con centro en 0 de radio r0 < ;

para las funciones gz () y hz () podemos considerar un disco con centro en z y
radio rz tal que D(z, rz ) Gn y en tal regi
on, ambas funciones son analticas y
tenemos
gz (z) = cotz z 6= 0
hz (z) = 0
y
hz (z) = 1;
finalmente, para gk () y hk (), elegimos un disco con centro en k y radio
rk < 21 para tener D(k, rk ) Gn y ambas funciones siendo analticas en tales
discos con
gk (k) =

cos k
k(kz)

hk (k) = 0

hk (k) = cos(k).

Afirmaci
on 1. Si a() y b() son funciones analticas en una regi
on G y
cumplen con a(z0 ) 6= 0, b(z0 ) = 0 y b (z0 ) 6= 0 para alg
un z0 G, entonces
la funci
on a()
b() tiene un polo simple en z0 y
Res

a()
b() , z0

a(z0 )
.
b (z0 )

Demostraci
on. Como z0 A y A es una regi
on (abierto y conexo), entonces
existe r > 0 tal que D(z0 , r) A y en este disco, las funciones a() y b() son
analticas por tenemos la siguiente representaci
on en serie de Taylor
a() = a(z0 ) +

a (z0 )
1! (

z0 ) +

b() =

b (z0 )
1! (

z0 ) + ;

(IV.2)

on en
Luego, es claro que la funcion a()
b() tiene un polo simple en z0 y su expanci
serie de Laurent en el anillo D(z0 , r)\{z0 } contenido en D(z0 , r) es
a()
b()

por lo que debemos de tener

b1
+
z0

a() = b()

b1
z0

(IV.3)

i
+ .

Las series (IV.2) y (IV.3) convergen uniformemente en el anillo D(z0 , r)\{z0 }

por lo que podemos multiplicar las series termino a termino para obtener
a(z0 ) + = b1 b (z0 ) +


0)
,
z
= b1 = ba(z
de donde concluimos que Res a()
(z ) .
0
b()
0

CAPITULO IV. RESIDUOS

26

Afirmaci
on 2. Si a() y b() son funciones analticas en una regi
on G y
cumplen con a(z0 ) 6= 0, b(z0 ) = 0, b (z0 ) = 0, b (z0 ) 6= 0 para alg
un z0 G,
entonces la funci
on a()
b() tiene un polo doble en z0 y
Res

a()
b() , z0

=2

a (z0 )
a(z0 )b (z0 )
23
.

b (z0 )
b (z0 )2

Demostraci
on. Sea c() = a()/b(). En discos apropiados, podemos representar
a las funciones a() y b() en expansi
on de serie de Taylor como sigue:
a() = a(z0 ) + a (z0 )( z0 ) +
y
b() = 21 b (z0 )( z0 )2 + 16 b (z0 )( z0 ) +
de donde concluimos que c() tiene un polo doble en z0 ; en un anillo apropiado,
digamos A, la serie de Laurent para c() se puede escribir como
a()
b()

b1
b2
+
+
2
( z0 )
z0

por lo que obtenemos

b (z0 )
2 (

z0 )2 +

a(z0 ) + a (z0 )( z0 ) + =
i
ih
(z0 )
b2
b1
.
( z0 ) + (z
2 + z +
6
0)
0

Como todas las series involucradas convergen uniformemente en el anillo A,

podemos multiplicar termino a termino para obtener el siguiente sistema de
ecuaciones
b (z0 )
2 b2
b (z0 )
2 b1

a(z0 ) =
a (z0 ) =

b (z0 )
6 b2 ;

resolviendo para b1 obtenemos la formula deseada.

Por estas dos afirmaciones y por (IV.1) tenemos que f () tiene polos simples
en los puntos z y k, para |k| n+1\1, y tiene un polo doble en 0 y los residuos
correspondientes son
Res(f (), 0)

Res(f (), z)

Res(f (), k)

10
z12
23 z = z12
2
4

cot z
z

cot z
z

cos(k)
k(kz)

cos(k)

1
k2 2 kz .


IV.2. CALCULO
DE INTEGRALES DE LINEA

27

Por el Teorema del Residuo, concluimos que

Z
n
n
X
X
cot z
cot
1
1
1
1
+
d
=
2 (IV.4)
2
2
2 2 kz +
2i
k

+kz
k
z
z
n ( z)
=
=
=

k=1
n 
X

k=1
n
X

k=1
n
X

k=1

k=1

1
k2 2 +kz

1
k2 2 kz

[k2 2 kz]+[k2 2 +kz]

[k2 2 +kz][k2 2 kz]
2
k2 2 z 2

cot z
1
2 (IV.5)
z
z

cot z
1
2
z
z

cot z
1
2.
z
z

(IV.6)
(IV.7)

Sea bn = (n + 1/2) , entonces v1,n = (1+i)bn , v2,n = (1i)bn , v3,n = (1i)bn

y v4,n = (1 + i)bn son los verices del cuadr
ado de integraci
on. Consideremos
ahora las siguientes curvas parametrizadas

n
2

4
3

Figura IV.1: Rect

angulo de integraci
on y el crculo circunscrito.
1,n (t)
2,n (t)

=
=

3,n (t)
4,n (t)

=
=

(1 t)v4 + tv1 = (2t 1)bn + ibn ,

(1 t)v1 + tv2 = bn + i(1 2t)bn ,

(1 t)v2 + tv3 = (1 2t)bn + i(bn ),

(1 t)v3 + tv4 = bn + i(2t 1)bn ,

donde el par
ametro t lo tomamos en el intervalo [0, 1]. Sea at = 2t 1, entonces

bn
si j = 1

at bn si j = 2
j,n =
bn si j = 3

at bn si j = 4

y podemos ver que |j,n

(t)| = 2bn . Probaremos que


Z


cot
=0:
 lim 1
d

n 2i
n ( z)

CAPITULO IV. RESIDUOS

28
notese que
|1,n (t)|

|2,n (t)|
|3,n (t)|

|4,n (t)|

| 1,n (t)| = bn

| 2,n (t)| = bn
| 3,n (t)| = bn

| 4,n (t)| = bn

y tambien |j,n (t)| > |z| por lo que

|j,n (t) z| ||j,n (t)| |z|| = |j,n (t)| |z| > bn n
= n( 1) + 2 > n( 1);




luego, recordando que cos = 1/2 ei + ei y sen = 1/2i ei ei , tenemos
| cos j,n (t)|

| sen j,n (t)|

| eij,n (t) + eij,n (t) |

| eij,n (t) | + | eij,n (t) |

2
2
e j,n (t) + e j,n (t)
=
2
(
=

ebn + ebn
2
eat bn + eat bn
2

| ebn ebn |
2
| eat bn eat bn |
2

si j {1, 3}
si j {2, 4}
 i (t)

| e j,n | | eij,n (t) |
| eij,n (t) eij,n (t) |
=

2
2
(

ebn ebn
2
eat bn |
|e
2
at bn

si j {1, 3}
si j {2, 4}
si j {1, 3}
si j {2, 4}

Ahora, si j {1, 3}, entonces

| cot j,n (t)|

ebn + ebn
1 + e2bn
1
=
b
b
e n e n
1 e2bn n

por lo que existe m0 tal que para todo n m0 y todo t [0, 1] tenemos
| cot j,n (t)| 2
para j {1, 3}; ahora supongamos que j {2, 4} y t [0, 1/2], entonces at 0
y as, tenemos
| cot j,n (t)|

eat bn + eat bn
e2at bn +1
1
=
eat bn eat bn
1 e2at bn n

y si t [1/2, 1], entonces at 0 y tenemos

| cot j,n (t)|

eat bn + eat bn
1 + e2at bn
=
1
eat bn eat bn
1 e2at bn n


IV.2. CALCULO
DE INTEGRALES DE LINEA

29

por lo que existe m1 , m2 tal que para todo n m1 y todo t [0, 1/2]
tenemos
| cot j,n (t)| 2
y si n m2 y t [1/2, 1], entonces
| cot j,n (t)| 2
para j {2, 4}. Sean
In =

1
2i

cot
(z)

y > 0, entonces existe m3 tal que para todo n m3 tenemos

8
n(1)

y tomando m = max{m0 , m1 , m2 , m3 }, vemos que si n m, entonces

Z



cot
1 

|In | = 2 
(z) d 
n



 4 Z
X


cot
1 

= 2
d
(z)



 j=1 j,n


Z
4 

X


cot
1
d
2


 j,n (z)

j=1

1
2

4 Z
X
j=1

1
2

| cot j,n (t)||j,n

(t)|
|j,n (t)||j,n (t)|

X Z

j{1,3}

j{2,4}

1
2

1/2

X Z

j{2,4}

| cot j,n (t)||j,n

(t)|
|j,n (t)||j,n (t)z|

| cot j,n (t)||j,n

(t)|

|j,n (t)||j,n (t)z|

j{1,3}

dt

dt +

dt +

1/2

| cot j,n (t)||j,n

(t)|

|j,n (t)||j,n (t)z|

1
22bn
bn n(1)

dt

dt +

1/2

22bn
bn n(1)

dt +

8
= n(1)
,

de donde deducimos que limn In = 0.

1/2

22bn
bn n(1)

dt

CAPITULO IV. RESIDUOS

30
lculo de integrales indefinidas
IV.3. Ca

Problema 22. Evalue usando una rama adecuada del logaritmo

Z
dx
.
(1 + x) x
0
Demostraci
on. Consideremos la funcion
1
.
(1 + z) z

f (z) =

Es claro que los polos de f son z0 = 1 y w0 = 0; si g(z) =

vemos que
g(z)
f (z) = h(z)

1
z

y h(z) = 1 + z,

con g(1) = i, h(1) = 0 y h (1) = 1 por lo que

Res(f (z), 1) =

g(1)
= i.
h (1)

Sean 0 < r < 1 y R > 1 y consideremos las curvas

1
3

= {Rei : 0 2}, 2 = {xei2 : r x R}

= {rei : 0 2}, 4 = {x : r x R},

donde 2 se orienta en el sentido negativo. Si = 1 2 3 4 , entonces

por el Teorema del Residuo tenemos
2 = 2i Res(f (z), 1) =
Sean Ii =

|I3 |

f (z) dz =

4 Z
X
i=1

f (z) dz .

f (z) dz , entonces

|I1 |

mientras que
Z r
I2 =

 Z 2

R
iRei

d 
d
i
i/2
1
+
R
(1 + Re ) Re
0
0
1
= 2

0,
R R1 + 1 R
Z 2
 Z 2


irei
r


= 
d
d

i ) rei/2
1
+
r
(1
+
re
0
0

r
0,
= 2
1 + r r0
Z

= 

dx
=
(1 + x)( x)

r
R

dx
=
(1 + x) x

dx
= I4 .
(1 + x) x

(IV.8)


IV.3. CALCULO
DE INTEGRALES INDEFINIDAS

31

Ahora, tomando los lmites r 0 y R en (IV.8) tenemos

Z
dx
= 2
2
(1
+
x) x
0
de donde se concluye que el valor de la integral indefinida es .

Problema 23. Probar que para a, b > 0 tenemos

Z

cos(ax)
dx = 3 (1 + ab)eab .
2 + b2 )2
(x
4b
0
Problema 24. Eval
ua

R
0

x
x2 +a2 ,

con a > 0.

Demostraci
on. Consideremos la funcion
f (z) =

z 2 +a2

y sea r,R la curva Pac-Man que se muestra en la figura donde r < |a| < R.

r,R

Figura IV.2: Pac Man de integraci

on.
Ahora, consideremos las curvas

entonces
Z

f (z) dz =

1 (t)
2 (t)
3 (t)

= R eit
= t ei2
= r eit

4 (t)

= t

r,R

f (z) dz +

para t [0, 2]
para t [r, R]
para t [0, 2]

para t [r, R],

Z

f (z) dz +

f (z) dz +

Tenemos las siguientes estimaciones


Z 2
Z


it


e
f
(R
)
(t)
dt

1


0

RR
dt
|R2 eit +a2 |

f (z) dz .

2
1
R 1( a )2
R

CAPITULO IV. RESIDUOS

32
y
2

f (r e

it

)1 (t) dt 
R

y as, es claro que limR

calculemos las integrales sobre

Z

f (z) dz =

rr
dt
|r2 eit +a2 |

f (z) dz = 0 y limr0

t1/2 ei
dt =
t2 + a2

y 4 :
Z

f (t) dt =

f (z) dz = 0. Ahora,

f (t) dt =

2r /2
a2 r 2

f (z) dz .

Luego, por el Teorema del Residuo, sabemos que

Z

r,R

sean g1 (z) =

f (z) dz = 2i (Res(f (z), z = ia) + Res(f (z), z = ia)) ;

z/z+ia,

h1 (z) = z ia, g2 (z) =

z/zia

y h2 (z) = z + ia, entonces

ia
g1 (ia)
=
=
Res(f (z), z = ia) =
h (ia)
2ia
y

2 a

g2 (ia)
ia
Res(f (z), z = ia) =
=
=
h (ia)
2ia

por lo que Res(f, ia) + Res(f, ia) = 1/2

i 1/

2.

ei

2 a

/4

ei

3/4

As, tenemos

f (z) dz =
2a
r,R

Z
y concluimos que

R
0

t
t2 +a2

dt =

.
2 2a

Problema 25. Calcular

Z

xp
dx ,
1 + x6

donde p 5.
Problema 26. Para 0 < b < 1 probar que
Z

dx

=
.
xb (1 + x)
sen(b)

33

IV.4. VALOR PRINCIPAL DE CAUCHY

IV.4. Valor principal de Cauchy
Problema 27. Eval
ue V.P.

1
x(x2 1)

dx .

Demostraci
on. Consideremos la funcion f (z) = 1/z(z2 1), la cual tiene polos en
z0 = 0, z1 = 1 y z2 = 1, todos son polos simples. Consideremos las funciones
g0 (z) =
g1 (z) =
g2 (z) =

1
z 2 1 ,

1
z(z+1) ,
1
z(z1) ,

h0 (z) = z,
h1 (z) = z 1,
y

h2 (z) = z + 1,

entonces f (z) = gi (z)/gi (z) para cada i 3; luego, podemos ver que g0 (0) =
1 6= 0, h0 (0) = 0 y h0 (0) = 1 6= 0 por lo que
Res(f, 0) = 1.
Es claro que g1 (1) = 1/2 6= 0, h1 (1) = 0 y h1 (1) = 1 por lo que
Res(f, 1) =

1
2

y tambien g2 (1) = 1/2, h2 (1) = 0 y h2 (1) = 1 por lo que

Res(f, 1) = 12 .
Ahora, sabemos que
Z
f (x) dx =
V.P.

X
2i
{residuos de f en el semiplano superior} +
X
i
{residuos de f en el eje real};

como f no tiene polos en el semiplano superior, el primer sumando

R es 0 mientras
que la suma de los residuos en el eje real es 0 por lo que V.P. f (x) dx = 0.
X
Problema 28. Calcule
V.P.

1
dx .
x(x2 + 1)

Demostraci
on. Consideremos f (z) = 1/z(z2 +1), entonces f tiene polos en z0 = 0,
z1 = i y z2 = i, de los cuales z0 est
a en el eje real y z1 en el semiplano superior.
Sabemos que
Z
f (x) dx = 2i Res(f, i) + i Res(f, 0);
V.P.

CAPITULO IV. RESIDUOS

34
consideremos las funciones
g0 (z) =
g1 (z) =

1
z 2 +1 ,
1
z(z+i)

entonces
f (z) =

h0 (z) = z,
y

h1 (z) = z i,

g0 (z)
g1 (z)
=
.
h0 (z)
h1 (z)

Podemos ver que g0 (0) 6= 0 y h0 (0) = 0 mientras que h0 (0) 6= 0 por lo que z0 es
un polo simple de f y as,
Res(f, 0) = g0 (0)/h0 (0) = 1;
con argumentos similares vemos que z1 es un polo simple de f y
Res(f, i) =
Por tanto, concluimos que
Z
V.P.

1
x(x2 +1)

g1 (i)
h1 (i)

1
i(i+i)

= 21 .

dx = 2i 21 + i(1) = 0.

CAP
ITULO

Teorema de Rouch`
e
V.1. Conteo de ceros de funciones holomorfas
Problema 29. Sea U C un subconjunto abierto no vaco y z0 U . Supon
que f : U C es una funcion holomorfa y no constante en una vecindad de
ula en la frontera de B. Sea
z0 . Supon que B = Br (z0 ) U y que f no se an
S = {z B : f (z) = 0}. Contesta las siguientes preguntas:
1. Puede el conjunto S ser infinito?
2. Supon que el conjunto S es finito y S = {a1 , . . . , ak } y que la muliplicidad
de aj es 1, para j 1 k.
(a) Demuestre que existe g : U C holomorfa que no se anula en B y
tal que f (z) = (z a1 ) (z ak )g(z)

(b) Demuestra la igualdad

1
1
g (z)
f (z)
=
+ +
+
f (z)
z a1
z ak
g(z)
para todo z B\S.

Sugerencia: Usa la expresi

on Ln f .

(c) Prueba que el n

umero k de ceros de la funcion f en B est
a dado por
Z
1
f (z)
k=
dz .
2i B f (z)
(d) Como cambia la conlusi
on si en lugar de integrar a lo largo de la
frontera de B consideramos una camino cerrado simple contenido
en B que no pasa por ninguno de los ceros de f ?
(e) Cu
al sera la formula correspondiente si es un camino cerrado arbitrario en B que no pasa por ninguno de los ceros de f ?
(f) Cu
al sera la formula correspondiente si es un camino cerrado arbitrario en la bola B que no pasa por los ceros de f y las multiplicidades
de la funcion f en los polos aj , para cada j, es mayor o igual que la
unidad?
35

`
CAPITULO V. TEOREMA DE ROUCHE

36
Demostraci
on.

1. No. Es claro que B es un subconjunto compacto de C y por el principio

de identidad, si una funcion analtica tiene una cantidad infinita de ceros
en un compacto con interior no vaco, entonces debe ser la funcion cero,
pero f no es constante por lo que S debe ser un subconjunto finito.
2. (a) Como f no se anula en B, entonces todos los ceros de f en B son
puntos interiores de B. Para a1 existe r1 > 0 tal que B(a1 ; r1 ) B
y si expandimos en serie de Taylor a f en B(a1 ; r1 ) tenemos que
!

X
2
n1
f (z) = c1 (z a1 ) + c2 (z a1 ) + = (z a1 )
cn (z a1 )
;
n=1

definimos g1 (z) = c1 + c2 (z a1 ) + , la cual es analtica en

B(a1 ; r1 )...PENDIENTE.
X
Problema 30. Usando el Teorema de Rouche pruebe el Teorema de Hurwitz:
Sea G una regi
on y suponga que la sucesi
on (fn ) en H(G) converge a f . Si
f 6= 0, D(a, R) G y f (z) 6= 0 para todo z D(a, R), entonces existe un
entero N tal que para todo n N las funciones f y fn tienen el mismo n
umero
de ceros en D(a, R).
Demostraci
on. Por simplicidad, denotemos por D = D(a, R) y S = D. Sabemos que S es un subconjunto compacto de C y como f es continua y f (z) 6= 0
para todo z S, entonces m = min{|f (z)| : z S} > 0 y como fn f en G,
entonces fn f en S y por ser este un compacto y las funciones fn continuas,
la convergencia debe ser uniforme en S. As, existe N N tal que para todo
z S y para todo n N tenemos
|f (z) fn (z)| < m |f (z)|
y por el Teorema de Rouche, concluimos que f y fn tienen el mismo n
umero de
ceros en D para todo n N .
X
Problema 31. Sea a > 1. Probar que la ecuaci
on zeaz = 1 tiene una u
nica
soluci
on en el disco unitario abierto y que adem
as, es real.
Sugerencia: Usar el Teorema de Rouche.
Demostraci
on. La ecuaci
on
zeaz = 1
es equivalente a la ecuaci
on
ea z ez = 0.

Consideremos las funciones f (z) = ea z y g(z) = ez , las cuales son analticas

en el disco unitario abierto y conrinuas en el disco unitario cerrado. Ahora, para

V.1. CONTEO DE CEROS DE FUNCIONES HOLOMORFAS

37

z C con |z| = 1 y z = x + iy, tenemos que ex e1 < ea ya que la funcion

exponencial real es una funcion estrictamente creciente; luego, podemos ver que
|g(z)| = ex < ea = |f (z)|
y por el Teorema de Rouche, sabemos que el n
umero de ceros en el disco unitario
de la funcion f + g es el mismo que el n
umero de ceros de la funcion f en la
misma regi
on, pero es claro que f (z) tiene un u
nico cero en el disco unitario.
Por tanto, existe un u
nico z C con |z| < 1 y f (z) + g(z) = 0.
Ahora, consideremos las funciones reales h1 (x) = ea x y h2 (x) = ex ; es
claro que h1 + h2 es continua y podemos ver que
h1 (0) + h2 (0) = 1 < 0,

h1 (1) + h2 (1) = ea e1 > 0,

ya que a > 1 y la funcion exponencial real es estrictamente creciente. Por el

Teorema del valor intermedio, sabemos que existe r (0, 1) tal que h1 (r) +
h2 (r) = 0 y por tanto, z0 = r + 0i C con |z0 | < 1 y satisface f (z0 ) + g(z0 ) = 0
por lo que tal z0 es el u
nico cero de f + g en el disco unitario.
X
Problema 32. Demostrar que para r > 0 tan peque
no como se quiera, todos
los ceros de la funcion analtica
1
1
,
fn (z) = 1 + + +
z
n!z n
para z C\{0}, est
an en el crculo {z C : |z| < r} para n suficientemente
grande.
Ayuda: hacer el cambio = z1 y aplicar el Teorema de Rouche a las funciones
Pn
P
k
k
e y gn () = k=0 k! = e k=n+1 k! .


Demostraci
on. Sea r > 0 y consideremos el disco D = w P
C : |w| < 1r . Sea

D, entonces | e | = e > 0; sabemos que la serie n=0 n!r1 n converge

por lo que existe n N tal que

1
k!r k

< e .

k=n+1

Si hn () =

k=n+1 k! ,

entonces
|hn ()|

k=n+1

1
k!r k

< | e |

para todo D. Por el Teorema de Rouche, sabemos que gn () tiene la

misma cantidad de ceros en el disco D que la funcion e , la cual no tiene ceros;
as concluimos que todos los ceros de gn () est
an en la regi
on
A = {w C : |w| > 1r }.

Ahora, sea z   C tal que fn (z) = 0, entonces gn z1 = 0 y por lo anterior,
X
tenemos que  z1  > 1r , de donde concluimos que |z| < r.

`
CAPITULO V. TEOREMA DE ROUCHE

38

V.2. Soluciones de ecuaciones algebraicas

Problema 33. Mostrar que para C con || < 2, la ecuacion z 4 3z + = 0
tiene una u
nica soluci
on z C con |z | < 1.
Demostraci
on. Consideremos la regi
on cerrada D = {w C : |w| 1} y las
funciones f (z) = 3z y g(z) = z 4 + , las cuales son analticas en el interior de
D y continuas en la frontera; adem
as, para z en la frontera de D tenemos
|g(z)| = |z 4 + | |z|4 + || = 1 + 2 = 3 = | 3z| = |f (z)|.
Por el Teorema de Rouch`e, sabemos que el n
umero de ceros de la funcion F (z) =
f (z) + g(z) en el disco D es el mismo que el n
umero de ceros de la funcion
f (z) = 3z en el mismo disco D, pero f (z) tiene un u
nico cero. Por tanto, la
ecuaci
on z 4 3z + = 0 tiene una u
nica soluci
on en D.
X
Problema 34. Cu
antas races tiene P (z) = z 5 + 12z 3 + 3z 2 + 20z + 3 en el
anillo {z C : 1 < |z| < 2}?
Demostraci
on. Sean A = {z C : 1 < |z| < 2}, B = {z C : |z| 1}
y C = {z C : |z| < 2}. Contando los ceros de P (z) en C y restandole los
ceros en B obtenemos los ceros de P (z) en A. Ahora, consideremos las funciones
analticas f1 (z) = 20z y g1 (z) = z 5 +12z 3 +3z 2 +3 en la regi
on B; si z pertenece
a la frontera de B, entonces
|g1 (z)| |z|5 + 12|z|3 + 3|z|2 + 3 = 19 < 20|z| = |f1 (z)|
y claramente tenemos P (z) = f1 (z) + g1 (z) para todo z B. Por el Teorema de
Rouche, P (z) tiene un cero en B. Ahora, consideremos las funciones analticas
f2 (z) = 12z 3 y g2 (z) = z 5 + 3z 2 + 20z + 3; es claro que P (z) = f2 (z) + g2 (z) en
C y para z en la frontera de C tenemos
|g2 (z)|

|z|5 + 3|z|2 + 20|z| + 3 = 32 + 12 + 40 + 3 = 87

< 96 = 12|z|3 = |f2 (z)|

y por el Teorema de Rouche, sabemos que P (z) tiene 3 ceros en C. As, concluimos que P (z) tiene dos ceros en A.
X
Problema 35. Sea p(z) = z n +an1 z n + +a0 . Demuestre usando el Teorema
de Rouche que no es posible que |p(z)| < 1 para todo z C con |z| = 1.
Demostraci
on. Supongamos que si y consideremos las funciones enteras f (z) =
z n y g(z) = f (z) p(z), entonces en la frontera del disco unitario tenemos
|f (z) g(z)| < |f (z)|
y por el Teorema de Rouche concluimos que f y g tienen la misma cantidad de
ceros en el disco unitario; es claro que f tiene n ceros en tal disco, pero g es un

V.2. SOLUCIONES DE ECUACIONES ALGEBRAICAS

39

polinomio de grado n 1 por lo que tiene a lo mas n 1 ceros. Esto no da

una contradicci
on y con eso, terminamos la prueba.
X
Problema 36. Sea p(z) = z n + an1 z n1 + + a1 z + a0 . Pruebe que existe
z C tal que |z| = 1 y adem
as, |p(z)| 1.
Demostraci
on. Supongamos que para todo z D tenemos |p(z)| < 1 y consideremos las funciones enteras f (z) = z n y g(z) = f (z) p(z), entonces en la
frontera del disco unitario tenemos
|f (z) g(z)| < |f (z)|
y por el Teorema de Rouche concluimos que f y g tienen la misma cantidad de
ceros en el disco unitario; es claro que f tiene n ceros en tal disco, pero g es un
polinomio de grado n 1 por lo que tiene a lo mas n 1 ceros. Esto no da
una contradicci
on y con eso, terminamos la prueba.
X
Problema 37. Sea a D fijo y Ta (z) = za/1az. Sean f y g funciones
holom
orfas en un conjunto abierto que contiene a D tal que |g(z)| < |f (z)| para
todo |z| = 1. Probar que la funcion Ta f + g tiene al menos un cero en D.

Demostraci
on. Sea z D, entonces z = z 1 por lo que

 
 

 za   z1   za 



 = 1.


|Ta (z)| = 
=
=
1 az   z(z 1 a)   z(z a) 

Por el Teorema de Rouche, el n

umero de ceros en D de Ta f es el mismo que el
n
umero de ceros de Ta f + g en D; luego, como |a| < 1, entonces 1 |a| =
6 0y
as, vemos que
0
aa
= 1|a|
Ta (a) = 1aa
2 = 0

por lo que Ta f tiene al menos un cero en D.

Problema 38. Determine el n

umero de ceros del polinomio z 87 +36z 57 +71z 4 +
z 3 z + 1 en el anillo {z C : 1 < |z| < 2}.

Demostraci
on. Sea F (z) = z 87 + 36z 57 + 71z 4 + z 3 z + 1. En el disco unitario
D(0; 1) = {w C : |w| < 1} consideremos las funciones f1 (z) = 71z 4 y g(z) =
z 87 + 36z 57 + z 3 z + 1, las cuales son analticas en el disco; adem
as, podemos
ver que para |z| = 1 tenemos
|f1 (z)| = 71 > 38 = 1 + 36 + 1 1 + 1 |g1 (z)|.
Por el Teorema de Rouche, sabemos que F (z) = f1 (z) + g1 (z) tiene la misma
cantidad de ceros que f1 (z) en el disco D(0; 1), que son 4. Ahora, consideremos
el disco D(0; 2) y las funciones analticas f2 (z) = z 87 y g2 (z) = 36z 57 + 71z 4 +
z 3 z + 1; para |z| = 2 tenemos
|f2 (z)| = 287

`
CAPITULO V. TEOREMA DE ROUCHE

40
mientras que
|g2 (z)|

36 257 + 71 24 + 23 2 + 1
= 9 259 + (2 5 7 + 1)24 + 23 2 + 1

= 9 259 + 25 5 7 + 24 + 7
< 24 259 + 25 23 23 + 24 + 23

= 263 + 211 + 24 + 23
< 263 + 263 + 263 + 263
= 22 263 = 265

de donde deducimos que |f2 (z)| |g2 (z)|. Por el Teorema de Raouche, sabemos
que F (z) = f2 (z) + g2 (z) tiene 87 ceros en D(0; 2). Ahora, es claro que F (z)
tiene 87 4 = 83 ceros en el anillo {w C : 1 < |w| < 2}.
X

CAP
ITULO

Transformaciones conformes
Problema 39. Encuentre una transformacion conforme f de la regi
on
= {z C : z < 0} {z C : |z| < 1}
sobre H = {z C : z > 0} con f (0) = i.

41

VI