Curso de Variable Compleja Guia Calderon

Notas de Clase
Variable
Compleja
enero-abril 2014
J. Juan Rosales Garca, Manuel Gua Calderon y J. Francisco
G omez Aguilar
Universidad de Guanjuato, Capus Irapuato-Salamanca
Divisi on de Ingenieras, Departamento de Ingeniera Electrica
rosales@ugto.mx, guia@ugto.mx
ii
.
Indice general
1.

Algebra de los N umeros Complejos 1
1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Los N umeros Complejos y sus Propiedades . . . . . . . . . . . . 2
1.3. Propiedades de los N umeros Complejos . . . . . . . . . . . . . . 3
1.4. Propiedades de la Conjugacion. . . . . . . . . . . . . . . . . . . . 5
1.5. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.6. Interpretacion Geometrica de los N umeros Complejos . . . . . . 10
1.7. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.8. Notaciones de un N umero Complejo . . . . . . . . . . . . . . . . 14
1.9. Extraccion de Races de los N umeros Complejos . . . . . . . . . . 17
1.10. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.11. Conjuntos de Puntos, Crculos y Discos. . . . . . . . . . . . . . . 30
1.12. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.13. Regiones del Plano Complejo. . . . . . . . . . . . . . . . . . . . . 35
1.14. Ejercicios Propuestos . . . . . . . . . . . . . . . . . . . . . . . . . 35
2. Funciones de una Variable Compleja 37
2.1. Funciones de una Variable Compleja . . . . . . . . . . . . . . . . 37
2.2. Sucesiones y Series Complejas . . . . . . . . . . . . . . . . . . . . 41
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.4. Funciones Complejas Elementales . . . . . . . . . . . . . . . . . . 44
2.5. Lmite y Continuidad de una Funcion Compleja . . . . . . . . . . 51
2.6. Derivada de una Funcion Compleja. . . . . . . . . . . . . . . . . 54
2.7. Funciones Armonicas Conjugadas. . . . . . . . . . . . . . . . . . 59
2.8. Mapeo Conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.9. Ejercicios Resueltos. . . . . . . . . . . . . . . . . . . . . . . . . . 63
3. Integrales Complejas 67
3.1. Integral de una Funcion Compleja. . . . . . . . . . . . . . . . . . 67
3.2. Integrales de Lnea. . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.3. Integral Compleja en Terminos de Integrales Reales. . . . . . . . 71
3.4. Teorema de Cauchy-Goursat. . . . . . . . . . . . . . . . . . . . . 77
3.5. Forma Integral de Cauchy. . . . . . . . . . . . . . . . . . . . . . . 82
4. Series en el Dominio Complejo 93
4.1. Series de Potencias . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.2. Series de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4.3. Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.4. Ceros y Puntos Singulares Aislados de Funciones Complejas . . . 103
5. Series de Taylor y de Laurent: Singularidades 109
5.1. Series de Potencias . . . . . . . . . . . . . . . . . . . . . . . . . . 109
6. Residuos 119
6.1. Residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
6.1.1. Residuo en el Innito. . . . . . . . . . . . . . . . . . . . . 120
6.1.2. Residuos Logartmicos - Principio del Argumento. . . . . 122
6.2. Integrales de Funciones Reales. . . . . . . . . . . . . . . . . . . . 124
6.2.1. Integrales de Funciones Racionales de cos() y sen(). . . 124
6.2.2. Integrales Impropias de Funciones Racionales. . . . . . . . 126
6.3. Ejercicios Resueltos. . . . . . . . . . . . . . . . . . . . . . . . . . 128
Captulo 1
Algebra de los N umeros

Complejos
Contents
1.1. Introducci on . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Los N umeros Complejos y sus Propiedades . . . . . 2
1.3. Propiedades de los N umeros Complejos . . . . . . . 3
1.4. Propiedades de la Conjugaci on. . . . . . . . . . . . . 5
1.5. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.6. Interpretaci on Geometrica de los N umeros Com-
plejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.7. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.8. Notaciones de un N umero Complejo . . . . . . . . . 14
1.9. Extracci on de Races de los N umeros Complejos . 17
1.10. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.11. Conjuntos de Puntos, Crculos y Discos. . . . . . . 30
1.12. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.13. Regiones del Plano Complejo. . . . . . . . . . . . . . 35
1.14. Ejercicios Propuestos . . . . . . . . . . . . . . . . . . 35
2

Algebra de los N umeros Complejos
1.1. Introducci on
Los n umeros complejos son una creaci on esencialmente algebraica. Cardano
introdujo la unidad imaginaria en 1545 para expresar las soluciones, aunque
fueran imaginarias, de las ecuaciones de segundo grado, y desde este momento
los algebristas encontraron cada vez mas evidencias de que los n umeros ima-
ginarios resultantes de admitir al n umero i como si fuera un n umero real mas
eran sucientes para resolver cualquier ecuacion polinomial. Sin embargo, una
prueba de esta conjetura tuvo que esperar hasta el siglo XIX, cuando Gauss
demostro en su tesis doctoral que todo polinomio con coecientes complejos se
descompone en factores lineales, formulando el teorema fundamental del algebra.
Otro des-cubrimiento de Gauss mucho mas simple, pero no menos importante,
fue que la aritmetica de los n umeros complejos, introducida formalmente a
partir de la relacion i =
1, tiene una interpretacion geometrica sencilla si

se identican los factores lineales con los puntos del plano. Esta interpretacion
puede considerarse como el punto de partida del estudio analtico de los n umeros
complejos. Ademas de que el analisis complejo es interesante por s mismo,
tambien hay aplicaciones importantes y algunas veces sorprendentes a problemas
que podramos entender como pertenecientes al dominio real. Esto incluye la
evaluacion de integrales reales y sumas de series por tecnicas de integracion
complejas, as como el uso de cantidades complejas tales como la transformada
de Fourier y la transformada discreta de Fourier para resolver problemas sobre el
movimiento de ondas, propagaci on de calor y an alisis de se nales cuyas soluciones
son valores reales. El uso de mapeos conformes entre dominios del plano complejo
es tambien una tecnica signicativa para resolver ciertas ecuaciones diferenciales
parciales y problemas relacionados con la ingeniera.
1.2. Los N umeros Complejos y sus Propiedades
Un n umero complejo se dene como un par ordenado de n umeros reales
(x, y) dados por la expresi on x +iy y se representa con la letra z. Es decir, todo
n umero complejo z se escribe como
z = x +iy, x, y IR, (1.1)
donde i =
1 es la unidad imaginaria y IR representa el campo de los n umeros

reales. A todo n umero complejo (1.1) le corresponde su complejo conjugado,
1.3 Propiedades de los N umeros Complejos 3
denido de la siguiente manera
z = x iy, x, y IR, (1.2)
Los n umeros x en (1.1) y en (1.2) son la parte real del n umero complejo z y z,
y es su parte imaginaria (y es real, pero como esta multiplicada por la unidad
imaginaria i se le conoce como la parte imaginaria). Es decir, una cantidad o un
n umero complejo se caracterizan por tener una parte real y otra imaginaria. Las
partes real e imaginaria del n umero complejo z y su conjugado z se representan
de la siguiente manera
Re z = x, Re z = x, Imz = y, e Im z = y. (1.3)
En ocaciones, el n umero complejo (1.1) y su correspondiente conjugado (1.2) se
escriben como z = a + ib y z = a ib, donde a y b son n umeros reales. Esta
notaci on es muy conveniente para estudiar el algebra de los n umeros complejos.
Sin embargo, para estudiar el analisis complejo, es mas conveniente usar las
notaciones (1.1) y (1.2).
Observacion:
Cualquier expresion que contenga una parte real mas una parte imaginaria
sera una cantidad compleja, independientemente de como se escriba. Es decir,
la expresion + i (donde y son reales) es una cantidad compleja y su
conjugado sera i.
1.3. Propiedades de los N umeros Complejos
Sean z
1
= x
1
+ iy
1
y z
2
= x
2
+ iy
2
dos n umeros complejos. Entonces, las
operaciones sobre los n umeros complejos se denen por las siguientes reglas:
1. La suma de dos n umeros complejos z
1
+ z
2
es otro n umero complejo z
dado por
z = z
1
+z
2
= (x
1
+iy
1
) + (x
2
+iy
2
) = (x
1
+x
2
) +i(y
1
+y
2
) (1.4)
donde la parte real del n umero complejo resultante, z, es la suma (x
1
+x
2
)
y la parte imaginaria es (y
1
+y
2
).
La suma de los n umeros complejos cumple las siguientes leyes:
z
1
+z
2
= z
2
+z
1
. Ley conmutativa respecto a la suma
(z
1
+z
2
) +z
3
= z
1
+(z
2
+z
3
) = z
1
+z
2
+z
3
. Ley asociativa respecto
a la suma
(z
1
+z
2
)z
3
= z
1
z
3
+z
2
z
3
. Ley distributiva respecto a la suma.
4

2. La diferencia de dos n umeros complejos z
1
y z
2
es otro n umero complejo,
z, dado por
z = z
1
z
2
= (x
1
+iy
1
) (x
2
+iy
2
) = (x
1
x
2
) +i(y
1
y
2
) (1.5)
donde la parte real del n umero complejo resultante, z, es la diferencia
(x
1
x
2
) y la parte imaginaria es (y
1
y
2
).
3. El producto de dos n umeros complejos z
1
y z
2
es otro n umero complejo, z,
dado por
z = z
1
z
2
= (x
1
+iy
1
)(x
2
+iy
2
) = x
1
x
2
+ix
1
y
2
+iy
1
x
2
y
1
y
2
= (x
1
x
2
y
1
y
2
) +i(x
1
y
2
+y
1
x
2
) (1.6)
donde hemos aplicado la propiedad i
2
= 1. En este caso la parte real
del n umero complejo resultante, z, es (x
1
x
2
y
1
y
2
) y la parte imaginaria
es (x
1
y
2
+y
1
x
2
). La multiplicaci on de los n umeros complejos satisface las
siguientes leyes:
z
1
z
2
= z
2
z
1
. Ley conmutativa respecto a la multiplicacion.
(z
1
z
2
)z
3
= z
1
(z
2
z
3
) = z
1
z
2
z
3
. Ley asociativa respecto a la multiplica-
ci on.
z
1
(z
2
+z
3
) = z
1
z
2
+z
1
z
3
. Ley distributiva respecto a la multiplicaci on.
4. El cociente de dos n umeros complejos
z1
z2
, (z
2
= 0), es otro n umero complejo,
z, dado por
z =
z
1
z
2
=
z
1
z
2
z
2
z
2
=
(x
1
+iy
1
)(x
2
iy
2
)
(x
2
+iy
2
)(x
2
iy
2
)
=
=
x
1
x
2
ix
1
y
2
+iy
1
x
2
+y
1
y
2
x
2
2
ix
2
y
2
+iy
2
x
2
+y
2
2
=
x
1
x
2
+y
1
y
2
x
2
2
+y
2
2
+i
x
2
y
1
x
1
y
2
x
2
2
+y
2
2
(1.7)
En este caso la parte real del n umero complejo resultante, z, es,
x1x2+y1y2
x
2
2
+y
2
2
,
y la parte imaginaria,
x2y1x1y2
x
2
2
+y
2
2
.
5. Los n umeros cero y la unidad en el campo de los n umeros complejos
poseen las mismas propiedades que en el campo de los n umeros reales. Para
cualquier n umero complejo z = x+iy se cumplen las siguientes igualdades:
z + 0 = z
z 1 = z
6. Dos n umeros complejos z
1
= x
1
+iy
1
y z
2
= x
2
+iy
2
, son iguales si y s olo
si sus partes reales e imaginarias son iguales por separado, esto es
z
1
= z
2
x
1
= x
2
, y
1
= y
2
(1.8)
1.4 Propiedades de la Conjugacion. 5
7. Sea z = x+iy un n umero complejo y sea z = xiy su complejo conjugado,
entonces
z + z = x +iy + (x iy) = 2x x = Re z =
z + z
2
(1.9)
entonces
z z = x +iy (x iy) = 2iy y = Imz =
z z
2i
(1.10)
entonces
z z = (x +iy)(x iy) = x
2
ixy +iyx +y
2
= x
2
+y
2
(1.11)
10. Las potencias naturales de la unidad imaginaria i toman solo cuatro valores
1, i, 1, i dadas por las formulas
i
4n
= 1, i
4n+1
= i, i
4n+2
= 1, i
4n+3
= i (1.12)
donde n = 0, 1, 2, . . . Para elevar a la potencia natural n el n umero
complejo z = x +iy, se usa la formula del binomio de Newton
z
n
= (x +iy)
n
= x
n
+nx
n1
(iy) +
n(n 1)
2!
x
n2
(iy)
2
+
+
n(n 1)(n 2)
3!
x
n3
(iy)
3
+. . . + (iy)
n
, (1.13)
en esta expresion se deben tomar en cuenta las propiedades de la unidad
imaginaria i dadas en (1.12).
1.4. Propiedades de la Conjugaci on.
Sean z y w dos n umeros complejos distintos de cero. Entonces
1.

z = z
2. z + w = z +w
3. z w = z w
4. zw = z w
5. |z| = | z|
6

1.5. Ejemplos
Ejemplo 1.5.1. Sea z =
3 i. Evaluar z + z, z z y z z
Solucion: Dado el n umero complejo z =
3 i su correspondiente complejo
conjugado es z =
3 +i. Entonces
z + z = (
3 i) + (
3 +i) = 2
3 (1.14)
z z = (
3 i) (
3 +i) = 2i (1.15)
z z = (
3 i)(
3 +i) = 3 +i
3 i
3 i
2
= 3 + 1 = 4 (1.16)
Ejemplo 1.5.2. Sean z
1
= 3+2i y z
2
= 6+8i dos n umeros complejos. Evaluar
z
1
+z
2
, z
1
z
2
y z
1
z
2
.
Solucion: Tenemos
z
1
+z
2
= (3 + 2i) + (6 + 8i) = 3 + 10i (1.17)
z
1
z
2
= (3 + 2i) (6 + 8i) = 9 6i (1.18)
z
1
z
2
= (3 + 2i) (6 + 8i) = 34 + 12i (1.19)
1
= 1 + 2i y z
2
= 3 4i. Evaluar
z1
z2
.
Solucion: Tenemos
z
1
z
2
=
1 + 2i
3 4i
=
(1 + 2i)(3 + 4i)
(3 4i)(3 + 4i)
=
3 + 4i + 6i 8
9 + 16
=
1
5
+
2
5
i (1.20)
1
= 3 +i, z
2
= 3 i y z
3
=
1
5
+
1
10
i. Evaluar el producto
z
1
z
2
z
3
.
Solucion: Tenemos
z
1
z
2
z
3
= (3 +i)(3 i)
_
1
5
+
1
10
i
_
= 10
_
1
5
+
1
10
i
_
= 2 +i (1.21)
1
= 3 + 5i, z
2
= 2 + 3i y z
3
= 1 + 2i. Evaluar
z1z2
z3
+z
2
.
Solucion: Primero evaluamos la expresion
z
1
z
2
= (3 + 5i)(2 + 3i) = 6 + 9i + 10i 15 = 9 + 19i (1.22)
Luego, tenemos
z
1
z
2
z
3
=
9 + 19i
1 + 2i
=
(9 + 19i)(1 2i)
(1 + 2i)(1 2i)
=
9 + 18i + 19i + 38
1 + 4
=
29
5
+
37
5
i (1.23)
Finalmente
z
1
z
2
z
3
+z
2
=
_
29
5
+
37
5
i
_
+(2+3i) =
_
29
5
+2
_
+
_
37
5
+3
_
i =
39
5
+
52
5
i (1.24)
1.5 Ejemplos 7
Ejemplo 1.5.6. Evaluar la expresion
(23i)(32i)
(43i)(54i)
.
Solucion: Tenemos
(2 3i)(3 2i)
(4 3i)(5 4i)
=
6 4i 9i 6
20 16i 15i 12
=
13i
8 31i
=
=
(13i)(8 + 31i)
(8 31i)(8 + 31i)
=
403
1025

104
1025
i (1.25)
(1+i)(
3+i)
(1i)(
3+i)
.
Solucion: Tenemos
(1 +i)(
3 +i)
(1 i)(
3 +i)
=

3 +i
3i 1
3 +i
3i + 1
=
(
3 + 1) + (1
3)i
(
3 + 1) + (1
3)i
=
=
a +bi
a +bi
=
(a +bi)(a bi)
(a +bi)(a bi)
=
=
a
2
+abi +abi +b
2
a
2
+b
2
=
a
2
+b
2
a
2
+b
2
+
2ab
a
2
+b
2
i (1.26)
donde denimos a =
3 + 1 y b = 1
3. Entonces, tenemos a
2
= 4 + 2
3,
b
2
= 4 2
3, a
2
+b
2
= 8 y sustituyendo estos valores en (1.26)
a
2
+b
2
a
2
+b
2
=
3
2
,
2ab
a
2
+b
2
= 2
(
3 + 1)(1
3)
8
=
4
8
=
1
2
. (1.27)
el resultado nal es
(1 +i)(
3 +i)
(1 i)(
3 +i)
=
3
2

1
2
i (1.28)
Ejemplo 1.5.8. Elevar a la cuarta potencia el n umero complejo z = 2 +i.
Solucion: Dado el n umero complejo z = 2 +i se necesita calcular z
4
, para
esto usamos la formula del binomio de Newton (1.13)
z
4
= (2+i)
4
= 2
4
+4 2
3
i +6 4i
2
+4 2i
3
+i
4
= 16+32i 248i +1 = 7+24i
(1.29)
Ejemplo 1.5.9. Evaluar (17 6i)(4 12i).
Solucion:
Si denimos z = 4 12i, entonces su conjugado z = 4 12i = 4 + 12i.
Ahora calculamos el producto
(17 6i)(4 12i) = (17 6i)(4 + 12i) = 4 + 228i (1.30)
Ejemplo 1.5.10. Calcular la parte real e imaginaria de la funcion compleja
f(z) =
z
z
2
+ 1
, donde z = x +iy (1.31)
8

Ejemplo 1.5.11. Evaluar la expresion i
3
4i
2
+ 2.
Solucion: Usando la propiedad i
2
= i i = 1, se tiene i
3
= i i i = i,
entonces
i
3
4i
2
+ 2 = i + 4 + 2 = 6 i (1.32)
_
23i
1+2i
_
2
.
Solucion: Tenemos
_
2 3i
1 + 2i
_
2
=
(2 3i)
2
(1 + 2i)
2
=
4 12i + 9
1 + 4i 4
=
13 12i
3 + 4i
= (1.33)
=
(13 12i)(3 4i)
(3 + 4i)(3 4i)
=
39 52i + 36i 48
9 + 16
=
87
25

16
25
i
1
= 1 +i, z
2
=
3 +i y z
3
= 1 +i
3. Evaluar
z1
z2z3
.
Solucion: Primero evaluamos el producto z
2
z
3
, obtenemos
z
2
z
3
= (
3 +i)(1 +i
3) =
3 + 3i +i
3 = 4i (1.34)
Finalmente, se tiene
z
1
z
2
z
3
=
1 +i
4i
=
(1 +i)(4i)
(4i)(4i)
=
4i + 4
16
=
1
4

1
4
i (1.35)
Ejemplo 1.5.14. Hallar las soluciones reales de (2x iy) +x + 2iy = i.
Solucion: La expresion dada la podemos escribir de la siguiente manera
2x iy +x + 2iy = i 3x +iy = i (1.36)
Igualando los terminos reales e imaginarios de la izquierda con los terminos
reales e imaginarios de la derecha, tenemos el sistema de ecuaciones
3x = 0
y = 1 (1.37)
De donde podemos concluir que las soluciones reales son x = 0 y y = 1.
Ejemplo 1.5.15. Hallar las soluciones reales de la ecuacion (3x i)(2 +i) +
(x iy)(1 + 2i) = 5 + 6i.
Solucion: Realizando las multiplicaciones correspondientes, obtenemos
7x + 2y + (5x y)i = 4 + 8i. (1.38)
Igualando los terminos reales e imaginarios de la izquierda con los terminos
reales e imaginarios de la derecha, obtenemos el siguiente sistema de ecuaciones
7x + 2y = 4
5x y = 8 (1.39)
Resolviendo este sistema de dos ecuaciones con dos inc ognitas, resulta x = 20/17
e y = 36/17.
1.5 Ejemplos 9
Ejemplo 1.5.16. Hallar las soluciones reales de la ecuaci on (xiy)(aib) = i
5
,
donde a y b son ciertos n umeros reales y |a| = |b|.
Solucion: Abriendo los parentesis de la expresion dada, tenemos
ax ibx iay by = i (1.40)
Igualando los terminos resulta el sistema de ecuaciones
ax by = 0 (1.41)
bx +ay = 1 (1.42)
Este sistema tiene las siguientes soluciones reales
y =
a
a
2
+b
2
(1.43)
x =
b
a
2
+b
2
(1.44)
Ejemplo 1.5.17. Calcular los n umeros complejos z tales que
f(z) =
2z i
2 +iz
(1.45)
a) sea un n umero real, b) sea un n umero complejo
Solucion: a) Sea z = x +iy, entonces
f(z) =
2z i
2 +iz
=
3x +i(2x
2
2y
2
+ 5y 2)
(2 y)
2
+x
2
(1.46)
Entonces, para que la funcion f(z) sea real, se debe cumplir la relacion
2x
2
2y
2
+ 5y 2 = 0, x
2
+
_
y
5
4
_
=
9
16
(1.47)
Es decir, z esta en la circunferencia con centro en (0, 5/4) y de radio R = 3/4.
b) f(z) es imaginaria si y solo si x = 0, es decir, z esta en el eje imaginario.
Ejemplo 1.5.18. Calcular los n umeros complejos z tales que
f(z) =
z 1 i
z + 1 +i
(1.48)
a) f(z) sea real, b) f(z) tenga modulo igual a la unidad.
Solucion: Sea z = x +iy, entonces
f(z) =
z 1 i
z + 1 +i
=
x
2
+y
2
2 +i(2y 2x)
(x + 1)
2
+ (y + 1)
2
(1.49)
10

a), f(z) es real si y s olo si y = x. Es decir, z, est a en la bisectriz de los cuadrantes
primero y tercero.
b) la funcion f(z) tendra modulo igual a la unidad |f(z)| = 1 si y solo si
|z 1 i| = |z + 1 +i| (1.50)
De (1.50), tenemos
(x 1)
2
+ (y 1)
2
= (x + 1)
2
+ (y + 1)
2
x +y = 0 (1.51)
Es decir, z, esta en la bisectriz de los cuadrantes segundo y cuarto.
1.6. Interpretaci on Geometrica de los N umeros
Complejos
En esta seccion analizaremos la interpretacion geometrica de los n umeros
complejos. La idea es simple y natural. Supongamos un plano con un sistema
de coordenadas cartesianas xOy Figura 1.1. Por denici on un n umero complejo
z = x +iy es un par ordenado de n umeros reales (x, y). Por otro lado, a cada
par ordenado (x, y) de n umeros reales le corresponde un punto en el plano.
Entonces, a cada punto (x, y) del plano se le puede ver como una representaci on
del n umero complejo z = x +iy. En tal caso, al plano se le llama plano complejo
y al n umero complejo z se le llama punto de este plano.
Sobre el eje Ox se escriben los n umeros reales z = x + 0i = x, por esto se
le conoce como eje real . Sobre el eje Oy se escriben los n umeros imaginarios
z = 0+iy = iy, y el eje se llama eje imaginario. Es muy util la interpretaci on del
y
x
y
x
Re
z
0
= (x
0
, y
0
) z
0
= x
0
+ iy
0
z
0
=
0
e
i0
iy
0
iy
0
x
0
x
0
0
Plano complejo z Plano complejo z Plano polar complejo
(a) (b) (c)
Figura 1.1: Representacion geometrica de los n umeros complejos.
n umero complejo z = x +iy como radiovector

OP Figura 1.1. Es claro que a
cada radiovector del plano con terminaci on en el punto P(x, y) le corresponde
el n umero complejo z = x+iy. Al vector nulo le corresponde el n umero complejo
z = 0 +i0 = 0.
1.6 Interpretacion Geometrica de los N umeros Complejos 11
La longitud del segmento

OP se llama modulo del n umero complejo y se
representa por |z|, es decir
= |z|. (1.52)
Geometricamente, |z| es la distancia del origen (0, 0) al punto P(x, y). Entonces,
la posicion de un punto z = x + iy en el plano, ademas de sus coordenadas
cartesianas (x, y), se puede representar tambien en coordenadas polares (, ).
En tal caso se tienen las relaciones
x = cos = |z| cos , y = sen = |z| sen . (1.53)
El angulo entre el vector

OP y la abcisa x se llama argumento de z y se
representa como
= arg z (1.54)
El argumento de z puede ser positivo o negativo, dependiendo de c omo se tome
la direcci on. El argumento se considera positivo si la direcci on de es en contra
de las manecillas del reloj y negativo en caso contrario. Para un punto z dado,
su modulo se dene de manera unica, y su argumento con exactitud de hasta
el termino 2k, (k = 0, 1, 2, . . .). El valor del argumento que satisface
la desigualdad < se llama valor principal del argumento de z y se
representa por (1.54). De tal manera que para los otros valores del argumento
de z tendremos la igualdad
Arg z = arg z + 2k. k = 0, 1, 2, . . . , (1.55)
donde arg z es el valor principal del argumento Arg z. El valor principal o el
argumento principal se puede calcular por las siguientes formulas:
arg z =
_
_
arctan
_
y
x
_
si x > 0
+ arctan
_
y
x
_
si x < 0 y y 0
+ arctan
_
y
x
_
si x < 0 y y < 0,
2
si x = 0 y y > 0,
2
si x = 0 y y < 0
(1.56)
El punto z = 0 es el unico punto del plano complejo, para el cual el argumento
no esta denido. Las siguientes formulas tambien son validas:
tan(Arg z) =
y
x
, sen(Arg z) =
y
_
x
2
+y
2
,
cos(Arg z) =
x
_
x
2
+y
2
(1.57)
12

Dos n umeros complejos z
1
y z
2
son iguales si y s olo si sus m odulos son iguales y
sus argumentos son iguales o dieren por un m ultiplo de 2.
|z
1
| = |z
2
|, Arg z
1
= Arg z
2
+ 2k, (k = 0, 1, 2, . . .) (1.58)
Elevando al cuadrado las expresiones (1.53) y sumandolas, se tiene
x
2
+y
2
=
2
cos
2
+
2
sen
2
=
2
(cos
2
+ sen
2
) =
2
(1.59)
donde hemos usado la identidad trigonometrica cos
2
+ sen
2
= 1. Es decir, la
longitud del radiovector z = x +iy esta dada por la expresion
2
= |z|
2
= x
2
+y
2
(1.60)
la cual reeja el teorema de Pit agoras: el cuadrado de la hipotenusa es igual a
la suma de los cuadrados de los catetos x e y.
Sea z un n umero complejo diferente de cero y sea z su complejo conjugado.
Entonces el producto de un n umero complejo por su complejo conjugado es
z z = (x +iy)(x iy) = x
2
ixy +ixy +y
2
= x
2
+y
2
(1.61)
Por consiguiente, igualando las expresiones (1.60) y (1.61) obtenemos la relaci on
2
= |z|
2
= z z = x
2
+y
2
. (1.62)
Entonces, la longitud de un n umero complejo z = x +iy puede calcularse por
las expresiones dadas en (1.62).
1.7. Ejemplos
Ejemplo 1.7.1. Hallar el modulo (longitud), el argumento y las partes real e
imaginaria del n umero complejo z = (1 +i)
3
Solucion: Por denici on, el m odulo o longitud de un n umero complejo z es
|z| =
(1 +i)
3
= |(1 +i)|
3
=
_
2
_
3
= 2
3/2
(1.63)
Tambien podemos calcular el modulo de la siguiente manera
|z| =
(1 +i)
3
= |1 + 3i 3 i| = |2 + 2i| = 2
2 = 2
3/2
(1.64)
El resultado es el mismo. El argumento de z es
= arg z = arg(1+i)
3
= arg(2+2i) = +arctan(1) =
4
=
3
4
(1.65)
Donde, hemos identicado x = 2 < 0, y = 2 > 0 y usamos la formula (1.8).
1.7 Ejemplos 13
Ejemplo 1.7.2. Hallar el m odulo y el argumento del n umero complejo
_
1i
1+i
_
.
Solucion: El modulo es
1 i
1 +i
(1 i)(1 i)
(1 +i)(1 i)
= | i| = 1 (1.66)
Su argumento
= arg
_
1 i
1 +i
_
= arg(i) =
2
(1.67)
Ejemplo 1.7.3. Calcular el modulo
(2 +i
5)(1 +i
3)
3
5 +i
(1.68)
Solucion: Escribiendo la expresion (1.68) como
(2 +i
5)(1 +i
3)
3
5 +i
2 +i
1 +i
5 +i
4 + 5(1 + 3)
3/2
5 + 3
=
=
64
8
=
_
9 64
8
=
72 =
36 2 = 6
2 (1.69)
Ejemplo 1.7.4. Vericar la igualdad
a +bi
b +ai
= 1 (1.70)
Solucion: Simplicando, se tiene
a +bi
b +ai
=
(a +bi)(b ai)
(b +ai)(b ai)
=
2ab
a
2
+b
2
+
b
2
a
2
a
2
+b
2
i (1.71)
Por consiguiente
a +bi
b +ai
4a
2
b
2
(a
2
+b
2
)
2
+
b
4
2a
2
b
2
+a
4
(a
2
+b
2
)
2
=
a
4
+ 2a
2
b
2
+b
2
(a
2
+b
2
)
2
= 1 (1.72)
La relacion (1.70) queda demostrada.
Ejemplo 1.7.5. Hallar la curva que describe la ecuacion
|z z
0
| = R con R real (1.73)
Solucion: Sean z = x +iy y z
0
= x
0
+iy
0
, entonces
z z
0
= (x x
0
) +i(y y
0
) (1.74)
14

El m odulo o longitud esta dado por |z z
0
| =
_
(x x
0
)
2
+ (y y
0
)
2
. Entonces,
la expresion (1.73) se escribe de la siguiente manera
_
(x x
0
)
2
+ (y y
0
)
2
= R (1.75)
Elevando al cuadrado ambas partes de (1.75) obtenemos la siguiente ecuacion
(x x
0
)
2
+ (y y
0
)
2
= R
2
(1.76)
la cual representa un crculo de radio R centrado en el punto (x
0
, y
0
). Por
consiguiente, la expresion (1.73) representa la ecuacion de un crculo de radio
R centrado en el punto z
0
del plano complejo. Si x
0
= 0 y y
0
= 0, entonces, de
(1.76) resulta la ecuacion
x
2
+y
2
= R
2
(1.77)
la cual representa un crculo de radio R centrado en el origen. En el plano
complejo este crculo corresponde a la ecuacion
|z| = R (1.78)
ya que x
0
= 0, y
0
= 0, entonces z
0
= 0.
1.8. Notaciones de un N umero Complejo
Para resolver algunos problemas de aplicacion, es conveniente conocer las
diferentes formas en que se pueden denotar los n umeros; mientras una notaci on
es mas adecuada para realizar ciertas operaciones aritmetica otra lo sera para
otro tipo de operaciones, como se vera mas adelante. Las diferentes formas de
denotar un n umero complejo tienen su origen en los sistemas de coordenadas
cartesianas rectangulares y el sistema de coordenadas polares aun cuando el n
primario de estos sistemas de coordenas fue otro.
Notacion algebraica: Sabemos que un n umero complejo z se escribe, por
denicion, de la siguiente manera
z = x +iy (1.79)
A esta representacion se le conoce como representacion algebraica .
Representacion Trigonometrica: Si hacemos uso de las expresiones (1.53),
podemos escribir el n umero complejo z como
z = cos +i sen = (cos +i sen ), (1.80)
donde = |z| =
_
x
2
+y
2
y = Arg (z) = arg z + 2k. A esta representacion
se le conoce como representacion trigonometrica o forma polar.
1.8 Notaciones de un N umero Complejo 15
Sean z
1
=
1
(cos
1
+ i sen
1
) y z
2
=
2
(cos
2
+ i sen
2
), entonces la
multiplicacion esta dada por
z
1
z
2
=
=
1
2
[(cos
1
cos
2
i sen
1
sen
2
) +i(sen
1
cos
2
+ cos
1
sen
2
)]
=
1
2
[cos(
1
+
2
) +i sen (
1
+
2
)] (1.81)
Es decir, los argumentos de los n umeros complejos son aditivos respecto a la
mutiplicacion. Entonces, si z
1
= z
2
= z y
1
=
2
= , de (1.81), resulta
z
2
=
2
(cos 2 +i sen 2) (1.82)
En general, se tiene
z
n
= [(cos +i sen )]
n
=
n
(cos n +i sen n) (1.83)
La expresion (1.83) se conoce como formula de Moivre. Esta formula nos dice
que; al elevar un n umero complejo a una cierta potencia entera y positiva n, el
m odulo de este n umero se eleva a la misma potencia y el argumeto se multiplica
por el exponente de la potencia.
Si = 1, de la expresion (1.83) se tiene un caso particular
(cos +i sen )
n
= cos n +i sen n (1.84)
Una aplicacion inmediata de esta expresion es para obtener relaciones trigo-
nometricas. Por ejemplo, suponiendo que n = 2, entonces
(cos +i sen )
2
= cos 2 +i sen 2 (1.85)
Esta expresion se puede escribir como
cos
2
+ 2i cos sen sen
2
= cos 2 +i sen 2 (1.86)
Igualando la parte real e imaginaria resultan las expresiones
cos 2 = cos
2
sen
2
sen 2 = 2 cos sen (1.87)

