UNIDAD III: FUNCIONES COMPLEJAS

Números complejos ............................................................................................................................ 1

Operaciones .................................................................................................................................... 1
Propiedades..................................................................................................................................... 2
Forma polar de un número complejo ................................................................................................. 2
Potencia........................................................................................................................................... 3
Radicación ....................................................................................................................................... 4
Curvas y regiones en el plano complejo.............................................................................................. 4
Circunferencias y discos .................................................................................................................. 4
Funciones complejas ........................................................................................................................... 5
Límite y continuidad de una función compleja ............................................................................... 5
Derivada de una función compleja ................................................................................................. 6
Funciones analíticas ............................................................................................................................ 6
Ecuaciones de Cauchy-Riemann...................................................................................................... 6
Funciones elementales.................................................................................................................... 7
Función exponencial.................................................................................................................... 7
Funciones trigonométricas e hiperbólicas .................................................................................. 8
 UNIDAD IV: FUNCIONES
COMPLEJAS
Números complejos
Un número complejo 𝑧 es un par ordenado (𝑥, 𝑦) de números reales.

𝑧 = (𝑥, 𝑦)
Donde 𝑥 representa la parte real e 𝑦 la parte imaginaria, es decir

𝑥 = 𝑅𝑒 𝑧 ; 𝑦 = 𝐼𝑚 𝑧
El complejo (0,1) se denomina unidad imaginaria y queda denotada por
(0,1) = 𝑖 (1)

Operaciones
La adición y multiplicación de complejos se define de modo que el sistema de números complejos
extienda al real. También puede observarse una similitud entre estas operaciones en el campo
complejo y las de vectores

La suma de 𝑧1 y 𝑧2 se define entonces como

𝑧1 + 𝑧2 = (𝑥1 + 𝑥2 , 𝑦1 + 𝑦2 ) (2)
A la resta la definimos como la suma algebraica de números de distinto signo por lo que la
operación queda implícitamente definida en (2).

Mientras que el producto es

𝑧1 𝑧2 = (𝑥1 𝑥2 − 𝑦1 𝑦2 , 𝑦1 𝑥2 + 𝑥1 𝑦2 ) (3)
Entonces
(𝑥1 , 0) + (𝑥2 , 0) = (𝑥1 + 𝑥2 , 0) = 𝑥1 + 𝑥2
(𝑥1 , 0)(𝑥2 , 0) = (𝑥1 𝑥2 , 0) = 𝑥1 𝑥2

Por lo que es posible escribir

(𝑥1 , 0) = 𝑥1

De (1) y (3) deducimos que para todo real

𝑖𝑦 = (0,1)(𝑦, 0) = (0, 𝑦)
Como 𝑧 = (𝑥, 𝑦) = (𝑥, 0) + (0, 𝑦) de (2) deducimos que

𝑧 = 𝑥 + 𝑖𝑦 (4)

1
Si 𝑥 = 0 entonces 𝑧 = 𝑖𝑦 se denomina imaginario puro, con (1) y (3) tenemos

𝑖 2 = 𝑖𝑖 = (0, 𝑖)(0, 𝑖) = (−1,0) = −1

El cociente de 𝑧 = 𝑧1 /𝑧2 con 𝑧2 ≠ 0 es el complejo para el que se cumple 𝑧1 = 𝑧𝑧2 , entonces

𝑧1 = (𝑥1 + 𝑖𝑦1 ) = 𝑧𝑧2 = (𝑥 + 𝑖𝑦)(𝑥2 + 𝑖𝑦2 )

Por la definición de igualdad y recordando la regla del producto las partes reales e imaginarias deben
ser iguales, resulta entonces este sistema de ecuaciones

𝑥1 = 𝑥2 𝑥 − 𝑦2 𝑦
𝑦1 = 𝑦2 𝑥 − 𝑥2 𝑦
Las incógnitas 𝑥 e 𝑦 pueden encontrarse resolviendo el sistema. El cociente es entonces
𝑧
𝑧 = 𝑧1 = 𝑥 + 𝑖𝑦 (5)
2

