Variable Compleja PDF

Variable Compleja
Teora, problemas resueltos y propuestos
Dr. Carlos Lizama

Universidad de Santiago de Chile
Facultad de Ciencia
Departamento de Matemtica y Ciencia de la Computacin
Introduccin
El presente texto de Variable Compleja corresponde al curso del mismo
nombre (hoy Clculo IV) impartido por el autor a la carrera de Ingeniera
Matemtica durante varios semestres consecutivos.
El libro esta dividido en dos partes. La primera parte, contiene los
tpicos de teora clsicos que debieran ser cubiertos en un semestre lecti-
vo. En el primer captulo, se incluyen propiedades bsicas de los nmeros
complejos y sus propiedades algebraicas, que se revisan muy rpidamen-
te. Luego, nos concentramos en la representacin geomtrica, tanto en
su forma polar como cartesiana. Posteriormente, damos nfasis en la re-
presentacin en variable compleja de elementos estndar de la geometra,
como son el circulo y la recta. Tambin, nos encontramos con la represen-
tacin de los nmeros complejos en la esfera de Riemann, lo que se conoce
como proyeccin estereogrfica, que admite interesantes aplicaciones en
otras ramas de las ciencias. Luego, introducimos de manera estndar los
elementos del anlisis por medio de la nocin de distancia en el plano
complejo. Finalizamos el captulo con un vistazo a varias funciones bsi-
cas como la exponencial, seno y coseno. El captulo 2 se concentra en lo
que ser la parte medular de este curso: Las funciones analticas u holo-
morfas. Se revisa la definicin, que se presenta como la extensin natural
del concepto de derivada en la recta real. Luego, varias nociones equiva-
lentes son presentadas a lo largo del texto, lo que constituye la columna
vertebral de estos apuntes. El concepto de funcin analtica es examinado
con variados ejemplos concretos al finalizar este captulo. El captulo 3,
1
se dedica a construir la primera equivalencia prctica de funcin analtica
por medio de series de Taylor. De paso, nos encontramos con otros concep-
tos importantes, como la extensin y prolongacin analtica. Finalizamos
enfatizando una diferencia geomtrica importante, las transformaciones
conformes. El captulo 4 cambia el rumbo de la teora para dar con otra
caracterizacin de las funciones analticas por medio del concepto de in-
tegracin de funciones de variable compleja. Para ello, se revisa la nocin
de integral de lnea y se procede a definir y establecer los pilares de la
teora de integracin desde el teorema clsico de Stokes. Con ello, aparece
de manera natural la frmula de Cauchy que est en la base de todos los
teoremas fundamentales de variable compleja. El captulo 5, nos provee
de un conjunto de herramientas que son necesarias conocer y aparecen
en una variedad de lugares tanto en matemtica pura como aplicada. La
principal es el clculo de integrales mediante el teorema de residuos.
La segunda parte de este libro est formada por una gran cantidad de
problemas propuestos y resueltos. La mayora de ellos fueron parte de con-
troles de seguimiento y exmenes de semestre, y por lo tanto constituyen
la experiencia de los estudiantes con el material de este curso.
Mis agradecimientos a Daniela Vilches, quien trabaj estos apuntes
durante el primer y segundo semestres del 2012 y a Joselyn Pinilla, quien
finalmente pudo dar forma al largo camino para concluir con estos apuntes
durante el segundo semestre de 2013.
Santiago, Marzo 2015.
2
ndice general
1. Preliminares 5
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Propiedades algebraicas . . . . . . . . . . . . . . . . . . . 7
1.3. Representacin geomtrica . . . . . . . . . . . . . . . . . 10
1.4. Ecuacin del crculo y de la recta . . . . . . . . . . . . . . 13
1.5. Proyeccin estereogrfica . . . . . . . . . . . . . . . . . . 14
1.6. Topologa en C . . . . . . . . . . . . . . . . . . . . . . . 16
1.7. Funciones bsicas . . . . . . . . . . . . . . . . . . . . . . 17
2. Funciones de Variable Compleja 24

2.1. Funciones analticas . . . . . . . . . . . . . . . . . . . . . 24
2.2. Algunas funciones de variable compleja. . . . . . . . . . . 35
3. Series 40
3.1. Series de Taylor . . . . . . . . . . . . . . . . . . . . . . . 40
3.2. Representaciones por series de Taylor . . . . . . . . . . . 45
3.3. Serie geomtrica . . . . . . . . . . . . . . . . . . . . . . . 46
3.4. Extensin analtica . . . . . . . . . . . . . . . . . . . . . 49
3
4
3.5. Prolongacin analtica . . . . . . . . . . . . . . . . . . . . 50

3.6. Transformaciones conformes . . . . . . . . . . . . . . . . 52
4. Integracin 53
4.1. Definicin y propiedades . . . . . . . . . . . . . . . . . . 53
4.2. Frmula de Cauchy . . . . . . . . . . . . . . . . . . . . . 55
4.3. Teora del ndice y homotopa . . . . . . . . . . . . . . . . 58
4.4. Teoremas fundamentales . . . . . . . . . . . . . . . . . . 59
5. Mtodos de integracin 70
5.1. Desarrollo en serie de Laurent . . . . . . . . . . . . . . . 70
5.2. Residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.3. Clculo de integrales . . . . . . . . . . . . . . . . . . . . 84
5.4. Aplicacin del teorema de residuos . . . . . . . . . . . . . 85
5.5. Frmula de Poisson . . . . . . . . . . . . . . . . . . . . . 93
5.6. Frmula de Jensen . . . . . . . . . . . . . . . . . . . . . 98
5.7. Automorfismos del disco unitario . . . . . . . . . . . . . . 101
6. Ejercicios 106
6.1. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . 106
6.2. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . 154
Captulo 1
Preliminares
1.1. Introduccin
La primera nocin de un nmero complejo fue descubierta en conexin
con resolver ecuaciones cuadrticas.
Consideremos, por ejemplo, la ecuacin z 2 + 1. Obviamente, esta no

tiene soluciones reales, ya que para cualquier real x , x2 0 y x2 +1 > 0.

La idea es escribir, formalmente, z = 1; pero no existe nmero
real cuyo cuadrado de 1. Luego, si la ecuacin tiene una solucin, debe
ser en un sistema de nmeros mayor que el conjunto de los nmeros reales.
Este fue el problema planteado a matemticos por alrededor de 700

aos: Extender los reales a un sistema mayor de nmeros en el cual la
ecuacin z 2 + 1 puede tener una solucin.
C. Gauss (17801840) fue el primer matemtico en usar sistemticamente

nmeros complejos. La serie Hipergeomtrica
5
CAPTULO 1. PRELIMINARES 6
ab a(a + 1)b(b + 1) 2
1+ x+ x + ...
c c(c + 1) 1 2
Se comprende mejor al analizar los complejos | x |< 1. (Note que si
b = c y a = 1 se obtiene la serie geomtrica).
Gauss Demostr:
"Toda ecuacin an z n + an1 z n1 + ... + a0 = 0 tiene n-soluciones en

C".
A. L. Cauchy dio la estructura central al desarrollo de variable com-

pleja a travs de la idea de la integral de lnea:
Z
f (z)dz,

la cual da sentido a la frmula integral de Cauchy:

Z
1 f ()
f (z) = d.
2i z
1.2. Propiedades algebraicas

El conjunto de los nmeros complejos C es un cuerpo con la suma y el
producto definido de la siguiente forma:
C = {(a, b) R R / (a, b) + (c, d) = (a + c, b + d) ,

(a, b) (c, d) = (ac bd, bc ad)}
Las unidades aditivas y multiplicativas son (0, 0) y (1, 0), respectivamente.

Veamos:
(a, b) + (0, 0) = (a, b)

y
(a, b)(1, 0) = (a, b).
Adems, cada elemento no nulo, tiene inverso. Para (a, b), su inverso es
(a, b).
Definimos i = (0, 1), entonces podemos escribir el par (a, b) de la siguiente
forma:
(a, b) = a(1, 0) + b(0, 1) = a + ib.
Esta es la notacin que se ocupar desde ahora.

Bajo la suma y producto, C es un cuerpo conmutativo.
Observacin 1 Consideremos i = (0, 1), entonces:
i2 = (0, 1)(0, 1) = (0 1, 0 + 0) = (1, 0) = 1.

Luego, i2 = 1.
Otra forma de definir el conjunto de los nmeros complejos:
C := a + ib / a, b R, i2 = 1

Como i2 = 1, la ecuacin z 2 + 1 tiene al menos una raz en C. En efecto:
z 2 + 1 = (z + i)(z i).
Ms generalmente:
z 2 + w2 = (z + iw)(z iw).
Si z = a R y w = b R, entonces (para a 6= 0, b 6= 0)
a2 + b2 = (a ib)(a + ib)
1 a ib
= 2 ,
a + ib a + b2
con lo cual se tiene una frmula para el recproco de un nmero complejo.
Notacin 2
z = a ib es el conjugado de z = a + ib.
1
| z | = (a2 + b2 ) 2 es el valor absoluto de z.
Con las notaciones anteriores, tenemos:
1 z
= , si z 6= 0
z | z |2
Definicin 3 Si z = a + ib, diremos que a es la parte real de z y escri-

bimos: a = Re(z). Anlogamente, diremos que b es la parte imaginaria
de z y escribimos: b = Im(z).
En consecuencia, z = Re(z)+iIm(z). Del mismo modo, podemos escribir

el conjugado de z en funcin de su parte real e imaginaria, es decir,
z = Re(z) iIm(z).
Adems, podemos escribir la parte real e imaginaria en funcin de z y z.

1
Sumando, se obtiene: Re(z) = (z + z).
2
1
Por otro lado, restando, se tiene: Im(z) = (z z).
2i
Note adems que Re(z) | z | y Im(z) | z | .
Propiedades Bsicas
1. z + w = z + w
2. z = z
3. wz = wz
4. | zw |=| z || w |
5. | z |=| z |
Proposicin 4 (Desigualdad Triangular)
| z + w || z | + | w |
Demostracin.
| z + w |2 = (z + w)(z + w)
= (z + w)(z + w)
= zz + zw + wz + ww
= | z |2 +2Re(zw)+ | w |2
| z |2 +2 | zw | + | w |2
= | z |2 +2 | z || w | + | w |2
= (| z | + | w |)2
1.3. Representacin geomtrica

a b
Para la forma polar tenemos que cos = y sin = , de donde, a =
r r
r cos y b = r sin . Se observa que r = |z|. Y definimos = Arg(z). El
problema en general es que Arg(z) es una funcin multivariable. De esta
forma, tendremos que elegir un rango de valores admisibles para .
Propiedad: Arg(zw) = Arg(z) + Arg(w).
Demostracin.
Sea
z = a + ib = r cos + ir sin = r (cos + i sin ) = |z| (cos + i sin )
Entonces, consideramos
z =| z | (cos + i sin )
y
w =| w | (cos + i sin ).
Luego:
zw = |z| |w| (cos + i sin ) (cos + i sin )

= |z| |w| (cos cos + i sin cos + i sin cos sin sin )
= |z| |w| [(cos cos sin sin ) + i (sin cos + sin cos )]
= |z| |w| (cos + i sin ) (cos + i sin )
= |z| |w| [cos ( + ) + i sin ( + )]
Entonces: Arg(zw) = + = Arg(z) + Arg(w).
Consideremos las siguientes figuras:
Definicin 5 Definimos la ecuacin exponecial como
ei = cos + i sin
Tambin se puede escribir como cis() o exp().
Consideremos f () := cos() + i sin().

Sea = 0, entonces, f (0) = cos(0) + i sin(0) = 1.
Adems
f ()f () = (cos() + i sin())(cos() + i sin())

= cos( + ) + i sin( + )
= f ( + ).
Entonces, cualquier funcin que cumpla estas dos propiedades se llama

ecuacin de Abel y se escribe como:
f (x) = ekx .
Propiedades de la funcin exponencial
1. ei(+) = ei ei
2. e(i) = ei
1 1
3. e(i) n = ei n
4. ei = 1
ei
5. ei ei = 1
Si analizamos el comportamiento de la funcin exponcial podemos obser-

var que:
e2ki = 1 ,z Z.
Entonces, si queremos de resolver la ecuacin z n = 1, podemos reescribirla

como:
z n = e2ki .
Por lo tanto
2ki
z=e n .
Ms generalmente tenemos:
zn = w
= | w | eiArg(w)
2ki
= | w | eiArg(w)e
= | w | ei(Arg(w)+2k) .
Luego:
1 i(Arg(w)+2k)
z = |w| n e n .
1.4. Ecuacin del crculo y de la recta

| z z0 |= r | z z0 |2 = r2
(z z0 )(z z0 ) = r2
(z z0 )(z z0 ) = r2
zz zz0 z0 z + z0 z0 = r2
zz zz0 z0 z + (| z |2 r2 ) = 0
Luego, la ecuacin de un crculo en el plano complejo es:
zz zz0 z0 z + = 0, R.
Veamos ahora la ecuacin de una recta. Sabemos que la ecuacin de una

z+z
recta es: y = mx+n. Si consideramos x = Re(z) = e y = Im(z) =
2
zz
. Y reemplazando estos valores en la ecuacin nos queda:
2i
zz z+z
=m +n
2i 2
z z = im(z + z) + 2in
z z = imz + imz + 2in
z imz zim z 2in = 0
z(1 im) z(1 + im) 2in = 0
z(m + i) + z(m i) + 2n = 0
Si hacemos z0 = m i, z0 = m + i y = 2n, lo que se obtiene es la

ecuacin de la recta:
zz0 + zz0 + = 0, R.
1.5. Proyeccin estereogrfica

1
Si consideramos f (z) = y con z = 0, se obtiene f (0) = . Con esto se
z
define el siguiente conjunto: C := C {}.
Ecuaciones de la proyeccin

1. Dado B en la esfera S2 = (x, y, z) R3 /x2 + y 2 + z 2 = 1 , deter-
minar Q = (B).
Sea L : t(0, 0, 1) + (1 t)(u, v, w) ,tratemos de encontrar t0 tal

que la recta anterior, L, intersecta al plano complejo. La recta la
podemos reescribir como:
L : ((1 t)u, (1 t)v, t + (1 t)w).
Buscamos t0 tal que:
t0 + (1 t0 )w = 0 t0 + w wt0 = 0
w w
t0 = = , w 6= 1
1w w1
w 1
1 t0 = 1 =
w1 1w
Por lo tanto Q = (B) es :

1 1
Q= u, v, 0 .
1w 1w
2. Dado A en el plano C
= R2 , determinar P (A) en la esfera S2 :
L : t(0, 0, 1) + (1 t)(x, y, 0).

L = ((1 t) x, (1 t) y, t)
Encontremos t0 tal que la recta L intersecta a la esfera. Es decir:

[(1 t)x]2 + [(1 t)y]2 + t2 = 1
1
(1 t)2 x2 + (1 t)2 y 2 = 1 t2 = (1 t) (1 + 2) /
(1 t)2
1+t
x2 + y 2 =
1 t
(1 t) x + y 2 = 1 + t
2
x2 + y 2 t x2 + y 2 = 1 + t

x2 + y 2 1 = t 1 + x2 + y 2

x2 + y 2 1
t0 = 2
x + y2 + 1
Luego:
x2 + y 2 1 2
1 t0 = 1 =
x2 + y 2 + 1 x2 + y 2 + 1
Por lo tanto P (A) es:
P (A) = ((1 t0 ) x, (1 t0 ) y, t0 )
x2 + y 2 1

2x 2y
= , ,
x2 + y 2 + 1 x2 + y 2 + 1 x2 + y 2 + 1
Si hacemos z = x + iy y z = x iy, se tiene:
2x = z + z
z z
2y = = i (z z) = i (z z)
i
x2 + y 2 = |z|2
Entonces:
!
z + z i (z z) |z|2 1
P (A) = , , .
|z|2 + 1 |z|2 + 1 |z|2 + 1
1.6. Topologa en C
La forma comn de calcular la distancia en C es:
(C, d), con d = distancia, que es d(z, w) =| z w |.
Otras formas son:
|zw |
d1 (z, w) =
1+ | z w |
y
d1 (z, w) 1
2|zw |
d2 (z, w) = 1
[(1+ | z |2 )(1+ | w |2 )] 2
Conceptos
1. Convergencia de una sucesin: Dada (zn ) C, entonces zn

L > 0, N N tal que | zn L |< .
2. C es completo (Toda sucesin de Cauchy converge).
En efecto: Sea zn C sucesin de Cauchy. Entonces | zn zm | 0

cuando n, m .
| xn |=| Re(zn ) || zn | y entonces, | xn xm || zn zm | 0.
Adems
| yn |=| Im(zn ) || zn | entonces, | yn ym || zn zm | 0.
De aqu se tiene que: xn R y yn R son sucesiones de Cauchy en

R que sabemos, es completo. Luego, existen x0 , y0 R tales que:
xn x0
y
yn y0
Por lo tanto:
zn xo + iy0 .
3. Funcin Continua: f : C C, f es continua en z0 si:
zn z0 f (zn ) f (z0 ).
Ejemplo 6 1. Funciones cotinuas.
2. f (z) = Re(z), g(z) = Im(z).
3. f (z) = z.
X
4. p(z, z) = an,m z n (z m ).
n,m
p(z, z)
5. es continua en el abierto = {z C/q(z, z) 6= 0}.
q(z, z)
6. Dominio: Es un abierto conexo.
1.7. Funciones bsicas

1. Traslacin: f (z) = z + b; b C.
f (0) = b f (t) = t + b
f (1) = 1 + b f (b) = 2b
f (2) = 2 + b f (1 + b) = 1 + 2b
2. Dilatacin o Contraccin: f (z) = kz; k R; k > 0.
f (0) = 0
f (1) = a
f (i) = ia
3. Rotacin: f (z) = ei z; R.
f (i) = ei f (0) = 0
f (1) = ei
f (t) = tei
1
4. Inversin: f (z) = .
z
i
f (1) = 1 f (it) = t
f (t) = 1
t f (ei ) = ei
5. Transformaciones de Mbius o lineales fraccionales

az + b
f (z) = ; ad bc 6= 0; a, b, c, d C.
cz + d
Esta funcin tiene inversa, f 1 (z) =? para encontrarla utilizamos
la transformacin de Mbius.
T. de Mbius Matrices invertibles 2x2.

az + b a b

cz + d c d

d b 1
Se invierte la matriz y queda como: .
c a ad bc
dz b
Entonces: f 1 (z) = . Adems se tiene que (f f 1 )(z) = z.
cz + a
Proposicin 7 Una transformacin de Mbius es la compuesta de tras-

laciones, dilataciones, rotaciones e inversiones.
Demostracin.
az + b a bc ad 1
S(z) = = + .
cz + d c c cz + d
z |c| z |c| eiArg(c) z

1 bc ad 1
= cz cz + b
cz + d c cz + d
bc ad 1 az + b

c cz + d cz + d
Entonces: S(z) = (T R D I T R D)(Z).
Proposicin 8 Una transformacin de Mbius est nicamente deter-

minada por la imagen de tres puntos distintos.
Demostracin.
Unicidad: Sean S y T transformaciones de Mbius tales que:
S(z1 ) = w1 T (z1 ) = w1 z1 = T 1 (w1 )
S(z2 ) = w2 T (z2 ) = w2 z2 = T 1 (w2 )
S(z3 ) = w3 T (z3 ) = w3 z3 = T 1 (w3 )
Por demostrar: S = T .
En efecto, ya que S y T son invertibles, tenemos:
S(T 1 (w1 )) = w1 (S T 1 )(w1 ) = w1
S(T 1 (w2 )) = w2 (S T 1 )(w2 ) = w2
S(T 1 (w3 )) = w3 (S T 1 )(w3 ) = w3
Por lo tanto S T 1 tiene 3 puntos fijos.
Los puntos fijos de:

az + b
(S T 1 )(z) = =z
cz + d
Son soluciones de la ecuacin:
az + b = z(cz + d) az + b = cz 2 + dz
cz 2 + z(d a) b = 0
que son a lo ms 2.
Para que tenga ms de 2 puntos fijos, la Transformacin de Mbius

que sirve es T (z) = z = Id(z). Entonces:
S T 1 = Id S = T.
Existencia: Sean z1 , z2 , z3 C distintos y w1 , w2 , w3 C distintos.

Sea:
S(z1 ) = w1
S(z2 ) = w2
S(z3 ) = w3
Cunto es S(z), para cualquier z?
Comentarios previos:
az + b
T (z) = , z C.
cz + d
a
T () = (c 6= 0).
c
dz b d d
T 1 (z) = T 1 () = T ( ) = .
cz + a c c
Basta encontrar una Transformacin que lleve z1 en 0, z2 en 1 y z3
en . As:
T (z) = z z1 , (a = 1, b = z1 , c = 0, d = 1)
lleva z1 en 0, mientras que

z z1
T (z) = , (a = 1, b = z1 , c = 0, d = z2 z1 )
z2 z1
lleva z1 en 0 y z2 en 1, por ltimo
(z z1 ) (z2 z3 )
T (z) = , (a = z2 z3 , b = z1 (z2 z3 ) ,
(z z3 ) (z2 z1 )
c = z2 z1 , d = z3 (z2 z1 ))
lleva z1 en 0, z2 en 1 y z3 en .
Entonces:
(z w1 ) (w2 w3 )
W (z) =
(z w3 ) (w2 w1 )
Luego, la transformacin de Mbius buscada es:
S(z) = (W 1 T )(z)
Teorema 9 Una Transformacin de Mbius lleva crculos o rectas en