Si n = 3, tendremos
(cos +i sen )
3
= cos 3 +i sen 3 (1.88)
Luego, desarrollando el trinomio, se tiene
cos
3
+3i cos
2
sen +3 cos (i sen )
2
+(i sen )
3
= cos 3+i sen 3 (1.89)
Igualando la parte real e imaginaria, obtenemos las formulas
cos 3 = cos
3
3 cos sen
2
sen 3 = 3 cos
2
sen sen
3
. (1.90)
16

Observacion:
Si un n umero complejo est a dado en su forma algebraica z = x+iy, entonces
para elevarlo a una cierta potencia entera y positiva n usando la formula
de Moivre (1.83), debemos, primero escribirlo en su correspondiente forma
trigonometrica.
Teorema 1.8.1. El modulo del producto de n umeros complejos es igual al
producto de sus modulos y el argumento del producto de n umeros complejos es
igual a la suma sus argumentos.
De la expresion (1.81), tenemos
|z
1
z
2
| = |
1

2
cos(
1
+
2
) +i
1

2
sen (
1
+
2
)| =
=
_
2
1

2
2
[cos
2
(
1
+
2
) + sen
2
(
1
+
2
)] =
=
1

2
= |z
1
| |z
2
| (1.91)
y
Arg (z
1
z
2
) =
1
+
2
= Arg z
1
+ Arg z
2
(1.92)
Observacion: Como consecuencia, tenemos que el modulo de una potencia
entera positiva de un n umero complejo es igual al modulo elevado a la misma
potencia y el argumento de un n umero complejo elevado a una potencia entera
positiva es igual al argumento del n umero dado multiplicado por el valor de la
potencia.
|z
n
| = |z|
n
, Arg (z
n
) = nArg z, n 1 (1.93)
La divisi on de dos n umeros complejos z
1
y z
2
, z
2
= 0, en su forma trigonometrica
esta denida como el n umero complejo z dado por
z =
z
1
z
2
=
z
1
z
2
z
2
z
2
=

1
(cos
1
+i sen
1
)
2
(cos
2
i sen
2
)
2
(cos
2
+i sen
2
)
2
(cos
2
i sen
2
)
=

1
2
[cos(
1
2
) +i sen(
1
2
)] (1.94)
De donde
z
1
z
2
=

1
2
=
|z
1
|
|z
2
|
(1.95)
y los argumentos
Arg
_
z
1
z
2
_
=
1
2
= Arg z
1
Arg z
2
(1.96)
Representacion Exponencial: Haciendo uso de la formula de Euler
e
i
= cos +i sen , 0 2 (1.97)
y comparando con la expresi on (1.80), tenemos que todo n umero complejo z se
puede escribir como
1.9 Extraccion de Races de los N umeros Complejos 17
z = e
i
(1.98)
donde = |z| =
_
x
2
+y
2
y = Arg (z) = arg z + 2k. A esta representacion
se le conoce como representacion exponencial del n umero complejo z.
Haciendo uso de la formula de Moivre (1.83), podemos escribir
z
n
= (e
i
)
n
=
n
e
in
(1.99)
Sean z
1
y z
2
dos n umeros complejos dados en forma exponencial. Entonces,
la multiplicacion de z
1
=
1
e
i1
por z
2
=
2
e
i2
sera otro n umero complejo z
representado por
z = z
1
z
2
=
1
2
e
i(1+2)
= e
i
donde =
1
2
y =
1
+
2
(1.100)
El cociente de z
1
y z
2
sera el n umero complejo dado por
z =
z
1
z
2
=

1
e
i1
2
e
i2
=

1
2
e
i(12)
= e
i
donde =

1
2
y =
1
2
(1.101)
Se puede ver claramente que la representacion exponencial de los n umeros
complejos es mas elegante que la forma normal e incluso que su representacion
trigonometrica.
1.9. Extraccion de Races de los N umeros
Complejos
En esta seccion analizaremos el problema de extraccion de races de una
potencia natural n de un n umero complejo z arbitrario (en particular, real).
Ademas, buscaremos todos los posibles valores de la raz, reales y complejos.
Para resolver este problema en forma general, utilzaremos la representacion
trigonometrica del n umero complejo z = 0
z = [cos( + 2k) +i sen( + 2k)] (1.102)
donde es uno de los valores del argumento (0 < 2), y + 2k, (donde
k = 0, 1, 2, . . .) nos da el conjunto de todos los valores del argumento de z.
El n umero w se llama raz de la potencia n de z, si
w
n
= z (1.103)
Escribamos en forma trigonometrica el n umero desconocido w, es decir
w = r(cos +i sen ) (1.104)
18

Entonces, aplicando la formula de Moivre (1.83) y reescribiendo la igualdad
w
n
= z, tenemos
r
n
[cos(n) +i sen(n)] = [cos( + 2k) +i sen( + 2k)] (1.105)
De las condiciones de igualdad, obtenemos dos relaciones
r
n
= , n = + 2k (1.106)
La primera de las expresiones muestra que
r =
1/n
(1.107)
Debido a que r > 0 y > 0. La segunda igualdad en (1.106) representa el
hecho de que el argumento n del n umero w
n
es igual a uno de los valores del
argumento del n umero z. De esta igualdad encontramos
=
+ 2k
n
(1.108)
la cual nos dice que para diferentes valores de k se obtienen, en general, diferentes
valores de la raz w. Representemos el valor de que le corresponde a cada
n umero k elejido por
k
;
k
=
+ 2k
n
(1.109)
donde k toma los valores 0, 1, 2, . . . n1. En tal caso, obtendremos
0
,
1
, . . .
n1
y por consiguiente n valores de la raz
w
n
=
n
_
cos
_
+ 2k
n
_
+i sen
_
+ 2k
n
__
(1.110)
donde k = 0, 1, 2, . . . n1 y = arg z. Estos n valores est an en una circunferencia
de radio
n
con centro en el orgen de coordenadas y constituyen los vertices

de un polgono regular de n lados.
1.10. Ejemplos
Ejemplo 1.10.1. Escribir en la forma trigonometrica los siguientes n umeros:
A) 6 6i, B) 3i y C) 10.
Solucion: A) Tenemos 6 6i. Entonces, x = 6 y y = 6. Por consiguiente,
la longitud o modulo es
=
_
6
2
+ (6)
2
=
_
(36)2 = 6
2 (1.111)
Luego, de (1.53), tenemos
cos =
x
=
6
6
2
=
2
2
, sen =
y
=
6
6
2
=
2
2
(1.112)
1.10 Ejemplos 19
De donde obtenemos el valor del argumento = 7/4. Por lo tanto, la represen-
tacion trigonometrica de 6 6i es
6 6i = 6
2
_
cos
_
7
4
_
+i sen
_
7
4
__
(1.113)
Solucion: B) Tenemos 3i. En este caso x = 0 y y = 3. Entonces, el m odulo
es =
_
x
2
+y
2
=
3
2
= 3. Usando las formulas (1.53), tenemos
cos =
0
= 0, sen =
3
3
= 1 (1.114)
El valor del argumento es = /2. Entonces la representacion trigonometrica
del n umero 3i esta dada por
3i = 3
_
cos
_
2
_
+i sen
_
2
__
(1.115)
Solucion: C) Se tiene 10. En este caso x = 10 y y = 0. Entonces, el
m odulo o longitud de 10 es =
_
(10)
2
+ 0
2
= 10. De las f ormulas (1.53), se
tiene
cos =
10
10
= 1, sen =
0
10
= 0 (1.116)
Entonces el valor del argumento = . Por lo tanto el n umero 10 tiene como
representaci on trigonometrica
10 = 10 (cos +i sen ) (1.117)
Ejemplo 1.10.2. Sea dado el n umero complejo z = 3 + 2i. Representarlo en su
forma trigonometrica.
Solucion: Identicamos x = 3 y y = 2. El modulo del n umero complejo es
= |z| =
_
x
2
+y
2
=
_
(3)
2
+ (2)
2
=
13. Ahora podemos calcular el valor del

angulo , o bien el argumento = arg z
tan =
y
x
=
2
3
, = tan
1
_
2
3
_
(1.118)
Entonces, la representacion trigonometrica es
z =
13
_
cos
_
tan
1
_
2
3
__
+i sen
_
tan
1
_
2
3
___
(1.119)
Ejemplo 1.10.3. Sea z = 2
33i un n umero complejo. Escribirlo en su forma

trigonometrica.
Solucion: Identicamos x = 2
3 y y = 3. Entonces
= |z| =
_
x
2
+y
2
=
12 + 9 =
21 (1.120)
20

Luego
= arg z = tan
1
_
y
x
_
= tan
1
_
3
2
_
(1.121)
Finalmente, la representacion trigonometrica de z = 2
3 3i es
z =
21
_
cos
_
tan
1
_
3
2
__
+i sen
_
tan
1
_
3
2
___
(1.122)
Ejemplo 1.10.4. Representar los siguientes n umeros complejos A) z = 2 + 3i,
B) z = 1 i en forma trigonometrica.
Solucion: A) z = 2 + 3i. Identicamos x = 2 y y = 3. Entonces, el modulo
es
= |z| =
_
x
2
+y
2
=
_
(2)
2
+ (3)
2
=
13 (1.123)
y el argumento
= tan
1
_
3
2
_
(1.124)
Usando las formulas (1.55) y (1.57), obtenemos la representacion polar de
z = 2 + 3i
z =
13
_
cos
_
tan
1
_
3
2
__
+ sen
_
tan
1
_
3
2
___
(1.125)
Solucion: B) z = 1 i. Identicamos x = 1 y y = 1.
= |z| =
_
x
2
+y
2
=
_
(1)
2
+ (1)
2
=
2 (1.126)
y el argumento
= tan
1
_
1
1
_
= tan
1
(1) (1.127)
Entonces, usando la f ormula (1.55), tenemos la representaci on polar de z = 1 i
z =
2
_
cos
_
tan
1
(1)
+ sen
_
tan
1
(1)
_
(1.128)
1
= 2
1/3
(cos 25
o
+ i sen 25
o
) y z
2
= 4
1/3
(cos 35
o
+
i sen 35
o
). Calcular el producto z
1
z
2
.
Solucion: Usando la formula (1.81), el producto esta dado por
z
1
z
2
= (2
3
)
1/3
[cos(25
o
+ 35
o
) +i sen(25
o
+ 35
o
)] = 2 (cos 60
o
+i sen 60
o
)
= 1 +i
3 (1.129)
1
= 6[cos (110
o
) + i sen (110
o
)] y z
2
= 2[cos (80
o
) +
i sen (80
o
)]. Calcular
z1
z2
.
1.10 Ejemplos 21
Solucion: De la formula (1.94), tenemos
z
1
z
2
=
6
2
[cos (110
o
80
o
) +i sen (110
o
80
o
)] = 3 [cos (30
o
) +i sen (30
o
)]
=
3
2
(
3 +i) (1.130)
Ejemplo 1.10.7. Sea z = 3(cos 43
o
+i sen 43
o
). Se pide elevar el n umero dado
a la quinta potencia, es decir, calcular z
5
.
Solucion: El n umero est a en forma trigonometrica. Podemos usar la f ormula
de Moivre (1.83)
z
5
= [3(cos 43
o
+i sen 43
o
]
5
= 243 (cos 215
o
+i sen 215
o
) (1.131)
Ejemplo 1.10.8. Hallar el valor principal = arg(z) de los siguientes n umeros
complejos; A) z =
2
1+
3i
, B) z = (
3 i)
6
.
Solucion: A) El numerador 2 lo podemos escribir como z
1
= 2 + 0i,
donde identicamos x = 2 y y = 0 y al denominador como z
2
= 1 +
3i donde
x = 1 y y =
3. Entonces
1
= |z
1
| =
_
x
2
+y
2
=
_
(2)
2
+ (0)
2
=
4 = 2 (1.132)
Y
1
= tan
1
_
0
2
_
= (1.133)
Entonces, tenemos
z
1
=
4 [cos +i sen ] = 2 (1.134)

Para el Denominador z
2
= 1 +
3i, tenemos
2
= |z
2
| =
_
x
2
+y
2
=
_
(1)
2
+ (
3)
2
=
4 = 2 (1.135)
Y
2
= tan
1
_
3
_
=

3
(1.136)
Entonces
z
2
= 2
_
cos
_
3
_
+ sen
_
3
__
(1.137)
Finalmente, tenemos
z =
2
1 +
3i
=
z
1
z
2
=
cos +i sen
cos
_
3
_
+i sen
_
3
_ (1.138)
Usando la formula
arg (z) = arg (z
1
) arg (z
2
)
arg (z) =

3
=
2
3
(1.139)
22

B) Para z = (
3 i)
6
, sea z
1
=
3 i, entonces
= |z| =
_
x
2
+y
2
=
_
(
3)
2
+ (1)
2
=
4 = 2 (1.140)
Y
= tan
1
_
1
3
_
=
6
(1.141)
z
1
= 2
_
cos
_
6
_
+ sen
_
6
__
(1.142)
Escribiendo este resultado en forma exponencial
z
1
= (e
i
)
6
=
_
2e
i
6
_
6
= 64e
i
(1.143)
Entonces, los argumentos
arg z = , Arg z = + 2k (1.144)
Ejemplo 1.10.9. Usando la representaci on exponencial de los n umeros comple-
jos, vericar la igualdad i(1
3i)(
3 +i) = 2(1 +
3i).
Solucion: Podemos ver la igualdad i(1
3i)(
3 +i) = 2(1 +
3i), como
el producto de tres n umeros complejos z
1
= i, z
2
= (1
3i) y z
3
= (
3 + i).
Escribiendo estos tres n umeros en forma exponencial. Para z
1
, tenemos
z
1
= i = 0 +i (1.145)
Su magnitud es
1
= |z| =
_
x
2
+y
2
=
_
(0)
2
+ (1)
2
=
1 = 1 (1.146)
y su argumento
1
= tg
1
_
1
0
_
=

2
(1.147)
Entonces, de la forma exponencial de un n umero complejo z = e
i
tenemos
z
1
= e
2
i
(1.148)
Para
z
2
= 1 i
3 (1.149)
tenemos = |z| =
_
x
2
+y
2
=
_
_
3
_
2
+ (1)
2
=
4 = 2
2
= tan
1
_
1
3
_
=
3
(1.150)
En forma exponencial
z
2
= (e
i
) = 2e
i
3
(1.151)
1.10 Ejemplos 23
Para: z
3
= (
3 +i)
3
= |z| =
_
x
2
+y
2
=
_
_
3
_
2
+ (1)
2
=
4 = 2,
3
= tan
1
_
1
3
_
=

6
. (1.152)
Tenemos
z
3
= 2e
6
i
(1.153)
Entonces
z
1
z
2
z
3
= e
2
i
(2)e
6
i
(2)e
6
i
= 4e
(
3
+
6
)i
= 4e
i
3
= 4
_
cos
_
3
_
+i sen
_
3
__
= 2(1 +i
3) (1.154)
Ejemplo 1.10.10. Vericar las igualdades; A) |e
i
| = 1, B) (e
i
)
2
= (e
2i
)
Solucion: A) Representando e
i
como el n umero complejo z, es decir z = e
i
.
Entonces, su conjugado es z = e
i
y por consiguiente
z z = e
i
e
i
= e
0
= 1. (1.155)
B) Usando la formula de Euler, tenemos
(e
i
)
2
= [cos() +i sen()]
2
= cos
2
() + 2 sen() cos()i sen
2
() (1.156)
Usando las formulas 2 sen() cos() sen(2), cos
2
() sen
2
() cos(2)
Tenemos
(e
i
)
2
= cos(2) +i sen(2) = e
2i
(1.157)
Ejemplo 1.10.11. Vericar la igualdad
cos
3
x =
1
4
cos 3x +
3
4
cos x (1.158)
Solucion: Vamos a usar las formulas de Euler
e
ix
= cos x +i sen x, e
ix
= cos x i sen x (1.159)
Sumando estas dos expresiones, tenemos
e
ix
+e
ix
= cos x +i sen x + cos x i sen x = 2 cos x,
cos x =
e
ix
+e
ix
2
(1.160)
Hemos expresado la funci on coseno en funciones exponenciales. Elevando al cubo,
resulta
cos
3
x =
_
e
ix
+e
ix
2
_
3
=
e
3ix
+ 3e
2ix
e
ix
+ 3e
ix
e
2ix
+e
3ix
8
(1.161)
=
1
4
_
e
3ix
+e
3ix
2
_
+
3
4
_
e
ix
+e
ix
2
_
=
1
4
cos 3x +
3
4
cos x
24

De esta forma queda vericada la igualdad. Hemos visto la gran utilidad de los
n umeros complejos en forma exponencial.
Ejemplo 1.10.12. Representar el n umero complejo z = 3 +i
3 en su forma
trigonometrica y exponencial.
Solucion: Tenemos
=
_
x
2
+y
2
=
9 + 3 = 2
3, y = tg
1
_
3
3
_
=

6
(1.162)
Por consiguiente, la forma trigonometrica se escribe como
z = 2
3
_
cos
_
6
_
+i sen
_
6
__
(1.163)
Y su forma exponencial tiene la forma
z = 2
3e
i/6
(1.164)
Ejemplo 1.10.13. Escribir z =
2 i
2 en su forma exponencial.
Solucion: Tenemos
=
_
x
2
+y
2
=
2 + 2 = 2, tan =
2
= 1 =
4
(1.165)
Entonces, su forma exponencial es
z = 2e
i/4
(1.166)
Ejemplo 1.10.14. Escribir el n umero complejo z = e
i/2
en su forma algebraica.
Solucion: Tenemos
z = e
i/2
= cos
_
2
_
+i sen
_
2
_
= i (1.167)
Es decir, la forma algebraica de e
i/2
es el n umero complejo i.
Ejemplo 1.10.15. Hallar todos los n umeros complejos z que satisfacen la
relacion
z
n1
= z (1.168)
Solucion: Sea z = e
i
. Entonces, z = e
i
. Luego, de acuerdo con la
hipotesis
n1
e
i(n1)
= e
i

n2
e
in
= 1 (1.169)
De aqu, resulta que
n2
= 1, = 1. (1.170)
y
in = 2ki =
2k
n
, (k = 0, 1, 2, .., (n 1)) (1.171)
Entonces, el resultado es
z
k
= e
i(2k/n)
, k = 0, 1, 2...(n 1) (1.172)
1.10 Ejemplos 25
Ejemplo 1.10.16. Hallar todos los valores de la raz cuarta de 16, es decir,
los valores de
4
16.
Solucion: Antes que nada debemos escribir el n umero 16 en su forma
trigonometrica
16 = 16 [cos ( + 2k) +i sen ( + 2k)] (1.173)
Entonces, de la formula (1.110) tenemos
k
=
4
16 =
4
16
_
cos
_
+ 2k
4
_
+i sen
_
+ 2k
4
__
(1.174)
Para los valores de k = 0, 1, 2, 3, tenemos
k
=
_
_
2
_
cos
_
4
_
+i sen
_
4
_
=
2(1 +i) k = 0
2
_
cos
_
3
4
_
+i sen
_
3
4
_
=
2(1 +i) k = 1
2
_
cos
_
5
4
_
+i sen
_
5
4
_
=
2(1 +i) k = 2
2
_
cos
_
7
4
_
+i sen
_
7
4
_
=
2(1 i) k = 3
(1.175)
Ejemplo 1.10.17. Hallar todos los valores de la raz c ubica de 27, es decir
3
27.
Solucion: La representacion trigonometrica de 27 es
27 = 27 [cos (0 + 2k) +i sen (0 + 2k)] (1.176)
Entonces, aplicando la formula (1.110), resulta
k
=
3
27 = 3
_
cos
_
2k
3
_
+i sen
_
2k
3
__
(1.177)
Para k = 0, 1, 2, tenemos
k
=
_
_
3 k = 0
3
_
3
2
+
i
2
_
=
3
2
_
3 +i
_
k = 1
3
_
3
2

i
2
_
=
3
2
_
3 +i
_
k = 2
(1.178)
Ejemplo 1.10.18. Calcular todos los valores de
4
_
8 (8
3)i
Solucion: Sea z = 8 (8
3)i. Entonces, podemos identicar los valores

de x = 8 y y = 8
3. Por consiguiente el modulo de z expresado como

=
_
x
2
+y
2
=
_
(8)
2
+ (8
3)
2
= 16. El argumento lo podemos hallar
de la siguiente formula
tan =
y
x
=
8
3
8
=
3, = tan
1
(
3) = 240
o
(1.179)
26

Por consiguiente la forma trigonometrica de z = 8 8
3i es
8 8
3i = 16 [cos (240
o
+ 2k) +i sen (240
o
+ 2k)] (1.180)
Entonces, usando la formula (1.110), tenemos
4
_
8 (8
3)i = 2
_
cos
_
240
o
+ 360
o
k
4
_
+i sen
_
240
o
+ 360
o
k
4
__
= 2 [cos (60
o
+ 90
o
k) +i sen (60
o
+ 90
o
)] (1.181)
Para los diferentes valores de k = 0, 1, 2, 3, se tiene
k
=
_
_
2 [cos (60
o
) +i sen (60
o
)] = 1 +
3i k = 0
2 [cos (150
o
) +i sen (150
o
)] =
3 +i k = 1
2 [cos (240
o
) +i sen (240
o
)] = 1
3i k = 2
2 [cos (330
o
) +i sen (330
o
)] =
3 i k = 3
(1.182)
Ejemplo 1.10.19. Calcular todos los valores de
3
27i
Solucion: Sea z = 27i. Escribamos este n umero en su forma trigonometrica.
Para esto, tenemos que el modulo es
=
_
x
2
+y
2
=
_
(0)
2
+ (27)
2
= 27,
cos = 0 y sen = 1, de donde obtenemos el valor del argumento = 90
o
.
Entonces, la forma trigonometrica de z = 27i es
27i = 27 [cos(90
o
+ 360
o
k) +i sen (90
o
+ 360
o
k)] (1.183)
Usando la formula (1.110), tenemos
3
27i =
3
27
_
cos
_
90
o
+ 360
o
k
3
_
+i sen
_
90
o
+ 360
o
k
3
__
= 3 [cos (30
o
+ 120
o
k) +i sen (30
o
+ 120
o
k)] (1.184)
Para los valores de k = 0, 1, 2, resulta
k
=
_
_
3 [cos 30
o
+i sen 30
o
] =
3
3
2
+
3
2
i k = 0
3 [cos 150
o
+i sen 150
o
] =
3
3
2
+
3
2
i k = 1
3 [cos 270
o
+i sen 270
o
] = 3i k = 2
(1.185)
Ejemplo 1.10.20. Hallar todos los valores del n umero complejo (1 i)
1/4
.
Solucion: Sea z = 1 i el n umero complejo. El primer paso es escribir
este n umero en su forma polar. Para esto debemos calcular su magnitud y su
argumento, esto es
=
_
1
2
+ (1)
2
=
2, = arg (1 i) =
4
(1.186)
1.10 Ejemplos 27
Entonces, tenemos que la forma trigonometrica de z = 1 i es
z = 1 i =
2
_
cos
_
4
_
+i sen
_
4
__
(1.187)
Por consiguiente, usando la formula (1.107), tenemos
w
k
= z
1/4
= (1 i)
1/4
= (2)
1
8
_
cos
_
4
+ 2k
4
_
+i sen
_
4
+ 2k
4
__
(1.188)
Dando a k los valores 0, 1, 2, 3, resulta que las races son:
k
=
_
_
(2)
1/8
_
cos

16
i sen

16
_
k = 0
(2)
1/8
_
cos
7
16
+i sen
7
16
_
k = 1
(2)
1/8
_
cos
15
16
+i sen
15
16
_
k = 2
(2)
1/8
_
cos
23
16
+i sen
23
16
_
k = 3
(1.189)
Donde hemos usado las propiedades cos() = cos y sen () = sen .
Estas propiedades son debido a que la funci on coseno es par y la funci on seno es
impar. Esta propiedad la usamos en (1.189), para el caso k = 0.
Ejemplo 1.10.21. Hallar las races quintas de z = 4 + 6i
Solucion: En forma polar el n umero complejo z = 4 + 6i, se escribe como
z = (4 + 6i) =
52
_
cos
_
tan
1
_
3
2
__
+i sen
_
tan
1
_
3
2
___
(1.190)
Entonces, las races quintas estan dadas por la expresion
w = (4 + 6i)
1
5
=
10
52
_
cos
_
tan
1
_
3
2
_
+ 2k
5
_
+i sen
_
tan
1
_
3
2
_
+ 2k
5
__
(1.191)
k
=
_
_
360
o
(0)+56,3
o
5
= 11,26
o
k = 0
360
o
(1)+56,3
o
5
= 83,26
o
k = 1
360
o
(2)+56,3
o
5
= 155,26
o
k = 2
360
o
(3)+56,3
o
5
= 227,26
o
k = 3
360
o
(4)+56,3
o
5
= 299,26
o
k = 4
(1.192)
En este caso se ha hecho la conversion de radianes a grados.
Ejemplo 1.10.22. Calcular las races del
1
Solucion: Sea z = 1, su modulo y argumento son
= 1, arg (1) = (1.193)
28

En la representacion polar, podemos escribir
z = cos +i sen (1.194)
Luego, las races son
w
k
= z
1/2
= (1)
1/2
= cos
_
+ 2k
2
_
+i sen
_
+ 2k
2
_
, (k = 0, 1) (1.195)
Las diferentes races son
k
=
_
cos

2
+i sen

2
= i k = 0,
cos
3
2
+i sen
3
2
= i k = 1
(1.196)
La solucion la podemos representar, simplemente como {i, i}.
Ejemplo 1.10.23. Hallar las races c ubicas del n umero complejo z = 1 +i
Solucion: Escribiendo el n umero complejo z = 1 +i en forma exponencial
z = 1 +i =
2e
3i
4
(1.197)
En forma trigonometrica, se tiene
k
=
_
_
2
1/6
[cos (/4) +i sen(/4)] k = 0
2
1/6
[cos (11/4) +i sen(11/4)] k = 1
2
1/6
[cos (19/4) +i sen(19/4)] k = 2
(1.198)
Ejemplo 1.10.24. Calcular
1
Solucion: Sea z = 1. Entonces, el modulo de z es = 1 y la forma trigo-
nometrica de z = 1 es
1 = cos 0 +isen0 (1.199)
k
=
1 = cos
_
0 + 2k
2
_
+i sen
_
0 + 2k
2
_
= cos(k) +i sen (k) (1.200)
donde k = 0, 1. Explcitamente se tiene
k
=
_
cos(0) +i sen (0) = 1 k = 0
cos () +i sen () = 1 k = 1
(1.201)
3
1
Solucion: Sea z = 1. Entonces, el modulo de z es = 1 y la forma trigo-
nometrica de z = 1 es
1 = cos 0 +i sen 0 (1.202)
1.10 Ejemplos 29
k
=
3
1 = cos
_
0 + 2k
3
_
+i sen
_
0 + 2k
3
_
(1.203)
donde k = 0, 1, 2. Explcitamente se tiene
k
=
_
_
1 k = 0
cos
_
2
3
_
+i sen
_
2
3
_
=
1
2
+i
3
2
k = 1
cos
_
4
3
_
+i sen
_
4
3
_
=
1
2
i
3
2
k = 2
(1.204)
_
1,
1
2
+
3
2
i,
1
2

3
2
i
_
(1.205)
4
1
Solucion: Sea z = 1. Entonces = 1 y la forma trigonometrica es
1 = cos 0 +i sen 0 (1.206)
Entonces
k
= cos
_
2k
4
_
+i sen
_
2k
4
_
= cos
_
k
2
_
+i sen
_
k
2
_
(1.207)
donde k = 0, 1, 2, 3. Explcitamente tenemos
k
=
_
_
1 k = 0
i k = 1
1 k = 2
i k = 3
(1.208)
v
u
Plano complejo
1
i
1
i
Figura 1.2: Gr aca de las races
cuartas de 1.
GRAFICARLOS
5 12i
30

Solucion:
{2 3i, 2 + 3i} (1.209)
Ejemplo 1.10.28. Hallar todos los valores de z que satisfacen la ecuacion
z
5
+ 32 = 0 (1.210)
y gracar los valores obtenidos.
Solucion: Escribiendo el n umero z en forma exponencial
32 = 32e
i
= 2
5
e
i
(1.211)
Entonces
w
k
= 2
_
cos
_
5
+
2k
5
_
+i sen
_
5
+
2k
5
__
, (k = 0, 1, 2, 3, 4) (1.212)
Explcitamente, los valores que satisfacen la ecuacion (1.210) son:
k = 0, w
0
= 2
_
cos
_
5
_
+i sen
_
5
__
k = 1, w
1
= 2
_
cos
_
3
5
_
+i sen
_
3
5
__
k = 2, w
2
= 2 [cos +i sen ] = 2 (1.213)
k = 3, w
3
= 2
_
cos
_
7
5
_
+i sen
_
7
5
__
k = 4, w
4
= 2
_
cos
_
9
5
_
+i sen
_
9
5
__
(1.214)
1.11. Conjuntos de Puntos, Crculos y Discos.
Sea z
1
= x
1
+iy
1
un n umero complejo diferente de cero, entonces = |z| =
_
x
2
1
+y
2
1
es la distancia del orgen al punto (x
1
, y
1
), en el plano complejo. Si
z
2
= x
2
+iy
2
es tambien un n umero complejo, entonces la relacion
|z
1
z
2
| = |(x
1
x
2
) +i(y
1
y
2
)| =
_
(x
1
x
2
)
2
+ (y
1
y
2
)
2
(1.215)
es la distancia entre z
1
y z
2
en el plano complejo. La expresion anterior es la
forma est andar de geometra analtica, la cual representa la distancia entre dos
puntos (x
1
, y
1
) y (x
2
, y
2
).
1.11 Conjuntos de Puntos, Crculos y Discos. 31
v
u
Plano complejo w
1
w
0
w
1
w
3
w
4
w
2
2
Figura 1.3: Graca de las races quintas de 32.
Para dos n umeros complejos arbitrarios se tiene la importante desigualdad
|z
1
+z
2
| |z
1
| +|z
2
| (1.216)
En forma general, la desigualdad del tri angulo se escribe de la siguiente manera
|z
1
+z
2
+z
3
+. . . +z
n
| |z
1
| +|z
2
| +|z
3
| +. . . +|z
n
| (1.217)
Es decir, el valor absoluto de una suma no puede ser mayor que la suma de los
valores absolutos de los sumandos.
Sea a un n umero complejo y un n umero positivo, entonces la ecuacion
|z a| = (1.218)
se cumple para aquellos puntos z cuya distancia a a es . El lugar geometrico
de los puntos que satisfacen esta condicion es el crculo de radio alrededor
de a. Esta es la manera de representar a los crculos en el plano complejo y en
ocasiones decimos el crculo |z a| = . Si a = 0, entonces cualquier punto en el
crculo |z| = tiene la forma polar
z = e
i
. (1.219)
Si a = 0, entonces el centro del crculo |z a| = es a en lugar del orgen. En
este caso un punto en el crculo tiene la forma
z = a +e
i
, (1.220)
32

