T U


  N S
 W
S  E
 E 
C
 S  E

The Élan
Am386SC300
Portable Computer

John Zaitseff (2120715)

Bachelor of Engineering (Computer Engineering)
October 1995

Supervisor: A/Prof. Branko Celler

Assessor: Dr. Tim Hesketh
Contents

1 Variable compleja 1
1.1 Potenciación y raices complejas . . . . . . . . . . . . . . . . . . . . . . 11
1.2 Variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3 Límites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4 Integración compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.5 Serie compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
1.5.1 Binomio de Newton . . . . . . . . . . . . . . . . . . . . . . . . 46
1.5.2 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.6 Integrales indefinidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

i
List of Figures

ii
List of Tables

iii
Chapter 1

Variable compleja

Definition 1 : (Campo o cuerpo) Sea A un conjunto no vacío, donde estan definidas

la suma + y el producto ·, se dice que A es un campo si en A se satisfacen las siguientes
condiciones:
Bajo la suma:
1. Cerradura: Si a ∈ A y b ∈ A entonces a + b ∈ A
2. Asociatividad: Si a ∈ A, b ∈ A y c ∈ A entonces (a + b) + c = a + (b + c)
3. Conmutatividad: Si a ∈ A y b ∈ A entonces a + b = b + a
4. Modulatividad: Existe en A un elemento b ∈ A tal que para todo a ∈ A se tiene que
a + b = b + a = a a este elemento se le llama neutro y se le denota por b = 0
5. Invertividad: Si a ∈ A entonces existe en A un elemento b ∈ A tal que a + b =
b + a = 0. Este elemento b se le conoce con el nombre de inverso aditivo y se le denota
por b = −a, asi que la operación queda descrita por a + (−a) = (−a) + a = 0
Bajo la multiplicación
1. Cerradura: Si a ∈ A y b ∈ A entonces a · b ∈ A
2. Asociatividad: Si a ∈ A, b ∈ A y c ∈ A entonces (a · b) · c = a · (b · c)
3. Conmutatividad: Si a ∈ A y b ∈ A entonces a · b = b · a
4. Modulatividad: Existe en A un elemento b ∈ A tal que para todo a ∈ A se tiene que
a · b = b · a = a, a este elemeto b se le conoce con nombre de módulo y se lenota como
b = e ó b = 1 en tal caso se tiene que a · e = e · a = a ó a · 1 = 1 · a = a
5. Invertividad: Exite en A elementos b ∈ A tales que para algún a ∈ A a·b = b·a = e ó
a · b = b · a = 1, a este elemento b se le conoce con el nombre de inverso multiplicativo y
se le denota por b = a−1 y por consiguiente en la operación se tiene a·a−1 = a−1 ·a = e
ó a · a−1 = a−1 · a = 1
6. Distributividad: Si a ∈ A, b ∈ A y c ∈ A entonces a · (b + c) = a · b + a · c

Definition 2 : (Extensión de un conjunto) Sea A un conjunto no vació donde estan

bien definidas la suma y la multiplicación, sea m ∈
/ A y sea U = A + {m} , si en U

1
1. Variable compleja 2

se conservan la suma y la multiplicación definidas en A se dice entonces que U es

una extensión de A ademas de que en U estan correctamente definidas la suma y la
multiplicación

Nota 3 : La ecuación x2 + 1 = 0 no presenta solución en los reales ya que todo

número elevado al cuadrado siempre es positivo, por tal razón no existe en R un elemte
tal que al elevarlo alcuadrado y sumarlo con uno de por resultado cero, se define por
consiguieente solución a la anterior ecuación la forma:

√ 2
x2 − −1 = 0

cuya factorización es :

√ 
√ 
x − −1 x + −1 = 0
de donde el producto de dos númereos es cero si y solo si uno de ellos es cero, por lo
tanto

√ 
√ 
x − −1 x + −1 = 0
si y solo si
√ √
x− −1 = 0 ó x+ −1 = 0
de donde
√ √
x= −1 ó x = − −1
√
a este valor de −1 se le denotará por la letra i ó la letra j preferiblemente, luego

x=j ó x = −j

Theorem 4 : El conjunto C = R + {j} es una extensión de R donde en C se define

la suma como a + j y el producto como a · j = aj preferiblemete a + j se denotará como
(a, 1) y aj se denotará como (0, a) . Se define la operación suma dentro del conjunto
como: Para (a, b) ∈ C y (m, n) ∈ C se define la suma en C como:

(a, b) + (m, n) = (a + m, b + n)

y se define el producto como:

(a, b) · (m, n) = (am − bn, an + bn)

Proof. : La prueba es inmediata ya que como se define la suma externa a + j =

(a, 1) ,define un elemento del conjunto C, que no esta en R, igualmente a · j = (0, a)
describe un elemento de C, que no esta en R, además define que un elemento (a, b) ∈
C opera bajo la suma con otro elemento (m, n) ∈ C y dicha operación recae en la
forma forma de elementos definida en C, de igual forma se define el producto. Por
consiguiente C es una extensión de R.
1. Variable compleja 3

Theorem 5 : El conjunto C definido anteriormente bajo las operaciones de suma y

multiplicación definidas allí es un cuerpo o campo.

Proof. : Bajo la suma

1. Cerradura: Note que como esá definida la suma en C se tiene que C es cerrado bajo
la suma, ya que si (a, b) ∈ C y (m, n) ∈ C entonces

(a, b) + (m, n) = (a + m, b + n)

esta en C.
2. Asociatividad: Sean (a, b) ∈ C, (m, n) ∈ C y (x, y) ∈ C, entonces:

((a, b) + (m, n)) + (x, y) = (a + m, b + n) + (x, y)

= ((a + m) + x, (b + n) + y)
= (a + (m + x) , b + (n + y))
= (a, b) + (m + x, n + y)
= (a, b) + ((m, n) + (x, y))

3. Conmutatividad: Sean (a, b) ∈ C y (m, n) ∈ C entonces

(a, b) + (m, n) = (a + m, b + n)
= (m + a, n + b)
= (m, n) + (a, b)

4. Modulatividad: Sean (a, b) ∈ C, veamos que existe un elemento (x, y) ∈ C, tal que

(a, b) + (x, y) = (a, b)

esto es
(a, b) + (x, y) = (a + x, b + y) = (a, b)

esto implica que a + x = a y b + y = b por lo tanto a + x ∈ R, al igual que b + y ∈ R

entonces se concluye que x = 0 e y = 0, por lo tanto el módulo de la suma en C es
(0, 0) esto implica que para cualquier (a, b) ∈ C, se tiene que

(a, b) + (0, 0) = (0, 0) + (a, b) = (a, b)

5. Invertividad: Sean (a, b) ∈ C, veamos que existe el inverso aditivo y este se encuentra
en C. Suponga que existe (x, y) ∈ C,tal que

(a, b) + (x, y) = (0, 0)

1. Variable compleja 4

esto es:
(a, b) + (x, y) = (a + x, b + y) = (0, 0)

lo que implica que a + x = 0 y b + y = 0 como esto sucede en los R se tiene que x = −a

e y = −b, por consiguiente el inverso aditivo de (a, b) es (−a, −b) , luego

(a, b) + (−a, −b) = (−a, −b) + (a, b) = (0, 0)

Bajo el producto:
1. Cerradura: Por definición el producto esta bien definido y la multiplicación recae
en el conjunto, si (a, b) ∈ C, y (m, n) ∈ C entonces

(a, b) · (m, n) = (am − bn, an + bm)

esta en C. Por lo tanto C es cerrado bajo el producto.

2. Asociatividad: Sean (a, b) ∈ C, (m, n) ∈ C y (x, y) ∈ C,entonces

((a, b) · (m, n)) · (x, y) = (am − bn, an + bm) · (x, y)

= ((am − bn) x − (an + bm) y, (am − bn) y + (an + bm) x)

= (amx − bnx − any − bmy, amy − bny + anx + bmx)
= (a (mx − ny) − b (nx + my) , a (my + nx) + b (mx − ny))
= (a, b) (mx − ny, nx + my)
= (a, b) ((m, n) · (x, y))

por lo tanto C es asociativo.

3. Conmutatividad: Sean (a, b) ∈ C y (m, n) ∈ C, entonces:

(a, b) · (m, n) = (am − bn, an + bm)

= (ma − nb, na + mb)
= (m, n) · (a, b)

por lo tanto C es conmutativo

4. Modulativiadad: Sea (a, b) ∈ C veamos que en C existe un (x, y) tal que

(a, b) · (x, y) = (a, b)

en efecto
(a, b) · (x, y) = (ax − by, ay + bx) = (a, b)

lo que implica que:

ax − by = a y ay + bx = b
1. Variable compleja 5

analizando y resolviendo el sistema de ecuaciones lineales se tiene que:

ax − by = a (a)
bx + ay = b (b)

a2 x − aby = a2
b2 x + aby = b2

sumando de arriba hacia abajo se tiene

2 
a + b2 x = a2 + b2

de donde
x=1

sustituyendo x en cualquiera de las dos ecuaciones se tiene:

a (1) − by = a
−by = 0

luego
y=0

si b = 0 por lo tanto (x, y) = (1, 0) siendo este el módulo de la multiplicación.

5. Invertividad: Sea (a, b) ∈ C, veamos que existe en C un (x, y) tal que

(a, b) · (x, y) = (1, 0)

esto es:
(a, b) · (x, y) = (ax − by, ay + bx) = (1, 0)

lo que implica que

ax − by = 1 y ay + bx = 0

resolviendo el sistema de ecuaciones lineales se tiene que:

ax − by = 1 (a)
bx + ay = 0 (b)

a2 x − aby = a
b2 x + aby = 0
1. Variable compleja 6

sumando de arriba hacia abajo componente a componente se tiene que:

2 
a + b2 x = a
a
de donde x = 2 . Al sustituir este valor en cualquiera de las dos ecuaciones
a + b2
anteriores se tiene:
a
b 2 + ay = 0
a + b2
de donde
b
y=− 2
a + b2
 
a b
con esto se concluye que el inverso multiplicativo de (a, b) es (x, y) = ,−
a2 + b2 a2 + b2
6. Distributiviada: Se deja como ejercicio para el lector.

Definition 6 : Sea (a, b) ∈ C, se define el complejo conjugado de (a, b) al complejo

(a, −b) y se denota por (a, b), es decir:

(a, b) = (a, −b)

Nota 7 : Note que

(a, b) · (a, b) = (a, b) · (a, −b)


= a2 + b2 , −ab + ab


= a2 + b2 , 0

el cual seguiremos denotando por

(a, b) · (a, b) = a2 + b2 = |(a, b)|2

Nota 8 Por conveniencia en la manejo matemático de la variable compleja se define

el complejo (x, y) como x + jy y por consiguinete para complejos (x1 , y1 ) y (x2 , y2 ) se
tiene que
(x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 )

se presentaría como:

(x1 + jy1 ) + (x2 + jy2 ) = (x1 + x2 ) + j (y1 + y2 )

análogamente
(x1 , y1 ) · (x2 , y2 ) = (x1 x2 − y1 y2 , x1 y2 + x2 y1 )

se presentaría como:

(x1 + jy1 ) · (x2 + jy2 ) = (x1 x2 − y1 y2 ) + j (x1 y2 + x2 y1 )

1. Variable compleja 7

por otro lado la magnitud al cuadrado del complejo (x, y) vendría estando dada por:


|(x, y)|2 = (x, y) (x, y) = x2 + y2 , 0

que bajo la operación anterior estaría dado por:

|x + jy|2 = (x + jy) (x + jy) = (x + jy) (x − jy) = x2 + y2

√
√ 2
Nota 9 : Note que j = −1 y j 2 = −1 = −1. Ahora note que j 3 = j 2 j =
(−1) j = −j y j 4 = j 2 j 2 = (−1) (−1) = 1. Si se calcula j 5 = j 4 j = (1) j = j y
j 6 = j 4 j 2 = −1, ahora j 7 = j 4 j 3 = −j por último j 8 = j 4 j 4 = 1 se puede entonces
concluir que j n es cíclico de orden cuatro, es decir que se repite cada cada residuo
módulo 4.

Example 10 : Encuentre el valor de:

1. j 782 = j 2 = −1
2. j 1557 = j 1 = j
1 1j
3. j −4593 = j −1 = = = −j
j jj
4. j 193359 = j 3 = −j

Recuerde 11 : De la serie de Taylor se tiene que:

x2 x3 xn
ex = 1 + x + + + .... + + ... (1.1)
2! 3! n!
x3 x5 x7 x2n+1
sen (x) = x − + − + ... + (−1)n + ... (1.2)
3! 5! 7! (2n + 1)!
x2 x4 x6 x2n
cos (x) = 1 − + − + ... + (−1)n + ... (1.3)
2! 4! 6! (2n)!

Que sucede si sustituimos en 1.1.la x por (jθ) se tiene:

jθ (jθ)2 (jθ)3 (jθ)n

e = 1 + jθ + + + .... + + ...
2! 3! n!
θ2 θ 3 θ4 θ 5 θ6 θ7 (jθ)n
= 1 + jθ − −j + +j − − j + .... + + ...
 2! 3! 4! 5! 6! 7! n!
 
θ2 θ4 θ 6 (−1)n (θ)2n θ 3 θ5 θ7 (−1)n θ2n+1
= 1− + − + .... + +j θ− + − + .... +
2! 4! 6! (2n)! 3! 5! 7! (2n + 1)!
ejθ = cos (θ) + j sin (θ)

Conocida como la identidad de Euler

ejθ = cos (θ) + j sin (θ)

1. Variable compleja 8

Nota 12 : Dado que ejθ = cos (θ) + j sin (θ) , entonces para cos (−θ) = cos (θ) y
sin (−θ) = − sin (θ) se tiene que:

e−jθ = cos (−θ) + j sin (−θ)

e−jθ = cos (θ) − j sin (θ)

realicemos l siguiente operación

ejθ + e−jθ = cos (θ) + j sin (θ) + cos (θ) − j sin (θ)
ejθ + e−jθ = 2 cos (θ)

de donde
ejθ + e−jθ
cos (θ) =
2
Por otro lado:

ejθ − e−jθ = cos (θ) + j sin (θ) − cos (θ) + j sin (θ)
ejθ + e−jθ = 2j sin (θ)

de donde
ejθ − e−jθ
sin (θ) =
2j
Conocidas como las identidades trigonométricas de Euler.

Observe que todo z = x + jy ∈ C, se puede escribir de la forma

z = x + jy = r cos (θ) + jr sin (θ)

= r (cos (θ) + j sin (θ)) = rejθ

conocida como la forma fasorial de un complejo.

Nota 13 : Se define como fasor de un complejo z a la fase de z y se denota por

z =θ

Theorem 14 :(Propiedades de los complejos) Sean z1 y z2 dos números complejos

entonces:
1. z1 + z2 = z1 + z2
2. z1 · z2 = z1 · z2
z1 z1
3. =
z2 z2
4. |z1 + z2 | ≤ |z1 | + |z2 |
5. |z1 · z2 | = |z1 | · |z2 |
z1 |z1 |
6. =
z2 |z2 |
1. Variable compleja 9

Proof. : Sean z1 = x1 + jy1 y z2 = x2 + jy2 entonces:

1.

z1 + z2 = (x1 + jy1 ) + (x2 + jy2 ) = (x1 + x2 ) + j (y1 + y2 )

= (x1 + x2 ) − j (y1 + y2 ) = (x1 − jy1 ) + (x2 − jy2 )
= z1 + z2

2.

z1 · z2 = (x1 + jy1 ) · (x2 + jy2 )

= (x1 x2 − y1 y2 ) + j (y1 x2 + y2 x1 )
= (x1 x2 − y1 y2 ) − j (y1 x2 + y2 x1 )
= (x1 − jy1 ) · (x2 − jy2 )
= z1 · z2

3.
     
z1 x1 + jy1 (x1 + jy1 ) · (x2 − jy2 )
= =
z2 x2 + jy2 (x2 + jy2 ) · (x2 − jy2 )
 
(x1 x2 + y1 y2 ) + j (y1 x2 − y2 x1 )
=
x22 + y22
(x1 x2 + y1 y2 ) − j (y1 x2 − y2 x1 )
=
x22 + y22
(x1 − jy1 ) · (x2 + jy2 ) (x1 − jy1 )
= =
(x2 + jy2 ) · (x2 − jy2 ) (x2 − jy2 )
z1
=
z2

4. Note que

z · z = (x + jy) · (x − jy)
= x2 + y 2 = |z|2

por lo tanto

|z1 + z2 |2 = (z1 + z2 ) (z1 + z2 ) = (z1 + z2 ) (z1 + z2 )

= z1 z1 + z1 z2 + z1 z2 + z2 z2
= |z1 |2 + z1 z2 + z1 z2 + |z2 |2
1. Variable compleja 10

observe que:

z1 z2 + z1 z2 = (x1 − jy1 ) (x2 + jy2 ) + (x1 + jy1 ) (x2 − jy2 )

= 2x1 x2 + 2y1 y2 (*)

Note que

2 |z1 | |z2 | = 2 x21 + y12 x22 + y22



= 2 x21 + y12 x22 + y22

= 2 x21 x22 + x21 y22 + x22 y12 + y12 y22 (*/*)

Compare (∗) con (∗∗)

??
2x1 x2 + 2y1 y2 = 2 x21 x22 + x21 y22 + x22 y12 + y12 y22

elevando a ambos lados al cuadrado se tiene:

??
(x1 x2 + y1 y2 )2 = x21 x22 + x21 y22 + x22 y12 + y12 y22
??
x21 x22 + 2x1 x2 y1 y2 + y12 y22 = x21 x22 + x21 y22 + x22 y12 + y12 y22
??
2x1 x2 y1 y2 = x21 y22 + x22 y12
??
0 = x21 y22 − 2x1 x2 y1 y2 + x22 y12
??
0 = (x1 y2 − x2 y1 )2
0 ≤ (x1 y2 − x2 y1 )2

por lo tanto

2x1 x2 + 2y1 y2 ≤ 2 x21 x22 + x21 y22 + x22 y12 + y12 y22

por lo tanto
z1 z2 + z1 z2 ≤ 2 |z1 | |z2 |

de donde
|z1 |2 + z1 z2 + z1 z2 + |z2 |2 ≤ |z1 |2 + 2 |z1 | |z2 | + |z2 |2

esto es

|z1 + z2 |2 ≤ |z1 |2 + 2 |z1 | |z2 | + |z2 |2

|z1 + z2 |2 ≤ (|z1 | + |z2 |)2

de donde
|z1 + z2 | ≤ |z1 | + |z2 |
1. Variable compleja 11

5.

|z1 · z2 | = |(x1 + jy1 ) · (x2 + jy2 )|

= |x1 x2 − y1 y2 + j (x1 y2 + x2 y1 )|

= (x1 x2 − y1 y2 )2 + (x1 y2 + x2 y1 )2

= x21 x22 + x21 y22 + x22 y12 + y12 y22



= x21 + y12 x22 + y22




2 
= 2
x1 + y1 2 x2 + y22
= |z1 | · |z2 |

6.

z1
= x1 + jy1 = (x1 + jy1 ) (x2 − jy2 )
z2 x2 + jy2 (x2 + jy2 ) (x2 − jy2 )

x1 x2 + y1 y2 − j (x1 y2 − x2 y1 )
=

x22 + y22

(x1 x2 + y1 y2 )2 + (x1 y2 − x2 y1 )2
=
x22 + y22

x21 x22 + x21 y22 + x22 y12 + y12 y22
=
x22 + y22







2 
x21 + y12 x22 + y22 x21 + y12 x2 + y22
= =  2
x22 + y22
x22 + y22



x21 + y12 |z1 |
=  2 =
x2 + y22 |z2 |

1.1 Potenciación y raices complejas

Definition 15 : Se define la potencia de un complejo z ∈ C al complejo dado por z n
con n ∈ C

Nota 16 : Tenga presente que si z ∈ C, entonces z puede escribirse como:

z = x + jy = rejθ
 y
con r = x2 + y 2 y θ = arctan , por lo tanto
x
 n
z n = rejθ = rn ejθn = rn (cos (nθ) + j sin (nθ))
1. Variable compleja 12

conocido como el teorema de D’Möivre. Acabamos de demostrar el siguiente teorema

Theorem 17 :(Teorema de D’Möivre) Sea

z = x + jy = r (cos (θ) + j sin (θ))

entonces z n = (x + jy)n = rn (cos (nθ) + j sin (nθ))

Example 18 : 1. Calcular (1 + j)5 .

2. Calcular j j .
 √ 1−j
3. Calcular 12 + j 23

Solution 19 : 1.
√ π 5     
5 j
√ 5π j √ 5π 5π
(1 + j) = 2e 4 = 4 2e 4 = 4 2 cos + j sin
4 4
 √ √ 
√ 2 2
= 4 2 − −j = −4 − 4j
2 2

2.  π j π
j j = 1e 2 j = e− 2

3.
 √ 1−j
1 3  π 1−j π π π
+j = e3j = e 3 j(1−j) = e 3 j+ 3
2 2
π
 π  π
= e 3 cos + j sin
√ 3  3
π 3 1
= e3 +j
2 2

Tenga presente que dada una ecuación polinómica de la forma

axn + b = 0

se espera que éstacontenga n soluciones que satisfagan tal ecuación. Pero ai de axn +
b = 0 se despeja la variable x, entonces se obtiene la ecuación:

n b
x= −
a

b b
Luego para n ∈ N las n raices tiene que salir n − , por lo tanto si se escribe − en
a a
su forma polar se obtiene que:
b
− = rejθ
a
1. Variable compleja 13

por lo que
√
n
x= rejθ

Tenga presente que

cos (θ + 2π) = cos (θ) cos (2π) − sin (θ) sin (2π) = cos (θ)
sin (θ + 2π) = sin (θ) cos (2π) + cos (θ) sin (2π) = sin (θ)

por lo tanto ejθ = ej(θ+2kπ) con k ∈ N. Por consiguiente:


n 1 (θ+2kπ)
x = rej(θ+2kπ) = r n ej n
(θ+2kπ)
observe que si k es múltiplo de n entonces la posición de ej n se repite y caería en
el mismo lugar, así qu la n raices del polinomio se encuentran en todos los vaslores de
k ∈ {0, 1, 2, ..., n − 1} . Por lo tanto las raices del polinomio se encuentran el la frontera
(θ + 2kπ)
del círculo de radio r1n y en los ángulos dados por .
n
Acabamos de demostrar el siguiente teorema

Theorem 20 : Las raices de l complejo z se encuentran en la frontera del cel círculo

1 (θ + 2kπ)
de radio r n y en los ángulos para k ∈ {0, 1, 2, ..., n − 1}
n
√
Example 21 : 1. Calcule 5 1
√
2. CAlcule 4 j
√ 1
3 1 4
3. Calcule −j
2 2

Solution 22 1. 
√ 5 1 (2kπ) 2kπ
1 = 1ej(0+2kπ) = 1 5 ej 5 = ej 5
5

2(0)π
z0 = ej 5 =1
    

2(1)π
j 5 2π 2π 1√ 1 1√ √
z1 = e = cos + j sin = 5− +j 2 5+5
5 5 4 4 4
    

2(2)π 4π 4π 1√ 1 1√ √
z2 = ej 5 = cos + j sin =− 5− +j 2 5− 5
5 5 4 4 4
    

2(3)π 6π 6π 1√ 1 1√ √
z3 = ej 5 = cos + j sin =− 5− +j − 2 5− 5
5 5 4 4 4
    

2(4)π 8π 8π 1√ 1 1√ √
z4 = ej 5 = cos + j sin = 5− +j − 2 5+5
5 5 4 4 4
2.

 4 1 ( π2 +2kπ)
1ej ( 2 +2kπ) = 1 4 ej 4 = ej ( 8 + 2 )
π π kπ
4
j=
1. Variable compleja 14

 π π
π (0)π
j + 2 π
z0 = e 8
= ej 8 = cos + j sin

 8  8 
j π
+ (1)π 5π 5π 5π
z1 = e 8 2
= ej 8 = cos + j sin
8 8

    
j π (2)π
+ 2 9π 9π 9π
z2 = e 8
= ej 8 = cos + j sin
8 8

    
j π
+ (3)π j 13π 13π 13π
z3 = e 8 2
= e 8 = cos + j sin
8 8
3. √ 1

3 1 4 4 11π 1 ( 11π
6 +2kπ ) 11π
= 1ej ( 6 +2kπ) = 1 4 ej = ej ( 24 + 2 )
kπ
−j 4
2 2

    
j 11π (0)π
+ 2 j 11π 11π 11π
z0 = e 24
=e 24 = cos + j sin
24 24

    
j 11π
+ (1)π 23π 23π 23π
z1 = e 24 2
= ej 24 = cos + j sin
24 24

    
j 11π (2)π
+ 2 35π 35π 35π
z2 = e 24
= ej 24 = cos + j sin
24 24

    
j 11π
+ (3)π 47π 47π 47π
z3 = e 24 2
= ej 24 = cos + j sin
24 24

1.2 Variable compleja

Definition 23 : (Variable compleja) Se define la variable compleja como z = x + jy
llamada forma Cartesiana jθ
  y o forma de Argant o también como z = re con r =
x2 + y 2 y θ = arctan conocida como la forma de Euler
x
Definition 24 : (producto cartesiano) Se define el producto cartesianop entre A y B
como:
A × B = {(a, b) /a ∈ A y b ∈ B}

Example 25 : Sea A = {1, m, t} y sea B = {3, n, 6, u} entonces el producto carte-

siano A × B está dado por:

A × B = {(1, 3) , (1, n) , (1, 6) , (1, u) , (m, 3) , (m, n) , (m, 6) , ...

(m, u) , (t, 3) (t, n) , (t, 6) , (t, u)}

Definition 26 : (Relación) Sean A y B dos conjuntos y A × B su producto carte-

siano, se dice que R es una relación entre A y B lo cual se denota por:

R:A→B ó ARB
si R ⊂ A × B
1. Variable compleja 15

Example 27 : Sea A = {1, m, t} y sea B = {3, n, 6, u} entonces una relación R1 esta

dada por:
R1 = {(1, 3) , (1, n) , (m, n) , (t, 3)}

Una relación R2 puede ser:

R2 = {(1, 3) , (1, n) , , (m, 3) , (m, 6) , (t, 3)}

Definition 28 : (Dominio, codominio y rango) Sean A y B dos conjuntos y R una

relación entre A y B, se define el dominio de la relación R como el conjunto formado
por los a ∈ A tal que (a, b) ∈ R. Se define el codominio de la relación R como el
conjunto B tal que existe un b ∈ B tal que (a, b) ∈ R. Se define el rango de R al
conjunto formado por los b ∈ B tal que (a, b) ∈ R

Definition 29 (Función) Sean A y B dos conjuntos y sea R una relación de A en B

se dice que R es una función de A en B si se cumplen las siguientes dos condiciones.
1. Todo elemento del conjunto de partida es dominio
2. Todo elemento del dominio tiene una y solo una imagen.

Nota 30 : La función de variable compleja esta definida igual a como esta definida
la función entre conjuntos, es decir, F : U → C es una función de variable compleja
si U ⊂ C y :
1. Todo elemento de U tiene imagen
2. Todo elemento de U tiene una y solo una imagen.
A la función F se le seguirá llamando mapeo, dado que su dominio es un gràfico en el
plano de Argant y su imagen será por consiguiente otro gráfico en el plano imagen de
Argant.
Tenga presente que F : U → C es una función de variable compleja, entonces para
(x, y) ∈ U su imagen es

F (x, y) = (u, v) = (u (x, y) , v(x, y)) = u (x, y) + jv (x, y)

A los conjuntos U ⊂ C se les conoce en variable compleja como dominios de C.

Example 31 : En que es mapeado el dominio y = ax+b a través del mapeo f (z) = z 2

Solution 32 : Primero se debe escribir la función f (z) = z 2 en términos de x y y,

con el fin de identificar quienes son u y v. Por lo tanto:

f (x, y) = (x + jy)2 = x2 − y 2 + 2jxy

1. Variable compleja 16

de donde u = x2 −y2 y v = 2xy, debemos en ambas ecuaciones eliminar los parámetros

x y y de tal forma que v quede en términos de u.

u = x2 − (ax + b)2 v = 2x (ax + b)


u = x2 1 − a2 − 2axb − b2 v = 2ax2 + 2xb

en ambas ecuaciones despejamos la x, obteniendo que:


2ab ± 4a2 b2 − 4 (1 − a2 ) (−b2 − u)
x =
2 (1 − a2 )

−2b ± 4b2 − 4 (2a) (−v)
x =
4a
por lo tanto de estas dos últimas ecuaciones sde tiene:
 
2ab ± 4a2 b2 − 4 (1 − a2 ) (−b2 − u) −2b ± 4b2 − 4 (2a) (−v)
=
2 (1 − a2 ) 4a
Luego se despeja a v en términos de u y se podrá por lo tanto trazar la curva asociada.
Se deja como ejercicio para el lector realizar esta operación.

Example 33 : En que es mapeado el dominio x = k, a través del mapeo f (z) = ez .

Solution 34 : Remedando el proceso anterior se tiene:

f (x, y) = ex+jy = ex ejy = ex (cos (y) + j sin (y))

= ex cos (y) + jex sin (y)

de donde
u (x, y) = ex cos (y) y v (x, y) = ex sin (y)
como x = k se tiene entonces que

u (x, y) = ek cos (y) y v (x, y) = ek sin (y)

de donde
u v
= cos (y) y = sin (y)
ek ek
 u 2  v 2
= cos2 (y) y = sin2 (y)
ek ek
por lo tanto
 u 2  v 2
1 = cos2 (y) + sin2 (y) = +
ek ek
obteniendo por consiguiente
u2 + v2 = e2k
la cual es una circunferencia de radio ek
1. Variable compleja 17

Example 35 : En que es mapeado y = k a través del mismo mapeo f (z) = ez

Solution 36 : Del resultado obtenido en el ejrcicio anterior se tiene que:

u (x, y) = ex cos (y) y v (x, y) = ex sin (y)

como y = k se tiene por consiguiente que

u (x, y) = ex cos (k) y v (x, y) = ex sin (k)

Ahora si dividimos v sobre u se obtiene:

v ex sin (k)
= x = tan (k)
u e cos (k)
de donde
v = tan (k) u
la cual es una recta que pasa por el origen y ntiene pendiente tan (k)

Existen diferentes mapeos y muchhos de ellos deben su nombre a su condición. El

mapeo lineal es conocido por su forma ya que esta definido por f (z) = z, análogamente
el mapeo cuadrático esta dado por f (z) = z 2 . Por otro lado otros mapeo son conocidos
por lo acción que realiza sobre el dominio, uno de ellos es el mapeo de inversión
1
f (z) = dado que este mapeo, invierte con respecto al eje real cualquier punto del
z
dominio.

Example 37 : en que es mapeado el dominio y = x a través del mapeo de inversión.

1 1
Solution 38 : como w = f (z) = entonces z = esto es:
z w
1 u − jv
x + jy = =
u + jv (u + jv) (u − jv)
u v
= 2 2
−j 2
u +v u + v2
de donde
u v
x= y y=−
u2
+ v2 u2 + v2
como y = x se tiene entonces que
u v
x= y x=−
u2 + v2 u2 + v2
entonces
u v
=− 2
u2 + v2 u + v2
o lo que es lo mismo
v = −u
1. Variable compleja 18

Mapeo bilinea
αz + β
Definition 39 : (Mapeo bilineal) Se define el mapeo bilineal como: f (z) =
γz + δ
para α, β, γ y δ en C y es tal que :
dilata o contrae invierte
desplaza 1 desplaza 1 αz + β
z → γz → γz + δ → → +φ=
γz + δ γz + δ γz + δ
Siendo α = γφ y β = δφ
z−1
Example 40 : 1. En que es mapeado x = k a través del mapeo bilineal f (z) =
z+1
2. En que es mapeado y = k a través del mismo mapeo
z−1
Solution 41 : Sea w = f (z) = por lo tanto
z+1
(z + 1) w = z − 1
w + wz = z − 1
wz − z = −w − 1
1+w
z =
1−w
como z = x + jy y w = u + jv se tiene entonces que
1 + u + jv (1 + u + jv) (1 − u + jv)
x + jy = =
1 − u − jv (1 − u − jv) (1 − u + jv)


1 − u2 − v 2 + 2jv
=
v2 + (u − 1)2
1 − u2 − v2 2v
= 2 +j 2
2
v + (u − 1) v + (u − 1)2
por lo tanto
1 − u2 − v2 2v
x= 2 y y=
2
v + (u − 1) v + (u − 1)2
2

1 − u2 − v2
1. Si x = k se tiene que k = de donde:
v2 + (u − 1)2

k v2 + (u − 1)2 = 1 − u2 − v2
ku2 − 2ku + kv2 + k = 1 − u2 − v2
ku2 − 2ku + kv 2 + u2 + v2 = 1 − k
(k + 1) u2 − 2ku + (k + 1) v2 = 1−k
2k 1−k
u2 − u + v2 =
(k + 1) (k + 1)
2k k2 1−k k2
u2 − u+ 2 +v
2
= +
(k + 1) (k + 1) (k + 1) (k + 1)2
 2
k 1
u− + v2 =
k+1 (k + 1)2
1. Variable compleja 19

 
k 1
La cual es una circunferencia con centro en , 0 y radio
k+1 k+1
2v
2. como y = k se tiene que: y = y por lo tanto:
v2 + (u − 1)2
2v
k =
v2 + (u − 1)2

k v2 + (u − 1)2 = 2v
ku2 − 2ku + kv2 + k = 2v
ku2 − 2ku + kv2 − 2v + k = 0
2
u2 − 2u + 1 + v2 − v = 0
k
2 2 2 1 1
(u − 1) + v − v + 2 =
k k k2
 
2 1 2 1
(u − 1) + v − =
k k2
 
1 1
La cual es una circunferencia con centro en 1, y radio .
k k

1.3 Límites
Definition 42 : Se define el l ímite de una función f (z) cuando z → z0 (z tiende a
z0 ) con z ∈ C, como:

∀ξ > 0, ∃δ > 0, tal que |z − z0 | < δ entonces |f (z) − L| < ξ

y se denota por:
lim f (z) = L
z→z0

Tenga presente que si z = x + jy y z0 = x0 + jy0 entonces

|z − z0 | < δ es |x + jy − x0 − jy0 | < δ

esto es

|(x − x0 ) + j (y − y0 )| < δ

(x − x0 )2 + (y − y0 )2 < δ
(x − x0 )2 + (y − y0 )2 < δ 2

el cual es el interior de una circunferencia con centro en (x0 , y0 ) y radio δ.

Tenga presente que f (z) = f (x, y) = u (x, y) + jv (x, y) , por lo tanto para z = x + jy
1. Variable compleja 20

y z0 = x0 + jy0 , también visto como z = (x, y) y z0 = (x0 , y0 ) , se tiene entonces que

lim f (z) = L se puede ver como:
z→z0

lim f (z) = lim f (x, y)

z→z0 (x,y)→(x0 ,y0 )
lim [u (x, y) + jv (x, y)] = lim u (x, y) + j lim v (x, y)
(x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )

los cuales son límites de funciones en varias variables.

Una de las formas de calcular los límites en varias variables es a través de la conversión
a coordenadas polares o Eulerianas, en donde x = r cos (θ) y y = r sin (θ) . note
que decir que (x, y) tiendaa (x0 , y0 ) ((x, y) → (x0 , y0 )) es lo mismo que decir que
(x − x0 , y − y0 ) tienda a (0, 0) lo que hace que el radio r del sistema en coordenadas
polares o Eulerianas tienda a 0, (r → 0) . Lo que implica que

lim [u (x, y) + jv (x, y)] = lim [u (r cos (θ) , r sin (θ)) + jv (r cos (θ) , r sin (θ))]
(x,y)→(x0 ,y0 ) r→0

z
Example 43 : Calcular lim
z→0 |z|2

Solution 44 :
z r cos (θ) + jr sin (θ)
lim = lim
z→0 |z|2 r→0 r2
cos (θ) + j sin (θ)
= lim = no existe
r→0 r
x3 + jxy2
Example 45 :Calcular lim
(x,y)→(0,0) x2 + y 2

Solution 46 :
x3 + jxy 2 r3 cos3 (θ) + jr3 cos (θ) sen2 (θ)
lim = lim
(x,y)→(0,0) x2 + y 2 r→0 r2


r3 cos3 (θ) + j cos (θ) sen2 (θ)
= lim
r→0

3 r2 
= lim r cos (θ) + j cos (θ) sen2 (θ) = 0
r→0

2x + 3jy 2
Example 47 : Calcular lim
(x,y)→(0,0) x2 + y 3

Solution 48 :
2x + 3jy 2 2r cos (θ) + 3jr2 sen2 (θ)
lim = lim
(x,y)→(0,0) x2 + y 3 r→0 r2 cos2 (θ) + r 3 sen3 (θ)


r 2 cos (θ) + 3jrsen2 (θ)
= lim 2
r→0 r (cos2 (θ) + rsen3 (θ))

2 cos (θ) + 3jrsen2 (θ)

= lim
r→0 r (cos2 (θ) + rsen3 (θ))
= N o existe
1. Variable compleja 21

Definition 49 :(Continuidad) Se dice que una función f (z) es continua si:

∀ξ > 0, ∃δ > 0, tal que si |z − z0 | < δ entonces |f (z) − f (z0 )| < ξ

y en tal caso se escribe como:

lim f (z) = f (z0 )

z→z0

Note que si f (z) = f (x, y) = u (x, y) + jv (x, y) se tiene entonces que al tomar el
límite
f (z) − f (z0 )
lim
z→z0 z − z0
se tendría entonces que para z = (x, y) y z0 = (x0 , y0 ) entonces
f (z) − f (z0 ) f (x, y) − f (x0 , y0 )
lim = lim
z→z0 z − z0 (x,y)→(x0 ,y0 ) x + jy − x0 − jy0
u (x, y) + jv (x, y) − u (x0 , y0 ) − jv (x0 , y0 )
= lim
(x,y)→(x0 ,y0 ) x + jy − x0 − jy0
si nos aproximamos a (x0 , y0 ) usando el eje imaginario, entonces x = x0 , y por lo tanto
f (z) − f (z0 ) u (x0 , y) + jv (x0 , y) − u (x0 , y0 ) − jv (x0 , y0 )
lim = lim
z→z0 z − z0 y→y0 jy − jy0
u (x0 , y) − u (x0 , y0 ) + j (v (x0 , y) − v (x0 , y0 ))
= lim
y→y0 j (y − y0 )
si llamamos ∆y = y − y0 , se tiene que para cuando y → y0 , entonces ∆y → 0, y por
consiguiente y = y0 + ∆y. Reemplazando todo esto en la igualdad anterior se tiene:
f (z) − f (z0 ) u (x0 , y0 + ∆y) − u (x0 , y0 ) + j (v (x0 , y0 + ∆y) − v (x0 , y0 ))
lim = lim
z→z0 z − z0 ∆y→0 j∆y
1 u (x0 , y0 + ∆y) − u (x0 , y0 ) j (v (x0 , y0 + ∆y) − v (x0 , y0 ))
= lim + lim
j ∆y→0 ∆y ∆y→0 j∆y
1 ∂u (x0 , y0 ) ∂v (x0 , y0 ) ∂v (x0 , y0 ) ∂u (x0 , y0 )
= + = −j
j ∂y ∂y ∂y ∂y
Ahora si nos aproximamos a (x0 , y0 ) por el eje real sucede que y = y0 , y por lo tanto
f (z) − f (z0 ) u (x, y0 ) + jv (x, y0 ) − u (x0 , y0 ) − jv (x0 , y0 )
lim = lim
z→z0 z − z0 x→x0 x − x0
u (x, y0 ) − u (x0 , y0 ) + j (v (x, y0 ) − v (x0 , y0 ))
= lim
x→x0 x − x0
si llamamos ∆x = x − x0 , se tiene que para cuando x → x0 , entonces ∆x → 0, y por
consiguiente x = x0 + ∆x. Reemplazando todo esto en la igualdad anterior se tiene:
f (z) − f (z0 ) u (x0 + ∆x, y0 ) − u (x0 , y0 ) + j (v (x0 + ∆x, y0 ) − v (x0 , y0 ))
lim = lim
z→z0 z − z0 ∆x→0 ∆x
u (x0 + ∆x, y0 ) − u (x0 , y0 ) j (v (x0 + ∆x, y0 ) − v (x0 , y0 ))
= lim + lim
∆x→0 ∆x ∆x→0 ∆x
∂u (x0 , y0 ) ∂v (x0 , y0 )
= +j
∂x ∂x
1. Variable compleja 22

como el límite no importa como se aproxime al punto es único entonces

∂u (x0 , y0 ) ∂v (x0 , y0 ) ∂v (x0 , y0 ) ∂u (x0 , y0 )
+j = −j
∂x ∂x ∂y ∂y
por igualdad de números complejos se tiene entonces que:
∂u ∂v ∂v ∂u
= y =−
∂x ∂y ∂x ∂y
Definition 50 : (Derivada compleja) Sea f (z) una función de variable compleja, se
dice que f es diferenciable en z0 ∈ D con D ⊂ C un dominio complejo si existe el
límite dado por:
df (z0 ) f (z) − f (z0 )
f ′ (z0 ) = = lim
dz z→z0 z − z0
Theorem 51 : (Cauchy -Riemman) Sea f (z) una función de variable compleja difer-
enciable en z0 , entonces para f (z) = f (x, y) = u (x, y) + jv (x, y) se tiene que:
∂u ∂v ∂v ∂u
= y =−
∂x ∂y ∂x ∂y
y su derivada esta dada por
df (z0 ) ∂v (x0 , y0 ) ∂u (x0 , y0 ) ∂u (x0 , y0 ) ∂v (x0 , y0 )
f ′ (z0 ) = = −j = +j
dz ∂y ∂y ∂x ∂x
Example 52 : Calcular la derivada de:
1. f (z) = z.
2. f (z) = z 2
3. f (z) = z 3
4. f(z) = ez
5. f (z) = cos (z)
6. f (z) = sen (z)
7. f(z) = senh (z)
8. f (z) = cosh (z)

Solution 53 : 1.
df (z0 ) dz d (x + jy) ∂x ∂y
= = = +j =1
dz dz dz ∂x ∂x
2.


df (z0 ) dz 2 d (x + jy)2 d x2 − y 2 + 2jxy
= = =
dz dz dz

2  dz
∂2xy ∂ x − y2
= −j = 2x + j2y = 2 (x + jy)
∂y ∂y
= 2z
1. Variable compleja 23

3.



df (z0 ) dz 3 d (x + jy)3 d x3 − 3xy 2 + j 3x2 y − y 3
= = =
dz dz
dz
 dz
∂ x3 − 3xy 2 ∂ 3x2 y − y3
= +j = 3x2 − 3y 2 + j6xy

∂x  ∂x
= 3 x2 − y 2 + j2xy = 3z 2

4.
dez dex+jy dex ejy dex (cos (y) + jsen (y))
= = =
dz dz dz dz
d (ex cos (y) + jex sen (y)) ∂ex cos (y) ∂ex sen (y)
= = +j
dz ∂x ∂x
= ex cos (y) + jex sen (y) = ex (cos (y) + jsen (y))
= ex ejy = ex+jy = ez

5. Note que
ejz + e−jz ej(x+jy) + e−j(x+jy) ejx−y + e−jx+y
cos (z) = = =
2 2 2
e−y (cos (x) + jsen (x)) + ey (cos (x) − jsen (x))
=
2
cos (x) (e−y + ey ) − jsen (x) (ey − e−y )
=
2
cos (x) (e−y + ey ) sen (x) (ey − e−y )
= −j
2 2
= cos (x) cosh (y) − jsen (x) senh (y)

por otro lado

ejz − e−jz ej(x+jy) − e−j(x+jy) ejx−y − e−jx+y
sen (z) = = =
2j 2j 2j
−y y
e (cos (x) + jsen (x)) − e (cos (x) − jsen (x))
=
2j
cos (x) (e − e ) + jsen (x) (e−y + ey )
−y y
=
2j
cos (x) (ey − e−y ) jsen (x) (e−y + ey )
= − +
2j 2j
= sen (x) cosh (y) + j cos (x) senh (y)

por lo tanto:
d cos (z) ∂ (cos (x) cosh (y)) ∂ (sen (x) senh (y))
= −j
dz ∂x ∂x
= −sen (x) cosh y − j cos (x) senh (y)
= − (sen (x) cosh y + j cos (x) senh (y))
= −sen (z)
1. Variable compleja 24

6.
dsen (z) d (sen (x) cosh (y) + j cos (x) senh (y))
=
dz dz
∂ (sen (x) cosh (y)) ∂ (cos (x) senh (y))
= +j
∂x ∂x
= cos (x) cosh (y) − jsen (x) senh (y)
= cos (z)
7. Note que
ez − e−z ex+jy − e−x−jy ex ejy − e−x e−jy
senh (z) = = =
2 2 2
ex (cos (y) + jsen (y)) − e−x (cos (y) − jsen (y))
=
2
cos (y) (ex − e−x ) + jsen (y) (ex + e−x )
=
2
cos (y) (ex − e−x ) sen (y) (ex + e−x )
= +j
2 2
= cos (y) senh (x) + jsen (y) cosh (x)
por otro lado
ez + e−z ex+jy + e−x−jy ex ejy + e−x e−jy
cosh (z) = = =
2 2 2
x −x
e (cos (y) + jsen (y)) + e (cos (y) − jsen (y))
=
2
cos (y) (ex + e−x ) + jsen (y) (ex − e−x )
=
2
cos (y) (ex + e−x ) sen (y) (ex − e−x )
= +j
2 2
= cos (y) cosh (x) + jsen (y) senh (x)
por lo tanto
d (senh (z)) d (cos (y) senh (x) + jsen (y) cosh (x))
=
dz dz
∂ (sen (y) cosh (x)) ∂ (cos (y) senh (x))
= −j
∂y ∂y
= cos (y) cosh (x) + jsen (y) senh (x)
= cosh (z)
8.
d (cosh (z)) d (cos (y) cosh (x) + jsen (y) senh (x))
=
dz dz
∂ (sen (y) senh (x)) ∂ (cos (y) cosh (x))
= −j
∂y ∂y
= cos (y) senh (x) + j cosh (x) sen (y)
= senh (z)
1. Variable compleja 25

Definition 54 : Sea f (z) una función de variable compleja diferenciable en todo el

dominio D, por lo tanto f cumple las condiciones de Cauchy - Riemman, se dirá
entonces que f es una función analítica

Theorem 55 : Sean f y g dos funciones de variable compleja analíticas en un do-

minio D, entonces:
d (f (z) ± g (z)) df (z) dg (z)
1. = ±
dz dz dz
d (f (z) · g (z)) dg (z) df (z)
2. = f (z) + g (z)
 dz  dz dz
f (z) d (f (z)) d (g (z))
d g (z) − f (z)
g (z) dz dz
3. =
dz g2 (z)
d (f ◦ g) (z) d (f (g (z))) d (f (g (z))) dg (z)
4. = =
dz dz d (g (z)) dz

Proof. : 1.
d (f (z) ± g (z)) (f (z) ± g (z)) − (f (z0 ) ± g (z0 ))
= lim
dz z→z0 z − z0
(f (z) − f (z0 )) ± (g (z) − g (z0 ))
= lim
z→z0 z − z0
(f (z) − f (z0 )) (g (z) − g (z0 ))
= lim ± lim
z→z0 z − z0 z→z0 z − z0
df (z) dg (z)
= ±
dz dz
2.
d (f (z) · g (z)) f (z) · g (z) − f (z0 ) · g (z0 )
= lim
dz z→z0 z − z0
f (z) g (z) − f (z0 ) g (z0 ) + f (z) g (z0 ) − f (z) g (z0 )
= lim
z→z0 z − z0
[f (z) g (z) − f (z) g (z0 )] + [f (z) g (z0 ) − f (z0 ) · g (z0 )]
= lim
z→z0 z − z0
f (z) [g (z) − g (z0 )] + g (z0 ) [f (z) − f (z0 )]
= lim
z→z0 z − z0
f (z) [g (z) − g (z0 )] g (z0 ) [f (z) − f (z0 )]
= lim + lim
z→z0 z − z0 z→z 0 z − z0
g (z) − g (z0 ) f (z) − f (z0 )
= lim f (z) lim + lim g (z0 ) lim
z→z0 z→z0 z − z0 z→z0 z→z0 z − z0
dg (z0 ) df (z0 )
= f (z0 ) + g (z0 )
dz dz
1. Variable compleja 26

3.
 
f (z) f (z) f (z0 ) f (z) g (z0 ) − g (z) f (z0 )
d −
g (z) g (z) g (z0 ) g (z) g (z0 )
= lim = lim
dz z→z0 z − z0 z→z0 z − z0
f (z) g (z0 ) − g (z) f (z0 ) + g (z0 ) f (z0 ) − g (z0 ) f (z0 )
= lim
z→z0 g (z) g (z0 ) (z − z0 )
[f (z) g (z0 ) − g (z0 ) f (z0 )] − [g (z) f (z0 ) − g (z0 ) f (z0 )]
= lim
z→z0 g (z) g (z0 ) (z − z0 )
g (z0 ) [f (z) − f (z0 )] − f (z0 ) [g (z) − g (z0 )]
= lim
z→z0 g (z) g (z0 ) (z − z0 )
1 g (z0 ) [f (z) − f (z0 )] − f (z0 ) [g (z) − g (z0 )]
= lim lim
z→z0 g (z) g (z0 ) z→z0 (z − z0 )
 
1 g (z0 ) [f (z) − f (z0 )] f (z0 ) [g (z) − g (z0 )]
= lim − lim
g (z0 ) g (z0 ) z→z0 (z − z0 ) z→z0 (z − z0 )
 
1 d (f (z0 )) d (g (z0 ))
= g (z0 ) − f (z0 )
g (z0 ) g (z0 ) dz dz
d (f (z0 )) d (g (z0 ))
g (z0 ) − f (z0 )
= dz dz
g 2 (z0 )
4.
d ((f ◦ g) (z)) (f ◦ g) (z) − (f ◦ g) (z0 ) f (g (z)) − f (g (z0 ))
= lim = lim
dz z→z0 z − z0 z→z0 z − z0
f (g (z)) − f (g (z0 )) g (z) − g (z0 )
= lim
z→z0 z − z0 g (z) − g (z0 )
f (g (z)) − f (g (z0 )) g (z) − g (z0 )
= lim
z→z0 g (z) − g (z0 ) z − z0

note que como g (z) es diferenciable entonces f es continua por lo tanto lim g (z) =
z→z0
g (z0 ) por lo tanto

f (g (z)) − f (g (z0 )) f (g (z)) − f (g (z0 ))

lim = lim
z→z0 g (z) − g (z0 ) g(z)→g(z0 ) g (z) − g (z0 )

por lo tanto

d ((f ◦ g) (z)) f (g (z)) − f (g (z0 )) g (z) − g (z0 )

= lim lim
dz z→z0 g (z) − g (z0 ) z→z0 z − z0
f (g (z)) − f (g (z0 )) g (z) − g (z0 )
= lim lim
g(z)→g(z0 ) g (z) − g (z0 ) z→z0 z − z0
df (g (z)) dg (z)
=
dg (z) dz
1. Variable compleja 27

Theorem 56 : Sea f (z) una función de variable compleja, entonces si f (z) es

analítica en un dominio D entonces f es continua en D.

Proof. Sea f (z) una función de variable compleja, entonces si f (z) es analítica,
entonces existe su derivada, es decir:
df (z) f (z) − f (z0 )
= lim =L
dz z→z0 z − z0
esto es que :

f (z) − f (z0 )
∀ξ > 0, ∃δ > 0, tal que |z − z0 | < δ entonces − L < ξ
z − z0

f (z) − f (z0 )
como − L < ξ entonces
z − z0

f (z) − f (z0 )
− |L| ≤ f (z) − f (z0 ) − L < ξ
z − z0 z − z0
ya que
|z| = |z + z0 − z0 | = |(z − z0 ) + z0 | ≤ |(z − z0 )| + |z0 |
de donde
|z| − |z0 | ≤ |(z − z0 )|
luego
f (z) − f (z0 )
< ξ + |L|
z − z0

f (z) − f (z0 ) |f (z) − f (z0 )|
pero =
lo cual implica que:
z − z0 |z − z0 |
|f (z) − f (z0 )|
< ξ + |L|
|z − z0 |
esto es:
|f (z) − f (z0 )| < (ξ + |L|) |z − z0 |
y como |z − z0 | < δ entonces:

|f (z) − f (z0 )| < (ξ + |L|) |z − z0 | < (ξ + |L|) δ

sea ξ 1 = (ξ + |L|) δ. Por lo tanto lo anterior se cumple para todo ξ 1 = (ξ + |L|) δ,

entonces:

∀ξ 1 > 0, ∃δ > 0, tal que |z − z0 | < δ entonces |f (z) − f (z0 )| < ξ 1

o lo que eds lo mismo:

lim f (z) = f (z0 )
z→z0

por lo tanto f (z) es continua en z0

1. Variable compleja 28

Exercise 57 : Halle las condiciones de Cauchy - Riemman en coordenadas circulares.

Solution 58 : Teniendo presente ladefinición de derivada y las condiciones de Cauchy-

Riemman, se tiene que:
df d (u + jv) ∂u ∂v ∂v ∂u
= = +j = −j
dz dz ∂x ∂x ∂y ∂y
Asumiendo las coordenadas circulares del sistema coordenado, se tiene que:

x = r · cos (θ)
y = r · sen (θ)

por lo tanto al usar regla de la cadena para u (r, θ) y v (r, θ) se tiene que:
∂u ∂u ∂x ∂u ∂y
= +
∂r ∂x ∂r ∂y ∂r
∂x ∂y
pero = cos (θ) y = sen (θ) , por lo tanto:
∂r ∂r
∂u ∂u ∂u
= cos (θ) + sen (θ)
∂r ∂x ∂y
analogamente
∂v ∂v ∂x ∂v ∂y
= +
∂r ∂x ∂r ∂y ∂r
∂v ∂v ∂v
= cos (θ) + sen (θ)
∂r ∂x ∂y
por otro lado
∂u ∂u ∂x ∂u ∂y
= +
∂θ ∂x ∂θ ∂y ∂θ
∂v ∂v ∂x ∂v ∂y
= +
∂θ ∂x ∂θ ∂y ∂θ
∂x ∂y
donde = −r · sen (θ) y = r · cos (θ) de donde:
∂θ ∂θ
∂u ∂u ∂u
= −r · sen (θ) + r · cos (θ)
∂θ ∂x ∂y
∂v ∂v ∂v
= −r · sen (θ) + r · cos (θ)
∂θ ∂x ∂y
teniendo por consiguiente el siguiente par de sistemas de ecuacios diferenciales:
∂u ∂u ∂u
= cos (θ) + sen (θ)
∂r ∂x ∂y
∂u ∂u ∂u
= −r · sen (θ) + r · cos (θ)
∂θ ∂x ∂y
1. Variable compleja 29

y
∂v ∂v ∂v
= cos (θ) + sen (θ)
∂r ∂x ∂y
∂v ∂v ∂v
= −r · sen (θ) + r · cos (θ)
∂θ ∂x ∂y
que en forma matricial lo podemos de la siguiente manera:
   
  ∂u ∂u
cos (θ) sen (θ)  ∂x   ∂r 
 ∂u  =  ∂u 
−r · sen (θ) r · cos (θ)
∂y ∂θ
    
∂u senθ ∂u
 ∂x   cos θ −   ∂r 
 ∂u  =  r
cos θ   ∂u 
senθ
∂y r ∂θ
de donde
∂u ∂u senθ ∂u
= cos θ −
∂x ∂r r ∂θ
∂u ∂u cos θ ∂u
= senθ +
∂y ∂r r ∂θ
igaulmente:
∂v ∂v ∂v
= cos (θ) + sen (θ)
∂r ∂x ∂y
∂v ∂v ∂v
= −r · sen (θ) + r · cos (θ)
∂θ ∂x ∂y

   
  ∂v ∂v
cos (θ) sen (θ)  ∂x   ∂r 
 ∂v  =  ∂v 
−r · sen (θ) r · cos (θ)
∂y ∂θ
    
∂v sin θ ∂v
 ∂x   cos θ − r   ∂r 
 ∂v  =  cos θ   ∂v 
sin θ
∂y r ∂θ
de donde :
∂v ∂v sin θ ∂v
= cos θ −
∂x ∂r r ∂θ
∂v ∂v cos θ ∂v
= sin θ +
∂y ∂r r ∂θ
de las condicionea de Cauchy - Riemman se tiene que:
   
df ∂u ∂v ∂u senθ ∂u ∂v sin θ ∂v
= +j = cos θ − + j cos θ −
dz ∂x ∂x ∂r r ∂θ ∂r r ∂θ
1. Variable compleja 30

pero    
df ∂v ∂u ∂v cos θ ∂v ∂u cos θ ∂u
= −j = sin θ + − j senθ +
dz ∂y ∂y ∂r r ∂θ ∂r r ∂θ
∂u ∂v ∂v ∂u
y que = y = − , luego:
∂x ∂y ∂x ∂y
   
df ∂u ∂u ∂u senθ ∂u ∂u cos θ ∂u
= −j = cos θ − − j senθ +
dz ∂x ∂y ∂r r ∂θ ∂r r ∂θ
 
∂u ∂u 1 senθ cos θ
= (cos θ − jsenθ) − j +
∂r ∂θ j r r
∂u 1 ∂u
= (cos θ − jsenθ) − j (cos θ − jsenθ)
∂r r ∂θ  
∂u −jθ 1 ∂u −jθ ∂u 1 ∂u
= e −j e = e−jθ −j
∂r r ∂θ ∂r r ∂θ

   
df ∂v ∂v ∂v cos θ ∂v ∂v sin θ ∂v
= +j = sin θ + + j cos θ −
dz ∂y ∂x ∂r r ∂θ ∂r r ∂θ
 
∂v ∂v cos θ sin θ
= (sin θ + j cos θ) + −j
∂r ∂θ r r
 
∂v 1 1 ∂v
= j sin θ + cos θ + (cos θ − j sin θ)
∂r j r ∂θ
1 ∂v ∂v
= (cos θ − j sin θ) + j (cos θ − j sin θ)
r ∂θ ∂r  
1 ∂v −jθ ∂v −jθ −jθ 1 ∂v ∂v
= e +j e =e +j
r ∂θ ∂r r ∂θ ∂r
por lo tanto de éstas dos últimasigualdades se tiene que:
   
df ∂u 1 ∂u 1 ∂v ∂v
= e−jθ −j = e−jθ +j
dz ∂r r ∂θ r ∂θ ∂r
por igualdad de complejos se tiene que:
∂u 1 ∂v ∂v 1 ∂u
= y =−
∂r r ∂θ ∂r r ∂θ
conocidas como las condiciones de cauchy - Riemman en coordenadas polares y por lo
tanto:
     
df −jθ ∂u ∂v −jθ 1 ∂v 1 ∂u 1 −jθ ∂v ∂u
=e +j =e −j = e −j
dz ∂r ∂r r ∂θ r ∂θ r ∂θ ∂θ
conocida como la derivada de f en coordenadas circulares.

Example 59 : Calcule la derivada de:

1. f (z) = ln (z)
2. f (z) = z n
1. Variable compleja 31

Solution 60 : 1.
 
f (z) = ln (z) = ln rejθ = ln (r) + ln ejθ = ln (r) + jθ

luego:
   
d ln (z) ∂u ∂v ∂ ln (r) ∂θ
= e−jθ +j = e−jθ +j
dz ∂r ∂r ∂r ∂r
 
1 1 1
= e−jθ + 0 = jθ =
r re z
2.
f (z) = z n = (r (cos (θ) + jsen (θ)))n = rn (cos (nθ) + jsen (nθ))
   
d (z n ) −jθ ∂u ∂v ∂ (rn cos (nθ))
−jθ ∂ (rn sen (nθ))
= e +j =e +j
dz ∂r ∂r ∂r ∂r
−jθ

n−1 n−1

= e nr cos (nθ) + jnr sen (nθ)
= nrn−1 e−jθ (cos (nθ) + jsen (nθ)) = nrn−1 e−jθ ejnθ
 n−1
= nrn−1 ej(n−1)θ = n rejθ = nz n−1

Nota 61 : Tenga presente que para toda función que se pueda escribir de la forma
f (z) = f (x, y) se tiene que al sustituir z = x + jy y z = x − jy se obtiene que
z+z
z +z = x+jy +x−jy = 2x de donde x = , de forma análoga se tiene que z −z =
2  
z−z z+z z−z
x + jy − x + jy = 2jy de donde y = por lo que f (x, y) = f , =
2j 2 2j
f (z) . Ahora que si f (x, y) es analítica, se tiene que al sustituir en f (x, y) la x = z
y y = 0, entonces la función es f (x, y) = f (z) igualmente si en f (x, y) se sustituye
y = −jz entonces f (x, y) = f (z)

Example 62 : pruebe que f (z) = z no es analítica.

Solution 63 : f (z) = z = x − jy de donde u (x, y) = x y v (x, y) = −y, por lo tanto:

∂u (x, y) ∂x ∂v (x, y) ∂ (−y)
= =1 y = = −1
∂x ∂x ∂y ∂y
∂u (x, y) ∂x ∂v (x, y) ∂ (−y)
= =0 y = =0
∂y ∂y ∂x ∂x
∂u ∂v ∂u ∂v
por lo que = y = − , luego no cumple las condiciones de Cauchy -
∂x ∂y ∂y ∂x
Riemman y por consiguiente no es analítica.



Example 64 : Calcule f (z) dado que f (x, y) = x3 − 3xy 2 + j 3x2 y − y 3 , igual-
ment determine si f es analítica.
1. Variable compleja 32

Solution 65 : primero veamos qu f es analítica. Esto es


∂u (x, y) ∂ x3 − 3xy 2
= = 3x2 − 3y 2
∂x
∂x 
∂v (x, y) ∂ 3x2 y − y 3
= = 3x2 − 3y 2
∂y ∂y


∂u (x, y) ∂ x3 − 3xy 2
= = −6xy
∂y ∂y


∂v (x, y) ∂ 3x2 y − y 3
= = 6xy
∂x ∂x
∂u ∂v ∂u ∂v
= y = − , luego f es analítica y por lo tanto:
∂x ∂y ∂y ∂x
 
f (x, 0) = x3 − 3x (0)2 + j 3x2 (0) − (0)3

haciendo x = z, se tiene:
f (z, 0) = z 3 = f (z)
Haciéndolo de otra forma se tiene que:
 
f (0, y) = (0)3 − 3 (0) y2 + j 3 (0)2 y − y3

sustituyendo y = −jz se tiene:


f (0, −jz) = j − (−jz)3 = z 3

x + jy
Example 66 : Determine si la función f (x, y) = es analítica y determine a
x − jy
f (z) .

x + jy x + jy x + jy x2 − y 2 + 2jxy
Solution 67 : f (x, y) = = = , por lo tanto
x − jy x − jy x + jy x2 + y 2
 2 
x − y2
∂
∂u (x, y) x2 + y 2 4xy2
= =
∂x ∂x (x2 + y 2 )2
 
2xy

∂
∂v (x, y) x2 + y 2 2x x2 − y 2
= =
∂y ∂y (x2 + y 2 )2
con esto es suficiente para decir que f (x, y) no es analítica. Por lo tanto:
z+z z−z
+j
x + jy 2 2j z+z+z−z
f (x, y) = = =
x − jy z+z z−z z +z−z+z
−j
2 2j
2z z
= =
2z z
1. Variable compleja 33

x + jy x + j (0)
note que si en f (x, y) = hacemops y = 0, se tiene que f (x, 0) = =
x − jy x − j (0)
x
= 1, si se hubiero hecho por el otro lado en que x = 0, se hubiera tenido que
x
(0) + jy jy
f (0, y) = = = −1, lo caul coincide con lo que está escrito en la nota.
(0) − jy −jy

1.4 Integración compleja

Definition 68 : Considere f (z) una función de variable compleja, se define la inte-
gral de f (z) en un dominio D, como :
∞

I = lim f (zn ) ∆z
∆z→0
n=0

se da la integral definida entre dos puntos como el dominio D que una a dichos puntos
y la definición se encuentra inmersa en esta misma definición. A la integral I se le
denota por: 
I= f (z) dz
D
donde D es el dominio sobre el cual se mueve ∆z, y f (z) la imagen de dicho dominio.
En este caso tenga presente que

∆z = zi − zi−1 = xi + jyi − xi−1 − jyi−1 = (xi − xi−1 ) + j (yi − yi−1 )

= ∆x + j∆y

que de forma infinitesimal se vería como:

dz = dx + jdy

por lo tanto
  
I= f (z) dz = f (x, y) (dx + jdy) = (u (x, y) + jv (x, y)) (dx + jdy)
D D D

Example 69 : Calcule D z 2 dz donde D es el dominio dado por:
1. La recta que une los puntos −1 + j y 2 + 3j
2. los segmentos de recta que unen los mismos puntos pero pasando por 2 + j
3−1
Solution 70 : 1. Este primer dominio posee una ecuación de la forma: m = =
2+1
2 2
, y su ecuación esta dada por: y − 1 = (x + 1) por lo que
3 3
2 2 5
y= (x + 1) + 1 = x +
3 3 3
1. Variable compleja 34

por lo tanto
  
2 2
2 
z dz = (x + jy) (dx + jdy) = x − y 2 + 2jxy (dx + jdy)
D
D D

2  
 
= x − y dx − (2xy) dy + j x2 − y 2 dy + 2xydx
2
D

2
notre que dy = dx y la x varía en el dominio (−1, 2) por lo tanto la integral anterior
3
se sonvierte en:
  2        
2 2 2 5 2 2 5 2
z dz = x − x+ dx − 2x x+ dx
D −1 3 3 3 3 3
       
2 2 5 2 2 2 5
+j x − x+ dx + 2x x+ dx
3 3 3 3 3
 2    
1 2 40 25 46 2 50 50
= − x − x− +j x + x− dx
−1 3 9 9 27 27 27
7
= −16 + j
3
2. Para el primer segmento que une los puntos −1 + j con 2 + j el cual denotaremos
por D1 , se tiene que la coordenada y siempre es igual a 1 por lo tanto y = 1. lo que
implica que dy = 0
  
2
2
z dz = (x + jy) (dx + jdy) = (x + j)2 dx
D1 D1 D1
2
= (x + j)2 dx = 3j
−1

ahora el cálculo de la misma integral pero sobre la recta que une los punto 2 + j con
2 + 3j denotado por D2 , se tiene que la x es siempre constante e igual a 2, es decir
x = 2 y por lo tanto dx = 0. Luego:
  
2
2
z dz = (x + jy) (dx + jdy) = j (2 + jy)2 dy
D2 D2 D2
 3  
2 26
= j (2 + jy) dy = j − + 16j + 8
1 3
2
= −16 − j
3
por lo tanto
  
2 2
z dz = z dz + z 2 dz
D D1 D12
2 7
= 3j + −16 − j = −16 + j
3 3
1. Variable compleja 35

Nota 71 : La integral compleja según lo visto, esta directamente relacionaa con la

energia dada sobre la función, siempre y cuando esta función sea analítica.

Definition 72 : (Funciones armónicas) Sea f (x1 , x2 , ...xn ) una función de variables

reales en varias variables, se dice que f es una función armónica si f satisface que:
∂2f ∂2f ∂ 2f
+ + ... + =0
∂x21 ∂x22 ∂x2n

Theorem 73 : Sea f (z) una función analítica en C entonces las funciones compo-
nentes de f son armónicas.

Proof. : Como f es analítica se tiene que:

∂u ∂v ∂u ∂v
= y =−
∂x ∂y ∂y ∂x
y al existir sus derivadas parciales entonces las derivadas cruzadas son iguales, es decir
∂2u ∂2u ∂ 2v ∂2v
= igaulmente =
∂x∂y ∂y∂x ∂x∂y ∂y∂x
luego
∂2u ∂2v
=
∂x2 ∂x∂y
∂ 2v ∂2v
pero como = entonces:
∂x∂y ∂y∂x
∂ 2v ∂2u
=− 2
∂y∂x ∂y
por lo tanto:
∂2u ∂2u
= −
∂x2 ∂y 2
con lo cual se concluye que:
∂2u ∂2u
+ =0
∂x2 ∂y 2
ose que u es armónica.
Análogamente se demustra que
∂2v ∂ 2v
+ =0
∂x2 ∂y 2
O sea que v es armónica

Nota 74 : Si f es una función analítica y f (x, y) = u (x, y) + jv (x, y) entonces a

la función u (x, y) se le conoce como armónico conjugado de v (x, y) . Igualmente a
v (x, y) se le conoice como armónico conjugado de u (x, y)
1. Variable compleja 36

Example 75 : Encuentre el armónico conjugado de u (x, y) = x3 − 3xy 2

Solution 76 : Veamos primero si es armónica:



∂ 2 x3 − 3xy 2 ∂ 2 x3 − 3xy 2
= 6x = −6x
∂x2 ∂y 2
de donde u es armónica. Veamos ahora cual es su armónico conjugado.
∂u ∂v
=
∂x ∂y
por lo que

∂ x3 − 3xy 2 ∂v
= 3x2 − 3y 2 =
∂x ∂y
por lo que: 

2 
v (x, y) = 3x − 3y 2 dy = 3x2 y − y 3 + g (x)

∂v ∂u
pero =− por lo tanto:
∂x ∂y


∂ 3x2 y − y 3 + g (x) dg (x)
= 6xy +
∂x dx
y como

∂u ∂ x3 − 3xy 2
= = −6xy
∂y ∂y
∂v ∂u
dado que =− entonces:
∂x ∂y

dg (x)
6xy + = − (−6xy)
dx
dg (x)
por lo que = 0, luego g (x) = k, por lo tanto
dx
v (x, y) = 3x2 y − y 3 + k

y


f (x, y) = x3 − 3xy2 + j 3x2 y − y 3 + k

resolviendo se tiene que f (z) = z 3 + k

Theorem 77 (De Cauchy-Goursat) Sea f (z) una función de variable compleja,

analítica en el interior y el 
contorno del dominio cerrado y regular D (no posee cruces
con sigo misma), entonces f (z) dz = 0
D
1. Variable compleja 37

Proof. : Considere a f (z) analítica en el dominio D, entonces f (z) satisface las

condiciones de Cauchy-Riemman, por lo tanto para

f (z) = f (x, y) = u (x, y) + jv (x, y)

se tiene que:
∂u ∂v ∂u ∂v
= y =−
∂x ∂y ∂y ∂x
o lo que es lo mismo
∂u ∂v ∂u ∂v
− =0 y + =0
∂x ∂y ∂y ∂x
Note que si D es un dominio cerrado se tiene que:
 
f (z) dz = (u (x, y) + jv (x, y)) (dx + jdy)
D D 
= (u (x, y) dx − v (x, y) dy) + j (u (x, y) dy + v (x, y) dx)
D D

Como lo antertior se cumple para funciones en varias variables y ademas son diferen-
ciables puesto que cumplen las condiciones de Cauchy-Riemman entonces satisfacen el
teorema de Green que dice que si P (x, y) y Q (x, y) son diferenciables en un dominio
cerrado C y este dominio es regular, entonces
   
∂Q (x, y) ∂P (x, y)
(P (x, y) dx + Q (x, y) dy) = − dxdy
C A ∂x ∂y

siendo A el área encerrada por C. Por lo tanto al satisfacer u (x, y) y v (x, y) las
condiciones del teorema de Green se tiene que:
   
∂v (x, y) ∂u (x, y)
(u (x, y) dx − v (x, y) dy) = − − dxdy
D AD ∂x ∂y
  
∂v (x, y) ∂u (x, y)
= − + dxdy
AD ∂x ∂y
= 0

análogamente
   
∂u (x, y) ∂v (x, y)
(u (x, y) dy + v (x, y) dx) = − dxdy
D A ∂x ∂y
= 0

por lo tanto  
f (z) dz = (u (x, y) + jv (x, y)) (dx + jdy) = 0
D D
1. Variable compleja 38


1
Example 78 : Calcule dz siendo D una circunferencia con centro en el origen
Dz
y radio r

Solution 79 : Consideremos a z en su forma polar o forma Euleriana, es decir z =

rejθ por lo tanto al calcular dz se tiene que dz = drejθ = jrejθ dθ por lo tanto
  2π  2π
1 1
dz = jθ
jθ
jre dθ = j dθ = jθ|2π
0 = 2πj
Dz 0 re 0

1
Example 80 : Calcule dz siendo D una circunferencia con centro en a ∈ C
Dz −a
y radio r

Solution 81 : Consideremos a z − a en su forma polar o forma Euleriana, es decir

z − a = rejθ por lo tanto al calcular dz se tiene que dz = drejθ = jrejθ dθ por lo tanto
  2π  2π
1 1
dz = jθ
jθ
jre dθ = j dθ = jθ|2π
0 = 2πj
Dz −a 0 re 0

Supongamos que se tiene una función f (z) analítica en un dominio cerrdo D y

suponga que z0 ∈ D siendo D un dominio complejo entonces veamos cuanto es

f (z)
dz
D z − z0

como f (z) es analítica en el dominio cerrado D entonces existe su derivada en todo

D, en particular existe su derivada en z0 es decir, existe
df (z0 ) f (z) − f (z0 )
= lim =L
dz z→z0 z − z0
esto es :

f (z) − f (z0 )
∀ξ > 0, ∃δ > 0 tal que |z − z0 | < δ entonces − L < ξ
z − z0

f (z) − f (z0 )
como − L < ξ se umple se tiene tiene entonces lo siguiente
z − z0
  

f (z) − f (z0 ) − L dz < ξdz = ξ dz
z − z0
D D D

por la desigualdad del triángulo

   
f (z) − f (z0 ) f (z) − f (z0 )
− |L| dz ≤ − L dz < 2πξ
z − z0 z − z0
D D

por lo tanto  

f (z) − f (z0 ) dz − |L| dz < 2πξ
z − z0
D D
1. Variable compleja 39

o lo que es lo mismo:
 
f (z) − f (z0 )
dz < 2πξ + |L| dz = 2π (ξ + |L|)
z − z0
D D

Note que
 
f (z) − f (z0 ) f (z) − f (z0 )
dz ≤ dz < 2π (ξ + |L|)
z − z0 z − z0
D D

por lo tranto    
f (z) f (z0 ) f (z) − f (z0 )
−
dz ≤ dz

D z − z0 z − z0 D z − z0
de donde
   
f (z) f (z0 ) f (z) 1
dz − dz = dz − f (z 0 ) dz
z − z0 z − z0
D D z − z0 D D z − z0

f (z)
= dz − f (z0 ) 2πj
z − z0
D

pero 
f (z)

z − z0 dz − f (z0 ) 2πj < 2π (ξ + |L|)
D

esto es que si llamamos ξ 1 = 2π (ξ + |L|) se tiene que:


f (z)
∀ξ 1 > 0, ∃δ > 0 tal que |z − z0 | < δ entonces dz − f (z0 ) 2πj < ξ 1
D z − z0

lo que implica que 

f (z)
dz = f (z0 ) 2πj
D z − z0
Acabamos de demostrar el siguiente teorema

Theorem 82 : (segundo teorema de Cauchy-Goursat) Sea f (z) una función de vari-

able compleja, analítica en un dominio D y sea z0 ∈ D, entonces

f (z)
dz = 2πjf (z0 )
D z − z0

Si f (z) una función de variable compleja, analítica en un dominio D y z0 ∈ D,

f (z)
entonces veamos cuanto es dz.
D − z0
z
Aislemos el punto z0 con una circunferencia o dominio C, entonces unamos C con D
con un segmento de recta, y llamemos sus puntos extremos como A y B. Obsserve
que el dominio trazado por A cruzando por todo D llegando hasta el mismo punto A,
ingresando a C por B recorriendo a C en el sentido contrario en el que fue recorrido
D volviendo a B y regresando nuevamenta al punto A, se tiene un dominio que no
1. Variable compleja 40

f (z)
contiene a z0 , y por lo tanto es analítica en z0 y por consiguiente cumple el
z − z0
primer teorema de Cauchy - Goursat, esto es:

f (z)
dz = 0
D z − z0

o sea
   
f (z) f (z) f (z) f (z)
dz + dz + dz + dz = 0
ADA+ − z0
z AB − z0
z BCB − − z0
z BA − z0
z
por lo tanto  
f (z) f (z)
dz = − dz
ADA+ z − z0 BCB − z − z0
pero  
f (z) f (z)
− dz = dz
BCB − z − z0 BCB + z − z0
por lo tanto  
f (z) f (z)
dz = dz
ADA+ z − z0 BCB + z − z0
esto es:  
f (z) f (z)
dz = dz
D z − z0 C z − z0
acabamos de demostrar el siguiente teorema

Theorem 83 : Sea f (z ) una función analítica en un dominio cerrado D y sea z0 ∈

D, entonces si c es un dominio cerrado que contiene a z0 se tiene que:
 
f (z) f (z)
dz = dz
D z − z0 C z − z0

z 2 + 3z − 1
Example 84 : Calcular dz siendo D, dado por |z − 1| < 3
D z − 2j
 
z 2 + 3z − 1
Solution 85 : = 2πj (2j)2 + 3 (2j) − 1 = −8πj − 12π − 2πj =
D z − 2j
−12π − 10πj

ez
Example 86 : Calcular dz siendo D, dado por |z − 3| < 1
Dz −1

ez ez
Solution 87 : dz = 0 ya que es analítica en todo el dominio |z − 3| < 1
Dz −1 z−1

ez
Example 88 : Calcular 2
dz siendo D, dado por |z − 1| < 1
Dz −1
1. Variable compleja 41

   
ez ez e(1)
Solution 89 : 2
dz = dz = 2πj = πej
Dz −1 D (z − 1) (z + 1) ((1) + 1)

Observe que si f (z) es una función analítica en un dominio cerreado D y z1 , z2 ,

z3 , ..., zn son n puntos al interior de D y en su frontera, entonces veamos cuanto es:

f (z)
dz
D (z − z1 ) (z − z2 ) · · · (z − zn )

considere entonces a dicho dominio cerrado D y z1 , z2 , z3 , ..., zn puntos en D, si

ailamos a cada uno de los puntos con subdominios D1 , D2 , D3 , ..., Dn , tales que cada
dominio encierra a uno y solo unos de los polos z1 , z2 , z3 , ..., zn . Observe que si
unimos a cada uno de estos dominios aisladores con segmentos en puntos particulares,
es posible construir un dominio cerrado que no contiene a ningno de los puntos, o
mejor aún
  
f (z) f (z) f (z)
dz = dz+...+ dz
D (z − z 1 ) · · · (z − z n ) D1 (z − z1 ) · · · (z − zn ) Dn (z − z 1 · · · (z − zn )
)
como D1 no contiene a ninguno de los otros polos, entonces por teorema
  
f (z) f (z1 )
dz = 2πj
D1 (z − z1 ) · · · (z − zn ) (z1 − z2 ) · · · (z1 − zn )
analogamente para cada Di se presentaría lo mismo, es decir:
  
f (z) f (zi )
dz = 2πj
Di (z − z1 ) · · · (z − zn ) (zi − z1 ) · · · (zi − zi−1 ) (zi − zi+1 ) · · · (zi − zn )
f (zi )
si llamamos a Resi = , entonces
(zi − z1 ) · · · (zi − zi−1 ) (zi − zi+1 ) · · · (zi − zn )
  n
f (z)
dz = 2πj Resi
D (z − z1 ) · · · (z − zn ) i=1

Acabamos de demostrar el siguiente teorema

Theorem 90 (de Cauchy-Goursat) Sea f (z) una función analítica en un dominio

cerreado D y z1 , z2 , z3 , ..., zn , n puntos al interior de D y en su frontera, entonces
 n

f (z)
dz = 2πj Resi
D (z − z1 ) (z − z2 ) · · · (z − zn ) i=1

f (zi )
siendo Resi =
(zi − z1 ) · · · (zi − zi−1 ) (zi − zi+1 ) · · · (zi − zn )

z2
Example 91 : Considere la función f (z) = , calcule su integral cewrrada sobre
z3 − 1
el dominio dado por |z − 1| < 3
1. Variable compleja 42


z2
Solution 92 : Se pide calcular 3−1
dz, para ello factorice primero z 3 − 1. Esto
D z
es
  
3

2  2 1 3
z − 1 = (z − 1) z + z + 1 = (z − 1) z +z+ +
4 4
 2 
1 3
= (z − 1) z+ − j2
2 4
 √  √ 
1 3 1 3
= (z − 1) z + − j z+ + j
2 2 2 2

Con esto se distingue que todos las raices del denominador se encuentran dentro del
dominio, por lo tanto:
 
z2 z2
3
dz =  √  √ dz
Dz −1 D (z − 1) z + 1 − 3 j z + 1
+ 3
2 2 2 2 j

12
= 2πj   √  √ +
1 + 12 − 23 j 1 + 12 + 23 j
 √ 2
1 3
− + j
2 2
+ √  √ 
1 3 1 3 √
1 3
− + j−1 − + j+2+ 2 j
2 2 2 2
 √ 2 
− 12 − 23 j 
+ √  √ √ 
1 3 1 3 1 3
−2 − 2 j − 1 −2 − 2 j + 2 − 2 j

por lo tanto   
z2 1 1 1
3
dz = 2πj + + = 2πj
Dz −1 3 3 3
Otra forma de resolver dicho problema es extrayendo las fracciones parciales, es decir
z2 z2
=  √  √
z3 − 1 (z − 1) z + 1
− 3 1 3
2 2 j z + 2 + 2 j
1 1 1
= +  √ +  √
3 (z − 1) 3 z + −
1 3 1 3
2 2 j 3 z+ 2 + 2 j

 
z2 1 1 1
3
dz = +  √ +  √ dz
Dz −1 D 3 (z − 1) 3 z + 12 − 3 1 3
2 j 3 z+ 2 + 2 j
 
1 1 1
= 2πj + + = 2πj
3 3 3
1. Variable compleja 43


ez
Example 93 : Calcular 2
dz donde el dominio D solo encierra a los
D (z − 3) (z − 1)
polos 3 y −1

Solution 94 :
 
ez ez
2
D (z − 3) (z − 1) D (z − 3) (z − 1) (z + 1)
   −1 
e−1 e3 e e3
= 2πj + = 2πj +
(−1 − 3) (−1 − 1) (32 − 1) 8 8


πj −1  πej
= e + e3 = cosh (2)
4 2

f (z)
Exercise 95 : Calcule dz
D (z − z0 )n

f (z) f (z)
Solution 96 : Se sabe que dz = 2πjf (m) por lo tanto dz y
D (z − m)  (z − m)
f (z)
2πjf (m) tienen dependencia de m, por lo tanto si se deriva la igualdad dz =
D (z − m)
2πjf (m) con respecto a m se tendría:

d f (z) d
dz = 2πjf (m)
dm D (z − m) dm
esto es  
d f (z) d f (z) df (m)
dz = dz = 2πj
dm D (z − m) D dm (z − m) dm
o lo que es lo mismo: 
f (z) df (m)
2 dz = 2πj dm
D (z − m)

derivando nuevamente con respecto a m, se tiene:


d f (z) d df (m)
dz = 2πj
dm D (z − m)2 dm dm

esto es 
f (z) d2 f (m)
2 3 dz = 2πj
D (z − m) dm2
derivando nuevamente con respecto a m se obtiene:

f (z) d3 f (m)
2×3 4 dz = 2πj
D (z − m) dm3

derivando por cuarta vez con respecto a m se obtiene:


f (z) d4 f (m)
2×3×4 5 dz = 2πj
D (z − m) dm4
1. Variable compleja 44

aplicando inducción matemática se consiguye que:


f (z) dn−1 f (m)
2 × 3 × 4 × ... × (n − 1) n dz = 2πj
D (z − m) dmn−1

con lo cual para m = z0 se obtendría que:


f (z) 2πj dn−1 f (z0 )
n dz =
D (z − z0 ) (n − 1)! dz n−1

z3
Example 97 : Calcule 2 dz siendo D un dominio cerrado que contiene a
D (z − 1)
z0 = 1.

z3 2πj dz 3

Solution 98 : 2 = (1)! dz = 2πj 3z 2 z=1 = 6πj
D (z − 1) z=1


(z + 1)3
Example 99 : Calcule 2 dz siendo D un dominio cerrado que con-
D (z − 1) (z − 2)
tiene a z0 = 1 y z0 = 2.

Solution 100 :
 
(z + 1)3
  (z + 1)3 d
(z − 1)
(z + 1)3 1 
 
2 = 2πj  2 + 
D (z − 1) (z − 2)  (z − 2) (1)! dz 
z=1

z=2
 
3
(1 + 1) 2 2
= 2πj + 2 (z + 1) (z − 2)
(1 − 2)2 z=1
(z − 1) z=2
= 16πj

1.5 Serie compleja

Definition 101 : Se dice que una función de variable compleja f (z) expande en serie
de potencias compleja si existen coeficientes an ∈ C tales que para un z0 ∈ C se tiene
que:
∞
f (z) = an (z − z0 )n
n=0

Theorem 102 : Se dice que una función de variable compleja f (z) expande en serie
de Taylor compleja si existen coeficientes an ∈ C tales que para un z0 ∈ C se tiene
que:
∞
f (z) = an (z − z0 )n
n=0
1. Variable compleja 45

y an se puede ecribir de la siguiente manera:

1 dn f (z0 )
an =
n! dz n
df (z0 ) d2 f (z0 )
siendo esto que f (z) , , , ... deben ser analíticas en z0
dz dz 2
Example 103 : Halle la serie de Taylor de:
1. f (z) = ez
2. f (z) = sen(z)
1
3. f (z) =
(z − 1)2
alrededor de z0 = 0
1
Solution 104 : 1. Para f (z) = ez se tiene que:a0 = f (0) = e0 = 1; a1 =
0!
1 dez 2 z
= e z| = e 0 = 1; a = 1 d e =
1 z 1 1
e |z=0 = e0 = , y así
2
1! dz z=0 z=0
2! dz 2 z=0 2! 2! 2!
1
sucesivamente an = , por lo tanto:
n!
∞

ez = an (z − z0 )n = a0 (z − 0)0 + a1 (z − 0)1 + a2 (z − 0)2 + ... + an (z − 0)n + ...
n=0
1 1
= 1 + 1 (z) + (z)2 + ... + (z)n + ...
2! n!
z2 z3 zn
= 1+z + + + ... + + ...
2! 3! n!

1 1 dsen (z)
2. Para f (z) = sen (z) se tiene: a0 = sen (0) = 0; a1 = = cos (0) =
0! 1! dz
z=0
1 d2 sen (z) 1 1 d3 sen (z) 1
1; a2 = 2 = − sen (0) = 0; a3 = 3 = − cos (0) =
2! dz z=0
2! 3! dz z=0 3!
1 1 d4 sen (z) 1 1 d5 sen (z) 1 1
− ; a4 = 4 = sen (0) = 0; a5 = 5 = cos (0) =
3! 4! dz z=0 4! 5! dz z=0 5! 5!
y así sucesivamente,por lo que
∞

sen (z) = an (z − z0 )n = a0 (z − 0)0 + a1 (z − 0)1 + a2 (z − 0)2 + ... + an (z − 0)n + ...
n=0
1 1
= 0 + 1 (z)1 + 0 − (z)3 + 0 + (z)5 + ....
3! 5!
z3 z5 z 7 z 2n+1
= z− + − + ... + (−1)n+1
3! 5! 7! (2n + 1)!

1
d 2
1 1 1 1 (z − 1)
3. Para f (z) = se tiene: a0 = = 1; a1 = =
(z − 1)2 0! (z − 1)2 z=0 1! dz


z=0
1. Variable compleja 46

1 1

d2 2 d3 2
2 1 (z − 1) 1 6 6 1 (z − 1)
− (z−1)3 = 2 : a2 = = = a3 = =
z=0 2! dz 2 4
2! (z − 1) z=0 2! 3! dz 3


z=0 z=0
1 24 24
− = ; y así sucesivamente,por lo que
3! (z − 1)5 z=0 3!
∞

1
= an (z − z0 )n = a0 (z − 0)0 + a1 (z − 0)1 + a2 (z − 0)2 + ... + an (z − 0)n + ...
(z − 1)2 n=0
1 24
= 1 + 2 (z)1 + 6 (z)2 + (z)3 + ....
2! 3!
1×2×3 2 1×2×3×4 3 1×2×3×4×5 4
= 1 + 2z + z + z + z + ...
2! 3! 4!
= 1 + 2z + 3z 2 + 4z 3 + 5z 4 + ... + (n + 1) z n

1.5.1 Binomio de Newton

Recuerde como expanden los polinomios:
(a ± b)2 = a2 ± 2ab + b2
(a ± b)3 = a3 ± 3a2 b + 3ab2 ± b3
(a ± b)4 = a4 ± 4a3 b + 6a2 b2 ± 4ab3 + b4

..
.
n n (n − 1) n−2 2 n (n − 1) (n − 2) n−3 3 n (n − 1) (n − 2) · · · 2 · 1 0 n
(a ± b) = an ±nan−1 b+ a b ± a b +· · ·± a b
2! 3! n n!
Por lo tanto que hubiese pasado si el grado de (a ± b) hubiese sido un real, es decir
hagamos una comparaciòn de expandir en serie de Taylor alrededor de z0 = 0 la fun-
1
ción f (z) = e igualmente hagamos la expansión de forma análoga a la expuesta
z−1
anteriormente en el binomio de Newton
1. Variable compleja 47

1
En efecto: f (z) = satisface que es analítica en z0 = 0 por lo que:
z−1
1
f (0) = = −1
0−1

1
d 1
z−1 = − = −1

dz
(z − 1)2 z=0
z=0
1
d2 2
z−1 = = −2

dz 2
(z − 1)3 z=0
z=0
3 1
d 6
z−1 = − = −6

dz 3
(z − 1)4 z=0
z=0
4 1
d 24
z−1 = = −24

dz 4
(z − 1)5 z=0
z=0

y así sucesivamente por lo que la serie de Taylor asociada estaría dada por:
∞
 f (n) (0) ∞
 f (n) (0)
1
f (z) = = (z − 0)n = zn
z − 1 n=0 n! n!
n=0
f (0) (0) 0 f ′ (0) 1 f ′′ (0) 2 f ′′′ (0) 3 f (4) (0) 4
= z + z + z + z + z + ...
0! 1! 2! 3! 4!
−1 0 −1 1 −2 2 −6 3 −24 4
= z + z + z + z + z + ...
0!
1! 2! 3! 4! 
= − 1 + z + z 2 + z 3 + z 4 + ... + z n + ...

Usemos ahora el binomio de Newton:

1
f (z) = = − (1 − z)−1
z− 1
(−1) −1−1 (−1) (−2) −2−1
= − 1−1 + ·1 · (−z)1 + ·1 · (−z)2
1! 2!

(−1) (−2) (−3) −3−1 3 (−1) (−2) (−3) (−4) −4−1 4
+ ·1 · (−z) + ·1 · (−z) + ...
3! 4!


= − 1 + z + z 2 + z 3 + z 4 + ... + z n + ...

Comparando ambas series se puede llegar a la conclusión que el método es similar, por
lo tanto la convergencia de series definidas de igual forma que se puedan expandir por
el binomio de Newton serán isomorfas a las expandidas en la serie de Taylos alrededor
de z0 = 0. Tenga presente la serie geométrica la cual establece que:
1 − x2
1 − x2 = (1 − x) (1 + x) de donde = 1 + x para x = 1
1−x
1. Variable compleja 48

 1 − x3
1 − x3 = (1 − x) 1 + x + x2 de donde = 1 + x + x2
1−x



 1 − x4

1−x4 = 1 − x2 1 + x2 = (1 − x) (1 + x) 1 + x2 de donde = (1 + x) 1 + x2 =
1−x
1 + x + x2 + x3
1 − xn
y así sucesivamente = 1 + x + x2 + x3 + ... + xn−1 . Que sucedería si n → ∞ y
1−x
|x| < 1, entonces xn → 0 y por lo tanto:
1 − xn 1
→ = 1 + x + x2 + x3 + ... + xk + ...
1−x 1−x
1
Luego si aplicamos este resultado al problema anterior de f (z) = se tiene que:
z −1
1 1 
f (z) = =− = − 1 + z + z 2 + z 3 + ... + z k + ..
z−1 1−z
el cual coincide con el resultado anterior

1.5.2 Series de Laurent

Definition 105 : (Serie de Laurent) Se dice que una función compleja f (z) expande
en serie de Laurent alrededor de z0 , si ella puede expandirse de la forma:
∞

f (z) = an (z − z0 )n
n=−∞

Note que esta serie puede partirse en 2 subseries como:

∞
 −1
 ∞

n n
f (z) = an (z − z0 ) = an (z − z0 ) + an (z − z0 )n
n=−∞ n=−∞ n=0

−1

a la subserie an (z − z0 )n se llama parte principal de la serie de Laurent y a la
n=−∞
∞

parte an (z − z0 )n se llama la parte secundaria de la serie de Laurent.
n=0

Suponga que f (z) expande en serie de Taylor alredor de z0 veamos como expande
f (z)
,esto es, como f (z) expande en serie de Taylor alrededor de z0 entonces exiten
z − z0
los oeficientes b0 , b1 , b2 , ... en C tales que:
∞

f (z) = bn (z − z0 )n = b0 (z − z0 )0 + b1 (z − z0 )1 + b2 (z − z0 )2 + ... +
n=0
= b0 + b1 (z − z0 ) + b2 (z − z0 )2 + b3 (z − z0 )3 + ... + bn (z − z0 )n + ...
1. Variable compleja 49

por otro lado se tiene entonces que:

f (z) b0 + b1 (z − z0 ) + b2 (z − z0 )2 + b3 (z − z0 )3 + ... + bn (z − z0 )n + ...

=
z − z0 z − z0
b0
= + b1 + b2 (z − z0 ) + b3 (z − z0 )2 + ... + bn (z − z0 )n−1 + ...
z − z0
si llamamos b0 como a−1 , b1 como a0 , b2 como a1 y así sucesivamente se obtiene que:
f (z) a−1
= + a0 + a1 (z − z0 ) + a2 (z − z0 )2 + ... + an−1 (z − z0 )n−1 + ...
z − z0 z − z0
∞
= an (z − z0 )n
n=−1

f (z)
en este caso a z0 se le llama polo simple de la función g (z) = .
z − z0
f (z)
Observe que que si se integra a esta función g (z) = alrededor de un dominio
z − z0
cerrado que contiene a z0 , se tiene que
   
f (z) a−1 2 n−1
dz = + a0 + a1 (z − z0 ) + a2 (z − z0 ) + ... + an−1 (z − z0 ) + ... dz
D z − z0 D z − z0
   
a−1
= dz + a0 dz + a1 (z − z0 ) dz + ... + an−1 (z − z0 )n−1 dz + ...
D z − z0 D D D
= 2πj (a−1 ) + 0 + 0 + ... + 0 + ...
= 2πja−1

Al valor a−1 de la serie se le llama residuo de g (z) .

Por otro lado si f (z) expande en serie de Taylor alrededor de z0 se tiene que para un
dominio cerrado D que contiene a z0 y n ∈ N, se cumple que:

f (z) = b0 + b1 (z − z0 ) + b2 (z − z0 )2 + ... + bk (z − z0 )k + ...

luego

f (z) b0 + b1 (z − z0 ) + b2 (z − z0 )2 + ... + bk (z − z0 )k + ...

=
(z − z0 )n (z − z0 )n
b0 b1 (z − z0 ) bn−1 (z − z0 )n−1 bn (z − z0 )n bn+1 (z − z0 )n+1
= + + ... + + + + ...
(z − z0 )n (z − z0 )n (z − z0 )n (z − z0 )n (z − z0 )n
b0 b1 bn−1
= n + n−1 + ... + + bn + bn+1 (z − z0 ) + ...
(z − z0 ) (z − z0 ) (z − z0 )

Si se nombran b0 = a−n , b1 = a−(n−1) , ..., bn−1 = a−1 , bn = a0 , bn+1 = a1 y así

sucesivamente, se tiene que:
f (z) a−n a−(n−1) a−1
n == n + n−1 + ... + + a0 + a1 (z − z0 ) + ..
(z − z0 ) (z − z0 ) (z − z0 ) (z − z0 )
1. Variable compleja 50

f (z)
Si g (z) = expande como la serie anterior se dice entonces que g (z) presenta
(z − z0 )n
un polo de orden n en z0 .
f (z)
Observe que si se integra a g (z) = en el dominio cerrado D que contiene a
(z − z0 )n
z0 se tiene que:
   
f (z) a−n a−(n−1) a−1
n dz = n + + ... + + a0 + a1 (z − z0 ) + ... dz
D (z − z0 ) D (z − z0 ) (z − z0 )n−1 (z − z0 )
    
a−n a−(n−1) a−1
= n dz + n−1 dz + ... + dz + a0 dz + a1 (z − z0 ) dz +
D (z − z0 ) D (z − z0 ) D (z − z0 ) D D
n−1
2πj d a−n 2πj d a−nn−2
= + + ... + 2πja−1 + 0 + 0 + ...
(n − 1)! dz n−1 (n − 2)! dz n−2
= 2πja−1

Por último se g (z) expande en serie Laurent con parte principal infinita, es decir:
a−n a−(n−1) a−1
g (z) = ... + n + n−1 + ... + + a0 + a1 (z − z0 ) + ...
(z − z0 ) (z − z0 ) (z − z0 )
se dice que g (z) presenta un polo esencial en z0 y su integral en el dominio cerrado D
está dada por:
   
a−n a−(n−1) a−1
g (z) dz = ... + + + ... + + a0 + a1 (z − z0 ) + ... dz
D D (z − z0 )n (z − z0 )n−1 (z − z0 )
    
a−n a−(n−1) a−1
= ... + n dz + n−1 dz + ... + dz + a0 dz + a1 (z − z0 ) dz +
D (z − z0 ) D (z − z0 ) D (z − z0 ) D D
2πj dn−1 a−n 2πj dn−2 a−n
= ... + + + ... + 2πja−1 + 0 + 0 + ...
(n − 1)! dz n−1 (n − 2)! dz n−2
= 2πja−1

Acabamos de demostrar el siguiente teorema:

Theorem 106 : (Del residuo) Si g (z) expande en serie de Laurent alrededor de z0 y

D es un dominio cerrado que contiene a z0 entonces

g (z) dz = 2πja−1
D

donde a−1 es el residuo de g (z)

Example 107 : Expanda en serie de Laurent las siguientes funciones:

1
1. f (z) = e z alrededor de z0 = 0
1
2. f (z) = alrededor de |z − 2| < 1
z−3
z+2
3. f (z) = alrededor de |z + 2| > 5
z−3
1
4. f (z) = 2 alrededor de |z + 2| > 4
z −4
1. Variable compleja 51

1
Solution 108 : 1. f (z) = e z alrededor de z0 = 0
se sabe que:
z2 z3 zn
ez = 1 + z + + + ... + + ...
2! 3! n!
1
sustituyendo z por se obtiene:
z
 2  3  n
1 1 1
1 1 z z z
ez = 1 + + + + ... + + ...
z 2! 3! n!
1 1 1 1
= 1+ + 2
+ 3
+ ... + + ...
z 2!z 3!z n!z n
con lo cual se consigue la expansión en serie de Laurent donde se muestra que z0 = 0
es un polo esencial tambien conocida como singularidad esencial no removible. Note
que si D es dominio cerrado que contiene a z0 = 0 entonces:

1
e z dz = 2πj
D

1
2. f (z) = alrededor de |z − 2| < 1
z−3
1 1 1
= =−
z−3 (z − 2) − 1 1 − (z − 2)
sea w = z − 2, como |z − 2| < 1 se debe satisfacer entonces |w| < 1, por lo tanto se
cumplen las condiciones de la serie geom étrica, esto es
1

− = − 1 + w + w2 + w3 + ... + wn + ...
1−w
= −1 − w − w2 − w3 − ... − wn − ...
= −1 − (z − 2) − (z − 2)2 − (z − 2)3 − ... − (z − 2)n − ...

luego 
1
dz = 0
Dz −3
z+2
3. f (z) = alrededor de |z + 2| > 5
z−3
z+2 z+2 z+2
= =
z−3 z+2−2−3 z+2−5
sea w = z + 2, por lo tanto como se debe cumplir que |z + 2| > 5 esto es |w| > 5 luego
1. Variable compleja 52

5
la condición de la serie geométrica se convierte en: < 1, por lo tanto:
|w|
z+2 z+2 w w
= = =

z−3 z+2−5 w−5 w 1 − w5
 2  3  n
1 5 5 5 5
= = 1 + + + + ... + + ...
1 − w5 w w w w
 2  3  n
5 5 5 5
= 1+ + + + ... + + ...
z +2 z+2 z +2 z +2

y por lo tanto 
z +2
dz = 2πj (5) = 10πj
Dz −3
y z0 = 2 es una singularidad esencial en ese dominio
1
4. f (z) = 2 alrededor de |z + 2| > 4.
z −4
1 1 1 1
= = =
z2 −4 (z + 2) (z − 2) (z + 2) (z + 2 − 2 − 2) (z + 2) (z + 2 − 4)

Sea w = z + 2 por lo tanto como se debe satisfacer que |z + 2| > 4 es decir |w| > 4
4
entonces la codición de la serie geométrica se puede reescribir como < 1, por lo
|w|
tanto
1 1 1 1
= = = 2

z2 − 4 (z + 2) (z + 2 − 4) w (w − 4) w 1 − w4
  2  3 
1 1 1 4 4 4
=
 = 2 1+ + + + ...
w2 1 − w4 w w w w
  2  3 
1 4 4 4
= 1+ + +
w2 w w w
1 4 16 64 4n
= + + + + ... + + ...
w2 w3 w4 w5 wn+2
1 4 16 64 4n
= + + + + ... + + ...
(z + 2)2 (z + 2)3 (z + 2)4 (z + 2)5 (z + 2)n+2
y 
1
2−4
dz = 0
D z
donde z0 = −2 es una singularidad esencial en el dominio D.

1.6 Integrales indefinidas

En muchas circusntancias es posible encontrar integrales que requieren un método de
solución básica y sencillo. Suponga que se tiene una función de variable compleja f (z)
1. Variable compleja 53

entonces al considerar el dominio cerrado comprendido por una semicircunferencia de

radio R construida al tomar el eje real y la periferias o contorno generado en el plano de
Argant de componente imaginaria positiva y recorrido de forma antihoraria. Suponga
que el contorno circular comienza en el punto (R, 0) recorre la periferia circular y
culmina en (−R, 0) el cual llamaremos Γ, por lo tanto:
   R
f (z) dz = f (z) dz + f (z) dz
D Γ −R

Si f (z) es una función cociente de polinomios y este cociente es propio (el grado
del numerador es menor que el grado del denominador), y además f (z) es par en la
variable real entonces :
p (z) am z m + am−1 z m−1 + ... + a1 z + a0
f (z) = = con m < n
q (z) bn z n + bn−1 z n−1 + ... + b1 z + b0

Recuerde que una función real es par si g (−x) = g (x) . Observe que f (z) escrita en
forma polar se puede escribir como:

p (r, θ) am rm ejmθ + am−1 rm−1 ej(m−1)θ + ... + a1 rejθ + a0

f (r, θ) = =
q (r, θ) bn rn ejnθ + bn−1 rn−1 ej(n−1)θ + ... + b1 rejθ + b0

note que si r → ∞, entonces f (z) → 0, dado que la fracción es propia entonces

am rm ejmθ + am−1 rm−1 ej(m−1)θ + ... + a1 rejθ + a0 am rm ejmθ

lim = lim =0
r→∞ bn rn ejnθ + bn−1 rn−1 ej(n−1)θ + ... + b1 rejθ + b0 r→∞ bn r n ejnθ
 
Por lo tanto la integral f (z) dz cuando R → ∞ sucede que f (z) dz = 0, por lo
D Γ
cual    ∞  ∞
f (z) dz = f (z) dz + f (x, 0) (dx, 0) = f (x) dx
D Γ −∞ −∞
la cual es una integral real impropia. Por lo tanto una integral real impropia de frac-
ciones propias es igual a la integral cerrada sobre el dominio D definido anteriormenete
comprendido por el semiplano de de Argant comprendido por la pare imaginaria pos-
itiva.

Example
 ∞ 109 : Calcule:
1
1. dx
x − x2 + 1
4
−∞
∞
x2
2. dx
−∞ x4 + 1
∞
1
3. 2
dx
0 x +1
1. Variable compleja 54

Solution 110 : 3.
 ∞  
1 1 ∞ 1 1 1
2
dx = 2
dx = 2
dz
0 x +1 2 −∞ x + 1 2 Dz +1
  
1 1 1 1
= dz = 2πj
2 D (z + j) (z − j) 2 2j
π
=
2
2.
  
∞
x2 z2 z2
4
dx = 4
dz = 2 2
dz
−∞ x + 1 Dz +1 D (z + j) (z − j)

z2
=  π
 π
dz
D z 2 + ej 2 z 2 − ej 2

z2
=  π
 π
 π
 π
dz
D z − jej 4 z + jej 4 z − ej 4 z + ej 4
π π √ √
j π4 2 2
tenga presente que e = cos + jsen = +j por consiguiente:
4 4 2 2
 
∞
x2 z2
4
dx = √  √  √ √  √ √  √ √  dz
−∞ x + 1 D 2 2 2 2 2 2 2 2
z+ −j z− +j z− −j z+ +j
2 2 2 2 2 2 2 2
  √ √ 2 
2 2

 − +j
 2 2
= 2πj   √ √ √ √  √ √ √ √  √ √ √
 2 2 2 2 2 2 2 2 2 2 2
 − +j − +j − +j − −j − +j +
2 2 2 2 2 2 2 2 2 2 2
√ √ 2 
2 2
+j
2 2
+ √ √ √ √  √ √ √ √  √ √ √ √ 
2 2 2 2 2 2 2 2 2 2 2 2
+j + −j +j − +j +j + +j
2 2 2 2 2 2 2 2 2 2 2 2
   
j j 2πj 1 1
= 2πj − √ + √ = √ − +
2 2j (1 − j) 2 2j (1 + j) 2 2 (1 − j) (1 + j)
√
2πj (−2j) π 2
= √ =
2 2 (2) 2
Considere ahora una función que depende de senos y cosenos, es decir, considere
ahora una función real f (cos (θ) , sen (θ)) y además su integral en todo el dominio
dado por en intervalo (0, 2π) esto es:
 2π
f (cos (θ) , sen (θ)) dθ
0
1. Variable compleja 55

Note que si se considera a z = ejθ entonces

ejθ + e−jθ z + z −1
cos (θ) = =
2 2
ejθ − e−jθ z − z −1
sen (θ) = =
2j 2j
dz
y por otro lado dz = jejθ dθ = jzdθ de donde dθ = , observe que el dominio estaria
jz
dado por


|z| = ejθ = |cos (θ) + jsen (θ)| = cos2 (θ) + sen2 (θ) = 1

el cual es una circunferencia de radio 1 y centro en el origen de coordenadas, pr lo

cual  2π  

−1  dz 1
f (cos (θ) , sen (θ)) dθ = f z, z = f (z) dz
0 D jz D jz

Example
 2π 111 : Calcular las siguientes integrales:
sen (θ)
1. dθ
0 1 + cos2 (θ)
 2π
sen (θ)  2π
2. dθ = 0 cos sin θ
θ+sin θ dθ
sen (θ) + cos (θ)
0 2π
1
3. dθ
0 3 + 2 cos (θ)
1. Variable compleja 56

Solution 112 :
z − z −1
 2π 
sen (θ) 1 2j
dθ =  2 dz
0 1 + cos2 (θ) D jz z + z −1
1+
2

1 1 z2 − 1
= − dz
2 D z 2 1 + 4z12 + 14 z 2 + 12
 
z2 − 1 z2 − 1
= −2 4 2
dz = −2 4 2
dz
D z + 6z + 1 D (z + 6z + 9) − 8
 
z2 − 1 z2 − 1
= −2 2 dz = −2
√ 
√ dz
2 2
D (z 2 + 3) − 8 D z +3−2 2 z +3+2 2

z2 − 1
= −2   √   √   √   √ dz
D z−j 3−2 2 z +j 3−2 2 z +j 3+2 2 z−j 3+2 2
   √ 2
 j 3 − 2 2 −1
= 2πj    √  √   √  √   √ 
j 3−2 2+j 3−2 2 j 3−2 2+j 3+2 2 j 3−2 2−j
  √ 2
−j 3 − 2 2 − 1
+  √  √   √  √   √ 
−j 3 − 2 2 − j 3 − 2 2 −j 3 − 2 2 + j 3 + 2 2 −j 3 − 2 2 − j
 √
 −3 + 2 2 − 1
= −2π  √  √  √  √  √  √
3−2 2+ 3−2 2 3−2 2+ 3+2 2 3−2 2− 3+2
√
−3 + 2 2 − 1
+  √  √   √  √  √  √
3−2 2+ 3−2 2 − 3−2 2+ 3+2 2 3−2 2+ 3+2 2
 
1 1
= −2π − =0
4 4
1. Variable compleja 57

2.
   
z − z −1 z2 − 1
 2π  
sen (θ) 1  2j 
 dz = 1  jz 

dθ = z−z  z − 1 z + 1  dz
0 sen (θ) + cos (θ) D jz
−1 z+z  −1
D jz
2 2
+ +
2j 2 zj z
 2 
z −1
   2−1

1  jz 
 1 z
=  z 2 − 1 + j
z 2 + 1  dz = dz
D jz D jz z 2 (1 + j) − 1 + j
jz
   
 2 
1 1 z − 1  dz =
 1 1  z2 − 1 
 dz
=    2 
j (1 + j) D z (1 − j) j (1 + j) D z (1 − j)
z2 − z 2−
(1 + j) 2
 

1 1 z2 − 1 
=    dz
j (1 + j) D z (1 − j) (1 − j) 
z− √ z+ √
2 2
    
(1 − j) 2
  √ −
1   02 − 1 
 1  2
= 2πj     + 
j (1 + j)  (1 − j) (1 − j)  (1 − j)  (1 − j) (1 −
0− √ 0+ √ √ √ + √
2 2 2 2
   
(1 − j) 2
 − √ − 1 
1  2
+   

(1 − j)  (1 − j) (1 − j) 
− √ − √ − √
2 2 2
   
1 2 1 1 2 1 1 1 1
= 2πj 2 − 2 − j +j+ − 2 − j2 + j +
j (1 + j) (j − 1) (j − 1) 2 2 (j − 1) 2 2
 
1 2 2 1
= 2πj 2 − 2 (1 + j) = 4πj (1 − (1 + j)
j (1 + j) (j − 1) (j − 1) j (1 + j) (j − 1)2
4πj 4πj 4πj
= − 2 = − j 3 − j 2 − j + 1 = − −j + 1 − j + 1 (encuentre el error
(1 + j) (j − 1)
1. Variable compleja 58

3.
 2π  
1 1 1 1 1
dθ = dz = dz
0 3 + 2 cos (θ) jz z+z −1 jz z2 + 1
3+2 3+
 2  z
1 1 1 1
= dz =   dz
j z 2 + 3z + 1 j 2
9 5
z + 3z + −
4 4
 
1 1 1 1
=  2 dz =  √  √  dz
j 3 5 j 3 5 3 5
z+ − z+ − z+ +
2 4 2 2 2 2
 
    √
1  1  1 2π 5
= 2πj 
  √ √ 
 = 2π √ =
j  3 5 3 5  5 5
− + + +
2 2 2 2