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

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
z0 un punto de U; diremos que f(z) es derivable en z0 si existe el lmite:
f(z)&f(z0) f(z0%h)&f(z0)
lim 'lim 'f )(z0)
z6z0 z&z0 h60 h

Al valor f '(z0) se le denomina la derivada de la funcin f en el punto z0

Obviamente, en la definicin se exige que z = z0 + 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
R2 en R2.

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)

A continuacin estudiamos las propiedades elementales de la derivada.

Proposicin 3.1.3
Si una funcin, f(z), es derivable en z0, entonces es continua en z0.
 Proposicin 3.1.4
Sean f(z), g(z) dos funciones derivables en z0 y , 0 C, entonces:

a) f + g es derivable en z0 y (f + g)'(z0) = f '(z0) + g'(z0).

b) fg es derivable en z0 y (fg)'(z0) = f(z0)g'(z0) + f '(z0)g(z0)
c) Si, adems, g(z0) 0, entonces f es derivable, siendo
g
f ) f ) ( z0 ) g ( z0 ) & f ( z0 ) g ) ( z0 )
( ) ( z0 ) '
g [ g ( z0 ) ]2

Proposicin 3.1.5 Regla de la cadena

Si f(z) es derivable en z0 y g(z) es derivable en w0=f(z0), entonces la funcin compuesta, gof. es derivable en
z0 y es (gof)'(z0) = g'[f(z0)]@f '(z0)

3.2. Funciones analticas

Definicin 3.2.1 Funcin analtica

Se dice que una funcin, f(z), es analtica en un punto z0 si es derivable en todos los puntos de
algn entorno de z0. 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)

Ejemplo: La funcin f(z) = *z*2 es derivable en z=0 pero no es analtica en dicho punto. Ya
que:
f (z%h) & f(z) *z%h*2 & *z*2 (z%h)(z%h) & zz
' ' , as
h h h
f(z%h) & f(z) zh % zh % hh h
lim ' lim 'lim(z%h%z )
h60 h h60 h h60 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.
 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 z0 = a + ib 0 U. Entonces, la funcin es derivable en z0 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 Mv Mu Mv
(a,b)' (a,b); (a,b) ' & (a,b)
Mx My My Mx
Mu Mv Mv Mu
En tal caso es f '(z0) = (a, b) % i (a, b) ' (a, b) & i (a, b)
Mx Mx My My

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
Mu Mv Mu Mv
' ; ' & para todo (x, y) 0 U.
Mx My My Mx

Al par de igualdades anterior se les denomina Condiciones de Cauchy-Riemann.

Definicin 3.2.4 Punto singular

Diremos que z0 es un punto singular de la funcin f(z) si en cualquier entorno de z0 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 R2 en R se denomina armnica en ese
subconjunto si verifica la ecuacin de Laplace en todos los puntos de A; esto es, si
M 2U M 2U
U ' % ' 0 en cada (x, y) 0 A.
Mx 2 My 2

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.

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.
Proposicin 3.3.1 Derivabilidad de la funcin polinmica
La funcin polinmica: f(z) = P(z)=a0 + a1 z + a2 z2 + ... + an zn donde aj son nmeros
complejos es una funcin entera y su derivada es f (z) = P'(z)= a1 + 2a2 z + ... + n an zn-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 C&6 %2k; k0Z> y, en ese conjunto es
2
1
f (z) = '1%tg 2z
2
cos 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
1
c) La funcin f(z) = th z es derivable si ch z 0 y, en ese caso f (z) = ' 1 & th 2z
2
ch 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
Mu 1 Mv 1 Mu Mv
v son diferenciables y, adems, se verifica que: ' y ' & . En este caso:
Mr r M r M Mr
Mu Mv
f )(z) ' e & i [ %i ]
Mr 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:
1
f '(z) =
z