que es un sistema de coordenadas polares trasladado a veces del orgen.
Una desigualdad |z a| < representa a todos los puntos dentro del crculo
de radio alrededor de a. A este conjunto se le conoce como disco abierto. Esto
signica que los puntos en la circunferencia del crculo que acota a este disco no
pertenecen al conjunto. Un punto en este crculo satisface la igualdad:
|z a| = (1.221)
Un disco cerrado de radio y centro a consiste de todos los puntos en o dentro
del crculo de radio alrededor de a. Este conjunto esta representado por la
desigualdad:
|z a| . (1.222)
Al representar gracamente este conjunto dibujamos un crculo solido como la
frontera para indicar que esos puntos estan incluidos en el disco cerrado.
Sean w
1
y w
2
dos n umeros complejos distintos. La ecuacion
|z w
1
| = |z w
2
|, (1.223)
representa la distancia entre z y w
1
, la cual debe ser igual a la distancia entre z
y w
2
.
1.12. Ejemplos
Ejemplo 1.12.1. Que representa la expresion |z 3 + 7i| = 4.?
Solucion: La expresi on dada representa un crculo de radio = 4 alrededor
del punto (3, 7) en el plano complejo. El n umero complejo 3 7i es el centro
del crculo.
Ejemplo 1.12.2. Que representa la desigualdad |z i| < 8?
Solucion: la desigualdad dada representa a los puntos dentro del disco
abierto de radio 8 alrededor de i.
Ejemplo 1.12.3. Obtener la ecuacion de la recta si
|z + 6i| = |z i + 3i| (1.224)
1.12 Ejemplos 33
Solucion: La ecuaci on (1.224) se cumple para todos los puntos en el bisector
perpendicular del segmento entre (6i) y (1 3i). Este es el segmento que
conecta a los puntos (0, 6) y (1, 3). Se Puede obtener la ecuacion estandar de
esta recta como sigue, primero se escribe
|z + 6i|
2
= |z 1 + 3i|
2
(1.225)
o bien
(z + 6i)( z 6i) = (z 1 + 3i)( z 1 3i) (1.226)
esto determina los signos de los valores absolutos
z z + 6i( z z) + 36 = z z z 3iz z + 1 + 3i + 3i z 3i + 9 (1.227)
Sea z = x +iy entonces
z z = (x iy) (x +iy) = 2iy (1.228)
Luego
z z = (x iy) (x +iy) = 2x (1.229)
As, la ultima ecuacion se convierte en:
6i(2 iy) + 36 = 2x + 3i(2iy) + 10 (1.230)
12y = 2x + 6y 26 (1.231)
de esta ultima expresion obtenemos la ecuacion
y =
1
3
(x + 13) (1.232)
que representa una recta. Entonces, la igualdad |z + 6i| = |z 1 + 3i|, describe
una recta separando el plano en dos conjuntos teniendo a la recta como frontera.
La desigualdad
|z + 6i| < |z 1 + 3i|
mantiene a los puntos en uno de estos conjuntos, en un lado u otro de esta recta.
Es claro que z esta mas cerca de 6i que de 1 3i si z esta abajo de la recta
frontera. As la desigualdad especica todos los puntos z debajo de esta recta.
La recta frontera est a punteada porque los puntos en esta recta no pertenecen
a esta region.
Ejemplo 1.12.4. Hallar la ecuacion de la recta dada por la expresion
|z|
2
+ 3Re (z
2
) = 4 (1.233)
Solucion: Sea z = x +iy, entonces la ecuacion (1.233) se transforma en
x
2
+y
2
+ 3(x
2
y
2
) = 4 (1.234)
34

de donde la ecuacion de la recta es
2x
2
y
2
= 2 (1.235)
El lugar geometrico de los puntos es una hiperbola. Un n umero complejo satisface
la ecuaci on dada si y s olo si su representaci on como un punto en el plano est a en
la hiperbola.
Ejemplo 1.12.5. Escribir la ecuacion del crculo
x
2
+y
2
+ 2x + 2y = 0 (1.236)
en forma compleja.
Solucion: Tenemos
x
2
+y
2
= |z|
2
= z z, 2x = z +z, 2y = i( z z) (1.237)
Sustituyendo estas expresiones en (1.236), se obtiene
z z + z +z +i( z z) = 0 (1.238)
En forma equivalente, se puede escribir
z z + (1 i)z + (1 +i) z = 0 (1.239)
Ejemplo 1.12.6. Escribir la ecuacion de la recta
Ax +By +C = 0 (1.240)
en su forma compleja.
Solucion: Sea z = x + iy y su complejo conjugado z = x iy. Usando las
formulas
x =
z +z
2
, y =
i( z z)
2
(1.241)
Sustituyendo en (1.240), tenemos
A( z +z) +iB( z z) + 2C = 0 (1.242)
o en su forma equivalente
(A+iB) z + (AiB)z + 2C = 0 (1.243)
Esta expresion representa la ecuacion de la recta en el plano complejo.
1.13 Regiones del Plano Complejo. 35
1.13. Regiones del Plano Complejo.
En el desarrollo del c alculo de funciones complejas, ciertos tipos de conjuntos
y puntos ser an importantes. Sea S un conjunto de n umeros complejos, entonces:
Punto interior: Un n umero complejo z
0
es un punto interior de S si existe
un disco abierto alrededor de z
0
que contenga solo puntos de S. Esto signica,
que para todo n umero real > 0, todos los puntos que cumplen la relacion
|z z
0
| < estan en S.
Entorno: Llamaremos entorno abierto de centro z
0
y de radio al
conjunto de puntos del plano complejo:
z C : |z z
0
| < (1.244)
esto es, el conjunto de puntos interiores a la circunferencia centrada en z
0
y de
radio . A veces convendr a utilizar lo que se conoce como entornos reducidos, es
decir, entornos de un punto z
0
en el que excluimos el propio punto z
0
. Por otro
lado, hablaremos de puntos interiores, exteriores, frontera, de acumulacion de
un subconjunto de los n umeros complejos como se hace usualmente en R
2
. Por
ejemplo, z es un punto interior de S C si existe un entorno de z totalmente
contenido en S.
En cuanto a los conjuntos abiertos, cerrados y acotados: Un subconjunto de
los n umeros complejos se dice abierto si todo punto es interior y se dice cerrado
si su complementario es abierto. Diremos, por otro lado, que un conjunto de
n umeros complejos es acotado si esta contenido en alg un crculo |z| R.
Los Conjuntos conexos, dominios y regiones: Un conjunto S C se dice
conexo si todo par de puntos del mismo pueden unirse mediante una linea poli-
gonal que este contenida en S. A los conjuntos abiertos y conexos los llamaremos
dominios. Finalmente, llamaremos regiones a los dominios junto con alguno,
ninguno, o todos sus puntos frontera.
1.14. Ejercicios Propuestos
1. Representar los siguientes n umeros complejos en su forma cartesiana x+iy;
a)
3i
4 +i
; b)
2 + 3i
5 2i
+
10
4 + 3i
; c)
1 + 4i
3 2i
+
3 + 5i
4i
d) i(1 i
3)(
3 +i)); e) (1 2i)
3
; f)
i +i
2
+i
3
+i
4
+i
6
1 +i
2. Sean z
1
= 1+3i y z
2
= 32i dos n umeros complejos. Calcular las siguientes
operaciones
a) 2z
1
+ 4z
2
; b)
1
z
1
+
4
z
2
; c) (3z
1
)(5z
2
); d) z
1
z
2
; e) z
1
z
1
z
2
36

3. Hallar los m odulos, argumentos y las partes real e imaginaria de los sigientes
n umeros complejos:
a) (1 +i)
3
; b)
4 + 3i
2 i
; c)
1
(1 2i)
2
; d) (1 +i)
30
; e)
1 +i
1 i
.
4. Representar los siguientes n umeros complejos en su forma polar y expo-
nencial;
a) i; b) 4; c) 3 + 3
2i, d) 3 + 3i; e) 1 +
3i
5. Hallar el valor de las siguientes expresiones
a)
1
1 + 2i

1
1 2i
; b) |3 4i| |4 + 3i|; c)
2 3i
1
2 + 3i
.
6. Calcular el exponente de los siguientes n umeros complejos
a) (1 +
3)
4
; b) (2 +i
2)
4
; c) (
2 + 4i)
10
.
7. Calcular todos los valores de los siguientes n umeros complejos
a)
6
1; b) 8
1/6
; c) (i)
1/3
; d)
4
1 +i; e)
3
i
8. Hallar todas las races de la ecuacion algebraica
a) z
4
+ 6iz
2
+ 16 = 0, b) z
3
4
2(1 +i) = 0
9. Representar las curvas que describen las ecuaciones
a) Re
_
1
z
_
= 1; b) Im(z
2
z) = 2 Imz; c) z
2
+ z
2
= 1
d) |z i| +|z +i| = 4; e) |z 2| = |1 2 z|
10. Determinar el dominio en el plano complejo dado por
a) |z i| < 1; b) |z| 2; c) |z 5i| = 8; d) |z 1 + 2i| 4
e)

2
< arg z <
3
2
, |z| < 1; f) 1 |z| 2
Captulo 2
Funciones de una Variable
Compleja
Contents
2.1. Funciones de una Variable Compleja . . . . . . . . . 37
2.2. Sucesiones y Series Complejas . . . . . . . . . . . . . 41
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.4. Funciones Complejas Elementales . . . . . . . . . . . 44
2.5. Lmite y Continuidad de una Funci on Compleja . . 51
2.6. Derivada de una Funci on Compleja. . . . . . . . . . 54
2.7. Funciones Arm onicas Conjugadas. . . . . . . . . . . 59
2.8. Mapeo Conforme . . . . . . . . . . . . . . . . . . . . 62
2.9. Ejercicios Resueltos. . . . . . . . . . . . . . . . . . . . 63
En este captulo daremos las deniciones de funci on y lmite de una funci on
compleja. Se analizan la continuidad y la derivada de las funciones complejas.
Adem as, se introduce el concepto de funciones arm onicas conjugadas y la ecuaci on
de Laplace.
2.1. Funciones de una Variable Compleja
Supongamos que la variable compleja z = x + iy toma todos los valores
posibles de un conjunto complejo Z. Si a cada valor de z Z se le puede poner
38 Funciones de una Variable Compleja
en correspondencia uno o varios valores de otra variable compleja w = u + iv
que pertenece al conjunto complejo W, entonces la variable compleja w se llama
funcion de z en el dominio Z y se representa como
w = f(z). (2.1)
La funci on (2.1) es una funci on univaluada si a cada valor de z, donde z Z, se
le pone en correspondencia solo un valor de w, donde w W. Podemos tambien
decir que la funci on (2.1) mapea (transforma) los puntos del plano complejo Z a
los puntos en el plano complejo W.
Si existen valores de z a cada uno de los cuales se le pone en correspondencia
varios valores de w, entonces decimos que la funcion (2.1) es multivaluada.
Si w = u + iv es una funcion de z = x + iy, entonces cada una de las
variables u y v ser a una funci on de x, y, es decir u(x, y) y v(x, y). Inversamente,
si w = u(x, y) + iv(x, y), donde u(x, y) y v(x, y) son funciones reales de x, y,
entonces w se puede ver como funcion de la variable compleja z = x +iy.
Sean z = x + iy y w = u + iv puntos en los planos complejos Z y W, la
dependencia w = f(z) de la variable dependiente w sobre la variable compleja
independiente z puede ser descrita especicando dos funciones de valores reales
u(x, y) y v(x, y) de las variables x y y. Sean
z = x +iy (2.2)
y
u = u(x, y), v = v(x, y) (2.3)
entonces, comparando las expresiones (2.2) y (2.3), una funcion compleja se
puede escribir como
f(z) = u(x, y) +iv(x, y) (2.4)
donde
u(x, y) = Re f(z) = Re f(x +iy), v(x, y) = Imf(z) = Imf(x +iy) (2.5)
Por consiguiente, una funcion compleja, f(z), la podemos considerar como un
par de funciones reales u(x, y) y v(x, y) de dos variables reales x, y.
Ejemplo 2.1.1. Sea f(z) = z
2
, determinar las funciones reales u(x, y) y v(x, y).
Solucion: Debido a que z = x +iy, tenemos
f(x +iy) = (x +iy)
2
= x
2
y
2
+ 2ixy (2.6)
De esta expresion identicamos las funciones reales
u(x, y) = x
2
y
2
, v(x, y) = 2xy (2.7)
Entonces, la funci on f(z) = z
2
es equivalente a las dos funciones reales en (2.7).
2.1 Funciones de una Variable Compleja 39
Ejemplo 2.1.2. Sea la funci on compleja f(z) =
1
z
, z = 0. Hallar las funciones
reales u(x, y) y v(x, y).
Solucion: Tenemos z = x +iy, entonces
f(x +iy) =
1
x +iy
=
(x iy)
(x +iy)(x iy)
=
x
x
2
+y
2
i
y
x
2
+y
2
(2.8)
De esta expresion obtenemos las funciones reales
u(x, y) =
x
x
2
+y
2
, v(x, y) =
y
x
2
+y
2
(2.9)
Ejemplo 2.1.3. Hallar las funciones reales si la funcion compleja es w =
z
z
.
Solucion: Sean w = u(x, y) +iv(x, y), z = x+iy y z = xiy, sustituyendo
en la funcion dada, tenemos
u(x, y) +iv(x, y) =
x iy
x +iy
=
(x iy)(x iy)
(x +iy)(x iy)
=
x
2
y
2
x
2
+y
2
i
2xy
x
2
+y
2
(2.10)
Igualando estas expresiones se obtienen las funciones reales
u(x, y) =
x
2
y
2
x
2
+y
2
, v(x, y) =
2xy
x
2
+y
2
(2.11)
Ejemplo 2.1.4. Sea la funcion compleja, w = z
3
i z, hallar las funciones
reales.
Solucion: Sean z = x+iy, z = xiy, y w = u(x, y)+iv(x, y). Sustituyendo
en la funcion dada, se tiene
u(x, y)+iv(x, y) = (x+iy)
3
i(xiy) = (x
3
3xy
2
y)+i(3x
2
yy
3
x) (2.12)
Podemos concluir que las funciones reales vienen dadas por las expresiones
u(x, y) = x
3
3xy
2
y, v(x, y) = 3x
2
y y
3
x (2.13)
Entonces, la funcion w = z
3
i z es equivalente a las dos funciones reales en
(2.13).
Ejemplo 2.1.5. Supongamos que deseamos saber en que se transforma el punto
z
0
= i en el plano complejo Z, bajo la funcion w = z
3
.
Solucion: Tenemos la funcion w = z
3
que llevara al punto z
0
= i a otro
punto del plano complejo W. Cual es este nuevo punto?. Para contestar a esta
pregunta, simplemente sustituimos en la funci on el punto dado, es decir, hacemos
lo siguiente
w = z
3
= (i)
3
= i (2.14)
Si gracamos el punto z
0
= i, tenemos que este punto se encuentra en el eje
imaginario y abajo del origen. Este punto bajo el mapeo w = z
3
se transform o en
un punto w = i que se encuentra en el eje y arriba del origen.
Ejemplo 2.1.6. En que punto se transforma z
0
= 3+2i bajo la transformaci on
w = z
2
3 z?
Solucion: Sustituyendo el punto dado z
0
= 3 + 2i en la transformacion,
tomando en cuenta su conjugado, se tiene
w = z
2
3 z = (3 + 2i)
2
3(3 2i) = 4 + 18i (2.15)
Ejemplo 2.1.7. En que punto se transforma z
0
= 2+3i bajo la transformaci on
w =
z
z
?
Solucion: Tenemos el punto complejo z
0
= 2+3i, su conjugado es z
0
= 23i,
sustituyendo en la funcion
w =
z
z
=
2 3i
2 + 3i
=
(2 3i)(2 3i)
(2 + 3i)(2 3i)
=
5
13

12
13
i (2.16)
No es difcil gracar los puntos z
0
= 2+3i y el punto al cual se transform o (2.16).
El primer punto est a en el primer cuadrante y el punto transformado en el tercer
cuadrante del plano complejo W.
Ejemplo 2.1.8. Dada la funci on w = z
2
+z hallar los valores de la funci on si
a) z = 1 +i, b) z = 2 i, c) z = i.
Solucion:
a) sustituyendo el valor de z = 1 +i en la funcion dada resulta
w = (1 +i)
2
+ (1 +i) = 1 + 3i (2.17)
b) Sustituyendo el valor z = 2 i en la funcion dada, se tiene
w = (2 i)
3
+ 2 i = 5 5i (2.18)
c) Sustituyendo z = i en la funcion dada
w = (i)
2
+i = 1 +i (2.19)
Ejemplo 2.1.9. Dada la funcion f(z) = x
2
+ iy
2
, donde z = x + iy. Hallar
a) f(1 + 2i), b) f(2 3i), c) f(i).
Solucion:
a) para este caso, de f(1 + 2i), tenemos que x = 1 y y = 2, sustituyendo
estos valores en la funcion dada, resulta
f(z) = f(1 + 2i) = 1
2
+i(2)
2
= 1 + 4i (2.20)
b) en este caso x = 2 y y = 3, sustituyendo en la funcion dada, se tiene
f(z) = f(2 3i) = 2
2
+i(3)
2
= 4 + 9i (2.21)
c) en este caso x = 0 y y = 1, sustituyendo en la funcion dada, se tiene
f(z) = f(2 3i) = i (2.22)
2.2 Sucesiones y Series Complejas 41
Ejemplo 2.1.10. Dada la funcion f(z) =
1
xiy
a) f(1 +i), b) f(i), c) f(3 2i).
Solucion: Antes que nada, la funcion dada la podemos escribir como
f(z) =
1
x iy
=
(x +iy)
(x iy)(x +iy)
=
x
x
2
+y
2
+
y
x
2
+y
2
i (2.23)
a) para este caso tenemos x = 1 y y = 1, sustituyendo esto valores en (2.23),
resulta
f(1 +i) =
1
2
+
i
2
(2.24)
b) en este caso x = 0 y y = 1, sustituyendo en (2.23), resulta
f(i) = i (2.25)
c) tenemos x = 3 y y = 2, entonces, sustituyendo en (2.23), resulta
f(3 2i) =
3
13

2
13
i (2.26)
2.2. Sucesiones y Series Complejas
Sea z
1
, z
2
, z
3
, . . . una sucesi on de n umeros complejos representada por {z
n
},
donde z
n
= x
n
+iy
n
(n = 1, 2, 3, . . .). El n umero constante c = a +ib se llama
lmite de la sucesion {z
n
} si, dado cualquier n umero > 0 existe un n umero
positivo N tal que todos los valores de z
n
con n N satisfacen la desigualdad
|z
n
c| < (2.27)
La expresi on (2.27) signica que podemos hacer cada termino z
n
tan cerca como
queramos de c eligiendo n al menos tan grande como cierto n umero N. En otras
palabras, dado cualquier disco abierto D alrededor de z
0
, podemos encontrar
alg un termino de la sucesi on de manera que todos los terminos de la lista a partir
de el (esto es, para un ndice sucientemente grande) caiga en D gura. Si la
sucesion {z
n
} converge a c cuando n , escribimos
lm
n
z
n
= c (2.28)
Si una sucesion no converge, entonces decimos que la sucesion diverge.
La condici on necesaria y suciente para la existencia del lmite de la sucesi on
{z
n
}, es la siguiente: el n umero complejo c = a +ib es el lmite de la sucesi on de
los n umeros complejos x
1
+iy
1
, x
2
+iy
2
, x
3
+iy
3
, . . . si y solo si
lm
n
x
n
= a, lm
n
y
n
= b (2.29)
La serie
w
1
+w
2
+w
3
+. . . (2.30)
con terminos complejos, se llama convergente si la n-esima suma parcial S
n
de la
serie (2.30) tiende a un lmite nito cuando n , en caso contrario, decimos
que la serie (2.30) diverge.
La serie (2.30) converge si y solo si, las series formadas de n umeros reales
convergen, es decir
Re w
1
+ Re w
2
+ Re w
3
+. . . (2.31)
y
Imw
1
+ Imw
2
+ Imw
3
+. . . (2.32)
Si la suma de serie (2.31) es el n umero S
y la suma de la serie (2.32) es S
,
entonces la suma de la serie (2.30) sera el n umero complejo
S = S
+iS
(2.33)
Si la serie
w
1
+w
2
+w
3
+. . . +w
n
(w
n
= u
n
+iv
n
) (2.34)
converge, entonces
lm
n
w
n
= 0 (2.35)
Es decir
lm
n
u
n
= 0 lm
n
v
n
= 0 (2.36)
Si la serie
|w
1
| +|w
2
| +|w
3
| +. . . +|w
n
| +. . . (2.37)
converge, entonces tambien converge la serie
w
1
+w
2
+w
3
+. . . +w
n
+. . . (2.38)
En tal caso se dice que la serie (2.38) converge absolutamente.
Una serie de potencias es una serie de la forma
a
0
+a
1
(z z
0
) +a
2
(z z
0
)
2
+. . . +a
n1
(z z
0
)
n1
+. . . (2.39)
donde z
0
, a
0
, a
1
, a
2
, a
3
, . . . son n umeros complejos, ademas los coecientes de
la serie son diferentes de cero, y z es una variable compleja.
La serie (2.39) converge en el crculo |z z
0
| < R, donde
R = lm
n
a
n
a
n+1
(2.40)
y diverge fuera de el, es decir, para los valores de z que satisfacen la desigualdad
|z z
0
| > R. A R se le llama radio de convergencia.
2.3 Ejemplos 43
2.3. Ejemplos
Ejemplo 2.3.1. Analizar la convergencia de la serie
(1 +i) +
_
1
2
+
i
3
_
+
_
1
4
+
i
9
_
+. . . +
_
1
2
n1
+
i
3
n1
_
+. . . (2.41)
Solucion: La serie compleja (2.41) la podemos escribir de la siguiente manera
1 +
1
2
+
1
4
+. . . +
1
2
n1
+. . . +i
_
1 +
1
3
+
1
9
+. . . +
1
3
n1
_
. (2.42)
Las series reales
1 +
1
2
+
1
4
+. . . +
1
2
n1
(2.43)
1 +
1
3
+
1
9
+. . . +
1
3
n1
(2.44)
convergen, ya que est an formadas de terminos que decaen en forma de progresi on
geometrica innita. Por consiguiente, la serie compleja (2.41) tambien converge.
La suma de estas progresiones esta dada por
S
1
=
1
1 1/2
= 2, S
2
=
1
1 1/3
=
3
2
(2.45)
Por consiguiente, la suma de la serie compleja (2.41) es el n umero complejo
S = S
1
+iS
2
= 2 +
3
2
i (2.46)
Ejemplo 2.3.2. Analizar la convergencia de la serie compleja
_
1
2
+
2
3
i
_
+
_
2
3
+
3
4
i
_
+
_
3
4
+
4
5
i
_
+. . . +
_
n
n + 1
+
n + 1
n + 2
i
_
+. . . (2.47)
Solucion: Podemos escribir la serie (2.47) de la siguiente manera
1
2
+
2
3
+
3
4
+. . . +
n
n + 1
+. . . +i
_
2
3
+
3
4
+
4
5
+. . . +
n + 1
n + 2
+. . .
_
(2.48)
Podemos analizar las series por separado, es decir
1
2
+
2
3
+
3
4
+. . . +
n
n + 1
+. . . (2.49)
2
3
+
3
4
+
4
5
+. . . +
n + 1
n + 2
+. . . (2.50)
El termino general de cada serie lo podemos escribir como
S
1
=
n
n + 1
S
2
=
n + 1
n + 2
(2.51)
La suma de estos teerminos es
S
1
= lm
n
n
n + 1
= 1, S
2
= lm
n
n + 1
n + 2
= 1 (2.52)
Entonces, la serie (2.47) diverge, ya que no se cumplen las condiciones de
convergencia (2.35-2.36)
Ejemplo 2.3.3. Hallar el dominio de convergencia de la serie de potencias
_
3 +i
3
_
(z i)+
_
3 +i
3
_
2
(z i)
2
+. . . +
_
3 +i
3
_
n
(z i)
n
+. . . (2.53)
Solucion: Tenemos
a
n
=
_
3 +i
3
_
n
, a
n+1
=
_
3 +i
3
_
n+1
(2.54)
Entonces
a
n
a
n+1
=
_
3+i
3
_
n
_
3+i
3
_
n+1
=
_
3+i
3
_
n
_
3+i
3
_
n
_
3+i
3
_ =
3
3 +i
(2.55)
El modulo es
R = lm
n
a
n
a
n+1
=
3
3 +i
=
3
3 + 1
=
3
2
(2.56)
Entonces, el dominio de convergencia de la serie (2.53) es |z i| < 3/2.
2.4. Funciones Complejas Elementales
1. Funcion Potencial: Esta funcion tiene la forma
w = z
n
, (n entero positivo) (2.57)
La funci on potencia esta denida para todos los n umeros complejos; a cada
n umero complejo z = x + iy le pone en correspondencia z
n
, es decir, el
producto de n m ultiplos, cada uno de los cuales es igual a z.
Tambien se puede denir la funci on potencia para n entero negativo y para
n = 0. Por denicion
z
n
=
1
z
n
(n = 1, 2, ...) z
0
= 1 (2.58)
La funcion w = z
n
(n = 1, 2, . . .) esta denida para todos los valores
de z = 0
2.4 Funciones Complejas Elementales 45
2. Funcion Exponencial: La funci on exponencial w = e
z
del n umero com-
plejo z = x +iy se dene por la formula
w = e
z
= e
x+iy
= e
x
(cos y +i sen y) (2.59)
Por consiguiente
Re e
z
= e
x
cos y Ime
z
= e
x
sen y (2.60)
De la denicion se deducen las siguientes propiedades para e
z
:
Para cualesquiera n umeros complejos z
1
y z
2
tiene lugar la igualdad
e
z1+z2
= e
z1
e
z2
La funci on exponencial compleja w = e
z
es peri odica de periodo 2i,
es decir, cumple la relacion
e
z+2i
= e
z
La funcion exponencial e
z
es continua en todo el plano complejo.
Para todo n umero complejo z = x +iy tienen lugar las igualdades
|e
z
| = e
x
arg e
z
= y
La funcion e
z
toma todos los valores, excepto el cero, es decir la
ecuaci on e
z
= A tiene soluci on para cualquier n umero complejo A = 0
diferente de cero. Si = arg A, entonces todas las soluciones de la
ecuacion e
z
= A estan dadas por la formula
z = ln |A| +i( + 2k), (k = 0, 1, 2, . . .) (2.61)
En particular, si e
z
= 1, entonces z = 2ki, k = 0, 1, 2, . . .
Si e
z
= A, entonces el n umero complejo z se llama el logaritmo del
n umero complejo A = 0 y se representa por log A, donde log es la
expresion para logaritmo base e o logaritmo natural.
De la formula (2.61) se sigue
log A = log |A| +i arg A (2.62)
En particular, log(1) = 2ki, log(1) = (2k + 1)i, log(i) =
(2k + 1/2)i, (k entero).
3. Funciones Trigonometricas: Las funciones sen z y cos z para los valores
complejos z se denen por las siguientes formulas
sen z =
1
2i
_
e
iz
e
iz
_
, cos z =
1
2
_
e
iz
+e
iz
_
(2.63)
De estas deniciones se siguen las siguientes propiedades para las funciones
sen z y cos z
Las funciones sen z y cos z son continuas en todo el plano complejo.
Las funciones sen z y cos z toman todos los valores, es decir, las
ecuaciones sen z = A y cos z = A tienen soluciones para cualquier
n umero complejo A.
Todas las formulas trigonometricas elementales, validas para todos
los valores reales x, son validas y para los valores complejos z. Por
ejemplo;
sen
2
z + cos
2
z = 1, sen 2z = 2 sen z cos z
sen(z
1
+z
2
) = sen z
1
cos z
2
+ cos z
1
sen z
2
cos(z
1
+z
2
) = cos z
1
cos z
2
sen z
1
sen z
2
(2.64)
En particular
sen(z + 2) = sen z, cos(z + 2) = cos z (2.65)
Es decir, las funciones sen z y cos z son periodicas de periodo 2.
sen (z) = sen z, cos(z) = cos z (2.66)
Es decir, sen z es una funci on impar, mientras que cos z es una funci on
par.
4. Para cualquier z = x +iy se tienen las siguientes desigualdades
1
2
e
y
e
y
| sen z|
1
2
_
e
y
+e
y
_
(2.67)
1
2
e
y
e
y
| cos z|
1
2
_
e
y
+e
y
_
(2.68)
5. Tienen lugar las siguientes formulas
sen(x +iy) = sen x cosh y +i cos x senh y (2.69)
cos(x +iy) = cos x cosh y i sen x senh y (2.70)
De estas f ormulas ( o de las f ormulas (2.67), (2.68)) se sigue, en particular,
que las ecuaciones sen z = 0 y cos z = 0 tienen soluciones s olo cuando y = 0,
es decir, solo en el eje real. Por consiguiente, todas las soluciones de la
ecuacion sen z = 0 estan dadas por la formula z = k, k = 0, 1, 2, . . .
y todas las soluciones de la ecuaci on cos z = 0 por la f ormula z = /2 +k
k = 0, 1, 2, . . ..
Las funciones tan z y cot z se denen como
tan z =
sen z
cos z
, cot z =
cos z
sen z
(2.71)
La funci on tgz es continua para los valores z = /2 +k, y la funci on cot z
es continua para los valores z = k, donde k = 0, 1, 2, . . .
Todas las formulas de la trigonometra (en el campo real) son validas para
las funciones trigonometricas de una variable compleja.
sen(z) = sen z, cos(z) = cos z.
cos
2
z + sen
2
z = 1.
sen(z
1
z
2
) = sen z
1
cos z
2
cos z
1
sen z
2
.
cos(z
1
z
2
) = cos z
1
cos z
2
sen z
1
sen z
2
.
sen 2z = 2 sen z cos z, cos(2z) = cos
2
z sen
2
z.
sen z = sen z.
sen(z + 2n) = sen z, n entero.
cos(z + 2n) = cos z, n entero.
1. Las funciones hiperbolicas senhz, cosh z, tanh z y coth z estan denidas
como:
cosh z =
e
z
+e
z
2
, senh z =
e
z
e
z
2
(2.72)
y
tanh z =
senh z
cosh z
, coth z =
cosh z
senh z
. (2.73)
Las funciones hiperbolicas complejas satisfacen las siguientes identidades
senh(z) = senh z, cosh(z) = cosh z.
cosh
2
z senh
2
z = 1.
cosh(z
1
+z
2
) = cosh z
1
cosh z
2
+ senh z
1
senh z
2
.
cosh 2z = cosh
2
z + senh
2
z.
senh 2z = 2 senh z cosh z.
sen(iz) = i senh z.
cos iz = cosh z.
senh z = senh xcos y +i cosh xsen y.
cosh z = cosh xcos y +i senh xsen y.
| senh z|
2
= senh
2
x + sen
2
y.
| cosh z|
2
= senh
2
x + cos
2
y.
2. Las funciones trigonometricas e hiperb olicas est an relacionas mediante las
siguientes formulas:
sen z = i senh(iz), senh z = i sen(iz), (2.74)
cos z = cosh(iz), cosh z = cos(iz), (2.75)
tan z = i tanh(iz), tanh z = i tan(iz), (2.76)
cot z = i coth(iz), coth z = i cot(iz). (2.77)
3. La funci on logartmica Log z, para z = 0, est a denida como la inversa de
la funcion exponencial, y
Log z = log |z| +iArg z = log |z| +i arg z +2ik, (k = 0, 1, . . .).
(2.78)
Esta es una funcion multivaluada. El valor principal de Logz es el valor
para k = 0 y es representado como log z
log z = log |z| +i arg z. (2.79)
Obviamente
Log z = log z + 2ik, (k = 0, 1, 2, . . .). (2.80)
Para la funcion logartmica las siguientes frmulas son validas:
Log z
1
z
2
= Log z
1
+ Log z
2
, (2.81)
Log
_
z
1
z
2
_
= Log z
1
Log z
2
(2.82)
4. Las funciones trigonometricas inversas Arcsen z, Arccos z, Arctan z y
Arccot z estan denidas como las inversas de sen w, cos w, tan w y cot w,
respectivamente. Por ejemplo, si z = sen w decimos que w es el arcseno de
z y se escribe como w = Arcsen z o de la siguiente manera w = sen
1
z.
Todas estas funciones son multivaluadas y se pueden representar en terminos
de la funcion logartmica
Arcsen z = iLog
_
iz +
_
1 z
2
_
, (2.83)
Arccos z = iLog
_
z +
_
z
2
1
_
, (2.84)
Arctan z =
i
2
Log
_
1 +iz
1 iz
_
, (2.85)
Arccot z =
i
2
Log
_
z +i
z i
_
. (2.86)
Los valores principales de las funciones trigonometricas inversas pueden
ser obtenidos por los valores principales correspondientes de las funciones
logartmicas.
5. La funcion potencial general w = z
a
, donde a = + i es un n umero
complejo arbitrario, esta denida por
z
a
= e
aLog z
. (2.87)
Esta funcion, en general, es tambien multivaluada, su valor principal es
z
a
= e
aLog z
. (2.88)
6. La funci on exponencial general w = a
z
, (con a = 0 es un n umero complejo
arbitrario) esta denida como
a
z
= e
zLog a
. (2.89)
El valor principal de esta funcion multivaluada es (2.89).
Ejemplo 2.4.1. Resolver la ecuacion
sen z = 3. (2.90)
Solucion: El problema se reduce a encontrar
z = Arcsen 3. (2.91)
Usando la formula (2.78)
Arcsen t = iLog
_
it +
_
1 t
2
_
, (2.92)
obtenemos
z = Arcsen 3 = iLog
_
3i +
_
1 3
2
_
(2.93)
y teniendo en cuenta
8 = i
8, resulta
z = i
_
Log (3
8)i
_
. (2.94)
Luego, debemos calcular el Log (3 i
8), usando la formula (2.78), para esto

