Derivación de Funciones Complejos

Derivación de Funciones de Variable Compleja
Límites y Continuidad
Dada una función 𝑓(𝑧) decimos que su límite es 𝐿 cuando 𝑧 tiende a 𝑧0 sí y
sólo sí para todo 𝜀 > 0 exite un 𝛿 > 0 tal que:
𝑠í 0 < |𝑧 − 𝑧0 | < 𝛿 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 |𝑓(𝑧) − 𝐿| < 𝜀
Escribimos:
lim 𝑓(𝑧) = 𝐿
𝑧→𝑧0
Gráficamente tenemos la siguiente representación.
Nótese que la función puede no estar definida en 𝑧0 .

Por ejemplo:
lim 𝑧 2 = (𝑖)2 = −1
𝑧→𝑖
𝑥𝑦 𝑥+𝑦 (1)(1) 1 + 1 1
lim + 𝑖= + 𝑖 = + 2𝑖
𝑧→1+𝑖 𝑥 + 𝑦 𝑥𝑦 1 + 1 (1)(1) 2
𝑧−1 𝑧 − 1 √𝑧 − 1 (𝑧 − 1)√𝑧 − 1
lim = lim = lim = lim √𝑧 − 1 = 0
𝑧→1 √𝑧 −1 𝑧→1 √𝑧 − 1 √𝑧 − 1 𝑧→1 (𝑧 − 1) 𝑧→1
1
Como puede observarse el cálculo del límite de una función puede realizarse
siguiendo las reglas algebraicas conocidas y algunos otros resultados.
Parte real e imaginaria de un límite

Si 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) ; 𝑧0 = 𝑥0 + 𝑖𝑦0 ; 𝐿 = 𝑢0 + 𝑖𝑣0 . Entonces
tenemos que lim 𝑓(𝑧) = 𝐿 sí y sólo sí:
𝑧→𝑧0
lim 𝑢(𝑥, 𝑦) = 𝑢0 𝑦 lim 𝑣(𝑥, 𝑦) = 𝑣0

(𝑥,𝑦)→(𝑥0 ,𝑦0 ) (𝑥,𝑦)→(𝑥0 ,𝑦0 )
Propiedades de los límites complejos

Si 𝑓(𝑧) ; 𝑔(𝑧) son funciones complejas tales que:
lim 𝑓(𝑧) = 𝐿 ; lim 𝑔(𝑧) = 𝑀
𝑧→𝑧0 𝑧→𝑧0
Entonces se cumple que:

lim 𝑐𝑓(𝑧) = 𝑐𝐿 ; 𝑐 ∈ ℂ
𝑧→𝑧0
lim {𝑓(𝑧) ± 𝑔(𝑧)} = 𝐿 ± 𝑀

𝑧→𝑧0
lim {𝑓(𝑧) ∙ 𝑔(𝑧)} = 𝐿 ∙ 𝑀

𝑧→𝑧0
𝑓(𝑧) 𝐿
lim { }= ; 𝑀≠0
𝑧→𝑧0 𝑔(𝑧) 𝑀
Un aspecto importante de la existencia del límite de una función de variable

compleja es el siguiente:
“La existencia del límite es independiente de la trayectoria seguida para llegar
al punto 𝑧0 ”.
Existen una infinidad de trayectorias para llegar a 𝑧0 .
2
El resultado anterior nos permite utilizarlo como una estrategia para

demostrar que no existe un límite propuesto.
Tenemos que:
Para demostrar que no existe el límite propuesto de alguna función, es decir
no existe lim 𝑓(𝑧) = 𝐿, utilizamos diferentes trayectorias para llegar al punto
𝑧→𝑧0
𝑧0 y comprobamos a que punto llega en el plano 𝑊 cada una de esas
trayectorias.
Por ejemplo:
1.- Demostrar que no existe
sin(𝑥 + 𝑦) sin(𝑥 − 𝑦)
lim + 𝑖
𝑧→0 𝑥+𝑦 𝑥+𝑦
Si utilizamos dos trayectorias diferentes tenemos que:

Trayectoria A: 𝑧 = (𝑥, 0) situada en el eje real
sin(𝑥 + 𝑦) sin(𝑥 − 𝑦) sin(𝑥 + 0) sin(𝑥 − 0)
lim + 𝑖 = lim + 𝑖
𝑧→(0,0) 𝑥+𝑦 𝑥+𝑦 𝑧→(0,0) 𝑥+0 𝑥+0
sin(𝑥) sin(𝑥)
lim + 𝑖 =1+𝑖
𝑧→(0,0) 𝑥 𝑥
Trayectoria B: 𝑧 = (0, 𝑦) situada en el eje imaginario

sin(𝑥 + 𝑦) sin(𝑥 − 𝑦) sin(0 + 𝑦) sin(0 − 𝑦)
lim + 𝑖 = lim + 𝑖
𝑧→(0,0) 𝑥+𝑦 𝑥+𝑦 𝑧→(0,0) 0+𝑦 0+𝑦
sin(𝑦) sin(−𝑦)
lim + 𝑖 =1−𝑖
𝑧→(0,0) 𝑦 𝑦
Como los límites son diferentes al seguir diferentes trayectorias podemos

concluir que el límite propuesto no existe.
3
2.- Demostrar que no existe

𝑥𝑦
lim 𝑖
𝑧→0 𝑥 2 + 𝑦 2
Si utilizamos dos trayectorias diferentes tenemos que:

Trayectoria A: 𝑧 = (𝑥, 0) situada en el eje real
𝑥∗0 0
lim 𝑖 = lim 𝑖=0
𝑧→(0,0) 𝑥 2 + 02 𝑧→(0,0) 𝑥 2
Trayectoria B: 𝑧 = (0, 𝑦) situada en el eje imaginario