crculos o rectas.
Demostracin. Sea C un crculo con ecuacin
zz + z + z + k0 = 0; k0 R, C.
Consideremos las funciones bsicas:
1. T (z) = z + b
2. T (z) = az; a C, a = rei

1
3. T (z) =
z
Si z = w b, el crculo queda como:
(w b)(w b) + (w b) + (w b) + k0 = 0
ww wb bw + bb + w b + w b + k0 = 0
ww + (b + )w + (b + )w + bb (b + b) + k0 = 0
ww + (b + )w + (b + )w + bb 2Re(b) + k0 = 0
Si w = az, entonces la frmula anterior queda:

ww w w
+ + + k0 = 0 /aa
aa a a
ww + aw + k0 aa = 0
ww + aw + k0 | aa |= 0
1
Si w = , entonces:
z
1 1 1 1
+ + + k0 = 0 /ww
ww w w
1 + w + w + k0 ww = 0
Ahora bien, si k0 = 0, entonces la transformacin lleva el crculo a una

recta. Por otro lado, si k0 6= 0, entonces lo transforma en un crculo.
Captulo 2
Funciones de Variable
Compleja
2.1. Funciones analticas

Definicin 1 Sea f : C una funcin definida en un abierto en
el plano y z0 . Se dice que f (z) es derivable en z0 (u holomorfa o
analtica) si existe el lmite:
f (z) f (z0 )
f 0 (z0 ) = lm
zz0 z z0
Observacin 2 Una funcin f se dice analtica en un abierto si es
analtica en cada punto de .
Observacin 3 Es fcil ver que si f es holomorfa en z0 entonces f es

continua en z0 .
24
CAPTULO 2. FUNCIONES DE VARIABLE COMPLEJA 25
Ejemplo 4 1) f (z) = a, a C. Calculamos el cuociente
f (z) f (z0 ) aa
= =0
z z0 z z0
Tomando el lmite z z0 , se obtiene f 0 (z0 ) = 0. Esta funcin, es la
funcin constante.
2) f (z) = z. f es holomorfa en C y f 0 (z) = 1.
3) g(z) = z n , n entero positivo.
Calculamos el cuociente
g(z) g(z0 ) z n z0n
= = z n1 + z n2 z0 + ... + z0n1
z z0 z z0
Tomando el lmite z z0 , obtenemos g 0 (z0 ) = nz0n1 .
4) Sea h(z) = z, Vamos a ver que no es derivable en z0 = 0. Queremos
ver si
z
lm
z0 z
existe o no. Si el lmite existe, debe ser el mismo, no importa como nos
aproximamos a 0.
t
Para z R, z = t, tenemos lm = 1.
t0 t
it
Para z imaginario, z = it, tenemos lmt0 = 1.
it
Por lo tanto h no es analtica en z = 0.
Ejercicio 5 Demuestre que f (z) = |z|2 es derivable slo en z0 = 0.
Sea (AF, +, , ) el conjunto de las funciones analticas con la suma, el

producto y la composicin.
Dadas f y g funciones analticas, entonces:
(f + g)(z) = f (z) + g(z)
(f g)(z) = f (z) g(z)
(f g)(z) = f (g(z))
Donde los resultados son tambin funciones analticas. Entonces, de aqu

se desprende el siguiente teorema.
Teorema 6 Si f y g son derivables, entonces:
1) (f + g)0 = f 0 + g 0
2) (f g)0 = f 0 g + f g 0
0
1 g 0
3) = 2 cuando g 6= 0
g g
0
f f 0g f g0
4) = cuando g 6= 0
g g2
Demostracin.
1) Tenemos
(f + g)(z) (f + g)(z0 ) f (z) f (z0 ) g(z) g(z0 )

= +
z z0 z z0 z z0
Si tomamos el lmite para z z0 obtenemos la frmula.
(f g)(z) (f g)(z0 ) f (z) f (z0 ) g(z) g(z0 )

2) = g(z) + f (z0 )
z z0 z z0 z z0
Tomamos el lmite para z z0 y usamos el hecho de que g es continua

en z0 , obteniendo
f 0 (z0 )g(z0 ) + f (z0 )g 0 (z0 )
3) Usando 2) 0 0
1 01 1
0= g =g +g
g g g
Luego, 0
1 g 0
= 2
g g
4) 0 0
f 1 01 g 0 f 0g f g0
= f =f +f 2 =
g g g g g2
an z n + ... + a0
Corolario 7 Toda funcin racional r(z) = es derivable
bm z m + ... + b0
1
en el abierto = {z : bm z m + ... + b0 } . En particular, la funcin es
z
derivable en C\{0}.
az + b
Ejemplo 8 Sea g(z) = ; ad bc = 1. g es derivable, excepto en
cz + d
d
z0 = , adems:
c
1
g 0 (z) = .
(cz + d)2
En efecto,
a(cz + d) c(az + b) ad bc 1
g 0 (z) = = = .
(cz + d)2 (cz + d)2 (cz + d)2
Definicin
9 Diremos que f (z) es derivable en z0 = si la funcin
1
g(t) = f , es derivable en t0 = 0.
t
Observacin. Lo anterior tambin se puede aplicar a funciones con-

tinuas.
Ejemplo 10
z+2
f (z) =
3z 2 1
Tenemos
1
t + 2t2

1 t +2
g(t) = f = 3 =
t t2 1 3 t2
0 (1 + 4t)(3 t2 ) + 2t(t + 2t2 ) 0 1

luego g (t) = , de donde g (0) = . Por lo
(3 t2 )2 3
1
tanto f 0 (0) = .
3
Teorema 11
(f g)0 (z) = f 0 (g(z))g 0 (z)
Demostracin.
f (g(z)) f (g(z0 )) f (g(z)) f (g(z0 )) g(z) g(z0 )
=
z z0 g(z) g(z0 ) z z0
Sea f : R2 R2 . Se dice que f es diferenciable en el punto (x0 , y0 )

si existe una transformacin lineal L tal que:
f (x, y) f (x0 , y0 ) = L(x x0 , y y0 ) + e(x x0 , y y0 )
en que:
e(x x0 , y y0 )
p 0
(x x0 )2 + (y y0 )2
cuando x x0 y y y0 , esto es, el error es pequeo comparado con la

norma. Observar que L : R2 R2 es una aplicacin lineal cuya matriz,
con respecto a las bases cannicas, es:
f1 f1

(x0 , y0 ) (x0 , y0 )
x y

[L] =

.

f2 f2
(x0 , y0 ) (x0 , y0 )
x y
La prueba del siguiente resultado se estudia en otros cursos de clculo,

por lo que no se mostrar aqu.
f f
Teorema 12 Si , existen y son continuas en (x0 , y0 ) entonces f
x y
es diferenciable en ese punto.
La siguiente es una de las principales caracterizaciones de funciones anal-

ticas.
Teorema 13 (Ecuaciones de Cauchy-Riemann) Sea f = u + iv una

funcin diferenciable en z0 = (x0 , y0 ). Entonces f es holomorfa en z0 si
u v u v
y slo si se cumplen las ecuaciones: = , = en el punto
x y y x
(x0 , y0 ).
Demostracin.
()Por definicin, se tiene que
f (z0 + t) f (z0 ) f (z0 + it) f (z0 )

lm = lm
t0 t t0 t
equivalentemente
u(z0 + t) + iv(z0 + t) u(z0 ) iv(z0 )
lm
t0 t
1 u(z0 + it) + iv(z0 + it) u(z0 ) iv(z0 )
= lm
i t0 t
o bien
u(z0 + t) u(z0 ) v(z0 + t) v(z0 )
lm +i
t0
t t
u(z0 + it) u(z0 ) iv(z0 + it) v(z0 )
= lm + .
t0 t t
Observar que cuando t 0
u(z0 + t) u(z0 ) u(x0 + t, y0 ) u(x0 , y0 ) u

= (x0 , y0 )
t t x
y
u(z0 + it) u(z0 ) u(x0 , y0 + t) u(x0 , y0 ) u

= (x0 , y0 ).
t t y
Reemplazando, obtenemos

u v 1 u v
(z0 ) + i (z0 ) = (z0 ) + i (z0 ) .
x x i y y
Luego
u v
=
x y
y
v u
= .
x y
() Como f es diferenciable, existe
u u

(z0 ) (z0 )
x y

Df (x0 , y0 ) =

v v
(z0 ) (z0 )
x y
tal que

x x0
f (x, y) = f (x0 , y0 ) + Df (x0 , y0 ) + e(x x0 , y y0 ),
y y0
o equivalentemente
u
u (x, y) + iv (x, y) = u (x0 , y0 ) + iv (x0 , y0 ) + (x0 , y0 ) (x x0 )
x
u
+ (x0 , y0 ) (y y0 )
y

v v
+ i (x0 , y0 ) (x x0 ) + (x0 , y0 ) (y y0 )
x y
+ e1 (x x0 , y y0 ) + ie2 (x x0 , y y0 ) .
Por hiptesis
u u
f (z) f (z0 ) = (z0 ) (x x0 ) + (z0 ) (y y0 )
x y

u u
+i (z0 ) (x x0 ) + (z0 ) (y y0 ) + e (x x0 , y y0 )
y x
u u
f (z) f (z0 ) = (z0 )(z z0 ) i (z0 )(z z0 ) + e(x x0 , y y0 )
x y
Entonces
f (z) f (z0 ) u u e(x x0 , y y0 )
= (z0 ) i (z0 ) +
z z0 x y z z0
Tomamos el lmite cuando z z0 , y nos queda
f (z) f (z0 ) u u e(x x0 , y y0 )

lm = (z0 ) i + lm
zz0 z z0 x y zz0 z z0
e(x x0 , y y0 )
Ya que lm = 0, se obtiene que existe f 0 (z0 ) lo cual
zz0 z z0
concluye la demostracin.
Observacin 14
De la demostracin del teorema anterior, tenemos que

u u
f 0 (z0 ) = (z0 ) i (z0 )
x y
v v
= i i
x y
Otra expresin para f 0 (z) es la siguiente:

Ya que f (z) = u(z) + iv(z), entonces
f u v
(z) = (z) + i (z) (2.1)
x x x
f u v
(z) = (z) + i (z) (2.2)
y y y
Haciendo (2.1)-i(2.2), se obtiene finalmente
f f u u v v
(z) i (z) = (z) i (z) + i (z) + (z)
x y x y x y

0 1 f f
f (z) = (z) i (z)
2 x y
Ejercicio 15 1) Pruebe que en coordenadas polares, las ecuaciones de

u v v u
Cauchy-Riemann se escriben como = r y =r .
r r
2) Pruebe que en notacin compleja las ecuaciones de Cauchy-Riemann
f
se escriben como = 0.
z
Definicin 16 Sea p : C R, p se dice armnica si
2p 2p
+ =0
x2 y 2
2p 2p
Notacin: p := 2 + 2 se le llama el Laplaciano de p.
x y
Proposicin 17 Si f = u + iv es analtica, entonces u y v son armni-

cas.
Demostracin.
Debemos probar por definicin que u = 0 y v = 0. Como f es anal-
f
tica, entonces: =0
z
u v u v
Como f = u + iv, entonces: +i = 0. As, =0y = 0.
z z z z
Por lo tanto,
2u
=0
zz
y
2v
=0
zz
De esto se puede concluir que u = 0 y v = 0.
Ejercicio 18
1) Sea f (x, y) = x2 + y 2 . Demuestre que f no puede ser la parte real

o imaginaria de una funcin analtica.
2) Pruebe que si f es analtica y u es armnica, entonces f u es
armnica.
2.2. Algunas funciones de variable compleja.
I. Funcin exponencial. Se define como:
ez := ex+iy = ex eiy = ex (cos y + i sin y)
Propiedades
1) ez es una funcin analtica en C.

2) (ez )0 = ez
3) e0 = 1, e2in = 1n Z
4) ez+w = ez ew
5) ez 6= 0, z C
6) |eiy | = 1, |ez | = ex
Teorema 19 La nica solucin de la ecuacin f 0 = hf ; h C y f (0) =

A C es:
f (z) = Aehz
Demostracin. f 0 (z) = Ahehz = hf (z). Demostremos la unicidad de

la solucin. Sea g que satisface g 0 = hg con g(0) = A. Considerando:
f f 0g g0f kf g hgf
( )0 = = = 0.
g g2 g2
f f (0) A
Entonces es constante. Pero: = = 1. Por lo tanto f = g.
g g(0) A
II. Funciones trigonomtricas. Se definen como:
eiz eiz eiz + eiz
sin z = ; cos z =
2i 2
Propiedades
1) (sin z)0 = cos z, (cos z)0 = sin z

2) sin z = 0 z = n, cos z = 0 z = (2n + 1) 2 , n Z.
3) cos(z + w) = cos z cos w sin z sin w,
sin(z + w) = sin z cos w + sin w cos z
4) cos2 z + sin2 z = 1
Teorema 20 Las soluciones de la ecuacin f 00 + kf = 0; k C son de

la forma: f (z) = A cos( kz) + B sin( kz).
Demostracin. Calculamos la primera y la segunda derivada de f :

f 0 (z) = A h sin z h + B h cos z h

f 00 (z) = A h h cos z h B h h sin z h = hf (z)
Con lo que queda demostrado el teorema.
III. Funcin raz ensima Se define como:

n
1
z = r n cos + i sin
n n

en := z = rei / < < , r > 0 n = 1, 2, 3, ... .

Proposicin 21 n
z es analtica en .
Demostracin. Ocupando las ecuaciones de Cauchy-Riemann en su

forma polar, tenemos:
u 1 v
=
r r
u v
= r
r
1 1
Considerando u(r, ) = r n cos y v(r, ) = r n sin . Entonces:
n n
u 1 1 v 1 1
= r n1 cos = r n cos
r n n n n
y
1
u r n v 1 1
= sin = r n1 sin .
n n r n n
IV. Funciones hiperblicas Se definen las funciones seno hiperb-

lico y coseno hiperblico como sigue:
ez ez ez + ez
sinh z = cosh z =
2 2
Propiedades
1) (sinh z)0 = cosh z, (cosh z)0 = sinh z

2) cosh2 z sinh2 z = 1
3) cosh(z + w) = cosh z cos w + sinh z sinh w,
sinh(z + w) = sinh z cosh w + sinh z cosh w
4) sinh(iz) = i sin z, cosh(iz) = cos z
Teorema 22 Las soluciones de la ecuacin y 00 = ky; k C son de la

forma: y(z) = A cosh( kz) + B sinh( kz).
V. Funcin logaritmo. Se define la funcin logaritmo como:
ln z = ln r + i,
para r > 0 y [, ].
Propiedades
1) La funcin logaritmo es analtica en .

1
2) (ln z)0 =
z
ln z
3) e = z, para todo z .
VI. Funcin potencia. La funcin potencia se define como:
z w = ew ln z ,
para cada w .
Propiedades
1) La funcin potencia es analtica en .

d(z w )
2) = wz w1
dz
Ejemplo: Calcular ii .
Solucin: Aplicando la definicin de la funcin logaritmo, queda:
i
ln i = ln 1 + i =
2 2

Entonces ii = ei(i 2 ) = e 2 .
i
Ejercicio 23 Calcule ii .
Captulo 3
Series
3.1. Series de Taylor

A continuacin presentamos el resultado bsico en series de poten-
cias.
Teorema 24 Consideremos

X 1
f (z) = an (z z0 )n , R= p
n=0 lmn ( n |an |)
donde R es el radio de convergencia de la serie. Entonces:
(a) Para cada z C tal que |z z0 | < R, la serie converge (absolutamen-

te).
(b) Para cada z C tal que |z z0 | > R, la serie diverge.
(c) La serie converge uniformemente en subconjuntos compactos (cerrado
y acotado) del disco D(z0 , R) = {z C tal que |z z0 | < R}.

X
Teorema 25 Sea an z n convergente en D(0, R). Entonces f (z) =
n=0
40
CAPTULO 3. SERIES 41
X
X
n 0
an z es analtica en D(0, R), y adems f (z) = nan z n1 la cual
n=0 n=1
es tambin convergente en D(0, R).
Demostracin.
Analicemos la siguiente diferencia:

an z n an z0n X
P P
f (z) f (z ) X
0 n
n=0 n=0 n1

nan z0 = na z

n

0
z z0 z z

n=0
0 n=1

P N N
n n
P

a n z a z
n 0 X N

n=0 n=0 n1
nan z0
z z0

n=1

N

X X
n1 n1
+ nan z nan z0

n=0 n=0

P
n n1
P
a z an z0
n=N +1 n

n=N +1
+

z z0

El primer trmino tiende a cero cuando z tiende a z0 , ya que es la derivada

del polinomio
N
X
p(z) = an z n .
n=0
El segundo trmino tiende a cero cuando N tiende a infinito, ya que la

X
serie nan z n1 converge, lo que demostraremos ms adelante.
n=1
Para el tercer trmino se tiene que:


X n
X
n
a n z an z0
n n

n=N +1 n=N +1 X
= z z0
an
z z0 n=N +1 z z0

Pero,
z n z0n
= z n1 + z n2 z0 + z n3 z02 + ... + z0n1
z z0 | {z }
nveces
Por lo tanto,
n
z z0n

n1
z z0 |z|
+ |z|n2 |z0 | + |z|n3 |z0 |2 + + |z0 |n1
Existe un r < R, tal que para |z| < r se tiene:

n
z z0n

n1
z z0 r
+ rn2 r + rn3 r2 + + rn1
Por lo tanto,
n
z z0n

n1
z z0 nr

Luego

X n
X
n
a n z a z
n 0 n
z z0n

n=N +1 n=N +1 X
|an |
z z0
z z0
n=N +1

X
n |an | rn1 0.
N
n=N +1

X
X
n
Ahora veamos que si h(r) = 0
|an |r , entonces h (r) = n|an |rn1 ,
n=0 n=1
con radio de convergencia R para ambas series.
1
Si R = p es el radio de convergencia de h(r) y R0 el radio de
lm |an |
n
convergencia de h0 (r), entonces
1 1 1
R0 = p = p = p =R
lm n n|an | lm n n n |an | n
|an |

X
Veamos que nan z0n1 converge en D(0, R):
n=1
1 1
R0 = p = p
lm n n|an | lm n |an |

0
X zn
Ejemplo 26 Si f (z) = converge en C, esto es R = , entonces
n=1
n!
f es analtica en C, y

0
X z n1 X z n1
f (z) = n =
n=1
n! n=1
(n 1)!
Haciendo m = n 1, tenemos:

0
X zm
f (z) =
m=0
m!
De lo anterior se puede observar que, f 0 (z) = f (z) y f (0) = 1 , entonces

f (z) = ez y por lo tanto,

z
X zn
e = .
n=0
n!

X
X
n
Observacin. Si f (z) = 0
an z y f (z) = nan z n1 .
n=0 n=1
0
Sea g(z) = f (z), entonces
X
0
g (z) = n(n 1)an z n2
n=2
Sea h(z) = g 0 (z), entonces
X
0
h (z) = n(n 1)(n 2)z n3
n=2
..
.
Detengmonos a analizar las funciones anteriores:
f (z) = a0 + a1 z + a2 z 2 + a3 z 3 + a4 z 4 + = f (0) = a0
f 0 (z) = a1 + 2a2 z + 3a3 z 2 + 4a4 z 3 + = f 0 (0) = a1
f 00 (0) = 2a2 + 3 2a3 z + 4 3a4 z 2 + = f 00 (0) = 2a2
f 000 (z) = 3 2a3 + 4 3 2a4 z + = f 000 (0) = 3 2a3
..
.
f (n) (0) = n!an
Por lo tanto
f (n) (0)
an =
n!
Corolario 27 Si f (n) (z) es analtica para todo n, entonces f es de clase

C .
3.2. Representaciones por series de Taylor

1. Funcin exponencial:

z
X zn
e =
n=0
n!
2. Funcin seno:
ez ez
sin z =
"2i
#
n n
1 X (iz) X (iz)
=
2i n=0 n! n=0
n!

1 X (i)n (i)n
=
2i n=0 n!
Analicemos la expresin (i)n (i)n :

Si n es par: (i)2k (1)2k (i)2k = (i)2k [1 (1)2k ] = 0
Si n es impar: (i)2k+1 (1)2k+1 (i)2k+1
= (i)2k i[1 (1)2k (1)] = 2(i)2k i = (i2 )k 2i = (1)k 2i
Entonces

X (1)n z 2n+1
sin z =
n=0
(2n + 1)!
3. Funcin coseno:

X (1)n (2n + 1)z 2n X (1)n z 2n
cos z = =
n=0
(2n + 1)(2n)! n=0
(2n)!
4. Funcin seno hiperblico:

Sabemos que sinh iz = i sin z, para todo z, en particular para w = iz,

entonces sinh w = i sin iw
Por lo tanto

X (1)n (iz)2n+1
sinh z = i sin iz = i .
n=0
(2n + 1)!
Analicemos:
(iz)2n+1 = (i)2n+1 z 2n+1 = (1)2n (1)[i2 ]n iz 2n+1
= (1)(1)n iz 2n+1 = (i)(1)n z 2n+1
Entonces

2
X (1)n (1)n z 2n+1
sinh z = i
n=0
(2n + 1)!