calculamos primero el argumento
arg
__
3
8
_
i
_
=

2
. (2.95)
y el modulo
_
3 +
8
_
i
=
_
0
2
+ (3 +
8)
2
= 3 +
_
3
8
_
i
=
_
0
2
+ (3
8)
2
= 3
8 (2.96)
Recordemos que el modulo de un n umero complejo z es |z| =
_
x
2
+y
2
. En
nuestro caso x = 0 y y = 3 +
8.
Sustituyendo estos resultados en la formula (2.78), tenemos
Log
__
3
8
_
i
_
= log
_
3
8
_
+

2
i + 2ki, (k = 0, 1, 2, . . .). (2.97)
Finalmente, poniendo este resultado en (2.94), resulta
z =

2
+ 2k i log
_
3
8
_
, (k = 0, 1, 2, . . .). (2.98)
Ejemplo 2.4.2. Resolver la ecuacion compleja
sen z = i. (2.99)
Solucion:
Ejemplo 2.4.3. Resolver la ecuacion compleja
e
z
= 1 + 2i. (2.100)
Solucion:
Ejemplo 2.4.4. Vericar la formula
Arcsen z = iLog
_
iz +
_
1 z
2
_
. (2.101)
Solucion:
Sea w = Arcsen z, entonces
z = sen w =
e
iw
e
iw
2i
(2.102)
Multiplicando esta expresion por e
iw
, resulta la ecuacion cuadratica
e
2iw
2ize
iw
1 = 0. (2.103)
2.5 Lmite y Continuidad de una Funcion Compleja 51
la cual tiene como solucion
e
iw
=
2iz
4 4z
2
2
= iz
_
1 z
2
= iz +
_
1 z
2
(2.104)
Luego
e
iw
= e
i(w2k)
, donde k = 0, 1, 2, . . . (2.105)
As que
e
i(w2k)
= iz +
_
1 z
2
w = 2k+
1
i
log(iz +
_
1 z
2
) Si k = 0 (2.106)
calculando su rama principal, se obtiene que
1
i
log(iz +
_
1 z
2
)
1
i
log(iz +
_
1 z
2
) (2.107)
2.5. Lmite y Continuidad de una Funcion
Compleja
Lmite de una funcion. Sea a un punto lmite del conjunto Z, es decir,
cualquier vecindad del punto a contiene un n umero innito de puntos del conjunto
Z. El n umero A se llama lmite de la funci on f(z) cuando z a po mnozhestvu
Z, si para cualquier > 0 existe un = () > 0, tal que para todos z Z que
cumplen la condicion 0 < |z a| < se cumple la desigualdad |f(z) A| < .
En tal caso escribimos
lm
za
f(z) = A (2.108)
donde a y A son constantes complejas. En ocaciones la f ormula (2.108) se escribe
de la siguiente manera f(z) A cuando z a y se dice, la funci on f(z) tiende
a A cuando z tiende a a.
Decimos que la funci on w = f(z) es continua en el punto z
0
, si se cumple la
relacion
lm
zz0
f(z) = f(z
0
). (2.109)
Una funcion continua en cada punto de un dominio D, se llama continua en el
dominio dado.
Supongamos que
lm
zz0
f(z) (2.110)
donde
f(z) = u(x, y) +iv(x, y) (2.111)
existe, y
z
0
= x
0
+iy
0
(2.112)
entonces el lmite de f(z) esta dado por
lm
zz0
f(z) = lm
xx0, yy0
u(x, y) +i lm
xx0, yy0
v(x, y). (2.113)
Muchos teoremas sobre lmites en el c alculo de variable real tambien son v alidos
para funciones de variable compleja. Supongamos que los lmites
lm
zz0
f(z) = L, lm
zz0
g(z) = K (2.114)
existen. Entonces son validas las expresiones
lm
zz0
[f(z) +g(z)] = L +K
lm
zz0
[f(z) g(z)] = L K
lm
zz0
cf(z) = cL c (2.115)
lm
zz0
[f(z)g(z)] = LK
lm
zz0
f(z)
g(z)
=
L
K
Una diferencia importante entre los lmites de funciones complejas y los lmites
de funciones reales, es la manera en que la variable se aproxima al punto. Para
un funcion real g(x), tenemos que,
lm
xa
g(x) = A
involucra el comportamiento de la funci on g(x) conforme x se aproxima a a por
cualquier lado. En la recta solo hay dos maneras de que x se aproxime a a, por
la izquierda o por la derecha.
En el caso de las funciones complejas la relacion
lm
zz0
f(z) = L (2.116)
involucra el comportamiento de f(z) conforme z se aproxima a z
0
en el plano
complejo y esto puede involucrar que z se aproxime a z
0
desde cualquier direcci on.
2.5 Lmite y Continuidad de una Funcion Compleja 53
Los n umeros f(z) deben aproximarse a L a lo largo de cualquier trayectoria de
aproximaci on de z a z
0
en D. Si a lo largo de una sola trayectoria de aproximaci on
de z a z
0
, f(z) no se aproxima a L, entonces f(z) no tiene lmite en z
0
.
La diferencia anterior entre las funciones reales y complejas implica que la
relacion (2.116), en el plano complejo, sea un enunciado mas fuerte que en el
caso real.
Ejemplo 2.5.1. Calcular los siguientes lmites:
1. lm
z
4z
2
(z1)
2
.
Solucion: Desarrollando el binomio, tenemos
lm
z
4z
2
z
2
2z + 1
= lm
z
4z
2
z
2
z
2
z
2

2z
z
2
+
1
z
2
= lm
z
4
1
2z
z
2
+
1
z
2
= 4 (2.117)
2. lm
z1
=
1
(z1)
3
Solucion: Escribiendo el lmite de la siguiente manera
lm
z1
1
(z 1)(z
2
2z + 1)
= lm
z1
1
(z
3
3z
2
+ 3z 1)
= lm
z1
1
z
3
z
3
z
3

3z
2
z
3
+
3z
z
3

1
z
3
=
1
1
1
1

3
1
+
3
1

1
1
=
1
0
(2.118)
el lmite no existe.
3. Si f(z) = z
2
+ 2z, calcular el lmite cuando z i.
Solucion: Se tiene
lm
zi
f(z) = z
2
+ 2z = (i)
2
+ 2(i) = i
2
+ 2i = 1 + 2i (2.119)
4. lm
zi
2z+i
z+1
.
Solucion: Dividiendo entre z y tomando en cuenta que z 0, se obtiene
lm
z0
2z
z
+
i
z
z
z
+
1
z
= lm
z0
2 +
i
z
1 +
1
z
= 2 (2.120)
5. lm
z2i
z2i
z
4
16
.
Solucion: Aplicando la Regla de LHopital
lm
z2i
z 2i
z
4
16
= lm
z2i
d(z2i)
dz
d(z
4
16)
dz
= lm
z2i
1
4z
3
=
1
4(2i)
3
=
1
32(i)
=
i
32
(2.121)
6. lm
z2i
(iz
4
+ 3z
2
10i).
Solucion: Aplicando el lmite, resulta
lm
z2i
(iz
4
+ 3z
2
10i) = [i(2i)
4
+ 3(2i)
2
10i] = 12 + 6i (2.122)
7. lm
ze
i
4
z
2
z
4
+z+1
.
Solucion: Aplicando el lmite
lm
ze
i
4
z
2
z
4
+z + 1
=
e
i
2
e
i
+e
i
4
+ 1
=
cos(
2
) +i sen(
2
)
cos() +i sen() + cos(
4
) + sen(
4
) + 1
=
i
1 +
1
2
+
1
2
i + 1
=
i
1
2
+
1
2
i
=
2i
1 +i

1 i
1 i
=
2i(1 i)
1 i
2
=
2
2
(i i
2
) =
2
2
(1 +i) (2.123)
8. lm
z
i
2
(2z3)(4z+1)
(iz1)
2
Solucion: Aplicando el lmite
lm
z
i
2
(2z 3)(4z + 1)
(iz 1)
2
=
[2(
i
2
) 3][4(
i
2
) +i]
[i(
i
2
) 1]
2
=
(i 3)(2i +i)
[
1
2
1]
2
=
(i 3)(3i)
(
3
2
)
2
=
3i
2
9i
9
4
=
12
9
(1)
36
9
i =
4
3
4i (2.124)
2.6. Derivada de una Funci on Compleja.
Sea w = f(z) una funcion denida en un dominio D del plano complejo z.
Sean z y z + z dos puntos en el dominio dado D. Entonces, el incremento de
la funcion f(z) esta dada por la expresion
w
z
=
f(z + z) f(z)
z
. (2.125)
2.6 Derivada de una Funcion Compleja. 55
Se dice que f
(z) es la derivada de la funcion f(z) en un punto z si existe el

lmite de
w
z
, cuando z 0. Es decir
f
(z) = lm
z0
w
z
= lm
z0
f(z + z) f(z)
z
. (2.126)
Una funcion que tiene derivada para un valor dado de z, se llama funcion
diferenciable para el valor de z. Si la funcion w = f(z) es unvoca y tiene
derivada nita en cada punto de un dominio D, entonces, la funcion se llama
analtica en el dominio dado.
Si la funcion w = f(z) = u(x, y) + iv(x, y) es diferenciable en el punto
z = x + iy, entonces en este punto existen derivadas parciales
u
x
,
v
x
,
u
y
,
v
y
,
ademas estas derivadas estan relacionadas por las condiciones
u
x
=
v
y
,
u
y
=
v
x
. (2.127)
A estas condiciones se les conoce como condiciones de Cauchy-Riemann. Estas
condiciones son necesarias para que la fucnion w = f(z) sea diferenciable en
el punto z = x + iy. Inversamente, si las derivadas parciales
u
x
,
v
x
,
u
y
,
v
y
son continuas en el punto z = x +iy y las condiciones de Cauchy-Riemann se
cumplen, entonces, la funcion w = f(z) es diferenciable en el punto z = x +iy.
La derivada de la funcion f(z) se representa por medio de las derivadas
parciales de las funciones u(x, y) y v(x, y), de la siguiente manera
f
(z) =
u
x
+i
v
x
=
v
y
i
u
y
=
u
x
i
u
y
=
v
y
+i
v
x
. (2.128)
La derivada de las funciones elementales z
n
, e
z
, cos z, sen z, log z, arc sen z,
arc cos z, arctan z, senh z, cosh z se encuentran seg un las formulas del analisis
real
(z
n
)
= nz
n1
, (arc sen z)
=
1
1 z
2
.
(e
z
)
= e
z
, (arc cos z)
=
1
1 z
2
.
(cos z)
= sen z, (arctan z)
=
1
z
2
+ 1
.
(sen z)
= cos z, (senh z)
= cosh z.
(log z)
=
1
z
, (cosh z)
= senh z. (2.129)
Ejemplo 2.6.1. Calcular la derivada de la funcion f(z) = z, z D.
Solucion: Usando la denicion (2.126), tenemos
f(z + z) = z + z. (2.130)
Entonces
f
(z) = lm
z0
z + z z
z
= lm
z0
z
z
= 1. z D. (2.131)
Ejemplo 2.6.2. Hallar la derivada de la funcion f(z) = z
2
, z D.
Solucion: Por denicion, tenemos
f
(z) = lm
z0
(z + z)
2
z
2
z
= lm
z0
2zz + (z)
2
z
= lm
z0
(2z + z) = 2z. (2.132)
En general, si n > 0 y f(z) = z
n
, entonces f
= nz
n1
. Como podemos ver, esta
formula es identica a la del calculo con variables reales.
Otras formulas similares son:
[f(z) g(z)]
= f
(z) g
(z).
[cf(z)]
= cf
(z).
[f(z)g(z)]
= f(z)g
(z) +g(z)f
(z).
_
f(z)
g(z)
_
=
g(z)f
(z)f(z)g
(z)
[g(z)]
2
.
Si f(w) = g(w), y w = f(z)
rmdf
rmdz
=
rmdg
dw
dw
dz
, regla de la cadena. Donde
estamos suponiendo que las derivadas de las funciones f(z) y g(z) existen.
Ejemplo 2.6.3. Hallar la derivada f
(w) como funcion de z, si f(w) = w

5
y
w = 2z
2
+i.
2.6 Derivada de una Funcion Compleja. 57
Solucion: Haciendo uso de la regla de la cadena, tenemos
df
dz
=
df
dw
dw
dz
= 5w
4
(4z) = 20zw
4
= 20z(2z
2
+i)
4
. (2.133)
Ejemplo 2.6.4. Hallar la derivada de la funcion compleja f(z) = z
3
, donde
z = x +iy.
Solucion: Para usar las condiciones de Cauchy-Riemann, debemos calcular,
primero, las funciones reales u(x, y) y v(x, y), tenemos
f(x+iy) = (x+iy)
3
= x
3
+3ix
2
y3xy
2
+iy
3
= x
3
3xy
2
+i(3x
2
yy
3
). (2.134)
De donde podemos identicar las funciones reales
u(x, y) = x
3
3xy
2
, v(x, y) = 3x
2
y y
3
. (2.135)
Ahora debemos probar que las condiciones de Cauchy-Riemann se cumplen.
Derivando estas funciones reales respecto a x, resulta
u
x
= 3x
2
3y,
v
x
= 6xy. (2.136)
Sustituyendo estos resultados en la expresion (2.128), obtenemos
f
(z) =
u
x
+i
v
x
= 3x
2
3y
2
+ 6ixy = 3(x
2
y
2
+ 2ixy) = 3z
2
. (2.137)
De esta forma hemos obtenido una manera m as de calcular las derivadas de un
funcion compleja.
Las condiciones de Cauchy-Riemann constituyen una condici on necesaria, pero
no suciente, para que f(z) sea diferenciable en un punto. Si estas condiciones
no se satisfacen, entonces f
(z) no existe en ese punto.

Ejemplo 2.6.5. Sea la funcion compleja f(z) = e
z
su derivada.
Solucion: Escribiendo la funcion f(z) = e
z
f(z) = e
z
= e
x+iy
= e
x
e
iy
= e
x
cos y +ie
x
sen y (2.138)
De donde, tenemos las funciones reales
u(x, y) = e
x
cos y, v(x, y) = e
x
sen y (2.139)
Veamos si las ecuaciones de Cauchy-Riemann se cumplen. Para esto, derivamos
las expresiones, obteniendo
u
x
= e
x
cos y,
v
x
= e
x
sen y,
v
y
= e
x
cos y,
u
y
= e
x
sen y (2.140)
Como podemos ver, las condiciones se cumplen para todos los valores de x y y.
Finalmente, obtenemos
f
(z) =
u
x
+i
v
x
= e
x
cos(y) +ie
x
sen(y) = e
x
e
iy
= e
x+iy
= e
z
(2.141)
Ejemplo 2.6.6. Sea la funcion f(z) = z
2
. Hallar los puntos en los cuales la
funcion dada es diferenciable.
Solucion: Sabemos que z = x iy, entonces
f(z) = (x iy)
2
= x
2
y
2
2ixy (2.142)
De donde
u(x, y) = x
2
y
2
, v(x, y) = 2xy (2.143)
Veamos si se cumplen las condiciones de Cauchy-Riemann. Para esto derivamos
estas expresiones respecto a x y a y, obtenemos
u
x
= 2x,
u
y
= 2y,
v
x
= 2y,
v
y
= 2x (2.144)
Luego, las condiciones de Cauchy-Riemann son
u
x
=
v
y
,
u
y
=
v
x
(2.145)
Como se puede ver, las condiciones de Cauchy-Riemann se cumplen solo para el
caso en que x = y = 0, por lo tanto, la funci on f(z) = z
2
es diferenciable solo en
el punto z = 0.
Ejemplo 2.6.7. Sea la funcion f(z) = z. Hallar los puntos en los cuales esta
funcion es diferenciable.
Solucion: Tenemos que z = x iy, entonces
f(z) = x iy (2.146)
De donde
u(x, y) = x, v(x, y) = y (2.147)
Derivando estas expresiones, tenemos
u
x
= 1,
v
y
= 1 (2.148)
La condicion de Cauchy-Riemann no se cumple para cualquier z, y por consi-
guiente la funcion f(z) no es diferenciable en ning un punto.
Ahora recordemos que todo n umero complejo lo podemos escribir en su forma
exponencial como z = e
i
, entonces, la funcion f(z) en coordenadas polares
tendra la forma:
f(z) = u(, ) +iv(, ), (2.149)
2.7 Funciones Armonicas Conjugadas. 59
y las condiciones de Cauchy- Riemann en coordenadas polares, se escriben como
u
=
1
,
v
=
1
. (2.150)
Por lo tanto, la derivada de la funci on f(z) en estas coordenadas viene dada por
la expresion
f
(z) =

z
_
u
+i
v
_
=
1
z
_
v
i
u
_
. (2.151)
Ejemplo 2.6.8. Demostrar que la funcion f(z) =
z es diferenciable.
Solucion: Escribiendo z en su forma exponencial z = e
i
. Luego
f(z) =
e
i
2
=
_
cos

2
+i sen

2
_
(2.152)
Identicamos a las funciones reales
u(, ) =
cos
_
2
_
, v(, ) =
sen
_
2
_
(2.153)
Ahora derivemos estas expresiones
u
=
1
2
cos
_
2
_
,
v
2
cos
_
2
_
(2.154)
Es facil ver que las condiciones de Cauchy-Riemann se cumplen. Entonces, la
funcion f(z) =
z es diferenciable. Usando la formula (2.151), obtenemos

f
(z) =

z
_
u
+i
v
_
=

z
_
1
2
cos
_
2
_
+
i
2
sen
_
2
__
=
e
i
2
2e
i
=
1
2
z
(2.155)
2.7. Funciones Armonicas Conjugadas.
Sea f(z) = u(x, y) + iv(x, y) una funcion diferenciable en una region D y,
adem as, las funciones u(x, y) y v(x, y) tienen derivadas parciales continuas hasta
el segundo orden. Entonces, diferenciando la primer ecuaci on de (2.127) respecto
a x y la segunda respecto a y, obtenemos:
2
u
x
2
=

2
v
xy
,

2
u
y
2
=

2
v
yx
(2.156)
Sumando estas igualdades, y teniendo en cuenta

2
v
yx
y

2
v
xy
, debido a que estas
derivadas son continuas, estas son iguales. Entonces
2
u
x
2
+

2
u
y
2
= 0. (2.157)
De igual manera, obtenemos
2
v
x
2
+

2
v
y
2
= 0. (2.158)
La funci on real u(x, y), la cual tiene en una regi on D derivadas parciales continuas
de segundo orden y que satisfacen la ecuaci on (2.157), se llama funci on arm onica
en D, y la ecuacion (2.157) se llama ecuacion de Laplace.
En otras palabras, las funciones armonicas son aquellas que satisfacen la
ecuacion de Laplace.
Las partes reales e imaginarias de la funcion f(z) = u(x, y) + iv(x, y)
diferenciable en D seran funciones armonicas en D.
Las funciones armonicas u(x, y) y v(x, y) se relacionan entre s por las
condiciones de Cauchy-Riemann, se llaman conjugadas.
Si en la regi on D est an dadas dos funciones arm onicas conjugadas u(x, y) y
v(x, y), entonces, la funcion f(z) = u(x, y) +iv(x, y) es diferenciable en D.
Teorema 2.7.1. Para que la funci on f(z) = u(x, y) +iv(x, y) sea diferenciable
en D es necesario y suciente que las funciones u(x, y) y v(x, y) sean arm onicas
en D.
Teorema 2.7.2. Para cualquier funci on u(x, y) arm onica en D, se puede hallar
una funci on arm onica conjugada a ella, la cual se dene con exactitud hasta una
constante arbitraria.
Ejemplo 2.7.1. Vericar que la funcion f(z) = e
y
e
ix
es armonica.
Solucion: Escribiendo la funci on dada en forma trigonometrica para identi-
car las funciones u(x, y) y v(x, y), tenemos
f(z) = e
y
[cos x +i sen x], u = e
y
cos x
v(x, y) = e
y
sen x (2.159)
2.7 Funciones Armonicas Conjugadas. 61
calculamos las segundas derivadas parciales de u(x, y) respecto a x y y, obtenemos
u
x
= e
y
sen x,
u
y
= e
y
cos x
2
u
x
2
= e
y
cos x,

2
u
y
2
= e
y
cos x (2.160)
Entonces, como resultado tenemos que, la suma de las segundas derivadas de
u(x, y) respecto a x y y es cero. Por consiguiente, la funci on u(x, y) es arm onica
ya que cumple la ecuacion da Laplace.
De igual manera para v(x, y) se obtiene
v
x
= e
y
cos x,
v
y
= e
y
sen x,
2
v
x
2
= e
y
sen x,

2
v
y
2
= e
y
sen x (2.161)
que tambien cumple la ecuaci on de Laplace. Por consiguiente, v(x, y) es arm onica.
Con esto podemos armar que la funcion f(z) = e
y
e
ix
es armonica.
Ejemplo 2.7.2. Vericar que la funcion f(z) = z
2
es armonica.
Solucion: Sea z = x +iy sustituyendo en la funcion dada, tenemos
f(x +iy) = (x +iy)
2
= x
2
+ 2ixy y
2
(2.162)
Identicamos las funciones reales u(x, y) y v(x, y)
u(x, y) = x
2
y
2
, v(x, y) = 2xy (2.163)
Luego, tomando las segundas derivadas de estas funciones respecto a x y y,
resulta
u
x
= 2x,
u
y
= 2y,
2
u
x
2
= 2

2
u
y
2
= 2 (2.164)
Sumando las segudas derivadas resulta cero, lo cual implica que la funcion
u(x, y) = x
2
y
2
satisface la ecuaci on de Laplace y por consiguiente es arm onica.
De manera similar se tiene para la funci on v = 2xy. Las derivadas parciales
son
v
x
= 2y
v
y
= 2x
2
v
x
2
= 0

2
v
y
2
= 0 (2.165)
Como podemos ver la funcion v(x, y) = 2xy tambien satisface la ecuacion de
Laplace y por lo tanto es una funcion armonica. Las dos funciones u(x, y) y
v(x, y) son armonicas, por consiguiente, la funcion dada f(z) = z
2
tambien lo
es.
2.8. Mapeo Conforme
Supongamos que la funcion w = f(z) es analtica en un dominio dado D
con un cierto valor z = x + iy. A este valor z le corresponde un valor dado
w = u +iv. As, a cada punto (x, y) en el plano xOy le correspoende un punto
denido (u, v) del plano uOv. De esta manera se tiene un mapeo (aplicacion o
transformaci on) de D sobre el rango de valores de f(z) en el plano .
Si el punto (x, y) en el plano xOy describe una lnea , raspolozhenuyu en el
dominio D, entonces el punto (u, v) en el plano (u, v) describe una lnea
La
lnea
se llama imagen de la lnea en el plano uOv con ayuda de la funci on

analtica w = f(z)
En la lnea elijamos el punto z
0
= x
0
+ iy
0
. A este punto, en la lnea
,
le corresponde el punto w
0
= u
0
+iv
0
. Trazemos en la lnea una tangente L
en el punto (x
0
, y
0
), y en la lnea
una tangente L
en el punto (u
0
, v
0
). Sea
el angulo al cual nada girar la lnea L para que coincida con la direccion de
la lnea L
. En la teora de funciones analticas se demuestra, que si f
(z
0
) = 0
entonces = arg f
(z
0
).
Consideremos otra lnea , la cual tambien pasa por el punto (x
0
, y
0
) y su
imagen la lnea
, la cual pasa por el punto (u

0
, v
0
). Supongamos que l es
tangente a la lnea en el punto (x
0
, y
0
) y l
es tangente a la lnea
en el punto
(u
0
, v
0
)
Para que la direcci on de la recta l coincida con la direcci on de l
, es necesario
girar la lnea l un angulo , ya que el angulo de giro es igual a f
(z
0
).
Si y son angulos, sostevleni kasatielnimi L y l con el eje Ox, a
kosotielnimi L
y l
con el eje Ou, entonces
= ,
= y
. Por consiguiente, =
. Pero, es el angulo
entre tangentes L y l, y
es el angulo entre las tangentes L
y l
. Por lo
tanto, dos rectas cualesquiera, que se intersectan en el punto (x
0
, y
0
) se reejan
en dos correspondientes lneas que se cruzan en el punto (u
0
, v
0
), de tal manera
que el angulo entre tangentes a las lneas dadas y sus imagenes sea el mismo.
Se puede mostrar que el modulo de la derivada en el punto (x
0
, y
0
), es
decir |f
(z
0
)|, representa el lmite de la relaci on de la distancia entre los puntos
reejados
0
+
0
y
0
y los puntos iniciales z
0
+ z
0
y z
0
gura.
Si consideramos otra curva y su imagen, podemos concluir que |f
(z
0
)|
representa el lmite de la relacion de la distancia entre los puntos
0
+
0
y
0
y los puntos iniciales z
0
+
z
0
y z
0
.
Por lo tanto |f
(z
0
)| es una magnitud de deslizamiento (iscazhenia) de escala
en el punto z
0
bajo el mapeo con ayuda de la funcion = f(z).
El mapeo (representaci on) con una funci on = f(z) se llama mapeo conforme
si preserva la magnitud y la direcci on de los angulos, excepto en puntos crticos
(puntos donde f
(z
0
) = 0).
2.9 Ejercicios Resueltos. 63
2.9. Ejercicios Resueltos.
Ejemplo 2.9.1. Para cada una de las siguientes funciones encontrar u(x, y) y
v(x, y).
A) f(z) = e
3iz
Solucion: Sea z = x +iy, entonces
e
3i(x+iy)
= e
3ix3y
= e
3ix
e
3y
= e
3y
[cos 3x +i sen 3x]
= e
3y
cos 3x +ie
3y
sen 3x (2.166)
de donde, podemos identicar
u(x, y) = e
3y
cos 3x, v(x, y) = e
3y
sen 3x (2.167)
B) f(z) = cos(z)
Solucion: Sea z = x +iy
cos(x +iy) = i cos xcos y sen xsen y
= cos xcosh y sen x[i senh y]
= cos xcosh y i sen xsenh y (2.168)
de donde identicamos
u(x, y) = cos xcosh y v(x, y) = sen xsenh y (2.169)
C) f(z) = sen(2z)
Solucion: Si z = x +iy
sen(2x + 2iy) = i sen 2xcos 2y +i cos 2xsen 2y
= sen 2xcosh 2y +i cos 2xsenh 2y (2.170)
De aqu podemos identicar las funciones reales
u(x, y) = sen 2xcosh 2y v(x, y) = cos 2xsenh 2y (2.171)
D) f(z) = z
2
e
2z
Solucion: Si z = x +iy
(x +iy)
2
e
2(x+iy)
= (x
2
+ 2xyi y
2
)e
2x
[cos(2y) +i sen(2y)] (2.172)
= x
2
e
2x
cos(2y) +x
2
e
2x
sen(2y)i + 2xye
2x
cos(2y)i
2xye
2x
sen(2y) y
2
e
2x
cos(2y) y
2
e
2x
senh(y)i
= x
2
e
2x
cos(2y) 2xye
2x
sen(2y) y
2
e
2x
cos(2y) +
+ [x
2
e
2x
sen(2y) + 2xye
2x
cos(2y) y
2
e
2x
sen(2y)]i
De donde
u(x, y) = e
2x
[cos(2y)(x
2
y
2
) 2xy sen(2y)]
v(x, y) = e
2x
[sen(2y)(x
2
y
2
) + 2xy cos(2y)] (2.173)
Ejemplo 2.9.2. Obtener una expresion para w = cos
1
(z) en terminos de
logaritmos.
Solucion:
z = cos(w) =
e
iw
+e
iw
2
= e
2wi
2ze
iw
+ 1 = 0 (2.174)
Aplicando la formula general
e
iw1,2
=
2z
_
4z
2
4(1)(1)
2
= z 1
_
z
2
1 (2.175)
w = i[log(z 1
_
z
2
1)] (2.176)
Ejemplo 2.9.3. Encontrar los valores de z tales que e
z
= 1 + 2i se cumpla.
Solucion: Sea z = x +iy, tenemos
e
x
cos y +ie
x
sen y = 1 + 2i (2.177)
Entonces
e
x
cos y = 1, e
x
sen y = 2 (2.178)
Elevando al cuadrado
e
2x
[cos
2
y + sen
2
y] = e
2x
= 5 (2.179)
Obtenemos
x =
1
2
ln 5 (2.180)
Ahora dividiendo
e
x
sen y
e
x
cos y
= tan y = 2 (2.181)
as
y = tan
1
(2) (2.182)
Una solucion de la ecuacion dada es
z =
1
2
log 5 +i tan
1
(2) (2.183)
Ejemplo 2.9.4. Calcular todos los valores de 2
i
.
Solucion: Tenemos
log(2) = [log 2 +i arg 2] = [log 2 + 2ni] (2.184)
En donde n vara sobre todos los enteros. Los valores de 2
i
son
e
i[log 2]
= e
i[log 2+2ni]
= e
2npi
e
i log 2
= e
2n
{cos[log 2] +i sen[log 2]} (2.185)
en donde n es cualquier entero. Ahora, sabemos que 2
i
tiene una innidad de
valores complejos, por tanto
2
i
= {e
2n
[cos(log 2) +i sen(log 2)]} (2.186)
Captulo 3
Integrales Complejas
Contents
3.1. Integral de una Funci on Compleja. . . . . . . . . . . 67
3.2. Integrales de Lnea. . . . . . . . . . . . . . . . . . . . 69
3.3. Integral Compleja en Terminos de Integrales Reales. 71
3.4. Teorema de Cauchy-Goursat. . . . . . . . . . . . . . 77
3.5. Forma Integral de Cauchy. . . . . . . . . . . . . . . . 82
En las secciones anteriores hemos estudiado el algebra de los n umeros com-
plejos, las funciones de una variable compleja, lmites y derivadas de funciones
complejas. Por consiguiente, estamos listos para estudiar la integracion de fun-
ciones de una variable compleja.
3.1. Integral de una Funci on Compleja.
Debido a que el plano complejo es bidimensional existe una mayor libertad
en lo que entendemos por integral compleja (in what we mean by a complex
integral). Por ejemplo, nos hacemos la pregunta, si la integral de cierta funci on
entre los puntos A y B depende de la curva por la que se integra (upon the
curve along which we integrate). Consecuentemente, un ingrediente importante
en una integral compleja es el contorno que seguiremos durante la integracion.
El resultado de una integral compleja es una expresi on compleja. A diferencia de
su contraparte en variables reales, no existe una interpretaci on fsica para estas
68 Integrales Complejas
cantidades, tales como un area bajo una curva. Por lo general, la integracion
en el plano complejo es un proceso intermediario con una cantidad fsicamente
realizable la cual ocurre solo despues que hallamos tomado la parte real o
imaginaria (with a physically realizable quantity ocurring only after we take its
real or imaginary part).
El caso mas simple de integracion de una funcion compleja se tiene cuando
f(z) es una funci on compleja denida en un intervalo cerrado de n umeros reales
[a, b].
Sea f : [a, b] C una funci on compleja. Sea f(x) = u(x) +iv(x) una funci on
compleja denida en el intervalo cerrado de n umeros reales a x b. Entonces
la integral de f(x) de a a b, esta denida de la siguiente manera
_
b
a
f(x)dx =
_
b
a
u(x)dx +i
_
b
a
v(x)dx. (3.1)
Las integrales de la derecha son integrales de Riemann de funciones reales en
[a, b].
Ejemplo 3.1.1. Integrar la funcion f(x) =
_
1
x
i
_
2
, x, 1 x 2.
Solucion: Por denicion tenemos
_
b
a
f(x)dx =
_
2
1
_
1
x
2
1
_
dx 2i
_
2
1
dx
x
=
_
1
x
x
_
2
1
2i log x
2
1
=
1
2
2i log 2 2 + 1 + 2i log 1 + 1 =
=
1
2
2i log 2 (3.2)
Ejemplo 3.1.2. Integrar la funcion f(x) = x ix
2
, x, 1 x 2.
_
b
a
f(x) dx =
_
2
1
xdx i
_
2
1
x
2
dx =
x
2
2
1
i
x
3
3
2
1
=
= 2
1
2
i
_
8
3

1
3
_
=
3
2

7
3
i (3.3)
Ejemplo 3.1.3. Integrar la funcion f(x) = e
i2x
, x, 0 x

6
.
3.2 Integrales de Lnea. 69
_
b
a
f(x) dx =
_
6
0
e
2ix
dx =
1
2i
e
2ix
6
0
=
1
2i
e
i
3
1
2i
e
(2i)(0)
=
1
2i
e
i
3
1
2i
=
1
2i
_
cos
_
3
_
+i sen
_
3
__
1
2i
=
1
2i
_
_
1
2
_
+i
_
3
2
__
1
2i
=
1
4i
+
3
4

