1

Funciones analíticas
La derivada compleja
Sea 𝐺 un conjunto abierto y conexo en ℂ ( un
dominio o región en ℂ) y 𝑓: 𝐺 → ℂ una funcion
definida en 𝐺 , y sea 𝑧0 ∈ 𝐺. Si
𝑓(𝑧) − 𝑓(𝑧0 )
lim
𝑧→𝑧0 𝑧 − 𝑧0
existe;
se dice que 𝑓 es diferenciable en 𝑧0 .
Este límite, se denota por 𝑓 ′ (𝑧0 ) y se denomina la
derivada de 𝑓 en 𝑧0 .
Es decir,

′(
𝑓 (𝑧) − 𝑓(𝑧0 )
𝑓 𝑧0 ) = lim
𝑧→𝑧0 𝑧 − 𝑧0

Escribiendo 𝑧 − 𝑧0 = ℎ en la definición anterior, se

obtiene la forma equivalente

′(
𝑓(𝑧0 + ℎ) − 𝑓(𝑧0 )
𝑓 𝑧0 ) = lim
ℎ→0 ℎ
[Escriba texto]
 2

Veamos que como en el caso de variable real:

Si una función 𝒇 es diferenciable en 𝒛𝟎 . Entonces 𝒇
es continua en 𝒛𝟎 .
Demostración :
De la identidad

𝑓(𝑧) − 𝑓(𝑧0 )
𝑓(𝑧) = 𝑓(𝑧0 ) + ( ) ∙ (𝑧 − 𝑧0 ), 𝑧 ≠ 𝑧0
𝑧 − 𝑧0
se sigue que si 𝑓 es diferenciable en 𝑧0 . Entonces
lim 𝑓(𝑧) = 𝑓(𝑧0 ) + 𝑓 ′ (𝑧0 ) ∙ 0 = 𝑓(𝑧0 )
𝑧→𝑧0

esto es, 𝑓 es continua en 𝑧0 .

Claramente el reciproco no es cierto, la función
𝑓(𝑧) = 𝑧̅, 𝑧∈ℂ
Es continua, pero no es diferenciable en punto
alguno (como lo demostraremos posteriormente
en el ejemplo 2)
Si 𝒇 es diferenciable en cada punto de 𝑮 se dice que
𝒇 es diferenciable en 𝑮

[Escriba texto]
 3

En la teoría de funciones complejas, estamos

especialmente interesados en funciones 𝑓: 𝐺 → ℂ
que tienen derivada no solo en un solo punto 𝑧0 ∈
𝐺 , sino en cada punto en una 𝜀 −vecindad de 𝑧0
Definición de analiticidad en un punto
Se dice que 𝑓: 𝐺 → ℂ es analítica en un punto 𝑧0 ∈
𝐺 si 𝑓 es diferenciable en cada punto en una
𝜀 −vecindad de 𝑧0 .
Si 𝑓 es analítica en cada punto de 𝐺 , 𝑓 se dice
analítica en 𝐺 u holomorfa en 𝐺
Dominio de analiticidad de una función
El conjunto de todos los puntos donde una función
es analítica se denomina dominio de analiticidad de
la función.
Una función cuyo dominio de analiticidad es el
plano complejo ℂ se denomina entera.
Nótese que si 𝑓 es nalítica en 𝐺 , entonces para cada
𝑧 ∈ 𝐺 la derivada 𝑓 ′ (𝑧) existe.
En este caso se define una nueva función
𝑓 ′ : 𝐺 → ℂ , definida por

[Escriba texto]
 4

