Variable Compleja

Ing. Jos Faustino Montes de Oca

INSTITUTO TECNOLGICO DE COSTA RICA
ESCUELA DE INGENIERA ELECTRNICA
CURSO: MODELOS DE SISTEMAS














VARIABLE COMPLEJA















ING. FAUSTINO MONTES DE OCA
FEBRERO DE 2000
Variable Compleja
Ing. Jos Faustino Montes de Oca
2
INDICE
VARIABLE COMPLEJ A_________________________________________________ 4
Algebra Compleja _______________________________________4
Algunas propiedades: ____________________________________6
Interpretacin grfica de operaciones algebraicas: _____________7
Regiones______________________________________________7
Desigualdad triangular: ___________________________________8
Races de un nmero complejo ____________________________9
Funciones en variable compleja: __________________________10
Funcin exponencial: ___________________________________12
Funcin seno: _________________________________________13
Funcin logartmica: ____________________________________14
Condiciones de Cauchy Riemann (C.C.R) _________________15
Teorema Integral de Cauchy (T.I.C): _______________________19
Frmula Integral de Cauchy (F.I.C): ________________________21
Demostracin:_________________________________________21
Frmula General de F.I.C ________________________________26
Desarrollo en series de Laurent (DSL) _____________________27
Ejercicios _____________________________________________32
Bibliografa: ___________________________________________35
Variable Compleja
Ing. Jos Faustino Montes de Oca
3
FIGURAS

Figura 1. Nmero Complejo............................................................................ 4
Figura 2. Representaciones algebraicas......................................................... 7
Figura 3. Crculo centrado en Zo. ................................................................... 8
Figura 4. Regin inscrita dentro del crculo..................................................... 8
Figura 5. Proyeccin de z
2
.............................................................................. 9
Figura 6. Ubicacin de races ....................................................................... 10
Figura 7. Plano tridimensional en variable compleja..................................... 11
Figura 8. Proyecciones de z=-2 en ln z......................................................... 14
Figura 9. Crculo unitario............................................................................... 19
Figura 10. Parametrizacin sobre una recta. ................................................ 20
Figura 11. Demostracin de FIC. .................................................................. 21
Figura 12. mbito de convergencia. ............................................................. 28
Figura 13. Regiones de convergencia. ......................................................... 29

Variable Compleja
Ing. Jos Faustino Montes de Oca
4
VARIABLE COMPLEJA
Algebra Compleja
Un nmero complejo se compone de dos partes y usualmente se emplean
dos representaciones: cartesiana y polar.

En representacin el nmero complejo es:
z = (x,y) = x + jy ( 1 )
donde x y y son nmeros reales y son llamados la parte real y parte
imaginaria de z respectivamente. Adicionalmente j=(-1)
1/2
. = (0,1)

En representacin polar:
z=re
j
( 2)
donde r representa la distancia entre el origen y z. representa el ngulo
comprendido entre el eje formado r y la coordenada x. La figura 1 muestra la
ubicacin de los elementos antes indicados.
Figura 1. Nmero Complejo
Z = (X, y)
x
jy

r
Variable Compleja
Ing. Jos Faustino Montes de Oca
5
Geomtricamente se pueden derivar las siguientes relaciones:
x = r cos
y = r sen
z = r(cos + jsen) = re
j

r = (x
2
+y
2
)
1/2

= tag
-1
(y/x) en cuadrantes I y IV
= tag
-1
(y/x) + en cuadrantes II y III
Para efectos de notacin r se denomina mdulo, magnitud de z (r = |z|) y
se denomina ngulo, argumento fase de z ( = arg z).

En notacin fasorial se emplea una notacin similar a la polar para
representacin de nmeros complejos:
z=re
j
= r/ ( 3 )
En cuanto a las operaciones bsicas es ms fcil emplear la notacin
cartesiana cuando se realizan las operaciones suma y resta. En caso de
divisin y multiplicacin es ms fcil usar la representacin polar.
Ejemplo 1
Suma de nmeros Complejos:
z
1
+ z
2
= (x
1
+ x
2
) + j(y
1
+ y
2
)
Multiplicacin de nmeros Complejos:
z
1
z
2
= (x
1
x
2
- y
1
y
2
) + j (y
1
x
2
+ x
1
y
2
) = r
1
r
2
e
j(

1+

2)

