Nota: Las siguientes lneas son un resumen de las cuestiones que se han tratado en clase

sobre este tema. El desarrollo de todos los tpicos tratados est recogido en la bibliografa
recomendada en la Programacin de la asignatura.
Tema 3. Derivada de funciones de variable
compleja
3.1. Definiciones y propiedades elementales
Obviamente, en la definicin se exige que z = z
0
+ h 0 U. Obsrvese que esta
definicin no difiere de la expresin formal de la derivada de funciones reales de una variable
real aunque, evidentemente, no es lo mismo. Tampoco es la matriz derivada en funciones de
R
2
en R
2
.
A continuacin estudiamos las propiedades elementales de la derivada.
Definicin 3.1.1 Derivada de una funcin en un punto
Sea U un subconjunto abierto del plano complejo, C, f(z) una funcin de U en C y
z
0
un punto de U; diremos que f(z) es derivable en z
0
si existe el lmite:
lim
z6z
0
f(z)&f(z
0
)
z&z
0
'lim
h60
f(z
0
%h)&f(z
0
)
h
'f
)
(z
0
)
Al valor f '(z
0
) se le denomina la derivada de la funcin f en el punto z
0
Definicin 3.1.2 Funcin derivable y funcin derivada
Decimos que la funcin f es derivable en U si lo es para cada punto, z, de U. En tal
caso, a la aplicacin que hace corresponder a cada z de U su derivada se le llama funcin
derivada, f(z), o simplemente derivada de f (z)
Proposicin 3.1.3
Si una funcin, f(z), es derivable en z
0
, entonces es continua en z
0
.
3.2. Funciones analticas
Ejemplo: La funcin f(z) = *z*
2
es derivable en z=0 pero no es analtica en dicho punto. Ya
que:
, as
f (z%h) & f(z)
h
'
*z%h*
2
& *z*
2
h
'
(z%h)(z%h) & zz
h
lim
h60
f ( z%h) & f ( z)
h
' lim
h60
zh % zh % hh
h
'lim
h60
(z%h%z
h
h
)
y ste ltimo lmite existe si, y slo si z=0. Por tanto, no existe ningn entorno de 0 donde
la funcin sea derivable.
Una funcin que sea analtica en todo el plano complejo, C, se denomina funcin
entera.
El siguiente teorema nos proporciona una forma muy cmoda de verificar la
derivabilidad y, en su caso, la analiticidad de una funcin en un punto, pues nos remite al
estudio de las componentes (real e imaginaria) de f, las cuales son funciones de variable real.
Proposicin 3.1.4
Sean f(z), g(z) dos funciones derivables en z
0
y , 0 C, entonces:
a) f + g es derivable en z
0
y (f + g)'(z
0
) = f '(z
0
) + g'(z
0
).
b) fg es derivable en z
0
y (fg)'(z
0
) = f(z
0
)g'(z
0
) + f '(z
0
)g(z
0
)
c) Si, adems, g(z
0
) 0, entonces es derivable, siendo
f
g
(
f
g
)
)
( z
0
) '
f
)
( z
0
) g( z
0
) & f ( z
0
) g
)
( z
0
)
[ g( z
0
) ]
2
Proposicin 3.1.5 Regla de la cadena
Si f(z) es derivable en z
0
y g(z) es derivable en w
0
=f(z
0
), entonces la funcin compuesta, gof. es derivable en
z
0
y es (gof)'(z
0
) = g'[f(z
0
)]@f '(z
0
)
Definicin 3.2.1 Funcin analtica
Se dice que una funcin, f(z), es analtica en un punto z
0
si es derivable en todos los puntos de
algn entorno de z
0
. Una funcin que es analtica en cada uno de los puntos de un conjunto
abierto, U, diremos que es analtica en U. (Tambin se denominan a las funciones analticas
funciones holomorfas)
Al par de igualdades anterior se les denomina Condiciones de Cauchy-Riemann.
3.3. Derivabilidad de las funciones elementales
Con la denominacin de funciones elementales nos referimos a aquellas que aparecen
con ms frecuencia en las aplicaciones.
Teorema 3.2.2 Condiciones de Cauchy-Riemann
Sea f(z) = u(x, y) + iv(x, y) una funcin de variable compleja definida en un abierto, U, de C
y sea z
0
= a + ib 0 U. Entonces, la funcin es derivable en z
0
si, y solamente si, las funciones
u(x, y) y v(x, y) son diferenciables en (a, b) y, adems, en el punto (a, b) se verifica que