′(
𝑓(𝑧 + ℎ) − 𝑓(𝑧)
𝑓 𝑧) = lim
ℎ→0 ℎ
Esta función está bien definida y se denomina la
primera derivada de 𝑓 en 𝐺.
Derivadas de orden superior se definen en forma
obvia.
Exáctamente como en el cálculo de variable real , se
pueden probar las siguientes fórmulas
(𝑓 + 𝑔)′ (𝑧) = 𝑓 ′ (𝑧) + 𝑔′ (𝑧)
(𝑓𝑔)′ (𝑧) = 𝑓 ′ (𝑧)𝑔(𝑧) + 𝑓(𝑧)𝑔′ (𝑧)
𝑓 ′ 𝑔 ( 𝑧 )𝑓 ′ (𝑧 ) − 𝑓 (𝑧 )𝑔 ′ (𝑧 )
( ) (𝑧 ) =
𝑔 [𝑔(𝑧)]2
Sumas finitas y productos de funciones analíticas
es también analítica , y el cociente de dos funciones
analíticas es analítica en los puntos donde el
denominador es diferente de cero.
Finalmente la composición de dos funciones
analíticas es analítica; más precisamente, si 𝑔 es
diferenciable en 𝑧0 y 𝑓 es

[Escriba texto]
 5

diferenciable en 𝑔(𝑧0 ). Entonces la función

compuesta ℎ = 𝑓𝑜𝑔 es diferenciable en 𝑧0 y se tiene
la regla de la cadena
ℎ′ (𝑧0 ) = 𝑓 ′ (𝑔(𝑧0 ))𝑔′ (𝑧0 )
Claramente cualquier función constante es una
función entera con derivada igual a cero.
La función 𝑓 (𝑧) = 𝑧 es también una función entera
y tiene derivada 𝑓 ′ (𝑧) = 1.
Ejemplo 1
Mostrar que la función
𝑓 (𝑧) = 𝑎𝑧 𝑛
es una función entera , y que 𝑓 ′ (𝑧0 ) = 𝑎𝑛𝑧0 𝑛−1 .
Demostración

𝑓 (𝑧) − 𝑓(𝑧0 ) 𝑎𝑧 𝑛 − 𝑎𝑧0 𝑛

lim = lim
𝑧→𝑧0 𝑧 − 𝑧0 𝑧→𝑧0 𝑧 − 𝑧0
= 𝑎(𝑧0 𝑛−1 + 𝑧0 𝑛−1 + ⋯ + 𝑧0 𝑛−1 ) = 𝑎𝑛𝑧0 𝑛−1
De este ejemplo y las observaciones previas se
sigue que un polinomio es una función entera .

[Escriba texto]
 6

Si 𝑃 (𝑧) = 𝑎0 + 𝑎1 𝑧 + 𝑎2 𝑧 2 + ⋯ + 𝑎𝑛 𝑧 𝑛 ;
Entonces
𝑃′(𝑧) = 𝑎1 + 2𝑎2 𝑧 + ⋯ + 𝑛𝑎𝑛 𝑧 𝑛−1
También que el cociente de dos polinomios
(función racional de 𝑧 ) es analítica en todo punto
excepto donde el denominador es cero.
Ejemplo 2
Mostrar que la función 𝑓(𝑧) = 𝑧̅, 𝑧 ∈ ℂ no es
analítica en punto alguno .
Demostración
Obsérvese que
𝑓 (𝑧 + ℎ) − 𝑓(𝑧) ̅̅̅̅̅̅̅
𝑧 + ℎ − 𝑧̅ 𝑧̅ + ℎ̅ − 𝑧̅ ℎ̅
= = =
ℎ ℎ ℎ ℎ
El cual se aproxima a 1 cuando ℎ → 0 a través de
valores reales y se aproxima a -1 cuando ℎ → 0 a
través de valores imaginarios puros.
Por lo tanto,

𝑓(𝑧 + ℎ) − 𝑓(𝑧)
lim
ℎ→0 ℎ
[Escriba texto]
 7

no existe !!
Ejemplo 3
Mostrar que la función 𝑓 (𝑧) = |𝑧|2 es diferenciable
solo en cero, y por lo tanto no es analítica en punto
alguno
Demostración
Si ℎ ≠ 0 , entonces

𝑓(𝑧 + ℎ) − 𝑓(𝑧) |𝑧 + ℎ|2 − |𝑧|2

