Notas de

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:
[ + [ [[ +[[

Cota inferior de la diferencia. Miremos las cuotas de [[ y [[

1.2. Representaci on gr aca 10
[[ = [ + [
= [( ) + [
[ [ +[[
[[ [[ [ [
([[ [[) [ [
[ [ [[ [[
[[ = [ + [
= [( ) + [
[ [ +[[
[[ [[ [ [
Ahora si unimos a y obtenemos la denicion de valor absoluto en los reales:
[ [ [[ [[ [ [
[[[ [[[ [ [

1.2. Representacion graca

A cada n umero complejo le corresponde un par ordenado y viceversa.
= a + ib (a, b)
Si , , C entonces:
[ [ es la distancia de a .
[ 0[ = [[ es la distancia de al
origen.
Figura 1.1: Plano Complejo
1.3. Funciones f : C C 11
1.3. Funciones f : C C
Transformaciones
1. Para C jo, f(z) = z + Traslacion. Se cumple [z w[ = [(z + ) ( w)[,
Figura 1.2: Traslacion
as f(z) = + z es una isometra.
2. f(z) = z Conjugacion. Se cumple [ z w[ = [z w[ = [z w[, as f(z) = z es una
isometra.
Figura 1.3: Conjugacion
3. Para C, [[ = 1, f(z) = z. No podemos y no tenemos aun el dibujo pero se
cumple [z w[ = [[[z w[ = [z w[, as f(z) = z es una isometra.
1.4. Multiplicacion Compleja 12
1.4. Multiplicacion Compleja
Forma polar de un numero complejo x = r cos y y = r sin , entonces
= x + iy = r(cos + i sin )
Figura 1.4: arg = =Argumento de
. El argumento no es unico, ya que
arg = + 2k donde k Z representa un mismo angulo.
arg = (mod2)
. Argumento Principal de , Arg = , con <
. Argumento Secundario de , arg =Arg + 2k =Arg(mod2)
Ahora bien podemos mirar el producto de nos numeros complejos en coordenadas
polares:
Producto complejo z
1
z
2
= z
2
z
1
. Sea z
1
, z
2
C, con angulos
1
arg z
1
,
2
arg z
2
y modulos r
1
= [z
1
[ y r
2
= [z
2
[ respectivamente.
z
1
= r
1
(cos
1
+ i sin
1
) z
2
= r
2
(cos
2
+ i sin
2
)
z
1
z
2
= r
1
r
2
[(cos
1
cos
2
sin
1
sin
2
) + i(sin
1
cos
2
+ sin
2
cos
1
)]
= [cos (
1
+
2
) + i sin (
1
+
2
)]

1.4. Multiplicacion Compleja 13

El modulo del producto es el producto de los modulos. El argumento del producto es
la suma de los argumentos en modulo 2.
Consecuencias 1.
1. Rotacion: Sea C jo tal que [[ = 1. Entonces f : C C, f(z) = z es una
rotacion por el argumento de .
[f(z)[ = [[[z[ = [z[
2. Inverso: Sea z C 0,
1
z
=
z
[z[
2
=
1
r
(cos i sin )
=
1
r
(cos () + i sin ())
3. Cociente: Sea z
2
C 0,
z
1
z
2
=
r
1
r
2
(cos (
1

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

El plano complejo extendido tambien se llama esfera de Riemann. Proyeccion Es-

tereograca homeomorsmo de S
2
N con L
2
.
Figura 2.3: Proyeccion Estereograca
2.2. Limites y Continuidad 19
2.2. Limites y Continuidad
lm
zz
0
f(z) =
Esto quiere decir que
> 0, > 0 / [z z
0
[ < = [f(z) [ <
depende de .
Sean lm
zz
0
f(z) = y lm
zz
0
g(z) = , la suma, la multiplicacion, el cociente y entre otras
propiedades de limites para dos variables se satisface en la Variable Compleja.
Se dice que f(z) es continua en z
0
si lm
zz
0
f(z) = f(z
0
)
. Los polinomios son aplicaciones continuas.
. Si f : R
1
C y g : R
2
C son continuas en z
0
y en f(z
0
) respectivamente, con
f(z
0
) R
2
entonces (g f)(z) es continua.
.

f(z) = f(z) es continua en z
0
si y solo si f(z) es continua en z
0
.
. f(z) = u(x, y) + iv(x, y) es continua si y solo si u y v son continuas.
. Si f es continua, entonces Re(f), Im(f) y [f(z)[ son continuas.
Se dice que f(z) es uniformemente continua en una region R si z
1
, z
2
R
> 0, > 0 / [z
1
z
2
[ < = [f(z
1
) f(z
2
)[ <
no depende de sino tambien de R.
Una funcion f : C R C con R compacto entonces
f(R) es compacta si =
_

_
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

Cuando esto sucede, f

(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) ,= 0, entonces las curvas de nivel

u(x, y) = cte y v(x, y) = cte se intersecan perpendicularmente.
Como f es diferenciable en z, entonces f es R
2
-diferenciable y se satisfacen las
E.C.R. En particular u(x, y) y v(x, y) son campos escalares diferenciables, As,
u(x, y) = cte y v(x, y) = cte denen curvas de nivel.
FALTAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
3.4. Funciones Importantes
3.4.1. Exponencial
Se tiene por la Formula de Euler que e
i
= cos + i sin , preservar la regla de los
exponentes entonces
3.4. Funciones Importantes 28
f(z) = e
z
= e
x+iy
= e
x
e
iy
= e
x
(cos y + i sin y)
= e
x
cos y + ie
x
sin y
Entonces u(x, y) = e
x
cos y y v(x, y) = e
x
sin y las cuales son R
2
-diferenciable y ademas
cumple las ecuaciones de Cauchy-Riemann. As e
z
es C-diferenciable , tambien es ho-
lomorfa en C y e
z
es entera.
Y la derivada de f(z) es
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

es diferenciable y holomorfa en su dominio, ya que se obtiene a partir del campo y

composicion de funciones analticas en C
c
.
dz

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

3.5. Funciones Armonicas 38

Ejemplo 10. Resolver la ecuacion log z =

4
i
log z =

4
i
z = e

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) en el arco C, entonces

_
C
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

Este teorema facilita el calculo de las integrales de funciones conocidas.

Teorema 10. Con las mismas hipotesis del teorema si C es un arco cerrado, entonces
_
C
F

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

= F((a)) F((a)); por ser C cerrada
= 0
Ejemplo 14.
4.3. Mas propiedades de la integral 46
.
_
z
2
z
1
z
n
dz =
z
n+1
n + 1

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

Figura 4.4: Posibilidades de () = t

4.3. Mas propiedades de la integral 48
3. La forma correcta de entender la integral compleja:
Particionado el arco C en subarcos [Z
k
, Z
k+1
], con k = 0, 1, . . . , n 1. Si ()
es una parametrizacion de C, esta particion proviene de la particion (t
k
, t
k+1
) de
[a, b].
f continua en C considerar las sumas

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)dz ya que si F(z) = log z a entonces 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

Denicion 5. Un dominio D es estrellado

en z
0
si z
0
D y z D el segmento recto
que une a z
0
con z esta contenido en D.
NO
SI
Teorema 13. Si f es holomorfa en un dominio estrellado D, entonces existe una
funcion F holomorfa en D tal que F

= 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

4.5. Teorema Integral de Cauchy

Teorema 14. Si f : D C es analtica y D es un dominio estrellado, entonces
_
C
f(z)dz = 0
para todo contorno cerrado C D.
Demostracion. Por lo anterior existe una funcion holomorfa F : D C tal que F

= 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

Teorema 15. Cauchy-Goursat. Sea T una region triangular cerrada en el dominio de

una funcion holomorfa f. Si C = T recorrida en el sentido positivo, entonces
_
C
f(z)dz = 0
Demostracion.
Paso 1. Usemos los puntos medios de los lados de
T, para dividir a T en 4 subtriangulos
T
1
, T
2
, T
3
y T
4
con fronteras C
1
, C
2
, C
3
y
C
4
respectivamente.
4.5. Teorema Integral de Cauchy 53
_
C
f(z)dz =
_
C
1
f(z)dz +
_
C
2
f(z)dz +
_
C
3
f(z)dz +
_
C
4
f(z)dz
Por lo tanto

_
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

para cierto subtriangulo T

2
de T
1
con frontera C
2
. Observamos que

_
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

Paso 2. Utilizando el Teorema de Cantor( o del encajamiento): Como T = T

0
, T
0

T
1
T
2
. . . y los T
i
son todos compactos, entonces

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

() existe (f es diferenciable en ) es decir

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

4.6. Formula Integral de Cauchy

Teorema 16. Formula Integral de Cauchy Sea f holomorfa en el disco [z [ < R, y
C la circunferencia [z [ = < R. Sea z tal que [z [ < . Entonces
_
C
f()
z
d = 2if(z) o
_
C
f(z)
z a
dz = 2if(a)
Demostracion. Ya que z / C
1
, z / C
2
as
f()
z
es una funcion holomorfa en todos los
4.6. F ormula Integral de Cauchy 56
puntos dentro de C
1
y C
2
. Por tanto las integrales de las izquierda se anulan.
_
C
1
f()
z
d
. .
=0
+
_
C
2
f()
z
d
. .
=0
=
_
C
f()
z
d
_
k
f()
z
d
0 =
_
C
f()
z
d
_
k
f()
z
d
_
C
f()
z
d =
_
k
f()
z
d
=
_
k
f() f(z) + f(z)
z
d
=
_
k
f(z)
z
d +
_
k
f() f(z)
z
d
= f(z)
_
k
1
z
d +
_
k
f() f(z)
z
d
. .
A
= f(z)2i + A
Ahora
[A[ =

_
k
f() f(z)
z
d

L
k
sup
k

f() f(z)
z

Como f es holomorfa, f es continua, osea > 0, > 0 tal que

Si [ z[ < entonces [f() f(z)[ <
Sea b =radio de k < . As [f() f(z)[ < como 0 < b < , entonces
1

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

Teorema 17. Supongamos que f es holomorfa en un dominio D. Entonces, f

, 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

4.6. F ormula Integral de Cauchy 58

Corolario 1. Si f(z) = u(x, y) + iv(x, y) es holomorfa en D, las funciones u(x, y) y
v(x, y) poseen derivadas parciales de todos los ordenes.
Ejemplo 16. Calcule
_
C
3z
2
+ 7z + 1
z + 1
dz
a. Si C es la circunferencia [z + 1[ = 1.
b. Si C es la circunferencia [z + i[ = 1.
Solucion:
a. En este caso f(z) = 3z
2
+ 7z + 1, z = 1 C y ademas f(z) es holomorfa en C.
Por lo tanto
_
C
3z
2
+ 7z + 1
z + 1
dz = 2if(1)
= 2i(3(1)
2
+ 7(1) + 1)
= 2i(3 7 + 1)
= 6i
b. La funcion F(z) =
3z
2
+7z+1
z+1
es holomorfa en el disco [z + i[ = 1. Por lo tanto
_
C
3z
2
+ 7z + 1
z + 1
dz = 0 por Teorema de Cauchy-Goursat
Ejemplo 17. Calcule los valores posibles de
_
C

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

Teorema 19. de Liouville. Si f : C C es entera (holomorfa en C), y acotado,

entonces f es una constante.
Demostracion. Tomemos un disco de radio centrado en O. Por el teorema anterior
tenemos que:
[f

(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

0 en C. Como C conexo, entonces f(z) = cte

Teorema 20. Fundamental del

Algebra. Un polinomio no constante en la variable
compleja son de la forma
P(z) = a
n
z
n
+ a
n1
z
n1
+ . . . + a
1
z + a
0
, a
k
C k = 0, . . . , n.
Los polinomios en los complejos son algebraicamente cerrados. (Cada ecuacion po-
linomica compleja de grado n, con coecientes complejos, tiene n races en el cuerpo
de los complejos).
Demostracion. Notemos que lm
|z|
[P(z)[, ya que P(z) no es constante. Procedamos
por contradiccion. Asumamos que P(z) no tiene ning un cero complejo, osea P(z) ,= 0,
z C. En vista de lo anterior
lm
|z|
1
[P(z)[
= 0
esto implica que
1
P(z)
es acotado y entero. Por el teorema de Liouville
1
P(z)
= Cte P(z) = Cte ()

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

(z) = f(z), z G. Como F(z) es holomorfa, f

(n+1)(z)
, n N es holomorfa y
continua en todo D. Asi f(z) es holomorfa en D.
Proposicion 1. Sea f : D C C, con D estrellado. Las dos armaciones son
equivalentes:
1. f es holomorfa en D.
2. f es continua y
_
C
f(z)dz = 0, donde C es la frontera de un triangulo cualquiera
en D, para todo triangulo T.
1) 2) Teorema integral de Cauchy. 2) 1) Teorema de Morera.
Serie de Taylor de una funcion holomorfa
En analisis, una funcion analitica es una funcion que se puede representar por una serie
de potencias cerca a , es decir
f(z) =

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.