Mu
Mx
(a,b)'
Mv
My
(a,b);
Mu
My
(a,b) ' &
Mv
Mx
(a,b)
En tal caso es f '(z
0
) =
Mu
Mx
(a, b) % i
Mv
Mx
(a, b) '
Mv
My
(a, b) & i
Mu
My
(a, b)
Corolario 3.2.3
Sea f(z) una funcin definida en un abierto, U, del plano complejo. La funcin f(z) es analtica
en U si, y solo si, u(x, y) y v(x, y) son diferenciables en U y se verifica que
para todo (x, y) 0 U.
Mu
Mx
'
Mv
My
;
Mu
My
' &
Mv
Mx
Definicin 3.2.4 Punto singular
Diremos que z
0
es un punto singular de la funcin f(z) si en cualquier entorno de z
0
existe
algn punto donde la funcin f(z) no es derivable.
Definicin 3.2.5 Funcin armnica
Una funcin U(x, y) definida en un subconjunto, A, de R
2
en R se denomina armnica en ese
subconjunto si verifica la ecuacin de Laplace en todos los puntos de A; esto es, si
en cada (x, y) 0 A. U '
M
2
U
Mx
2
%
M
2
U
My
2
' 0
Proposicin 3.2.6
Si f(z) = u(x, y) + iv(x, y) es analtica en un conjunto abierto, U, de C, entonces, tanto u(x, y)
como v(x, y) son funciones armnicas en U.
Proposicin 3.3.1 Derivabilidad de la funcin polinmica
La funcin polinmica: f(z) = P(z)=a
0
+ a
1
z + a
2
z
2
+ ... + a
n
z
n
donde a
j
son nmeros
complejos es una funcin entera y su derivada es f (z) = P'(z)= a
1
+ 2a
2
z + ... + n a
n
z
n-1
.
Proposicin 3.3.2 Derivabilidad de la funcin exponencial
La funcin exponencial, f(z) = e
z
, es una funcin entera y f (z) = e
z
Proposicin 3.3.3 Derivabilidad de las funciones trigonomtricas
a) La funcin f(z) = sen z es una funcin entera y f (z) = cos z
b) La funcin f(z) = cos z es una funcin entera y f (z) = - sen z
c) La funcin f(z) = tg z es derivable en y, en ese conjunto es C&6

2
%2k; k0Z>
f (z) =
1
cos
2
z
'1%tg
2
z
Proposicin 3.3.4 Derivabilidad de las funciones hiperblicas
a) La funcin f(z) = sh z es entera y f (z) = ch z
b) La funcin f(z) = ch z es entera y f (z) = sh z
c) La funcin f(z) = th z es derivable si ch z 0 y, en ese caso f (z) =
1
ch
2
z
' 1 & th
2
z
Proposicin 3.3.5 Expresin, en forma polar de la derivada.
La funcin f(z) = g(r, ) = u(r, ) + iv(r, ) es derivable en un punto, (r, ), si, y slo si, u y
v son diferenciables y, adems, se verifica que: y . En este caso:
Mu
Mr
'
1
r
Mv
M
1
r
Mu
M
' &
Mv
Mr
f
)
(z) ' e
&i
[
Mu
Mr
% i
Mv
Mr
]
Proposicin 3.3.6 Derivabilidad de la funcin logartmica
La funcin f(z) = ln z = Ln r + i con 0 [a, a + 2) y z 0 es derivable y su derivada es:
f '(z) =
1
z