1
2i
=
3
4
+
1
4i
(3.4)
Ejemplo 3.1.4. Integrar la funcion f(x) = cos(2x) +i sen(2x), 0 x /4.
Solucion: Por denicion, tenemos
_
b
a
f(x) dx =
_
/4
0
cos(2x) dx +i
_
/4
0
sen(2x) dx =
1
2
+
1
2
i (3.5)
Esta misma integral la podemos calcular de la siguiente manera, escribiendo la
funcion dada como f(x) = e
2ix
e integrando
_
b
a
f(x) dx =
_
/4
0
e
2ix
dx =
e
2ix
2i
/4
0
=
1
2i
_
e
i/2
1
_
=
1
2i
[cos (/2) +i sen (/2) 1] =
1
2
(1 +i) (3.6)
3.2. Integrales de Lnea.
Tambien podemos denir la integral de una funci on compleja sobre una curva
en el plano.
Sea f : [a, b] C una funci on compleja. Sea : [a, b] C una curva suave
en el plano. Supongamos que f es continua en todos los puntos en . Entonces,
la integral de f sobre se dene como:
_
f(z) dz =
_
b
a
f[(t)]
(t) dt (3.7)
Como z = (t) en la curva, la integral (3.7) se escribe como
_
f(z) dz =
_
b
a
f[z(t)]z
(t) dt. (3.8)

Esta forma de escribir la integral compleja tiene la ventaja de sugerir la manera
en que la integral
_
f(z) dz es evaluada, reemplazando a z por z(t) en la curva.

Luego, dz = z
(t)dt e integrando sobre el intervalo a t b.

Ejemplo 3.2.1. Evaluar la integral
_
z dz si (t) = e
it
, 0 t .
Solucion: La graca de (t) es la mitad del crculo unitario orientado de 1
a 1. En , z(t) = e
it
y z
(t) = ie
it
. Luego f[z(t)] = z(t) = e
it
. Entonces
_
f(z) dz =
_

0
e
it
ie
it
dt = i
_

0
dt = i. (3.9)
_
z
2
dz si (t) = t + it, en el intervalo
0 t 1.
Solucion: Tenemos z(t) = t(1 +i) y f(z) = z
2
, entonces f[z(t)] = (z(t))
2
=
(1 +i)
2
t
2
= 2it
2
de donde z
(t) = 1 +i. La integral se transforma en

_
z
2
dz =
_
1
0
(i +i)2it
2
dt =
_
1
0
[2it
2
2t
2
] dt =
_
2i
3
t
3
2
3
t
3
_
1
0
=
2
3
(1+i)
(3.10)
_
z Re(z) dz, si (t) = t it

2
en 0 t 2.
Solucion: Tenemos
f[z(t)] = z Re(z) = (t it
2
)t, z
(t) = 1 2it (3.11)

Entonces
_
z Re(z) dz =
_
2
0
(t
2
it
3
)(1 2it) dt =
_
2
0
(t
2
3it
3
2t
4
) dt
=
_
t
3
3

3i
4
t
4
2
5
t
5
_
2
0
=
152
15
12i (3.12)
En ocasiones es necesario integrar sobre una curva dada. En tal caso, debemos
encontrar las funciones que describen a la curva.
Ejemplo 3.2.4. Supongamos que necesitamos integrar la funci on f(z) = z sobre
el segmento de recta de 3 a 2 +i.
Solucion: La ecuacion de la recta la podemos hallar usando la formula:
y y
1
y
2
y
1
=
x x
1
x
2
x
1
(3.13)
Los puntos que unen a la recta son (3, 0) y (2, 1). Sustituyendo estos valores en
la formula, encontramos la ecuacion
y =
x 3
2 3
= 3 x (3.14)
Luego, podemos parametrizar la recta como
z(t) = (5 t) + (t 2)i, 2 t 3 (3.15)
3.3 Integral Compleja en Terminos de Integrales Reales. 71
De tal manera que z(2) = 3 y z(3) = 2 +i, con esta parametrizacion tenemos
una correcta orientacion. Ahora z
(t) = 1 + i. La integral se puede escribir

como
_
z dz =
_
3
2
[(5 t) + (t 2)i] (1 +i) dt =
_
3
2
(3 + 7i 2it) dt = 3 + 2i
(3.16)
3.3. Integral Compleja en Terminos de
Integrales Reales.
Es l ogico pensar en la integral de una funci on compleja sobre una curva como
una suma de integrales de lnea de funciones de valor real de dos variables reales
sobre la curva. Un metodo muy conocido de calcular integrales complejas de
lnea consiste en separar la integralen una parte real y otra parte imaginaria.
Esto reduce la integral compleja a integrales de lnea de funciones reales.
Sea
f(z) = u(x, y) +iv(x, y) (3.17)
y
z = x +iy, dz = dx +idy (3.18)
sustituyendo en la integral
_
C
f(z) dz =
_
C
[u(x, y) +iv(x, y)] [dx +i dy] (3.19)
=
_
C
u(x, y) dx v(x, y) dy +i
_
C
v(x, y) dx +u(x, y) dy
Entonces, la integral de una funcion compleja, esta denida como
_
C
f(z) dz =
_
C
u(x, y) dx v(x, y) dy +i
_
C
v(x, y) dx +u(x, y) dy.
(3.20)
El metodo para evaluar este tipo de integrales, en general, depende del contorno
C dado.
De la denicion de integral de lnea, tenemos las siguientes propiedades
_
C
f(z) dz =
_
C
f(z) dz (3.21)
donde C
es el contorno C tomado en la direccion opuesta de C.

_
C1+C2
f(z) dz =
_
C1
f(z) dz +
_
C2
f(z) dz (3.22)
En general, tenemos
_
C1+C2+...+Cn
f(z) dz =
_
C1
f(z) dz +
_
C2
f(z) dz +. . . +
_
Cn
f(z) dz (3.23)
_
C
z dz (3.24)
de z = 0 a z = 4 + 2i, a lo largo de dos contornos diferentes. Si el primer
contorno consiste de la ecuacion parametrica z = t
2
+ it. El segundo termino
consiste de dos ramas, la primera recorre a lo largo del eje imaginario de z = 0
a z = 2i y despues a lo largo de la lnea paralela al eje x de z = 2i a z = 4 + 2i.
Solucion: Los puntos z = 0 a z = 4 + 2i por el contorno C
1
corresponden a
t = 0 y t = 2, respectvamente. Entonces, la integral de lnea
_
C1
z dz =
_
2
0
(t
2
it) d(t
2
+it) =
_
2
0
(2t
3
it
2
+t) dt = 10
8
3
i (3.25)
La integral de lnea para el segundo contorno se divide en dos partes
_
C2
z dz =
_
C2a
z dz +
_
C
2b
z dz (3.26)
donde C
2a
representa la integracion de z = 0 a z = 2i y C
2b
la integracion de
z = 2i a z = 4 + 2i. Para la primer integral
_
C2a
z dz =
_
C2a
(x iy)(dx +i dy) =
_
2
0
y dy = 2 (3.27)
ya que x = 0 y dx = 0 a lo largo de C
2a
. Por otro lado, a lo largo de C
2b
, y = 2
y dy = 0 as que para la segunda rama, se tiene
_
C
2b
z dz =
_
C
2b
(x iy)(dx +i dy) =
_
4
0
xdx +i
_
4
0
2 dx = 8 8i (3.28)
Entonces, el valor total de la integral del contorno C
2
es igual a la suma de las
dos partes (3.27) y (3.28), es decir
_
C2
z dz = 2 + 8 8i = 10 8i (3.29)
Aqu el punto es que la integracion a lo largo de dos caminos diferentes nos
dan diferentes resultados, (3.25) y (3.29) even though integramos de z = 0 a
z = 4 + 2i los dos caminos. This results foreshadows un resultado general que
es extremadamente importante, los resultados dependen upon the path taken.
Since, complex integrations often involve integrands that have nonanalytic points,
many line integrations depend upon the contour taken.
_
dz
z
(3.30)
a lo largo del crculo unitario |z| = 1.
Solucion: Elijamos la direcci on en contra de las manecillas del reloj. Tenemos
z = x+iy y
1
z
=
x
x
2
+y
2
i
y
x
2
+y
2
. Entonces, u =
x
x
2
+y
2
y v =
y
x
2
+y
2
. Escribiendo
en forma parametrica x = cos t y y = sen t, donde 0 t < 2. Sustituyendo en
la integral (3.30) se tiene
_
|z|=1
dz
z
=
_
|z|=1
xdx +y dy
x
2
+y
2
+i
_
|z|=1
_
y
x
2
+y
2
dx +
x
x
2
+y
2
dy
_
=
=
_
2
0
cos t sen t + sen t cos t
cos
2
t + sen
2
t
dt +i
_
2
0
sen
2
t + cos
2
t
cos
2
t + sen
2
t
dt =
= i
_
2
0
dt = it
2
0
= 2i (3.31)
_
|z|=1
z
n
dz, n = 0, 1, 2, . . . (3.32)
Solucion: Representando el crculo |z| = 1 en forma parametrica
z(t) = cos t +i sen t, 0 t < 2,
z
(t) = sen t +i cos t (3.33)

Entonces, usando la formula de Moivre
f[z(t)] = [z(t)]
n
= (cos t +i sen t)
n
= [cos (nt) +i sen (nt)] (3.34)
Usando la expresion
_
f(z)dz =
_
2
0
f[z(t)]z
(t)dt =
=
_
2
0
[cos(nt) +i sen(nt)] [sen t +i cos t] dt
=
_
2
0
[sen(n + 1)t +i cos(n + 1)t] dt (3.35)
=
1
n + 1
[cos(n + 1)t +i sen(n + 1)t|
2
0
= 0, si n = 1
Si n = 1, entonces
_
2
0
dz
z
= 2i, resultado obtenido antes (3.31). Entonces,
tenemos
_
|z|=1
z
n
dz =
_
0 si n = 1
2i si n = 1
(3.36)
Observe que para n = 2, 3, . . . la funcion z
n
dentro de la integral no
est a denida en el punto z = 0 y por lo tanto el teorema de Cauchy no se aplica,
sin embargo la integral
_
|z|=1
z
n
dz es cero; y para n = 1 la integral es igual a
2i.
Ejemplo 3.3.4. Determinar la siguiente integral para la lnea que une a (0, )
con (1, 0).
_
C
e
z
dz (3.37)
Solucion: Gracando la recta se obtiene:
y
x
Plano complejo z
(0, )
(1, 0)
Figura 3.1: Recta de (0, ) a (1, 0).
La ecuacion de la recta la podemos hallar usando la formula:
y y
1
y
2
y
1
=
x x
1
x
2
x
1
(3.38)
Los puntos que unen a la recta son (0, ) y (1, 0). Sustituyendo estos valores en
y
0
=
x 0
1 0
,
y
= x, y = x
y = x, y = (1 x) (3.39)
Resolviendo la Integral
_
C
e
z
dz =
_
C
e
x+iy
(dx +i dy) (3.40)
De la ecuacion de la recta
_
y = (1 x)
dy = dx
(3.41)
Sustituyendo en la integral
_
C
e
x+i(x)
dx +i( dx) =
_
C
e
x+iix
dx i dx
=
_
C
e
x+iix
dx(1 i) dx = (1 i)
_
C
e
x+iix
dx
= (1 i)
_
C
e
x(1i)
e
i
dx = e
i
(1 i)
_
C
e
x(1i)
dx (3.42)
=
e
i
(1 i)
(1 i)
e
x((1i)
1
0
= e e
i
= e [cos +i sen ] = e + 1
Ejemplo 3.3.5. Determinar la siguiente integral para el segmento de recta desde
z = 0 a z = 1 +i
_
C
[y x i(3x
2
)] dx +i dy (3.43)
Solucion: Gracando se obtiene: La ecuaci on de la recta la podemos hallar
usando la formula:
y y
1
y
2
y
1
=
x x
1
x
2
x
1
(3.44)
Los puntos que unen a la recta son (0, 0) y (1, i). Sustituyendo estos valores en
y 0
1 0
=
x 0
1 0
y
1
=
x
1
, y = x (3.45)
Si z = x+iy, sustituyendo, y = x, se tiene z = y +iy, derivando: dz = (1 +i) dy.
Sustituyendo en la integral
_
1
0
(y x i3x
2
)(1 +i) dy =
_
1
0
(y y i3y
2
)(1 +i) dy (3.46)
=
_
1
0
i3y
2
(1 +i) dy = 3i(1 +i)
_
1
0
y
2
dy = 3i(1 +i)
y
3
3
1
0
= i(1 +i) = 1 i
_
2+4i
1+i
z
2
dz para las siguientes condiciones:
a) A lo largo de la parabola x = t, y = t
2
donde 1 t 2; b) A lo largo de la
recta que une 1 +i y 2 +4i; c) A lo largo de las rectas 1 +i a 2 +i y hasta 2 +4i
Solucion: a) Desarrollando la funcion
_
2+4i
1+i
z
2
dz se obtiene
_
2+4i
1+i
z
2
dz =
_
(2,4)
(1,1)
(x +iy)
2
(dx +i dy) =
=
_
(2,4)
(1,1)
(x
2
y
2
+ 2ixy)(dx +i dy)
=
_
(2, 4)
(1, 1)
(x
2
y
2
) dx 2xy dy +i
_
(2,4)
(1,1)
2xy dx + (x
2
y
2
) dy
(3.47)
Ahora, los puntos (1, 1) y (2, 4) corresponden a t = 1 y t = 2, respectivamente.
Evaluando en estos puntos resulta
_
2+4i
1+i
z
2
dz =
_
2
1
_
(t
2
t
4
) dt 2(t)(t
2
) dt
+
+ i
_
2
1
_
2(t)(t
2
) dt + (t
2
t
4
)(2t) dt
=
_
2
1
_
t
2
t
4
2t
3
dt +i
_
2
1
_
4t
3
2t
5
dt (3.48)
=
_
t
3
3

t
5
5

t
4
2
_
2
1
+i
_
t
4
t
6
3
_
2
1
=
341
30
6i
b) La lnea recta tiene la ecuacion
y y
1
y
2
y
1
=
x x
1
x
2
x
1
(3.49)
Sustituyendo los puntos (1, 1) y (2, 4) en la formula, encontramos la ecuacion
y = 3x 2 (3.50)
Sustituyendo (3.50) en (3.47) y tomando en cuenta dy = 3 dx, se tiene
_
2+4i
1+i
z
2
dz =
_
2
1
_
(x
2
(3x 2)
2
dx 2x(3x 2)(3) dx +
+ i
_
2
1
_
2x(3x 2)dx +
_
x
2
(3x 2)
2
dx
(3.51)
=
_
x
3
3
9
x
3
3
+ 12
x
2
2
4x + 18
x
3
3
12
x
2
2
_
2
1
+
+ i
_
6
x
3
3
4
x
2
2
+ 3
x
4
4
27
x
3
3
36
x
2
2
12x
_
2
x=1
=
86
3
6i
c) De 1 +i a 2 +i, o de (1, 1) a (2, 1), y = 1, dy = 0 se obtiene
_
2
x=1
(x
2
1) dx +i
_
2
x=1
2xdx =
x
3
3
x
2
1
+ 2i
_
x
2
2
_
2
x=1
=
4
3
+ 3i (3.52)
Ahora de 2 +i a 2 + 4i, o de (2, 1) a (2, 4), x = 2, dx = 0 se obtiene
_
2
y=1
4y dy +i
_
2
y=1
(4 y
2
) dy = 4
y
2
2
2
1
+i
_
4y
y
3
3
_
2
1
= 30 9i (3.53)
Sumando ambos resultados se obtiene
_
2+4i
1+i
z
2
dz =
_
4
3
+ 3i
_
+ (30 9i) =
86
3
6i (3.54)
3.4 Teorema de Cauchy-Goursat. 77
3.4. Teorema de Cauchy-Goursat.
Hemos aprendido a calcular las integrales complejas de lnea reduciendolas a
integrales reales. En general, esta forma de calcular las integrales es algo difcil.
Si embargo, existen propiedades mas profundas del analisis complejo que nos
permiten de una forma mas facil calcular las integrales de funciones complejas.
Teorema 3.4.1. Cauchy-Goursat Sea f(z) una funci on analtica en un dominio
D y sea una curva simple cerrada dentro de D tal que f(z) sea analtica sobre
y dentro de . Entonces
_
f(z) dz = 0, (3.55)
el crculo en la integral indica que esta se toma en una trayectoria cerrada.
En otras palabras, el teorema de Cauchy-Goursat establece que la integral
_
f(z) dz = 0 si f(z) es diferenciable en la curva y en todo punto encerrado por

ella.
El teorema de Cauchy-Goursat tiene consecuencias muy importantes y utiles.
Por ejemplo, supongamos que tenemos un cierto dominio donde f(z) es analtica.
Dentro de este dominio queremos evaluar una integral de lnea del punto A al
punto B a lo largo de dos diferentes trayectorias
1
y
2
. Entonces, la integral
por la trayectoria cerrada formada por la integraci on a lo largo de
1
y despues
a lo largo de
2
dispuesta en direccion opuesta, es
_
f(z) dz =
_
1
f(z) dz
_
2
f(z) dz = 0. (3.56)
Esto implica
_
1
f(z) dz =
_
2
f(z) dz (3.57)
Debido a que
1
y
2
son trayectorias completamente arbitrarias, tenemos el
siguiente resultado general:
Si en un dominio, la funcion f(z) es analtica, entonces la integral entre
cualesquiera dos puntos A y B dentro del dominio es independiente de la
trayectoria. Esto signica que la integraci on no depende de por cual treayectoria
se realice, sino depende solo de los puntos inicial y nal.
Teorema 3.4.2. Primer teorema de Deformacion de Contornos: El valor
de una integral de lnea de una funcion analtica alrededor de cierto contorno
simple cerrado permanece invariable si deformamos el contorno de tal manera
que no pasemos por encima de un punto no analtico (singular).
El teorema de deformacion nos permite deformar una trayectoria cerrada
de integracion , en otra, , sin cambiar el valor de la integral de lnea de
una funcion diferenciable f(z). Una condicion crucial para este proceso es que
ning un paso de la deformaci on debe pasar sobre un punto en el cual f(z) no sea
diferenciable. Esto implica que f(z) necesita ser diferenciable en ambas curvas
y en la region entre ellas. Ahora extendemos este resultado al caso en que
encierra un n umero nito de trayectorias cerradas ajenas, es decir que no se
intersectan.
Teorema 3.4.3. Segundo teorema de Deformacion de Contornos: Sea
una trayectoria cerrada. Sean
1
,
2
, . . . ,
n
trayectorias cerradas dentro de .
Supongamos que ning un par de trayectorias se intersectan, y que ning un punto
interior de alguna
j
es interior a alguna otra
k
. Sea f(z) diferenciable en un
conjunto abierto que contiene a , cada
j
, y todos los puntos que son interiores
a y exteriores a cada
j
. Entonces:
_
f(z) dz =
n
j=1
_
j
f(z) dz. (3.58)
La integral de f(z) alrededor de es la suma de las integrales de f(z) alrededor
de cada una de las curvas
1
,
2
, . . . ,
n
.
Ejemplo 3.4.1. Integrar la funcion f(z) = z
1
alrededor del contorno cerra-
do , si este consiste de un cuadrado, centrado en el orgen, con vertices en
(1, 1), (1, 1), (1, 1) y (1, 1).
Solucion: La integral directa de
_
z
1
dz por el contorno dado es muy
tediosa. Sin embargo, debido a que el integrando es una funcion analtica en
todos los puntos, excepto en el origen, podemos deformar el contorno original
en un crculo de radio , centrado en el orgen. Entonces, tenemos z = e
it
y
dz = ie
it
dt, luego la integral es
_
dz
z
=
_
|z|=
dz
z
=
_
2
0
ie
it
e
it
dt = i
_
2
0
dt = 2i (3.59)
_
e
z
2
dz, donde es una cierta trayectoria
cerrada en el plano.
Solucion: Debido a que la funcion f(z) = e
z
2
es analtica en todo el plano
(no tiene puntos singulares) y por el teorema de Cauchy-Goursat la integral
debera ser cero _
e
z
2
dz = 0 (3.60)
Ejemplo 3.4.3. Calcular el valor de la integral
_
2z + 1
z
2
+ 3iz
dz (3.61)
donde es el crculo |z + 3i| = 2.
Solucion: De la expresi on (3.1) podemos ver que la funci on f(z) es analtica,
excepto en los puntos donde el denominador se anula z
2
+ 3iz = 0. Estos puntos
son; 0 y 3i. Desarrollando en fracciones parciales
f(z) =
2z + 1
z(z + 3i)
=
A
z
+
B
z + 3i
zA+ 3iA+Bz = 2z + 1 A =
1
3i
, B = 2
1
3i
(3.62)
Obtenemos
f(z) =
2z + 1
z(z + 3i)
=
1
3iz
+
_
2 +
1
3
i
_
1
z + 3i
. (3.63)
Sustituyendo este resultado en la integral (3.1)
_
|z+3i|=2
2z + 1
z
2
+ 3iz
dz =
1
3i
_
|z+3i|=2
dz
z
+
_
2 +
i
3
__
|z+3i|=2
dz
z + 3i
(3.64)
Luego, debido a que
1
z
es diferenciable en y dentro del dominio simplemente
conexo encerrado por ella, ya que z = 0 no pertenece al dominio dado y por el
teorema de Cauchy-Goursat
1
3i
_
|z+3i|=2
dz
z
= 0. (3.65)
Sin embargo,
1
z+3i
es diferenciable en el dominio dado, excepto en el punto
z = 3i el cual pertenece al dominio dentro sel contorno como se muestra
en la Figura 3.2, de tal manera que no podemos aplicar el teorema de Cauchy-
Goursat a la integral de esta funci on. Sin embargo, podemos calcular la integral
parametrizando, esto es, escribiendo z(t) = 3i + 2e
it
, entonces z + 3i = 2e
it
y
dz = 2ie
it
donde 0 t 2. La integral se reduce a calcular
_
6 +i
3
__
|z+3i|=2
1
z + 3i
dz =
_
6 +i
3
__
2
0
1
2e
it
2ie
it
dt (3.66)
=
_
6 +i
3
__
2
0
idt =
6 +i
3
(2i)
Finalmente, tenemos el valor de la integral
_
|z+3i|=2
2z + 1
z
2
+ 3iz
dz =
_
2
3
+ 4i
_
(3.67)
(0, 3i)
x
y
(0, 0)
1.0 2.0 1.0 2.0
i
5i
2i
4i
Figura 3.2: Contorno de integracion, , y ubicacion de los polos, , de f(z).
_
z
(z + 2)(z 4i)
dz (3.68)
donde es una trayectoria que encierra a los puntos 2 y 4i.
Solucion: Esta integral se puede evaluar con ayuda del segundo teorema de
deformacion. Para esto coloquemos un crculo
1
alrededor del punto 2 y un
crculo alrededor de 4i con radios sucientemente peque nos para que ning un
crculo intersecte al otro ni a y de tal manera que cada uno este encerrado por
. Entonces
_
z dz
(z + 2)(z 4i)
=
_
1
z dz
(z + 2)(z 4i)
+
_
2
z dz
(z + 2)(z 4i)
(3.69)
Luego, desarrollando en fracciones parciales, tenemos
z
(z + 2)(z 4i)
=
_
1
5

2
5
i
_
1
z + 2
+
_
4
5
+
2
5
i
_
1
z 4i
(3.70)
Poniendo en la integral, resulta
_
z dz
(z + 2)(z 4i)
=
_
1
5

2
5
i
__
1
dz
z + 2
+
_
4
5
+
2
5
i
__
1
dz
z 4i
+
_
1
5

2
5
i
__
2
dz
z + 2
+
_
4
5
+
2
5
i
__
2
dz
z 4i
(3.71)
La segunda y tercer integral de la derecha son cero por el teorema de Cauchy(
1
no encierra a 4i y
2
no encierra a 2). La primer y cuarta integral son iguales
a 2i.
_
z dz
(z + 2)(z 4i)
= 2i
__
1
5