Donde
𝑥1 𝑥2 + 𝑦1 𝑦2 𝑥2 𝑦1 + 𝑥1 𝑦2
𝑥= 2 2
; 𝑦=
(𝑥2 ) + (𝑦2 ) (𝑥2 )2 + (𝑦2 )2

Mientras que la definición es algo tediosa a la hora de demostrar, la regla práctica sugiere multiplicar
arriba y abajo por el conjugado del denominador, es decir
𝑧1 𝑥1 + 𝑖𝑦1 𝑥2 − 𝑖𝑦2
= ×
𝑧2 𝑥2 + 𝑖𝑦2 𝑥2 − 𝑖𝑦2

Propiedades
Las propiedades en 𝐶 son las mismas que en 𝑅

o Ley conmutativa.
o Ley asociativa.
o Ley distributiva.
o Elemento neutro.
o Elemento absorbente.

Forma polar de un número complejo

Denominamos plano complejo al par de ejes perpendiculares entre sí,
𝑥 e 𝑦, donde representamos las partes real e imaginaria de un número
complejo.

En la imagen se puede ver un número complejo

𝑧 = 𝑎 + 𝑖𝑏
Y su conjugado, denotado por

𝑧̅ = 𝑎 − 𝑖𝑏

2
Con la adición y sustracción podemos encontrar fórmulas que representen las partes real e
imaginaria de un complejo

𝑧 + 𝑧̅ = 2𝑥
𝑧 − 𝑧̅ = 2𝑖𝑦
Entonces
1
𝑅𝑒 𝑧 = 𝑥 = 2 (𝑧 + 𝑧̅)
1 (6)
𝐼𝑚 𝑧 = 𝑦 = 2𝑖 (𝑧 − 𝑧̅)

Al definir el plano complejo, implícitamente también definimos la distancia entre el 𝑜𝑟𝑖𝑔𝑒𝑛 y 𝑧,

junto con la inclinación de dicho segmento. Teniendo en cuenta que un complejo forma una un
triángulo rectángulo definimos al segmento ̅̅̅̅
𝑂𝑍 como el módulo de 𝑧

|𝑧| = √𝑥 2 + 𝑦 2 = √𝑧𝑧̅ = 𝑟

Teniendo en cuenta que la inclinación del complejo con respecto al eje horizontal se puede calcular
mediante razones trigonométricas, podemos definir otra forma de expresar un número complejo:
la forma polar.

𝑧 = 𝑟[cos 𝛼 + 𝑖 sin 𝛼]
Donde

𝑥 = 𝑟 cos 𝛼 ; 𝑦 = 𝑟 sin 𝛼
La multiplicación en forma polar queda definida por

𝑧1 𝑧2 = 𝑟1 𝑟2 [cos(𝛼1 + 𝛼2 ) + 𝑖 sin(𝛼1 + 𝛼2 )] (7)

Mientras que la división es
𝑧1 𝑟
𝑧2
= 𝑟1 [cos(𝛼1 − 𝛼2 ) + 𝑖 sin(𝛼1 − 𝛼2 )] (8)
2

De acá deducimos que

|𝑧1 𝑧2 | = |𝑧1 ||𝑧2 |
𝑧 |𝑧 |
|𝑧1 | = |𝑧1 | (9)
2 2
𝐴𝑟𝑔 𝑧1 𝑧2 = 𝐴𝑟𝑔 𝑧1 + 𝐴𝑟𝑔 𝑧2

Potencia
Al igual que en los reales, la potencia en los complejos se define como una sucesión de productos
entre un mismo factor por lo que teniendo en cuenta (7) la fórmula de Moivre es

𝑧 𝑛 = 𝑟 𝑛 [cos(𝑛𝛼) + 𝑖 sin(𝑛𝛼)] (10)