X z 2n+1
=
n=0
(2n + 1)!
5. Funcin coseno hiperblico:

X (2n + 1)z 2n X z 2n
cosh z = =
n=0
(2n + 1)(2n)! n=0
(2n)!
3.3. Serie geomtrica

1 X
= zn, |z| < 1
1z n=0
1
f (z) =
1z
1
f 0 (z) =
(1 z)2
2
f 00 (z) =
(1 z)3
3!
f 000 (z) =
(1 z)4
n f n (0)
Por lo tanto tenemos que f (0) = n!. Luego, an = = 1. As
n!
tendremos:

X
X
n
f (z) = an z = z n , |z| < R = 1
n=0 n=o
donde el radio de convergencia est dado por
1
R= p
lm n
|an |
Otros ejemplos de series geomtricas son:
i)

1 X
= (1)n z n , |z| < 1
1+z n=0
ii)

1 X
2
= (1)n z 2n , |z| < 1
1+z n=0
iii)

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

0 1 X
Sabemos que (ln(1 + z)) = = (1)n z n , luego integrando
1+z n=0
obtenemos:

X (1)n z n+1
ln(1 + z) = , |z| < 1
n=0
n+1

10
X
Lo mismo ocurre con (arctan z) = 2
= (1)n z 2n , ya que si
1+z n=0
ahora integramos podemos ver que

X (1)n z 2n+1
arctan z = .
n=0
2n + 1
3.4. Extensin analtica

X
Si f (z) = an (z z0n ), para |z z0 | < R, tenemos
n0

X
k
f (z) = an n(n 1)......(n k + 1)(z z0 )nk
n=k
Para todo k = 0, 1, 2... Para cada k las series tienen el mismo radio
de convergencia. En particular tenemos
f k (z0 ) = n!ak
o
f k (z0 )
ak =
k!
La serie de potencias entonces puede escribirse como
X f n (z0 )
f (z) = (z z0 )n
n0
n!
y se llama serie de Taylor en torno al punto z = z0 . Consideremos :

R R una funcin posible de ser expresada en terminos de serie de
Taylor, digamos
X f n (x0 )
(x) = (x x0 )n
n0
n!
para |x x0 | < R (x R), existe entonces una funcin analtica (nica)
definida por
X (f n (x0 ))
f (z) = 0 (z x0 )n
n
n!
para |z x0 | < R (z C) tal que f (x) = (x) para |x x0 | < R,
(x R). La funcin f se denomina extensin analtica de .
X xn
x
Ejemplo 28 Conocemos la serie de Taylor e = . Se define la
n0
n!
X zn
extensin analtica f (z) = . Observemos que esta serie converge
n0
n!
para todo z C. Notemos que
X nz n1 X z n1 X zn
0
f (z) = = = = f (z)
n0
n! n0
(n 1)! n0
n!
y f (0) = 1, luego f (z) = ez .
3.5. Prolongacin analtica

Sea R el radio de convergencia de la serie de Taylor de f (z) en torno
a z0 . Si |z z0 | < R, la serie de Taylor de f (z) en torno a z1 converge
ciertamente para |z z1 | < R |z1 z0 |. Sin embargo, puede haber un
radio de convergencia mayor R1 . Entonces tenemos definida la funcin
analitica f (z) como funcin analtica en un dominio mayor. Este proceso
se conoce como prolongacin analtica.
Ejemplo 29 Consideremos la funcin

X
f (z) = (z)n (3.1)
n=0
Se ve fcilmente que su radio de convergencia es 1. De este modo f (z) es-

ta definida para |z| < 1. Sumando las series corespondientes a f ( 21 ), f 0 ( 12 )...
encontramos la serie de Taylor

X 2 2 1
f (z) = { (z )}n
n=0
3 3 2
Su radio de convergencia es 23 , de este modo hemos prolongado f (z)

al crculo |z 12 | < | 32 | que es exterior al crculo original |z| < 1. Median-
te una sucesin de crculos podemos cubrir cualquier punto del plano z
distinto del z = 1. Queda asi definida f (z) como una funcion analtica
1
para z 6= 1. De hecho f (z) = .
(1 + z)
Observacin 30 El radio de convergencia R de la serie de Taylor de

f (z) en torno a z0 es igual a la distancia de z0 a la singularidad ms
prxima de f (z).
Ejemplo 31 La serie de Taylor

X
(1)n x2n
n=0
1
de la funcin real converge para |x| < 1, pero diverge para x = 1,
(1 + x2 )
1
aun cuando es indefinidamente derivable para todo valor de x.
(1 + x2 )

X X
n 2n
En efecto, (1) 1 = (1)n diverge. La explicacin radica en
n=0 n=0
1
la extensin de la funcin f (z) = que tiene singularidades en
(1 + z 2 )
X
z = i. Luego su serie de Taylor (1)n x2n en torno a z = 0 tiene
n=0
radio de convergencia |i 0| = 1.
Si R = , entonces la funcin f (z) es analtica para todo z. Una tal

funcin se llama entera.
3.6. Transformaciones conformes

Proposicin 32 Una Transformacin conforme es una funcin f :
C C, analtica tal que f 0 (z) 6= 0, z .
Observacin 33 Si f es conforme, entonces f preserva los ngulos.
Consideremos f (x, y) = (u(x, y), v(x, y)), f (z) = u + iv, luego vemos
que
u u

Df (z0 ) = x y

v v
x y
Teorema 34 Si es una regin simplemente conexa (sin hoyos), en-

tonces siempre existe f : D biyectiva y analtica, o bien analtica y
conforme.
Captulo 4
Integracin
4.1. Definicin y propiedades

Definicin 35 Un camino o curva regular es una funcin
: [a, b] C
con derivada continua y no nula.
Definicin 36 Un cambio de parmetro es una funcin
g : [, ] [a, b]
que es biyectiva y con derivada continua tal que g() = a y g() = b.
Ejemplo 37 1) (t) = (1 t)p + tq, 0t1

0 (t) = q p describe una recta desde el punto p al punto q.
2) (t) = z0 + Reit , t [0, 2] describe una circunferencia de centro z0

y radio R.
53
CAPTULO 4. INTEGRACIN 54
3) (t) = (a cos(t), b sin(t)), t [0, 2] describe una elipse.
4) (t) = (a cosh(t), b sinh(t)) describe una hiprbola.
5) (t) = a + b cos(t), t [a, b] describe una cardioide.
Definicin 38 Sea f : C C, se define

Z Z b
f (z)dz = f ((t)) 0 (t)dt
a
donde : [a, b] es un camino regular.
Proposicin 39 Si existe F tal que F 0 = f , entonces

Z
f (z)dz = F ((b)) F ((a))

Demostracin. Tenemos que

Z Z b
f (z)dz = f ((t)) 0 (t)dt
a
= F ((b)) F ((a))
Corolario 40 Si existe F tal que F 0 = f y es una curva cerrada,

entonces
Z
f (z)dz = 0.

4.2. Frmula de Cauchy

Teorema 41 (De Green)
Sea un dominio abierto y conexo, cuya frontera es regular, entonces
Z ZZ
Q P
(P dx + Qdy) = dxdy.
= x y
Podemos escribir

Z Z ZZ
f f
f (z)dz = f dx + if dy = i dxdy

|{z} |{z} x y
P Q
ZZ ZZ
1 f f f
= 2i +i dxdy = 2i dxdy
2 x y z
Por lo cual, en notacin compleja, el Teorema de Green puede ser expre-

sado como
Z Z Z
f
f (z)dz = 2i dxdy.
z
Ejemplo 42 Z ZZ
zdz = 2i dxdy = area ()

Teorema 43 (De Cauchy) Sea f analtica en , entonces:

Z
f (z) dz = 0.
=
Proposicin 44 (Frmula de Cauchy) Sea f analtica en con frontera

regular, entonces
Z ZZ
Q P
(P dx + Qdy) = dxdy.
= x y
Demostracin.
Z Z
f (z) f (z)
0= dz dz
\D(z0 ,r) z z0 z z0
Z
f (z)
= dz
D(z0 ,r) z z0

f rei + z0
Z 2
= i
irei d
0 re
Z 2
f rei + z0 d 2if (z0 )

= i
0 r0
Z
1
Ejemplo 45 1) Calcular 21
dz, donde es la regin de la figura:
z
Podemos escribir la integral como
Z Z
1 f (z)
dz = dz
(z 1)(z + 1) z + 1
1
con f (z) = analtica en y en su interior. Considerando z0 = 1,
z1
la integral toma el valor
1
2if (1) = 2i( ) = i
2
2) Si consideramos la integral anterior, pero con la regin , entonces
podemos escribir
Z Z Z
1 1 1 1
dz = dz dz
z2 1 2 z1 z+1
con f (z) = 1 analtica en la integral toma el valor

1
((2if (1)) (2if (1))) = 0
2
Teorema 46 Una funcin f es analtica en si y slo si para todo z0

en existe una serie de potencias tal que

X
f (z) = an (z z0 )n , |z z0 | < R
n=0
Demostracin. () Queda demostrado por lo visto antes.
() Consideremos la frmula de Cauchy.

Z
1 f (w)
f (z) = dw, C(t) = z0 + reit
2i C wz
entonces podemos escribir

1 1 1
= zz0
wz w z0 [1 ww 0
]

1 X (z z0 )n
= , |z z0 | < |w z0 |
w z0 n=0 (w z0 )n
as

Z X
1 f (w)
f (z) = (z z0 )n dw
2i C n=0 (w z0 )n+1
Z
X 1 f (w) n
= n+1 dw (z z0 )
n=0 |
2i C (w z0 )
{z }
an

X
= an (z z0 )n
n=0
Corolario 47 Z
(n) n! f (z)
f (z0 ) = dz
2i C (z z0 )n+1
4.3. Teora del ndice y homotopa

Definicin 48 Sea una curva cerrada, de clase C 1 , y z C. Se llama
ndice de z con respecto a al nmero
Z
1 1
Ind (z) =
2i (w z)
La expresin anterior es la frmula de Cauchy con f (w) = 1. Reescribien-

do tenemos que
b
0 (t)
Z
1
Ind = , : [a, b] C
2i a (t) z
Observacin 49 1) El ndice indica el nmero de vueltas que da la

curva en torno a z, si z Int().
2) Si z Ext(), entonces Ind (z) = 0 (por teorema de Cauchy).
3) Si Ind (z) 6= 0, entonces z Int().
4) Ind (z) Z{0} si z Int().
Definicin 50 Dos curvas cerradas cuyas trayectorias estan en un con-

junto se dice que son homtopas en si pueden deformarse continua-
mente entre s, sin que las deformaciones se salgan de .
Esta ltima imagen muestra el caso en que no se cumple la homotopa,

pues impide la deformacin continua.
Mas precisamente, sea C y 0 y 1 curvas cerradas en . 0 es

homtopa a 1 si existe una funcin continua H : [a, b] [0, 1] tal
que H(t, 0) = 0 (t), H(a, s) = H(b, s) y H(t, 1) = 1 (t), t [a, b], en
tal caso se dice que t es una homotopa en entre 0 y 1 y se denota
0 1 .
Teorema 51 (Invarianza del ndice por homotopa) Si C abierto

, 0 y 1 curvas cerradas en tal que 0 1 , entonces Ind0 (z) =
Ind1 (z).
Teorema 52 Si 0 y 1 son dos curvas cerradas en y 0 1 , enton-

ces:
Z Z
f (z)dz = f (z)dz
0 1
para cada funcin analtica f en .
R
Demostracin. Por demostrar 0 \1 = 0, eso sigue del teorema de
Cauchy.
4.4. Teoremas fundamentales

Definicin 53 Un abierto C se dice simplemente conexo si es co-
nexo y cualquier camino cerrado en es homotpico a un punto en .
Teorema 54 Sea un conjunto simplemente conexo y sea f analtica

(u holomorfa) en entonces existe F tal que F 0 = f .
Demostracin. Sea z0 cualquier punto en .Z Sea z .Z Sea un

z
camino en desde z0 hasta z. Definimos F (z) = f (s)ds f (s)ds.
z0
F est bien definida, pues si es otro camino desde z0 hasta z, entonces

Z Z
f (s)ds = f (s)ds = 0
()1 1
por lo cual
Z Z
f (s)ds f (s)ds = 0

y calculamos para h > 0:
1 z+h

F (z + h) F (z)
Z
f (z) = f (s) ds f (z)
h h z
1 z+h
Z
= (f (s) f (z))ds
h z
Sea > 0 tal que |h| < |f (z) f (z + h)| < entonces
Z z+h Z z+h Z z+h

1 1
(f (s) f (z))ds |f (s) f (z)||ds| |ds|
h
z |h| z |h| z
Afirmacin
Z z+h
1
|ds| = 1
|h| z
En efecto, sea (t) = z + th, t [0, 1], un camino desde z a z + h entonces

Z z+h Z 1 Z 1
1 1 0 1
|ds| = | (t)|dt = |h|dt = 1
|h| z |h| 0 |h| 0
Esto prueba la afirmacin y el teorema.

Corolario 55 Sea f una funcin holomorfa sin ceros, definida en un

abierto simplemente conexo, entonces existe una funcin g(z) tal que
eg(z) = f (z)
o bien
g(z) = ln f (z)
f 0 (z)
Demostracin. Consideremos la funcin , holomorfa por hipote-
f (z)
sis. Definimos
Z z 0
f (s)
g1 (z) = ds
z0 f (s)
es claro que g1 no depende del camino, pues es simplemente conexo.

Adems
f 0 (z)
g10 (z) =
f (z)
por teorema anterior. Sea h(z) := eg1 (z) . Entonces

0
0 g1 f f0
h = eg1 g10 =e =h
f f
as
h0 f hf 0 = 0
luego
h
( )0 = 0
f
y as
h
=c
f
con c = cte.
Por lo tanto h(z) = cf (z). Note que c 6= 0 pues h 6= 0.
As tendremos
1
f (z) = eg1 = eg1 (z)+c1
c
Por lo tanto si definimos
g(z) = g1 (z) + c1
se satisface
eg(z) = f (z).
Ejemplo 56 1) Sea :=C\{semieje real negativo}. Sea f (z) = z 2 . En-

tonces f (z) es holomorfa y sin ceros en simplemente conexo. Entonces
existe log(z 2 ). Note que no se puede definir log(z 2 ) en = C \ {0} pues
no es simplemente conexo.
p
2) f (z)existe. En efecto:
Definimos:
p 1
f (z) = e 2 gz
Recordemos el teorema de Cauchy:

Z
f (z)dz = 0

si f es analitica y el borde del camino donde f est definida.

Nos preguntamos si existen otras funciones (que no sean analticas)
con la propiedad anterior. La respuesta es no.
Teorema 57 (recproco del teorema de Cauchy) Si f es una funcin

continua definida en y tal que
Z
f (z)dz = 0

sobre toda la curva en tal que sea homotpica a un punto. Entonces

f es holomorfa.
Demostracin. Por hiptesis,

Z z
F (z) = f (w)dw
z0
est bien definida en |z z0 | < r . Adems F 0 (z) = f (z) (existe la

derivada).
Luego F (z) es holomorfa y por lo tanto:
X
F (z) = an (z z0 )n , |z z0 | < r
n0
de donde
X
f (z) = nan (z z0 )n1 , |z z0 | < r
n0
entonces f es holomorfa.
Teorema 58 (Principio del Mximo) Sea f anlitica en , entonces

|f (z)| no puede alcanzar su mximo en , a menos que f (z) sea cons-
tante.
Demostracin. Observemos primero que |f (z)| constante implica f (z)

constante. En efecto. Escribamos:
f (z) = u(x, y) + v(x, y), z = x + iy
entonces
|f (z)|2 = u(x, y)2 + v(x, y)2
Por hiptesis tenemos

(|f (z)|2 ) u v
0= = 2u(x, y) + 2v(x, y)
x x x
(|f (z)|2 ) u v
0= = 2u(x, y) + 2v(x, y)
y y y
As tendremos que
u v
0 = u(x, y) + v(x, y)
x x
u v
0 = u(x, y) + v(x, y)
y y
Por las ecuaciones de Cauchy Riemman tenemos

u v
=
x y
y
u v
=
y x
luego
u v
0=u +v
x x
y
u v
0 = u +v
x x
o bien

u
0 u v
= x
v
0 v u x
Caso 1: u2 + v 2 = 0 (determinante de la matriz).

|f (z)|2 = u2 + v 2 = 0, luego f (z) = 0.
Caso 2: u2 + v 2 6= 0.
u v
Entonces =0 y = 0.
x x
u v
Adems por las ecuaciones de Cauchy Riemman =0 y = 0.
y y
Luego u(x, y) = cte y v(x, y) = cte.
Por lo tanto f (z) = cte.
Supongamos ahora que |f (z)| alcanza su mximo en y no es idntica-
mente constante. Entonces existe z0 donde |f (z)| es mximo.
Sea la frontera de un crculo de centro z0 y radio r contenido en
(abierto). Entonces |f (z0 + rei )| < |f (z0 )| para cada (0, 2). Luego
Z Z 2
1 f (s) 1
f (z0 ) = ds = f (z0 + rei )d
2i s z0 2i 0
Entonces
Z 2
1
|f (z0 )| |f (z0 + rei )|d < |f (z0 )|
2 0
lo cual es una contradiccin.
Corolario 59 Si f (z) es analtica en y continua en y si |f (z)|

M sobre entonces |f (z)| < M en , a menos que f (z) sea constante.
Teorema 60 (principio de reflexin de Schwartz) Sea f (z) holomorfa

S
en un abierto con [a, b] , f es adems continua en [a, b].
Suponemos que f (x) es real si a x b. Entonces f se extiende al
dominio = [a, b] donde := {z/z }. Adems, en se
S S
tiene que f (z) = f (z).
Demostracin. Claramente la frmula f (z) = f (z) para z , ex-

tiende f (z) al dominio .
Para demostrar que f es holomorfa en calculamos
R
f (z)dz donde
es una curva en homotpica a un punto. Si esta en no hay
problema. Luego hay que analizar el caso en que se encuentre en ambas.
Separamos en dosZ caminos. Puesto que la integral sobre cada uno se
anula, se obtiene: f (z)dz = 0. En efecto

Z Z Z
f = lm + lm
0 1 0 2
Luego por el teorema de Morera, f es holomorfa.

Observacin 61 Da lo mismo hacer una reflexin sobre el eje real o bien

en una recta cualquiera. Por lo tanto, si f est definida por ejemplo en un
rectngulo, por el principio de reflexin de Schwartz, es posible extenderla
a todo el plano. Anlogamente se podra hacer con un tringulo.
Proposicin 62 (Desigualdad de Cauchy) Sea f (z) una funcin anal-

tica en C (entera). Entonces
n!
|f n (0)| M (r)
rn
donde M (r) = max|z|=r |f (z)|.
Demostracin. Aplicando la frmula de Cauchy para z0 = 0

Z
n! f (z)
f n (0) = dz
2i C z n+1
donde C es el crculo z = rei con r > 0 y 0 2. Se obtiene:
2
f (rei ) n! 2 f (rei )
Z Z
n n! i
|f (0)| = | rie d| d
2i 0 rn+1 ei(n+1) 2 0 rn
Z 2
n! n!M (r)
M (r) d = .
2rn 0 r n
Teorema 63 (de Liouville) Sea f (z) una funcin analtica, entera y aco-
tada, entonces f es constante.
Demostracin. Como f es acotada

n!
|f n (0)| M
rn
donde M = supzC |f (z)|.

Luego haciendo r se obtiene f n (0) = 0 para n 1.
X f n (0)
n f 0 (0)
Como f es analtica, f (z) = z = f (0) + + ....
n0
n! 1!
Luego f (z) = f (0), por lo tanto f es constante.
Teorema 64 (Fundamental del Algebra) Todo polinomio no constante

p(z) = an z n + an1 z n1 + ... + a0 con an 6= 0 tiene n races en C.
Demostracin. Basta demostrar que tiene una raz (luego se divide por
ella y se obtiene un polinomio de grado menor donde se aplica denuevo el
resultado ).
Supongamos, por absurdo, que p(z) no tiene ninguna raz. Entonces h(z) =
1
es analtica en C (entera). Vamos a demostrar que h(z) (y luego p(z))
p(z)
es constante, por lo cual probamos que h(z) es acotada en C y usaremos
el teorema de Liuville.
En efecto:
1 1
lm = lm
z p(z) z an z n + ... + a0
tn
= lm
t an + an1 t + ...a0 tn
= 0

1
Luego, dado > 0 existe R > 0 tal que |z| R luego |h (z)| =
p (z)
.
Por otra parte, si |z| R entonces |h(z)| M , pues h es continua
y {z : |z| R} es compacto. Por lo tanto |h(z)| + M . Luego h es
acotada, entonces h(z) es constante y as p(z) es constante. Contradiccin.
Teorema 65 (Del Valor Medio) Si f es Analtica en un abierto y

{z : |z z0 | r} entonces
Z 2
1
f (z0 ) = f (z0 + rei )d.
2 0
Demostracin. Usamos la frmula de Cauchy

Z
1 f (z)
f (z0 ) =
2i C z z0
donde C es el crculo z = z0 + rei con 0 2.
Entonces
Z 2
1 f (z0 + rei ) i
f (z0 ) = rie d
2i 0 rei
Z 2
1
= f (z0 + rei )d.
2 0
Captulo 5
Mtodos de integracin y
aplicaciones
5.1. Desarrollo en serie de Laurent

