Análisis de Variable Compleja

Propiedades de Números Complejos

Módulo y Conjugado

𝑧=𝑧 |𝑧1 ∙ 𝑧2 | = |𝑧1 | ∙ |𝑧2 |

𝑧1 + 𝑧2 = 𝑧1 + 𝑧2 𝑧1 |𝑧1 |
| |=
𝑧2 |𝑧2 |
𝑧1 ∙ 𝑧2 = 𝑧1 ∙ 𝑧2
𝑧 ∙ 𝑧 = |𝑧|2
𝑧1 𝑧1
( )= 𝑧+𝑧
𝑧2 𝑧2 𝑅𝑒(𝑧) =
2
|𝑧| = |𝑧|
𝑧−𝑧
𝐼𝑚(𝑧) =
2𝑖
Forma Polar
𝑧 = 𝑟(cos 𝜃 + 𝑖 sin 𝜃) 𝑧 = 𝑟 ∙ cis(𝜃)
𝑦
𝜃 = tan−1 = arg(𝑧)
𝑥
−π < Arg(𝑧) ≤ 𝜋
arg(𝑧) = Arg(𝑧) + 2𝜋𝑛 𝑛∈ℕ
𝑧1 ∙ 𝑧2 = 𝑟1 ∙ 𝑟2 [cos(𝜃1 + 𝜃2 ) + 𝑖 sin(𝜃1 + 𝜃2 )]
𝑧1 𝑟1
= [cos(𝜃1 − 𝜃2 ) + 𝑖 sin(𝜃1 − 𝜃2 )]
𝑧2 𝑟2
arg(𝑧1 ∙ 𝑧2 ) = arg(𝑧1 ) + arg(𝑧2 ) Para argumentos medidos desde el eje real positivo en sentido
antihorario
𝑧
arg ( 1 ) = arg(𝑧1 ) − arg(𝑧2 ) Para argumentos medidos desde el eje real positivo en sentido
𝑧2
horario

Forma Exponencial

𝑧 = 𝑟𝑒 𝑖𝜃

Funciones Complejas
Curvas Paramétricas en el Plano Complejo

𝑧(𝑡) = 𝑥(𝑡) + 𝑖𝑦(𝑡) 𝑎≤𝑡≤𝑏

Recta: 𝑧(𝑡) = 𝑧0 (1 − 𝑡) + 𝑧1 𝑡 −∞<𝑡 <∞
Segmento de Recta: 𝑧(𝑡) = 𝑧0 (1 − 𝑡) + 𝑧1 𝑡 0≤𝑡≤𝑏

Rayo: 𝑧(𝑡) = 𝑧0 (1 − 𝑡) + 𝑧1 𝑡 0 ≤ 𝑡 < ∞

Circunferencia: 𝑧(𝑡) = 𝑧0 + 𝑟(cos 𝑡 + 𝑖 sin 𝑡) 0 ≤ 𝑡 ≤ 2𝜋

𝑧(𝑡) = 𝑧0 + 𝑟𝑒 𝑖𝑡 0 ≤ 𝑡 ≤ 2𝜋
Potencia 𝒏 ∈ ℕ

𝑧 𝑛 = 𝑟 𝑛 (cos 𝑛𝜃 + 𝑖 sin 𝑛𝜃)

Raíces Enésimas 𝒏 ∈ ℕ
1 𝜃 + 2𝜋𝑘 𝜃 + 2𝜋𝑘
𝑤𝑘 = 𝑟 𝑛 [cos ( ) + 𝑖 sin ( )] 𝑘 ∈ ℕ0
𝑛 𝑛
Función Exponencial (entera)
𝑒 𝑧 = 𝑒 𝑥 (cos 𝑦 + 𝑖 sin 𝑦)
Propiedades:

𝑒 𝑧1 𝑒 𝑧2 = 𝑒 𝑧1 𝑒 𝑧2

Mapeos Lineales
Traslación: 𝑇(𝑧) = 𝑧 + 𝑏, 𝑏≠0