=
ℎ ℎ
(𝑧̅̅̅̅̅̅̅
+ ℎ)(𝑧 + ℎ) − 𝑧𝑧̅ (𝑧̅ + ℎ̅)(𝑧 + ℎ) − 𝑧𝑧̅
= =
ℎ ℎ
𝑧̅𝑧 + 𝑧̅ℎ + 𝑧ℎ̅ + ℎℎ̅ − 𝑧𝑧̅ ℎ̅
= = 𝑧 + 𝑧̅ + ℎ̅
ℎ ℎ
a) Si 𝑧 = 0 , el límite cuando ℎ → 0 del cociente
diferencial existe y es igual a cero.
b) Si 𝑧 ≠ 0 , entonces procediendo como en el
ejemplo 2 , el limite no existe .
Por lo tanto, la función 𝑓(𝑧) = |𝑧|2 es diferenciable
solo en 𝑧 = 0.

[Escriba texto]
 8

Puesto que 𝑓 no es diferenciable en alguna

vecindad de 0, 𝑓 no es analítica en 0 (y claramente
no es analítica en punto alguno)
No obstante estas similitudes, hay una diferencia
fundamental entre la derivación para funciones de
variables reales y la derivación de funciones de una
variable compleja
Sea 𝑧 = (𝑥, 𝑦), suponga que ℎ es real:

′(
𝑓 (𝑥 + ℎ, 𝑦) − 𝑓(𝑥, 𝑦) 𝜕𝑓
𝑓 𝑧) = lim = (𝑧) = 𝑓𝑥 (𝑧)?
ℎ→0 ℎ 𝜕𝑥
Pero si ℎ = 𝑖𝑘 imaginario puro, entonces

′(
𝑓(𝑥, 𝑦 + ℎ) − 𝑓 (𝑥, 𝑦) 1 𝜕𝑓
𝑓 𝑧) = lim = (𝑧 ) ?
𝑘→0 𝑖𝑘 𝑖 𝜕𝑦
= −𝑖𝑓𝑦 (𝑧)
La existencia de la derivada compleja obliga a la
función a satisfacer la ecuación diferencial parcial
𝑓𝑥 (𝑧) = −𝑖𝑓𝑦 (𝑧)

[Escriba texto]
 9

Por lo tanto , si 𝑓(𝑧) = 𝑢(𝑧) + 𝑖𝑣(𝑧), donde 𝑢 y 𝑣

son funciones reales de una variable compleja , y si
igualamos las partes reales y las imaginarias ,
obtenemos
𝑢𝑥 + 𝑖𝑣𝑥 = 𝑓𝑥 = −𝑖𝑓𝑦 = 𝑣𝑦 − 𝑖𝑢𝑦
Obtenemos las Ecuaciones de Cauchy_ Riemann
ECR
𝑢𝑥 = 𝑣𝑦
y
𝑣𝑥 = −𝑢𝑦
Ejemplo 4
Sea 𝑓: 𝐺 → ℝ una función de variable compleja con
valor real y sea 𝑧0 ∈ 𝐺. Entonces o bien 𝑓 ′ (𝑧0 ) = 0
o 𝑓 no es diferenciable en 𝑧0 .
Demostración
Supongamos que la derivada de 𝑓 existe en 𝑧0 ∈
𝐺 y supongamos que 𝑓 ′ (𝑧0 ) ≠ 0.
Entonces cuando ℎ → 0 a través de valores reales,
𝑓(𝑧0 + ℎ) − 𝑓(𝑧0 )
lim
ℎ→0 ℎ
[Escriba texto]
 10

es un número real ,
pero cuando ℎ → 0 a través de valores imaginarios
puros ,
𝑓(𝑧0 + ℎ) − 𝑓(𝑧0 )
lim
ℎ→0 ℎ
es imaginario puro.
Por lo tanto, 𝑓 ′ (𝑧0 ) no existe
Esta contradicción demuestra el resultado.
Ecuaciones de Cauchy – Riemann ECR
1) Si 𝑮 es un conjunto abierto en ℂ , 𝒇: 𝑮 → ℂ ,
𝒇 analítica y 𝒖(𝒙, 𝒚) = 𝑹𝒆𝒇(𝒙 + 𝒊𝒚) y
𝒗(𝒙, 𝒚) = 𝑰𝒎𝒇(𝒙 + 𝒊𝒚) entonces 𝒖 y 𝒗
satisfacen las ECR:
𝝏𝒖 𝝏𝒗
=
𝝏𝒙 𝝏𝒚
y
𝝏𝒖 𝝏𝒗
=−
𝝏𝒚 𝝏𝒙
2) Seai 𝑮 es un conjunto abierto y conexo y
𝒇: 𝑮 → ℂ es analítica en 𝑮 con 𝒇′ (𝒛) = 𝟎 para
[Escriba texto]
 11