Teorema 66 Sea f (z) una funcin analtica en un anillo (o corona)
r < |z z0 | < R.Entonces f (z) se puede representar por una serie de la
forma
X X bn
f (z) = an (z z0 )n +
n0 n1
(z z0 )n
que converge uniformemente en compactos de ese anillo. Adems:
1) La primera serie converge en |z z0 | < R.

2) La segunda serie converge en |z z0 | > r.
Demostracin. Sean 1 y 2 crculos de radios r0 y R0 respectiva-

mente, con r < r0 < R0 < R.
70
CAPTULO 5. MTODOS DE INTEGRACIN 71
Por la frmula de Cauchy en el anillo r0 |z z0 | R0 se tiene:

Z
1 f (s)
f (z) = ds
2 Z (s z) Z
1 f (s) 1 f (s)
= ds ds
2 2 (s z) 2 1 (s z)
con = 2 1 .
Procedemos ahora como sigue:
En 2 :
1 1
=
(s z) s z0 + z0 z
1 1
=
s z0 1 zz 0
sz0
X 1
= n+1
(z z0 )n
n0
(s z0 )
Entonces
Z
1 f (s) X
ds = an (z z0 )n .
2i 2 (s z) n0
En 1 :
1 1
=
sz s z0 + z0 z
1 1
=
z0 z (1 + zsz 0
0 z
)
1 1
= sz0
z0 z (1 zz 0
)
1 X (s z0 )n
=
z z0 n0 (z z0 )n
X 1
= (s z0 )n
n0
(z z0 )n+1
para |s z0 | < |z z0 |.
Integrando trmino a trmino, lo cual es justificado por la convergencia

uniforme sobre compactos de la serie, se obtiene:
1
Z
f (s) X 1 Z
1
ds = f (s)(s z0 )n ds
2i 1 (s z) n0
2i 1 (z z0 )n+1
X 1 Z
n1 1
= f (s)(s z0 ) ds
n1
2i 1 (z z0 )n
Esto preba el teorema.
Observacin 67 De la demostracin del teorema anterior se nota que:

Z
1
bn = f (s) (s z0 )k1 ds
2i 1
con k = 1, 2, 3, ...
Hay tres posibilidades:

1) bk = 0 para todo k = 1, 2, 3, .... En este caso, la funcin es
analtica en |z z0 | < R.
2) bk para todo k > m. En este caso
bm b1
f (z) = m + ... + + a0 + a1 (z z0 ) + ...
(z z0 ) (z z0 )
y se dice que f (z) tiene un polo de orden m en z0 .

Adems :
bm b1
m + ... +
(z z0 ) (z z0 )
se llama parte principal de f y

Z
1
b1 = f (s)ds = Re s (f, z0 )
2i |zz0 |
se llama residuo.
3) Hay infinitos bk 6= 0. En este caso se dice que f tiene una singu-

laridad esencial.
cos z
Ejemplo 68 1) Desarrollo de f (z) = en torno a z0 = 0.
z3
z2 z4 z6
cos z = 1 + + ...
2! 4! 6!
Entonces
1 1 z z3
f (z) = 3 3 + + ...
z 2z 4! 6!
Luego f (z) tiene un polo de orden 3 en z0 = 0.
2) Desarrollo de f (z) = e1/z en torno a z0 = 0.

X un u2 u3
u
e = =1+u+ + + ...
n0
n! 2! 3!
Entonces
1 1 1
e1/z = 1 + + 2 + 3 + ...
z z 2! z 3!
Luego e1/z tiene una singularidad esencial en z0 = 0.
Teorema 69 (Casorati-Weierstrass) Sea z0 una singularidad esencial de

f (z). Entonces la imagen de cualquier vecindad de z0 es densa en el plano
complejo C. Es decir, f (D(z0 , r)) = C.
Demostracin. Supongamos lo contrario. Entonces existe un > 0

> 0 y w0 C tales que |z z0 | < entonces |f (z) w0 | .
Consideremos
1
h(z) =
f (z) w0
Claramente h es analtica en D(z0 , ). Sin embargo, como h es acota-

da |h(z)| 1 , se tiene que h(z) es tambin analtica en z0 (Tiene un
desarrrollo en serie de Laurent y si tuviera un nmero infinito de poten-
cias negativas, entonces no podra ser acotada.
b2 b1
h(z) = 2
+ + b0 + b1 (z z0 ) + b2 (z z0 )2 + ...
(z z0 ) (z z0 )
1
y |h(z)| < para todo z D(z0 , ), luego b1 = b2 = ... = 0. Entonces
h(z) = b0 + b1 (z z0 ) + b2 (z z0 )2 + ...
luego h es analtica en z0 .
1
f (z) w0 =
b0 + b1 (z z0 ) + b2 (z z0 )2 + ...
= c0 + c1 (z z0 ) + ...
Entonces f (z) = w0 + c0 + c 1(z z0 ) + .... As f es analtica en z0 .

Contradiccin.
Otro caso es que

1
f (z) w0 =
bn (z z0 )n + bn+1 (z z0 )n+1 + ...
1 1
=
bn (z z0 )n (1 + bn+1 (z z0 ) + ...)
bn
1
= (c0 + c1 (z z0 ) + ...)
bn (z z0 )n
c0 c1
Luego f (z) = w0 + + + ...
b n(z z0 )n bn (z z0 )n1
Por lo tanto, f tiene un polo de orden n en z0 . Contradiccin.
Definicin 70 Una funcin f se dice meromorfa en si es el cuociente

p
de dos funciones analticas, esto es: f = donde q 6= 0.
q
Observacin 71 Las singularidades de una funcin meromorfa, corres-

ponden a los ceros de q (pueden ser polos o singularidades esenciales).
Note adems, que los ceros de una funcin analtica son discretos.
En efecto: Sea z0 tal que f (z0 ) = 0, entonces existe una vecindad de
z0 tal que
X
f (z) = an (z z0 )n = a1 (z z0 ) + a2 (z z0 )2 + ...
n0
Sea n0 el primer entero tal que an0 6= 0 entonces
f (z) = (z z0 )n0 (an0 + an0 +1 (z z0 ) + ...)

| {z }
g(z)
Por lo tanto hay una vecindad de z0 donde f (z) 6= 0 excepto por z0 .
En efecto : Sea zn z0 tal que f (zn ) = 0. Entonces
0 = f (zn ) = (zn z0 )n0 g(zn )
As g(zn ) = 0 para todo n. Luego g(zn ) = 0. Contradiccin.

5.2. Residuos
Teorema 72 (De residuos) Sea f meromorfa en . Sea K compacto en
con borde . Entonces
Z n
1 X
f (z)dz = Res(f, zi )
2i i=1
Observacin 73 Hay solo un nmero finito de singularidades en K.

En efecto, si hubiese una sucesin de singularidades, esta tendra
un punto de acumulacin en K y luego en , digamos z . Pero z tie-
ne una vecindad D(z , R) \ {z }, en la cual f es holomorfa, lo cual es
una contradiccin pues en esta vecindad siempre habrn puntos de la
sucesin de polos y por lo tanto f no puede ser holomorfa.
Demostracin. Sean Ci pequeos crculos en torno a zi . La funcin

f (z) es holomorfa fuera de la unin de sus discos.
Por el teorema de Cauchy

Z n Z
1 1 X
f (z)dz = f (z)dz
2i 2i i=1 Ci
n Z
1 X
= f (z)dz
2i i=1 |zzi |
n
X
= Res(f, zi )
i=1
p(z)
Proposicin 74 Si f (z) = meromorfa, es tal que p(z0 ) 6= 0,
q(z)
q(z0 ) = 0 y q 0 (z0 ) 6= 0. Entonces
p(z0 )
Res(f, z0 ) =
q 0 (z0 )
Demostracin.
q(z) = q(z0 ) + q 0 (z0 )(z z0 ) + ... = q 0 (z0 )(z z0 ) + ...
Por lo tanto, z0 es cero de orden 1. Es decir, z0 es un polo de orden 1 de

f.
Entonces
(z z0 )p(z)
(z z0 )f (z) =
0
q 00 (z0 )(z z0 )2
q (z0 )(z z0 ) + + ...
2!
p(z)
= 00
q (z0 )(z z0 )
q 0 (z0 ) + + ...
2!
Luego
p(z0 )
lm (z z0 )f (z) = = Res (f, z0 )
zz0 q 0 (z0 )
Por otra parte
a1
f (z) = + a0 + a 1(z z0 ) + ...
(z z0 )
As
(z z0 )f (z) = a1 + (z z0 )a0 + a1 (z z0 )2 + ...
Luego
lm (z z0 )f (z) = a1 = Res(f, z0 )
zz0
Por lo tanto
p(z0 )
Res(f, z0 ) =
q 0 (z0 )
Ejemplo 75 Calcular el residuo de tan z en z0 = /2.

sin z
Tenemos que tan z = , donde
cos z
sin(/2) = 1 6= 0
cos(/2) = 0
y
sin(/2) = 1
As tendremos que
1
Res(tan z, /2) = = 1
1
Observacin 76 Si la funcin f del Teorema de Residuos es, adems,
analtica en todo punto del plano exterior a C entonces, en vez de calcular
Z Xm
f (z)dz = 2i Res(f, zi )
C k=1
podemos calcular
Z
1 1
f (z)dz = 2iRes 2 f ,0
C z z
En efecto. Primero hacemos el desarrollo de Laurent de f en torno a
z = . Por definicin esto significa que debemos hacer el desarrollo en
1
serie de Laurent de f ( ), en torno a z = 0; digamos
z

1 a2 a1
f = 2 + + a0 + a1 z + a2 z 2 + ...
z z z
si |z| < R, de manera que
f (w) = a2 w2 + a1 w + a0 + a1 z + a2 z 2 + ...
si |w| > R, es el desarrollo en serie de Laurent de f en torno a z = .

En particular, note que siempre el desarrollo en serie de Laurent de f en
torno a z = tiene la forma:
b2 b1
f (w) = ... + + + b0 + b1 w + b2 w + ...
w2 w
si |w| > R. Adems por definicin Res(f, ) = b1 .

1 1
Construyamos ahora la expresin 2 f a partir de la expresin an-
z z
terior:

1 b1 b2
f = ... + b2 z 2 + b1 z + b0 + + 2 + ..., |z| < R
z z z
as

1 1 b1 b0 b1
f = ... + b2 + + 2 + 3 + ..., |z| < R
z2 z z z z
luego
1 1
Res 2 f , 0 = b1 = Res(f (z), )
z z
sabemos que Z Z
f (z)dz + f (z)dz = 0
C C
entonces Z Z
f (z)dz = f (z)dz
C C
pero tenemos que Z
f (z)dz = 2iRes(f, )
C
por lo tanto
Z
1 1
f (z)dz = 2iRes(f, ) = 2iRes 2 f ,0
C z z2
que era la afirmacin.
5z 2
Ejemplo 77 Consideremos f (z) = analtica en todo z exterior
z(z 1)
a la circunferencia |z| = 2.
Entonces
1 z(5 2z)
f =
z 1z
luego
1 1 5 2z
f =
z2 z z(1 z)
as
5z 2
Z
dz = 2i(5) = 10i.
C z(z 1)
Teorema 78 (Principio del Argumento) Sea f meromorfa en el interior

de . Sea a1 , a2 , ...an los ceros de f y b1 , b2 , ...bn los polos de f .
Entonces
n m
f 0 (z)
Z
1 X X
F (z) dz = F (ai ) + F (bi )
2i f (z) i=1 i=1
Para cada funcin holomorfa F (z).
En particular, si F (z) = 1 se tiene:
Z 0
1 f (z)
dz = (n m).
2i f (z)
Demostracin. Sea uno de los puntos ai o bj . Tenemos
f (z) = av (z )v (1 + b1 (z ) + ...)
donde v es el orden del cero o polo en ai o bj con v Z. Entonces:
f 0 (z) = vav (z )v1 + ...
Luego
f 0 (z) v
= + ...
f (z) (z )
Como f es holomorfa
F (z) = F () + F 0 ()(z ) + ...
As
f 0 (z) vF ()
F (z) = + vF 0 () + ...
f (z) (z )
Vemos que
f 0 (z)

Res F , = vF ()
f (z)
Por el Teorema de Residuos
n m
f 0 (z)
Z
1 X X
F (z) dz = F (ai ) F (bi )
2i f (z) i=1 i=1
Observacin 79 Como
Z
1 1
Ind (z) = dw
2i wz
Entonces
b
0 (t)
Z Z
1 1 1
Ind (0) = dw = dt
2i w 2i a (t)
As
b
(f )0 (t)
Z
1
Indf (0) = dt
2i a (f )(t)
b
f 0 ((t)) 0 (t)
Z
1
= dt
2i a f ((t))
f 0 (z)
Z
1
= dz = V (t)
2i f (z)
y se llama el nmero de vueltas o nmero de rotacin de f alrededor de

.
Por lo tanto, el Principio del Argumento seala que
Ind(f ) (0) = n m.
En particular, si f es analtica
Ind(f ) (0) = n.
As, el Principio del Argumento dice que cuando la componente encerrada

por est enteramente contenida en el dominio de analiticidad de f , el
nmero de vueltas que da f alrededor de coincide con el nmero total de
ceros que pesee f en esta componente, contando cada uno de ellos tantas
veces como indique su orden.
Teorema 80 (de Rouch) Sea C el borde de un dominio y sean f y g

analticas en tales que |f (z)| < |g(z)| para z C. Entonces f (z)+g(z)
y g(z) tienen el mismo nmero de ceros en .
Demostracin. Por el Principio del Argumento, debemos probar que

(f + g) 0
Z 0 Z
f
= .
C f C (f + g)
Tenemos en C
f
<1
g
entonces
Z ( fg )0
f
= 0.
C 1+ g

f f
Pero la imagen de C bajo 1+ (z) est en el disco D(1, 1), pues 1 + 1 <
g g
f
1. Luego, por el Teorema de Cauchy 1 + 6= 0 para todo z C por lo
g
que Z 0
f g f g0
f
=0
2
C (1 + g )g
esto es
f 0g f g0
Z
=0 (5.1)
C (g + f )g
Por el Teorema anterior, basta demostrar que
Z 0
f + g0
Z 0
g
=
C f +g C g
esto es
f0 g0
Z
0
+gf +g =0
C f g
o bien
f 0g g0f
Z
=0
C (f + g)g
que es precisamente (5,1). Esto prueba el Teorema.
5.3. Clculo de integrales

Hemos visto que si f (z) es analtica y tiene un polo simple (orden 1) en
z0 entonces
(z) = (z z0 )f (z)
tiene una singularidad removible en z0 , luego tomando lmite tenemos la

existencia de
(z0 ) = lm (z z0 )f (z)
zz0
Por otro lado, como (z) es analtica en el interior y sobre una curva
cerrada en torno a z0 se tiene por la frmula de Cauchy
Z Z
1 (z) 1
(z0 ) = dz = f (z)dz = Res(f, z0 )
2i C z z0 2i C
As, si f (z) tiene un polo simple en z0 , entonces

Z
f (z)dz = 2i lm ((z z0 )f (z))
C zz0
Si f (z) tiene un polo de orden k en z0 , se puede definir
(z) = (z z0 )k f (z)
y
(z0 ) = lm (z z0 )nk f (z)
zz0
Entonces (z) es analtica en una regin y tenemos

(k 1)!
Z
(z)
(k1) (z0 ) = dz
2i C (z z0 )k
(k 1)!
Z
= f (z)dz
2i C
= (k 1)!Res(f, z0 )
Entonces
(k1) ((z z0 )f (z))
Z
2i
f (z)dz = lm
C (k 1)! zz0 z (k1)
de donde
(k1) ((z z0 )k f (z))

1
Res(f, z0 ) = lm
(k 1)! zz0 z (k1)
5.4. Aplicacin del teorema de residuos

Sea Ap (z) y Bq (z) dos polinomios de grado p y q respectivamente. Sean
Ap (z)
(ak ) los ceros de Bq (z) y sea: f (z) = .
Bq (z)
Sea R el arco de circunferencia R (t) = Reit ; 0 t .
I) Suponga que Bq (z) no tiene ceros reales y q p + 2. Si R es suficien-
temente grande, se tiene por el teorema de residuos que:
Z R Z X
f (x)dx + f (z)dz = 2i Res(f, ai )
R R Im(ai )>0
Se sigue del Teorema de Residuos que:

Z + X
f (x)dx = 2i Res(f, ai )
Im(ai )>0
Z
Para justificar que: f (z)dz 0, cuando R . Ocupamos el si-
R
guiente lema.
Lema 81 Sea g(z) continua en {z = ei ; R0 ; 1 2 }. Si

ocurre que lm (zg(z)) = 0, entonces:
z
Z
lm g(z)dz = 0.
R R
Veamos, por ejemplo:

Ap (z)
zf (z) = z
Bq (z)
polinomio de grado p + 1
= polinomio de grado q
= polinomio de grado p + 1 q 1
1
0 cuando z
z
Demostracin. Sea el camino R (t) = eit con t [1 , 2 ]. Entonces:
Z Z 2
it it

g (z)dz =
g e ie dt
R 1
Z 2
g eit dt 0

1
+
x2
Z

Ejemplo 82 Demostrar que 4
dx = .
1 + x 2
Solucin: Sea z 2 = A2 (z) y 1 + z 4 = B4 (z), entonces
z2 A2 (z)
f (z) = = .
1 + z4 B4 (z)
Las races de B4 (z) = 1 + z 4 tal que, z 4 = 1, son:

3i 5i 7i
z1 = ei 4 ; z2 = e 4 ; z3 = e 4 ; z4 = e 4 .
z2
Adems, f (z) = (zz1 )(zz2 )(zz3 )(zz4 ) . Luego, los residuos de cada singu-
laridad (polo de orden 1) que est dentro de la semicircunferencia son:
p(z1 ) z12 11 1 i
Res(f, z1 ) = lm (z z1 )f (z) = 0 = 3= = e 4
zz1 q (z1 ) 4z1 4 z1 4
Por otro lado, el residuo de f respecto a la segunda singularidad es:
1 3i
Res(f, z2 ) = e 4
4
+
x2
Z
2i i 3i
dx = [e 4 + e 4 ] = .
1 + x4 4 2
II) Suponga que Bq (z) no tiene ceros reales y que q p + 1 y > 0.
Entonces por el Teorema de Residuos, para R grande, se tiene:
Z R Z X
ix
f (x)e dx + f (z)eiz dz = 2i Res(f (z)eiz , ak )
R R Im(ak )>0
Se sigue que:
Z + X
f (x)eix = 2i Res(f (z)eiz , ak ).
Im(ak )>0
Lema 83 Sea g una funcin continua en un sector del semi-plano su-

perior {z = ei / R0 ; 1 2 , donde 0 1 2 . Si
lm g(z) = 0 y > 0, entonces:
z
Z
lm g(z)eiz dz = 0
R R
Demostracin. Sea R (t) = eit , con t [1 , 2 ]. Entonces:

Z Z 2
it
iz it ie it

g(z)e dz = g(e )e ie dt
R
Z 12

it i(cost+isint)

it
g(e ) e ie dt

Z 12
g(eit ) eicost esint ieit dt

=
Z12
= | g(eit ) | esint dt
1
y esint 0, cuando , siempre que sint > 0, pues t

[1 , 2 ] [0, ]. Luego:
Z 2
| g(eit ) | esint dt 0,
1
cuando .
+
eiz
Z
cosx
Ejercicio 84 Calcular dx. Usar f (z) = .
0 (x2 + 1)2 (z 2 + 1)2
Z 2
III) R(senx, cosx)dx, donde R(x, y) es una funcin racional de dos
0
variables reales, se puede escribir como:

zz z+z 1
Z
R , dz
|z|=1 2i 2 iz
y esta ltima se resuelve con ayuda del Teorema de Residuos.
Z 2
1
Ejemplo 85 Calcular I = dx, con a > 1.
0 a + cosx
z+z
Solucin: Ocupando que cos(x) = , se tiene:
2
Z 2 Z Z
1 1 1 1 dz
dx = z+z dz =
a + z2 + 1

0 a + cosx |z|=1 a + 2
iz |z|=1 2z
iz
Z
2 1
= 2
dz
i |z|=1 2az + z + 1
Notar que:

2 2a 4a2 4 p
z + 2az + 1 = 0 z = = a a2 1.
2

Donde slo z1 = a+ a2 1 queda dentro de la circunferencia |z| < 1,

pues z2 = a a2 1 est fuera ya que a > 1.
Luego:

2 1
I = 2i Res , z1
i 2az + z 2 + 1
1 4 2
= 4 lm = = .
zz1 z z2 z1 z2 a2 1
Ap (a)
IV) Supongamos que f (z) = Bq (z) tiene un polo simple a0 sobre el eje real.
Sean q p + 1 y > 0. Dados, R > 0 y 0 < < R, denotamos por R,
la frontera de la regin limitada por el eje real y las semicircunferencias
R y a0 + orientadas positivamente.
Para R suficientemente grande y suficientemente pequeo, el Teorema
de Residuos proporciona:
Z X
f (z)eiz dz = 2i Res(f (z)eiz , ak )
R, Im(ak )>0
Se sigue que:
Z + X
ix
f (x)e dx = 2i Res(f (z)eiz , ak ) + iRes(f (z)eiz , a0 )
Im(ak )>0
Demostracin.
X Z
Res f (z) eiz , ak = f (z)eiz dz