Rotación: 𝑅(𝑧) = 𝑎𝑧, |𝑎| = 1

𝑅(𝑧) = 𝑟𝑒 𝑖(𝜃+𝜙)
Ampliaciones: 𝑀(𝑧) = 𝑎𝑧, 𝑧>0

𝑀(𝑧) = (𝑎𝑟)𝑒 𝑖𝜃
Funciones Trigonométricas Complejas Circulares

𝑒 𝑖𝑧 − 𝑒 −𝑖𝑧 1 2𝑖
sin 𝑧 = csc 𝑧 = = 𝑖𝑧
2𝑖 sin 𝑧 𝑒 − 𝑒 −𝑖𝑧

𝑒 𝑖𝑧 + 𝑒 −𝑖𝑧 sin 𝑧 𝑒 𝑖𝑧 − 𝑒 −𝑖𝑧

cos 𝑧 = tan 𝑧 = =
2 cos 𝑧 𝑖(𝑒 𝑖𝑧 + 𝑒 −𝑖𝑧 )
1 2 cos 𝑧 𝑖(𝑒 𝑖𝑧 + 𝑒 −𝑖𝑧 )
sec 𝑧 = = 𝑖𝑧 cot 𝑧 = = 𝑖𝑧
cos 𝑧 𝑒 + 𝑒 −𝑖𝑧 sin 𝑧 𝑒 − 𝑒 −𝑖𝑧

Identidades Trigonométricas
sin2 𝑧 + cos2 𝑧 = 1

1 + tan2 𝑧 = sec 2 𝑧
1 + cot 2 𝑧 = csc 2 𝑧
sin(−𝑧) = − sin 𝑧
cos(−𝑧) = cos 𝑧
tan(−𝑧) = − tan 𝑧
sin(𝑧1 ± 𝑧2 ) = sin(𝑧1 ) cos(𝑧2 ) ± cos(𝑧1 ) sin(𝑧2 )
cos(𝑧1 ± 𝑧2 ) = cos(𝑧1 ) cos(𝑧2 ) ∓ sin(𝑧1 ) sin(𝑧2 )
tan(𝑧1 ) ± tan(𝑧2 )
tan(𝑧1 ± 𝑧2 ) =
1 ∓ tan(𝑧1 ) tan(𝑧2 )

Funciones Hiperbólicas Complejas

𝑒 𝑧 − 𝑒 −𝑧 1 2
sinh 𝑧 = sech 𝑧 = = 𝑧
2 cosh 𝑧 𝑒 + 𝑒 −𝑧
𝑒 𝑧 + 𝑒 −𝑧 1 2
cosh 𝑧 = csch 𝑧 = = 𝑧
2 sinh 𝑧 𝑒 − 𝑒 −𝑧
sinh 𝑧 𝑒 𝑧 − 𝑒 −𝑧 cosh 𝑧 𝑒 𝑧 + 𝑒 −𝑧
tanh 𝑧 = = coth 𝑧 = =
cosh 𝑧 𝑒 𝑧 + 𝑒 −𝑧 sinh 𝑧 𝑒 𝑧 − 𝑒 −𝑧
Identidades Hiperbólicas
cosh2 𝑧 − sinh2 𝑧 = 1
sinh 2𝑧 = 2 sinh 𝑧 cosh 𝑧

cosh 2𝑧 = cosh2 𝑧 + sinh2 𝑧