todo 𝒛 en 𝑮 entonces 𝒇 es constante en 𝑮. La

misma conclusión se tiene si, 𝑹𝒆𝒇(𝒛),
𝑰𝒎𝒇(𝒛), |𝒇(𝒛)| o arg𝒇(𝒛), es constante en , 𝑮.
Demostración
𝒇′ (𝒛) = 𝟎 = 𝒖𝒙 (𝒛) + 𝒗𝒙 (𝒛)
𝟎 = 𝒗𝒚 (𝒛) − 𝒖𝒚 (𝒛)
Para todo 𝒛 en 𝑮
Por lo tanto , 𝒖𝒙 y 𝒗𝒙 son cero . Por las ECR
𝒖𝒙 = 𝒗𝒚 y 𝒗𝒙 = −𝒖𝒚 también son cero para todo
𝒛 en 𝑮. Entonces 𝒖 y 𝒗 son constantes a lo largo de
cualquier recta paralela a los ejes coordenados y
como 𝑮 es conexo mediante un polígono
contenido en la región, entonces 𝒇 = 𝒖 + 𝒊𝒗 es
también constante en 𝑮.

Si 𝒖 = 𝑹𝒆𝒇(𝒛), o 𝒗 = 𝑰𝒎𝒇(𝒛), es constante para

todo 𝒛 en 𝑮 , entonces 𝒗𝒙 = −𝒖𝒚 = 𝒖𝒙 = 𝒗𝒚 = 𝟎
lo que implica que
𝒇′ (𝒛) = 𝒖𝒙 (𝒛) + 𝒗𝒙 (𝒛) = 𝟎

[Escriba texto]
 12

Por lo tanto 𝒇 es constante

Veamos ahora que si |𝒇(𝒛)| es constante en 𝑮

entonces 𝒇 es constante
Demostración
Supongamos que |𝒇(𝒛)| = 𝒌, para todo 𝒛 en 𝑮,
donde 𝒌 > 𝟎. Entonces si 𝒇 = 𝒖 + 𝒊𝒗
|𝒇(𝒛)|𝟐 = 𝒌𝟐 = 𝒖𝟐 + 𝒗𝟐
También es constante.
Derivando con respecto a 𝒙, obtenemos
𝒖𝒖𝒙 + 𝒗𝒗𝒙 = 𝟎
Ahora, derivando con respecto a 𝒚
𝒖𝒖𝒚 + 𝒗𝒗𝒚 = 𝟎
Usando las ECR obtenemos
𝒖𝒖𝒙 − 𝒗𝒖𝒚 = 𝟎, (𝟏)
𝒖𝒖𝒚 + 𝒗𝒖𝒙 = 𝟎, (𝟐)

[Escriba texto]
 13

Multiplicando la ecuación (1) por 𝒖 y la ecuación

(2) por 𝒗 y sumando, obtenemos
(𝒖𝟐 + 𝒗𝟐 )𝒖𝒙 = 𝒌𝟐 𝒖𝒙 = 𝟎
Por lo tanto, 𝒖𝒙 = 𝟎 para todo 𝒛 en 𝑮 . En virtud
de las ECR , tenemos que 𝒗𝒚 = 𝟎 para todo 𝒛 en 𝑮
.
Multiplicando la ecuación (1) por 𝒗 y la ecuación
(2) por 𝒖 y sumando, obtenemos
−(𝒖𝟐 + 𝒗𝟐 )𝒖𝒚 = −𝒌𝟐 𝒖𝒚 = 𝟎
Por lo tanto, 𝒖𝒚 = 𝟎 para todo 𝒛 en 𝑮 . En virtud
de las ECR , tenemos que 𝒗𝒙 = 𝟎 para todo 𝒛 en 𝑮
. Por lo tanto, 𝒖 y 𝒗 son constantes en 𝑮, luego 𝒇
es constante