2
5
i
_
+
_
4
5
+
2
5
i
__
= 2i (3.72)
_
dz
z a
(3.73)
donde es cualquier trayectoria cerrada, la cual contiene al n umero complejo a.
Solucion: No podemos parametrizar la trayectoria , porque no la conocemos,
solo sabemos que es cualquier trayectoria que encierra a. Para hacer uso del
primer teorema de deformacion, suponemos un crculo de radio alrededor
de a, con sucientemente peque no para que quede encerrada por . Luego,
f(z) =
1
za
es diferenciable en todos los puntos excepto en a, es decir, en ambas
curvas y la region entre ellas. Por el teorema de la deformacion, tenemos
_
dz
z a
=
_
dz
z a
(3.74)
Ahora s podemos parametrizar al crculo representado por , esto es = a+e
it
para 0 t 2. Entonces
_
dz
z a
=
_
2
0
ie
it
dt
e
it
=
_
2
0
i dt = 2i (3.75)
Finalmente, tenemos el valor de la integral (3.73)
_
dz
z a
= 2i (3.76)
Por el teorema de deformaci on (3.74), tenemos que el valor de la integral original
es
_
dz
z a
=
_
dz
z a
= 2i (3.77)
_
|z|=1
3z + 5
z
2
+ 2z
dz (3.78)
Solucion: La funci on es analtica en todo punto, excepto en los puntos z = 0
y z = 2. Desarrollando en fracciones parciales la funcion
f(z) =
3z + 5
z(z + 2)
=
A
z
+
B
z + 2
Az + 2A+Bz = 3z + 5 A =
5
2
, B =
1
2
(3.79)
Sustituyendo los valores obtenidos de las constantes A y B resulta
f(z) =
3z + 5
z
2
+ 2z
=
5
2z
+
1
2(z + 2)
. (3.80)
Por consiguiente, la integral (3.78) se transforma en
_
|z|=1
3z + 5
z
2
+ 2z
dz =
5
2
_
|z|=1
dz
z
+
1
2
_
|z|=1
dz
z + 2
(3.81)
En la primer integral de la derecha el integrando no es una funci on analtica en
z = 0, el cual esta dentro del crculo, por consiguiente el teorema de Cauchy-
Goursat no se puede aplicar. No obstante, usando el resultado anterior tenemos
5
2
_
dz
z
=
5
2
(2i) = 5i (3.82)
La segunda integral es cero, por el teorema de Cauchy-Goursat, ya que la funci on
es analtica en todo punto excepto en z = 2 pero este esta fuera del crculo.
Finalmente, tenemos
_
|z|=1
3z + 5
z
2
+ 2z
dz = 5i (3.83)
3.5. Forma Integral de Cauchy.
Teorema 3.5.1. (Primera F ormula Integral de Cauchy). Sea f(z) una funci on
compleja y diferenciable en un dominio D. Sea una trayectoria cerrada en D
la cual encierra unicamente puntos del dominio D. Entonces, para cualquier
punto z
0
encerrado por se cumple la relacion
f(z
0
) =
1
2i
_
f(z)
z z
0
dz. (3.84)
A esta formula se le conoce como primera f ormula integral de Cauchy.
Ejemplo 3.5.1. Hallar el valor de la integral de lnea dada por
_
z
2
z +i
dz. (3.85)
Solucion: Comparando la integral (3.85) con (3.84), tenemos que f(z) = z
2
y z
0
= i. La funci on dada f(z) = z
2
es una funci on analtica en todo el plano
complejo, y el punto i esta dentro de ese dominio, por lo tanto, seg un la
expresion (3.84), tenemos
_
z
2
z +i
dz = 2if(z)
zi
= 2i(i)
2
= 2i. (3.86)
En este ejemplo podemos observar que el valor de la integral no depende del
contorno que se analice, ya que la funci on es analtica en todo el plano complejo.
Sin embargo, si deseamos gracar un contorno debemos asegurarnos que este
encierre al punto z
0
.
3.5 Forma Integral de Cauchy. 83
_
e
z
2
z i
dz (3.87)
para cualquier trayectoria cerrada que no pase por i.
Solucion: Tenemos que la funcion f(z) = e
z
2
es diferenciable z D. De
las condiciones del problema, tenemos dos casos:
Primer caso: Supongamos que la trayectoria cerrada no encierra al punto
i. En este caso
_
e
z
2
z i
dz = 0 (3.88)
debido al teorema de Cauchy, ya que
e
z
2
zi
es diferenciable en y dentro de ella.
Segundo caso: La trayectoria cerrada encierra al punto i, entonces por la
formula integral de Cauchy, tenemos
_
e
z
2
z i
dz = 2ie
i
2
z=i
= 2ie
1
(3.89)
_
e
2z
sen(z
2
)
z 2
dz (3.90)
Solucion: La funci on f(z) = e
2z
sen(z
2
) es diferenciable z D. Aqu tam-
bien tenemos dos casos de interes:
Primer caso: La trayectoria no encierra al punto 2. Entonces, por el teorema
de Cauchy
_
e
2z
sen(z
2
)
z 2
dz = 0 (3.91)
la integral es cero.
Segundo caso: Si encierra al punto 2, entonces, por la primera formula
integral de Cuachy, tenemos
f(z
0
) =
1
2i
_
f(z)
z z
0
dz = 2if(2) = 2ie
4
sen(4) (3.92)
_
|z|=2
cosh(iz) dz
z
2
+ 4z + 3
(3.93)
Solucion: En este ejercicio nos estan dando el dominio, el cual es un crculo
de radio 2 centrado en el orgen |z| = 2. Dentro del crculo |z| = 2 el denominador
se anula en el punto z = 1. Para aplicar la primera f ormula integral de Cauchy,
reescribimos (3.93) de la siguiente manera
_
|z|=2
cosh(iz) dz
z
2
+ 4z + 3
=
_
|z|=2
cosh(iz) dz
(z + 1)(z + 3)
=
_
|z|=2
cosh(iz)
z+3
z (1)
dz (3.94)
Aqui, el punto z
0
= 1, y la funcion f(z) =
cosh(iz)
z+3
es analtica en el crculo
|z| 2. Por consiguiente
_
|z|=2
cosh(iz) dz
z
2
+ 4z + 3
= 2if(z
0
) = 2i
_
cosh(iz)
z + 3
_
z0=1
= i cosh(i) = i cos(1) (3.95)
donde hemos aplicado la relacion cosh(iz) = cos z y la propiedad de paridad.
_
|z|=2
sen z
2z
dz (3.96)
Solucion: |z| = 2 indica que la integracion debe hacerse a lo largo de un
crculo de radio 2, con centro en el origen. Escribiendo la integral (3.96) de la
siguiente manera
_
sen z dz
2(z

2
)
(3.97)
La funcion f(z) es analtica en todos los puntos, excepto en el punto z
0
= /2,
el cual pertenece al dominio dado. Por consiguente, podemos aplicar la primera
forma integral de Cauchy. Escribiendo la funcion f(z) como
f(z) =
1
2
sen z (3.98)
por la forma integral, tenemos
_
sen z dz
2(z

2
)
= 2i
_
1
2
sen z
_
z0=
2
= 2i
_
1
2
_
= i (3.99)
_
e
z
2
z
2
6z
dz (3.100)
en los siguientes dominios: A) |z 2| = 1; B) |z 2| = 3; C) |z 2| = 5
Solucion:
A) En el dominio limitado por el crculo |z 2| = 1 la funcion dentro de
la integral es una funcion analtica. Esto es debido a que los puntos singulares
(polos) son z = 0 y z = 6 y estos puntos estan fuera del crculo |z 2| = 1, ya
que 1+2 z 2 1 se convierte en 1 z 3, donde podemos ver claramente
que los puntos z
0
= 0 y z
0
= 6 no estan en el dominio, por lo tanto la funci on es
analtica dentro del crculo dado por |z 2| = 1. Por consiguiente, el teorema de
Cauchy arma que la integral debe ser cero
_
e
z
2
z
2
6z
dz = 0 (3.101)
B) En el dominio limitado por el crculo |z 2| = 3, existe solo un punto
singular z
0
= 0 en el crculo. Entonces, reescribiendo la integral
_
e
z
2
z
2
6z
dz =
_
|z2|=3
e
z
2
z6
z
dz (3.102)
La funcion f(z) denida por f(z) =
e
z
2
z6
es analtica en el dominio dado.
Aplicando la primer formula integral de Cauchy, resulta
_
e
z
2
z
2
6z
dz = 2i
_
e
z
2
z 6
_
z=0
= 2i
_
1
6
_
=
i
3
(3.103)
C) En el dominio limitado por |z 2| = 5 exsiten dos puntos singulares
(polos) z
0
= 0 y z
0
= 6, estos dos puntos estan dentro del crculo, ya que el
dominio es 3 z 7. Por consiguiente, no podemos aplicar la primer forma
integral de Cauchy directamente, sino debemos proceder de la siguiente manera.
Desarrollar en fracciones parciales el denominador
1
z
2
6z
=
1
z(z 6)
=
A
z
+
B
z 6
, Az +Bz 2A = 1 (3.104)
de la ultima expresion en (3.104) obtenemos los valores A = 1/6 y B = 1/6.
Sustituyendo estos valores en (3.104), la integral (6.2) se escribe como
_
|z2|=5
e
z
2
z(z 6)
dz =
1
6
_
|z2|=5
e
z
2
z
dz +
1
6
_
|z2|=5
e
z
2
z 6
dz (3.105)
Aplicando la primer forma integral de Cauchy a cada una de las integrales en
(3.105), por separado tenemos
_
|z2|=5
e
z
2
z
dz = 2ie
z
2
z=6
= 2ie
36
(3.106)
_
|z2|=5
e
z
2
z 6
dz = 2i
_
e
z
2
z 6
_
z=0
=
i
3
(3.107)
Sustituyendo estos valores en (3.105), tenemos el resultado nal
_
|z2|=5
e
z
2
z(z 6)
dz =
1
6
_
2ie
36
_
+
1
6
_
i
3
_
=
i
3
_
e
36
+
1
6
_
(3.108)
_
|zi|=2
dz
z
2
+ 4
(3.109)
Solucion: La integral (3.109) la podemos escribir de la siguiente manera
_
|zi|=2
dz
(z 2i)(z + 2i)
(3.110)
los puntos singulares son z
0
= 2i y z
0
= 2i. Estos puntos estan fuera del
dominio del crculo de radio 2 y centro en i, por consiguiente, aplicando el
teorema de Cauchy, la integral (3.109) sera cero.
Ejemplo 3.5.8. Evaluar la siguiente integral
_
|z|=4
_
1
z + 1
+
2
z 3
_
dz (3.111)
Solucion: Escribiendo la integral de la siguiente manera
_
|z|=4
3z 1
(z + 1)(z 3)
dz (3.112)
podemos identicar dos puntos songulares; z = 1 y z = 3, los cuales pertenecen
al dominio |z| = 4 y deniendo la funcion f(z) =
3z1
z3
. Aplicando la forma
integral de Cauchy para el primer punto singular, z = 1
_
|z|=4
f(z) dz
z + 1
= 2if(z)
z=1
= 2i
_
3z 1
z 3
_
z=1
= 2i (3.113)
Para el segundo caso, es decir, cuando z = 3 es el punto singular, denimos la
funcion f(z) =
3z1
z+1
. Aplicando la forma integral de Cauchy, resulta
_
|z|=4
f(z) dz
z 3
= 2if(z)
z=3
= 2i
_
3z 1
z + 1
_
z=3
= 4i (3.114)
La integraci on total se obtiene sumando ambos resultados. Finalmente, se tiene
_
|z|=4
3z 1
(z + 1)(z 3)
dz = 4i + 2i = 6i (3.115)
Ejemplo 3.5.9. Hallar el valor de la integral
_
|z|=5
cos (z) dz
(z 1)(z 2)
(3.116)
Solucion: Desarrollando el denominador en fracciones parciales
1
(z 1)(z 2)
=
A
z 1
+
B
z 2
(3.117)
de donde Az + 2A + Bz B = 1, de aqui resultan dos ecuaciones A + B = 0
y 2A B = 1. Resolviendo estas ecuaciones, tenemos B = 1 y A = 1.
Sustituyendo estos valores en (3.117)
1
(z 1)(z 2)
=
1
z 1
+
1
z 2
(3.118)
Por consiguiente, la integral (3.116) se escribe como una suma de dos integrales
_
|z|=5
cos (z) dz
(z 1)(z 2)
=
_
|z|=5
cos (z) dz
z 1
+
_
|z|=5
cos (z) dz
z 2
(3.119)
Debido a que la funcion f(z) = cos z es analtica en z = 2 y z = 1 y estos
puntos estan dentro del dominio, podemos aplicar la f ormula integral de Cauchy.
El valor de cada una de las integrales de la derecha de (3.119) es
_
|z|=5
cos(z) dz
z 2
= 2i cos(z)
z=2
= 2i cos (2) = 2i (3.120)
y la segunda integral
_
|z|=5
cos (z) dz
z 1
= 2i cos(z)
z=1
= 2i cos = 2i (3.121)
Sustituyendo los valores de (3.120) y (3.121) en (3.119), tenemos el valor de la
integral
_
|z|=5
cos (z) dz
(z 1)(z 2)
= (2i) + 2i = 4i (3.122)
_
|z|=3
sen(z
2
) + cos(z
2
)
(z 1)(z 2)
dz (3.123)
Solucion: Como primer paso encontramos los polos: z = 1 y z = 2. Haciendo
la expansion en fracciones parciales
1
(z 1)(z 2)
=
A
z 1
+
B
z 2
(3.124)
De aqui obtenemos las ecuaciones A + B = 0 y 2A B = 1, resolviendo,
obtenemos los valores de A = 1 y B = 1. Sustitutendo en (3.124)
1
(z 1)(z 2)
=
1
z 1
+
1
z 2
(3.125)
La integral (3.123) se transforma en dos integrales
_
|z|=3
sen(z
2
) + cos(z
2
)
(z 1)(z 2)
dz =
_
|z|=3
_
sen(z
2
) + cos(z
2
)
(z 1)
_
dz
+
_
|z|=3
_
sen(z
2
) + cos(z
2
)
(z + 2)
_
dz (3.126)
Aplicando la forma integral de Cauchy a la primer integral, se tiene
_
|z|=3
_
sen(z
2
) + cos(z
2
)
(z 1)
_
dz = 2i
_
sen(z
2
) + cos(z
2
)
_
z=1
= 2i(sen + cos ) = 2i (3.127)
Para la segunda integral
_
|z|=3
_
sen(z
2
) + cos(z
2
)
(z + 2)
_
dz = 2i
_
sen(z
2
) + cos(z
2
)
_
z=2
= 2i(sen(4) + cos(4) = 2i (3.128)
Sustituyendo los valores obtenidos en (3.126 obtenemos el valor de la integral
_
|z|=3
sen(z
2
) + cos(z
2
)
(z 1)(z 2)
dz = 2i + 2i = 4i (3.129)
_
|z|=5
sen z
(z 2)(z 3)(z 4)
dz (3.130)
Solucion: Los puntos singulares son z = 2 z = 3 y z = 4. Haciendo la
expansion en fracciones parciales
1
(z 2)(z 3)(z 4)
=
A
z 2
+
B
z 3
+
C
z 4
(3.131)
De donde obtenemos el siguiente sistema de ecuaciones
A+B +C = 0
7A6B 5C = 0
12A+ 8B + 6C = 1 (3.132)
Al resolver este sistema se encuentra A =
1
2
, B = 1 y C =
1
2
. Sustituyendo los
resultados en (3.131)
1
(z 2)(z 3)(z 4)
=
1
2(z 2)

1
z 3
+
1
2(z 4)
(3.133)
Entonces, la integral (3.130) se escribe como
_
|z|=5
sen z
(z 2)(z 3)(z 4)
dz (3.134)
=
_
|z|=5
sen z
2(z 2)
dz
_
|z|=5
sen z
z 3
dz +
_
|z|=5
sen z
2(z 4)
dz
Debido a que los puntos singulares z = 2, z = 3 y z = 4 estan encerrados en el
dominio |z| = 5 y las funciones f(z) =
1
2
sen z, f(z) = sen z son fanalticas en
los correspondientes puntos. Por consiguiente, podemos aplicar la forma integral
de Cauchy a cada una de las integrales en (3.134)
_
|z|=5
sen z
2(z 2)
dz = 2i
sen z
2
z=2
= i sen(2) (3.135)
_
|z|=5
sen z
z 3
dz = 2i sen z
z=3
= 2i sen(3) (3.136)
_
|z|=5
sen z
2(z 4)
dz = 2i
sen z
2
z=4
= i sen(4) (3.137)
Sumando los valores obtenidos y factorizando se tiene el valor de la integral
(3.134)
_
|z|=5
sen z
(z 2)(z 3)(z 4)
dz = i [sen(2) 2 sen(3) + sen(4)] (3.138)
_
|zi|=1
e
iz
dz
z
2
+ 1
(3.139)
Solucion: Los puntos singulares (polos) son en z = i. La integral (3.139)
la podemos escribir como
_
|zi|=1
e
iz
dz
(z +i)(z i)
(3.140)
Tenemos dos puntos singulares z = i. Sin embargo solo el punto z
0
= i esta
dentro del crculo |z i| = 1. Por lo tanto, aplicando la primer forma integral de
Cauchy, se tiene el siguiente resultado
_
|zi|=1
e
iz
dz
(z +i)(z i)
=
_
|zi|=1
e
iz
z+i
z i
dz = 2i
_
e
iz
z +i
_
z0=i
= e
1
(3.141)
Teorema 3.5.2. (Segunda F ormula integral de Cauchy). Sea f(z) una funci on
analtica en un cierto dominio D. Entonces, f(z) tiene derivadas de todos los
ordenes en cada punto del dominio D. M as a un, si es una trayectoria cerrada
en D, la cual encierra unicamente a puntos de z
0
D, y z
0
es cualquier punto
encerrado por , entonces
f
(n)
(z
0
) =
n!
2i
_
f(z)
(z z
0
)
n+1
dz. (3.142)
La formula (3.84) a menudo se escribe como
_
f(z)
(z z
0
)
n+1
dz =
2i
n!
f
(n)
(z
0
), (3.143)
donde n! representa n factorial, esto es n! = 1 2 3 . . . n, y f
(n)
(z
0
) representa
la n derivada respecto a z, evaluada en el punto z
0
.
Ejemplo 3.5.13. Calcular la integral
_
e
z
3
(z i)
3
dz (3.144)
suponiendo que la trayectoria es cerrada y que no pasa por el punto i.
Solucion: Si no encierra al punto i, entonces la integral es cero por el
teorema de Cauchy. Ahora supongamos que encierra al punto i. Debido a que
el factor z i aparece a la tercera potencia en el denominador, usamos n = 2 en
el teorema, con f(z) = e
z
3
, y obtenemos
_
e
z
3
(z i)
3
dz =
2i
2!
f
(2)
(i) = if
(i) (3.145)
Luego, derivando la funcion f(z) = e
z
3
dos veces respecto a z, tenemos
f
(z) = 3z
2
e
z
3
, f
(z) = 6ze
z
3
+ 9z
4
e
z
3
(3.146)
Entonces, tenemos el resultado de la integral
_
e
z
3
(z i)
3
dz = i
_
6ie
i
+ 9e
i
_
= (6 + 9i)e
i
(3.147)
Ejemplo 3.5.14. Calcular la integral
_
|z|=3
e
2z
(z + 1)
4
dz (3.148)
Solucion: La funcion dada es diferenciable excepto en el punto z
0
= 1.
Ademas el punto z
0
= 1 esta dentro del crculo |z| = 3. Por consiguiente
podemos aplicar directamente la segunda f ormula integral de Cauchy, para n = 3
_
|z|=3
e
2z
(z + 1)
4
dz =
2i
3!
f
(z
0
) (3.149)
donde f(z) = e
2z
y sus derivadas f
= 2e
2z
, f
= 4e
2z
f
= 8e
2z
|
z0=1
= 8e
2
(3.150)
Sustituyendo (3.150) en (3.149), el resultado es
_
|z|=3
e
2z
(z + 1)
4
dz =
2i
3!
8e
2
=
8
3
ie
2
(3.151)
_
|z|=2
cosh z
(z + 1)
3
(z 1)
dz (3.152)
Solucion: El denominador se anula en los puntos z = 1 y z = 1, es decir,
estos son puntos singulares. Estos puntos estan dentro del crculo |z| = 2, por
consiguiente no podemos aplicar directamente la segunda formula integral de
Cauchy. Sin embargo, podemos desarrollar el denominador en fracciones parciales
1
(z 1)(z + 1)
3
=
A
z 1
+
B
z + 1
+
C
(z + 1)
2
+
D
(z + 1)
3
(3.153)
_
|z|=2
e
z
(z 3)(z 1)
2
dz (3.154)
Solucion: La funci on dentro del integrando tiene dos polos z
0
= 3 y z
0
= 1.
Sin embargo, solo el polo z
0
= 1 esta dentro del dominio del crculo |z| = 2.
Escribiendo (3.154) de la siguiente manera
_
|z|=2
e
z
dz
(z3)
(z 1)
2
(3.155)
y comparando esta integral con la segunda f ormula integral de Cauchy, podemos
identicar n = 1, z
0
= 1 y f(z) = e
z
/(z 3). Esta funcion f(z) es analtica
en el dominio dado, ya que el punto z
0
= 3 esta fuera de |z| = 2. Aplicando
directamente la segunda formula integral de Cuachy, resulta
_
|z|=2
e
z
dz
(z 3)(z 1)
2
= 2i
d
dz
_
e
z
z 3
_
z=1
(3.156)
= 2i
_
e
z
z 3

e
z
(z 3)
2
_
|z|=2
=
3ie
2
_
|z|=1
cos
2
z
z
3
dz (3.157)
Solucion: la funcion es analtica en todos los puntos, excepto en z
0
= 0, el
cual est a en el crculo |z| = 1. Podemos ver de (3.157) n = 2, entonces usando la
segunda formula integral de Cauchy, se tiene
_
|z|=1
cos
2
z
z
3
dz =
2i
2!
f
(z
0
) (3.158)
donde la funcion es f(z) = cos
2
z, derivando dos veces respecto a a, tenemos
f
= 2 cos z sen z, f
= 2(sen
2
z cos
2
z)
z=0
= 2 (3.159)
Sustituyendo (3.159) en (3.158, nalmente el resultado es
_
|z|=1
cos
2
z
z
3
dz =
2i
2!
f
(z
0
) =
2i
2!
(2) = 2i (3.160)
Captulo 4
Series en el Dominio Complejo
Contents
4.1. Series de Potencias . . . . . . . . . . . . . . . . . . . 93
4.2. Series de Taylor . . . . . . . . . . . . . . . . . . . . . 96
4.3. Series de Laurent . . . . . . . . . . . . . . . . . . . . 101
4.4. Ceros y Puntos Singulares Aislados de Funciones
Complejas . . . . . . . . . . . . . . . . . . . . . . . . . 103
Las series de potencias son las series m as importantes en el an alisis complejo.
4.1. Series de Potencias
Una serie de potencias en potencias de z z
0
es una serie de la forma
c
0
+c
1
(z z
0
) +c
2
(z z
0
)
2
+. . . +. . . =
n=0
c
n
(z z
0
)
n
(4.1)
donde z es la variable, c
0
, c
1
, . . . c
n
son constantes complejas dadas, llamadas
coecientes de la serie, y z
0
es una constante, llamada centro de la serie. La serie
(4.1) se llama serie de potencias en el dominio complejo. Si z
0
= 0, entonces,
obtenemos un caso particular de la serie (4.1)
c
0
+c
1
z +c
2
z
2
+. . . +. . . =
n=0
c
n
z
n
, (4.2)
94 Series en el Dominio Complejo
esta es una serie de potencias en potencias de z. Una de las cuestiones mas
importantes de las series de potencias es su convergencia.
Teorema 4.1.1. (Teorema de Abel) Si la serie de potencias (4.1) converge para
algunos valores de z igual a z
0
, entonces es absolutamente convergente para todos
los valores de z tales que |z| < |z
0
|. Si la serie (4.1) diverge en z = z
1
, entonces
esta es divergente para cualquier valor de z tal que |z| > |z
1
|. El dominio de
convergencia de (4.1) es un crculo centrado en el orgen de coordenadas, el cual
se llama crculo de convergencia de (4.1).
Propiedades de de las Series de Potencias
Supongamos que la serie (4.1) es divergente en cierto punto z
1
. Entonces,
la serie es divergente en cada punto z que satisface
|z z
0
| > |z
1
z
0
| (4.3)
Para cualquier serie de potencias (4.1) existe un n umero R tal que en el
crculo
|z z
0
| < R (4.4)
la serie (4.1) converge, y fuera del crculo
|z z
0
| > R (4.5)
la serie de potencias diverge.
Si R > 0, la regi on mayor de convergencia para la serie es el crculo |z z
0
| < R.
En la frontera |z z
0
| = R la serie (4.1) puede converger o diverger. El dominio
|z z
0
| < R, R > 0 (4.6)
es llamado crculo de convergencia de la serie de potencias (4.1), el n umero R
en (4.6) se llama radio de convergencia de la serie. Los radios de convergencia
pueden ser calculados por las formulas
R = lm
n
|c
n
|
|c
n+1
|
, c
n
= 0, R = lm
n
1
|c
n
|
1/n
(4.7)
siempre y cuando los lmites existan, nitos o innitos.
Ejemplo 4.1.1. Hallar el radio de convergencia de la serie de potencias
n=1
z
n
n
, > 0 (4.8)
4.1 Series de Potencias 95
Solucion: Los coecientes de la serie son c
n
= 1/n
, entonces
c
n
=
1
n
, c
n+1
=
1
(n + 1)
. (4.9)
Por la primer formula de (4.7) se tiene
R = lm
n
1
n
1
(n+1)
= lm
n
(n + 1)
= lm
n
_
1 +
1
n
_
= 1. (4.10)
Tenemos, entonces que el radio de convergencia es |z| < 1.
Ejemplo 4.1.2. Hallar el radio de convergencia de la serie
n=1
e
in
z
n
(4.11)
Solucion: Los coecientes son
c
n
= e
in
, c
n+1
= e
i(n+1)
(4.12)
Por la formula (4.7), se tiene
R = lm
n
|e
in
|
|e
i(n+1)
|
= lm
n
|e
i
| = e
i
e
i
= 1 (4.13)
El radio de convergencia es |z| < 1.
Ejemplo 4.1.3. Hallar el radio de convergencia de la serie
n=1
i
n
z
n
(4.14)
Solucion: Los coecientes de la serie son
c
n
= i
n
, c
n+1
= i
n+1
(4.15)
Entonces, por la formula (4.7), resulta
R = lm
n
|i
n
|
i
n+1
|
= lm
n
| i| = 1 (4.16)
El radio de convergencia es |z| < 1.
Ejemplo 4.1.4. Hallar el radio de convergencia de la siguiente serie
n=0
(1 +i)
n
z
n
(4.17)
Solucion: El modulo de los coecientes c
n
= (1 +i)
n
, esto es
|c
n
| = |(1 +i)
n
| = |1 +i|
n
=
_
2
_
n
= 2
n/2
(4.18)
Usando la segunda formula de (4.7), obtenemos el radio de convergencia
R = lm
n
1
(2
n/2
)
1/n
=
1
2
(4.19)
4.2. Series de Taylor
Teorema 4.2.1. Sea f(z) una funci on analtica en un disco abierto |zz
0
| < R
0
centrado en z
0
y de radio R
0
gura. Entonces, para todo punto z de ese disco,
f(z) admite la representacion en serie de potencias
f(z) =
n=0
c
n
(z z
0
)
n
, |z z
0
| < R
0
(4.20)
donde los coecientes c
n
de la serie estan dados por la expresion
c
n
=
f
(n)
(z
0
)
n!
=
1
2i
_
f(z) dz
(z z
0
)
n+1
, (n = 0, 1, 2, 3 . . .) (4.21)
donde representa un crculo centrado en z = z
0
y esta enteramente en la
vecindad del punto z
0
donde la funcion f(z) es analtica. La serie de potencias
(4.21) converge a f(z) cuando |z z
0
| < R
0
. La serie de potencias (4.20) se
conoce como serie de Taylor.
La serie de Taylor (4.20) a menudo se escribe como
f(z) = f(z
0
) +
f
(z
0
)
1!
(z z
0
) +
f
(z
0
)
2!
(z z
0
)
2
+
f
(z
0
)
3!
(z z
0
)
3
+. . . (4.22)
Para el caso particular en que, z
0
= 0 se tiene la serie
f(z) = f(0) +
f
(0)
1!
z +
f
(0)
2!
z
2
+
f
(0)
3!
z
3
+. . . (4.23)
y se conoce como serie de Maclariun.
Ejemplo 4.2.1. Desarrollar en serie de Taylor la funcion f(z) = e
z
alrededor
del punto z
0
= 0
Solucion: El desarrollo alrededor de z
0
= 0 viene siendo el desarrollo en
serie de Maclairun (4.23), para esto calculamos algunas derivadas de la funci on
dada y la evaluamos en el punto z
0
= 0.
f(0) = e
0
= 1, f
(0) = e
0
= 1, f
(0) = e
0
= 1, f
(0) = e
0
= 1
f
IV
(0) = e
0
= 1, f
V
(0) = e
0
= 1, f
V I
(0) = e
0
= 1 (4.24)
sustituyendo en la serie (4.23) tenemos el desarrollo deseado
e
z
= 1 +
1
1!
z +
1
2!
z
2
+
1
3!
z
3
+
1
4!
z
4
+
1
5!
z
5
+
1
6!
z
6
+. . . =
n=0
1
n!
z
n
(4.25)
Este desarrollo lo podemos escribir en una forma mas conveniente
e
z
=
n=0
1
n!
z
n
(4.26)
4.2 Series de Taylor 97
Ejemplo 4.2.2. Hallar el desarrollo en serie de Taylor de la funci on f(z) = e
z
alrededor del punto z
0
= i.
Solucion: Del ejemplo anterior, sabemos que para todo z se cumple el
desarrollo (4.26). Para desarrollar alrededor del punto z
0
= i, la serie de potencias
debe estar en terminos de potencias de z i. Para esto escribimos
e
z
= e
zi+i
= e
i
e
zi
=
n=0
e
i
n!
(z i)
n
= e
i
n=0
1
n!
(z i)
n
(4.27)
Este es el desarrollo de la funci on f(z) = e
z
alrededor del punto z
0
= i. La serie
obtenida (4.27) converge para todo z.
Ejemplo 4.2.3. Hallar el desarrollo en serie de Maclairun de la funci on f(z) =
cos z.
Solucion: Para esto calculamos algunas derivadas y las evaluamos en el
punto z
0
= 0. Esto es
f(0) = cos 0 = 1, f
(0) = sen 0 = 0, f
(0) = cos 0 = 1
f
(0) = sen 0 = 0, f
IV
(0) = cos 0 = 1, f
V
(0) = sen 0 = 0
f
V I
(0) = cos 0 = 1 (4.28)
Sustituyendo estos resultados en la formula (4.23), tenemos
cos z = 1
1
2!
z
2
+
1
4!
z
4
1
6!
z
6
+. . . (4.29)
Esta expresion la podemos escribir de la siguiente manera
cos z =
n=0
(1)
n
(2n)!
z
2n
(4.30)
Ejemplo 4.2.4. Desarrollar la funci on f(z) = z
4
en serie de Taylor en potencias
de z i
Solucion: Tenemos la funcion y sus correspondientes derivadas
f(z) = z
4
, f
(z) = 4z
3
, f
(z) = 12z
2
, f
(z) = 24z, f
IV
(z) = 24
f
V
(z) = f
V I
(z) = . . . = 0. (4.31)
El siguiente paso es evaluar la funcion y sus derivadas en el punto z
0
= i
f(i) = i
4
= 1, f
(i) = 4i
3
= 4i, f
(i) = 12i
2
= 12
f
(i) = 24i, f
IV
(z) = 24 f
V
(z) = f
V I
(z) = . . . = 0. (4.32)
Sustituyendo en la serie de Taylor (4.22), obtenemos el desarrollo
f(z) = 1
4i
1!
(z i)
12
2!
(z i)
2
+
24i
3!
(z i)
3
+
24
4!
(z i)
2
. (4.33)
Ejemplo 4.2.5. Desarrollar en serie de Maclairun la funcion f(z) =
1
1z
Solucion: La serie esta dada por la expresion
1
1 z
= 1 +z +z
2
+z
3
+z
4
+. . . + =
0
z
n
, |z| < 1 (4.34)
Para el caso
1
1 +z
= 1 z +z
2
z
3
+z
4
. . . + =
0
(1)
n
z
n
, |z| < 1 (4.35)
Ejemplo 4.2.6. Desarrollar en serie de Maclairun la funcion f(z) = sen z
Solucion: Tenemos que las derivadas evaluadas en z
0
= 0, tienen la forma
general
f
(2n)
(0) = 0, f
(2n+1)
(0) = (1)
n
, n = 0, 1, 2, . . . (4.36)
Entonces, el desarrollo tiene la forma
sen z = z
z
3
3!
+
z
5
5!
. . . =
n=0
(1)
n
(2n + 1)!
z
2n+1
(4.37)
Sabemos que la expresion senh z = i sen (iz), es suciente cambiar z por iz
en la expresi on (4.37) y multiplicando por i, tenemos el desarrollo en serie de
Maclairun de la funcion seno hiperbolico
senh z =
n=0
z
2n+1
(2n + 1)!
, |z| < (4.38)
Ejemplo 4.2.7. Hallar la serie de Maclairun de la funcion
f(z) =
z
z
4
+ 9
(4.39)
Solucion: La funcion (4.39), la podemos escribir de la siguiente manera
f(z) =
z
z
4
+ 9
=
z
9
_
1
1 + (
z
4
9
)
_
=
z
9
n=0
(1)
n
_
z
4
9
_
n
=
=
n=0
(1)
n
3
n+2
z
4n+1
, |z| <
3 (4.40)
Ejemplo 4.2.8. Hallar el desarrollo en serie de Maclairun de la funci on
f(z) = z
2
e
3z
(4.41)
4.2 Series de Taylor 99
Solucion: Usando el desarrollo en serie de Maclairun de la funci on exponen-
cial e
z
, donde debemos cambiar a z por 3z, resulta
e
3z
=
n=0
z
3n
n!
(4.42)
El siguiente paso es multiplicar este resultado por z
2
, nalmente, tenemos
z
2
e
3z
=
n=0
3
n
n!
z
n+2
(4.43)
Ejemplo 4.2.9. Hallar la expansion de Maclairun y el radio de convergencia
de la funcion
f(z) =
1
(z + 1)(z + 2)
(4.44)
Solucion: Usando fracciones parciales, la funci on (4.44) la podemos escribir
1
(z + 1)(z + 2)
=
1
z + 1

1
z + 2
=
1
1 (z)

1
2
1
1 (z/2)
(4.45)
Usando la formula de la serie geometrica, tenemos
f(z) =
n=0
(z)
n
1
2
n=0
_
z
2
_
n
=
n=0
_
(1)
n
(1)
n
2
n+1
_
z
n
=
=
n=0
(1)
n
_
1
1
2
n+1
_
z
n
(4.46)
El coeciente de la serie (1)
n
_
1
1
2
n+1
_
. Para hallar el radio de convergencia
hacemos uso de la formula
R = lm
n
1
|c
n
|
1/n
= lm
n
(1)
n
_
1
1
2
n+1
_
1/n
= 1 (4.47)
Entonces, el radio de convergencia de la serie dada es R = 1.
Ejemplo 4.2.10. Hallar los primeros tres terminos en la serie de potencias
alrededor del punto z = 1 de la funcion
f(z) =
z
2
z 2
(4.48)
Solucion: Para hallar la expansion alrededor de z
0
= 1 debemos primero
modicar la funcion (4.48), de la siguiente manera
z
2
= [(z 1) + 1]
2
= (z 1)
2
+ 2(z 1) + 1 (4.49)
y
z 2 = [1 (z 1)] (4.50)
De esta manera podemos escribir la funcion (4.48) como
f(z) =
_
(z 1)
2
+ 2(z 1) + 1
_
1
n=0
(z 1)
k
_
(4.51)
Por consiguiente, los primeros tres terminos son
f(z) = 1 (1 + 2)(z 1) (1 + 2 + 1)(z 1)
2
(1 + 2 + 1)(z 1)
3
(4.52)
Ejemplo 4.2.11. Hallar los primeros tres terminos en la serie de potencias en
el punto z
0
= 1 de la funcion
f(z) =
z 2
(z + 3)(z + 2)
(4.53)
Solucion: Haciendo la descomposicion parcial tenemos
f(z) =
5
z + 3

4
z + 2
(4.54)
Luego, escribiendo
5
z + 3
=
5
4
1
1
1
4
(z 1)
=
5
4
_
1
1
4
(z 1) +
1
4
2
(z 1)
2
1
4
3
(z 1)
3
_
(4.55)
Similarmente, tenemos para el segundo termino en (4.54)
4
z + 2
=
4
3
_
1
1
3
(z 1) +
1
3
2
(z 1)
2
1
3
3
(z 1)
3
_
(4.56)
Por consiguiente, hallamos que los primeros tres terminos de la expansi on en el
punto z
0
= 1 de la funcion (4.53) esta dada por
f(z) =
z 2
(z + 3)(z + 2)
=
_
5
4

4
3
_
_
5
4
2

4
3
2
_
(z 1) +
+
_
5
4
3

4
3
3
_
(z 1)
2
_
5
4
4

4
3
4
_
(z 1)
3
(4.57)
Ejemplo 4.2.12. Desarrollar las funciones a) cos z y b) sen z en serie de po-
tencias alrededor de z
0
= /2.
Solucion: a) Tomando en cuenta que cos z = sen(z /2) para todo
z C, entonces
cos z =
n=0
(1)
n+1
(2n + 1)!
_
z

2
_
2n+1
(4.58)
rmb) De manera similar, se tiene sen z = cos(z /2)

sen z =
n=0
(1)
n
(2n)!
_
z

2
_
2n
(4.59)
4.3 Series de Laurent 101
4.3. Series de Laurent
Supongamos ahora que la funcion f(z) no es analtica en todo el disco sino
solamente en un anillo A limitado por dos crculos concentricos
1
: |z z
0
| = R
1
y
2
: |z z
0
| = R
2
, 0 < R
1
< R
2
, para cierto punto z
0
gura. Entonces, en
general podemos desarrollar la funcion f(z) en series de potencia, algunas de
las cuales o todas pueden ser negativas. Una serie de potencias que contenga
potencias positivas y negativas se llama series de potencias de Laurent.
Para un punto z
0
, la serie de potencias
c
n
(z z
0
)
n
, n Z (4.60)
esta denida por
n=0
a
n
(z z
0
)
n
+
n=1
b
n
(z z
0
)
n
. (4.61)
Esta serie es la serie de Laurent si las dos series en (4.61) convergen.
Teorema 4.3.1. (Teorema de Laurent) Si f(z) es una funci on de una variable
compleja z y analtica en el anillo R
1
< |z z
0
| < R
2
para alg un punto z
0
entonces, f(z) es igual a la serie de Laurent (4.61)
f(z) =
n=0
a
n
(z z
0
)
n
+
n=1
b
n
(z z
0
)
n
, (4.62)
donde
a
n
=
f
(n)
(z
0
)
n!
=
1
2i
_
2
f() d
( z
0
)
n+1
, n = 0, 1, 2, 3 . . . (4.63)
b
n
=
1
2i
_
1
f() d
( z
0
)
n+1
, n = 1, 2, 3 . . . (4.64)
La integraci on sobre
1
y
2
es en la direcci on positiva, es decir, en contra de
las manecillas del reloj.
La serie de Laurent (4.62) es la generalizacion de la serie de Taylor (5.13).
Si f(z) es analtica dentro y sobre
2
, entonces todas las b
n
seran cero por el
teorema de Cauchy ya que los integrandos son funciones analticas dentro y sobre
1
.
Ejemplo 4.3.1. Sea la funcion
f(z) =
1
(z 1)(z 2)
(4.65)
desarrollar en serie de Laurent para f(z)
1. en el disco |z| < 1
2. en el anillo 1 < |z| < 2
3. en la region 2 < |z|
Solucion: Desarrollando en fracciones parciales la funcion (4.65), podemos
escribir
1
(z 1)(z 2)
=
1
z 1
+
1
z 2
(4.66)
1. Para el caso |z| < 1 tenemos
1
z 1
=
1
1 z
=
n=0
z
n
(4.67)
y
1
z 2
=
1
2
1
1
z
2
=
1
2
n=0
_
z
2
_
n
(4.68)
De esta manera, tenemos el desarrollo en serie de Laurent de (4.65)
f(z) =
1
(z 1)(z 2)
=
n=0
z
n
1
2
n=0
_
z
2
_
n
(4.69)
cuando |z| < 1.
2. Si 1 < |z| < 2, se tiene
1
z 1
=
1
z
1
1
1
z
=
1
z
n=0
1
z
n
(4.70)
y
1
z 2
=
1
2
n=0
_
z
2
_
n
(4.71)
De esta manera, el resultado es
f(z) =
1
(z 1)(z 2)
=
n=0
1
z
n+1