1
sinh2 𝑧 = (cosh 2𝑧 − 1)
2
1
cosh2 𝑧 = (cosh 2𝑧 + 1)
2
1 − tanh2 𝑧 = sech2 𝑧
coth2 𝑧 − 1 = csch2 𝑧
sinh(−𝑧) = − sinh 𝑧
cosh(−𝑧) = cosh 𝑧
tanh(−𝑧) = − tanh 𝑧
sinh(𝑧1 ± 𝑧2 ) = sinh(𝑧1 ) cosh(𝑧2 ) ± cosh(𝑧1 ) sinh(𝑧2 )
cosh(𝑧1 ± 𝑧2 ) = cosh(𝑧1 ) cosh(𝑧2 ) ± sinh(𝑧1 ) sinh(𝑧2 )
tanh(𝑧1 ) ± tanh(𝑧2 )
tanh(𝑧1 ± 𝑧2 ) =
1 ± tanh(𝑧1 ) tanh(𝑧2 )
Relaciones entre funciones Trigonométricas e Hiperbólicas
sin(𝑖𝑧) = 𝑖 sinh 𝑧
sinh(𝑖𝑧) = 𝑖 sin 𝑧
cos(𝑖𝑧) = cosh 𝑧
cosh(𝑖𝑧) = cos 𝑧
tan(𝑖𝑧) = 𝑖 tanh 𝑧
tanh(𝑖𝑧) = 𝑖 tan 𝑧
sin 𝑧 = sin 𝑥 cosh 𝑦 + 𝑖 cos 𝑥 sinh 𝑦
cos 𝑧 = cos 𝑥 cosh 𝑦 − 𝑖 sin 𝑥 sinh 𝑦

|sin 𝑧| = √sin2 𝑥 + sinh2 𝑦

|cos 𝑧| = √cos2 𝑥 + sinh2 𝑦

Derivadas Trigonométricas e Hiperbólicas

𝑑(sin 𝑧) = (cos 𝑧)𝑑𝑧 𝑑(cot 𝑧) = (− csc 2 𝑧)𝑑𝑧
𝑑(cos 𝑧) = (− sin 𝑧)𝑑𝑧 𝑑(sec 𝑧) = (sec 𝑧 tan 𝑧)𝑑𝑧
𝑑(tan 𝑧) = (sec 2 𝑧)𝑑𝑧 𝑑(csc 𝑧) = (− csc 𝑧 cot 𝑧)𝑑𝑧

1
𝑑(sin−1 𝑧) = 𝑑𝑧
(1 − 𝑧 2 )1⁄2
−1
𝑑(cos−1 𝑧) = 𝑑𝑧
(1 − 𝑧 2 )1⁄2
1
𝑑(tan−1 𝑧) = 𝑑𝑧
1 + 𝑧2

𝑑(sinh 𝑧) = (cosh 𝑧)𝑑𝑧 𝑑(coth 𝑧) = (− csch2 𝑧)𝑑𝑧

𝑑(cosh 𝑧) = (sinh 𝑧)𝑑𝑧 𝑑(sech 𝑧) = (− sech 𝑧 tanh 𝑧)𝑑𝑧
𝑑(tanh 𝑧) = (sech2 𝑧)𝑑𝑧 𝑑(csch 𝑧) = (− csch 𝑧 coth 𝑧)𝑑𝑧

1
𝑑(sinh−1 𝑧) = 𝑑𝑧
(𝑧 2 + 1)1⁄2
1
𝑑(cosh−1 𝑧) = 𝑑𝑧
(𝑧 2 − 1)1⁄2
 1
𝑑(tanh−1 𝑧) = 𝑑𝑧
1 − 𝑧2
Funciones Inversas

sin−1 𝑧 = −𝑖 ln [𝑖𝑧 + √1 − 𝑧 2 ]

cos−1 𝑧 = −𝑖 ln [𝑧 + 𝑖 √1 − 𝑧 2 ]

𝑖 𝑖+𝑧
tan−1 𝑧 = ln ( )
2 𝑖−𝑧
𝑖 𝑧+𝑖
cot −1 𝑧 = − ln ( )
2 𝑧−𝑖
1 + √1 − 𝑧 2
sec −1 𝑧 = −𝑖 ln [ ]
𝑧

𝑖 + 𝑖√1 − 𝑧 2
csc −1 𝑧 = −𝑖 ln [ ]
𝑧

Logaritmo Natural Complejo

ln 𝑧 = log 𝑒 |𝑧| + 𝑖 arg(𝑧)
Propiedades Algebraicas de ln 𝑧

ln(𝑧1 ∙ 𝑧2 ) = ln 𝑧1 + ln 𝑧2
𝑧1
ln ( ) = ln 𝑧1 − ln 𝑧2
𝑧2
ln 𝑧 𝑛 = 𝑛 ln 𝑧 , 𝑛∈ℤ