0∗𝑦 0
lim 𝑖 = lim 𝑖=0
𝑧→(0,0) 02 + 𝑦 2 𝑧→(0,0) 𝑦 2
Si utilizamos una tercera trayectoria tenemos que:

Trayectoria C: 𝑧 = (𝑥, 𝑥) situada en el la recta 𝑦 = 𝑥
𝑥∗𝑥 𝑥2 1
lim 2 𝑖 = lim 𝑖 = 𝑖
𝑧→(0,0) 𝑥 + 𝑥 2 𝑧→(0,0) 2𝑥 2 2
Aunque los límites de las primeras dos trayectorias con iguales pero son
diferentes al seguir una tercera trayectoria podemos concluir que el límite
propuesto no existe.
Dada una función 𝑓(𝑧) decimos que es continua en 𝑧0 sí y sólo sí se cumplen:

 𝑓(𝑧0 ) 𝑒𝑠𝑡á 𝑑𝑒𝑓𝑖𝑛𝑖𝑑𝑎
 𝑒𝑥𝑖𝑠𝑡𝑒 lim 𝑓(𝑧) = 𝐿
𝑧→𝑧0
 lim 𝑓(𝑧) = 𝑓(𝑧0 )
𝑧→𝑧0
4
Por ejemplo:
1.- Verificar si la función es continua en 𝑧0 = 3𝑖
𝑧 − 3𝑖
2+9
𝑠𝑖 𝑧 ≠ ±3𝑖
𝑓(𝑧) = {𝑧
1
− 𝑖 𝑠𝑖 𝑧 = 3𝑖
6
Nótese que 𝐷𝑓(𝑧) = ℂ − {−3𝑖}, ahora para verificar si la función es continua

en el punto 𝑧0 = 3𝑖 tenemos que verificar si se satisfacen las condiciones.
Al observar la regla que define a la función observamos lo siguiente:
1
𝑓(3𝑖) = − 𝑖
6
𝑧 − 3𝑖 3𝑖 − 3𝑖 0 0
lim 2 = = =
𝑧→3𝑖 𝑧 + 9 (3𝑖)2 + 9 −9 + 9 0
Aparentemente está indeterminado el límite, sin embargo vemos que:

𝑧 − 3𝑖 𝑧 − 3𝑖 1 1 1 1
lim = lim = lim = = = − 𝑖
𝑧→3𝑖 𝑧 2 + 9 𝑧→3𝑖 (𝑧 + 3𝑖)(𝑧 − 3𝑖) 𝑧→3𝑖 𝑧 + 3𝑖 3𝑖 + 3𝑖 6𝑖 6
Ahora, nuestra tercera condición sí se cumple puesto que:

𝑧 − 3𝑖 1
lim = − 𝑖 = 𝑓(3𝑖)
𝑧→3𝑖 𝑧 2 + 9 6
Dado que se cumplen las tres condiciones podemos decir que la función es
continua en 𝑧0 = 3𝑖.
Por otra parte la función no es continua en 𝑧0 = −3𝑖 puesto que la función
no está definida en ese punto, es decir:
𝑓(−3𝑖) 𝑛𝑜 𝑒𝑠𝑡á 𝑑𝑒𝑓𝑖𝑛𝑖𝑑𝑜
5
Algunas de las funciones conocidas al momento son continuas en todo el

plano complejo. Es decir:
 Función polinomio
 Función exponencial
 Función trigonométrica seno y coseno
 Función hiperbólica seno y coseno
Sin embargo resultará más complicado conocer el límite y la continuidad de

funciones de la forma:
lim 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦)
𝑧→𝑧0
El infinito en los números complejos

Hasta este momento hemos trabajado con el plano complejo finito. Es de
nuestro interés calcular límites como los siguientes:
1
lim
𝑧→∞ 𝑧
1
lim
𝑧→0 𝑧
Sin embargo, dado que el campo de los números complejos no es un campo

ordenado, se hace necesario tener una definición clara de que “el infinito” es
un número complejo que existe y es único.
La esfera de Riemann y la proyección estereográfica
Una forma de definir al infinito en los números complejos es tomar una esfera
de Riemann y la proyección estereográfica de un punto en la superficie de la
esfera, una semirrecta que parte del polo norte al punto en la superficie de la
esfera y su intersección con el plano 𝑥𝑦.
Gráficamente tenemos lo siguiente:
6
En la representación gráfica tenemos que:
2 2
1 2 1
𝑥 + 𝑦 + (𝑧 − ) = ; 𝑒𝑠𝑓𝑒𝑟𝑎 𝑑𝑒 𝑅𝑖𝑒𝑚𝑎𝑛𝑛
2 4
𝐴 𝑒𝑠 𝑢𝑛 𝑝𝑢𝑛𝑡𝑜 𝑒𝑛 𝑙𝑎 𝑠𝑢𝑝𝑒𝑟𝑓𝑖𝑐𝑖𝑒 𝑑𝑒 𝑙𝑎 𝑒𝑠𝑓𝑒𝑟𝑎
La proyección estereográfica consiste en trazar una semirrecta a partir del polo

norte de la esfera hacia el punto en la superficie de la esfera.
La intersección de la semirrecta con el plano 𝑥𝑦 identifica a un número
complejo del plano complejo 𝑥𝑦.
De esta forma, tenemos una regla de correspondencia uno a uno entre un
punto de la superficie de la esfera y un par ordenado en el plano 𝑥𝑦.
De la anterior regla de correspondencia podemos asociar el polo sur de la
esfera de Riemann con el número complejo (0,0) y un punto sobre la
superficie de la esfera junto con su correspondiente proyección con algún
número complejo del plano.
7
Definimos el infinito de los números complejos como el polo norte de la esfera