Im(ak )>0 R,
Z a0 Z
ix
= f (x)e dx + f (z)eiz dz
R ,0
Z R Z
+ f (x)eix dx + f (z)eiz dz
a0 + R
Por el lema visto anteriormente, la ltima integral es 0 (ya que > 0 y

q p + 1).
Ahora probaremos que

Z
lm g(z)dz = i Res (g(z), a0 )
0 ,0
donde g (z) = f (z) eiz .
En efecto, como z = a0 es polo real simple de g(z):

b1
g(z) = + c0 + c1 (z a0 ) + c2 (z a0 )2 + ...
(z a0 )
Si consideramos:
b1
h(z) g(z) = b0 + b1 (z a0 ) + b2 (z a0 )2 + ...
(z a0 )
donde b1 = Res (g(z), a0 ).

Tenemos que h(z) es analtica en z = a0 , o sea, z = a0 es singularidad
reparable de h(z). Por lo tanto, existe M > 0 tal que:
| h(z) |< M, | z a0 | 1
Luego:
Z Z 0

h (,0 (t)) 0 ,0 (t)dt

h (z) dz =

,0
Z
0
M ,0 (t)dt
Z0
= M dt = M
0
Z
Por lo tanto lm h(z)dz = 0.
0 ,0
Z
Como queremos probar que lm g(z)dz = iRes(g(z), a0 ), obtene-
0
Z ,0
mos de lm h (z)dz = 0 que:

0
,0
Z Z
1
lm g(z)dz = b1 lm dz
0 0 z a0
,0 ,0 Z
1
= Res (g(z), a0 ) lm dz
0 z a0
,0
Donde:
Z Z 0
1 1
lm dz = lm it
ieit dt = i.
0 ,0 z a0 0 e
Luego, la igualdad queda demostrada.
Z +
sinx
Ejercicio 86 Demostrar que dx = .
0 x 2
V) Consideremos
Z +
xa1 f (x)dx; 0 < a < 1.
0
Suponemos que f (z) no tiene polos en (0, ) y que se cumple:
a) lm | z a f (z) |= 0.
z
b) lm | z a f (z) |= 0.
z0
Entonces:
Z
a1 2i X
x f (x)dx = 2ia
Res(z a1 f (z), ak ).
0 1e
ak 6=0
Siendo z a1 = e(a1) log (z) , donde log (z) es la rama del logaritmo definida
en C\ (0, ) con 0 < < 2.
Demostracin. Consideremos la siguiente figura, ms conocida como

la cerradura:
Por el Teorema de Residuos, tenemos que :
Z X
a1
f (z)z dz = 2i Res(f (z)z a1 , ak ).
R,r, ak 6=0
Entonces:
Z Z R Z
a1 a1
f (z)z dz = f (x)x dx + f (z)z a1 dz
R,r, Zr r R Z
+ f (x)(xe2i )a1 dx + f (z)z a1 dz

ZRR Z R r
= f (x)xa1 dx f (x)xa1 e2i(a1) dx
Zr Zr
a1
+ f (z)z dz + f (z)z a1 dz
R Z R r
= (1 e2ia ) f (x)xa1 dx
Z r Z
+ f (z)z a1 dz + f (z)z a1 dz
R r
Donde:
Z Z 2
a1 a1 i(a1)t it it

z f (z)dz = R e f (Re )Rie dt
R Z0 2
Ra f (Reit )eiat idt

=
Z 02
R f Reit dt 0.
a

0 R
Esto ocurre, ocupando la primera propiedad: lm | z a f (z) |= 0.

z
Anlogamente, si ocupamos la segunda propiedad:
Z
z a1 f (z) dz 0,
r r0
Ya que el lm | z a f (z) |= 0.
z0
5.5. Frmula de Poisson

Recordemos que D = {z C : |z| < 1}.
Sabemos que si f es analtica en D, entonces por frmula de integral de
Cauchy tenemos Z
1 f (w)
f (z) = dw
2i (w z)
siempre que |z| < 1 donde (t) = eit con 0 t 2.
1
Sea z1 = , con z D. Entonces
z
Z
1 f (w)
0= dw
2i (w z)
De lo anterior obtenemos que

Z Z
1 f (w) 1 f (w)
f (z) = dw dw
2i Z (w z) 2i (w z1 )
1 1 1
= ( )f (w)dw
2i (w z) (w z1 )
(|z|2 1)
Z
1
= f (w)dw
2i (w z)(wz 1)
Ya que
1 1 (w z1 ) (w z)
1 =
wz w z (w z)(w z1 )
z z1
=
(w z)(w z1 )
|z|2 1
=
(w z)(wz 1)
Luego
Z 2
1 |z|2 1
f (z) = it it
f (eit )ieit dt
2i 0 (e z)(e z 1)
Z 2
1 |z|2 1
= it it
f (eit )dt
2 0 (1 e z)(e z 1)
Z 2
1 1 |z|2
= f (eit )dt
2 0 (eit z 1)(eit z 1)
Si ponemos z = rei con r < 1 y [0, 2], entonces
Z 2
1 1 r2
i
f (re ) = f (eit )dt
2 Z0 |eit rei 1|2
2
1 1 r2
= i(t) 2
f (eit dt
2 Z0 |re 1|
2
1
= Pr ( t)f (eit )dt
2 0
1 r2
donde Pr (x) = y es llamado ncleo de Poisson.
|1 reix |2
Observemos que calculando obtenemos
1 r2 1 r2 1 r2
Pr (x) = = =
|1 reix |2 (1 reix )(1 reix ) 1 r(eix + eix ) + r2
Notemos que Pr (x) R para todo x, luego si u = Ref , entonces

Z
1
u(rei ) = 2Pr ( t)u(eit )dt
2 0
Adems, notemos que Pr (x) = Pr (x) y peridica en x de perodo 2.

Tambin Pr (x) 0 para r < 1.
Lo anterior podemos generalizarlo a un disco D(z0 , R).
Teorema 87 (Frmula integral de Poisson) Sea f analtica en D(z0 , R)

y continua en D(z0 , R). Entonces si z = z0 + rei con 0 r R
Z 2
1
f (z) = Pr ( t)f (z0 + Reit )dt.
2 0
Si u = Ref , entonces
Z 2
i 1
u(z0 + re ) = Pr ( t)u(z0 + Reit )dt.
2 0
La frmula anterior, expresa que el valor de una funcin analtica en un

punto interior de un disco, es igual al promedio ponderado (por un peso)
de un valor en el borde. Dicho peso en cuestion es el ncleo de Poisson.
Tomando f (z) = 1 para todo z obtenemos lo siguiente
Corolario 88 Z 2
1
Pr (t )dt = 1.
2 0
Una aplicacin de la frmula de Poisson es que podemos resolver el pro-

blema siguente:
Problema de Dirichlet:
Resolver
u(x, y) = 0
en x2 + y 2 < 1 , con condiciones de borde dadas por
u(x, y) = g(x, y)
para x2 + y 2 = 1, donde g es continua.

La respuesta a este problema es (en coordenadas polares)
Z 2
1
u(rei ) = Pr ( t)g(eit )dt
2 0
con 0 r < 1.
Demostracin. Primero veremos que u es la parte real de una funcin
analtica. Luego, u = 0 segn sabemos.
En efecto, sea
Z 2 it
1 e + z it
f (z) = g(e )dt
2 Z0 eit z
1 w+z
= g(w)dw
2i w z
Z
1 w 1
= g(w)dw
2i w z w
Z Z
1 2g(w) 1 g(w)
= dw dw
2i w z 2i w
donde (t) = eit .

Luego f (z) es analtica en |z| < 1, adems

Z 2 it
1 e +z
Ref (z) = Re it g(eit )dt
2 0 e z
donde si z = rei , entonces tendramos
it
1 |z|2 1 r2

e +z
Re it = = = Pr ( t).
e z |1 zeit |2 |1 rei(t) |2
Esto prueba que Ref (z) = u(z) con z = rei , luego u = 0.
Veamos ahora que u(ei ) = g(ei ) (se satisface la condicin de borde).
Sea 0 < r < 1, entonces veremos que
lm u(rei ) = g(ei )
r1
con [0, 2].

En efecto
Z 2
u rei g ei =
1 it
i

2 P r ( t) g e dt g e
Z0 2
1
Pr ( t) g eit g ei dt

=
2
Z0 2
1
Pr (x) g ei(+x) g ei dx

=
2
Z
1
Pr (x) g ei(+x) g ei dx

=
2
Z
1
i(+x)

i
Pr (x) g e g e dx

2
Z
1
i(+x)

i
= Pr (x) g e g e dx

2
Z
1
i(+x)

i
+ Pr (x) g e g e dx

2 |x|
= I1 + I2

donde, dado < 0 se elige > 0 tal que g ei(+x) g ei < para
cada . Si |x| < (por continuidad de la funcin g dada la hiptesis),
luego Z

I1 Pr (x)dx
2
Adems notemos que
Z
Pr ()
I2 |g(ei(+x) ) g(ei )|dx
2 |x|
En efecto, notemos que Pr (x) Pr () si |x| y x .

As
Z
Pr ()
I2 |g(ei(+x) ) g(ei )|dx
2 pi
Sea M = maxx |g(ei(+x) )|, entonces
I2 2M Pr ()
Si hacemos r 1
1 r2 0
lm = =0
r1 1 2r cos() + r 2 2 2 cos()
Esto prueba la afirmacin.
5.6. Frmula de Jensen

Sea f analtica en tal que D(0, 1) .
Suponga que f tiene un logaritmo en , esto es log f (z) es analtica en
, entonces aplicando la frmula integral de Poisson a Re(log f (z)) =
log(|f (z)|), obtenemos

Z 2
1
log |f (z)| = Pr ( t) ln |f (eit )|dt
2 0
con z = ei y 0 r < 1.
Ahora, si f tiene ceros en D, logf (z) puede no ser analtica. Sin embargo,
se puede modificar la frmula anterior para tomar en cuenta los ceros de
f . Esta es la llamada frmula de Jensen-Poisson.
Teorema 89 (Frmula de Jensen-Poisson) Sea f analtica en D y su-

ponga que f (z) 6= 0 en D.
Sean a1 , a2 , ...an los ceros de f en D.
Entonces
n Z 2
X z aj 1
log |f (z)| = log + Pr ( t)log|f (eit )|dt
j=1
1 aj z 2 0
n
Y 1 aj z
Demostracin. Sea g(z) = f (z) para |z| < R y R < 1.
j=1
z aj
Recordemos que para cada ai con |ai | < 1
z ai
ai (z) =
1 ai z
es una Transformacin de Mobius que lleva D en D Y D en D. Entonces

1 1 ai z
ai =
z z ai
y

1
ai =1
z
Haciendo el desarrollo en serie de Taylor
f (z) = ak (z ai )k + ...
con ck 6= 0.
Entonces
f (z)
= ck + ck+1 (z ai ) + ...
(z ai )k
es analtica en z = ai .
Por lo tanto g(z) es analtica en D(0, R) y no tiene ceros all.
Adems |g(eit )| = |f (eit )|, y
Z 2
1
ln |g(z)| = Pr ( t) ln |g(eit )|dt
2 0
Luego de lo anterior tenemos que

!
n Z 2
Y 1 aj z 1
ln |f (z)| + ln ( ) = Pr ( t) ln |g(eit )|dt

j=1
z aj 2 0
luego tenemos
n Z 2
X z aj 1
ln |f (z)| = 1 aj z + 2
Pr ( t) ln |g(eit )|dt
j=1 0
n 2
|z aj |
Z
X 1
= + Pr ( t) ln |f (eit )|dt
j=1
|1 aj z| 2 0
El caso particular en que z = 0, se conoce como frmula de Jensen.
Teorema 90 (Frmula de Jensen) Sea f analtica en D y suponga que

f (0) 6= 0 y f (z) 6= 0 en D.
Sean a1 , a2 , ...an los ceros de f en D, repetidos de acuerdo a su multipli-

cidad. Entonces
n Z 2
X 1
ln |f (0)| = ln |aj | + ln |f (eit )|dt
j=1
2 0
En efecto, en este caso, r = 0, luego

1 r2
Pr (x) =
|1 reix |2
entonces P0 (x) = 1, de donde sale el resultado usando el teorema ante-
rior.
Observacin 91 Las frmulas anteriores son importantes en la teora

de funciones enteras (f analtica en C).
5.7. Automorfismos del disco unitario

Denotemos D = {z C : |z| < 1}
Lema 92 Sea f : D D analtica tal que f (0) = 0.

Entonces
i) |f (z)| |z| para todo z D y |f 0 (0)| 1.
ii)|f 0 (0)| = 1, entonces f (z) = az, donde |a| = 1.
Demostracin.
i) Por la hiptesis
f (z) = f (0) + f 0 (0)z + f 00 (0)z 2 + ...

= f 0 (0)z + f 00 (0)z 2
para z D.
f (z)
Entonces g(z) = = f 0 (0) + f 00 (0)z + ... es analtica en D.
z
Sea z D tal que |z| = r < 1, entonces en {z : |z| < r} se tiene de
acuerdo al principio del mximo para g

f (z) f (w)
Sup|w|=r Sup|w|=r 1 = 1
z w |w| r
Haciendo ahora r 1 se obtiene |f (z)| |z| para todo z D.

f (z)
Por otra parte, si g(z) = z = f 0 (0) + f 00 (0)z + ..., es claro que
f (z)
|f 0 (0)| = lm | | 1.
z0 z
ii) Supongamos ahora que |f (z0 )| = |z0 | para algn z0 6= 0 y z0 D,

entonces |g(z0 )| = 1 con |z0 | < 1.
Pero |g(z)| 1 para todo z D. Luego el mximo se alcanza en z0
que est en el interior de D. Por el principio del mximo, debe ser g(z)
constante, digamos g(z) = a con a C, entonces f (z) = az con a C.
Pero |z0 | = |f (z0 )| = |a||z0 |. As |a| = 1.
f (z)
Por otra parte, supongamos que |f 0 (0)| = 1. Entonces como g(z) = z =
f 0 (0) + f 00 (0)z + ..., tenemos que
|g(0)| = |f 0 (0)| = 1
As, ya que |g(z)| 1 para todo z D conclumos otra vez que el mximo
se alcanza en 0 que est en el interior de D. Igual que antes llegamos a la
conclusin.
El resultado anterior dice que si f : D D es analtica tal que f (0) = 0,

entonces f (z) = az con |a| < 1.
z
Por ejemplo f (z) = .
2
Se puede generalizar el resultado anterior para f : D D tal que f (a) =
0.
za
Un ejemplo de tal funcin es el siguiente f (z) = con |a| < 1.
1 az
En efecto, es claro que f (a) = 0. Veamos que f (D) D. Para esto basta
ver que
f ({z C : |z| = 1}) {z C : |z| = 1}
1
Veamos, sea z tal que |z| = 1, entonces zz = 1 z = de donde
z

1 1
|z a| = a = (1 za) = |z(1 za)| = |z||1 az|
z z
entonces
za
|f (z)| = = |z a| = |z| = 1
1 az |1 az|
Esto prueba la afirmacin.
Note adems que f es invertible (1-1) ya que, de hecho
w+a
f 1 (w) =
1 + aw
y es evidente que es prcticamente igual a f , excepto que a es cambiado

por a de modo que f 1 (D) D. As D D y luego f (D) = D, esto es
f es adems sobreyectiva.
za
Observacin 93 Si denotamos a (z) = , vemos que 1
a = a .
1 az
El resultado siguente dice que toda funcin bianaltica de D en D tal que

f (a) = 0, tiene la forma anterior.
Teorema 94 Sea f : D D analtica y biyectiva tal que f (a) = 0,

entonces existe c C tal que |c| = 1 y
za
f (z) = c .
1 az
Demostracin.
Note que g = f a , g(0) = 0 y g(D) = D.
Por lema de Schwarz |g 0 (0)| 1.
Ahora
g 0 (z) = f 0 (a (z))0a (z)
entonces
g 0 (0) = f 0 (a (0))a (0) = f 0 (a)(1 |a|2 )
ya que
(1 + az) a(z a) 1 |a|2
0a (z) = =
(1 + az)2 (1 + az)2
Por lo tanto
1
|f 0 (a)|
1 |a|2
Anlogamente, h = a f 1 , con h(0) = 0 y h(D) D.
Luego |h0 (0)| 1.
Calculamos
h0 (z) = 0a (f 1 (z))(f 1 )0 (z)
entonces
h0 (0) = 0a (f 1 (0))(f 1 )0 (0) = 0a (a)(f 1 )0 (0).
Notemos que
1 |a|2 1 |a|2 1
0a (z)= 0
a (a) = =
(1 az)2 (1 |a|2 )2 1 |a|2

1 1 0

1 |(f 1 )0 (0)| 1 |a|2 .
entonces 2
(f ) (0)
(1 |a| )
Ahora f 1 (f (z)) = z, entonces
(f 1 )0 (f (z))f 0 (z) = 1 (f 1 )0 (f (a))f 0 (a) = 1
as
1 1 1
2
|f 0 (a)| = | 1 0 |
1 |a| (f ) (0) 1 |a|2
entonces
1
|f 0 (a)| =
1 |a|2
Con lo anterior podemos ver que
0
0 1 |a|2
2
|g (0)| = f (a)(1 |a| ) =
=1
1 |a|2
Por lema de Schwarz g(z) = cz con |c| = 1, entonces
f a (z) = cz
con |c| = 1 y as
f (z) = ca (z)
Captulo 6
Ejercicios
6.1. Ejercicios resueltos

i i+z 1 1 + iz
1. Demuestre que Arctan(z) = ln = ln .
2 iz 2i 1 iz
Solucin:
Sea w = arctan(z) entonces
sin(w)
tan(w) = z = z.
cos(w)
As, tenemos
eiw eiw = i(eiw + eiw )z

e2iw 1 = ie2iw z + iz
1 + iz
e2iw =
1 iz
1 1 + iz
w = ln
2i 1 iz
106
CAPTULO 6. EJERCICIOS 107
Note que:
1 + iz iz
= .
1 iz i+z
Entonces

i+z 1 + iz i+z 1 + iz
0 = ln = ln + ln .
iz 1 iz iz 1 iz
1
Multiplicando por obtenemos finalmente
2i

1 1 + iz 1 i+z i i+z
ln = ln = ln .
2i 1 iz 2i iz 2 iz
p
2. Sea f (z) = |xy| donde z = x + iy. Demuestre que valen
las ecuaciones de Cauchy Riemann en z = 0 pero que f 0 (0) no existe.
Justifique.
Solucin:
p p
Sea f (x) = |xy| = u(x, y)+iv(x, y), donde u(x, y) = |xy| y v(x, y) =
0. Tenemos
u u(h, 0) u(0, 0) v
(0, 0) = lm =0= (0, 0)
x h0 h y
u u(0, h) u(0, 0) v
(0, 0) = lm =0= (0, 0).
y h0 h x
Para ver que f 0 (0) no existe observamos que:
p p
f (z) f (0) |xy| |xy|z
f 0 (0) = lm = lm = lm
z0 z0 z0 z z0 |z|2
p p p !
|xy|(x iy) x |xy| y |xy|
= lm = lm i 2
z0 x2 + y 2 (x,y)(0,0) x2 + y 2 x + y2
Si y = 0, el lmite es cero, esto es f 0 (0) = 0.

Ahora, si x = y > 0, obtenemos
p p
x |x2 | x |x|2 x2 ix2 1 i
i = = .
2x2 2x2 2x2 2x2 2 2
Luego f 0 (0) no existe.
3. Existe una funcin analtica f = u + iv tal que u(x, y) =

ey/x ?. Justifique.
Solucin:
No, pues de lo contrario debe ser armnica, pero:
u y y
y/x
=e = 2 ey/x
x x x x
y
2 u 2y y/x y 2 y/x
= 3e + 4e .
x2 x x
Por otro lado
u 1
= ey/x
y x
y
2u 1 y/x
= e .
y 2 x2
As vemos que
2u 2u
+ 6= 0.
x2 y 2
1
4. Halle una transformacin de Mbius que deje fijos los puntos 2 y
5 3
2, y que lleve el punto + i en .
4 4
Solucin:
z(1 4i) 2(1 i)
w= .
2z(1 i) (4 i)
z2
5. Encuentre la expansin de la funcin f (z) = como una
(z + 1)2
serie de Taylor en torno a z = 0 y halle el radio de convergencia.
Solucin:
z 1
Sea g(z) = entonces g 0 (z) = y as, podemos escribir
z+1 (1 + z)2
2 0 z2
z g (z) = .
(z + 1)2
Recordemos ahora que para |z| < 1 tenemos

1 X
= (1)n z n .
1+z n=0
Entonces

z X
= (1)n z n+1
z + 1 n=0
y luego

0 z 0 X
g (z) = ( ) = (1)n (n + 1)z n .
z+1 n=0
De esta manera obtenemos, para |z| < 1 la expresin

z2 X
n n+2
X
2
= (1) (n + 1)z = (1)(m 1)z m .
(1 + z) n=0 m=2
z z1
6. Sea w = . Demuestre que la preimagen de la familia | w |=
z z2
es una familia de crculos para cada 6= 1.
Solucin:
Ya que ww = 2 , reemplazando tenemos que

