Variable Compleja

Números Complejos
Un número complejo 𝑧 es un valor ordenado (𝑎, 𝑏)
El número 𝑎 es la parte real de 𝑧 y 𝑏 es la parte imaginaria
El complejo (𝑎, 0) se identifica con el real 𝑎
El complejo (0, 𝑏) se llama imaginario puro
El complejo (0,1) se llama unidad imaginaria
Los números complejos no son comparables “ <, > ”
Los números complejos no tienen división de cero

Suma de números complejos

𝑧1 + 𝑧2 = (𝑎1 , 𝑏1 ) + (𝑎2 , 𝑏2 ) = (𝑎1 + 𝑎2 , 𝑏1 + 𝑏2 )
Multiplicación de números complejos
𝑧1 𝑧2 = (𝑎1 , 𝑏1 )(𝑎2 , 𝑏2 ) = (𝑎1 𝑎2 − 𝑏1 𝑏2 , 𝑎1 𝑏1 + 𝑎2 𝑏2 )
Inverso Aditivo
−𝑧 = (−𝑎, −𝑏) ,𝑧 −𝑧 = 0
Inverso multiplicativo
𝑎 −𝑏
𝑧 −1 = ( , ) , 𝑧 ∙ 𝑧 −1 = 1
𝑎2 + 𝑏2 𝑎2 + 𝑏2

Ley cancelativa para la suma

Si 𝑧1 + 𝑧2 = 𝑧1 + 𝑧3 entonces 𝑧2 = 𝑧3
Ley cancelativa para el producto
Si 𝑧1 ≠ 0 y 𝑧1 𝑧2 = 𝑧1 𝑧3 entonces 𝑧2 = 𝑧3

Complejo conjugado
𝑧̅ = 𝑎 − 𝑖𝑏
𝑧 + 𝑧̅ = 2𝑎
𝑧 − 𝑧̅ = 2𝑖𝑏
𝑧𝑧̅ = 𝑎2 + 𝑏2
Forma estándar
Todo número complejo puede expresarse como 𝑎 + 𝑖𝑏
Las operaciones de la forma estándar son iguales al aplicar
algebra normal
1 1(𝑎 − 𝑖𝑏) 𝑎 − 𝑖𝑏
𝑧 −1 = = = 2
𝑎 + 𝑖𝑏 (𝑎 + 𝑖𝑏)(𝑎 − 𝑖𝑏) 𝑎 + 𝑏2

Representación geométrica de un número complejo

𝜑 se denota 𝜑 = arg(𝑧) argumento de z

𝑎𝑟𝑔(𝑧1 𝑧2 ) = 𝑎𝑟𝑔(𝑧1 ) + 𝑎𝑟𝑔(𝑧2 )
𝑎𝑟𝑔(𝑧1 ⁄𝑧2 ) = 𝑎𝑟𝑔(𝑧1 ) = 𝑎𝑟𝑔(𝑧2 )

Como 𝑟 ≥ 0, 𝑟 es la distancia del punto (𝑎, 𝑏) al origen

𝑟 = √𝑎2 + 𝑏2 = |𝑧| llamado valor absoluto o modulo del
complejo 𝑧 = 𝑎 + 𝑖𝑏

𝑧 = |𝑧|(cos 𝜃 + 𝑖 sin 𝜃 )
(𝑎 + 𝑏)3 = 𝑎3 + 3𝑎2 𝑏 + 3𝑎𝑏2 + 𝑏3
Fórmulas de Adición y Sustracción de Ángulos
𝑆𝑒𝑛 (𝛼 + 𝛽 ) = 𝑆𝑒𝑛 𝛼 𝐶𝑜𝑠 𝛽 + 𝐶𝑜𝑠 𝛼 𝑆𝑒𝑛𝛽
𝑆𝑒𝑛 (𝛼 − 𝛽 ) = 𝑆𝑒𝑛 𝛼 𝐶𝑜𝑠 𝛽 − 𝐶𝑜𝑠 𝛼 𝑆𝑒𝑛𝛽
𝐶𝑜𝑠(𝛼 + 𝛽 ) = 𝐶𝑜𝑠 𝛼 𝐶𝑜𝑠 𝛽 − 𝑆𝑒𝑛 𝛼 𝑆𝑒𝑛𝛽
𝐶𝑜𝑠(𝛼 − 𝛽 ) = 𝐶𝑜𝑠 𝛼 𝐶𝑜𝑠 𝛽 + 𝑆𝑒𝑛 𝛼 𝑆𝑒𝑛𝛽
𝑇𝑎𝑛 𝛼 + 𝑇𝑎𝑛 𝛽
𝑇𝑎𝑛(𝛼 + 𝛽 ) =
1 − 𝑇𝑎𝑛 𝛼 𝑇𝑎𝑛 𝛽
𝑇𝑎𝑛 𝛼 − 𝑇𝑎𝑛 𝛽
𝑇𝑎𝑛(𝛼 − 𝛽 ) =
1 + 𝑇𝑎𝑛 𝛼 𝑇𝑎𝑛 𝛽
Identidades de Ángulos dobles
𝑆𝑒𝑛 2𝛼 = 2𝑆𝑒𝑛 𝛼 𝐶𝑜𝑠 𝛼
𝐶𝑜𝑠 2𝛼 = 𝐶𝑜𝑠 2 𝛼 − 𝑆𝑒𝑛2 𝛼
𝐶𝑜𝑠 2𝛼 = 1 − 2𝑆𝑒𝑛2 𝛼
2𝑇𝑎𝑛 𝛼
𝑇𝑎𝑛 2𝛼 =
1 − 𝑇𝑎𝑛 2
Identidades de Ángulos Medios
𝛼 1 − 𝐶𝑜𝑠 𝛼
𝑆𝑒𝑛 = ±√
2 2

𝛼 1 + 𝐶𝑜𝑠 𝛼
𝐶𝑜𝑠 = ±√
2 2

𝛼 1 − 𝐶𝑜𝑠 𝛼
𝑇𝑎𝑛 = ±√
2 1 + 𝐶𝑜𝑠 𝛼
Identidades de Productos de Senos y Cosenos
1
𝑆𝑒𝑛 𝛼 𝑆𝑒𝑛 𝛽 = [𝐶𝑜𝑠(𝛼 − 𝛽 ) − 𝐶𝑜𝑠(𝛼 + 𝛽)]
2
1
𝑆𝑒𝑛 𝛼 𝐶𝑜𝑠 𝛽 = [𝑆𝑒𝑛(𝛼 + 𝛽 ) + 𝑆𝑒𝑛(𝛼 − 𝛽)]
2
1
𝐶𝑜𝑠 𝛼 𝐶𝑜𝑠𝛽 = [𝐶𝑜𝑠(𝛼 + 𝛽 ) + 𝐶𝑜𝑠(𝛼 − 𝛽 )]
2
Propiedades del modulo

|𝑧| ≥ 0 y |𝑧| = 0 solo si 𝑧 = 0

|𝑧1 𝑧2 | = |𝑧1 ||𝑧2 | |𝑧1 ⋯ 𝑧𝑛 | = |𝑧1 | ⋯ |𝑧𝑛 |
|𝑧1 ⁄𝑧2 | = |𝑧1 |⁄|𝑧2 |
|𝑧|2 = 𝑧𝑧̅
|𝑧||−𝑧|
|𝑧| = |𝑧̅|
|𝑧1 − 𝑧2 | = |𝑧2 − 𝑧1 | Es la distancia entre 𝑧1 y 𝑧2

Multiplicación y división de números complejos en

forma polar

𝑧1 = |𝑧1 |(cos 𝜃 + 𝑖 sin 𝜃) 𝑧2 = |𝑧2 |(cos 𝜙 + 𝑖 sin 𝜙)

𝑧1 𝑧2 = |𝑧1 ||𝑧1 |[cos(𝜃 + 𝜙) + 𝑖 sin(𝜃 + 𝜙)]

𝑧1 |𝑧1 |
= [cos(𝜃 − 𝜙) + 𝑖 sin(𝜃 − 𝜙)]
𝑧2 |𝑧2 |

Potencia de un número complejo

𝑖 2 = −1 𝑖 6 = −1
𝑖 3 = −𝑖 𝑖 7 = −𝑖
𝑖4 = 1 𝑖8 = 1
𝑖5 = 𝑖 𝑖9 = 𝑖

𝑧 𝑛 = |𝑧|𝑛 [Cos(𝑛𝜃) + 𝑖 Sin(𝑛𝜃)]

Teorema de Moivre