Si arg𝒇(𝒛), es constante en 𝑮 , digamos arg𝒇(𝒛) =

𝒄 entonces 𝒕𝒂𝒏−𝟏 ( 𝒖 / 𝒗)) = 𝒄 , luego 𝒗 =
(𝒕𝒂𝒏𝒄)𝒖. Pero (𝟏 − 𝒊𝒕𝒂𝒏𝒄)𝒇(𝒛) es analítica,
𝑰𝒎((𝟏 − 𝒊𝒕𝒂𝒏𝒄)(𝒖 + 𝒊𝒗) = 𝒗 − (𝒕𝒂𝒏𝒄)𝒖 = 𝟎
Lo cual implica que (𝟏 − 𝒊𝒕𝒂𝒏𝒄)𝒇(𝒛) es constante
. Luego 𝒇 lo es también.
[Escriba texto]
 14

3) Si 𝒖 y 𝒗 son funciones reales de dos variables

reales definidas en una región 𝑮 y
supongamos que 𝒖 y 𝒗 tienen derivadas
parciales continuas en 𝑮 entonces 𝒇: 𝑮 → ℂ
definida por 𝒇(𝒛) = 𝒖(𝒛) + 𝒊𝒗(𝒛)
𝒇(𝒛) = 𝒖(𝒛) + 𝒊𝒗(𝒛) es analítica si y solo si 𝒖 y 𝒗
satisfacen las ECR en 𝑮
4) Supongamos que 𝒖 y 𝒗 tienen derivadas
parciales de segundo orden continuas (
realmente resultan infinitamente
diferenciables )
Diferenciando las ECR
𝝏𝟐 𝒖 𝝏𝟐 𝒗
=
𝝏𝒙𝟐 𝝏𝒙𝝏𝒚
y
[Escriba texto]
 15

𝝏𝟐 𝒖 𝝏𝟐 𝒗
=−
𝝏𝒚𝟐 𝝏𝒚𝝏𝒙
Por lo tanto,
𝝏𝟐 𝒖 𝝏 𝟐 𝒖
+ = 𝟎 (𝟏)
𝝏𝒙𝟐 𝝏𝒚𝟐
Cualquier función con segundas derivadas
continuas que satisfaga la EDP (1) se denomina
armónica
Si 𝑮 es una región en el plano y 𝒖: 𝑮 → ℝ es
armónica ¿Existe una función armónica 𝒗, 𝒗: 𝑮 →
ℝ tal que 𝒇 = 𝒖 + 𝒊𝒗 es analítica en 𝑮 ? Si
5) Si tal función existe se denomina conjugada
armónica de 𝒖
6) Si 𝒗𝟏 y 𝒗𝟐 son dos conjugadas armónicas de 𝒖
entonces 𝒊(𝒗𝟏 − 𝒗𝟐 ) = (𝒖 + 𝒊𝒗𝟏 ) − (𝒖 +
𝒊𝒗𝟐 ) es analítica en 𝑮
7) Sea 𝑮 todo el plano complejo o un disco.
Si 𝒖: 𝑮 → ℝ es una función armónica
entonces 𝒖 tiene una conjugada armónica

[Escriba texto]
 16

Demostración
Sea 𝑮 = 𝑫𝑹 (𝟎), donde 𝟎 < 𝑹 ≤ ∞ y 𝒖: 𝑮 → ℝ
una función armónica
Como ha de tenerse que 𝒗𝒚 = 𝒖𝒙 entonces
𝒚
𝒗(𝒙, 𝒚) = ∫ 𝒖𝒙 (𝒙, 𝒕)𝒅𝒕 + 𝝋(𝒙)
𝟎

satisface 𝒗𝒚 = 𝒖𝒙.
debemos hallar la función 𝝋(𝒙)?
Ahora, como también debe satisfacerse que
𝒗𝒙 = −𝒖𝒚 entonces
𝒚
𝒗𝒙 (𝒙, 𝒚) = ∫ 𝒖𝒙𝒙 (𝒙, 𝒕)𝒅𝒕 + 𝝋′(𝒙)
𝟎
𝒚
= − ∫ 𝒖𝒚𝒚 (𝒙, 𝒕)𝒅𝒕 + 𝝋′(𝒙)
𝟎
𝒚
= −[𝒖𝒚 (𝒙, 𝒕)] + 𝝋′(𝒙)
𝟎

