Apuntes VariableCompleja (10marzo2015)

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 lectivo. En el primer captulo, se incluyen propiedades bsicas de los nmeros
complejos y sus propiedades algebraicas, que se revisan muy rpidamente. Luego, nos concentramos en la representacin geomtrica, tanto en
su forma polar como cartesiana. Posteriormente, damos nfasis en la representacin en variable compleja de elementos estndar de la geometra,
como son el circulo y la recta. Tambin, nos encontramos con la representacin 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 bsicas 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 holomorfas. Se revisa la definicin, que se presenta como la extensin natural
del concepto de derivada en la recta real. Luego, varias nociones equivalentes 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 conceptos 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 integracin 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 controles 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.
ndice general
1. Preliminares
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Propiedades algebraicas . . . . . . . . . . . . . . . . . . .
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
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
1+
a(a + 1)b(b + 1) 2
ab
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 compleja a travs de la idea de la integral de lnea:
Z
f (z)dz,
la cual da sentido a la frmula integral de Cauchy:

1
f (z) =
2i
f ()
d.
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:
z
1
=
,
z
| z |2
si z 6= 0
Definicin 3 Si z = a + ib, diremos que a es la parte real de z y escribimos: 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 |
10
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
y sin = , de donde, a =
r
r
r cos y b = r sin . Se observa que r = |z|. Y definimos = Arg(z). El
Para la forma polar tenemos que cos =
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 ).
11
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 .
12
Propiedades de la funcin exponencial

1. ei(+) = ei ei
2. e(i) = ei
1
3. e(i) n = ei n
4. ei =
1
ei
5. ei ei = 1
Si analizamos el comportamiento de la funcin exponcial podemos observar que:
e2ki = 1
,z Z.
Entonces, si queremos de resolver la ecuacin z n = 1, podemos reescribirla

como:
z n = e2ki .
Por lo tanto
z=e
2ki
n
Ms generalmente tenemos:
zn = w
= | w | eiArg(w)
= | w | eiArg(w)e
2ki
= | w | ei(Arg(w)+2k) .
Luego:
1
z = |w| n e
i(Arg(w)+2k)
n
1.4.
13
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
e y = Im(z) =
recta es: y = mx+n. Si consideramos x = Re(z) =
2
zz
. Y reemplazando estos valores en la ecuacin nos queda:
2i
z+z
zz
=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.
14
Proyeccin estereogrfica
1
y con z = 0, se obtiene f (0) = . Con esto se
z
:= C {}.
define el siguiente conjunto: C
Si consideramos f (z) =
Ecuaciones de la proyeccin

1. Dado B en la esfera S2 = (x, y, z) R3 /x2 + y 2 + z 2 = 1 , determinar 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
1
w
=
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)
15
Encontremos t0 tal que la recta L intersecta a la esfera. Es decir:

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

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
x2 + y 2 =
Luego:
1 t0 = 1
x2 + y 2 1
2
=
x2 + y 2 + 1 x2 + y 2 + 1
Por lo tanto P (A) es:

P (A) = ((1 t0 ) x, (1 t0 ) y, t0 )

2x
2y
x2 + y 2 1
=
,
,
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:
P (A) =
z + z i (
z z) |z|2 1
,
,
|z|2 + 1 |z|2 + 1 |z|2 + 1
!
.
1.6.
16
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:
d1 (z, w) =
|zw |
1+ | z w |
y
d1 (z, w) 1
d2 (z, w) =
2|zw |
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:
17
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.
4. p(z, z) =
an,m z n (z m ).
n,m
5.
p(z, z)
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
18
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
f (1) = 1
f (t) =
1
t
f (it) =
i
t
f (ei ) = ei
5. Transformaciones de Mbius o lineales fraccionales

f (z) =
az + b
;
cz + d
ad bc 6= 0; a, b, c, d C.
Esta funcin tiene inversa, f 1 (z) =? para encontrarla utilizamos

la transformacin de Mbius.
T. de Mbius Matrices invertibles 2x2.
a b
az + b
cz + d
c d
Se invierte la matriz y queda como:
d
c
b
a
1
.
ad bc
Entonces: f 1 (z) =
19
dz b
. Adems se tiene que (f f 1 )(z) = z.
cz + a
Proposicin 7 Una transformacin de Mbius es la compuesta de traslaciones, dilataciones, rotaciones e inversiones.

Demostracin.
S(z) =
az + b a bc ad 1
= +
.
cz + d
c
c cz + d
z |c| z |c| eiArg(c) z

bc ad 1
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 determinada 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 .
20
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:
(S T 1 )(z) =
az + b
=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
21
Cunto es S(z), para cualquier z?

Comentarios previos:
az + b
,
z C.
cz + d
a
T () =
(c 6= 0).
c
dz b
d
d
T 1 (z) =
T 1 () =
T ( ) = .
cz + a
c
c
T (z) =
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

T (z) =
z z1
,
z2 z1
(a = 1, b = z1 , c = 0, d = z2 z1 )
lleva z1 en 0 y z2 en 1, por ltimo

T (z) =
(z z1 ) (z2 z3 )
,
(z z3 ) (z2 z1 )
(a = z2 z3 , b = z1 (z2 z3 ) ,
c = z2 z1 , d = z3 (z2 z1 ))
lleva z1 en 0, z2 en 1 y z3 en .
Entonces:
W (z) =
(z w1 ) (w2 w3 )
(z w3 ) (w2 w1 )
Luego, la transformacin de Mbius buscada es:

S(z) = (W 1 T )(z)
22
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;
3. T (z) =
a C, a = rei
1
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
a
a
ww + aw + k0 aa = 0
ww + aw + k0 | aa |= 0
/aa
23
1
Si w = , entonces:
z
1 1
1
1
+ + + k0 = 0
ww
w
w
1 + w + w + k0 ww = 0
/ww
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 )
zz0
z z0
f 0 (z0 ) = lm
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
z0 z
lm
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.
26
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.
2)
(f g)(z) (f g)(z0 ) f (z) f (z0 )

g(z) g(z0 )
=
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
27
f 0 (z0 )g(z0 ) + f (z0 )g 0 (z0 )

3) Usando 2)

0=
Luego,
1
g
g
0
0
1
=g +g
g
g
01
0
g 0
1
= 2
g
g
4)
0 0
f
1
g 0
f 0g f g0
01
= 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}.
Ejemplo 8 Sea g(z) =
z0 =
d
, adems:
c
az + b
; ad bc = 1. g es derivable, excepto en
cz + d
g 0 (z) =
1
.
(cz + d)2
En efecto,
g 0 (z) =
a(cz + d) c(az + b)
ad bc
1
=
=
.
(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
28
Observacin. Lo anterior tambin se puede aplicar a funciones continuas.

Ejemplo 10
f (z) =
Tenemos

1
g(t) = f
=
t
z+2
3z 2 1
1
t
3
t2
+2
t + 2t2
=
3 t2
1
1
(1 + 4t)(3 t2 ) + 2t(t + 2t2 )
0
,
de
donde
g
(0)
=
. Por lo
luego g (t) =
(3 t2 )2
3
1
tanto f 0 (0) = .
3
0
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
29
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
,
existen y son continuas en (x0 , y0 ) entonces f
x y
es diferenciable en ese punto.
Teorema 12 Si
La siguiente es una de las principales caracterizaciones de funciones analticas.

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 + it) f (z0 )
f (z0 + t) f (z0 )
= lm
t0
t0
t
t
lm

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
u(z0 + t) u(z0 ) u(x0 + t, y0 ) u(x0 , y0 )
=
(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
30
u
u
(z0 )
(z0 )
x
y
Df (x0 , y0 ) =
v
v
(z0 )
(z0 )
x
y
31
tal que
f (x, y) = f (x0 , y0 ) + Df (x0 , y0 )
x x0
y y0
+ e(x x0 , y y0 ),
o equivalentemente
u (x, y) + iv (x, y) = u (x0 , y0 ) + iv (x0 , y0 ) +
u
(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
f (z) f (z0 ) =
u
u
(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
32
Tomamos el lmite cuando z z0 , y nos queda

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

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

Ya que f (z) = u(z) + iv(z), entonces
u
v
f
(z) =
(z) + i (z)
x
x
x
(2.1)
f
u
v
(z) =
(z) + i (z)
y
y
y
(2.2)
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

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

v v
u
u
= r
y
=r .
Cauchy-Riemann se escriben como
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 armnicas.
Demostracin.
Debemos probar por definicin que u = 0 y v = 0. Como f es analf
tica, entonces:
=0
z
v
u
v
u
+i
= 0. As,
=0y
= 0.
Como f = u + iv, entonces:
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
34
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.
35
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
Entonces
f
f (0) A
es constante. Pero:
= = 1. Por lo tanto f = g.
g
g(0)
A
II. Funciones trigonomtricas. Se definen como:

eiz eiz
sin z =
;
2i
eiz + eiz
cos z =
2
36
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
z = r n cos
+ i sin
n
n

en := z = rei / < < , r > 0 n = 1, 2, 3, ... .
Proposicin 21
z es analtica en .
Demostracin. Ocupando las ecuaciones de Cauchy-Riemann en su

forma polar, tenemos:
u 1 v
=
r
r

v
u
= r
r
1
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
1
Considerando u(r, ) = r n cos
y
1
u r n
v
1 1
=
sin
= r n1 sin .
n
n
r
n
n
37
38
IV. Funciones hiperblicas Se definen las funciones seno hiperblico y coseno hiperblico como sigue:
sinh z =
ez ez
2
cosh z =
ez + ez
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 .
2)
d(z w )
= wz w1
dz
Ejemplo: Calcular ii .
Solucin: Aplicando la definicin de la funcin logaritmo, queda:
ln i = ln 1 + i
Entonces ii = ei(i 2 ) = e 2 .
i
Ejercicio 23 Calcule ii .
i
=
2
2
39
Captulo 3
Series
3.1.
Series de Taylor
A continuacin presentamos el resultado bsico en series de potencias.

Teorema 24 Consideremos
X
f (z) =
an (z z0 )n ,
R=
n=0
1
p
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 (absolutamente).
(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}.
Teorema 25 Sea
an z n convergente en D(0, R). Entonces f (z) =
n=0
40
CAPTULO 3. SERIES
41
0
an z es analtica en D(0, R), y adems f (z) =
n=0
nan z n1 la cual
n=1
es tambin convergente en D(0, R).

Demostracin.
Analicemos la siguiente diferencia:

f (z) f (z ) X

0
n
nan z0 =

z z0
n=0
P
P

an z n
an z0n X
n=0

n=0
n1

na
z
n
0

z
z
0

n=1

P

N
N
P

n
n
a
z
a
z
N
n
n 0

X
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

P

n1
n

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
p(z) =
N
X
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:
CAPTULO 3. SERIES
42
X

X
n
n

a
z
a
z
n
n
0

X
n
n

n=N +1
z z0
n=N +1
=

an

z z0
n=N +1 z z0

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

z z0n
n1

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

z z0n
n1

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

z z0n
n1

z z0 nr
Luego

X

X
n
n

a
z
a
z
n
n 0

n=N +1

n=N +1

z
z
0

X
n=N +1
X
n=N +1

n
z z0n

|an |
z z0
n |an | rn1 0.
N
CAPTULO 3. SERIES
43
Ahora veamos que si h(r) =
|an |r , entonces h (r) =
n=0
n|an |rn1 ,
n=1
con radio de convergencia R para ambas series.

1
p
Si R =
es el radio de convergencia de h(r) y R0 el radio de
n
lm |an |
convergencia de h0 (r), entonces
R0 =
Veamos que
1
1
1
p
p
p
=
=
=R
n
lm n n|an | lm n n n |an |
|an |
nan z0n1 converge en D(0, R):
n=1
R0 =
Ejemplo 26 Si f (z) =
1
1
p
p
=
lm n n|an | lm n |an |
X
zn
n=1
converge en C, esto es R = , entonces
n!
f es analtica en C, y
X
z n1 X z n1
f (z) =
n
=
n!
(n 1)!
n=1
n=1
0
Haciendo m = n 1, tenemos:
0
f (z) =
X
zm
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
e =
X
zn
n=0
n!
CAPTULO 3. SERIES
Observacin. Si f (z) =
0
44
an z y f (z) =
n=0
nan z n1 .
n=1
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 .
CAPTULO 3. SERIES
3.2.
45
Representaciones por series de Taylor
1. Funcin exponencial:
z
e =
X
zn
n=0
n!
2. Funcin seno:
ez ez
sin z =
"2i
#
n
n
X
X
(iz)
1
(iz)
=
2i n=0 n!
n!
n=0
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
sin z =
X
(1)n z 2n+1
n=0
(2n + 1)!
3. Funcin coseno:
cos z =
X
(1)n (2n + 1)z 2n
n=0
(2n + 1)(2n)!
4. Funcin seno hiperblico:
X
(1)n z 2n
n=0
(2n)!
CAPTULO 3. SERIES
46
Sabemos que sinh iz = i sin z, para todo z, en particular para w = iz,

entonces sinh w = i sin iw
Por lo tanto
sinh z = i sin iz = i
X
(1)n (iz)2n+1
(2n + 1)!
n=0
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
sinh z = i
X
(1)n (1)n z 2n+1
n=0
X
n=0
(2n + 1)!
z 2n+1
(2n + 1)!
5. Funcin coseno hiperblico:
X
X
z 2n
(2n + 1)z 2n
cosh z =
=
(2n
+
1)(2n)!
(2n)!
n=0
n=0
3.3.
Serie geomtrica
X
1
=
zn,
1z
n=0
|z| < 1
CAPTULO 3. SERIES
47
1
1z
1
f 0 (z) =
(1 z)2
f (z) =
f 00 (z) =
2
(1 z)3
f 000 (z) =
3!
(1 z)4
f n (0)
Por lo tanto tenemos que f (0) = n!. Luego, an =
= 1. As
n!
tendremos:
n
f (z) =
an z =
z n , |z| < R = 1
n=o
n=0
donde el radio de convergencia est dado por

R=
lm
1
p
n
|an |
Otros ejemplos de series geomtricas son:

i)
X
1
=
(1)n z n , |z| < 1
1+z
n=0
ii)
X
1
=
(1)n z 2n , |z| < 1
2
1+z
n=0
iii)
ln(1 + z) =
X
n=0
an z n
CAPTULO 3. SERIES
48
X
1
Sabemos que (ln(1 + z)) =
=
(1)n z n , luego integrando
1+z
n=0
obtenemos:
0
ln(1 + z) =
X
(1)n z n+1
n=0
n+1
|z| < 1
X
1
Lo mismo ocurre con (arctan z) =
=
(1)n z 2n , ya que si
2
1+z
n=0
ahora integramos podemos ver que
0
arctan z =
X
(1)n z 2n+1
n=0
2n + 1
CAPTULO 3. SERIES
3.4.
49
Extensin analtica
Si f (z) =
an (z z0n ), para |z z0 | < R, tenemos
n0
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
f (z) =
X f n (z0 )
n0
n!
(z z0 )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) =
X f n (x0 )
n0
n!
(x x0 )n
para |x x0 | < R (x R), existe entonces una funcin analtica (nica)

definida por
f (z) =
X
n
(f n (x0 ))
0
(z x0 )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 .
CAPTULO 3. SERIES
50
x
Ejemplo 28 Conocemos la serie de Taylor e =

extensin analtica f (z) =
X zn
n0
n!
X xn
n0
n!
. Se define la
. Observemos que esta serie converge
para todo z C. Notemos que

0
f (z) =
X nz n1
n0
n!
X z n1
X zn
=
=
= f (z)
(n
1)!
n!
n0
n0
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
f (z) =
(z)n
(3.1)
n=0
Se ve fcilmente que su radio de convergencia es 1. De este modo f (z) esta 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
3 3
2
n=0
CAPTULO 3. SERIES
51
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. Mediante 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
(1)n x2n
n=0
de la funcin real
1
converge para |x| < 1, pero diverge para x = 1,
(1 + x2 )
1
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
aun cuando
n=0
n=0
1
que tiene singularidades en
(1 + z 2 )
X
z = i. Luego su serie de Taylor
(1)n x2n en torno a z = 0 tiene
la extensin de la funcin f (z) =
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.
CAPTULO 3. SERIES
3.6.
52
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
Df (z0 ) = x
v
x
u
y
v
y
Teorema 34 Si es una regin simplemente conexa (sin hoyos), entonces 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
t [0, 2] describe una elipse.
3) (t) = (a cos(t), b sin(t)),
4) (t) = (a cosh(t), b sinh(t)) describe una hiprbola.

t [a, b] describe una cardioide.
5) (t) = a + b cos(t),
Definicin 38 Sea f : C C, se define

Z
Z b
f (z)dz =
f ((t)) 0 (t)dt
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
= 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.
55
Frmula de Cauchy
Teorema 41 (De Green)

Sea un dominio abierto y conexo, cuya frontera es regular, entonces

Z
ZZ
Q P
dxdy.
(P dx + Qdy) =
x
y
=
Podemos escribir

ZZ
Z
Z
f
f
f dx + if dy =
i
f (z)dz =
dxdy
|{z}
|{z}
x y
P
Q

ZZ
ZZ
1 f
f
f
= 2i
+i
dxdy = 2i
dxdy
x
y
2
z
Por lo cual, en notacin compleja, el Teorema de Green puede ser expresado como
Z
Z Z
f
dxdy.
z
f (z)dz = 2i
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
(P dx + Qdy) =
Q P
x
y

dxdy.
56
Demostracin.
f (z)
0=
dz
\D(z0 ,r) z z0
f (z)
dz
z z0
Z
f (z)
dz
=
D(z0 ,r) z z0

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

f rei + z0 d 2if (z0 )
= i
r0
1
dz, donde es la regin de la figura:
21
z
Podemos escribir la integral como

Z
Z
1
f (z)
dz =
dz
(z
1)(z
+
1)
z
+
1
Ejemplo 45 1) Calcular
1
analtica en y en su interior. Considerando z0 = 1,
z1
la integral toma el valor
con f (z) =
2if (1) = 2i(
1
) = i
2
2) Si consideramos la integral anterior, pero con la regin , entonces

podemos escribir
Z
1
1
dz
=
z2 1
2
Z
1
dz
z1
1
dz
z+1
con f (z) = 1 analtica en la integral toma el valor
57
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
f (z) =
an (z z0 )n ,
|z z0 | < R
n=0
Demostracin. () Queda demostrado por lo visto antes.

() Consideremos la frmula de Cauchy.
1
f (z) =
2i
Z
C
f (w)
dw, C(t) = z0 + reit
wz
entonces podemos escribir

1
1
1
=
zz0
wz
w z0 [1 ww
]
0
1 X (z z0 )n
,
=
w z0 n=0 (w z0 )n
|z z0 | < |w z0 |
as
Z X
f (w)
dw
(w z0 )n+1
C n=0

Z

X
1
f (w)
n
=
n+1 dw (z z0 )
2i C (w z0 )
n=0 |
{z
}
1
f (z) =
2i
(z z0 )n
an
X
n=0
an (z z0 )n
58
Corolario 47
f
4.3.
(n)
n!
(z0 ) =
2i
Z
C
f (z)
dz
(z z0 )n+1
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. Reescribiendo tenemos que
1
Ind =
2i
Z
a
0 (t)
, : [a, b] C
(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 conjunto se dice que son homtopas en si pueden deformarse continuamente 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.
59
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 , entonces:
Z
Z
f (z)dz =
f (z)dz
1
para cada funcin analtica f en .

Demostracin. Por demostrar
R
0 \1
= 0, eso sigue del teorema de
Cauchy.
4.4.
Teoremas fundamentales
Definicin 53 Un abierto C se dice simplemente conexo si es conexo 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 .
60
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
f (s)ds = 0
f (s)ds =
1
()1
por lo cual
Z
Z
f (s)ds
f (s)ds = 0
y calculamos para h > 0:

Z
F (z + h) F (z)
1 z+h
f (z) =
f (s) ds f (z)
h
h z
Z
1 z+h
=
(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
|h| z
|h| z
z
Afirmacin
1
|h|
z+h
|ds| = 1
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
1
0
|ds| =
| (t)|dt =
|h|dt = 1
|h| z
|h| 0
|h| 0
Esto prueba la afirmacin y el teorema.
61
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 hipotef (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
g10 (z) =
f 0 (z)
f (z)
por teorema anterior. Sea h(z) := eg1 (z) . Entonces

0
h =
eg1 g10
f0
=h
=e
f
f
g1 f
as
h0 f hf 0 = 0
luego
h
( )0 = 0
f
y as
62
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 . Entonces 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
63
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
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:
F (z) =
an (z z0 )n ,
|z z0 | < r
n0
de donde
f (z) =
X
n0
entonces f es holomorfa.
nan (z z0 )n1 ,
|z z0 | < r
64
Teorema 58 (Principio del Mximo) Sea f anlitica en , entonces

|f (z)| no puede alcanzar su mximo en , a menos que f (z) sea constante.
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
u
v
(|f (z)|2 )
= 2u(x, y)
+ 2v(x, y)
0=
y
y
y
As tendremos que
0 = u(x, y)
u
v
+ v(x, y)
x
x
0 = u(x, y)
u
v
+ v(x, y)
y
y
Por las ecuaciones de Cauchy Riemman tenemos

u v
=
x y
y
u
v
=
y
x
65
luego
0=u
u
v
+v
x
x
y
0 = u
v
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.
v
u
=0 y
= 0.
Entonces
x
x
Adems por las ecuaciones de Cauchy Riemman
u
v
=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 idnticamente 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
1
|f (z0 )|
2
66
|f (z0 + rei )|d < |f (z0 )|
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
S S
dominio = [a, b] donde := {z/z }. Adems, en se
tiene que f (z) = f (z).
Demostracin. Claramente la frmula f (z) = f (z) para z , extiende f (z) al dominio .
Para demostrar que f es holomorfa en calculamos
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 dos
Z 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.
67
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 analtica en C (entera). Entonces
|f n (0)|
n!
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:
Z
f (rei )
n! 2 f (rei )
i
rie d|
d
2 0
rn
rn+1 ei(n+1)
0
Z 2
n!M (r)
n!
M
(r)
d
=
.
n
2rn
r
0
n!
|f (0)| = |
2i
n
Teorema 63 (de Liouville) Sea f (z) una funcin analtica, entera y acotada, entonces f es constante.
Demostracin. Como f es acotada
|f n (0)|
n!
M
rn
68
donde M = supzC |f (z)|.

Luego haciendo r se obtiene f n (0) = 0 para n 1.
X f n (0)
f 0 (0)
n
z = f (0) +
+ ....
Como f es analtica, f (z) =
n!
1!
n0
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
z p(z)
z an z n + ... + a0
tn
= lm
t an + an1 t + ...a0 tn
= 0
lm

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
69
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
1
f (z0 ) =
2
f (z0 + rei )d.
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
f (z0 + rei ) i
1
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
f (z) =
an (z z0 )n +
n0
X
n1
bn
(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 respectivamente, con r < r0 < R0 < R.
70
CAPTULO 5. MTODOS DE INTEGRACIN

Por la frmula de Cauchy en el anillo r0 |z z0 | R0 se tiene:
Z
f (s)
1
ds
f (z) =
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
=
0
s z0 1 zz
sz0
X
1
(z z0 )n
=
n+1
(s z0 )
n0
Entonces
1
2i
En 1 :
Z
2
X
f (s)
ds =
an (z z0 )n .
(s z)
n0
1
1
=
sz
s z0 + z0 z
1
1
=
0
z0 z (1 + zsz
)
0 z
1
1
=
sz0
z0 z (1 zz
)
0
X
1
(s z0 )n
=
z z0 n0 (z z0 )n
X
1
=
(s z0 )n
(z z0 )n+1
n0
para |s z0 | < |z z0 |.
71
72
Integrando trmino a trmino, lo cual es justificado por la convergencia

uniforme sobre compactos de la serie, se obtiene:
1
2i
Z
1

X 1 Z
f (s)
1
ds =
f (s)(s z0 )n ds
(s z)
2i 1
(z z0 )n+1
n0

X 1 Z
1
n1
f (s)(s z0 ) ds
=
2i 1
(z z0 )n
n1
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
f (z) =
b1
bm
+ a0 + a1 (z z0 ) + ...
m + ... +
(z z0 )
(z z0 )
y se dice que f (z) tiene un polo de orden m en z0 .

Adems :
b1
bm
m + ... +
(z z0 )
(z z0 )
se llama parte principal de f y
Z
1
b1 =
f (s)ds = Re s (f, z0 )
2i |zz0 |
73
se llama residuo.
3) Hay infinitos bk 6= 0. En este caso se dice que f tiene una singularidad esencial.
Ejemplo 68 1) Desarrollo de f (z) =
cos z = 1
cos z
en torno a z0 = 0.
z3
z2 z4 z6
+ + ...
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.
u
e =
X un
n0
u2 u3
=1+u+
+
+ ...
n!
2!
3!
Entonces
e1/z = 1 +
1
1
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
h(z) =
74
1
f (z) w0
Claramente h es analtica en D(z0 , ). Sin embargo, como h es acotada |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 potencias negativas, entonces no podra ser acotada.
b2
b1
+
+ b0 + b1 (z z0 ) + b2 (z z0 )2 + ...
2
(z z0 )
(z z0 )
h(z) =
y |h(z)| <
1

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
b0 + b1 (z z0 ) + b2 (z z0 )2 + ...
= c0 + c1 (z z0 ) + ...
f (z) w0 =
Entonces f (z) = w0 + c0 + c 1(z z0 ) + .... As f es analtica en z0 .

Contradiccin.
Otro caso es que
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
75
c0
c1
+
+ ...
b n(z z0 )n bn (z z0 )n1
Por lo tanto, f tiene un polo de orden n en z0 . Contradiccin.
Luego f (z) = w0 +
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, corresponden 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
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.
76
Residuos
Teorema 72 (De residuos) Sea f meromorfa en . Sea K compacto en

con borde . Entonces
1
2i
Z
f (z)dz =
n
X
Res(f, zi )
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 tiene 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 X
1
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
Proposicin 74 Si f (z) =
p(z)
meromorfa, es tal que p(z0 ) 6= 0,
q(z)
77
q(z0 ) = 0 y q 0 (z0 ) 6= 0. Entonces

Res(f, z0 ) =
p(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)
q 00 (z0 )(z z0 )2
0
q (z0 )(z z0 ) +
+ ...
2!
p(z)
=
00
q (z0 )(z z0 )
q 0 (z0 ) +
+ ...
2!
(z z0 )f (z) =
Luego
lm (z z0 )f (z) =
zz0
p(z0 )
= Res (f, z0 )
q 0 (z0 )
Por otra parte

f (z) =
a1
+ 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
Res(f, z0 ) =
78
p(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
Res(tan z, /2) =
1
= 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
m
X
f (z)dz = 2i
Res(f, zi )
C
k=1
podemos calcular
Z
1
f (z)dz = 2iRes 2 f
z
C

1
,0
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
79
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:
f (w) = ... +
b2 b1
+
+ 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 anz
z
terior:

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

1
b1 b0 b1
= ... + b2 +
+ 2 + 3 + ..., |z| < R
z
z
z
z
luego

1
Res 2 f
z

1
, 0 = b1 = Res(f (z), )
z
sabemos que
Z
Z
f (z)dz +
f (z)dz = 0
C
entonces
Z
Z
f (z)dz =
f (z)dz
C
pero tenemos que

Z
f (z)dz = 2iRes(f, )
C

por lo tanto
Z
80
1
f (z)dz = 2iRes(f, ) = 2iRes 2 f
z
C
1
z2

,0
que era la afirmacin.

Ejemplo 77 Consideremos f (z) =
5z 2
analtica en todo z exterior
z(z 1)
a la circunferencia |z| = 2.
Entonces

1
z(5 2z)
f
=
z
1z
luego
1
f
z2

1
5 2z
=
z
z(1 z)
as
Z
C
5z 2
dz = 2i(5) = 10i.
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
1
2i
X
X
f 0 (z)
F (z)
dz =
F (ai ) +
F (bi )
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 ) + ...)
81
donde v es el orden del cero o polo en ai o bj con v Z. Entonces:

f 0 (z) = vav (z )v1 + ...
Luego
v
f 0 (z)
=
+ ...
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
,
f (z)

= vF ()
Por el Teorema de Residuos

Z
n
m
X
X
1
f 0 (z)
F (z)
dz =
F (ai )
F (bi )
2i
f (z)
i=1
i=1
Observacin 79 Como
1
Ind (z) =
2i
1
dw
wz
Entonces
1
Ind (0) =
2i
As
1
1
dw =
w
2i
Z
a
0 (t)
dt
(t)
1
Indf (0) =
2i
1
=
2i
1
=
2i
(f )0 (t)
dt
(f )(t)
f 0 ((t)) 0 (t)
dt
f ((t))
82
f 0 (z)
dz = V (t)
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 .
83
Demostracin. Por el Principio del Argumento, debemos probar que

Z 0 Z
f
(f + g) 0
=
.
C f
C (f + g)
Tenemos en C

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

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
=0
f
2
C (1 + g )g
esto es
Z
C
f 0g f g0
=0
(g + f )g
(5.1)
Por el Teorema anterior, basta demostrar que

Z 0
Z 0
f + g0
g
=
C f +g
C g
esto es
Z
C
f0
g0
0
+gf +g
f
g

=0
o bien
Z
C
f 0g g0f
=0
(f + g)g
que es precisamente (5,1). Esto prueba el Teorema.
5.3.
84
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
1
(z)
dz =
(z0 ) =
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))
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)!
(k1) (z0 ) =
2i
(k 1)!
=
2i
85
(z)
dz
(z z0 )k
f (z)dz
= (k 1)!Res(f, z0 )
Entonces
(k1) ((z z0 )f (z))
2i
lm
f (z)dz =
(k 1)! zz0
z (k1)
C
Z
de donde
1
Res(f, z0 ) =
lm
(k 1)! zz0
5.4.
(k1) ((z z0 )k f (z))

z (k1)
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 suficientemente grande, se tiene por el teorema de residuos que:
Z R
Z
X
f (z)dz = 2i
f (x)dx +
Res(f, ai )
R
Im(ai )>0
Se sigue del Teorema de Residuos que:

Z +
X
f (x)dx = 2i
Res(f, ai )
Im(ai )>0
86
Z
f (z)dz 0, cuando R . Ocupamos el si-
Para justificar que:

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
Veamos, por ejemplo:

Ap (z)
Bq (z)
polinomio de grado p + 1
=
polinomio de grado q
= polinomio de grado p + 1 q 1
1
0 cuando z
z
zf (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
x2
Ejemplo 82 Demostrar que

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

z1 = ei 4 ; z2 = e
3i
4
Adems, f (z) =
z2
(zz1 )(zz2 )(zz3 )(zz4 ) .
; z3 = e
5i
4
; z4 = e
7i
4
87
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
Z
3i
2i i
x2
4 + e 4 ] = .
dx
=
[e
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
f (x)e
ix
f (z)eiz dz = 2i
dx +
Res(f (z)eiz , ak )
Im(ak )>0
Se sigue que:
Z
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 superior {z = ei / R0 ; 1 2 , donde 0 1 2 . Si
lm g(z) = 0 y > 0, entonces:
Z
lm
g(z)eiz dz = 0
88
Demostracin. Sea R (t) = eit , con t [1 , 2 ]. Entonces:

Z

iz
g(z)e
R

Z 2

it
it
ie
it
g(e )e
ie dt
dz =
Z 12

it
it i(cost+isint)

ie dt
g(e ) e
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
| g(eit ) | esint dt 0,
cuando .
Z
Ejercicio 84 Calcular
0
cosx
eiz
dx.
Usar
f
(z)
=
.
(x2 + 1)2
(z 2 + 1)2
R(senx, cosx)dx, donde R(x, y) es una funcin racional de dos
III)
0
variables reales, se puede escribir como:

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

1
2z
dz
iz
1
dz
2
|z|=1 2az + z + 1
Notar que:
2
z + 2az + 1 = 0 z =
2a
4a2 4
p
= a a2 1.
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
4
2
1
= 4 lm
=
=
.
zz1 z z2
z1 z2
a2 1
IV) Supongamos que f (z) =
Ap (a)
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
90
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.
Z
X

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

q p + 1).
Ahora probaremos que
Z
lm
0
g(z)dz = i Res (g(z), a0 )
,0
donde g (z) = f (z) eiz .

En efecto, como z = a0 es polo real simple de g(z):
g(z) =
b1
+ c0 + c1 (z a0 ) + c2 (z a0 )2 + ...
(z a0 )
Si consideramos:
h(z) g(z)
b1
= 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,
91
| z a0 | 1
Luego:

Z

Z 0

h (,0 (t)) 0 ,0 (t)dt
h (z) dz =

,0
Z
0

,0 (t)dt
M
Z0
dt = M
= M
0
Z
Por lo tanto lm
h(z)dz = 0.
Z
Como queremos probar que lm
g(z)dz = iRes(g(z), a0 ), obtene0
,0
Z
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
0
,0
Donde:
Z
lm
,0
1
dz = lm
0
z a0
1
ieit dt = i.
it
e
Luego, la igualdad queda demostrada.

Z
Ejercicio 86 Demostrar que
0
sinx
dx = .
x
2
V) Consideremos
Z
0
xa1 f (x)dx;
0 < a < 1.
92
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
x
0
2i X
Res(z a1 f (z), ak ).
f (x)dx =
2ia
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,
Entonces:
Z
f (z)z
a1
ak 6=0
dz =
R,r,
+
=
+
=
+
R
a1
f (z)z a1 dz
R Z
Zr r
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
r
Z R
(1 e2ia )
f (x)xa1 dx
Z
r
Z
f (z)z a1 dz +
f (z)z a1 dz
f (x)x
dx +
93
Donde:
Z

a1

Z 2

a1
i(a1)t
it
it
R e
f (Re )Rie dt
f (z)dz =

Z0 2

Ra f (Reit )eiat idt
=
Z 02
a

R f Reit dt 0.
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,
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
1
f (z) =
2i
f (w)
dw
(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
1
f (w)
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
1
(|z|2 1)
=
f (w)dw
2i (w z)(wz 1)
Ya que
1
1
wz w
1
z
(w z1 ) (w z)
=
(w z)(w z1 )
z z1
=
(w z)(w z1 )
|z|2 1
=
(w z)(wz 1)
Luego
Z 2
|z|2 1
1
f (z) =
f (eit )ieit dt
it
it
2i 0 (e z)(e z 1)
Z 2
|z|2 1
1
=
f (eit )dt
it
it
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
=
f (eit dt
i(t)
2
2 Z0 |re
1|
2
1
=
Pr ( t)f (eit )dt
2 0
donde Pr (x) =
1 r2
y es llamado ncleo de Poisson.
|1 reix |2
94
95
Observemos que calculando obtenemos

Pr (x) =
1 r2
1 r2
1 r2
=
=
|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
1
u(z0 + re ) =
2
i
Pr ( t)u(z0 + Reit )dt.
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
1
2
Pr (t )dt = 1.
0
96
Una aplicacin de la frmula de Poisson es que podemos resolver el problema 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
f (z) =
=
=
=
donde (t) = eit .
Z 2 it
1
e + z it
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

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

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

e +z
1 |z|2
1 r2
= Pr ( t).
=
=
Re it
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

1
it
i
u rei g ei =
P
(
t)
g
e
dt
g
e
r
2

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
97
98

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

I1
2
Pr (x)dx
Adems notemos que

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

As
Pr ()
I2
2
|g(ei(+x) ) g(ei )|dx
pi
Sea M = maxx |g(ei(+x) )|, entonces

I2 2M Pr ()
Si hacemos r 1
0
1 r2
=
=0
r1 1 2r cos() + r 2
2 2 cos()
lm
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)) =
99
log(|f (z)|), obtenemos

1
log |f (z)| =
2
Pr ( t) ln |f (eit )|dt
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 suponga que f (z) 6= 0 en D.
Sean a1 , a2 , ...an los ceros de f en D.
Entonces
n
X

Z 2
z aj
1
+
log |f (z)| =
log
Pr ( t)log|f (eit )|dt

1 aj z
2 0
j=1
Demostracin. Sea g(z) = f (z)
n
Y
1 aj z
j=1
z aj
para |z| < R y R < 1.
Recordemos que para cada ai con |ai | < 1

ai (z) =
z ai
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
100
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
1
ln |g(z)| =
2
Pr ( t) ln |g(eit )|dt
Luego de lo anterior tenemos que

!

Z 2
n
Y
1
1 aj z

ln |f (z)| + ln (
) =

z aj
2 0
j=1
luego tenemos

Z 2
n
X
z aj
1

ln |f (z)| =
1 aj z + 2
0
j=1
Z
n
2
X
1
|z aj |
+
Pr ( t) ln |f (eit )|dt
=
|1 aj z| 2 0
j=1
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.
101
Sean a1 , a2 , ...an los ceros de f en D, repetidos de acuerdo a su multiplicidad. Entonces

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

Pr (x) =
1 r2
|1 reix |2
entonces P0 (x) = 1, de donde sale el resultado usando el teorema anterior.

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
102
para z D.
f (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
Entonces g(z) =
acuerdo al principio del mximo para g

f (w)
f (z)

Sup|w|=r
Sup|w|=r 1 = 1
w
z
|w| r
Haciendo ahora r 1 se obtiene |f (z)| |z| para todo z D.
Por otra parte, si g(z) =
f (z)
z
= f 0 (0) + f 00 (0)z + ..., es claro que
|f 0 (0)| = lm |
z0
f (z)
| 1.
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.
Por otra parte, supongamos que |f 0 (0)| = 1. Entonces como g(z) =
f (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.
103
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
con |a| < 1.
1 az
En efecto, es claro que f (a) = 0. Veamos que f (D) D. Para esto basta
Un ejemplo de tal funcin es el siguiente f (z) =
ver que
f ({z C : |z| = 1}) {z C : |z| = 1}
Veamos, sea z tal que |z| = 1, entonces zz = 1 z =
1
de donde
z

1
1

|z a| = a = (1 za) = |z(1 za)| = |z||1 az|
z
z
entonces

za
= |z a| = |z| = 1
|f (z)| =
1 az |1 az|
Esto prueba la afirmacin.
Note adems que f es invertible (1-1) ya que, de hecho
f 1 (w) =
w+a
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.
Observacin 93 Si denotamos a (z) =
za
, vemos que 1
a = a .
1 az
104
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
f (z) = c
za
.
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
0a (z)
(1 + az) a(z a)
1 |a|2
=
=
(1 + az)2
(1 + az)2
Por lo tanto
|f 0 (a)|
1
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
1 |a|2
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
(f
)
(0)

2
(1 |a| )
0a (z)
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
|f 0 (a)| = | 1 0 |
2
1 |a|
(f ) (0)
1 |a|2
entonces
|f 0 (a)| =
1
1 |a|2
Con lo anterior podemos ver que

1 |a|2
0
2

|g (0)| = f (a)(1 |a| ) =
=1
1 |a|2
0
Por lema de Schwarz g(z) = cz con |c| = 1, entonces

f a (z) = cz
con |c| = 1 y as
f (z) = ca (z)
105
Captulo 6
Ejercicios
6.1.
Ejercicios resueltos

i+z
1
1 + iz
i
= ln
.
1. Demuestre que Arctan(z) = ln
2
iz
2i
1 iz
Solucin:
Sea w = arctan(z) entonces
tan(w) = z
sin(w)
= 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:
iz
1 + iz
=
.
1 iz
i+z
Entonces

0 = ln
i+z
iz

1 + iz
1 iz

i+z
= ln
iz
1 + iz
+ ln
1 iz

.
1
obtenemos finalmente
2i

1
1 + iz
1
i+z
i
i+z
ln
ln
=
= ln
.
2i
1 iz
2i
iz
2
iz
Multiplicando por
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:
Sea f (x) =
|xy| = u(x, y)+iv(x, y), donde u(x, y) =
p
|xy| y v(x, y) =
0. Tenemos
u
u(h, 0) u(0, 0)
v
(0, 0) = lm
=0=
(0, 0)
h0
x
h
y
v
u
u(0, h) u(0, 0)
(0, 0) = lm
=0=
(0, 0).
h0
y
h
x
Para ver que f 0 (0) no existe observamos que:
p
p
|xy|
|xy|z
f
(z)
f
(0)
f 0 (0) = lm
= lm
= lm
z0
z0
z0
z0
z
|z|2
!
p
p
p
|xy|(x iy)
x |xy|
y |xy|
= lm
= lm
i 2
z0
x2 + y 2
x2 + y 2
x + y2
(x,y)(0,0)
108
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:
y y
u
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
4. Halle una transformacin de Mbius que deje fijos los puntos

5 3
2, y que lleve el punto + i en .
4 4
1
2
109
Solucin:
w=
z(1 4i) 2(1 i)

.
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
entonces g 0 (z) =
y as, podemos escribir
z+1
(1 + z)2
z2
2 0
z g (z) =
.
(z + 1)2
Recordemos ahora que para |z| < 1 tenemos
Sea g(z) =
X
1
=
(1)n z n .
1+z
n=0
Entonces
X
z
=
(1)n z n+1
z + 1 n=0
y luego
z 0 X
g (z) = (
) =
(1)n (n + 1)z n .
z+1
n=0
0
De esta manera obtenemos, para |z| < 1 la expresin
X
X
z2
n
n+2
=
(1) (n + 1)z
=
(1)(m 1)z m .
2
(1 + z)
n=0
m=2
z z1
. Demuestre que la preimagen de la familia | w |=
z z2
es una familia de crculos para cada 6= 1.
6. Sea w =
110
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:
w=
2i(z + 1)
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
z0
z
Por lo tanto T diferenciable y T 0 (0) = 0.
111
Veamos que no lo es en otro punto

T (z) T (z0 )
zRe(z) z0 Re(z0 )
= lm
zz0
zz0
z z0
z z0
z(z + z) z0 (z0 + z0 )
1
lm
.
=
2 zz0
z z0
lm
Si
z =
=
=
=
=
=
1 zz + zz z0 z0 z0 z0
2
z z0
zz z0 z0 + zz z0 z0
1
lm
2 zz0
z z0
(z z0 )z + z0 z z0 z0 + (z z0 )z + z0 z z0 z0 )
1
lm
2 zz0
z z0
z z0
1
lm z + z 0 + z + z0
2 zz0
z z0
1
(z z0 )
(z + z0 + z0 ) + z0 lm
zz0 z z0
2
1
h
(z + z0 + z0 ) + z0 lm
h0 h
2
y
h
h0 h
lm
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
112
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
113
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) .
114
Caso 1: u = 1.
e(1+i)z = 1 por lo tanto z =
2ki
.
1+i
Caso 2: u = ei(+2z) por lo tanto z =
12. Sea f (z) =
(2k + 1)
.
i+1
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:
(i) f (z) =
zn =
n=0
1
= (1 z)1 .
1z
f (n) (a)
.
f (z) =
an (z a) con an =
n!
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
(1
a)
n=0
(ii) a [0, 1).
13. Considere la funcin f (z) =
X
zn
n=1
115
(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 analticamente.
Solucin:
(i) f (z) =
X
zn
n=1
f (z) =
= ln(1 z).
an (z + 1/2)n con an =
n=1
f 0 (z) =
f n (1/2)
n!
1
= (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
1
2
(z + 1/2)n
f (z) = ln(3/2) +
3
n
n=1
p
2
(ii) (R) = lm sup n |an | = .
3
3
Por lo tanto R =
y |z + 1/2| < 3/2 .
2
1
X
zn
2)n
14. Sean f (z) =
y g(z) = i +
(1)
. Observe
n
n
n=1
n=1
que ambas series de potencia no tienen dominio de convergencia en comn.
n (z
Sin embargo:
Demuestre que la funcin g(z) es continuacin analtica de la funcin
116
f (z).
Solucin:
n
X
X
zn
n (z 2)
f (z) =
y g(z) = c +
(1)
.
n
n
n=0
n=1
Z
|z|dz donde es el semicrculo |z| = 1,
15. Evale la integral
/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
/2
|z|dz =
/2
0 (t)dt = (/2) (/2)
|(t)| (t)dt =
/2
/2
Donde (/2) = ei/2 = i y (/2) = i.

As
Z
|z|dz = i (i) = 2i.
dz
dz donde es el crculo |z| = 1, y
z
1 = i (esto significa que el punto de partida es z = 1).

16. Evale la integral
Solucin:
Tenemos
Z
Z 2 0
Z

1
(t)
it/2
i/2
i/2
dz =
p
ie dt = 2 e
dt =
e
= 4i.
z
(t)
0
117
Z
ln(z)dz donde es el crculo |z| = 1, y
17. Evaluar la integral
i
.
2
Solucin
ln(i) =
Tenemos
Z /2
/2
3/2
/2
teit = 2.
itie dt =
ln ((t)) (t)dt =
3/2
it
3/2
z dz donde C y 1 = 1.
18. Evaluar
|z|=1
Solucin:
Z
Z
z dz =
|z|
((t)) (t)dt =
it it
ie e dt = i
e(+1)t dt.
As,
si = 1
Z
z dz = 2i.
|z|=1
si 6= 1
Z
z dz =
|z|=1
1
(e2i 1).
( + 1)
2R
|dz|
< 2
.
|R |a|2 |
|z|=R |z a||z + a|
Z
19. Si |a| =
6 R, demuestre que
Solucin:
|dz|
=
|z
a||z
+
a|
|z|=R
Z
0
Rdt
|(t) a||(t) + a|
118
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
Rdt
|(t) a||(t) + a|
Z
0
Rdt
2R
=
.
|R2 |a|2 | |R2 |a|2 |
20.
z :=Zrei C y un camino que une a 1 y z. Demuestre
Z Sea
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
Z
0
Z 1
(z 1)
0 (t)
dt =
dt = ln(z) ln(1)
(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
119
g : [0, 1] C por
Z
g(t) =
0
0 (s)
ds
(s) z0
y demuestre que la funcin h(t) = eg(t) ((t) z0 ) es constante.

Solucin:
Tenemos que
1
Ind (z0 ) =
2i
Z
Consideremos g(t) =
z 0) se tiene:
dz
1
=
(z z0 ) 2i
Z
0
0 (t)
dt
(t) z0
0 (s)
ds; entonces si h(t) = eg(t) ((t)
((s) z0 )
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
120
luego
g(1) = 2ki
Por lo tanto
1
g(1) = k.
2i
Ind (z0 ) =
ln(z)
dz para cada n N {0}, donde (t) =
n
z
0 t 2.
22. Calcule
1 + 12 eit ,
Solucin:
ln(z)
f (z) = n es analtica en el disco. Por lo tanto
z
Z
ln(z)
=0
n
z
para todo n 0.
Z
23. Calcule
m N.
z 1/m
dz donde (t) = 1 + 12 eit ,
m
(z 1)
Solucin:
Sabemos que
f
(n)
n!
(z0 ) =
2i
f (w)
dw
(w z0 )(n+1)
entonces
f
(n1)
(m 1)!
(z0 ) =
2i
Sea f (z) = z 1/m , entonces

1
f 0 (z) = z (1/m) 1
m
f (w)
dw
(w z0 )m
0 t 2 y
121

1
1 z (1/m)2
m

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

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

1 1
1
1
(m1)
f
(w) =
1
2 ...
(m 2) z (1/m)(m1)
m m
m
m
1
f 00 (z) =
m
Por lo tanto
Z
2i
z 1/m
dz
=
f (m1) (1)
m
(m 1)!
(z 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:
si |z| < 1 entonces
1
(1 iz)
X
1
=
zn
(1 z) n0
X
=
(iz)n si |z| < 1.
n0
As
X
1
=
(i)n1 z n
i(1 iz) n0
si |z| < 1.
Entonces
X
1
=
(i)n1 z n
(i + z) n0
122
si |z| < 1.
Luego
ln(i + z) =
n1
(i)
n0
z n+1
n+1
si |z| < 1.
Por lo tanto
ln(w) =
(i)
n0
i)n+1
n+1
n1 (w
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.
b)f (1) = 1/2, f (2) = 2/3, f (1/3) = 3/4, ...f (1/n) =
Sea f (z) =
1
, cumple lo pedido, ya que f ( n1 ) =
1+z
n
.
n+1
n
1+n .
26. Suponga que al menos una de las desigualdades de Cauchy es una
igualdad, esto es: |ck | =
123
M (r)
. Demuestre que la funcin f (z) tiene la
rk
forma f (z) = ck z k .
Solucin:
Consideremos
n+c n+1
f (z) = c0 + c1 z + c 2z 2 + ...cn zn+1
z
+ ...
Por hiptesis tenemos

|f k (0)|
1
|ck | =
= Sup|w|=r |f (w)| k
n!
r
Entonces
f ( k)(0)
|
Sup|w|=r |f (w)| = r |
n!
k
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
, g analtica y no constante en . Entonces, por el
f (z)
Principio del Mdulo Mximo, |g(z)| no puede alcanzar su mximo valor
Sea g(z) =
124
en . Pus
Supz |g(z)| = Supz |
1
| = 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
=
=
(2 z) 1
z1
z1
2z+1
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
1+z+z

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

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

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

1
dz.
sin
z
|z|=r
2
Solucin:
sin z
sin
1
z
z3 z5
= z + ...
3! 5!
=
1
=
sin2
z
=
1
1
1
+
...
z 3!z 3 5!z 5

1
1
1
1
1
1
+
...
+
...
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
127
y as
1
2i

1
sin
= 0.
z
|z|=r
2

za
; 1 , a R.
32. Halle Res
1 z
Solucin:
z
1+ z
(1 + z)z

=
.
z1
1 z 1+ z

Adems
(1 +
z
(1 +
z) = a0 + a1 (z 1) + a2 (z 1)2 + ...
= ea ln z = b0 + b1 (z 1) + b2 (z 1)2 + ...
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
,1
Res
1 z

= f (1 1)e2kia .
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).
128
Solucin:
f (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|.
i) Sea g(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
34. Evale :
|za|=a
z4
129
z
dz;
1
a > 1.
Solucin:
z
z
=
(z)4 1 (z 1)(z 3 + z 2 + z + 1)
Entonces
Z
2i i
f (z)
dz = 2if (1) =
=
4
2
|za|=a z 1
z
donde f (z) = 3
es analtica en |z a| < a.
z + z2 + z + 1
1
35. Evale :
2i
Z
C
zez
dz;
(z a)3
si a est en el interior de la curva
C.
Solucin:
Tenemos que
1
f (z) =
2i
1
2i
2
2i
f 0 (z) =
f 00 (z) =
1
Aqu f (a) =
i
Entonces
00
Z
C
f (w)
dw
(w z)
f (w)
dw
(w z)2
f (w)
dw
(w z)3
f (w)
dw con f (w) = wew .
3
(w a)
f 0 (w) = ew + wew
f 00 (w) = 2ew + wew
As
1
2i
Z
C
zez
2ea + aea
dz
=
= (1 + a/2)ea .
3
(z a)
2
130
36. Calcule una expansin de la funcin f (z) =
1
en serie de
z2
Laurent en una vecindad de z = .

Solucin:
1
. La expancin en torno a z = es por definicin, la
z 2
1
expancin de f
en torno de z = 0. As
z
Sea f (z) =
1
f( ) =
z
1
z
X
z
1
=
=z
2n z n
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
wn+1
n=0
si |w| > 2 que es la expresin pedida.
1
,
(z a)(z b)
donde 0 < |a| < |b|, en serie de Laurent en una vecindad de:
37. Calcule una expansin de la funcin f (z) =
i) z = 0.
ii) z = a.
Solucin:
i) En z = 0 tenemos
131
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
X
z
zn
1
=
(b a) n=0 an+1 bn+1
!
n+1
n+1
X
1
(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 )
X
1
(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
X
1
1
(z a)
=
+
(a b) (z a) n=0 (b a)n+a
132
si |z a| < |b a|.
38. Encuentre y clasifique todas las singularidades de la funcin

f (z) =
z7

1
(z 2 4)2 cos
z2
.
Solucin:
1
z7
z7
cos(
)=
1
(z 2)2 (z + 2)2
z2
(z 2)2 (z + 2)2 (1 + (z2)
+
1
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
son todas las singularidades de f (z).
Por lo tanto zk =
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:
133
f (z)
; entonces g es analtica an en z = 0 pues f (0) = 0.
z
Por el principio del mdulo mximo tenemos
Sea g(z) =
Sup|z|<1 |g(z)| = Sup|z|=1 |g(z)| = Sup|z|=1
f (z)
= Sup|f (z)|
z
Ya que |f (z)| 1 se obtiene Sup|z|<1 |g(z)| 1.

Entonces |f (z)| |z| para |z| < 1.
41. Expandir la funcin f (z) =
1
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
134
ii)
1
1
1
=
+
z(1 z)
z 1z
1
1
+
=
(1 + 1 z) 1 z
1
1
=
+
1 (1 z) 1 z
X
1
=
+
(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
1
2
4
=
z
=
(1
+
z
+
z
+
...)
=
+ z + z 3 + ...
2
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)
donde g(z) =
1
es analtica en z = 1.
z(1 + z)
Entonces
1
1
a0
2
=
(a
+
a
(1
z)
+
a
(1
z)
)
+
...
=
+ a1 + a2 + ...
0
1
2
z(1 z 2 ) 1 z
1z
135
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
=
z
1 (1 + z + 2!2 + ...) 1
1
1
=
=
2
z
z + z2! + ... z(1 + 2! + ...)
g(z)
=
z
f (z) =
donde g(z) =
1
1+
z
2!
+ ...
ez
es analtica en z = 0.
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
z
X
n=0
an (z 2ki)n
X
1
=
(z 2ki)n
n!
n=0
(z 2ki)2
= 1 + (z 2ki) +
+ ...
2!
136
Entonces

(z 2ki)
+ ...
e 1 = (z 2ki) 1 +
1!

de aqu tenemos
1
h(z)
=
(ez 1) (z 2ki)
1
es analtica en z = 2ki.
(z 2ki)
1+
+ ...
2!
1
1
1
y tambin de z
.
As z = 2ki es un polo de orden 1 de z
e 1
e 1 z
donde h(z) =
43. Evaluar:
Z
z
dz.
sin(z)(1
cos(z))
|z|=3
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,
137
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 + ...
46. Halle los residuos de la funcin f (z) =
z2 + z 1
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.
138
Entonces tenemos
z2 + z 1
Res(f, 1) = lm(z 1)f (z) = lm
=1
z1
z1
z2
z2 + z 1
2
(z f (z)) = lm (
) = 0.
z0 z
z0 z
z1
Res(f, 0) = lm
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
f (w) =
A
+ a0 + a 1(w (a)) + ...
w (a)
Entonces
f ((z)) =
A
+ a0 + a1 ((z) (a)) + ...
(z) (a)
donde (z) = (a) + b1 (z a) + b2 (z a)2 + ... con b1 = 0 (a) 6= 0.
As
(f )(z) =
A
b1 (z a)(1 + bb12 (z a) + ...)
entonces
Res(f , a) =
A
.
0 (a)
48. Evale
1
2i

1
sen
dz.
z
|z|=r
A
+ ...
0 (a)(z a)
139
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
1
2i
1
sin dz = 1.
z
|z|=r
49. Evale
1
2i
z n e2/z dz
|z|=r
siempre que n 1.
Solucin:
w
e2/z
z n e2/z
w2
+ ...
= 1+w+
2!2
2
2
= 1+ +
+ ...
z 2!z 2 2 n2
2z
2k z nk
n
n1
= z + 2z
+
+ ...
+ ...
2!
n!
Entonces Res(z n e2/z , 0) =
50. Sea a R,
2n+1
.
(n + 1)!
a > 1. Calcule
Z
d
.
a + cos
Solucin:
Z
1
d =
a + cos
140
2
dz
=
z+z
i
|z|=1 (a + 2 )iz
1
Observamos que z 2 + 2az + 1 = (z + a +

As
Z
1
4
d =
a + cos
2i
=
Z
|z|=1
(z + a +
1
dz
2 + 2az + 1
z
|z|=1
a2 1)(z + a
a2 1).
a2 1)(z + a a2 1)
2
.
a2 1
51. Calcule
Z
x2
xsenx
dx.
+ 2x + 2
Solucin:
zeiz
en donde z 2 +2z+2 = 0 si y slo si z = 1+i
Sea f (z) = 2
z + 2z + 2
S
y z = 1 i, luego consideramos = CR [R, R].
Entonces
Z
f (z)dz =
Notar que
Z
R
CR
f (z)dz +
CR
f (x)dx
R
f (z)dz 0 por Lema de Jordan. Por otra parte
zeiz
dz = 2iRes(f, 1 + i) = (1 + i)e1i
2
z + 2z + 2
Entonces
R
xeix
lm
dx = (1 i)e1i
2
n R x + 2x + 2
Z
As
x2
141
x sin x
dx = (cos 1 + sin 1).
+ 2x + 2
e
ez
dz.
2 (z 2 9)
z
|z|=1
Z
52. Evaluar
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

Z
ez
z 2 ez
2i
dz
=
2i
Res(f,
0)
=
2i
l
m
=
2 2
z0 z
z 2 (z 2 9)
9
|z|=1 z (z 9)
Z
53. Evaluar
0
dt
donde a > 1. Ayuda: Hacer z = eit .
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
Z
Z
1
2 2
1
2
1
dt =
dz
=
dz
1
2 + 2az + 1
a
+
cos
t
i
i
z
z(2a
+
z
+
)
0
0
|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

p
1
1
Res 2
, a + a2 1 =
z + 2az + 1
2 a2 1
As
2
i
142

p
1
2
1
dz = 2i Res 2
, a + a2 1
2
i
z + 2az + 1
|z|=1 z + 2az + 1
2
=
.
a2 1
54. Evaluar
0
x2 + 1
dx.
x4 + 1
Solucin:
Vemos que las singularidades son polos simples en z1 = ei/4 ,
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
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
x2 + 1
dx = 2
4
x + 1
Como el argumento es una funcin par entonces podemos escribir
Z 2
x +1
2
dx =
.
x4 + 1
2
0
143
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
Z
y
f (t)
f (z) =
dt
(t x)2 + y 2
Ayuda: Demuestre que
1
f (z) =
1i
y que
1
0=
2i
f (x)
dx
(x z)
f (x)
dx.
(x z)
Solucin:
Por frmula de Cauchy en el camino (t) = t con < t < se
144
tiene que
1
2i
f (w)
dw = f (z)siz H+ 0sizH+
(w z)
Y notamos que
Z
f (w)
dw =
(w z)
f (x)
dx
(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
(t z) (t z)

=
zz
2iy
=
t2 tz tz + |z|2
t2 2tx + x2 + y 2
con z = x + iy y z = x iy. Por lo tanto

Z
1
yf (t)
dt
f (z) =
(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
1
u(x, y) =
y
u(t, 0)dt
2
(t x) + y2
Adems u(x, y) 0 cuando (x, y) .
57. Evaluar
Z
cos(x)
dx,
2
2
x + a
Solucin:
a > 0.
145
ei z
y las singularidades son z = ia donde slo
z 2 + a2
ia ( semicircunferencia de radio a sobre el eje real).
Usamos que f (z) =
Por lo tanto
Z
f (z)dz = 2i Res(f, ia) = 2i lm
(z ia)ez
= ea
zia (z ia)(z + ia)
a
y por el otro lado

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

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

Luego
1 + 2w + ...nwn1 =
(1 + w + ...wn1 ) + nwn
0 + nwn
n
=
=
.
1w
1w
1w
59. Sea f : C D definida por f (z) =
z
, donde D := {z :
1 + |z|
|z| < 1}.

f
.
z
f
ii)Encuentre
.
z
Solucin:
i)Encuentre
i)
f (z) =
Entonces
1+
zz
(|z|)
z z
f
=
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
z 2
2|z|
=
.
=
z
(1 + |z|)2
2|z|(1 + |z|)2
147
ii)
1(1 + |z|) z z
(|z|)
f
=
z
(1 + |z|)2
pero
|z|2 = zz
entonces
2|z|
(|z|) = z
z
as
z
(|z|) =
z
2|z|
Por lo tanto
2 + |z|
f
=
.
z
2(1 + |z|)2
60. Encuentre los valores de z para los cuales es convergente la serie
X
n=0
z n
)
1+z
Solucin:
Sea w =
z
entonces
1+z
z n X n
(
) =
w
1
+
z
n=0
n=0
que
converge
slo si |w| < 1. Luego la serie pedida converge slo si

z

z + 1 < 1.

az + b
= 1 con a, b C.
61. Si |z| = 1, demuestre que
bz + a
148
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
(t) =
1 (t) z
0 (t) z
con t [0, 1] y compruebe que la trayectoria est contenida en D(1, 1) :=

{z C : |z 1| < 1}.
Solucin:
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)| 0 (t)
1 (t) z
|(t) 1| =
1 =
<1
0 (t) z
|0 (t) z|
149
luego Traza() D(1, 1) y por propiedades de ndice concluimos

que Ind (0) = 0.
As
1
2i
Z
0
Z 1 0
0 (t)
1
(t)(0(t) z) 0 0(t)(1 (t) z)
dt =
dt
(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
dz.
i)
2
z +8
Z
z
dz.
ii)
2z + 1
Z
cosh z
dz.
iii)
z4
Solucin:

cos z
2, 2 2}, por lo tanto es
es
analtica
en
C
\
{2
z2 + 8 Z
cos z
dz = 0 por el Teorema de Cauchy.
holomorfa en , y as
2
z +8
z
ii) Vemos que
es analtica en C \ {1/2}, luego por la frmula
2z + 1
integral de Cauchy tenemos
Z
Z
z
1
z
i
dz =
dz
=
.
2 z + 21
2
2z + 1
i) Vemos que
150
iii) Usando la frmula integral de Cauchy para la tercera derivada tenemos

Z
2i 3 (cosh z) i
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
Por lo tanto
v
v
=0y
= 0.
y
x
As v es constante y entonces f es constante.

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

Z
Z
i
ieit
dt = i
eit/2 = (1)2(i 1) = 2(1 i).
it/2
i
e
e
0 e
0
Z
66. Evaluar
ez
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)
1
2i
1
f (z)dz = f (0) = 1
z
con f (z) =
e
.
(1 z)3
ii)
1
2i
1
1 00
e
f
(z)dz
=
f
(1)
=
(z 1)3
2
2
ez
con f (z) =
.
z
iii)
1
2i
1
ez
dz
=
z(1 z)3
2i
ez
dz = Res(f, 0) + Res(f, 1)
z(z 1)3
donde
ez
=1
z0 (z 1)3
Res(f, 0) = lm
152
y
ez
e
1 2
3
((z 1)
)=
Res(f, 1) = lm
2
3
z1 2 z
z(z 1)
2
As
1
2i
e
ez
dz
=
1
.
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:
1
f (z) =
2i
0
f (w)
dw
(w z)2
con (t) = reit y 0 t 2.

Entonces
1
f (0) =
2i
0
f (w)
1
dw
=
w2
2i
Z
0
f (reit ) it
1
rie
dt
=
r2 e2it
2
Z
0
f (reit )
dt
reit
Luego
1
|f 0 (0)|
2
Z
0
|f (reit )|
1
dt
r
2r
dt =
0
1
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 ,
153
para |z| > R. Demuestre que f es un polinomio de grado n.