1
= Cos(𝜃) ∓ 𝑖 Sin(𝜃)
Cos(𝜃) ± 𝑖 Sin(𝜃)
[Cos(𝜃) ± 𝑖 Sin(𝜃)]−𝑛 = Cos(−𝑛𝜃) + 𝑖 Sin(−𝑛𝜃)
1
𝑧 −1 = = |𝑧|−1[Cos(𝜃) − 𝑖 Sin(𝜃)] = |𝑧|−1 [Cos(−𝜃) + 𝑖 Sin(−𝜃)]
𝑧
𝑧 𝑛 𝑧 𝑚 = 𝑧 𝑛+𝑚
𝑛 )𝑚
(𝑧 = 𝑧 𝑛𝑚 = (𝑧 𝑚 )𝑛

Teorema del binomio

𝑛
𝑛 𝑛 𝑛!
(𝑧1 + 𝑧2 )𝑛 = ∑ ( ) (𝑧1 )𝑛−𝑘 (𝑧2)𝑘 , ( )=
𝑘 𝑘 𝑘! (𝑛 − 𝑘)!
𝑘=0

Raíces n-esimas de un complejo

𝑎 + √𝑎2 + 𝑏2 −𝑎 + √𝑎2 + 𝑏2
± [±√ ± 𝑖√ ] , 𝑠𝑖 𝑏 > 0
2 2

𝑎 + √𝑎2 + 𝑏2 𝑏 √−𝑎 + √𝑎2 + 𝑏2

± [√ +𝑖 ] , 𝑠𝑖 𝑏 ≠ 0
2 |𝑏 | 2

± [√ ⁄2 ± 𝑖√ ⁄2]
√𝑎 + 𝑖𝑏 = { ±√𝑎, 𝑠𝑖 𝑏 = 0 𝑦 𝑎 ≥ 0
±𝑖√−𝑎, 𝑠𝑖 𝑏 = 0 𝑦 𝑎 < 0
 𝜃 + 2𝑘𝜋
𝜙=
𝑛

1⁄ 𝜃 + 2𝑘𝜋 𝜃 + 2𝑘𝜋
𝑤 = |𝑧| 𝑛 [Cos ( ) + 𝑖 Sin ( )] , 𝑘 = 0,1,2, ⋯
𝑛 𝑛

𝑛 𝑛 𝜃 + 𝜙 + 2𝑘𝜋 𝜃 + 𝜙 + 2𝑘𝜋
√𝑧1 𝑧2 = √|𝑧1 𝑧2 | [Cos ( ) + 𝑖 Sin ( )]
𝑛 𝑛
𝑛 1⁄ 𝜃 + 2𝑘𝜋 𝜃 + 2𝑘𝜋
√𝑧1 = |𝑧| 𝑛 [Cos ( ) + 𝑖 Sin ( )]
𝑛 𝑛
𝑛
√𝑧

Desigualdades

|𝑧| ≥ |𝑅𝑒(𝑧)|
|𝑧| ≥ |𝐼𝑚(𝑧)|
|𝑧|2 > |𝑅𝑒(𝑧)||𝐼𝑚(𝑧)|
√2|𝑧| ≥ |𝑅𝑒(𝑧)| + |𝐼𝑚(𝑧)|

Lugares geométricos y conjuntos de puntos del

plano complejo
Representa en el plano complejo el conjunto de todos los
puntos z que satisfacen la igualdad o desigualdad dada
Ecuación de la circunferencia en su forma compleja
Ecuación de la parábola en su forma compleja
|𝑧 | = 𝐶 2

Ecuación de la elipse en su forma compleja

| |=

Ecuación de la hipérbola en su forma compleja

|𝑧 − 𝑤1 | − |𝑧 − 𝑤2 | = 2𝑙
Donde 𝑤1 y 𝑤2 son los focos y 2𝑙 representa el doble de
la distancia que existe entre su centro y cualesquiera de sus
vértices del eje focal.

|𝑧 − 8 + 𝑖 | = 9

|𝑧|2 + 𝐼𝑚(𝑧) = 16

|𝑧| + 𝑅𝑒(𝑧) = 0
 |𝑧 + 1 + 6𝑖 | = |𝑧 − 3 + 𝑖 |

|𝑧 − 𝑖 | = 𝐼𝑚(𝑧) + 1

|𝑧 + 1 + 6𝑖 | = |𝑧 − 3 + 𝑖 |

|𝑧 + 2 + 𝑖 | > |𝑧 − 1 |

Cuál es la ecuación de la elipse que pasa por 𝑖 que tiene

focos en -1 y 1
Conceptos topográficos en el plano complejo

Bola Abierta

La bola abierta con centro en

𝑧0 y radio 𝑟 se define como

𝐵𝑟 (𝑧0 ) = {𝑧 ∈ ∁/|𝑧 − 𝑧0 | < 𝑟}

Bola Cerrada

La bola cerrada con centro en

𝑧0 y radio 𝑟 se define como

̅̅̅
𝐵𝑟 (𝑧0 ) = {𝑧 ∈ ∁/|𝑧 − 𝑧0 | ≤ 𝑟}

Punto Interior
𝑧0 ∈ 𝑆 es un punto interior de 𝑆 si existe una bola abierta
contenida en 𝑆, es decir 𝑧0 es un punto interior de 𝑆 si
existe 𝑟 > 0
El conjunto de todos los puntos interiores de 𝑆 se llama
interior de 𝑆 notado 𝐼𝑛𝑡(𝑆)
Si todos los puntos son interiores entonces es abierto
Punto Frontera
𝑧0 ∈ 𝑆 es un punto frontera de 𝑆 si existe una bola abierta
contiene por lo menos un punto de 𝑆 y por lo menos un
punto que no está en 𝑆
El conjunto de todos los puntos frontera de 𝑆 se llama
frontera de 𝑆 notado Frt(𝑆)
Superficie Abierta
La superficie es abierta si 𝑆 no contiene ningún punto de
frontera
Superficie Cerrada
La superficie es cerrada si su complemento es abierto
𝑆𝑐 = 𝐶 − 𝑆

Punto Limite o de Acumulación

𝑧 Es un punto límite de 𝑆 si toda bola abierta contiene por
lo menos un punto 𝑧1 ≠ 𝑧 de 𝑆
(𝐵𝑟 (𝑧) − {𝑧}) ∩ 𝑆 ≠ ∅
“Es un punto limite si al quitar el punto centro de la bola
abierta esta contiene aun un punto de 𝑆”

El conjunto de todos los puntos limite o de acumulación

de 𝑆 se llama conjunto derivado de 𝑆, notado 𝑆′
Cerrado o Abierto según puntos Limites
𝑆 es cerrado solo si 𝑆 contiene todos sus puntos limite, es
decir, Solo es cerrado si 𝑆′ ⊆ 𝑆

Acotado
𝑆 es acotado si existe 𝑟 > 0 tal que |𝑧| < 𝑟 para todo 𝑧 ∈ 𝑆
𝐵𝑟(𝑧0 ) es un conjunto acotado, 𝐵̅ 𝑟(𝑧0 ) es un conjunto
acotado y ∁ no es un conjunto acotado
Funciones
Una relación 𝑅 cobre ∁ es un conjunto de parejas
ordenadas (𝑧, 𝑤) 𝑅 ⊆ ∁×∁= {(𝑧, 𝑤)/𝑧, 𝑤 ∈ ∁}
Dominio
El dominio de 𝑅 notado 𝐷𝑅 es el conjunto de los
elementos “𝑧” de la pareja (𝑧, 𝑤)
Rango
El dominio de 𝑅 notado 𝑅𝑅 es el conjunto de los
elementos “𝑤” de la pareja (𝑧, 𝑤)

Expresión de una función

𝑧 + 𝑧̅ 𝑧 − 𝑧̅ 𝑧 + 𝑧̅ 𝑧 − 𝑧̅
𝑤 = 𝑓 (𝑧 ) = 𝑈 ( , ) + 𝑖𝑉 ( , )
2 2𝑖 2 2𝑖
 Representación Geométrica y
Transformación de Coordenadas
Limites
lim 𝑓 (𝑧) = 𝑥 + 𝑖𝑦
𝑧→𝑧0
Dado ∈> 0 existe 𝛿 =? > 0 tal que 0 < |𝑧 − (𝑧0 )| < 𝛿
implica que |(𝑓(𝑧)) − (𝑥 + 𝑖𝑦)| <∈

Hay que hacer que sea igual a para comprobar por medio
de la definición que el limite existe

Reglas para el cálculo de límites

Si lim 𝑓(𝑧) = 𝜔0 y lim 𝑔(𝑧) = 𝜔1
𝑧→𝑧0 𝑧→𝑧0

lim (𝑓 + 𝑔)(𝑧) = lim 𝑓 + lim 𝑔

𝑧→𝑧0 𝑧→𝑧0 𝑧→𝑧0
lim 𝑐𝑓(𝑧) = 𝑐 lim 𝑓(𝑧) = 𝑐𝜔0
𝑧→𝑧0 𝑧→𝑧0

lim 𝑓𝑔(𝑧) = ( lim 𝑓(𝑧)) ( lim 𝑔(𝑧)) = 𝜔0 𝜔1

𝑧→𝑧0 𝑧→𝑧0 𝑧→𝑧0

𝑓 lim 𝑓 𝜔0
𝑧→𝑧0
lim (𝑧) = =
𝑧→𝑧0 𝑔 lim 𝑔 𝜔1
𝑧→𝑧0
…………………………………………………………
𝑧−1 3−1
lim = =2
𝑧→3 𝑧
−2 3−2
𝑧3 − 1 (𝑧 − 1)(𝑧 2 + 𝑧 + 1)
lim = lim =3
𝑧→1 𝑧 − 1 𝑧→1 (𝑧 − 1)
2
𝑧 +1 (𝑧 + 𝑖)(𝑧 − 𝑖)
lim = lim = −𝑖2
𝑧→−𝑖 𝑧 + 𝑖 𝑧→−𝑖 (𝑧 + 𝑖)
2
𝑧[𝑧 + (2 − 𝑖)𝑧 − 2𝑖] 𝑧[(2 − 𝑖)(𝑧 + 2)]
lim = lim = −1 + 𝑖2
𝑧→𝑖 𝑧−𝑖 𝑧→𝑖 𝑧−𝑖
Continuidad

Dado 𝜖 > 0 existe 𝛿 =? > 0 tal que |𝑧 − 𝑧0 | < 𝛿 implica

que |𝑓(𝑧) − 𝑓(𝑧0 )| < 𝜖

…………………………………………………………...

Probar que la función es continua en C, 𝑤 = 𝑅𝑒(𝑧)

lim 𝑅𝑒(𝑧) = 𝑅𝑒(𝑧0 )
𝑧→𝑧0
Dado 𝜖 > 0 existe 𝛿 =? > 0 tal que |𝑧 − 𝑧0 | < 𝛿 implica
que |𝑅𝑒(𝑧) − 𝑅𝑒(𝑧0 )| < 𝜖
|𝑅𝑒(𝑧) − 𝑅𝑒(𝑧0 )| = |𝑅𝑒(𝑧 − 𝑧0 )| ≤ |𝑧 − 𝑧0 | < 𝛿 = 𝜖

Probar que la función es continua en C, 𝑤 = 𝐼𝑚(𝑧)

Dado 𝜖 > 0 existe 𝛿 =? > 0 tal que |𝑧 − 𝑧0 | < 𝛿 implica
que |𝐼𝑚(𝑧) − 𝐼𝑚(𝑧0 )| < 𝜖
|𝐼𝑚(𝑧) − 𝐼𝑚(𝑧0 )| = |𝐼𝑚(𝑧 − 𝑧0 )| ≤ |𝑧 − 𝑧0 | < 𝛿 = 𝜖

Probar que la función es continua en C, 𝑤 = |𝑧|

Dado 𝜖 > 0 existe 𝛿 =? > 0 tal que |𝑧 − 𝑧0 | < 𝛿 implica
que ||𝑧| − |𝑧0 || ≤ |𝑧 − 𝑧0 |
Funciones Compuestas Complejas
Sean 𝑓 (𝑧) y 𝑔(𝑧) funciones de variable compleja
(𝑓°𝑔)(𝑧) = 𝑓(𝑔 (𝑧))
Si 𝑔 es continua en 𝑧0 y 𝑓 es continua en 𝑤0 = 𝑔 (𝑧0 )
entonces la compuesta es continua
……………………………………………………..
𝑧𝑅𝑒(𝑧) 𝑧𝑅𝑒(𝑧) 0
𝑓 (𝑧 ) = lim =
| 𝑧 |2 𝑧→0 |𝑧|2 0
0 debe ser punto de acumulación 𝑆1 y 𝑆2 deben coincidir

𝑧𝑅𝑒(𝑧) 𝑖𝑦∙0
Si lim = lim =0
𝑧→0 |𝑧|2 𝑧→0 𝑦 2
𝑧𝑅𝑒(𝑧) 𝑥∙𝑥
Si lim = lim 𝑥 2 = 1
𝑧→0 |𝑧|2 𝑧→0

𝑓(𝑧) no se puede definir en 𝑧 = 0 para que 𝑓(𝑧) sea

continua en 𝑧 = 0
…………………………………………………………
¿Podrá definirse en 0 para que resulte continua?
|𝑧 |2 | 𝑧 |2 0
𝑓 (𝑧 ) = lim =
𝑧 𝑧→0 𝑧 0
|𝑧|2 𝑦2
Si lim = lim =𝑦
𝑧→0 𝑧 𝑧→0 𝑦
|𝑧|2 𝑥2
Si lim = lim =𝑥
𝑧→0 𝑧 𝑧→0 𝑥

Que den igual no significa que sea completamente

continuo, así lo sea en 100 caminos por lo que se intenta
usar otro método o la definición
|𝑧 |2 𝑧𝑧̅
lim = lim = lim 𝑧̅ = 0
𝑧→0 𝑧 𝑧→0 𝑧 𝑧→0
Derivada
Sea 𝑓 continua y 𝑧0 un punto interior de 𝑆
𝑓 (𝑧0 + ℎ) − 𝑓(𝑧0 )
𝑓 ′ (𝑧0 ) = lim
ℎ→0 ℎ

……………………………………………………
𝑓 (𝑧 ) = 𝑧 𝑛
𝑓 (𝑧 + ℎ ) − 𝑓 (𝑧 ) (𝑧 + ℎ )𝑛 − 𝑧 𝑛
𝑓 ′ (𝑧) = lim = lim =
ℎ→0 ℎ ℎ→0 ℎ
𝑛 (𝑛 − 1)
ℎ [𝑛𝑧 𝑛−1 + 1 ∙ 2 𝑧 𝑛−2 ℎ + ⋯ + ℎ𝑛−1 ]
= lim =
ℎ→0 ℎ
𝑛−1
= 𝑛𝑧
……………………………………………………
𝑓 (𝑧) = 𝑧̅
𝑓 ( 𝑧 + ℎ ) − 𝑓 (𝑧 ) ̅̅̅̅̅̅̅̅̅
(𝑧 + ℎ) − 𝑧̅
𝑓 ′ (𝑧) = lim = lim =
ℎ→0 ℎ ℎ→0 ℎ
𝑧̅ + ℎ̅ − 𝑧̅ ℎ̅
= lim = lim
ℎ→0 ℎ ℎ→0 ℎ
Comprobando el limite cuando 𝑆1 = 𝑥 + 𝑖0 y 𝑆2 = 0 + 𝑖𝑦
𝑆1 → lim 𝑥⁄𝑥 = 1
ℎ→0
{
𝑆2 → lim −𝑖𝑦⁄𝑖𝑦 = −1
ℎ→0
El limite no existe
Reglas de derivación
(𝑓 + 𝑔)′(𝑧) = 𝑓 ′ (𝑧) + 𝑔′(𝑧)
(𝑐𝑓)′ (𝑧) = 𝑐𝑓′(𝑧)
(𝑓𝑔) (𝑧) = 𝑓 ′ (𝑧)𝑔(𝑧) + 𝑓 (𝑧)𝑔′(𝑧)
′

𝑓 ′ (𝑧)𝑔(𝑧) − 𝑓(𝑧)𝑔′(𝑧)
(𝑓⁄𝑔)′ (𝑧) =
[𝑔(𝑧)]2
′ ′
(𝑓°𝑔) (𝑧) = 𝑓 (𝑔(𝑧))𝑔′(𝑧)
Ecuación de Cauchy-Riemann

Son dos ecuaciones diferenciales parciales que son básicas

en el análisis de funciones complejas de variable compleja,
debido a que su verificación constituye una condición
necesaria (aunque no suficiente) para la derivabilidad de
este tipo de funciones.
𝜕𝑈 𝜕𝑉 𝜕𝑉 𝜕𝑈
= =−
𝜕𝑥 𝜕𝑦 𝜕𝑥 𝜕𝑦
Si no cumple con las ecuaciones no es derivable en el
punto, si cumple con las ecuaciones puede o no ser
derivable en el mundo.

Si 𝑓(𝑧) = 𝑈(𝑥, 𝑦) + 𝑖𝑉(𝑥, 𝑦) tiene derivada en 𝑧0 =

𝑥0 + 𝑦0 entonces existen las primeras derivadas parciales
𝑈𝑥 (𝑥0 , 𝑦0 ) , 𝑈𝑦 (𝑥0 , 𝑦0 ) 𝑉𝑥 (𝑥0 , 𝑦0 ) , 𝑉𝑦 (𝑥0 , 𝑦0 ) y satisfacen
las ecuaciones de Cauchy-Riemann.

Sea 𝑓(𝑧) = 𝑈(𝑥, 𝑦) + 𝑖𝑉(𝑥, 𝑦) Si las primeras derivadas

parciales 𝑈𝑥 , 𝑈𝑦 , 𝑉𝑥 , 𝑉𝑦 son continuas y satisfacen las
ecuaciones de Cauchy-Rieman en el punto (𝑥0 , 𝑦0 )
entonces 𝑓´(𝑥0 + 𝑖𝑦0 )existe

Cauchy-Riemann en coordenadas polares

𝑓 (𝑧) = 𝑈(𝑟, 𝜃) + 𝑖𝑉(𝑟, 𝜃), muestre que las ecuaciones
Cauchy-Riemann puede escribirse en la forma
𝜕𝑈 1 𝜕𝑉 1 𝜕𝑈 𝜕𝑉
= =
𝜕𝑟 𝑟 𝜕𝜃 𝑟 𝜕𝜃 𝜕𝑟
𝑦
𝑟 = √𝑥 2 + 𝑦 2 𝜃 = 𝑇𝑎𝑛−1 ( )
𝑥
Funciones Analíticas

La función 𝑓(𝑧) es analítica en el punto 𝑧0 solo si 𝑓(𝑧)

está definida y tiene derivada no solo en 𝑧0 sino en todo
punto 𝑧 de alguna bola abierta con
centro en 𝑧0

La función 𝑓(𝑧) es entera si es

analítica en 𝐶
Toda función es polinomial
𝑃(𝑧) = 𝑎𝑛 𝑧 𝑛 + 𝑎𝑛−1 𝑧 𝑛−1 + ⋯ + 𝑎1 𝑧 1 + 𝑎0 es una
función entera
……………………………………………………..
𝑓(𝑧) = 𝑒 𝑥 (𝐶𝑜𝑠(𝑦) + 𝑖𝑆𝑒𝑛(𝑦))
𝑈 = 𝑒 𝑥 𝐶𝑜𝑠(𝑦) 𝑉 = 𝑒 𝑥 𝑆𝑒𝑛(𝑦)

𝑈𝑥 = 𝑒 𝑥 𝐶𝑜𝑠(𝑦) 𝑉𝑦 = 𝑒 𝑥 𝐶𝑜𝑠(𝑦)
𝑉𝑥 = 𝑒 𝑥 𝑆𝑒𝑛(𝑦) −𝑈𝑦 = −(−𝑒 𝑥 𝑆𝑒𝑛(𝑦))
𝑓 ′ (𝑥 + 𝑖𝑦) = 𝑈 + 𝑖𝑉 = 𝑒 𝑥 𝐶𝑜𝑠(𝑦) + 𝑖𝑒 𝑥 𝑆𝑒𝑛(𝑦) = 𝑓(𝑧)
……………………………………………………..
Muestre que la función 𝑓 (𝑧) = |𝑧|2 es derivable pero no
analítica en el punto 𝑧 = 0
𝑓 ( 𝑧 ) = |𝑧 |2 = 𝑥 2 + 𝑦 2
𝑈 = 𝑥2 + 𝑦2 𝑉 = 0

𝑈𝑥 = 2𝑥 𝑉𝑦 = 0 2𝑥 = 0 → 𝑥 = 0
{
𝑉𝑥 = 0 −𝑈𝑦 = −(2𝑦) 2𝑦 = 0 → 𝑦 = 0
Existe 𝑓 ′ (0) = 0
Solo tiene derivada en cero, es imposible encontrar una
bola abierta dado que solo tendrá derivada en el punto
Función exponencial compleja
𝑓(𝑥 ) = 𝑒 𝑧 , 𝑧𝜖𝐶
𝑧
𝑒 = 𝑈(𝑥, 𝑦) + 𝑖𝑉(𝑥, 𝑦)
𝑒 𝑧 = 𝑒 𝑥 (𝐶𝑜𝑠(𝑦) + 𝑖𝑆𝑒𝑛(𝑦))
Propiedades exponenciales complejas
𝑒0 = 1 1
𝑒 −𝑧 =
|𝑒 = 𝑒 𝑅𝑒(𝑧)
𝑧|
𝑒𝑧
𝑖𝜃
𝑒 = 𝐶𝑜𝑠(𝜃) + 𝑖𝑆𝑒𝑛(𝜃) 𝑒 𝑧 = 𝑒 𝑧+𝑖2𝜋
𝑒 𝑧 = 𝑒 𝑅𝑒(𝑧) 𝑒 𝐼𝑚(𝑧) (𝑒 𝑧 )𝑚 = 𝑒 𝑧𝑚
1 1
𝑒 𝑧1 𝑒 𝑧2 = 𝑒 𝑧1+𝑧2 (𝑒 ) ⁄𝑛 = 𝑒 ⁄𝑛(𝑧+2𝑘𝜋𝑖)
𝑧
𝑚 𝑚
𝑒 𝑧̅ = 𝑒̅̅̅𝑧 (𝑒 𝑧 ) ⁄𝑛 = 𝑒 ⁄𝑛(𝑧+2𝑘𝜋𝑖)

𝑒 0 = 𝑒 0+𝑖0 = 𝑒 0 [𝐶𝑜𝑠(0) + 𝑖𝑆𝑒𝑛(0)] = 1

La forma polar de 𝑧𝜖𝐶, 𝑧 = |𝑧|[𝐶𝑜𝑠(𝜃) + 𝑖𝑆𝑒𝑛(𝜃)]
donde 𝜃 = arg(𝑧) se puede escribir como 𝑧 = |𝑧|𝑒 𝑖𝜃
𝑒 𝑧 = 𝑒 𝑥 [𝐶𝑜𝑠(𝑦) + 𝑖𝑆𝑒𝑛(𝑦)]
……………………………………………………….
Funciones Trigonométricas

𝑒 𝑖𝜃 = 𝐶𝑜𝑠𝜃 + 𝑖𝑆𝑒𝑛𝜃 𝑒 −𝑖𝜃 = 𝐶𝑜𝑠𝜃 − 𝑖𝑆𝑒𝑛𝜃

𝑒 𝑖𝜃 + 𝑒 −𝑖𝜃 = 2𝐶𝑜𝑠(𝜃) 𝑒 𝑖𝜃 − 𝑒 −𝑖𝜃 = 𝑖2𝑆𝑒𝑛(𝜃)
𝑒 𝑖𝜃 + 𝑒 −𝑖𝜃 𝑒 𝑖𝜃 − 𝑒 −𝑖𝜃
𝐶𝑜𝑠(𝜃) = 𝑆𝑒𝑛(𝜃) =
2 2𝑖
1
𝑆𝑒𝑛2 (𝑧) + 𝐶𝑜𝑠 2 (𝑧) = [(𝑒 𝑖𝑧 + 𝑒 −𝑖𝑧 )(𝑒 2𝑖𝑧 )]
4
𝑒 𝑖𝜃 + 𝑒 −𝑖𝜃 2
𝑇𝑎𝑛(𝑧) = 𝑖𝜃 𝑆𝑒𝑐(𝑧) = 𝑖𝜃
𝑒 +𝑒 −𝑖𝜃 𝑒 + 𝑒 −𝑖𝜃
𝐶𝑜𝑠(𝑧) 1
𝐶𝑇𝑎𝑛(𝑧) = 𝐶𝑠𝑐(𝑧) =
𝑆𝑒𝑛(𝑧) 𝑆𝑒𝑛(𝑧)

𝑆𝑒𝑛(𝑧) = 𝐶𝑜𝑠ℎ(𝑦)𝑆𝑒𝑛(𝑦) + 𝑖𝑆𝑒𝑛ℎ(𝑦)𝐶𝑜𝑠(𝑥)

𝑆𝑒𝑛(𝑧1 ± 𝑧2 ) = 𝑆𝑒𝑛(𝑧1 )𝐶𝑜𝑠(𝑧2 ) ± 𝑆𝑒𝑛(𝑧2 )𝐶𝑜𝑠(𝑧1 )
𝐶𝑜𝑠(𝑧1 ± 𝑧2 ) = 𝐶𝑜𝑠(𝑧1 )𝐶𝑜𝑠(𝑧2 ) ∓ 𝑆𝑒𝑛(𝑧1 )𝑆𝑒𝑛(𝑧2 )
𝑇𝑎𝑛(𝑧1 ) ± 𝑇𝑎𝑛(𝑧2 )
𝑇𝑎𝑛(𝑧1 ± 𝑧2 ) =
1 ∓ 𝑇𝑎𝑛(𝑧1 )𝑇𝑎𝑛(𝑧2 )
𝑆𝑒𝑛(−𝑧) = −𝑆𝑒𝑛(𝑧)
𝐶𝑜𝑠(−𝑧) = 𝐶𝑜𝑠(𝑧)
̅̅̅̅̅̅̅̅̅
𝑆𝑒𝑛(𝑧) = 𝑆𝑒𝑛(𝑧̅)
̅̅̅̅̅̅̅̅̅
𝐶𝑜𝑠(𝑧) = 𝐶𝑜𝑠(𝑧̅)
|𝑆𝑒𝑛𝑧| = 𝑆𝑒𝑛2 (𝑥) + 𝑆𝑒𝑛ℎ2 (𝑦)
2

Derivadas Trigonométricas Complejas

𝑑 𝑑
(𝑆𝑒𝑛(𝑧)) = 𝐶𝑜𝑠(𝑧) (𝑆𝑒𝑐(𝑧)) = 𝑆𝑒𝑐(𝑧)𝑇𝑎𝑛(𝑧)
𝑑𝑧 𝑑𝑧
𝑑 𝑑
(𝐶𝑜𝑠(𝑧)) = −𝑆𝑒𝑛(𝑧) (𝐶𝑠𝑐(𝑧)) = −𝐶𝑠𝑐(𝑧)𝐶𝑡𝑎𝑛(𝑧)
𝑑𝑧 𝑑𝑧
𝑑
(𝐶𝑡𝑎𝑛(𝑧)) = −𝐶𝑠𝑐 2 (𝑧)
𝑑𝑧
Funciones Hiperbólicas
𝑒 𝑧 − 𝑒 −𝑧 𝐶𝑜𝑠ℎ(𝑧)
𝑆𝑒𝑛ℎ(𝑧) = 𝐶𝑡𝑎𝑛ℎ(𝑧) =
2 𝑆𝑒𝑛ℎ(𝑧)
𝑒 𝑧 + 𝑒 −𝑧 1
𝐶𝑜𝑠ℎ(𝑧) = 𝑆𝑒𝑐ℎ(𝑧) =
2 𝐶𝑜𝑠ℎ(𝑧)
𝑆𝑒𝑛ℎ(𝑧) 1
𝑇𝑎𝑛ℎ(𝑧) = 𝐶𝑠𝑐ℎ(𝑧) =
𝐶𝑜𝑠ℎ(𝑧) 𝑆𝑒𝑛ℎ(𝑧)
𝐶𝑜𝑠ℎ2 (𝑧) − 𝑆𝑒𝑛ℎ2 (𝑧) = 1
𝐶𝑜𝑠ℎ(𝑧) = 𝐶𝑜𝑠(𝑖𝑧)
𝑖𝑆𝑒𝑛ℎ(𝑧) = 𝑆𝑒𝑛(𝑖𝑧)
𝑆𝑒𝑛ℎ(𝑧1 ± 𝑧2 ) = 𝑆𝑒𝑛ℎ(𝑧1 )𝐶𝑜𝑠ℎ(𝑧2 ) ± 𝑆𝑒𝑛ℎ(𝑧2 )𝐶𝑜𝑠ℎ(𝑧1 )
𝐶𝑜𝑠ℎ(𝑧1 ± 𝑧2 ) = 𝐶𝑜𝑠ℎ(𝑧1 )𝐶𝑜𝑠ℎ(𝑧2 ) ± 𝑆𝑒𝑛ℎ(𝑧1 )𝑆𝑒𝑛ℎ(𝑧2 )

Derivadas Funciones Hiperbólicas

𝑑 𝑑
𝑆𝑒𝑛ℎ(𝑧) = 𝐶𝑜𝑠ℎ(𝑧) 𝐶𝑡𝑎𝑛ℎ(𝑧) = −𝐶𝑠𝑐ℎ2 (𝑧)
𝑑𝑧 𝑑𝑧
𝑑 𝑑
𝐶𝑜𝑠ℎ(𝑧) = 𝑆𝑒𝑛ℎ(𝑧) 𝑆𝑒𝑐ℎ(𝑧) = −𝑆𝑒𝑐ℎ(𝑧)𝑇𝑎𝑛ℎ(𝑧)
𝑑𝑧 𝑑𝑧
𝑑 𝑑
𝑇𝑎𝑛ℎ(𝑧) = 𝑆𝑒𝑐ℎ2 (𝑧) 𝐶𝑠𝑐ℎ(𝑧) = −𝐶𝑠𝑐ℎ(𝑧)𝐶𝑡𝑎𝑛ℎ(𝑧)
𝑑𝑧 𝑑𝑧
Logaritmo Complejo
Dado un número complejo 𝑧 ≠ 0 existen números
complejos 𝑤 tal que 𝑒 𝑤 = 𝑧, sea 𝑧 = |𝑧|𝑒 𝑖𝜃 donde 𝜃 es
un argumento de 𝑧 y sea 𝑤 = 𝑥 + 𝑖𝑦
𝑤 = ln|𝑧| + 𝑖 (𝜃 + 2𝜋𝑛) 𝑤 = ln|𝑧| + 𝑖 arg(𝑧)
Logaritmo y logaritmo principal de 𝑧
log(𝑧) = ln|𝑧| + 𝑖 arg(𝑧) Log(𝑧) = ln|𝑧| + 𝑖 Arg(𝑧)
1
(log(𝑧))′ = 𝑒 log(𝑧) = 𝑧
𝑧
log(𝑧) es analítica para 𝑧 = 0 y 𝜃0 < 𝜃 < 𝜃0 + 2𝜋

Potencia Compleja
Sean 𝑧, 𝑎 ∈ 𝐶 con 𝑧 ≠ 0 la potencia compleja 𝑧 𝑎 se define
𝑧 𝑎 = 𝑒 𝑎 𝑙𝑜𝑔(𝑧) 𝑧 𝑎 = 𝑒 𝑎 𝐿𝑜𝑔(𝑧)
(𝑧 𝑎 )′ = 𝑎𝑧 𝑎−1
𝑧 𝑧 = 𝑧 𝑎−𝑏
𝑎⁄ 𝑏
𝑧 𝑎 𝑧 𝑏 = 𝑧 𝑎+𝑏
Sea 𝑐 un complejo fijo la exponencial compleja se define
𝑑 𝑧
𝑐 𝑧 = 𝑒 𝑧 𝑙𝑜𝑔(𝑐) 𝑐 = 𝑐 𝑧 log(𝑧)
𝑑𝑧

Trigonométricas e Hiperbólicas inversas

𝑤 = 𝑆𝑒𝑛−1 (𝑧) es el seno inverso y es cualquier 𝑤 ∈ 𝐶 tal
que 𝑧 = 𝑆𝑒𝑛(𝑤)

1
𝑧 = 𝑆𝑒𝑛(𝑤) → 𝑆𝑒𝑛−1 (𝑧) = 𝑤 = 𝑙𝑜𝑔 (𝑖𝑧 + √1 − 𝑧 2 )
𝑖
−1 −1
1
𝑧 = 𝐶𝑜𝑠 (𝑤) → 𝐶𝑜𝑠 (𝑧) = 𝑤 = 𝑙𝑜𝑔 (𝑧 + √𝑧 2 − 1)
𝑖
−1 −1
1 1 + 𝑖𝑧
𝑧 = 𝑇𝑎𝑛 (𝑤) → 𝑇𝑎𝑛 (𝑧) = 𝑤 = 𝑙𝑜𝑔 ( )
2𝑖 1 − 𝑖𝑧
−1
𝑧 = 𝑆𝑒𝑛ℎ(𝑤) → 𝑆𝑒𝑛ℎ (𝑧) = 𝑤 = 𝑙𝑜𝑔 (𝑧 + √1 + 𝑧 2 )
Arco
Un arco c es un conjunto de puntos 𝑥 = 𝑥 (𝑡), 𝑦 = 𝑦(𝑡)
continua de [𝑎, 𝑏] 𝑧(𝑡) = 𝑥(𝑡) + 𝑖𝑦(𝑡) con 𝑎 ≤ 𝑡 ≤ 𝑏
𝑧(𝑎) = 𝑥(𝑎) + 𝑖𝑦(𝑎) se llama punto inicial de c
𝑧(𝑏) = 𝑥(𝑏) + 𝑖𝑦(𝑏) se llama punto final de c
Si 𝑧(𝑎) = 𝑧(𝑏) el arco c es una curva cerrada
Si 𝑡1 y 𝑡2 son dos puntos distintos en el intervalo (𝑎, 𝑏) tal
que 𝑧(𝑡1 ) = 𝑧(𝑡2 ) se dice que arco se intersecta así mismo
Si no se corta así mismo se dice un arco simple o Jordan
Un arco es suave si 𝑧 ′ (𝑡) =
𝑥 ′ (𝑡) + 𝑖𝑦′(𝑡) existe y es
continuo, además de no ser
nulo para 𝑎 ≤ 𝑡 ≤ 𝑏
Contornos
La unión de 𝑛 arcos suaves se
llama contorno
Si el punto final e inicial del
contorno son iguales se dice
contorno cerrado
Si el contorno no se corta así
mismo se dice que es simple

Descripción de una recta

(1 − 𝑡)𝑧1 + 𝑡𝑧2 0 ≤ 𝑡 ≤ 1
{(1 − 𝑡)𝑧2 + 𝑡𝑧3 0 ≤ 𝑡 ≤ 1
(1 − 𝑡)𝑧3 + 𝑡𝑧1 0 ≤ 𝑡 ≤ 1

Descripción de una curva

𝑐: 𝑧(𝑡) = 𝐶𝑜𝑠𝑡 + 𝑖𝑆𝑒𝑛𝑡 0 ≤ 𝑡 ≤ 𝜋⁄2
𝑥 = 𝐶𝑜𝑠𝑡 𝑦 = 𝑆𝑒𝑛𝑡
𝑥2 + 𝑦2 = 1

Un conjunto es conexo si dos puntos cualesquiera de S se

pueden unir mediante un arco o contorno contenido en S
Funciones Armónicas
Las funciones armónicas son aquellas que pertenecen a un
dominio D y tienen segundas derivadas parciales
continuas y que satisface la ecuación de Laplace
𝑈𝑥𝑥 (𝑥, 𝑦) + 𝑢𝑦𝑦 (𝑥, 𝑦) = 0 → ∇2 𝑈(𝑥, 𝑦)

Si 𝑓 = 𝑈 + 𝑖𝑉 es analítica 𝑈 𝑦 𝑉 también lo son analíticas

𝑈 y 𝑉 se llaman funciones conjugadas armónicas

Si es analítica en un punto 𝑧0 tiene infinitas derivadas allí

𝑈𝑥 = 𝑉𝑦 𝑈𝑦 = −𝑉𝑥
𝑈𝑥𝑥 = −𝑈𝑦𝑦 𝑈𝑥𝑦 = 𝑈𝑦𝑥

Luego 𝑓(𝑧) = 𝑈𝑥 − 𝑖𝑈𝑦 es analítica en D

Si D no es simplemente conexo, 𝑈 podría no ser la parte
real de una función analítica en D

𝑉(𝑥, 𝑦) = ∫ −𝑉𝑥 𝑑𝑥 = 𝑉 + ℎ(𝑦)

𝑉𝑦 = 𝑉𝑦 + ℎ′ (𝑦) = 𝑈𝑥
ℎ′ (𝑦) = 𝑎 ℎ(𝑦) = ∫ 𝑎 𝑑𝑦 + 𝑐
𝑓(𝑧) = 𝑈 + 𝑖𝑉 + 𝑖𝑐

La ecuación de Laplace en coordenadas polares es

𝜕 2 𝑈 1 𝜕𝑈 1 𝜕 2 𝑈
+ + =0
𝜕𝑟 2 𝑟 𝜕𝑟 𝑟 2 𝜕𝜃 2
𝑟 = √𝑥 2 + 𝑦 2 ; 𝜃 = 𝐴𝑟𝑐𝑇𝑎𝑛(𝑦⁄𝑥 ); 𝑥 = 𝑟𝐶𝑜𝑠(𝜃); 𝑦 = 𝑟𝑆𝑒𝑛(𝜃)
Inversión de Contorno
Si 𝑐: 𝑧(𝑡) = 𝑥(𝑡) + 𝑖𝑦(𝑡), 𝑎 < 𝑡 < 𝑏 es un contorno 𝑐 si 𝑐 − es
el contorno con parámetro 𝑠 = −𝑡 y con ecuación 𝑐 − : 𝑧̃ (𝑠) =
𝑥(−𝑠) + 𝑖𝑦(−𝑠), −𝑏 ≤ 𝑠 ≤ −𝑎 siendo el punto inicial de 𝑐 − es
el punto final de 𝑐 y el punto final de 𝑐 − es el punto inicial de 𝑐
Un contorno cerrado de 𝑐 está orientado positivamente si el
recorrido es en dirección a las manecillas de reloj
Integración Compleja
𝑏 𝑏 𝑏
∫ 𝑓 (𝑡) 𝑑𝑡 = ∫ 𝑈(𝑡) + 𝑖 ∫ 𝑉 (𝑡)
𝑎 𝑎 𝑎
Sea 𝑓(𝑧) = 𝑈(𝑥, 𝑦) + 𝑖𝑉(𝑥, 𝑦) la integral sobre 𝑐: 𝑧(𝑡) = 𝑥(𝑡) + 𝑖𝑦(𝑡)
𝑏
∫ 𝑓(𝑡) 𝑑𝑡 = ∫ 𝑓(𝑧(𝑡))𝑧 ′ (𝑡)𝑑𝑡 = ∫ 𝑈𝑑𝑥 − 𝑉𝑑𝑦 + 𝑖 ∫ 𝑈𝑑𝑦 + 𝑉𝑑𝑥
𝑐 𝑎 𝑐 𝑐

∫ 𝑘𝑓(𝑡) = (𝑘 = 𝑘1 + 𝑖𝑘2 ) [∫ 𝑈 + 𝑖 ∫ 𝑉]

|∫ 𝑓(𝑡)𝑑𝑡| ≤ ∫|𝑓(𝑡)𝑑𝑡|

∫ 𝑓(𝑡)𝑑𝑡 = 𝑟0 𝑒 𝑖𝜃0 ; 𝑟0 = |∫ 𝑓(𝑡)𝑑𝑡| 𝜃0 = arg (∫ 𝑓(𝑡)𝑑𝑡)

Propiedades
Si se es un contorno que une 𝑧0 y 𝑧1 de 𝑧0 a 𝑧1
∫ 𝑑𝑧 = 𝑧1 − 𝑧0 ∫ 𝑘𝑑𝑧 = (𝑧1 − 𝑧0 )
𝑐 𝑐

∫ (𝑓 + 𝑔)𝑑𝑧 = ∫ 𝑓𝑑𝑧 + ∫ 𝑔𝑑𝑧

𝑐 𝑐 𝑐

∫ 𝑓𝑑𝑧 = ∫ 𝑓𝑑𝑧 + ∫ 𝑓𝑑𝑧 + ⋯

𝑐 𝑐1 𝑐2

∫ 𝑓𝑑𝑧 = − ∫ 𝑓𝑑𝑧 ∫ 𝑓 ′ 𝑑𝑧 = 𝑓(𝑧1 ) − 𝑓(𝑧0 )

𝑐− 𝑐 𝑐
Sea c un arco suave, la integral 𝑙 de 𝑐 es
𝑏
𝑙 = ∫𝑎 √(𝑥′)2 + (𝑦′)2 𝑑𝑡
 (𝑓°𝑧)(𝑡) = 𝑈 (𝑥(𝑡), 𝑦(𝑡)) + 𝑖𝑉 (𝑥(𝑡), 𝑦(𝑡))
(𝑓°𝑧)′(𝑡) = 𝑈′(𝑥(𝑡), 𝑦(𝑡)) + 𝑖𝑉′(𝑥(𝑡), 𝑦(𝑡)) = 𝑓′(𝑧(𝑡))𝑧′(𝑡)

∫ 𝑓′(𝑧)𝑑𝑡 = ∫ 𝑓′(𝑧(𝑡))𝑧′(𝑡)𝑑𝑡 𝑓 (𝑧1 ) − 𝑓(𝑧0 )

𝑐 𝑐
Si es un contorno cerrado entonces será igual a cero

Teorema de Green
Si c es un contorno cerrado simple que delimita una
región R y si 𝑃(𝑥, 𝑦), 𝑄, 𝑃𝑦 , 𝑄𝑥 son continuas en R y c

∮ 𝑃𝑑𝑥 + 𝑄𝑑𝑦 = ∬ 𝑄𝑥 − 𝑃𝑦 𝑑𝑥𝑑𝑦

𝑐 𝑅
Si 𝑓(𝑧) tiene derivada continua sobre y en el interior ∫ 𝑓𝑑𝑧 = 0

Teorema de Cauchy
Si c es un contorno no necesariamente simple dentro de
un dominio simplemente conexo en el cual f(z) es analítica

∫ 𝑓(𝑧)𝑑𝑧 = 0
𝑐
Independencia del contorno
Sean 𝑐1 y 𝑐2 dos contornos que se unen, y están
orientadas en la misma dirección, si ambos están en un
domino simplemente conexo y f(z) es analítica

∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑓(𝑧)𝑑𝑧
𝑐1 𝑐2
Teorema de deformación
Sean 𝑐1 y 𝑐2 dos contornos cerrados, con 𝑐2 dentro de 𝑐1
con ambos en la misma orientación
∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑓(𝑧)𝑑𝑧 + ∫ 𝑓(𝑧)𝑑𝑧 = 0 ∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑓(𝑧)𝑑𝑧
𝑐1 ∪𝑐2 𝑐1 𝑐 −2 𝑐1 𝑐2

Teorema de deformación extendido

Sean 𝑐1 , 𝑐2 , ⋯ , 𝑐𝑛 contornos cerrados en una misma
dirección tal que los contornos están en el interior de C. Si
𝑓(𝑧) es analítica en un dominio D que contiene a los
contornos entonces.
𝑛

∫ 𝑓(𝑧)𝑑𝑧 = ∑ ∫ 𝑓(𝑧)𝑑𝑧
𝑐 𝑘=1 𝑐𝑘

Si 𝑐 es un contorno
orientado positivamente y
en su interior hay varios
contornos que no se cruzan entre si y que además están
orientados negativamente

∫ 𝑓 (𝑧)𝑑𝑧 = 0
𝑐∪𝑐1 ∪⋯∪𝑐𝑛
Integral indefinida o Anti derivada
Una función 𝐹(𝑧) cuya derivada es 𝑓(𝑧) en un domino D
se llama una integral indefinida o una antiderivada de 𝑓 (𝑧)
𝐹 ′ (𝑧 ) = 𝑓 (𝑧 ) 𝐹 ′ (𝑧 ) + 𝑐 = 𝑓 ( 𝑧 )

Si 𝐺(𝑧) y 𝐻(𝑧) son dos anti derivadas de 𝑓(𝑧) en un

dominio D, entonces 𝐺(𝑧) y 𝐻(𝑧) difieren en una
constante
Sea 𝑊(𝑧) = 𝐺(𝑧) − 𝐻 (𝑧), 𝑧 ∈ 𝐷 𝑊 ′ (𝑧) = 0
𝑊(𝑧) = 𝑈(𝑥, 𝑦) + 𝑖𝑉 (𝑥, 𝑦) = 𝑐1 + 𝑖𝑐2
𝑊 ′ (𝑧) = 𝑈𝑥 + 𝑖𝑉𝑥 = 𝑉𝑦 − 𝑖𝑈𝑦
0 = 𝑈𝑥 = 𝑈𝑦 0 = 𝑉𝑥 = 𝑉𝑦
𝑈 = ℎ(𝑦) 𝑈𝑦 = ℎ′(𝑦) ℎ(𝑦) = 𝑐1

Teorema de la Anti derivada

Si 𝑓(𝑧)alitica en un dominio D simplemente conexo
entonces existe una función 𝐹(𝑧) analítica en D
𝐹 ′ ( 𝑧 ) = 𝑓 (𝑧 )
𝑧
Si 𝐹(𝑧) = ∫𝑧 𝑓(𝛾)𝑑𝛾 donde 𝑓(𝛾) es una función analítica
0
en un dominio D simplemente conexo, 𝑧0 un punto en D
𝐹 ′ (𝑧) − 𝐹(𝑧)
Teorema fundamental del calculo
Si 𝑓(𝑧) es analítica en un dominio simplemente conexo D
y 𝐺(𝑧) es una integral indefinida o una antiderivada de
𝑓(𝑧) en D entonces
𝑏
∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑓(𝑧)𝑑𝑧 = 𝐺(𝑏) − 𝐺(𝑎)
𝑎
Donde a y b son dos puntos en D y
C es cualquier contorno en D que
une a y b con 𝑧0 cualquier punto en
D
𝑏 𝑎
∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑓(𝑧)𝑑𝑧 − ∫ 𝑓(𝑧)𝑑𝑧
𝑧0 𝑧0

Formula integral de Couchy

Sea 𝑓(𝑧) una función analítica sobre y en el interior de un
contorno cerrado simple c orientado positivamente y sea
𝑧0 un punto en el interior de c entonces
1 𝑓(𝑧)
𝑓(𝑧0 ) = ∫
2𝜋𝑖 𝑧 − 𝑧0
𝑓 (𝑧)⁄𝑧 − 𝑧0 es analítica sobre c, 𝛤 y en el dominio
múltiplemente conexo comprendido entre c, 𝛤
Formula integral de Coachy para derivadas
Si 𝑓(𝑧) es analítica sobre y en el interior de un contorno cerrado
simple c orientado positivamente y si 𝑧0 es un punto encerrado
por c entonces
𝑛! 𝑓(𝑧)
𝑓 (𝑛) (𝑧0 ) = ∫ 𝑑𝑧
2𝜋𝑖 (𝑧 − 𝑧0 )𝑛+1

Si 𝑓(𝑧) analítica en 𝑧0 entonces

𝑓(𝑧) tiene derivada de todo orden
en 𝑧0 y sus derivadas son analíticas
en 𝑧0

𝑟
𝑧(𝑡) = 𝑧0 + 𝑒 𝑖𝑡 , 0 ≤ 𝑡 ≤ 2𝜋
2

Teorema de Gauss del valor medio

Si 𝑓(𝑧) es analítica en |𝑧 − 𝑧0 | < 𝑅
entonces

1 2𝜋
𝑓(𝑧0 ) = ∫ 𝑓(𝑧0 + 𝑟𝑒 𝑖𝜃 )𝑑𝜃 , 0 < 𝑟 < 𝑅
2𝜋 0

Estimativa de Cauchy

Si 𝑓(𝑧) es analítica y satisface que

|𝑓(𝑧)| < 𝑀 en |𝑧 − 𝑧0 | ≤ 𝑟 entonces
𝑛!
|𝑓 (𝑛) (𝑧0)| ≤ 𝑀 𝑛
𝑟
Teorema de Liouville
Una función 𝑓(𝑧) entera no puede ser acotada en todo ∁
a menos que 𝑓(𝑧) sea constante. Sea 𝑓(𝑧) una función
entera y supongamos que 𝑓(𝑧) es acotada, es decir, existe
𝑚 > 0 tal que |𝑓(𝑧)| ≤ 𝑀 para 𝑧𝜖∁
𝑀
|𝑓′(𝑧0 )| ≤
𝑟

Para 𝑟 arbitrariamente grande,

tenemos que |𝑓′(𝑧0 )| = 0 luego
𝑓 ′ (𝑧0 ) = 0 𝑓 ′ (𝑧) = 0 para 𝑧𝜖∁
por tanto 𝑓(𝑧) = 𝑐 constantemente

Teorema de Movera
Si 𝑓(𝑧) es continua en un dominio simplemente conexo 𝐷
y si ∫ 𝑓(𝑧)𝑑𝑧 = 0 para todo contorno cerrado c en D
entonces 𝑓(𝑧) es analítica en D
Sea 𝑧0 en un punto fijo en D
𝑧
𝐹(𝑧) = ∫ 𝑓 (𝛾)𝑑𝛾 , 𝑧𝜖𝐷
𝑧0

∫ 𝑓(𝛾)𝑑𝛾 = ∫ 𝑓(𝛾)𝑑𝛾
𝜇1 𝜇2
Sucesiones
Es una función 𝑓 de valor complejo, se denota {𝑧𝑛 }
El recorrido 𝑅 es el conjunto de valores de {𝑧𝑛 }

{𝑖 𝑛 } 𝑅 = {𝑖, −1, −𝑖, 1} 𝑒𝑠 𝑓𝑖𝑛𝑖𝑡𝑜

{1 + (𝑖 ⁄𝑛)} 𝑅 = {1 + 𝑖, 1 + (𝑖 ⁄2), ⋯ ,1 + (𝑖 ⁄𝑛)} 𝑖𝑛𝑓𝑖𝑛𝑖𝑡𝑜

Es acotada si existe 𝑀 > 0 tal que |𝑧𝑛 | ≤ 𝑀 para 𝑛 = 1, ⋯

Si el recorrido 𝑅 es finito entonces la sucesión es acotada

La sucesión es convergente y converge a 𝐿 si |𝑧𝑛 − 𝐿| < 𝜖

Por lo que lim 𝑧𝑛 = 𝐿 = 𝑎 + 𝑖𝑏
𝑛→∞
𝑧𝑛 → 𝑎 + 𝑖𝑏 𝑥𝑛 → 𝑎 𝑦𝑛 → 𝑏

Suma de la serie
Si {𝑧𝑛 } y 𝑆𝑛 = ∑𝑛𝑘=1 𝑧𝑘 = 𝑧1 + 𝑧2 + ⋯ 𝑧𝑛 la sucesión
{𝑆𝑛 } se llama serie infinita
Si la suma es posible ∑𝑛𝑘=1 𝑧𝑘 = 𝑆 {𝑆𝑛 } converge a 𝑆
Si la serie ∑𝑛𝑘=1 𝑧𝑘 converge entonces lim 𝑧𝑛 = 0
𝑛→∞
Si lim 𝑧𝑛 ≠ 0 entonces la serie diverge
𝑛→∞
Si lim 𝑧𝑛 = 0 no se puede concluir que ∑𝑛𝑘=1 𝑧𝑘 converg
𝑛→∞

Serie P
1
La serie ∑∞ 𝑛=1 𝑛 𝑝 converge absolutamente si 𝑝 > 1 y
diverge si 𝑝 ≤ 1
1 1
La serie ∑∞𝑛=1 es la serie armónica, diverge y lim = 0
𝑛 𝑛
Criterio de la comparación
Sea 𝑧𝑛 = 𝑥𝑛 + 𝑖𝑦𝑛 y sea ∑∞ 𝑛=1|𝑧𝑛 | convergente como
0 ≤ |𝑥𝑛 | ≤ |𝑧𝑛 | y 0 ≤ |𝑦𝑛 | ≤ |𝑧𝑛 |

Serie Geométrica
Si |𝑧| = 1 entonces lim 𝑧 𝑛 ≠ 0 → 1
𝑛→∞
Si |𝑧| > 1 entonces lim 𝑧 𝑛 ≠ 0 → ∞
𝑛→∞
Si |𝑧| ≥ 1 la serie diverge
Si |𝑧| < 1 entonces

Prueba de la raíz
𝑧𝑛+1
Si lim | | = 𝐿 < 1 entonces converge absolutamente
𝑛→∞ 𝑧𝑛
𝑧𝑛+1
Si lim | | = 𝐿 > 1 entonces diverge
𝑛→∞ 𝑧𝑛
𝑧𝑛+1
Si lim | | = 𝐿 = 1 el criterio no decide
𝑛→∞ 𝑧𝑛
𝑛
lim √|𝑧𝑛 |
𝑛→∞
………………………………………………………
𝑖
∑ 𝑑𝑖𝑣𝑒𝑟𝑔𝑒
𝑛
(𝑖 ⁄ 𝑛 + 1 ) 𝑛
lim | | = lim =1
𝑛→∞ (𝑖 ⁄𝑛 ) 𝑛→∞ 𝑛 + 1

𝑛 𝑖 𝑛 1 1
lim √| | = lim √ = lim (1⁄𝑛) = 1
𝑛→∞ 𝑛 𝑛→∞ 𝑛 𝑛→∞ 𝑛
Series de Potencia
Una serie de potencias es de la forma
∞

∑ 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 = 𝑎0 + 𝑎1 (𝑧 − 𝑧0 ) + 𝑎2 (𝑧 − 𝑧0 )2 + ⋯
𝑛=0
Donde 𝑧0 es un complejo fijo llamado centro de la serie
Toda serie de potencias converge para 𝑧 = 𝑧0 por lo que
∑∞ 𝑛
𝑛=0 𝑎𝑛 (𝑧 − 𝑧0 ) = 𝑎𝑛
Si converge para 𝑧 = 𝑧0 ≠ 𝑧1 dos puntos diferentes
entonces converge para todo 𝑧 que |𝑧 − 𝑧0 | < |𝑧1 − 𝑧0 |

A toda serie de potencias se asocia un circulo c llamado

circulo de convergencia, de manera que la serie converge
absolutamente en el interior del circulo y diverge en el
exterior, el centro del circulo es 𝑧0 y su radio r se llama
radio de convergencia, r puede ser 0 𝑜 ∞
Si 𝑟 = 0 la serie de potencias converge en 𝑧 = 𝑧0
Si 𝑟 = ∞ la serie de potencias converge para todo 𝑧 ∈ ∁

Formula de Hadamard
Dada la serie de potencias sea
𝑛 1
𝐴 = lim √|𝑎𝑛 | 𝑟=
𝑛→∞ 𝐴
Entonces la serie converge absolutamente si |𝑧 − 𝑧0 | < 𝑟
y diverge si |𝑧 − 𝑧0 | > 𝑟 es decir el radio esta dado por
𝑛
𝑟 −1 = lim √|𝑎𝑛 |
𝑛→∞
 ∞
|𝑧| < 1 𝑐𝑜𝑛𝑣𝑒𝑟𝑔𝑒 𝑎𝑏𝑠𝑜𝑙𝑢𝑡𝑎𝑚𝑒𝑛𝑡𝑒
∑ 𝑧𝑛 → {
|𝑧| ≥ 1 𝑑𝑖𝑣𝑒𝑟𝑔𝑒
𝑛=0

El criterio de la razón también se puede usar para verificar

el radio de convergencia

Si la sucesión {𝑎𝑛 } de números reales positivos es tal que

𝑎𝑛+1 1⁄
lim = 𝐿 entonces lim 𝑎𝑛 𝑛 = 𝐿
𝑛→∞ 𝑎𝑛 𝑛→∞

𝑎𝑛
Si lim |𝑎 | existe o es igual a ∞ entonces su valor es
𝑛→∞ 𝑛+1
igual al radio de convergencia de la serie de potencias
∑∞𝑛=0 𝑎𝑛 (𝑧 − 𝑧0 )
𝑛

Suponiendo que 𝑓(𝑧) tiene radio de convergencia r no

nulo con
∞

𝑓(𝑧) = ∑ 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 , |𝑧 − 𝑧0 | < 𝑟
𝑛=0
∞

𝑓 ′ (𝑧) = ∑ 𝑛𝑎𝑛 (𝑧 − 𝑧0 )𝑛−1

𝑛=1
∞

𝑓 ′′ (𝑧) = ∑ 𝑛(𝑛 − 1)𝑎𝑛 (𝑧 − 𝑧0 )𝑛−2

𝑛=2
∞

𝑓 ′′′ (𝑧) = ∑ 𝑛(𝑛 − 1)(𝑛 − 2)𝑎𝑛 (𝑧 − 𝑧0 )𝑛−3

𝑛=3
𝑓(𝑛) (𝑧0 )
Donde sí se evalúa 𝑧 = 𝑧0 𝑎𝑛 = Con 𝑛 = 0,1,2,
𝑛!
Si c es cualquier contorno en el interior del circulo de
convergencia de la serie 𝑓(𝑧) = ∑∞ 𝑛
𝑛=0 𝑎𝑛 (𝑧 − 𝑧0 ) con radio
de convergencia 𝑟 > 0
∞ ∞

∫ 𝑓(𝑧) = ∫ ∑ 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 = ∑ 𝑎𝑛 ∫ (𝑧 − 𝑧0 )𝑛
𝑐 𝑐 𝑛=0 𝑛=0 𝑐
∞
𝑎𝑛
=∑ (𝑧 − 𝑧0 )𝑛+1
𝑛+1
𝑛=0
Es decir, se puede integrar termino a termino

Series de Taylor
Si 𝑓(𝑧) es una función analítica en 𝐷: |𝑧 − 𝑧0 | < 𝑟 entonces
∞
𝑓 (𝑛)(𝑧0 )
𝑓 (𝑧 ) = ∑ ( 𝑧 − 𝑧 0 ) 𝑛 , |𝑧 − 𝑧 0 | < 𝑟
𝑛!
𝑛=0
Se llama serie de Taylor de 𝑓(𝑧) alrededor de 𝑧

Sean 𝑧 ∈ 𝐷: |𝑧 − 𝑧0 | < 𝑟 y 0 < 𝜑 < 𝑟 tal que |𝑧 − 𝑧0 | <

𝜑 < 𝑟 (distancia entre 𝑧 𝑦 𝑧0 menor que 𝜑)
Sea c el contorno 𝑐: |𝛾 − 𝑧0 | = 𝜑 positivamente
1 𝑓(𝛾)
𝑓(𝑧) = ∫ 𝑑𝛾
2𝜋𝑖 𝑐 𝛾 − 𝑧
1 1 1
= =
𝛾 − 𝑧 𝛾 − 𝑧0 − (𝑧 − 𝑧0 ) (𝛾 − 𝑧 ) (1 − 𝑧 − 𝑧0 )
0 𝛾 − 𝑧0
𝑧−𝑧0
como |𝑧 − 𝑧0 | < 𝜑 = |𝛾 − 𝑧0 | entonces | |<1
𝛾−𝑧0
Serie Maclaurin
La serie de Taylor de 𝑓(𝑧) alrededor de 𝑧0 = 0 es
∞
𝑓 (𝑛) (0) 𝑛
𝑓 (𝑧 ) = ∑ 𝑧 , |𝑧 | < 𝑟
𝑛!
𝑛=0
Llamada serie de Maclaurin
Desarrollo de Laurent
Si 𝑓(𝑧) es analítica en 𝐷: 𝑟 < |𝑧 − 𝑧0 | < 𝑅 con 0 ≤ 𝑟 <
𝑅 ≤ ∞ entonces
∞ ∞
𝑏𝑛
𝑓 (𝑧) = ∑ 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 + ∑
(𝑧 − 𝑧0 )𝑛
𝑛=0 𝑛=1
Es el desarrollo de Laurent alrededor de 𝑧0
1 𝑓(𝛾) 1 𝑓(𝛾)
𝑎𝑛 = ∫ 𝑑𝛾 𝑏𝑛 = ∫ 𝑑𝛾
2𝜋𝑖 𝑐 (𝛾 − 𝑧0 )𝑛+1 2𝜋𝑖 𝑐 (𝛾 − 𝑧0 )𝑛+1
𝑛 = 0,1,2,3, ⋯ 𝑛 = 1,2,3, ⋯
Con c el contorno 𝑐: |𝛾 − 𝑧0 | = 𝜑, 𝑟 < 𝜑 < 𝑅
La serie de Lauren de 𝑓(𝑧) en el anillo 𝐷: 𝑟 < |𝑧 − 𝑧0 | <
𝑅 puede escribirse en forma mas compacta haciendo
𝑏𝑛 = 𝑎−𝑛
∞

𝑓(𝑧) = ∑ 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 , 𝑟 < |𝑧 − 𝑧 0 | < 𝑅

𝑛=−∞
1 𝑓(𝛾)
𝑎𝑛 = ∫ 𝑑𝛾 , 𝑛 = 0, ±1, ±2, ⋯
2𝜋𝑖 𝑐 (𝛾 − 𝑧0 )𝑛+1
Singularidades
Un punto 𝑧1 , es un punto singular o una singularidad de la
función 𝑓(𝑧) si esta es analítica en algún punto de toda
bola abierta con centro en 𝑧0 excepto en 𝑧0 mismo.

Una singularidad aislada existe si una bola abierta reducida

de 𝑧0 con 𝑓(𝑧) analítica
En caso contrario

-La singularidad aislada 𝑧0 es removible si lim 𝑓(𝑧) existe

𝑧→𝑧0

-La singularidad aislada 𝑧0 es un polo de orden 𝑛 si

lim (𝑧 − 𝑧0 )𝑛 𝑓(𝑧) = 𝑀
𝑧→𝑧0
-La singularidad aislada 𝑧0 es esencial si
lim (𝑧 − 𝑧0 )𝑛 𝑓(𝑧) no existe para tono 𝑛 entero positivo
𝑧→𝑧0

La función 𝑓(𝑧) tiene un cero de orden 𝑛 en 𝑧 = 𝑧0 si

𝑓 (𝑛) (𝑧0 ) = 0 𝑘 = 0,1, ⋯ , 𝑛 − 1 𝑦 𝑓 (𝑛) (𝑧0 ) ≠ 0

Si 𝑓(𝑧) tiene una singularidad aislada en 𝑧0 y

𝑓 (𝑧) = 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 , 0 < |𝑧 − 𝑧 0 | < 𝑅
Es el desarrollo de Laurant de 𝑓(𝑧) alrededor de 𝑧1
-La singularidad aislada 𝑧0 es removible de 𝑓(𝑧) si
𝑎𝑛 = 0 𝑝𝑎𝑟𝑎 𝑛 = −1, −2, −3, ⋯
-La singularidad aislada 𝑧0 es un polo de orden 𝑚 de 𝑓 si
𝑎−𝑚 ≠ 0 𝑦 𝑎−𝑚−1 = 𝑎−𝑚−2 = 𝑎−𝑚−3 = ⋯
-La singularidad aislada 𝑧0 es esencial de 𝑓(𝑧) si
𝑎−𝑚 ≠ 0 𝑝𝑎𝑟𝑎 𝑢𝑛𝑎 𝑖𝑛𝑓𝑖𝑛𝑖𝑑𝑎𝑑 𝑑𝑒 𝑒𝑛𝑡𝑒𝑟𝑜𝑠 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜𝑠
 ℎ(𝑧)
Sea 𝑓(𝑧) = 𝑔(𝑧) si ℎ(𝑧) es continua en 𝑧0 , ℎ(𝑧0 ) ≠ 0 y
𝑔(𝑧) tiene un cero de orden 𝑚 en 𝑧0 entonces 𝑓(𝑧) tiene
un polo de orden 𝑚 en 𝑧0
ℎ(𝑧) 𝑚! ℎ(𝑧0 )
lim (𝑧 − 𝑧0 )𝑚 = ≠0
𝑧→𝑧0 𝑔(𝑧) 𝑔 (𝑚) (𝑧0 )

ℎ(𝑧)
Sea 𝑓(𝑧) = 𝑔(𝑧) si ℎ(𝑧) tiene un cero de orden 𝑚 en 𝑧0 y
𝑔(𝑧) tiene un cero de orden 𝑛, con 𝑛 > 𝑚 entonces
𝑓(𝑧) tiene un polo de orden 𝑛 − 𝑚 en 𝑧0
ℎ(𝑧) 𝑛! ℎ(𝑚) (𝑧0 )
lim (𝑧 − 𝑧0 )𝑛−𝑚 = (𝑚) ≠0
𝑧→𝑧0 𝑔(𝑧) 𝑔 (𝑧0 )

Si 𝑓(𝑧) tiene un polo de orden 𝑚 en 𝑧0 y 𝑔 (𝑧0 ) tiene un

polo de orden 𝑛 en 𝑧0 entonces 𝑓𝑔 (𝑧) tiene un polo de
orden 𝑚 + 𝑛 en 𝑧0
lim (𝑧 − 𝑧0 )𝑚 𝑓(𝑧) = 𝑀1 ≠ 0
𝑧→𝑧0
lim (𝑧 − 𝑧0 )𝑛 𝑔(𝑧) = 𝑀2 ≠ 0
𝑧→𝑧0
lim (𝑧 − 𝑧0 )𝑛 𝑓(𝑧)𝑔(𝑧) = 𝑀1 𝑀2 ≠ 0
𝑧→𝑧0
Residuos
Si 𝑓(𝑧) es analítica en 𝐷, 0 < |𝑧 − 𝑧0 | < 𝑅 entonces
𝑓 (𝑧) se puede desarrollar en serie de Laurant alrededor 𝑧0
∞

𝑓(𝑧) = ∑ 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 , 0 < |𝑧 − 𝑧0 | < 𝑅

𝑛=−∞
1 𝑓(𝛾)
𝑎𝑛 = ∫ 𝑑𝛾 , 𝑛 = 0, ±1, ±2, ⋯
2𝜋𝑖 𝑐 (𝛾 − 𝑧0 )𝑛+1
Con 𝑐: |𝛾 − 𝑧0 | = 𝜑 0 < 𝜑 < 𝑅 y dirección positiva
Al coeficiente 𝑎−1 de la serie entonces se le llama residuo
de 𝑓(𝑧) en 𝑧0 denotado por 𝑅𝑒𝑠𝑧0 𝑓(𝑧)
1
𝑎−1 = 𝑅𝑒𝑠𝑧0 𝑓(𝑧) = ∫ 𝑓(𝛾) 𝑑𝛾
2𝜋𝑖 𝑐

Calculo de Residuos
Si 𝑧0 es una singularidad removible de 𝑓(𝑧) entonces
𝑅𝑒𝑠𝑧0 𝑓(𝑧) =

Si 𝑧0 es un polo de orden 𝑚 de 𝑓(𝑧) entonces

1 𝑑 𝑚−1
𝑅𝑒𝑠𝑧0 𝑓(𝑧) = lim 𝑚−1 [(𝑧 − 𝑧0 )𝑚 𝑓(𝑧)]
(𝑚 − 1)! 𝑧→𝑧0 𝑑𝑧

ℎ(𝑧)
Sea 𝑓(𝑧) = 𝑔(𝑧) donde ℎ(𝑧) es continua en 𝑧0 y ℎ(𝑧0 ) ≠
0 𝑔(𝑧) tiene un cero simple en 𝑧0 . El residui de 𝑓 en 𝑧0
ℎ(𝑧0 )
𝑅𝑒𝑠𝑧0 𝑓 (𝑧) = ′
𝑔 (𝑧0 )
Teorema del Residuo
Si la función 𝑓(𝑧) es analítica sobre y dentro del contorno
cerrado simple c orientado positivamente excepto en las
singularidades aisladas 𝑧0 , 𝑧1 , ⋯ , 𝑧𝑛 dentro de c, entonces
𝑛

∫ 𝑓(𝑧)𝑑𝑧 = 2𝜋𝑖 ∑ 𝑅𝑒𝑠𝑧0 𝑓 (𝑧)

𝑐 𝑘=0

𝑃 (𝑥 ) 𝑃 (𝑥 )
∫ 𝑑𝑥 = 2𝜋𝑖 ∑ 𝑅𝑒𝑠𝑧0
(
𝑄 𝑥 ) 𝑄 (𝑥 )