Explora Libros electrónicos
Categorías
Explora Audiolibros
Categorías
Explora Revistas
Categorías
Explora Documentos
Categorías
Y
APLICACIONES
M.I. Jos
e Francisco G
omez Aguilar
Facultad de Ingeniera Mec
anica, Electrica y Electr
onica
Universidad de Guanajuato
Indice general
Indice de Cuadros.
Indice de Figuras.
XI
1. Numeros Complejos.
1.1. N
umeros Complejos y sus Propiedades. . . . . . . . . . . . . . . . . . . . . . . . . . .
10
11
14
14
28
2. Funciones Analticas.
2.1. Funciones Complejas.
32
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
33
2.3. Mapeos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
38
42
42
44
48
iii
INDICE GENERAL
iv
48
50
63
3. Funciones Elementales.
65
65
65
66
67
69
70
71
73
74
75
76
76
76
77
84
4. Integrales.
87
87
4.2. Contornos.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
90
91
92
97
99
INDICE GENERAL
138
. . . . . . . . . . . 140
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
173
INDICE GENERAL
vi
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
208
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 214
237
INDICE GENERAL
vii
. . . . . . . . . . . . . . . . . . . . . . 242
264
. . . . . . . . . . . . . . . . . 267
INDICE GENERAL
viii
309
INDICE GENERAL
ix
359
A. Regiones Complejas.
359
A.7. Angulos
con Cortes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 377
A.8. Bandas con Cortes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 378
A.9. Mapeos de Regiones Internas y Externas. . . . . . . . . . . . . . . . . . . . . . . . . 381
Bibliografa.
386
Indice de cuadros
2.1. Archivo M que permite calcular las ecuaciones de Cauchy-Riemann, ecuaciones de
Laplace y obtiene la analiticidad de una funci
on. . . . . . . . . . . . . . . . . . . . .
62
71
71
281
Indice de figuras
1.1. Plano Complejo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Gr
afica de |z 2| + |z + 2| = 5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
1.3. Gr
afica de g(z) > 0. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
1.4. Gr
afica de |z 1| > 4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
27
28
28
34
2.2. Circunferencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
2.3. Hiperbola. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
2.4. Elipse. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
36
2.7. Mapeo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
89
96
97
INDICE DE FIGURAS
xii
2
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . 202
7.2. Rotaci
on w = iz. (Angulo
de rotaci
on 2 , en sentido contrario al movimiento de las
manecillas del reloj). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
7.3. Transformaci
on lineal w = u+iv = (1+i)z +2i, que consta de la rotaci
on y dilataci
on
w1 = u1 + iv1 = (1 + i) seguida de la traslaci
on w = w1 + 2i. . . . . . . . . . . . . . 211
7.4. Transformaci
on w = (1 + i)z + (2 1).
. . . . . . . . . . . . . . . . . . . . . . . . . 212
7.5. Funci
on w = z1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212
7.6. Mapeo w = z1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214
7.7. Mapeo w = z 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216
7.8. Mapeo definido por w = z n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217
7.9. Mapeo definido por w = F0 [sen(z)]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
7.10. w = ez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
7.11. Mapeo definido por w = ex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
7.12. Mapeo definido por w = ez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220
7.13. Mapeo definido por w = ln(z). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221
7.14. Mapeo definido por w = sen(z). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
INDICE DE FIGURAS
xiii
7.15. w = cos(z) mapea una recta vertical, Re(z) = a, en la rama derecha de una hiperbola
si cos(a) > 0 y sen(a) 6= 0. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
7.16. w = cos(z) mapea rectas verticales, Re(z) =
(2n1)
2
y el eje x. . . . . . . . . . . . . 229
. . . . . . . . . . . . . . . . . . . . . . . 247
INDICE DE FIGURAS
xiv
. . . . . . . . . . . . . . . . . . . . . . . . . . . 265
INDICE DE FIGURAS
xv
9.23. Aplicaci
on a la Electrost
atica, problema 7. . . . . . . . . . . . . . . . . . . . . . . . . 300
9.24. Lnea Fuente. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 300
9.25. Lneas de Carga. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301
9.26. Conductores Cilndricos para el problema 9. . . . . . . . . . . . . . . . . . . . . . . . 301
9.27. Campo Electrico. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302
9.28. Conductores Cilndricos para el problema 10. . . . . . . . . . . . . . . . . . . . . . . 303
9.29. Losa semi-infinita, para el problema 11. . . . . . . . . . . . . . . . . . . . . . . . . . 304
9.30. Placas Paralelas, para el problema 12. . . . . . . . . . . . . . . . . . . . . . . . . . . 305
9.31. Placa para el Problema 8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306
9.32. Placa para el Problema 9. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 307
9.33. Placa para el Problema 13.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 307
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 308
10.1. Funci
on Factorial. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332
10.2. Condiciones Bajo las Cuales f (z) = 0. . . . . . . . . . . . . . . . . . . . . . . . . . . 346
10.3. Dominios con Puntos Comunes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 348
10.4. Prolongaci
on Analtica, Problema 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . 356
10.5. Prolongaci
on Analtica, Problema 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . 356
A.1. Mapeo 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 359
A.2. Mapeo 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 360
A.3. Mapeo 3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 360
A.4. Mapeo 4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 360
A.5. Mapeo 5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 361
A.6. Mapeo 6. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 361
A.7. Mapeo 7. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 361
A.8. Mapeo 8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 362
A.9. Mapeo 9. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 362
A.10.Mapeo 10. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 362
A.11.Mapeo 11. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363
A.12.Mapeo 12. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363
A.13.Mapeo 13. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363
A.14.Mapeo 14. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 364
INDICE DE FIGURAS
xvi
INDICE DE FIGURAS
xvii
Introducci
on.
No hay asunto, por m
as complicado que sea,
que estudiado con paciencia e inteligencia
no se complique m
as.
Durante mi trabajo como profesor en la facultad de ingeniera impartiendo el curso de variable
compleja me di cuenta, de que existe, relativamente, poca literatura en esta area del conocimiento,
en otras palabras, no se cuenta con la suficiente cantidad y variedad de libros necesarios para el
estudio optimo de esta materia. Es por ello, que me di a la tarea de escribir estas notas, las cuales
estan basadas en el plan trimestral y su programa de estudio de acuerdo al departamento de area
basica de nuestra facultad.
El software que se escogio para realizar las simulaciones es el MATLAB, debido a la facilidad de
programacion y entre otras razones por la disposicion que se tiene de el en las computadoras de la
facultad, en cuanto a los dibujos el software empleado es el Microsoft Visio.
Estoy conciente que estas notas se pueden mejorar mucho, y se espera hacerlo en la practica con
los estudiantes, de quien se espera una valiosa participacion para el mejoramiento de este trabajo y
su aprendizaje propio.
En el contenido de este trabajo se pretendio ser exacto y preciso en las definiciones, ya que esta
dise
nado para ser aplicado en cualquier carrera de ingeniera.
Captulo 1
Numeros Complejos.
El caminos mas corto entre dos verdades del an
alisis real
pasa por el an
alisis complejo
Jacques Hadamard.
os n
umeros complejos son una creacion 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 imaginarios resultantes de admitir al n
umero i como si fuera un n
umero real mas eran
suficientes para resolver cualquier ecuacion polinomica. 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 coeficientes complejos se descompone en factores lineales, formulando el teorema fundamental
del algebra. Otro descubrimiento de Gauss mucho mas simple, pero no menos importante, fueque
la aritmetica de los n
umeros complejos, introducida formalmente a partir de la relacion i = 1,
tiene una interpretacion geometrica sencilla si se identifican 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, propagacion de calor y analisis de se
nales cuyas soluciones son valores reales. El
uso de mapeos conformes entre dominios del plano complejo es tambien una tecnica significativa para
resolver ciertas ecuaciones diferenciales parciales. Estos metodos se estudian en cursos avanzados de
ingeniera y precisamente de ello se ocupan estas notas.
1.1.
N
umeros Complejos y sus Propiedades.
Un n
umero complejo z es un n
umero que puede ser escrito en la forma z = a + ib, con a y b
n
umeros reales. Se dice que a es la parte real de z, (a = Re(z)) y que b es su parte imaginaria,
(b = Im(z)). De esta forma, los n
umeros complejos pueden identificarse con < 2 , y se tendra que dos
n
umeros complejos son iguales si, y solo si, son iguales sus partes real e imaginaria. En el conjunto
2
de los n
umeros complejos no establecera un orden; esto es, carecera de sentido decir si un cierto
n
umero complejo es mayor o menor que otro.
Por otro lado, podemos dotar al conjunto de n
umeros complejos de estructura de cuerpo con las
siguientes operaciones internas:
Dos n
umeros complejos (x1 , y1 ) y (x2 , y2 ) se consideran iguales si y solo si,
x1 = x 2
y1 = y 2 .
(1.1)
La suma de dos n
umeros complejos (x1 , y1 ) y (x2 , y2 ) es el n
umero complejo
(x1 + x2 , y1 + y2 ).
(1.2)
El producto de dos n
umeros complejos (x1 , y1 ) y (x2 , y2 ) esta dado por la siguiente expresion
(x1 x2 y1 y2 , x1 y2 + x2 y1 ).
(1.3)
La division de dos n
umeros complejos (x1 , y1 ) y (x2 , y2 ) esta dado por la siguiente expresion
x1 +y1
x2 +y2
x2 y2
x2 y2
x1 x2 x1 y2 +x2 y1 +y1 y2
x2 2 +y2 2
x1 x2 +y1 y2 ,x2 y1 x1 y2
.
x2 2 +y2 2
(1.4)
(1.6)
(1.7)
(1.8)
El n
umero complejo (0, 1) se llama unidad imaginaria y se representa con la letra i o j, es decir,
i = (0, 1)
j = (0, 1)
(1.9)
(1.10)
(1.11)
x2 + iy2 ,
x1 = x 2 ,
y1 = y 2
=
=
(x1 + x2 ) + i(y1 + y2 )
(x1 x2 y1 y2 ) + i(x1 y2 + x2 y1 )
(1.12)
(1.13)
(1.14)
(1.15)
Al n
umero x en (1.15) se le conoce como la parte real del n
umero complejo z y a y como la parte
imaginaria y se representan de la siguiente manera
x = Re(x + iy) = Re(z),
(1.16)
(1.17)
aib
a2 +b2 .
z
w
z
z z
(1.18)
a+ib
c+id
ac+bd
c2 +d2
+ i bcad
c2 +d2 .
(1.19)
A la expresion
como
(1.20)
x2 + y 2 se le llama m
odulo del n
umero complejo z = x + iy y se representa
|z| = |x + iy| =
p
x2 + y 2 .
(1.21)
Es evidente que |z| 0, y |z| = 0 si y solo si, z = 0. Son validas las siguientes formulas
|z| = |
z |,
(1.22)
z z = |z|2 .
Las cuales se siguen de las definiciones (1.7) y (1.8).
1.2.
z 1 z2 = z 2 z1 .
(1.23)
Asociatividad:
(z1 + z2 ) + z3 = z1 + (z2 + z3 ),
(1.24)
Distributividad:
z1 (z2 + z3 ) = z1 z2 + z1 z3 .
(1.25)
Los n
umeros cero y la unidad en el conjunto de los n
umeros complejos poseen las mismas
propiedades que en los n
umeros reales. Para cualquier n
umero complejo z tienen lugar las igualdades
z + 0 = z,
z 1 = z.
(1.26)
En el conjunto de los n
umeros complejos podemos definir una operacion inversa a la operacion
de la suma. Esta operacion, como siempre, se llama resta. Para cualesquiera dos n
umeros complejos
z1 y z2 existe y ademas es u
nico, un n
umero z que cumple con la condicion:
z + z2 = z1 ,
(1.27)
a este n
umero se le llama diferencia de los n
umeros z1 y z2 y se representa por z1 z2 . En particular,
la diferencia 0 z se representa por z.
Para dos n
umeros complejos z1 = x1 + iy1 y z2 = x2 + iy2 la ecuacion (1.27) tiene una u
nica
solucion z = (x1 x2 ) + i(y1 y2 ). Esto es, de (1.27) tenemos que z es
z = z1 z2 = (x1 + iy1 ) (x2 + iy2 ) = (x1 x2 ) + i(y1 y2 )
(1.28)
z=
z1
.
z2
(1.29)
z|z2 |2 = z1 z2 ,
z=
z1 z2
.
|z2 |2
(1.30)
1
1
(x iy)
x
y
=
=
= 2
i 2
.
z
x + iy
(x + iy)(x iy)
x + y2
x + y2
1.3.
Interpretaci
on Geom
etrica de los N
umeros Complejos.
___
El sistema que consiste de ejes perpendiculares entre si se llama sistema de coordenadas cartesianas. Una vez dado el sistema cartesiano se procede a graficar un n
umero complejo dado z =
(x, y) = x + iy, como el punto P con coordenadas x, y. Entonces, todo n
umero complejo z = x + iy
puede ser representado en el plano XOY (llamado plano complejo o
plano Gausiano) por
cualquiera de los puntos (x, y) o por el vector OP con orgen en el punto (0, 0) y terminal en P (x, y).
x2 + y 2
(1.32)
(1.33)
El argumento de un n
umero complejo se determina hasta un m
ultiplo entero de 2, es decir,
Arg(z) = arg(z) + 2k.
k = 0, 1, 2, ...
(1.34)
(1.35)
y
x2
y2
cos [Arg(z)] = p
x
x2
y2
tg [Arg(z)] =
y
.
x
(1.36)
Dos n
umeros complejos z1 y z2 seran iguales si y solo si, sus modulos son iguales y sus argumentos
son iguales o difieren uno del otro en un m
ultiplo entero de 2, es decir,
|z1 | = |z2 |,
n = 0, 1, 2, ..
(1.37)
Exponenciacion de un n
umero complejo. Si z = x + iy, entonces por el binomio de Newton
tenemos:
z n = (x + iy)n = xn + Cn1 xn1 (iy) + . . . + (iy)n
donde n es un n
umero entero positivo. En las expresiones obtenidas es necesario cambiar las
potencias de i por sus valores
i2 = 1,
i3 = i,
i4 = 1,
i5 = i . . .
y en el caso general,
i4k = 1,
i4k+1 = i,
i4k+2 = 1,
i4k+3 = i
z+
z
2 ,
y = Im(z) =
z
z
2i
z
w
|Re(z)| |z|,
|Im(z)| |z|,
|z 1 |=|z|1
Desigualdad triangular :
|z + w| = |z| + |w|
Ejemplo 1: Demostrar la desigualdad triangular.
Soluci
on: Tenemos
|z + w|2 = (z + w)(z + w) = |z|2 + |w|2 + (z w
+ zw) =
|z|2 + |w|2 + 2Re(z w)
|z|2 + |w|2 + 2|z w|
= |z|2 + |w|2 + 2|z||w| = (|z| + |w|)2 .
(1.38)
1.4.
Forma Polar de un N
umero Complejo.
La utilidad del plano complejo puede incrementarse sustancialmente, obteniendose as un conocimiento mas profundo de la naturaleza de los n
umeros complejos. Esto se hace si ademas de las coordenadas
cartesianas usamos las coordenadas polares , usuales y definidas como
x = cos ,
y = sen .
(1.39)
Luego, de la definicion de n
umero complejo, tenemos
z = x + iy.
(1.40)
(1.41)
x2 + y 2 y = Arg(z).
Ejemplo 1: Representar al n
umero complejo z = 3 + 2i en su forma polar.
Soluci
on: Identificamos x = 3 y y = 2. De la expresion
p
p
Despues
tan =
2
y
= ,
x
3
= tan1
2
3
1.5.
Forma Exponencial de un N
umero Complejo.
Todo n
umero complejo z = x + iy (z 6= 0) puede ser representado en forma exponencial. Para
esto recordemos la formula de Euler
ei = cos + i sen .
(1.42)
donde = |z| =
x2 + y 2 y = Arg(z).
(1.43)
10
Sean z1 y z2 dos n
umeros complejos dados en forma exponencial. Entonces, la multiplicacion de
umero complejo z representado por
z1 = 1 ei1 por z2 = 2 ei2 sera otro n
z = z1 z2 = 1 2 ei(1 +2 ) = ei
= 1 2 ,
= 1 + 2
(1.44)
El cociente de z1 y z2 sera el n
umero complejo dado por
z=
z1
z2
1 ei1
2 ei2
1 i(1 2 )
2 e
= ei ,
1
2 ,
= 1 2
(1.45)
1.6.
Races de los N
umeros Complejos.
w = n z.
(1.46)
Desde luego, este smbolo tiene m
ultiples valores, es decir, n valores. Los n valores de
pueden hallar de la siguiente manera. Representemos a z en su forma polar, entonces
w = [cos() + i sen()].
z se
(1.47)
(1.48)
(1.49)
n = , = n .
(1.50)
.
(1.51)
n = + 2k, = +
n
n
11
n
tanto la w correspondiente a k = 0, etc. Por consiguiente, z, para z 6= 0, tiene n valores distintos,
los cuales vienen dados por la expresion
z=
+2k
n
cos +2k
+
i
sen
n
n
(1.52)
n con centro en el
donde k = 1, 2, ...n 1. Estos n valores estan en una circunferencia de radio
n
orgen, y constituyen los vertices de un polgono regular de n lados. El valor zse obtiene tomando
el valor principal de argz y k = 0 en (1.52) y se llama valor principal de w = n z.
Ejemplo 1: Hallar todos los n
umeros complejos z que satisfacen la relacion
z n1 = z.
Soluci
on: Sea z = ei . Entonces, z = ei . Luego, de acuerdo con la hipotesis
n1 ei(n1) = ei ,
n2 ein = 1.
2k
,
n
= 1.
(k = 0, 1, 2, .., (n 1)).
Entonces, el resultado es
zk = ei(2k/n) ,
1.7.
(k = 0, 1, 2, .., (n 1)).
p
Sea z1 = x1 + iy1 un n
umero complejo diferente de cero, entonces, = |z| = x21 + y12 es la
distancia desde el orgen al punto (x1 , y1 ), en el plano complejo. Si z2 = x2 + iy2 es tambien un
n
umero complejo, entonces, la relacion
|z1 z2 | = |(x1 x2 ) + i(y1 y2 )| =
(x1 x2 )2 + (y1 y2 )2
(1.53)
(1.54)
12
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 = ei
(1.55)
Si a 6= 0 entonces, el centro del circulo |z a| = es a en lugar del orgen. En este caso un punto
en el crculo tiene la forma
z = a + ei
(1.56)
(1.58)
Al representar graficamente este conjunto dibujamos un crculo solido como la frontera para indicar que esos puntos estan incluidos en el disco cerrado.
Sean w1 y w2 dos n
umeros complejos distintos. La ecuacion
|z w1 | = |z w2 |,
(1.59)
puede expresarse como la distancia entre z y w1 debe ser igual a la distancia entre z y w2 .
Ejemplo 3: La ecuacion
|z + 6i| = |z i + 3i|,
(1.60)
se satisface para todos los puntos en el bisector perpendicular del segmento entre (6i) y (13i).
Este es el segmento que conecta a los puntos (0, 6) y (1, 3). Se Puede obtener la ecuacion
est
andar de esta recta como sigue: primero se escribe
|z + 6i|2 = |z 1 + 3i|2 ,
13
o bien
(z + 6i)(
z 6i) = (z 1 + 3i)(
z 1 3i),
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.
Sea z = x + iy entonces
z z = (x iy) (x + iy) = 2iy.
Luego
z z = 2x.
As, la u
ltima ecuacion se convierte en:
6i(2 iy) + 36 = 2x + 3i(2iy) + 10.
12y = 2x + 6y 26.
esta es la recta
1
y = (x + 13).
3
Entonces, la igualdad
|z + 6i| = |z 1 + 3i|,
describe una recta separando el plano en dos conjuntos teniendo esta 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 especifica
todos los puntos z debajo de esta recta.
La recta frontera esta punteada porque los puntos en esta recta no pertenecen a esta region.
Ejemplo 4: Sea la ecuacion
|z|2 + 3Re(z 2 ) = 4,
si z = x + iy, esta ecuacion se transforma en
x2 + y 2 + 3(x2 y 2 ) = 4,
2x2 y 2 = 2.
1.8.
14
En el desarrollo del calculo de funciones complejas, ciertos tipos de conjuntos y puntos seran
importantes. Sea S un conjunto de n
umeros complejos:
Punto interior: Un n
umero complejo z0 es un punto interior de S si existe un disco abierto
alrededor de z0 que contenga solo puntos de S. Esto significa, que para todo n
umero real > 0,
todos los puntos que cumplen la relacion |z z0 | < estan en S.
Entorno: Llamaremos entorno abierto de centro z0 y de radio < al conjunto de puntos del
plano complejo:
z C : |z z0 | <
(1.61)
esto es, el conjunto de puntos interiores a la circunferencia centrada en z0 y de radio . A veces convendra utilizar lo que se conoce como entornos reducidos, es decir, entornos de un punto z 0
en el que excluimos el propio punto z0 . Por otro lado, hablaremos de puntos interiores, exteriores,
frontera, de acumulacion de un subconjunto de los n
umeros complejos como se hace usualmente en
R2 . Por ejemplo, z es un punto interior de S b 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| 5 R.
Los Conjuntos conexos, dominios y regiones: Un conjunto S b C se dice conexo si todo par de
puntos del mismo pueden unirse mediante una linea poligonal 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.9.
Ejercicios Resueltos.
A) ( 2 i) i(1 2i) = 2i
Soluci
on:
2 i
i + 2i2 = 2i
Si i= 1 y
i2 = 1
2 1 1 + 2(1) = 2i
2 1 = 2 1
2i = 2i
B) (2, 3)(2, 1) = (1, 8)
Soluci
on:
(2 3i)(2 + i) = (1 + 8i) 4 + 2i + 6i 3i2 = 1 + 8i
Si i2 = 1 4 + 8i 3(1) = 1 + 8i
4 + 3 + 8i = 1 + 8i 1 + 8i = 1 + 8i
15
1
C) (3, 1)(3, 1)( 15 , 10
) = (2, 1)
Soluci
on:
1
i) = (2 + i) (9 3i + 3i i2 )( 15 +
(3 + i)(3 i)( 15 + 10
2
Si i = 1
1
1
i) = 2 + i
10( 15 + 10
i) = 2 + i
[9 (1)]( 15 + 10
10
10
( 5 + 10 i) = 2 + i 2 + i = 2 + i
D)
1+2i
34i
2i
5i
1
10 i)
=2+i
= 52
Soluci
on:
1+2i 3+4i
3+4i+6i8
= 10i5
34i 3+4i =
9+16
25
2i 5i
10i5
10i5
5i 5i =
25
25
=
52
52
10i5
25
10i510i5
25
10
= 25
= 52
z2 = x 2 + y 2 i
z1 = x 1 + y 1 i
(x2 + y2 i) + (x1 + y1 i)
(x2 + x1 + y2 i + y1 i)
(x2 + x1 ) + (y2 + y1 )i
B) Multiplicacion (z1 z2 = z2 z1 )
Soluci
on:
z1 = x 1 + y 1 i
z2 = x 2 + y 2 i
(x1 + y1 i)(x2 + y2 i)
(x1 x2 + x1 y2 i + y1 jx2 + y1 y2 i2 )
Si i2 = 1
(x1 x2 y1 y2 ) + (x1 y2 + y1 x2 )i
z2 = x 2 + y 2 i
z1 = x 1 + y 1 i
(x2 + y2 i)(x1 + y1 i)
(x2 x1 + x2 y1 i + y2 ix1 + y2 y1 i2 )
Si i2 = 1
(x2 x1 y2 y1 ) + (x2 y1 + y2 x1 )i
z1 = x 1 + y 1 i
z2 = x 2 + y 2 i
z3 = x 3 + y 3 i
(x1 + y1 i + x2 + y2 i) + x3 + y3 i
(x1 + x2 + y1 i + y2 i) + x3 + y3 i
(x1 + x2 ) + (y1 + y2 )i + x3 + y3 i
(x1 + x2 + x3 ) + (y1 + y2 + y3 )i
16
z1 = x 1 + y 1 i
z2 = x 2 + y 2 i
z3 = x 3 + y 3 i
[(x1 + y1 i)(x2 + y2 i)] (x3 + y3 i)
(x1 x2 + x1 y2 i + y1 x2 i + y1 y2 i2 ) (x3 + y3 i)
[(x1 x2 y1 y2 ) + (x1 y2 + y1 x2 )i] (x3 + y3 i)
x 1 x 2 x 3 y 1 y2 x 3 + x 1 y2 x 3 i + y 1 x 2 x 3 i
+x1 x2 y3 i y1 y2 y3 i + x1 y2 y3 i2 + y1 x2 y3 i2
Si i2 = 1
x 1 x 2 x 3 y 1 y2 x 3 + x 1 y2 x 3 i + y 1 x 2 x 3 i
+x1 x2 y3 i y1 y2 y3 i x1 y2 y3 y1 x2 y3
(x1 x2 x3 y1 y2 x3 x1 y2 y3 x2 y1 y3 )+
(x1 y2 x3 + x2 y1 x3 + x1 x2 y3 y1 y2 y3 )i
17
b=b
C)
1
1
z
=z
Soluci
on:
z = a + bi 11 = z1 =z
z
a + bi = a + bi
D) (1)z = z
Soluci
on:
z = a + bi
(1)(a + bi)=(a + bi)
a bi = a bi
E) (2 + i)2 =3 4i
Soluci
on:
(2 + i)(2 + i)=3 4i
(4 + 2i + 2i + i2 )=3 4i
Si i2 = 1
[4 + 4i + (1)]=3 4i (3 + 4i) = 3 4i
3 4i = 3 4i
Despues
3
y
3
= , = tan1
.
x
2
2
Entonces, usando la formula (1.41), tenemos la representacion polar de z = 2 + 3i, esto es
tan() =
z=
3
3
i
h
13 cos tan1
+ 2n + sen tan1
+ 2n .
2
2
donde n=(0, 1, 2, 3, . . .)
B) z = 1 i
Soluci
on: Identificamos x = 1 y y = 1. De la expresion
p
p
tan() =
1
y
=
,
x
1
= tan1
1
1
18
1
i
1
h
+ 2n + sen tan1
+ 2n .
2 cos tan1
1
1
donde n=(0, 1, 2, 3, . . .)
C) z = 2 3 3i
Soluci
on: Identificamos x = 2 3 y y = 3. De la expresion
q
p
2
2
= |z| = x + y = (2 3)2 + (3)2 = 21.
Despues
tan() =
1
y
=
,
x
1
= tan1
3
.
2 3
3
3
h
i
21 cos tan1 + 2n + sen tan1 + 2n .
2 3
2 3
donde n=(0, 1, 2, 3, . . .)
1+ 3i
Soluci
on:
Para el Numerador
z1 = 2 +p
0i
p
2 =
= |z| = x2 + y 2 = (2)2 + (0)
4
0
0
, = tan1 2
tan() = xy = 2
z1 = 4[cos() + sen()]
Para el Denominador
z2 = 1 + 3i
q
p
tan() = xy = 13 , = tan1 13
z2 = 4[cos( 3 ) + sen( 3 ]
Entonces
z = 4[cos()+sen()]
= 1
z = 1+2
3i z = 4[cos( )+sen( ]
2
B) z = ( 3 i)6
Soluci
on:
z1 = 3 i
2
3
tan() =
tan() =
= |z| =
( 3)2 + (1)2 = 4
1
= tan1
19
x2 + y 2 =
1
,
tan() = xy =
3
z1 = 4[cos( 6 ) + sen(
6 ]
z1 = (ei )6 =(2e 6 )6
z1 = 64ei arg(z) =
Arg(z) = = Valor principal
tan() = 3
ciones y cambiar a coordendas rectangulares para comprobar que: i(1 3i)( 3 + i) = 2(1 + 3i).
Soluci
on:
Para: z1 = 0 + i
= |z| =
x2 + y 2 =
(0)2 + (1)2= 1 = 1
tan() = xy = 01 , = tan1
tan() = 2
z1 = (1)[cos( 2 ) + sen( 2 )]
z1 = (ei )=(1)(e 2 )
z1 = e 2 i
1
0
Para: z2 = (1
3i)
q
p
x2 + y 2 = ( 3)2 + (1)2 = 4 = 2
1
1
1
tan() = xy =
,
=
tan
3
3
= |z| =
tan() = 3
z2 = (2)[cos( 3 ) + sen( 3 )]
z2 = (ei )=(2)(e 3 )
z2 = (2)e 3 i
Para: z3 = ( 3 + i)
q
p
x2 + y 2 = ( 3)2 + (1)2 = 4 = 2
tan() = xy = 13 , = tan1 13
= |z| =
tan() = 6
z3 = (2)[cos( 6 ) + sen( 6 )]
z3 = (ei )=(2)(e 6 )
i
z3 = (2)e 6
2i
6i
( 2 3 +
6 )i
(
3 )i
6i
z1 z2 z3 = 2(1 + 3i)
20
p
= 4 = = |z| = x2 + y 2
tan( 3 ) = 1,7320
y = 1,730(x)
si: 16 = x2 + y 2
Sustituir (y)
16 = x2 + ( 3x)2
16 = x2 + 3x2
16 =q
4x2
x = 16
x = (2)
4
Sustituyendo
3(2) = 2 3
x = 2 = y =
x = 2 = y = 3(2) = 2 3
Las
soluciones son:
3) = 2 + 2
3i = 2(1 +
3i) = (A)
(2, 2
(2, 2 3) = 2 2 3i = 2(1 3i) = (B)
Utlizando (A)
Calculando:
z1 z2 = [1 ei(1 +2n) ][2 ei(2 +2n) ] z1 z2 = 1 2 ei(1 +2n2 2n)
z1 z2 = 1 2 ei(1 2 )
Si:
|z1 | |z2 | = 1 2
Para que sean iguales:
ei(1 2 ) = 1
ln[ei(1 2 ) ] = ln(1)
i(1 2 ) = 0
1 = 2
Arg(z1 z2 ) = 1 2 arg(z1 z2 ) = 0 + 2n
1 2 = 2n
donde:
n = (0; 1; 2; 3; . . .)
Soluci
on:
z = ei
[ei ]n = n eni
z = 6 e6i
1
1
z 6 = 86
z=8
1
1
6 = 8 = (8) 6 = 2 2 = 2
n = 2k +
= 0
6 = 2k
donde
k = 0, 1, 2, 3, 4, 5
= k
3
Para
k=0
1 = 0
Para
k=1
2 = 3
Para
k=2
3 = 2
3
Para
k=3
4 =
Para
k=4
5 = 4
3
Para
k=5
6 = 5
3
B) Las raices quintas de 4 + 6i
Soluci
on:
z = ei
[ei ]n = n eni
5 5i
z=
pe
= (4)2 + (6)2
= 16 + 36 = 52
1
5 = 52 = (52) 10
6
= tan1 ( 4 ) = 56,3
n = 2k +
Si: = 56,3
5 = 2k +
donde
k = 0, 1, 2, 3, 4
21
= 2k
5
Para
Para
Para
Para
Para
+ 5
k=0
k=1
k=2
k=3
k=4
1
2
3
4
5
=
=
=
=
=
2(0)+56,3
=11,26
5
2(1)+56,3
=83,26
5
2(2)+56,3
=155,26
5
2(3)+56,3
=227,26
5
2(4)+56,3
=299,26
5
= 1 + 1 = 2
1
3 = 2 = (2) 6
= 4
= tan1 ( 1
1 )
n = 2k +
= 4
3 = 2k +
donde
k = 0, 1, 2
= 2k
3
12
Para
k=0
1 = 8(0)
= 12
12
8(1) 7
Para
k=1
2 =
= 12
12
8(2) 15
Para
k=2
3 =
= 12
12
6[cos(135
) + i sen(135 )]
2
6( 2 + 22 i)
3( 2 + 2i)
3 2 + 3 2i
B) 12(90 )
Soluci
on:
12[cos(90 ) + i sen(90 )]
12[0 + i]
12i
C) 4(315 )
Soluci
on:
22
4[cos(315 ) + i sen(315 )]
4( 12 12 i)
2( 22 22 i)
2 2 2 2i
D) 3e
2i
3
Soluci
on:
2i
) + i sen(120 )]
3e 3 =3[cos(120
3
1
3( 2 2 i)
23 3 2 3 i
Ejemplo 12: Derive a partir del teorema de Moivre las siguientes identidades:
A) cos(2) cos2 () sen2 ()
Soluci
on:
El teorema de Moivre indica que:
[cos() + i sen()]n = cos(n) + i sen(n)
donde:
n = (0; 1; 2; 3; . . .)
[cos() + i sen()]2 =cos2 () + 2i sen() cos() sen2 ()
El teorema de Moivre indica:
[cos() + i sen()]2 = cos(2) + i sen(2)
Entonces:
cos2 () + 2i sen() cos() sen2 () = cos(2) + i sen(2)
cos2 () sen2 () + 2i sen() cos() = cos(2) + i sen(2)
cos2 () sen2 ()=cos(2)
2i sen() cos() = i sen(2)
cos(2) + i sen(2) cos(2) + i sen(2)
B) sen(2) 2 sen() cos()
Soluci
on:
[cos() + i sen()]2 = cos(2) + i sen(2)
cos2 () + i2 sen2 () + 2i sen() cos() = cos(2) + i sen(2)
cos2 () sen2 () = cos(2) 2i sen() cos() + i sen(2)
Si:
cos2 () sen2 () = cos(2)
cos(2) cos(2) + 2i sen() cos() = i sen(2)
Si:
2 sen() cos() = sen(2)
sen(2) sen(2)
C) cos(3) cos3 () 3 cos() sen2 ()
Soluci
on:
El teorema de Moivre indica que:
[cos() + i sen()]n = cos(n) + i sen(n)
3
[cos() + i sen()] =cos(3) + i sen(3)
cos3 () + 3 cos2 () + i sen() + 3i2 cos() sen2 () + i3 sen3 () = cos(3) + i sen()
cos3 () + 3i cos2 () sen() 3 cos() sen2 () i sen3 () = cos(3) + i sen(3)
23
24
cos3 () 3 cos() sen2 () + i[3 cos2 () sen() sen3 ()] = cos(3) + i sen(3)
Si:
3cos2 ()sen() sen3 () = sen(3)
3
cos () 3 cos() sen2 () + i sen(3) = cos(3) + i sen(3)
cos(3) cos3 () 3 cos() sen2 ()
D) sen(3) 3cos2 ()sen() sen3 ()
Soluci
on:
El teorema de Moivre indica que:
[cos() + i sen()]n = cos(n) + i sen(n)
3
[cos() + i sen()] =cos(3) + i sen(3)
cos3 () + 3 cos2 () + i sen() + 3i2 cos() sen2 () + i3 sen3 () = cos(3) + i sen()
cos3 () + 3i cos2 () sen() 3 cos() sen2 () i sen3 () = cos(3) + i sen(3)
Si:
cos3 () 3 cos() sen2 () = cos(3)
2
i[3 cos () sen() sen3 ()] = i sen(3)
3 cos2 () sen() sen3 () sen(3)
tan( 4 ) = xy
tan() = xy
y
1= x
x=y
Si: 2 = x2 + y 2
y
x=y
= 2
Sustituir:
( 2)2 = x2 + (x)2
2 = x 2 + x2
x = 1
Las Soluciones son:
(1, 1) = 1 + i y
(1, 1) = 1 i
n
z = 2ei( 4 + 2 )
donde:
n = (0; 1; 2; 3; . . .)
25
si n
=0
z = 2ei( 4 )
tan() = xy
tan( 4 ) = xy
y
y=x
1= x
Sustituir:
( 2)2 = x2 + (x)2
2 = x 2 + x2
x = 1
Las soluciones son:
(1, 1) = 1 + i y
(1, 1) = 1 i
si n = 1
z = 2ei( 4 + 2 )
y
y
tan() = x
tan( 3
4 )= x
y
y = x
1 = x
Sustituir:
( 2)2 = x2 + (x)2
2 = x 2 + x2
x = 1
Las soluciones son:
(1, 1) = 1 i y
(1, 1) = 1 + i
(1 + i)4 = 4
(1 + i)(1 i)(1 i)(1 + i) = 4
(z + zi)(z zi)(z zi)(z + zi) = 4
Ejemplo 15: Dibujar los n
umeros complejos que satisfacen las siguientes ecuaciones en el plano
complejo:
A) |z 2| + |z + 2| = 5
Soluci
on:
Aplicando:
z = x + iy y agrupando la parte real e imaginaria se obtiene:
|(x 2) + iy| + |(x + 2) + iy| = 5
Aplicando
el modulo y elevando
p
p al cuadrado:
( (x 2)2 + y 2 )2 = [(5)2 (x + 2)2 + y 2 ]2
Se obtiene:
p
(x 2)2 + y 2 = 25 10 (xp+ 2)2 + y 2 + (x + 2)2 + y 2
x2 4x + 4 + y 2 = 25 10 (x + 2)2 + y 2 + x2 + 4x + 4 + y 2
Acomodando:
p
x2 4x + 4 + y 2p
25 x2 4x 4 y 2 = 10 (x + 2)2 + y 2
8x 25 = 10 (x + 2)2 + y 2
Elevando al cuadrado,
p se obtiene:
(8x 25)2 = (10 (x + 2)2 + y 2 )2
64x2 + 400x + 625 = 100(x2 + 4x + 4 + y 2 )
64x2 + 400x + 625 = 100x2 + 400x + 400 + 100y 2
Acomodando:
100x2 64x2 + 400 625 + 100y 2 + 400x 400x
36x2 + 100y 2 = 225
36 2
100 2
225
36 2
2
225
x + 100
225 xq+ 225 y = 225
225 y = 1
5
a = 225
36 = 2 = 2,5
q
225
b = 100
= 15
10 = 1,5
=1
Figura 1.2: Gr
afica de |z 2| + |z + 2| = 5.
B) g(z) > 0
Soluci
on:
g(z) = y > 0
Figura 1.3: Gr
afica de g(z) > 0.
26
27
C) |z 1| > 4
Soluci
on:
|x + iy 1| > 4
1
[(x 1)2 + y 2 ] 2
Elevando al cuadrado
(x 1)2 + y 2 > 16
Comparando con:
x2 + y 2 > r 2
x=1
La solucion es todo el contorno marcado con color gris.
Figura 1.4: Gr
afica de |z 1| > 4.
Ejemplo 16: Dibujar los conjuntos siguientes y determinar cuales son abiertos (y, por tanto
dominios):
A) |z 2 + i| 1
Soluci
on:
B) |2z + 3| > 4
Soluci
on:
C) im(z) = 1
Soluci
on:
1.10.
Ejercicios Propuestos.
8.
(z2 + z3 )(z1 z3 ).
28
9.
10.
11.
12.
13.
29
(1+i)( 3+i)
.
(1i)( 3+i)
Ejemplo 2: Si z1 = 1 i, z2 = 2 + 4i y z3 =
de las siguientes expresiones:
1. z12 + 2z1 3.
2. |2z2 3z1 |2 .
3. z2z1z3 .
4. (z3 z3 )5 .
5. (z1 z2 + z2 z1 ).
2 +1
6. | zz11+z
z2 +i |.
1 z3
7. 2 ( z3 + zz33 ).
z)
Re(z) = (z+
2 .
z)
Im(z) = (z
2i .
Si Re(z1 ) > 0 y Re(z2 ) > 0, entonces Arg(z1 z2 ) = Arg(z1 ) + Arg(z2 ), donde Arg(z1 z2 )
denota el valor principal de arg(z1 z2 ), etc.
arg( zz21 ) = arg(z1 ) arg(z2 ).
3. 2 2 + 2 2i.
4. i.
5. 4.
6. 2
3 2i.
7. 2i.
3
3i
8.
2 2.
Ejemplo 5: Demostrar que:
1 1
1. 2 + i = 5eitg ( 2 ) .
Ejemplo 6: Construir la grafica y expresar en forma rectangular:
5i
1. 2e 4 .
7i
2. 5e 6 .
Ejemplo 7: Representar en la forma trigonometrica los siguientes n
umeros complejos:
1. z = 2 3 3i.
2. z = 1.
3. z = i.
4. z = 1.
5.
6.
7.
8.
z
z
z
z
30
= i.
= 3 2i.
=3+
4 2i.
= 3 + 3 5i.
Ejemplo 8: Encontrar en cada caso todas las races en coordenadas rectangulares y dibujarlas
en un plano:
1
1. (1) 3 .
1
2. (1 + 3i) 2 .
1
3. (16) 4 .
1
4. (8) 6 .
1
4.
5. (8
8 3i)
1
2
6. (2 3 2i) .
1
7. (4 +
4i) 5 .
1
8. (2 + 2 3i) 3 .
2
9. (i) 3 .
1
10. (8i) 3 .
Ejemplo 9: Expresando los factores individuales de la izquierda en forma exponencial, efectuar
las operaciones requeridas y cambiar finalmente a coordenadas rectangulares para probar que:
5i
1. 2+i
= 1 + 2i.
7
2. (1 +
= 8(1 + i).
i) 10
= 211 (1 + 3i).
3. (1 + 3i)
Ejemplo 10: Hallar un valor de arg(z) para:
i
.
1. z = 22i
2. z = ( 3 i).
3. z = 3i.
4. z = 2 + 2i.
5. z = 3 + 2i.
Ejemplo
1. Las
2. Las
3. Las
4. Las
5. Las
6. Las
7. Las
8. Las
9. Las
races cuadradas de (4 2 +
4 2i).
races quintas de (16 + 16 3i).
races sextas de (27i).
12
2. ( 3+i
2 ) .
3. cos(3) 4 cos3 () 3 cos().
4. cos(4) 8 sen4 () 8 sen2 () + 1.
5. sen(3) 3 sen() 4 sen3 ().
31
Captulo 2
Funciones Analticas.
E
2.1.
Funciones Complejas.
. Se dice que una funcion w = f (z) esta definida en un dominio D si a cada punto z D le
corresponde uno(univaluada) o varios(multivaluada) valores de w. Podemos tambien decir, que la
funcion w = f (z) transporta los puntos del plano z en puntos del plano complejo w.
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 especificando
dos funciones de valores reales u y v de las variables x y y.
u = u(x, y),
v = v(x, y).
(2.1)
Sea
z = x + iy,
(2.2)
(2.3)
(2.4)
donde
u(x, y) = Ref (z) = Ref (x + iy),
(2.5)
Por lo tanto, a una funcion compleja la podemos considerar como un par de funciones reales de
dos variables reales.
32
33
v(x, y) = 2xy.
Ejemplo 2: Sea la funcion compleja f (z) = z1 , z 6= 0. Hallar las funciones reales u(x, y) y v(x, y).
Soluci
on: Tenemos que z = x + iy, entonces
f (x + iy) =
(x iy)
x
y
1
=
= 2
i 2
.
x + iy
(x + iy)(x iy)
x + y2
x + y2
x
,
x2 + y 2
v(x, y) =
y
.
x2 + y 2
x iy
(x iy)(x iy)
x2 y 2
2xy
=
= 2
i 2
.
x + iy
(x + iy)(x iy)
x + y2
x + y2
x2 y 2
,
x2 + y 2
v(x, y) =
2xy
x2 + y 2
De donde podemos concluir que las partes reales vienen dadas por las expresiones
u(x, y) = (x3 3xy 2 y),
2.2.
La funcion z = f (t), en la que z = x + iy, mientras que t es una variable real, se representa por
puntos z que, al variar t, forman una cierta curva. Las ecuaciones parametricas de esta curva son:
x = x(t), y = y(t); la ecuacion en forma compleja es: z = f (t). La siguientes figuras muestan algunas
curvas en su forma compleja:
1.
34
Lnea Recta:
A) Que pasa por el punto x1 y forma con el eje 0x el angulo .
B) Que pasa por dos puntos x1 y x2
Su ecuacion es: z = x1 + te y z = z1 + t(z2 + z1 ).
y
z2
z1
z1
A)
x
B)
Circunferenca:
A) De radio r con centro en el origen.
B) De radio r con centro en el punto z1
Su ecuacion es: z = ret y z = z1 + ret .
y
y
r
Z1
B)
A)
Hiperbola:
A) En forma canonica.
x2
y2
=1
a2
b2
Su ecuacion es: z = (a) cosh(t) + i(b) senh(t) y z = cet + cet .
(2.6)
35
a + ib
2
c=
a ib
2
b
a
x
Elipse:
A) En forma canonica.
y2
x2
+ 2 =1
2
a
b
Su ecuacion es: z = (a) cos(t) + i(b) sen(t) y z = cet + det .
donde:
a+b
2
es decir, son n
umeros reales arbitrarios.
c=
d=
(2.7)
ab
2
b
0
(2.8)
36
donde:
c y d son n
umeros complejos arbitrarios que determinan la longitud y la rotacion de los ejes
respectivamente.
y
Z1
Espiral Logartmica:
z = aebt
(2.9)
donde a y b son n
umeros complejos arbitrarios.
y
2.3.
Mapeos.
v = (x, y)
(2.10)
37
otras), el campo de valores w es el conjunto de varios planos, colocados uno sobre otro; cada valor
de la funcion se representa por un punto situado en uno de los planos. Estos planos estan unidos
entre si a lo largo de ciertas lneas y forman la llamada superficie de Riemann o de varias hojas.
Transformandose cada punto z1 en un punto correspondiente w1 ; las figuras geometricas (curvas,
regiones) del plano z se convierten en el plano w en otras. La curva x = x(t), y = y(t) se transforma
en la curva u = u[x(t), y(t)]; v = [x(t), y(t)], donde (t es un parametro).
Las lneas de coordenadas y = c se transforman en las lneas u = u(x, c) y v = v(x, c), donde
x es un parametro; las lneas de coordenadas x = c1 se transforman en las lneas u = u(c1 , y) y
v = v(c1 , y), donde (y es un parametro).
Ejemplo 1: Si u = 2x + y y v = x + 2y, ver figura (2.7), encontrar su transformacion.
2.4.
38
(2.11)
|f (z) L| < ,
(2.12)
0 < |z z0 | < .
(2.13)
En otras palabras, dado un disco D de radio alrededor de L, se debe hallar un disco abierto
D de radio alrededor de z0 de tal manera que cada punto en D , excepto el mismo z0 S, sea
trasladado por la funcion a D .
Aunque en la definicion no se pide que f (z0 ) este definida, s se requiere que haya puntos arbitrariamente cercanos a z0 en los cuales f (z0 ) esta definida. Esto lo hemos asegurado haciendo que
z0 sea un punto lmite en S. No tiene sentido hablar de lmite de f (z), conforme z z 0 , si f (z) no
esta definida para z z0 .
Supongamos que
lm f (z),
(2.14)
(2.15)
z0 = x0 + iy0 ,
(2.16)
lm f (z),
(2.17)
zz0
donde
existe y
entonces el
zz0
xx0 ,yy0
u(x, y),
lm
xx0 ,yy0
v(x, y)
(2.18)
Ademas
lm f (z) =
zz0
lm
xx0 ,yy0
u(x, y) + i
lm
xx0 ,yy0
v(x, y).
(2.19)
Muchos teoremas sobre lmites en el calculo de variable real tambien son validos para funciones
de variable compleja.
Supongamos que los lmites
lm f (z) = L,
zz0
lm g(z) = K,
zz0
(2.20)
39
existen. Entonces
lm [f (z) + g(z)]
L + K.
lm [f (z) g(z)]
L K.
lm cf (z)
cL,
lm [f (z)g(z)]
LK.
f (z)
g(z)
L
.
K
zz0
zz0
zz0
zz0
lm
zz0
c.
(2.21)
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 g(x)
xa
zz0
zz0
40
zz0
1
si y solo si lm [ ] = 0.
zz0 z
lm [f (z)] = w0 .
z
1
si y solo si lm f [ ] = w0 .
z0
z
lm [f (z)] = .
z
1
si y solo si lm [ 1 ]
z0
0.
(2.22)
Ejemplo 1: Demostrar y obtener los siguientes lmites:
lmz
4z 2
(z1)2
=4
Soluci
on:
4z 2
= lm
2
z
z z 2z + 1
lm
lmz1 =
1
(z1)3
z2
z2
4z 2
z2
1
2z
z2 + z2
=4
Soluci
on:
1
1
= lm 3
= lm
2
2
z1 (z 1)(z 2z + 1)
z1 (z 3z + 3z 1)
z1
lm
1
1
1
1
3
1
3
1
1
1
1
=
0
zi
Soluci
on:
f (i) = (i)2 + 2(i) = i2 + 2i = 1 + 2i
1 + 2i 1 + 2i
1
z3
z3
z3
3z 2
z3
3z
z3
1
z3
lmzi
41
2z+i
z+1
Soluci
on:
i
2z
z + z
z0 z + 1
z
z
lm
lmz2i
=2
z2i
z 4 16
Soluci
on: Aplicando la Regla de LHopital
d
1
1
1
1
i
1
lm
=
=
=
= (i) =
dz z2i 4z 3
4(2i)3
4(8i3 )
32(i)
32
32
lmz2i (iz 4 + 3z 2 10i)
Soluci
on: Aplicando el lmite
[i(2i)4 + 3(2i)2 10i] = 16i4 + 3(4)i2 10i = 16i 10i 12 = 12 + 6i
lm
ze
i
4
z2
z 4 +z+1
Soluci
on: Aplicando el lmite
i
2
cos( 2 ) + i sen( 2 )
cos() + i sen() + cos( 4 ) + sen( 4 ) + 1
ei + e + 1
i
i
2i 1 i
2i(1 i)
2
2
2
=
=
(i i ) =
(1 + i)
= 1
=
+ 1 i
1+i 1i
1 i2
2
2
+ 12 i + 1
2
2
e
i
4
1 +
lmz 2i
1
2
(2z3)(4z+1)
(iz1)2
Soluci
on: Aplicando el lmite
[2( 2i ) 3][4( 2i ) + i]
(i 3)(3i)
3i2 9i
36
4
12
(i 3)(2i + i)
=
=
(1) i = 4i
=
=
9
1
3 2
i
2
2
9
9
3
[ 2 1]
( 2 )
[i( 2 ) 1]
4
2.5.
42
(2.23)
En otras palabras, se dice que una funcion f (z) es continua en un conjunto S si f (z) es continua
en cada punto del conjunto S. En particular, si f (z) es continua en todo punto z para el cual f (z)
esta definida, entonces f (z) es una funcion continua.
Una funcion continua de variable compleja f (z) = u(x, y) + iv(x, y) es continua en el punto
z0 = x0 + iy0 si y solo si, sus partes reales e imaginarias u(x, y) y v(x, y) son continuas en el punto
(x0 , y0 ) en x y y simultaneamente.
Una funcion f (z) de variable compleja z se dice que es continua en un dominio D si esta es
continua en cada punto del dominio D.
Cualquier polinomio es continuo para todo z, cualquier funcion racional(cociente de polinomios)
es continua si su denominador es diferente de cero. Las funciones trigonometricas complejas y exponenciales tambien son continuas.
Si f (z) es continua en z0 , tambien lo sera |f (z)|. Ya que, conforme se elige z mas cerca de z0 ,
f (z) llega a estar mas cerca de f (z0 ), entonces es logico que |f (z)| se aproxime a |f (z0 )|.
2.6.
Sea w = f (z) una funcion definida en un dominio D del plano complejo z. Sean z y z + z dos
puntos en el dominio D. Introduzcamos las notaciones
w = f (z + z) f (z),
z = x + iy
(2.24)
mite finito
Una funcion w = f (z) es diferenciable en el punto z D si la relacion w
z tiene un l
cuando z 0 de forma arbitraria. A este lmite, si existe, se le conoce como la derivada de la
funcion f (z) y se representa como f 0 (z), o bien, como
w0 = f 0 (z) = lmz0
w
z
= lmz0
f (z+z)f (z)
z
(2.25)
Por otro lado, si z = x + iy y w = f (z) = u(x, y) + iv(x, y), entonces en cada punto donde f (z)
es diferenciable, tenemos
u
x
v
y ,
u
y
v
= x
(2.26)
43
u
x
v
+ i x
=
v
y
i u
y =
u
x
i u
y =
v
y
v
+ i x
(2.27)
f 0 (z) = lm
z D.
f 0 (z) = lm
df
dz
dg dw
dw dz ,
regla de la cadena.
donde estamos suponiendo que las derivadas de las funciones f (z) y g(z) existen.
2.6.1.
d z
dz e
= ez
d z
dz a
= az ln(a)
d
dz
sen(z) = cos(z)
d
dz
cos(z) = sen(z)
d
dz
d
dz
d
dz
d
dz
d
dz
loge (z) =
d
dz
d
dz
loga (z) =
loga e
z
d
dz
sen1 z =
1
1z 2
d
dz
cos1 z =
1
1z 2
d
dz
tan1 z =
1
1+z 2
d
dz
cot1 z =
1
1+z 2
d
dz
sec1 z =
1
z z 2 1
d
dz
csc1 z =
1
z z 2 1
d
dz
senh(z) = cosh(z)
d
dz
cosh(z) = senh(z)
d
dz
d
dz
ln(z) =
1
z
d
dz sech(z)
= sech(z) tanh(z)
d
dz csch(z)
= csch(z) coth(z)
d
dz
senh1 z =
1
1+z 2
d
dz
cosh1 z =
1
z 2 1
d
dz
tanh1 z =
1
1z 2
44
d
dz
coth1 z =
45
1
1z 2
d
1
z
dz sech
1
z 1z 2
d
1
z
dz csch
1
z z 2 +1
Demostraci
on: Sabemos que
f (z + h) f (z )
0
0
f 0 (z0 ) = 0.
h0
h
lm
Sea
(h) =
f (z0 + h) f (z0 )
f 0 (z0 ).
h
(2.28)
(2.29)
(2.30)
(2.31)
lm f (z0 + h) = f (z0 ).
(2.32)
h0
Lo cual a su vez, implica que limzz0 f (z) = f (z0 ). Por lo tanto, f (z) es continua en z0 .
Ejemplo 4: Sea la funcion compleja f (z) = z 3 , donde z = x + iy, entonces
f (x + iy) = (x + iy)3 = x3 + 3ix2 y 3xy 2 + iy 3 = x3 3xy 2 + i(3x2 y y 3 ).
De donde podemos identificar las funciones reales
u(x, y) = x3 3xy 2 ,
v(x, y) = 3x2 y y 3 .
v
= 6xy.
x
46
v
u
+i
= 3x2 3y 2 + 6ixy = 3(x2 y 2 + 2ixy) = 3z 2 .
x
x
De esta forma hemos obtenido una manera mas de calcular las derivadas de un funcion compleja.
Las condiciones de Cauchy-Riemann constituyen una condicion necesaria para que f (z) sea diferenciable en un punto. Si estas condiciones no se satisfacen, entonces f 0 (z) no existe en ese punto.
Ejemplo 5: Sea la funcion compleja f (z) = ez , donde z = x + iy. Hallar su derivada.
Soluci
on: Escribamos la funcion f (z) = ez de la siguiente manera
f (z) = ez = ex+iy = ex eiy = ex cos(y) + iex sen(y).
De donde, tenemos las funciones reales
u(x, y) = ex cos(y),
v(x, y) = ex sen(y).
Veamos si las condiciones de Cauchy-Riemann se cumplen. Para esto, derivamos las expresiones,
obteniendo
u
= ex cos(y),
x
v
= ex sen(y),
x
v
= ex cos(y),
y
u
= ex sen(y).
y
Como podemos ver, las condiciones se cumplen para todos los valores de x y y. Finalmente,
obtenemos
u
v
f 0 (z) =
+i
= ex cos(y) + iex sen(y) = ex eiy = ex+iy = ez .
x
x
Ejemplo 6: Sea la funcion f (z) = z2 . Hallar los puntos en los cuales la funcion dada es diferenciable.
Soluci
on: Sabemos que z = x iy, entonces
f (z) = (x iy)2 = x2 y 2 2ixy.
De donde
u(x, y) = x2 y 2 ,
v(x, y) = 2xy.
Veamos si se cumplen las condiciones de Cauchy-Riemann. Para esto derivamos estas expresiones
respecto a x y a y, obtenemos
u
= 2x,
x
u
= 2y,
y
v
= 2y,
x
u
v
= .
y
x
v
= 2x.
y
47
Como podemos ver, las condiciones de Cauchy-Riemann se cumplen solo para el caso en que
x = y = 0, por lo tanto, la funcion f (z) = z2 es diferenciable solo en el punto z = 0.
Ejemplo 7: Sea la funcion f (z) = z. Hallar los puntos en los cuales esta funcion es diferenciable.
Soluci
on: Tenemos que z = x iy, entonces
f (z) = x iy.
De donde
u(x, y) = x,
v(x, y) = y.
v
= 1.
y
(2.33)
1 v
,
u
= 1
(2.34)
Por lo tanto, la derivada de la funcion f (z) en estas coordenadas viene dada por la expresion
f 0 (z) =
+ i v
1
z
u
i
(2.35)
z es diferenciable.
Soluci
on: Escribamos a z en su forma exponencial, esto es como z = e i . Luego
f (z) = ei 2 = cos + i sen
.
2
2
Identificamos a las funciones reales
u(, ) =
cos
2
v(, ) =
sen
2
48
v
.
=
cos
2
2
1
u
,
= cos
2
2
Es facil ver que las condiciones de Cauchy-Riemann se cumplen. Entonces, la funcion f (z) =
es diferenciable. Usando la formula (2.35), obtenemos
i ei 2
v h 1
i
1
u
+i
=
+ sen
=
= .
f (z) = f (z) =
cos
z
z 2
2
2
2
2ei
2 z
0
2.7.
Funciones Analticas.
Si la derivada de f 0 existe en todo punto z de una region R, entonces diremos que f (z) es analitica
en R y nos referiremos a ella como una funcion analitica en R. Los terminos regular y holomorfa son
usados algunas veces como sinonimos de analitica.
Una funcion f (z) es llama analitica en un punto z0 , si existe una vecindad |z z0 | < tal que
en cada punto de ella f 0 (z) exista.
2.8.
Funciones Arm
onicas Conjugadas.
Sea f (z) = u(x, y) + iv(x, y) una funcion diferenciable en una region D y, ademas, las funciones
u(x, y) y v(x, y) tienen derivadas parciales continuas hasta el segundo orden. Entonces, diferenciando
la primer ecuacion respecto a x y la segunda respecto a y, obtenemos:
2u
2v
=
,
x2
xy
2u
2v
=
.
y 2
yx
2v
yx
2v
xy ,
(2.36)
2u
x2
2u
y 2
=0
(2.37)
2v
x2
2v
y 2
=0
(2.38)
La funcion real u(x, y), la cual tiene en una region D derivadas parciales continuas de segundo
orden y que satisfacen la ecuacion (2.37), se llama funci
on arm
onica en D, y la ecuacion (2.37) se
llama ecuaci
on de Laplace.
49
Las partes reales e imaginarias de la funcion f (z) = u(x, y) + iv(x, y), diferenciables en D seran
funciones arm
onicas en D.
Las funciones armonicas u(x, y) y v(x, y) se relacionan entre s por las condiciones de CauchyRiemann, se llaman conjugadas.
Si en la region D estan dadas dos funciones armonicas 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.8.1. Para que la funci
on f (z) = u(x, y) + iv(x, y) sea diferenciable en D es necesario
y suficiente que las funciones u(x, y) y v(x, y) sean arm
onicas en D.
Teorema 2.8.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 define con exactitud hasta una constante arbitraria.
u
= ey sen(x)
x
u
= ey cos(x)
y
2u
= ey cos(x)
x2
2u
= ey cos(x)
y 2
v
= ey cos(x)
x
v
= ey sen(x)
y
Sustituyendo
ey cos(x) + ey cos(x) = 0
ey sen(x) + ey sen(x) = 0
Con lo cual se comprueba que la funcion es armonica.
Ejemplo 2: Demostrar que la funcion f (z) = z 2 es armonica.
2v
= ey sen(x)
x2
2v
= ey sen(x)
y 2
50
Soluci
on: Primero aplicamos la igualdad z = x + iy, y para que sea armonica debe cumplir las
ecuaciones de Laplace.
f (z) = z 2 u = x2 y 2 v = 2xy
Obteniendo las derivadas parciales para u se obtiene:
u = x2 y 2
2u
=2
x2
u
= 2x
x
2u
= 2
y 2
u
= 2y
y
Sustituyendo
22=0
Obteniendo las derivadas parciales para v se obtiene:
v = 2xy
2v
=0
x2
v
= 2y
x
2v
=0
y 2
v
= 2x
y
Sustituyendo
00=0
Con lo cual se comprueba que la funcion es armonica.
2.9.
Ejercicios Resueltos.
+1
A) limzi zz6 +1
Soluci
on: Factorizando el denominador
2
z +1
1
limzi (z2 +1)(z
4 z 2 +1) = limzi z 4 z 2 +1 =
1
(i)4 (i)2 +1
1
1(1)+1
1
3
2
B) limz1+i { z2z1i
2z+2 }
Soluci
on: Agrupando y aplicando la regla de LHopital
2
2[(z1)i](1)
(z1)i
d
dz limz1+i 2(z 2 2z+2)(2z2) = limz1+i (z 2 2z+2)(2z2)
(z1)i
1
d
limz1+i 2z3 4z2(z1)i
+4z2z 2 +4z4 = limz1+i 2z 3 6z 2 +8z4 = dz limz1+i 6z 2 12z+8
1
1
1
1
6(1+i)2 12(1+i)+8 = 6(1+2i1)12(1+i)+8 = 12i1212i+8 = 4
limz1+i (z[(z1)i]
2 2z+2)2 =
51
10
+1
C) limzi zz6 +1
Soluci
on: Aplicando la regla de LHopital
10z 9
d
dz limzi 6z 5
= 53 limzi (z 4 ) = 35 (i)4 =
5
3
2iz1
D) limzi zz4 +2z
2 +1
Soluci
on: Aplicando la regla de LHopital
d
2z2i
dz limzi 4z 3 +4z
2
d
dz limzi 12z 2 +4
2
12(i)2 +4
2
12i2 +4
2
12+4
= 28 = 41
E) limz0 zsen(z)
z3
Soluci
on: Aplicando la regla de LHopital
1cos(z)
d
dz limz0
3z 2
sen(z)
d
dz limz0 6z
cos(z)
d
dz limz0 6
cos(0)
6
1
6
Ejemplo 2: Separar cada una de las siguientes funciones en la parte real e imaginaria de:
A) f (z) = 2z 2 3iz
Soluci
on: Si z = x + iy
f (z) = 2(x + iy)2 3i(x + iy) = 2(x2 + 2xyi + y 2 i2 ) 3ix 3i2 y = 2x2 + 4xyi 2y 2 3ix + 3y
u = 2x2 2y 2 + 3y
B) f (z) = z +
v = 4xy 3x
1
z
Soluci
on: Si z = x + iy
(x+iy)2 +1
x+iy
x3 +2x2 yiy 2 x+xx2 iy+2xy 2 +iy 3 iy
x2 +y 2
1
=
f (z) = x+iy + x+iy
u=
C) f (z) =
x3 + xy 2 + x
x2 + y 2
=
=
3
2
2
2
x2 +2xyiy 2 +1 xiy
iy2xy 2 i2 +iy 3 iy
xiy = x +2x yiy x+xx
x+iy
x2 i2 y 2
x3 +x2 yi+xy 2 +x+iy 3 iy
x2 +y 2
v=
x2 y + y 3 y
x2 + y 2
1z
1+z
Soluci
on: Si z = x + iy
1xiy
1+x+iy
(1x)iy
(1+x)+iy
u=
1+xiy
1+xiy
1 x2 y 2
(1 + x)2 + y 2
(1x)(1+x)(1x)yi(1+x)yi+y 2 i2
(1+x)2 y 2 i2
1+xxx2 yi+xyiyixyiy 2
(1+x)2 +y 2
v=
2y
(1 + x)2 + y 2
52
D) f (z) = z 3
Soluci
on: Si z = x + iy
f (z) = (x + iy)3 = x3 + 3x2 (iy) + 3x(iy)2 + (iy)3 = x3 + 3ix2 y + 3xy 2 i2 + y 3 i3 =
x3 + 3x2 yi 3xy 2 y 3 i
u = x3 3xy 2
E) f (z) =
v = 3x2 y y 3
1
1z
Soluci
on: Si z = x + iy
f (z) =
1
1xyi
u=
1
(1x)yi
(1x)+yi
(1x)+yi
1xyi
(1x)2 +(1x)yi(1x)yi+y 2
1x
(1 x)2 + y 2
1x+yi
(1x)2 +y 2
v=
y
(1 x)2 + y 2
F) f (z) = e3z
Soluci
on: Si z = x + iy
f (z) = e3(x+iy) = e3x+3yi = e3x e3yi = e3x [cos(3y) + i sen(3y)]
u = e3x cos(3y)
v = e3x sen(3y)
G) f (z) = ln(z)
Soluci
on: Si z = x + iy
ln(z) = ln(ei ) = ln() + i = ln
u=
1
ln(x2 + y 2 )
2
x2 + y 2 + i[tan1 ( xy )]
y
y
v = tan1 ( )
x
Ejemplo 3: Utilizando la definicion, encontrar la derivada de cada funcion en los puntos indicados.
A) f (z) = 3z 2 + 4iz 5 + i en z = 2
Soluci
on:
[3(z0 +z)2 +4i(z0 +z)5+i](3z02 +4iz0 5+i)
z
2
3z02 +6z0 z+z 2 +4iz0 +4iz5+i3z02 4iz0 +5i
+4iz
limz 0
= limz 0 6z0 z+z
=
z
z
(z0 )
= limz 0
f 0 (z) = limz 0 f (z0 +z)f
z
53
= 6z + 4i
limz 0 (6z0 +z+4i)z
z
Cuando z = 2
f 0 (z) = f 0 (z)|z=2 = 6(2) + 4i = 12 + 4i
B) f (z) =
2zi
z+2i
en z = i
Soluci
on:
f 0 (z) = limz 0
2(z0 +z)i
2z0 i
z0 +z+2i z0 +2i
= limz 0
z
z
2z02 +2zz0 iz0 +4z0 i+4zi2i2 (2z02 +2z0 z+4z0 iz0 iiz2i2 )
limz 0
z(z0 +z+2i)(z0 +2i)
5i
5i
=
limz 0 (z0 +z+2i)(z
(z0 +2i)2
0 +2i)
Cuando z = i
f 0 (z) = f 0 (z)|z=i =
5i
(i+2i)2
5i
(i)2
4zi+zi
= limz 0 z(z0 +z+2i)(z
0 +2i)
= 5i
Ejemplo 4: Utilizando las reglas de derivacion, encontrar la derivada de cada una de las siguientes funciones:
A) (1 + 4i)z 2 3z 2
Soluci
on:
d
dz [(1
B) (2z + 3i)(z i)
Soluci
on:
d
dz (2z
C)
(2zi)
(z+2i)
Soluci
on:
d (2zi)
dz (z+2i)
(z+2i)(2)(2zi)(1)
(z+2i)2
2z+4i2z+i
(z+2i)2
5i
(z+2i)2
D) (2zi + 1)2
Soluci
on:
d
dz [(2zi
E) (zi 1)3
54
Soluci
on:
d
dz [(zi
F) tan3 (z 2 3z + 4i)
Soluci
on:
d
3 2
dz [tan (z
ln[cot1 (z 2 )] =
cot1 (z 2 )
cot1 (z 2 )
d
dz
1
2z
cot1 (z 2 ) ( 1+z 4 )
2z
= (1+z 4 ) cot
1 (z 2 )
cos(z)+sen(z)
1
{1[sen(z)cos(z)]2 } 2
sen(z) cos(z)
cos(z)+sen(z)
1
[sen(2z)] 2
(z+2i)(1z)
2z1
en z = i
Soluci
on:
d (z+2i)(1z)
] = (2z1)[(z+2i)(1)+(iz)(1)](z+2i)(iz)(2)
= (2z1)(z2i+iz)(z+2i)(2i2z)
dz [
2z1
(2z1)2
(2z1)2
(2z1)(2zi)(z+2i)(2i2z)
4z 2 2zi+2z+i2zi+2z 2 +4+4zi
2z 2 +2z+i+4
=
=
(2z1)2
(2z1)2
(2z1)2
Evaluando en z = i
d (z+2i)(1z)
]|z=i =
dz [
2z1
30+15i
6
3
=
25
5 + 5i
2(i2 )+2i+i+4
(2i1)2
6+3i
(2i1)2
6+3i
4+4i+1
B) {z + (z 2 + 1)2 }2 en z = 1 + i
Soluci
on:
d
dz {z
Evaluando en z = 1 + i
6+3i
34i
3+4i
3+4i
18+24i9i12
9+16
55
d
2
2
2
dz 2[z+(z +1) ][1+2(z +1)(2z)]|z=1+i
2
d
dz
Soluci
on:
d
1
dz [ cos(z) ]
sen(z)
cos2 (z)
sen(z)
cos(z)
1
cos(z)
= tan(z) sec(z)
d
dz
Soluci
on:
sen(z)[ sen(z)]cos(z) cos(z)
d cos(z)
dz [ sen(z) ] =
sen2 (z)
sen12 (z) = csc2 (z)
d
dz (1
+ z 2 ) 2 = 3z(1 + z 2 ) 2
Soluci
on:
d
dz (1
+ z 2 ) 2 = 32 (1 + z 2 ) 2 (2z) = 3z(1 + z 2 ) 2
1
3z(1 + z 2 ) 2 3z(1 + z 2 ) 2
Ejemplo 7: Verificar que las partes real e imaginaria de las siguientes funciones satisfacen las
ecuaciones de Cauchy-Riemann y deducir entonces si cada funcion es analitica.
A) f (z) = z 2 + 5iz + 3 i
Soluci
on: si z = x + iy
f (z) = (x + iy)2 + 5i(x + iy) + 3 1 = x2 + 2xyi y 2 + 5xi 5y + 3 i =
(x2 y 2 5y + 3) + (2xy + 5x 1)i
u = x2 y 2 5y + 3
v = 2xy + 5x 1
v
= 2x
y
=
=
u
= (2y 5)
y
56
2u
y 2
2v
x2
2v
y 2
=
=
0
0
=
=
0
0
v = ex [y cos(y)x sen(y)]
v
y
v
x
x
u
sen(y) + ex (y) cos(y)
y = [e
ex (x) sen(y)]
Las ecuaciones de Cauchy-Riemann se cumplen, para ver si la funcion es analitica deben
cumplirse las ecuaciones de Laplace.
2u
x2
2u
y 2
ex (x) cos(y) = 0
ex cos(y) + (x)ex cos(y) + ex (y) sen(y) ex (y) sen(y) + ex cos(y) + ex (x) cos(y) = 0
0
2v
x2
2v
y 2
0
=
57
(y) cos(y)ex (x) sen(y)ex + sen(y) e+ (x)ex sen(y) ex (y) cos(y) ex sen(y) = 0
0
z
z 2 +9z+1
Soluci
on: Si z = x + iy
f (z) =
g(z)
h(z)
Para g(z) = x + iy
u=1
v=1
=1
v
y
=1
Comprobando:
11
v
x
=0
u
y = 0
Comprobando:
00
Las ecuaciones de Cauchy-Riemann se cumplen en cualquier punto.
Aplicando las Ecuaciones de Laplace.
2u
x2
=0
2u
y 2
=0
Comprobando:
0+0=0
v 2
x2
=0
v
y
2 = 0
Comprobando:
0+0=0
Como las ecuaciones de Cauchy-Riemann y Laplace se cumplen la funcion es analitica en
cualquier punto.
58
v = 2xy + 9y
= 2x + 9
v
y
= 2x + 9
Comprobando:
2x + 9 2x + 9
v
x
= 2y
u
y = (2y) = 2y
Comprobando:
2y 2y
Las ecuaciones de Cauchy-Riemann se cumplen en cualquier punto.
Aplicando las Ecuaciones de Laplace.
2u
x2
=2
2u
y 2
= 2
Comprobando:
22=0
v 2
x2
=0
v
y
2 = 0
Comprobando:
0+0=0
Como las ecuaciones de Cauchy-Riemann y Laplace se cumplen la funcion es analitica.
Para encontrar el punto donde la funcion no es analitica se resuelve la ecuacion cuadratica
ubicada en el denominador.
b (b)2 4(a)(c)
z1,2 =
z1,2 = 9 2 814
2(a)
La funcion es analitica en todo el dominio de z menos en:
z1,2 =
9 77
2
B) f (z) = (z)2 + 2z
Soluci
on: Si z = x + iy
f (z) = (x + iy)2 + 2(x + iy) = x2 y 2 + 2xyi + 2x + 2yi = x2 + 2x y 2 + i(2y + 2xy)
59
u = x2 + 2x y 2
v = 2y + 2xy
= 2x + 2
v
y
= 2x + 2
Comprobando:
2x + 2 2x + 2
v
x
= 2y
u
y = 2y
Comprobando:
2y 2y
Las ecuaciones de Cauchy-Riemann se cumplen en cualquier punto.
Aplicando las Ecuaciones de Laplace.
2u
x2
=2
2u
y 2
= 2
Comprobando:
22=0
v 2
x2
=0
v
y
2 = 0
Comprobando:
0+0=0
Como las ecuaciones de Cauchy-Riemann y Laplace se cumplen la funcion es analitica en
cualquier punto.
1
z
Soluci
on: Si z = x + iy
f (z) =
1
x+iy
xiy
xiy
u=
=
x2
xiy
x2 +y 2
x
+ y2
v=
x2
y
+ y2
u
x
(x2 +y 2 )(1)x(2x)
(x2 +y 2 )2
60
v
y
= [ (x
+y 2 )(1)y(2y)
]
(x2 +y 2 )2
Comprobando:
x2 +y 2 2x2
(x2 +y 2 )2
2
2
+2y
= x(xy
2 +y 2 )2
x + y 2x2 = x2 y 2 + 2y 2
x2 + y 2 x2 + y 2
v
x
= [ (x
+y 2 )(0)y(2x)
]
(x2 +y 2 )2
u
y =
(x2 +y 2 )(0)x(2y)
(x2 +y 2 )2
Comprobando:
2xy
(x2 +y 2 )2
=
2xy 2xy
2xy
(x2 +y 2 )2
= z 2 = z12
v = y
=1
v
y
= 1
Comprobando:
1 6= 1
v
x
=0
u
y = 0
Comprobando:
00
Como las ecuaciones de Cauchy-Riemann no se cumplen la funcion no es analitica.
C) f (z) = z z
61
Soluci
on: Si z = x + iy
x + iy (x iy)=0+2iy
u=0
v = 2y
=0
v
y
=2
Comprobando:
0 6= 2
v
x
=0
u
y = 0
Comprobando:
00
Como las ecuaciones de Cauchy-Riemann no se cumplen la funcion no es analtica.
Ejemplo 10: Demuestre que la siguiente funcion no es analtica en ning
un punto.
A) f (z) = ey eix
Soluci
on:
f (z) = ey eix = ey [cos(x) + i sen(x)] = ey cos(x) + iey sen(x)
u = ey cos(x)
v = ey sen(x)
= ey sen(x)
v
y
= ey sen(x)
Comprobando:
ey sen(x) 6= ey sen(x)
v
x
= ey cos(x)
y
u
y = e cos(x)
Comprobando:
ey cos(x) 6= ey cos(x)
Como las ecuaciones de Cauchy-Riemann no se cumplen la funcion no es analtica.
Ejemplo 11: Archivo - M que permite calcular las ecuaciones de Cauchy-Riemann, ecuaciones de
Laplace y obtiene la analiticidad de la funcion.
62
Riemann.m
M.I. Jos
e Francisco G
omez Aguilar
>> syms fr fi x y
>> fr = input(0 Introduce la parte real de la funcion: 0 );
>> fi = input(0 Introduce la parte imaginaria de la funcion: 0 );
>> disp(0 Que Desea Calcular?0 )
>> disp(0 1) Ecuaciones de Cauchy-Riemann0 )
>> disp(0 2) Ecuaciones de Laplace0 )
>> disp(0 3) Si la funcion es analitica0 )
>> r = input(Escriba
la Opci
on y de Enter 0 );
>> ux = diff(fr,0 x0 ); uy = diff(fr,0 y0 );
>> vx = diff(fi,0 x0 ); vy = diff(fi,0 y0 );
>> CR1 = simplify(ux-vy); CR1S = simplify(CR1);
>> CR2 = simplify(uy+vx); CR2S = simplify(CR2);
>> uux = diff(ux,0 x0 ); uuy = diff(uy,0 y0 );
>> vvx = diff(vx,0 x0 ); vvy = diff(vy,0 y0 );
>> L1 = simplify(uux+uuy); L1S = simplify(L1);
>> L2 = simplify(vvx+vvy); L2S = simplify(L2);
>> switch r
>> case 1
>> if CR1S==0
>> disp(0 Cumple la primera ecuacion de Cauchy Riemann0 )
>> else
>> disp(0 No cumple la primera ecuacion de Cauchy Riemann0 )
>> end
>> if CR2S==0
>> disp(0 Cumple la segunda ecuacion de Cauchy Riemann0 )
>> else
>> disp(0 No cumple la segunda ecuacion de Cauchy Riemann0 )
>> end
>> case 2
>> if L1S==0
>> disp(0 Cumple la primera ecuacion de Laplace0 )
>> else
>> disp(0 No cumple la primera ecuacion de Laplace0 )
>> end
>> if L2S==0
>> disp(0 Cumple la segunda ecuacion de Laplace0 )
>> else
>> disp(0 No cumple la segunda ecuacion de Laplace0 )
>> end
>> case 3
>> if CR1S==0 & CR2S==0 & L1S==0 & L2S==0
>> disp(0 La funcion es Analitica0 )
>> else
>> disp(0 La funcion no es Analitica0 )
>> end
>> otherwise
>> disp(0 Seleccion no valida0 )
>> end
Tabla 2.1: Archivo M que permite calcular las ecuaciones de Cauchy-Riemann, ecuaciones de Laplace
y obtiene la analiticidad de una funci
on.
2.10.
63
Ejercicios Propuestos.
1
2
d
(z + 2 z) 3 = 31 z 2 (z + 2 z) 3 ( z + 1).
3. dz
d
1
4. dz
senh1 (z) = 1+z
.
2
5.
d
1
(z)
dz csch
= zz12 +1 .
Ejemplo 5: En los siguientes ejercicios hallar u(x, y) y v(x, y) de manera que f (z) = u(x, y) +
iv(x, y), determine los puntos en donde las ecuaciones de Cauchy-Riemann se satisfacen y
determine los puntos en donde la funcion es diferenciable.
1. f (z) = z i.
2. f (z) = |z|.
3. f (z) = i|z|2 .
z
4. f (z) = Re(z)
.
.
5. f (z) = 4z+ z1
6.
f (z) = Im
2z
z+1
1.
2.
3.
4.
5.
6.
7.
8.
9.
64
f (x, y) = x2 + 2x y 2 .
f (x, y) = 2ex cos(y).
x
f (x, y) = x2 +y
2.
y
f (x, y) = x2 +y
.
2
f (x, y) = tan1 xy .
f (x, y) = ln(x2 + y 2 ).
y
x
f (x, y) = x2 +y
2 i x2 +y 2 .
f (x, y) = z.
f (x, y) = x2 y 2 + 2x2 y 2 i.
Ejemplo 7: Pueden las siguientes funciones ser la parte real o imaginaria de una funcion
analtica f (z) = u(x, y) + iv(x, y)?
1. f (x, y) = x2 .
2. f (x, y) = x2 y 2 + 2xy.
3. f (x, y) = ln(x2 + y 2 ).
2
2
4. f (x, y) = (x +1)y
.
2
Ejemplo 8: Determinar donde existe f 0 (z) y calcular f 00 (z) de las siguientes funciones:
1. f (z) = iz + 2.
2. f (z) = ex eyi .
3. f (z) = z 3 .
4. f (z) = z + z + 23 z.
z+1
5. f (z) = z2 +2z+3
.
Ejemplo 9: Determinar si siguientes funciones son analiticas:
1
1. f (z) = (z2 +4)
2.
1
2. f (z) = z2 +4 .
z
3. f (z) = e z1 .
4. f (z) = z 2 + z + 1.
5. f (z) = sen(1 ) .
2
f (z) =
sen(z) 2
7.
8.
9.
10.
f (z) =
f (z) =
f (z) =
f (z) =
11.
12.
f (z) =
f (z) =
13.
14.
cos(z)
z2 .
z
(z 2 +1)2 .
1
(z 2 +1)3 .
1
(z 2 +1)2n .
cos(z)
z .
1
z+4 .
z 2
f (z) = e .
z+3
f (z) = z2 +9z+10
.
15.
f (z) =
6.
3
z2
z2 +2z
z+3 .
Ejemplo 10: Demuestre que las ecuaciones de Cauchy-Riemann en coordenadas polares toman
la forma.
1 v
u
v
u
=
y
= r
r
r
Captulo 3
Funciones Elementales.
E
3.1.
Funciones Polin
omicas y Racionales.
(3.1)
P (z)
Q(z)
(3.2)
con P (z) y Q(z) polinomios, son analticas, salvo, quizas, en los puntos en los que se anule el
denominador.
3.2.
Funciones Exponenciales.
65
66
(3.3)
3.2.1.
Propiedades de la Funci
on Exponencial.
1.
La restriccion a los n
umeros reales es la exponencial real estudiada en calculo.
2.
3.
Para todo z C,
4.
5.
d
z
dz (e )
= ez .
Para todo n
umero complejo z, |ez | = eRe(z) .
7.
Para todo n
umero complejo z, arg(ez ) = Im(z) + 2k, siendo k cualquier n
umero entero.
8.
Ejemplo 1: Demostrar.
A) ez1 ez2 = ez1 +z2
Soluci
on:
ez = ex [cos(y) + i sen(y)] donde z = x + iy. Entonces si z1 = x1 + iy1 y z2 = x2 + iy2
ez1 ez2 = ex1 [cos(y1 ) + i sen(y1 )] ex2 [cos(y2 ) + i sen(y2 )]
ex1 ex2 [cos(y1 ) + i sen(y1 )] [cos(y2 ) + i sen(y2 )]
67
3.3.
Funciones Trigonom
etricas.
(3.4)
eix + eix
.
2
(3.5)
(3.6)
eix eix
.
2i
(3.7)
(3.8)
De forma analoga a las ecuaciones (3.6) y (3.8), para una variable compleja z tenemos
cos(z) =
eiz +eiz
,
2
sen(z) =
eiz eiz
.
2i
(3.9)
cos(x)
ey + ey
2
i sen(x)
68
ey ey i
2
(3.10)
(3.11)
csc(z) =
1
sen(z) ,
sec(z) =
1
cos(z) ,
tan(z) =
sen(z)
cos(z) ,
cot(z) =
cos(z)
sen(z)
(3.12)
Las funciones trigonometricas complejas cumplen las mismas identidades que las funciones trigonometricas de variable real. Estas son;
1.
2.
3.
4.
5.
6.
7.
8.
Las funciones cos(z) y sen(z) son periodicas de periodo 2 y la funcion tan(z) es periodica de
periodo .
Tambien se tiene
| sen(z)|2
=
=
2
sen(x) cosh(y) + i cos(x) senh(y) = sen2 (x) cosh2 (y) + cos2 (x) senh2 (y)
sen2 (x)[1 + senh2 (y)] + [1 sen2 (y)] senh2 (y) = sen2 (x) + senh2 (y).
(3.13)
Hemos obtenido
| sen(z)|2 = sen2 (x) + senh2 (y)
(3.14)
(3.15)
69
sen(z) = 0, y | sen(z)| = 0, de aqu, sen2 (x) + senh2 (y) = 0, para todo x, y. Ademas, sen(x) = 0
y senh(y) = 0 si x = n o y = 0, (donde n es entero). Como, sen(z) = 0, solo cuando z es real y
z = n, (donde n es entero). De manera similar, encontramos que cos(z) = 0 solo cuando z es real
y z = (2n+1)
, (donde n es entero).
2
3.3.1.
1.
La restriccion a los n
umeros reales de las funciones trigonometricas as definidas coinciden
con las conocidas para el caso real.
2.
Para todo n
umero complejo z, se tiene que sen2 (z) + cos2 (z) = 1.
3.
Para cualesquiera n
umeros complejos z1 y z2 se verifica:
sen(z1 z2 ) = sen(z1 ) cos(z2 ) cos(z1 ) sen(z2 )
cos(z1 z2 ) = cos(z1 ) cos(z2 ) sen(z1 ) sen(z2 )
4.
Las funciones sen(z) y cos(z) son enteras, mientras que el resto (secante, cosecante, tangente
y cotangente) son analticas salvo en los puntos en los que se anule el correspondiente denominador.
5.
6.
Si z = x + iy, se tiene:
sen(z) = sen(x) cosh(y) + i cos(x) senh(y)
cos(z) = cos(x) cosh(y) i sen(x) senh(y)
7.
sen(z) = 0 z = k, k Z
cos(z) = 0 z = (2k + 1) 2 , k Z
Ejemplo 1: Demostrar.
70
sen(z1 + z2 ) =
cos(z1 + z2 ) =
C) sen(z) = sen(z)
Soluci
on:
i(z)
i(z)
e
sen(z) = e
2i
sen(z) sen(z)
eiz eiz
2i
= ( e
eiz +eiz
2i
iz
eiz
)
2i
= sen(z)
D) cos(z) = cos(z)
Soluci
on:
i(z)
cos(z) = e
cos(z) cos(z)
+ei(z)
2i
eiz +eiz
2i
= cos(z)
E) tan(z) = tan(z)
Soluci
on:
tan(z) =
3.4.
sen(z)
cos(z)
= sen(z)
cos(z) = tan(z)
Funciones Hiperb
olicas.
Se definen como:
senh(z) =
csch(z) =
1
senh(z)
ez ez
,
2
sech(z) =
cosh(z) =
1
cosh(z) ,
ez +ez
2
tanh(z) =
(3.16)
senh(z)
cosh(z)
(3.17)
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
71
En las tablas siguientes se exponen las expresiones de la parte real e imaginaria, modulo y argumento de las funciones trigonometricas e hiperbolicas de la variable compleja z = x iy.
Funci
on
w = f (x + iy)
sen(x iy)
cos(x iy)
tan(x iy)
senh(x iy)
cosh(x iy)
tanh(x iy)
Parte Real
R(w)
sen(x)cosh(y)
cos(x)cosh(y)
sen(2x)
cos(2x)+cosh(2y)
senh(x)cos(y)
cosh(x)cos(y)
senh(2x)
cosh(2x)+cos(2y)
Parte Imaginaria
I(w)
cos(x)senh(y)
sen(x)senh(y)
senh(2y)
cos(2x)+cosh(2y)
cosh(x)sen(y)
senh(x)sen(y)
senh(2y)
cosh(2x)+cos(2y)
M
odulo
|w|
Argumento
arg(w)
q
sen2 (x) + senh2 (y)
q
cos2 (x) + senh2 (y)
q
senh2 (x) + sen2 (y)
q
senh2 (x) + cos2 (y)
3.4.1.
1.
La restriccion a los n
umeros reales de las funciones hiperbolicas as definidas coinciden con
las conocidas para el caso real.
2.
Para todo n
umero complejo z, se tiene que cosh2 (z) senh2 (z) = 1.
3.
Para cualesquiera n
umeros complejos z1 y z2 se verifica:
senh(z1 z2 ) = senh(z1 ) cosh(z2 ) cosh(z1 ) senh(z2 )
cosh(z1 z2 ) = cosh(z1 ) cosh(z2 ) senh(z1 ) senh(z2 )
72
4.
Las funciones senh(z) y cosh(z) son enteras, mientras que el resto (secante, cosecante, tangente y cotangente) son analticas salvo en los puntos en los que se anule el correspondiente
denominador.
5.
6.
senh(iz) = i sen(z)
7.
cosh(iz) = cos(z)
Si z = x + iy, se tiene:
senh(z) = senh(x) cos(y) + i cosh(x) sen(y)
cosh(z) = cosh(x) cos(y) + i senh(x) sen(y)
8.
senh(z) = 0 z = k, k Z
cosh(z) = 0 z = (2k + 1) 2 , k Z
Ejemplo 1: Demostrar.
A) 1 tanh2 (z) = sech2 (z)
Soluci
on:
ez +ez
2
senh(z) =
ez ez
2
Entonces:
cosh2 (z) senh2 (z) = ( e
Diviendo por cosh2 (z),
sech2 (z) sech2 (z)
+ez
)
2
(e
ez
)
2
e2z +2+e2z
4
1
cosh2 (z)
B) sen(iz) = i senh(z)
Soluci
on:
i(iz)
i(iz)
sen(iz) = e e
=
2i
i senh(z) i senh(z)
ez ez
2i
= i( e
ez
)
2
= i senh(z)
e2z 2+e2z
4
=1
73
C) cos(iz) = cosh(z)
Soluci
on:
i(iz)
i(iz)
cos(iz) = e +e
2i
cosh(z) cosh(z)
3.5.
ez +ez
2
= i( e
+ez
)
2
= cosh(z)
Funci
on Logartmica.
(0, )
7
log(x)
(3.18)
z 6= 0
mientras que no estara definido el logaritmo de 0. Si z = rej , podemos escribir lo anterior como:
log(z) = log(r) + i,
z 6= 0
Observemos que, puesto que r > 0, el logaritmo de r existe y que, por otro lado, el angulo
esta expresado en radianes. Por otro lado, es facil ver que se verifica la identidad exigida (3.18). El
problema es que, de esta forma, no tenemos siquiera definida una aplicacion, ya que el argumento de
un n
umero complejo no es u
nico. As por ejemplo, tendramos que log(1) = i, pero tambien 3i
y, en general, (2k + 1)i, siendo k cualquier n
umero entero. Dicho de otro forma, existen infinitos
n
umeros complejos log(z) que verifican la ecuacion (3.18). As pues, para poder definir una funcion
logaritmo en el plano complejo, debemos establecer el intervalo en el tomamos el argumento. Cada eleccion de este intervalo, que debera tener la forma [(, +2)], nos dara una aplicacion distinta.
De entre todas las posibles elecciones de ese intervalo, la dada por [(, )] determina lo que se
conoce como determinaci
on principal del logaritmo, escrito Log. Esto es:
Log(z) = log(r) + i, r = |z| > 0, = arg(z), (, )
3.5.1.
74
Propiedades de la Funci
on logartmica.
1.
2.
elog(z) = z.
3.
4.
5.
6.
7.
d
dz
loge (z) = z1 .
8.
d
dz
loga (z) =
9.
loga (e)
.
z
10.
log(z a ) 6= a log(z).
11.
Log(z a ) 6= aLog(z).
12.
log(ez ) 6= z.
ln( 2) + i ,
4
9
ln( 2) + i ,
4
7
ln( 2) i ,
4
...
B) z = 3
Soluci
on:
Sea z = 3. Un argumento de z es , y en la forma polar z = ei(+2n) = 3e(2n+1)i . Entonces:
log(z) = [ln(3) + (2n + 1)i].
Algunos de los valores de log(3) son:
ln(3) + i,
ln(3) + 3i,
y as sucesivamente.
ln(3) + 5i,
...
ln(3) i,
ln(3) 3i
75
1
2
3.6.
Exponentes Complejos.
Si z 6= 0 y c es cualquier n
umero complejo, la funcion multivaluada z c se define por:
z c = ec log(z)
(3.19)
d c
(z ) = z c1
dz
e[Log(9)+4i] ,
e[Log(9)+6i] ,
...
76
B) 1
Soluci
on:
1 = e log(1) = e[Log(1)+2ni] = e[2ni]
Algunos de los valores de 1 son:
e[2i] ,
3.7.
3.7.1.
e[4i] ,
e[6i] ,
...
Funciones Inversas.
Funciones Trigonom
etricas Inversas.
Si z = sen(w), entonces w = sen1 (z) se llama el seno inverso de z o arco seno de z. Analogamente definimos las otras funciones trigonometricas inversas cos 1 (z), tan1 (z), entre otras. Estas
funciones, que son multvocas, se expresan en terminos de los logartimos naturales como sigue. En
todos los casos se omite la constante aditiva 2ki, donde k = 0, 1, 2, . . . , en el logaritmo.
3.7.2.
sen1 (z) =
1
i
ln(iz +
cos1 (z) =
1
i
ln(z +
tan1 (z) =
1
2i
ln
1 z2)
z 2 1)
1+iz
1iz
csc1 (z) =
1
i
ln
sec1 (z) =
1
i
ln
i+ z 2 1
z
1+ 1z 2
z
1
2i
cot1 (z) =
ln
z+i
zi
(3.20)
Funciones Hiperb
olicas Inversas.
1
2
ln
1+z
1z
Ejemplo 1: Demostrar.
z 2 + 1)
z 2 1)
csch1 (z) = ln
sech1 (z) = ln
1+ z 2 +1
z
coth1 (z) =
1+ 1z 2
z
1
2
ln
z+1
z1
(3.21)
A) sen1 (z) =
1
i
ln(iz +
77
1 z2)
Soluci
on:
iw
iw
por tanto
Si w = sen1 (z), entonces z = sen(w) = e e
2i
eiw 2iz eiw = 0 o e2iw 2izeiw 1 = 0
Resolviendo:
2
eiw = 2iz 244z = iz 1 z 2 = iz + 1 z 2
Ahora eiw = ei(w2k) , donde k = 0, 1, 2, . . ., as que:
w = 2k +
ei(w2k) = iz + 1 z 2 o
su rama principal,
se
obtiene
que
1
1 z 2 ) 1i ln(iz + 1 z 2 )
i ln(iz +
B) tanh1 (z) =
1
2
ln
1+z
1z
Soluci
on:
1
i
ln(iz +
1 z 2 ).
senh(w)
cosh(w)
ew ew
ew +ew
por tanto
Por tanto:
e2w = e2(wki) , y se obtiene
e2w = e2(wki) =
1+z
1z
w = ki +
1
2
1+z
ln( 1z
)
Si k = 0 para
calcular
su rama principal, se obtiene que
1solo 1+z
1
1+z
ln
ln
2
1z
2
1z
3.8.
Ejercicios Resueltos.
ez 1
ez 2
= ez1 z2
Soluci
on: Si z1 = a + bi
z2 = c + di
e [e e ] = e
ez1 z2 ez1 z2
B) |eiz | = ey
Soluci
on: Si z1 = a + bi
=e
ea
ec
78
|eiz | = |ei(x+iy) | = |eixy | = |ey eix | = |ey [cos(x)+i sen(x)]| = [e2y cos2 (x)+e2y sen2 (x)] 2 =
1
1
{e2y [cos2 (x) + sen2 (x)]} 2 = [e2y ] 2 = ey
y
y
e e
Ejemplo 2: Demostrar que ning
un valor finito de z satisface la ecuacion e z = 0.
Soluci
on: Si z = x + iy, entonces:
ez = ex+iy = ex eyi = ex [cos(y) + i sen(y)] = ex cos(y) + iex sen(y)
Ahora, para que ez = 0,
ex cos(y) = 0
ex sen(y) = 0
cos(y) = 0
sen(y) = 0
Estas ecuaciones no se pueden resolver simultaneamente, por tanto, no existe un valor finito de
z que cumpla la ecuacion.
Ejemplo 3: Demostrar las siguientes funciones:
A) sen(2z) = 2 sen(z) cos(z)
Soluci
on:
e2iz e2iz
2i
iz
iz
iz
iz
)(e e
)
= (e +e 2i
=2
2 sen(z) cos(z) 2 sen(z) cos(z)
eiz +eiz
2i
eiz eiz
2
= 2 sen(z) cos(z
B) sen2 ( z2 ) = 12 [1 cos(z)]
Soluci
on:
zi
zi
zi
zi
zi
zi
zi
+ezi
2
2
]2 = e 2+e
= e +e4
[ e 2 e
2i
4i2
zi
zi
21 [ e +e
1] = 21 [cos(z) 1]
2
1
1
2 [1 cos(z)] 2 [1 cos(z)]
C) cos2 ( z2 ) = 12 [1 + cos(z)]
Soluci
on:
zi
zi
zi
zi
2
]2 = e +2+e
= 21 [ e
[ e 2 +e
2i
4
1
1
2 [cos(z) + 1] 2 [cos(z) + 1]
+ 1] = 21 [cos(z) + 1]
79
Soluci
on:
2
(z)
cos (z)+sen
1 + sen
cos2 (z) =
cos2 (z)
2
2
sec (z) sec (z)
(z)
1
cos2 (z)
= sec2 (z)
(z)
1
sen2 (z)
= csc2 (z)
sen (z)+cos
cos (z)
1 + sen
2 (z) =
cos2 (z)
csc2 (z) csc2 (z)
80
C) tan(z) = tan z
Soluci
on: Si z = x + iy
tan(x+iy)
tan(x+iy)
1tan(x)+tan(y)i
tan(x)+tan(y)i = 1tan(x)+tan(y)i 1tan(x)+tan(y)i
2
tan(x)+tan2 (x) tanh(y)i+tanh(y)i+tan(x) tanh2 (y)(i2 )
tanh2 (y)(i2 )
= tan(x)tan (x) tanh(y)itanh(y)i+tan(x)
1tan2 (x) tanh2 (y)i2
1tan2 (x) tanh2 (y)i2
(tan(x)tanh(y)i)(1tan(x) tanh(y)i)
[tan(x)tanh(y)i]+tan(x) tanh(y)i[tanh(y)itan(x)]
= (1+tan(x)
tanh(y)i)(1tan(x) tanh(y)i)
1tan2 (x) tanh2 (y)i2
tan(x)tan(y)i
tan(x)tanh(y)i
tan z tan z
Ejemplo 7: Para cada una de las siguientes funciones encontrar u(x, y) y v(x, y).
A) f (z) = e3iz
Soluci
on: Si z = x + iy
e3i(x+iy) = e3ix3y = e3ix e3y = e3y [cos(3x) + i sen(3x)] = e3y cos(3x) + ie3y sen(3x)
Donde:
u = e3y cos(3x)
v = e3y sen(3x)
B) f (z) = cos(z)
Soluci
on: Si z = x + iy
cos(x + iy) = cos(x) cos(y)i sen(x) sen(y)i = cos(x) cosh(y) sen(x)[i senh(y)] =
cos(x) cosh(y) sen(x) senh(y)i
Donde:
u = cos(x) cosh(y)
v = sen(x) senh(y)
C) f (z) = sen(2z)
Soluci
on: Si z = x + iy
sen(2x + i2y) = sen(2x) cos(2y)i + cos(2x) sen(2y)i = sen(2x) cosh(2y) + cos(2x) senh(2y)i
Donde:
u = sen(2x) cosh(2y)
v = cos(2x) senh(2y)
81
D) f (z) = z 2 e2z
Soluci
on: Si z = x + iy
(x + iy)2 e2(x+iy) = (x2 + 2xyi y 2 )e2x [cos(2y) + i sen(2y)] = x2 e2x cos(2y) +
x2 e2x sen(2y)i + 2xye2x cos(2y)i 2xye2x sen(2y) y 2 e2x cos(2y) y 2 e2x senh(y)i =
x2 e2x cos(2y)2xye2x sen(2y)y 2 e2x cos(2y)+[x2 e2x sen(2y)+2xye2x cos(2y)y 2 e2x sen(2y)]i
Donde:
u = e2x [cos(2y)(x2 y 2 ) 2xy sen(2y)]
= e 2e = e
senh(z) senh(z)
ez
2
= senh(z)
B) cosh(z) = cosh(z)
Soluci
on:
ez +e(z)
2
= e 2+e =
cosh(z) cosh(z)
ez +ez
2
= cosh(z)
C) tanh(z) = tanh(z)
Soluci
on:
ez e(z)
ez +e(z)
e e
= eez e
+ez = ez +ez = tanh(z)
tanh(z) tanh(z)
82
e2z +e2z
2
2
2z
2z
]
e +2+e
22 = 2[e +e
+ 22
4
4 =
4
2
2
cosh (z) + senh (z) cosh (z) + senh2 (z)
2z
e2z 2+e2z
4
(ez +ez )2
22
C) senh2 ( z2 ) = 21 [cosh(z) 1]
Soluci
on:
z
[ e 2 e
2
z
2
]2 =
1
2 [cosh(z)
ez +2+ez
4
ez +ez
2
1
2
z
4
1
2
cosh(z)
1
2
= 12 [cosh(z) 1]
1
2
z
4
1
2
cosh(z) +
1
2
= 21 [cosh(z) + 1]
1] 21 [cosh(z) 1]
D) cosh2 ( z2 ) = 12 [cosh(z) + 1]
Soluci
on:
z
[ e 2 +e
2
z
2
]2 =
1
2 [cosh(z)
ez +2+ez
4
ez +ez
2
+ 1] 21 [cosh(z) + 1]
d
dz
senh(z) = cosh(z)
Soluci
on:
d ez ez
]
dz [
2
d
dz cosh(z)
= senh(z)
Soluci
on:
d ez +ez
]
dz [
2
ln(e) + i(
2 ) = 1 i( 2 )
1 i( 2 ) 1 i( 2 )
(ez ez )2
22
83
B) Log(1 i) = 12 ln(2) 4 i
Soluci
on:
1
ln[ 12 + 12 ] + tan1 (1)i = ln(2) 2 4 i =
1
2 ln(2) 4 i 2 ln(2) 4 i
Ejemplo 12: Resolver la ecuacion cos(z) =
1
2
ln(2) 4 i
2.
Soluci
on:
2=
eiz +eiz
2
2 2 84(1)(1)
2
21
eiz1 =
2+1
eiz2 =
21
Ejemplo 13: Obtener una expresion para w = cos1 (z) en terminos de logaritmos.
Soluci
on:
eiw +eiw
2
z = cos(w) =
= e2wi 2zeiw + 1 = 0
2z
4z 2 4(1)(1)
2
= z 1 z2 1
w = i[log(z 1
z 2 1)]
ex cos(y) = 1
84
ex sen(y) = 2
Elevando al cuadrrado:
e2x [cos2 (y) + sen2 (y)] = e2x = 5
Obteniendo:
x=
1
2
ln(5)
Ahora dividiendo:
ex sen(y)
ex cos(y)
3.9.
Ejercicios Propuestos.
Ejemplo 1: Determine todos los valores de los siguientes logaritmos de z:
1. 4i.
2. 2 2i.
3. 5.
4. 1 + 5i.
5. 4 + 2i.
6. 5.
Ejemplo 2: Calcular los posibles valores de:
1. ii .
2. 161+i .
3
3. 3+ 2 .
4.
85
5i .
3.
4.
5.
6.
7.
8.
9.
10.
sen(z) = i.
ez = 2.
sen(z) = 14 .
ez = 1.
e2z1 = 1.
cosh(z) = 21 .
senh(z) = i.
cosh(z) = 2.
Ejemplo 11: Determine todos los valores de log(z) y tambien el valor de Log(z).
1. 4i.
2. 2 2i.
3. 5.
4. 1 + 5i.
5. 9 + 2i.
Ejemplo 12: Determine todos los valores de z w .
1. i1+i .
2. (1 + i)2i .
3. ii .
4. (1 + i)2i .
5. (1 + i)3i .
1
6. (1 i) 3 .
1
7. i 4 .
1
8. 16 4 .
9. (4)2i .
10. 623i .
1
11. (16) 4 .
1
1+i 3
12. ( 1i
) .
1
13. 1 6 .
14. (7i)3i .
15. i2 4i.
16. 23i .
4
17. (3 + 3i) 5 .
3
18. (1 i) 7 .
19. (8 2i)1+3i .
1
20. (1 + 4i) 6 .
Ejemplo 13: Demuestre que Log(1 + i)2 = 2Log(1 + i).
86
Captulo 4
Integrales.
E
4.1.
El caso mas simple de integracion de una funcion compleja se tiene cuando f (z) es una funcion
compleja definida en un intervalo [a, b] de n
umeros reales.
Sea f : [a, b] C una funcion compleja. Sea f (x) = u(x) + iv(x), x a x b. Entonces,
Rb
a
f (x)dx =
Rb
a
u(x)dx + i
Rb
a
v(x)dx
(4.1)
Las integrales de la derecha son integrales de Riemann de funciones de variable real en [a, b].
Ejemplo 1: Integrar la funcion f (x) = ( x1 i)2 , x, 1 x 2.
Soluci
on: Por definicion tenemos
Z
2
1
2
2
2
1
( )dx = ( x) i[2 ln(x)]
x
x
1
1
1
1
1
1
= i[2ln(2)] 2 + 1 + i[2 ln(1)] + 1 = i[2 ln(2)].
2
2
f (x)dx =
1
( 1)dx i
x
= i.
2 1
3 1
2
3 3
2 3
1
1
1
87
CAPITULO 4. INTEGRALES.
88
du = zdx
dx =
du
z
f (x)dx =
eu (
a
1
du
)=
z
z
b
a
b
1
1
eu du = ( )eu = ( )ezx =
z
z
a
0
1
1
1
( )e(z)() + ( )e(z)(0) = .
z
z
z
6.
Soluci
on: Realizando un cambio de variable, tenemos:
u = i2x
du = i2dx
dx =
du
2i
f (x)dx =
1
du
e ( )=
2i
2i
u
eu du = (
a
6
1
1 u b
)e = ( )ei2x =
2i
2i
a
0
1 i
1 i
1
1
( )e 3 ( )e(2i)(0) = e 3
2i
2i
2i
2i
1
1 1
1
1
1
3
3
= [cos( ) + i sen( )]
= [( ) + i(
)]
=
+
2i
3
3
2i
2i 2
2
2i
4i
4
2i
1 i
1
3
3
=
+ .
4
4i i
4
4i
Ejemplo 5: Integrar la funcion f (x) = cos(2x) + i sen(2x), 0 x /4.
Soluci
on: Por definicion, tenemos
Z
/4
f (x)dx =
/4
cos(2x)dx + i
0
/4
sen(2x)dx =
0
1 1
+ i.
2 2
/4
f (x)dx =
0
/4
e2ix dx =
0
i
e2ix /4
1
1 i/2
e
1 = [cos(/2) + i sen(/2) 1 =
=
2i 0
2i
2i
1
(1 + i).
2
CAPITULO 4. INTEGRALES.
4.2.
89
Contornos.
Se definen integrales de funciones complejas de una variable compleja sobre curvas del plano
complejo, en lugar de sobre intervalos de la recta real.
Un conjunto de puntos z = (x, y) en el plano complejo se dice que constituyen un arco C si:
x = x(t);
y = y(t)
(a t b).
donde x(t) e y(t) son funciones continuas del parametro t. Esta definicion establece una aplicacion
continua del intervalo (a t b) en el plano xy, o plano z; y los puntos imagen se ordenan por
valores crecientes de t. Es conveniente describir los puntos de C por medio de la ecuacion:
z = z(t)
(a t b).
donde:
z(t) = x(t) + iy(t).
Ejemplos:
A) La lnea poligonal.
x + ix 0 x 1;
x+i
1 x 2.
Que consta de un segmento recto desde 0 hasta 1 + i, seguido de otro que va desde 1 + i hasta
2 + i, es un arco simple.
z=
B) El crculo unidad.
z = ei
(0 2).
En torno al origen es, por su parte, una curva cerrada simple, orientada en sentido positivo
(contrario al de las manecillas de un reloj). Tambien lo es el crculo
z = z0 + Rei
(0 2).
CAPITULO 4. INTEGRALES.
90
C) El arco.
z = ei
(0 2).
(0 2).
El recorrido se realiza dos veces en sentido contrario de las manecillas del reloj.
4.3.
Integrales de Linea.
Tambien podemos definir la integral de una funcion compleja sobre una curva en el plano.
Sea f : [a, b] C una funcion 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 define
como:
Z
Z
b
f [(t)]0 (t)dt
f (z)dz =
(4.2)
f (z)dz =
Rb
a
f [z(t)]z 0 (t)dt
(4.3)
R
Esta forma de escribir la integral compleja tiene la ventaja de sugerir la manera en que f (z)dz
es evaluada, reemplazando a z por z(t) en la curva. Luego, dz = z 0 (t)dt e integrando sobre el intervalo a t b.
Ejemplo 1: Evaluar la integral
Soluci
on: La grafica de (t) es la mitad del crculo unitario orientado de 1 a 1.
En , z(t) = eit y z 0 (t) = ieit . Luego f [z(t)] = z(t) = eit . Entonces,
Z
Z
Z
it it
f (z)dz =
e ie dt = i
dt = i.
2
Soluci
on: z(t) = t(1 + i) y f (z) = z 2 , entonces f [z(t)] = z(t) = (1 + i)2 t2 = 2it2 de donde
CAPITULO 4. INTEGRALES.
91
Soluci
on: Tenemos
f [z(t)] = zRe(z) = (t it2 )t,
z 0 (t) = 1 2it.
Entonces,
Z
zRe(z)dz =
2
0
2
0
t3
3
3i 4 2 5 2
152
t t =
12i.
4
5
15
0
En ocasiones es necesario integrar sobre una curva dada. En tal caso, debemos encontrar las
funciones que describen a la curva.
Ejemplo 4: Supongamos que necesitamos integrar la funcion f (z) = z sobre el segmento de
recta de 3 a 2 + i.
Soluci
on: La ecuacion de la recta la podemos hallar usando la formula:
x x1
y y1
=
y2 y 1
x2 x 1
(4.4)
Los puntos que unen a la recta son (3, 0) y (2, 1). Sustituyendo estos valores en la formula,
encontramos la ecuacion
x3
y=
= 3 x.
23
Luego, podemos parametrizar la recta como
z(t) = (5 t) + (t 2)i,
2 t 3.
De tal manera que z(2) = 3 y z(3) = 2 + i, con esta parametrizacion tenemos una correcta
orientacion. Ahora z 0 (t) = 1 + i. La integral se puede escribir como
Z
Z 3h
Z 3
i
zdz =
(5 t) + (t 2)i (1 + i)dt =
(3 + 7i 2it)dt = 3 + 2i.
f (z)dz =
f (z)dz =
f (z)dz
(4.5)
Este teorema es de gran importancia, ya que nos permite parametrizar una curva de una infinidad
de maneras distintas, y esto no cambiara el valor de la integral de una funcion dada sobre la curva.
4.4.
z n dz =
z n+1
n+1
n 6= 1.
CAPITULO 4. INTEGRALES.
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
92
dz
z
z
= ln(z).
e dz = ez .
az
az dz = ln(a)
.
sen(z)dz = cos(z).
cos(z)dz = sen(z).
tan(z)dz = ln[sec(z)] = ln[cos(z)].
cot(z)dz = ln[sen(z)].
sec(z)dz = ln[sec(z) + tan(z)] = ln[tan( z2 + 4 )].
ln[csc(z) cot(z)] = ln[tan( z2 )].
sec2 (z)dz = tan(z).
csc2 (z)dz = cot(z).
sec(z) tan(z)dz = sec(z).
csc(z) cot(z)dz = csc(z).
senh(z)dz = cosh(z).
cosh(z)dz = senh(z).
tanh(z)dz = ln[cosh(z)].
coth(z)dz = ln[senh(z)].
sech(z)dz = tan1 [senh(z)].
csch(z)dz = coth1 [cosh(z)].
sech2 (z)dz = tanh(z).
csch2 (z)dz = coth(z).
sech(z)tanh(z)dz = sech(z).
csch(z) coth(z)dz= csch(z).
dz
= ln[z + z 2 a2 ].
z 2 a2
dz
1
1 z
( a ) o
a1 cot1 ( az ).
z 2 +a2 = a tan
1
za
dz
z 2 a2 = 2a ln( z+a ).
dz
cos1 ( az ).
= sen1 ( az ) o
z 2
R a2dz
= a1 ln( a+az2 z2 ).
2 z 2
R z adz
1
1 z
( ).
= a1 cos1 ( az ) o
a sec
z z 2 a2
a
R
2
a
z
2
2
2
2
z a dz = 2 z a 2 ln(z + z 2
2
a2 z 2 = z2 a2 z 2 + a2 sen1 ( z2 ).
R az
az
cos(bz)]
.
e sen(bz)dz = e [a sen(bz)b
a2 +b2
R az
az
e [a cos(bz)+b sen(bz)]
e cos(bz)dz =
.
a2 +b2
R
R
R
4.5.
a2 ).
Integral Compleja en T
erminos de Integrales Reales.
Es logico pensar en la integral de una funcion compleja sobre una curva como una suma de
integrales de lnea de funciones de valor real de dos variables reales sobre la curva.
Sea
(4.6)
CAPITULO 4. INTEGRALES.
93
(4.7)
en a t b. Luego,
z 0 (t) = x0 (t) + iy 0 (t).
(4.8)
Entonces,
f [z(t)]z 0 (t)
=
+
Por consiguiente, tenemos
Z
f (z)dz =
ih
i
u[x(t), y(t)] + iv[x(t), y(t)] x0 (t) + iy 0 (t)
b
a
(4.9)
i
u[x(t), y(t)]x0 (t) v[x(t), y(t)]y 0 (t) dt
i
v[x(t), y(t)]x0 (t) + u[x(t), y(t)]y 0 (t) dt.
(4.10)
f (z)dz =
udx vdy + i
vdx + udy
(4.11)
y = y(t),
(4.12)
(4.13)
t0
donde
z(t) = x(t) + iy(t).
(4.14)
z1
f (z)dz = (z) = (z1 ) (z0 )
z0
(4.15)
z G.
(4.16)
CAPITULO 4. INTEGRALES.
94
Si dos funciones f (z) y g(z) son analticas en un dominio simplemente conexo y si z 0 y z1 son
dos puntos en G, entonces la siguiente formula de integracion por partes es valida
Z z1
z1 Z z1
0
f (z)g (z)dz = f (z)g(z)
g(z)f 0 (z)dz.
(4.17)
z0
z0
z0
Soluci
on: De la funcion (t) podemos identificar
x(t) = 4 cos(t),
4y(t) = 4 sen(t).
Para evaluar la integral dada en terminos de integrales reales de lnea, primero debemos calcular
f (z) = iz 2 = 2xy + i(x2 y 2 ) = u(x, y) + iv(x, y).
de donde
u(x, y) = 2xy,
v(x, y) = x2 y 2 .
= 32
Z
Z
Z 2
2
32 2
1
cos(t)[1 sen2 (t)]dt + sen3 (t)
16
3 0
3
0
0
2 Z 2
2 i
h 64
8
sen(t)[1 cos2 (t)]dt + cos3 (t)
cos3 (t) +
+i
3
3
0
0
0
h
i
32
1
1
2
2
2
=
sen3 (t) 16 sen(t) sen3 (t) + sen3 (t)
3
3
3
0
0
0
o
2
n 64
h
i
1
8
2
2
+i
cos3 (t) + 4 cos(t) + sen(t) + cos3 (t)
3
3
3
0
0
0
32
=
[sen3 ( ) 0] 16[sen( 0)] (sen3 ( ) 0)] + [sen3 ( ) 0]
3
2
2
3
2
3
2
n 64
1
8
+i
[cos3 ( ) + (1)3 ] + 4[ cos( ) + cos3 ( )] (1 ) + [cos3 ( ) 1]
3
2
2
3
2
3
3
2
=
CAPITULO 4. INTEGRALES.
95
h 64
16 1
1
2
8i
32
(1 0) 16(1) +
+ +i
(0 1) + 4(0 + (0)) 4( )
3
3
3
3
3
3
3
h 64 8 8 i
16 1
32
16 +
+ +i
+
3
3
3
3
3 3
h
i
48 48 1
64
=
+ i
3
3
3
3
1 64
= .
3
3
n = 0, 1, 2, ..
donde
|z| = r.
Soluci
on: Representemos al crculo |z| = r en forma parametrica, esto es:
z(t)
0
z (t)
0 t 2,
(4.18)
Entonces,
h
i
f [z(t)] = [z(t)]n = rn (cos t + i sen t) = r n cos (nt) + i sen (nt) .
Usando la expresion
Z 2
Z
Z
f (z)dz =
f [z(t)]z 0 (t)dt = r n+1
C
rn+1
2
0
2
0
cos(nt) + i sen(nt)
ih
i
sen t + i cos t dt =
i
sen(n + 1)t + i cos(n + 1)t dt =
2
rn+1 h
cos(n + 1)t + i sen(n + 1)t = 0,
n+1
0
si
n 6= 1.
Soluci
on: Graficando la recta se obtiene:
La ecuacion de la recta la podemos hallar usando la formula:
x x1
y y1
=
y2 y 1
x2 x 1
CAPITULO 4. INTEGRALES.
96
Los puntos que unen a la recta son (0, ) y (1, 0). Sustituyendo estos valores en la formula,
encontramos la ecuacion
x0
y
=
0
10
y
=x
y = x
y = x.
y = (1 x).
Resolviendo la Integral
Z
e dz =
C
De la ecuacion de la recta
Sustituyendo en la integral
Z
ex+i(x) dx + i(dx)
= (1 i)
y = (1 x)
dy = dx
x+iix
ex+iix dx = (1 i)
dx idx =
ex(1i) ei dx = ei (1 i)
ex(1i) dx
C
du = (1 i)dx
dx =
Z
du
i
= e (1 i)
e
=e
eu du
1 i
C
C
1
= ei ex(1i) = ei [e1i 1] = ei e1i ei
Z
= e1 ei
du
1 i
CAPITULO 4. INTEGRALES.
97
Soluci
on: Graficando se obtiene:
=
10
10
1
1
y = x.
Si z = x + iy, sustituyendo, y = x, se tiene z = y + iy, derivando: dz = (1 + i)dy.
Sustituyendo en la integral
Z 1
Z 1
Z
(y x i3x2 )(1 + i)dy =
(y y i3y 2 )(1 + i)dy =
0
= 3i(1 + i)
4.6.
1
0
y 2 dy = 3i(1 + i)
i3y 2 (1 + i)dy
0
3 1
y
= i(1 + i) = 1 i
3 0
Teorema 4.6.1. Linealidad: Sea una curva suave a pedazos, y sean f y g continuas en . Sean
y n
umeros complejos. Entonces,
R h
i
R
R
f (z) + g(z) dz = f (z) + g(z)dz.
(4.19)
CAPITULO 4. INTEGRALES.
98
La orientacion juega un papel importante en la integral compleja, ya que es una parte intrnseca
de la curva sobre la cual se calcula la integral.
Teorema 4.6.2. Sea : [a, b] C una curva suave, y sea f (z) continua en . Entonces,
R
f (z)dz =
f (z)dz
(4.20)
Teorema 4.6.3. Sea f (z) continua en un conjunto abierto G y supongamos que F 0 (z) = f (z)
z G. Sea : [a, b] G una curva suave en G. Entonces,
Rb
a
(4.21)
R1
Soluci
on: Esta integral la podemos evaluar mediante la expresion 0 f [z(t)]z 0 (t)dt. Sin embargo,
es mas facil hacer uso del teorema anterior. Sea G todo el plano complejo, entonces, G es abierto y
F (z) =
z3
i
+ z2
3
2
(4.22)
satisface la condicion
F 0 (z) = f (z).
(4.23)
=
=
i
1
(1 i cos(1))3 + (1 i cos(1))2
3
2
h1
ii
[1 i cos(1)]2 (1 i cos(1) +
3
2
(4.24)
R
Una consecuencia de la ecuacion (4.21) es que bajo las condiciones dadas, el valor de f (z)dz
depende solamente de los puntos inicial y terminal de la curva. Si es tambien una curva suave en
G teniendo el mismo punto inicial que y el mismo punto final que . Entonces,
Z
Z
f (z)dz.
(4.25)
f (z)dz =
f (z)dz = 0
f (z)dz = 0
(4.26)
CAPITULO 4. INTEGRALES.
99
Una trayectoria es una curva simple, suave a pedazos. Una trayectoria en un conjunto S es una
trayectoria cuya grafica esta en S.
Un conjunto S de n
umeros complejos es conexo, si dados dos puntos cualesquiera z y w en S,
existe una trayectoria en S que tiene a z y a w como puntos extremos.
Ejemplos de conjuntos conexos pueden ser: un disco abierto y un disco cerrado.
A un conjunto de n
umeros complejos, abierto y conexo se le llama dominio.
D es un dominio si:
Alrededor de cualquier z D, hay alg
un disco abierto que contiene solo puntos de D.
Podemos ir desde cualquier punto en D a cualquier otro punto en D por una trayectoria en
D.
Un disco cerrado no es un dominio (es conexo, pero no abierto). Cualquier disco abierto es un
dominio.
Un conjunto S de n
umeros complejos es simplemente conexo si toda trayectoria cerrada en S
encierra u
nicamente puntos de S. Todo disco abierto es simplemente conexo.
4.7.
Sean P (x, y) y Q(x, y) continuos con derivadas parciales cntinuas en una region R y sobre su
frontera C. El teorema de Green, dice que
R
P (dx) + Q(dy) =
RR
( Q
R x
P
y
)dxdy
(4.27)
CAPITULO 4. INTEGRALES.
100
17
15
1
30 .
ZZ
Q P
(x + y 2 )
(2xy x2 ) dxdy
dxdy =
x
y
y
R x
Z 1 Z x
ZZ
(1 2x)dxdy =
=
(1 2x)dydx
R
1
x=0
x=0
(y 2xy)
y=x2
dx =
1
0
y=x2
3
(x 2 2x 2 x2 + 2x3 )dx =
1
.
30
4.7.1.
Sea F (z, z) continua y con derivadas parciales continuas en una region R y sobre su frontera C,
donde z = x + iy, z = x iy son las coordenadas conjugadas complejas. Entonces, el teorema de
Green se puede escribir en la forma:
R
F (z, z)dz = 2i
RR
( F )dA
R z
(4.28)
CAPITULO 4. INTEGRALES.
101
Ejemplo 1: Si B(z, z) es continua y tiene derivadas parciales continuas en una region R y sobre
su frontera C donde z = x + iy y z = x iy, probar que el teorema de Green se puede escribir en
forma compleja como
I
ZZ
B
B(z, z)dz = 2i
dxdy
z
C
R
Soluci
on:
Sea B(z, z) = P (x, y) + iQ(x, y). Luego utilizando el teorema de Green, tenemos:
I
I
I
I
Qdx + P dy
P dx Qdy + i
(P + iQ)(dx + idy) =
B(z, z)dz =
=
4.8.
ZZ
ZZ
Q P
Q
P
+
dxdy + i
dxdy
x
y
x
y
R
R
Z Z
Q
Q
P
P
=i
+i
dxdy
+
x
y
y
x
R
ZZ
B
= 2i
dxdy.
z
R
Teorema de Cauchy-Goursat.
Sea f (z) analtica y diferenciable en un dominio simplemente conexo G. Sea una trayectoria
cerrada en G. Entonces,
R
f (z)dz = 0.
f (z)dz = 0
f (z)dz = 0
(4.29)
Soluci
on: f (z) = ez es diferenciable para todo z y el plano completo es un dominio simplemente
conexo. Por lo tanto, seg
un el teorema de Cauchy-Goursat, tenemos
I
2
ez dz = 0.
C
(4.30)
donde C es el crculo |z + 3i| = 2, de radio 2 y centro en 3i. Para integrar, primero parametricemos
la trayectoria de la forma C(t) = 3i + 2eit para 0 t 2. C recorre el crculo una vez, en sentido
CAPITULO 4. INTEGRALES.
102
1
2z + 1
dz =
z 2 + 3iz
3i
I
i
dz
dz
+ 2+
z
3
z + 3i
(4.32)
Luego, debido a que z1 es diferenciable en C y dentro del dominio simplemente conexo encerrado
por ella, por el teorema de Cauchy-Goursat,
I
1
dz
= 0.
(4.33)
3i
z
1
no es diferenciable en el dominio simplemente conexo encerrado por C, de
Sin embargo, z+3i
tal manera que no podemos aplicar el teorema de Cauchy-Goursat a la integral de esta funcion. Sin
embargo, podemos calcular la integral directamente escribiendo z(t) = 3i + 2e it .
6 + i I
6 + i Z 2
6 + i Z 2 1
1
1
dz =
z 0 (t)dt =
2ieit dt
it
3
z
+
3i
3
z(t)
+
3i
3
2e
0
0
C
6 + i Z 2
6+i
=
(2i).
(4.34)
idt =
3
3
0
+
4i
.
z 2 + 3iz
3iz
3 z + 3i
3
Ejemplo 3: Calcular el valor de la integral
Z
(4.35)
ez dz,
y = x
y
=x
y = x.
y = (1 x).
CAPITULO 4. INTEGRALES.
103
Resolviendo la Integral
Z
e dz =
C1
De la ecuacion de la recta
Sustituyendo en la integral
Z
ex+i(x) dx + i(dx)
C1
= (1 i)
C1
y = (1 x)
dy = dx
C1
ex+iix dx idx =
Z
ex+iix dx = (1 i)
C1
C1
ex(1i) ei dx = ei (1 i)
ex(1i) dx
C1
du = (1 i)dx
= ei (1 i)
eu
C1
dx =
du
= ei
1 i
du
1 i
eu du
C1
1
= ei ex(1i) = ei [e1i 1] = ei e1i ei
0
= e1 ei
C2
C2
= e0 e1 = 1 e.
CAPITULO 4. INTEGRALES.
104
C3
C3
C3
= ei 1.
ez dz +
C2
C3
ez dz = e + 1 + 1 e 2 = 0
f (z)dz =
f (z)dz
dz
.
za
(4.36)
(4.37)
(4.40)
CAPITULO 4. INTEGRALES.
105
3z + 5
dz.
z 2 + 2z
(4.41)
3z + 5
5
1
=
+
.
z 2 + 2z
2z
2(z + 2)
(4.42)
|z|=1
Soluci
on: Tenemos la funcion
f (z) =
(4.43)
4.9.
1
2i
f (z)
zz0 dz
(4.46)
CAPITULO 4. INTEGRALES.
106
ez
dz,
zi
Soluci
on: Tenemos que la funcion f (z) = ez 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,
I
2
ez
dz = 0
zi
2
ez
zi
Segundo caso: La trayectoria cerrada encierra al punto i, entonces por la formula integral de
Cauchy, tenemos
I
2
ez
dz = 2ie1 .
zi
Ejemplo 3: Evaluar la integral
I
e2z sen(z 2 )
dz.
z2
Soluci
on: La funcion f (z) = e2z sen(z 2 ) es diferenciable z D. Aqu tambien tenemos dos casos
de interes:
Primer caso: La trayectoria no encierra al punto 2. Entonces, por el teorema de Cauchy la
integral es cero.
Segundo caso: Si encierra al punto 2, entonces, tenemos
I
1
f (z)
f (z0 ) =
dz = 2if (2) = 2ie4 sen(4).
2i
z z0
Teorema 4.9.2. F
ormula integral de Cauchy para derivadas de orden superior, o segunda forma
integral de Cauchy. Sea f (z) una funci
on compleja diferenciable en un dominio D. Entonces,
f (z) tiene derivadas de todos los o
rdenes en cada punto de D. M
as a
un, si es una trayectoria
cerrada en D, la cual encierra u
nicamente a puntos de D, y z0 es cualquier punto encerrado por ,
entonces
f (n) (z0 ) =
n!
2i
f (z)
dz
(zz0 )n+1
(4.47)
CAPITULO 4. INTEGRALES.
107
ez
dz,
(z i)3
ez
2i (2)
dz =
f (i) = if 00 (i).
(z i)3
2!
f 00 (z) = 6zez + 9z 4 ez .
f 0 (z) = 3z 2 ez ,
ez
dz = i 6iei + 9ei = (6 + 9i)ei .
3
(z i)
e2z
dz,
(z + 1)4
z = 1,
n!
2i
f (z)dz
(z z0 )n+1
f (z) = e2z
f (z)dz
2i n
=
f z0
n+1
(z z0 )
n!
n=3
2i d3 2z
e2z
dz =
[e ]
4
(z + 1)
6 dz 3
z0
i(8e2 )
= i(8e2z )
3
3
1
I
e2z
8
dz = e2 i.
(z + 1)4
3
I
CAPITULO 4. INTEGRALES.
4.10.
108
El Teorema de Deformaci
on.
f (z)dz = nj=1
f (z)dz
(4.48)
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 .
z
dz,
(z + 2)(z 4i)
4i)
(z
+
2)(z
4i)
(z
+
2)(z
4i)
1
2
4i)
5
5
z
+
2
5
5
z
4i
1
1
CAPITULO 4. INTEGRALES.
109
2
i
5 5
1
4 2 I
dz
dz
+
+ i
.
z+2
5 5
2 z 4i
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.
I
h 1 2 4 2 i
z
dz = 2i
i +
+ i = 2i.
5 5
5 5
(z + 2)(z 4i)
4.11.
Si una funcion f es analtica en un punto, sus derivadas de todos los ordenes son tambien funciones analiticas en ese punto.
En particular, cuando una funcion
f (z) = u(x, y) + iv(x, y).
(4.49)
(4.50)
podemos concluir que las derivadas parciales de primer orden de u y de v son continuas en ese
punto. Mas a
un, ya que f 00 es analtica y continua en z, y ya que
f 00 (z) = uxx (x, y) + ivxx (x, y) = vyx (x, y) iuyx (x, y),
(4.51)
etc.
Ejemplo 1: Determinar el dominio de analiticidad de las siguientes funciones alrededor de la
trayectoria |z| = 1.
A) f (z) =
z2
z3 .
Soluci
on:
Como |z| = 1 y la funcion no es analitica en z 6= 3, el dominio donde la funcion es analitica es
todo el contorno |z| = 1.
B) f (z) = zez .
Soluci
on:
Como |z| = 1 la funcion es analitica en todo el contorno |z| = 1.
CAPITULO 4. INTEGRALES.
4.12.
110
El Teorema de Morera.
f (z)dz = 0.
(4.52)
dz
,
C (za)n
Soluci
on:
Se supone que a esta dentro de C, entonces sea G un crculo de radio con centro en z = a de
modo que G este dentro de C (esto se puede hacer ya que z = a es un punto interior).
I
I
dz
dz
=
A)
n
(z
a)
(z
a)n
c
4.13.
i
n1
2
=0
iei d
i
= n1
n ein
e(1n)i d
0
1
e(1n)i 2
[e2(1n)i1 ] = 0
=
(1 n)i 0
(1 n)n1
Funciones de M
odulo M
aximo.
Sea f (z) analtica en un entorno |z z0 | < de un punto z0 . Si |f (z)| |f (z0 )| para todo punto
z de ese entorno, entonces f (z) tiene valor constante f (z0 ) sobre ese entorno.
Si una funcion f es analtica y no constante en un dominio dado D, f (z) no tiene valor maximo
en D. Es decir, no hay ning
un punto z0 en el dominio tal que |f (z)| |f (z0 )| para todo punto z en el.
Sea f una funcion continua en una region acotada cerrada R, y analtica y no constante en el
interior de R. Entonces, el maximo valor de |f (z)| en R que se alcanza siempre, y ocurre en alg
un
CAPITULO 4. INTEGRALES.
111
4.14.
El Teorema de Liouville.
CAPITULO 4. INTEGRALES.
112
Ahora tenemos
|z a| = r,
|z b| = |z a + a b| |z a| |a b| = r |a b|
r
2
Si escogemos r tan grande que |a b| < 2r . Entonces, puesto que |f (z)| < M y la longitud de C
es 2r, tenemos:
I
|b a|M (2r)
|b a|
f (z)dz
2|b a|M
|f (b) f (a)| =
.
=
r
2
(z b)(z a)
2( 2 )r
r
Haciendo que r vemos que |f (b) f (a)| = 0 o f (b) = f (a), lo cual demuestra que f (z)
debe ser una constante.
4.15.
CAPITULO 4. INTEGRALES.
113
4.16.
Ejercicios Resueltos.
u = sen(3z)
, du = 3 cos(3z)dz
Sustituyendo
=
u cos(3z)
dz =
du
3 cos(3z)
Z
1
1 u2
du
=
udu =
+c
3 cos(3z)
3
3 2
=
1 2
u +c
6
Sustituyendo u = sen(3z)
=
B)
1
1
[sen(3z)]2 + c = [sen2 (3z)] + c.
6
6
cot(2z + 5)dz.
Soluci
on: Si:
u = sen(2z + 5)
, du = 2 cos(2z + 5)dz
dz =
du
2 cos(2z + 5)
Sustituyendo
=
Z
Z
du
cos(2z + 5)
du)
1
=
u
2 cos(2z + 5)
2
u
=
Sustituyendo u = sen(2z + 5)
=
C)
1
ln(u) + c
2
1
ln[sen(2z + 5)] + c.
2
cos3 (z)dz.
Soluci
on:
Z
Z
Z
Z
= cos2 (z)[cos(z)dz] = [1 sen2 (z)][cos(z)dz] = cos(z)dz sen2 (z) cos(z)dz
CAPITULO 4. INTEGRALES.
114
d
[sen(z)] = cos(z)dz
dz
Z
1
sen2 (z)[cos(z)dz] = sen3 (z) + c1
3
Z
cos(z)dz = sen(z) + c2
= sen(z)
D)
sen2 (z)dz.
Soluci
on:
Z
1 cos(2z)
dz
2
1
1
z sen(2z) + c.
2
4
=
E)
1
sen3 (z) + c.
3
cot2 (z)dz.
Soluci
on:
=
=
csc (z)dz
dz
= cot(z) z + c.
F)
tan3 (z)dz.
Soluci
on:
=
=
R 2+4i
1+i
2+4i
2
z dz =
1+i
R 2+4i
1+i
z 2 dz se obtiene:
(2,4)
(2,4)
(1,1)
CAPITULO 4. INTEGRALES.
115
(2,4)
2
(x y )dx 2xydy + i
(1,1)
(2,4)
(1,1)
t5
t5
t3
4
3
5
5
2
t=1
2
t=1
t4
t4
t6
+i 2 +2 2
4
4
6
86
= 6i.
3
2
t=1
2+4i
z 2 dz =
1+i
R 2+4i
1+i
z 2 dz se obtiene:
(2,4)
(1,1)
(2,4)
2
(1,1)
(x y )dx 2xydy + i
(2,4)
(1,1)
(2,4)
(1,1)
y y1
x x1
=
y2 y 1
x2 x 1
y1
x1
=
3
1
y 1 = 3x 3
Sustituyendo resulta:
Z 2
Z
2
2
[(x (3x 2) ]dx 2x(3x 2)(3)dx + i
x=1
x3
x2
x3
x2
x3
9 + 12 4x + 18 12
3
3
2
3
2
2
x=1
y 1 = 3(x 1)
y = 3x 2.
2
x=1
x2
x4
x3
x2
x3
+ i 6 4 + 3 27 36 12x
3
2
4
3
2
86
= 6i.
3
2
x=1
CAPITULO 4. INTEGRALES.
116
2
x=1
(x2 1)dx + i
2xdx
x=1
Integrando se obtiene:
2
x3
x2 2
x
+ i2( )
3
2 x=1
x=1
4
+ 3i
3
Ahora de 2 + i a 2 + 4i, o de (2, 1) a (2, 4), x = 2, dx = 0 se obtiene
Z
y=1
Integrando se obtiene:
4
4ydy + i
2
y=1
(4 y 2 )dy
y 3 2
y 2 2
+ i[4y ]
2 x=1
3 x=1
30 9i
86
6i.
3
A) f (z) = y x i3x2 , donde C esta formado por dos segmentos de recta, uno desde z = 0
hasta z = i y otro desde z = i hasta z = 1 + i.
CAPITULO 4. INTEGRALES.
117
Soluci
on:
Para A)
z = iy
Z
x=0
1
0
(y x i3x2 )idy = i
1
0
Para B)
y=1
Z
z = x + iy
1
0
(y x i3x2 )dx =
1
0
dz = idy
i
iy 2 1
ydy =
= .
2 0
2
z =x+i
dz = dx
1 x2 1 3x3 1
1
i = 1 i.
(1 x 3x2 i)dx = x
2 0
3 0
2
0
IT = I A + I B =
1
1
i
+ i = (1 i).
2 2
2
(z 1)dz =
(1 + ei 1)iei d = i
2
1
1
= e2i = (1 1) = 0
2
2
e2i d
CAPITULO 4. INTEGRALES.
118
(ez )dz =
1
i
1
(ez )dz = ez = e ei = e (1) = 1 + e
i
R
Ejemplo 4: Calcule la integral C ez . Siendo C la frontera del cuadrado cuyos vertices son
los puntos z = 0, z = 1, z = 1 + i, z = i.
Soluci
on:
Para A:
z=x
Z
Para B:
1
0
dz = dx
1
ex dx = ex = e 1.
0
z = iy
Z
Para C:
1
0
dz = idy
1
e(iy) idy = e(iy) = ei 1.
0
z=x
dz = dx
CAPITULO 4. INTEGRALES.
119
Z
Para D:
0
1
0
e(x) dx = e(x) = 1 e .
1
z = iy
0
1
dz = idy
0
eiy idy = eiy = e0 + ei = 1 ei .
1
Para el numerador:
|z| = |1|
Para el denominador:
|z 2 1| ||z 2 | |1|| = 3
|z 2 1| ||(2)2 | |1|| = 3
Por tanto, el modulo del valor de la integral es
la demostracion.
1
3
a lo largo de C y no supera a
obteniendo asi
f (z)dz, si:
(
z + 3)dz, formada por tres contornos C1 , C2 y C3 .
CAPITULO 4. INTEGRALES.
120
y
x
=
y = x
y = x
y = (1 x).
Si
z = x iy,
z + 3 = x iy + 3 = (x + 3) i(y)
Ahora para:
z = x + iy,
dz = dx idx,
Para el contorno C1
z = x + i(1 x)
dz = (1 i)dx
(
z + 3)dz
C
h x2
2
1
0
[x + 3 i + xi](1 i)dx
1
0
[x + 3 i + ix ix 3i 2 + 2 x)]dx
2 x2 i1
2
1
= + 3 i 3i 2 +
2
2
2
0
7
2
= 4i
.
2
2
+ 3x ix 3ix 2 x +
Para el contorno C2 .
y=0
z = x + iy
Si
z = x iy,
z = x + i(0)
dz = dx
(
z + 3)dz
C
z + 3 = x iy + 3 = (x + 3) i(y)
(x + 3)dx
1
Para el contorno C3 .
0
x2 0
+ 3x
2 1
1
x=0
z = x + iy
1
= 3
2
z = 0 + iy
7
= .
2
dz = idy
CAPITULO 4. INTEGRALES.
121
Si
z = x iy,
(
z + 3)dz
C
z + 3 = x iy + 3 = (x + 3) i(y)
ydy + 3idy
0
y 2
+ 3iy
2 0
0
+ 3i.
2
La integral total es IT = C1 + C2 + C3
7
2
7
4i
+ + 3i
2
2
2
2
IT =
= i
2 +
2
(2i + 1)
.
2
(z 2 + z + 1)dz.
Si z = x + iy, y si y = x2 , se sustituye:
z = x + iy
z = x + ix2
dz = dx + 2xidx
dz = (1 + 2xi)dx.
Sustituyendo dz
I
2
2
Sustituyendo y = x
I 2
[x2 +2x(x2 )i(x2 )2 +x+i(x2 )+1](1+2xi)dx
2
2
2
2
2
CAPITULO 4. INTEGRALES.
122
h 2x6
i o2
x3
x2
x4
+
+
+x+
+ x4 + x3 + x2 i
4
3
2
6
2
h 128
i n
h 128
io
8 4
8 4
+ 16 + 8 + 4 i 32 8 + 2 +
+ 16 8 + 4 i
= 32 8 + + + 2 +
3 2
6
3 2
6
8 128
128
8
+
+ 28 +
12 i
= 40 + + 4 32 + 8 +
3
3
6
6
16
180 + 16
164
= 60 +
+ 16i
=
+ 16i
3
3
3
164
+ 16i.
=
3
n
x5 2
z2 dz.
Si z = x iy, y si y = x2 + 1, se sustituye:
z = x iy
(
z )2 = (x iy)2
(
z )2 = x2 y 2 2xyi
z = x + iy
(
z )2 = x2 2xyi + y 2 i2
(
z )2 = x2 (x2 + 1)2 2x(x2 + 1)i.
z = x + i(x2 + 1)
dz = dx + 2xdxi.
Sustituyendo dz
I
I
=
=
1
0
=3
1
0
1
1
x 4 1 x 2 1
x 6 1 x 4 1 x 2 1
x5 1
+ x3 x + 2i 2i
+
5 0
6 0
4 0
2 0
4 0
2 0
0
0
x6
x4
x2
x4
x2
x5
= 3 + x3 x 2i 2i 2i 2i 2i
5
6
4
2
4
2
CAPITULO 4. INTEGRALES.
123
h x5
x6
x4
x2 i1
= 3 + x3 x 2i 4i 4i
5
6
4
2 0
3
2i
3 2i
= +11
i 2i
3i
5
6
5
6
3 20i
=
.
5
6
Ejemplo 7: Aplicar el teorema de Cauchy-Goursat para probar que:
el contorno simple cerrado |z| = 1, para:
A) f (z) =
f (z)dz = 0, donde C es
z2
z3 .
Soluci
on: Como |z| = 1 en el contorno y la funcion no es analtica en z 6= 3, el dominio donde
la funcion es analtica es todo el contorno |z| = 1.
I
Z 2 2i
Z 2 i2
e
e
i
f (z)dz =
ie
d
=
id
i
i
e 3
e 3
C
0
0
z = ei
u = ei 3
dz = iei d
du = iei d
Sustituyendo en la integral
=
Sustituyendo u = ei 3
2
= ei 3 + 3 ln(ei 3)
0
du + 3
du
= u + 3 ln(u)
u
B) f (z) = zez .
Soluci
on: Como |z| = 1 la funcion es analtica en todo el contorno |z| = 1.
I
Z
f (z)dz =
zez dz
C
dv = ez dz
u=z
v = ez
du = dz
2
0
2
ez dz = zez ez
= 2e2 e2 + 3 = 2 2 + 3
Z
zez dz = 0
C
CAPITULO 4. INTEGRALES.
C) f (z) =
124
1
z 2 +2z+2 .
Soluci
on: z 2 + 2z + 2 6= 0, resolviendo la ecuacion se obtiene:
p
2 (2)2 4(1)(2)
2 2i
=
= 1 i
z1,2 =
2(1)
2
2 > 1.
|z| = 2
Por tanto la funcion es analtica en todo el contorno |z| = 1.
Z
f (z)dz =
C
2
0
1
dz =
2
z + 2z + 2
u=z+1
2
0
1
dz
(z + 1)2 + 1
du = dz
1
du
2+1
u
0
2
= tan1 u
Ejemplo 8: Sea C un contorno simple cerrado interior a un contorno simple cerrado C 0 , donde
ambos, C0 y C estan orientados positivamente. Demostrar que el teorema de Cauchy-Goursat, aplicado a las fronteras de los dominios m
ultiplemente conexos deduce que si una funcion f es analtica
en la region acotada por C y C0 entonces:
Z
Z
f (z)dz =
f (z)dz
C
C0
Soluci
on:
Sea el contorno C en |z| = 1 y el contorno C0 en |z0 | = 2, y la funcion f (z) =
Entonces
z2
dz =
z3
C0
z2
dz
z3
f (z)dz = 0
C
z2
z3 .
CAPITULO 4. INTEGRALES.
125
C0 z 3
Ya que ambas son analticas, se obtiene:
Z
Z
f (z)dz =
C
f (z)dz = 0
C0
f (z)dz
C0
Soluci
on: Si |z| = 2, esto indica que la integracion debe hacerse a lo largo de un crculo de
radio 2.
I 2
I
z dz
f (z)dz
=
z+i
C z z0
f (z) = z 2
z0 = i
f (z0 ) = (i)2
f (z0 ) = 1
Lo cual indica que tenemos un polo en z = i y que el polo esta dentro del circulo |z| = 2,
por tanto se puede aplicar la forma integral de Cauchy
I
f (z)
1
dz
f (z0 ) =
2i
z z0
I
f (z)
dz = 2if (z0 )
z z0
Sustituyendo
B)
sen(z)dz
2z .
I
z2
z2
dz = 2i(i)2
dz = 2(1)
z+i
z+i
I
z2
dz = 2i
=
C z+i
Soluci
on: Si |z| = 2, esto indica que la integracion debe hacerse a lo largo de un crculo de
radio 2.
I
I
f (z)dz
sen(z)dz
=
z
z
2(z
2 )
0
C
1
sen(z)
2
z0 =
2
f (z) =
1
sen(z0 )
2
1
f (z0 ) = sen( )
2
2
f (z0 ) =
CAPITULO 4. INTEGRALES.
126
Lo cual indica que tenemos un polo en z = 2 y que el polo esta dentro del circulo |z| = 2, por
tanto se puede aplicar la forma integral de Cauchy
I
1
f (z)
f (z0 ) =
dz
2i
z z0
I
2i 1
1 sen(z)dz
sen(z)
=
2 z 2
1 2
2
h1
i
= 2i sen( )
2
2
1
= i
= 2i
2
I
sen(z)dz
= i.
C 2z
C)
1
dz.
C z 2 +4
A lo largo de la trayectora |z i| = 2.
Soluci
on: Factorizando el denominador de la ecuacion se obtiene:
=
1
(z 2i)(z + 2i)
z0 = 2i
f (z) =
1
z + 2i
1
2i
1(dz)
z+2i
z2i
C
1
f (z)dz
z z0
1
=
2i
dz
(z 2i)2
1
1
=
2i + 2i
4i
I
1
1
dz
=
4i
2i C (z 2i)2
I
2i
dz
=
2
4i C z + 4
2
f (z0 ) =
D)
( 1
C z+1
2
z3 )dz.
Soluci
on: Desarrollando las fracciones, se obtiene:
I
z 3 + 2z + 2
dz
C (z + 1)(z 3)
3z 1
dz
(z + 1)(z 3)
Con lo cual se identifican 2 boquetes, uno para z = 1 y otro para z = 3, ya que ambos estan
dentro del circulo |z| = 4.
CAPITULO 4. INTEGRALES.
127
z0 = 3
f (z) =
8
3(3) 1
= =2
(3 + 1)
4
I (3z1)dz
1
z+1
f (3) =
2i C z3
1
I
3z 1
1
dz
2=
2i c (z + 1)(z 3)
f (z0 = 3) =
= 2(2i) = 4i.
f (z0 = 1) =
1=
1
2i
3z 1
dz
(z + 1)(z 3)
= 1(2i) = 2i.
z2
dz.
C z+i
Soluci
on:
f (z) = z 2
z0 = i
f (z0 ) = (i)2 = 1
1
2i
f (z)dz
z z0
f (z)dz
1
2i C z z0
I
1
f (z)dz
1 =
2i C z z0
f (z0 ) =
1(2i) = 2i.
3z 1
(z + 1)
CAPITULO 4. INTEGRALES.
F)
sen(z 2 )+cos(z 2 )
dz.
(z1)(z2)
128
Soluci
on: Como primer paso encontramos los polos:
z1=0
z=1
z2=0
z=2
2A B = 1
Sustituyendo se obtiene:
1 = A(z 2) + B(z 1)
1 = Z(A + B) 2A B
A = B
B=1
2A = 1 + B
A = 1
1
1
1
=
+
(z 1)(z 2)
z1 z2
Replanteando la integral:
I h
sen(z 2 ) + cos(z 2 ) sen(z 2 ) + cos(z 2 ) i
+
dz
(z 1)
(z + 2)
C
Resolviendo para:
z0 = 1
I h
sen(z 2 ) + cos(z 2 ) i
dz
(z 1)
C
n=0
f (1) = 1.
1
f (z) =
2i
f (z)dz
z z0
f (1) 2i = 2i.
Ahora para:
z0 = 2
I h
sen(z 2 ) + cos(z 2 ) i
dz
(z + 2)
C
1
2i
f (z)dz
z z0
f (1) 2i = 2i.
n=0
f (1) = 1.
CAPITULO 4. INTEGRALES.
G)
sen(z)
dz.
C (z2)(z3)(z4)
129
Soluci
on: Como primer paso encontramos los polos:
z2=0
z=2
z3=0
z=3
z4=0
z=4
7B + 7C 6B 5C = 0
A = B C
A=
Sustituyendo
1
2
B = 2C
B = 1
12C 16C + 6C = 1
1
C=
2
1
C=
2
1
1
1
1
=
+
(z 2)(z 3)(z 4)
2(z 2) z 3 2(z 4)
Reescribiendo la funcion
I h
sen(z)
sen(z)
sen(z) i
+
dz
z3
2(z 4)
C 2(z 2)
z0 = 2
z0 = 3
1
sen(z)
f (z) = sen(z)
2
I
I
I
i
i
2i h 1
2i h
sen(z)
sen(z) +
2
2
3
c 1
c 1
c
f (z) =
z0 = 4
1
sen(z)
2
i
1 2i h
sen(z)
2 1
4
f (z) =
Ejemplo 10: Resolver la siguientes integrales aplicando la segunda forma integral de Cauchy.
CAPITULO 4. INTEGRALES.
A)
3z 2
dz.
C (z+4)(z1)2
130
Soluci
on: Como primer paso encontramos los polos:
z+4=0
z = 4
(z 1)2 = 0
z=1
3z 2 dz
)
z+4
n=1
z0 = 1
f (z) = 3z 2
Aplicando la formula integral de Cauchy
f (n) (z0 ) =
f (z) =
f 0 (z0 )[2i] =
Ahora se deriva una vez
1
2i
n!
2i
I
f (z)
dz
(z z0 )n+1
3z 2
dz
z + 4 (z 1)1+1
3z 2
dz
(z + 4)(z 1)2
f 0 (z0 )[2i]
d h 3z 2 i
dz (z + 4) z0 =1
h 6z 2 + 24z 3z 2 i
h (z + 4)(6z) (3z 2 )(1) i
=
2i
2i
(z + 4)2
(z + 4)2
z0 =1
z0 =1
h 3(1)2 + 24(1) i
h 3z 2 + 24z i
h 3 + 24 i
= 2i
2i
= 2i
2
2
(z + 4)
(1 + 4)
25
z0 =1
=
B)
sen(2z)
dz.
C (6z)3
54
i.
25
Soluci
on: Dejando el polo en la forma normal se obtiene:
I
sen(2z)
3 dz
c 216(z 6 )
=0
6
Este polo esta dentro del circulo |z| = 3
z
z0 =
z=
n=2
n!
2i
f (z)
dz
(z z0 )n+1
CAPITULO 4. INTEGRALES.
131
f (z)
f 2 (z0 )(2i)
dz =
n+1
(z z0 )
n!
"
#
I
2i d2 sen(2z)
sen(2z)
3 dz =
2! dz 2
216
z0
c 216(z 6 )
I
i d2
2 [sen(2z)]
216 dz
z0
i
i d
=
[2 cos(2z)] =
[2 sen(2z0 )]
216 dz
108
z0
z0
i
i
= [sen(2z0 )]
= sen[2( )]
54
54
6
z0 =
6
i
3
= sen( )
=
54
3
54 2
3i
=
.
108
=
C)
z2
dz.
C (z2)2 (z3)2
Soluci
on:
Calculando los polos se obtiene:
z2=0
z=2
z3=0
z=3
z2
(z 3)2
n=1
z0 = 2
n!
2i
f (z)
dz
(z z0 )n+1
f (z)dz
2i n
=
f (z0 )
n+1
n!
C (z z0 )
I
dz
d h z2 i
z2
=
2i
2 (z 2)2
dz (z 3)2
C (z 3)
d h z 2 i (z 3)2 (2z) (z 2 )(2)(z 3)
=
dz (z 3)2
(z 3)4
z0 =2
h (2)(2)(2 3)2 (2)(2 3)(2)2 i
= 2i
(2 3)4
h4 + 8i
= 2i
1
= 24i.
I
CAPITULO 4. INTEGRALES.
D)
1
dz.
C (z)2 (z3)
132
Soluci
on: El polo z 3, no entra en el contorno, por lo tanto:
Aplicando la formula integral de Cauchy
f (n) (z0 ) =
n!
2i
(z z0 )
f (z)
dz
(z z0 )n+1
n+1
n=1
= z2
z0 = 0
(z 3)(0) (1)(1)
1
1
=
=
z3
(z 3)2
(z 3)2
f (0) =
E)
ez
dz.
C z5
1
1
=
(0 3)2
9
1
1!
2i
=
=
.
9
2i
9
Soluci
on: El polo entra en el contorno proporcionado, entonces:
Aplicando la formula integral de Cauchy
f
(n)
n!
(z0 ) =
2i
f (z)
dz
(z z0 )n+1
(z z0 )n+1 = z 5
n=4
z0 = 0
f 4 (0) = e0 = 1
4!
2i
F)
sen(z)
dz.
C (z 12 )2
2i = 24
i
.
12
Soluci
on: El polo entra en el contorno proporcionado, entonces:
Aplicando la formula integral de Cauchy
f (n) (z0 ) =
n!
2i
f (z)
dz
(z z0 )n+1
CAPITULO 4. INTEGRALES.
133
1
(z z0 )n+1 = (z )2
2
n=1
z0 =
2
Derivando
d
sen(z) = cos(z0 )
dz
f ( ) = cos( ) = 0
2
2
Evaluando en la forma integral de Cauchy
f 1 (z0 ) =
0=
1!
2i
(0)(2i)
= 0.
G)
1
dz.
C (z3)2
Soluci
on: El polo no entra en el contorno proporcionado, entonces esta integral es igual a cero.
H)
cos(z)
dz.
C (z1)3 (z5)2
A lo largo de la trayectora |z 4| = 2.
Soluci
on: Como primer paso se encuentran los polos:
(z 1)3 = 0
z=1
(z 5)2 = 0
z=5
Para saber si los polos entran en el contorno, se encuentran los parametros del circulo:
|z 4| = 2
|x + iy 4| = 2
p
[ (x 4)2 + (iy)2 = 2]2
|x 4 + iy| = 2
(x 4)2 + y 2 = 4
y=0
(4, 0)
r2 = 4
r= 4
r = 2
CAPITULO 4. INTEGRALES.
134
(n)
n!
(z0 ) =
2i
f (z)
dz
(z z0 )n+1
(z z0 )n+1 = (z 5)2
n=1
z0 = 5
cos(z)
(z 1)3
(z 1)[sen(z)] 3 cos(z)
(z 1)3 [sen(z)] 3(z 1)2 cos(z)
=
(z 1)6
(z 1)4
4[sen(5)] 3 cos(5)
256
Evaluando en la forma integral de Cauchy
f 0 (5) =
4[sen(5)] 3 cos(5)
1!
=
256
2i
128
256
4 sen(5) 3 cos(5) =
2i
i
i[4 sen(5) 3 cos(5)]
=
.
128
4 sen(5) 3 cos(5) =
4.17.
Ejercicios Propuestos.
17.
dz.
3
sen(3z)
CAPITULO 4. INTEGRALES.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
R
R
R
R
R
R
R
R
R
135
tan2 (5z)dz.
cot3 (z)dz.
dz
1+cos(z) .
ez tan4 (ez )dz.
tan6 (3z)dz.
sen(2z) cos(4z)dz.
ez tan2 (ez )dz.
cot2 (4z)dz.
[(tan2 (2z) + cot(2z)]2 dz.
sec3 (z)
tan4 (z) dz.
csc4 (z)
cot2 (z) dz.
tan4 (z)
sec5 (z) dz.
cos4 (z)
sen6 (z) dz.
CAPITULO 4. INTEGRALES.
136
z
a
+ c2 .
R
Ejemplo 5: Evalue: (2z + 3)dz
1. A lo largo de x = 2t + 1, y = 4t2 t 2; 0 t 1.
2. A lo largo de la recta que une 1 2i y 3 + i.
3. A lo largo de las lneas rectas 1 2i a 1 + i y luego a 3 + i.
Ejemplo 6: Verificar el teorema de Green en el plano para
donde C, es un cuadrado en (0, 0); (2, 0); (2, 2) y (0, 2).
H
Ejemplo 7: Aplicando el teorema de Green en el plano, hallar el valor numerico de C (5x +
6y 3)dx + (3x 4y + 2)dy aldededor de un triangulo en el plano xy con vertices en (0, 0);
(4, 0) y (4, 3).
Ejemplo 8: HUtilizando la forma compleja del teorema de Green en el plano, hallar el valor
numerico de C zdz alrededor de:
1. El crculo |z 2| = 3.
2. El cuadrado con vertices en z = 0; 2; 2i; 2 + 2i.
3. La elipse |z 3| + |z + 3| = 10.
Ejemplo 9: Verificar el teorema de Cauchy-Goursat, si C es un cuadrado con vertices en 1 i;
1 i, para las funciones siguientes:
1. 3z 2 + iz 4.
2. 5 sen(2z).
3. 3 cosh(z + 2).
Ejemplo 10: Verificar el teorema de Cauchy-Goursat, para la funcion z 3 iz 2 5z + 2i, si C
es:
1. El crculo |z| = 1.
2. El crculo |z 1| = 2.
3. La elipse |z 3i| + |z + 3i| = 20.
Ejemplo 11: Aplicar el teorema de Cauchy-Goursat, para probar que
Z
f (z)dz = 0
C
CAPITULO 4. INTEGRALES.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
eiz
dz,
|z i| = 1.
C z 2 +1
H sen(z/2)
|z 1| =
2 +2z3 dz,
RC zsen(iz)
|z| = 2.
z 2 4z+3 dz,
HC cos(z+i)
|z| = 3.
z(ez +2) dz,
HC cos
2
z
|z| = 1.
z 3 dz,
HC sen(z/4)
dz, |z 1| =
HC (z1)z2 (z3)
dz, |z 3| =
C (z2)3 (z+4)
H
e1/z
|z 2| = 1.
2
2 dz,
HC (z e+4)
iz
|z 1| = 12 .
2 1)2 dz,
HC z(z2 +3z+2
dz, |z| = 1.
z
HC cos(z)
|z| = 1.
z dz,
HC cos(z)
|z| = 4.
2 dz,
HC (z)
sin(z)
|z| = 4.
2 dz,
HC (z)
3
1
+
|z| = 3.
z+2 dz,
HC z1
dz
dz, |z| = 3.
HC ze4z1
+1
dz, |z| = 2.
C z i
2
H tan(z)
HC zz2 dz, |z| = 1.
dz, |z| = 2.
HC 2z5z2
dz, |z| = 2.
HC (z+2)(z1)
137
2.
1.
6.
+ i, 2 + i].
Ejemplo 14: Use los teoremas de Cauchy para evaluar las siguientes integrales, donde C es
el circulo |z| = 3.
H cos(z)
1.
z dz.
HC sin(z)
2. HC z dz.
1
dz.
3.
HC z2 5z
z+1
4.
3 dz.
HC (z1)(z+2)
z 2 1 z
e dz.
5.
2
HC ez2z+1
6.
dz.
z5
HC sinh(3z)
7.
2 +1)2 dz.
HC (z
z+2
dz.
8.
C z 4 1
2
H
ez
9.
z dz.
HC zcos( z2 )
10.
2 +1) dz.
HC (z+i)(z
z3
11.
dz.
HC z2 +iz+2
12.
dz.
C z(z2)(z4)
Ejemplo 15: Llevar a cabo los detalles de la prueba del teorema fundamental del algebra,
demostrando que la funcion particular f (z) = z 4 z 2 2z + 2 tiene exactamente cuatro ceros,
tambien determine los ceros de f (z).
Captulo 5
Series Complejas.
En este capitulo se analizan las series complejas de Taylor, Laurent y sus propiedades.
5.1.
5.1.1.
Las definiciones basicas son las mismas que en calculo. Una sucesi
on infinita o, brevemente,
una sucesion, se obtiene al asignar a cada entero positivo n un n
umero z n denominado termino de
la sucesion, y se escribe:
z1 , z 2 , . . .
{z1 , z2 , . . .}
brevemente
{zn }.
(5.1)
simplemente
zn c
(5.2)
Por definicion de lmite, lo anterior significa que para todo > 0 es posible encontrar un N tal
que
|zn c| <
Divergencia. Una sucesion divergente es una sucesion que no converge.
Sea una sucesion de n
umeros complejos z1 , z2 , z3 , ..., donde zn = xn + iyn (n = 1, 2, 3, ...). El
n
umero complejo constante c = a + ib se llama lmite de la sucesion z 1 , z2 , z3 , ..., si para cada n
umero
138
139
(5.3)
(5.4)
(5.5)
y
Si la suma de la serie (5.4) es el n
umero S 0 , y la suma de la serie (5.5) es el n
umero S 00 , entonces
la suma de la serie (5.3) sera el n
umero complejo
S = S 0 + iS 00 .
(5.6)
n=1 zn ,
(5.7)
donde zn = xn + iyn . La series (5.7) converge si y solo si, las dos series
x1 + x 2 + x 3 + . . . x n + . . . =
xn .
(5.8)
yn .
(5.9)
n=1
y
y1 + y 2 + y 3 + . . . y n + . . . =
n=1
n=1
|zn |.
(5.10)
Las series (5.8), (5.9) y (5.10) son series con terminos reales y por lo tanto el analisis de convergencia se hace aplicando los criterios de convergencia en el dominio real. Si una serie es absolutamente
140
(5.11)
(5.12)
a
n
R = lm
.
n an+1
(5.13)
y diverge fuera del crculo, es decir, para los valores de z que cumplen la desigualdad
|z z0 | > R.
5.1.2.
(5.14)
para
todo
n>N
p = 1, 2, . . .
Prueba de comparaci
on. Si se tiene una serie z1 + z2 + . . . y es posible encontrar una serie
convergente b1 + b2 + . . . con terminos reales no negativos tales que
|zn | bn
para
n = 1, 2, . . . .
para
todo
n>N
p = 1, 2, . . .
141
Con base en lo anterior y como |z1 | b1 , |z2 | b2 ,. . . se concluye que para estos n y p se tiene
|zn+1 | + . . . + |zn+p | bn+1 + . . . + bn+p < .
As una vez mas por el principio de Cauchy |z1 | + |z2 | + . . . converge, de modo que z1 + z2 + . . .
es absolutamente convergente.
Serie Geom
etrica. La serie geometrica
qm = 1 + q + q2 + . . .
m=0
converge a la suma
1
(1q)
1 q n+1
1
q n+1
=
.
1q
1q
1q
la serie diverge.
142
X
(100 + 75i)n
1
= 1 + (100 + 75i) + (100 + 75i)2 + . . .
n!
2!
n=0
Soluci
on:
n+1
z
125
|100 + 75i|
n+1 |100 + 75i| (n+1)!
=
=
=
n
zn
|100 + 75i| n !
n+1
n+1
n = 0.
Soluci
on:
z
i
1
1
1
1
n+1
+
+
+ ....
<1=i+ + +
zn
2 8 16 64 128
p
n
|zn | = L
143
X
1 1
1
(1)n
(4 i)n = (4 i) + (4 i)2 + . . .
2n
2 +3
4 7
19
n=0
Soluci
on:
r
n
|4 i|
|(4 i)n |
17
17
=
> 1.
=
L=
n
n
2n
n
n
2 +3
4
4 +3
4 +3
5.2.
Serie de Potencias.
n=0
an (z z0 )n = a0 + a1 (z z0 ) + a2 (z z0 )2 + . . .
(5.15)
an z n = a 0 + a 1 z + a 2 z 2 + . . .
n=0
5.2.1.
Si los terminos de una serie son variables, como funciones de una variable z (por ejemplo, potencias de z, como en una serie de potencias), entonces asumen valores definidos si se fija z. Resulta
evidente que para una serie de funciones de z, las sumas parciales, los residuos y la suma son funciones de z. En terminos generales, una serie as converge para alguna z, por ejemplo, a lo largo de
toda una region, y diverge para otra z.
Ejemplo 1: La serie geometrica.
n=0
zn = 1 + z + z2 + . . .
144
X
z2
z3
zn
=1+z+
+
+ ...
n!
2!
3!
n=0
es absolutamente convergente para toda z. De hecho, por la prueba de la razon, para cualquier
z fija se tiene que
n+1
z (n+1)!
|z|
0 cuando n .
=
n
n!
n+1
z
Ejemplo 3: Convergencia solo en el centro. (Serie in
util).
n!z n = 1 + z + 2z 2 + 6z 3 + . . .
n=0
converge solo en z = 0, pero diverge para todo z 6= 0. De hecho, a partir de la prueba de la razon
se tiene que
(n + 1)!z n+1
= (n + 1)|z| cuando n (z f ijo y 6= 0).
n!z n
5.2.2.
Si se tiene una serie de potencias, es posible cosiderar todos los puntos z en el plano complejo
para los cuales la serie converge. Sea R tal que la distancia de cada uno de estos puntos al centro
z0 es menor o igual que R, y se supondra que R es el menor n
umero posible con esta propiedad; en
otras palabras, R es el radio del menor circulo con centro en z0 que contiene a todos los puntos en
los cuales la serie converge. Entonces esto implica convergencia para todo z dentro del crculo; es
decir, para todo z para el que
|z z0 | < R.
Y como R es lo mas peque
no posible, entonces la serie diverge para toda z para la que
|z z0 | > R.
El crculo
|z z0 | = R.
(5.16)
145
Si | aan+1
| , entonces R = 0 (convergencia solo en el centro z0 ).
n
Ejemplo 1: Determinar el radio de convergencia R de la serie de potencias
X
(2n)!
(z 3i)n .
2
(n!)
n=0
Soluci
on:
(2n+2)!
[(n+1)!]2
2n!
n
(n!)2
L = lm
(2n + 2)(2n + 1)
(2n + 2)(2n + 1)(2n)!(n!)2
(2n + 2)!(n2 !)
= lm
=
2
[(n + 1)!] (2n)! n
[(n + 1)2 (n!)2 ](2n)!
(n + 1)2
d2
8
= = 4.
2
dn
2
5.2.3.
Suma o resta. La suma o resta termino a termino de dos series de potencias con radios de
convergencia R1 y R2 produce una serie de potencias con radio de convergencia por lo menos igual
al menor de R1 y R2 . Las sumas parciales sn y sn se suman o restan termino a termino y se usa
lm(sn sn ) = lm sn lm sn .
Multiplicaci
on. La multiplicacion termino a termino de dos series de potencias esta dado por:
f (z) =
ak z k = a 0 + a 1 z + . . .
k=0
g(z) =
bm z m = b 0 + b 1 z + . . .
m=0
significa la multiplicacion de cada termino de la primer serie por cada termino de la segunda serie
y el agrupamiento de los terminos que tienen la misma potencia de z. Con lo anterior se obtiene una
serie de potencias, denominada producto de Cauchy de las dos series, y que esta dada por
a0 b0 + (a0 b1 + a1 b0 )z + (a0 b2 + a1 b1 + a2 b0 )z 2 + . . .
=
(a0 bn + a1 bn1 + . . . + an b0 )z n .
n=0
Esta serie de potencias converge absolutamente para todo z dentro del crculo de convergencia
de cada una de las dos series dadas, y que su suma es s(z) = f (z)g(z).
5.3.
146
Series de Taylor.
Decimos que una funcion compleja es analtica en z0 si permite ser desarrollada en series de potencias en alg
un disco abierto alrededor de z0 . Se puede probar que una funcion que es diferenciable
en un disco abierto alrededor de un punto z0 es analtica en ese punto.
Una funcion univaluada f (z) que es analtica en un punto z = z0 puede ser expandida alrededor
del punto z0 en la serie de Taylor
f (z) =
n=0
an (z z0 )n
(5.17)
cn =
1
2i
f (z)dz
C (zz0 )n+1
f (n) (z0 )
,
n!
n = 0, 1, 2, . . .
(5.18)
f (z) = f (z0 ) +
f 0 (z0 )
1! (z
z0 ) +
f 00 (z0 )
2! (z
z 0 )2 + . . . +
f (n)
n! (z
z0 )n + Rn (z).
(5.19)
Esta representacion se denomina formula de Taylor, la cual fue introducida por Brook Taylor
(matematico ingles que introdujo esta formula para funciones de una variable real). R n (z) se denomina residuo. Como la funcion analtica f (z) tiene derivadas de todos los ordenes, entonces n en
5.19 puede tomarse tan grande como se quiera. Si se deja que n tienda a infinito, a partir de 5.19 se
obtiene la serie de potencias:
P
m=0
f (m) (z0 )
(z
m!
z 0 )m .
(5.20)
147
Esta serie se denomina serie de Taylor con centro en z0 . El caso particular de 5.20 con centro
en z0 = 0 se denomina serie de Maclaurin de f (z).
Teorema 5.3.1. Teorema de Taylor. Sea f (z) analtica en un dominio D, y sea z = z 0 cualquier
punto D. Entonces existe exactamente una serie de potencias con centro en z 0 que representa a f (z).
Esta serie es de la forma
f (z) =
n=0
an (z z0 )n
en donde
an =
1 (n)
(z0 ).
n! f
(5.21)
Esat representacion es valida en el mayor disco abierto con centro z0 contenido en D. Los residuos
Rn (z) de 5.21 pueden representarse en la forma
I
f (z )
(z z0 )n+1
dz .
Rn (z) =
n+1 (z z)
2i
(z
z
)
0
C
Estos coeficientes satisfacen la desigualdad
|an |
M
rn
5.3.1.
1
Series geom
etricas. Sea f (z) = 1z
. Entonces se tiene f (n) =
1
tanto, el desarrollo de Maclaurin de 1z es la serie geometrica
n!
(1z)n+1 ,
X
1
=
zn = 1 + z + z2 + . . .
1 z n=0
X
z2
z3
zn
zn
=1+z+
+
+ ... +
e =
n!
2!
3!
n!
n=0
z
|z| < .
148
(1)n
n=0
sen(z) =
(1)n
n=0
tan1 (z) =
z2
z4
z 2n
=1
+
+...
(2n)!
2!
4!
z 2n+1
z3
z5
=z
+
+...
(2n + 1)!
3!
5!
|z| < .
|z| < .
z 2n1
z3
z5
=z
+
+...
2n 1
3
5
(1)n1
n=0
|z| < 1.
Cuando z = x, las expresiones anteriores son las conocidas series de Maclaurin de las funciones
reales cos(x), sen(x) y tan1 (x). De manera semejante al sustituir la serie exponencial en la serie
geometrica se obtiene:
X
z2
z4
z 2n
=1+
+
+ ...
cosh(z) =
(2n)!
2!
4!
n=0
senh(z) =
z3
z5
z 2n+1
=z+
+
+ ...
(2n + 1)!
3!
5!
n=0
z2
z3
zn
=z
+
+...
n
2
3
|z| < 1.
p(p 1) 2
p(p 1) (p n + 1) n
z + ... +
z + ...
2!
n!
|z| < 1.
f 0 (z0 )
f 00 (z0 )
f 000 (z0 )
(z z0 ) +
(z z0 )2 +
(z z0 )3 + . . .
1!
2!
3!
z2
z3
+
+ ...
2
6
149
A) ln(z + 1):
Soluci
on:
ln(z + 1) = z
z3
zn
z2
+
. . . + (1)n1
+ ...
2
3
n
(R = 1).
(5.22)
B) (1 + z) :
Soluci
on:
( 1) 2 ( 1)( 2) 3
z +
z
2!
3!
( 1) . . . ( + n 1) n
+ ... +
z + ....
(R = 1).
n!
Un caso particular de esta serie es cuando = 1, entonces la expansion es
1
= 1 z + z 2 . . . + (1)n z n + . . .
(R = 1).
1+z
(1 + z)
1 + z +
(5.23)
(5.24)
La formula (5.22) 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 funcion multivaluada ln(1 + z) debemos sumar en la serie (5.22) el valor 2n (n = 1, 2, . . .).
Entonces, tenemos
ln(z + 1) = z
z3
zn
z2
+
. . . + (1)n1
+ . . . + 2ni
2
3
n
(R = 1).
X
(1)n 2n
cos (z) =
z .
(2n)!
n=0
Entonces, es suficiente reemplazar a z por z 3 , el resultado es:
cos (z 3 ) =
X
(1)n 3 2n X (1)n 6n
(z ) =
z .
(2n)!
(2n)!
n=0
n=0
X
1 n
z .
ez =
n!
n=0
Entonces, el resultado es:
ez = e(zi+i) =
n=0
ei
1
(z i)n .
n!
150
Taylor.m
M.I. Jos
e Francisco G
omez Aguilar
>> clear all;
>> clc
>> syms z;
>> fz=input(INGRESE LA FUNCION F(z)= );
>> z0=input(INGRESE EL VALOR DE Zo= );
5.3.2.
Ecuaciones Diferenciales.
Las series de Taylor tambien pueden emplearse para resolver ecuaciones diferenciales, el siguiente
ejemplo ilustra este metodo.
Ejemplo 1: Encontrar la serie de Maclaurin de f (z) = tan(z).
Soluci
on: Se tiene f 0 (z) = sec2 (z) y, en consecuencia, dado que f (0) = 0,
f 0 (z) = 1 + f 2 (z),
f 0 (0) = 1.
f 00 (0) = 0,
f 000 (0) = 2,
f (4) = 6f 0 f 00 + 2f f 000 ,
f (5) = 6(f 00 )2 + 8f 0 f 000 + 2f f (4) ,
1
f 000 (0)
= ,
3!
3
f (4) (0) = 0,
f (5) (0) = 16,
f (5) (0)
2
=
,
5!
15
(|z| <
).
2
Otro m
etodo.
Derivando sucesivamente la funcion, es decir, aplicando la regla de la cadena se tiene:
f (z) = tan(z)
f 0 (z) = sec2 (z)
f 00 (z) = 2 sec(z) sec(z) tan(z)
f 000 (z) = 2[sec(z) tan(z) + sec(z) tan(z) + sec2 (z)]
151
f 0 (z0 )
f 00 (z0 )
f 000 (z0 )
(z z0 ) +
(z z0 )2 +
(z z0 )3 + . . .
1!
2!
3!
sec2 (0)
2 sec(0) sec(0) tan(0)
(z 0) +
(z 0)2 +
1!
2!
2[sec(0) tan(0) + sec(0) tan(0) + sec2 (0)]
(z 0)3 + . . .
3!
2
17 7
1
z + ...
(|z| < ).
f (z) = z + z 3 + z 5 +
3
15
315
2
f (z) = tan(0) +
5.4.
Convergencia Uniforme.
Se sabe que las series de potencias son absolutamente convergentes, y, como otra propiedad
basica, tambien se sabe que son uniformemente convergentes. Debido a que la convergencia uniforme es de gran importancia general, por ejemplo en relacion con la integracion termino a termino
de series.
Para definir la convergencia uniforme, se considerara una serie cuyos terminos son funciones de
f0 (z), f1 (z), . . .
P
m=0
(5.25)
Para el caso especial fm (z) = am (z z0 )m , se trata de una serie de potencias. Se supone que
esta serie converge para todo z en alguna region G. Su suma se denomina s(z) y su n-esima suma
parcial se denomina sn (z); asi
sn (z) = f0 (z) + f1 (z) + . . . + fn (z).
Convergencia en G significa lo siguiente. Si se elige un z = z1 en G, entonces, por la definicion
de convergencia en z1 , para > 0 dado, es posible encontrar un N1 () tal que
|s(z1 ) sn (z1 )| <
152
Convergencia uniforme. La serie 5.25 con suma s(z) se denomina uniformemente convergente
en una region G para todo > 0 es posible encontrar un N = N (), no dependiente de z, tal que
|s(z) sn (z)| <
m=0
am (z z0 )m
con radio de convergencia R diferente de cero es uniformemente convergente en todo disco circular |z z0 | r de radio r < R.
Propiedades de las serie uniformemente convergentes. La convergencia uniforme obtiene
su importancia primordial de dos hechos:
Si una serie de terminos continuos es uniformemente convergente, entonces su suma tambien
es continua.
Con las mismas hipotesis, la integracion termino a termino es permisible.
Continuidad de la suma. Sea la serie:
X
fm (z) = f0 (z) + f1 (z) + . . .
m=0
uniformemente convergente en una region G. Sea F(z) su suma. Entonces si cada termino f m (z)
es continuo en un punto z1