−𝒖𝒚 (𝒙, 𝒚) = −𝒖𝒚 (𝒙, 𝒚) + 𝒖𝒚 (𝒙, 𝟎) + 𝝋′(𝒙)

0 = 𝒖𝒚 (𝒙, 𝟎) + 𝝋′(𝒙)
𝝋′ (𝒙) = −𝒖𝒚 (𝒙, 𝟎)
[Escriba texto]
 17

𝒙
𝝋(𝒙) = − ∫ 𝒖𝒚 (𝒔, 𝟎)𝒅𝒔
𝟎

Por lo tanto.
𝒚 𝒙
𝒗(𝒙, 𝒚) = ∫ 𝒖𝒙 (𝒙, 𝒕)𝒅𝒕 = − ∫ 𝒖𝒚 (𝒔, 𝟎)𝒅𝒔
𝟎 𝟎

Conclusiones
1) Sea 𝒇(𝒛) = 𝒖(𝒛) + 𝒊𝒗(𝒛) analítica en la región
𝑮 . Entonces las dos funciones reales 𝒖 y 𝒗 son
armónicas en 𝑮
2) Sea 𝒖(𝒛) una función real armónica en una
región 𝑮 simplemente conexa . Entonces
𝒚 𝒙
𝒗(𝒙, 𝒚) = ∫ 𝒖𝒙 (𝒙, 𝒕)𝒅𝒕 = − ∫ 𝒖𝒚 (𝒔, 𝟎)𝒅𝒔
𝟎 𝟎

Es armónica en 𝑮, y la función 𝒇(𝒛) = 𝒖(𝒛) +

𝒊𝒗(𝒛) analítica en 𝑮
Ejemplos
1) Encuentre la conjugada armónica en ℂ de la
función
𝒖(𝒙, 𝒚) = 𝒙𝟐 − 𝒚𝟐

[Escriba texto]
 18

2) ¿ Existe una función analítica 𝒇 = 𝒖 + 𝒊𝒗 para

la cual
𝒙
𝒖(𝒙, 𝒚) = 𝟐 ?
𝒙 + 𝒚𝟐

Solucion
La función 𝒖 no está definida en el origen;
buscaremos una conjugada armónica de 𝒖 en algún
subconjunto simplemente conexo de ℂ − {𝟎}
Primero, veamos que 𝒖 es armónica :
𝒚𝟐 − 𝒙 𝟐
𝒖𝒙 = 𝟐
( 𝒙 + 𝒚𝟐 ) 𝟐
,
−𝟐𝒙𝒚
𝒖𝒚 = 𝟐
(𝒙 + 𝒚𝟐 )𝟐
y
𝟐𝒙𝟑 − 𝟔𝒙𝒚𝟐
𝒖𝒙𝒙 = = −𝒖𝒚𝒚
(𝒙𝟐 + 𝒚𝟐 )𝟑
Por lo tanto la conjugada armónica de 𝒖 esta dada
por

[Escriba texto]
 19

𝒚 𝒙
𝒗(𝒙, 𝒚) = ∫ 𝒖𝒙 (𝒙, 𝒕)𝒅𝒕 = − ∫ 𝒖𝒚 (𝒔, 𝟎)𝒅𝒔
𝟎 𝟎
𝒚
𝒗(𝒙, 𝒚) = − 𝟐
𝒙 + 𝒚𝟐
𝒙 − 𝒊𝒚 𝒛̅
𝒇(𝒛) = 𝒖(𝒛) + 𝒊𝒗(𝒛) = =
𝒙𝟐 + 𝒚𝟐 |𝒛|𝟐
es analítica para 𝒛 ≠ 𝟎
3) Principio del máximo) Si 𝒖(𝒙, 𝒚) es armónica
y no constante en una región 𝑮 simplemente
conexa, entonces 𝒖 no tiene máximo o
mínimo en 𝑮

[Escriba texto]