de Riemann.
Se hace necesaria una revisión y análisis en la definición 𝜀, 𝛿 del límite de una
función para los diferentes casos en que esté involucrado el punto al infinito
de los números complejos. Sin embargo podemos utilizar los siguientes
resultados para el cálculo de límites que involucren el infinito.
1
lim 𝑓(𝑧) = ∞ 𝑠í 𝑦 𝑠ó𝑙𝑜 𝑠í lim =0
𝑧→𝑧0 𝑧→𝑧0 𝑓(𝑧)
1
lim 𝑓(𝑧) = 𝑤0 𝑠í 𝑦 𝑠ó𝑙𝑜 𝑠í lim 𝑓 ( ) = 𝑤0
𝑧→∞ 𝑧→0 𝑧
1
lim 𝑓(𝑧) = ∞ 𝑠í 𝑦 𝑠ó𝑙𝑜 𝑠í lim =0
𝑧→∞ 𝑧→0 1
𝑓( )
𝑧
Los resultados anteriores dan consistencia y sentido a los límites siguientes:

1
lim =∞
𝑧→0 𝑧 2
1
lim 2 = 0
𝑧→∞ 𝑧
lim 𝑧 2 = ∞
𝑧→∞
Derivada de una Función de Variable Compleja

Una vez establecida de forma clara la existencia del límite y la continuidad de
una función de variable compleja podemos utilizar la analogía con el cálculo
diferencial para definir la existencia de la derivada de una función de variable
compleja en un punto.
8
Dada una función 𝑓(𝑧) definimos la derivada de la función en 𝑧0 como:
𝑑𝑓(𝑧) 𝑓(𝑧) − 𝑓(𝑧0 )

(𝑧0 ) = 𝑓 ′ (𝑧0 ) = lim
𝑑𝑧 𝑧→𝑧0 𝑧 − 𝑧0
Si el límite anterior existe decimos que la función es derivable en 𝑧0 .

La existencia del límite que define a la derivada es independiente de la
trayectoria que va de 𝑧 a 𝑧0 .
Si consideramos la siguiente notación tendremos lo siguiente:
𝑧 = (𝑥, 𝑦)
𝑧0 = (𝑥0 , 𝑦0 )
ℎ = 𝑧 − 𝑧0 = (𝑥 − 𝑥0 , 𝑦 − 𝑦0 )
𝑧 = 𝑧0 + ℎ
Tenemos que:
𝑑𝑓(𝑧) 𝑓(𝑧0 + ℎ) − 𝑓(𝑧0 )

(𝑧0 ) = 𝑓 ′ (𝑧0 ) = lim
𝑑𝑧 ℎ→0 ℎ
Esta última expresión nos permite calcular la derivada de algunas funciones

elementales.
Por ejemplo:
Si 𝑓(𝑧) = 𝑧 2 entonces:
′ (𝑧)
(𝑧 + ℎ)2 − 𝑧 2 𝑧 2 + 2ℎ𝑧 + ℎ2 − 𝑧 2 2ℎ𝑧 + ℎ2
𝑓 = lim = lim = lim = 2𝑧
ℎ→0 ℎ ℎ→0 ℎ ℎ→0 ℎ
Es decir:
9
𝑓 ′ (𝑧) = 2𝑧
Por otro lado, si tomamos la función 𝑓(𝑧) = 𝑧 podemos demostrar que no

existen los límites:
𝑧−0
𝑓 ′ (0) = lim
𝑧→0 𝑧 − 0
𝑧 − 𝑧0
𝑓 ′ (𝑧0 ) = lim
𝑧→𝑧0 𝑧 − 𝑧0
En otras palabras, la función 𝑓(𝑧) = 𝑧 no es derivable en ningún punto.
Reglas de derivación
Las reglas de derivación conocidas para las funciones de variable real pueden
ser extendidas y demostradas sin mayor dificultad para las funciones de
variable compleja.
Si 𝑓(𝑧) ; 𝑔(𝑧) son funciones derivables en 𝑧 entonces:
𝑑
(𝑐) = 0 ; 𝑐 ∈ ℂ
𝑑𝑧
𝑑
(𝑐𝑓(𝑧)) = 𝑐𝑓 ′ (𝑧) ; 𝑐 ∈ ℂ
𝑑𝑧
𝑑
(𝑓(𝑧) ± 𝑔(𝑧)) = 𝑓 ′ (𝑧) ± 𝑔′ (𝑧)
𝑑𝑧
𝑑
(𝑓(𝑧) ∙ 𝑔(𝑧)) = 𝑓(𝑧) ∙ 𝑔′ (𝑧) + 𝑓 ′ (𝑧) ∙ 𝑔(𝑧)
𝑑𝑧
𝑑 𝑓(𝑧) 𝑔(𝑧) ∙ 𝑓 ′ (𝑧) − 𝑓(𝑧) ∙ 𝑔′ (𝑧)
( )=
𝑑𝑧 𝑔(𝑧) [𝑔(𝑧)]2
𝑑
(𝑓(𝑔(𝑧))) = 𝑓 ′ (𝑔(𝑧)) ∙ 𝑔′ (𝑧)
𝑑𝑧
10
𝑑 𝑛
(𝑧 ) = 𝑛𝑧 𝑛−1 ; 𝑛 ∈ ℤ
𝑑𝑧
Con las anteriores reglas de derivación y la definición podemos obtener la