Divisin de nmeros Complejos:
2
)
2 1
(
1
2
2
2
2
2 1 2 1
,
2
2
2
2
2 1 2 1 1
2
.
1
2
1
r
j
e r
y x
y x x y
y x
y y x x
z z
z
z

=
|
|
|
.
|

\
|
+

+
+
=

=
En particular: (x,y) = (x,0) + (0,1)(y,0)
Tambin es posible construir funciones complejas a partir de z, f(z).
Variable Compleja
Ing. Jos Faustino Montes de Oca
6
Ejemplo 2
Si f(z) = z
2
encuentre la partes imaginaria y real de f(z).
f(z) = (x + jy)
2
= (x
2
- y
2
) + j(2xy)
Re(f(z)) = x
2
- y
2
Im(f(z)) = 2xy
Ejercicio 1
Encuentre la parte real e imaginaria de f(z)=1/z
Se denomina el conjugado a
z* = x - jy = z=re
-j
( 4 )
En el caso de funciones:
f(z)* = Re(f(z)) - jIm(f(z)) ( 5 )
Algunas propiedades:
z
2
= z z
j
2
= -1
z*0 = 0
z
1 .
z
2
= 0 si z
1
= 0 o z
2
= 0
z . z
-1
= 1
arg (z
1
+ z
2
) = arg z
1
+ arg z
2
z
1
.z
2
= r
1
.r
2
(cos (
1
+
2
) + jsen (
1
+
2
))

z
-1
= 1/r (cos + jsen)

z
2
= Rez
2
+ Imz
2
z Re z
z Im z

(z
1
+ z
2
)* = z
1
*+ z
2
*
(z
1
.z
2
)* = z
1
* . z
2
*
Variable Compleja
Ing. Jos Faustino Montes de Oca
7
2
*
Re
z z
z
+
=
2
*
Im
z z
z

=
Interpretacin grfica de operaciones algebraicas:
En la figura 2 se muestra una interpretacin grfica de la suma y resta de dos
nmeros complejos. Note la similitud con el lgebra vectorial.













Figura 2. Representaciones algebraicas
Regiones
Para efectos posteriores es necesario definir una notacin para regiones
dentro y fuera de una curva conexa C en el plano complejo.

En el caso especfico de un crculo, se denota z z
0
= R el cual incluye
todos los puntos sobre el crculo centrado en z
0
y de radio R. Esta curva se
muestra en la figura 3.
z
1
= (x
1
, y
1
)
z
1
+ z
2
z
1
z
2
z
2
= (x
2
, y
2
)
Variable Compleja
Ing. Jos Faustino Montes de Oca
8












Figura 3. Crculo centrado en Zo.
La regin z z
0
< R incluye todos los puntos encerrados dentro del crculo
centrado en z
0
y de radio R.
Figura 4. Regin inscrita dentro del crculo.
Desigualdad triangular:
Sea z
1
y z
2
que pertenecen al conjunto de nmeros complejos Segn se
muestra en la figura 5 z
1
+ z
2
z
1
+ z
2

| z
1
- z
2
|| z
1
+ z
2

| z
1
- z
2
|| z
1
+ z
2
z
1
+ z
2

Sustituyendo z
2
por z
2
se tiene:
| z
1
- z
2
|| z
1
- z
2
z
1
+ z
2
( 6 )
R

C: z z
0
=R
z
0

z
0
R
Variable Compleja
Ing. Jos Faustino Montes de Oca
9





Figura 5. Proyeccin de z
2
Races de un nmero complejo
En los nmeros complejos existen n races ensimas. A modo de ejemplo,
3
1 en nmeros reales tiene una sola raz cual es -1. En nmeros
complejos
3
1 tiene 3 races.

Sea z = re
j

+jk
. donde k = 0, 1, 2, ...

Al aplicar la raz ensima
n
n
r z =
1 )
2
(
n
k
n
j
e

+
=
n
r (cos
n
k 2 +
+ jsen
n
k 2 +
) ( 7 )
Esto es llamado teorema de De Moivre. Las races son distintas para valores
de k = 0, 1, 2...n-1. Si k=n la raz es la misma que para k=0. En resumen se
tienen n races distintas. Adicionalmente, todas las races estn ubicadas en
forma simtrica en el plano z con respecto al origen separadas por un ngulo
n
2
.
z
1
z
2
z
1
+ z
2

z
1
+ z
2

Variable Compleja
Ing. Jos Faustino Montes de Oca
10
Ejemplo 3
Obtenga y grafique en z las races de
3
1
Sustituyendo diferentes valores de k en las ecuacin 7
k = 0, 1
3
0
= =
j
e z
k = 1, z = cos
3
2
+ jsen
3
2
= -0.5 + j
2
3

k = 2, z = cos
3
4
+ jsen
3
4
= -0.5 + j
2
3

La figura 6 muestra la ubicacin de las races.
Figura 6. Ubicacin de races
Funciones en variable compleja:
Cuando uno intenta graficar una funcin real basta con un sistema
coordenado bidimensional. El caso de una funcin compleja implica un
sistema tridimensinal para la magnitud de f(z) y para el argumento en forma
separada por lo que la representacin se vuelve complicada ya que se deben
hacer dos grficos, uno correspondiente a la magnitud y otro para la fase. Si
bien no es un objetivo en algunas ocasiones es necesario hacer
interpretaciones grficas.
z =1
z =-0.5 - j
2
3

z =-0.5 +j
2
3

Variable Compleja
Ing. Jos Faustino Montes de Oca
11
Figura 7. Plano tridimensional en variable compleja
Ejercicio 2
Dado un f(z) = z
2
donde z = x + jy , sustituyendo se tiene:
f(z) = (x + jy ). (x+jy)
f(z) = x
2
y
2
+2jxy
Magnitud de f(z):
2 2 2 2
) 2 ( ) ( ) ( xy y x z f + =
Fase de f(z) =
) (
2
) (
2 2
y x
xy
arctan z f

=
Grafique las anteriores funciones segn se ha explicado.
Ejercicio 3
Si x = y = 1 entonces 2 ) ( = z f y n arctan arctan z f

2
2
) (
0
2
) ( + = = =
Repita el ejercicio anterior
Otra forma de representacin implicara presentar f (z) como:
f(z) = u (x,y) + v (x,y) ( 8 )
donde u y v R (Forma cartesiana )
f(z) = R (r,) e
j(r,)
( 9 )
donde R, R (Forma polar )
y
x
| f(x,y)|
Variable Compleja
Ing. Jos Faustino Montes de Oca
12
Ejemplo 4
En el caso de f(z) = z
2
se puede escribir en:
representacin cartesiana:
u(x,y) = x
2
y
2

v(x,y) = 2xy
representacin polar se sustituye z = r
j
e entonces
f(z) = (r
j
e )
2
= r
2 2 j
e de donde
R (r,) = r
2
(r,) = 2
Funcin exponencial:
Forma cartesiana:
jy x jy x z
e e e e . = =
+

Aplicando la Identidad de Euler
x z
e e = (cosy + jseny)
x z
e e = cosy + j
x
e seny
u(x,y)=
x
e cosy
v(x,y) =
x
e seny
Forma polar:
j
re z
e e =
Aplicando la Identidad de Euler
) sen (cos j r z
e e
+
=
sen cos
.
rj r z
e e e =
R (r,) =
cos r
e
(r,) = rsen
Variable Compleja
Ing. Jos Faustino Montes de Oca
13
Funcin seno:
senz =
j
e e
jy x j jy x j
2
) ( ) ( + +

donde senz = sen (x+jy)
senz =
j
e e e e
y j jx y j jx
2
2 2

senz =
j
e e e e
y jx y jx
2



Por Identidad de Euler se tiene:
senz =
j
e x j x e x j x
y y
2
) sen (cos ) sen (cos +


senz =
j
x je x je x e x e
y y y y
2
sen sen cos cos + +


senz =
j
e e x j e e x
y y y y
2
) ( sen ) ( cos + +


adems
coshx =
2
x x
e e

+
y senhx =
2
x x
e e

entonces lo anterior se puede escribir como:
senz =
j
y x j
j
y x cosh sen senh cos
+

u(x,y) = senx .coshy
v(x,y) = cosx .senhy
Variable Compleja
Ing. Jos Faustino Montes de Oca
14
Funcin logartmica:
lnz = ln r
j
e = lnr + ln
j
e
lnz = lnr + j
u(x,y) = lnr = ln
2 2
y x +
v(x,y) = = arctan y/x
Ejemplo 5
Si z = -2 donde z = 2
) 2 ( n j
e
+
;n . Evaluar ln(-2)
Solucin:
ln(-2) = ln2
) 1 2 ( . + n j
e

ln(-2) = ln2 + j(2n + 1)
ln(-2) = ln2 + j, ln2 - j, ln2 + 3j, ln2 - 3j,...

Note que para un punto en z la funcin lnz presenta mltiples valores. Es por
tal razn que se le denomina funcin multivaluada. El grfico 7 muestra las
proyecciones en ln z.















Figura 8. Proyecciones de z=-2 en ln z
u(x,y)
v(x,y)

3
5
ln2
-5
-3
-
Variable Compleja
Ing. Jos Faustino Montes de Oca
15
No hay necesariamente proyecciones nicas. En el campo de nmeros
complejos es posible tener varias imgenes a partir de un solo punto en el
plano z.
Ejercicio 4
Si sen
-1
z = w
y
j
e e
w
jz jz
2

=
muestre que
|
.
|

\
|
=
2
1 ln w w j z
Note que z perfectamente puede tomar magnitudes mayores a 1 lo
cual no es posible en los nmeros reales.
Condiciones de Cauchy Riemann (C.C.R)
En el mundo de la variable compleja, una funcin que es derivable una vez
es derivable infinito nmero de veces. El determinar si una funcin no es
derivable no es tan sencillo, para tal efecto, las condiciones de Cauchy-
Riemann ayudan a determinar acertadamente esto.

En nmeros reales, la derivada se expresa
x x x
x x f
Lm
dx
x df
x
+
+
=

) ( ) (
0

f

'(x) =
x
x f x x f
Lm
x

+

) ( ) (
0
( 10 )
Normalmente esta expresin se puede interpretar graficamente como la
pendiente entre el eje f(x) y el eje m en cualquier punto x donde exista el
lmite.

En nmeros complejos, la derivada de una funcin compleja se expresa
como:
z
z f z z f
Lm
dz
z df
z

+
=

) ( ) ( ) (
0
( 11 )
Variable Compleja
Ing. Jos Faustino Montes de Oca
16
En vista que z = x + jy el valorar en forma simultneamente con respecto a
ambas variables no es factible en forma prctica.

Las CCR ofrecen una prueba inicial que permite descartar del todo el que la
funcin sea derivable. Sin embargo, sta no es suficiente.

La idea de CCR es derivar en la direccin x y luego en la direccin y. Si
ambos resultados son idnticos la funcin es elegible. Sino queda
descartada definitivamente.

Sea f(z) = u(x,y) + jv(x,y) donde z = x + j y
En la direccin x y = 0, entonces, z = x , es decir, se deriva con respecto
a x. La funcin 10 se muestra en 11
x
y x v
j
x
y x u
dx
z df

=
) , ( ) , ( ) (
( 12 )
En la direccin y x = 0, entonces, z = j y , es decir, se deriva con
respecto a y. La funcin 10 se transforma en 12.
y j
y x v
j
y j
y x u
dy
z df

=
) , ( ) , ( ) (
( 13 )
Para que f(z) sea derivable 11 y 12 deben tener idnticos resultados.
x
y x v
j
x
y x u
y
y x v
y j
y x u

) , ( ) , ( ) , ( ) , (
( 14 )
Igualando parte real e imaginaria respectivamente se tiene:
Condiciones de Cauchy-Rieman
x
y x u
y
y x v

) , (

) , (
( 15 )
x
y x v
y
y x u

) , ( ) , (
. ( 16 )

Variable Compleja
Ing. Jos Faustino Montes de Oca
17
Ejemplo 6
(a) Probar si f(z) = z
2
podra ser derivable y si lo es, determinar su posible
derivada.
(b) Lo mismo para f(z) = z*

(a) f(z) = z
2
= (x + jy).(x + jy) = x
2
y
2
+2jxy
u(x,y)= x
2
y
2

v(x,y)= 2xy
Aplicando 14
x
y x u
y
y x v

) , ( ) , (
2x = 2x
Aplicando 15
x
y x v
y
y x u

) , ( ) , (
-2y = -2y
Se cumplen ambas condiciones.
Aplicando 11
x
y x v
j
x
y x u
dz
dz

=
) , ( ) , (
2
= 2x + 2jy = 2(x + jy) = 2z
o bien aplicando 12
y
y x v
j
y j
y x u
dz
dz

=
) , ( ) , (
2
= -(2y)/(j) + 2x = 2x + 2jy = 2(x + jy) = 2z
(b) f(z) = z* = x jy
Segn 14
x
y x u
y
y x v

) , ( ) , (
-1 1
No se cumple la primer condicin por lo que la funcin no es derivable.
Variable Compleja
Ing. Jos Faustino Montes de Oca
18
Es posible probar que si una funcin f(z) que pertenece al conjunto de
nmeros complejos, cumple con C.C.R y adems el resultado de las
derivadas parciales es continuo, luego f(z) es infinitamente derivable.
Ejemplo 7
Sea f(z) = 1/z . Segn lo anterior el resultado de la derivada es f '(z) =
2
1
z

cumple con las dos condiciones C.C.R pero es discontinua en z = 0. La
funcin es derivable en todos los puntos de z excepto en z = 0.
En general, para este tipo de funciones, se dice que aunque cumplan C.C.R,
luego estas tienen discontinuidad en un determinado punto z
0
o varios.
Entonces la derivada existe excepto en el punto de discontinuidad.

Definiciones:
Si f(z) es derivable en z
0
y en una regin cercana a l, luego la funcin es
analtica en z
0
.

Si la funcin f(z) es derivable en cualquier punto del plano z, luego se dice
que la funcin f(z) es completa.
Ejemplo 8
f(z) = z
2
Funcin completa
f(z) = z*

Funcin no analtica

f(z) = 1/z Funcin analtica excepto en z = 0

Definicin:
Cuando una funcin f(z) no es analtica en un punto z = z
0
, luego z
0
se llama
singularidad de f(z) o punto singular.
Ejercicio 5
Probar que f(z)= cos z es derivable y obtener su derivada.
Variable Compleja
Ing. Jos Faustino Montes de Oca
19
Teorema Integral de Cauchy (T.I.C):
Suponer la existencia de un camino cerrado conexo C en z perteneciente a
los nmeros complejos. (Conexo:camino sencillo sin cruces sobre s mismo).
Suponer, adicionalmente, la existencia de f(z) la cual es analtica para todos
los puntos z encerrados y sobre la curva C. Luego, la integral I cumple que:
I = 0 ) ( =

C
dz z f ( 17 )
Si hay singularidades de f(z) dentro de la curva, I 0
Ejemplo 9
Sea f(z) = z la cual se evala sobre la curva crculo unitario C |z|=1. Mostrar
que T.I.C se cumple en este caso.
Figura 9. Crculo unitario.
I =

C
zdz debe ser parametrizada caso contrario su solucin es complicada.
z(t) debe ser sustituida por x(t) + jy(t) donde t es un parmetro
convenientemente escogido. En forma polar se tiene x = rcos, y = rsen.
De tal forma:
z() = rcos + jrsen = re
j
0 2 ( 18 )
Sustituyendo en (17).
I = dz
j

2
0
re ( 19 )
1
C
Variable Compleja
Ing. Jos Faustino Montes de Oca
20
(x
2
, y
2
)
(x
1
, y
1
)
Como z() = re
j
entonces dz = j re
j
d. Sustituyendo en (19).
I =

d jre
j j
) ( re
2
0

Como el crculo es unitario entonces r = 1, con lo cual
I = 0
2
1
2
4 sen 4 cos
2 2 2
) ( e
0 4
2
0
2
2
0
=
+
= = =

j e e
j
e
j d e j
j j
j j

Ejemplo 10
Hacer la misma evaluacin anterior con f(z) = 1/z con singularidad en z
0
= 0
I =

C
dz
z
1

I = =

d e j
e
j
j
) ( .
1
2
0

I = 0 2
2
0
=

j d

No se cumple T.I.C.
Tambin es til conocer otra parametrizacin sobre una recta segn se
muestra en la figura 10.
z(t) = (x
2
+ jy
2
).t + (x
1
+ jy
1
).(1-t) 0 t 1 ( 20 )








Figura 10. Parametrizacin sobre una recta.
Variable Compleja
Ing. Jos Faustino Montes de Oca
21
Frmula Integral de Cauchy (F.I.C):
En el ejemplo anterior se vio como una integral de lnea hecha sobre una
curva C, la cual contiene un punto singular z
0
de f(z) implica que la integral
es diferente de cero. Cuando esto sucede, F.I.C define una forma general de
evaluar este caso particular. Frmula Integral de Cauchy establece que para
f(z) perteneciente a los nmeros complejos e integrada sobre una curva
conexa C, la cual encierra un punto singular simple (orden 1) z
0
, entonces:
=

dz
z z
z f
C
) (
) (
0
2j f(z
0
) ( 21 )
NOTA: No debe existir irregularidades sobre el contorno C y f(z) es analtica
dentro y sobre el contorno.
Demostracin:







Figura 11. Demostracin de FIC.
Aplicando TIC.
0
) (
) (
) (
) (
) (
) (
) (
) (
0 0 0 0
' ' ' ' ' '
=

C C C C
dz
z z
z f
dz
z z
z f
dz
z z
z f
dz
z z
z f
( 22 )
Note que se considera sentido positivo a aquel contrario a las manecillas del
reloj. Adicionalmente, se debe considerar que el espacio entre la curva C y
C es tan reducido que en si C y C constituyen curvas cerradas. Esto es
fcil mostrar empleando TIC si consideramos que no existen singularidades
de sobre el recorrido C y C. De esta forma I
c
= I
c
.
C
C
C
Z
0

C
r
Variable Compleja
Ing. Jos Faustino Montes de Oca
22


=

C
C
dz
z z
z f
dz
z z
z f
) (
) (
) (
) (
0
'
0
( 23 )
Con base en (23) se muestra que es exactamente igual evaluar la integral
(21) empleando una curva C o C siempre que sta encierre la singularidad
Zo. Convenientemente se puede escoger C como un crculo de radio r
centrado sobre Zo. Adicionalmente queda mostrado que r puede ser tan
pequeo como se quiera ya que siempre C encerrar a Zo.
Con base en lo anterior se escoge C como curva de integracin.
Parametrizando:
z = z
0
+ re
j
diferenciando z
dz = j re
j
d
Sustituyendo en (21)
I = =
+
+

d jre
z z re
re z f
C
j
j
j
) (
) (
0 0
0

I =

d re z f j
j

+
2
0
0
) (
Como r puede ser tan pequeo como se quiere este puede ser 0. f(z
o
) es
constante y puede salir de la integral.
I = =

d z f j
2
0
0
) ( 2j f(z
0
)
Ejemplo 11
a) Realizar la evaluacin de I donde I = dz
z z
z f
C

) (
) (
0
donde c est definida
como:
i) C:
2
1
= z
ii) C:
2
1
1 = z
b) Comprobar el resultado segn T.I.C y F.I.C.
Variable Compleja
Ing. Jos Faustino Montes de Oca
23
SOLUCIN:
a.i
z() = e
j
0 2
dz = j e
j
d
I = =
|
.
|