z z1 z z1
= 2 (z z1 )(z z1 )
z z2 z z2
= 2 (z z2 )(z z2 )
zz zz1 z1 z + z1 z1
= 2 (zz zz2 z2 z + z2 z2 )
(1 2 )zz + z(2 z2 z1 )
+ z(2 z2 z1 ) + |z1 |2 2 |z2 |2 = 0
Por lo tanto es un crculo si 2 6= 1, de lo contrario es una recta.
7. Halle una transformacin de Mbius que lleve los puntos

1, i, 1 + i en los puntos 0, 2i, 1 i respectivamente.
Solucin:
2i(z + 1)
w=
4z 1 5i
8. Demuestre que la funcin T (z) = zRe(z) es diferenciable slo en

z = 0 y halle T 0 (0).
Solucin:
T (z) T (0) zRe(z)

= = Re (z) 0.
z0 z z0
Por lo tanto T diferenciable y T 0 (0) = 0.

Veamos que no lo es en otro punto

T (z) T (z0 ) zRe(z) z0 Re(z0 )
lm = lm
zz0 z z0 zz0 z z0
1 z(z + z) z0 (z0 + z0 )
= lm .
2 zz0 z z0
Si
1 zz + zz z0 z0 z0 z0
z =
2 z z0
1 zz z0 z0 + zz z0 z0
= lm
2 zz0 z z0
1 (z z0 )z + z0 z z0 z0 + (z z0 )z + z0 z z0 z0 )
= lm
2 zz0 z z0
1 z z0
= lm z + z 0 + z + z0
2 zz0 z z0
1 (z z0 )
= (z + z0 + z0 ) + z0 lm
2 zz0 z z0
1 h
= (z + z0 + z0 ) + z0 lm
2 h0 h
y
h
lm
h0 h
no existe.
Note que lo anterior ocurre exepto si z0 = 0.
9. Halle el error en el siguiente argumento: "Ya que (z)2 = z 2 se tiene

2ln(z) = 2ln(z) y luego ln(z) = ln(z) (!)."Justifique su respuesta.
Solucin:
Si tenemos
(z)2 = z 2
entonces
ln(z 2 ) = ln(z 2 )
Si z = rei se tiene z 2 = r2 e2i con , por lo cual ln(z 2 )

toma ms de un valor. En general
ln(z 2 ) = ln(r2 ) + 2i + 2ki (k Z).
Por otra parte
z 2 = (1)z 2 = ei r2 e2i = r2 e2+
luego
ln(z 2 ) = ln(r2 ) + (2 + )i + 2ni = ln(r2 ) + 2i + (2n + 1)i
donde n Z.
As ln(z 2 ) en general es diferente de ln(z 2 ) .
10. Encuentre el valor de
(3 4i)1+i .
Solucin:

En efecto (3 4i) = 9 + 16earctan(4/3)i = 5ei
con = arctan(4/3) = arctan(4/3) . Entonces
(3 4i)1+i = e(1+i) ln(34i)

= e(1+i)(ln(5)+i)
= eln(5)+i+i ln(5)
= eln(5) ei(ln(5)+) .
= 5e cos(ln(5) + ) + i sin(ln(5) + )
= 5earctan(4/3) (cos(ln(5) arctan(4/3))
+ i sin(ln(5) arctan(4/3))
11. Halle todas las raices de la ecuacin:
sen(z) = isenh(z).
Solucin:
Tenemos que
eiz eiz ez ez
=i eiz eiz = ez ez
2i 2
e(1+i)z 1 1 e(1+i)z
=
ez eiz
eiz e(1+i)z 1 = ez 1 e(1+z)z
Haciendo u = e(1+i)z = ez eiz entonces
u1 1u
= iz
ez e
De aqu
u = e2iz = ei+2iz = ei(+2z) .
Caso 1: u = 1.
2ki
e(1+i)z = 1 por lo tanto z = .
1+i
(2k + 1)
Caso 2: u = ei(+2z) por lo tanto z = .
i+1

X
12. Sea f (z) = z n y sea a C con |a| < 1 fijo.
n=0
(i) Halle la expansin de f (z) como una serie de Taylor en torno a z = a.
(ii) Encuentre todos los valores de a para los cuales la expansin en serie
de la parte (i) constituye una continuacin analtica de f (z).
Solucin:

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

X
n f (n) (a)
f (z) = an (z a) con an = .
n=0
n!
f 0 (z) = 1(1 z)2
f 00 (z) = 1 2(1 z)3

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

X (z a)n
Por lo tanto f (z) = n+1
.
n=0
(1 a)
(ii) a [0, 1).

X zn
13. Considere la funcin f (z) = .
n=1
n
(i) Expanda f (z) en una serie de Taylor en torno a z = 1/2.

(ii) Determine el dominio en el cual la funcin f (z) es continuada anal-
ticamente.
Solucin:

X zn
(i) f (z) = = ln(1 z).
n=1
n

X f n (1/2)
f (z) = an (z + 1/2)n con an =
n=1
n!
1
f 0 (z) = = (1 z)1 .
1z
As f (n) (z) = (n 1)!(1 z)n con n = 1, 2, ...
Por lo tanto f (n) (1/2) = (n 1)!(3/2)n

n
f (n) (1/2) 2 1
con = .
n! 3 n
Entonces
n
X 2 1
f (z) = ln(3/2) + (z + 1/2)n
n=1
3 n
1
p 2
(ii) (R) = lm sup n |an | = .
3
3
Por lo tanto R = y |z + 1/2| < 3/2 .
2

X zn X 2)n
n (z
14. Sean f (z) = y g(z) = i + (1) . Observe
n=1
n n=1
n
que ambas series de potencia no tienen dominio de convergencia en comn.
Sin embargo:
Demuestre que la funcin g(z) es continuacin analtica de la funcin
f (z).
Solucin:

X zn X
n (z 2)
n
f (z) = y g(z) = c + (1) .
n=0
n n=1
n
Z
15. Evale la integral |z|dz donde es el semicrculo |z| = 1,

/2 arg(z) /2 y el punto de partida es z = i. (la orientacin de
la curva es siempre positiva, esto es, en el sentido contrario a las manecillas
del reloj).
Solucin:
Tenemos que (t) = eit y 0 (t) = ieit con |(t)| = 1. Entonces
Z Z /2 Z /2
0
|z|dz = |(t)| (t)dt = 0 (t)dt = (/2) (/2)
/2 /2
Donde (/2) = ei/2 = i y (/2) = i.

As Z
|z|dz = i (i) = 2i.
Z
dz
16. Evale la integral dz donde es el crculo |z| = 1, y
z
1 = i (esto significa que el punto de partida es z = 1).
Solucin:
Tenemos
Z Z 2 0 Z
1 (t) it/2

i/2 i/2

dz = p dt = ie dt = 2 e e = 4i.
z 0 (t)
Z
17. Evaluar la integral ln(z)dz donde es el crculo |z| = 1, y

i
ln(i) = .
2
Solucin
Tenemos
Z /2 Z /2 Z /2
0 it
ln ((t)) (t)dt = itie dt = teit = 2.
3/2 3/2 3/2
Z
18. Evaluar z dz donde C y 1 = 1.
|z|=1
Solucin:
Z Z 2 Z 2 Z 2
0 it it
z dz = ((t)) (t)dt = ie e dt = i e(+1)t dt.
|z| 0 0 0
As,
si = 1 Z
z dz = 2i.
|z|=1
si 6= 1 Z
1
z dz = (e2i 1).
|z|=1 ( + 1)
|dz|
Z
2R
19. Si |a| =
6 R, demuestre que < 2 .
|z|=R |z a||z + a| |R |a|2 |
Solucin:
2
|dz|
Z Z
Rdt
=
|z|=R |z a||z + a| 0 |(t) a||(t) + a|
donde (t) = Reit con 0 < t < 2 y |dz| = | 0 (t)dt| = Rdt.

Tenemos que
|(t) a||(t) + a| = |Reit a||Reit + a|
pero |z a| ||z| |a|| y |z + a| ||z| + |a|| .

As tenemos que
|(t) a||(t) + a| = |(t)2 a2 | |(t)|2 |a|2

Entonces
Z 2 Z 2
Rdt Rdt 2R
= .
0 |(t) a||(t) + a| 0 |R2 |a|2 | |R2 |a|2 |
20.
Z Sea z :=Zrei C y un camino que une a 1 y z. Demuestre
z
dw dw
que := = ln(r) + i + 2ki, donde k es un entero que
1 w w
indica cuantas veces el camino de integracin da vueltas alrededor del
origen.
Solucin:
(t) = (z 1)t + 1 con 0 t 1 y 0 (t) = z 1.
Entonces
1 Z 1
0 (t) (z 1)
Z
dt = dt = ln(z) ln(1)
0 (t) 0 ((z 1)t + 1)
= ln(z) = ln(r) + i + 2ki.
21. Sea : [0, 1] C una curva cerrada y suponga que z0

/
Traza(). Demuestre que Ind (z0 ) es un nmero entero. Ayuda: Defina
g : [0, 1] C por
t
0 (s)
Z
g(t) = ds
0 (s) z0
y demuestre que la funcin h(t) = eg(t) ((t) z0 ) es constante.
Solucin:
Tenemos que
1
0 (t)
Z Z
1 dz 1
Ind (z0 ) = = dt
2i (z z0 ) 2i 0 (t) z0
t
0 (s)
Z
Consideremos g(t) = ds; entonces si h(t) = eg(t) ((t)
0 ((s) z0 )
z 0) se tiene:
h0 (t) = eg(t) g 0 (t)((t) z0 ) + 0 (t)eg(t)

0 (t)
= eg(t) ((t) z0 ) + 0 (t)eg(t)
((t) z0 )
= 0
Por lo tanto h(t) es constante.

Por otro lado h(0) = h(1) pero
h(0) = eg(0) ((0) z0 ) = ((0) z0 )
y
h(1) = eg(1) ((1) z0 ) = eg(1) ((0) z0 )
entonces
eg(1) ((0) z0 ) = ((0) z0 )
y as
eg(1) = 1
luego
g(1) = 2ki
Por lo tanto
1
Ind (z0 ) = g(1) = k.
2i
Z
ln(z)
22. Calcule n
dz para cada n N {0}, donde (t) =
z
1 + 12 eit , 0 t 2.
Solucin:
ln(z)
f (z) = n es analtica en el disco. Por lo tanto
z
Z
ln(z)
n
=0
z
para todo n 0.
z 1/m
Z
23. Calcule m
dz donde (t) = 1 + 12 eit , 0 t 2 y
(z 1)
m N.
Solucin:
Sabemos que Z
(n) n! f (w)
f (z0 ) = dw
2i (w z0 )(n+1)
entonces
(m 1)!
Z
(n1) f (w)
f (z0 ) = dw
2i (w z0 )m
Sea f (z) = z 1/m , entonces
1
f 0 (z) = z (1/m) 1
m

1 1
f 00 (z) = 1 z (1/m)2
m m

1 1 1
000
f (z) = 1 2 z (1/m)3 ...
m m m

1 1 1 1
f k (z) = 1 2 ... (k 1) z (1/m)k .
m m m m
Luego

(m1) 1 1 1 1
f (w) = 1 2 ... (m 2) z (1/m)(m1)
m m m m
Por lo tanto
z 1/m
Z
2i
m
dz = f (m1) (1)
(z 1) (m 1)!

2i 1 1 1
= 1 2 ... (m 2)
(m 1)!m m m m
24. De una expansin en serie de potencias de ln(z) en torno a z = i

y halle su radio de convergencia.
Solucin:
1 X
= zn
(1 z) n0
1 X
si |z| < 1 entonces = (iz)n si |z| < 1.
(1 iz) n0
As
1 X
= (i)n1 z n
i(1 iz) n0
si |z| < 1.
Entonces
1 X
= (i)n1 z n
(i + z) n0
si |z| < 1.
Luego
X
n1 z n+1
ln(i + z) = (i)
n0
n+1
si |z| < 1.
Por lo tanto
X
n1 (w i)n+1
ln(w) = (i)
n0
n+1
Si |w i| < 1 el radio de convergencia es 1.
25. Verdadero o Falso: Existe una funcin analtica en z = 0 y que

1
toma los siguientes valores en los puntos z = (n = 1, 2, ...).
n
a) 0, 1, 0, 1, 0, 1, ..., 0, 1....;
1 2 3 4 5 6 n
b) , , , , , , ..., , ...?.
2 3 4 5 6 7 n+1
Si la respuesta es afirmativa, encuentre explcitamente la funcin. Si es
negativa, justifique apropiadamente.
Solucin:
a) f (1) = 0, f (1/2) = 1, f (3/2) = 0, f (1/4) = 1, ... no existe pues,
zn = 1/n, tal que f (zn ) = 0 para n impar y se tendr f (0) = lmn f (zn ) =
0. Contradiccin con el hecho de que f es analtica.
n
b)f (1) = 1/2, f (2) = 2/3, f (1/3) = 3/4, ...f (1/n) = .
n+1
1
Sea f (z) = , cumple lo pedido, ya que f ( n1 ) = n
1+n .
1+z
26. Suponga que al menos una de las desigualdades de Cauchy es una

M (r)
igualdad, esto es: |ck | = . Demuestre que la funcin f (z) tiene la
rk
forma f (z) = ck z k .
Solucin:
Consideremos
f (z) = c0 + c1 z + c 2z 2 + ...cn zn+1

n+c n+1
z + ...
Por hiptesis tenemos
|f k (0)| 1
|ck | = = Sup|w|=r |f (w)| k
n! r
Entonces
f ( k)(0)
k
Sup|w|=r |f (w)| = r | |
n!
As
M (r) rk |cn | |ck |
|ck | = = r 0
rn rn rnk
con n 6= k. Por lo tanto
f (z) = ck z k .
27. Demuestre que si f es una funcin no constante, analtica en

un dominio y f (z) 6= 0 para cada z , entonces |f (z)| no puede
alcanzar su mnimo valor en el interior del dominio .
Solucin:
1
Sea g(z) = , g analtica y no constante en . Entonces, por el
f (z)
Principio del Mdulo Mximo, |g(z)| no puede alcanzar su mximo valor
en . Pus
1
Supz |g(z)| = Supz | | = Inf z |f (z)|
f (z)
Por lo tanto |f (z)| no puede alxcanzar su mnimo valor en .

1
28. Halle Res ;1 .
2z+1
Solucin:

1 2z1 1 2z
= =
2z+1 (2 z) 1 z1 z1

y 2 z = a0 + a1 (z 1) + a2 (z 1)2 + ...., pues 2 z es analtica
en z = 1 as tendremos

1 2z 1 1
= (1 + a1 (z 1)) + ...
z1 z1 z1 z1
1 1
= a1 a2 (z 1) + ...
z1 z1
11
= a1 a2 (z 1) + ...
z1
Por lo tanto 0 y 2 son los residuos en z = 1.
29. Evale
Z
2
1 1 1

1+z+z e +e
z z1 +e z2 dz.
|z|=3
Solucin:
Hay tres singularidaddes esenciales:
z = 0, 1, 2 dentro de |z| = 3.
Res(f, 0) = Res((1 + z + z 2 )e1/z , 0) pues el resto es analtica en z = 0.

Adems
1 1 1
e1/z = 1 + + 2 + 3 + ...
z z 2! z 3!
Entonces

1 1 1
(1 + z + z 2 )e1/z = 1 + + 2 3 + ...
z z 2! z 3!

1 1
+ z+1+ + + ...
z2! z 3 3!

1 1
+ z2 + z + + + ...
2! z3!

1 1 1
= 1 + + + ...
z 2! 3!
1 1
Por lo tanto Res(f, 0) = 1 + + + ....
2 6
Por otro lado Res(f, 1) = Res((1 + z + z 2 )e1/(z1) , 1) pues el resto es
analtica en z = 1.
Adems
1 1 1
e1/(z1) = 1 + + + + ...
z 1 2!(z 1)2 3!(z 1)3
y (1 + z + z 2 ) = a0 + a1 (z 1) + a2 (z 1)2 con
g 0 (1) g 00 (1)
a0 = g(1) = 3, a1 = = 3, a2 = =1
1! 2!
as:
3 3
(3 + 3(z 1) + (z 1)2 )e1/(z1) = 3 + + + ...+
(z 1) 2!(z 1)2
3 1 1
3(z 1) + 3 + + ... + (z 1)2 + +
2!(z 1) (z 1) 2!
1 3
= (3 + + 1) + ...
(z 1) 2
3 1
Entonces Res(f, 1) = 3 + + .
2 6
30. Evale
z3
Z
dz.
|z|=r 2z 4 + 1
Solucin:
En efecto
z3 f 0 (z)
Z Z
1 1 2i
1 dz = dz = (ceros polos) = i.
2 |z|=1 z 4 + 2 2 |z|=1 f (z) 2
31. Evale Z
1 2 1
sin dz.
2i |z|=r z
Solucin:
z3 z5
sin z = z + ...
3! 5!
1 1 1 1
sin = + ...
z z 3!z 3 5!z 5

1 1 1 1 1 1 1
sin2 = + ... + ...
z z 3!z 3 5!z 5 z 3!z 3 5!z 5
1 1
= + ...
z2 z4
Por lo tanto
Res(f, 0) = 0
y as Z
1 2 1
sin = 0.
2i |z|=r z
za

32. Halle Res ; 1 , a R.
1 z
Solucin:

z 1+ z (1 + z)z
= .
1 z 1+ z z1
Adems

(1 + z) = a0 + a1 (z 1) + a2 (z 1)2 + ...
z = ea ln z = b0 + b1 (z 1) + b2 (z 1)2 + ...

(1 + z) = c0 + c1 (z 1) + c2 (z 1)2 + ...
Entonces
(1 + z)z c0
= + c1 + c2 (z 1) + ...
z1 z1

donde f (z) = (1 + z)z y as f (1 1)e2kia .
Por lo tanto
z

Res ,1 = f (1 1)e2kia .
1 z
33. Sea f una funcin analtica en el crculo |z| < 1 y suponga

que f (0) = 0 y |f (z)| 1.
i) Demuestre que |f (z)| |z| para |z| < 1.
ii) Suponga que |f (z)| = |z| en al menos un punto interior del crculo.
Demuestre que f (z) = ei z ( real).
Solucin:
f (z)
i) Sea g(z) = , entonces g es analtica para |z| =< 1 ya que f (0) = 0.
z
|f (z)|
Adems si |z| < 1, entonces |g(z)| = 1. Por el principio de
|z|
Mdulo Mximo entonces |g(z)| |z|.
ii) Demostremos que si |f (z0 )| = |z0 | para un punto |z0 | < 1 entonces
f (z) = ei z para R.
En efecto si |g(z0 )| = 1 entonces el mximo se alcanza en un punto
interior de |z| < 1 y por lo tanto g es constante y |f (z)| = |c||z| para
|z| < 1.
Ahora |c| = 1 evaluando en z0 . Por lo tanto c = ei y g(z) = ei . As
f (z) = ei z.

satisface:
1 1 1
f =f = 2 ? (n N).
n n n
Si la respuesta es afirmativa, encuentre explcitamente la funcin. Si es
negativa, justifique apropiadamente.
Solucin:

1 1 1 1
f 2 =0 y f 2 = 0 con n N.
n n n n
1
Sea g(z) = f (z) z 2 con ceros en z = . Adems g(0) = 0 0 =
n
f (0) 6= 0.
Por lo tanto f (z) = z 2 , hace lo anterior y es analtica en z = 0.
Z
z
34. Evale : dz; a > 1.
|za|=a z4 1
Solucin:
z z
=
(z)4 1 (z 1)(z 3 + z 2 + z + 1)
Entonces Z
f (z) 2i i
dz = 2if (1) = =
|za|=a z 1 4 2
z
donde f (z) = 3 es analtica en |z a| < a.
z + z2 + z + 1
zez
Z
1
35. Evale : dz; si a est en el interior de la curva
2i C (z a)3
C.
Solucin:
Tenemos que Z
1 f (w)
f (z) = dw
2i C (w z)
Z
1 f (w)
f 0 (z) = dw
2i C (w z)2
Z
2 f (w)
f 00 (z) = dw
2i C (w z)3
Z
00 1 f (w)
Aqu f (a) = 3
dw con f (w) = wew .
i C (w a)
Entonces
f 0 (w) = ew + wew
f 00 (w) = 2ew + wew
As
zez 2ea + aea
Z
1
3
dz = = (1 + a/2)ea .
2i C (z a) 2
1
36. Calcule una expansin de la funcin f (z) = en serie de
z2
Laurent en una vecindad de z = .
Solucin:
1
Sea f (z) = . La expancin en torno a z = es por definicin, la
z 2
1
expancin de f en torno de z = 0. As
z

1 1 z X
f( ) = 1 = =z 2n z n
z z 2 1 2z n=0
1 1
si |z| < . Haciendo w = se obtine
2 z

1 X n 1 n X 2n
f (w) = 2 ( ) =
w n=0 w n=0
wn+1
si |w| > 2 que es la expresin pedida.
1
37. Calcule una expansin de la funcin f (z) = ,
(z a)(z b)
donde 0 < |a| < |b|, en serie de Laurent en una vecindad de:
i) z = 0.
ii) z = a.
Solucin:
i) En z = 0 tenemos
1 1
=
(z a)(z b) (a z)(b z)