3
Radicación
Dado 𝑧 = 𝑟[cos 𝛼 + 𝑖 sin 𝛼] ≠ 0 y su raíz enésima 𝑤 = 𝜌[cos 𝜙 + 𝑖 sin 𝜙] podemos encontrar una
fórmula que nos permita encontrar raíces de un complejo. Expresamos lo anterior como una
potencia, es decir.
𝑛
√𝑧 = 𝑤 → 𝑧 = 𝑤 𝑛
Usamos la fórmula de Moivre y expresamos los complejos en forma polar

𝑟[cos 𝛼 + 𝑖 sin 𝛼] = 𝜌𝑛 [cos 𝑛𝜙 + 𝑖 sin 𝑛𝜙]

Por ley de igualdad se tiene que los módulos y los argumentos deben ser iguales por lo que
despejamos 𝜌
𝑛
𝑟 = 𝜌𝑛 → √𝑟 = 𝜌
Lo mismo hacemos con el argumento pero teniendo en consideración la periodicidad de las
funciones coseno y seno1
𝛼 + 2𝑘𝜋
𝜙=
𝑛
La radicación se define entonces como
𝑛 𝑛 𝛼+2𝑘𝜋 𝛼+2𝑘𝜋
√𝑧 = √𝑟 [cos ( 𝑛
)+ 𝑖 sin ( 𝑛
)] (11)
𝑛
Donde 𝑘 = {0,1,2, … , 𝑛 − 1}. Estos 𝑛 valores están dados en una circunferencia de radio √𝑟 con
centro en el origen y constituyen los vértices de un polígono regular de 𝑛 lados.

Curvas y regiones en el plano complejo

Circunferencias y discos
La distancia entre dos puntos 𝑧 y 𝑎 es |𝑧 − 𝑎| por lo tanto el radio 𝜌 de una circunferencia 𝐶 y
centro en 𝑎 es

𝜌 = |𝑧 − 𝑎|
Además |𝑧 − 𝑎| < 𝜌 se cumple para todo 𝑧 dentro de 𝐶. Esta región se denomina disco circular
abierto en contraste con el disco circular cerrado

|𝑧 − 𝑎| ≤ 𝜌

El disco circular abierto se denomina también vecindad del punto 𝑎. De igual manera |𝑧 − 𝑎| > 𝜌
representa el exterior de 𝐶.

La región entre dos círculos concéntricos de radios 𝜌1 y 𝜌1 (> 𝜌1 ) es

1
El seno y coseno son funciones de período 2𝜋 y de sus múltiplos naturales, esto significa que sus valores se
repiten cada 2𝜋.

4
 𝜌1 < |𝑧 − 𝑎| < 𝜌2
Esta región se denomina anillo circular abierto o corona abierta.

Funciones complejas
En el campo complejo 𝑆 es un conjunto de números complejos y una función 𝑓 definida sobre 𝑆 es
una regla que asigna a cada 𝑧 en 𝑆 un complejo 𝑤 denominado valor de 𝑓 en 𝑧.

𝑤 = 𝑓(𝑧)

Acá, 𝑧 varía en 𝑆 y se denominan variable compleja y dominio de definición de 𝑓 respectivamente.

El conjunto de todos los valores de una función 𝑓 se denomina rango o recorrido de 𝑓.

La variable compleja dependiente se escribe 𝑤 = 𝑢 + 𝑖𝑣 , donde 𝑢 y 𝑣 son las partes real e

imaginaria respectivamente. Así, 𝑤 depende de 𝑧 = 𝑥 + 𝑖𝑦 por lo que 𝑢 y 𝑣 se vuelven funciones
que dependen de 𝑥 e 𝑦. Entonces es posible escribir

𝑤 = 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦)

Esto demuestra que una función compleja es equivalente a un par de funciones reales cada una de
las cuales depende de 𝑥 e 𝑦.

Límite y continuidad de una función compleja