derivada de una cantidad considerable de funciones.
Sin embargo, sólo contamos con elementos relacionados con el límite que
define a la derivada en un punto de una función para concluir que funciones
tales como: 𝑓(𝑧) = 𝑧 y 𝑓(𝑧) = 𝑥 + 𝑖4𝑦 no son derivables en punto alguno.
Funciones analíticas
Una función de variable compleja 𝑤 = 𝑓(𝑧) se dice que es analítica en un
punto 𝑧0 sí y sólo sí 𝑓(𝑧) es derivable en 𝑧0 y en cada punto 𝑧 de alguna
vecindad de 𝑧0 .
Recuérdese que una épsilon vecindad de 𝑧0 es el conjunto de puntos que
satisfacen la desigualdad:
|𝑧 − 𝑧0 | < 𝜀
Ser una función analítica en 𝑧0 implica que la función es derivable en ese punto
y en todos los puntos de alguna vecindad de 𝑧0 .
Diremos que 𝑓(𝑧) es analítica en algún dominio 𝐷 ⊂ ℂ sí 𝑓(𝑧) es analítica en
cada punto del dominio.
La idea de ser analítica en algún punto 𝑧0 es más estricta y exigente para una
función y es uno de los conceptos fundamentales del análisis complejo.
Una función que es analítica en todo punto 𝑧 del plano complejo se llama una
función entera.
Los polinomios son funciones enteras. Las funciones racionales son analíticas
en cualquier dominio 𝐷 ⊂ ℂ que no contenga a las raíces del denominador.
La función exponencial, seno trigonométrico, coseno trigonométrico, seno
hiperbólico y coseno hiperbólico son funciones enteras.
11
Un punto 𝑧 en el que una función 𝑓(𝑧) no es analítica se llama un punto

singular o singularidad de la función.
Regla de L’Hopital
Si 𝑓(𝑧), 𝑔(𝑧) son funciones analíticas en un punto 𝑧0 y 𝑓(𝑧0 ) = 0, 𝑔(𝑧0 ) = 0
pero 𝑔′ (𝑧0 ) ≠ 0 entoces:
𝑓(𝑧0 ) 𝑓 ′ (𝑧0 )
lim = ′
𝑧→𝑧0 𝑔(𝑧0 ) 𝑔 (𝑧0 )
Por ejemplo:
1.- Calcular el límite siguiente:
sin 𝑧 cos 𝑧 cos 0
lim = = =1
𝑧→0 𝑧 1 1
2.- Calcular el límite siguiente:

𝜋 𝜋 𝜋 𝜋
(𝑧 − 2 ) sin 𝑧 𝑧 sin 𝑧 + (𝑧 − ) cos 𝑧 sin
lim𝜋 = 2 =2 2 = −𝜋
cos 𝑧 − sin 𝑧 𝜋 2
𝑧→
2 − sin
2
Ecuaciones de Cauchy Riemann

Hasta este punto tenemos una serie de reglas de derivación que nos permiten
conocer la derivada de una cantidad suficiente de funciones.
Además, tales reglas nos permiten identificar donde esas funciones son
analíticas y en su caso sus puntos singulares.
Por ejemplo:
1
𝑓(𝑧) =
𝑧−𝑖
12
Es una función tal que su dominio es todo el plano complejo excepto 𝑧0 = 𝑖, la

función es continua en todo su dominio y, por las reglas de derivación tenemos
que:
−1 2 −6
𝑓 ′ (𝑧) = ; 𝑓 ′′ (𝑧)
= ; 𝑓 ′′′ (𝑧)
= ⋯⋯
(𝑧 − 𝑖)2 (𝑧 − 𝑖)3 (𝑧 − 𝑖)4
Nótese que podemos obtener la derivada de cualquier orden de la función

pero, en cada derivada la función deja de estar definida en 𝑧0 = 𝑖, de la misma
forma decimos que la función y sus derivadas no son derivables en ese punto,
o bien, la derivada en 𝑧0 = 𝑖 no está definida pero sí está definida en cualquier
otro punto cercano a 𝑧0 = 𝑖.
En este caso decimos que la función es analítica en cualquier dominio que no
contenga al punto 𝑧0 = 𝑖 y que 𝑧0 = 𝑖 es una singularidad de la función.
Si ahora tomamos la función:
1
𝑓(𝑧) =
(𝑧 + 2𝑖)(𝑧 + 1)
Podrá resultar un poco tedioso obtener las derivadas de cualquier orden pero;
se debe observar que esto sí es posible y que, en cada derivada de la función,
así como en la función tenemos dos puntos 𝑧0 = −2𝑖 ; 𝑧1 = −1 donde no es
derivable la función.
En este caso decimos que la función es analítica en cualquier dominio que no
contenga a los puntos 𝑧0 = −2𝑖 ; 𝑧1 = −1 y que los puntos anteriores en
cuestión 𝑧0 = −2𝑖 ; 𝑧1 = −1 son puntos singulares o singularidades de la
función.
Como podemos observar, las reglas de derivación y el límite que define a la
derivada de una función nos proporcionan elementos para identificar la
analiticidad y puntos singulares de la misma, necesitamos una prueba para la
analiticidad de funciones de la forma 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦), dicha prueba
estará dada en términos de las derivadas parciales de la parte real y la parte
imaginaria de la función.
13
Una condición necesaria para la analiticidad. Ecuaciones de Cuachy Riemann