1 1 1
=
(b a) (a z) (b z)

1 1 1 1 1
=
(b a) a 1 az b 1 zb

!
1 1 X zn 1 X zn
=
(b a) a n=0 an b n=0 bn
n !
1 X z zn
=
(b a) n=0 an+1 bn+1

!
n+1 n+1
1 X (b a )
= zn
(b a) n=0 (an+1 bn+1 )
para |z| < |a|.
ii) En z = a tenemos
1 1
=
(z a)(z b) (a z)(b z)
1
=
(a z)(b a + a z)
1 1
=
(a z) (b a)(1 + az
ba )

1 X (1)n (a z)n
=
(a z)(b a) n=0 (b a)n

X (z a)n
1 1
= ( )
(a b) (z a) n=0 (b a)n
1 1 (z a) (z a)2
= ( (1 + + + ...))
(a b) (z a) (b a) (b a)2

!
n
1 1 X (z a)
= +
(a b) (z a) n=0 (b a)n+a
si |z a| < |b a|.
38. Encuentre y clasifique todas las singularidades de la funcin
z7
f (z) = .
1
(z 2 4)2 cos
z2
Solucin:
z7 1 z7
cos( )= 1 1
(z 2)2 (z + 2)2 z2 (z 2)2 (z + 2)2 (1 + (z2) + 2!(z2)2 + ...)
Por lo tanto z = 2 es polo de orden 2 y z = 2 es singularidad esencial.
39. Encuentre y clasifique todas las singularidades de la funcin

1
f (z) = sin .
1
sin
z
Solucin:
1 e/z ei/z 1
Si sin = 0 entonces = 0 y si e2i/z = 1 entonces z = .
z 2i k
1
Por lo tanto zk = son todas las singularidades de f (z).
k
40. Sea f una funcin analtica en el crculo |z| < 1 y suponga

que f (0) = 0 y |f (z)| 1. Demuestre que |f (z)| |z| para |z| < 1.
(Comentario: El resultado se conoce como Lema de Schwarz).
Solucin:
f (z)
Sea g(z) = ; entonces g es analtica an en z = 0 pues f (0) = 0.
z
Por el principio del mdulo mximo tenemos
f (z)
Sup|z|<1 |g(z)| = Sup|z|=1 |g(z)| = Sup|z|=1 = Sup|f (z)|
z
Ya que |f (z)| 1 se obtiene Sup|z|<1 |g(z)| 1.

Entonces |f (z)| |z| para |z| < 1.
1
41. Expandir la funcin f (z) = en serie de Laurent en torno
z(z 1)
a:
(i) El punto z0 = 0.
(ii) El punto z0 = 1.
Solucin:
i)
1 1 1
= +
z(1 z) z 1z

1 X n
= + z
z n=0
1
= + 1 + z + z 2 + ...
z
ii)
1 1 1
= +
z(1 z) z 1z
1 1
= +
(1 + 1 z) 1 z
1 1
= +
1 (1 z) 1 z

1 X
= + (1 z)n
1 z n=0
1
= + 1 + (1 z) + (1 z)2 + ...
1z
42. Halle y clasifique las singularidades de las siguientes funciones.

Justifique su respuesta.
1
(i) .
z z3
1
(ii) z .
e 1
Solucin:
1 1
i) = tiene 3 singularidades; z = 0, z = 1, z = 1.
(z z 3 ) z(1 z 2 )
z = 0 es polo de orden 1 pues si |z| < 1 tenemos

1 1 X 2n 1 2 4 1
2
= z = (1 + z + z + ...) = + z + z 3 + ...
z(1 z ) z n=0 z z
z = 1 es polo de orden 1 pues

1 1 g(z)
= =
z(1 z 2 ) (1 z)(z(1 + z)) (1 z)
1
donde g(z) = es analtica en z = 1.
z(1 + z)
Entonces
1 1 2 a0
= (a 0 + a 1 (1 z) + a 2 (1 z) ) + ... = + a1 + a2 + ...
z(1 z 2 ) 1 z 1z
z = 1 es polo de orden 1, se prueba de manera anloga.
ii) z = 0 y ez = 1 son las singularidades, esto es z = 2ki con k Z.

Ahora veamos de que tipo son
z = 0: Sea
1 1
f (z) = =
1 (1 + z + 2!2 + ...) 1
ez z
1 1
= 2 = z
z + z2! + ... z(1 + 2! + ...)
g(z)
=
z
1
donde g(z) = z es analtica en z = 0.
1+ 2! + ...
Entonces
1 a0
f (z) = (a0 + a1 z + a2 z 2 ) + ... = + a1 + a2 z + ...
z z
luego
1 1 1 a0
+ z = + + a1 + a2 z + ...
z e 1 z z
1 1
donde a0 = g(0) = 1. Por lo tanto z = a1 + a2z + ....
e 1 z
As z = 0 es singularidad reparable.
z = 2ki:
tenemos que

X
ez
= an (z 2ki)n
n=0

X 1
= (z 2ki)n
n=0
n!
(z 2ki)2
= 1 + (z 2ki) + + ...
2!
Entonces
z (z 2ki)
e 1 = (z 2ki) 1 + + ...
1!
de aqu tenemos
1 h(z)
=
(ez 1) (z 2ki)
1
donde h(z) = es analtica en z = 2ki.
(z 2ki)
1+ + ...
2!
1 1 1
As z = 2ki es un polo de orden 1 de z y tambin de z .
e 1 e 1 z
43. Evaluar: Z
z
dz.
|z|=3 sin(z)(1 cos(z))
Solucin:
Vemos que las singularidades son z = 0, z = , z = y adems
Res(f, 0) = 0

Res(f, ) =
2

Res(f, ) =
2
As tenemos que
Z
z
dz = 2i(0) = 0.
|z|=5 sin(z)(1 cos(z))
44. Determine el nmero de races de la funcin
f (z) = z 9 2z 6 + z 2 8z 2,
en el interior del crculo |z| < 1.
Solucin:
Consideremos f (z) = z 9 2z 6 + z 2 2 y g(z) = 8z.
Entonces |f (z)| 6 < 8 = |g(z)| en |z| = 1.
Por lo tanto tiene una sola raiz.
45. Supongamos que f es analtica en D(0, 2)\{0} y que para cada

nmero natural n 0 se cumple que
Z
z n f (z)dz = 0.
|z|=1
Demuestre que en tal caso z = 0 es una singularidad reparable de f .
Solucin:
Z
bn = z n f (z)dz = 0
|z|=1
Por lo tanto f tiene una singularidad reparable en z = 0, pues f (z) =

b0 + b1 z + ...
z2 + z 1
46. Halle los residuos de la funcin f (z) = con respecto a
z 2 (z 1)
todos sus puntos singulares.
Solucin:
Vemos que los puntos singulares son z = 0 polo de orden 2 y z = 1 polo
de orden 1.
Entonces tenemos
z2 + z 1
Res(f, 1) = lm(z 1)f (z) = lm =1
z1 z1 z2
2 z2 + z 1
Res(f, 0) = lm (z f (z)) = lm ( ) = 0.
z0 z z0 z z1
47. Halle Res(f , a) si es analtica en z = a, 0 (a) 6= 0, y

f tiene un polo simple en w = (a) con residuo A.
Solucin:
Tenemos lo siguiente
A
f (w) = + a0 + a 1(w (a)) + ...
w (a)
Entonces
A
f ((z)) = + a0 + a1 ((z) (a)) + ...
(z) (a)
donde (z) = (a) + b1 (z a) + b2 (z a)2 + ... con b1 = 0 (a) 6= 0.
As
A A
(f )(z) = = + ...
b1 (z a)(1 + bb12 (z a) + ...) 0 (a)(z a)
entonces
A
Res(f , a) = .
0 (a)
48. Evale Z
1 1
sen dz.
2i |z|=r z
Solucin:
w3
Sabemos que sin w = w + ....
3!
Entonces
1 1 1
sin = 3 + ...
z z z 3!
luego
1
Res sin , 0 = 1.
z
Por lo tanto Z
1 1
sin dz = 1.
2i |z|=r z
49. Evale Z
1
z n e2/z dz
2i |z|=r
siempre que n 1.
Solucin:
w w2
e = 1+w+ + ...
2!2
2 2
e2/z = 1+ + + ...
z 2!z 2 2 n2
2z 2k z nk
z n e2/z n
= z + 2z n1
+ + ... + ...
2! n!
2n+1
Entonces Res(z n e2/z , 0) = .
(n + 1)!
50. Sea a R, a > 1. Calcule

Z
d
.
a + cos
Solucin:
Z Z Z
1 1 2 1
d = z+z dz = 2 + 2az + 1
dz
a + cos |z|=1 (a + 2 )iz i |z|=1 z

Observamos que z 2 + 2az + 1 = (z + a + a2 1)(z + a a2 1).
As
Z Z
1 4 1
d =
a + cos 2i |z|=1 (z + a + a2 1)(z + a a2 1)
2
= .
a2 1
51. Calcule Z
xsenx
dx.
x2 + 2x + 2
Solucin:
zeiz
Sea f (z) = 2 en donde z 2 +2z+2 = 0 si y slo si z = 1+i
z + 2z + 2 S
y z = 1 i, luego consideramos = CR [R, R].
Entonces Z Z Z R
f (z)dz = f (z)dz + f (x)dx
CR R
R
Notar que CR f (z)dz 0 por Lema de Jordan. Por otra parte
zeiz
Z
2
dz = 2iRes(f, 1 + i) = (1 + i)e1i
z + 2z + 2
Entonces
R
xeix
Z
lm 2
dx = (1 i)e1i
n R x + 2x + 2
As Z
x sin x
dx = (cos 1 + sin 1).
x2 + 2x + 2 e
ez
Z
52. Evaluar 2 (z 2 9)
dz.
|z|=1 z
Solucin:
Vemos que z = 0 es polo de orden 2, z = 3 son polos de orden 1 y
z 2 9 = (z 3)(z + 3) que no estn en el interior de |z| = |. Luego
ez z 2 ez

2i
Z

2 2
dz = 2i Res(f, 0) = 2i lm =
|z|=1 z (z 9) z0 z z 2 (z 2 9) 9
Z 2
dt
53. Evaluar donde a > 1. Ayuda: Hacer z = eit .
0 a + cos t
Solucin:
1
Sea z = eit entonces 2 cos t = eit + eit = z + , entonces cos t =
z
1 1 1
z+ y como dz = ieit dt entonces dt = dt.
2 z iz
Por lo tanto
Z 2
2 2
Z Z
1 1 2 1
dt = 1 dz = 2 + 2az + 1
dz
0 a + cos t i 0 z(2a + z + z ) i |z|=1 z

Como z 2 + 2az + 1 = 0 z = a a2 1 donde a2 1 > 0

observamos que slo a + a2 1 est en el interior de |z| = 1.
Luego
1 p 1
Res 2 , a + a2 1 =
z + 2az + 1 2 a2 1
As
Z
2 1 2 1 p
2
dz = 2i Res 2 , a + a2 1
i |z|=1 z + 2az + 1 i z + 2az + 1
2
= .
a2 1

x2 + 1
Z
54. Evaluar dx.
0 x4 + 1
Solucin:
Vemos que las singularidades son polos simples en z1 = ei/4 , z
2 = ei3/4 , z3 = ei5/4 , z 4 = ei7/4 . Consideremos la curva =
S
CR [R, R], entonces tenemos
Z Z Z R
f (z)dz = f (z)dz + f (x)dx
CR R
donde
Z
f (z)dz = 2iRes(f, ei/4 ) + 2iRes(f, e3i/4 ) = 2

y por Lema de Jordan Z

f (z)dz 0
CR
Entonces Z
x2 + 1
4
dx = 2
x + 1
Como el argumento es una funcin par entonces podemos escribir
Z 2
x +1 2
dx = .
0 x4 + 1 2
55. Halle el nmero de races de la ecuacin z 4 8z + 10 = 0 que

se encuentran en el anillo 1 < |z| < 3.
Solucin:
a) f (z) + g(z) = z 4 8z + 10 con f (z) = z 4 8z y g(z) = 10,
entonces |f (z)| 9 < 10 = |g(z)| en |z| = 1. Por lo tanto no tiene
races en |z| < 1.
b) f (z) + g(z) = z 4 8z + 10 con f (z) = 8z + 10 y g(z) = z 4 ,
entonces |f (z)| 8|z| + 10 = 34 < 34 = |g(z)| en |z| = 3. Por lo tanto
tiene 4 races en |z| < 3.
De lo anterior vemos que z 4 8z + 10 tiene 4 races en 1 < |z| < 3.
56. Sea f una funcin analtica en el semiplano superior H+ = {z

C : Im(z) > 0} y tendiente a cero cuando z para z perteneciente
a H+ . Demuestre que para cada z = x + iy H+ se tiene
y
Z
f (t)
f (z) = dt
(t x)2 + y 2
Ayuda: Demuestre que

Z
1 f (x)
f (z) = dx
1i (x z)
y que Z
1 f (x)
0= dx.
2i (x z)
Solucin:
Por frmula de Cauchy en el camino (t) = t con < t < se
tiene que Z
1 f (w)
dw = f (z)siz H+ 0sizH+
2i (w z)
Y notamos que Z Z
f (w) f (x)
dw = dx
(w z) (x z)
A fin de ver lo pedido, restamos y obtenemos
Z
1 1 1
f (z) = ( )f (t)dt
2i inf ty (t z) (t z)
donde

1 1 zz 2iy
= =
(t z) (t z) t2 tz tz + |z|2 t2 2tx + x2 + y 2
con z = x + iy y z = x iy. Por lo tanto
1
Z
yf (t)
f (z) = dt
(t x)2 + y 2
Luego si u(z) = Re f (z), esto es, u(x, y) = Re f (x, y) entonces f (t) =

f (t, 0) = u(t, 0). As
Z
1 y
u(x, y) = 2
u(t, 0)dt
(t x) + y2
Adems u(x, y) 0 cuando (x, y) .
57. Evaluar Z
cos(x)
2 2
dx, a > 0.
x + a
Solucin:
ei z
Usamos que f (z) = y las singularidades son z = ia donde slo
z 2 + a2
ia ( semicircunferencia de radio a sobre el eje real).
Por lo tanto
(z ia)ez
Z

f (z)dz = 2i Res(f, ia) = 2i lm = ea
zia (z ia)(z + ia) a
y por el otro lado

eiz
Z Z Z Z
cos x sin x
f (z)dz = 2 2
dx + i 2 2
dx + dz
x + a x + a CR z 2 + a2
As Z
cos x a
2 2
dx = e
x + a a
58. Sea w una raz n-sima de la unidad (i.e wn = 1 y wj 6= 1,

j = 1, 2, ...(n 1)).
n1
X
i)Encuentre wj .
j=0
n1
X
ii)Encuentre (j + +1)wj .
j=0
Solucin
i)
n1
X
j n1 1 wn
w = 1 + w + ... + w = =0
j=0
1w
ya que w 6= 1 y wn = 1.
ii)
n1
X
(j + 1)wj = 1 + 2w + 3w2 + ...nwn1
j=0
Notar que (1 + 2w + 3w2 + ...nwn1 )(1 w) = 1 + w + ...wn1 + nwn .

Luego
(1 + w + ...wn1 ) + nwn 0 + nwn n

1 + 2w + ...nwn1 = = = .
1w 1w 1w
z
59. Sea f : C D definida por f (z) = , donde D := {z :
1 + |z|
|z| < 1}.
f
i)Encuentre .
z
f
ii)Encuentre .
z
Solucin:
i)
z
f (z) =
1+ zz
Entonces

f z z (|z|)
=
z (1 + |z|)2
Ahora
|z|2 = zz
entonces

2|z| (|z|) = z
z
as
z
(|z|) =
z 2|z|
Por lo tanto
z 2
f 2|z| z 2
= = .
z (1 + |z|)2 2|z|(1 + |z|)2
ii)

f 1(1 + |z|) z z (|z|)
=
z (1 + |z|)2
pero
|z|2 = zz
entonces

2|z| (|z|) = z
z
as
z
(|z|) =
z 2|z|
Por lo tanto
f 2 + |z|
= .
z 2(1 + |z|)2
60. Encuentre los valores de z para los cuales es convergente la serie

X z n
( )
n=0
1+z
Solucin:
z
Sea w = entonces
1+z

X z n X n
( ) = w
n=0
1 + z n=0
que
converge
slo si |w| < 1. Luego la serie pedida converge slo si
z
z + 1 < 1.

az + b
61. Si |z| = 1, demuestre que = 1 con a, b C.
bz + a
Solucin
Como |z| = 1, entonces zz = 1 y z = (z)1 . Luego
az + b az + b
=
bz + a (b + za)z
as tendremos

az + b az + b 1 az + b |az + b| |az + b|
bz + a = az + b |z| = az + b = |az + b| = |az + b| = 1.

62. Sean 0 , 1 : [0, 1] C dos curvas cerradas de clase C 1 y

z C tal que
|0 (t) 1 (t)| < |z 0 (t)|
para cada t [0, 1]. Demuestre que Ind0 (z) = Ind1 (z).
Ayuda: Considere la curva
1 (t) z
(t) =
0 (t) z
con t [0, 1] y compruebe que la trayectoria est contenida en D(1, 1) :=
{z C : |z 1| < 1}.
Solucin:
S
Notemos que z
/ Traza(0 ) Traza(1 ), por lo tanto Ind0 (z) y
Ind1 (z) estn bien definidos. Tambien vemos que t es de clase C 1
y cerrada pues (1) = (0).
Observemos que

1 (t) z |1 (t)| 0 (t)
|(t) 1| = 1 = <1
0 (t) z |0 (t) z|
luego Traza() D(1, 1) y por propiedades de ndice concluimos

que Ind (0) = 0.
As
1 Z 1 0
0 (t) (t)(0(t) z) 0 0(t)(1 (t) z)
Z
1 1
dt = dt
2i 0 (t) 2i 0 (1 (t) z)(0 (t) z)
Z 1 Z 1
1 10 (t) 1 00 (t)
= dt dt
2i 0 1 (t) z 2i 0 0 (t) z
= Ind1 (z) Ind0 (z) .
63. Sea la frontera del cuadrado encerrado por las cuatro rectas
x = 2 e y = 2. Calcule:
Z
cos z
i) 2
dz.
z +8
Z
z
ii) dz.
2z + 1
Z
cosh z
iii) dz.
z4
Solucin:
cos z
i) Vemos que es analtica en C \ {2 2, 2 2}, por lo tanto es
z2 + 8 Z
cos z
holomorfa en , y as 2
dz = 0 por el Teorema de Cauchy.
z +8
z
ii) Vemos que es analtica en C \ {1/2}, luego por la frmula
2z + 1
integral de Cauchy tenemos
i
Z Z
z 1 z
dz = dz = .
2z + 1 2 z + 21 2
iii) Usando la frmula integral de Cauchy para la tercera derivada tenemos
2i 3 (cosh z) i
Z
cosh z
dz = = sinh(0) = 0.
z4 3! z 3 3
64. Sea f analtica. Suponga que Ref es constante. Demuestre que f

es constante.
Solucin:
f = u + iv y por definicin u es constante.
Si f es analtica entonces
u v
=
x y
y
u v
=
y x
v v
Por lo tanto =0y = 0.
y x
As v es constante y entonces f es constante.
Z
dz
65. Evaluar .
z

i) en el semicrculo z = 1, y 1, 1 = 1.

ii) en el semicrculo |z| = 1, y 1, 1 = 1.
Solucin:
i) (t) = eit con 0 t , entonces
Z it Z
ie
it/2
dt = i eit/2 dt = 2(ei/2 1) = 2(1 i)
0 e 0
ii) (t) = eit con 0 t , entonces

Z Z
ieit i
it/2 i
dt = i eit/2 = (1)2(i 1) = 2(1 i).
0 e e e 0
ez
Z
66. Evaluar dz si:
z(1 z)3
i) El punto z = 0 est en el interior y el punto z = 1 est en el exterior
de la curva .
ii) El punto z = 1 est en el interior y el punto z = 0 est en el
exterior de la curva .
iii) Los puntos z = 0 y z = 1 estn en el interior de la curva .
Solucin:
i) Z
1 1
f (z)dz = f (0) = 1
2i z
z
e
con f (z) = .
(1 z)3
ii)
e
Z
1 1 1 00
f (z)dz = f (1) =
2i (z 1)3 2 2
ez
con f (z) = .
z
iii)
ez ez
Z Z
1 1
dz = dz = Res(f, 0) + Res(f, 1)
2i z(1 z)3 2i z(z 1)3
donde
ez
Res(f, 0) = lm =1
z0 (z 1)3
y
1 2 3 ez e
Res(f, 1) = lm 2
((z 1) 3
)=
z1 2 z z(z 1) 2
As
ez
Z
1 e
dz = 1 .
2i z(1 z)3 2
67. Sea f analtica en D. Suponga que |f (z)| 1 si |z| < 1.

Demuestre que |f 0 (0)| 1.
Obs. D := {z C : |z| < 1}.
Solucin: Z
0 1 f (w)
f (z) = dw
2i (w z)2
con (t) = reit y 0 t 2.