1
2
n=0
_
z
2
_
n
(4.72)
3. Si 2 < |z|, entonces
1
z 2
=
1
2
1
1
_
2
z
_ =
1
z
n=0
_
2
z
_
n
(4.73)
De esta manera
f(z) =
1
(z 1)(z 2)
=
n=0
1
z
n+1
+
1
z
n=0
_
2
z
_
n
(4.74)
4.4 Ceros y Puntos Singulares Aislados de Funciones Complejas 103
Ejemplo 4.3.2. Desarrollar en serie de Laurent la funcion
f(z) =
z + 1
z 1
(4.75)
en las regiones a). |z| < 1 y b). |z| > 1
Solucion: Para a)., tenemos
f(z) =
z + 1
1 z
= (z + 1)
_
1 +z +z
2
+. . .
_
, |z| < 1 (4.76)
Para b)., resulta
f(z) =
1
z
z + 1
1 (
1
z
)
=
_
1 +
1
z
_
1 +
1
z
+
1
z
2
+. . .
__
, |z| > 1 (4.77)
Ejemplo 4.3.3. Hallar la serie de Laurent para la funcion
f(z) =
1
z
2
(1 z)
(4.78)
para las regiones a) 0 < |z| < 1, b) |z| > 1
Solucion: Para el caso a), podemos escribir
f(z) =
1
z
2
1
1 z
=
1
z
2
_
1 +z +z
2
+z
3
+. . .
_
=
1
z
2
+
1
z
+1+z +z
3
+. . . (4.79)
Para b) |z| > 1, se tiene
f(z) =
1
z
3
1
1 (
1
z
)
=
1
z
3
_
1 +
1
z
+
1
z
2
+. . .
_
=
1
z
3
1
z
4
1
z
5
. . . (4.80)
4.4. Ceros y Puntos Singulares Aislados
de Funciones Complejas
Sea f(z) una funci on analtica en el punto z
0
. Entonces, se dice que el punto
z
0
es un cero de orden n de f(z), si
f(z
0
) = 0, f
(z
0
) = 0, f
(z
0
) = 0, . . . , f
(n1)
(z
0
) = 0, f
(n)
(z
0
) = 0
(4.81)
En particular, si (n = 1) al punto z
0
se le llama cero simple de f(z).
Ejemplo 4.4.1. Hallar los ceros de la funci on f(z) = z
4
+4z
2
y determinar su
orden.
Solucion: Debemos hallar los puntos que satisfacen la relacion f(z) = 0,
esto es
f(z) = z
4
+ 4z
2
= 0 z
2
(z
2
+ 4) = 0 z = 0, z = 2i (4.82)
Calculando la derivada de f(z) y evaluando en el punto z = 0 de (4.82), resulta
f
(0) =
_
4z
3
+ 8z
_
z=0
= 0 (4.83)
Debido a que la derivada evaluada en z = 0 es cero, entonces, hacemos la segunda
derivada de f(z) y la evaluamos en z = 0, tenemos
f
(0) =
_
12z
2
+ 8
_
z=0
= 8 = 0 (4.84)
Concluimos, entonces que z = 0 es un cero de orden 2, ya que la segunda derivada
es la que no se anula en z = 0.
Tomamos los otros ceros de la funci on. Estos son z = 2i. Primero evaluamos
la derivada en z = 2i, tenemos
f
(2i) =
_
4z
3
+ 8z
_
z=2i
= 4(2i)
3
+ 8(2i) = 16i = 0 (4.85)
Para el punto z = 2i, tenemos
f
(2i) =
_
4z
3
+ 8z
_
z=2i
= 4(2i)
3
+ 8(2i) = 16i = 0 (4.86)
Conluimos, que los puntos z = 2i son ceros simples, ya que la primer derivada
de la funcion evaluada en estos ceros es diferente de cero.
Ejemplo 4.4.2. Hallar los ceros de la funcion f(z) = z
2
sen z y determinar el
orden.
Solucion: Debemos hallar los puntos que satisfacen la relacion f(z) = 0.
Tenemos
f(z) = z
2
sen z = 0 z = 0, sen z = 0, z
n
= n, n = 1, 2 . . . (4.87)
Los ceros de la funci on dada, estan en z = 0 y z
n
= n. Calculando la derivada
de la funcion y evaluando en el cero z = 0, se tiene
f
(0) =
_
2z sen z +z
2
cos z
_
z=0
= 0 (4.88)
Como el resultado es cero, entonces debemos calcular la segunda derivada y
evaluarla en el mismo cero z = 0, tenemos
f
(0) =
_
2 sen z + 2z cos z + 2z cos z z
2
sen z
_
z=0
= 0 (4.89)
Obtenemos, nuevamente cero. Entonces, calculamos la tercer derivada evaluada
en z = 0, resulta
f
(0) =
_
2 cos z + 4 cos z 4z sen z 2z sen z z
2
cos z
_
z=0
= 6 = 0 (4.90)
Debido a que la tercer derivada es la unica que no se anula en el cero z = 0,
concluimos que el cero z = 0 de la funcion f(z) es de orden tres.
Sustituyendo el cero z
n
= n en (4.88), resulta
f
(n) =
_
2z sen z +z
2
cos z
_
z=n
= 2n sen (n) +n
2
2
cos(n)
= n
2
2
(1)
n
= 0, n = 1, 2 . . . (4.91)
Entonces, podemos decir, que el cero z
n
= n es un cero simple o de orden uno.
El punto z
0
es un cero de orden n de una funcion analtica f(z) en z
0
, si y
solo si en la vecindad (cercana) del punto z
0
se cumple
f(z) = (z z
0
)
n
(z) (4.92)
donde (z) es una funcion analtica en z
0
y (z
0
) = 0.
Ejemplo 4.4.3. Hallar el orden del cero z
0
= 0 de la funcion.
f(z) =
z
8
z sen z
(4.93)
Solucion: Para esto desarrollamos en serie de Taylor la funci on sen z alrede-
dor del punto z
0
= 0
f(z) =
z
8
z sen z
=
z
8
z
_
z
z
3
3!
+
z
5
5!
. . .
_ =
z
8
z
3
3!

z
5
5!
+. . .
=
z
5
1
3!

z
2
5!
+. . .
= z
5
1
1
3!

z
2
5!
+. . .
= z
5
(z) (4.94)
donde
(z) =
1
1
3!

z
2
5!
+. . .
(4.95)
es una funcion analtica en z
0
= 0 y (0) = 6 = 0. Comparando con la relacion
(4.92), podemos concluir que el punto z
0
= 0 de la funcion f(z) (4.93) es de
quinto orden.
Ejemplo 4.4.4. Hallar los ceros de la funcion f(z) = (z
2
+ 1)
3
senh z y deter-
minar el orden.
Solucion: Para determinar los ceros de la funcion hacemos f(z) = 0 y
obtenemos
(z
2
+ 1)
3
senh z = 0 z
2
+ 1 = 0, senh z = 0 (4.96)
Resolviendo las dos ultimas ecuaciones en (4.96), tenemos que los ceros de la
funcion f(z) son:
z = i, z = ni (n = 0, 1, 2, . . .) (4.97)
Tomamos el segundo cero de (4.97), z = i. De la expresion (4.92), podemos
escribir
f(z) = (z +i)
3
(z) (4.98)
donde la funcion (z) = (z i)
3
senh z es una funcion analtica en z = i y
(i) = 8i senh i = 8 sen 1 = 0 (4.99)
Esto implica que el punto z = i es un cero de tercer orden de f(z). De manera
an aloga se puede vericar que el punto z = i es un cero de tercer orden de f(z).
Ahora analizaremos los ceros z = ni. Para esto derivamos la funcion y la
evaluamos en z = ni, resulta
f
(ni) =
_
6z(z
2
+ 1)
2
senh z + (z
2
+ 1)
3
cosh z
z=ni
= 0 (4.100)
Esto implica que los ceros dados por z = ni son ceros simples o de primer
orden.
Se dice que el punto z
0
es un punto singular aislado de una funcion f(z) si
existe una vecindad de este punto en la cual la funci on es analtica en todo lugar
excepto en z = z
0
. Un punto singular aislado de una funci on f(z) es removible si
en el punto z = z
0
la funci on f(z) tiene un lmite nito. Se dice que el punto z
0
de una funcion f(z) es un polo de f(z) si la funcion tiende al innito conforme
z z
0
. El punto z
0
es un polo de orden n (n 1) de f(z) si este es un cero de
orden n de la funcion (z) =
1
f(z)
. Si n = 1, decimos que el polo es simple. En
otras palabras, z
0
es un polo de orden n de f(z) si y solo si, podemos escribir
f(z) =
(z)
(z z
0
)
n
(4.101)
donde (z) es una funcion analtica en z
0
, y (z
0
) = 0. El punto z
0
se llama
singularidad esencial de la funcion f(z) si no existe el lmite de f(z) conforme
z z
0
.
Ejemplo 4.4.5. Analizar los puntos de la funcion
f(z) =
e
z
1
z
(4.102)
Solucion: La funci on (4.102) tiene un solo punto singular en z = 0. Veamos
si es o no removible, para esto calculamos el lmite de la funcion f(z)
lm
z0
f(z) = lm
z0
e
z
1
z
= lm
z0
d
dz
(e
z
1)
d
dz
(z)
= lm
z0
e
z
= 1 (4.103)
El lmite de la funci on es nito y por consiguiente el punto singular z = 0 de la
funcion (4.102) es removible.
Ejemplo 4.4.6. Analizar los puntos singulares de la siguiente funcion
f(z) =
sen z
z
3
+z
2
z 1
(4.104)
Solucion: El denominador de la funci on lo podemos escribir como
z
3
+z
2
z 1 = (z 1)(z + 1)
2
= 0 (4.105)
entonces los puntos singulares de la funci on son dos; z
1
= 1 y z
2
= 1. Tomando
el punto z
1
= 1 y escribiendo
f(z) =
sen z
(z 1)(z + 1)
2
=
sen z
(z+1)
2
z 1
(4.106)
Comparando con (4.101), identicamos la funcion
(z) =
sen z
(z + 1)
2
(4.107)
la cual es analtica en el punto z
1
= 1, y (1) = 0. Concluimos de esta manera
que el punto z
1
= 1 es un polo de orden uno o simple de la funcion (4.104). De
igual manera, para el punto z
2
= 1, escribimos la funcion (4.104) como
f(z) =
sen z
z1
(z + 1)
2
(4.108)
de donde identicamos la funcion
(z) =
sen z
z 1
(4.109)
la cual es analtica en el punto z
2
= 1, y (1) = 0. Concluimos que el punto
z
2
= 1 es un polo de segundo orden para la funcion (4.104).
Ejemplo 4.4.7. Determinar el tipo de punto singular z = 0 de la funcion
f(z) =
1
2 +z
2
2 cosh z
(4.110)
Solucion: El punto singular z = 0 es un polo de (4.110) ya que la funcion
f(z) tiende a innto conforme z 0, (
1
0
). Sea
(z) =
1
f(z)
= 2 +z
2
2 cosh z (4.111)
El punto z = 0 es un cero para la funcion (4.111), ya que (0) = 0. Nos queda
hallar el orden del cero de la funci on (z), para esto calculamos las derivadas de
evaluadas en z = 0
(0) = (2z 2 senh z)

z=0
= 0,
(0) = (2 2 cosh z)
z=0
= 0(4.112)
(0) = (2 senh z)
z=0
= 0,
IV
(0) = (2 cosh z)
z=0
= 2 = 0
Debido a que la derivada de cuarto orden es la unica diferente de cero, implica
que el cero de (z) (4.111) es de orden cuatro. Por consiguiente, el punto singular
de la funcion dada (4.110) es un polo de orden cuatro.
Ejemplo 4.4.8. Determinar el tipo de punto singular z = 1 de la funcion
f(z) =
sen z
2e
z1
2z
(4.113)
Solucion: Sea
(z) =
1
f(z)
=
2e
z1
2z
sen z
(4.114)
Ahora, escribiendo el numerador de (4.114) como
1
= 2e
z1
2z (4.115)
Desde luego que el punto z = 1 es una cero de (4.115). Para determinar el orden
derivamos y evaluamos en el punto z = 1
1
=
_
2e
z1
2
_
z=1
= 0 (4.116)
Derivamos una vez mas y evaluamos en z = 1
1
= 2e
z1
z=1
= 2 = 0 (4.117)
Entonces, decimos que el cero z = 1 de la funcion (4.115) es de segundo orden.
Luego, representadno el denominador de (4.114) como
2
= sen n (4.118)
El punto z = 1 es tambien un cero para (4.118). Para saber de que orden
derivamos y evaluamo en z = 1. Tenemos
1
(1) = cos z
z=1
= cos(1) = 0 (4.119)
Lo que implica que z = 1 es un cero simple o de primer orden para la funci on
2
.
Finalmente, sustituyendo estos resultados en la funcion dada por (4.114),
(z) =
1
f(z)
=
2e
z1
2z
sen z
(4.120)
tenemos que el orden del cero z = 1 para (z) es (2 1 = 1), es decir, un cero
simple (lo anterior resulta del hecho que el numerador de (4.120) es de orden
2 y el denominador de orden 1). Por consiguiente el punto z = 1 es un polo de
primer orden o polo simple de la funcion f(z) en (1.45).
Captulo 5
Series de Taylor y de Laurent:
Singularidades
Contents
5.1. Series de Potencias . . . . . . . . . . . . . . . . . . . 109
5.1. Series de Potencias
La suma de cualquier serie de potencias, con radio de convergencia positivo,
es una funcion analtica. Recprocamente, toda funcion analtica f(z) se puede
representar mediante series de potencias, llamadas series de Taylor de f(z), y
tienen la misma forma que en el calculo real, con x sustituida por el n umero
complejo z.
Sea f(z) una funci on analtica en una vecindad de un punto z = z
0
, primero
obtendremos la formula de Taylor y a partir de esta obtenedremos la serie de
Taylor de f(z) con centro en z
0
.
La herramienta crucial para obtener la formula de Taylor es la formula
integral de Cauchy, escribiendo y z en lugar de z y z
0
, tenemos
f(z) =
1
2i
_
f()
z
d (5.1)
z esta dentro de , por lo cual en tal vecindad se considera un crculo de radio r
110 Series de Taylor y de Laurent: Singularidades
con centro en z
0
. es la variable compleja de integraci on. La idea es desarrollar
1
z
en potencias de z z
0
. Esto es
1
z
=
1
z
0
(z z
0
)
=
1
( z
0
)
_
1
zz0
z0
_ (5.2)
Podemos observar que como esta sobre , mientras z esta en , se tiene
z z
0
z
0
< 1 (5.3)
Usando la formula de la serie geometrica
1
1 q
= 1 +q +. . . +q
n
+
q
n+1
1 q
(5.4)
Si ponemos que q =
zz0
z0
y aplicando la f ormula, tenemos
1
z
=
=
1
z
0
_
1 +
z z
0
z
0
+
_
z z
0
z
0
_
2
+
_
z z
0
z
0
_
3
+. . . +
_
z z
0
z
0
_
n
_
+
+
1
z
_
z z
0
z
0
_
n+1
(5.5)
Sustituyendo en la formula (5.1), se tiene
f(z) =
1
2i
_
f()
z
0
d +
z z
0
2i
_
f() dz
( z
0
)
2
+. . . +
+
(z z
0
)
n
2i
_
f() dz
( z
0
)
n+1
+R
n
(z) (5.6)
donde el ultimo termino esta dado seg un la formula
R
n
(z) =
(z z
0
)
n+1
2i
_
f()
( z
0
)
n+1
( z)
d (5.7)
Usando la formula integral de Cauchy
f
(n)
(z
0
) =
n!
2i
_
f(z)
(z z
0
)
n+1
dz (5.8)
De esta formula tenemos las siguientes expresiones, para n = 0, 1, 2
f(z
0
) =
1
2i
_
f(z)
( z
0
)
dz (5.9)
f
(z
0
) =
1!
2i
_
f(z)
( z
0
)
2
dz (5.10)
f
(z
0
) =
2!
2i
_
f(z)
( z
0
)
3
dz (5.11)
Sustituyendo estas derivadas en (5.6), tenemos
f(z) = f(z
0
) +
z z
0
1!
f
(z
0
) +
(z z
0
)
2
2!
f
(z
0
) +. . . +
(z z
0
)
n
n!
f
(n)
(z
0
) +R
n
(z)
(5.12)
Esta representaci on se llama F ormula de Taylor y R
n
(z) se llama el residuo. La
funci on analtica f(z) tiene derivadas de todos los ordenes, entonces n se puede
tomar tan grande como se desee. Si dejamos que n se pueda considerar como
innito a partir de la formula anterior se obtiene la serie de potencias
f(z) =
n=0
f
(m)
(z
0
)
m!
(z z
0
)
m
(5.13)
Esta serie se llama serie de Taylor de f(z) con centro en z
0
. El caso particular,
cuando z
0
= 0 la serie se llama de Maclaurin de f(z).
Es claro que la serie de Taylor, converge y representa a f(z) si solo si
lm
n
R
n
(z) = 0 (5.14)
Teorema 5.1.1. Si f(z) es una funcion de una variable compleja z la cual es
analtica en un disco de radio R centrado en z
0
, entonces la serie de Taylor para
f(z) alrededor de z
0
converge a f(z)
f(z) = f(z
0
) +f
(z
0
)(z z
0
) +
f
(z
0
)
2!
(z z
0
)
2
+. . . +. . . =
=
n=0
a
n
(z z
0
)
n
(5.15)
donde
a
n
=
1
n!
f
(n)
(z
0
) (5.16)
O por la forma integral de Cauchy
a
n
=
1
2i
_
f(z) dz
(z z
0
)
n+1
(5.17)
Provided |z z
0
| < R.
En (5.17) la integraci on se hace en sentido contrario a las manecillas del reloj
alrededor de una trayectoria simple cerrada que contenga en su interior a z
0
.
Ejemplo 5.1.1. Serie geometrica. Sea f(z) =
1
1z
. Entonces se tiene f
(n)
=
n!
(1z)
n+1
, f
(n)
(0) = n!, por tanto, el desarrollo de Maclaurin de
1
1z
es la serie
geometrica
1
1 z
=
z
n
n=0
= 1 +z +z
2
+. . . (5.18)
f(z) es singular en z = 1; este punto se encuentra sobre el crculo de convergencia.
Ejemplo 5.1.2. La funcion exponencial. Se sabe que la funci on exponencial
e
z
es analtica para toda z y (e
z
)
= e
z
. As, a partir de (5.13) con z
0
= 0 se
obtiene la serie de Maclaurin
e
z
=
n=0
z
n
n!
= 1 +z +
z
2
2!
+
z
3
3!
+. . . +
z
n
n!
, |z| < (5.19)
Esta serie tambien se obtiene si x se sustituye por z en la conocida serie de
Maclaurin de e
x
.
Ejemplo 5.1.3. Funciones trigonometricas e hiperbolicas. Al sustituir la
serie exponencial (5.19) en la serie geometrica (5.18) se obtienen las series de
las funciones trigonometricas mas importantes, estas son:
cos z =
n=0
(1)
n
z
2n
(2n)!
= 1
z
2
2!
+
z
4
4!
. . . +. . . , |z| < (5.20)
sen z =
n=0
(1)
n
z
2n+1
(2n + 1)!
= z
z
3
3!
+. . . . . . , |z| < (5.21)
tan
1
(z) =
n=0
(1)
n1
z
2n1
2n 1
= z
z
3
3
+
z
5
5
. . . +. . . , |z| < 1 (5.22)
Cuando z = x, las expresiones anteriores son las conocidas series de Maclaurin de
las funciones reales cos(x), sen(x) y tan
1
(x). De manera semejante al sustituir
la serie exponencial en la serie geometrica se obtiene:
cosh z =
n=0
z
2n
(2n)!
= 1 +
z
2
2!
+
z
4
4!
+. . . (5.23)
senh z =
n=0
z
2n+1
(2n + 1)!
= z +
z
3
3!
+
z
5
5!
+. . . (5.24)
Ejemplo 5.1.4. Logaritmo. Con base en la ecuaci on 5.12 se concluye que:
ln(1 +z) = (1)
n1
z
n
n
= z
z
2
2
+
z
3
3
. . . +. . . , |z| < 1 (5.25)
Ejemplo 5.1.5. Formula binomial. Si (1 +z)
p
es multvoca el resultado es
valido para la rama de la funcion que toma el valor de 1 cuando z = 0.
(1 +z)
p
= 1 +pz +
p(p 1)
2!
z
2
+. . . +
p(p 1) (p n + 1)
n!
z
n
+. . . |z| < 1
(5.26)
Ejemplo 5.1.6. Determinar la serie de Taylor para la siguiente funci on, f(z) =
e
z
, donde z
0
= 0.
Solucion:
f(z) = f(z
0
) +
f
(z
0
)
1!
(z z
0
) +
f
(z
0
)
2!
(z z
0
)
2
+
f
(z
0
)
3!
(z z
0
)
3
+. . . (5.27)
Como al derivar la funci on exponencial se obtiene la misma funci on. Sustituyendo
z
0
= 0 se obtiene
f(z) = e
(0)
+
e
(0)
1!
(z 0) +
e
(0)
2!
(z 0)
2
+
e
(0)
3!
(z 0)
3
+. . . (5.28)
f(z) = 1 +z +
z
2
2
+
z
3
6
+. . . (5.29)
Ejemplo 5.1.7. Desarrollar en serie de Maclaurin las funciones:
A) log(z + 1):
Solucion:
log(z + 1) = z
z
2
2
+
z
3
3
. . . + (1)
n1
z
n
n
+. . . (R = 1). (5.30)
B) (1 +z)
:
Solucion:
(1 +z)
= 1 +z +
( 1)
2!
z
2
+
( 1)( 2)
3!
z
3
+ . . . +
( 1) . . . ( +n 1)
n!
z
n
+. . . . (R = 1). (5.31)
Un caso particular de esta serie es cuando = 1, entonces la expansi on es
1
1 +z
= 1 z +z
2
. . . + (1)
n
z
n
+. . . (R = 1). (5.32)
La formula (5.30) nos da la expansion en series de Taylor alrededor del punto
z
0
= 0 del valor principal del logaritmo. Para obtener la serie de Taylor para los
otros valores de una funci on multivaluada log(1 +z) debemos sumar en la serie
(5.30) el valor 2n (n = 1, 2, . . .).
Entonces, tenemos
log(z + 1) = z
z
2
2
+
z
3
3
. . . + (1)
n1
z
n
n
+. . . + 2ni (R = 1) (5.33)
Ejemplo 5.1.8. Desarrollar en serie de Maclaurin la funcion cos (z
3
)
Solucion: Tenemos el desarrollo de la funcion coseno
cos (z) =
n=0
(1)
n
(2n)!
z
2n
(5.34)
Entonces, es suciente reemplazar a z por z
3
, el resultado es:
cos z
3
=
n=0
(1)
n
(2n)!
(z
3
)
2n
=
n=0
(1)
n
(2n)!
z
6n
(5.35)
Ejemplo 5.1.9. Desarrollar en serie de Taylor la funcion f(z) = e
z
alrededor
del punto i
Solucion: Sabemos el desarrollo en serie de la funcion e
z
es:
e
z
=
n=0
1
n!
z
n
(5.36)
Entonces, el resultado es:
e
z
= e
(zi+i)
=
n=0
e
i
1
n!
(z i)
n
(5.37)
Singularidades: Una singularidad (o punto singular) z
0
de una funci on f(z)
es un punto en el cual, la funci on f(z) no es analtica. Se dice que el punto z
0
es
una singularidad aislada de f(z) si esta no es analtica en z
0
, pero existe una
vecindad dada por 0 < |z z
0
| < R, donde la funcion f(z) es analtica.
Existen tres diferentes tipos de singulariades. Las singularidades aisladas
entran en estos tres tipos de singulariadades que existen. Las series de potencias
de Laurent proveen un metodo para identicar las singularidades de una funci on
f(z).
Si z
0
es una singularidad aislada de la funci on f(z), entonces tenemos la serie
de Laurent (4.62)
f(z) =
n=0
a
n
(z z
0
)
n
+
n=1
b
n
(z z
0
)
n
, (5.38)
valida en el dominio 0 < |z z
0
| < R.
Si b
n
= 0 para todo n, entonces para z = z
0
la serie (5.38) se reduce a
f(z) =
n=0
a
n
(z z
0
)
n
. (5.39)
poniendo f(z
0
) = a
0
hace (makes) a la funci on f(z) analtica en z
0
, y z
0
is
termed a removable singularity.
Por ejemplo, la funcion
f(z) =
sen z
z
=
n=0
(1)
n
z
2n
(2n + 1)!
, (z = 0) (5.40)
tiene una singularidad removible en z = 0 si ponemos f(0) = 1.
If all but nitely many b
n
are zero, say b
n
= 0 para todo n > m 1 y
b
m
= 0, entonces
f(z) =
b
1
z z
0
+
b
2
(z z
0
)
2
+. . . +
b
m
(z z
0
)
m
+
n=0
a
n
(z z
0
)
n
. (5.41)
en este caso, decimos que z
0
es un polo de orden m de f(z). Si m = 1,
entonces z
0
es un polo simple de f(z).
Si un n umero innito de b
n
no son cero en (5.38), entonces z
0
es una
singularidad esencial de f(z).
Residuos Para una funcion f(z) con una singularidad isolated en z
0
y la
serie de Laurent
f(z) =
n=1
b
n
(z z
0
)
n
+
n=0
a
n
(z z
0
)
n
. (5.42)
en 0 < |z z
0
| < R, el coeciente b
1
, de acuerdo con (4.64) esta dado por
b
1
=
1
2i
_
C
f() d, (5.43)
para C : |z z
0
| < r < R. Este coeciente es muy especial debido a su
representaci on integral y se conoce como el residuo de f(z) en z
0
, y se representa
por Res(z
0
).
In the event f(z) tiene un polo de orden m en z
0
, el algoritmo
Res(z
0
) = b
1
=
1
(m1)!
lm
zz0
d
m1
dz
m1
[(z z
0
)
m
f(z)] (5.44)
permite calcular el residuo de la funcion f(z). Cuando z
0
es un polo simple (es
decir, m = 1), tenemos
Res(z
0
) = lm
zz0
(z z
0
)f(z). (5.45)
Este ultimo caso, puede tambien ser tratado de la siguiente manera. Supongamos
que
f(z) =
p(z)
q(z)
, (5.46)
donde p(z) y q(z) son funciones analticas en z
0
, p(z
0
) = 0, y q(z) tiene un
polo simple en z
0
, whence f(z) tiene un polo simple en z
0
. Entonces, q(z) =
(z z
0
)Q(z), Q(z
0
) = 0, y q
(z
0
) = Q(z
0
), aplicando
Res(z
0
) = lm
zz0
(z z
0
)
p(z)
q(z)
= lm
zz0
p(z)
q(z)q(z0)
zz0
=
p(z
0
)
q
(z
0
)
. (5.47)
Por otro lado, si q(z
0
) = 0 y q
(z
0
) = 0, entonces
q(z) = q
(z
0
)(z z
0
) +
q
(z
0
)
2!
(z z
0
)
2
+. . . = (z z
0
)Q(z), (5.48)
donde Q(z
0
) = q
(z
0
) = 0. Es decir, hemos mostrado que z
0
es un cero simple de
q(z), hence un simple polo de f(z).
La razon de calcular el residuo es la siguiente:
Teorema de Cauchy para el Residuo. Sea f(z) una funcion analtica
dentro y sobre un contorno simple y cerrado C excepto en nitely many points
z
1
, z
2
, . . . z
n
lying en el interior de C gura. Entonces
_
C
f(z) dz = 2i
n
i=1
Res(z
i
), (5.49)
donde la integral se toma en direccion positiva.
Ejemplo 5.1.10. Encontrar la serie de Laurent de z
5
sen(z) con centro en 0.
Solucion:
z
5
sen z =
n=0
(1)
n
(2n + 1)!
z
2n4
=
1
z
4

1
6z
2
+
1
120

1
5040
z
2
+. . . (|z| > 0)
(5.50)
Aqu la corona de convergencia es todo el plano complejo sin el origen.
Ejemplo 5.1.11. Encontrar la serie de Laurent de
cos(z)
z
5
alrededor de 0.
Solucion: La serie para el coseno es
cos z =
n=0
(1)
n
(2n)!
z
2n
(5.51)
Para z = 0
cos z
z
5
=
n=0
(1)
n
(2n)!
z
2n5
=
1
z
5
1
2
1
z
3
+
1
24
1
z
1
720
z +
1
40320
z
3
. . . (5.52)
Este es el desarrollo de Laurent de
cos z
z
5
alrededor de 0. Este desarrollo tiene
exactamente tres terminos que contienen potencias negativas de z, y el resto de
los terminos contienen solo potencias positivas. Podemos pensar que
cos(z)
z
5
=
h(z) +g(z), donde
g(z) =
1
720
z +
1
40320
z
3
. . . (5.53)
es una funcion diferenciable (es una serie de potencias alrededor del origen), y
h(z) =
1
z
5

1
2

1
z
3
+
1
24

1
z
(5.54)
Es h(z) quien determina el comportamiento de
cos (z)
z
5
cerca del origen.
Ejemplo 5.1.12. Encontrar la serie de Laurent de
1
(1+z
2
)
alrededor de -i.
Solucion: Queremos una serie de potencias de z+i. La funci on es diferenciable
en el anillo 0 < |z +i| < 2 con centro en i. Este anillo tiene radio 2 ya que esta
es la distancia entre i, el centro del desarrollo propuesto, e i, el otro punto en
donde
1
(1+z
2
)
no est a denida. Para obtener potencias de z +i, primero usamos
fracciones parciales
1
(1 +z
2
)
=
1
(z +i)(z i)
=
i
2

1
z +i

i
2

1
z 1
(5.55)
El pen ultimo termino ya es una potencia de z + i, de manera que lo dejamos
como esta y rearreglamos el ultimo termino de la derecha:
1
z i
=
1
2i + (z +i)
=
1
2i

1
1
(z+i)
2i
=
1
2i
n=0
_
z +i
2i
_
n
=
n=0
1
(2i)
n+1
(z +i)
n
(5.56)
Este desarrollo en serie geometrica es valido para |
(z+i)
2i
| < 1, o |z +i| < 2.
Ahora se tiene:
1
1 +z
2
=
_
i
2
_
1
z +i

_
i
2
_
_
n=0
1
(2i)
n+1
(z + 1)
n
_
=
i
2

1
z +i
+
i
2