Si la función 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) es derivable en un punto 𝑧 = 𝑥 + 𝑦𝑖,
entonces en 𝑧 = 𝑥 + 𝑦𝑖 las derivadas de primer orden de 𝑢(𝑥, 𝑦) 𝑦 𝑣(𝑥, 𝑦)
existen y satisfacen las ecuaciones:
𝜕𝑢(𝑥. 𝑦) 𝜕𝑣(𝑥, 𝑦)
=
𝜕𝑥 𝜕𝑦
𝜕𝑢(𝑥. 𝑦) 𝜕𝑣(𝑥, 𝑦)
=−
{ 𝜕𝑦 𝜕𝑥
𝑢𝑥 = 𝑣𝑦
{𝑢 = −𝑣
𝑦 𝑥
Además, una expresión para la derivada de la función en el punto 𝑧 = 𝑥 + 𝑦𝑖

es:
𝑓 ′ (𝑧) = 𝑢𝑥 + 𝑖𝑣𝑥 ó 𝑓 ′ (𝑧) = 𝑣𝑦 − 𝑖𝑢𝑦
Las anteriores son llamadas las ecuaciones o condiciones de Cauchy Riemann.

Nótese que el resultado anterior establece que sí la función es derivable
entonces como consecuencia sus componentes satisfacen las ecuaciones de
Cauchy Riemann, no podemos usar el teorema para determinar dónde es
analítica la función.
No resulta una tarea sencilla encontrar una función que sus componentes
cumplan las condiciones o ecuaciones de Cauchy Riemann en algún punto y tal
función no sea derivable en ese punto.
Pero, es importante darse cuenta de que el teorema nos permite determinar
dónde la función acepta derivada (punto o puntos) sin que exista alguna
vecindad de esos puntos donde la función sea derivable.
Por ejemplo:
14
1.- Si tomamos:
𝑓(𝑧) = 𝑧 2 = 𝑥 2 − 𝑦 2 + 𝑖2𝑥𝑦
Tenemos que:
𝑢(𝑥, 𝑦) = 𝑥 2 − 𝑦 2 ; 𝑣(𝑥, 𝑦) = 2𝑥𝑦
Las ecuaciones de Cauchy Riemann serán de la forma:

𝑢𝑥 = 𝑣𝑦 2𝑥 = 2𝑥 0=0
{𝑢 = −𝑣 → { →{
𝑦 𝑥 −2𝑦 = −(2𝑦) 0=0
Es decir, las condiciones se cumplen en todos los puntos del plano complejo.
La función es derivable en todo el plano complejo y 𝑓 ′ (𝑧) = 2𝑧. El resultado
era de esperarse puesto que 𝑓(𝑧) = 𝑧 2 es una función analítica en todo el
plano complejo (es una función entera).
2.- Si tomamos:
𝑓(𝑧) = 𝑥 + 𝑖4𝑦
Tenemos que:
𝑢(𝑥, 𝑦) = 𝑥 ; 𝑣(𝑥, 𝑦) = 4𝑦

𝑢𝑥 = 𝑣𝑦 1≠4
{𝑢 = −𝑣 → {
𝑦 𝑥 0=0
Es decir, las condiciones no se cumplen en algún punto del plano complejo. La

función no es derivable en ningún punto. El resultado era de esperarse puesto
que, 𝑓(𝑧) = 𝑥 + 𝑖4𝑦 es una función para la que el límite que define su
derivada no existe en ningún punto. La función no es analítica en dominio
alguno.
15
3.- Si tomamos:
𝑓(𝑧) = 𝑧 = 𝑥 − 𝑖𝑦
Tenemos que:
𝑢(𝑥, 𝑦) = 𝑥 ; 𝑣(𝑥, 𝑦) = −𝑦

𝑢𝑥 = 𝑣𝑦 1 ≠ −1
{𝑢 = −𝑣 → {
𝑦 𝑥 0=0
Es decir, las condiciones no se cumplen en algún punto del plano complejo. La

función no es derivable en ningún punto. Nótese que la función 𝑓(𝑧) = 𝑧 es
continua en todo el plano complejo. La función no es analítica en dominio
alguno.
4.- Si tomamos:
𝑓(𝑧) = 𝑧 = 𝑥 + 𝑖𝑦
Tenemos que:
𝑢(𝑥, 𝑦) = 𝑥 ; 𝑣(𝑥, 𝑦) = 𝑦

𝑢𝑥 = 𝑣𝑦 1=1 0=0
{𝑢 = −𝑣 → { →{
𝑦 𝑥 0=0 0=0
La función es derivable en todo el plano complejo y 𝑓 ′ (𝑧) = 1. El resultado
era de esperarse puesto que 𝑓(𝑧) = 𝑧 es una función analítica en todo el plano
complejo (es una función entera).
16
5.- Si tomamos:
𝑓(𝑧) = |𝑧|2 = 𝑥 2 − 𝑦 2
Tenemos que:
𝑢(𝑥, 𝑦) = 𝑥 2 − 𝑦 2 ; 𝑣(𝑥, 𝑦) = 0

𝑢𝑥 = 𝑣𝑦 2𝑥 = 0 𝑥=0
{𝑢 = −𝑣 → { →{
𝑦 𝑥 2𝑦 = −0 𝑦=0
Es decir, las condiciones sólo se cumplen en el punto (0,0) del plano complejo.
La función sólo es derivable en el origen, es decir en el punto 𝑧 = 0. Nótese
que la función 𝑓(𝑧) = |𝑧|2 es continua en todo el plano complejo y solo es
derivable en el origen. La función no es analítica en dominio alguno.
Este ejemplo contrasta con la función de variable real 𝑓(𝑥) = |𝑥| la cual es
continua en todos los números reales y derivable en todos los números reales
excepto en 𝑥 = 0.
6.- Si tomamos:
𝑓(𝑧) = 𝑒 𝑧 = 𝑒 𝑥 cos 𝑦 + 𝑖𝑒 𝑥 sin 𝑦
Tenemos que:
𝑢(𝑥, 𝑦) = 𝑒 𝑥 cos 𝑦 ; 𝑣(𝑥, 𝑦) = 𝑒 𝑥 sin 𝑦

𝑢𝑥 = 𝑣𝑦 𝑒 𝑥 cos 𝑦 = 𝑒 𝑥 cos 𝑦 0=0
{𝑢 = −𝑣 → { 𝑥 𝑥 →{
𝑦 𝑥 −𝑒 sin 𝑦 = −(𝑒 sin 𝑦) 0=0
En este punto sólo podemos decir que la función es derivable en todo el plano
complejo pero no podemos garantizar que sea una función analítica en algún
17
dominio o en todo el plano complejo. Se hacen necesarios teoremas más

completos para poder asegurarlo y para obtener una expresión para la
derivada de la función.
Condiciones suficientes para la derivabilidad de una función

Si las funciones reales 𝑢(𝑥, 𝑦) ; 𝑣(𝑥, 𝑦) son continuas y tienen derivadas
parciales de primer orden continuas en una vecindad del punto 𝑧, y las
funciones 𝑢(𝑥, 𝑦) ; 𝑣(𝑥, 𝑦) satisfacen las ecuaciones de Cauchy Riemann en
𝑧, entonces la función compleja 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) es derivable en 𝑧 y
su derivada está dada por:
Funciones armónicas y funciones analíticas

Dada una función 𝑓(𝑥, 𝑦) decimos que es una función armónica en alguna
región 𝐷 ⊂ ℝ2 sí y sólo sí satisface la ecuación de Laplace en esa región, es
decir:
𝜕 2 𝑓(𝑥, 𝑦) 𝜕 2 𝑓(𝑥, 𝑦)
+ =0
𝜕𝑥 2 𝜕𝑦 2
𝑓𝑥𝑥 + 𝑓𝑦𝑦 = 0
∇2 𝑓 = 0
Estamos interesados en saber si las partes real e imaginaria de una función de

variable compleja son armónicas o no, es decir:
𝜕 2 𝑢(𝑥, 𝑦) 𝜕 2 𝑢(𝑥, 𝑦)
+ =0
𝜕𝑥 2 𝜕𝑦 2 𝑢𝑥𝑥 + 𝑢𝑦𝑦 = 0 ∇2 𝑢 = 0
→ { → {
𝜕 2 𝑣(𝑥, 𝑦) 𝜕 2 𝑣(𝑥, 𝑦) 𝑣𝑥𝑥 + 𝑣𝑦𝑦 = 0 ∇2 𝑣 = 0
2
+ =0
{ 𝜕𝑥 𝜕𝑦 2
18
Teorema
La función 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) es analítica en un dominio 𝐷 ⊂ ℂ sí y sólo
sí las funciones 𝑢(𝑥, 𝑦) ; 𝑣(𝑥, 𝑦) son armónicas y satisfacen las ecuaciones de
Cauchy Riemann en el dominio 𝐷 ⊂ ℂ.
Una expresión para la derivada de la función es:
Se dice que 𝑣(𝑥, 𝑦) es la armónica conjugada de 𝑢(𝑥, 𝑦).
Por ejemplo:
1.- Si tomamos:
𝑓(𝑧) = 𝑧 2 = 𝑥 2 − 𝑦 2 + 𝑖2𝑥𝑦
Tenemos que:
𝑢(𝑥, 𝑦) = 𝑥 2 − 𝑦 2 ; 𝑣(𝑥, 𝑦) = 2𝑥𝑦

𝑢𝑥 = 𝑣𝑦 2𝑥 = 2𝑥 0=0
{𝑢 = −𝑣 → { →{
𝑦 𝑥 −2𝑦 = −(2𝑦) 0=0
Además, si nos preguntamos si las partes real e imaginaria de la función son

armónicas tenemos que:
𝑢𝑥 = 2𝑥 𝑢𝑥𝑥 = 2
𝑢𝑥𝑥 + 𝑢𝑦𝑦 = 0 → {𝑢 = −2𝑦 → {𝑢 = −2 → 𝑢 𝑒𝑠 𝑎𝑟𝑚ó𝑛𝑖𝑐𝑎
𝑦 𝑦𝑦
𝑣𝑥 = 2𝑦 𝑣𝑥𝑥 = 0
𝑣𝑥𝑥 + 𝑣𝑦𝑦 = 0 → {𝑣 = 2𝑥 → {𝑣 = 0 → 𝑣 𝑒𝑠 𝑎𝑟𝑚ó𝑛𝑖𝑐𝑎
𝑦 𝑦𝑦
Como las partes real e imaginaria de la función son armónicas y satisfacen las
ecuaciones de Cauchy Riemann en todo el plano complejo podemos concluir
19
que la función es analítica en todo el plano complejo. Una expresión para la

derivada de la función es:
𝑓 ′ (𝑧) = 𝑢𝑥 + 𝑖𝑣𝑥 → 𝑓 ′ (𝑧) = 2𝑥 + 𝑖2𝑦 = 2(𝑥 + 𝑖𝑦) = 2𝑧
2.- Si tomamos:
𝑓(𝑧) = 𝑒 𝑧 = 𝑒 𝑥 cos 𝑦 + 𝑖𝑒 𝑥 sin 𝑦
Tenemos que:
𝑢(𝑥, 𝑦) = 𝑒 𝑥 cos 𝑦 ; 𝑣(𝑥, 𝑦) = 𝑒 𝑥 sin 𝑦

𝑢𝑥 = 𝑣𝑦 𝑒 𝑥 cos 𝑦 = 𝑒 𝑥 cos 𝑦 0=0
{𝑢 = −𝑣 → { 𝑥 𝑥 →{
𝑦 𝑥 −𝑒 sin 𝑦 = −(𝑒 sin 𝑦) 0=0
Además, si nos preguntamos si las partes real e imaginaria de la función son

armónicas tenemos que:
𝑢𝑥 = 𝑒 𝑥 cos 𝑦 𝑢𝑥𝑥 = 𝑒 𝑥 cos 𝑦
𝑢𝑥𝑥 + 𝑢𝑦𝑦 = 0 → { → { → 𝑢 𝑒𝑠 𝑎𝑟𝑚ó𝑛𝑖𝑐𝑎
𝑢𝑦 = −𝑒 𝑥 sin 𝑦 𝑢𝑦𝑦 = −𝑒 𝑥 cos 𝑦
𝑣𝑥 = 𝑒 𝑥 sin 𝑦 𝑣𝑥𝑥 = 𝑒 𝑥 sin 𝑦
𝑣𝑥𝑥 + 𝑣𝑦𝑦 = 0 → { → { → 𝑣 𝑒𝑠 𝑎𝑟𝑚ó𝑛𝑖𝑐𝑎
𝑣𝑦 = 𝑒 𝑥 cos 𝑦 𝑣𝑦𝑦 = −𝑒 𝑥 sin 𝑦
Como las partes real e imaginaria de la función son armónicas y satisfacen las
ecuaciones de Cauchy Riemann en todo el plano complejo podemos concluir
que la función es analítica en todo el plano complejo. Una expresión para la
derivada de la función es:
𝑓 ′ (𝑧) = 𝑢𝑥 + 𝑖𝑣𝑥 → 𝑓 ′ (𝑧) = 𝑒 𝑥 cos 𝑦 + 𝑖𝑒 𝑥 sin 𝑦 = 𝑒 𝑧
20
El resultado anterior era predecible pues sabíamos que las partes real e
imaginaria de la función satisfacen las condiciones de Cauchy Riemann. Con el
teorema anterior podemos asegurar que la función es analítica en todo el
plano complejo puesto que sus partes real e imaginaria son armónicas. La
función exponencial es una función entera.
Con este último resultado podemos comprobar las siguientes reglas de

derivación:
𝑑 𝑐𝑧
(𝑒 ) = 𝑐𝑒 𝑧 ; 𝑐 ∈ ℂ
𝑑𝑧
𝑑
(sin 𝑧) = cos 𝑧
𝑑𝑧
𝑑
(cos 𝑧) = − sin 𝑧
𝑑𝑧
𝑑
(tan 𝑧) = sec 2 𝑧
𝑑𝑧
𝑑
(sinh 𝑧) = cosh 𝑧
𝑑𝑧
𝑑
(cosh 𝑧) = sinh 𝑧
𝑑𝑧
𝑑
(tanh 𝑧) = sech2 𝑧
𝑑𝑧
𝑑 1
(𝐿𝑜𝑔(𝑧)) =
𝑑𝑧 𝑧
Nótese que para la derivada de la función logaritmo complejo estamos

tomando la rama principal de la función y la función está definida en términos
de las coordenadas polares de un número complejo, es decir:
𝐿𝑜𝑔(𝑧) = 𝐿𝑜𝑔(𝑟, 𝜃) = 𝑙𝑛(𝑟) + 𝜃𝑖
21
Para comprobar la validez de la derivada de la función logaritmo complejo

necesitamos entre otras cosas tener las ecuaciones de Cauchy Riemann en
coordenadas polares, es decir:
𝑢𝑥 = 𝑣𝑦 1
{𝑢 = −𝑣 → { 𝑢 𝑟 = 𝑣
𝑦 𝑥 𝑟 𝜃
𝑢𝜃 = −𝑟𝑣𝑟
Una utilidad que tiene el último teorema expuesto es el hecho de que a partir
de una función 𝑢(𝑥, 𝑦) que es armónica podemos encontrar su armónica
conjugada 𝑣(𝑥, 𝑦) y con ello construir una familia de funciones analíticas de la
forma 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦).
Por ejemplo:
1.- Comprobar que la función 𝑢(𝑥, 𝑦) = 𝑥 3 − 3𝑥𝑦 2 + 𝑦 es armónica,
encontrar su armónica conjugada para construir la familia de funciones
analíticas de la forma 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦).
Inicialmente comprobamos que 𝑢(𝑥, 𝑦) = 𝑥 3 − 3𝑥𝑦 2 + 𝑦 es armónica:
∇2 𝑢 = 0 → 𝑢𝑥𝑥 + 𝑢𝑦𝑦 = 0
𝑢 = 3𝑥 2 − 3𝑦 2 𝑢𝑥𝑥 = 6𝑥
{ 𝑥 → {𝑢 = −6𝑦 → 𝑢 𝑒𝑠 𝑎𝑟𝑚ó𝑛𝑖𝑐𝑎
𝑢𝑦 = −6𝑥𝑦 + 1 𝑦𝑦
Para encontrar la armónica conjugada utilizamos las ecuaciones de Cauchy

Riemann.
𝑢𝑥 = 𝑣𝑦 3𝑥 2 − 3𝑦 2 = 𝑣𝑦 𝑒𝑐. 1
{𝑢 = −𝑣 → { →
𝑦 𝑥 −6𝑥𝑦 = −𝑣𝑥 𝑒𝑐. 2
Si tomamos la ecuación 1 podemos integrar parcialmente respecto a 𝑦.

𝜕𝑣(𝑥, 𝑦)
3𝑥 2 − 3𝑦 2 = 𝑣𝑦 → = 3𝑥 2 − 3𝑦 2 →
𝜕𝑦
22
𝜕𝑣(𝑥, 𝑦)
∫ 𝜕𝑦 = ∫(3𝑥 2 − 3𝑦 2 ) 𝜕𝑦 → 𝑣(𝑥, 𝑦) = 3𝑥 2 𝑦 − 𝑦 3 + 𝑓(𝑥)
𝜕𝑦
Nótese que tenemos una expresión general para 𝑣(𝑥, 𝑦).

Si tomamos la ecuación 2 podemos derivar parcialmente respecto a 𝑥.
𝜕𝑣(𝑥, 𝑦) 𝜕
−6𝑥𝑦 = −𝑣𝑥 → = 6𝑥𝑦 → [3𝑥 2 𝑦 − 𝑦 3 + 𝑓(𝑥)] = 6𝑥𝑦 →
𝜕𝑥 𝜕𝑥
𝑑𝑓(𝑥) 𝑑𝑓(𝑥)
6𝑥𝑦 + = 6𝑥𝑦 → = 0 → 𝑓(𝑥) = 𝑐𝑡𝑒
𝑑𝑥 𝑑𝑥
Al sustituir este resultado en la expresión general de 𝑣(𝑥, 𝑦) tenemos que:

𝑣(𝑥, 𝑦) = 3𝑥 2 𝑦 − 𝑦 3 + 𝑐𝑡𝑒
Si comprobamos que 𝑣(𝑥, 𝑦) = 3𝑥 2 𝑦 − 𝑦 3 + 𝑐𝑡𝑒 es armónica:

∇2 𝑣 = 0 → 𝑣𝑥𝑥 + 𝑣𝑦𝑦 = 0
𝑣𝑥 = 6𝑥𝑦 𝑣𝑥𝑥 = 6𝑦
{ 2 2 → {𝑣 → 𝑣 𝑒𝑠 𝑎𝑟𝑚ó𝑛𝑖𝑐𝑎
𝑣𝑦 = 3𝑥 − 3𝑦 𝑦𝑦 = −6𝑦
Con esto hemos construido una familia de funciones analíticas de la forma:

𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦)
𝑓(𝑧) = (𝑥 3 − 3𝑥𝑦 2 + 𝑦 ) + 𝑖(3𝑥 2 𝑦 − 𝑦 3 + 𝑐𝑡𝑒)
23

Derivación de Funciones Complejos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Derivación de Funciones Complejos

Cargado por

Copyright:

Formatos disponibles

Derivación de Funciones de Variable Compleja

Gráficamente tenemos la siguiente representación.

Nótese que la función puede no estar definida en 𝑧0 .

Parte real e imaginaria de un límite

lim 𝑢(𝑥, 𝑦) = 𝑢0 𝑦 lim 𝑣(𝑥, 𝑦) = 𝑣0

Propiedades de los límites complejos

Entonces se cumple que:

lim {𝑓(𝑧) ± 𝑔(𝑧)} = 𝐿 ± 𝑀

lim {𝑓(𝑧) ∙ 𝑔(𝑧)} = 𝐿 ∙ 𝑀

Un aspecto importante de la existencia del límite de una función de variable

El resultado anterior nos permite utilizarlo como una estrategia para

Si utilizamos dos trayectorias diferentes tenemos que:

Trayectoria B: 𝑧 = (0, 𝑦) situada en el eje imaginario

Como los límites son diferentes al seguir diferentes trayectorias podemos

2.- Demostrar que no existe

Si utilizamos dos trayectorias diferentes tenemos que:

Trayectoria B: 𝑧 = (0, 𝑦) situada en el eje imaginario

Si utilizamos una tercera trayectoria tenemos que:

Dada una función 𝑓(𝑧) decimos que es continua en 𝑧0 sí y sólo sí se cumplen:

Nótese que 𝐷𝑓(𝑧) = ℂ − {−3𝑖}, ahora para verificar si la función es continua

Aparentemente está indeterminado el límite, sin embargo vemos que:

Ahora, nuestra tercera condición sí se cumple puesto que:

Algunas de las funciones conocidas al momento son continuas en todo el

Sin embargo resultará más complicado conocer el límite y la continuidad de

El infinito en los números complejos

Sin embargo, dado que el campo de los números complejos no es un campo

En la representación gráfica tenemos que:

La proyección estereográfica consiste en trazar una semirrecta a partir del polo

Definimos el infinito de los números complejos como el polo norte de la esfera

Los resultados anteriores dan consistencia y sentido a los límites siguientes:

Derivada de una Función de Variable Compleja

Dada una función 𝑓(𝑧) definimos la derivada de la función en 𝑧0 como:

𝑑𝑓(𝑧) 𝑓(𝑧) − 𝑓(𝑧0 )

Si el límite anterior existe decimos que la función es derivable en 𝑧0 .

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

Esta última expresión nos permite calcular la derivada de algunas funciones

Por otro lado, si tomamos la función 𝑓(𝑧) = 𝑧 podemos demostrar que no

En otras palabras, la función 𝑓(𝑧) = 𝑧 no es derivable en ningún punto.

Con las anteriores reglas de derivación y la definición podemos obtener la

Un punto 𝑧 en el que una función 𝑓(𝑧) no es analítica se llama un punto

2.- Calcular el límite siguiente:

Ecuaciones de Cauchy Riemann

Es una función tal que su dominio es todo el plano complejo excepto 𝑧0 = 𝑖, la

Nótese que podemos obtener la derivada de cualquier orden de la función

Una condición necesaria para la analiticidad. Ecuaciones de Cuachy Riemann

Además, una expresión para la derivada de la función en el punto 𝑧 = 𝑥 + 𝑦𝑖

Las anteriores son llamadas las ecuaciones o condiciones de Cauchy Riemann.

Las ecuaciones de Cauchy Riemann serán de la forma:

Las ecuaciones de Cauchy Riemann serán de la forma:

Es decir, las condiciones no se cumplen en algún punto del plano complejo. La

Las ecuaciones de Cauchy Riemann serán de la forma:

Es decir, las condiciones no se cumplen en algún punto del plano complejo. La

Las ecuaciones de Cauchy Riemann serán de la forma:

Las ecuaciones de Cauchy Riemann serán de la forma:

Las ecuaciones de Cauchy Riemann serán de la forma:

dominio o en todo el plano complejo. Se hacen necesarios teoremas más

Condiciones suficientes para la derivabilidad de una función

Funciones armónicas y funciones analíticas

Estamos interesados en saber si las partes real e imaginaria de una función de

Las ecuaciones de Cauchy Riemann serán de la forma:

Además, si nos preguntamos si las partes real e imaginaria de la función son

que la función es analítica en todo el plano complejo. Una expresión para la

𝑓 ′ (𝑧) = 𝑢𝑥 + 𝑖𝑣𝑥 → 𝑓 ′ (𝑧) = 2𝑥 + 𝑖2𝑦 = 2(𝑥 + 𝑖𝑦) = 2𝑧

Las ecuaciones de Cauchy Riemann serán de la forma: