Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Varcomp I
Varcomp I
Variable Compleja
Leonardo Solanilla
Digitado por Javier G. Rivera G.
Universidad del Tolima
Facultad de Ciencias
Programa de Matem
aticas con
enfasis en Estad
stica
Ibagu
e, junio de 2010
Resumen. dfghj
Indice general
1. N umeros Complejos 8
1.1. Nociones de partida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2. Representacion graca . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3. Funciones f : C C . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4. Multiplicacion Compleja . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2. Topologa C 16
2.1. Regiones y Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2. Limites y Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3. Diferenciabilidad C 21
3.1. Diferenciacion Compleja . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2. Ecuaciones de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . 23
3.3. Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.4. Funciones Importantes . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.4.1. Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.4.2. Trigonometricas . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.4.3. Hiperbolicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.4.4. Analisis de e
z
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.4.5. Logartmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.4.6. Potencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.5. Funciones Armonicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
4. Integral Compleja 42
4.1. Curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.2. Propiedades de la integral . . . . . . . . . . . . . . . . . . . . . . . . . 44
iii
INDICE GENERAL iv
4.3. Mas propiedades de la integral . . . . . . . . . . . . . . . . . . . . . . . 46
4.4. Acercamiento al teorema de Cauchy . . . . . . . . . . . . . . . . . . . . 49
4.5. Teorema Integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 52
4.6. Formula Integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 55
4.7. Consecuencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Indice de guras
1.1. Plano Complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2. Traslacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3. Conjugacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4. arg = =Argumento de . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Races cubicas de z = i . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6. Races cuadradas de z = 4 . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.1. Linea Poligonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2. Conjunto conexo y disconexo . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3. Proyeccion Estereograca . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.1. Graca e
z
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.2. Transformacion del rectangulo con e
z
. . . . . . . . . . . . . . . . . . . . 34
3.3. Transformacion del log z . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4.1. Curva : [a, b] C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.2. Tipos de curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.3. Invarianza respecto a la parametrizacion . . . . . . . . . . . . . . . . . . . 47
4.4. Posibilidades de () = t . . . . . . . . . . . . . . . . . . . . . . . . . . 47
v
CAP
ITULO 1
N umeros Complejos
1.1. Nociones de partida
Un n umero complejo esta dado de la forma z = a + ib, donde a, b R y i
2
= 1. i es
llamada la unidad imaginaria.
Denicion 1. Sean z y w dos n umero complejos cualesquiera diferentes z ,= w, se
pueden dotar de las siguientes operaciones binarias:
z + w = (a + ib) + (c + id) = (a + c) + i(b + d),
z w = (a + ib) (c + id) = (ac bd) + i(ad + bc). (1.1)
Como conjunto, los complejos forman el conjunto
C R
2
= (a, b) : a, b R.
En particular, (a, b) = (c, d) si y solo si a = c y b = d. Es posible dotar a C con una
estructura algebraica de campo con division con las operaciones binarias anteriores y
se denota C, +, ).
Ahora bien:
Si = a + ib, = a ib llamado el conjugado de .
Si , C, entonces + = +
y =
.
Si = a + ib ,= 0,
1
=
1
=
=
a
2
+b
2
=
aib
a
2
+b
2
el cual es el inverso de .
Si , C, entonces [[ =
a
2
+ b
2
es el modulo o valor absoluto de , tambien se
1.1. Nociones de partida 9
puede ver as [[
2
=
.
[[ 0, [[ = 0 si y solo si = 0, [ + [ [[ +[[.
Entonces los complejos son tambien un espacio vectorial normado. El cual posee algunas
propiedades:
[[ = [ [,
[[ = [[[[,
[
[ =
||
||
, ,= 0,
[Re()[ < [[,
[Im()[ < [[,
[[[ [[[ [ [,
[
1
2
n
[ = [
1
[[
2
[ [
n
[.
Desigualdad Triangular. Sea =
, entonces
+ =
= 2Re(
)
Consideremos
[ + [
2
= ( + )( + ) [z[
2
= z z
= ( + )( +
)
= +
+ +
= [[
2
+
+[[
2
= [[
2
+ 2Re(
) +[[
2
[[
2
+ 2[Re(
)[ +[[
2
a [a[ si a R
[[
2
+ 2[
[ +[[
2
[Re(z)[ < [z[
= [[
2
+ 2[[[
[ +[[
2
= [[
2
+ 2[[[[ +[[
2
[z[ = [ z[
= ([[ +[[)
2
Luego aplicando raz cuadrada en ambos lados obtenemos:
[ + [ [[ +[[
2
) + i sin (
1
2
))
4. Si z
j
= r
j
(cos
j
+ i sin
j
) donde j N entonces
n
j=1
z
j
=
_
n
j=1
r
j
__
cos
_
n
j=1
j
_
+ i sin
_
n
j=1
j
__
5. Potenciacion: Si todos los z
j
son iguales entonces z
j
= z, entonces
z
n
= r
n
(cos (n) + i sin (n)) (1.2)
Formula de Moivre. 5
6. Radicacion: w es una raz nesima de z si w
n
= z. As, si
w = [w[(cos + i sin ) y z = [z[(cos + i sin )
debemos tener que
w
n
= [w[
n
(cos n + i sin n) = [z[(cos + i sin ) = z
Entonces
1.4. Multiplicacion Compleja 14
a) [w[
n
= [z[ entonces [w[ =
n
_
[z[
b) arg w
n
= arg z osea n = + 2k entonces =
+2k
n
donde k Z
En verdad basta tener
=
+ 2k
n
, k = 0, 1, 2, . . . , n 1
Ya que si k = 0 entonces
0
=
n
y si k = n entonces
k
=
n
+ 2, por tanto
0
=
k
(mod2)
Las races nesima de z son
n
z = w
= [w[(cos + i sin )
=
n
_
[z[
_
cos
_
+ 2k
n
_
+ i sin
_
+ 2k
n
__
, k = 0, 1, 2, . . . , n 1
Ejemplo 1. Calcule y dibuje las races terceras de i.
w
k
=
3
i =
3
_
[i[
_
cos (
/2 + 2k
3
) + i sin (
/2 + 2k
3
)
_
con k = 0, 1, 2 [i[ = 1 y = /2 por tanto sus tres races son
w
0
= cos
_
/2
3
_
+ i sin
_
/2
3
_
= cos
_
6
_
+ i sin
_
6
_
=
3
2
+
i
2
w
1
= cos
_
/2 + 2
3
_
+ i sin
_
/2 + 2
3
_
= cos
_
5
6
_
+ i sin
_
5
6
_
=
3
2
+
i
2
w
2
= cos
_
/2 + 4
3
_
+ i sin
_
/2 + 4
3
_
= cos
_
9
6
_
+ i sin
_
9
6
_
= i
1.4. Multiplicacion Compleja 15
Figura 1.5: Races cubicas de z = i
Ejemplo 2. Calcule y dibuje la raz cuadrada de 4.
w
k
=
4 =
_
[ 4[
_
cos (
2k
2
) + i sin (
2k
2
)
_
con k = 0, 1 [ 4[ = 4 y = por tanto sus dos races son
w
0
= 2(cos
_
2
_
+ i sin
_
2
_
)
= 2i
w
1
= 2(cos
_
+ 2
2
_
+ i sin
_
+ 2
2
_
)
= 2(cos
_
3
2
_
+ i sin
_
3
2
_
)
= 2i
Figura 1.6: Races cuadradas de z = 4
CAP
ITULO 2
Topologa C
2.1. Regiones y Funciones
Una vecindad de un numero complejo z
0
es un disco abierto de radio , centrado en
z
0
.
Sea S C, z
0
S. z
0
es un punto interior de S, si contiene una vecindad de z
0
contenida en S. Si todas los puntos de S son interiores, S es abierto
Sean A
0
, A
1
, . . . , A
n
, n+1 numeros complejos. Los n segmentos A
0
A
1
, A
1
A
2
, . . . , A
n1
A
n
forman una linea quebrada o poligonal A
0
A
1
. . . A
n
que une a A
0
con A
n
.
Figura 2.1: Linea Poligonal
S es un conjunto conexo, si dados dos puntos z
1
, z
2
S existe una linea quebrada que
une a z
1
con z
2
totalmente contenida en S.
Si S es conexo y abierto entonces S es un dominio.
2.1. Regiones y Funciones 17
Figura 2.2: Conjunto conexo y disconexo
z
0
es un punto frontera de S C si toda vecindad de z
0
contiene puntos de S y
S
c
= C S.
Una region R es un dominio con ninguno, alguno o todos sus puntos frontera. Una
region que contenga todos sus puntos frontera es un conjunto cerrado.
Sea R una region. La region forrada por R y sus puntos frontera es
R (Clausura de R).
Si R es una region cerrada entonces R =
R.
Una region R es acotada si [z[ < M, M R
+
, z R.
Una region cerrada y acotada es compacta.
Sea R una region de C entonces una funcion compleja esta dada por
f : R C
z w = f(z)
Ejemplo 3. R = C, w = f(z) = z
2
R = C 1, w = f(z) =
z
1z
Las funciones se suman, multiplican y componen de manera usual. Se acostumbra
2.1. Regiones y Funciones 18
escribir una funcion de variable compleja f(z) de la forma
f(z) = u(x, y) + iv(x, y), z = x + iy
Ejemplo 4.
f(z) = z
2
= (x + iy)
2
= x
2
y
2
+ i(2xy)
Por tanto u(x, y) = x
2
y
2
y v(x, y) = 2xy
Algunos veces se adjunta un punto ideal en el innito a los complejos. Notacion: .
Una vecindad de es un conjunto de la forma
[z[ >
1
_
uniformemente continua
f(R) es acotada
[f(z)[ asume su valor maximo y su valor mnimo en R
2.2. Limites y Continuidad 20
Teorema 1 (Teorema Fundamental del Algebra). Si P es un polinomio no constante,
P(z) tiene siempre una raz en C.
Teorema 2 (Teorema de Factorizacion). Si P es un polinomio de grado n 1 entonces
P admite una factorizacion de la forma
P(z) = c(z z
1
) + c(z z
2
) + . . . + c(z z
n
)
con c, z
1
, z
2
, . . . , z
n
C.
CAP
ITULO 3
Diferenciabilidad C
3.1. Diferenciacion Compleja
Sea f : C R C una funcion. f es diferenciable en z
0
R si
lm
zz
0
f(z) f(z
0
)
z z
0
, z R z
0
EXISTE!!!
Esto equivale a la existencia de un c C tal que
f(z) = f(z
0
) + c(z z
0
) + (z), z R z
0
donde
lm
zz
0
(z)
z z
0
= 0, z R z
0
(z
0
) = lm
zz
0
f(z)f(z
0
)
zz
0
= 0 es la derivada de f en z
0
. Tambien si
z = z
0
+ h, entonces
f
(z
0
) = lm
h0
f(z
0
+ h) f(z
0
)
h
=
df
dz
[
z=z
0
Ejemplo 5. f(z) = z
n
f(z
0
+ h) f(z
0
)
h
=
(z + h)
n
z
n
h
=
z
n
+ c
n1
z
n1
h + . . . + h
n
z
n
h
=
h(c
n1
z
n1
+ c
n2
z
n2
h + . . . + h
n1
)
h
= c
n1
z
n1
+ c
n2
z
n2
h + . . . + h
n1
, si h ,= 0
3.1. Diferenciacion Compleja 22
por lo tanto
lm
h0
f(z
0
+ h) f(z
0
)
h
= lm
h0
(c
n1
z
n1
+ c
n2
z
n2
h + . . . + h
n1
) = c
n1
z
n1
= nz
n1
Todas las reglas de derivacion en la variable real se cumplen. (Por ser C un campo)
Si f, g : R C son diferenciable en z
0
R, entonces
. (f g)
(z
0
) = f
(z
0
) g
(z
0
)
. (f g)
(z
0
) = f
(z
0
)g(z
0
) + g
(z
0
)f(z
0
)
. Si g(z
0
) ,= 0, entonces
_
f
g
_
(z
0
) =
f
(z
0
)g(z
0
) g
(z
0
)f(z
0
)
g(z
0
)
2
Ejemplo 6. P(z) = az
n
+ a
n1
z
n1
+ . . . + a
1
z + a
0
P
(z) = anz
n1
+ a
n1
(n 1)z
n2
+ . . . + a
1
Teorema 3 (Regla de la Cadena). Si g es diferenciable en z y f es diferenciable en
g(z) entonces (f g)(z) es diferenciable en z y
(f g)
(z) = f
(g(z)) g
(z)
Ejemplo 7. f(z) = z entonces f(x+iy) = xiy. NO es Cdiferenciable en ning un
z C. Consideremos
(z + h) z
h
=
z +
h z
h
=
h
h
Entonces lm
h0
f(z
0
+h)f(z
0
)
h
= lm
h0
h
h
. Si h R, entonces lm
h0
h
h
= 1
. Si h im(z), entonces lm
h0
h
h
= 1
Como tomamos dos acercamientos tales que los limites no existen, la derivada no existe.
Es decir,
lm
h0
h
h
NO EXISTE!!!
3.2. Ecuaciones de Cauchy-Riemann 23
3.2. Ecuaciones de Cauchy-Riemann
Sea f(z) = u(x, y) + iv(x, y). Si f es diferenciable en z R donde h = h
1
+ ih
2
,
lm
h0
f(z + h) f(z)
h
= lm
h
1
0h
2
0
f(x + h
1
, y + h
2
) f(x, y)
h
1
+ ih
2
Si nos acercamos por h
2
= 0(por la recta real), entonces
lm
h
1
0
f(x + h
1
, y) f(x, y)
h
1
= lm
h
1
0
u(x + h
1
, y) + iv(x + h
1
, y) u(x, y) iv(x, y)
h
1
= lm
h
1
0
u(x + h
1
, y) u(x, y)
h
1
+ i lm
h
1
0
v(x + h
1
, y) v(x, y)
h
1
=
u
x
+ i
v
x
= u
x
+ iv
x
Si nos acercamos por h
1
= 0(por la recta imaginaria), entonces
lm
h
2
0
f(x, y + h
2
) f(x, y)
ih
2
= lm
h
2
0
u(x, y + h
2
) + iv(x, y + h
2
) u(x, y) iv(x, y)
ih
2
= lm
h
2
0
u(x, y + h
2
) u(x, y)
ih
2
+ i lm
h
2
0
v(x, y + h
2
) v(x, y)
ih
2
= lm
h
2
0
v(x, y + h
2
) v(x, y)
h
2
i lm
h
2
0
u(x, y + h
2
) u(x, y)
h
2
=
v
y
i
u
y
= v
y
iu
y
Como los limites deben ser iguales, entonces si una funcion es diferenciable en z se
cumple que
u
x
= v
y
v
x
= u
y
Llamadas las Ecuaciones de Cauchy-Riemann.
Recordemos que el jacobiano es
_
u
x
u
y
v
x
v
y
_
. Si f es R
2
diferenciable existe
_
u
x
u
y
v
x
v
y
_
. Si f es Cdiferenciable existe
_
u
x
u
y
v
x
v
y
_
y u
x
= v
y
, v
x
= u
y
3.3. Ejercicios Resueltos 24
El recproco no es cierto. Si las E.C. de Cauchy-Riemann existen entonces f NO nece-
sariamente es Cdiferenciable.
Teorema 4. Si u
x
, v
y
, v
x
y u
y
existen y son continuas en z R y se verican las
ecuaciones de Cauchy-Riemann entonces f es Cdiferenciable en z.
Otra forma que es equivalente a la anterior
Teorema 5. f es Cdiferenciable en z R Si y solo si f es R
2
diferenciable en
(x, y) y se verican las ecuaciones de Cauchy-Riemann entonces en (x, y).
Ejemplo 8. f(z) = z = x iy entonces u(x, y) = x y v(x, y) = y
u
x
= 1, u
y
= 0, v
x
= 0, v
x
= 1
f es R
2
diferenciable. Pero no se cumplen las dos condiciones de las E.C. Cauchy-
Riemann u
x
,= v
y
Por lo tanto f no es Cdiferenciable.
la diferenciabilidad en un punto z no es tan interesante.
Denicion 2. f es holomorfa (o analtica) en z
0
si f es diferenciable en una vecindad
> 0 de z
0
.
3.3. Ejercicios Resueltos
1. Muestre que f(z) =
1
2
log (x
2
+ y
2
) + i arctan
_
y
x
_
es C-diferenciable.
Se satisfacen las E.C.R(Ecuaciones de Cauchy Riemann)?
Como f(z) = u(x, y)+iv(x, y) por tanto u(x, y) =
1
2
log x
2
+ y
2
y v(x, y) = arctan
_
y
x
_
y sus derivadas parciales son:
.
u
x
=
1
2
2x
x
2
+ y
2
=
x
x
2
+ y
2
.
u
y
=
1
2
2y
x
2
+ y
2
=
y
x
2
+ y
2
3.3. Ejercicios Resueltos 25
.
v
x
=
1
1 +
_
y
x
_
2
(yx
2
)
=
yx
2
x
2
+ y
2
1
x
2
=
y
x
2
+ y
2
.
v
y
=
1
1 +
_
y
x
_
2
1
x
=
x
2
x
2
+ y
2
1
x
=
x
x
2
+ y
2
Como u
x
= v
y
y v
x
= u
y
, la funcion cumple las ecuaciones de Cauchy Riemann
para CRe(z) = 0 las derivadas parciales u
x
, u
y
, v
x
, v
y
son R
2
-diferenciables. Por
lo tanto, f(z) es C-diferenciable en C Re(z) = 0
2. Mirar si f(z) =
3
2
x
2
xy + ixy
2
es C-diferenciable.
Se satisfacen las E.C.R?
Como f(z) = u(x, y) + iv(x, y) por tanto u(x, y) =
3
2
x
2
y v(x, y) = xy
2
y sus
derivadas parciales son:
.
u
x
= 3x y
.
u
y
= x
.
v
x
= y
2
.
v
y
= 2xy
Como u
x
,= v
y
y v
x
,= u
y
, la funcion NO cumple las ecuaciones de Cauchy Riemann,
entonces miremos en que puntos si se cumplen. Supongamos que si se cumplen
entonces
u
x
= v
y
3x y = 2xy
3x y 2xy = 0
v
x
= u
y
y
2
= (x)
y
2
= x)
Reemplazamos en donde obtenemos
3.3. Ejercicios Resueltos 26
3y
2
y 2y
3
= 0
y(2y
2
3y + 1) = 0
y(2y
2
3y + 1) = 0
y
(2y)
2
3(2y) + 2
2
= 0
y
(2y 2)(2y 1)
2
= 0
y(y 1)(2y 1) = 0
As
x y
0 0
1 1
1/4 1/2
Por tanto los puntos donde f es C-diferenciable es en 0, 1 + i y
1
4
+
i
2
.
3. Mirar si f(z) = 2xy + i(x
2
+ y
2
) es C-diferenciable.
Se satisfacen las E.C.R?
Como f(z) = u(x, y) + iv(x, y) por tanto u(x, y) = 2xy y v(x, y) = x
2
+ y
2
y sus
derivadas parciales son:
.
u
x
= 2y
.
u
y
= 2x
.
v
x
= 2x
.
v
y
= 2y
Como u
x
,= v
y
y v
x
,= u
y
, la funcion NO cumple las ecuaciones de Cauchy Riemann,
entonces miremos en que puntos si se cumplen. Supongamos que si se cumplen
entonces
u
x
= v
y
2y = 2y
y = y
v
x
= u
y
2x = 2x
x = 0
As f es C-diferenciable en todo el eje imaginario.
4. Mirar si f(z) = [z[
2
es analtica o holomorfa en z = 0.
3.4. Funciones Importantes 27
f(z) = z z = (x + iy)(x iy) = x
2
+ y
2
como f(z) = u(x, y) + iv(x, y) por tanto
u(x, y) = x
2
+ y
2
y v(x, y) = 0 y sus derivadas parciales son:
.
u
x
= 2x
.
u
y
= 2y
.
v
x
= 0
.
v
y
= 0
f es R
2
-diferenciable
u
x
= v
y
2x = 0
v
x
= u
y
2y = 0
As f es C-diferenciable en z = 0. El unico punto del plano complejo donde f es
C-diferenciable es en el origen (0, 0).
5. Sea f(z) = u(x, y) + iv(x, y) y existe f
(z) = e
z
Propiedades.
. Sean z
1
, z
2
C entonces
e
z
1
+z
2
= e
z
1
e
z
2
. La exponencial compleja nunca es cero ya que para z C
[e
z
[ = [e
x
[[e
iy
[ = [e
x
[ 1 = e
x
> 0
entonces e
z
,= 0
. La exponencial compleja extiende al plano complejo, la funcion real e
x
, si y = 0
entonces
e
z
= e
x+i0
= e
x
3.4.2. Trigonometricas
La funciones sin z y cos z con z C estan dadas como
sin z =
e
iz
e
iz
2i
cos z =
e
iz
+ e
iz
2
Estas dos funciones son diferenciable en todo C, es decir son enteras, ya que se cons-
truyen a partir de operaciones de campo y composicion con e
z
. Las derivadas son:
3.4. Funciones Importantes 29
d
dz
(sin z) =
1
2i
_
e
iz
i e
iz
(i)
=
i(e
iz
+ e
iz
)
2i
=
e
iz
+ e
iz
2
= cos z
d
dz
(cos z) =
1
2
_
e
iz
i + e
iz
(i)
==
i(e
iz
e
iz
)
2
=
e
iz
e
iz
2i
= sin z
Propiedades.
.
sin
2
z + cos
2
z =
_
e
iz
e
iz
2i
_
2
+
_
e
iz
+ e
iz
2
_
2
=
1
4
_
e
2iz
2e
iz
e
iz
+ e
2iz
_
+
1
4
_
e
2iz
+ 2e
iz
e
iz
+ e
2iz
_
=
1
4
_
e
2iz
+ 2 + e
2iz
e
2iz
+ 2 e
2iz
_
=
1
4
(4) = 1
. cos 2z = cos
2
z sin
2
z
. sin 2z = 2 sin z cos z
. z C, si y = 0 entonces z = x as
sin z = sin x
cos z = cos x
Esto quiere decir que sin z y cos z extienden al plano complejo las funciones trigo-
nometricas de R.
. cos (z
1
z
2
) = cos z
1
cos z
2
sin z
1
sin z
2
. sin (z
1
z
2
) = sin z
1
cos z
2
cos z
1
sin z
2
3.4. Funciones Importantes 30
.
cos z = cos (x + iy)
=
e
i(x+iy)
+ e
i(x+iy)
2
=
e
ixy
+ e
ix+y
2
=
e
ix
e
y
+ e
ix
e
y
2
=
(cos x + i sin x)e
y
+ (cos x i sin x)e
y
2
=
e
y
cos x + ie
y
sin x + e
y
cos x ie
y
sin x
2
=
e
y
+ e
y
2
cos x + i
e
y
e
y
2
sin x
= cosh y cos x i sinh y sin x
= u(x, y) + iv(x, y)
.
sin z = sin (x + iy)
=
e
i(x+iy)
e
i(x+iy)
2i
=
e
ixy
e
ix+y
2i
=
e
ix
e
y
e
ix
e
y
2i
=
(cos x + i sin x)e
y
(cos x i sin x)e
y
2i
=
e
y
cos x + ie
y
sin x e
y
cos x + ie
y
sin x
2i
=
e
y
e
y
2i
cos x + i
e
y
+ e
y
2i
sin x
= i
e
y
e
y
2
cos x +
e
y
+ e
y
2
sin x
= cosh y sin x i sinh y cos x
= u(x, y) + iv(x, y)
3.4. Funciones Importantes 31
Teorema 6. Si dos funciones enteras coinciden en un intervalo de la recta real entonces
son iguales en todo C.
Nota 1. La funcion exponencial, el seno y el coseno complejo son las unicas funciones
que extienden las funciones exponencial, seno y coseno real a los complejos.
3.4.3. Hiperbolicas
La funciones sinh z y cosh z con z C estan dadas como
sinh z =
e
z
e
z
2
cosh z =
e
z
+ e
z
2
Estas dos funciones son diferenciable en todo C, es decir son enteras, ya que se cons-
truyen a partir de operaciones de campo y composicion con e
z
. Las derivadas son:
d
dz
(sinh z) = cosh z
d
dz
(cosh z) = sinh z
Se cumple la identidad hiperbolica cosh
2
z sinh
2
z = 1. Estas son las unicas funciones
que extienden es seno hiperbolico y el coseno hiperbolico real al plano complejo.
3.4.4. Analisis de e
z
Observemos que para k Z tenemos
e
2ik
= cos 2k + i sin 2k = 1 + i0 = 1
Entonces
e
z+2ik
= e
z
e
2ik
= e
z
1 = e
z
Denicion 3. Una funcion f es periodica con permetro P si f(x + P) = f(x).
As, e
z
tiene periodo i2k, k Z. En particular, tiene periodo 2k. La funcion ex-
ponencial compleja es periodica. Tendra la funcion e
z
mas periodos ademas del
que encontramos.?
3.4. Funciones Importantes 32
Supongamos que a + ib es un periodo de la funcion exponencial compleja. As
e
a+ib
= 1
e
a
(cos b + i sin b) = 1
[e
a+ib
[ = [e
a
[ = 1 e
a
= 1 a = 0
b 0mod(2) b = 2k, k Z
As los unicos periodos son de la forma ib = i2k para e
z
.
Como gracas e
z
.?
w = e
z
; w = u + iv ; z = x + iy
Figura 3.1: Graca e
z
3.4. Funciones Importantes 33
w = e
z
= e
x
cos y + ie
x
sin y
[w[ = [e
z
[ = [e
x
[ = e
x
arg(w) = ymod(2)
arg(w) = y + 2k, k Z
Simplicando el angulo [w[ = e
x
y Arg(w) = y con < y < .
Como se transforma la recta y = y
0
.?
El angulo principal de w es constante e igual a y
0
.
[w[ = e
x
No hay condicion(3.1)
Como se transforma el segmento x = x
0
.?
x = x
0
<y <
[w[ = e
x
0
Constante
Arg(w) = y No hay condicion(3.1)
As la funcion e
z
transforma un segmento vertical en una circunferencia.
Como se transforma un rectangulo.?
Si x
1
x x
2
, y
1
y y
2
con x
1
,= x
2
y y
1
,= y
2
.(3.2)
La version simplicada que estamos estudiando es la restriccion de e
z
a la franja
(, ) (, ], esta aplicacion simplicada es inyectiva. La region fundamental
muestra lo que pasa en las demas franjas, ya que cualquier otra region esta repre-
sentada como modulo 2 de la region fundamental.
3.4.5. Logartmica
La forma polar de un numero complejo z = r(cos + i sin ) = re
i
sugiere denir:
3.4. Funciones Importantes 34
Figura 3.2: Transformacion del rectangulo con e
z
log z = log (re
i
)
= log r + log e
i
= r + i
Mejor denir w = log z e
w
= zentonces la funcion logartmica seria la inversa de la
exponencial. Toca tener cuidado porque e
z
no es inyectiva entonces para que exista la
inversa en una funcion que no es biyectiva debemos restringir el dominio y el rango(si
es necesario) para que esto suceda.
Para que exista al inversa de la funcion e
z
, restringimos el dominio a la franja F =
z = x + iy : < , x, y R la restriccion de e
z
a F es inyectiva y as
log z = inversa de e[
F
Logaritmo Principal (Logz) o rama principal del logaritmo
El dominio de log : C
c
= Cz = x +iy : x 0, w = u +iv; z = re
i
debemos tener
que
3.4. Funciones Importantes 35
Figura 3.3: Transformacion del log z
e
w
= z
e
u+iv
= x + iy
e
u
e
iv
= x + iy = re
i
e
u
(cos v + i sin v) = x + iy
_
_
_
e
u
= r u = log r
u = mod(2)
As w = log z = log r + iarg(z)
= log [z[ + i( + 2k)
= log [z[ + i(Arg(z) + 2k) con k Z
Logaritmo Principal(k = 0): log [z[ + iArg(z), con z C
c
3.4. Funciones Importantes 36
Ejemplo 9.
log i = log [i[ + iArg(i)
= log 1 + i
2
= i
2
log z extiende a C
c
la funcion conocida como log x?
Si z = x (y = 0), x > 0 log z = log [x[ + iArg(x) = log x.
Si , C
c
entonces log = log + log ?
log = log [[ + iArg()
= log [[[[ + i(Arg() + Arg())
= log [[ + log [[ + iArg() + iArg()
= log [[ + iArg() + log [[ + iArg()
= log + log .
Es w = log z holomorfa en C?
Teorema 7. Si f : R C C es diferenciable en z
0
R, inyectiva con inversa f
1
y f
(z
0
) ,= 0 entonces
_
f
1
(z
0
)
_
=
1
f
(w
0
)
, f
1
(w
0
) = z
0
, w
0
= f(z
0
)
En verdad, e : S C
c
es diferenciable, z
0
S, es inyectiva con inversa log y e
(z
0
) =
e(z
0
) ,= 0.
Entonces la respuesta de la pregunta anterior. z
0
S, as
log
(z
0
) =
1
e
w
0
=
1
e
log z
0
=
1
z
0
como esto se cumple en cada z
0
S es C-diferenciable en todo C
c
y as, holomorfa.
3.4. Funciones Importantes 37
Otra forma de verla seria,
log z = log [z[ + iArg(z)
= log
_
x
2
+ y
2
+ iArg
_
x
y
_
= u(x, y) + iv(x, y)
log z es R
2
-diferenciable en C
c
tambien u y v satisfacen las ecuaciones de Cauchy-
Riemann. As log z es C-diferenciable.
3.4.6. Potencia
P(z) = z
, C
Se dene
P(z) = z
= e
log(z
)
= e
log z
, si z C
c
z
dz
=
d
dz
_
e
log z
_
= e
log z
z
= z
z
= z
1
z
+
= z
, , C?
z
+
=e
(+) log z
=e
log z+ log z
=e
log z
e
log z
=z
4
i
z = cos
4
+ i sin
4
z =
2
2
+ i
2
2
z =
2
2
(1 + i)
3.5. Funciones Armonicas
Sea x+iy u+iv una funcion diferenciable o analtica es una region R C entonces
f
(z) = u
x
+ iv
x
= u
x
iu
y
f
(z) = v
y
+ iu
y
= v
y
+ iv
x
Si f es dos veces diferenciable (C
2
-diferenciable) podemos ver lo siguiente: f
(z) satisface
las ecuaciones de Cauchy-Riemann.
f
(z) = u
x
..
U
i u
y
..
V
U = u
x
; V = u
y
E.C.R. =
_
_
_
U
x
= V
y
u
xx
= u
yy
u
xx
+ u
yy
= 0
U
y
= V
x
u
xy
= u
yx
f
(z) = v
y
..
U
+i v
x
..
V
U = v
y
; V = v
x
E.C.R. =
_
_
_
U
x
= V
y
v
xy
= v
yx
U
y
= V
x
v
yy
= v
xx
v
xx
+ v
yy
= 0
Se dice que es armonica si se cumple la Ecuacion de Laplace
=
xx
+
yy
= 0
. .
E. Laplace
3.5. Funciones Armonicas 39
Teorema 8. Si x + iy u + iv es diferenciable entonces
1. u = 0 y u
xy
= u
yx
2. v = 0 y v
xy
= v
yx
Osea u y v son funciones armonicas cuyas derivadas parciales mixtas son iguales.
Ejemplo 11. f(z) = z
2
= (x + iy)
2
= x
2
y
2
. .
u
+i 2xy
..
v
u
x
= 2x
u
y
= 2y
v
x
= 2y
v
y
= 2x
u
xx
= 2
u
yy
= 2
u
xy
= 0
u
yx
= 0
v
xx
= 0
v
yy
= 0
v
xy
= 2
v
yx
= 2
Por lo tanto u
xx
+ u
yy
= 0, u
xy
= u
yx
y v
xx
+ v
yy
= 0, v
xy
= v
yx
Este teorema sugiere un metodo para construir funciones holomorfas. Si u y v satisfa-
cen las condiciones 1) y 2), se dice que v es el conjugado armonico de u.
Problema: Dada una funcion que cumpla 1), encontrar un conjugado arm onico v de
u.
Respuesta: Depende del dominio D donde trabajamos.
Denicion 4. Un dominio D es apropiado si contiene un punto (x
0
, y
0
) tal que los
segmentos (x
0
, y
0
) a (x
0
, y) y (x
0
, y) a (x, y) estan totalmente contenido en D, para
(x, y) D.
Problema: Sea D un dominio apropiado,
dado u encontrar un conjunto armonico v de
u.
u : D R
(x, y) u(x, y)
3.5. Funciones Armonicas 40
Con u armonica u
xy
= u
yx
y v debe cumplir:
u
y
= v
y
[] v
x
= u
y
[]
Integrando de x
0
a x a []
v(x, y) =
_
x
x
0
u
y
dx + C(y) =
_
x
x
0
u
y
dx + C(y)
y ahora de []
v
y
=
v
y
=
y
__
x
x
0
u
y
dx
_
+ C
(y) = u
x
_
x
x
0
(u
yy
)dx + C
(y) = u
x
_
x
x
0
u
xx
dx + C
(y) = u
x
u
x
(x, y)[
x
x
0
+ C
(y) = u
x
u
x
(x, y) u
x
(x
0
, y) + C
(y) = u
x
(x, y)
C
(y) = u
x
(x
0
, y)
C(y) =
_
y
y
0
u
x
(x
0
, y)dy + C
v(x, y) =
_
x
x
0
u
y
(x, y)dx +
_
y
y
0
u
x
(x
0
, y)dy + C
=
_
y
y
0
u
x
(x
0
, y)dy +
_
x
x
0
(u
y
(x, y))dx + C
=
_
c
1
u
x
(x
0
, y)dy +
_
c
2
(u
y
(x, y))dx
. .
Integral de Linea
+C
Ejemplo 12. u = x
3
+ axy
2
, v =?. Existe un conjugado armonico v de u.?
i. D = C.
ii. u
x
=
u
x
= 3x
2
+ ay
2
u
y
=
u
y
= 2axy
u
xx
= 6x
u
yy
= 2ax
3.5. Funciones Armonicas 41
Ahora u
xx
+u
yy
= 6x + 2ax = x(6 + 2a) = 0 a = 3 La funcion es armonica si
y solo si u
x,y
= x
3
3xy
2
.
iii.
v(x, y) =
_
x
x
0
u
y
(x, y)dx +
_
y
y
0
u
x
(x
0
, y)dy + C
Si (x
0
, y
0
) = (0, 0)
v(x, y) =
_
x
0
(6xy)dx +
_
y
0
(3y
2
)dy + C
= 6y
x
2
2
x
0
3
y
3
3
y
0
+ C
= 3yx
2
y
3
+ C
Entonces f(z) = (x
3
3xy
2
) + i(3yx
2
y
3
+ C) es una funcion holomorfa en C.
CAP
ITULO 4
Integral Compleja
4.1. Curvas
Una curva en el plano complejo es una aplicacion
: [a, b] C
t (t) + i(t), donde , : [a, b] R
Figura 4.1: Curva : [a, b] C
es continua si y solo si y son continuas.
denota tanto a la aplicacion, como a su recorrido.
4.1. Curvas 43
Tipos de Curvas
. Una curva es simple si t, s [a, b] se tiene que (t) ,= (s)(es decir, no se cortan
a si mismo).
. Una curva es cerrada si (a) = (b) (punto nal igual punto inicial).
Simple no cerrada
No cerrada y no simple
Simple y cerrada( de Jordan)
Cerrada no simple
Figura 4.2: Tipos de curvas
Una arco es una curva que es con-
tinuamente diferenciable (la derivada
existe y es continua en [a, b]). En tal
como
(t) =
(t) + i
(t)
Sea f : C C una funcion continua de arco C C a C. Denimos la integral de f a
lo largo de C por
_
C
f(z)dz =
_
b
a
f((t))
(t)
. .
producto compleja
dt
Ejemplo 13. C : la circunferencia de radio centrada en z
0
C. Sea f : Cz
0
C
f(z) =
1
z z
0
4.2. Propiedades de la integral 44
Calcular la integral de
_
C
dz
zz
0
1. Parametrizar C: (t) = z
0
+ e
i
; 0
2 entonces
(t) = ie
i
2. Evaluamos la parametrizacion en la funcion
f((t)) =
1
z
0
+ e
i
z
0
=
1
e
i
=
e
i
3. Calculamos la integral
_
C
f(z)dz =
_
2
0
f((t))
(t)dt
=
_
2
0
e
i
ie
i
d
= i
_
2
0
d
= i2
4.2. Propiedades de la integral
1. Si C es el recorrido de C en sentido opuesto, entonces
_
c
f(z)dz =
_
C
f(z)dz
4.2. Propiedades de la integral 45
2. Para , C jos tenemos
_
C
(f(z) + g(z))dz =
_
C
f(z)dz +
_
C
g(z)dz
3. Los arcos C
1
, C
2
, . . . , C
n
forman un contorno C si C
j
comienza donde termina
C
j1
; j : 2, . . . , n
_
C
f(z)dz =
n
j=1
_
C
j
f(z)dz
Teorema 9. (Independencia del camino para tomar la integral). Si F(z) tiene derivada
conocida F
(z)dz = F(z)[
(b)
(a)
= F((b)) F((a))
donde : [a, b] C es una parametrizacion de C
Demostracion.
_
C
F
(z)dz =
_
b
a
F
((t))
(t)dt
=
_
b
a
dF(t)
= F((t))[
b
a
(T.F. calculo)
si u = F((t))
du = F
((t))
(t)dt
dF = F
((t))
(t)dt
z
2
z
1
.
_
z
2
z
1
e
z
dz = e
z
1
e
z
2
. _
z
2
z
1
sin zdz = cos z
2
+ cos z
1
4.3. Mas propiedades de la integral
1. Estimacion estandar: Sea f(z) continua en un arco C (compacto). Sea (t)
con a t b, una parametrizacion de C. Por denicion
_
C
f(z)dz =
_
b
a
f((t))
(t)dt
para acotarla utilizamos la desigualdad triangular
_
C
f(z)dz
_
b
a
[f((t))[ [
(t)[ dt
si [f((t))[ < M t [a, b], entonces M es una cota superior de [f(z)[ en C,
entonces
_
C
f(z)dz
M
_
b
a
[
(t)[ dt
. .
Longitud del arco
Teorema 11. Si f(z) es continua en C, entonces
_
b
a
f(z)dz
ML,
donde M es una cota superior de [f(z)[ en la curva C, y L es la longitud de C.
2. Invarianza respecto a la parametrizacion: Sea C
1
un arco en C,
1
(t) una
parametrizacion de C
1
con a t b. Sea tambien : [c, d] [a, b] un difeomorfo.
Sea C
2
el arco dado por
2
() = (
1
)[c, d] C
2
= C
1
.
_
C
1
f(z)dz =
_
C
2
f(z)dz,
para toda funcion f continua en C
1
= C
2
4.3. Mas propiedades de la integral 47
Figura 4.3: Invarianza respecto a la parametrizacion
Demostracion.
_
C
2
f(z)dz =
_
d
c
f(())
()d
2
() = (
1
)()
=
1
(())
=
1
(t)
2
() =
1
(())
()
=
1
(())
d()
d
=
1
(())
dt
d
2
()d =
1
(())dt
As
_
d
c
f(
2
())
2
()d =
_
b
a
f(
1
(t))
1
(t)dt
n1
k=0
f(z
k
)z
k
= J.
.
.
.
.
.
.
Al hacer que la particion sea cada vez mas na, n , t
k
0, t
k
= t
k+1
t
k
,
J tiende a un unico limite J
0
que es independiente de la forma como denamos
las particiones.
J
0
=
_
C
f(z)dz
Ejemplo 15.
_
C
dz
za
=
_
C
F
(z) =
1
za
. Si
z
1
, z
2
C entonces
_
C
dz
z a
=
_
z
2
z
1
F
(z)dz = F(z
2
) F(z
1
) = log (z
2
a) log (z
1
a)
1. Donde C es cualquier arco que une z
1
con z
2
y esquiva a a.
Problema: Eje real negativo. F(z) no es continua en el eje real negativo.
Solucion:
4.4. Acercamiento al teorema de Cauchy 49
2. Consideremos solamente el arco (t) de z
1
a z
2
tales que
(t) = log ((t) a)
es continua a lo largo de ellos.
Asumiendo 1) y 2), obtenemos que
_
z
2
z
1
dz
z a
= log (z
2
a) log (z
1
a).
Que sucede si z
1
= z
2
, es decir C es cerrado.?
4.4. Acercamiento al teorema de Cauchy
Teorema 12. Sea T una region triangular (triangulo compacto) contenida en el do-
minio de una funcion analtica u holomorfa f. Sea C = T la frontera de T recorrida
en el sentido positivo (contrario a las manecillas del reloj). Entonces
_
C
f(z)dz = 0
Demostracion. (del siglo XIX).
T un triangulo compacto cualquiera en el do-
minio de f.
f : T D C holomorfa en D
As,
f(z) = u(x, y) + iv(x, y)
con u, v continuamente diferenciables en D y
u
x
= v
y
, u
y
= v
x
_
C
f(z)dz =
_
C
(u + iv)(dx + idy)
=
_
C
[(udx vdy) + i(vdx + udy)]
=
_
C
(udx vdy)
. .
parte real
+i
_
C
(vdx + udy)
. .
parte imaginaria
4.4. Acercamiento al teorema de Cauchy 50
_
C
(udx vdy) =
_
C
(u, v)(dx, dy)
Teorema de Green =
_ _
R
_
(v)
x
u
y
_
dxdy
=
_ _
T
rot(u, v)dxdy
E.C.R. =
_ _
T
(v
x
+ u
y
)dxdy
=
_ _
T
0dxdy
= 0
_
C
(vdx + udy) =
_ _
T
rot(v, u)dxdy
=
_ _
T
y
v u
dxdy
E.C.R. =
_ _
T
(u
x
v
y
)dxdy
= 0
Por lo tanto
_
C
f(z)dz = 0 + i0 = 0
= f.
Demostracion. Sea D estrellado en z
0
sea tambien
F(z) =
_
z
z
0
f()d,
queda claro que el arco que une z
0
con z
es z
0
z. Sea z D, y h con [h[ suciente-
mente peque no para que z + h D. Por
el teorema anterior
4.4. Acercamiento al teorema de Cauchy 51
_
C
f(z)dz = 0
_
z
z
0
f(z)dz +
_
z+h
z
f(z)dz +
_
z
0
z+h
f(z)dz = 0
_
z+h
z
f(z)dz =
_
z
0
z+h
f(z)dz
_
z
z
0
f(z)dz
=
_
z+h
z
0
f(z)dz
_
z
z
0
f(z)dz
= F(z + h) F(z)
F(z + h) F(z)
h
f(z) =
1
h
_
z+h
z
f()d f(z)
=
1
h
_
z+h
z
f()d
f(z)
h
h
=
1
h
__
z+h
z
f()d
1
h
_
z+h
z
f(z)d
_
=
1
h
_
z+h
z
(f() f(z))d
F(z + h) F(z)
h
f(z)
1
h
_
z+h
z
(f() f(z))d
=
1
[h[
_
z+h
z
(f() f(z))d
1
[h[
ML
=
1
[h[
M[h[
= M,
con M una cota superior de [f() f(z)[ en z, z + h. Como f es holomorfa, f es
continua. Es decir, > 0, > 0:
si [ z[ < [f() f(z)[ <
As,
4.5. Teorema Integral de Cauchy 52
F(z + h) F(z)
h
f(z)
<
en resumen
lm
h0
F(z + h) F(z)
h
= F
(z) = f(z), z D
= f.
Entonces
_
C
f(z)dz =
_
C
F
(z)dz
= F(z
2
) F(z
1
)
camino cerrado = F(z
1
) F(z
1
) = 0
_
C
f(z)dz
_
C
1
f(z)dz
_
C
2
f(z)dz
_
C
3
f(z)dz
_
C
4
f(z)dz
. .
Elegir el m aximo entre ellos
Sea C
1
la frontera del subconjunto que produce la integral maxima. As
_
C
f(z)dz
_
C
1
f(z)dz
Sea T
1
el subconjunto de frontera C
1
, osea T
1
= T
4
y se le hace el mismo
tratamiento a T
1
que se le hizo a T:
_
C
1
f(z)dz
_
C
2
f(z)dz
_
C
f(z)dz
_
C
1
f(z)dz
4
2
_
C
2
f(z)dz
En general, si T = T
0
T
1
T
2
. . . T
n
entonces
_
C
f(z)dz
4
n
_
Cn
f(z)dz
i=0
T
i
,=
es decir, existe
i=0
T
i
. Ya que T
0
, y T
0
esta en el dominio de f
(holomorfa), f
() = lm
z
f() f(z)
z
EXISTE
4.5. Teorema Integral de Cauchy 54
es decir, > 0, > 0 tal que
si 0 < [ z[ < entonces
f() f(z)
z
f
()
<
[f() f(z) f
()( z)[
[ z[
<
[ z[ [f() f(z) f
()( z)[ [ z[
Se tiene por el Teorema del Valor Intermedio:
f() f(z) f
()( z) w(z)( z)
donde w(z) es tal que [w[ < . Y despejando
f(z) = f() + f
()( z) + w(z)( z)
para sucientemente peque no.
Paso 3. Elegir n lo sucientemente grande para que T
n
B
()
_
Cn
f(z)dz =
_
Cn
f()dz +
_
Cn
f
()( z)dz +
_
Cn
w(z)( z)dz
= f()
_
Cn
dz + f
()
_
Cn
( z)dz +
_
Cn
w(z)( z)dz
=
_
Cn
w(z)( z)dz
_
Cn
f(z)dz
_
Cn
w(z)( z)dz
ML
M : Cota superior de [w(z)( z)[ en C
n
.
L : Longitud de C
n
= S
n
.
S
n
: Permetro del triangulo.
Que poner como M?
M = S
n
En resumen
_
Cn
f(z)dz
S
2
n
4.6. F ormula Integral de Cauchy 55
Notemos que S
n
=
1
2
S
n1
, y as S
n
=
1
2
n
S
0
=
1
2
n
S, con S = S
0
es la longitud
de C = T. Con esto
_
C
f(z)dz
4
n
_
Cn
f(z)dz
4
n
S
2
n
4
n
_
1
2
n
S
_
2
4
n
1
4
n
S
2
S
2
S : Cantidad ja: Permetro de T.
: Puede hacerse tan cercano como queramos.
Al hacer 0 entonces
_
C
f(z)dz
= 0, es decir
_
C
f(z)dz = 0
_
k
f() f(z)
z
d
L
k
sup
k
f() f(z)
z
<
1
b
. Entonces
0 [A[ < 2b
b
0 [A[ < 2
4.6. F ormula Integral de Cauchy 57
Si 0, entonces [A[ = 0 A = 0. En conclusion
_
C
f()
z
d = 2if(z)
, f
, f
, . . . , f
(n)
, . . .
existen y son holomorfa en D. Ademas,
f
(n)
(z) =
n!
2i
_
C
f()
( z)
n+1
d
donde C es una circunferencia contenida en D.
Demostracion. Sabemos que f(z) =
1
2i
_
C
f()
z
d ahora derivamos con respecto a z
f
(z) =
1
2i
_
C
d
dz
_
f()
z
_
d
. .
Intercambio de la integral con la derivada
=
1
2i
_
C
f()(1)( z)
2
(1)d
=
1
2i
_
C
f()
( z)
2
d
Para la segunda derivada
f
(z) =
1
2i
d
dz
_
C
f()
( z)
2
d
=
1
2i
_
C
d
dz
_
f()
( z)
2
_
d
=
1
2i
_
C
f()(2)( z)
3
d
=
2
2i
_
C
f()
( z)
3
d
Por induccion
f
(n)
(z) =
n!
2i
_
C
f()
( z)
n+1
d
3
+ 3
1
donde C es la circunferencia en C.
Solucion:
f(z) = z
3
+ 3 es un polinomio y as holomorfa en C. Quien es C?
4.6. F ormula Integral de Cauchy 59
1. Si C encierra a z = 1, en este caso,
_
C
3
+ 3
1
dz = 2if(1)
= 2i((1)
3
+ 3)
= 2i(4)
= 8i
2. Si z = 1 esta fuera de la region encerrado
por C
_
C
3
+ 3
1
= 0,
por el teorema integral de Cauchy
3. Si z = 1 C: No sabemos
Ejemplo 18. Calcule
_
C
e
z
(z + 1)
2
1. Si C es la circunferencia [z + 1[ = 3.
2. Si C es la circunferencia [z 2[ = 1.
Solucion:
1. f(z) = e
z
es una funcion entera, y ademas
z = 1 C (ya que [ 1 +
1
2
[ = [
1
2
[ =
1
2
<
3). Por lo tanto
_
C
e
z
(z + 1)
2
=
2i
1!
f
(1) = 2ie
1
=
2i
e
4.7. Consecuencias 60
2. Si C = [z 2[ = 1 entonces z = 1 no esta en el interior de C. As
_
C
e
z
(z + 1)
2
= 0 T.I.C.
4.7. Consecuencias
Teorema 18. Estimacion de Cauchy. Si f es holomorfa y acotada en el disco [z [ <
R, entonces
[f
n+1
()[ <
Mn!
R
n
; z en dicho disco
Donde M es una cota superior de [f(z)[ en el disco.
Demostracion. Sea < R, sabemos que si z : [z [ < entonces
[f
(n)
()[ =
n!
2i
_
f()
( )
n+1
n!
2i
sup
C
_
f()
( )
n+1
_
(longitud de C)
n!
2i
sup
C
_
f()
( )
n+1
_
(2)
n!M
1
n+1
n!M
n
; si R entonces
n!M
R
n
(O)[
0!M
0+1
=
M
4.7. Consecuencias 61
donde M es la cota de [f(z)[ en C. Si + entonces
[f
(O)[ lm
+
M
0 [f
(O)[ 0
(O) = 0
El mismo argumento es valido cuando z = , es decir f
() = 0 con C. Es decir
f
Corolario 2. P(z) = a
n
z
n
+a
n1
z
n1
+. . . +a
1
z +a
0
admite una factorizacion de la
forma
P(z) = B(z b
1
)(z b
2
) . . . (z b
n
)
con B, b
1
, b
2
, . . . , b
n
C.
4.7. Consecuencias 62
Demostracion. Como P(z) no es constante, tiene un cero b
1
C, entonces por el
teorema del factor impleca que
P(z) = A(z b
1
)q
n1
(z),
donde q
n
1 es un polinomio de grado n 1. Ahora ahceindo el mismo proceso para
q
j
(z), j = 2, . . . , n 1 llegamos a la respuesta buscada.
Teorema 21. de Morera. Sea f : D C C continua, tal que para todo triangulo
cerrado (frontera) C D se tiene que
_
C
f(z)dz = 0,
entonces f es holomorfa en D.
Demostracion. Sea D, tomemos > 0 tal que el disco abierto [z [ < este
contenido en D. Llamemos a este disco G. G es estrellado. Por hipotesis, a lo largo de
la frontera C de un triangulo cualquiera en G,
_
C
f(z)dz = 0
Por lo visto, f(z) tiene una primitiva en G. Es decir, existe F holomorfa en G tal
que F
k=0
a
k
(z )
k
4.7. Consecuencias 63
para [z [ < y a
k
C.
[En la variable real]:
e
x
= 1 + x +
x
2
2!
+
x
3
3!
+ . . . =
k=0
x
k
k!
cos x = 1
x
2
2!
+
x
4
4!
x
8
8!
+ . . . =
k=0
(1)
k
x
2k
(2k)!
Lo anterior conduce a que
f(z) = a
0
+ a
1
(z ) + a
2
(z )
2
+ a
3
(z )
3
+ . . .
Que quiere decir esto?
Consideremos las sumas parciales
s
0
(z) = a
0
s
1
(z) = a
0
+ a
1
(z )
s
2
(z) = a
0
+ a
1
(z ) + a
2
(z )
2
.
.
.
s
n
(z) = a
0
+ a
1
(z ) + a
2
(z )
2
+ a
3
(z )
3
+ . . . + a
n
(z )
n
.
.
.
s
n
(z)
n=1
es una sucesion de sumas parciales. Convergencia de s
n
(z) para algun
z R (region). Decimos que s
n
(z) converge uniformemente a f(z) en R si > 0,
N N tal que si n N y z R entonces [s
n
(z) f(z)[ < . Cuando esto sucede
entonces se escribe que
f(z) =
k=0
a
k
(z )
k
en R.
Teorema 22. Sea f(z) holomorfa en [z [ < R, sea 0 < < R. Entonces
f(z) =
k=0
a
k
(z )
k
=
n
k=0
f
(n)
()
k!
(z )
n
uniformemente [z [ .
Osea, f se puede representar en serie de Taylor en [z [ . Es decir, f es analitica
en el disco cerrado centrado en y de radio .
4.7. Consecuencias 64
Demostracion. Observacion: h(z) = f(z + ). Debemos probar que
h(z) = f(z + ) = sum
k=0
f
(k)
()
k!
z
k
, [z[
Tomemos 0 <
1
< y C
1
= z C : [z[ <
1
. Formula integral de Cauchy
h(z) =
1
2i
_
C
1
h()
z
d
Recordemos que si w ,= 1 y n Z
+
entonces
1 w
n
1 w
= 1 + w + w
2
+ . . . + w
n1
Tomemos w =
z
,= 1
1
1
z
= 1 +
z
+
_
z
_
2
+ . . . +
_
z
_
n1
+
_
z
_
n
1
z
= 1 +
z
+
z
2
2
+ . . . +
z
n1
n1
+
z
n
n
_
1
z
_
si multiplicamos por
1
entonces:
1
z
=
1
+
z
2
+
z
2
3
+ . . . +
z
n1
n
+
z
n
n
( z)
De este modo, h(z) es igual a:
h(z) =
1
2i
_
C
1
h()
z
d
=
1
2i
_
C
1
h()
_
1
+
z
2
+ . . . +
z
n1
n
+
z
n
n
( z)
_
d
=
1
2i
_
n1
k=0
_
C
1
h()
k+1
z
k
d +
_
C
1
h()
n
( z)
z
n
d
_
=
1
2i
_
n1
k=0
z
k
_
C
1
h()
k+1
0
d + z
n
_
C
1
h()
n
( z)
d
_
=
1
2i
n1
k=0
z
k
h
(k)
(0)
k!
+
1
2i
z
n
_
C
1
h()
n
( z)
d
4.7. Consecuencias 65
Usamos la estimacion estandar
lm
h
z
n
h
n
(z) = lm
h
z
n
2i
_
C
1
h()
n
( z)
d = 0
Hemos probado que
h(z) =
k=0
h
(k)
(0)
k!
z
k
pero h(0) = f(0 + ) = f(), h
(k)
(0) = f
(k)
(). Asi
h(z) =
k=0
f
(k)
()
k!
z
k
con [z[ <
1
y para nalizar,
1
.
Teorema 23. Sea f una funcion holomorfa en un disco [z [ < . Entonces la serie
obtenida diferenciando la serie de Taylor de f converge uniformemente a f
en cada
disco [z [ < R. Mas aun, la serie derivada es la serie de Taylor de f
. Es decir,
f(z) =
k=0
f
(k)
()
k!
(z )
k
f
(z) =
k=1
f
(k)
()
k!
k(z )
k1
=
k=1
f
(k)
()
(k 1)!
(z )
k1
Ejemplo 19. Halle la serie de Taylor de cos z, z C
k cos
(n)
z cos
(n)
0
0 cos z 1
1 sin z 0
2 cos z 1
3 sin z 0
4 cos z 1
5 sin z 0
.
.
.
.
.
.
.
.
.
4.7. Consecuencias 66
Asi
cos z = cos 0 +
cos
0
1!
(z 0) + +
cos
0
2!
(z 0)
2
+ . . .
cos z = 1
z
2
2!
+
z
4
4!
z
8
8!
+ . . .
cos z =
n=0
(1)
n
z
2n
2n!
, z C
De la misma forma, se puede construir la serie de Taylor del seno complejo:
cos
z = sin z =
n=1
(1)
n
z
2n1
(2n 1)!
, z C
Bibliografa
[1] Levinson, N. and Redheer, R. M. Complex Variables. Holden-Day Inc.,San Fran-
cisco, 1970.
[2] Choudrahy, B. The Elements of Complex Analysis. John Wiley & Sons, New York,
1983.
[3] Palka, B. P. An Introduction to Complex Function Theory. Springer, New York,
1991.