Se dice que 𝑙 es el límite de una función 𝑓(𝑧) cuando z tiende al punto 𝑧0

lim 𝑓(𝑧) = 𝑙 (1)

𝑧0 →0

Si 𝑓 está definida en una vecindad de 𝑧0 (excepto quizá en 𝑧0 mismo) y si los valores de 𝑓 están
próximos a 𝑙 para todo 𝑧 próximo a 𝑧0 , es decir, en términos precisos para todo 𝜖 real positivo es
posible encontrar un 𝛿 real positivo tal que para todo 𝑧 ≠ 𝑧0 en el disco |𝑧 − 𝑧0 | < 𝛿 se tiene
|𝑓(𝑧) − 𝑙| < 𝜖 (2)

Es decir, para todo 𝑧 ≠ 𝑧0 en tal disco con radio 𝛿, se tiene que el valor de 𝑓 pertenece al disco (2).

Formalmente esta definición es semejante a la dada en el Análisis real, aunque hay una diferencia.
Mientras que en el cálculo real 𝑥 puede tender a un 𝑥0 sólo a lo largo de la recta real, acá, por
definición, 𝑧 puede tener a 𝑧0 desde cualquier dirección en el plano complejo.

Si existe un límite, entonces este es único.

Se dice que una función 𝑓(𝑧) es continua en 𝑧 = 𝑧0 si 𝑓(𝑧) está definida y

lim 𝑓(𝑧) = 𝑓(𝑧0 ) (3)

𝑧0 →0

Nótese que esta definición implica que 𝑓(𝑧) está definida en alguna vecindad de 𝑧0 .

5
Derivada de una función compleja
La derivada de una función compleja 𝑓 en un punto 𝑧0 se denota por 𝑓’(𝑧0 ) y se define como
𝑓(𝑧0 +∆𝑧)−𝑓(𝑧0 )
𝑓 ′ (𝑧0 ) = lim ∆𝑧
(4)
∆𝑧→0

En el supuesto de que este límite existe. Así, se dice que 𝑓 es diferenciable en 𝑧0 . Si se escribe ∆𝑧 =
𝑧 − 𝑧0 , entonces también se tiene que
𝑓(𝑧0 +∆𝑧)−𝑓(𝑧0 )
𝑓 ′ (𝑧0 ) = lim 𝑧−𝑧0
(4’)
𝑧→𝑧0

Recordar que por definición, 𝑓(𝑧) está definida en alguna vecindad de 𝑧0 y 𝑧 en (4’) puede
aproximarse a 𝑧0 desde cualquier dirección en el plano complejo. Entonces, diferenciabilidad en 𝑧0
significa que, a lo largo de cualquier trayectoria por la cual 𝑧 tienda a 𝑧0 , el cociente en (4’) siempre
tiende a un cierto valor, y todos esos valores son iguales.

Las reglas de derivación son las mismas que las estudiadas en el cálculo real y sus demostraciones
son las mismas, también se cumplen la regla de la cadena y de la potencia.

Funciones analíticas
Se dice que una función 𝑓(𝑧) es analítica2 en un dominio 𝐷 si 𝑓(𝑧) está definida y es diferenciable
en todos los puntos de 𝐷. Se dice que una función 𝑓(𝑧) es analítica en un punto 𝑧 = 𝑧0 en 𝐷
si 𝑓(𝑧) es analítica en una vecindad de 𝑧0 .

La analiticidad de 𝑓(𝑧) en 𝑧0 significa que 𝑓(𝑧) tiene una derivada en todos los puntos en alguna
vecindad de 𝑧0 , incluyendo 𝑧0 ya que, por definición, es un punto que pertenece a todas sus
vecindades.

Ecuaciones de Cauchy-Riemann
Dada la función compleja

𝑤 = 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦)

Diremos que 𝑓 es analítica en un dominio 𝐷 si y sólo si las primeras derivadas parciales de 𝑢 y 𝑣
satisfacen las ecuaciones