𝑒 Ln 𝑧 = 𝑧, 𝑧≠0
Valor Principal del Logaritmo Natural Complejo:
Ln 𝑧 = log 𝑒 |𝑧| + 𝑖 Arg(𝑧)

Potencia Compleja
𝑧 𝛼 = 𝑒 𝛼 ln 𝑧
𝑧 𝛼1 ∙ 𝑧 𝛼2 = 𝑧 𝛼1 +𝛼2
𝑧 𝛼1
= 𝑧 𝛼1 −𝛼2
𝑧 𝛼2
(𝑧 𝛼 )𝑛 = 𝑧 𝑛𝛼 , 𝑛∈ℤ
(𝑧 𝛼1 )𝛼2 ≠ 𝑧 𝛼1 𝛼2

Valor Principal de la Potencia Compleja

 𝑧 𝛼 = 𝑒 𝛼 Ln 𝑧

Límites y Derivadas
Continuidad
Definición 1

Una función compleja 𝑓(𝑧) es continua en 𝑧0 si y solo si:

lim 𝑓(𝑧) = 𝑓(𝑧0 )

𝑧→𝑧0

Lo que implica tres condiciones:

i. Existe lim 𝑓(𝑧)

𝑧→𝑧0

ii. 𝑓 está definida en 𝑧0

iii. lim 𝑓(𝑧) = 𝑓(𝑧0 )
𝑧→𝑧0

Definición 2 (independiente de la definición 1)

Dada la función 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) y un número 𝑧0 = 𝑥0 + 𝑖𝑦0 , entonces 𝑓(𝑧) es continua
en el punto 𝑧0 si y solo si las funciones reales 𝑢(𝑥, 𝑦) y 𝑣(𝑥, 𝑦) son continuas en el punto (𝑥0 , 𝑦0 ).

Consecuencias

Si 𝑓(𝑧) es derivable en un punto 𝑧0 en un dominio 𝐷, entonces 𝑓(𝑧) es continua en 𝑧0 (si o si).

La continuidad de una función 𝑓(𝑧) en un punto no garantiza que 𝑓(𝑧) sea derivable en el punto.

Propiedades de Funciones Continuas

Si 𝑓(𝑧) y 𝑔(𝑧) son funciones continuas en el punto 𝑧0 , entonces las siguientes funciones son
continuas en el punto 𝑧0 :

i. 𝑐𝑓(𝑧) , 𝑐 es una constante compleja

ii. 𝑓(𝑧) ± 𝑔(𝑧)
iii. 𝑓(𝑧) ∗ 𝑔(𝑧)
iv. 𝑓(𝑧)⁄𝑔(𝑧) , 𝑔(𝑧0 ) ≠ 0

La Derivada

Si: ∆𝑧 = 𝑧 − 𝑧0 = 𝑥 − 𝑥0 + 𝑖(𝑦 − 𝑦0 ) = ∆𝑥 + 𝑖∆𝑦

𝑑𝑓(𝑧) 𝑓(𝑧0 + ∆𝑧) − 𝑓(𝑧0 ) 𝑓(𝑧) − 𝑓(𝑧0 )

𝑓 ′ (𝑧0 ) = | = lim = lim
𝑑𝑧 𝑧=𝑧0 ∆𝑧→0 ∆𝑧 𝑧→𝑧0 𝑧 − 𝑧0

Si el limite existe se dice que la función 𝑓(𝑧) es derivable en 𝑧0

Funciones Analíticas

“Una función compleja 𝒘 = 𝒇(𝒛) se dice que es analítica en un punto 𝒛𝟎 si 𝒇(𝒛) es derivable en
𝒛𝟎 y en cada punto de una vecindad de 𝒛𝟎 .”

Función Entera: Es una función que es analítica en todo el Plano Complejo

Punto Singular: Es un punto en el que una función compleja 𝑤 = 𝑓(𝑧) no es analítica