Entonces
2 2
f (reit ) it f (reit )
Z Z Z
0 1 f (w) 1 1
f (0) = dw = rie dt = dt
2i w2 2i 0 r2 e2it 2 0 reit
Luego
2 2
|f (reit )|
Z Z
1 1 1
|f 0 (0)| dt dt =
2 0 r 2r 0 r
para todor < 1.
Entonces |f 0 (0)| 1 cuando r 1.
68. Suponga que f es entera y que existen M > 0, R > 0, n 1

tales que
|f (z)| M |z|n ,
para |z| > R. Demuestre que f es un polinomio de grado n.
Solucin:
X f (n) (0)
Como f (z) = zn y
n
n!
k!M (r)
|f (k) (0)|
rk
k!M rnk 0
cuando (n k) 0 y donde M (r) = max|z|=r |f (z)| M rn para r > R.

Por lo tanto f es un polinomio de grado a lo mas n.
69. Sea f : C C una funcin entera. Suponga que existe constante

positiva M tal que
|f (z)| M |z|1/2
para cada z C. Demuestre que f es constante.
Solucin:
Sea 0 < r.
Si |z| r, entonces |f (z)| M r1/2 .
Luego por la Desigualdad de Cauchy
n!
|f (n) (0)| M (r)
rn
con M (r) = max|z|=r |f (z)| M r1/2 .

Entonces
n!
|f (n) (0)| 0
rn1/2
para todo n 1.
As f (n) (0) = 0 para todo n 1, por lo tanto f es constante.
6.2. Ejercicios propuestos

1. Resuelva la ecuacin:
z = z n1
donde n 6= 2 es un nmero natural.
2. Demuestre la siguiente desigualdad:

z
| z | 1 | arg(z) | .

ayuda: Use el hecho que: 1 cos 2 /2.
3. Demuestre que:
| z + w |2 + | z w |2 = 2(| z |2 + | w |2 ).
4. Hallar todas las soluciones de (z i)3 = 1.
5. Hallar (1 + i)12 .
6. Determinar la imagen de la banda := {(x, y) R2 : x > 0, 0 <

y < 1} bajo la transformacin
i
f (z) = , z C\{0}, z = x + iy,
z
representando geomtricamente tanto la banda como la imagen.
7. Hallar una transformacin de Mbius que transforme la circunferencia

|z| = 1 en la recta Im(z) = 0.
8. Hallar la imagen de la recta x + y = 1 mediante la transformacin de

Mbius
z+1
w= .
z1
9. Hallar las partes real e imaginaria de z z .
10. Demostrar que

|Im(1 z + z 2 )| < 3
si |z| < 1.
11. Demostrar que si z 6= 1 es una raz n-sima de la unidad, entonces

n1
X
z k = 0.
k=0
12. Determinar la imagen del cuadrante x > 1, y > 0 por la inversin
1
f (z) = , z C\{0}, z = x + iy.
z
13. Determnense todos los polinomios armnicos de la forma
u(x, y) = ax3 + bx2 y + cxy 2 + dy 3 ,

donde a, b, c, d R. Calcule una funcin v(x, y) para la que la funcin

f (z) definida por
f (z) := u(x, y) + iv(x, y)
sea analtica en C.
14. Sea C un abierto simtrico respecto del eje real. Demostrar que
f : C es analtica si y slo si la funcin g : C definida por
g(z) := f (z) es analtica.
15. Expresar la funcin inversa w = sen1 (z) por medio de un logaritmo.
16. Hallar la imagen del tringulo rectngulo x < y < x ; 0 < x < 1
mediante la transformacin w = z 2 .
17. Hallar una transformacin de Mbius que deje 1 e i fijos y lleve

0 a 1.
18. Sea u una funcin armnica. Una funcin v tal que f = u + iv es

analtica se llama funcin armnica conjugada de u. Halle una funcin
xy
armnica conjugada de u(x, y) = 2 .
(x + y 2 )2
19. Hallar las partes real e imaginaria de z z .
20. Halle la imagen del crculo |z| = 1 bajo la transformacin T (z) =

z
.
(1 z)2
Solucin:
Podemos escribir:
|z| = 1 z = ei
As tendremos
ei ei 1
T (ei ) = = = <0
(1 ei )2 (1 2ei + e2i ) 2(cos() 1)
con
1
R.
2(cos() 1)

X
21. Explique por qu la serie de Taylor (1)n x2n de la funcin real
n=0
1
converge para |x| < 1, pero diverge para x = 1, an cuando
1 + x2
1
es infinitamente derivable para todo valor de x.
1 + x2
22. Hallar la imagen de la circunferencia |z 1| = 1 mediante la inversin.
23. Determinar la imagen de la banda := {(x, y) R2 : x > 0, 0 <

y < 1} bajo la transformacin
i
f (z) = , z C\{0}, z = x + iy,
z
representando tanto la banda como la imagen.
24. Hallar una transformacin de Mbius que transforme la circunferencia

|z| = 1 en la recta Im(z) = 0.
25. Demuestre que la funcin
f (z) = zez ,
no es analtica.
26. Utilizando las ecuaciones de Cauchy-Riemann, demuestre que la fun-

cin
f (z) = zez ,
no es analtica.
27. Sea f (z) = x2 + iy 2 . Determine donde f 0 (z) existe y halle su valor.
28. Demustre que la funcin u(x, y) = cosh y sin x es armnica en el

plano y construya otra funcin armnica v(x, y) para la que
f (z) := u(x, y) + iv(x, y), z = x + iy
sea analtica en C.
Z
29. Calcule (x y + iy 2 )dz si es el segmento de recta que une 0

a 1 + i.

30. Justifique porque f (z) = z 2 1 puede definirse de modo que sea
analtica en cualquier dominio simplemente conexo dado, que no contenga
los puntos z = 1 y z = 1.
2
ez
Z
31. Calcule dz donde es el rectngulo limitado por x = 0,
z1
x = 3, y = 1 e y = 1.
Z
z+1
32. Calcule 3 (z 4)
dz, donde es el crculo de centro
(z 1)
0 y radio 2.
33. a) Encuentre a, b, c, d R tales que el polinomio
u(x, y) = ax3 + bx2 y + cxy 2 + dy 3
sea una funcin armnica.
b) Encuentre una funcin v(x, y) tal la que la funcin f (z) definida

por
f (z) = u(x, y) + iv(x, y), z = x + iy,
sea analtica en cada punto de C.
34. Sea un abierto simtrico con respecto del eje real. Demuestre que
f es analtica en si y slo si la funcin g definida como
g(z) = f (z),
es analtica en .
35. Determine el conjunto de todos los puntos del plano donde cada una
de las siguientes funciones es analtica, calculando adems las derivadas
en esos puntos.
a) a(z) = z 2 z.
b) b(z) = |z|Rez.
c) c(z) = z 2 z.
d) d(z) = zRez.
36. Aplicando la definicin de derivada, demuestre que, si f (z) = Re(z),

entonces f 0 (z) no existe en ningn punto.
37. Demuestre que arcsen(z) = iln[iz + (1 z 2 )1/2 ], y encuentre una

expresin anloga para arccos(z).
38. Sea a < b. Determinar la imagen del rectngulo
Q := [a, b] [, ]
bajo la accin de la funcin exponencial.

39. Resuelva la ecuacin ez = 1 + 3i.
40. Calcule (1 i)4i .
41. Demuestre que ln(1 + i)2 = 2ln(1 + i).
42. Determine el desarrollo en serie de potencias (Taylor) centrado en

cero de la funcin
1
f (z) = , |z| < 1,
(1 z)n
donde n 1 es un nmero natural arbitrario.
P n
43. Suponiendo que R > 0 es el radio de convergencia de la serie n=0 an z ,
determinar el radio de convergencia de cada una de las siguientes series:
a) k n
P
n=0 an z .
b) kn
P
n=0 an z .
c) n2
P
n=0 a n z .
Donde k 1 es un nmero natural.

44. Demuestre que existe una nica funcin u(z) definida por una serie

X
u(z) := an z n
n=0
con radio de convergencia positivo tal que u(0) = 2 y, para cada z C,
u0 (z) = u(z) 1.
45. Demuestre que

1
Z
dz
2
= i.
|z|=1 z sinh z 3
|f (z)|
46. Si f entera y M para cierto k. Entonces f es un polinomio
1 + |z|k
de grado a lo ms k.
47. Sean C abierto, z , R > 0 tal que DR (z) y f analtica.

Demuestre que para cada nmero natural n 0 se verifica la siguiente
identidad:
f (n) (w)
Z Z
f (w) 1
n+1
dw = dw.
|wz|=R (w z) n! |wz|=R w z
48. Clasifique todas las singularidades de la funcin
(z 2 1)(z 2)3
f (z) = .
sen3 (z)
49. Sea abierto conexo y f analtica no constante y sin ceros en .

Demuestre que |f | no tiene minimos locales en (el interior de) .
50. Calcule el nmero de races del polinomio z 8 4z 5 + z 2 1 en el disco

|z| < 1.
51. Calcule el valor de la integral

eiz
Z
2+1
dz.
|z|=2 z
52. Sea un abierto conexo y f analtica en tal que
f () y f (z) = f (f (z))
para cada z . Demuestre que para cada z se cumple
f (z) = z
a menos que f sea constante.
53. Sea un subconjunto abierto del plano complejo y sea f : C una

funcin analtica. Suponga que existe z0 tal que |f (z0 )| |f (z)|
para cada z . Demuestre que ya sea f (z0 ) = 0 o bien f es constante.
54. Sea f : C C una funcin entera y no constante. Demuestre que

f (C) es denso en C.
55. Sea f : C C una funcin entera. Suponga que existen constantes

positivas A, B y k tales que
|f (z)| A + B|z|k
para cada z C. Demuestre que f es un polinomio.

56. Clasifique todas las singularidades de la funcin
(z 2 1)(z 2)2
f (z) = .
sen3 (z)
En particular, determine el dominio donde f es holomorfa.
57. Sea f analitica en D(0, 1). Suponga que |f (z)| 1 si |z| < 1. De-
muestre que |f 0 (0)| 1.
z2 + 1
Z
58. Calcule 2
dz; (t) = reit ; 0 t 2 para cada valor
z(z + 4)
posible de r en los siguientes casos:
a) 0 < r < 2;
b) 2 < r < .

1
59. Halle y clasifique los puntos singulares de la funcin f (z) = sin +
z
1
.
z2
Z n
z
60. Sea (t) = 1 + ei ; 0 2. Hallar dz; n 1.
z1
z2 + 1
Z
61. Calcule 2 + 4)
dz; (t) = reit ; 0 t 2 para cada valor
z(z
posible de r: 0 < r < 2; 2 < r < .
62. (2 puntos) Sea el camino [1, i] y el camino [1, 1 + i, i] .

Calcule f y f con f (z) = |z|2 .
R R

X zn X 2)n n (z
63. Sean f (z) = y g(z) = i + (1) . Observe que
n=1
n n=1
n
ambas series de potencia no tienen dominio de convergencia en comn.
Sin embargo:
Demuestre que la funcin g(z) es continuacin analtica de la funcin
f (z).
64. Sea f analtica en un dominio acotado por una curva cerrada simple
C que contiene al origen. Demuestre que para cualquier eleccin de la
rama de Ln(z) se tiene:
Z
1
f 0 (z)Ln(z)dz = f (z0 ) f (0),
2i C
donde z0 es el punto de partida de la integracin.
65. Determine el desarrollo en serie de potencias (Taylor) centrado en

cero de la funcin
1
f (z) = , |z| < 1,
(1 z)n
donde n 1 es un nmero natural arbitrario.

Z
2
66. Demuestre que ex cosxdx = e1/4 .

Z
2
Sugerencia: Recuerde que ex dx = y considere el camino de la

figura siguiente
67. Escriba el desarrollo en serie de Laurent de la funcin
z
f (z) =
(z 1)(z 3)
en la regin 0 < |z 1| < 2.

|f (z)|
68. Si f entera y M para cierto k. Entonces f es un polinomio
1 + |z|k
de grado a lo ms k.
69. Encuentre el desarrollo en serie de Laurent de la funcin

1
g(z) =
z(z + R)
en 0 < |z| < R.
70. Determinar y clasificar todas las singularidades de la funcin:

(z 2 1)(z 2)3
f (z) = .
sen3 (z)
Z
dz
71. Calcule .
|z|=6 1 cosz
ez

72. Calcule Res ,0 .
1 cosz
73. Calcule la integral:

eiz
Z
2
dz.
|z|=2 z + 1
sen(z 2 ) + cos(z 2 )
Z
74. Evale dz.
|z|=3 (z 1)(z 2)
ezt
Z
1
75. Evale 2 2
dz.
2i |z|=3 z (z + 2z + 2)
76. Sea C una elipse con ecuacin 9x2 +y 2 = 9 orientada positivamente.

Calcule
zez
Z
4
+ ze/z dz.
C z 16
77. Suponga que f es una funcin analtica en todo punto de C. De-

muestre que
n!
|f (n) (0)| M (r),
rn
para cada r > 0, donde M (r) = max |f (z)|.
|z|=r
78. Sea f analtica en un abierto . Sea z0 y suponga que existe

r > 0 tal que {z : |z z0 | < r} . Demuestre que
Z 2
1
f (z0 ) = f (z0 + rei ) d.
2 0
79. Demuestre que arcsen(z) = iln[iz + (1 z 2 )1/2 ], y encuentre una

expresin anloga para arccos(z).

80. Resuelva la ecuacin ez = 1 + 3i.
81. Calcule (1 i)4i .
82. Demuestre que ln(1 + i)2 = 2ln(1 + i).

83. Sea f analtica en todo punto de C y acotada, esto es: existe M > 0
tal que
|f (z)| < M z C.
Demuestre que f es constante. (Ayuda: Use el problema 1).
84. Sea f analtica en un abierto . Sea z0 y suponga que existe

r > 0 tal que {z : |z z0 | < r} . Demuestre que
Z 2
1
f (z0 ) = f (z0 + rei ) d.
2 0
85. Determinar y clasificar todas las singularidades de la funcin:
(z 2 1)(z 2)3
f (z) = .
sen3 (z)
Z
dz
86. Calcule .
|z|=6 1 cosz
87. Demuestre que todas las races de z 7 5z 3 + 12 = 0 estn entre los

crculos |z| = 1 y |z| = 2.
ez
Z
88. Evale 2 2 2
dz.
|z|=4 (z + )
Z
sen(x) 1
89. Demuestre que 2
dx = 1 .
x(1 + x ) e
eiz
Z
Sugerencia: Calcule 2)
dz en un camino apropiado.
C z(1 + z

1
toma los siguientes valores en los puntos z = (n = 1, 2, ...).
n
1 1 1 1
i) 0, , 0, , 0, , ..., 0, ....;
2 4 6 2k
1 1 1 1 1 1 1 1
ii) , , , , , , ..., , , ...?.
2 2 4 4 6 6 2k 2k
Z
z+1
91. Calcule 3
dz, donde es el crculo de centro 0 y radio
(z 1) (z 4)
2.
92. Sea y > 0. Demuestre que para cada x 0 se tiene

Z isx
e
2 2
ds = etx .
s + t t
93. Sean a, b R tales que a > 0 y b > 0. Demuestre que

Z 2
x b2 sen(ax) ab 1
2 + b2
dx = (e ).
0 x x 2
94. Demuestre que Z

dx
= .
0 x6 + 1 3
95. Demuestre que

Z 2
cos(3)
d = .
0 5 4cos() 12
96. Demuestre que

Z 2
d 5
= .
0 (5 3sen())2 32
97. Demuestre que

Z
cos(mx) m
dx = e , m > 0.
0 x2 + 1 2
98. Demuestre que

Z
cosh(ax)
dx = , donde |a| < 1.
0 cosh(x) 2cos(a/2)
99. Sea f : C C continua, y holomorfa en C\[1, 1]. Demuestre que

f es analtica en C (esto es, entera).
Ayuda: Use el teorema de Morera.
100. Calcule la integral:

eiz
Z
2
dz.
|z|=2 z + 1
101. Encuentre el desarrollo en serie de Laurent de la funcin

1
g(z) =
z(z + R)
en 0 < |z| < R.
102. Calcule Z
1
dz.
|z|= 2 sen2 (z)
103. Calcule Z 2
d
.
0 1 + sin2
Ayuda: Considere la integral como una integral de lnea en la circunfe-
rencia |z| = 1, aplicando luego el teorema de residuos.
104. Calcule Z
x sin(ax)
4+4
dx, a > 0.
x
105. Calcule Z
ln(x)
dx.
0 (1 + x)3
z
Ayuda: Calcule la integral de para 0 < < 1 en un contorno
(1 + z)Z3

x
adecuado, para obtener el valor de dx. Luego, derive con
0 (1 + x)3
respecto a y tome el lmite cuando 0.
106. Sea una regin acotada del plano complejo con frontera orien-
tada positivamente y suponga que f (z) es una funcin analtica en
excepto por polos simples en a1 , a2 , ..., an . Sea g(z) una funcin anal-
tica en . Demuestre que
Z n
1 X
f (z)g(z)dz = g(ak )Res(f ; ak ).
2i k=1
107. Evaluar Z 2
cos(3)
d.
0 5 4cos()
108. Calcule Z 2
d
.
0 1 + sin2
Ayuda: Ponga z = cos() + i sin() y considere la integral como una
integral
delnea en la circunferencia |z| = 1. Use que sin() =
1 1 1
z y d = dz, aplicando luego el teorema de residuos.
2i z iz

Variable Compleja PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Variable Compleja PDF

Cargado por

Copyright:

Formatos disponibles

Variable Compleja

Teora, problemas resueltos y propuestos

Dr. Carlos Lizama

2. Funciones de Variable Compleja 24

3.5. Prolongacin analtica . . . . . . . . . . . . . . . . . . . . 50

Consideremos, por ejemplo, la ecuacin z 2 + 1. Obviamente, esta no

Este fue el problema planteado a matemticos por alrededor de 700

C. Gauss (17801840) fue el primer matemtico en usar sistemticamente

"Toda ecuacin an z n + an1 z n1 + ... + a0 = 0 tiene n-soluciones en

A. L. Cauchy dio la estructura central al desarrollo de variable com-

la cual da sentido a la frmula integral de Cauchy:

1.2. Propiedades algebraicas

C = {(a, b) R R / (a, b) + (c, d) = (a + c, b + d) ,

Las unidades aditivas y multiplicativas son (0, 0) y (1, 0), respectivamente.

(a, b) + (0, 0) = (a, b)

(a, b)(1, 0) = (a, b).

(a, b) = a(1, 0) + b(0, 1) = a + ib.

Esta es la notacin que se ocupar desde ahora.

Observacin 1 Consideremos i = (0, 1), entonces:

i2 = (0, 1)(0, 1) = (0 1, 0 + 0) = (1, 0) = 1.

Otra forma de definir el conjunto de los nmeros complejos:

Como i2 = 1, la ecuacin z 2 + 1 tiene al menos una raz en C. En efecto:

Definicin 3 Si z = a + ib, diremos que a es la parte real de z y escri-

En consecuencia, z = Re(z)+iIm(z). Del mismo modo, podemos escribir

Adems, podemos escribir la parte real e imaginaria en funcin de z y z.

Proposicin 4 (Desigualdad Triangular)

1.3. Representacin geomtrica

zw = |z| |w| (cos + i sin ) (cos + i sin )

Entonces: Arg(zw) = + = Arg(z) + Arg(w).

Consideremos las siguientes figuras:

Definicin 5 Definimos la ecuacin exponecial como

Tambin se puede escribir como cis() o exp().

Consideremos f () := cos() + i sin().

f ()f () = (cos() + i sin())(cos() + i sin())

Entonces, cualquier funcin que cumpla estas dos propiedades se llama

Propiedades de la funcin exponencial

Si analizamos el comportamiento de la funcin exponcial podemos obser-

Entonces, si queremos de resolver la ecuacin z n = 1, podemos reescribirla

1.4. Ecuacin del crculo y de la recta

Luego, la ecuacin de un crculo en el plano complejo es:

Veamos ahora la ecuacin de una recta. Sabemos que la ecuacin de una

Si hacemos z0 = m i, z0 = m + i y = 2n, lo que se obtiene es la

1.5. Proyeccin estereogrfica

Sea L : t(0, 0, 1) + (1 t)(u, v, w) ,tratemos de encontrar t0 tal

L : ((1 t)u, (1 t)v, t + (1 t)w).

Buscamos t0 tal que:

Por lo tanto Q = (B) es :

L : t(0, 0, 1) + (1 t)(x, y, 0).

Encontremos t0 tal que la recta L intersecta a la esfera. Es decir:

Si hacemos z = x + iy y z = x iy, se tiene:

1. Convergencia de una sucesin: Dada (zn ) C, entonces zn

2. C es completo (Toda sucesin de Cauchy converge).

En efecto: Sea zn C sucesin de Cauchy. Entonces | zn zm | 0

| xn |=| Re(zn ) || zn | y entonces, | xn xm || zn zm | 0.

| yn |=| Im(zn ) || zn | entonces, | yn ym || zn zm | 0.

De aqu se tiene que: xn R y yn R son sucesiones de Cauchy en

3. Funcin Continua: f : C C, f es continua en z0 si:

Ejemplo 6 1. Funciones cotinuas.

2. f (z) = Re(z), g(z) = Im(z).

1.7. Funciones bsicas

2. Dilatacin o Contraccin: f (z) = kz; k R; k > 0.

5. Transformaciones de Mbius o lineales fraccionales

T. de Mbius Matrices invertibles 2x2.