𝑢𝑥 = 𝑣𝑦 ; 𝑢𝑦 = −𝑣𝑥 (1)

En todos los puntos de 𝐷. Estas ecuaciones se denominan ecuaciones de Cauchy-Riemann.

TEOREMA 1
Sea 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) definida y continua en alguna vecindad de un punto 𝑧 = 𝑥 + 𝑖𝑦, y
diferenciable en 𝑧 mismo. Entonces en ese punto existen las derivadas parciales de primer orden de
𝑢 y 𝑣, y satisfacen las ecuaciones de Cauchy-Riemann. Por tanto, si 𝑓(𝑧) es analítica en un dominio
𝐷, entonces tales derivadas parciales existen y satisfacen (1) para todos los puntos de 𝐷.

2
También suele utilizarse el término holomorfa.

6
TEOREMA 2
Si dos funciones continuas con valores reales 𝑢(𝑥, 𝑦) y 𝑣(𝑥, 𝑦) de dos variables reales 𝑥 e 𝑦 tienen
primeras derivadas parciales continuas que satisfacen las ecuaciones de Cauchy-Riemann en algún
dominio D, entonces la función compleja 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) es analítica en 𝐷.

Se menciona, además, que si se usa la forma polar las ecuaciones de Cauchy-Riemann son
1 1
𝑢𝑟 = 𝑟 𝑣𝜃 ; 𝑢𝑟 = − 𝑟 𝑣𝜃 (2)

Funciones elementales
Función exponencial
Es una de las funciones analíticas más importantes. La definición de 𝑒 𝑧 en términos de las
funciones reales 𝑒 𝑥 , cos 𝑦 y sin 𝑦 es

𝑒 𝑧 = 𝑒 𝑥 (cos 𝑦 + 𝑖 sin 𝑦) (1)

Esta definición está motivada por requisitos que hacen de 𝑒 𝑧 una extensión natural de la función
exponencial real.

Con base en la definición se observa que efectivamente la misma es una extensión a los reales.

PROPIEDADES
La función exponencial, como en los reales, tiene la relación funcional

𝑒 𝑧1 𝑒 𝑧2 = 𝑒 𝑧1 +𝑧2 (2)
Para z_1 y z_2 cualesquiera. Por definición tenemos

𝑒 𝑧 𝑒 𝑧 = 𝑒 𝑥1 (cos 𝑦1 + 𝑖 sin 𝑦1 )𝑒 𝑥2 (cos 𝑦2 + 𝑖 sin 𝑦2 )

Si ahora aplicamos (2) y las fórmulas para la adición de senos y cosenos, tenemos

𝑒 𝑧 𝑒 𝑧 = 𝑒 𝑥1 +𝑥2 [cos(𝑦1 + 𝑦2 ) + 𝑖 sin(𝑦1 + 𝑦2 )]

Un caso especial es cuando 𝑧1 = 𝑥 y 𝑧2 = 𝑖𝑦

𝑒 𝑧 = 𝑒 𝑥 𝑒 𝑖𝑦 (3)
Además, para 𝑧 = 𝑖𝑦 se tiene la fórmula de Euler

𝑒 𝑖𝑦 = cos 𝑦 + 𝑖 sin 𝑦 (4)

Así, la forma polar de un complejo puede reescribirse ahora como

𝑧 = 𝑟𝑒 𝑖𝜃 (5)
Con (4) vemos que

|𝑒 𝑖𝑦 | = |cos 𝑦 + 𝑖 sin 𝑦| = √cos2 𝑦 + sin2 𝑦 = 1 (6)

7
Es decir, para exponentes imaginarios puros el valor absoluto de una exponencial es la unidad. Por
(6) y (1), se tiene que

|𝑒 𝑧 | = 𝑒 𝑥 por tanto arg 𝑒 𝑧 = 𝑦 ± 2𝑛𝜋 (𝑛 = 0, 1, 2, … )

Función logarítmica