Derivadas Complejas

Derivada de una funcin compleja

Teorema del valor intermedio para funciones reales

Sea f(x) continua para a < x < b y f(a)f(b)entonces f toma todos los
valores entre f(a)yf(b) en el intervalo a b
Teorema del valor medio para funciones reales Si f(x) es continua en a < x < b y f
'(x) existe para a < x < b, entonces hay al menos un punto c (a < c < b) tal que: f '(c)
= [ f(b) f(a) ] / [ b a ].
Ninguno de los dos teoremas aplican a las funciones complejas.
Por ejemplo: el teorema del valor intermedio, nos dice que si f(a)
= -1 y f(b) = 1 entonces necesariamente existe al menos un valor
a b, tal quef(. En compleja, podemos empezar en
-1 y acabar en +1 sin haber pasado por (0+0i).

-1

Adems los dos

caminos tienen
2
longitudes diferentes.

Derivada de una funcin real

f ( x0 x) f ( x0 )
f ( x0 ) : lim
x 0
x

Si no existe el lmite, no existe la

derivada en x0. Decimos entonces
que f(x) no es derivable o no es
diferenciable en x0.
Podemos hacer el lmite por la
derecha y por la izquierda, y
ambos deben coincidir.

f ( x0 x)
f ( x0 )

x0 x0 x
x

x
3

Derivada de una funcin compleja

f ( z0 z ) f ( z )
f ( z0 ) : lim
z 0
z

Observemos que ahora el lmite se puede hacer no

solamente por la derecha o por la izquierda, sino
por infinitos caminos. Para que la derivada est definida
el lmite debe existir y ser el mismo independientemente
del camino.

z0 z

f ( z0 z ) f ( z0 )

z0

v
f ( z0 z )

f ( z0 )

u
4

Ejemplo:
Mostrar que f(z) = zn es diferenciable para todo z y
que f/(z) = nzn-1.
n n i
i
n

z
(

z
)

0
0

n
n
i
( z0 z ) z0
i 0
f ( z0 ) : lim
lim

z 0
z 0
z
z
n
n n i
i

z
(

z
)

i 0
n
n n i
i 1

lim
lim z0 (z ) i 1 nz0n 1
z 0
z 0
z
i 1 i
n

Observa que el resultado es independiente de la trayectoria

con que z se aproxima a cero. Como z0 es arbitrario, el
resultado es vlido para todo z y f(z) = nzn-1.
5

La reglas de derivabilidad son las mismas que en clculo

de funciones reales de variable real:

(c f)/ = c f/
(f+g)/ = f/ + g/
(f g)/ = f/ g + f g/
(f/g)/ = (f/ g - f g/)/g2
La regla de la cadena rige de la misma forma.
Ejercicio:
Demostrar las reglas a
partir de la definicin
de derivada.

Regla de L'Hpital:
Si f(z0) = 0 y g(z0) = 0 y las funciones son diferenciables en z0 con
g'(z0) diferente de 0, entonces:

f ( z)
f ' ( z)
lim
lim
z z0 g ( z )
z z0 g ' ( z )
Extensin: Si f(z0) = f'(z0) = ... =
f(n-1)(z0) = 0 y g(z0) = g'(z0) = ... = g(n-1)(z0) = 0 y las funciones y las 2n
funciones derivadas son
diferenciables en z0 (y con g(n)(z0) diferente de cero), entonces:
(n)

f ( z)
f ( z)
lim
lim ( n )
z z0 g ( z )
z z0 g
( z)
9

Diferenciales
Si w = f(z) es continua y tiene primera derivada continua en una
regin R, entonces:

w f ' ( z ) z z f ' ( z ) dz dz
donde 0 cuando z 0.
dw
w
dw f ' ( z ) dz
f ' ( z)
lim
dz z 0 z
Diferencial de w
10

Algunas funciones reales no poseen derivada

(en ciertos puntos)...

Por ejemplo:

1
f ( x)
x

x
De forma similar, algunas funciones complejas
no poseen derivada en ningn punto del plano
complejo!
Demostrado por Cauchy en 1820

11

Curva de Weierstrass
La curva de Weierstrass es, histricamente
hablando, el primer fractal conocido. Fue
creado o descubierto (segn las preferencias
filosficas del lector) por el matemtico
Karl Weierstrass en 1861. Lo notable en este
caso, respecto a la curva de Koch, es que
disponemos de la ecuacin, como serie infinita,
de la curva:

W ( x) a cos(b x)
n

n 0

Para que la funcin carezca de

tangente nica en cada uno de sus
puntos, es necesario que:
0 < a < 1, b sea un entero impar
y a b > 1 3 / 2

12

Algunas funciones complejas no poseen derivada en ningn punto

Ejemplo

f ( z) z

f ( z z ) f ( z )
(funcin continua en todo el f ( z ) lim
z 0
plano complejo porque sus
z
componentes u y v lo son)
z z z
z
lim
lim
x
z 0
z 0 z
z
z z
x i y
x i y
1
y
lim
lim
2
z 0 x i y
z 0 x i y

Sigamos dos caminos distintos:

1

lim 1

z 0

lim 1

z 0

El lmite no es nico, por lo tanto no existe lmite.

13
Como z es arbitrario, no existe derivada en ningn punto.

f ( z z ) f ( z )
f ( z ) lim
z 0
z
(funcin continua en todo el
plano complejo porque sus
2
2
| z z | | z |
componentes u y v lo son)
lim
z 0
z
Sigamos de nuevo los dos
caminos distintos anteriores:
( z z )( z z ) z z

lim
1
z z; lim z z
z 0
z
z 0
2
z z; lim z z

z
z 0
lim z z z
z 0
z
Como el lmite debe ser nico:

Ejemplo

f ( z ) | z |2

zz zz z 0

La derivada existe solo en z = 0 y vale 0.

Este ejemplo muestra como una funcin
puede ser diferenciable en un punto sin
serlo en ningn otro de su entorno. 14

Obtener los puntos del plano complejo donde la funcin

f ( z ) z Re( z )

es diferenciable. Calcular su derivada.

f z z f z
z z Re z z z Re z
lim

lim
z 0
z 0
z
z
x x i y y x x x iy x
lim
z 0
x iy
lim

z 0

x 2 2 xx i yx xy xy
x iy

Si z 0 :
f 0 z f 0
z Re z
lim
lim Re z 0
lim
z 0
z 0
z 0
z
z
f (0) 0
15

Si z 0 :
z x i 0 :

f z z f z
x 2 xx iyx
lim

lim
z 0
x 0
z
x
lim x 2 x iy 2 x iy
2

x 0

z 0 iy :

f z z f z
i xy

lim x x
lim
lim
z 0
y 0
y 0
z
y

2x x ; x 0
2 x iy x
y0 ;y0

z=0

f(z) no es diferenciable en los puntos z 0

16

La existencia de derivada en un punto implica la

continuidad de la funcin en ese punto.
Supongamos que existe f(z):

lim f ( z ) f ( z0 )

z z0

f ( z) f ( z)
lim
lim ( z z0 )
z z0
z z0
z z0
f ' ( z0 ) 0 0 lim f ( z ) f ( z0 )
z z0

17