\
|

d e j
e e
j
j j
2
0
.
2
1
.
1
2
1
2
1
1

I =

|
.
|

\
|

2
0
.
1
2
1
j
e
d
j
Se plantea el resolver la integral empleando una curva r z = y 0 r 1.
Luego sustituyendo en la integral:
I =
( )

2
0
1
d
e re
e
j
j j
j
con r 0
I =

2
0
1
d
j = -2j Esto es vlido para 0 r 1
a.ii
z() = e
j
+ 1 0 2
dz = j e
j
d
I =

|
.
|

\
|
+ |
.
|

\
|
+

2
0
2
1
.
1 1
2
1
1
2
1
1
d e j
e e
j
j j

I =

|
.
|

\
|
+

2
0
.
1
2
1
j
e
d
j
Variable Compleja
Ing. Jos Faustino Montes de Oca
24
En ambos casos es complicado resolver las integrales por lo que se plantea
por Frmula Geomtrica:

=
=

0
1
1
n
n
w
w
con w < 1 ( 24 )
Sustituyendo en la integral:
I = -j

d e
n
n
j

=
|
.
|

\
|
2
0
0
2
1

I = -j

d e
j
n
n

=
|
.
|

\
|
2
0
0
) (
2
1

I = -j

2
0
0
2
1
jn
e
n j
n
n

=
|
.
|

\
|

I = -j ( ) 1
1
2
1
. 2
0
|
.
|

\
|

=
n j
n
n
e
jn


Aplicando Lmites:
I =
( )
( ) ( ) 1
1
2
1
1
2
1
. 2
0
. 2
0
|
.
|

\
|
+

n j
n
n
n j
n
n
e
jn
j e
jn
j Lim


I = ( )
( )
n
e
Lim Lim
n j
n
n
n
1
.
2
1
. 2
0 0




Aplicando L'Hpital:
I =
( )
1
1 2 .
.
. 2
0

n j
n
e j
Lim

= -2j
Otra forma:
=

dz
z z
C
) 1 (
1

dz
z
dz
z
C C


+
) 1 (
1 1

Variable Compleja
Ing. Jos Faustino Montes de Oca
25
a.i
z() = e
j
0 2
dz = j e
j
d
I =

|
.
|

\
|

+

2
0
2
0
.
1
2
1
2
1
2
1
2
1
d
e
je
d
e
je
j
j
j
j

I =

|
.
|

\
|

+

2
0
2
0
.
1
2
1
2
1
d
e
je
d j
j
j

Aplicando T.I.C, la segunda integral es cero porque la singularidad est en 1,
es decir, fuera de la regin de radio r = , entonces,
I = -2j
b) Comprobando con F.I.C se tiene:
a.i
=

dz
z z
z f
) (
) (
0
2j f(z
0
)
I = 2j =
1 0
1
-2j
Note que la funcin
1
1
z
es analtica pues excluye el punto singular de la
curva de radio r =
a.ii Curva de r = encerrando a z
0
= 1
=

) 1 (z z
dz
dz
z z
z f

) (
) (
0

Por comparacin 1/z = f(z)
f(z
0
) = 1/z
0
= 1
I = 2j (1)= 2j
Variable Compleja
Ing. Jos Faustino Montes de Oca
26
Frmula General de F.I.C
Aplicando el concepto de derivada es factible deducir una frmula ms
general dividiendo 21 por (z)

=
C
z z
z z f
z j z
z f
) (
) (
2
1 ) (
0
0


( 25 )
Haciendo la sustitucin z
0
z
0
+ z en (25)
z
z z f
z z z
z z f
z j
C

) (
) (
) (
2
1
0
0
+
=

( 26 )
Restando (25) de (26)
0 0
0 0
) (
) (
) (
2
1 ) ( ) (
z z
z z f
z z z
z z f
z j z
z f z z f
C

=
+

=


+ +
C
z z z z z
z z z z z z z f
z j ) )( (
) )( (
2
1
0 0
0 0

=
z
z f z z f
z z z z z
z z z f
z j
C

) ( ) (
) )( (
) )( (
2
1
0 0
0 0
+
=

Aplicando lmites a ambos lados se tiene:
z
z f z z f
Lim
z z z z z
z z f
j
Lim
z
C
z

) ( ) (
) )( (
) (
2
1
0 0
0
0 0
0
+
=




El segundo lmite es la definicin de derivada por tanto:
f '(z
0
) =
0
0
) (
z z
dz
z df
=

) ( ' 2
) (
) (
0
2
0
z jf
z z
dz z f
C
=

( 27 )
Variable Compleja
Ing. Jos Faustino Montes de Oca
27
Siguiendo un mtodo similar (o por induccin) se puede mostrar que:

|
.
|

\
|
=

+
C
n
n
z f
n
j
z z
dz z f
) (
!
2
) (
) (
0
) (
1
0

( 28 )
Frmula Integral de Cauchy General
Ejemplo 12
Resolver I por F.I.C donde:
I=

C
z
dz z
3
2
) 1 (
con C: z = 2
Comparando con (28) n = 2, z
0
= 1, f(z) = z
2
f''(z) = 2 no tiene sentido evaluarlo en el punto singular puesto que esta
derivada es siempre una constante, por tanto:
I = = |
.
|

\
|
2 .
! 2
2 j
2j
Desarrollo en series de Laurent (DSL)
El desarrollo en series de Laurent es forma compleja del desarrollo de Taylor.
Segn se recuerda f(x), que pertenece a los nmeros reales, puede ser
desarrollada como una serie de potencia:
f(x) =

=

0
0
) (
n
n
n
x x a ( 29 )
f(x) = a
0
+ a
1
(x-x
0
) + a
2
(x-x
0
)
2
+ ...
donde
a
n
=
!
) (
0
) (
n
x f
n
( 30 )
Por ejemplo: e
x
= =

=0
!
n
n
n
x
1 + x +
2
2
x
+ ...
Variable Compleja
Ing. Jos Faustino Montes de Oca
28
Es factible probar que para una funcin f(z), que pertenece a los nmeros
complejos, la cual es analtica para el mbito z z
0
< '
0
z z donde z' es un
punto cualquiera del entorno cerrado conexo C, en el plano z, que pertenece
a los nmeros complejos segn se muestra en la figura 12 es posible
desarrollar f(z) como un Desarrollo de Taylor.
.






Figura 12. mbito de convergencia.
f(z) =

=

n
n
n
n
z z a
0
0
) (
donde ) (
!
1
0
) (
z f
n
a
n
n
=
El mbito de convergencia de f(z) en Series de Taylor est circunscrito a:
'
0
0
z z
z z

< 1
Ejemplo 13
Encontrar el desarrollo de e
z
= f(z). Desarrollar alrededor de z
0
= 0
a
0
= 1
! 0
1
) 0 (
= e
a
1
=
0
) ( '
! 1
1
= z
z e
a
2
= 1 .
! 2
1

a
3
= 1 .
! 3
1

'
0
z z
z
0
z

C

Variable Compleja
Ing. Jos Faustino Montes de Oca
29
.a
i
=
!
1
i
Trmino Genrico
e
z
=

=0
!
1
n
n
z
n

El mbito de convergencia es para todo z. La funcin e
z
es analtica, no se
indefine, no tiene irregularidades, z' entonces para todo z z
0
< '
0
z z
la funcin es vlida.






Figura 13. Regiones de convergencia.
Si una funcin f(z) es no analtica en un punto z
0
, y se tiene una sola curva C
constituida por dos curvas C
1
y C
2
. Si el camino de conexin entre C
1
y C
2
es
el mismo en diferentes sentidos. Esto define dos regiones:
0
z z < r, donde f(z) es no analtica
r <
0
z z < R, donde f(z) es analtica.
Se supone que el contorno no contiene singularidades de f(z).
La serie de Laurent contempla una expresin para este tipo de funciones:
f(z) =

=

1
0
) (
n
n
n
z z a +

=

1 0
) (
n
n
n
z z
b
( 31 )
donde
) (
!
1
0
) (
z f
n
a
n
n
= =

+

2
1
0
) (
) (
2
1
C
n
z z
dz z f
j
( 32 )
z
0
r

R
C
2

C
1

Variable Compleja
Ing. Jos Faustino Montes de Oca
30
b
n
=

+

1
1
0
) (
) (
2
1
C
n
z z
dz z f
j
( 33 )
Expresando f(z) en forma ms compacta:
f(z) =

=

n
n
n
n
z z C
0
0
) ( donde a
n =
C
n
para n 0
con
C
n
=

+ =
+

2 1
1
0
) (
) (
2
1
C C C
n
z z
dz z f
j

Sin embargo no es, en muchos casos, necesario calcular el desarrollo con
base en (32) y (33.)
Ejemplo 14
Calcular Serie de Laurent de f(z) = z
2
.e
1/z
desarrollado alrededor de z
0
= 0
e
z
=

=0
!
1
n
n
z
n

entonces
z
2
.e
1/z
=

=
|
.
|

\
|
0
2
1
!
1
n
n
z
z
n

z
2
.e
1/z
=

=

0
2
!
1
n
n
z z
n

z
2
.e
1/z
=

|
.
|

\
|
0
2
1
!
1
n
n
z n

f(z) = z
2
.e
1/z
= z
2
+ z + ...
! 5
1
! 4
1
! 3
1
2
1
3 2
+ + + +
z z
z

Note que los trminos z
2
+ z+1/2 son la parte analtica de f(z). El resto
constituye la parte no analtica de f(z) en z=0.
Variable Compleja
Ing. Jos Faustino Montes de Oca
31
Ejemplo 15
Calcular el DSL de f(z)
f(z) =
) 1 (
1
z z
para z < 1
f(z) =
|
|
.
|

\
|
) 1 (
1 1
z z

Empleando la serie geomtrica
f(z) =
) 1 (
1
z z
=

0
1
n
n
z
z
=
z
1
- 1 - z - z
2
- z
3
Variable Compleja
Ing. Jos Faustino Montes de Oca
32
Ejercicios
1.
a) Pruebe que:

=
+
=

n
i
i
n
w
w
w
0
1
1
1

Utilcela para probar que la suma de las races ensimas de la
unidad es cero.
b) A partir del punto a, demostrar que:

=
=

0
1
1
n
n
w
w
1 w
2. Calcular la parte real e imaginaria de
2
z
e

.
3. Hallar los puntos en los cuales las funciones no son analticas y los
ceros.
a)
1
1

z
e
b)
z sen
1
c)cos(z)-1 d)z tang (z)
e)
1
) cos(
2
+ z
z

4. Resolver las siguientes integrales complejas sobre las curvas indicadas.
Intentar la resolucin directa. En ltimo recurso emplear TIC y FIC.

+ +
c
dz
z z
2
1
1
donde c es un crculo de radio = , centrado en el
origen.
dz
z z
z
c

+
) 5 (
) sen( 3
donde c es un crculo 4 = z .
Variable Compleja
Ing. Jos Faustino Montes de Oca
33

+ +
+
c
dz
z z
z
3 4
1
2
donde c es un cuadriltero definido por los puntos
(2+j), (-2+j), (-2-j), (2-j).

c
z
dz
j z
ze
donde c es un crculo z = 2.
5. Demuestre:
jsen(z) = senh(jz)
cos(z) = cosh(jz)
sen(jz) = jsenh(z)
cos(jz) = cosh(z)
6. Utilizando las siguientes identidades:
2
) cos(
jz jz
e e
z

+
=
j
e e
z
jz jz
2
) sen(

=
demuestre que: sen(z) = sen(x) cosh(y) + j cos(x) senh(y).
7. Encuentre todos los ceros de:
a) sen(z) b) cos(z) c) senh(z) d)cosh(z)
8. Demuestre que:
a) ( )
|
.
|

\
|
+ =
2
1 2 ln arcsen z j j z
b) ( )
|
.
|

\
|
+ =
2
1 2 ln arccos z j z
9. Si w(z) = u(x,y) + j v(x,y), adems u y v cumplen con las condiciones de
Cauchy Riemann demuestre que:
0
2
2
2
2
2
= + =
y
u
x
u
u

y que 0
2
2
2
2
2
= + =
y
v
x
v
v

10. Si w(z) = u(x,y) +j v(x,y) es analtica, encuentre:
a) v(x,y) si
2 2
3 ) , ( xy x y x u =
Variable Compleja
Ing. Jos Faustino Montes de Oca
34
b) u(x,y) si ) sen( ) , ( x e y x v
y
=
11. Suponga que w(z) = U(r,)
) , ( r jv
e (en polares), demuestre que las
condiciones de C.R. en coordenadas polares son:

r
v u
r
u
= y
r
v
u
u
r

=
1

12. Simplifique
a)
(
(

+
) 4 3 (
) 2 (
2
j
j

b)
3 1
2
j +

c) ( )
6
3 j +
13. Encontrar las races de los siguientes nmeros complejos:
a) j 2
b) j
c) c)
3
1
d)
6
8
e) ( )2
3
3 1 j +
f)
4
3
) 1 (


Variable Compleja
Ing. Jos Faustino Montes de Oca
35
Bibliografa:
1. Arfken, G. Mtodos Matemticos para Fsicos. 1. ed. Diana. Mxico.
1981.
2. Spiegel, M. Variable Compleja. 1. ed. McGraw Hill, Mxico. 1991.
3. Churchill, R. Variable Compleja y Aplicaciones. 4. ed. McGraw Hill,
Mxico. 1986.