Propiedades de Funciones Analíticas

Si las funciones 𝑓(𝑧) y 𝑔(𝑧) son analíticas en un dominio 𝐷, entonces las siguientes funciones son
analíticas en 𝐷

i. 𝑓(𝑧) ± 𝑔(𝑧)
ii. 𝑓(𝑧) ∗ 𝑔(𝑧)
iii. 𝑓(𝑧)⁄𝑔(𝑧) , 𝑔(𝑧) ≠ 0 en 𝐷

Regla de L’Hópital

Suponiendo que 𝑓(𝑧) y 𝑔(𝑧) son funciones analíticas en el punto 𝑧0 y 𝑓(𝑧0 ) = 0, 𝑔(𝑧0 ) = 0, pero
𝑔′ (𝑧0 ) ≠ 0. Entonces:

𝑓(𝑧) 𝑓 ′ (𝑧0 )
lim = ′
𝑧→𝑧0 𝑔(𝑧) 𝑔 (𝑧0 )
Teorema de Cauchy - Goursat

Sea 𝑓(𝑧) una función analítica en un dominio simplemente conexo 𝐷. Entonces para todo
contorno cerrado simple 𝐶 en 𝐷, ∮ 𝑓(𝑧) 𝑑𝑧 = 0

Integrales Complejas
0 𝑏
∫ 𝑓(𝑧) 𝑑𝑧 = ∫ 𝑓(𝑧(𝑡)) 𝑧′(𝑡) 𝑑𝑡
𝐶 𝑎
0 0
∫ 𝑘𝑓(𝑧) 𝑑𝑧 = 𝑘 ∫ 𝑓(𝑧) 𝑑𝑧 , 𝑘∈ℂ
𝐶 𝐶
0 0 0
∫ [𝑓(𝑧) + 𝑔(𝑧)] 𝑑𝑧 = ∫ 𝑓(𝑧) 𝑑𝑧 + ∫ 𝑔(𝑧) 𝑑𝑧
𝐶 𝐶 𝐶
0 0 0
∫ 𝑓(𝑧) 𝑑𝑧 = ∫ 𝑓(𝑧) 𝑑𝑧 + ∫ 𝑓(𝑧) 𝑑𝑧
𝐶 𝐶1 𝐶2
 0 0
∫ 𝑓(𝑧) 𝑑𝑧 = − ∫ 𝑓(𝑧) 𝑑𝑧
−𝐶 𝐶

Principio de la deformación de contornos

Si Sea 𝐷 un dominio doblemente conexo y que 𝐶 y 𝐶1 son contornos simples cerrados de tal manera
que 𝐶1 rodea el “hoyo” en el dominio y es interior a 𝐶. Suponiendo de 𝑓(𝑧) es analítica en cada
contorno y en cada punto interior a 𝐶, pero exterior a 𝐶1 . Entonces:
𝑎 𝑎
∮ 𝑓(𝑧) 𝑑𝑧 = ∮ 𝑓(𝑧) 𝑑𝑧
𝐶 𝐶1

Corolario:

Si 𝑧0 es cualquier número complejo constante interior a cualquier contorno cerrado simple 𝐶,