Solucin:
Como f (z) =
X f (n) (0)
n
n!
zn y
k!M (r)
rk
k!M rnk 0
|f (k) (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
|f (n) (0)|
n!
M (r)
rn
con M (r) = max|z|=r |f (z)| M r1/2 .

Entonces
|f (n) (0)|
n!
rn1/2
154
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
z C\{0}, z = x + iy,
155
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
w=
z+1
.
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
z C\{0},
z = x + iy.
13. Determnense todos los polinomios armnicos de la forma

u(x, y) = ax3 + bx2 y + cxy 2 + dy 3 ,
156
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:
157
Podemos escribir:
|z| = 1 z = ei
As tendremos
T (ei ) =
ei
ei
1
=
=
<0
(1 ei )2
(1 2ei + e2i ) 2(cos() 1)
con
1
R.
2(cos() 1)
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
z C\{0}, z = x + iy,
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 ,
158
no es analtica.
26. Utilizando las ecuaciones de Cauchy-Riemann, demuestre que la funcin
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.
Z
2
ez
31. Calcule
dz donde es el rectngulo limitado por x = 0,
z1
x = 3, y = 1 e y = 1.
Z
z+1
32. Calcule
dz, donde es el crculo de centro
3 (z 4)
(z
1)
0 y radio 2.
159
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.
160
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
f (z) =
1
,
(1 z)n
|z| < 1,
donde n 1 es un nmero natural arbitrario.

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:

P
k n
a)
n=0 an z .
P
kn
b)
n=0 an z .
P
n2
c)
a
z
.
n
n=0
Donde k 1 es un nmero natural.
161
44. Demuestre que existe una nica funcin u(z) definida por una serie
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

Z
dz
1
=
i.
2
3
|z|=1 z sinh z
|f (z)|
M para cierto k. Entonces f es un polinomio
1 + |z|k
de grado a lo ms k.
46. Si f entera y
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:
Z
f (w)
1
dw =
n+1
n!
|wz|=R (w z)
f (n) (w)
dw.
|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) .
162
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
Z
eiz
dz.
2+1
z
|z|=2
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.
163
56. Clasifique todas las singularidades de la funcin

f (z) =
(z 2 1)(z 2)2
.
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. Demuestre que |f 0 (0)| 1.
Z
z2 + 1
58. Calcule
dz; (t) = reit ; 0 t 2 para cada valor
2
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
n
Z
z
60. Sea (t) = 1 + ei ; 0 2. Hallar
dz; n 1.
z1
z2 + 1
dz; (t) = reit ; 0 t 2 para cada valor
61. Calcule
2 + 4)
z(z
posible de r: 0 < r < 2; 2 < r < .

Z
62. (2 puntos) Sea el camino [1, i] y el camino [1, 1 + i, i] .

R
R
Calcule f y f con f (z) = |z|2 .
X
zn
2)n
y g(z) = i +
(1)
. Observe que
63. Sean f (z) =
n
n
n=1
n=1
ambas series de potencia no tienen dominio de convergencia en comn.
n (z
164
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
f (z) =
1
,
(1 z)n
|z| < 1,
donde n 1 es un nmero natural arbitrario.

Z
2
66. Demuestre que
ex cosxdx = e1/4 .
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
f (z) =
en la regin 0 < |z 1| < 2.
z
(z 1)(z 3)
165
|f (z)|
M para cierto k. Entonces f es un polinomio
1 + |z|k
de grado a lo ms k.
68. Si f entera y
69. Encuentre el desarrollo en serie de Laurent de la funcin

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

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

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

Calcule
Z
C

zez
+ ze/z dz.
4
z 16
166
77. Suponga que f es una funcin analtica en todo punto de C. Demuestre que
|f (n) (0)|
n!
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
167
85. Determinar y clasificar todas las singularidades de la funcin:

f (z) =
(z 2 1)(z 2)3
.
sen3 (z)
Z
86. Calcule
dz
.
|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.
Z
ez
88. Evale
dz.
2
2 2
|z|=4 (z + )

sen(x)
1
89. Demuestre que
dx = 1
.
2
e
x(1 + x )
Z
eiz
Sugerencia: Calcule
dz en un camino apropiado.
2)
z(1
+
z
C
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
dz, donde es el crculo de centro 0 y radio
3
(z 1) (z 4)
2.
92. Sea y > 0. Demuestre que para cada x 0 se tiene
Z isx
e
ds = etx .
2
2
t
s + t
168
93. Sean a, b R tales que a > 0 y b > 0. Demuestre que

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

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

Z
0
97. Demuestre que

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

Z
cosh(ax)
dx =
,
cosh(x)
2cos(a/2)
0
m > 0.
donde |a| < 1.
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.
169
100. Calcule la integral:

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

g(z) =
1
z(z + R)
en 0 < |z| < R.

102. Calcule
Z
|z|= 2
1
dz.
sen2 (z)
103. Calcule
2
Z
0
d
.
1 + sin2
Ayuda: Considere la integral como una integral de lnea en la circunferencia |z| = 1, aplicando luego el teorema de residuos.
104. Calcule
Z
x sin(ax)
dx, a > 0.
4+4
x
105. Calcule
Z
0
ln(x)
dx.
(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
(1 + x)3
0
respecto a y tome el lmite cuando 0.
170
106. Sea una regin acotada del plano complejo con frontera orientada positivamente y suponga que f (z) es una funcin analtica en
excepto por polos simples en a1 , a2 , ..., an . Sea g(z) una funcin analtica en . Demuestre que
1
2i
Z
f (z)g(z)dz =
n
X
g(ak )Res(f ; ak ).
k=1
107. Evaluar
Z
cos(3)
d.
5 4cos()
108. Calcule
0
d
.
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

Apuntes VariableCompleja (10marzo2015)

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Apuntes VariableCompleja (10marzo2015)

Hochgeladen von

Copyright:

Verfügbare Formate

Variable Compleja

Teora, problemas resueltos y propuestos

se dedica a construir la primera equivalencia prctica de funcin analtica

1.2. Propiedades algebraicas . . . . . . . . . . . . . . . . . . .

1.3. Representacin geomtrica . . . . . . . . . . . . . . . . .

1.4. Ecuacin del crculo y de la recta . . . . . . . . . . . . . .

1.5. Proyeccin estereogrfica . . . . . . . . . . . . . . . . . .

1.7. Funciones bsicas . . . . . . . . . . . . . . . . . . . . . .

2. Funciones de Variable Compleja

2.1. Funciones analticas . . . . . . . . . . . . . . . . . . . . .

2.2. Algunas funciones de variable compleja. . . . . . . . . . .

3.1. Series de Taylor . . . . . . . . . . . . . . . . . . . . . . .

3.2. Representaciones por series de Taylor . . . . . . . . . . .

3.3. Serie geomtrica . . . . . . . . . . . . . . . . . . . . . . .

3.4. Extensin analtica . . . . . . . . . . . . . . . . . . . . .

3.6. Transformaciones conformes . . . . . . . . . . . . . . . .

4.1. Definicin y propiedades . . . . . . . . . . . . . . . . . .

4.2. Frmula de Cauchy . . . . . . . . . . . . . . . . . . . . .

4.3. Teora del ndice y homotopa . . . . . . . . . . . . . . . .

4.4. Teoremas fundamentales . . . . . . . . . . . . . . . . . .

5.1. Desarrollo en serie de Laurent . . . . . . . . . . . . . . .

5.3. Clculo de integrales . . . . . . . . . . . . . . . . . . . .

5.4. Aplicacin del teorema de residuos . . . . . . . . . . . . .

5.5. Frmula de Poisson . . . . . . . . . . . . . . . . . . . . .

5.6. Frmula de Jensen

5.7. Automorfismos del disco unitario . . . . . . . . . . . . . . 101

6.1. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . 106

La primera nocin de un nmero complejo fue descubierta en conexin

La idea es escribir, formalmente, z = 1; pero no existe nmero

Se comprende mejor al analizar los complejos | x |< 1. (Note que si

la cual da sentido a la frmula integral de Cauchy:

El conjunto de los nmeros complejos C es un cuerpo con la suma y el

Otra forma de definir el conjunto de los nmeros complejos:

| z | = (a2 + b2 ) 2 es el valor absoluto de z.

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

problema en general es que Arg(z) es una funcin multivariable. De esta

Propiedades de la funcin exponencial

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

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

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

Por lo tanto P (A) es:

La forma comn de calcular la distancia en C es:

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

6. Dominio: Es un abierto conexo.

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

5. Transformaciones de Mbius o lineales fraccionales

Esta funcin tiene inversa, f 1 (z) =? para encontrarla utilizamos

Se invierte la matriz y queda como:

Proposicin 7 Una transformacin de Mbius es la compuesta de traslaciones, dilataciones, rotaciones e inversiones.

z |c| z |c| eiArg(c) z

En efecto, ya que S y T son invertibles, tenemos:

Son soluciones de la ecuacin:

Cunto es S(z), para cualquier z?

Basta encontrar una Transformacin que lleve z1 en 0, z2 en 1 y z3

lleva z1 en 0, mientras que

lleva z1 en 0 y z2 en 1, por ltimo

Luego, la transformacin de Mbius buscada es:

Teorema 9 Una Transformacin de Mbius lleva crculos o rectas en

Consideremos las funciones bsicas:

Si z = w b, el crculo queda como:

Ahora bien, si k0 = 0, entonces la transformacin lleva el crculo a una