n=0
1
(2i)
n+1
(z + 1)
n
(5.57)
Este es el desarrollo de Laurent de
1
(1+z
2
)
en el anillo 0 < |z +i| < 2. Expresa la
funci on como parte de una serie de potencias y una parte que contiene potencias
negativas de z +i.
Captulo 6
Residuos
Contents
6.1. Residuos . . . . . . . . . . . . . . . . . . . . . . . . . . 119
6.1.1. Residuo en el Innito. . . . . . . . . . . . . . . . . . 120
6.1.2. Residuos Logartmicos - Principio del Argumento. . 122
6.2. Integrales de Funciones Reales. . . . . . . . . . . . . 124
6.2.1. Integrales de Funciones Racionales de cos() y sen().124
6.2.2. Integrales Impropias de Funciones Racionales. . . . . 126
6.3. Ejercicios Resueltos. . . . . . . . . . . . . . . . . . . . 128
En este capitulo analizaremos los polos de funciones, el teorema del residuo
y su aplicaci on al calculo de integrales de funciones reales.
6.1. Residuos
Primero se explicara que es un residuo y como puede usarse para evaluar
integrales
_
C
f(z) dz (6.1)
Estas ser an integrales de contorno tomadas alrededor de una trayectoria simple
cerrada C.
Si f(z) es analtica en todas partes sobre C y dentro de C, entonces tal integral
es cero debido al teorema de Cauchy-Goursat. Si f(z) tiene una singularidad en
120 Residuos
un punto z = z
0
en el interior de C, pero de otra forma es analtica sobre C y
dentro de C, entonces f(z) tiene una serie de Laurent
f(z) =
n=0
a
n
(z z
0
)
n
+
b
1
z z
0
+
b
2
(z z
0
)
2
+ (6.2)
que converge para todos los puntos pr oximos a z = z
0
(excepto en z = z
0
mismo),
en alg un dominio de la forma 0 < |z z
0
| < R. Ahora sigue la idea crucial.
El cociente b
1
de la primer potencia negativa
1
zz0
de esta serie de Laurent
esta dado por la siguiente formula integral utilizando n = 1
b
1
=
1
2i
_
c
f(z) dz (6.3)
Esto lo podemos escribir como
_
C
f(z) dz = 2ib
1
. (6.4)
Aqu se integra en sentido contrario al movimiento de las manecillas del reloj
alrededor de la trayectoria simple cerrada C que contiene a z = z
0
en su interior.
El coeciente b
1
(6.3) se denomina residuo en z = z
0
y se denota por
b
1
= Res f(z), z = z
0
. (6.5)
6.1.1. Residuo en el Innito.
Sea f(z) analtica para |z| > R. El residuo de f(z) en el se dene como
sigue:
Res[f(z), ] =
1
2i
_
C
f(z) dz, (6.6)
donde la integral se toma en la direccion negativa de una trayectoria simple
cerrada C, (a favor de las manecillas del reloj), en el dominio de analticidad de
6.1 Residuos 121
la funci on, y fuera del cual f(z) no tiene singularidad, salvo en . Por tanto se
puede decir que el residuo de f(z) en esta dado por la ecuacion:
Res[f(z), ] = a
1
, (6.7)
donde a
1
es el coeciente de z
1
en el desarrollo de Laurent de f(z) en :
f(z) = +
a
n
z
n
+ +
a
1
z
+a
0
+a
1
z + (6.8)
El teorema del residuo de Cauchy tiene tambien una extension para incluir:
Sea f(z) analtica en un dominio D que incluye una vecindad diluida de .
Sea C una trayectoria cerrada simple en D fuera de la cual f(z) es analtica
excepto para singularidades aisladas en z
1
, . . . , z
k
. Entonces
_
C
f(z) dz = 2i{Res[f(z), z
1
] + + Res[f(z), z
k
] + Res[f(z), ]} (6.9)
Tomando la integral sobre C en la direcci on negativa y que el residuo en debe
ser incluido a la derecha.
Para una integral en particular
_
C
f(z) dz (6.10)
sobre una trayectoria simple cerrada C se tienen ahora dos formas de evaluaci on:
la integral es igual a 2i veces la suma de los residuos dentro de la
trayectoria (siempre que haya solamente un n umero nito de singularidades
all), y es tambien igual a menos 2i veces la suma de los residuos fuera de
la trayectoria m as el de (siempre que haya un n umero nito de singularidades
en el dominio exterior). El principio involucrado se resume en el teorema:
Si f(z) es analtica en el plano z extendido excepto para un n umero nito de
singularidades, entonces la suma de todos los residuos de f(z) (incluyendo )
es cero.
Para evaluar los residuos en , se puede formular un grupo de reglas.
A) Si f(z) tiene un cero de primer orden en , entonces
Res[f(z), ] = lm
z
zf(z) (6.11)
Si f(z) tiene un cero de segundo orden u orden m as alto en , el residuo
en es 0.
B)
Res[f(z), ] = Res
_
1
z
2
f
_
1
z
_
, 0
_
(6.12)
122 Residuos
donde
f(z) = +a
n
z
n
+ +a
1
z +a
0
+
a
1
z
+
a
2
z
2
+ , |z| > R (6.13)
Entonces
f
_
1
z
_
=
= +
a
n
z
n
+ +
a
1
z
+a
0
+a
1
z +a
2
z + , 0 < |z| <
1
R
1
z
2
f
_
1
z
_
= +
a
0
z
2
+
a
1
z
+a
2
+ (6.14)
Por lo que
Res
_
1
z
2
f
_
1
z
_
, 0
_
= a
1
(6.15)
Este resultado reduce el problema a la evaluacion de un residuo en 0.
6.1.2. Residuos Logartmicos - Principio del Argumento.
Sea f(z) analtica en un dominio D. Entonces
f
(z)
f(z)
, (6.16)
es analtica en D excepto en los ceros de f(z). Si se elige una rama analtica de
log f(z) en parte de D (necesariamente exluyendo los ceros de f(z)), entonces
d
dz
log f(z) =
f
(z)
f(z)
(6.17)
Por esta razon la expresion 6.16 se conoce como la derivada logartmica de
f(z) y conduce al siguiente teorema.
Sea f(z) analtica en un dominio D. Sea C una trayectoria cerrada simple D
dentro de la cual f(z) es analtica excepto para un n umero nito de polos y sea
f(z) = 0 sobre C. Entonces
1
2i
_
C
f
(z)
f(z)
dz = N
0
N
p
(6.18)
Donde N
0
es el n umero total de ceros en f dentro de C y N
p
es el n umero total
de polos de f dentro de C, contandose los ceros y los polos de acuerdo a sus
multiplicidades.
6.1 Residuos 123
Conforme C recorre la trayectoria C, el punto w = f(z) traza una trayectoria
C
w
en el plano w y cambiando variables se obtiene
1
2i
_
C
f
(z)
f(z)
dz =
1
2i
_
cw
dw
w
(6.19)
La trayectoria C
w
ser a una trayectoria cerrada, pero se puede cruzar varias veces
a s misma. Por suposici on, f(z) = 0 sobre C, de manera que C
w
no pasa por el
origen del plano w, obteniendose la integral
_
w2
w1
dw
w
= log(w
2
) log(w
1
) (6.20)
mide el cambio total en log(w), como log(w) vara continuamente sobre la
trayectoria. Si w
1
= w
2
, entonces
log(w
2
)log(w
1
) = log |w
2
|+i arg(w
2
)[log |w
1
|+i arg(w
1
)] = i[arg(w
2
)arg(w1)]
(6.21)
Luego, sobre una trayectoria cerrada C
w
, la integral
_
Cw
dw
w
(6.22)
es puramente imaginaria y mide i veces el cambio total en arg(w), como arg(w)
vara continuamente sobre la trayectoria. Este cambio total en arg(w) debe ser un
m ultiplo de 2, puesto que w
1
= w
2
, y puede considerarse como una medida del
n umero de veces que la trayectoria C
w
encierra al origen en el plano w. Tambien
_
Cw
dw
w
= i
_
Cw
v du +udv
u
2
+v
2
. (6.23)
La ecuacion 6.23 es llamada integral de Kronecker Si
1
2i
_
C
f
(z)
f(z)
dz =
1
2
[aumento en arg[f(z)] sobre la trayectoria] (6.24)
= N
0
N
p
=
1
2i
_
Cw
dw
w
=
1
2
_
Cw
v du +udv
u
2
+v
2
La armacion:
1
2
[aumento en arg[f(z)] sobre la trayectoria] = N
0
N
p
(6.25)
se conoce como el principio del argumento. El cual es de gran valor para
encontrar las races de funciones analticas, el siguiente teorema explica este
principio.
124 Residuos
Teorema. Sea f(z) analtica en un dominio D. Sea C
z
una trayectoria cerrada
simple en D, dentro de la cual f(z) es analtica. Si la funcion f(z) representa
a la curva C
z
en una transformacion uno a uno sobre una trayectoria cerrada
simple C
w
en el plano w y f
(z) = 0 dentro de C
z
, entonces f(z) representa el
interior de C
z
en una transformacion uno a uno en todo el interior de C
w
.
Ejemplo 6.1.1. Evalue
_
C
cot(z) dz, con C la trayectoria dada en la Figura
6.1.
x
y

2 3
i
i
2i
C
Figura 6.1: Prueba del Principio del Argumento.
Solucion: Reescribiendo la integral se tiene
cot z =
cos z
sen z
=
f
(z)
f(z)
(6.26)
donde f(z) = sen z. Como f tiene 5 ceros simples y ning un polo encerrado por
C, el principio del argumento da
_
C
cot z dz = 2i(5 0) = 10i (6.27)
6.2. Integrales de Funciones Reales.
El teorema del residuo tambien constituye un metodo muy elegante y simple
para evaluar ciertas clases de integrales reales complicadas.
6.2.1. Integrales de Funciones Racionales de cos() y sen().
Primero se consideraran integrales del tipo
I =
_
2
0
F[cos , sen ] d (6.28)
6.2 Integrales de Funciones Reales. 125
en donde F[cos , sen ] es una funcion racional de cos y sen . Por ejemplo,
sen
2
54 cos
, y es nita sobre el intervalo de integraci on. Al hacer e
i
= z se obtiene
cos =
1
2
(e
i
+e
i
) =
1
2
_
z +
1
z
_
, sen =
1
2i
(e
i
e
i
) =
1
2i
_
z
1
z
_
,
(6.29)
y se observa que el integrando se vuelve una funci on racional de z, por ejemplo
f(z). A medida que vara desde 0 hasta 2, la variable z vara una vez alrededor
de la circunferencia unitaria |z| = 1 en sentido contrario al movimiento de las
manecillas del reloj. Como
dz
d
= ie
i
, se tiene que d =
dz
iz
, y la integral dada
asume la forma
I =
_
C
f(z)
dz
iz
(6.30)
la integraci on se efect ua en sentido contrario al movimiento de las manecillas del
reloj alrededor de la circunferencia unitaria.
Ejemplo 6.2.1. Vericar que
_
2
0
d
2 cos
= 2 (6.31)
Solucion: Se usa cos =
1
2
(z +
1
z
) y d =
dz
iz
. As, la integral se vuelve
_
C
dz
iz
2
1
2
_
z +
1
z
_ =
_
C
dz
i
2
(z
2
2
2z + 1)
=
2
i
_
C
dz
(z
2 1)(z
2 + 1)
(6.32)
Se observa que el integrando tiene dos polos simples, uno en z
1
=
2 + 1, que
esta fuera de la circunferencia unitaria C: |z| = 1 y por tanto carece de interes;
y el otro en z
2
=
2 1 dentro de C, en donde el residuo es

Res
z=z2
1
(z
2 1)(z
2 + 1)
=
_
1
(z
2 1)
_
z=
21
=
1
2
(6.33)
Junto con el factor
2
i
antes de la integral, sustituyendo se tiene el resultado
deseado
2i
_
2
i
__
1
2
_
= 2 (6.34)
126 Residuos
6.2.2. Integrales Impropias de Funciones Racionales.
Son integrales de este tipo
I =
_

f(x) dx (6.35)
Tal integral, para la que el intervalo de integracion no es nito, se denomina
integral impropia, y signica que
_

f(x) dx = lm
a
_
0
a
f(x) dx + lm
b
_
b
0
f(x) dx (6.36)
Si ambos lmites existen, entonces es posible acoplar los dos pasajes indepen-
dientes a y , y escribir
_

f(x) dx = lm
R
_
R
R
f(x) dx. (6.37)
Se supone que la funci on f(x) es una funci on racional real cuyo denominador es
diferente de cero para todo x real, y que su grado es por lo menos dos unidades
mayor que el grado del denominador. As, el lmite existe.
Considerando la siguiente integral de contorno correspondiente
_
C
f(z) dz (6.38)
alrededor de una trayectoria C.
Como f(x) es racional, entonces f(z) tiene una innidad de polos en el
semiplano superior, y si se elige R sucientemente grande, entonces C abarca a
todos estos polos. Entonces, por el teorema del residuo se obtiene
_
C
f(z) dz =
_
S
f(z) dz +
_
R
R
f(x) dx = 2i
Res f(z) (6.39)

en donde la suma consta de todos estos residuos de f(z) en los puntos en el
semiplano superior en donde f(z) tiene un polo. A partir de lo anterior se obtiene
_
R
R
f(x) dx = 2i
Res f(z)
_
S
f(z) dz (6.40)
Si R , entonces el valor de la integral sobre el semicrculo S tiende a cero. Si
se hace z = Re
i
, entonces S esta representado por R = constante, y a medida
que z vara a lo largo de S, la variable vara desde 0 hasta . Como, por
6.2 Integrales de Funciones Reales. 127
hip otesis, el grado del denominador de f(z) es por lo menos dos unidades mayor
que el grado del numerador, entonces se tiene
|f(z)| <
k
|z|
2
(|z| = R > R
0
) (6.41)
para constantes k y R
0
sucientemente grandes. Por la desigualdad ML se tiene
_
S
f(z) dz
<
k
R
2
R =
k
R
(R > R
0
) (6.42)
Por tanto, cuando R tiende a innito, el valor de la integral sobre S tiende a
cero y se produce el resultado
_

f(x) dx = 2i
Res f(z), (6.43)

en donde se suma sobre todos los residuos f(z) correspondientes a los polos de
f(z) en el semiplano superior.
Ejemplo 6.2.2. Vericar
_

0
dx
1 +x
4
=

2
2
(6.44)
Solucion: f(z) =
1
1+z
4
tiene cuatro polos simples en los puntos
z
1
= e
i
4
, z
2
= e
3i
4
, z
3
= e
3i
4
, z
4
= e
i
4
(6.45)
Los dos primeros estan en el semiplano superior, tal y como y lo muestra en la
Figura 6.2. Entonces se tiene:
Res
z=z1
f(z) =
_
1
(1 +z
4
)
z=z1
=
_
1
4z
3
_
z=z1
=
1
4
e
3i
4
=
1
4
e
i
4
Res
z=z2
f(z) =
_
1
(1 +z
4
)
z=z2
=
_
1
4z
3
_
z=z2
=
1
4
e
9i
4
=
1
4
e
i
4
(6.46)
Entonces se obtiene
_

dx
1 +x
4
=
2i
4
(e
i
4
+e
i
4
) = sen

4
=

2
2
(6.47)
Como
1
1+x
4
es una funcion par, entonces se obtiene, como se armo
_

0
dx
1 +x
4
=
1
2
_

dx
1 +x
4
=

2
2
(6.48)
128 Residuos
y
x
Plano complejo z
0.5
z
0
z
1
z
2
z
3
1
Figura 6.2: Ubicacion de los polos de f(z).
Ejemplo 6.2.3. Vericar
_

x
2
1
x
4
+ 5x
2
+ 4
dx =

6
(6.49)
Solucion: El grado del denominador es dos unidades mayor que el del
numerador, por tanto, se tiene que
f(z) =
p(z)
q(z)
=
z
2
1
z
4
+ 5z
2
+ 4
=
z
2
1
(z
2
+ 4)(z
2
+ 1)
(6.50)
que tiene polo simples en 2i e i en el semiplano superior (y en 2i y i en
el semiplano inferior, que carecen de interes aqui). Por tanto, se calculan los
residuos observando que q
(z) = 4z
3
+ 10z
Res
z=2i
f(z) =
_
z
2
1
4z
3
+ 10z
_
z=2i
=
5
12i
Res
z=i
f(z) =
_
z
2
1
4z
3
+ 10z
_
z=i
=
2
6i
(6.51)
Aplicando el teorema del residuo se tiene
2i(
5
12i

2
6i
) =

6
(6.52)
Como se armo.
6.3. Ejercicios Resueltos.
Ejemplo 2: Demostrar que la serie z(1 z) + z
2
(1 z) + z
3
(1 z) + . . .
converge para |z| < 1 y hallar su suma.
Solucion: La suma de los primeros n terminos de la serie es
s
n
(z) = z(1 z) +z
2
(1 z) +. . . +z
n
(1 z)
= z z
2
+z
2
z
3
+. . . +z
n
z
n+1
= z z
n+1
.
Ahora |s
n
(z) z| = | z
n+1
| = |z|
n+1
< .
Para (n + 1) log(z) < log(), o sea, n + 1 >
log
log |z|
o n >
log
log |z|
1 si z = 0.
Si z = 0, s
n
(0) = 0 y |s
n
(0) 0| < para todo n. Por esto lm
n
s
n
(z) = z,
la suma buscada para todo z tal que |z| < 1.
Ejemplo 3: Demostrar que la serie z(1 z) +z
2
(1 z) +z
3
(1 z) +. . . es
absolutamente convergente para |z| < 1.
Solucion:
f
n
(z) = z(1 z)| +|z
2
(1 z)| +. . . +|z
n
(1 z)|
= |1 z|[|z| +|z|
2
+|z|
3
+. . . +|z|
n
]
= |1 z| |z|
_
1 |z|
n
1 |z|
_
Si |z| < 1, entonces lm|z|
n
= 0 y lm
n
f
n
(z) existe de modo que la serie
es absolutamente convergente.
Ejemplo 4: Demostrar para que valores de z convergen las siguientes series:
A)
n=0
z
n
n
2
2
n
.
Solucion: Si u
n
=
z
n
n
2
2
n
lm
n
u
n+1
u
n
= lm
n
z
n+1
(n + 1)
2
2
n+1

n
2
2
n
z
n
=
|z|
2
Aplicando la prueba de la razon, la serie converge si |z| < 2 y diverge si
|z| > 2. Si |z| = 2, la prueba de la razon falla.
Sin embargo, los valores absolutos de la serie
n=0
z
n
n
2
2
n
n=0
|z|
n
n
2
2
n
converge si |z| = 2, desde
n=1
1
n
2
converge. As, la serie converge (ab-
solutamente) para |z| 2, si todos los puntos estan dentro del crculo
|z| = 2.
B)
n=0
(1)
n1
z
2n1
(2n1)!
= z
z
3
3!
+
z
5
5!
.
Solucion:
lm
n
u
n+1
u
n
= lm
n
(1)
n
z
2n+1
(2n + 1)!

(2n 1)!
(1)
n1
z
2n1
= lm
n
z
2
2n(2n + 1)
= 0
Entonces la serie, que representa al sen(z), converge para todos los valores
de z.
130 Residuos
Ejemplo 5: Probar que
n=0
z
n
n(n+1)
converge absolutamente para |z| 1.
Solucion:
Si |z| 1, entonces
z
n
n(n+1)
=
|z|
n
n(n+1)

1
n(n+1)

1
n
2
, tomando u
n
=
z
n
n(n+1)
,
v
n
=
1
n
2
en el criterio de comparacion y si
n=0
1
n
2
=
1
1
p
=
1
1
p1
, donde,
1
2
p
+
1
3
p

1
2
p
+
1
2
p
=
1
2
p1
,
1
4
p
+
1
5
p
+
1
6
p
+
1
7
p

1
4
p
+
1
4
p
+
1
4
p
+
1
p
=
1
4
p1
.
Con lo cual se deduce que la suma de cualquier n umero nito de terminos de
la serie dada es menor que la serie geometrica.
1
1
p1
+
1
2
p1
+
1
4
p1
+
1
8
p1
+ =
1
1
1
2
p1
Que converge para p > 1, entonces vemos que
|u
n
| converge, o sea,
u
n
converge absolutamente.
Ejemplo 6: Hallar la region de convergencia de las siguientes series:
A)
n=0
(1)
n1
z
2n1
(2n1)!
.
Solucion: Si u
n
=
(1)
n1
z
2n1
(2n1)!
, entonces u
n+1
=
(1)
n
z
2n+1
(2n+1)!
. Por esto,
excluyendo z = 0 para el cual la serie dada converge, tenemos
lm
n
u
n+1
u
n
= lm
n
z
2
(2n 1)!
2n + 1
= lm
n
(2n 1)!|z|
2
(2n + 1)(2n)(2n 1)!
= lm
n
|z|
2
(2n + 1)(2n)
= 0
Para todo z nito, de tal, modo que la serie converge (absolutamente)
para todo z, y decimos que la serie converge para |z| < . Se puede decir,
equivalentemente, que el crculo de convergencia es o que el radio de
convergencia es .
B)
n=0
n!z
n
.
Soluci on: Si u
n
= n!z
n
, entonces u
n+1
= (n+1)!z
n+1
. Entonces excluyendo
z = 0 para el cual la serie dada converge, tenemos:
lm
n
u
n+1
u
n
= lm
n
(n + 1)!z
n+1
n!z
n
= lm
n
(n + 1)|z| =
De tal modo que la convergencia es solo en z = 0.
Ejemplo 7: Encontrar las siguientes series de Maclaurin:
A) f(z) =
1
1+z
2
.
Solucion: Al sustituir z
2
por z se obtiene
1
1 +z
2
=
1
1 (z)
2
=
n=0
(z
2
)
n
=
n=0
(1)
n
z
2n
= 1 z
2
+z
4
z
6
+. . .
B) f(z) = tan
1
(z).
Solucion: Se tiene f(z) =
1
1+z
2
. Al integrar termino a termino y usando
f(0) = 0, se obtiene
tan
1
=
n=0
(1)
n
2n + 1
z
2n+1
= z
z
3
2
+
z
5
5
+. . . (|z| < 1)
Esta serie representa el valor principal de w = u +iv = tan
1
(z), denido
como el valor para el que |u| <

2
.
Ejemplo 8: Resolver las siguientes ecuaciones diferenciales:
A) f(z) = sen(z) z
0
= 0
Solucion: Derivando sucesivamente la funcion se obtiene:
f(z) = sen(z)
f
(z) = cos(z)
f
(z) = sen(z)
f
(z) = cos(z)
f
(4)
(z) = sen(z)
Sustituyendo en la serie de Taylor, tomando z
0
= 0
f(z) = f(z
0
) +
f
(z
0
)
1!
(z z
0
) +
f
(z
0
)
2!
(z z
0
)
2
+
f
(z
0
)
3!
(z z
0
)
3
+. . .
f(z) = sen(0)+
cos(0)
1!
(z0)
sen(0)
2!
(z0)
2
cos(0)
3!
(z0)
3
+
sen(0)
4!
(z0)
4
+. . .
f(z) = z
1
6
z
3
+
1
120
z
5

132 Residuos
B) f(z) = sen(z) z
0
= i
Solucion: Derivando sucesivamente la funcion se obtiene:
f(z) = sen(z)
f
(z) = cos(z)
f
(z) = sen(z)
f
(z) = cos(z)
f
(4)
(z) = sen(z)
Sustituyendo en la serie de Taylor, tomando z
0
= i
f(z) = f(z
0
) +
f
(z
0
)
1!
(z z
0
) +
f
(z
0
)
2!
(z z
0
)
2
+
f
(z
0
)
3!
(z z
0
)
3
+. . .
f(z) = sen(i)+
cos(i)
1!
(zi)
sen(i)
2!
(zi)
2
cos(i)
3!
(zi)
3
+
sen(i)
4!
(zi)
4
+. . .
Ejemplo 9: Encontrar las siguientes series de Taylor:
A) f(z) = e
z
, alrededor de i.
Solucion:
f(z) = f(z
0
) +
f
(z
0
)
1!
(z z
0
) +
f
(z
0
)
2!
(z z
0
)
2
+
f
(z
0
)
3!
(z z
0
)
3
+. . .
f(z) = e
i
+e
i
(z i) +
e
i
2
(z i)
2
+
e
i
6
(z i)
3
+. . .
B) f(z) = cos(z), alrededor de 3i.
Solucion:
f(z) = f(z
0
) +
f
(z
0
)
1!
(z z
0
) +
f
(z
0
)
2!
(z z
0
)
2
+
f
(z
0
)
3!
(z z
0
)
3
+. . .
f(z) = cos(3i) sen(3i)(z 3i)
cos(3i)
2
(z 3i)
2
+
sen(3i)
6
(z 3i)
3
+. . .
Ejemplo 10: Encontrar el radio de convergencia de la serie de Taylor csc(z)
alrededor de 3 4i.
Solucion:
Como csc(z) =
1
sen(z)
, esta funci on es diferenciable excepto en z = n, con n
cualquier entero. Observando que es el punto m as cercano a 3 4i en el cual
csc(z) no es diferenciable. la distancia entre y 3 4i es
_
( 3)
2
+ 16,
y
x
Plano complejo z
(3, 4)
R =
( 3)
2
+ 4
2
Figura 6.3: Figura para el Problema 10.
y este es el radio de convergencia del desarrollo en serie de csc(z) alrededor de
3 4i.
Ejemplo 11: Hallar la serie de Laurent alrededor de las singularidades
indicadas para cada una de las siguientes funciones. Clasicar la singularidad en
cada caso e indique la region de convergencia de cada serie.
A)
e
2z
(z1)
3
; z = 1.
Solucion: Sea z 1 = u. Entonces z = 1 +u y
e
2z
(z 1)
3
=
e
2+2u
u
3
=
e
2
u
3
e
2u
=
e
2
u
3
_
1 + 2u +
(2u)
2
2!
+
(2u)
3
3!
+
(2u)
4
4!
+
_
=
e
2
(z 1)
3
+
2e
2
(z 1)
2
+
2e
2
z 1
+
4e
3
3
+
2e
2
3
(z 1) +
z = 1 es un polo de tercer orden, o polo triple.
B) (z 3) sen(
1
z+2
); z = 2.
Solucion: Sea z + 2 = u. Entonces z = u 2 y
(z 3) sen(
1
z + 2
) = (u + 5) sen(
1
z
) = (u 5)
_
1
u

1
3!u
3
+
1
5!u
5

_
= 1
5
u

1
3!u
2
+
5
3!u
3
+
1
5!u
4

= 1
5
z + 2

1
6(z + 2)
2
+
5
6(z + 2)
3
+
1
120(z + 2)
4

z = 2 es una singularidad esencial. La serie converge para todos los
valores de z = 2.
134 Residuos
C)
zsen(z)
z
3
; z = 0.
Solucion:
z sen(z)
z
3
=
1
z
3
_
z
_
z
z
3
3!
+
z
5
5!

z
7
7!
+
__
=
1
z
3
_
z
3
3!

z
5
5!
+
z
7
7!

_
=
1
3!

z
2
5!
+
z
4
7!

z = 0 es una singularidad evitable. La serie converge para todos los valores
de z.
D)
z
(z+1)(z+2)
; z = 2.
Solucion: Sea z = 2. Entonces z + 2 = u y
z
(z + 1)(z + 2)
=
u 2
(u 1)u
=
2 u
u

1
1 u
=
2 u
u
(1 +u+u
2
+u
3
+ )
u
2
+ 1 +u +u
2
+ =
2
z + 2
+ 1 + (z + 2) + (z + 2)
2
+
z = 2 es un polo de primer orden o polo simple. La serie converge para
todos los valores de z tales que 0 < |z + 2| < 1.
Ejemplo 12: Desarrollar f(z) =
1
(z+1)(z+3)
en una serie de Laurent valida
para:
A) 1 < |z| < 3.
Solucion: Resolviendo en fracciones parciales, se tiene
1
(z+1)(z+3)
=
1
2
(
1
z+1
)
1
2
(
1
z+3
)
Si z > 1
1
2(z + 1)
=
1
2z(1 +
1
z
)
=
1
2z
_
1
1
z
+
1
z
2

1
z
3
+
_
=
1
2z
1
2z
2
+
1
2z
3
1
2z
4
+
Si |z| < 3
1
2(z + 3)
=
1
6(1 +
z
3
)
=
1
6
_
1
z
3
+
z
2
9

z
3
27
+
_
=
1
6
z
18
+
z
2
54
z
3
162
+
Entonces la serie de Laurent buscada, valida para |z| > 1 y |z| < 3, o sea
1 < |z| < 3, es

1
2z
4
+
1
2z
3

1
2z
2
+
1
2z

1
6
+
z
18

z
2
54
+
z
3
162

B) |z| > 3.
Solucion: Si z > 1, tenemos
Si z > 1
1
2(z + 1)
=
1
2z(1 +
1
z
)
=
1
2z
_
1
1
z
+
1
z
2

1
z
3
+
_
=
1
2z
1
2z
2
+
1
2z
3
1
2z
4
+
Si |z| > 3
1
2(z + 3)
=
1
2z(1 +
3
z
)
=
1
2z
_
1
3
z
+
9
z
2

27
z
3
+
_
=
1
2z
3
2z
2
+
9
2z
3
27
2z
4
+
Entonces la serie de Laurent buscada, v alida para |z| > 1 y |z| > 3, o sea,
|z| > 3, es, restando
1
z
2

4
z
3
+
13
z
4

40
z
5
+
C) 0 < |z + 1| < 2.
Solucion: Sea z + 1 = u, tenemos
1
(z + 1)(z + 3)
=
1
u(u + 2)
=
1
2u(1 +
u
2
)
=
1
2u
_
1
u
2
+
u
2
4

u
3
8
+
_
=
1
2(z + 1)

1
4
+
1
8
(z + 1)
1
16
(z + 1)
2
+
valida para |u| < 2, u = 0 o 0 < |z + 1| < 2.
D) |z| < 1.
Solucion:
1
2(z + 1)
=
1
2(1 +z)
=
1
2
(1z +z
2
z
3
+ ) =
1
2
1
2
z +
1
2
z
2
1
2
z
3
+
Si |z| < 3
1
2(z + 3)
=
1
6(1 +
z
3
)
=
1
6
_
1
z
3
+
z
2
9

z
3
27
+
_
=
1
6
z
18
+
z
2
54
z
3
162
+
Entonces la serie de Laurent buscada, valida para |z| < 1 y |z| < 3, o sea
|z| < 1, es, restando
1
3

4
9
z
13
27
z
2
40
81
z
3
+
Esta es una serie de Taylor.
136 Residuos
Ejemplo 13: Localizar en el plano nito z todas las singularidades de las
siguientes funciones:
A) f(z) =
z
2
(z+1)
3
.
Solucion: z = 1 es un polo de tercer orden.
B) f(z) =
2z
3
z+1
(z4)
2
(zi)(z1+2i)
Soluci on: z = 4 es un polo de segundo orden (polo doble); z = i y z = 12i
son polos de primer orden (polos simples).
C) f(z) =
1cos(z)
z
Solucion: z = 0 aparece como una singularidad. Sin embargo, si
lm
x0
1cos(z)
z
= 0, esta es una singularidad removible.
Otro metodo: Teniendo
1cos(z)
z
=
1
z
_
1
_
1
z
2
2!
+
z
4
4!

z
6
6!
+
__
=
z
2!

z
3
4!
+ , observando que si z = 0 es una singularidad removible.
D) f(z) =
sen (mz)
z
2
+z+2
m = 0
Solucion: Teniendo z
2
+ 2z + 2 = 0, se obtiene:
z
1, 2
=
b
b
2
4ac
2a
2
_
(2)
2
4(1)(2)
2(1)
=
2
4 8
2
=
2 2i
2
= 1i
con lo cual se puede escribir z
2
+ 2z + 2 = [z (1 +i)][z (1 i)] =
(z + 1 i)(z + 1 + i). Obteniendo dos polos simples en: z = 1 + i y
z = 1 i.
E) f(z) = e
1
(x1)
2
Solucion: Al desarrollar la funcion en series de Laurent se obtiene
1
1
(z 1)
2
+
1
2!(z 1)
4

La cual es una serie de Laurent donde la parte principal tiene numero
inno de terminos que no son cero. Por tanto z = 1 es una singularidad
esencial.
Indice alfabetico
complejo
n umero, 2
forma
exponencial del n umero complejo,
17
Funciones Analticas, 37
Derivada, 54
Ecuaciones de Cauchy-Riemann en
Forma Polar, 59
Ecuaciones de Laplace, 60
Funciones Arm onicas Conjugadas,
59
Integrales, 67
Forma Integral de Cauchy, 82
Primera Forma, 82
Segunda Forma, 89
Integral Compleja en Terminos de
Integrales Reales, 71
Integral de una Funci on Compleja,
67
Integrales de Lnea, 69
Teorema de Cauchy-Goursat, 77
N umeros Complejos, 2
Crculos y Discos, 30
Regiones en el Plano, 35
representaci on
algebraica del n umero complejo, 14
trigonometrica del n umero comple-
jo, 14
Residuos, 119
Integral de Kronecker, 123
Integrales de Funciones Reales, 124
Integrales de Funciones Raciona-
les de cos() y sen(), 124
Integrales Impropias de Funcio-
nes Racionales, 126
Residuo en el Innito, 120
Residuos Logartmicos - Principio
del Argumento, 122
series
de potencias, 93
valor principal, 11

Curso de Variable Compleja Guia Calderon

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Curso de Variable Compleja Guia Calderon

Diunggah oleh

Hak Cipta:

Format Tersedia

Notas de Clase

Algebra de los N umeros

1, tiene una interpretacion geometrica sencilla si

1 es la unidad imaginaria y IR representa el campo de los n umeros

sen 2 = 2 cos sen (1.87)

con centro en el orgen de coordenadas y constituyen los vertices

13. Ahora podemos calcular el valor del

33i un n umero complejo. Escribirlo en su forma

4 [cos +i sen ] = 2 (1.134)

3)i. Entonces, podemos identicar los valores

3. Por consiguiente el modulo de z expresado como

y la suma de la serie (2.32) es S

8), usando la formula (2.78), para esto

(z) es la derivada de la funcion f(z) en un punto z si existe el

(w) como funcion de z, si f(w) = w

(z) no existe en ese punto.

z es diferenciable. Usando la formula (2.151), obtenemos

se llama imagen de la lnea en el plano uOv con ayuda de la funci on

. En la teora de funciones analticas se demuestra, que si f

, la cual pasa por el punto (u

con el eje Ou, entonces

es el angulo entre las tangentes L

(t) dt. (3.8)

f(z) dz es evaluada, reemplazando a z por z(t) en la curva.

(t)dt e integrando sobre el intervalo a t b.

(t) = 1 +i. La integral se transforma en

z Re(z) dz, si (t) = t it

(t) = 1 2it (3.11)

(t) = 1 + i. La integral se puede escribir

es el contorno C tomado en la direccion opuesta de C.

(t) = sen t +i cos t (3.33)

f(z) dz = 0 si f(z) es diferenciable en la curva y en todo punto encerrado por

rmb) De manera similar, se tiene sen z = cos(z /2)

(0) = (2z 2 senh z)

2 1 dentro de C, en donde el residuo es

Res f(z) (6.39)

Res f(z), (6.43)

Anda mungkin juga menyukai