entonces para un entero 𝑛 se tiene:
𝑑𝑧 2𝜋𝑖, 𝑛=1
∮ ={
(𝑧 − 𝑧0 )𝑛 0, 𝑛≠1

Teorema de Cauchy - Goursat para dominios múltiplemente conexos.

Supongamos que 𝐶, 𝐶1 , …, 𝐶𝑛 son curvas simples cerradas con una orientación positiva tal que 𝐶1 ,
𝐶2 , …, 𝐶𝑛 son interiores a 𝐶, pero las regiones interiores a cada 𝐶𝑘 , 𝑘 = 1, 2, … , 𝑛, no tienen puntos
en común. Si 𝑓(𝑧) es analítica en cada contorno y en cada punto interior a 𝐶, pero exterior a todas
las 𝐶𝑘 , 𝑘 = 1, 2, … , 𝑛, entonces:
𝑎 𝑛 𝑎
∮ 𝑓(𝑧) 𝑑𝑧 = ∑ ∮ 𝑓(𝑧) 𝑑𝑧
𝐶 𝑘=1 𝐶𝑘

Independencia de la trayectoria
0
Sean 𝑧0 y 𝑧1 puntos en un dominio 𝐷. Una integral de contorno ∫𝐶 𝑓(𝑧) 𝑑𝑧 se dice que es
independiente de la trayectoria si su valor es el mismo para todos los contornos 𝐶 en 𝐷 con el punto
inicial 𝑧0 y el punto final 𝑧1 .

Analiticidad implica independencia de la trayectoria

Suponga que una función 𝑓(𝑧) analítica en un dominio simplemente conexo 𝐷 y 𝐶 es cualquier
0
contorno en 𝐷. Entonces ∫𝐶 𝑓(𝑧) 𝑑𝑧 es independiente de la trayectoria 𝐶.

Teorema fundamental del cálculo para integrales de contorno

Suponga que una función 𝑓(𝑧) es continua en un dominio 𝐷 y 𝐹 es una antiderivada de 𝑓(𝑧) en 𝐷.
Entonces, para cualquier contorno 𝐶 en 𝐷 con punto inicial 𝑧0 y punto final 𝑧1 :
0
∫ 𝑓(𝑧) 𝑑𝑧 = 𝐹(𝑧1 ) − 𝐹(𝑧0 )
𝐶

Existencia de Antiderivada
Suponga que una función 𝑓(𝑧) es analítica en un dominio simplemente conexo 𝐷. Entonces 𝑓(𝑧)
tiene una antiderivada en 𝐷, es decir, existe una función 𝐹 tal que 𝐹′(𝑧) = 𝑓(𝑧) para todo 𝑧 en 𝐷.

Fórmula Integral de Cauchy

Suponiendo que 𝑓(𝑧) es analítica en un dominio simplemente conexo 𝐷 y 𝐶 es cualquier contorno

cerrado simple contenido totalmente en 𝐷. Entonces, para cualquier punto 𝑧0 dentro de 𝐶:
𝑎
𝑓(𝑧)
∮ 𝑑𝑧 = 2𝜋𝑖 ∙ 𝑓(𝑧0 )
𝐶 𝑧 − 𝑧0

Fórmula Integral de Cauchy para derivadas

Suponiendo que 𝑓(𝑧) es analítica en un dominio simplemente conexo 𝐷 y 𝐶 es cualquier contorno

cerrado simple situado totalmente en 𝐷. Entonces, para cualquier punto 𝑧0 dentro de 𝐶:
𝑎
𝑓(𝑧) 2𝜋𝑖 (𝑛)
∮ 𝑛+1
𝑑𝑧 = 𝑓 (𝑧0 )
𝐶 (𝑧 − 𝑧0 ) 𝑛!

Analiticidad de derivadas de una función analítica

Suponiendo que 𝑓(𝑧) es analítica en un dominio simplemente conexo 𝐷. Entonces 𝑓(𝑧) tiene
derivadas de todos los órdenes en cada punto 𝑧 en 𝐷. Las derivadas 𝑓′(𝑧), 𝑓′′(𝑧), 𝑓′′′(𝑧), ... son
funciones analíticas en 𝐷.

Teorema de Morera
Si 𝑓(𝑧) es continua en un dominio simplemente conexo 𝐷 y si ∮ 𝑓(𝑧) 𝑑𝑧 = 0 para cada contorno
cerrado 𝐶 en 𝐷, entonces 𝑓(𝑧) es analítica en 𝐷.

Series Complejas
Criterios para la Convergencia
Una sucesión {𝑧𝑛 } converge a un número complejo 𝐿 = 𝑎 + 𝑖𝑏 si y sólo si Re(𝑧𝑛 ) converge a
Re(𝐿) = 𝑎 e Im(𝑧𝑛 ) converge a Im(𝐿) = 𝑏.

Apuntes

 Una serie compleja no se puede desarrollar en un punto singular de una función